{"id":"ce5d5bd5-70d6-4706-933f-062112b6579b","arxiv_id":"2506.03254","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"On a flat square torus, orbital angular momentum has spectrum ℏZ plus the continuous bands |λ|≥ℏ, independent of the torus size.","lead":"The paper shows that in a flat universe with periodic boundaries, orbital angular momentum has not only the usual integer values but also a continuous range of non-integer values, including half-integers and irrationals, coming from states far from the rotation center.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The direct-integral fibration in Eqs. (10)-(15) is the load-bearing step: it is asserted without an explicit intertwiner, and the spectral claim collapses if the domain/core details fail.","rationale":"The reader's weakest_assumption is exactly the unproved fibration and matching domain of L_z in Eqs. (10)-(15); my review identifies the same step as load-bearing. The paper's central claim is mathematical: the spectrum of L_z on a square flat torus has pure point part ℏZ and absolutely continuous part (-∞,-ℏ]∪[ℏ,∞). Everything after Eq. (15) is a direct-integral spectral computation that is standard once the fibration is legitimate. The risk is not in Theorem XIII.85 or the eigenvalue branches λ_m(r)=ℏm/μ(r); it is in whether U L_z U^{-1} is really ∫^⊕ p_φ(r) r dr on a core. Since the polar coordinate chart is singular at the square edges and the quotient identification of the four arcs is nontrivial, the domain of the fiber derivative must be checked by explicit boundary-term computation rather than asserted. There is no demonstrated contradiction, and the heuristic and direct-integral calculations are coherent, so I do not recommend rejection. I also agree with the reader that the abstract's 'closed universe' overstates the square-torus scope; however, that is a scope clarification, not the load-bearing correctness risk. The verdict CONDITIONAL remains appropriate, conditioned on supplying the missing intertwiner and core proof.","tokens_in":957,"tokens_out":1860,"duration_ms":557773,"concrete_test":"Write the polar-coordinate unitary explicitly as (Uf)(r,φ)=√r f(r cosφ, r sinφ) for φ∈Γ_r. For the dense set of Fourier modes e^{iπ(nx+my)/l}, compute U L_z U^{-1} and compare it with the fiber operator -iℏ d/dφ supplied with the periodic boundary conditions on the quotient circle S_{μ(r)}, including the correct orientation of the four arcs. Verify that every such mode has (Uf)(r,·)∈H¹(S_{μ(r)}) for a.e. r and that the graph-norm closure of L_z on C∞(T²_l) coincides with the direct-integral domain. If the actions differ on any Fourier mode, or if the closure requires additional boundary conditions, Eqs. (14)-(15) fail and the spectral claim does not follow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The key spectral result depends entirely on the unitary equivalence H ≃ ∫^⊕ H_r r dr and L_z ≃ ∫^⊕ p_φ(r) r dr in Eqs. (10)-(15). This equivalence is asserted, not proved. The polar-coordinate map (r,φ) is not a smooth fiber bundle over r: the angular set Γ_r is a full circle for r<ℓ and a four-arc set with torus identifications for r∈[ℓ,√2ℓ], and the identification L²(Γ_r)≃L²(S_{μ(r)}) involves gluing endpoints through the periodic boundary conditions. To conclude σ(L_z)=ℏZ ∪ ((-∞,-ℏ]∪[ℏ,∞)), one must prove that the closure of L_z on C∞(T²_l) has exactly the direct-integral domain {F : ∫∥p_φ(r)F(r,·)∥² r dr < ∞} with the periodic boundary conditions on S_{μ(r)}. The paper only states this by reference to Fig. 4 and invokes the analytic vector theorem without exhibiting a core. The boundary terms at the four arc endpoints determine which self-adjoint extension is selected; a different extension—e.g., one with Dirichlet or transmission conditions involving ∂_r—would change the fiber spectrum. Without the fibration, Theorem XIII.85 does not apply and the continuous band outside [-ℏ,ℏ] is unsupported. This is the single most load-bearing gap in the argument. The generalisation from square tori to 'closed universe' is a separate scope issue, but even the square-torus claim stands or falls on this step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the operator L_z = x p_y - y p_x on L^2 of a flat square torus T^2_ell with periodic boundary conditions. It claims that the spectrum consists of the usual pure point part hbar Z plus an absolutely continuous part (-infinity,-hbar] union [hbar,infinity), and that this spectrum is independent of the torus size ell. The argument combines a Bohr-Sommerfeld semiclassical picture with a direct-integral decomposition in polar coordinates, in which the fibers over r are identified with circles of effective radius mu(r), and then applies Theorem XIII.85 of Reed and Simon to obtain the spectrum. The authors argue that the exotic continuous part is supported near the corners of the fundamental domain and discuss possible cosmological implications for the CMB.","tokens_in":6663,"tokens_out":20572,"duration_ms":215736,"significance":"If the central fibration step is made rigorous, this is a surprising and potentially important result: it shows that the textbook integer quantization of orbital angular momentum depends on the spatial topology, and that on a torus all real values with |lambda| >= hbar occur in the spectrum, including half-integer and even irrational values, without the use of multi-valued wavefunctions. The claimed independence of the torus size is striking and would make the effect robust in the large-universe limit. The derivation is self-contained and parameter-free, with explicit point eigenfunctions for the pure point part and an explicit spectral picture, and the semiclassical and operator arguments agree. The manuscript is honest about the restriction to square tori in the body, though the abstract overstates the generality. The main weakness is that the unitary equivalence underlying the whole spectral computation is asserted rather than proved.","major_comments":[{"comment":"The direct-integral decomposition is the load-bearing step and is not proved. The paper states H ≃ ∫^⊕ H_r r dr and L_z ≃ ∫^⊕ p_phi(r) r dr, with L^2(Gamma_r) ≃ L^2(S_{mu(r)}), but no explicit intertwiner is given, and the matching of the domain D(p_phi(r)) = H^1(S_{mu(r)}) to the periodic boundary conditions on T^2_ell is not demonstrated. Since Theorem XIII.85 is applied to this direct integral, the claimed pure point part (21) and absolutely continuous part (23) stand or fall on this equivalence. Please provide a complete proof of the unitary equivalence, including the identification of the closure of L_z on C^infinity(T^2_ell) with the direct integral operator and its domain. The sentence \"By the analytic vector theorem, it is easy to see...\" is insufficient, particularly because x and y are not smooth functions on the torus.","section":"Full quantum proof, Eqs. (10)-(16)"},{"comment":"The proof is explicitly restricted to square tori of side 2ell x 2ell: the Intuition section states \"We will consider a flat finite universe... dimension 2ell x 2ell\" and adds that other aspect ratios lead to chaotic trajectories which will be discussed elsewhere. The abstract, title, and conclusion nevertheless claim the result for \"a closed universe\" without qualification. This is an overgeneralization as written; the main theorem should be stated for square tori, or the proof should be extended to general aspect ratios.","section":"Abstract, Conclusion, and Intuition"},{"comment":"The sentence \"Remarkably, neither the spectrum of angular momentum nor its square, as a measure of energy, depends on the size of the closed universe\" is unsupported and is contradicted later in the Intuition section, where the authors state that |L|^2 is \"considerably harder and where we only have partial results till date.\" Since no result on L^2 is proved, this claim should be removed or explicitly marked as conjectural.","section":"Introduction"}],"minor_comments":[{"comment":"There are small typos: \"soley\" should be \"solely\", and \"torodial\" should be \"toroidal\".","section":"Introduction and Abstract"},{"comment":"The formula for lambda_m(r) is given for r in [ell, sqrt(2)ell), omitting the endpoint r = sqrt(2)ell where mu(r)=0 and the formula diverges; since the endpoint has measure zero this is harmless, but it should be stated explicitly.","section":"Full quantum proof, Eq. (19)"},{"comment":"The phrase \"absolutely continuous wavefunctions psi in H_ac(L_z), psi in L^2\" is imprecise: the absolutely continuous spectral subspace does not consist of normalizable eigenfunctions. It should be described as a spectral subspace, not as individual wavefunctions.","section":"Full quantum proof, Eq. (25)"},{"comment":"For negative m, the displayed eigenfunctions v_m(r,phi) = w(r) u_m(phi) are not smooth at r=0 for arbitrary w in L^2; if continuity at the origin is required, w must vanish appropriately. This is a minor regularity point, but worth a short note.","section":"Full quantum proof, Eq. (22)"}],"recommendation":"major_revision","confidential_remarks":"To the editor: I believe the main result is very likely correct for square tori, and the direct-integral gap is repairable. I am therefore not recommending rejection. The major comments are aimed at making the proof self-contained and aligning the claims with what is actually proved. If the authors can supply a rigorous treatment of the fibration and the domain/core issues, the paper would be suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Daniel and Paolo show that on the flat square torus T^2_l, the operator L_z = x p_y - y p_x has spectrum lZ combined with R outside (-l,l), with the continuous part coming from states near the corners. The size independence is the eye-catching part, and the semiclassical argument gives a simple picture that lines up with the direct-integral computation. I don't see any prior derivation of this in the cited references, so it looks genuinely new.\n\nThe paper is honest and self-contained: no fitted parameters, no borrowing from the authors' own prior work, and the fibered Hilbert space method is a sensible tool for this geometry. The edge-state interpretation, where the orbits wrap around the torus and get a smaller effective angle, is clear and the figures help.\n\nThe load-bearing gap is the direct-integral fibration in Eqs. (10)-(15). The identification H ~= direct integral of H_r r dr and L_z ~= direct integral of p_phi(r) r dr is asserted without showing the unitary map or proving that the closure of L_z on C^infinity has the stated direct-integral domain. The identification L^2(Gamma_r) ~= L^2(S_mu(r)) for r>l glues four arcs through periodic boundary conditions, and the boundary conditions at the arc endpoints determine which self-adjoint extension is selected. The paper says essential self-adjointness is 'easy' but does not exhibit a core. Without those details, Theorem XIII.85 does not apply. This is a real gap, but it looks fillable: the semiclassical result and the explicit fiber eigenfunctions are consistent with the claimed spectrum. A referee should ask for the proof.\n\nThe other issue is scope. The abstract and conclusion talk about a 'closed universe', but the computation is for square tori with a specific aspect ratio. The authors note that other aspect ratios lead to chaotic trajectories and defer them, so the general claim is not established.\n\nWho benefits: quantum mechanics on non-simply connected spaces, angular momentum quantization, and maybe cosmology/CMBR if the edge states matter. I'd send this to a serious referee; it deserves a careful look, not a desk reject. The conditional verdict is about right.","headline":"Plausible new result on OAM on a torus, but the proof has a gap in the direct-integral step that a referee should push on.","tokens_in":7110,"tokens_out":3055,"would_cite":false,"duration_ms":30956,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81Q10","81R05","47B25"],"pacs":["03.65.-w","03.65.Db"],"model":"deepseek-v4-flash","headline":"On a flat torus universe, orbital angular momentum admits every real value with magnitude at least ℏ, alongside the usual integers.","keywords":["orbital angular momentum","spectrum","flat torus","periodic boundary conditions","continuous spectrum","direct integral","anyons","cosmic microwave background"],"falsifier":"Compute the spectral measure of $L_z$ on a finely discretized square torus for a small interval inside $(\\hbar,2\\hbar)$, for example $(1.1\\hbar,1.2\\hbar)$: the paper predicts nonzero support there, and a result of exactly zero would contradict the claimed continuous band without relying on the direct-integral decomposition.","tokens_in":6073,"feed_emoji":"🌌","tokens_out":15336,"duration_ms":132902,"temperature":0.7,"pith_summary":"The paper's aim is to show that the textbook integer quantization of orbital angular momentum is not a universal quantum-mechanical law. On a flat 2-torus, a square with opposite edges identified, the operator $L_z=xp_y-yp_x$ has, in addition to the usual eigenvalues $\\hbar\\mathbb{Z}$, a continuous spectrum covering $(-\\infty,-\\hbar]\\cup[\\hbar,\\infty)$. The new spectral values are realized by states concentrated near the corners of the torus, far from the chosen center of rotation, so they are invisible to laboratory experiments but could have been populated in the early universe. If the analysis is correct, the spectrum is independent of the size of the torus and the phenomenon also appears in compactified dimensions; the authors point to possible cosmological imprints, for instance in the cosmic microwave background.","feed_headline":"Closed universe lets angular momentum take any real value past ℏ","feed_subtitle":"Integer eigenvalues survive, but torus edge states create a size-independent continuous band beyond ℏ.","key_machinery":"The machinery is the factorization of the torus Hilbert space into radial fibers, $H\\simeq\\int^{\\oplus}_{[0,\\sqrt{2}\\ell]}H_r\\,r\\,dr$ with fiber $H_r\\simeq L^2(\\Gamma_r)$, and the identification $L^2(\\Gamma_r)\\simeq L^2(S_{\\mu(r)})$ that turns angular momentum into a direct integral of one-dimensional momentum operators, $L_z\\simeq\\int^{\\oplus}p_\\varphi(r)\\,r\\,dr$. Each fiber operator $p_\\varphi(r)$ is the derivative on a circle of effective radius $\\mu(r)$ and has pure point spectrum $\\hbar/\\mu(r)\\,\\mathbb{Z}$. As $r$ runs from $\\ell$ to $\\sqrt{2}\\ell$, the curves $\\lambda_m(r)=\\hbar m/\\mu(r)$ sweep out the continuous bands, and the standard direct-integral spectral theorem cited in the paper as [18] converts the measure of the $r$-preimage of each $\\lambda$ into pure point versus absolutely continuous spectrum. Because $L_z$ is scale invariant as a product of multiplication and derivative operators, the final spectrum does not depend on the torus size $\\ell$.","core_discovery":"The central claim is that on the flat torus $\\mathbb{T}^2_\\ell$, the orbital angular momentum operator $L_z=xp_y-yp_x$ has spectrum $\\sigma(L_z)=\\hbar\\mathbb{Z}\\cup((-\\infty,-\\hbar]\\cup[\\hbar,\\infty))$, with pure point part $\\hbar\\mathbb{Z}$ and absolutely continuous part $\\mathbb{R}\\setminus(-\\hbar,\\hbar)$, independent of the torus size $\\ell$. The continuous part comes from the tension between rotational symmetry and the square boundary conditions: polar coordinates on a torus do not give a globally defined angle. For radii $r$ between $\\ell$ and $\\sqrt{2}\\,\\ell$, the allowed angular range $\\Gamma_r$ consists of four intervals rather than a full circle, equivalent by periodicity to a circle of effective circumference $2\\pi\\mu(r)$, with $\\mu(r)=1-\\frac{4}{\\pi}\\arccos(\\ell/r)$. The fiber momentum then has eigenvalues $\\hbar m/\\mu(r)$, which sweep out the continuous bands as $r$ varies. A band gap $(-\\hbar,\\hbar)$ remains, and the normalizable eigenstates belonging to $\\hbar\\mathbb{Z}$ are supported inside the disk of radius $\\ell$, which is why the continuous part escapes local detection.","pith_inferences":["The proof is given for square tori only, but the same fibration idea can plausibly be extended to rectangular tori and other aspect ratios; the paper notes that non-square aspect ratios lead to chaotic classical orbits, so whether the continuous band persists there is an open, testable question.","A concrete consequence the paper does not develop is that the edge states have chirality opposite to ordinary rotation, so they would imprint a handedness on cosmic microwave background maps; a search for a handedness in current data would test the cosmological relevance.","Size independence suggests that compact extra dimensions could host continuous angular-momentum channels, which would modify the mass spectrum and selection rules of particle models built on compactified spaces.","The distinction between locally preparable integer states and globally extended continuous states could be formalized as a superselection-like rule for angular momentum on compact spaces, with potential consequences for anyon models in such geometries."],"forward_implications":["Every real number $\\lambda$ with $|\\lambda|\\ge\\hbar$ is a spectral value of $L_z$, so half-integer and irrational multiples of $\\hbar$ occur, contrary to the textbook restriction to integers.","The ordinary eigenvalues $\\hbar\\mathbb{Z}$ remain, infinitely degenerate, with eigenstates supported inside the disk $B_\\ell$; only these are detectable in the laboratory.","The spectrum is independent of the torus diameter, so the effect does not disappear in a large closed universe and also appears in small compactified dimensions.","The continuous-spectrum states rotate by generally irrational angles to return to themselves, which the authors identify with anyonic behaviour.","The authors suggest that these edge states could leave observable traces in cosmological data, for instance through photon orbital angular momentum in the cosmic microwave background, and that the same analysis applies to compactified-dimension theories."],"supporting_citations":[{"why":"Supplies the direct-integral spectral theorem that converts the fiber eigenvalue curves into the asserted pure point and absolutely continuous spectrum of $L_z$.","marker":"[18]"},{"why":"Provides the mathematical background and notation for direct integrals, the non-exponentiating canonical pair, and the analytic-vector argument used to establish essential self-adjointness.","marker":"[17]"},{"why":"Supplies the semiclassical quantization strategy that yields the same continuous bands and motivates the rigorous fibered proof.","marker":"[16]"},{"why":"Classifies the representation as non-integrable, framing how canonical commutation relations can hold while exotic spectra emerge.","marker":"[15]"},{"why":"Provides the comparison result that other topological fingerprints vanish in a large universe, sharpening the paper's claim that this spectrum is size-independent.","marker":"[12]"}],"fun_headline_variants":["On a torus, orbital angular momentum gets a continuous band.","Torus edges add continuous spectrum to angular momentum.","Closed space yields irrational orbital angular momentum values.","Angular momentum spectrum on torus includes irrational values.","Torus topology breaks integer-only orbital angular momentum."],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the asserted direct-integral decomposition of $L_z$ into fiber momentum operators on circles, with matching operator domains on $H^1(S_{\\mu(r)})$; if that decomposition fails, the computed spectrum does not follow, and the paper in any case proves it only for square tori rather than a general periodic universe.","fun_headline_variants_meta":{"raw":{"variants":["On a torus, orbital angular momentum gets a continuous band.","Torus edges add continuous spectrum to angular momentum.","Closed space yields irrational orbital angular momentum values.","Angular momentum spectrum on torus includes irrational values.","Torus topology breaks integer-only orbital angular momentum."]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000147,"raw_usage":{"total_tokens":1164,"prompt_tokens":901,"completion_tokens":263,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":189}},"tokens_in":517,"tokens_out":263,"duration_ms":2947,"temperature":1.0,"reasoning_tokens":189,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:10:17.560453+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the spectral measure of $L_z$ on a finely discretized square torus for a small interval inside $(\\hbar,2\\hbar)$, for example $(1.1\\hbar,1.2\\hbar)$: the paper predicts nonzero support there, and a result of exactly zero would contradict the claimed continuous band without relying on the direct-integral decomposition.","supporting_citations":[{"cited_title":"Reed and B","cited_arxiv_id":null,"evidence_quote":"Supplies the direct-integral spectral theorem that converts the fiber eigenvalue curves into the asserted pure point and absolutely continuous spectrum of $L_z$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the mathematical background and notation for direct integrals, the non-exponentiating canonical pair, and the analytic-vector argument used to establish essential self-adjointness."},{"cited_title":"Schm¨ udgen,An Invitation to Unbounded Represen- tations of *-Algebras on Hilbert Space(Springer, Berlin, 2020)","cited_arxiv_id":null,"evidence_quote":"Classifies the representation as non-integrable, framing how canonical commutation relations can hold while exotic spectra emerge."},{"cited_title":"Probing the Universe's Topology through a Quantum System?","cited_arxiv_id":"2505.08603","evidence_quote":"Provides the comparison result that other topological fingerprints vanish in a large universe, sharpening the paper's claim that this spectrum is size-independent."}],"review_version":1}