Unverified 2026

Complex-stretched resonance layer

Implementation & benchmark of arXiv:2607.26166 — Dirac resonances as non-self-adjoint eigenvalues

Usefulness5/10
Difficulty6/10
Novelty7/10

Source paper: Dirac resonances as non-self-adjoint eigenvalues arXiv:2607.26166 ⓘ · analyzed Aug 31, 2026

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

Idea description

Insert a fixed or learnable complex coordinate stretch outside the region where a neural operator models the physical interaction, so outgoing waves are damped and resonant states become ordinary discrete eigenmodes on a finite grid. Train the network with eigenvalue or resolvent losses computed after the stretch, while preserving the physical field in the interior region.

Formulas

$$\left\{\begin{array}{ll}F=0\ \mbox{on a neighborhood of }K,\\ F(x)=x\ \mbox{if }|x|\gg 1,\\ \|\nabla F\|_{L^\infty}\leq\ell\end{array}\right.$$
$$\nabla F(x)=f(|x|)I_3+\frac{f'(|x|)}{|x|}xx^{\mathsf T},\qquad \|\nabla F\|_{L^\infty}\leq 1+\sup_{r\geq0}|r f'(r)|.$$
$$H_\mu-z=(1+V(\mathbf D_\mu-z)^{-1})(\mathbf D_\mu-z).$$
$$\chi(H_\mu-z)^{-1}\chi=\chi(H-z)^{-1}\chi.$$

Mathematical statement

The paper constructs a distortion field F with F=0 near the compact interaction set K, F(x)=x for sufficiently large |x|, and ||∇F||_∞≤ℓ. A complex deformation parameter μ lies in a small domain D(0,1/L), and the distorted free operator is denoted D_μ; the interacting operator is H_μ=D_μ+V, where V is compactly supported. The key localization statement is that for z in the admissible region C_μ, z∉Sp(H_μ) if and only if z∉Sp(H), and, for every cutoff χ∈C_c^1 supported where F=0, χ(H_μ−z)^{-1}χ=χ(H−z)^{-1}χ. The factorization H_μ−z=(1+V(D_μ−z)^{-1})(D_μ−z), together with compactness of V(D_μ−z)^{-1}, implies that the distorted spectrum outside the free distorted spectrum is discrete. The elliptic estimate ||∇ψ||_{L²}≲||(α·∇_μ)ψ||_{L²}+||ψ||_{L²} provides a stability condition for the distorted derivative. In the neural adaptation, x is the spatial coordinate, K is the physical interaction region, F is the deformation field, μ is the complex stretch strength, z is a candidate resonance, χ is an interior mask, and H_θ is the discretized operator induced by network parameters θ.

Implementation notes

1. Integration point: use a neural operator or neural state-space model for a 1D or 2D wave equation with a compact inhomogeneity K. Apply the deformation only to the spatial derivative stencil, Fourier differentiation matrix, or boundary-layer coordinates outside K; leave network features and physical coefficients unchanged inside K. On a radial grid define F(x)=f(|x|)x, with f=0 for |x|≤r0 and f=1 for |x|≥r1. Use a smooth cubic or quintic interpolation and enforce sup_r |r f'(r)|≤ℓ−1. Construct Φ_μ(x)=x+μF(x), usually with μ=iη and η>0. In one dimension replace ∂x by (1+μF'(x))^{-1}∂x; in multiple dimensions use J_μ=I+μ∇F and transform gradients by J_μ^{-T}. 2. Pseudocode: inputs are grid x, interaction mask K, stretch η, operator coefficients, and network parameters θ. Build F and J_μ; assemble the stretched operator H_{μ,θ}; run Arnoldi or differentiable shifted linear solves to obtain candidate eigenpairs H_{μ,θ}u_j≈z_ju_j; minimize L=L_data+λ_resΣ_j||H_{μ,θ}u_j−z_ju_j||²+λ_int||χ(H_{μ,θ}−z_j)^{-1}χ−R_target(z_j)||². Set χ=1 on K and zero in the stretched layer. 3. Computed from the paper’s mathematics are the identity-near-K deformation, Jacobian-scaled derivative, and interior localization principle. Estimated empirically are η, resonant eigenvalues z_j, eigenvectors u_j, and target resolvent actions. 4. First experiment: train a small Fourier neural operator or MLP neural operator on 1D Helmholtz scattering from compact random potentials. Compare hard Dirichlet, standard absorbing, and complex-stretched boundaries at equal grid resolution and parameter count. Measure boundary reflection, interior prediction error, first-three-resonance error, gradient-norm variance, and loss versus steps. Success means lower reflection and resonance error, unchanged interior accuracy, or faster loss descent at equal 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.