{"id":"75eb83af-fd7f-4635-9556-bea94604c869","arxiv_id":"2411.16406","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Counting residual fermions at the loss-difference limit yields Kibble-Zurek scaling that is immune to anti-Kibble-Zurek distortion, plus a dissipation-dependent pseudo-KZ scaling.","lead":"This paper studies driven two-band lattices where atoms on one sublattice are lost while atoms on the other are not. It shows that counting the surviving atoms reveals the Kibble-Zurek scaling law even when ordinary defect counting would be swamped by anti-Kibble-Zurek noise.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (C4a) is an unproven factorization of the loss-difference correction, yet Appendix C labels it 'Rigorous' and the main text leans on Eq. (17) without a controlled error estimate.","rationale":"The reader identified exactly the load-bearing weakness: the conjectural ansatz in Eq. (C4a) is used to derive the central scaling formulas, and the secondary appeal to Eq. (17) is itself an uncontrolled approximation. I agree that this is the most fragile point in the argument. The paper does have independent support: the uniform-loss solution is exact, the full Lindblad dynamics is solved numerically in three models, and the plotted scaling collapses are consistent with the claimed exponents. So the concern is not that the result is demonstrated false; it is that the analytic derivation is not yet a derivation. Because the main text labels the conjectured solution rigorous while the appendix language says 'speculate', this should be fixed before the analytic claims are accepted at face value. A conditional verdict is appropriate: the physical conclusion is plausible and numerically supported, but the proof gap in Eq. (C4a) should be closed or explicitly downgraded to a numerically verified conjecture.","tokens_in":24558,"tokens_out":17825,"duration_ms":183684,"concrete_test":"Derive the leading small-|Delta_q| correction to Eq. (C1b) analytically: expand tilde R_q(t_f) around the delta=0 solution to first nontrivial order in |Delta_q|^2 and verify that the correction equals -pi tau_Q |Delta_q|^2 (e^{bar u delta tau_Q}-1) + O(|Delta_q|^4). If this coefficient does not match the expansion of Eq. (C4a), the factorization is falsified. In parallel, run the full Lindblad dynamics at tau_Q=200, u_i=5, u_f=-5, gamma_a+gamma_b=0.2, delta=0.9 gamma, and evaluate g(q,t_f) defined in Eq. (C5) for q = 0, 0.5, 1, 2, 3, 4; a relative deviation larger than 10% at q ~ 1/sqrt(tau_Q) would indicate that Eq. (C4a) is not reliable in the scaling window.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central analytic results for the loss-difference regime rest on the conjectural solution in Appendix C: tilde R_q(t_f) = [tilde R_q(t_f)]_{delta=0} + e^{-pi tau_Q q^2}(e^{bar u delta tau_Q}-1) in Eq. (C4a), with g(q,t_f)=e^{-pi tau_Q q^2}. This factorization is introduced as a speculation, and the paper's stated 'rigorous solution' heading is not backed by a derivation. The numerical checks in Fig. 5 cover only the Rice-Mele model at tau_Q=30 for two values of total loss, not the asymptotic regime in which the scaling claims are made. If this factorization fails outside those parameters, Eqs. (28)-(32) and Table II collapse, including the headline N proportional to tau_Q^{-beta} at the limit of loss difference. The alternative route advertised as rigorous, Eq. (17), does not close the gap: Eq. (16) states that the Liouvillian commutator is proportional to Delta_q for small Delta_q, but the relevant scaling modes have |Delta_q| ~ tau_Q^{-1/2}, and no estimate is given for the integrated Magnus error over the quench duration. That error can be large even when the instantaneous commutator is small. Thus the proof chain for the central scaling law is incomplete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies adiabatic quenches across quantum critical points in two-band fermion systems subject to Lindblad loss, with particular focus on the limit of loss difference (|δ|=γ). For uniform loss, the authors derive an exact solution for the excitation density, showing exponential suppression of Kibble-Zurek scaling and attributing the anti-Kibble-Zurek (AKZ) contribution to the quantum-jump part of the dissipator. For loss difference, they propose that the final residual-fermion number obeys N ∝ τ_Q^{-β} when the quench crosses the critical point, and a dissipation-strength-dependent pseudo-KZ scaling N ∝ [(1/u_f−1/u_i) γ τ_Q]^{-β} when it does not. These claims are illustrated in the Rice-Mele, Shockley, and Haldane models, with analytical formulas checked against numerical solutions of the Lindblad master equation.","tokens_in":24821,"tokens_out":10846,"duration_ms":100768,"significance":"If correct, the paper makes several useful contributions: it provides an exact treatment of uniform loss in this class of driven bipartite systems, cleanly separates the roles of the non-Hermitian and quantum-jump terms in producing AKZ behavior, and proposes a residual-fermion observable that is immune to the AKZ saturation. The predicted KZ and pseudo-KZ scalings at the loss-difference limit are specific and falsifiable, and the numerical checks in the Rice-Mele model collapse convincingly onto the advertised power laws. The scaling exponents are not fitted to the target results but come from Gaussian integrals, so the numerics provide genuine evidence. The main weakness is that the central loss-difference solution is introduced as a conjecture rather than proved, and the Liouvillian approximation on which it is said to rest has no controlled error estimate; therefore the paper is not yet at the standard of rigor claimed in the text.","major_comments":[{"comment":"The central loss-difference result used in Eqs. (28)-(32) rests on the conjectural factorization tilde R_q(t_f) = [tilde R_q(t_f)]_{δ=0} + e^{-π τ_Q q^2}(e^{bar u δ τ_Q} − 1). The main text and appendix introduce this with 'we speculate the solution', yet the section is titled 'Rigorous Solution'. The factorization is verified numerically only for the Rice-Mele model: Fig. 5 uses τ_Q=30 and two values of total loss, and Fig. 1 shows agreement of Eq. (31) with numerics over a range of τ_Q. No derivation from Eq. (A15c) is given, and no argument explains why g(q,t_f) should equal e^{-π τ_Q q^2} independently of model parameters. If this ansatz fails outside the tested Rice-Mele parameters, Eqs. (28)-(32) and the headline N ∝ τ_Q^{-β} at the loss-difference limit collapse. This needs either a proof, a controlled asymptotic estimate, or a clear downgrade of the claim to a numerically supported conjecture.","section":"Appendix C, Eqs. (C3)-(C4a)"},{"comment":"Eq. (17) replaces the time-ordered Liouvillian evolution with ρ_q(t) ≈ exp(∫_0^t L_q(t') dt'), justified only by the statement in Eq. (16) that [L_q(t1), L_q(t2)] ∝ Δ_q. No explicit commutator is displayed and no error estimate is given for the truncated Magnus series. The modes responsible for the KZ scaling have |Δ_q| ~ τ_Q^{-1/2}, so the instantaneous smallness of the commutator in Δ_q does not imply that the integrated correction over the full quench is small; in fact the correction can be O(1) in the scaling window. Since Eq. (30) is asserted to be 'rigorously demonstrated through the Liouvillian dynamics' via Eq. (17), this missing estimate is load-bearing for the central claim.","section":"Section II.B.1, Eqs. (16)-(17)"},{"comment":"The Haldane-model formulas are presented by analogy with the one-dimensional Rice-Mele solution, but no derivation from Eq. (A15c) is supplied and the only evidence is the finite-lattice numerics in Fig. 4. In particular, the pKZ prefactor 2/(√3 π γ τ_Q) and the decomposition into the two sets of Dirac points are asserted rather than derived. This does not invalidate the Rice-Mele results, but it weakens the general claim that the two scaling behaviors appear together or separately in the Haldane model.","section":"Section V, Eqs. (41)-(42) and Fig. 4"}],"minor_comments":[{"comment":"The stated exact solution tilde R'_0(t) = e^{γ t/2} + e^{δ t/2} − 2 appears inconsistent with Eq. (A15a) and the initial condition tilde R'_0(0)=0; solving A15a with tilde R_0(t)=e^{δ t/2} gives e^{γ t/2} − e^{δ t/2}. The later formulas appear to use the latter form, but the printed equation should be corrected.","section":"Appendix C, Eq. (C2)"},{"comment":"The caption states that the analytical expressions 'match the numerical results rigorously', but the figure covers only a single quench time τ_Q=30 and two values of the total loss. Please soften this wording and state the tested parameter range explicitly.","section":"Figure 5 caption"},{"comment":"The notation e^{∫ L_q(t') dt'} is ambiguous for time-dependent noncommuting superoperators; a time-ordering symbol or an explicit Magnus-series expression would clarify the approximation being made.","section":"Eq. (17)"},{"comment":"The abstract and the main text describe the loss-difference solution as an 'analytical solution' without qualification. Given that the solution is introduced as a conjecture and verified numerically, the wording should be adjusted to distinguish the uniform-loss exact solution from the conjectured loss-difference ansatz.","section":"Abstract and Section II.B"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a genuinely interesting and plausible result, and the numerical evidence in the Rice-Mele model is substantial. My recommendation of major revision is driven by the gap between the 'rigorous' presentation and the unproven central ansatz in Appendix C, together with the uncontrolled approximation in Eq. (17). If the authors can supply a proof or a controlled asymptotic derivation, or alternatively reframe the loss-difference result as a numerically verified conjecture with clear limitations, the paper would be suitable for publication. The Haldane section should also be strengthened or explicitly marked as numerical evidence only."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper deserves a serious referee, but the referee should push on the analytical derivation. The central claim—that counting residual fermions reveals KZ scaling at the limit of loss difference, immune to the anti-KZ saturation—is plausible and well supported numerically, but it is not proven.\n\nWhat's actually new: the loss-difference KZ scaling for the residual fermion number N, the pseudo-KZ scaling for quenches that avoid the critical point, and the identification of the quantum jump term as the source of the anti-KZ behavior. The uniform-loss part is exact and clean: it reduces to the same integral equation as the isolated case, so there is no controversy there. The N observable is a nice diagnostic because it sidesteps the 1/2 saturation that buries the usual excitation density.\n\nSoft spots, in order. The loss-difference solution in Appendix C is introduced as a speculation—the text literally says 'we speculate the solution'—then verified numerically at tau_Q = 30. That is legitimate evidence, but the appendix is titled 'Rigorous Solution' and the main text claims Eq. (30) is rigorously demonstrated through Eq. (17). Eq. (17) rests on the Liouvillian commutator being small in Delta_q, with no error estimate; the scaling-relevant modes have |Delta_q| ~ tau_Q^{-1/2}, so the approximation is not controlled. So the proof chain is incomplete. I don't think this sinks the paper—the numerical checks on Rice-Mele, Shockley, and Haldane models are genuine full-Lindblad solutions—but the gap should be stated honestly, and either closed or explicitly left as a conjecture.\n\nMinor: the Haldane section is purely numerical, which is fine. The phrase 'universal KZ scaling' is used loosely; the exponent is the standard one, and the prefactor is model-dependent.\n\nWho should read it: people working on dissipative quench dynamics, KZ physics in open systems, and experimentalists engineering loss on bipartite lattices. It deserves a peer review slot. My main revision request would be to sort out the proof of the ansatz or at least provide an error bound for Eq. (17).","headline":"A useful result on KZ scaling in dissipative quenches, with a real proof gap behind the word 'rigorous'.","tokens_in":25328,"tokens_out":3710,"would_cite":true,"duration_ms":39437,"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 shows that at the limit of loss difference, the residual fermion density obeys Kibble-Zurek scaling $N \\propto \\tau_Q^{-\\beta}$, immune to the anti-Kibble-Zurek behavior that saturates the standard excitation signal.","keywords":["Kibble-Zurek mechanism","anti-Kibble-Zurek behavior","Lindblad master equation","loss difference","dissipative quench dynamics","two-band fermionic systems","residual fermion density","open quantum systems"],"falsifier":"Solve the full Lindblad equations numerically for a finite Rice-Mele chain at $\\delta=\\gamma$ with the quench crossing the critical point, and check whether $N \\tau_Q^{1/2}$ saturates to a $\\gamma$-independent constant for large $\\tau_Q$; or directly compute the function $g(q,t_f)$ from Appendix C for parameters outside those of Fig. 5 and check whether it remains $e^{-\\pi\\tau_Q q^2}$, since any deviation breaks the derivation of Eqs. (30)-(33).","tokens_in":24311,"feed_emoji":"⚛️","tokens_out":11736,"duration_ms":91357,"temperature":0.7,"pith_summary":"The paper asks whether the Kibble-Zurek power law survives in an open two-band fermionic system that loses particles while its staggered on-site energy is ramped linearly. It finds that ordinary uniform loss exponentially suppresses the usual defect-density signal and adds an anti-Kibble-Zurek background. At the 'limit of loss difference', where one sublattice is dissipated and the other is not, the density of residual fermions obeys $N \\propto \\tau_Q^{-\\beta}$, recovering the universal Kibble-Zurek scaling even though the standard excitation signal has saturated. A quench that avoids the critical point instead produces a dissipation-dependent 'pseudo-Kibble-Zurek' scaling $N \\propto [(1/u_f - 1/u_i)\\gamma\\tau_Q]^{-\\beta}$. The authors show both behaviors in the Rice-Mele, Shockley, and Haldane models, and propose counting residual particles as an observable that is immune to anti-Kibble-Zurek contamination.","feed_headline":"At a loss-difference limit, Kibble-Zurek scaling survives","feed_subtitle":"Residual-particle counts escape anti-Kibble-Zurek saturation, making quench scaling observable under dissipation.","key_machinery":"The supporting object is the momentum-sector Liouvillian superoperator $\\mathcal{L}_q$ and its lowest spectral gap $\\Delta\\lambda = \\lambda_0 - \\lambda_{1,+}$. At the limit of loss difference this gap closes, and its dependence on the mode momentum is set by the instantaneous parameter $d_z(t)$: gapless at the critical point, $\\Delta\\lambda \\propto |\\Delta_q|^2/\\gamma$, and finite away from it, $\\Delta\\lambda \\propto \\gamma|\\Delta_q|^2/(4d_z^2)$. The calculation uses two approximations: the near-commutativity of Liouvillians at different times for $\\Delta_q \\sim 0$ (Eq. 16), and a conjectural ansatz for the loss-difference solution (Eq. C4a) in which the correction factor is $e^{-\\pi\\tau_Q q^2}(e^{\\bar u \\delta \\tau_Q}-1)$. The observable that carries the result is the residual fermion density $N = \\frac{1}{N}\\sum_q \\mathrm{Tr}[\\rho_q(c^\\dagger_{a,q}c_{a,q}+c^\\dagger_{b,q}c_{b,q})]$, which is free of the quantum-jump contribution responsible for anti-Kibble-Zurek behavior.","core_discovery":"The central claim is that the Liouvillian spectral gap closes at the limit of loss difference $|\\delta|=\\gamma$, and that the way it closes depends on whether the instantaneous Hamiltonian is at its critical point: $\\Delta\\lambda \\propto (4/\\gamma)|\\Delta_q|^2$ at criticality, versus $\\Delta\\lambda \\propto \\gamma |\\Delta_q|^2/(4 d_z^2)$ away from it. This dichotomy is the origin of two distinct power laws in the final residual-fermion density $N$: a true Kibble-Zurek law $N \\propto \\tau_Q^{-\\beta}$ for quenches that cross the critical point, where the criticality supplies the impulse stage, and a dissipation-controlled pseudo-Kibble-Zurek law $N \\propto [(1/u_f - 1/u_i)\\gamma\\tau_Q]^{-\\beta}$ for quenches that do not. Because $N$ counts the total fermion number and contains no contribution from the quantum-jump terms, it avoids the anti-Kibble-Zurek saturation that masks the standard excitation density, so the universal scaling can be observed by counting leftover particles.","pith_inferences":["If the conjectural ansatz (Eq. C4a) can be proven, the same technique would give exact finite-quench-time results for other observables, such as two-point correlation functions or entanglement measures, in driven open systems.","The contrast between KZ and pKZ suggests a practical diagnostic: measuring the dependence of the residual-particle scaling on $\\gamma$ reveals whether a quench crossed a critical point, since the true KZ exponent is $\\gamma$-independent while pKZ is not.","A testable extension is to ramp the dissipation strength itself rather than the on-site energy; the Liouvillian-gap analysis would then predict a scaling crossover as the system approaches the loss-difference limit.","In cold-atom or photonic-lattice setups with engineered loss difference, the predicted crossover from pKZ to KZ as $u_f$ crosses the critical point could be observed by time-resolved counting of remaining atoms."],"forward_implications":["For any two-band bipartite model, a quench crossing the critical point at the limit of loss difference should show $N \\propto \\tau_Q^{-\\beta}$ for long quench times, independent of the loss strength once $\\bar u \\gamma \\tau_Q \\gg 1$.","A quench staying on one side of the critical point should show $N \\propto [(1/u_f - 1/u_i)\\gamma \\tau_Q]^{-\\beta}$, so the apparent exponent can be tuned by changing the dissipation strength $\\gamma$.","The two scalings can be made to appear together or separately by choosing the start and end points relative to the critical modes, as demonstrated in the Shockley and Haldane models.","Counting residual fermions (or holes, under gain) provides an experimentally accessible signal that bypasses the $1/2$ saturation produced by anti-Kibble-Zurek behavior.","Dropping the quantum-jump terms reduces the Lindblad equation to an effective non-Hermitian Hamiltonian that reproduces Kibble-Zurek scaling qualitatively but misses the correct prefactor, so the full master equation is needed for quantitative predictions."],"supporting_citations":[{"why":"Kibble 1976: introduced the topological-defect scaling that the paper recovers.","marker":"[2]"},{"why":"Zurek 1985: formulated the Kibble-Zurek mechanism and the quench-time exponent.","marker":"[3]"},{"why":"Dziarmaga 2005: derived KZ scaling from the Landau-Zener problem for isolated systems, the baseline the dissipative result generalizes.","marker":"[5]"},{"why":"Griffin et al. 2012: reported the anti-Kibble-Zurek behavior in ferroelectrics that the paper must overcome.","marker":"[21]"},{"why":"Dutta et al. 2016: showed a linear weak-dissipation AKZ behavior whose origin the paper attributes to quantum jumps.","marker":"[22]"},{"why":"Iwamura and Suzuki 2024: provided the Liouvillian eigenvalue spectrum for the dissipative two-level system used in Eqs. (12)-(15).","marker":"[37]"},{"why":"Kholodenko and Silagadze 2012: gave the asymptotic Fresnel-integral solution used for the isolated and uniform-loss dynamics.","marker":"[49]"},{"why":"Kenmoe et al. 2013: supplied the iterative solution technique used in Appendix A and C.","marker":"[50]"},{"why":"Ren et al. 2022: demonstrated loss difference between two spin states in cold atoms, grounding the experimental setup.","marker":"[43]"},{"why":"Feng et al. 2023: realized loss difference on a honeycomb photonic lattice, grounding the LLD configuration.","marker":"[44]"}],"fun_headline_variants":["KZ scaling immune to anti-KZ at loss-difference limit","Residual particles reveal quench scaling despite anti-KZ","Loss-difference limit preserves Kibble-Zurek law","Counting leftovers exposes universal Kibble-Zurek scaling","Driven open systems: KZ law survives anti-KZ"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the unproven conjectural ansatz for the loss-difference solution (Eq. C4a), that the correction factor factorizes as $e^{-\\pi\\tau_Q q^2}(e^{\\bar u \\delta \\tau_Q}-1)$, together with the approximation that Liouvillians at different times nearly commute for small $\\Delta_q$; if either fails outside the tested parameter range, the derived scaling laws do not follow.","fun_headline_variants_meta":{"raw":{"variants":["KZ scaling immune to anti-KZ at loss-difference limit","Residual particles reveal quench scaling despite anti-KZ","Loss-difference limit preserves Kibble-Zurek law","Counting leftovers exposes universal Kibble-Zurek scaling","Driven open systems: KZ law survives anti-KZ"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000288,"raw_usage":{"total_tokens":1732,"prompt_tokens":1029,"completion_tokens":703,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":645,"completion_tokens_details":{"reasoning_tokens":620}},"tokens_in":645,"tokens_out":703,"duration_ms":6884,"temperature":1.0,"reasoning_tokens":620,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T13:09:13.693928+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the full Lindblad equations numerically for a finite Rice-Mele chain at $\\delta=\\gamma$ with the quench crossing the critical point, and check whether $N \\tau_Q^{1/2}$ saturates to a $\\gamma$-independent constant for large $\\tau_Q$; or directly compute the function $g(q,t_f)$ from Appendix C for parameters outside those of Fig. 5 and check whether it remains $e^{-\\pi\\tau_Q q^2}$, since any deviation breaks the derivation of Eqs. (30)-(33).","supporting_citations":[{"cited_title":"(4), can be reduced to the two- level system with different modes, Hq = ∆qσ+ + ∆∗ qσ− + dz qσz","cited_arxiv_id":null,"evidence_quote":"Kibble 1976: introduced the topological-defect scaling that the paper recovers."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Zurek 1985: formulated the Kibble-Zurek mechanism and the quench-time exponent."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Dziarmaga 2005: derived KZ scaling from the Landau-Zener problem for isolated systems, the baseline the dissipative result generalizes."},{"cited_title":"Bandyopadhyay and A","cited_arxiv_id":null,"evidence_quote":"Griffin et al. 2012: reported the anti-Kibble-Zurek behavior in ferroelectrics that the paper must overcome."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Dutta et al. 2016: showed a linear weak-dissipation AKZ behavior whose origin the paper attributes to quantum jumps."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Iwamura and Suzuki 2024: provided the Liouvillian eigenvalue spectrum for the dissipative two-level system used in Eqs. (12)-(15)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Kenmoe et al. 2013: supplied the iterative solution technique used in Appendix A and C."},{"cited_title":"Iwamura and T","cited_arxiv_id":null,"evidence_quote":"Ren et al. 2022: demonstrated loss difference between two spin states in cold atoms, grounding the experimental setup."}],"review_version":1}