{"id":"0cbf7507-bb4c-4983-a312-518680965336","arxiv_id":"2509.07583","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Out-of-equilibrium zero-frequency charge noise in periodically driven multi-terminal conductors is bounded by a weighted sum of Floquet-band currents, with an often tighter alternative bound based on effective electron distributions.","lead":"The paper proves that current fluctuations in a quantum conductor driven by time-dependent signals, with static voltage and temperature biases, obey a new upper bound expressed in terms of the conductor's Floquet current components. The result supplies a practical constraint for designing low-noise nanoscale heat engines and electron sources.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's weakest assumption was the hottest-contact restriction. I agree that this is the main limitation of the theorem, but it is explicitly stated in the manuscript and the central claim is conditional on it. The derivation was checked for internal consistency: the Cauchy-Schwarz step in Appendix C has the correct direction when interpreted as a projection lower bound, the S^(4,1) simplification follows from unitarity, and the crossing-energy replacement in Eq. (14) is valid only under T_alpha > T_beta, exactly as the authors state. The large-temperature power limit in Sec. III B is an advertised interpretation but is not necessary for the validity of the main fluctuation-dissipation bound. The examples are analytic and consistent with the bound, including the regions where the static FDB is violated. I find no algebraic or logical error that would invalidate the central claim, and no need to change the reader's ACCEPT verdict. The concrete test is nevertheless worth running to confirm that the hottest-contact restriction is truly necessary in a nontrivial multi-terminal case rather than merely a proof artifact.","tokens_in":20356,"tokens_out":45606,"duration_ms":540256,"concrete_test":"For a three-terminal conductor with temperatures T_L=2T, T_M=T, T_R=3T, compute the exact S_MM - 2k_B T_M sum_{beta neq M} G_Mbeta and the right-hand side of Eq. (15) from Eq. (10) for a generic unitary Floquet scattering matrix. Check whether the inequality can be violated when M is not the hottest contact; then repeat with M as the hottest contact and verify the inequality holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is explicitly conditional on the noise being measured in the strictly hottest contact (T_alpha > T_beta for all beta), and the derivation of Eq. (15) from Eq. (13) is internally consistent within that scope. The crossing-energy replacement uses monotonicity of 1-2f_alpha(E) and the single crossing of f_beta(E_k) with f_alpha(E); the Cauchy-Schwarz step in Appendix C is a projection-type lower bound on the positive quadratic form, and the reduction of S^(4,1) follows from Floquet unitarity. I checked the sign structure of the replacement for both sides of each crossing and found no gap. The large-temperature power interpretation in Eq. (21) is a secondary consequence, not required for the main t-FDB. The only real limitation is the stated hottest-contact restriction: for a colder or intermediate measurement contact, the sign pattern of f_beta(E_k)-f_alpha(E) changes and the proof of Eq. (15) does not go through. This is acknowledged in the text, so it is a scope limitation rather than an internal inconsistency.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper derives upper bounds on the zero-frequency charge-current noise of multi-terminal, multi-channel coherent conductors subject to arbitrary periodic time-dependent driving and to static voltage and temperature biases. The central result is Eq. (15), the time-dependent fluctuation-dissipation bound (t-FDB), which bounds the excess noise S_alpha-alpha - 2 k_B T_alpha sum_{beta neq alpha} G_alpha_beta by a weighted sum of Floquet-resolved current components I_alpha_beta,k, under the condition that the noise is measured in the hottest contact. In the large-temperature-bias limit the bound is recast in terms of dissipated powers due to static bias and driving, Eq. (21). A complementary 'intersection bound', Eq. (23), based on crossings between effective driven distributions and the hot reference distribution, is also derived and is often tighter. The bounds are illustrated on a two-terminal ac-biased conductor for cosine, Lorentzian, and square drives, with constant and energy-filtered transmissions.","tokens_in":20486,"tokens_out":32418,"duration_ms":338025,"significance":"If the proof is corrected, this is a substantial extension of the static fluctuation-dissipation bound of Ref. [34] to arbitrary time-dependent driving, with no weak-coupling or close-to-equilibrium assumptions. The large-temperature-bias power interpretation and the explicit two-terminal examples with different driving shapes and energy filters make the results concrete and experimentally relevant. The derivation is self-contained and parameter-free, and the paper gives a clear physical picture of when the static FDB fails under driving. The main caveats are the proof error in Appendix C identified below and the explicitly stated but easily overlooked restriction to measurement in the hottest contact.","major_comments":[{"comment":"As printed, the Cauchy-Schwarz step has the channel number N_alpha in the numerator instead of the denominator. The correct projection bound is S^(4,2)_alpha_alpha <= -(q^2/(h N_alpha)) integral dE |Tr{tilde t_alpha_beta(E,E_k) tilde t^dagger_alpha_beta(E,E_k)} f_beta(E_k)|^2, with implicit sums over beta,k. A concrete static counterexample to the printed inequality is a two-terminal, two-channel conductor with P_L = diag(1,0), P_R = diag(0,1), f_L = 0.5, f_R = 0.9 at the relevant energy. Then S^(4,2)_LL = -(q^2/h)(0.25+0.81) = -1.06 q^2/h, while the printed right-hand side is -(q^2/h) N_L (0.5+0.9)^2 = -3.92 q^2/h, so the inequality fails. Replacing N_alpha by 1/N_alpha gives -0.98 q^2/h, which is consistent with the Cauchy-Schwarz lower bound. This error appears again in the quadratic term of Eq. (C3). Because that term is dropped in the subsequent step, the final bound (13) survives t","section":"Appendix C, Eqs. (C2) and (C3)"}],"minor_comments":[{"comment":"The t-FDB (15) is derived only when the measurement contact alpha is the hottest one, T_alpha > T_beta for all beta neq alpha. This condition is stated in Sec. II B and used in Sec. III A, but the abstract and conclusions present the result without it. Please add the qualifier prominently, since the bound is not proven for colder or intermediate measurement contacts.","section":"Abstract and Sec. V"},{"comment":"Minor typos: 'how the the power and current fluctuations' in the Introduction and 'afluctuation-dissipation bound' in the abstract.","section":"Sec. I and Abstract"},{"comment":"The derivation of the intersection bound (23) is quite compressed. A short appendix showing the interval-wise replacement of 1-2f_alpha(E) by its value at the crossing points would improve verifiability, especially since the number and ordering of crossings is central to the statement.","section":"Sec. III C"}],"recommendation":"major_revision","confidential_remarks":"The paper is promising and the main physical result (15) appears correct after a localized correction to Appendix C. The static counterexample is simple enough that the authors should be able to fix the N_alpha factor quickly. I have no reason to doubt the final inequality, but the printed proof should not be published as is. The hottest-contact restriction should also be made explicit in the abstract and conclusions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a solid extension of the authors' static fluctuation-dissipation bound to arbitrary periodic driving, and the central inequality (Eq. 15) holds up. The derivation is self-contained: it starts from the noise definition, uses a Cauchy-Schwarz step on the quartic term, and then exploits the monotonicity of 1-2f_alpha(E) across the Floquet-band crossing energies. I checked the sign structure of the replacement argument for both sides of each crossing and found no gap. The stress-test note agrees.\n\nWhat is genuinely new: the t-FDB for time-dependent driving, the alternative intersection bound based on effective distribution crossings, and the power interpretation in the large-temperature-bias limit. The intersection bound is often tighter than the t-FDB, though the paper honestly shows that this hierarchy can reverse with energy-dependent transmission. The worked two-terminal examples are helpful and analytically reproducible.\n\nThe main soft spot is the scope restriction: the bound is proven only when the noise is measured in the strictly hottest contact. For colder or intermediate measurement contacts, the sign pattern of f_beta(E_k) - f_alpha(E) changes and the proof does not go through. This is stated explicitly in the text, so it is a scope limitation rather than an internal inconsistency, but it does limit the regime where the bound can be applied directly. The intersection bound is also less physically transparent and requires case-by-case evaluation of crossing points, which the authors acknowledge.\n\nThe algebra in the appendices is not machine-checked, but I found no logical gaps, and the reduction to the static FDB in the undriven limit is a consistency check, not a circular input. The self-citation to Ref. [34] is appropriate; this is a direct extension rather than a re-derivation. There is no code or data, but the examples are analytic.\n\nOverall, this is a credible and useful contribution for people working on noise bounds in quantum transport, especially for periodically driven heat engines and ac-driven conductors with temperature gradients. It deserves a serious referee. I would send it to peer review, and I would cite it if I worked on noise bounds in driven coherent conductors. The main thing I would ask the authors to clarify is how restrictive the hottest-contact condition is in practice, and whether the bound can be extended to arbitrary measurement contacts with a modified prefactor.","headline":"A solid, clearly scoped extension of the static FDB to Floquet-driven conductors; the main bound is correct within its stated hottest-contact restriction.","tokens_in":684,"tokens_out":799,"would_cite":true,"duration_ms":25611,"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":"A periodic drive cannot push the zero-frequency current noise in the hottest contact beyond a weighted sum of Floquet-band currents; in the large-temperature-bias limit that weighted sum is the dissipated power.","keywords":["fluctuation-dissipation bound","Floquet scattering theory","shot noise","time-dependent driving","quantum transport","thermoelectric noise","ac-driven conductor","nonthermal distribution"],"falsifier":"Take the two-terminal ac-driven setup of Sec. IV but reverse the temperature ordering so the noise is measured in the colder contact, then evaluate both sides of Eq. (15) from the Floquet scattering matrix over a range of driving amplitudes, bias voltages, and transmission functions. A single parameter set in which S_αα - 2k_B T_α Σ_{β≠α} G_αβ exceeds q Σ_{β,k} (1 - 2f_α(ε_βk)) I_αβ,k would show that the hot-contact assumption is load-bearing. For the hot-contact case, a violation for any unitary scattering matrix would disprove the claim.","tokens_in":20184,"feed_emoji":"⚡","tokens_out":5455,"duration_ms":61762,"temperature":0.7,"pith_summary":"The paper extends a fluctuation-dissipation bound for stationary nonequilibrium conductors to conductors subject to arbitrary periodic time-dependent driving on top of static voltage and temperature biases. It proves that the zero-frequency charge-current noise measured in the hottest contact, after subtracting the equilibrium-like thermal noise, is bounded from above by a weighted sum of currents carried by the individual Floquet sidebands created by the drive. In the limit of a large temperature bias, this upper bound becomes a sum of the power dissipated by the static bias and by the driving, divided by the temperature difference. The paper also constructs a second, usually tighter bound based on crossings between the hot contact's Fermi function and the effective nonthermal distribution produced by the drive, and it illustrates both bounds on a two-terminal conductor driven by an ac bias voltage.","feed_headline":"Noise in driven conductors capped by weighted Floquet currents","feed_subtitle":"The bound ties excess noise to power dissipated by bias and periodic drive, covering arbitrary drive strength.","key_machinery":"The Floquet scattering matrix, which assigns to each incoming energy from one contact the amplitude for an excitation to leave another contact after exchanging an integer number of drive quanta, is the object through which all currents, conductances, and noise are expressed. The load-bearing step is the crossing-energy argument: for T_α > T_β, the difference f_β(E_k) - f_α(E) changes sign at a unique energy ε_βk, and because 1 - 2f_α(E) is monotone in energy, that factor can be pulled out of the energy integral with the correct sign. A second mechanism is the effective distribution f⋆_α(E), a transmission-weighted average of the incoming Fermi functions of the other contacts; its odd number","core_discovery":"The central claim is that for any multi-terminal, multi-channel coherent conductor described by a Floquet scattering matrix, the excess noise obeys S_αα - 2k_B T_α Σ_{β≠α} G_αβ ≤ q Σ_{β,k} (1 - 2f_α(ε_βk)) I_αβ,k, where the noise is measured in the hottest contact α. The left side compares the full nonequilibrium zero-frequency noise S_αα with the thermal noise set by the linear conductances G_αβ computed in the presence of driving. The right side is a sum over contacts β and Floquet index k of contact-resolved current components I_αβ,k, multiplied by the factor 1 - 2f_α evaluated at the energy ε_βk where the shifted Fermi function of contact β crosses the Fermi function of the hot measureme","pith_inferences":["Beyond the paper: the same crossing argument might yield a bound for contacts that are not the hottest by replacing the reference distribution with one that dominates the effective distribution at both energy extremes, which would broaden the bound's practical range.","Beyond the paper: in driven heat engines, the large-temperature-bias form suggests a measurable figure of merit—excess noise divided by dissipated power—bounded by q^2/(k_B ΔT), testable without Floquet-resolved measurements.","Beyond the paper: saturation of the intersection bound could serve as a diagnostic for nonthermal states, allowing one to infer the crossing energies of the effective distribution from noise measurements alone."],"forward_implications":["The static fluctuation-dissipation bound is recovered when the periodic driving is switched off, so the new inequality is a strict extension rather than a competing result.","Noise constraints now apply to arbitrary periodic driving, including gate modulations of the central conductor, ac bias voltages, and time-dependent temperatures, with screening potentials included at mean-field level.","In the large-temperature-bias regime the bound can be evaluated from time-averaged dissipated powers alone, without resolving the individual Floquet components of the current.","The intersection bound constrains excess noise from the crossing structure of effective nonthermal distributions, and the paper anticipates its use for generic nonthermal reservoirs beyond time-dependent driving."],"supporting_citations":[{"why":"Supplies the stationary no-driving fluctuation-dissipation bound that this paper extends, recovered when the driving is switched off.","marker":"[34]"},{"why":"Provides the Floquet scattering formalism from which currents, energy currents, and noise are constructed, including unitarity and time-reversal properties.","marker":"[45]"},{"why":"Defines zero-frequency noise in mesoscopic conductors and the standard shot-noise formalism used in Eq. (9).","marker":"[8]"},{"why":"Supplies the explicit two-terminal ac-driven noise expression used as the example in Sec. IV.","marker":"[63]"},{"why":"Provides the experimental leviton and minimal-excitation context for Lorentzian driving, motivating one of the driving shapes compared.","marker":"[56]"},{"why":"Provides the Floquet coefficients for square-wave driving and the expectation of large excess noise used in the driving-shape comparison.","marker":"[57]"}],"fun_headline_variants":["Noise bound ties driven conductors to weighted Floquet currents","Floquet bound caps out-of-equilibrium noise in driven conductors","Driven conductor noise constrained by Floquet-weighted currents","New bound links noise in driven conductors to Floquet bands","Excess noise in driven conductors bounded by weighted Floquet bands"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The measurement contact has to be the hottest one; if the noise is measured in a contact colder than some other contact, the sign argument at the Fermi-function crossings stops working and the stated bound is not proven.","fun_headline_variants_meta":{"raw":{"variants":["Noise bound ties driven conductors to weighted Floquet currents","Floquet bound caps out-of-equilibrium noise in driven conductors","Driven conductor noise constrained by Floquet-weighted currents","New bound links noise in driven conductors to Floquet bands","Excess noise in driven conductors bounded by weighted Floquet bands"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000207,"raw_usage":{"total_tokens":1225,"prompt_tokens":722,"completion_tokens":503,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":466,"completion_tokens_details":{"reasoning_tokens":416}},"tokens_in":466,"tokens_out":503,"duration_ms":5246,"temperature":1.0,"reasoning_tokens":416,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T21:55:59.198114+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the two-terminal ac-driven setup of Sec. IV but reverse the temperature ordering so the noise is measured in the colder contact, then evaluate both sides of Eq. (15) from the Floquet scattering matrix over a range of driving amplitudes, bias voltages, and transmission functions. A single parameter set in which S_αα - 2k_B T_α Σ_{β≠α} G_αβ exceeds q Σ_{β,k} (1 - 2f_α(ε_βk)) I_αβ,k would show that the hot-contact assumption is load-bearing. For the hot-contact case, a violation for any unitary scattering matrix would disprove the claim.","supporting_citations":[{"cited_title":"Scattering Theory of 15 Nonlinear Thermoelectric Transport,","cited_arxiv_id":null,"evidence_quote":"Provides the Floquet scattering formalism from which currents, energy currents, and noise are constructed, including unitarity and time-reversal properties."},{"cited_title":"Quantum thermocouples: nonlocal conversion and control of heat in nanostructures","cited_arxiv_id":"2504.09121","evidence_quote":"Defines zero-frequency noise in mesoscopic conductors and the standard shot-noise formalism used in Eq. (9)."},{"cited_title":"Dynamics of Quantum Noise in a Tunnel Junction under ac Excitation,","cited_arxiv_id":null,"evidence_quote":"Supplies the explicit two-terminal ac-driven noise expression used as the example in Sec. IV."},{"cited_title":"Entropy current and efficiency of quantum machines driven by nonequilibrium incoherent reservoirs,","cited_arxiv_id":null,"evidence_quote":"Provides the experimental leviton and minimal-excitation context for Lorentzian driving, motivating one of the driving shapes compared."},{"cited_title":"Thermodynamic Performance of Hot- Carrier Solar Cells: A Quantum Transport Model,","cited_arxiv_id":null,"evidence_quote":"Provides the Floquet coefficients for square-wave driving and the expectation of large excess noise used in the driving-shape comparison."}],"review_version":1}