{"id":"34611af6-4eff-42bb-9cd8-141f4d0a955a","arxiv_id":"1908.05658","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A second-order perturbation theory, in both bosonized and spin-boson forms, gives the early-time current on a driven quantum dot-fractional quantum Hall edge system and predicts a phase shift for sinusoidal bias.","lead":"This paper derives formulas for the electric current produced when a driven quantum dot is coupled to a fractional quantum Hall edge, including interaction effects. The results give experimentalists a simple expression for early-time current pulses and predict a measurable phase shift between the drive and the current.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The equivalence proof for the Kubo and NIBA current formulas has a cutoff-prefactor error in Eq. (24) and Appendix C; the printed identity does not hold as written.","rationale":"The reader's conditional verdict correctly identifies typographical and proof-clarity problems, but the weakest assumption listed is the model's single-mode, linear-dispersion, short-range-interaction structure. My independent check of the algebra behind the central equivalence claim finds a more concrete and more consequential issue: Eq. (24) and the Appendix C substitution use the wrong sign in the cutoff exponent, so the displayed derivation of Eq. (23) from Eq. (17) is not internally consistent. This matters because the paper's advertised central result is precisely the equivalence of the Kubo-formula and NIBA expressions. I do not think this invalidates the physics: the final expression (25) is benchmarked against the exact alpha = 1/2 solution and the GME in Fig. 3, and the error is a consistently applied prefactor sign that can be repaired. The verdict should remain CONDITIONAL, since the paper needs a correction or clarification before the equivalence claim is fully supported as written. I set verdict_should_be to UNCHANGED because the reader already reached CONDITIONAL and my concern reinforces that conditionality rather than moving it to ACCEPT or REJECT.","tokens_in":1138,"tokens_out":1117,"duration_ms":277232,"concrete_test":"Check Eq. (24) at tau = 0 and at zero temperature. From Eq. (18), for beta -> infinity one obtains Phi(tau) = (2 pi)^{-1} (a + i v tau)^{-gamma_tilde^2}, while Eqs. (21)-(22) yield e^{-Q'(tau)-iQ''(tau)} = (a/(a+i v tau))^{gamma_tilde^2}. Multiplying by the printed prefactor a^{gamma_tilde^2}/(2 pi) leaves an extra a^{2 gamma_tilde^2}; the identity holds only if the prefactor is replaced by a^{-gamma_tilde^2}/(2 pi). Then recompute the step from Eq. (C2) to Eq. (C3) using Delta^2 = 2 lambda_tilde^2 a^{-gamma_tilde^2}/pi: with the corrected prefactor the coefficient is q_tilde/2, while with the printed prefactor it is q_tilde a^{2 gamma_tilde^2}/4.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that Eq. (17) and Eq. (23) are equivalent depends on identity (24), which states Phi(t) = (2 pi a^{-gamma_tilde^2})^{-1} e^{-Q'(t)-iQ''(t)}. Since a^{-gamma_tilde^2} = 1/a^{gamma_tilde^2}, the prefactor printed is a^{gamma_tilde^2}/(2 pi). This cannot be correct. At tau = 0, Eq. (18) gives Phi(0) = (2 pi)^{-1} a^{-gamma_tilde^2}, which diverges as the short-distance cutoff a goes to 0. The printed right-hand side of Eq. (24) instead gives a^{gamma_tilde^2}/(2 pi), which vanishes as a goes to 0. In the zero-temperature limit, Eq. (18) reduces to Phi(tau) = (2 pi)^{-1} (a + i v tau)^{-gamma_tilde^2}, while Eqs. (21)-(22) give e^{-Q'(tau)-iQ''(tau)} = (a/(a+i v tau))^{gamma_tilde^2}. Hence the correct identity requires the opposite prefactor, (2 pi a^{gamma_tilde^2})^{-1} = a^{-gamma_tilde^2}/(2 pi). The printed sign error propagates into Appendix C: using Eq. (C2) together with Delta^2 = 2 lambda_tilde^2 a^{-gamma_tilde^2}/pi produces an extra factor a^{2 gamma_tilde^2}/4, so Eq. (C3) does not follow. This is not merely a cosmetic typo because the displayed proof of equivalence is internally inconsistent as written, although the final Eq. (25) is independently benchmarked in Fig. 3 and is likely correct after the prefactor correction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies a single-level quantum dot coupled to a chiral Luttinger edge of a Laughlin fractional quantum Hall state, with a short-range density-density interaction between the dot and the edge. The authors map the model to the spin-boson model with an Ohmic spectral function, then compute the time-dependent current on the edge by two second-order perturbative methods: the Kubo formula in the bosonized representation and the non-interacting blip approximation (NIBA) in the spin-boson representation. They claim that the two current formulas, Eq. (17) and Eq. (23), are equivalent, and they present benchmarks against two non-perturbative approaches: an exact solution for the integer quantum Hall case (Appendix D) and a generalized master equation valid for small coupling. The paper also derives analytical limiting forms for the current, including a zero-bias result and a sinusoidal-drive result, and discusses the implications for charge quantization in current pulses.","tokens_in":18290,"tokens_out":16836,"duration_ms":154434,"significance":"If the central results hold, the paper provides a simple and experimentally usable formula for the time-dependent current in a driven quantum-dot--FQHE-edge device, including a predicted phase shift relative to the driving bias. The controlled second-order perturbative derivation, the explicit mapping to the spin-boson model, the exact IQH solution in Appendix D, and the numerical comparisons to the generalized master equation are genuine strengths and provide independent checks of the main formula. The paper does not claim machine-checked proofs or released code, but the analytical derivations are sufficiently detailed for the central steps to be verified. The main quantitative claims are conditional on correcting the prefactor and consistency errors discussed below.","major_comments":[{"comment":"The displayed identity (24) has the wrong prefactor. At τ=0, Eq. (18) gives Φ(0) = (2π)^{-1} a^{-γ̃²}, while the right-hand side of Eq. (24) as printed evaluates to a^{γ̃²}/(2π). The correct identity is Φ(t) = (a^{-γ̃²}/(2π)) e^{-Q'(t)-iQ''(t)}. With the printed prefactor, substitution into Eq. (C2) followed by Δ² = 2λ̃² a^{-γ̃²}/π produces an extra factor a^{2γ̃²}/4, so Eq. (C3) does not follow as written. After correcting the prefactor, the algebra leading to Eq. (25) goes through; the final formula is independently supported by the benchmarks in Fig. 3, so I regard this as a fixable error rather than an irreparable one, but it must be corrected for the displayed proof of equivalence to be valid.","section":"§III.C, Eq. (24) and Appendix C (Eqs. (C2)–(C3))"},{"comment":"The analytical small-amplitude result in Eq. (29) is not consistent with the derivation in Appendix E. Substituting γ̃²=3, so that Δ²=2λ̃²a^{-3}/π, and ω_c=v/a into Eq. (E12) gives a sin Ωt coefficient proportional to λ̃² ε0 Ω (ln(aΩ/v)+γ_E)/(4π v³), whereas Eq. (29) as printed contains λ̃² Ω/(2π ε0 v³), i.e. it has ε0 in the denominator rather than the numerator. In addition, the exponential in the cos Ωt term appears as e^{+aΩ/v} if Eq. (29) is read in the natural way, while Appendix E gives e^{-aΩ/v} (equivalently π/(2e^{aΩ/v})). Since Fig. 4 claims excellent agreement between Eq. (29) and the full expression Eq. (25), the authors must reconcile Eq. (29), Appendix E, and the plotting convention used in Fig. 4.","section":"§V.B, Eq. (29) and Appendix E"}],"minor_comments":[{"comment":"The notation 1/(2πa^{-γ̃²}) is ambiguous and is the source of the prefactor error; the correct expression should be written explicitly as (a^{-γ̃²}/(2π)) e^{-Q'(t)-iQ''(t)}.","section":"§III.C, Eq. (24) and Appendix C"},{"comment":"The cos Ωt term should be typeset unambiguously as π/(2e^{aΩ/v}) (or equivalently (π/2)e^{-aΩ/v}) to match the exponential factor derived in Appendix E.","section":"§V.B, Eq. (29)"},{"comment":"The caption states that the plotted quantity is -dN/d(tΔ), while the text refers to the current; please clarify the relation to the current operator in Eq. (14), including the charge prefactor q̃.","section":"Fig. 3 caption and §IV"},{"comment":"The claim that Eq. (24) follows by checking the two overlapping limits t≫a/v and t≪β is plausible, but the actual limiting forms are not displayed; once the prefactor is fixed, it would be helpful to show the two limits explicitly.","section":"§III.C"},{"comment":"The sentence after Eq. (27) explaining why α<1/2 requires a finite temperature as an infrared cutoff could be expanded for clarity, since the zero-bias integral is otherwise convergent for α<1/2 only because of the temperature-dependent term.","section":"§V.A"}],"recommendation":"major_revision","confidential_remarks":"The paper overlaps substantially with the authors' previous PRL (Ref. [2]); the new contribution here is the detailed derivation of the equivalence between the Kubo and NIBA approaches and the exact IQH solution. The prefactor error in Eq. (24) and the inconsistency between Eq. (29) and Appendix E are the main obstacles to acceptance. Both appear fixable within the scope of the manuscript, and the benchmarked central formula Eq. (25) is likely correct after the identity prefactor is corrected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a solid, useful perturbative calculation with a real new result, but the printed paper contains algebraic typos that need fixing before the formulas are used. The main current formula, Eq. (25), survives; the equivalence proof, Eq. (24), and the sinusoidal-drive formula, Eq. (29), do not hold as printed.\n\nWhat is new: time-dependent current formulas for a driven dot coupled to a fractional quantum Hall edge, including the interaction renormalization, and the NIBA-vs-Kubo equivalence check. The spin-boson mapping itself is known, but the driven-current calculation and the comparison between the two methods are new. The paper earns credit for a careful derivation, no fitted parameters, and independent benchmarks: the exact integer quantum Hall solution and the generalized master equation both match Eq. (25) at early times in Fig. 3. The reference list is honest, and the prior exact IQH solution is properly credited to Refs. [53,54].\n\nThe stress-test concern is correct. At zero temperature, Eq. (18) gives Phi(0) proportional to a^{-gamma_tilde^2}, while the printed right-hand side of Eq. (24) gives a^{+gamma_tilde^2}/(2 pi). The correct prefactor is 1/(2 pi a^{gamma_tilde^2}). Appendix C inherits this error: the step to Eq. (C3) only closes after the prefactor is corrected. This is more than cosmetic, because the paper's displayed proof of equivalence is internally inconsistent as written, even though the final Eq. (25) is independently benchmarked and appears correct after the correction.\n\nEq. (29) also conflicts with its own Appendix E derivation. The prefactor should involve epsilon_0, not 1/epsilon_0, and the exponential should be e^{-a Omega/v}, with the sign matching the cutoff factor in the integral. There is additionally a pi-convention inconsistency between J(omega) = 2 pi alpha omega in Eq. (11) and the Q', Q'' used in Eqs. (21)-(22), which correspond to J = 2 alpha omega. This does not propagate to the final current formula because the authors quote Q directly, but it should be cleaned up.\n\nNone of this invalidates the central claim. The perturbative calculation is honest about its own limitations, including the failure to capture long-time charge quantization. The paper is for people working on electron quantum optics, driven mesoscopic systems, and spin-boson applications. It deserves a serious referee; I would send it out and ask for a minor revision that corrects the prefactors and the convention inconsistency.","headline":"A genuinely useful perturbative calculation of driven current in a dot–FQH-edge system, with two printed prefactor typos that a referee should catch before the formulas are used.","tokens_in":18851,"tokens_out":18900,"would_cite":true,"duration_ms":163778,"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":"One formula captures the early edge current of a driven quantum dot.","keywords":["fractional quantum Hall edge","quantum dot","spin-boson model","non-interacting blip approximation","Kubo formula","bosonization","charge quantization","single-electron source"],"falsifier":"On a $\\nu = 1/3$ Laughlin edge, drive one quantum dot with a sinusoidal bias $\\epsilon(t) = \\epsilon_0 \\cos\\Omega t$ with $\\epsilon_0 \\ll \\Omega$ and measure the downstream current at early times. The paper predicts an amplitude and phase given by Eq. (29); a measured phase shift or amplitude that disagrees with it, or an integrated pulse charge equal to exactly one electron charge rather than $\\tilde{q} = q(1 - g/(2\\pi v))$, would falsify the central claim.","tokens_in":17741,"feed_emoji":"⚡","tokens_out":10045,"duration_ms":90790,"temperature":0.7,"pith_summary":"The paper studies a single-level quantum dot tunnel-coupled to a chiral fractional quantum Hall edge and driven by a time-dependent bias voltage, the kind of device used as a single-electron source in electron quantum optics. It claims that the current emitted onto the edge at early times is described by one closed formula, Eq. (25), and that this formula can be derived in two apparently different ways that turn out to be identical: Kubo perturbation theory applied to the bosonized edge and the non-interacting blip approximation applied to a mapped spin-boson model. Because the mapping absorbs the dot-edge Coulomb interaction into a renormalized charge $\\tilde{q} = q(1 - g/(2\\pi v))$, the paper also concludes that the charge integrated over a long current pulse is not quantized to the electron charge. The formula is benchmarked against exact solutions in special limits, giving confidence that it captures the essential physics of the first instants after tunneling is switched on.","feed_headline":"One formula captures the early edge current of a driven quantum dot","feed_subtitle":"A dot-edge system behaves like a spin-boson model; long-time pulse charge is renormalized away from the electron charge.","key_machinery":"The engine of the argument is the spin-boson mapping: a unitary transformation absorbs the dot-edge density-density interaction into a renormalized vertex exponent $\\tilde{\\gamma} = \\gamma(1 - g/(2\\pi v))$, leaving a two-level system ('spin') coupled to an Ohmic bosonic bath with spectral function $J(\\omega) = 2\\pi\\alpha\\omega e^{-a\\omega/v}$, where $\\alpha = \\tilde{\\gamma}^2/2$. In this picture the dot occupation is the spin polarization and the edge current is the spin current. The paper computes this current to second order in tunneling by two routes, vertex-operator propagators in bosonization and NIBA path integrals for the spin, proves the two expressions identical, and packages the result as Eq. (25), a single time integral over the bias phase and bath correlation functions.","core_discovery":"The central claim is that a driven dot on a Laughlin edge is a physical realization of the spin-boson model, and that the edge current is the same observable as the spin current of that model. The paper shows, to second order in tunneling, that the current obtained from vertex-operator correlation functions in the bosonized description equals the current obtained from the NIBA path-integral solution of the spin-boson model; both collapse into the single integral formula Eq. (25). This formula is proposed as an experimentally usable description of the early-time current for any filling fraction and any value of the dimensionless dissipation $\\alpha = \\tilde{\\gamma}^2/2$. The same analysis carries the conclusion that interactions renormalize the emitted charge to $\\tilde{q} = q(1 - g/(2\\pi v))$, so a full current pulse transfers less than one electron (or quasiparticle) charge; the paper notes that the existing integer-Hall experiment cannot yet resolve this deviation.","pith_inferences":["If the same spin-boson dictionary holds beyond weak tunneling, the broader set of numerical methods developed for the spin-boson model (stochastic Schrodinger equations, tensor networks, Bethe ansatz) could supply full-time predictions for the quantum Hall emitter in regimes where perturbation theory breaks down; the paper flags this as future work.","Because the central formula assumes exactly one chiral Luttinger mode with linear dispersion, a precise comparison with experiment on a $\\nu = 1/3$ edge would also test whether the real edge behaves as an ideal Luttinger liquid at the driving energy scale.","The logarithmic cutoff dependence of the sinusoidal-drive current for $\\alpha > 1/2$ means a measurement of the phase-shift amplitude could constrain the microscopic edge length scale $a$, which is otherwise hard to access experimentally."],"forward_implications":["Experimental current traces from a time-driven dot on a Laughlin edge can be compared directly with Eq. (25), giving access to the renormalized coupling $\\tilde{\\gamma}$ and the edge temperature.","For a sinusoidal bias with $\\epsilon_0 \\ll \\Omega$, the current is periodic with a phase shift relative to the bias, Eq. (29), and that phase shift is an experimentally verifiable signature.","The integrated charge of a current pulse is $\\tilde{q}$ rather than $q$, so single-electron source pulses on interacting edges are not charge-quantized even though the early-time current looks like a clean pulse.","At $\\alpha = 1/2$ (an integer Hall edge) the perturbative result agrees with an exact free-fermion solution at short times, and at small $\\alpha$ it agrees with the generalized master equation, establishing a wide regime of validity for the formula.","Because the Kubo and NIBA derivations coincide, techniques developed for the spin-boson model can be imported into the quantum-dot-on-edge setting."],"supporting_citations":[{"why":"The authors' earlier work that identified the interaction-induced renormalization of the emitted charge and supplied the generalized master equation benchmark.","marker":"[2]"},{"why":"Introduces the unitary transformation that maps the dot-edge Hamiltonian to the spin-boson model, the central equivalence used throughout.","marker":"[3]"},{"why":"Standard reference for the spin-boson model whose Ohmic spectral function and zero-bias integral underlie the analytic limits.","marker":"[5]"},{"why":"Source of the NIBA path-integral solution and the series expressions for the spin expectation used to write the current.","marker":"[14]"},{"why":"Provides the generalized master equation valid for small alpha, used as a non-perturbative benchmark in Fig. 3(c).","marker":"[15]"},{"why":"The integer quantum Hall experiment whose measured current pulses are compared with the prediction that integrated charge is renormalized away from one electron.","marker":"[37]"},{"why":"Supplies the bosonization conventions and vertex-operator correlation functions used in the Kubo derivation, including the identity relating Phi to Q' and Q''.","marker":"[44]"},{"why":"Gives the exact Q'(tau) and Q''(tau) functions for an Ohmic bath that enter the NIBA current expression.","marker":"[51]"},{"why":"Presents an exact solution for the integer Hall case, used as a benchmark for the perturbative result at early times.","marker":"[53]"},{"why":"Another exact solution of the integer Hall case via the S-matrix, benchmarked against the perturbative formula.","marker":"[54]"}],"fun_headline_variants":["Two current calculations collapse to one spin-boson formula","Driven Hall dot: early current from a unified integral","Pulse charge departs from integer in fractional Hall dot","Spin-boson equivalence explains dot-edge current"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The calculation assumes the edge is one chiral Luttinger mode with linear dispersion, coupled point-like to a single dot level through short-range density-density interactions, so all interaction effects are contained in the Ohmic spectral function $J(\\omega)=2\\pi\\alpha\\omega e^{-a\\omega/v}$; if the real edge carries extra modes, non-linear dispersion, or longer-range interactions, the central prediction changes.","fun_headline_variants_meta":{"raw":{"variants":["Two current calculations collapse to one spin-boson formula","Driven Hall dot: early current from a unified integral","Pulse charge departs from integer in fractional Hall dot","Spin-boson equivalence explains dot-edge current"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000619,"raw_usage":{"total_tokens":2846,"prompt_tokens":894,"completion_tokens":1952,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":510,"completion_tokens_details":{"reasoning_tokens":1887}},"tokens_in":510,"tokens_out":1952,"duration_ms":17308,"temperature":1.0,"reasoning_tokens":1887,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:08:02.135768+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a $\\nu = 1/3$ Laughlin edge, drive one quantum dot with a sinusoidal bias $\\epsilon(t) = \\epsilon_0 \\cos\\Omega t$ with $\\epsilon_0 \\ll \\Omega$ and measure the downstream current at early times. The paper predicts an amplitude and phase given by Eq. (29); a measured phase shift or amplitude that disagrees with it, or an integrated pulse charge equal to exactly one electron charge rather than $\\tilde{q} = q(1 - g/(2\\pi v))$, would falsify the central claim.","supporting_citations":[{"cited_title":"Wagner , author D","cited_arxiv_id":null,"evidence_quote":"The authors' earlier work that identified the interaction-induced renormalization of the emitted charge and supplied the generalized master equation benchmark."},{"cited_title":"Occupation of a resonant level coupled to a chiral Luttinger liquid","cited_arxiv_id":"cond-mat/0112426","evidence_quote":"Introduces the unitary transformation that maps the dot-edge Hamiltonian to the spin-boson model, the central equivalence used throughout."},{"cited_title":"Grifoni , author E","cited_arxiv_id":null,"evidence_quote":"Source of the NIBA path-integral solution and the series expressions for the spin expectation used to write the current."},{"cited_title":"Hartmann , author I","cited_arxiv_id":null,"evidence_quote":"Provides the generalized master equation valid for small alpha, used as a non-perturbative benchmark in Fig. 3(c)."},{"cited_title":"Grifoni , author M","cited_arxiv_id":null,"evidence_quote":"Gives the exact Q'(tau) and Q''(tau) functions for an Ohmic bath that enter the NIBA current expression."},{"cited_title":"Iwahori \\ and\\ author N","cited_arxiv_id":null,"evidence_quote":"Presents an exact solution for the integer Hall case, used as a benchmark for the perturbative result at early times."},{"cited_title":"Keeling , author A","cited_arxiv_id":null,"evidence_quote":"Another exact solution of the integer Hall case via the S-matrix, benchmarked against the perturbative formula."}],"review_version":1}