{"id":"3bdcd5b6-44b1-43d3-a9e9-0c3a223d07d5","arxiv_id":"2608.06303","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Local kinetic and thermokinetic precision bounds are shown to break in the nonlinear spin-boson model due to antibunching, while a susceptibility-based kinetic uncertainty relation continues to hold.","lead":"This paper studies how nonlinearities affect precision bounds in bosonic heat and particle transport, using a harmonic oscillator network and a nonlinearly coupled two-level system. It finds that local kinetic and thermokinetic uncertainty relations, which hold for linear systems, can be violated by the nonlinear two-level system, while a more general susceptibility-based bound remains valid.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed breakdown rests on the hard-core (infinite-Kerr) TLS limit; at the stated bath occupations finite Kerr nonlinearity populates higher levels and may restore the linear-bosonic bounds, so the general claim is not established.","rationale":"I read the paper in good faith and checked the central algebra. For n_L=0.01, n_R=1 and γ_L=γ_R, the steady-state rates give I ≈ 0.246γ, K_cross ≈ 0.256γ, K_L ≈ 0.261γ, S_N ≈ 0.226γ, hence P ≈ 0.269γ > K_L > S_N, reproducing the reported violation. I also checked the S-KUR application: with the correct definition dM/dθ = d/dθ [I(θ)/θ] evaluated at θ=1, the blue-star saturation at this point is about 0.57, consistent with Fig. 7, so no contradiction arises there. The harmonic-oscillator section is internally consistent, and the weak-coupling NESB calculation is a valid exact solution of its stated model. My concern is therefore not about internal consistency but about the generality of the headline claim. The NESB is the infinite-Kerr limit of a bosonic mode, and the violation mechanism is the hard-core blockade. At the hot-bath occupation used to exhibit the violation, a finite-Kerr mode has significant occupation of the second excitation level, which should degrade antibunching and may restore the linear bounds. The reader's weakest assumption (no intermediate nonlinearity, no strong coupling) is closely related; I sharpen it to the finite-U question, which is directly checkable by the proposed calculation. Because this scope limitation was already the basis for the CONDITIONAL verdict, I recommend no change to that verdict.","tokens_in":23557,"tokens_out":23638,"duration_ms":233513,"concrete_test":"Add a Kerr term H_Kerr=(U/2) a†a(a†a−1) to the central bosonic mode, keep symmetric weak coupling γ_L=γ_R=γ and bath occupations n_L(∆)=0.01 and n_R(∆)=1, and compute P^(E)_L, K_L=K_cross+K_auto, and S^(N)_L as functions of U/ℏ∆ using a number-truncated global GKSL/FCS scheme with truncation N=10 and a convergence check against N=15. Locate the threshold U_c at which P^(E)_L/K_L and P^(E)_L/S^(N)_L cross unity. If the ratios remain below 1 for all finite U, or only exceed 1 for U/ℏ∆ well beyond the two-level regime, the Fig. 5 violation is a singular hard-core effect and the conclusions must be restricted to the infinite-U limit.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that nonlinearities break local KUR/TKUR is established only in the hard-core limit of a bosonic mode, i.e., the NESB as a TLS (Sec. IV B 1, Fig. 5). The violation is driven by perfect antibunching: Eq. (47) gives g(2)(τ)=1−e^{−Λτ}, so g(2)(0)=0 because the TLS cannot emit twice before re-excitation. At the Fig. 5 violation parameters (n_L=0.01, n_R=1), the hot bath temperature is k_B T_R ≈ 1.44ℏ∆. In any finite-Kerr realization with frequency ∆ and Kerr strength U (E_2=2ℏ∆+U), the second-level occupation is n_2 = 1/(e^{(2ℏ∆+U)/k_BT_R}−1); this is about 0.33 at U=0, about 0.21 at U/ℏ∆=0.5, and becomes negligible only for U/ℏ∆ much larger than 5. A finite population in the two-excitation manifold weakens the blockade, raises g(2)(0), and tends to restore the linear-bosonic ordering P ≤ K_cross ≤ S_N. The paper provides no finite-U calculation, no threshold estimate, and no continuity argument in U, so the statement that nonlinearities can improve precision beyond linear bosonic bounds, and the claimed circuit-QED testability, are not supported outside the singular infinite-U limit.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes how nonlinearities affect kinetic (KUR) and thermokinetic (TKUR) precision bounds in bosonic transport. For a harmonic-oscillator network it gives full-counting-statistics expressions for energy and excitation currents, noise, entropy production, and several local activity measures, and it numerically demonstrates the expected hierarchy for linear systems, P_L^(E) ≤ K_cross ≤ S_N^(N), with the TUR, TKUR, and susceptibility-KUR saturations. For the nonequilibrium spin-boson model (NESB), interpreted as the hard-core limit of a bosonic mode, it uses a weak-coupling GKSL master equation to obtain closed-form results and shows that, in a regime with large temperature bias and a very cold contact, the local activity K_L and the particle-current noise S_L^(N) are violated by the precision, while the global KUR/TKUR and the susceptibility-KUR of Eq. (12) remain valid. The enhanced precision is attributed to antibunching, with g^(2)(0)=0 in Eq. (47).","tokens_in":23811,"tokens_out":10082,"duration_ms":102284,"significance":"If the claims hold in the generality stated, the paper would provide an interesting and useful message: strong bosonic nonlinearities can improve transport precision beyond linear-system bounds, local kinetic/thermokinetic bounds are not universal, and the susceptibility-KUR is a robust replacement. The NESB calculation is simple, analytic, and free of fitted parameters, giving explicit and falsifiable predictions for the parameter regions where local bounds are violated. The harmonic-oscillator FCS material is standard and consistently presented, and the comparison of activity definitions is useful as a benchmark. The main weakness, discussed below, is that the central 'nonlinearities break local bounds' claim is demonstrated only in the singular hard-core/infinite-Kerr limit, with no finite-nonlinearity calculation or continuity argument; this limits the generality of the abstract, title, and experimental-testability statements.","major_comments":[{"comment":"The violation of the local KUR and of the KUR-like bound P ≤ S_N is computed only in the TLS/hard-core limit of a bosonic mode. The paper's abstract and conclusion state that nonlinearities can break local precision bounds and that this should be testable in circuit QED, but no finite-Kerr calculation or threshold estimate is provided. At the Fig. 5 violation parameters (n_L=0.01, n_R=1), one has k_B T_R ≈ 1.44ħ∆; the second-excitation occupation of a finite-Kerr mode with frequency ∆ and Kerr strength U is n_2 ≈ 0.33 at U=0 and ≈0.21 at U/ħ∆=0.5, becoming negligible only for U/ħ∆ substantially larger than 5. A finite population in the two-excitation manifold weakens the blockade, raises g^(2)(0), and tends to restore the linear-bosonic ordering. Without a finite-U analysis or at least a continuity/threshold argument, the general nonlinearity claim is not established beyond the infinite-U limit.","section":"Sec. IV B 1, Fig. 5"},{"comment":"As printed, the entropy-production expression contains the factor (F_αβ − F_βα)^2. The standard and dimensionally correct expression for the harmonic network is (F_αβ − F_βα) ln(F_αβ/F_βα), without a square. Since σ enters all TUR and TKUR comparisons in Figs. 2, 3, and 6, either the formula is a typographical error that must be corrected, or the numerical results are based on a different quantity than stated. Please clarify and fix this.","section":"Sec. III B, Eq. (28)"}],"minor_comments":[{"comment":"The notation P_α^(X) is introduced through J_α^(X), but the remainder of the paper mostly uses P^(X) from Eq. (3). Please clarify the relation between these two precision definitions explicitly.","section":"Sec. II B 2"},{"comment":"The computed expression g^(2)(τ)=1−e^{−Λτ} holds for τ≥0; the statement g^(2)(0)≤g^(2)(τ) should be written with this domain noted explicitly.","section":"Sec. IV B 1"},{"comment":"The violation ratios in the insets are visually small; please state the maximum values of K_L/P and S_N/P attained in the displayed ranges, or plot the ratios on a scale that makes the violation quantitatively clear.","section":"Sec. IV B 1"},{"comment":"The validity of the susceptibility-KUR is imported from Ref. [24], which is an unpublished preprint. If a refereed or published version is available, it should be cited; otherwise, a short self-contained derivation or a precise statement of the assumptions in the appendix would make the paper more self-contained.","section":"References"},{"comment":"The chain P ≤ K_cross ≤ S_N is stated for linear systems; it may help to note explicitly that K_cross ≤ S_N follows directly from Eq. (27a) because the quantum-noise term is nonnegative, while P ≤ K_cross is the nontrivial bound taken from Refs. [16,18].","section":"Sec. III B"}],"recommendation":"major_revision","confidential_remarks":"The paper's strongest advertised result—that nonlinearities can break local kinetic/thermokinetic bounds—is verified only in the hard-core/TLS limit, and the positive S-KUR result relies on an unpublished preprint by the same group. I would not reject the paper, because the TLS calculation itself is sound and the harmonic-oscillator benchmark is useful. However, the authors should either add a finite-Kerr analysis or explicitly restrict all general claims and the circuit-QED testability statement to the hard-core limit. The entropy-production formula in Eq. (28) also needs to be checked, as it appears to contain a spurious square."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Read the Palmqvist et al. paper on nonlinearities and local KURs in bosonic transport. Short version: the harmonic-network analysis is solid and useful; the headline claim that nonlinearities break the local bounds is only proven in the hard-core (infinite-Kerr) limit, and the paper overreaches when it says nonlinearities can improve precision beyond linear bosonic bounds.\n\nWhat's new: they compare three activity definitions (correlator-based K_VV, its cross term, and particle-current noise S_N) for energy transport through a harmonic network, and show the predictiveness hierarchy depends on temperature regime, with K_cross best in cold/empty-contact regimes. That extends Refs [16,18,19] to a concrete bosonic network, and Appendix B gives a nice general proof that the correlator-based activity reduces to the GKSL jump activity for non-quadratic Hamiltonians. Good, citeable work.\n\nThe NESB part is clean: the violation of the local KUR and the entropy-inference bound (5) follows directly from Eqs. (44)-(45) and the sub-Poissonian noise mechanism via g^(2) is convincing. I verified the algebra; no fitting, no hidden assumptions beyond the model.\n\nBut the model is the rub. The NESB here is a TLS, i.e. the infinite-Kerr limit of a bosonic mode. The breakdown relies on perfect antibunching: g^(2)(0)=0 because the TLS cannot emit twice. At the violating parameters (n_L=0.01, n_R=1), the hot bath temperature is k_B T_R ≈ 1.44 ħΔ. For any finite Kerr strength U, the two-excitation state has population n_2 ≈ 1/(e^{(2+U/ħΔ)/1.44}-1), which is ~0.33 for U=0 and ~0.21 for U/ħΔ=0.5, becoming negligible only for U/ħΔ ≳ 5. That population weakens the blockade, raises g^(2)(0), and plausibly restores the linear-bosonic ordering P ≤ K_cross ≤ S_N. The paper gives no finite-U calculation, no threshold, no continuity argument. So the claim that 'nonlinearities' break the bounds is established only for a singular limit, not for the finite-Kerr systems people actually build.\n\nAlso worth noting: the S-KUR they use is from an unpublished preprint (their Ref [24]). They show it saturates at 0.988 in the NESB, but the bound's derivation is not fully in this paper. Since the S-KUR result is secondary to the breakdown claim, this is a moderate, not fatal, concern.\n\nBottom line: serious paper, deserves peer review, but the referee should insist on either a finite-U calculation or a sharply narrowed statement of the claim. If they can show the breakdown survives at moderate U, this becomes a much stronger result.\n\nMy recommendation: send it out, but with a clear request to address the finite-Kerr gap.","headline":"The harmonic-network activity comparison is solid and worth citing; the NESB breakdown of local KURs is real but only proven in the hard-core infinite-Kerr limit, and the finite-Kerr gap needs filling.","tokens_in":24401,"tokens_out":3703,"would_cite":true,"duration_ms":35610,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["05.60.-k","05.40.-a","03.65.Yz"],"model":"deepseek-v4-flash","headline":"Nonlinearity breaks local precision bounds in bosonic heat transport","keywords":["kinetic uncertainty relation","thermokinetic uncertainty relation","nonequilibrium spin-boson model","bosonic transport","precision bounds","dynamical activity","antibunching","quantum thermodynamics"],"falsifier":"Run the same steady-state GKSL calculation, or a continuous-monitoring jump simulation, for a two-level system coupled symmetrically to two bosonic baths with left occupation $n_L(\\Delta)=0.01$ and right occupation $n_R(\\Delta)=1$, and compute the ratios $K_L^{VV}/P_L^{(E)}$ and $S_L^{(N)}/P_L^{(E)}$. The paper predicts both ratios below 1 in this window; if either ratio stays at or above 1, the claimed breakdown of the local bounds fails. An experimental test would use a circuit-QED heat-transport setup with independently temperature-biased baths and time-resolved current measurement.","tokens_in":23301,"feed_emoji":"📉","tokens_out":7612,"duration_ms":75639,"temperature":0.7,"pith_summary":"Thermodynamic, kinetic, and thermokinetic uncertainty relations bound how precisely a heat or particle current can be measured, with the kinetic versions bounding precision by the activity of the process. Earlier work showed that for linear bosonic systems these kinetic bounds can be tightened by using a local activity that counts only exchanges with the measured reservoir. This paper asks whether that tightening survives nonlinearities, and shows it does not: in the nonequilibrium spin-boson model (a two-level system, the hard-core limit of a bosonic mode), the local kinetic and thermokinetic bounds break when the cold reservoir occupation is very small and the temperature bias is large. In that regime the energy-current precision exceeds both the local correlator-based activity and the particle-current noise, because the two-level system's single-excitation constraint gives anti-bunched, sub-Poissonian transfer statistics. The paper also shows that the susceptibility-based kinetic uncertainty relation, which uses the current response to a tunable coupling, remains a valid and nearly tight bound (saturation up to 0.988) in the same model, making it the reliable precision bound for nonlinear bosonic transport.","feed_headline":"Nonlinearity breaks local precision bounds in bosonic heat transport","feed_subtitle":"A two-level spin-boson junction beats local kinetic-uncertainty bounds; the susceptibility-based KUR still holds.","key_machinery":"The central object is the nonequilibrium spin-boson model, viewed as the hard-core limit of a bosonic mode: a two-level system with level splitting $\\Delta$ coupled to two thermal bosonic baths, described by a GKSL master equation with jump operators $\\hat L_\\alpha^+=\\sqrt{\\gamma_\\alpha n_\\alpha}\\,\\hat\\sigma_+$ and $\\hat L_\\alpha^-=\\sqrt{\\gamma_\\alpha(1+n_\\alpha)}\\,\\hat\\sigma_-$. The nonlinearity is entirely the single-excitation constraint. Two activity notions carry the argument: the correlator-based local activity $K_\\alpha^{VV}$, defined as the symmetrized autocorrelation of the system-bath coupling, and the particle-current noise $S_\\alpha^{(N)}$, which in linear systems counts single-excitation transfers. The decisive identity is the relation between current noise, activity, and current, $S_L^{(N)}=K^{\\mathrm{cross}}-2(I_L^{(N)})^2/\\Lambda$, together with the second-order correlation function $g^{(2)}(\\tau)=1-e^{-\\Lambda\\tau}$, whose vanishing at zero delay signals antibunching and hence sub-Poissonian statistics that violate the linear-system bounds. The susceptibility-KUR of Eq. (12) provides the alternative bound: it replaces the current by the susceptibility $\\partial_\\theta I_L^{(E)}(\\theta)|_{\\theta=1}$ with respect to a scaled coupling strength, which remains valid under nonlinearities.","core_discovery":"For a harmonic-oscillator network coupled to two bosonic reservoirs at different temperatures, the paper shows that local kinetic and thermokinetic uncertainty relations hold: the precision $P_L^{(E)}$ of the left-reservoir energy current is bounded by the correlator-based local activity $K_L^{VV}$ and by the particle-current noise $S_L^{(N)}$, with the tightness depending on temperatures and coupling asymmetry. The central new claim is that in the nonequilibrium spin-boson model, a two-level system absorbing and emitting excitations into two bosonic baths with the hard-core constraint that at most one excitation is hosted, these same local bounds are violated: for small cold-contact occupation $n_L(\\Delta)\\approx 0.01$ and large temperature bias with $n_R(\\Delta)\\approx 1$, the precision exceeds both $K_L^{VV}$ and $S_L^{(N)}$, and the local thermokinetic bound is also violated. The mechanism is not quantum coherence; the steady state is diagonal and effectively classical, and the enhanced precision is due purely to anharmonicity: emissions from the two-level system are anti-bunched, $g^{(2)}(0)\\le g^{(2)}(\\tau)$, giving sub-Poissonian fluctuations that linear bosonic transport cannot produce. In contrast, the susceptibility-KUR of Eq. (12), which bounds precision by the response of the current to a scaled coupling, remains valid and saturates to 0.988 over broad sampled parameters, while the global KUR remains valid but loose (maximum saturation 0.247) and the entropy-inference bound of Eq. (5) breaks.","pith_inferences":["A natural next test is interpolating between the harmonic oscillator and the hard-core two-level system by adding a finite Kerr nonlinearity; the hard-core limit suggests precision improvement should onset continuously as the nonlinearity grows, but the paper does not demonstrate this.","Because the breakdown is statistical rather than coherence-based, similar precision enhancement might appear in any system with a hard-core exclusion rule, such as Coulomb-blockaded quantum dots, although the fermionic reference bounds differ and the paper does not treat that case.","The antibunching mechanism implies a measurable nonclassical photon statistics, $g^{(2)}(0)