Generic uniqueness conjecture for sparse phase retrieval on finite abelian groups

Let AA be a finite abelian group, let VV be the vector space of functions AKA\to\mathbb K, and let LSL_S be the subspace of functions supported in SAS\subseteq A. The periodic auto-correlation is

ax[]=Ax[]x[+],a_x[\ell]=\sum_{\ell'\in A}x[\ell']\overline{x[\ell+\ell']},

and DAD_A is the intrinsic-symmetry group: (S1×A)Z2(S^1\times A)\ltimes\mathbb Z_2 over C\mathbb C, or ({±1}×A)Z2(\{\pm1\}\times A)\ltimes\mathbb Z_2 over R\mathbb R. Finite-abelian-group uniqueness conjecture. If

SS>S|S-S|>|S|

and xLSx\in L_S is generic, then ax=axa_x=a_{x'} implies that xx' is obtained from xx by an action of DAD_A. This generalizes the sparse periodic phase-retrieval conjecture from cyclic groups to finite abelian groups; the source gives no resolution, so it remains open.

Sources & referencesView supporting material

Primary source

Tamir Bendory and Dan Edidin, “Toward a mathematical theory of the crystallographic phase retrieval problem”, arXiv:2002.10081 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.