{"id":"e21f33e7-f57e-4c89-bb26-046d24737793","arxiv_id":"2509.09049","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper derives a spectral characterization of magnetic-translation-invariant operators and a 1D reduction of 3D magnetic kinetic energy, but the headline kinetic-energy formulas are inconsistent between the abstract, the theorems, and the proofs.","lead":"This paper claims to characterize all non-negative operators that commute with magnetic translations, and uses that to derive kinetic energy formulas for electron gases in magnetic fields. The headline kinetic-energy formulas are stated inconsistently across the abstract, the main theorems, and the proofs, so the preprint needs major corrections before its claims can be trusted.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Printed 3D kinetic-energy formula is dimensionally inconsistent and contradicts its own proof: Prop. 3.7 and the abstract use b^2/(6π^2) (and δρ/3), while the derivation in §4.3 yields b/(6π^2) and δρ/6.","rationale":"The reader's verdict is REJECT with high confidence, and my stress-test supports that verdict-as-written. However, the most load-bearing flaw is not the reader's identified weakest assumption, the claimed identity in Proposition 4.2; direct substitution with the paper's sign conventions and u=x1−k/b3 makes that identity consistent. The decisive issue is the internal contradiction in the announced ω3d formula: the abstract, Proposition 3.7, and the proof in §4.3 give incompatible prefactors, and the printed b^2 version is dimensionally incompatible with the rest of the formula. This is a concrete, checkable inconsistency in a central announced result, not merely a stylistic mismatch. It agrees with the reader's general observation that the headline kinetic-energy formulas are inconsistent, so I mark agreement as partial: same conclusion, different pinpoint. The proof line suggests the result is probably repairable by replacing b^2 with b, but as written the preprint's main 3D formula cannot be accepted without correction and realignment of the abstract and Proposition 3.7.","tokens_in":21922,"tokens_out":39908,"duration_ms":407347,"concrete_test":"Recompute Proposition 3.7 from Eq. (4.7) without the final algebraic simplification: insert m*=1_{ε_n+k^2<δ}, perform the k-integral to obtain (b/(4π^2))Σ ε_n(δ−ε_n)_+^{1/2} + (b/(12π^2))Σ(δ−ε_n)_+^{3/2}, then use the charge constraint (3.11) to simplify. Verify whether the surviving prefactor is b/(6π^2) or b^2/(6π^2). Independently check the dimensions of each term: the b^2 version fails by a factor of b, while the proof's b/(6π^2) version is dimensionally consistent.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 3.7 is the explicit formula for the 3D homogeneous-gas kinetic energy density, one of the paper's headline results. As printed it cannot be correct: with ε_n=b(2n+1)∼b and (δ−ε_n)_+^{1/2}∼δ^{1/2}, the term (b^2/(6π^2))Σ ε_n(δ−ε_n)_+^{1/2} has dimension L^{-7} in the natural units used throughout, whereas δρ/6 has the required L^{-5}. The proof in §4.3 (last two displayed lines) derives the same quantity as δρ/6 + (b/(6π^2))Σ ε_n(δ−ε_n)_+^{1/2}, which is dimensionally correct. The abstract instead states δρ/3 + (b^2/(3π^2))Σ ε_n(δ−ε_n)_+^{1/2}, still another inconsistent prefactor. Thus the announced theorem, the abstract, and the proof cannot all be true. This matters for the b→0 limit: using the proof's coefficient, the bathtub sum tends to the standard free-electron kinetic energy obtained by direct continuum evaluation of (4.7); using the printed b^2 coefficient, the term vanishes and the limit is off by a constant factor. This is not a peripheral typo: it affects the central claimed expression for ω3d.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper characterizes self-adjoint operators that commute with magnetic translations in two dimensions and in three dimensions with two-dimensional symmetry (Theorems 3.1 and 3.3), and uses this characterization to derive explicit kinetic energy densities for homogeneous electron gases (Propositions 3.5 and 3.7) and to reduce the 3D kinetic energy of a 2D-symmetric system to a 1D functional (Theorem 3.11). The main tools are a Wigner-type transform, fiber decomposition in the translation-invariant direction, and the bathtub principle.","tokens_in":22338,"tokens_out":24642,"duration_ms":252750,"significance":"The characterization theorem is a potentially substantial structural extension of [18, Prop. 2.5]: it removes the assumption of commutativity with the Landau operator. The reduction theorem, if its key identity is supplied, would be useful for magnetic density functional theory. The paper is analytic, mostly self-contained, and Theorems 3.1 and 3.3 are clearly formulated. However, the quantitative results on homogeneous gases are presented in mutually inconsistent forms, and the asymptotic analysis in Appendix A contains a scaling error. These issues currently prevent the central quantitative claims from being accepted as stated.","major_comments":[{"comment":"The formula for ω3d appears in three incompatible forms. The Abstract/Introduction states δρ/3 + b²/(3π²)Σ ε_n(δ-ε_n)^{1/2}_+; Proposition 3.7, Eq. (3.10), states δρ/6 + b²/(6π²)Σ ε_n(δ-ε_n)^{1/2}_+; the final displayed calculation in §4.3 gives δρ/6 + b/(6π²)Σ ε_n(δ-ε_n)^{1/2}_+. Only the proof's version follows from the preceding algebra. The discrepancy is not cosmetic: with the b² coefficient the sum vanishes as b→0, whereas with the proof's b coefficient it contributes to the continuum limit. All occurrences must be reconciled.","section":"§3.2.2, Eq. (3.10); §4.3; Abstract/Introduction"},{"comment":"The announced limit (A.1), π^{4/3}/6^{1/3}ρ^{5/3}, disagrees with the proof's final line and with Proposition 3.9, which state (3π²)^{2/3}/3 ρ^{5/3}; these differ by a factor 2^{1/3}. The source is a scaling error: from (3.11), Σ(δ-ε_n)^{1/2}_+ = √(2b) f((δ/b-1)/2), so the argument of f^{-1} is √2 π²ρ/b^{3/2}, not 2π²ρ/b^{3/2}. With the corrected δ, the energy formula from §4.3 tends to (3/10)(6π²)^{2/3}ρ^{5/3}, the standard spinless Thomas-Fermi value, not to either printed value. The asymptotic claims must be rederived.","section":"Appendix A.1 and Proposition 3.9"},{"comment":"Theorem 3.11 rests on the identity L^{3d}_A W^{3d}_{b3}(f,g)=W^{3d}_{b3}(H^{2d}f,g), which is introduced as a 'straightforward calculation' but not proved. This identity is the mechanism that factors the 3D kinetic energy through the 1D functional; if it fails, the equality (3.14) collapses. A direct computation should be displayed, or an exact reference given.","section":"§4.4, Proposition 4.2"},{"comment":"The definitions of ω2d and ω3d as thermodynamic limits are replaced, without proof, by variational problems over magnetic-translation-invariant states. The 2D case is justified by citing [11,17], but the 3D replacement is only said to be 'similar'. Since the explicit formulas and the reduction theorem apply to the latter quantities, the precise equivalence, or the exact statement of the relevant result in [11,17], should be supplied. Otherwise the physical interpretation as thermodynamic limits is conditional.","section":"§3.2.1–§3.2.2, Eqs. (1.1)–(1.2), (3.6), (3.9)"}],"minor_comments":[{"comment":"The abstract's formula for ω2d is missing the factor 1/(4π): it reads b² {2πρ/b}(1-{2πρ/b}), whereas Proposition 3.5, Eq. (3.8), has b²/(4π) times the same fractional-part factor.","section":"Abstract"},{"comment":"The trace per unit surface should be Tr2(γ), not Tr3(γ). With ργ∈L¹(R), the trace per unit volume as defined in the Notation vanishes, so the displayed formula is only correct for Tr2.","section":"Theorem 3.3, Eq. (3.3)"},{"comment":"'The proof of Theorem 3.14 is detailed in Section 4.4' should refer to Theorem 3.11.","section":"§3.2.3"},{"comment":"Several absolute-value signs are missing in the displayed equations, e.g. 'B|2' should be '|B|²' in (4.10) and in the construction of ψ̃_{j,m}; the tildes on ψ in the same passage are also applied inconsistently.","section":"§4.4"},{"comment":"Typo: 'for al(x1,k)∈R²' should be 'for all (x1,k)∈R²'. In addition, the sentence beginning 'As the two-dimensional Landau operator' in §3.2.1 is grammatically incomplete and should be revised.","section":"§4.1"}],"recommendation":"major_revision","confidential_remarks":"The core ideas are interesting and likely salvageable, but the mutually inconsistent displays of ω3d and the erroneous asymptotic analysis in Appendix A are load-bearing and must be fixed before publication. I would ask the authors to (i) reconcile the proof, the proposition, and the abstract; (ii) redo the b→0 analysis, including the scaling of f in the constraint; and (iii) prove or properly reference the identity in Proposition 4.2. If these are corrected, the paper could be a solid contribution; in its current form the main quantitative claims are not reliable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has two parts. The first, Theorems 3.1 and 3.3, is the real contribution: a structure theorem for non-negative operators commuting with magnetic translations, written as sums of spectral projectors onto Wigner transform subspaces. This does generalize [18, Prop 2.5] by dropping the Landau-commutator assumption and covering b1≠0 in 3D. The proofs via fiber decomposition and the trace-per-unit-area formula look sound to me.\n\nThe second part, the kinetic energy formulas, is where it breaks down as printed. Proposition 3.7 states ω3d = δρ/6 + (b²/(6π²)) Σ ε_n(δ−ε_n)_+^{1/2}; the proof in §4.3 ends with δρ/6 + (b/(6π²)) Σ ε_n(δ−ε_n)_+^{1/2}; the abstract says δρ/3 + (b²/(3π²)) Σ ... . These cannot all be true. The stress-test note is right: with ε_n ~ b, the b² version has dimension L^{-7} rather than L^{-5} and vanishes as b→0, so the claimed b→0 limit is off by a constant. Appendix A.1 adds a third inconsistent statement: it advertises limit π^{4/3}/6^{1/3}ρ^{5/3}, but its own derivation at the end of A.1 gives (3π²)^{2/3}/3ρ^{5/3}. These are not peripheral typos; the 3D formula is a headline result and feeds the magnetic Thomas-Fermi functional.\n\nThere is also a load-bearing gap: Proposition 4.2 relies on the identity L_A^{3d}W_{b3}^{3d}(f,g) = W_{b3}^{3d}(H^{2d}f,g), dismissed as a 'straightforward calculation'. It may well be true, but it is the linchpin of the 3D-to-1D reduction and should be shown, especially since the rest of the paper is careful.\n\nOn balance: the operator characterization deserves serious attention, and the reduction strategy is promising, but the 3D kinetic-energy section has errors in announced results. The authors need to align abstract, Prop 3.7, Prop 3.9, and Appendix A.1, and supply the Prop 4.2 computation. This is a legitimate candidate for peer review after correction, but I would not accept it in current form. If you send it out, ask a referee who knows magnetic DFT.","headline":"The operator characterization is a genuine advance, but the paper's central 3D kinetic-energy formula is printed inconsistently—proof, theorem, and abstract disagree on prefactors that matter.","tokens_in":22807,"tokens_out":9491,"would_cite":false,"duration_ms":92485,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q10","82B10","47A70"],"pacs":[],"model":"deepseek-v4-flash","headline":"Magnetic-translation-invariant states decompose into Wigner-type spectral projectors, enabling explicit kinetic-energy formulas.","keywords":["magnetic translations","Wigner transform","Landau operator","kinetic energy functional","homogeneous electron gas","density functional theory","spectral decomposition","thermodynamic limit"],"falsifier":"Compute L^{3d}_A W^{3d}_{b₃}(f, g) for concrete Schwartz functions, e.g., Hermite functions, and verify explicitly whether it equals W^{3d}_{b₃}(H^{2d}f, g); a single counterexample would invalidate Proposition 4.2 and Theorem 3.11.","tokens_in":21850,"feed_emoji":"🧲","tokens_out":2963,"duration_ms":32542,"temperature":0.7,"pith_summary":"This paper proves that any non-negative, locally trace-class operator commuting with all magnetic translations has a rigid structure: it is a sum of infinite-dimensional orthogonal projectors built from a Wigner-type transform, with a trace per unit area proportional to the sum of the coefficients. This characterization extends earlier results that required commutation with the Landau operator, and it does not rely on the magnetic translations forming a group. The authors use the decomposition to derive explicit formulas for the kinetic energy density of two- and three-dimensional homogeneous electron gases in a uniform magnetic field, recovering the non-magnetic limits. They also reduce the kinetic energy of a three-dimensional system with two-dimensional symmetry to a one-dimensional functional, mapping 3D magnetic density-functional models onto simpler 1D problems.","feed_headline":"Magnetic-symmetric quantum states decompose into Wigner building blocks","feed_subtitle":"A new spectral decomposition yields explicit kinetic-energy formulas and reduces 3D magnetic models to 1D.","key_machinery":"The Wigner-type transform W^{2d}_α(f, g)(x₁, x₂) = (2π)^(-1/2) ∫ f(x₁ - k/α) g(k) e^{-ikx₂} dk, which is an isometry from L²(R) × L²(R) to L²(R²) by the Moyal identity; it generates the projectors K^{2d}_{ψ}. Magnetic translations m^b_R act on this transform by shifting the window, and a fiber decomposition over the x₂-direction reduces commutation with all magnetic translations to a simple relation among fibers, leading to the spectral decomposition.","core_discovery":"Theorem 3.1 and Theorem 3.3 establish that if an operator η on L²(R²) commutes with magnetic translations, then η = Σ λₙ K^{2d}_{ψₙ}, where {ψₙ} is an orthonormal basis of L²(R), λₙ ≥ 0, and K^{2d}_{ψₙ} is the orthogonal projector onto the subspace {W^{2d}_b(ψₙ, g) : g ∈ L²(R)} generated by the Wigner-type transform W^{2d}_b. The trace per unit area is (b/2π) Σ λₙ. The analogous 3D statement holds for operators on L²(R³) commuting with two-dimensional magnetic translations. This gives a complete spectral picture for magnetic-translation-invariant states and yields the explicit kinetic-energy densities ω^{2d}(b, ρ) and ω^{3d}(b, ρ) via the bathtub principle.","pith_inferences":["The spectral decomposition may provide a natural basis for defining entropy, correlation, or exchange functionals on magnetic-translation-invariant states, since the coefficients λₙ behave like occupancies of Wigner windows.","The reduction mechanism in Theorem 3.11 likely extends to interacting models with 2D symmetries, because the factorization rests on the kinetic-energy identity rather than on the non-interacting assumption.","The trace-per-unit-area coefficient b/(2π) ties the decomposition to the Landau level degeneracy, suggesting that the projectors K^{2d}_{ψ} are a basis for the algebra of magnetic-translation-invariant observables; one could test this by constructing explicit non-commuting invariant operators."],"forward_implications":["The explicit formula ω^{2d}(b, ρ) = πρ² + (b²/4π){2πρ/b}(1 - {2πρ/b}) shows the kinetic energy density is piecewise linear with a periodicity that reflects Landau-level filling, and reduces to πρ² as b → 0.","The 3D formula ω^{3d}(b, ρ) = δρ/6 + (b²/6π²) Σₙ ε^bₙ(δ - ε^bₙ)₁₊^{1/2} provides the magnetic Thomas–Fermi kinetic energy, recovering the standard ρ^{5/3} limit at zero field.","Theorem 3.11 reduces the kinetic energy of a 3D system with 2D symmetry to a 1D functional over trace-class operators G on L²(R), making 3D magnetic density-functional models as tractable as 1D problems.","The characterization applies without assuming commutation with the Landau operator, so it covers a wider class of magnetic-translation-invariant states than previous structural results."],"fun_headline_variants":["Magnetic translations yield exact kinetic energy functionals","Wigner transform splits 3D magnetic models into 1D","New spectral theorem for magnetic translation symmetry","Magnetic symmetry reduces 3D kinetic energy to 1D"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof of Theorem 3.11 relies on the unproved identity L^{3d}_A W^{3d}_{b₃}(f, g) = W^{3d}_{b₃}(H^{2d}f, g); if this identity fails, the reduction of the 3D kinetic energy to the 1D functional collapses.","fun_headline_variants_meta":{"raw":{"variants":["Magnetic translations yield exact kinetic energy functionals","Wigner transform splits 3D magnetic models into 1D","New spectral theorem for magnetic translation symmetry","Magnetic symmetry reduces 3D kinetic energy to 1D"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000126,"raw_usage":{"total_tokens":881,"prompt_tokens":614,"completion_tokens":267,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":358,"completion_tokens_details":{"reasoning_tokens":202}},"tokens_in":358,"tokens_out":267,"duration_ms":3968,"temperature":1.0,"reasoning_tokens":202,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T19:52:48.237051+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute L^{3d}_A W^{3d}_{b₃}(f, g) for concrete Schwartz functions, e.g., Hermite functions, and verify explicitly whether it equals W^{3d}_{b₃}(H^{2d}f, g); a single counterexample would invalidate Proposition 4.2 and Theorem 3.11.","supporting_citations":[],"review_version":1}