{"id":"07315ece-e778-4ffc-b168-225a8acffe54","arxiv_id":"2505.13200","paper_version":5,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A generalized dynamical activity yields a new quantum kinetic uncertainty relation (QKUR) that bounds current precision at arbitrary coupling strength.","lead":"This paper introduces a new way to count 'activity' in quantum devices where the device and its leads are strongly coupled, and proves a new bound on how precisely electric current can be known. The result gives a general precision limit for tiny coherent conductors that holds where previous kinetic uncertainty relations fail.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"QKUR proof only covers single-channel local lead couplings: Eq. (EM10) requires sum_{β≠α} T_{αβ}≤1, which is guaranteed only under [Γ_α]_ij=δ_ij δ_{iα} Γ_α (SM Sec. IV); the general nonlocal/multi-channel case is not proven.","rationale":"The reader's weakest-assumption analysis identifies exactly the same load-bearing point: the QKUR proof requires the scattering matrix to be unitary with each lead coupled to a single dot site, and this condition is used to assert ∑_{β≠α} T_{αβ}(ε) ≤ 1 in the Cauchy-Schwarz step of Eq. (EM10). I find no deeper internal inconsistency: within the class of local, single-channel couplings, the derivation of Eq. (14) is sound apart from the trivial absolute-value typo on I_α, and the weak-coupling recovery of the jump-rate activity is convincingly shown via the Kramers-Kronig identity. The generalized activity definition and the QKUR bound are therefore a solid advance for the advertised single-channel local-coupling geometries. The concern is about generality: the paper's phrasing 'valid at arbitrary system-reservoir coupling' is stronger than what the proof establishes, because nonlocal or multi-channel couplings violate the scalar Fisher-Lee condition and the ∑ T ≤ 1 inequality. The numerical examples do not probe this regime, so the conditional verdict is appropriate. A multi-channel QPC or nonlocal DQD check would settle whether the missing proof is a false generalization or merely a technical gap.","tokens_in":20895,"tokens_out":30545,"duration_ms":305634,"concrete_test":"Consider a two-terminal multi-channel QPC with two independent channels, transmission eigenvalues τ1=τ2=0.8, so the total T=τ1+τ2=1.6>1 and the assumption ∑_{β≠α} T_{αβ}≤1 fails. At finite temperature and bias (e.g., k_B T = Γ and Δμ = 10 k_B T), compute the exact current I = (1/ℏ)∫ T(f_L−f_R)dε/2π, the noise S = (1/ℏ)∫ [T(F_LR+F_RL) − (τ1^2+τ2^2)(f_L−f_R)^2]dε/2π, and the paper's quantities A^cross = (1/ℏ)∫ T(F_LR+F_RL)dε/2π and A^sh = (1/ℏ)∫ T(f_L−f_R)^2dε/2π. Test whether I^2/S ≤ (A^cross)^2/(A^cross−A^sh). If the inequality is violated, the QKUR is not valid for multi-channel conductors and the local-coupling condition is essential; if it holds, the concern is reduced to a proof gap that may be fillable by a channel-resolved argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The QKUR proof in the End Matter hinges on the inequality S^qu_{αα} ≤ A^sh_α, derived in Eq. (EM10) by applying Cauchy-Schwarz together with the pointwise bound ∑_{β≠α} T_{αβ}(ε) ≤ 1. In the text this is justified by unitarity, ∑_{β≠α} T_{αβ} = 1 − R_{αα} ≤ 1. However, the scalar transmission and reflection probabilities used in Eqs. (10)–(13) come from the Fisher-Lee relation s_{αβ} = δ_{αβ} − i√(Γ_α Γ_β) G^r_{αβ}, which SM Sec. IV states holds only under the local-coupling condition [Γ_α]_ij = δ_ij δ_{iα} Γ_α, i.e., each terminal couples to a single quantum dot site. For a lead coupled nonlocally to several system sites, or for a lead with more than one conducting channel, Γ_α is a matrix of rank greater than one, the scalar Fisher-Lee form does not apply, and T_{αβ}(ε) = Tr[Γ_α G^r Γ_β G^a] can exceed 1. The proof's key step S^qu_{αα} ≤ A^sh_α is then not established by the argument given. The main text presents Eq. (14) as a general quantum KUR 'valid at arbitrary coupling', and the numerical examples (SQD, series DQD, single-channel QPC) all satisfy the local single-channel condition, so they do not test the general case. This is the main load-bearing gap between the claim and the proof; the missing absolute value on I_α in Eq. (EM8) is a secondary, easily corrected issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces a generalized dynamical activity \\(A_\\alpha(t)\\) defined through symmetrized fluctuations of the system-reservoir tunneling Hamiltonian (Eq. (1)), derives its steady-state Green's-function expression Eq. (2), and shows that in the weak-coupling limit it reduces to the standard master-equation jump activity for quadratic multi-dot systems. The central result is the Quantum KUR, Eq. (14): \\(I_\\alpha^2/S_{\\alpha\\alpha} \\le (A^{cross}_\\alpha)^2/(A^{cross}_\\alpha - A^{sh}_\\alpha)\\), with \\(A^{cross}\\) and \\(A^{sh}\\) defined from the generalized activity. The proof in the End Matter bounds the current by \\(A^{cross}\\), splits the noise into \\(S^{cl}\\) and \\(S^{qu}\\), and uses Cauchy-Schwarz together with \\(\\sum_{\\beta\\ne\\alpha}T_{\\alpha\\beta}\\le1\\) to show \\(S^{qu}\\le A^{sh}\\). The relation is tested on a single quantum dot, a double quantum dot, and a quantum point contact; the numerical examples show that the standard KUR can be violated at strong coupling while the QKUR remains valid and becomes tight far from equilibrium.","tokens_in":1521,"tokens_out":1847,"duration_ms":90547,"significance":"Assuming the proof can be made to match the advertised scope, the QKUR would be a valuable step: it is a parameter-free, analytically derived activity bound for coherent mesoscopic transport, complementing the QTUR program. The weak-coupling consistency check is nontrivial, and the specific predictions, such as the breakdown of the standard KUR in a strongly coupled single quantum dot and the saturation of the QKUR at large voltage bias in a quantum point contact, are falsifiable and quantitative. The paper also usefully decomposes the generalized activity into thermal, shot, auto, and cross contributions. The main caveat is that the proof as written applies to local single-channel couplings, a narrower class than the \"arbitrary coupling\" advertised in the abstract and main text.","major_comments":[{"comment":"The key inequality \\(S^{qu}_{\\alpha\\alpha}\\le A^{sh}_\\alpha\\) is obtained by applying Cauchy-Schwarz and using \\(\\sum_{\\beta\\ne\\alpha}T_{\\alpha\\beta}(\\epsilon)\\le1\\). This sum rule is derived from unitarity as \\(1-R_{\\alpha\\alpha}\\le1\\), but the scalar transmission and reflection probabilities come from the Fisher-Lee relation (SM39), which Supplemental Material Sec. IV states holds only under the local-coupling condition \\([\\Gamma_\\alpha]_{ij}=\\delta_{ij}\\delta_{i\\alpha}\\Gamma_\\alpha\\). For a lead coupled to several system sites, or for a multi-channel lead, \\(\\Gamma_\\alpha\\) has rank greater than one, the scalar Fisher-Lee form does not apply, and \\(\\sum_{\\beta\\ne\\alpha}\\operatorname{Tr}[T_{\\alpha\\beta}]\\) can exceed 1. The proof therefore does not establish Eq. (14) in the generality stated in the main text, and all numerical examples satisfy the local single-channel condition. Please either provide a proof for the general multichannel/nonlocal case or explicitly restrict the statement of the QKUR to the local single-channel setting.","section":"End Matter, Eq. (EM10); Supplemental Material Sec. IV"},{"comment":"The bound is stated as \\(I_\\alpha \\le A^{cross}_\\alpha\\), but the signal-to-noise ratio uses \\(I_\\alpha^2\\). For a current that is negative in the chosen convention, this inequality is trivial and the subsequent conclusion \\(I_\\alpha^2\\le(A^{cross}_\\alpha)^2\\) does not follow. The proof should be applied to \\(|I_\\alpha|\\), using \\(|f_\\alpha-f_\\beta|\\le F_{\\alpha\\beta}+F_{\\beta\\alpha}\\), and the absolute value should be carried through Eq. (EM11).","section":"End Matter, Eq. (EM8)"}],"minor_comments":[{"comment":"The notation \\(\\operatorname{Tr}[4T_{\\alpha\\alpha}(\\epsilon)-(\\sum_\\beta T_{\\alpha\\beta}(\\epsilon))^2]\\) is ambiguous; the square should act inside the trace on the matrix sum, i.e. the expression should read \\(\\operatorname{Tr}[4T_{\\alpha\\alpha}(\\epsilon)]-\\operatorname{Tr}[(\\sum_\\beta T_{\\alpha\\beta}(\\epsilon))^2]\\) or an equivalent unambiguous form.","section":"Eq. (2)"},{"comment":"The quantity \\(\\xi_{\\rm KUR}\\) used in the lower panel of Fig. 1 is not defined explicitly; the authors should state in the caption or text that it is the standard activity-based bound \\(A_{\\alpha}^{ss}\\) (or its master-equation counterpart in the weak-coupling regime) so that the claimed violation is unambiguous.","section":"Fig. 1 caption and main text"},{"comment":"The Kramers-Kronig identity (EM7) is applied to the local retarded Green's function \\(G^r_{\\alpha\\alpha}\\); this should be stated before the identity is used, since the preceding manipulations rely on the local projector structure \\(\\Gamma_\\alpha=\\Gamma_\\alpha\\Pi_\\alpha\\).","section":"End Matter, Eq. (EM7)"},{"comment":"The symbol \\(T_{\\alpha\\beta}(\\epsilon)\\) is used both for the matrix \\(\\Gamma_\\alpha G^r\\Gamma_\\beta G^a\\) and for its trace; please introduce separate notation for the trace, for example \\(\\mathcal{T}_{\\alpha\\beta}=\\operatorname{Tr}[T_{\\alpha\\beta}]\\), consistently in the main text and Supplement.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is interesting and the central analytic machinery is sound within the local single-channel setting. My main concern is that the abstract and title claim generality (\"arbitrary system-reservoir coupling\", \"any coupling strength\") that the proof does not support; the Fisher-Lee condition in SM Sec. IV is a strong restriction. I would ask the authors to either prove the general case or explicitly reframe the claim. The missing absolute value in Eq. (EM8) is easy to fix. If the scope is restricted, the paper is still a solid contribution, but it should not be published with the current overbroad claims."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague — the paper does something real. It defines a generalized dynamical activity from the symmetrized fluctuations of the reservoir-system coupling, works out the steady-state expression in the Green's function/Landauer picture, and proves it reduces to the standard master-equation jump activity for any quadratic N-dot system in the weak-coupling limit. That reduction is a genuine technical result, not a side remark. Building on it, the authors derive the QKUR, Eq. (14), which bounds the SNR of any current by a ratio of two activity components. The bound is new as far as I can tell, and it gives a simple way to see why the standard KUR fails at strong coupling and what replaces it. The numerics for the single dot and QPC are clean and show the bound is tight far from equilibrium.\n\nThe soft spot is in the proof of the QKUR, and it is load-bearing. The key step in Eq. (EM10) uses ∑_{β≠α} T_{αβ}(ε) ≤ 1, justified by unitarity of the scattering matrix. That is true for a single-channel lead with local coupling, which is exactly the case where the scalar Fisher-Lee relation holds. For a multi-channel lead or a lead coupled to more than one site, the total transmission from all other leads into lead α can exceed one, and the inequality doesn't follow. The paper presents Eq. (14) as valid at arbitrary coupling, but the proof and every numerical example sit in the local single-channel regime. So the general claim is not established. That is the main issue. There is also a small presentational bug: the current bound in Eq. (EM8) should be on |I_α|, since I_α can be negative; the final bound is fine once that's corrected.\n\nI would not call this a fatal flaw. The restricted version is still useful, because many mesoscopic experiments use single-channel leads or can be modeled that way, and the weak-coupling reduction to ME activity is a solid contribution. But the authors should either prove the multi-channel case or clearly restrict the claim. As it stands, the paper is a good candidate for a serious referee, with the expectation that the scope gets pinned down and the proof tightened. I would send it to review.","headline":"A promising new activity-based precision bound for coherent conductors, but the proof only covers single-channel local couplings; the paper should either restrict its claims or fix the gap.","tokens_in":21850,"tokens_out":4785,"would_cite":true,"duration_ms":45147,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Generalizing dynamical activity to strong coupling, this paper shows that standard kinetic uncertainty relations fail in coherent conductors and proves a quantum kinetic uncertainty relation, QKUR, that bounds current signal-to-noise at…","keywords":["kinetic uncertainty relations","dynamical activity","strong coupling","quantum transport","mesoscopic conductors","signal-to-noise ratio","quantum point contact","quantum dots"],"falsifier":"Take a two-terminal double quantum dot whose left lead couples to both dot sites (non-diagonal $\\Gamma_L$), drive it at strong coupling and high bias, and evaluate $I_L^2/S_{LL}$ against $(A^{\\mathrm{cross}}_L)^2/(A^{\\mathrm{cross}}_L - A^{\\mathrm{sh}}_L)$; a single parameter point where the ratio exceeds the bound would refute the QKUR as stated, since the proof's unitarity condition fails there.","tokens_in":20707,"feed_emoji":"⚛️","tokens_out":13094,"duration_ms":114639,"temperature":0.7,"pith_summary":"This paper asks whether kinetic uncertainty relations—bounds on how precisely a current can be measured relative to its own fluctuations—survive when a quantum conductor is coupled strongly to its reservoirs. The authors define a generalized dynamical activity from the symmetrized fluctuations of the tunneling Hamiltonian, valid at any coupling, and show that the standard activity-based bound fails once the coupling $\\Gamma$ is comparable to the thermal scale $k_B T$. They then prove a new inequality, the Quantum KUR, $I_\\alpha^2/S_{\\alpha\\alpha} \\leq (A^{\\mathrm{cross}}_\\alpha)^2/(A^{\\mathrm{cross}}_\\alpha - A^{\\mathrm{sh}}_\\alpha)$, which holds across all coupling strengths in the coherent conductors they analyze. If true, this gives a universal precision bound for quantum-coherent transport that reduces to earlier results at weak coupling and becomes tight far from equilibrium.","feed_headline":"Quantum KUR restores current-precision bound at strong coupling","feed_subtitle":"Generalized activity bounds current signal-to-noise where the standard kinetic uncertainty relation fails","key_machinery":"The load-bearing object is the generalized dynamical activity $A_\\alpha(t) = \\frac{1}{2\\hbar^2}\\int_{-t}^{t} d\\tau\\, \\langle\\langle \\{\\hat{V}_\\alpha(t), \\hat{V}_\\alpha(t+\\tau)\\} \\rangle\\rangle$, a symmetrized two-time fluctuation of the tunneling operator between reservoir $\\alpha$ and the system, evaluated in the stationary regime through non-equilibrium Green's functions. Its steady-state form splits into a cross part $A^{\\mathrm{cross}}_\\alpha$ and a shot part $A^{\\mathrm{sh}}_\\alpha$; the QKUR proof bounds the current by $A^{\\mathrm{cross}}_\\alpha$, decomposes the noise as $S_{\\alpha\\alpha} = S^{\\mathrm{cl}}_{\\alpha\\alpha} - S^{\\mathrm{qu}}_{\\alpha\\alpha}$, and controls the quantum part by the shot activity through a Cauchy–Schwarz step that uses the unitarity condition $\\sum_{\\beta\\neq\\alpha} T_{\\alpha\\beta}(\\epsilon) \\leq 1$.","core_discovery":"The paper's central claim is that a properly generalized dynamical activity—defined as the zero-frequency integrated autocorrelation of the anticommutator of the system–reservoir tunneling operator—extends kinetic uncertainty relations to arbitrary system–reservoir coupling. Starting from this definition, the steady-state activity is expressed through transmission matrices $T_{\\alpha\\beta}(\\epsilon) = \\Gamma_\\alpha(\\epsilon) G^r(\\epsilon) \\Gamma_\\beta(\\epsilon) G^a(\\epsilon)$, and shown to reduce to the standard master-equation jump rate for any quadratic $N$-dot Hamiltonian in the weak-coupling limit. The paper proves that the traditional bound $I_\\alpha^2/S_{\\alpha\\alpha} \\leq A_\\alpha$ breaks down at strong coupling, and in its place derives the Quantum KUR $I_\\alpha^2/S_{\\alpha\\alpha} \\leq (A^{\\mathrm{cross}}_\\alpha)^2/(A^{\\mathrm{cross}}_\\alpha - A^{\\mathrm{sh}}_\\alpha)$. The bound is demonstrated in single- and double-quantum dots and a quantum point contact, where it remains valid for all coupling strengths and becomes tight in the far-from-equilibrium, large-voltage-bias limit.","pith_inferences":["The proof's unitarity condition suggests a testable dividing line: systems with delocalized lead coupling or strong dephasing may evade the bound, and mapping where it breaks would delimit the role of coherence in kinetic uncertainty relations.","Because the activity is defined at the operator level, the same construction may produce heat- and energy-current QKURs—the paper lists such extensions as future work—and the ratio-symmetric structure of the bound is a natural template for them.","In an experiment, $A^{\\mathrm{cross}}_\\alpha$ and $A^{\\mathrm{sh}}_\\alpha$ can in principle be extracted from the voltage and temperature dependence of the current noise, so the QKUR is testable without direct access to tunneling-operator fluctuations."],"forward_implications":["Standard kinetic uncertainty relations, $I_\\alpha^2/S_{\\alpha\\alpha} \\leq A_\\alpha$, are not universal: they fail for a single quantum dot once the coupling $\\Gamma$ is of order $k_B T$ or larger.","The QKUR bound $I_\\alpha^2/S_{\\alpha\\alpha} \\leq (A^{\\mathrm{cross}}_\\alpha)^2/(A^{\\mathrm{cross}}_\\alpha - A^{\\mathrm{sh}}_\\alpha)$ holds at every coupling strength in the single- and double-quantum-dot and quantum-point-contact conductors analyzed.","In the weak-coupling limit the generalized activity coincides with the master-equation jump activity, so the QKUR reproduces previously known kinetic bounds there rather than replacing them.","At large voltage bias the QKUR becomes tight, with $\\mathrm{SNR}/\\xi_{\\mathrm{QKUR}} \\to 1$, making it the relevant precision bound for far-from-equilibrium coherent transport.","The shot contribution $A^{\\mathrm{sh}}_\\alpha$ in the denominator is essential: dropping it, as earlier near-equilibrium bounds do, makes the bound fail out of equilibrium."],"supporting_citations":[{"why":"It supplies the exact correlation-function framework and the weak-coupling protocol used to define the generalized activity and benchmark it against the master equation.","marker":"[41]"},{"why":"It provides the Dyson-equation relations for non-equilibrium Green's functions used to reduce the steady-state activity to transmission matrices.","marker":"[58]"},{"why":"They give the connection between the Green's function and the scattering matrix used to express the activity in reflection and transmission probabilities.","marker":"[64–66]"},{"why":"It is the earlier near-equilibrium kinetic bound for quantum transport that the QKUR generalizes and corrects by including the shot contribution.","marker":"[67]"},{"why":"It supplies the quantum thermodynamic uncertainty bound used as a comparison in the quantum-point-contact analysis.","marker":"[40]"},{"why":"It supplies the thermal/shot and classical/quantum noise decompositions that the QKUR proof relies on.","marker":"[63]"},{"why":"It provides the combined kinetic-thermodynamic uncertainty relations and the noise structure that the QKUR extends to arbitrary coupling.","marker":"[54]"},{"why":"It states the local single-site coupling condition under which the scattering-matrix representation, and hence the proof's unitarity step, holds.","marker":"[69]"}],"fun_headline_variants":["Quantum KUR restores current-precision bound at strong coupling","Generalized activity yields quantum KUR for mesoscopic conductors","Strong-coupling current noise bounded by new quantum KUR","Quantum kinetic uncertainty relation proven for arbitrary coupling","Standard KUR fails; quantum KUR holds at strong coupling"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof requires each reservoir to be coupled to exactly one site of the conductor through a single local channel, so the scattering matrix is unitary and the sum of transmission probabilities into all other reservoirs never exceeds one; if couplings are non-local or dephasing is introduced, the bound's controlling step is no longer established.","fun_headline_variants_meta":{"raw":{"variants":["Quantum KUR restores current-precision bound at strong coupling","Generalized activity yields quantum KUR for mesoscopic conductors","Strong-coupling current noise bounded by new quantum KUR","Quantum kinetic uncertainty relation proven for arbitrary coupling","Standard KUR fails; quantum KUR holds at strong coupling"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000779,"raw_usage":{"total_tokens":3474,"prompt_tokens":1004,"completion_tokens":2470,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":620,"completion_tokens_details":{"reasoning_tokens":2390}},"tokens_in":620,"tokens_out":2470,"duration_ms":17861,"temperature":1.0,"reasoning_tokens":2390,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:18:20.876500+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a two-terminal double quantum dot whose left lead couples to both dot sites (non-diagonal $\\Gamma_L$), drive it at strong coupling and high bias, and evaluate $I_L^2/S_{LL}$ against $(A^{\\mathrm{cross}}_L)^2/(A^{\\mathrm{cross}}_L - A^{\\mathrm{sh}}_L)$; a single parameter point where the ratio exceeds the bound would refute the QKUR as stated, since the proof's unitarity condition fails there.","supporting_citations":[{"cited_title":"Blasi, S","cited_arxiv_id":null,"evidence_quote":"It supplies the exact correlation-function framework and the weak-coupling protocol used to define the generalized activity and benchmark it against the master equation."},{"cited_title":"Meir and N","cited_arxiv_id":null,"evidence_quote":"It provides the Dyson-equation relations for non-equilibrium Green's functions used to reduce the steady-state activity to transmission matrices."},{"cited_title":"Palmqvist, L","cited_arxiv_id":null,"evidence_quote":"It is the earlier near-equilibrium kinetic bound for quantum transport that the QKUR generalizes and corrects by including the shot contribution."},{"cited_title":"Brandner and K","cited_arxiv_id":null,"evidence_quote":"It supplies the quantum thermodynamic uncertainty bound used as a comparison in the quantum-point-contact analysis."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the thermal/shot and classical/quantum noise decompositions that the QKUR proof relies on."},{"cited_title":"Palmqvist, L","cited_arxiv_id":null,"evidence_quote":"It provides the combined kinetic-thermodynamic uncertainty relations and the noise structure that the QKUR extends to arbitrary coupling."},{"cited_title":"Boumrar, M","cited_arxiv_id":null,"evidence_quote":"It states the local single-site coupling condition under which the scattering-matrix representation, and hence the proof's unitarity step, holds."}],"review_version":1}