Unverified 2026

Fock-Coercive Magnitude Loss for Complex Features

Implementation & benchmark of arXiv:2608.26365 — A complex-analytic proof of square-restricted stable phase retrieval in Fock space

Usefulness5/10
Difficulty5/10
Novelty7/10

Source paper: A complex-analytic proof of square-restricted stable phase retrieval in Fock space arXiv:2608.26365 ⓘ · analyzed Aug 29, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Parameterize a complex neural feature F(z) as a low-degree holomorphic polynomial and train it from magnitude-squared observations using a Gaussian-weighted residual to the best constant intensity baseline. The paper's coercivity inequality makes this more than an observation-space loss: small intensity variation certifiably bounds the error of the phase-invariant squared feature F^2-F(0)^2. Use the bound as a regularizer or as a replacement for an unavailable complex-target loss in magnitude-only phase-retrieval networks.

Formulas

$$\lVert F^{2}-F(0)^{2}\rVert_{\mathcal{F}^{2}(\mathbb{C})}\lesssim\inf_{c\in\mathbb{R}}\lVert\lvert F\rvert^{2}-c\rVert_{\mathcal{F}^{2}(\mathbb{C})}.$$
$$\|H\|_{\mathcal F^2}^2=\int_{\mathbb C}|H(z)|^2e^{-\pi|z|^2}\,dA(z),\qquad \|H\|_{w}^2=\sum_{i=1}^{m}w_i|H(z_i)|^2.$$
$$\hat c=\arg\min_{c\in\mathbb R}\sum_{i=1}^{m}w_i\bigl(|F(z_i)|^2-c\bigr)^2=\frac{\sum_{i=1}^{m}w_i|F(z_i)|^2}{\sum_{i=1}^{m}w_i},$$
$$\mathcal L_{\mathrm{Fock}}(F)=\sum_{i=1}^{m}w_i\bigl(|F(z_i)|^2-\hat c\bigr)^2+\lambda\sum_{i=1}^{m}w_i\left|F(z_i)^2-F(0)^2\right|^2.$$

Mathematical statement

The central result is the square-restricted Fock-space coercivity inequality \(\lVert F^{2}-F(0)^{2}\rVert_{\mathcal F^{2}(\mathbb C)}\lesssim\inf_{c\in\mathbb R}\lVert |F|^{2}-c\rVert_{\mathcal F^{2}(\mathbb C)}\). Here \(F\) is a holomorphic function in one-dimensional Fock space, \(F^2\) is its pointwise square, \(F(0)\) is its value at the origin, \(c\) is a real constant representing the unavoidable constant-intensity ambiguity, and \(\|\cdot\|_{\mathcal F^2}\) is the Gaussian-weighted complex-plane L2 norm, implemented with the convention \(\|H\|_{\mathcal F^2}^2=\int_{\mathbb C}|H(z)|^2e^{-\pi|z|^2}\,dA(z)\). The symbol \(\lesssim\) means multiplication by a universal constant independent of \(F\). The transferable property is coercivity: controlling the magnitude residual controls a different, phase-invariant representation-space error. For a finite sampled approximation, estimate \(c\) by the weighted least-squares minimizer \(\hat c=\sum_i w_i|F(z_i)|^2/\sum_iw_i\), and use the empirical Gaussian norm \(\|H\|_{w}^2=\sum_iw_i|H(z_i)|^2\).

Implementation notes

1. Integration point: replace the final complex feature head of a phase-retrieval or magnitude-only sensing network with a holomorphic polynomial head. For a scalar complex coordinate z, use F_theta(z)=sum_{k=0}^K a_k(theta) z^k, with complex coefficients produced by the preceding real network; for vector features, use one such head per coordinate. Sample fixed quadrature points z_i in the complex plane from a square or disk and assign Gaussian weights w_i proportional to exp(-pi|z_i|^2), normalized to sum to one. 2. Pseudocode: compute F_i=F_theta(z_i), F_0=F_theta(0), c_hat=sum_i w_i*abs(F_i)^2; L_mag=sum_i w_i*(abs(F_i)^2-c_hat)^2; L_square=sum_i w_i*abs(F_i2-F_02)**2; optimize L_task+alpha*L_mag+lambda*L_square. Initially set lambda=0 to test the theorem-inspired magnitude loss alone, then compare lambda>0 as an explicit finite-sample stabilizer. 3. The paper supplies the continuous coercivity relation; the Gaussian quadrature, finite polynomial truncation, and the constant multiplying the inequality are engineering approximations. Estimate the empirical coercivity ratio R=L_square/(L_mag+1e-8) on held-out random polynomials and verify it remains bounded for the chosen degree and grid. 4. First experiment: train a small complex MLP or complex polynomial decoder on synthetic one-dimensional phase retrieval, where inputs are y_j=|A_jx|^2 and the target is x up to global phase. Compare an ordinary intensity-MSE decoder with the Fock-weighted loss and with the additional square term at equal parameter count and FLOPs. Track reconstruction error after optimal global-phase alignment, intensity error, the held-out ratio R, and sensitivity to measurement noise. Success means lower aligned reconstruction error and substantially lower variance across random initializations at matched training intensity loss; a useful stability signal is bounded square-feature error as noise increases.

Verification

This idea has not been verified yet.

Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.

Artifacts

Artifacts unavailable.