{"id":"efc16bcc-08ab-4276-aa9f-6bc731f93086","arxiv_id":"1908.03214","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For a one-dimensional particle in an incommensurate two-period potential, projecting eigenstates of a periodic two-dimensional 'super Hamiltonian' onto the line x=y gives eigenstates of the original Hamiltonian, along with exact Green's functions and a numerical localization transition estimate.","lead":"The authors construct a higher-dimensional 'super Hamiltonian' whose projected eigenstates solve the original one-dimensional Schrödinger equation with an incommensurate quasiperiodic potential. The formalism provides exact Green's functions, density of states, scattering amplitudes, and edge states for continuum quasiperiodic quantum systems, and could simplify calculations for ultracold atoms or photonic quasicrystals.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The k=0 completeness step in Sec. III.B conflates density of the momentum module with equality of its cosets; the reduction fails in the free and periodic limits and is the central unsupported claim.","rationale":"The reader's weakest assumption is exactly the completeness direction, and my analysis agrees. I sharpen it by identifying the specific logical error and a limiting-case disproof. The projection construction (HS eigenstates project to H eigenstates) is elementary and correct, and the Green's function formula in Sec. III.C is standard conditional on having the continuum states. The DOS comparison in Fig. 3 and the critical-point value matching Ref. [26] are useful numerical evidence. However, those do not supply the missing completeness theorem. Because the abstract and Sec. III.B claim that all continuum states are quasiperiodic and obtainable with k=0, the paper's central theoretical result is not established. The correct statement would require either a rigorous generalized-eigenfunction expansion for the k-family or an explicit theorem showing that the spectral measure of H is supported on the k=0 subspace. Since solvable limits contradict the literal claim, the paper should be revised to restrict the claim or prove it. The verdict remains conditional: the superspace method may still be valid for the states it constructs, but the 'all continuum states' claim cannot be accepted as stated.","tokens_in":30,"tokens_out":34127,"duration_ms":701220,"concrete_test":"Take the limit v2=0 in Eqs. (12)-(13), keeping b2/b1 irrational. The physical Hamiltonian is the periodic potential V1(x); its exact continuum eigenstates are Bloch states e^{iKx}u_K(x) with K in (-π/b1,π/b1]. These are represented in the super Hamiltonian only by HS eigenstates with kx=K (ky=0), not by kx=0; the Sec. III.B reduction would force K=0 and is false. To extend to the quasiperiodic regime, solve Eq. (17) with kx=0 for v1=v2=-2 and compare the resulting density of states (Eq. 32) with the full spectrum in Fig. 3; if the kx=0-only DOS misses branches, the k=0 family is incomplete for the actual model.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section III.B's completeness argument is the load-bearing step for the abstract claim that all continuum states are quasiperiodic. The text after Eq. (18) notes that shifting kx by 2π(m1/b1+m2/b2) leaves the recurrence invariant and hence the projected eigenfunction unchanged. That only proves the physical state depends on the coset [kx] = kx + M, with M = {2π(n1/b1+n2/b2)}. Because M is dense but not equal to R, [kx] is not generally [0]; the inference 'therefore ... choosing k=0' does not follow. The failure is not hypothetical: at v1=v2=0, the k=0 sector of the super Hamiltonian contains only superpositions of momenta in M, while H has continuum eigenstates e^{iKx} for K outside M, obtained only from kx=K. Similarly, for v2=0 (periodic limit), all nonzero-quasimomentum Bloch states of H require kx=K. Thus the central claim is not merely missing a proof; the given argument is invalid and the literal statement is false in solvable limits of the model. No theorem is cited that supplies generalized-eigenfunction completeness for the k=0 family; Appendix A treats only localized states and does not repair this.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces a 'super Hamiltonian' formalism intended to represent eigenstates of a quasiperiodic Hamiltonian H = -ℏ²/2m ∂²_x + V1(x) + V2(x) as diagonal projections x=y of eigenstates of a periodic Hamiltonian H_S = (p_x+p_y)^2/2m + V1(x)+V2(y) in a two-dimensional superspace. The authors apply this construction to a one-dimensional particle in two sinusoidal incommensurate potentials. They claim that every continuum eigenstate of H is quasiperiodic and can be obtained from the k=0 sector of H_S; they then use this family to derive closed-form Green's functions, density of states and local density of states, scattering states off impurities, a delocalisation-localisation transition with a critical point and critical exponent, and topological edge states in a semi-infinite geometry. The paper also discusses localized states via an open-boundary variant of the method.","tokens_in":16235,"tokens_out":21427,"duration_ms":263572,"significance":"If the main claims were established, the superspace construction would offer a practical route to exact continuum eigenstates and Green's functions for continuum quasiperiodic models beyond the tight-binding approximation. The projection identity for smooth functions in Section II is correct, and the one-dimensional Green's function calculation in Section III.C is a clean and potentially useful result. The explicit derivations and the numerical consistency checks between the DOS and the spectrum are also valuable. However, the central completeness claim—that all continuum states are quasiperiodic and generated by the k=0 sector—is the load-bearing step for the labelling of states, the DOS calculation, and the interpretation of the momentum label as a rotation number. That step is not proved, and the argument given is invalid in solvable limits. The manuscript therefore currently overstates its principal result.","major_comments":[{"comment":"The inference that all projected eigenstates can be obtained from k=0 is invalid. The shift invariance under k'_x = k_x + 2π(m1/b1+m2/b2) shows at most that the physical state depends on the coset [k_x] = k_x + M, where M = {2π(n1/b1+n2/b2)}. Density of M in R does not imply M=R, so [k_x] is not generally [0]; there are uncountably many distinct cosets. The failure is concrete: for v1=v2=0, the k=0 sector of H_S generates only plane waves with momenta in M, whereas H has generalized eigenfunctions e^{iKx} for every K not in M, and these are obtained only from k_x=K. The periodic limit v2=0 gives the same obstruction for Bloch states with quasimomenta outside M. Therefore the central claim that all continuum states are quasiperiodic is not proved and, as stated, is false in these solvable limits. Appendix A addresses only localized states and does not supply the missing generalized-eigenfunction completeness theorem.","section":"III.B (Eq. 18 and following paragraph)"},{"comment":"The open-boundary method for localized states rests on an uncontrolled continuum approximation. The change of variables (n1,n2) → (R,n) maps the integer lattice onto a countable dense set of R-values, with n determined by R, but Eq. (33) is then solved as if R were a continuous variable and as if λ were an independent degree of freedom. The restriction to λ=0 is asserted to follow from the limit y→x, but for the exact lattice sum this is not demonstrated. Because this method underlies the finite-size crossing estimate of vc (Fig. 4) and the treatment of the localized phase, the authors should either provide a controlled derivation or present convergence tests showing that the continuum approximation is justified.","section":"III.D (Eq. 33)"}],"minor_comments":[{"comment":"The sentence 'the sum above includes (or is dense in) all possible momentum states' is imprecise: the set M is dense in R, not equal to R, and this distinction is exactly what invalidates the subsequent k=0 reduction.","section":"III.B"},{"comment":"The momentum label q in the local super density of states is introduced without explaining its relation to the label k used in Eqs. (21)-(26); please clarify the notation.","section":"III.C (Eq. 30)"},{"comment":"The normalization of the sinc-type basis and the statement that ψ(x) vanishes for |x|=(Nc+1)/κ should be stated explicitly, since these properties are used to justify the open-boundary interpretation.","section":"III.D (Eq. 34)"},{"comment":"The reported uncertainty γ = 0.33861 ± 5×10⁻⁵ appears to reflect only the least-squares error of the one-parameter fit over the interval |v1| ∈ [2.3,2.45]; it does not account for the choice of the ansatz (37) or the fitting window. The claim of consistency with γ=1/3 is appropriate, but the displayed error bar overstates the accuracy.","section":"III.E (Eq. 37)"},{"comment":"The text says edge modes of this type are '(not shown)' immediately before presenting one in Fig. 6; please rephrase to avoid the apparent contradiction.","section":"III.F"},{"comment":"The note numbered [40] appears after the reference list but is a footnote; it should be formatted as a footnote or moved into the main text.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern is confirmed: the completeness step in Section III.B is the central problem. The paper's own argument establishes only a coset redundancy, not the elimination of the physical momentum label. The free and periodic limits give explicit counterexamples to the literal claim that all continuum states are quasiperiodic. I would not recommend acceptance unless the authors either prove the completeness claim for the nonzero incommensurate case using a rigorous theorem or substantially restrict the claims and rewrite the abstract accordingly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nRead 1908.03214. The useful part is real: the super Hamiltonian HS = (px+py)^2/2m + V1(x) + V2(y) does project eigenstates onto eigenstates of H, and the construction is simple and correct. The exact Green's function in Sec. III.C, Eqs. (21)-(22), is a clean closed-form result, and the scattering, LDOS, and DOS formulas follow naturally from it. The numerical estimate of the localization transition agrees with earlier work, and the citation pattern is fine.\n\nThe trouble is the central claim. The argument in Sec. III.B after Eq. (18) only proves invariance under shifts of kx by elements of the module M = {2π(n1/b1 + n2/b2)}. Because M is dense but not equal to R, that does not identify all cosets with [0]. The free limit makes the gap obvious: H has plane waves e^{iKx} for every K, while the k=0 sector of HS produces only momenta in M. The periodic limit V2=0 shows the same issue for nonzero-quasimomentum Bloch states. So the literal statement in the abstract and Sec. III.B, that all continuum states are quasiperiodic and obtainable at k=0, is false.\n\nThe projection construction itself survives; one just has to keep kx as a genuine label instead of forcing it to zero. With that fix, the Green's function and DOS machinery goes through. The localized-state treatment in Appendix A is more sketch than proof, and the vc/gamma extraction is a fit to an ansatz, not a parameter-free prediction; those are minor compared to the k=0 issue.\n\nThis paper is for people working on continuum quasicrystal models, cold atoms in bichromatic lattices, and exact 1D Green's functions. The formalism and the Green's function are worth knowing and worth citing on their own. I would send it to peer review, because a good referee can separate the salvageable core from the false completeness claim, but I would not accept it as is.\n\nBest,\n[No name]","headline":"Useful superspace construction and exact 1D Green's function, but the headline claim that all continuum states are quasiperiodic is unsupported and false in solvable limits.","tokens_in":16696,"tokens_out":4271,"would_cite":false,"duration_ms":47618,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims all continuum eigenstates of a 1D quasiperiodic quantum system are quasiperiodic, obtained by projecting eigenstates of a 2D 'super Hamiltonian,' and uses this to derive exact Green's functions, densities of states, and…","keywords":["quasiperiodic","superspace","super Hamiltonian","incommensurate superlattice","quasicrystal","Anderson localization","Green's function","effective mass"],"falsifier":"Solve $H\\psi=E\\psi$ for $H=-\\frac{\\hbar^2}{2m}\\partial_x^2+v_1\\cos(2\\pi x/b_1)+v_2\\cos(2\\pi x/b_2)$ at a continuum energy with $b_2/b_1$ irrational and check whether any generalised eigenfunction has a Fourier transform supported outside the dense set $\\{2\\pi(n_1/b_1+n_2/b_2)\\}$; such a function would be a continuum state that is not quasiperiodic, disproving the central claim.","tokens_in":15666,"feed_emoji":"⚛️","tokens_out":8937,"duration_ms":82597,"temperature":0.7,"pith_summary":"The paper claims that every extended (continuum) eigenstate of a one-dimensional quantum particle moving in a potential made of two incommensurate periodic lattices is quasiperiodic—a projection of a periodic wavefunction living in a two-dimensional 'superspace.' It constructs a super Hamiltonian $H_S=\\frac{1}{2m}(p_x+p_y)^2+V_1(x)+V_2(y)$ whose eigenstates, projected along the diagonal $y\\to x$, are eigenstates of the original quasiperiodic Hamiltonian, and it derives a recurrence relation that makes the quasiperiodicity explicit. From this construction it obtains the exact Green's function for continuum states in closed form, and from it the density of states, the local density of states, scattering off impurities, the critical point and exponent of the localization transition, and topological edge states. The payoff is a practical way to compute quantum properties of incommensurate systems beyond the tight-binding approximation.","feed_headline":"All continuum states of 1D quasicrystals are quasiperiodic","feed_subtitle":"A 2D 'super Hamiltonian' yields them exactly, plus closed-form Green's functions and densities of states.","key_machinery":"The load-bearing object is the super Hamiltonian $H_S=\\frac{1}{2m}(p_x+p_y)^2+V_1(x)+V_2(y)$, a periodic operator on $\\mathbb{R}^2$ whose kinetic term is the square of the summed gradient $\\tilde{\\nabla}_S=\\nabla_x+\\nabla_y$, chosen so that Leibniz's rule makes the diagonal projection $y\\to x$ reproduce the physical kinetic operator. Expanding its Bloch eigenstates in plane waves with periods $b_1$ and $b_2$ yields the recurrence $\\frac{\\hbar^2}{2m}(k_x+k_y+2\\pi n_1/b_1+2\\pi n_2/b_2)^2 a_{n_1,n_2}+\\frac{v_1}{2}(a_{n_1+1,n_2}+a_{n_1-1,n_2})+\\frac{v_2}{2}(a_{n_1,n_2+1}+a_{n_1,n_2-1})=E a_{n_1,n_2}$. The invariance of this recurrence under simultaneous shifts of $n_1,n_2$ and $k_x$ removes the quasi-momentum, so the projected eigenfunctions are quasiperiodic with $k=0$; a change of variables $R=n_1/b_1+n_2/b_2$, $n=n_1-n_2$ makes the localised regime tractable through an open-boundary calculation.","core_discovery":"The central claim is that the one-dimensional Hamiltonian $H=-\\frac{\\hbar^2}{2m}\\partial_x^2+v_1\\cos(2\\pi x/b_1)+v_2\\cos(2\\pi x/b_2)$ with incommensurate $b_1,b_2$ has the property that every state in its continuous spectrum is quasiperiodic and can be written as the diagonal projection of a Bloch eigenstate of the two-dimensional super Hamiltonian $H_S=\\frac{1}{2m}(p_x+p_y)^2+V_1(x)+V_2(y)$. Because of a shift symmetry in the Fourier recurrence, all such states are obtained with zero quasi-momentum, so the continuous label that orders them is the rotation number of the quasiperiodic Schrödinger operator. The paper also derives the exact Green's function for any continuum state in one dimension, valid for arbitrary single-particle systems with continuous spectrum, and uses it to obtain densities of states and scattering amplitudes. For the localised phase, it shows that, if distributional solutions are admitted, Anderson-localised states are also quasiperiodic, and it introduces an open-boundary variant of the superspace method that handles both regimes numerically.","pith_inferences":["If the missing completeness proof were supplied, the super Hamiltonian would provide a full spectral decomposition of the continuum, effectively reducing the quasiperiodic operator to a periodic eigenvalue problem on the diagonal.","The same diagonal-projection idea could be applied to other aperiodic or non-orthogonal bases, for instance trapped bosons with zero-range interactions, where the natural basis is not orthogonal.","A concrete numerical test of the central claim is to search for generalised eigenfunctions of the one-dimensional Hamiltonian whose momentum support is not contained in the dense set $\\{2\\pi(n_1/b_1+n_2/b_2)\\}$; finding one would contradict the claim that all continuum states are quasiperiodic.","The distributional quasiperiodic description of localised states points toward building Wannier-type orbitals from non-converged superspace states, which could improve numerics in the localised phase and in higher-dimensional quasicrystals."],"forward_implications":["Every continuum eigenstate of the incommensurate-superlattice Hamiltonian carries a continuous momentum-like label (the rotation number), so the density of states follows from the local super density of states without periodic approximants.","The closed-form Green's function applies to any one-dimensional single-particle system with continuous spectrum, giving exact scattering amplitudes off zero-range impurities and defects.","Near the delocalisation-localisation transition the inverse effective mass vanishes as $(1-|v_1|/v_c)^\\gamma$ with $\\gamma\\approx 1/3$, and the estimated critical point $m b_1^2 v_c/\\hbar^2 = 2.7411$ matches an independent numerical value.","In the delocalised phase, edge states of a semi-infinite system appear in every spectral gap the calculation resolves, and they follow directly from allowing the momentum label to become complex.","The superspace construction extends to higher dimensions and to tight-binding quasicrystals, at increased computational cost."],"supporting_citations":[{"why":"establishes quasiperiodic functions as projections of higher-dimensional periodic functions, the definition the paper builds on","marker":"[7]"},{"why":"supplies the rigorous concept of generalised Bloch states and rotation number for quasiperiodic Schrödinger operators","marker":"[27]"},{"why":"provides the spectral theory linking continuous spectrum and rotation number that the paper uses to label continuum states","marker":"[28]"},{"why":"proves that localisation first occurs at low energies in continuum quasiperiodic potentials, setting the transition studied here","marker":"[25]"},{"why":"gives the independent numerical critical point $m b_1^2 v_c/\\hbar^2=2.7410$ that the paper's effective-mass fit reproduces","marker":"[26]"},{"why":"defines the tight-binding quasiperiodic model with a localization transition that the continuum model generalises","marker":"[22]"},{"why":"formulates the superspace description of incommensurate structures used as the conceptual starting point","marker":"[6]"}],"fun_headline_variants":["Super Hamiltonian: all continuum states in quasicrystals are quasiperiodic","Exact 1D quasicrystal continuum via higher-D Hamiltonian","Quasicrystal continuum states: fully quasiperiodic","Higher-dimensional Hamiltonian solves 1D quasicrystal"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes that the continuous spectrum contains only the quasiperiodic states it constructs; a rigorous proof that no other type of generalized eigenfunction exists there is not given.","fun_headline_variants_meta":{"raw":{"variants":["Super Hamiltonian: all continuum states in quasicrystals are quasiperiodic","Exact 1D quasicrystal continuum via higher-D Hamiltonian","Quasicrystal continuum states: fully quasiperiodic","Higher-dimensional Hamiltonian solves 1D quasicrystal"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000319,"raw_usage":{"total_tokens":1868,"prompt_tokens":1084,"completion_tokens":784,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":700,"completion_tokens_details":{"reasoning_tokens":723}},"tokens_in":700,"tokens_out":784,"duration_ms":7926,"temperature":1.0,"reasoning_tokens":723,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:21:05.923172+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve $H\\psi=E\\psi$ for $H=-\\frac{\\hbar^2}{2m}\\partial_x^2+v_1\\cos(2\\pi x/b_1)+v_2\\cos(2\\pi x/b_2)$ at a continuum energy with $b_2/b_1$ irrational and check whether any generalised eigenfunction has a Fourier transform supported outside the dense set $\\{2\\pi(n_1/b_1+n_2/b_2)\\}$; such a function would be a continuum state that is not quasiperiodic, disproving the central claim.","supporting_citations":[{"cited_title":"Bohr, Acta Math 45, 29 (1925)","cited_arxiv_id":null,"evidence_quote":"establishes quasiperiodic functions as projections of higher-dimensional periodic functions, the definition the paper builds on"},{"cited_title":"Moser, Comment","cited_arxiv_id":null,"evidence_quote":"supplies the rigorous concept of generalised Bloch states and rotation number for quasiperiodic Schrödinger operators"},{"cited_title":"Avron and B","cited_arxiv_id":null,"evidence_quote":"provides the spectral theory linking continuous spectrum and rotation number that the paper uses to label continuum states"},{"cited_title":"Fr¨ ohlich, T","cited_arxiv_id":null,"evidence_quote":"proves that localisation first occurs at low energies in continuum quasiperiodic potentials, setting the transition studied here"},{"cited_title":"Critical Behavior and Fractality in Shallow One-Dimensional Quasiperiodic Potentials","cited_arxiv_id":"1904.01463","evidence_quote":"gives the independent numerical critical point $m b_1^2 v_c/\\hbar^2=2.7410$ that the paper's effective-mass fit reproduces"},{"cited_title":"Aubry and G","cited_arxiv_id":null,"evidence_quote":"defines the tight-binding quasiperiodic model with a localization transition that the continuum model generalises"},{"cited_title":"Elcoro and J","cited_arxiv_id":null,"evidence_quote":"formulates the superspace description of incommensurate structures used as the conceptual starting point"}],"review_version":1}