{"id":"67b66c6a-c12b-4ada-9d7a-deae9dc5c261","arxiv_id":"2412.15493","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For odd-sized quantum spin lattices with conserved spin parity and long-range order, a slowly removed field leaves a macroscopic magnetization, giving finite-size spontaneous symmetry breaking and Heisenberg-scaled spin squeezing.","lead":"Odd-sized quantum spin lattices can remain magnetized after the magnetizing field is switched off, a behavior usually thought to require infinitely many particles. This opens a route to strongly squeezed quantum states for precision measurement in Rydberg-atom and trapped-ion platforms.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The XYZ generalization of the macroscopic-order-parameter proof rests on an unverified monotonicity assumption; only the U(1)/SU(2) case is rigorously established.","rationale":"The paper's central claim is broad: SSB at finite size in any XYZ-type Hamiltonian with LRO, parity conservation, and odd N. The proof of the key ingredient—macroscopic ⟨Jx⟩ in parity eigenstates—is complete only in the U(1)/SU(2) case. The general case explicitly relies on a monotonicity conjecture. This is the weakest load-bearing step: if the conjecture is false, the 'broad class' claim fails even though the flagship U(1) dipolar-XX results survive. The proposed ED test directly checks the conjecture on the same model family and would settle whether the XYZ extension should be stated as proven or as a conjecture. Because the U(1) core is independently supported by two numerical methods and exact arguments, the appropriate verdict remains CONDITIONAL: accept the U(1) claims, require a rigorous or more extensive treatment of the XYZ generalization.","tokens_in":22181,"tokens_out":22257,"duration_ms":180321,"concrete_test":"Compute the positive-parity ground state of the 2D dipolar XYZ model by exact diagonalization for odd-N lattices (3×5, 5×5, 3×7) over a fine grid of (Δ_y, Δ_z) ∈ [0,1]^2, and test the two inequalities used in the SM physical argument: Var(J_x)|_{Δ_y=1} ≥ Var(J_x)|_{Δ_y<1} and ⟨(J_x)^2⟩|_{Δ_y=1} ≤ ⟨(J_x)^2⟩|_{Δ_y<1} for each fixed Δ_z. If either inequality is violated at any point, the XYZ extension is invalid and the central claim must be restricted to U(1)/SU(2) symmetry. If both hold across all tested sizes, the concern is mitigated but the argument remains heuristic rather than a proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the Supplemental Material, the proof that parity eigenstates have ⟨Jx⟩ ∼ O(N) is exact for U(1)/SU(2) symmetry (Eqs. 6–11): the LRO condition on ⟨(Jx)^2⟩ forces weight at large J, and the absence of off-diagonal (coherence) terms in the |J,M,λ⟩ decomposition makes the lower bound rigorous. The extension to the general XYZ model (Δ_y<1) is explicitly not proven: the paper states that the signs of the coherence terms in the second line of Eq. (4) are 'not known a priori', and then invokes a 'physical argument' that lowering Δ_y reduces Var(Jx) and increases ⟨(Jx)^2⟩ relative to the Δ_y=1 point, implying ⟨Jx⟩ = sqrt(⟨(Jx)^2⟩−Var(Jx)) grows. This monotonicity is supported only by a 3×5 exact-diagonalization check (Fig. 5). Neither the P(J_z) peak-width assumption nor the LRO condition by itself controls the coherence terms; the first term in Eq. (4) with P(J_z=±1/2) ∼ N^{−1/2} is only O(√N). If the monotonicity fails in any part of the (Δ_y, Δ_z) phase diagram (e.g., near competing antiferromagnetic Sz couplings at Δ_z<0), the claimed generality of finite-size SSB for the XYZ model is unsupported. The U(1) results—exact doublet for odd N, macroscopic ⟨Jx⟩ in parity eigenstates, the O(N) ramp-time scaling, and Heisenberg-limited squeezing—do not depend on this assumption and remain convincing.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes that spontaneous symmetry breaking (SSB) can occur in finite-size quantum spin lattices with an odd number of sites, provided the Hamiltonian conserves the spin parity of the order parameter and the ground state has long-range order. For U(1)-symmetric XX models (dipolar and nearest-neighbor), the authors prove an exact ground-state doublet at J_z = ±1/2, establish that the parity eigenstates |±⟩ carry a macroscopic ⟨J_x⟩ ∼ O(N), and demonstrate numerically, with time-dependent variational Monte Carlo and rotor+spin-wave theory, that quasi-adiabatic ramps of a symmetry-breaking field prepare these states. They further show that the required ramp time scales as τ ∼ O(N) and that the resulting states have spin squeezing with Heisenberg scaling, ξ_R^2 ∼ 1/N. The same conclusions are claimed for the general XYZ model on the basis of a physical monotonicity argument and small exact-diagonalization checks.","tokens_in":22584,"tokens_out":7623,"duration_ms":74500,"significance":"The U(1) result is a clean and potentially important observation: odd N forces half-integer J_z, parity conservation protects the degeneracy, and the symmetry-broken state is an exact stationary state rather than a long-lived transient. This overturns the usual expectation that finite-size effects restore symmetry, and it has direct implications for quantum simulators and metrology. The numerical evidence is strong and comes from two independent methods, with no fitted parameters and with a parameter-free scaling law τ ∼ N. However, the advertised generality to general XYZ models is not supported at the same level as the U(1)/SU(2) case, and the central proof for that case rests on an unverified assumption. The paper would be a solid contribution if the XYZ claim were either made rigorous or explicitly restricted to a conjecture.","major_comments":[{"comment":"The proof for the XYZ model is incomplete. The coherence terms in the second line of Eq. (4) have signs that are not known a priori, as the authors acknowledge, and the subsequent 'physical argument' that lowering Δ_y decreases Var(J_x) and increases ⟨(J_x)^2⟩ relative to the Δ_y = 1 point is an unverified monotonicity assumption. It is supported only by exact diagonalization on a single 3 × 5 lattice (Fig. 5). The first term in Eq. (4), with P(J_z = ±1/2) ∼ N^{-1/2}, contributes only O(√N), so without control of the coherence terms the claimed O(N) magnetization for general XYZ does not follow. Since the abstract and Eq. (1) present the XYZ case as part of the central claim, this is a load-bearing gap. Either a rigorous bound on the coherence terms or an explicit restriction of the result to U(1)/SU(2) symmetry is needed.","section":"Supplemental Material, Proof that ⟨Jx⟩ ∼ O(N)"},{"comment":"The assumption that the uniform J_z distribution P(J_z) is peaked around ±1/2 with width at most O(√N) is stated as 'safe' but is not proved for the XYZ model. For the U(1)/SU(2) case it is exact (J_z = ±1/2 only), but for general XYZ with Δ_z < 0, competing antiferromagnetic interactions can in principle broaden P(J_z) without violating the stated LRO condition on S^x. This assumption is essential for the first term of Eq. (4), and the small-lattice check in Fig. 5 cannot establish the asymptotic N-dependence. The authors should either prove this distributional assumption from the Hamiltonian or clearly label the XYZ extension as a conjecture.","section":"Supplemental Material, Proof that ⟨Jx⟩ ∼ O(N)"},{"comment":"The central quantitative claim that τ ∼ O(N) is derived using the rotor+spin-wave adiabaticity criterion R(t), which is an approximate method. Although the agreement between RSW and tVMC in Fig. 2 is encouraging, the RSW matrix elements that enter Eq. (13) are not exact, and the conclusion that r_min ∼ 1/N is obtained from RSW data. The paper would be strengthened by a direct, method-independent test of the τ ∼ N scaling (for example, a systematic tVMC study at larger N), or by an explicit statement that the scaling is an RSW-based prediction that is verified only up to the system sizes accessible to tVMC.","section":"Main text, 'Time scale to adiabaticity' and Supplemental Material, 'Condition of adiabaticity'"}],"minor_comments":[{"comment":"The phrase 'withI ∼ O(N )' (in the discussion of the Anderson tower) contains a typographical spacing error and should read 'with I ∼ O(N)'.","section":"Main text, after Eq. (1)"},{"comment":"The notation for J_z is inconsistent: sometimes 'J_z' is used, sometimes 'Jz'; please unify. Additionally, the expressions in the second line of Eq. (5) contain unmatched parentheses, which should be corrected for readability.","section":"Supplemental Material, Eqs. (4) and (5)"},{"comment":"The caption states that the dashed line marks the minimum value of ξ_R^2 allowed by quantum states; it would be helpful to state explicitly that this is 2/(N+2) and to cite the relevant inequality from Ref. [23].","section":"Main text, Fig. 3(c) caption"},{"comment":"The statement that particle loss 'simply leads to a reduction of the residual magnetization' is imprecise: for a system that becomes even-N, the magnetization oscillates around zero, so the time-averaged signal is not merely reduced but absent. The sentence should be clarified to distinguish instantaneous versus time-averaged behavior.","section":"Main text, 'Robustness to particle loss'"},{"comment":"The discussion of the TFI model is useful context, but it would benefit from explicitly stating that the absence of parity conservation (rather than the exponential gap alone) is what prevents the stationary symmetry-broken state; currently this point is made implicitly.","section":"Supplemental Material, 'Transverse-field Ising model'"}],"recommendation":"major_revision","confidential_remarks":"The U(1) core of the paper is solid and the numerical cross-checks (tVMC vs. RSW) are convincing. The main issue is that the XYZ generality claimed in the title and abstract is not established at the same level; the proof hinges on an unverified monotonicity assumption. I would encourage the editor to request a revision that either provides a rigorous argument for the XYZ case (or a clear counterexample) or explicitly restricts the central claim to U(1)/SU(2)-symmetric models. The authors' own text in the Supplemental Material acknowledges the missing step, which strengthens the case for revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's real contribution is the U(1) case: for odd N, spin-parity conservation makes the two Jz = ±1/2 states an exact degenerate doublet, and the parity eigenstates provably carry ⟨Jx⟩ ~ O(N) under long-range order. The proof in the SM is clean, the odd-even contrast shows up with both tVMC and RSW, and the corrected ramp scaling tau ~ N (they own up to the earlier N^2 statement in Ref. [24]) is a genuine step forward for squeezing protocols. That part deserves a serious referee.\n\nThe soft spot is exactly what the SM admits: the XYZ generalization is not proven. The step from U(1) to Z2 relies on two things—P(Jz) peaked at ±1/2 with width O(sqrt N), and the monotonicity of Var(Jx) decreasing while ⟨(Jx)^2⟩ increases as Δy is lowered. The first is plausible; the second is the real load-bearer, and it is supported only by a 3x5 exact-diagonalization check and a physical argument. That is fine as a conjecture, but it is not a proof of the general claim. If the monotonicity breaks down somewhere (competing Δz < 0 couplings, say), the finite-size SSB claim for the XYZ model is unsupported, and the abstract's broad statement overreaches. The paper also ships no code or data, and the dynamical curves have no error bars—acceptable for a theory preprint, but it slows independent verification.\n\nNone of this undermines the U(1) core. The exact doublet, the lower bound on ⟨Jx⟩, and the tau ~ N scaling are all robust, and the numerical cross-check between two independent methods is the right way to do this. The citation pattern is fine: the authors lean on their own RSW and tVMC, but they cross-check those against each other and explicitly correct their previous adiabaticity claim.\n\nWho is this for? People working on adiabatic preparation of spin-squeezed states, Rydberg arrays, and quantum metrology. They will get immediate, usable insight from the U(1) section. The XYZ section reads as a roadmap for future work, not a finished result.\n\nRecommendation: send it to a strong referee, but require that the claims be rescaled to what is actually established—the U(1)/SU(2) case as the rigorous centerpiece, the XYZ case labeled as a conjecture supported by limited numerics. And ask for a released implementation of RSW and tVMC or at least the raw curves behind Fig. 3.","headline":"The U(1) result—odd-size parity-protected doublet, macroscopic order from long-range order, and O(N)-ramp Heisenberg squeezing—is solid and honest; the XYZ generalization is explicitly heuristic and leans on an untested monotonicity assumption.","tokens_in":23078,"tokens_out":1108,"would_cite":true,"duration_ms":11532,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Spontaneous symmetry breaking can persist in a finite spin system when the number of spins is odd and parity is conserved.","keywords":["spontaneous symmetry breaking","finite-size quantum systems","spin-parity conservation","quantum spin models","long-range order","spin squeezing","Anderson tower of states","odd-even parity effect"],"falsifier":"Exact diagonalization of the dipolar XYZ model with odd $N$ and $\\Delta_y < 1$ at sizes beyond $3\\times 5$: if the positive-parity ground state had $\\langle J_x\\rangle/N \\to 0$ in the long-range ordered phase, the general claim would fail. Alternatively, a time-resolved measurement on an odd-sized Rydberg or dipolar array after an exponential ramp with $\\tau J \\approx 0.2 N$ should show a persistent $\\langle J_x\\rangle \\approx N/4$; observing instead a decay to zero on times much shorter than exponentially long in $N$ would falsify the U(1) result.","tokens_in":21984,"feed_emoji":"🧲","tokens_out":10331,"duration_ms":79197,"temperature":0.7,"pith_summary":"Spontaneous symmetry breaking is normally reserved for the thermodynamic limit, where an infinite number of degrees of freedom prevents the symmetry from being restored after a field is switched off. This paper argues that the same phenomenon occurs in finite-size quantum spin lattices when three conditions hold: long-range order in the ground state, conservation of the spin parity of the order parameter, and an odd number of spins $N$. For odd $N$, parity conservation enforces an exact degeneracy between the two ground states, and the parity eigenstates carry a macroscopic magnetization $\\langle J_x\\rangle \\sim O(N)$. A quasi-adiabatic ramp of a symmetry-breaking field into one of these states therefore leaves the symmetry broken as a stationary property, not a finite-size transient. In U(1)-symmetric models, the prepared state has spin-squeezing parameter $\\xi_R^2 = O(1/N)$, the fastest (Heisenberg) scaling allowed by quantum mechanics.","feed_headline":"An odd number of spins can break symmetry permanently","feed_subtitle":"Parity conservation gives two degenerate ground states with a macroscopic magnetization—no thermodynamic limit required.","key_machinery":"The load-bearing object is the spin-parity operator $P_x = \\prod_i (2S^x_i)$, which flips the sign of the order parameter and commutes with the XYZ Hamiltonian. For odd $N$, the two fully polarized states along $x$ have opposite $P_x$ eigenvalues, so the off-diagonal Hamiltonian terms cannot mix them; the ground state remains doubly degenerate to every order in perturbation theory, and the parity eigenstates $|\\pm\\rangle = (|\\Psi_{1/2}\\rangle \\pm |\\Psi_{-1/2}\\rangle)/\\sqrt{2}$ acquire a macroscopic order parameter. The second ingredient is the Anderson tower of states, the low-lying collective excitations with energies $\\approx (J_z)^2/(2I)$ and moment of inertia $I \\sim O(N)$; its gap is $1/I$ for odd $N$ and $1/(2I)$ for even $N$, which explains the different dynamics. The quasi-adiabatic ramp is analyzed with rotor-plus-spin-wave theory, which treats the zero-mode rotor exactly and the spin waves around it, and with a time-dependent variational Monte Carlo wavefunction.","core_discovery":"The paper's central claim is that, in a quantum spin system with long-range order and a conserved spin parity, an odd number of spins turns the usual Anderson-tower scenario — low-lying collective levels with gaps $O(1/N)$ — inside out: rather than a quasi-degenerate tower that eventually restores the symmetry, parity conservation produces an exactly degenerate pair of ground states of opposite parity, $|+\\rangle$ and $|-\\rangle$, and these states have macroscopic $\\langle J_x\\rangle \\sim O(N)$. Consequently, a slowly switched-off field prepares a stationary symmetry-broken state at finite $N$. For U(1)-symmetric Hamiltonians the two ground states have $J_z = \\pm 1/2$, so the parity eigenstates have $\\mathrm{Var}(J_z) = 1/4$ and the spin-squeezing parameter obeys $\\xi_R^2 = O(1/N)$, i.e. Heisenberg scaling. Numerical simulations of the two-dimensional dipolar and nearest-neighbor XX models show that lattices differing by one site behave radically differently: odd-sized lattices retain a finite magnetization while even-sized lattices oscillate around zero.","pith_inferences":["The same parity mechanism should extend to half-integer spins $S > 1/2$ with odd $N$; for integer spins the parity eigenvalues of the polarized states would not differ in the same way, so the odd-even effect may disappear.","A weak explicit breaking of parity conservation should convert the exact degeneracy into a very small quasi-degeneracy, making the finite-size symmetry-broken state effectively stationary for all practical observation times yet eventually restoring the symmetry.","The finding that $\\tau \\sim N$ suffices for adiabaticity, whereas the naive adiabatic theorem suggests $\\tau \\sim N^2$, suggests a broader design principle: when the matrix elements of the driving field are known, state preparation protocols in other long-range ordered systems can be much faster than gap-squared criteria imply.","A direct experimental discriminator would be to repeat the ramp on lattices of size $N$ and $N+1$: the odd lattice should keep a finite magnetization for times far beyond the even lattice's oscillation period, and the ratio of the two signals should scale with $N$."],"forward_implications":["Odd-sized two-dimensional Rydberg or dipolar spin arrays should display a persistent macroscopic magnetization after a symmetry-breaking field is slowly turned off, with the ramp time $\\tau$ only needing to scale linearly with $N$.","Even-sized lattices in the same model will not show stationary symmetry breaking; their magnetization oscillates around zero with a frequency set by the Anderson-tower gap.","In U(1)-symmetric systems, the same quasi-adiabatic preparation produces spin squeezing with Heisenberg scaling $\\xi_R^2 \\sim O(1/N)$ in a time $\\tau \\sim O(N)$, which is potentially useful for quantum metrology.","The effect is robust to particle loss: losing particles simply averages the odd- and even-size behaviors, and the Heisenberg squeezing scaling persists, so experiments would not need to post-select on final atom number.","Because the mechanism only requires long-range order and parity conservation, it applies to both power-law and nearest-neighbor interactions, as demonstrated for the two-dimensional XX model."],"supporting_citations":[{"why":"It supplies the standard Anderson-tower picture of quantum symmetry breaking that the paper's parity-degeneracy mechanism modifies.","marker":"[3]"},{"why":"It identifies quasi-degenerate low-lying states as the origin of spontaneous symmetry breaking in quantum systems.","marker":"[4]"},{"why":"It gives the spectral characterization of symmetry breaking in the thermodynamic limit against which the finite-size result is contrasted.","marker":"[6]"},{"why":"It provides the exponentially small gap for discrete-symmetry Ising models used as the contrasting case without parity conservation.","marker":"[7]"},{"why":"It reports the trapped-ion experiment observing the $O(1/N)$ finite-size gap whose dynamical restoration motivates this work.","marker":"[12]"},{"why":"It reports the Rydberg-atom observation of finite-size tower-of-states gaps, the platform context for the odd-$N$ protocol.","marker":"[13]"},{"why":"It describes a recent quasi-adiabatic preparation in Rydberg arrays that cannot fix spin parity, the protocol this paper improves.","marker":"[15]"},{"why":"It introduces the rotor+spin-wave theory used here for the long-time low-energy dynamics and the gap estimates.","marker":"[18]"},{"why":"It reviews adiabatic-theorem criteria whose naive gap-squared version would predict $\\tau \\sim N^2$, in contrast with the paper's $\\tau \\sim N$.","marker":"[21]"},{"why":"It defines the spin-squeezing parameter and its entanglement interpretation, giving the baseline for the Heisenberg-scaling claim.","marker":"[23]"}],"fun_headline_variants":["Odd spin counts break symmetry without thermodynamic limit","Parity effect lets odd-sized spin systems break symmetry","Odd spin number yields permanent symmetry breaking","Oddness breaks symmetry in finite spin systems","Odd spin parity gives squeezed symmetry breaking"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The general XYZ version of the claim assumes that the ground state's distribution of the collective magnetization $J_z$ is peaked at $\\pm 1/2$ with width at most $O(\\sqrt{N})$, and that reducing the anisotropy parameter $\\Delta_y$ steadily lowers the fluctuations of $J_x$ while raising its square; the paper supports this with a physical argument and a small exact-diagonalization check, not a derivation.","fun_headline_variants_meta":{"raw":{"variants":["Odd spin counts break symmetry without thermodynamic limit","Parity effect lets odd-sized spin systems break symmetry","Odd spin number yields permanent symmetry breaking","Oddness breaks symmetry in finite spin systems","Odd spin parity gives squeezed symmetry breaking"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001821,"raw_usage":{"total_tokens":7210,"prompt_tokens":1033,"completion_tokens":6177,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":649,"completion_tokens_details":{"reasoning_tokens":6111}},"tokens_in":649,"tokens_out":6177,"duration_ms":38608,"temperature":1.0,"reasoning_tokens":6111,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:23:49.831318+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exact diagonalization of the dipolar XYZ model with odd $N$ and $\\Delta_y < 1$ at sizes beyond $3\\times 5$: if the positive-parity ground state had $\\langle J_x\\rangle/N \\to 0$ in the long-range ordered phase, the general claim would fail. Alternatively, a time-resolved measurement on an odd-sized Rydberg or dipolar array after an exponential ramp with $\\tau J \\approx 0.2 N$ should show a persistent $\\langle J_x\\rangle \\approx N/4$; observing instead a decay to zero on times much shorter than exponentially long in $N$ would falsify the U(1) result.","supporting_citations":[{"cited_title":"Tasaki, Journal of Statistical Physics 174, 735–761 (2018), ISSN 1572-9613, URL http://dx.doi.org/10","cited_arxiv_id":null,"evidence_quote":"It gives the spectral characterization of symmetry breaking in the thermodynamic limit against which the finite-size result is contrasted."},{"cited_title":"Bornet, G","cited_arxiv_id":null,"evidence_quote":"It reports the Rydberg-atom observation of finite-size tower-of-states gaps, the platform context for the odd-$N$ protocol."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It describes a recent quasi-adiabatic preparation in Rydberg arrays that cannot fix spin parity, the protocol this paper improves."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It reviews adiabatic-theorem criteria whose naive gap-squared version would predict $\\tau \\sim N^2$, in contrast with the paper's $\\tau \\sim N$."}],"review_version":1}