{"id":"f6a47147-ac94-430e-b9e6-57ac1054b2a5","arxiv_id":"2607.20726","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A single hole in the infinite-U triangular Hubbard model destabilizes Nagaoka ferromagnetism at t2,c/t1 = -0.182, giving way to a long-wavelength spin spiral.","lead":"This paper calculates the exact point where a single mobile hole destroys the ferromagnetic order of the triangular lattice, finding the critical next-nearest-neighbor hopping t2,c/t1 = -0.182. The result gives a precise benchmark for kinetic magnetism and for theories of magnon-mediated superconductivity in doped Mott insulators.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed exact t2,c=-0.182 rests on an unshown threshold evaluation of a singular two-body resolvent; the only multi-magnon check differs by 2%, so 'exact' is not yet established.","rationale":"The reader's weakest-assumption choice, the multi-magnon power-counting premise, is also the load-bearing point for my assessment. The claim 'exact' depends on sectors with two or more magnons not renormalizing the Q^2 stiffness. The paper's own Trugman-0123 result at r=2 gives t2,c=-0.186, a 2% shift from -0.182, which is plausibly a finite-radius artifact but is not demonstrated because no r>2 multi-magnon data are shown. The missing explicit evaluation of Π0=0.170 compounds this: Eq. (11) is stated, but the singular threshold behavior of G(E_FM) in two dimensions is not discussed, and the regularizing role of W is asserted rather than exhibited. These are correctness-risk issues for the precise numerical value, not for the qualitative conclusion that frustration destabilizes Nagaoka ferromagnetism toward a long-wavelength spiral. The finite-size ED and flux-insertion data independently support a transition near t2≈-0.20 with continuous growth of Q*, and the Trugman-01 calculation is consistent with the analytical stiffness. So the central qualitative picture is credible, but the 'exact' label for t2,c=-0.182 is not yet fully supported. The reader's CONDITIONAL verdict with moderate confidence already captures this; my read does not require a change in the verdict.","tokens_in":19826,"tokens_out":9032,"duration_ms":89916,"concrete_test":"Recompute t2,c using Trugman-012 truncations on a 100×100 lattice for dressing radii r=2,3,4, keeping the complete one-magnon sector fixed, and extrapolate in r. If the extrapolated value is -0.182±0.002, the exact one-magnon stiffness holds; if it converges to -0.186 or beyond, multi-magnon/truncation effects renormalize c2 and the exact critical claim fails. Independently, evaluate Π0 from Eq. (11) with a high-precision treatment of the logarithmic IR singularity in G0(E_FM); a value different from 0.170 by more than 0.005 shifts t2,c by more than 0.005 and invalidates the reported critical point.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the O(Q^2) spiral stiffness is controlled exactly by the 0+1-magnon sector, giving t2,c/t1=-0.182. This requires both (i) the multi-magnon power counting of SM SIV to be exact and (ii) the projected resolvent G(E_FM) in Eq. (11) to be evaluated correctly. Neither is demonstrated in the available text. The power count is perturbative: an n-magnon intermediate state carries Q^{2n} only if all excitation denominators remain O(1). But at Q=0 the two-body continuum is gapless: G0(E_FM) ~ ∫ d^2k k^2/k^2 ~ log divergence in 2D. The hard-core dd interaction W must regularize this threshold singularity, yet the explicit form of W and the numerical evaluation of Π0=0.170 are not shown. The only multi-magnon variational result reported, Trugman-0123 at r=2, yields t2,c=-0.186, a 2% shift attributed to finite dressing radius without displayed r>2 convergence. If the radius-converged multi-magnon value is -0.186 rather than -0.182, the phrase 'exact' overstates the result; the qualitative Lifshitz-to-spiral transition is unaffected but the headline number is wrong.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript studies the infinite-U single-hole Hubbard/t-J model on the triangular lattice with nearest-neighbor and next-nearest-neighbor hoppings. The authors claim that a frustrating t2<0 destabilizes the Nagaoka ferromagnet through a Lifshitz transition to a long-wavelength coplanar spiral, and they derive an analytical critical value t2,c/t1=-0.182. The derivation reduces the small-Q dynamics to an effective two-body hole-magnon problem with an exact hard-core constraint, encoded via an auxiliary r=0 state and a projected 2x2 Lippmann-Schwinger equation. This yields the self-energy in Eq. (10) and the stiffness renormalization Π0 in Eq. (11), with the reported value Π0=0.170. Independent evidence includes Trugman-01 diagonalization on a 100x100 lattice, exact diagonalization and flux insertion on a N=27 cluster, and Trugman-012/0123 variational calculations. The Supplemental Material contains a classical spiral theorem, multi-magnon power counting, transition-order analysis, and ED phase diagrams.","tokens_in":20193,"tokens_out":5753,"duration_ms":48527,"significance":"If fully established, the paper would provide the first analytic determination of the quantum instability boundary of the triangular-lattice Nagaoka ferromagnet, with a parameter-free prediction and a continuous Lifshitz-type transition. The strengths are the classical no-go theorem, the exact treatment of the hard-core hole-magnon constraint within the two-body sector, and the several independent numerical checks. However, the central 'exact' claim rests on two pieces that are not fully demonstrated in the submitted text: the explicit evaluation of the singular projected resolvent that produces Π0=0.170, and the claimed absence of multi-magnon renormalization of the Q^2 stiffness. Both are load-bearing for the headline number and can be addressed with additional material.","major_comments":[{"comment":"The central numerical value Π0=0.170 is asserted, but the projected resolvent G(E)=(G0(E)^-1 - W)^-1 is never explicitly evaluated. The SM defines G0 and W verbally but gives no matrix elements, integral representation, or numerical procedure. This is not a presentation detail: at E=EFM and Q→0 the two-body continuum is gapless, so G0 has a logarithmic threshold divergence in 2D, and only the dd interaction W can regularize it. Without the explicit form of W and a reproducible evaluation of Eq. (11), the value 0.170 cannot be checked. Please include the full expressions for G0(E) and W, the limit V→∞ treatment, and either an analytic evaluation or a precise numerical quadrature.","section":"SM §SV, Eq. (S50); main text Eq. (11)"},{"comment":"The exactness of t2,c=-0.182 relies on the assumption that n-magnon sectors contribute only at O(Q^{2n}) and therefore do not renormalize the Q^2 stiffness. The supporting power-counting argument assumes excitation denominators remain O(1), which is not guaranteed near the gapless two-body continuum. The only multi-magnon check, Trugman-0123 with r=2, gives t2,c=-0.186, a 2% deviation; the statement that 'increasing r further drives this shift toward zero' is not backed by data. Please show convergence in r (e.g., r=3,4) or provide a rigorous bound. Absent that, the headline value should be characterized as the exact one-magnon-sector result plus a small multi-magnon correction, not as exact.","section":"SM §SIV.B; main text Eq. (8)"},{"comment":"The continuous character of the transition rests on the sign of c4, which is obtained as the small difference of two larger numbers: c4 ≈ +0.019 - 0.011 ≈ +0.008, with a stated range +0.006 to +0.008. Because the pieces come from different lattice sizes and fitting windows, and because a negative c4 would make the transition first-order and invalidate Q* ∝ sqrt(|t2-t2,c|), the authors should provide same-lattice convergence and error estimates for c4^(0+1) and c4^(2-mag).","section":"SM §SVI.B, Eq. (S59)"}],"minor_comments":[{"comment":"The phrase 'dressed one-loop t2,c=-0.182' is misleading: Eq. (11) is the exact two-body Lippmann-Schwinger result, not a one-loop perturbative expression. Please rephrase to avoid confusion with the one-loop value -0.133.","section":"SM §SVII"},{"comment":"The symbol \\hat Q is used in the definition of |u1> and |u2> before being defined. Please state explicitly that it is the unit vector along Q.","section":"Main text Eq. (9)"},{"comment":"Please state that threading flux Φ shifts the allowed crystal momenta by Φ/L, and explain the flux ranges used in panels (a) and (b), since Φ is dimensionless but the text refers to Φ=π/20 without defining the convention.","section":"Fig. 2 caption and SM §SVIII"},{"comment":"The ED transition values t_ED ≈ -0.20 to -0.22 deviate from the analytical -0.182 by about 10%. Please quantify the expected finite-size correction, e.g., O(1/(L^2 ln L)), and indicate how the extrapolation to the thermodynamic limit is performed.","section":"Table S1"}],"recommendation":"major_revision","confidential_remarks":"The title and abstract use 'exact' more strongly than the submitted evidence supports. The missing explicit evaluation of G0/Eq. (11) and the unsupported r-convergence claim for the Trugman-0123 shift are the key obstacles. If the authors supply the projected resolvent details and multi-magnon convergence data, the paper could be a strong contribution; otherwise the headline number should be softened. The topic fits the journal's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth knowing about. The result is a real advance: the first analytic handle on where Nagaoka ferromagnetism dies on the triangular lattice with NNN hopping, t2,c = -0.182, and the identification of the long-wavelength spiral as the first quantum instability. The reduction to a two-body hole-magnon Lippmann-Schwinger problem with the hard-core constraint treated exactly is the right tool, and the paper is honest about the structural point that a classical spiral can never win — the instability is purely quantum.\n\nWhat it does well: the Trugman-01 calculation at 100x100 puts the sign change exactly between t2 = -0.182 and -0.183, which is a strong independent check. The ED and flux-insertion data on N=27 give t2,c around -0.20, consistent with finite-size drift, and the spectral-flow argument cleanly identifies a Q -> 0 instability rather than a competing finite-Q state. The quartic-coefficient analysis, including the negative two-magnon correction, is careful and supports a continuous transition. The polaron result (Z ~ 0.92 at -Q*) is a useful byproduct.\n\nSoft spots. Two stand out. First, the numerical evaluation of Pi0 = 0.170 is never shown. The SM derives the projected resolvent G but does not give the explicit matrix elements of G0 and W, nor the integral that produces 0.170, so the central number is asserted rather than demonstrated. For a paper whose headline is 'exact', that is a real gap. Second, the multi-magnon power counting is a scaling argument, not a bound, and the paper's own Trugman-0123 variational calculation at r=2 gives t2,c = -0.186, a 2% shift. The SM attributes this to finite dressing radius and says it vanishes as r grows, but no r>2 convergence data are presented. So the qualitative conclusion — a Lifshitz transition to a long-wavelength spiral, continuous — is very likely right, but the precise value could move by a couple percent if the multi-magnon correction is not exactly zero.\n\nWho gets value: condensed-matter theorists working on kinetic magnetism, cold-atom simulators, and moiré materials. The number will be quoted as a benchmark, and the derivation is a model for treating hard-core constraints in polaron problems. I would send it to a serious referee; the referee should ask for the explicit Pi0 evaluation (or code) and for a Trugman-0123 convergence check with r. If those come through, the 'exact' language becomes defensible. Right now it is an excellent calculation with a slightly oversized title.","headline":"A serious benchmark result: the first analytic determination of the triangular-lattice Nagaoka instability, with a clean two-body reduction, but the 'exact' label outruns the evidence because the multi-magnon suppression is perturbative and the key resolvent evaluation is left in the SM.","tokens_in":20637,"tokens_out":1900,"would_cite":true,"duration_ms":17984,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["71.10.Fd","75.10.Jm"],"model":"deepseek-v4-flash","headline":"This paper pins the exact hopping ratio at which the infinite-U triangular-lattice Nagaoka ferromagnet turns into a long-wavelength spin spiral: t2/t1 = -0.182, and shows the transition is continuous.","keywords":["infinite-U Hubbard model","triangular lattice","Nagaoka ferromagnetism","kinetic frustration","spin spiral","hole-magnon scattering","hard-core constraint","Lifshitz transition"],"falsifier":"On a lattice large enough to resolve long-wavelength spirals, compute the ground-state energy as a function of spiral wavevector Q including all two-magnon sectors with no spatial truncation: if the extracted quadratic coefficient changes from the one-magnon value 0.170, the power counting fails. Also, if flux-insertion or cold-atom experiments show the spiral wavevector jumping discontinuously at t2/t1 = -0.182, or the critical hopping differing from -0.182 by more than a few percent, the claim of an exact continuous transition is wrong.","tokens_in":19746,"feed_emoji":"🧲","tokens_out":9828,"duration_ms":71921,"temperature":0.7,"pith_summary":"This paper asks what happens to the Nagaoka ferromagnet—the fully spin-polarized state favored by a single hole in a strongly repulsive lattice—when next-nearest-neighbor hopping t2 frustrates the triangular lattice. The authors show that at t2/t1 = -0.182 the ferromagnet becomes unstable to a long-wavelength coplanar spiral, and they obtain this threshold exactly by reducing the many-body problem to a two-body hole–magnon scattering problem in which the hard-core constraint is treated exactly. They further establish that the transition is continuous: the spiral wavevector grows from zero as the square root of the distance from the critical hopping. Numerical checks confirm the boundary and reveal a coherent spin polaron with quasiparticle weight Z≈0.92 at the Lifshitz-shifted momentum -Q*. If correct, these results give the first quantum instability of the triangular-lattice Nagaoka ferromagnet and a quantitative magnetic baseline for pairing mechanisms at finite doping.","feed_headline":"A doped triangular magnet turns spiral at hopping ratio -0.182","feed_subtitle":"Derived from exact two-body hole-magnon scattering, it sets the magnetic baseline for finite-doping pairing.","key_machinery":"The load-bearing device is an effective two-body hole–magnon scattering problem with a hard-core constraint. The spin-flip hybridization vertex is O(Q) for small spiral wavevector Q, so the Q^2 spiral stiffness is controlled entirely by the zero- and one-magnon sectors; sectors with two or more magnons enter only at higher order. The zero-magnon state is mapped onto an auxiliary relative-coordinate state |r=0>, and the hybridizing channel is spanned by two odd-parity bond states built from nearest- and next-nearest-neighbor bonds. Projecting the resolvent onto this two-dimensional subspace yields an exact 2x2 scattering equation whose self-energy Σ = (1/4) Q^2 t^T G(E_FM) t gives the quantum","core_discovery":"The paper establishes that the infinite-U Hubbard model on the triangular lattice with one hole and next-nearest-neighbor hopping t2 has a ferromagnet-to-spiral transition at t2,c/t1 = -0.182. Because a classical spiral single-hole energy can never beat the ferromagnet—the spiral dispersion is a convex combination of ferromagnetic dispersions—the instability is purely quantum, driven by virtual hole–magnon processes. The authors compute the quantum softening of the spiral stiffness exactly by projecting the two-body problem onto the odd-parity bond subspace, obtaining a 2x2 scattering equation and Π0 = 0.170; exact treatment of the hard-core hole–magnon constraint suppresses Π0 by about 24%","pith_inferences":["The two-body projection technique should transfer directly to other frustrated lattices (e.g., square or kagome), yielding exact Lifshitz thresholds wherever the hybridizing channel is finite-dimensional.","Cold-atom triangular-lattice simulators with tunable next-nearest-neighbor hopping can directly test the predicted boundary and the square-root growth of the spiral pitch.","At finite doping, the Lifshitz-shifted polaron pocket at -Q* and the large quasiparticle weight imply a Fermi surface strongly asymmetric with respect to the spiral wavevector, which should shape the pairing symmetry.","A rigorous multi-magnon bound could turn the paper's perturbative power-counting argument into a theorem; the 2% shift seen in the paper's unrestricted finite-radius numerics brackets the uncertainty."],"forward_implications":["The exact critical ratio t2,c/t1 = -0.182 settles the long-open question of the single-hole Nagaoka stability boundary on the triangular lattice.","Because the transition is continuous with Q* ∝ sqrt(|t2 - t2,c|), weak frustration produces arbitrarily long-wavelength spirals with a small saturation field, making the system highly tunable.","The coherent spin polaron remains light (bandwidth ~9 t1, Z≈0.92), in contrast to heavy polarons in antiferromagnets; the slowly twisting spiral acts as a locally ferromagnetic background.","The one-magnon sector alone determines the spiral stiffness; higher-magnon processes affect only higher-order terms, so the critical point is robust to multi-magnon dressing.","The spiral wavevector and stiffness set the nesting geometry and attractive scale for magnon-mediated pairing at finite doping, providing the magnetic baseline for finite-density theories."],"fun_headline_variants":["Exact spiral transition at t2/t1 = -0.182 in doped magnet","Quantum softening flips triangular magnet to spiral exactly","Hard-core constraint yields exact Nagaoka-to-spiral boundary","From Nagaoka to spiral: exact critical hopping ratio","Doped triangular lattice: exact quantum spiral instability"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that two or more magnons cannot soften the spiral at quadratic order in the wavevector—only at higher order—so the one-magnon sector alone sets the stiffness; this is a perturbative scaling argument, not a proof, and the paper's own extended-basis numerics shift the critical point by about 2% (to -0.186).","fun_headline_variants_meta":{"raw":{"variants":["Exact spiral transition at t2/t1 = -0.182 in doped magnet","Quantum softening flips triangular magnet to spiral exactly","Hard-core constraint yields exact Nagaoka-to-spiral boundary","From Nagaoka to spiral: exact critical hopping ratio","Doped triangular lattice: exact quantum spiral instability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000659,"raw_usage":{"total_tokens":2833,"prompt_tokens":707,"completion_tokens":2126,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":451,"completion_tokens_details":{"reasoning_tokens":2042}},"tokens_in":451,"tokens_out":2126,"duration_ms":13592,"temperature":1.0,"reasoning_tokens":2042,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T09:32:45.649951+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a lattice large enough to resolve long-wavelength spirals, compute the ground-state energy as a function of spiral wavevector Q including all two-magnon sectors with no spatial truncation: if the extracted quadratic coefficient changes from the one-magnon value 0.170, the power counting fails. Also, if flux-insertion or cold-atom experiments show the spiral wavevector jumping discontinuously at t2/t1 = -0.182, or the critical hopping differing from -0.182 by more than a few percent, the claim of an exact continuous transition is wrong.","supporting_citations":[],"review_version":1}