{"id":"4072044e-9808-434c-b52d-b84055869232","arxiv_id":"2505.18253","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"In quantum magnets with order-by-disorder, the pseudo-Goldstone gap grows with temperature as T^(d+1) for linear modes and T^(d/2+1) for quadratic modes, computable through a new linear-spin-wave curvature formula.","lead":"This paper predicts that a small energy gap in frustrated quantum magnets grows with temperature in a characteristic way, with the exponent set by the shape of the excitation spectrum. The pattern gives experimentalists a way to tell fluctuation-selected magnetic order from ordinary order.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed universal type-II exponent T^{d/2+1} in Eq. (16) is contradicted by the paper's own Lu2V2O7 result, which gives T^{7/2}; Eq. (16) needs a condition that the leading low-T free-energy curvature is angle-dependent.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern: Eq. (16) is derived from a dimensional analysis of Eq. (12) that silently assumes the leading low-temperature free-energy term contributes nonzero curvature along both soft directions. The Lu2V2O7 example in the Supplemental Material is a concrete counterexample where the leading T^{5/2} term is orientation-independent and the gap instead closes as T^{7/2}. This is an internal inconsistency between the main-text claim and the paper's own numerical result, not a disagreement with external consensus. However, the core calculational shortcut, Eq. (11), appears to reproduce the direct self-energy calculation in the cases shown, including the Lu2V2O7 case when the angular structure of the free energy is handled correctly. The issue is therefore a revision-level qualification: the word 'universal' should be accompanied by a condition on the angular dependence of the leading free-energy curvature, and the main text should acknowledge the counterexample rather than leaving it in the supplement. This does not change the reader's CONDITIONAL verdict, so I recommend UNCHANGED.","tokens_in":26909,"tokens_out":6133,"duration_ms":55063,"concrete_test":"Recompute Delta(T) via Eq. (11) for the Lu2V2O7 model (Eq. S79 with J=8.22 meV, |D|=1.5 meV) for T=1-30 K and fit the low-T exponent p in Delta(T)-Delta0 ~ A T^p. Also verify analytically that the coefficient a of the T^{5/2} term in f is independent of phi and theta. If the recomputed exponent is 7/2 rather than 5/2, Eq. (16) requires the added condition that the leading free-energy curvature along the soft directions is nonzero; otherwise the universal claim survives as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central assertion of the paper is Eq. (16): for 0<T<<Tc, Delta(T)-Delta0 scales as S^{1/2}(T/S)^{d+1} (type I) and S^0(T/S)^{d/2+1} (type II). The derivation from the curvature formula Eq. (12) is a dimensional analysis that implicitly assumes the leading low-temperature piece of g_mu_nu has non-vanishing dependence on the soft angles (phi,theta), so that the determinant in Eq. (11) scales as that single power. That assumption is not guaranteed and is violated by one of the paper's own examples. For Lu2V2O7 (Supplemental Material, Eq. (S79) and Fig. S2), a type II system with |D|/J<<1, the spin-wave dispersion is isotropic to O(k^2) and the anisotropy first enters at O(k^4). The linear spin-wave free energy therefore has the form f = a T^{5/2} + b(phi,theta) T^{7/2} + O(T^{9/2}) (Eq. (S81)), with orientation-independent a. The leading T^{5/2} term has zero curvature, so Delta(T)-Delta0 ~ T^{7/2}, not T^{5/2}. Because the main text retains the unqualified 'universal' statement of Eq. (16) and relegates this counterexample to the supplement, the headline claim is internally inconsistent as stated. The fix is a stated condition on the angular dependence of the leading low-T free-energy term; with that condition, Eq. (16) is a valid generic scaling, not a universal law.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the pseudo-Goldstone (PG) gap in frustrated quantum magnets with order-by-disorder at finite temperature. It extends the zero-temperature curvature formula of Ref. [43] to finite temperature, relating the O(S^0) PG gap to the curvature of the linear spin-wave free energy plus a correction term K_mu_nu, and tests the formula against direct self-energy calculations for the Heisenberg-compass model, Er2Ti2O7, Yb2Ge2O7, and Lu2V2O7. The central quantitative claim is Eq. (16): at leading order for 0<T<<T_c, the thermal correction to the gap scales as S^{1/2}(T/S)^{d+1} for type I (linearly dispersing) modes and S^0(T/S)^{d/2+1} for type II (quadratically dispersing) modes. The Supplemental Material, however, reports a type II example, Lu2V2O7, for which the gap scales as T^{7/2} rather than the T^{5/2} predicted by Eq. (16).","tokens_in":27355,"tokens_out":4687,"duration_ms":40248,"significance":"The finite-temperature curvature formula, Eq. (11), is a valuable practical tool: it allows the PG gap to be computed to O(S^0) using only linear spin-wave theory, avoiding explicit self-energy calculations. The parameter-free agreement between Eq. (11) and the self-energy formulas Eqs. (5)-(6) in Figs. 2, 3, and S1 is persuasive, and the explicit supplemental formulas make the calculation reproducible. If the scaling law Eq. (16) can be stated with correct conditions, it offers a falsifiable experimental signature of order-by-disorder that is independent of the microscopic Hamiltonian. However, the universality of Eq. (16) is overstated, because the paper's own Lu2V2O7 results contradict it without a stated additional condition.","major_comments":[{"comment":"The unqualified universal scaling in Eq. (16) is internally inconsistent with the paper's own Lu2V2O7 results. The Supplemental Material shows that for this type II system with |D|/J << 1, the low-temperature gap scales as T^{7/2}, not T^{5/2}; Eq. (S81) gives f = a T^{5/2} + b(phi,theta) T^{7/2} + O(T^{9/2}) with a orientation-independent, so the leading T^{5/2} term has zero curvature along the soft directions and the gap is controlled by the next order. The main text must either restrict Eq. (16) to systems where the leading low-temperature free-energy curvature is angle-dependent, or discuss this exception explicitly and adjust the 'universal' wording in the title and abstract.","section":"Discussion, Eq. (16); Supplemental Material, Sec. III.B, Eq. (S81) and Fig. S2"},{"comment":"The passage from the curvature formula Eq. (11) to the power law Eq. (16) is a dimensional analysis that implicitly assumes the leading low-temperature term in g_mu_nu depends on the soft angles. Since Eq. (11) involves the determinant g_phi_phi g_theta_theta - g_phi_theta^2, an isotropic leading term cancels and the gap is controlled by the next anisotropy term, as in the Lu2V2O7 example. This condition is not stated in the main text, and no proof or general criterion is given for when the leading term is anisotropic. The paper should state this assumption as an explicit condition and provide a testable criterion, or prove the scaling under a well-defined hypothesis.","section":"Discussion, Eqs. (11)-(13) and the derivation of Eq. (16)"}],"minor_comments":[{"comment":"References [54] and [62] are the same paper (Khatua, Gingras, and Rau, Phys. Rev. Lett. 130, 266702 (2023)) and should be merged to avoid duplicate bibliography entries.","section":"References"},{"comment":"There is a typo in the sentence 'tedious calculation of of the magnon self-energy'; the duplicated 'of' should be removed.","section":"Discussion, paragraph beginning 'The ability to calculate'"},{"comment":"The caption of Fig. 2 does not define the parameter xi, which appears in the panels; the definition should be included in the caption for readability.","section":"Fig. 2 caption"},{"comment":"The sentence introducing Eq. (16) says the scaling is 'generically' satisfied, while the preceding text and the title claim 'universal'; these wordings should be reconciled after the conditions for Eq. (16) are clarified.","section":"Discussion, paragraph before Eq. (16)"},{"comment":"The counterexample in Eq. (S81) is only presented in the Supplemental Material; the main text should point the reader to this caveat where Eq. (16) is introduced.","section":"Supplemental Material, Eq. (S81)"}],"recommendation":"major_revision","confidential_remarks":"The core technical content—the finite-temperature curvature formula and its parameter-free numerical benchmark—is sound and publishable. The major issue is the mismatch between the 'universal' headline claim and the Lu2V2O7 counterexample in the paper's own supplement; this is fixable by stating the required condition on the angular dependence of the leading free-energy curvature and by appropriately qualifying the title and abstract."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Alex,\n\nThe paper is worth reading for the curvature formula, but the headline claim needs surgery. They derive a finite-temperature generalization of the Rau–McClarty–Moessner curvature formula that lets you compute the pseudo-Goldstone gap using only linear spin-wave theory, and they benchmark it against direct self-energy calculations for several models. That part is solid: the two independent calculations agree, with no free parameters, and the formula is a real practical shortcut.\n\nWhat's new: the finite-temperature quantum gap scaling. They argue that for a linearly dispersing PG mode the gap grows as T^{d+1}, and for a quadratically dispersing mode as T^{d/2+1}, with appropriate powers of S. The dimensional analysis is straightforward, and for the Heisenberg-compass model and Er2Ti2O7 it works.\n\nBut the “universal” label is wrong. Their own supplemental material on Lu2V2O7 shows a type II system (accidental O(3) degeneracy) with a T^{7/2} correction, not T^{5/2}. The reason is that the leading low-T piece of the linear spin-wave free energy is independent of the soft angles; the first angle-dependent term comes at T^{7/2}. So the exponent depends on whether the leading free-energy curvature has angular dependence. The main text sweeps this under the rug by saying “generically” in Eq. (16) while the abstract and title promise universal behavior. That's an internal inconsistency, not a calculation error. The fix is to state the condition explicitly and stop calling it universal.\n\nI also note the paper honestly acknowledges a concurrent preprint doing similar calculations, which is good. The experimental relevance is real but the predicted thermal corrections are tiny (micro-eV scale), so I'm skeptical it will be easy to measure, but that's an experimental challenge they acknowledge.\n\nThe core curvature formula is a genuinely useful result for the frustrated magnetism community. The universal scaling needs qualification. I'd send this to review—a good referee will catch the type-II exception and push them to be precise—but the paper should be publishable after revision. If I were working on ObD I'd cite the curvature formula, not the universal law.\n\nBring it to reading group? Maybe—it's a nice case study in how a good calculation can be oversold.","headline":"The curvature formula is solid and useful; the 'universal' scaling law is over-sold and contradicted by one of their own examples.","tokens_in":27860,"tokens_out":2575,"would_cite":true,"duration_ms":21596,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper predicts universal power-law temperature growth of the pseudo-Goldstone spin gap in frustrated quantum magnets, with exponents set by the soft-mode dispersion and dimensionality, and derives a linear-spin-wave curvature formula…","keywords":["order-by-disorder","pseudo-Goldstone gap","spin wave theory","frustrated magnetism","1/S expansion","pyrochlore magnets","thermal fluctuations","universal power law"],"falsifier":"A clean low-temperature measurement of $\\Delta(T)-\\Delta_0$ in a suspected order-by-disorder material that finds an exponent distinct from $d+1$ (type I) or $d/2+1$ (type II), after carefully subtracting the zero-temperature gap and checking that no higher-order anisotropy is responsible, would contradict the universal scaling claim.","tokens_in":26721,"feed_emoji":"🧲","tokens_out":8021,"duration_ms":67867,"temperature":0.7,"pith_summary":"The paper aims to establish that the pseudo-Goldstone magnon gap generated by order-by-disorder in frustrated quantum spin systems has a universal power-law temperature dependence in the low-temperature limit, and that it can be computed from linear spin-wave theory alone, without full many-body self-energy calculations. For a classically gapless mode with linear dispersion (type I) the thermal gap correction is predicted to scale as $\\Delta(T)-\\Delta_0 \\propto S^{1/2}(T/S)^{d+1}$, while for a quadratically dispersing mode (type II) it scales as $\\Delta(T)-\\Delta_0 \\propto S^0(T/S)^{d/2+1}$, where $d$ is the spatial dimension. The paper proves a finite-temperature curvature formula that reproduces the $O(S^0)$ self-energy result using only linear spin-wave data, and applies it to Er2Ti2O7, predicting $\\Delta_0 \\approx 31.1\\ \\mu$eV and a $T^4$ thermal correction. If correct, this gives a direct experimental signature of order-by-disorder that is independent of the microscopic spin Hamiltonian.","feed_headline":"Spin gaps reveal order-by-disorder through T^(d+1) power laws","feed_subtitle":"The thermal rise of the spin gap identifies fluctuation-selected magnetic order without model fitting.","key_machinery":"The central object is the curvature formula $\\Delta(T)=\\sqrt{g_{\\phi\\phi}g_{\\theta\\theta}-g_{\\phi\\theta}^2}$ (type II) and $\\Delta(T)=S^{1/2}\\sqrt{(\\partial^2\\epsilon_{\\rm cl}/\\partial\\theta^2)_0\\,g_{\\phi\\phi}}$ (type I), with $g_{\\mu\\nu}(T)\\equiv (1/S)[(\\partial^2 f/\\partial\\lambda_\\mu\\partial\\lambda_\\nu)_0 + K_{\\mu\\nu}]$, where $f$ is the $O(S)$ linear spin-wave free energy and $K_{\\mu\\nu}$ is a momentum sum over products of derivatives of the spin-wave energies weighted by $\\operatorname{csch}^2(S\\epsilon_{\\boldsymbol{k},\\alpha}/2k_BT)$. A spectral-function sum rule links these free-energy curvatures to the magnon self-energy, proving the formula reproduces the gap to $O(S^0)$. The value of the object is that it lets one compute the thermal gap entirely from linear spin-wave eigenvectors and energies, bypassing three- and four-magnon self-energy diagrams and remaining well-defined in $d<3$ where the self-energy is infrared divergent.","core_discovery":"At leading order in the $1/S$ expansion and for $0<T\\ll T_c$, the temperature-dependent part of the pseudo-Goldstone gap is controlled by the curvature of the linear spin-wave free energy along the soft directions. For type I modes with $\\epsilon_{\\boldsymbol{k}}\\propto |\\boldsymbol{k}|$, the thermal correction obeys $\\Delta(T)-\\Delta_0 \\propto S^{1/2}(T/S)^{d+1}$; for type II modes with $\\epsilon_{\\boldsymbol{k}}\\propto|\\boldsymbol{k}|^2$, it obeys $\\Delta(T)-\\Delta_0 \\propto S^0(T/S)^{d/2+1}$. The paper establishes a curvature formula (Eq. (11)) that expresses the gap to $O(S^0)$ through second derivatives of the $O(S)$ linear spin-wave free energy plus a thermal curvature term $K_{\\mu\\nu}$, and demonstrates numerically for the Heisenberg-compass model that this formula agrees with an independent non-linear spin-wave self-energy calculation with no free parameters. Applying the formula to the pyrochlore antiferromagnet Er2Ti2O7 yields $\\Delta_0 = 31.1\\ \\mu$eV and a $T^4$ thermal correction, consistent with its type I order-by-disorder character.","pith_inferences":["The $T^{7/2}$ result reported for Lu2V2O7 in the Supplemental Material shows that the universal exponent is conditioned on the leading free-energy term being anisotropic; experiments claiming universality should first establish that the anisotropic curvature does not vanish.","In two dimensions, where long-range order is forbidden but the curvature formula remains well-defined, the formalism could be used to track how the pseudo-Goldstone gap evolves as self-energy approaches are infrared divergent.","A systematic analysis of $\\Delta(T)-\\Delta_0$ across the four candidate materials, with care to identify crossover temperatures, would let one test whether the observed gaps have the order-by-disorder origin or arise from additional exchange anisotropies."],"forward_implications":["A measured exponent $d+1$ or $d/2+1$ for $\\Delta(T)-\\Delta_0$ in the ordered phase would be a direct experimental signature of order-by-disorder that does not rely on fitting an exchange model.","The curvature formula gives a practical path to compute finite-temperature pseudo-Goldstone gaps for a wide class of frustrated magnets using only linear spin-wave theory.","For Er2Ti2O7, the predicted correction $\\Delta(700\\ \\mathrm{mK})-\\Delta_0 \\approx 2.9\\ \\mu$eV provides a concrete target for high-resolution neutron backscattering experiments.","The exponent distinguishes the mean-field dispersion of the soft mode, thereby identifying whether the system hosts a type I or type II pseudo-Goldstone mode.","The same method is directly applicable to other candidate order-by-disorder materials such as Yb2Ge2O7, CoTiO3, Sr2Cu3O4Cl2, and Fe2Ca3(GeO4)3."],"supporting_citations":[{"why":"supplies the zero-temperature curvature formula, the type I/type II classification, and the degenerate perturbation derivation of the gap formulas that the present paper extends to finite temperature.","marker":"[43]"},{"why":"establishes the classical finite-temperature gap scaling for linearly and quadratically dispersing pseudo-Goldstone modes, which the quantum calculation generalizes.","marker":"[54]"},{"why":"provides the exchange model and fitted couplings for Er2Ti2O7 used to compute the pyrochlore example.","marker":"[39]"},{"why":"gives the experimental order-by-disorder spin-wave gap in Er2Ti2O7 against which the zero-temperature value is compared.","marker":"[49]"},{"why":"supplies the classification of Nambu-Goldstone modes into type I and type II that underlies the two scaling classes.","marker":"[61]"},{"why":"describes the local XY ground states of the pyrochlore XY antiferromagnet and their accidental U(1) degeneracy, the setting for the Er2Ti2O7 example.","marker":"[66]"},{"why":"documents the infrared divergence of self-energy calculations for gapless modes in d<3, motivating the curvature-formula alternative.","marker":"[69]"}],"fun_headline_variants":["Spin-gap scalings reveal order-by-disorder in frustrated magnets","Thermal rise of spin gap fingerprints fluctuation-selected order","Power-law spin gaps indicate order-by-disorder without model fitting","Universal gap laws for order-by-disorder in quantum spins"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The universal power laws assume that the leading low-temperature term in the curvature of the linear spin-wave free energy along the soft directions is anisotropic and thereby controls the gap; if, as in Lu2V2O7, the leading term is orientation-independent and only higher-order anisotropies enter, the exponent changes from $T^{d/2+1}$ to a higher power (there $T^{7/2}$).","fun_headline_variants_meta":{"raw":{"variants":["Spin-gap scalings reveal order-by-disorder in frustrated magnets","Thermal rise of spin gap fingerprints fluctuation-selected order","Power-law spin gaps indicate order-by-disorder without model fitting","Universal gap laws for order-by-disorder in quantum spins"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000365,"raw_usage":{"total_tokens":2048,"prompt_tokens":1112,"completion_tokens":936,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":728,"completion_tokens_details":{"reasoning_tokens":866}},"tokens_in":728,"tokens_out":936,"duration_ms":7800,"temperature":1.0,"reasoning_tokens":866,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:34:33.497589+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A clean low-temperature measurement of $\\Delta(T)-\\Delta_0$ in a suspected order-by-disorder material that finds an exponent distinct from $d+1$ (type I) or $d/2+1$ (type II), after carefully subtracting the zero-temperature gap and checking that no higher-order anisotropy is responsible, would contradict the universal scaling claim.","supporting_citations":[{"cited_title":"Khatua, M","cited_arxiv_id":null,"evidence_quote":"establishes the classical finite-temperature gap scaling for linearly and quadratically dispersing pseudo-Goldstone modes, which the quantum calculation generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the exchange model and fitted couplings for Er2Ti2O7 used to compute the pyrochlore example."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the experimental order-by-disorder spin-wave gap in Er2Ti2O7 against which the zero-temperature value is compared."},{"cited_title":"Watanabe and H","cited_arxiv_id":null,"evidence_quote":"supplies the classification of Nambu-Goldstone modes into type I and type II that underlies the two scaling classes."},{"cited_title":"Coleman, There are no Goldstone bosons in two dimensions, Commun","cited_arxiv_id":null,"evidence_quote":"documents the infrared divergence of self-energy calculations for gapless modes in d<3, motivating the curvature-formula alternative."}],"review_version":1}