Phase-retrieval observability regularizer
Implementation & benchmark of arXiv:2607.26705 — Dynamical phase retrieval for Schr{ö}dinger evolution on finite graphs
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
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.