{"id":"b61242cd-1900-406c-889d-ea80c088abab","arxiv_id":"2607.08320","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Under local spectral assumptions on the Bloch symbol h(k,X), H_ε admits L^{2}-normalized approximate eigenfunctions with residual O(ε^{m/2+1/4}) for m=1,2.","lead":"The paper constructs localized approximate eigenfunctions for Hamiltonians of aperiodic crystals that slowly vary from a periodic background. This gives a unified mathematical explanation for quantum-oscillator and quantum-Hall spectra (including energy shifts) that appear in such materials when the variation is weak.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper’s strongest claim is a clean, self-contained construction of approximate eigenfunctions under an explicit local spectral hypothesis (Assumption 3.1). The reader correctly isolates that hypothesis as the weakest link, yet the hypothesis is both necessary for the residual and verified in every application. The proofs (Bloch–Weyl reduction §10, effective Hamiltonians §8, WKB §9) contain no circularity or unstated regularity. The two-particle regularity left open in §11 is acknowledged and does not affect the single-particle theorems. Therefore the ACCEPT verdict stands; no adjustment is required.","tokens_in":60331,"tokens_out":568,"duration_ms":5988,"concrete_test":"Independently re-derive the residual of Theorem 9.2 for the pure magnetic Schrödinger case of Corollary 5.4 (A constant, V_per=0) by expanding the exact Landau levels of H_ε and comparing the O(ε^{5/4}) bound with the known expansion μ_{ε,j}=1+ε(μ^S_j-B/2)+O(ε^{2}); if the derived residual is strictly larger than O(ε^{5/4}) the reduction step fails, otherwise the estimate is sharp as claimed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption correctly flags that Assumption 3.1 demands a homogeneous degree-m expansion (m=1 or 2) of the Bloch eigenvalues/eigenfunctions of h(k,X) together with a spectral gap in a neighborhood of size ε^{s2}\timesε^{1-s1}. That hypothesis is used at every step of the residual estimate: the Taylor remainder of h^K_e in (3.12), the construction of the effective Hamiltonians h_eff_ε (8.1)–(8.3) and (8.10)–(8.11), the reduction Theorem 9.2, and the final WKB residual O(ε^{m/2+1/4}) in Theorems 3.3 and 3.5. The paper states the assumption explicitly, verifies it for every concrete application (quantum oscillator §4, Landau–Schrödinger §5, honeycomb Dirac §6, almost-flat bands §7, two-particle FQHE §11), and never claims the residual for non-homogeneous or higher-order remainders. Consequently the central claim holds under precisely the hypotheses that are written down; no internal inconsistency or hidden gap appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper constructs localized approximate eigenfunctions for two-scale aperiodic Hamiltonians H_ε = T(-i∇_x + A(x,εx)) + V(x,εx) (Schrödinger or Dirac) when the Bloch family h(k,X) admits a multiplicity-J spectral gap and a homogeneous degree-m (m=1 or 2) expansion of eigenvalues and eigenfunctions about a point (k0,X0) (Assumption 3.1). Theorems 3.3 and 3.5 produce wave-packet states Φ_ε built from the Bloch modes and the eigenfunctions of an effective operator (Landau–Dirac, Landau–Schrödinger, or quantum harmonic oscillator, possibly with a constant energy shift ĂM) such that ||(H_ε - e0 - ε^{m/2} μ) Φ_ε|| = O(ε^{m/2 + 1/4}) with ||Φ_ε|| = |Ω|^{-1/2} + O(√ε). The proofs proceed by a reduction of H_ε to an effective Hamiltonian h_eff_ε (Theorem 9.2) followed by a WKB construction; applications recover quantum-oscillator approximations, integer and fractional quantum Hall effects (including honeycomb Dirac cones), and almost-flat bands for rational supercells.","tokens_in":60609,"tokens_out":820,"duration_ms":8054,"significance":"The work supplies a unified, rigorous semiclassical framework that produces quantum (rather than purely classical) effective Hamiltonians for aperiodic crystals and recovers several physically important models as special cases. The energy-shift term ĂM for m=2 is new and is shown to arise from a Zeeman-type contribution; it improves the density-of-states approximation of Cancès–Massatt–Meng–Polack–Quan. The reduction Theorem 9.2 and the explicit residual O(ε^{m/2+1/4}) are clean and track all cut-off and Taylor remainders. The almost-flat-band statement for rational ε and the two-particle fractional-Hall constructions further enlarge the range of applications. The paper therefore constitutes a solid contribution to mathematical physics of aperiodic media.","major_comments":[],"minor_comments":[{"comment":"The cut-off exponents s1, s2 defined in Assumption 3.1 appear repeatedly; a short remark explaining why the particular combination 1/(2nd(m+1)) is chosen would help the reader follow the error bookkeeping in Section 10.","section":null},{"comment":"In the abstract and Introduction the residual is written O(ε^{m/2 + 1/4}); the same exponent appears in Theorems 3.3 and 3.5. A parenthetical note that the 1/4 is an artifact of the L2-norm of the cut-off remainder (and could be improved under stronger decay) would clarify optimality.","section":null},{"comment":"Figure 1 is referenced as improving the DoS approximation of [9], but the caption does not state the precise value of the shift ĂM used for the green curve; adding that number would make the figure self-contained.","section":null},{"comment":"A few typographical inconsistencies remain (e.g., “Trepresents”, “xÞÑ”, missing spaces around operators). A careful copy-edit pass would remove them.","section":null},{"comment":"Assumption 11.1 for the two-particle problem is left unverified; while the Laughlin wave-functions are known to satisfy the required decay, a one-sentence reference or remark would close the logical gap.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical but the central theorems are correctly proved under the stated hypotheses. The novelty relative to the classical semiclassical literature (Simon, Helffer–Sjöstrand, Fefferman–Weinstein) and to the authors’ own earlier numerical work is genuine. I see no reason to delay publication."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is that Meng gives a single rigorous two-scale construction that produces localized approximate eigenfunctions for H_ε with residual O(ε^{m/2+1/4}) under a clean local spectral assumption on the Bloch family h(k,X). It recovers Simon’s oscillator, integer QHE Landau levels (with the energy-shift matrix ĂM explained as a Zeeman term), honeycomb Dirac Landau levels, almost-flat bands of rational approximants, and a two-particle FQHE sketch, all from the same wave-packet + effective-Hamiltonian machine.\n\nWhat is new is the systematic reduction (Theorem 9.2) of the aperiodic operator to an effective Hamiltonian heff_ε that splits into the usual Bloch-band piece plus a correction coming from the loss of translation invariance; the m=2 energy-shift matrix ĂM appears naturally and is not present in the classical Simon or Fefferman–Weinstein arguments. The proofs track every cut-off and Taylor remainder carefully, and the applications verify Assumption 3.1 by ordinary perturbation theory. The citation pattern is honest: Simon, Helffer–Sjöstrand, Fefferman–Weinstein, and the recent numerical DoS work are used exactly where they belong.\n\nThe soft spots are real but limited. Assumption 3.1 demands a homogeneous degree-m expansion (m=1 or 2) plus a spectral gap in a neighborhood of size ε^{s2}\timesε^{1-s1}; higher-order or non-homogeneous remainders are simply outside the theorem, and the paper never claims otherwise. The two-particle regularity (Assumption 11.1) is left open, though Laughlin states satisfy it. The residual is not sharp, and twisted-bilayer models are deferred. None of these undermine the central claims under the stated hypotheses.\n\nThis is for mathematical physicists and condensed-matter theorists who work with aperiodic or slowly modulated crystals and want controlled L^{2} quasimodes rather than formal effective Hamiltonians. The math is solid, the assumptions are explicit, and the applications check out. I would send it to a serious referee without hesitation; it deserves a careful reading and will be useful to cite.","headline":"Solid, self-contained construction of L^{2} approximate eigenfunctions for two-scale aperiodic Hamiltonians that recovers Simon, Landau levels (with Zeeman shift), honeycomb Dirac, and almost-flat bands under explicit spectral assumptions.","tokens_in":61176,"tokens_out":576,"would_cite":true,"duration_ms":8662,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q20","35P20","81Q10","47A55"],"pacs":[],"model":"grok-4.5","headline":"Slowly modulated aperiodic crystals admit localized approximate eigenfunctions whose energies are set by effective Landau or oscillator operators (with an extra energy shift).","keywords":["aperiodic crystals","approximate eigenfunctions","Bloch transform","effective Hamiltonian","Landau levels","quantum Hall effect","van Hove singularity","wave packets"],"falsifier":"Take a concrete one-dimensional Schrödinger operator whose band edge is quadratic, compute the exact density of states or the lowest eigenvalues of a large supercell for several small ε, and check whether the predicted oscillator eigenvalues (including the constant energy shift) reproduce the observed peaks within the stated O(ε^{5/4}) tolerance.","tokens_in":61252,"feed_emoji":"🔬","tokens_out":1016,"duration_ms":13075,"temperature":0.7,"pith_summary":"The paper studies Schrödinger or Dirac Hamiltonians for crystals whose potentials are periodic in the fast variable but slowly modulated in a second slow scale εx. When the underlying family of periodic Bloch operators has a multiple eigenvalue of multiplicity J at energy e0 whose local expansion is homogeneous of degree m=1 or 2, the author constructs explicit wave-packet trial functions that are approximate eigenfunctions of the full aperiodic operator. The residual is of order ε to the power m/2 plus 1/4, while the functions remain normalized up to an O(√ε) error. The same construction recovers quantum-harmonic-oscillator spectra, Landau levels (with a Zeeman-type shift that the author traces to a second-order commutator), relativistic Landau levels for honeycomb Dirac cones, almost-flat bands for rational supercells, and two-particle Laughlin-type trial states for fractional quantum-Hall models. The result therefore supplies a single semiclassical recipe that turns local band geometry into concrete approximate eigenvalues and eigenfunctions for a wide class of aperiodic crystals.","feed_headline":"Aperiodic crystals get approximate eigenfunctions from band geometry","feed_subtitle":"Local Bloch expansions yield Landau or oscillator energies with a controlled residual of order ε to a fractional power.","key_machinery":"The reduction identity that replaces H_ε acting on a Bloch wave packet by an effective two-scale operator heff_ε (split into a band-edge part heff_1,ε and a non-uniform-density correction heff_2,ε), followed by a WKB construction of approximate eigenpairs of heff_ε that are then lifted back to the original space.","core_discovery":"Under a local spectral-gap and homogeneous-degree-m expansion assumption on the Bloch family h(k,X) about a point (k0,X0), the aperiodic Hamiltonian H_ε admits localized approximate eigenfunctions Φ_ε whose energies are e0 plus ε^{m/2} times an eigenvalue of an effective matrix operator built from the leading homogeneous symbol (plus an explicit constant matrix correction when m=2). The residual is O(ε^{m/2+1/4}) and the L2-norm of Φ_ε equals the reciprocal square-root of the cell volume plus O(√ε).","pith_inferences":["The constant matrix correction that appears for m=2 is the continuum analogue of a Zeeman term; its presence suggests that any higher-order effective Hamiltonian will systematically generate magnetic-moment corrections from the same commutator structure.","Because the construction only needs local information about the Bloch family, it can be turned into a practical numerical scheme that extracts approximate eigenfunctions of large aperiodic systems from a single small-cell band-structure calculation.","If the homogeneous expansion can be pushed to higher order, the residual can be improved beyond O(ε^{m/2+1/4}), opening a route to sharper almost-flat-band estimates for incommensurate moiré materials."],"forward_implications":["Near van-Hove points or Dirac cones the spectrum of H_ε contains discrete approximate eigenvalues given by Landau or harmonic-oscillator levels (plus an explicit constant shift when m=2).","For rational ε=p/q the same construction produces an almost-flat band of width O(ε^{m/2+1/4}) in the Bloch decomposition over the supercell Brillouin zone.","Two-particle systems with weak interaction inherit approximate eigenfunctions whose energies are those of the corresponding two-particle Landau/Dirac operator plus the interaction potential.","The same wave-packet recipe applies verbatim to any dimension and to both Schrödinger and Dirac kinetic terms once the local band geometry is known."],"fun_headline_variants":["Approximate eigenfunctions from Bloch geometry of aperiodic crystals","Local Bloch expansions yield controlled states for aperiodic Hamiltonians","Aperiodic crystals admit approximate eigenfunctions via band expansions","Homogeneous symbols give approximate eigenfunctions for aperiodic media","Bloch family geometry produces localized approximate crystal eigenfunctions"],"cache_read_input_tokens":49280,"weakest_assumption_plain":"The Bloch eigenvalues and eigenfunctions must admit a homogeneous polynomial expansion of exact degree one or two (with a spectral gap) in a shrinking neighborhood of the special point; any higher-order or non-homogeneous remainder would destroy the claimed residual size.","fun_headline_variants_meta":{"raw":{"variants":["Approximate eigenfunctions from Bloch geometry of aperiodic crystals","Local Bloch expansions yield controlled states for aperiodic Hamiltonians","Aperiodic crystals admit approximate eigenfunctions via band expansions","Homogeneous symbols give approximate eigenfunctions for aperiodic media","Bloch family geometry produces localized approximate crystal eigenfunctions"]},"model":"grok-4.5","effort":"low","cost_usd":0.006192,"raw_usage":{"total_tokens":1790,"prompt_tokens":1041,"num_sources_used":0,"completion_tokens":61,"cost_in_usd_ticks":61920000,"prompt_tokens_details":{"text_tokens":1041,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":688,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":1041,"tokens_out":61,"duration_ms":6335,"temperature":1.0,"reasoning_tokens":688,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T09:26:50.322702+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Take a concrete one-dimensional Schrödinger operator whose band edge is quadratic, compute the exact density of states or the lowest eigenvalues of a large supercell for several small ε, and check whether the predicted oscillator eigenvalues (including the constant energy shift) reproduce the observed peaks within the stated O(ε^{5/4}) tolerance.","supporting_citations":[],"review_version":1}