{"id":"280c1ff0-61f9-4eba-b09e-0b6ced5feb98","arxiv_id":"2510.17637","paper_version":3,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For LGW Φ^4 theories the paper conjectures Δ_ε ≥ 2Δ_φ, yielding ν ≥ (2−η)^{-1} and γ ≥ 1 at continuous transitions.","lead":"This paper conjectures a new universal inequality for continuous phase transitions: in Landau-Ginzburg-Wilson Φ^4 theories the energy operator must scale at least twice as fast as the order parameter, giving ν ≥ (2−η)^{-1} and γ ≥ 1. If true, it explains why no continuous transition with ν < 1/2 has been observed and sharpens the numerical test for distinguishing continuous from first-order transitions.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The general lattice argument for γ≥1 rests on the unproven inequality (A8); the paper discloses this gap, so the conjecture is not invalidated, but this pillar is weaker than the exact 2D and perturbative evidence.","rationale":"The reader's identification of Eq. (A8) as the weakest assumption is accurate and, importantly, it is a limitation the authors explicitly disclose. I verified the one-loop fixed-point argument leading to Σ = c ε/2 ≥0 (via 0≤c≤2 from Eq. A17), the minimal-model consistency condition (Eq. A54-A55) for Ising, Potts, tricritical Ising and tricritical Potts, and the consistency of Tables I and II with Σ≥0. The concern about A8 does not invalidate the paper because the central claim is explicitly a conjecture, and the lattice argument is only one of several independent supports; the exact 2D result and perturbative expansions stand on their own. The DQCP literature is not discussed, which is a notable omission in the empirical survey, but it lies outside the strict LGW scope and the paper's final remark explicitly anticipates that effective ν<1/2 exponents should be interpreted as first-order crossover behavior. Therefore, accepting the paper as a well-supported conjecture remains appropriate; no verdict change is warranted.","tokens_in":24530,"tokens_out":16009,"duration_ms":127708,"concrete_test":"Perform high-precision Monte Carlo simulations of a generic LGW lattice model with continuous symmetry, e.g., the 3D O(3) Heisenberg model on a cubic lattice. Compute the susceptibility χ and the derivative ∂χ/∂β for β in the high-temperature phase approaching β_c, using multiple lattice sizes and extrapolating to the thermodynamic limit. Test whether there exists a constant c ≥ 2d/N (here c ≥ 2) such that W(β,c)=∂βχ − cχ² ≤ 0 for all β < β_c. If W becomes positive near β_c, inequality (A8) fails and the lattice pillar is removed; if W≤0 throughout, the conjecture is reinforced.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central conjecture Σ≥0 is supported by several independent lines: the 2D minimal-model derivation (Eq. A55), the 4−ε expansion (Eq. A26), the large-N results, and a broad empirical survey. The weakest link is the lattice argument in App. A.1, where the inequality ∂χ/∂β ≤ cχ² (Eq. A8) is conjectured for generic multicomponent ferromagnetic lattice models. This inequality is essentially equivalent to γ≥1, and hence to the conjecture for unitary systems. The paper verifies it only for small β (Eq. A11, requiring c̄≥2d) and in the magnetized phase, and explicitly states 'we have no proof for generic values of β < β_c' and 'a conclusive proof is still missing.' If (A8) fails for some LGW-type lattice model at intermediate β, the claimed general lattice support collapses, although the conjecture itself could still be true via the other evidence. This is a disclosed limitation rather than a hidden flaw, but it is the most load-bearing soft spot because it underlies the assertion of a general proof for γ≥1 beyond the Ising and Ashkin-Teller cases.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper conjectures a universal inequality for continuous phase transitions described by d-dimensional Landau-Ginzburg-Wilson (LGW) Φ^4 theories with a single φ·φ quadratic term: the renormalization-group dimensions of the order parameter and the energy operator satisfy Σ ≡ Δ_ε − 2Δ_φ ≥ 0 (Eq. 2). Equivalently, ν ≥ (2−η)^{-1} and γ = (2−η)ν ≥ 1 (Eqs. 3–4). The authors support the conjecture with several independent lines of evidence: a lattice argument for γ ≥ 1 (rigorous for Ising and Ashkin-Teller, conjectured for generic ferromagnetic lattice models through Eq. A8), a one-loop ε-expansion proof close to four dimensions (Eq. A26 with the fixed-point constraint 0 ≤ c ≤ 2 from Eq. A16), large-N results for O(N) and O(M)⊗O(N) models, an exact derivation for a class of 2D minimal-model CFTs (Eq. A55), and a broad survey of 2D and 3D universality classes (Tables I and II). The same inequality is argued to hold in Gross-Neveu-Yukawa and Abelian-Higgs extensions with an appropriate identification of the order parameter. The paper concludes that no known LGW-type continuous transition violates the bound and discusses the practical use of ν ≥ (2−η)^{-1} as a diagnostic for first-order versus continuous behavior.","tokens_in":24695,"tokens_out":11403,"duration_ms":98286,"significance":"If correct, the conjecture provides a nontrivial and very general lower bound that is stronger than the standard ν > 1/d criterion for d > 2, and it would explain the empirically noted absence of continuous transitions with ν < 1/2. The strongest parts of the paper are the exact 2D minimal-model derivation (Eq. A55), which is self-contained and verified by the Ising, q=3 Potts, tricritical Ising, and q=4 Potts values in Table II, and the ε-expansion result (Eq. A26), which follows directly from the fixed-point equation (Eq. A16). The large-N formulas and the numerical consistency checks in Tables I and II are also valuable; I spot-checked the arithmetic and found it consistent. The weakest element is the generic lattice argument in App. A.1, where the key inequality (Eq. A8) is explicitly unproven and, as the authors note, equivalent to the desired bound near criticality. This is a disclosed limitation rather than a hidden flaw, and the central claim is explicitly presented as a conjecture, so I do not regard it as fatal. The paper is a well-posed, honest conjecture paper with substantial multi-pronged evidence and should be published after minor corrections.","major_comments":[],"minor_comments":[{"comment":"The text proves γ ≥ 1 from Eq. (A8) and then notes that the reverse statement also holds close to the critical point. This means that, for generic lattice models, Eq. (A8) near β_c is essentially a reformulation of the desired bound rather than an independent derivation. I recommend stating this equivalence explicitly and softening the abstract's phrase 'supported by general arguments for ferromagnetic lattice models' so that readers do not take the lattice argument as a proof for generic LGW systems.","section":"App. A.1, Eq. (A8)"},{"comment":"There is a factor-of-4 error in the relation between η(g*) and Q(g*). From Q(g*) = −(ε/6) g*_{ijkl} g*_{ijkl} (Eq. A30) and η(g*) = (1/24N) g*_{ijkl} g*_{ijkl} (Eq. A24), one obtains η(g*) = −Q(g*)/(4Nε), not −Q(g*)/(Nε). The qualitative conclusion that the stable FP has the largest η is unaffected, but the displayed equation should be corrected.","section":"App. A.2, Eq. (A31)"},{"comment":"The statement that Σ is positive 'for any value of the gauge-fixing parameter ζ' appears too broad. Adding the ζ-dependent term to the one-loop expression gives an extra 6ζ(N+4) in the numerator of Eq. (A75); for sufficiently negative ζ this term can overcome the positive base contribution. If only ζ=0 (Lorenz gauge) is physically relevant for the nonlocal order parameter, the claim should be restricted accordingly, or the positivity statement should be qualified.","section":"App. A.7, after Eq. (A75)"},{"comment":"There are several typographical errors that should be cleaned up: 'Ccorrespondingly' in Sec. A5b, 'Tere' in the caption of Fig. 1, 'formaly' in Sec. A5, 'Lagrangan' in Sec. A7, and 'relevent' in Sec. A7. These do not affect the technical content.","section":"Various"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a good fit for cond-mat.stat-mech and the conjecture is appropriately framed. The stress-test concern about Eq. (A8) is real but openly disclosed; in my reading it does not invalidate the paper, because the other lines of evidence are independent and the title itself signals conjecture status. The factor-of-4 error in Eq. (A31) and the overbroad ζ-positivity claim should be fixed before publication; neither changes the paper's conclusions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proposes a universal inequality for LGW Φ^4 theories: Σ = Δ_ε − 2Δ_φ ≥ 0, equivalently ν ≥ (2−η)^{-1} and γ ≥ 1. That is genuinely new as a unified conjecture, and the explicit minimal-model identity Σ = 3Δ_ε²/[2(1+Δ_ε)] is a nice, checkable result even though it follows from standard BPZ technology. I verified the key algebra — the FP constraint 0 ≤ c ≤ 2, the minimal-model examples, the Table I/II values — and it all works.\n\nWhat the paper does well: it states a sharp, testable claim; proves it exactly in restricted settings; and is scrupulous about what is proven versus conjectured. The appendix explicitly says there is no proof of the key lattice inequality (A8) and that a conclusive proof is still missing. That disclosure matters and keeps the paper honest.\n\nThe soft spot is exactly where the stress-test note points: the general lattice argument for γ ≥ 1 outside Ising and Ashkin-Teller rests on an unproven inequality that is essentially equivalent to the conjecture, so it is not independent evidence. The ε-expansion and 2D CFT derivations are the real support, and they look sound. The empirical survey is broad but not exhaustive — DQCP numerics with effective ν below 1/2 are not discussed, which would be worth a paragraph in revision. That omission weakens the motivation slightly, not the scoped claim.\n\nWho is this for: anyone using ν > 1/d as a first-order diagnostic. The sharper bound ν ≥ (2−η)^{-1} is a practical improvement, and the survey of existing exponents is useful. The paper deserves peer review; the conjecture is well-posed and the supporting calculations are careful.","headline":"A clear, honest conjecture paper with exact support in 2D minimal models and epsilon expansion; the lattice argument is a disclosed weakness, but the paper deserves a serious referee.","tokens_in":25337,"tokens_out":1518,"would_cite":true,"duration_ms":13567,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B27","82B20","81T17","81T40"],"pacs":["64.60.Fr","05.70.Jk"],"model":"deepseek-v4-flash","headline":"This paper conjectures a universal lower bound on the length-scale critical exponent ν—namely ν ≥ (2−η)⁻¹, and hence ν ≥ 1/2 for unitary theories—across all single-quadratic-term LGW Φ⁴ theories and their fermionic and gauge extensions.","keywords":["critical exponents","lower bound on ν","Landau-Ginzburg-Wilson theory","renormalization group","operator product expansion","conformal field theory","ε-expansion","susceptibility inequality"],"falsifier":"A direct falsifying observation would be a high-precision determination of Σ = 2−η−1/ν < 0 in any unitary continuous transition with an LGW Φ⁴ description—for instance, a conformal-bootstrap or Monte Carlo result in a 3D O(N) or cubic-anisotropy model yielding ν < (2−η)⁻¹. Alternatively, an explicit finite-temperature calculation in a generic multicomponent ferromagnetic lattice model showing ∂χ/∂β > cχ² for some β < β_c would destroy the lattice pillar of the conjecture.","tokens_in":24271,"feed_emoji":"📐","tokens_out":2901,"duration_ms":26926,"temperature":0.7,"pith_summary":"The paper proposes that at any continuous phase transition described by a Landau-Ginzburg-Wilson Φ⁴ theory with a single φ·φ quadratic term, the scaling dimension of the energy operator always exceeds twice that of the order parameter. This inequality, written Σ ≡ Δ_ε − 2Δ_φ ≥ 0, is equivalent to ν ≥ (2−η)⁻¹ and γ ≥ 1. If true, it explains why no continuous transition with ν below 1/2 has ever been observed, and it sharpens the standard criterion for distinguishing continuous from first-order transitions. The authors support the conjecture with general lattice arguments, ε-expansion results near four dimensions, exact 2D minimal-model relations, and consistency with all known numerical, perturbative, and exact exponents. The entire edifice rests on an unproven lattice susceptibility inequality that the authors themselves flag as lacking a conclusive proof.","feed_headline":"Conjecture: every unitary critical transition has ν ≥ 1/2","feed_subtitle":"If true, no continuous phase transition can have a correlation-length exponent below one half, sharpening first-order tests.","key_machinery":"The central object is the difference Σ = Δ_ε − 2Δ_φ, built from the RG dimensions of the order parameter φ and the energy operator ε ≡ [φ²]. The argument runs on two pillars: a conjectured lattice inequality ∂χ/∂β ≤ cχ² for the susceptibility (a generalization of a rigorous Ising/Ashkin-Teller result) that would force γ ≥ 1, and the one-loop ε-expansion identity Σ = (c/2)ε with c ∈ [0,2] at any fixed point, which makes the inequality automatic near four dimensions. In 2D, a null-vector differential equation for the three-point function yields the exact relation Σ = 3Δ_ε²/[2(1+Δ_ε)] ≥ 0 for minimal models.","core_discovery":"The central claim is the inequality Σ ≡ Δ_ε − 2Δ_φ ≥ 0 for all d-dimensional LGW Φ⁴ theories with a single quadratic invariant (plus GNY and Abelian-Higgs extensions). Because Δ_φ = (d−2+η)/2 and Δ_ε = d−1/ν, the inequality is equivalent to ν ≥ (2−η)⁻¹ and γ = (2−η)ν ≥ 1. For unitary theories η ≥ 0, so the bound implies ν ≥ 1/2—stronger than the known first-order bound ν > 1/d. A direct corollary is that the OPE coefficient F_ε(x₁₂) ∝ |x₁₂|^Σ for φ·φ → [φ²] is nondiverging, and the three-point function ⟨φφ[φ²]⟩ does not diverge in the short-distance limit. The paper proves the inequality exactly for a class of 2D unitary minimal models, where it derives Σ = 3Δ_ε²/[2(1+Δ_ε)] ≥ 0, and shows it","pith_inferences":["Editorial inference: the exact 2D minimal-model relation Σ = 3Δ_ε²/[2(1+Δ_ε)] suggests that a fully general CFT proof of Δ_ε ≥ 2Δ_φ may exist beyond minimal models, perhaps following from unitarity and convergence of the OPE; testing this in non-rational 2D CFTs would be a natural next step.","Editorial inference: the conjecture's scope is explicitly LGW-like transitions; a high-precision bootstrap or Monte Carlo check on a non-LGW transition (e.g., deconfined quantum critical points) could either extend the bound to a broader class or reveal precisely where LGW descriptions break down.","Editorial inference: the unproven lattice inequality (A8) can itself be tested by direct numerical measurement of W(β,c) = ∂_β χ − cχ² in, say, 3D O(N) models; a definitive verification there would upgrade γ ≥ 1 from conjecture to theorem for those models.","Editorial inference: if a counterexample is ever found, the paper's framework predicts the fault line will lie in the lattice argument rather than in the ε-expansion or CFT evidence, since those two are structurally independent supports."],"forward_implications":["If the conjecture holds, any numerical or experimental estimate of ν below (2−η)⁻¹—in particular below 1/2—at a supposedly continuous transition can be reinterpreted as a crossover toward a first-order transition, without needing to see the asymptotic ν = 1/d scaling.","The inequality imposes a new consistency check on conformal-bootstrap searches in three dimensions: any putative unitary CFT arising from an LGW Φ⁴ theory must satisfy Δ_ε ≥ 2Δ_φ.","For quantum phase transitions related to classical LGW theories by the quantum-to-classical mapping, the bound ν ≥ 1/2 would transfer directly to the quantum length-scale exponent.","The nondivergence of the φ·φ → [φ²] OPE coefficient would constrain the short-distance behavior of correlation functions in all LGW universality classes.","The bound would rule out a whole family of hypothetical unitary critical behaviors with ν < 1/2, sharpening the classification of possible continuous transitions in three dimensions."],"fun_headline_variants":["New conjecture: ν ≥ 1/2 for unitary transitions","Tighter bound on critical exponent ν proposed","Conjectured lower bound: ν ≥ (2−η)⁻¹","Sharpening first-order tests: ν ≥ 1/2 conjectured"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is the unproven lattice inequality ∂χ/∂β ≤ cχ², which the authors verify only for small β and in the magnetized phase; if some generic ferromagnetic LGW lattice model violates it, the lattice-based case for γ ≥ 1 collapses (the ε-expansion and 2D CFT evidence would remain intact).","fun_headline_variants_meta":{"raw":{"variants":["New conjecture: ν ≥ 1/2 for unitary transitions","Tighter bound on critical exponent ν proposed","Conjectured lower bound: ν ≥ (2−η)⁻¹","Sharpening first-order tests: ν ≥ 1/2 conjectured"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000153,"raw_usage":{"total_tokens":1171,"prompt_tokens":998,"completion_tokens":173,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":742,"completion_tokens_details":{"reasoning_tokens":101}},"tokens_in":742,"tokens_out":173,"duration_ms":2271,"temperature":1.0,"reasoning_tokens":101,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T09:00:54.019647+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct falsifying observation would be a high-precision determination of Σ = 2−η−1/ν < 0 in any unitary continuous transition with an LGW Φ⁴ description—for instance, a conformal-bootstrap or Monte Carlo result in a 3D O(N) or cubic-anisotropy model yielding ν < (2−η)⁻¹. Alternatively, an explicit finite-temperature calculation in a generic multicomponent ferromagnetic lattice model showing ∂χ/∂β > cχ² for some β < β_c would destroy the lattice pillar of the conjecture.","supporting_citations":[],"review_version":1}