{"id":"198caa65-d816-4251-b5f5-2870f6575f0c","arxiv_id":"2411.16357","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Spinful bosons in a one-dimensional Ising-Kondo lattice can form a long-range spin-density wave with wave vector set by the particle density, a bosonic analog of the Peierls state.","lead":"This paper uses numerical DMRG simulations and perturbation theory to show that a one-dimensional lattice model of spinful bosons coupled to localized magnetic moments can form a density-wave state whose period is set by the boson density, like a bosonic version of the Peierls state. The work is relevant because Peierls-type order was traditionally thought to require fermions, and the model is one that could be realized with ultracold atoms in optical lattices.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central Peierls claim rests on a four-point OBC DMRG extrapolation of S(k)/L; algebraic quasi-long-range order with a small exponent could mimic a nonzero intercept, so the thermodynamic-limit SDW is not yet established.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing point: the DMRG finite-size scaling with OBC and L <= 32 must establish true long-range SDW order, and it is not currently supported by real-space correlation plateaus, error bars, or boundary-effect analysis. I agree with that assessment. My stress-test sharpens the concern: in a 1D gapless or quasi-long-range ordered system, S(k)/L decays as a power law, and with only four system sizes a linear-in-1/L fit can easily produce a nonzero intercept even when the true thermodynamic limit is zero. This is not a hypothetical failure mode; it is the standard ambiguity that finite-size scaling of structure factors must resolve. The paper's own admission that the incommensurate mechanism is left open makes the numerical extrapolation the sole evidence for the central claim at incommensurate densities. The strong-coupling perturbation theory is internally useful but only gives commensurate AFM or FM orders, so it does not independently support kmax = pi*rho. The paper does have real positive features: the perturbative treatment of the MI limit is a parameter-free derivation, the DMRG parameters (800 states, truncation error ~1e-9) are reasonable for L = 32, and the experimental proposal is concrete. Those merits do not cure the finite-size extrapolation ambiguity. The appropriate response is to require the additional numerical checks before accepting the phase as established, which is exactly the reader's CONDITIONAL verdict; my read does not move that verdict.","tokens_in":35,"tokens_out":9621,"duration_ms":166593,"concrete_test":"Repeat the DMRG calculation at the same parameters as Fig. 1(b) (U = 50, J = 10, rho = 0.75, h = 1) with periodic boundary conditions for L = 24, 32, 40, 48, or with iDMRG, and compute S(0.75*pi)/L. If the PBC extrapolation to L -> infinity vanishes, or if the bulk real-space correlation <s^z_{L/2} s^z_{L/2+r}> decays as a power law instead of plateauing at a nonzero value for r up to L/2, then the OBC extrapolation in Fig. 1(b) is a finite-size/boundary artifact and the Peierls claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The existence of a true thermodynamic-limit SDW/Peierls phase is established almost entirely by the finite-size scaling of the spin structure factor S(k)/L in Figs. 1(b), 2, 3, and 5. The scaling uses open-boundary DMRG data at L = 20, 24, 28, 32, a linear extrapolation in 1/L, and no error bars, real-space correlation plateaus, or periodic-boundary/iDMRG cross-check. This is load-bearing because in one dimension a quasi-long-range ordered phase has S(k_max)/L ~ L^{-eta}; for a small exponent, four points over the narrow range L = 20-32 can look linear in 1/L and yield a spurious nonzero intercept. Open-boundary Friedel oscillations at k = pi*rho can further enhance the finite-size peak. The paper itself leaves the incommensurate mechanism open ('the exploration of which is beyond the scope of this paper'), and the strong-coupling perturbation theory yields only commensurate AFM (k = pi) or FM, not the incommensurate SDW. Thus the numerical extrapolation is the only support for kmax = pi*rho at incommensurate fillings; if S(k_max)/L actually vanishes in the thermodynamic limit, the central claim reduces to conventional quasi-long-range correlations rather than a bosonic Peierls state.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper considers the one-dimensional Ising-Kondo lattice model with spinful bosons (Eq. (1)), where itinerant spin-1/2 bosons hop with amplitude t, interact via Hubbard U, and are coupled through longitudinal Kondo exchange J to localized Ising moments in a transverse field h. The authors combine second-order perturbation theory in the weak- and strong-coupling limits (Sec. III) with DMRG calculations on open chains up to L=32 (Sec. IV). They claim that at intermediate J and sufficiently large U the ground state is a bosonic analogue of a Peierls state: a twofold-degenerate, gapped spin-density-wave phase whose ordering wave vector obeys kmax=πρ (Eq. (15)), together with paramagnetic and ferromagnetic phases. They also report that at commensurate filling the phase has no off-diagonal long-range order, and they propose an experimental implementation in a double-well ladder geometry (Sec. V).","tokens_in":18332,"tokens_out":12747,"duration_ms":115947,"significance":"The claimed phenomenon is conceptually attractive and, if confirmed, would extend Peierls-type density-wave physics to bosonic systems without a Fermi surface, connecting to the existing literature on bosons on dynamical lattices (Refs. [7-10]). The paper contains several genuine strengths: the strong-coupling effective Hamiltonian (Eqs. (9)-(11)) is derived explicitly in the appendix; the phase diagrams in Fig. 5 are broad; the experimental ladder mapping in Eq. (16) is concrete; and the kmax=πρ relation is a sharp, falsifiable prediction. However, the central SDW phase is supported almost entirely by one DMRG extrapolation protocol: four open-boundary sizes, linear in 1/L, no error bars. The perturbation theory in Sec. III produces ferromagnetic or commensurate (k=π) order, not the incommensurate SDW, so the numerical extrapolation carries the full weight of the main claim. No code or raw data are provided. For these reasons I cannot currently recommend acceptance, but the concerns are addressable with additional numerical diagnostics.","major_comments":[{"comment":"The thermodynamic-limit existence of the bosonic Peierls phase rests on the extrapolation of S(kmax)/L to L→∞ from four open-boundary sizes (L=20,24,28,32). Because the perturbation theory in Sec. III yields only FM or commensurate AFM, this extrapolation is the only support for an incommensurate kmax=πρ. In a quasi-long-range-ordered state, S(kmax)/L ~ L^{-η}; with a small exponent the four points can mimic a linear-in-1/L curve with a spurious nonzero intercept, and open-boundary Friedel oscillations at k=πρ can produce the same finite-size peak. Note also that the extrapolated Smax in Fig. 2(b) is only about 2×10^{-3} (versus about 0.1 in the FM phase), so even small systematic extrapolation errors are proportionally large. Please provide real-space spin-correlation plateaus, or an iDMRG/periodic-boundary cross-check, and compare linear fits with power-law fits, with error estimates. Without this, the claim of true long-range SDW order is not established.","section":"Sec. IV, Figs. 1(b), 2 and 5"},{"comment":"The strong-coupling effective spin Hamiltonian in Eq. (9) and the stability conditions in Eqs. (12)-(13) produce only ferromagnetic and commensurate antiferromagnetic (kmax=π) orders. The paper explicitly leaves the microscopic origin of the incommensurate SDW beyond its scope, and the weak-coupling RKKY expansion is acknowledged to be divergent (Sec. IIIA). This is not by itself an error, but it means that at incommensurate fillings the central claim has no analytic cross-check. Either extend the effective model (for example to longer-range or density-dependent exchange couplings) or clearly present the SDW as a numerical discovery; in the latter case the numerical evidence requested above becomes decisive.","section":"Sec. IIIB and Sec. IV (last paragraph)"},{"comment":"The defining Peierls feature is the relation kmax=|πρ+2nπ|, which the text calls 'perfectly satisfied.' However, Fig. 3 shows only a coarse density scan with no error bars on the extrapolated peak positions. Please report the extrapolated kmax (with uncertainties) for a fine grid of densities, including incommensurate fillings where the peak may be broad, so the functional dependence on ρ can be verified quantitatively.","section":"Sec. IV, Eq. (15) and Fig. 3"}],"minor_comments":[{"comment":"The manuscript contains numerous typographical errors ('weather' in the Introduction, 'absense', 'sspin', 'frist Brillion zone', and 'hoping' in the Fig. 11 caption, among others); a careful proofreading pass is needed.","section":"Throughout"},{"comment":"Equation (3) is garbled: it introduces operators c_{i,τ} even though the boson operators in Eq. (1) are b_{i,σ}, and the factors of 1/2 are inconsistent. Please rewrite the definition of s_{z,0} using the b operators and define Ξ^k_l clearly.","section":"Sec. IIIA, Eq. (3)"},{"comment":"The claim that the SDW phase has a 'nonzero excitation gap' should be made precise: Fig. 8(b) actually shows ε1→0 as L→∞ (the twofold degeneracy) and a finite ε2. The text should distinguish the symmetry-breaking degeneracy from the quasiparticle gap above the degenerate manifold.","section":"Sec. IV, Figs. 8-9"},{"comment":"The term 'long-range feature' for the superfluid correlation should be replaced by a precise statement: in 1D the expected off-diagonal correlations are algebraic (quasi-long-range) rather than true long-range order, unless the authors fit and demonstrate otherwise. This also affects the comparison with a supersolid.","section":"Sec. IV, Fig. 7"},{"comment":"The strong-coupling perturbation theory is developed for commensurate filling with ρ/2 integer or half-integer, but the phase diagram in Fig. 5(b) covers continuous ρ. Please state explicitly where the perturbative AFM/FM boundaries are expected to apply and where they are only heuristic.","section":"Sec. IIIB and Fig. 5(b)"},{"comment":"The statement that ncutoff=4 is 'enough to determine the phase boundaries' is not supported by any convergence data. A brief ncutoff study (e.g., ncutoff=4,5,6 at representative points in the SDW and FM phases) would strengthen reproducibility, particularly because the text allows for cutoff effects in the weak-interaction region.","section":"Sec. II (numerical parameters)"}],"recommendation":"major_revision","confidential_remarks":"The central issue is the finite-size extrapolation: the incommensurate SDW claim and the accompanying phase diagrams rest on OBC DMRG data at four sizes with no error bars or boundary-condition check. I would be willing to accept after the authors provide the additional diagnostics requested in the major comments. The paper is within scope for cond-mat.quant-gas and raises no originality concerns, but the typographical state suggests an early draft."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague—\n\nThe headline: this paper reports a plausible but not yet airtight numerical discovery of a Peierls-like spin-density-wave in a one-dimensional bosonic Ising-Kondo lattice, with ordering wave vector kmax = pi*rho. The claim is new, as far as I know—previous bosonic Kondo-Hubbard studies did not find this density-dependent SDW. The paper also deserves credit for the two perturbation-theory limits, which give a physical picture for PM and FM, and for the way the DMRG results across structure factors, gaps, and superfluid correlations hang together.\n\nThe main soft spot is the finite-size evidence for the SDW. The peak in S(k)/L is extrapolated from L = 20, 24, 28, 32 with open boundary conditions, a linear 1/L fit, and no error bars. In 1D, a quasi-long-range ordered phase with a small anomalous dimension can produce a similar-looking extrapolation, so this alone would not convince me. But there is more: the SDW phase shows a finite excitation gap in the thermodynamic limit (Fig. 8b) and a two-fold degenerate ground state with distinct correlation patterns (Fig. 9). That is independent evidence for symmetry breaking rather than just quasi-long-range correlations. So I don't think the central claim collapses; it needs stronger numerical support.\n\nOther weaknesses are addressable: no code or data released, no real-space spin-correlation plateaus, and the incommensurate mechanism is left open (honestly stated). The strong-coupling perturbation theory only yields commensurate AFM, so the incommensurate SDW rests on the numerics—which is why the finite-size analysis matters.\n\nVerdict: send to a serious referee. The phenomenon is interesting and the paper is honest about its limits, but I would want the extrapolation evidence upgraded before publication: larger L, error estimates, real-space correlations, and a cross-check with periodic boundaries or iDMRG. If those come through, I'd cite it.","headline":"A plausible but numerically thin bosonic Peierls claim that deserves a serious referee, not yet a settled result.","tokens_in":18921,"tokens_out":3491,"would_cite":false,"duration_ms":33689,"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":"Bosons without a Fermi surface can still form a Peierls-like state: the bosonic Ising-Kondo lattice develops a long-range spin-density wave with $k_{\\max}=\\pi\\rho$.","keywords":["bosonic Ising-Kondo lattice","Peierls state","spin-density-wave order","density-matrix renormalization group","Bose-Hubbard model","Kondo physics","ultracold atoms in optical lattices","spin-1/2 bosons"],"falsifier":"Repeat the spin structure factor calculation on chains longer than $L=32$ (for example $L=40$ to $L=64$) with periodic boundary conditions and a higher single-site boson cutoff; if the peak at $k_{\\max}=\\pi\\rho$ extrapolates to zero or drifts away from $\\pi\\rho$ in the thermodynamic limit at intermediate $J$, the claimed bosonic Peierls state is an artifact. In the proposed cold-atom ladder, a direct falsifier is the absence of the $\\pi\\rho$ peak in site-resolved spin correlations at intermediate Kondo coupling and strong $U$.","tokens_in":17826,"feed_emoji":"🧲","tokens_out":12142,"duration_ms":99324,"temperature":0.7,"pith_summary":"This paper claims that the one-dimensional Ising-Kondo lattice model, with itinerant spin-1/2 bosons coupled by Ising-type exchange to localized magnetic moments, hosts a bosonic analog of the Peierls state. In an intermediate range of Kondo coupling and with sufficiently strong on-site repulsion, the ground state develops a long-range spin-density wave whose ordering wave vector $k_{\\max}=\\pi\\rho$ is pinned by the boson density. This is exactly the relation that Fermi-surface nesting produces in the fermionic Peierls transition, even though the itinerant particles here are bosons and have no Fermi surface. If the claim holds, Peierls-type lattice instability is not an exclusive fermionic phenomenon, and the bosonic Ising-Kondo model becomes a minimal platform for studying it. The paper also maps the full ground-state phase diagram, which includes paramagnetic and ferromagnetic phases in addition to the spin-density-wave state.","feed_headline":"No Fermi surface? Bosons still order at wave vector k=πρ","feed_subtitle":"A boson-spin chain forms a spin-density wave whose period tracks only the boson density, no Fermi surface needed.","key_machinery":"The load-bearing object is the spin structure factor $S(k)=\\frac{1}{L}\\sum_{l,j}\\langle \\hat{s}_l^z \\hat{s}_j^z\\rangle e^{i(l-j)k}$ and its thermodynamic limit $S(k)/L$: a nonzero limit of $S(k_{\\max})/L$ at nonzero $k_{\\max}$ is the paper's operational definition of a spin-density wave, and the identity $k_{\\max}=\\pi\\rho$ is what makes the order Peierls-like. Supporting machinery includes the second-order effective spin Hamiltonian (9) derived in the strong-coupling limit, whose coupling constant $\\mathcal{J}$ changes sign and thereby selects antiferromagnetic (spin-density-wave) versus ferromagnetic order, and the weak-coupling effective Hamiltonian whose RKKY-type coupling $R_l$ is strictly positive for all $l$, which favors ferromagnetism and defines the small-$J$ side of the phase diagram.","core_discovery":"The central discovery is that the ground state of the bosonic Ising-Kondo lattice (Hamiltonian (1)) contains a long-range spin-density-wave phase in the intermediate-coupling, strong-$U$ regime. Using density-matrix renormalization group calculations on chains up to $L=32$, the paper shows that the scaled spin structure factor $S(k_{\\max})/L$ has a peak that survives the $L\\to\\infty$ extrapolation, and that $k_{\\max}$ remains pinned to $\\pi\\rho$ as $J$ and $U$ are varied as long as the phase persists. In this phase the ground state is twofold degenerate with a finite excitation gap at commensurate filling, and superfluid correlations decay exponentially; at incommensurate filling the state remains gapped but compressible. The result is supported by perturbative effective spin Hamiltonians in the weak-coupling and strong-coupling limits, which yield the paramagnetic and ferromagnetic phases and delimit where the spin-density wave should appear. The paper thus claims that the Peierls relation $k_{\\max}=2k_F=\\pi\\rho$ survives in a system with no Fermi surface.","pith_inferences":["Beyond the paper, a direct check of the central claim is to compute the real-space spin correlation $s^{(2)}(r)$ on chains longer than $L=32$ and look for a plateau at large $r$; a non-saturating or oscillating tail would indicate that the $S(k)$ peak is a finite-size or boundary effect.","Beyond the paper, the density-pinning relation $k_{\\max}=\\pi\\rho$ suggests a common ordering criterion for bosonic and fermionic Ising-Kondo lattices independent of particle statistics; testing both with the same finite-size scaling would show whether a generalized nesting condition based on density alone is at work.","Beyond the paper, the proposed cold-atom ladder realizes the model with independently tunable parameters, so measuring the spin structure factor at intermediate coupling should show the $\\pi\\rho$ peak; its absence at that parameter point would falsify the claimed phase boundary.","Beyond the paper, the extrapolated critical values such as $U_c\\approx 37$ at $\\rho=0.75$ and $U_c\\approx 7.5$ at unit filling are quantitative predictions that could be tested by scanning $U$ through the critical value and watching $S(k_{\\max})/L$ turn from zero to nonzero."],"forward_implications":["The bosonic Peierls state occupies a finite region of the $J$-$U$, $J$-$\\rho$, and $U$-$\\rho$ phase diagrams, sandwiched between paramagnetic order at small $J$ and ferromagnetic order at large $J$; its region widens as $U$ grows and is largest near unit filling.","Once the state forms, its ordering wave vector is locked to $k_{\\max}=\\pi\\rho$, independent of $J$ and $U$, so measuring the peak position of the spin structure factor directly measures the boson density.","At commensurate filling the spin-density-wave state is a gapped, twofold-degenerate insulator with exponentially decaying superfluid correlations; at incommensurate filling it stays gapped but has a vanishingly small charge gap, so it is not a supersolid.","The same physics can be reached with ultracold bosonic atoms in a double-well ladder geometry, where the bosonic Ising-Kondo Hamiltonian emerges from density-density couplings and rung tunneling between two chains, with all parameters independently tunable."],"supporting_citations":[{"why":"Defines the original Peierls transition in one-dimensional metals, the phenomenon being generalized to bosons.","marker":"[6]"},{"why":"Shows that strongly correlated bosons on a dynamical lattice can exhibit Peierls-like behavior, the prior construction this model aims to make more physical.","marker":"[7]"},{"why":"Introduces the Ising-Kondo lattice model that this bosonic version directly extends.","marker":"[20]"},{"why":"Gives the fermionic one-dimensional Ising-Kondo lattice whose density-wave instability at strong coupling is the fermionic counterpart being generalized.","marker":"[31]"},{"why":"Supplies the second-order perturbation machinery used to derive the weak-coupling effective spin Hamiltonian.","marker":"[46]"},{"why":"Provides the density-matrix renormalization group method used for the finite-size ground-state calculations.","marker":"[48]"},{"why":"Supplies the standard formulation of the DMRG algorithm and truncation-error control used in the simulations.","marker":"[49]"},{"why":"Gives the criterion that a nonzero thermodynamic limit of $S(k)/L$ indicates long-range ordering, used to define the phases.","marker":"[51]"},{"why":"States the one-dimensional Peierls relation $k_{\\max}=2k_F$ from nested Fermi surfaces that the bosonic result reproduces as $k_{\\max}=\\pi\\rho$.","marker":"[53]"}],"fun_headline_variants":["Bosonic Peierls state: spin order without Fermi surface","No Fermi surface? Bosons still order at density-set wavevector","Ising-Kondo bosons form density-pinned spin-density wave","Bosons break expected rule: spin order from density, not Fermi sea","Peierls without fermions: boson chain orders at k=πρ"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The claim depends on the extrapolation that the peak in $S(k)/L$ at $k_{\\max}=\\pi\\rho$ stays nonzero as the chain length grows beyond the 32 sites used in the DMRG simulations, rather than being a finite-size or open-boundary artifact.","fun_headline_variants_meta":{"raw":{"variants":["Bosonic Peierls state: spin order without Fermi surface","No Fermi surface? Bosons still order at density-set wavevector","Ising-Kondo bosons form density-pinned spin-density wave","Bosons break expected rule: spin order from density, not Fermi sea","Peierls without fermions: boson chain orders at k=πρ"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000191,"raw_usage":{"total_tokens":1369,"prompt_tokens":996,"completion_tokens":373,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":612,"completion_tokens_details":{"reasoning_tokens":279}},"tokens_in":612,"tokens_out":373,"duration_ms":4029,"temperature":1.0,"reasoning_tokens":279,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:12:24.178965+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Repeat the spin structure factor calculation on chains longer than $L=32$ (for example $L=40$ to $L=64$) with periodic boundary conditions and a higher single-site boson cutoff; if the peak at $k_{\\max}=\\pi\\rho$ extrapolates to zero or drifts away from $\\pi\\rho$ in the thermodynamic limit at intermediate $J$, the claimed bosonic Peierls state is an artifact. In the proposed cold-atom ladder, a direct falsifier is the absence of the $\\pi\\rho$ peak in site-resolved spin correlations at intermediate Kondo coupling and strong $U$.","supporting_citations":[{"cited_title":"Peierls, Quantum Theory of Solids, International Se- 11 ries of Monographs on Physics (Clarendon Press, Oxford, 1955)","cited_arxiv_id":null,"evidence_quote":"Shows that strongly correlated bosons on a dynamical lattice can exhibit Peierls-like behavior, the prior construction this model aims to make more physical."},{"cited_title":"Misiorny, M","cited_arxiv_id":null,"evidence_quote":"Introduces the Ising-Kondo lattice model that this bosonic version directly extends."},{"cited_title":"Yang, Y.-X","cited_arxiv_id":null,"evidence_quote":"Gives the fermionic one-dimensional Ising-Kondo lattice whose density-wave instability at strong coupling is the fermionic counterpart being generalized."},{"cited_title":"Duan, Controlling ultracold atoms in multi-band optical lattices for simulation of Kondo physics, Euro- phys","cited_arxiv_id":null,"evidence_quote":"Supplies the second-order perturbation machinery used to derive the weak-coupling effective spin Hamiltonian."},{"cited_title":"Flottat, F","cited_arxiv_id":null,"evidence_quote":"Provides the density-matrix renormalization group method used for the finite-size ground-state calculations."},{"cited_title":"Gagge and J","cited_arxiv_id":null,"evidence_quote":"Gives the criterion that a nonzero thermodynamic limit of $S(k)/L$ indicates long-range ordering, used to define the phases."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the one-dimensional Peierls relation $k_{\\max}=2k_F$ from nested Fermi surfaces that the bosonic result reproduces as $k_{\\max}=\\pi\\rho$."}],"review_version":1}