Unverified 2026

Phase-retrieval observability regularizer

Implementation & benchmark of arXiv:2607.26705 — Dynamical phase retrieval for Schr{ö}dinger evolution on finite graphs

Usefulness6/10
Difficulty6/10
Novelty7/10

Source paper: Dynamical phase retrieval for Schr{ö}dinger evolution on finite graphs arXiv:2607.26705 ⓘ · analyzed Aug 31, 2026

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

Idea description

When the Schrödinger generator is learned, regularize its spectrum and eigenvectors so that the magnitude trajectory remains well-conditioned for recovering hidden complex states. Penalize small singular values of the squared-eigenvector matrix and near-colliding eigenvalue pair sums, preventing a learned dynamical layer from becoming spectrally invisible or phase-ambiguous.

Formulas

$$S_{jk}=\phi_k(j)^2,\qquad \det S\neq0,$$
$$\mathcal{L}_{\mathrm{cond}}=-\log\det\left(S^TS+\varepsilon I\right),$$
$$\mathcal{L}_{\mathrm{sep}}=\frac{1}{|\mathcal{P}|}\sum_{p\neq q}\operatorname{softplus}\!\left(\frac{\delta-|s_p-s_q|}{\tau}\right)^2,\qquad s_{ab}=\lambda_a+\lambda_b,$$
$$o_{k\ell}=\sum_{j=1}^{n}\phi_k(j)^2\phi_\ell(j)^2,\qquad \mathcal{L}_{\mathrm{overlap}}=\sum_{k<\ell}\operatorname{softplus}(\rho-o_{k\ell}).$$

Mathematical statement

Let $H_Q=\Delta_G+Q$ have eigenvalues $\lambda_k$ and orthonormal eigenvectors $\phi_k$, and let $S_{jk}=\phi_k(j)^2$. The paper identifies three failure modes for dynamical phase retrieval: non-distinct pair sums $\lambda_j+\lambda_k$ violating $B_2$, singular $S$ violating $(I)$, and eigenvector pairs with disjoint support violating $(S)$. A differentiable surrogate maximizes the conditioning of $S$ through $-\log\det(S^TS+\varepsilon I)$ and repels pair sums with a smooth barrier. For a normalized spectrum, define $d_{ab,cd}=|(\lambda_a+\lambda_b)-(\lambda_c+\lambda_d)|$ over distinct unordered pairs. The softened overlap quantity $o_{k\ell}=\sum_j\phi_k(j)^2\phi_\ell(j)^2$ is positive exactly when eigenvectors $k$ and $\ell$ share a nonzero coordinate. Here $\varepsilon>0$ stabilizes the log determinant, $\delta$ is the desired pair-sum separation, $\tau$ is a barrier temperature, and $\rho$ is the desired overlap floor.

Implementation notes

1. Integration point: apply this to a learnable graph-dynamics layer, not to ordinary transformer weights. Parameterize $H_Q=\Delta_G+\operatorname{diag}(q)$ with trainable $q$, or use a low-dimensional learned diagonal potential added to a fixed graph Laplacian. The forward pass computes $U_r=\exp(-i\tau_rH_Q)$ and magnitude observations $|U_rh|$; add the observability penalty to the task loss. 2. Pseudocode: compute the symmetric eigendecomposition $(\lambda,\Phi)=\operatorname{eigh}(H_Q)$; set $S=\Phi\odot\Phi$; compute $L_c=-\log\det(S^TS+\varepsilon I)$; form every unordered pair sum $s_{ab}=\lambda_a+\lambda_b$ and accumulate $L_s=\operatorname{mean}_{p\ne q}\operatorname{softplus}((\delta-|s_p-s_q|)/\tau)^2$; compute $o_{k\ell}=\sum_jS_{jk}S_{j\ell}$ and $L_o=\sum_{k<\ell}\operatorname{softplus}(\rho-o_{k\ell})$; optimize $L=L_{task}+\alpha L_c+\beta L_s+\gamma L_o$. If autodiff through eigendecomposition is unstable, use a stabilized symmetric eigensolver or apply the penalty less frequently. 3. The paper supplies the structural targets $\det S\neq0$, pair-sum distinctness, and support overlap; $\delta$, $\rho$, $\alpha$, $\beta$, and $\gamma$ are engineering hyperparameters. Estimate conditioning during training using $\sigma_{\min}(S)$ and the minimum pair-sum gap, and monitor them beside task loss. 4. First cheap experiment: use a 20-node random connected graph and a 1-layer complex graph-RNN on synthetic phase-invariant sequence classification. Compare no regularizer, weight decay, and the proposed penalty at equal training budgets. Evaluate held-out accuracy, sensitivity to global phase, additive Gaussian noise on magnitudes, and failures caused by nearly repeated spectra. Success is a larger minimum pair-sum gap and $\sigma_{\min}(S)$, lower validation-loss variance across seeds, and improved accuracy at noisy or short-time observations without a significant increase in forward FLOPs.

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.