bibkey: barriga2026dftbosonic authors: Edgar Barriga et al. year: 2026 title: “N-dimensional discrete Fourier transform via bosonic Hamiltonian” doi: null url: https://arxiv.org/abs/2609.05644 claim: “A waveguide array with propagation constants beta_l and couplings C_jk evolves by U = exp(-i C z); it realizes the N-dimensional discrete Fourier transform F_N (entries omega^(xy)/sqrt N, omega = exp(-2 pi i/N)) when input and output phase shifters give Phi_out U Phi_in = F_N. The graph has the waveguides as vertices and the nonzero couplings as edges. Section III.D conjectures edge ranges for the solutions; for N = 10 the third conjecture, with l = 5, gives at least N l / 2 = 25 edges. Section II.B asks whether the polygonal model (zero-diagonal real circulant couplings with C_l = C_{N-l}) can always yield F_N.” strata_touched:
- D5/S3/Quantum/Dynamics/BarrigaTenModeFourierEdgeRefutation
- D5/S3/Quantum/Dynamics/PolygonalFourierCouplings license: citation-only triage: anchor
N-dimensional discrete Fourier transform via bosonic Hamiltonian
arXiv:2609.05644v1 (primary quant-ph; v1 only). Section II models a waveguide array by the single-particle coupling matrix with the propagation constants on the diagonal and the evanescent couplings off it, $U=e^{-i\mathcal Cz}z$ absorbed into the coefficients. The target is
, where ,
reached after input and output phase shifters, .
Section II.B (the polygonal model) takes the circulant coupling matrix with rows , each row rotated one place to the right of the previous one, with “the evanescent coupling strength felt by the waveguides has symmetry ”, reports analytic solutions for and numerical ones up to , and ends:
Whether the polygonal model can always yield solutions to obtain from Eq.~\eqref{eq:Coupling_polygon} or not is beyond our theoretical efforts.
The formal answer is D5/S3/Quantum/Dynamics/PolygonalFourierCouplings.result:
for every there are strictly positive polygonal couplings and diagonal
unimodular phases with . An
explicit choice, argued and checked numerically in #13954 but not formalized, is
for and ;
at it gives the
paper’s analytic solutions (the hexagon of Appendix B has ; the main
text’s is a misprint). Section III.D (“Observations and
conjectures to continue”) states three conjectures; the third reads:
\textbullet\ Third, all the other possible solutions for non-prime are in the following range of edges where denotes -regular graphs (same number of edges per vertex) and .
For the same section fixes : “This strongly suggests that there should be a -regular graph for as well, and it should be .” The authors report four 5-regular graphs (25 edges) realizing .
Verified locator
- URL: https://arxiv.org/abs/2609.05644 (v1; source file
DFT.tex, md5f6ff1ec31c30e8afc4674b5ef3ebf3b3).