Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.30825

Stable Recovery and Benign Overparameterized Landscapes for Phase Retrieval from Coded Diffraction Patterns

Jian-Feng Cai·Zhibo Jin·Tong Wu·Ruizhe Xia
View original source ↗Read source document ↗Export metadata ↓

Abstract

Coded diffraction patterns (CDPs) provide a structured and physically relevant model for phase retrieval, but the dependence among Fourier measurements generated by a common mask makes sharp stability analysis challenging. For a fixed unit-norm signal $\boldsymbol{x}_\star \in \mathbb{C}^n$, let $\boldsymbol{X}_\star=\boldsymbol{x}_\star\boldsymbol{x}_\star^*$, and let $\mathcal A$ be the lifted CDP measurement operator. We prove that, with $L=O(\log n)$ random masks, the following uniform lower isometry holds with high probability: $\|\boldsymbol{X}-\boldsymbol{X}_\star\|_F \lesssim \log^2(2n) \frac{\|\mathcal A(\boldsymbol{X}-\boldsymbol{X}_\star)\|_2}{\sqrt{nL}}, \boldsymbol{X}\succeq\boldsymbol{0},$ from which we derive two consequences. First, for $\boldsymbol{y}=\mathcal A(\boldsymbol{X}_\star)+\boldsymbol{e}$, PhaseLift-type convex programs achieve the Gaussian-type stable recovery bound $\|\widehat{\boldsymbol{X}}-\boldsymbol{X}_\star\|_F \lesssim \frac{\log^2(2n)}{\sqrt{nL}}\|\boldsymbol{e}\|_2.$ Second, in the noiseless case, the nonconvex factorized loss has a benign landscape when the factor width satisfies $r = O(\log^5(2n))$: every second-order critical point $\boldsymbol{V}\in\mathbb C^{n\times r}$ satisfies $\boldsymbol{V}\boldsymbol{V}^*=\boldsymbol{X}_\star$. The key ingredient is a uniform operator-norm bound over row subsets of the dependent CDP measurement matrix, which permits the removal of a controlled set of adaptively selected rows while preserving tangent injectivity.

Explore related subjects

cs.ITmath.IT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jian-Feng Cai, Zhibo Jin, Tong Wu, Ruizhe Xia. 2026-09-25. Stable Recovery and Benign Overparameterized Landscapes for Phase Retrieval from Coded Diffraction Patterns. https://arxiv.org/abs/2609.30825

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Quantum XYZ Stabilizer Codes

Stabilizer codes are often constructed within the Calderbank--Shor--Steane (CSS) framework, where two mutually orthogonal binary classical codes define $X$ and $Z$-type stabilizer generators. While this structure is algebraically convenient, additional non-CSS constraints may help suppress low-weight logical operators and improve decoding performance in the finite-length regime. We thus introduce quantum XYZ stabilizer codes, whose parity-check matrix (PCM) is built from three pairwise orthogonal binary PCMs associated with $X$-, $Y$-, and $Z$-type stabilizer generators. A nontrivial point is that an XYZ code instance is not automatically genuinely non-CSS: the same stabilizer group may admit a CSS generating set. We characterize this collapse, obtaining algebraic and rank conditions for deciding when the $Y$-type checks are redundant and when they define genuinely non-CSS stabilizer constraints. We also derive upper and lower bounds on the quantum minimum distance, including bounds for mixed Pauli logical operators. The novel framework includes a known non-CSS topological code, namely the XYZ$^2$ hexagonal code, and yields also sparse finite-length quantum low-density parity-check (qLDPC) constructions from intersecting-subset and quasi-dyadic code families. Simulations under depolarizing code-capacity noise and quaternary belief propagation decoding show that the proposed XYZ qLDPC instances can outperform representative CSS qLDPC instances with similar finite-length parameters.

cs.IT↗
arXiv2026

Coded Computing for Dynamic System via Cartesian Products

Coded distributed computing (CDC) mitigates the Shuffle communication bottleneck through coded multicast, but existing schemes with predetermined worker populations do not directly adapt to worker arrivals and disconnections. To address these dynamics, we propose a dynamic CDC scheme that preserves surviving workers' caches and Reduce assignments while exploiting the storage brought by arriving clusters. The model accommodates general MapReduce tasks under a placement that is partly fixed and partly new. The scheme uses Cartesian products of cluster-wise placement delivery arrays (PDAs) for file placement. A delivery-aware greedy algorithm reassigns abandoned Reduce functions, and a Communication Array allows workers with no Reduce function to serve as coded transmitters. For arbitrary feasible disconnections, the scheme's exact communication load is derived. A converse bound under one-shot communication shows that, in the absence of disconnections, the scheme lies within a factor of 2 of the lower bound under these assumptions when new clusters arrive, and within a factor of 4 otherwise.

cs.IT↗
arXiv2026

Optimal Universal Coding of Integers

Universal coding of integers (UCI) provides prefix codes for positive integers such that, for every nonincreasing source distribution $P$, the average codeword length under $P$ stays within $K$ times $\max\{1,H(P)\}$. For a given UCI $\mathcal{C}$, the smallest such constant $K$ is called the minimum expansion factor of $\mathcal{C}$, denoted $C_{\mathcal{C}}^{*}$. Let $C^{*}\triangleq \inf \{C_{\mathcal{C}}^{*}\}$ over all UCIs. A UCI attaining $C^{*}$, or a family of UCIs attaining $C^{*}$ in the limit, is called optimal. It is currently known that $2\le C^{*}\le 2.0386$. In this paper, we construct a family of one-point plus uniform-tail distributions and prove that, for every UCI, a distribution in this family attains the worst-case ratio; thus, the family is least favorable for the UCI problem. We further establish an inequality, called the \emph{UCI inequality}, which plays the same role for UCI as the Kraft inequality does for prefix codes: for any real number $B\ge 1$, it decides whether $B$ lies below or above $C^*$. The UCI inequality gives an equivalent definition of $C^*$. By numerical computation, we determine $C^* = 2.00012475703610197861701176297579886254\cdots$, the first $38$ decimal digits being certified. Once $C^*$ is known, we can theoretically construct the optimal UCI.

cs.IT↗