{"id":"12bb85e7-627c-4ac2-8a4e-b5ab674531ae","arxiv_id":"2607.06395","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":4,"one_line_summary":"Attosecond streaking of bright squeezed light produces distinct sub-cycle modulations that encode quantum field quadrature fluctuations, enabling squeezing certification beyond conventional tomography limits.","lead":"This paper extends attosecond streaking metrology to quantum light, showing that streaking traces of bright squeezed fields reveal sub-cycle quantum fluctuations. A smart generalist would read it because it proposes a way to certify squeezing in intense light fields where standard homodyne tomography fails.","discovery_kind":"unclear","skeptic_critique":{"model":"glm-5.2","headline":"Certification claim lacks a witness or bound: in the quasi-classical limit (Eq. 10) the QOST is a classical Q-function average, and the paper does not show this average distinguishes squeezed states from the strongest classical mimics.","rationale":"The reader correctly identified Eq. (10) as the load-bearing step and flagged the certification claim as under-supported. However, the reader's specific concern — that the quasi-classical approximation might break down at the given intensities — is likely not the real issue. The P→Q approximation is standard for strong-field quantum optics with large photon numbers, and the interference terms are already absent in the regime the paper computes. The deeper problem is that even with a valid Q-function average, the paper does not provide a certification witness, retrieval procedure, or comparison with the strongest classical mimic. The classical fields in Eqs. (11–12) only model the anti-squeezed quadrature and are not serious competitors.\n\nThe formalism (Eqs. 4–9) is correct and the physical intuition — that streaking traces encode field quadrature statistics — is sound and novel. The Q-function of a squeezed state does carry sub-vacuum quadrature variance, so in principle the trace contains certifiable quantum information. But the paper stops at showing computed traces and qualitative comparisons, without establishing the certification bound that its abstract promises. This keeps the verdict at CONDITIONAL: the framework is promising and the physics is plausible, but the central claim of a 'certification method' requires either an explicit witness inequality or a demonstration that the best classical competitor fails to reproduce the trace.","tokens_in":12271,"tokens_out":4937,"duration_ms":240604,"concrete_test":"Construct the strongest classical competitor: a thermal state ρ_th with the same mean photon number ⟨n⟩ and same g²(0) as the BSV/squeezed state used in Figs. 2–3. Compute its Q-function Q_th(α) and evaluate the QOST S_cl(p,τ) = ∫ d²α Q_th(α) |M_α(p,τ)|² using the same atomic and pulse parameters. Then compute the trace difference ΔS = S_Q - S_cl and the variance difference ΔVar = Var_Q - Var_cl as functions of (p,τ). If ΔVar is comparable to or smaller than the shot-noise floor expected from finite experimental statistics (e.g., 10⁴–10⁶ shots), the certification claim weakens significantly. If ΔVar exceeds the shot-noise floor by a clear margin across multiple delay values, the claim is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that the QOST certifies squeezing below the shot-noise limit. However, all computed results (Figs. 2–3) use Eq. (10), the quasi-classical limit, in which the exact expression (Eq. 9) reduces to S_Q(p,τ) = ∫ d²α Q(α) |M_α(p,τ)|². The paper acknowledges this loses the α≠β* interference terms — the genuinely quantum-mechanical part of Eq. (9) — and argues instead that 'quantum noise is still taken into account via Q(α).' This is true in principle: the Husimi Q-function of a squeezed state has sub-vacuum variance in one quadrature (after accounting for the Q-function's vacuum smoothing), and no positive classical P-function can reproduce it. But the paper does not close the loop:\n\n1. No certification witness or inequality is provided. The paper shows that computed traces for squeezed states 'look different' from specific classical fields, but never proves that no classical probability distribution P_cl(α) can reproduce the same streaking trace within experimental resolution.\n\n2. The classical mimics in Fig. 4 (Eqs. 11–12) are straw men: they include only the anti-squeezed quadrature fluctuations and omit the squeezed quadrature entirely. A proper classical competitor would be a thermal or phase-diffused field with the same mean photon number and g²(0) as the squeezed state, which could partially reproduce the variance modulations.\n\n3. No retrieval/inversion procedure is given to extract squeezing parameters (r, θ) from the measured S_Q(p,τ), so the claim of 'state tomography' is unsupported.\n\nThe reader's concern about the P→Q approximation's validity is partially misdirected: the approximation is likely sound for the strong fields used (I_squ = 5×10⁻⁵ a.u., large photon number), and the interference terms are already absent in the regime the paper actually computes. The real gap is that even with a valid Q-function average, the paper does not demonstrate that the resulting trace constitutes a certification of squeezing rather than a sensiti","agreement_with_reader":"partial"},"referee_report":{"model":"glm-5.2","summary":"This manuscript develops a quantum-optical theory of attosecond streaking, in which the infrared streaking field is treated as a quantum state rather than a classical field. Starting from the dipole coupling Hamiltonian [Eq. (3)] and the generalized P-representation [Eq. (8)], the authors derive an exact expression for the quantum optical streaking trace (QOST) [Eq. (9)] and its quasi-classical limit [Eq. (10)] in terms of the Husimi Q-function. They then compute streaking traces for bright squeezed vacuum, amplitude-squeezed, and phase-squeezed states (Figs. 2–3), showing distinct sub-cycle modulations in the trace variance that correlate with the squeezed and anti-squeezed quadratures. Finally, they compare against two classical competitor fields [Eqs. (11)–(12), Fig. 4] and argue that the QOST provides a certification method for squeezing below the shot-noise limit in regimes where conventional homodyne tomography fails.","tokens_in":13150,"tokens_out":1500,"duration_ms":271612,"significance":"The derivation of Eq. (9) from the dipole Hamiltonian and generalized P-representation is clean and follows standard quantum-optical methods; the formalism is self-contained and internally consistent. The identification of sub-cycle variance modulations as a signature of quadrature squeezing in attosecond streaking is a genuinely new observation with potential experimental relevance, particularly given recent progress in bright squeezed vacuum sources [Refs. 37–41]. The quasi-classical limit [Eq. (10)] is a reasonable starting point for strong-field regimes. However, the central claim of squeezing certification is not yet supported by a witness, inequality, or systematic comparison against the strongest classical mimics, and no retrieval procedure is provided. These gaps are load-bearing for the paper's stated contribution.","major_comments":[{"comment":"The central claim of this paper is that the QOST certifies quantum squeezing below the shot-noise limit. However, all computed results (Figs. 2–4) use Eq. (10), the quasi-classical limit, in which the exact expression [Eq. (9)] reduces to a Husimi Q-function average of classical streaking intensities. The paper acknowledges that this limit drops the alpha ≠ beta* interference terms — the genuinely non-classical part of Eq. (9) — and argues that 'quantum noise is still taken into account via Q(alpha).' This is true in principle: the Q-function of a squeezed state has sub-vacuum variance (after accounting for vacuum smoothing), and no positive classical P-function can reproduce it. But the paper does not close the loop. No certification witness, inequality, or bound is provided that demonstrates the QOST distinguishes squeezed states from all classical probability distributions P_cl(alpha)","section":null},{"comment":"The classical competitor fields in Eqs. (11)–(12) and Fig. 4 are not the strongest possible mimics. These fields incorporate only the anti-squeezed quadrature fluctuations (via CEP jitter or amplitude modulation) while omitting the squeezed quadrature entirely. A proper classical competitor would be a thermal or phase-diffused field with the same mean photon number and g²(0) as the squeezed state, which could partially reproduce the variance modulations shown in Figs. 2–3. Without such a comparison, the claim that the QOST has 'distinct features from classical light' (Conclusion) is not established. The authors should either construct a stronger classical mimic and show that the QOST still distinguishes it, or provide an explicit witness inequality that no classical distribution can reproduce.","section":null},{"comment":"No retrieval or inversion procedure is given to extract squeezing parameters (r, theta) from a measured S_Q(p, tau). The abstract states that the method allows one to 'extract the properties of the squeezed field quadrature,' and the Conclusion describes the scheme as an 'alternative approach towards quantum tomography.' Without specifying how the extraction is performed — what observables of S_Q(p, tau) map to which squeezing parameters, and with what precision — this claim is unsupported. At minimum, the authors should identify which features of the trace (e.g., variance modulation depth, phase of the 2omega oscillation) quantitatively determine r and theta.","section":null},{"comment":"The validity of the quasi-classical limit [Eq. (10)] for the specific parameters used (I_squ = 5×10⁻⁵ a.u.) is asserted by citation to Refs. [57, 78] but not verified within the manuscript. Ref. [78] (Gothelf et al., 2026) explicitly discusses limitations of this phase-space approximation in strong-field quantum optics. The authors should either provide a quantitative estimate of the error incurred by replacing the full P-representation average [Eq. (9)] with the Q-function average [Eq. (10)] at the stated intensity, or show sensitivity of the key features (sub-cycle variance modulations) to this approximation by comparing Eq. (9) and Eq. (10) for at least one parameter set.","section":null}],"minor_comments":[{"comment":"The abstract states the method can 'measure quantum squeezing below the shot noise limit, thereby overcoming the problem of tomographically measuring bright quantum light.' This is stronger than what is demonstrated; consider softening to 'providing an alternative approach to' or 'opening a route towards.'","section":null},{"comment":"In the paragraph following Eq. (10), the text reads 'the show how the quantum optical streaking trace allows to measure quantum fluctuations of light' — should read 'we show how.'","section":null},{"comment":"Fig. 2 caption: the IR pulse envelope f(t) is used in Eqs. (11)–(12) but its functional form (Gaussian, sin², flat-top) is not stated for any of the computed traces. This should be specified for reproducibility.","section":null},{"comment":"The physical parameters (I_squ, I_coh/I_squ, Omega, pulse duration) are scattered across figure captions. Consolidating them in a single table or a 'Parameters' paragraph would improve readability.","section":null},{"comment":"The claim that g²(0) measurements 'can not certify quantum squeezing' is stated multiple times in nearly identical language (Introduction and 'Measuring the quantum noise of light' section). The repetition could be condensed.","section":null},{"comment":"Ref. [15] is cited as a PhD thesis (Stammer, 2026). If the arguments about the limitations of semi-classical descriptions are load-bearing, peer-reviewed alternatives should be cited where available.","section":null}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about the quasi-classical limit is legitimate and is the most substantive issue: the paper's central certification claim rests on Eq. (10), which is a classical average over Q(alpha), and without a witness or stronger classical mimic the claim is not yet demonstrated. The formalism itself is sound and the observation of sub-cycle variance modulations is interesting. I would encourage the authors to either (a) provide an explicit squeezing witness derived from properties of S_Q(p,tau), or (b) reframe the paper as a theoretical framework + numerical observation, deferring the certification claim. Option (a) is preferable given the current title and abstract."},"author_rebuttal":{"model":"glm-5.2","summary":"We thank the referee for a careful and constructive report. The referee correctly identifies that the formalism is internally consistent and that the sub-cycle variance modulations are a genuinely new observation. The main concerns center on (i) the absence of an explicit certification witness or inequality, (ii) the classical competitors being insufficiently strong, (iii) the lack of a retrieval procedure for squeezing parameters, and (iv) the unverified validity of the quasi-classical limit at the stated intensity. We agree that these are substantive points. Below we address each in turn, indicating where revisions will be made and where we respectfully push back.","responses":[{"response":"We partially agree with the referee. The referee is correct that the manuscript does not currently provide an explicit certification witness or inequality. We will revise the manuscript to include one. Specifically, we note that in the quasi-classical limit [Eq. (10)], the QOST is given by S_Q(p,tau) = integral d^2 alpha Q(alpha) |M_alpha(p,tau)|^2, where Q(alpha) is the Husimi Q-function. For a squeezed state, the Q-function has sub-vacuum variance in the squeezed quadrature (after accounting for the 1/2 vacuum contribution inherent to Q). No positive classical P-function can reproduce a Q-function with sub-vacuum quadrature variance. The key observation is that the variance of the streaking trace, Var[S_Q(p,tau)], as a function of delay tau, directly samples the quadrature variance of the IR field. At delays where the streaking field probes the squeezed quadrature, the trace variance drops below the value obtained for a coherent state of the same mean photon number. This provides a direct witness: if Var[S_Q(p,tau_squeezed)] < Var[S_coh(p,tau_squeezed)] for the same mean photon number, the field cannot be described by any positive classical P-distribution. We will add this as an explicit inequality in the revised manuscript, together with a quantitative evaluation showing the violation for the parameters used in Figs. 2-3. We acknowledge that the current manuscript text does not make this argument explicit, and this is a genuine gap that we will close. However, we respectfully note that the physical mechanism is already present in the computed results: the sub-vacuum variance modulations in Figs. 2-3 are a direct consequence of the sub-vacuum quadrature fluctuations of the Q-function, which no classical distribution can reproduce.","revision_made":"partial","referee_comment":"The central claim of squeezing certification is not supported by a witness, inequality, or systematic comparison against all classical probability distributions. The quasi-classical limit drops the genuinely non-classical interference terms, and the paper does not close the loop."},{"response":"We agree that the classical competitors in Eqs. (11)-(12) are not the strongest possible mimics, and we will revise the manuscript accordingly. The referee's suggestion of a thermal or phase-diffused field with matched mean photon number and g^(2)(0) is well-taken. We will construct such a competitor and compare its QOST against the squeezed-state QOST. Our expectation, which we will verify quantitatively, is that a thermal field with the same g^(2)(0) will reproduce the anti-squeezed quadrature fluctuations but cannot reproduce the sub-vacuum variance in the squeezed quadrature. This is because a thermal state's Q-function has isotropic (or at minimum, never sub-vacuum) quadrature variance, whereas the squeezed state's Q-function has sub-vacuum variance in one quadrature. The streaking trace variance at the appropriate delay directly probes this. Therefore, while a thermal mimic may partially reproduce some features (e.g., the enhanced variance along the anti-squeezed quadrature), it will fail to reproduce the reduced variance along the squeezed quadrature. We will show this explicitly in a revised Fig. 4 or an additional figure. We concede that the current competitors, which only incorporate the anti-squeezed quadrature, are insufficient to establish the full claim, and we thank the referee for this important point.","revision_made":"yes","referee_comment":"The classical competitor fields in Eqs. (11)-(12) and Fig. 4 are not the strongest possible mimics. A thermal or phase-diffused field with the same mean photon number and g^(2)(0) could partially reproduce the variance modulations. Without such a comparison, the claim of distinct features from classical light is not established."},{"response":"We agree that the manuscript does not provide a retrieval procedure, and that the claims in the abstract and conclusion are not fully supported without one. We will address this in revision. Concretely, the mapping from the QOST to squeezing parameters is as follows: (i) The phase theta of the squeezing is determined by the delay tau at which the variance modulation reaches its minimum — this corresponds to the streaking field probing the squeezed quadrature, and the mapping between tau and the quadrature angle is given by the known IR frequency omega. (ii) The squeezing parameter r is determined by the depth of the variance modulation, specifically by the ratio Var[S_Q(p,tau_squeezed)] / Var[S_Q(p,tau_anti-squeezed)], which is a monotonic function of r for the parameter regime considered. We will provide an explicit calibration curve showing this mapping for the parameters used in the manuscript. We acknowledge that a full retrieval protocol, including error analysis and robustness to noise, is beyond the scope of this work and would constitute a follow-up study. We will therefore temper the language in the abstract and conclusion to accurately reflect what is demonstrated (the sensitivity of the QOST to squeezing parameters and the identification of the relevant observables) versus what remains for future work (a complete retrieval protocol with precision bounds).","revision_made":"partial","referee_comment":"No retrieval or inversion procedure is given to extract squeezing parameters (r, theta) from a measured S_Q(p, tau). The abstract and conclusion claim extraction of squeezing properties and an alternative to tomography, but no procedure is specified."},{"response":"We agree that this should be verified within the manuscript rather than relying solely on citations. We will add a quantitative comparison between the full expression [Eq. (9)] and the quasi-classical limit [Eq. (10)] for at least one parameter set corresponding to the parameters used in Figs. 2-3. The physical basis for expecting agreement is that for large mean photon numbers, the coherent state overlaps in the P-representation decay exponentially, suppressing the alpha != beta* interference terms. At I_squ = 5x10^-5 a.u., the mean photon number is large enough that this suppression is expected to be significant. However, we acknowledge that Ref. [78] raises legitimate concerns about the regime of validity, and the intensity used here is in a regime where the approximation may not be trivially justified. We will compute both expressions and show the difference quantitatively, either confirming the validity of the approximation or delineating the regime where it breaks down. If discrepancies are found, we will discuss their impact on the key features (sub-cycle variance modulations). This is a fair and important request, and we will comply.","revision_made":"yes","referee_comment":"The validity of the quasi-classical limit [Eq. (10)] for I_squ = 5x10^-5 a.u. is asserted by citation but not verified. Ref. [78] discusses limitations of this approximation. The authors should provide a quantitative error estimate or compare Eq. (9) and Eq. (10) for at least one parameter set."}],"tokens_in":12606,"tokens_out":1596,"duration_ms":662067,"standing_objections":[]},"desk_editor":{"model":"glm-5.2","letter":"The main thing to know: this paper derives a quantum-optical generalization of attosecond streaking (Eq. 9) that is genuinely new, and the formalism is correct. The claim that the resulting trace certifies squeezing is not yet earned — the paper shows computed traces that look different from weak classical mimics, but does not prove no classical field can reproduce the same trace, and does not provide a retrieval procedure or a certification bound. The gap is real but fixable, and the formal result is worth a serious referee regardless of whether the certification framing survives revision.","headline":"Quantum attosecond streaking: clean formalism, certification claim not yet closed","tokens_in":13422,"tokens_out":175,"would_cite":true,"duration_ms":83760,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"glm-5.2","headline":"Attosecond streaking sees quantum squeezing in bright light","keywords":["attosecond streaking","quantum optics","squeezed light","quantum metrology","phase-space distributions","bright squeezed vacuum","homodyne detection","shot noise limit"],"falsifier":"A direct experimental comparison of the streaking trace variance for a bright squeezed vacuum versus a classical thermal field with matched g⁽²⁾(0), showing whether the sub-cycle modulations differ beyond detector noise.","tokens_in":12298,"feed_emoji":"🔬","tokens_out":1459,"duration_ms":79176,"temperature":0.7,"pith_summary":"This paper extends attosecond streaking — a technique that maps ultrafast optical oscillations onto photoelectron momentum distributions — from classical to quantum fields. The authors derive an exact expression for the streaking trace when the infrared streaking field is in an arbitrary quantum state, showing that the trace becomes an integral over the field's phase-space distribution weighted by interference between different classical streaking amplitudes. In the quasi-classical limit appropriate for strong fields, the trace averages the Husimi Q-function against the classical streaking probability, and the variance of the resulting spectrogram exhibits sub-cycle modulations that directly encode the squeezed quadrature of the field. The paper demonstrates that amplitude-squeezed, phase-squeezed, and bright squeezed vacuum fields each produce distinct streaking signatures, and that these signatures can certify squeezing below the shot-noise limit in intensity regimes where conventional homodyne tomography breaks down due to the dynamic-range problem between signal and reference fields.","feed_headline":"Attosecond streaking detects quantum squeezing in bright light fields","feed_subtitle":"Streaking trace variance encodes sub-cycle quadrature fluctuations, certifying squeezing where homodyne tomography fails.","key_machinery":"The QOST formula S_Q(p,τ) = ∫d²α d²β P(α,β*) M_α M*_β shows that quantum fields produce interference between streaking amplitudes from different coherent-state components (α≠β*), which is absent in classical streaking where the trace is simply |M_α|². In the strong-field quasi-classical limit, this reduces to averaging |M_α|² over the Husimi Q-function Q(α), which still preserves quantum noise information. The delay τ acts as a quadrature selector, analogous to the local oscillator phase in homodyne detection.","core_discovery":"The central object is the quantum optical streaking trace (QOST), defined as S_Q(p,τ) = ∫d²α d²β P(α,β*) M_α(p,τ) M*_β(p,τ), where P(α,β*) is the generalized P-representation of the IR field and M_α are semi-classical streaking amplitudes. The key physical insight is that the XUV-IR delay τ plays a role analogous to the local oscillator phase in homodyne detection: scanning τ samples different field quadratures on sub-cycle timescales, and the variance of the streaking trace at each delay encodes the quadrature's quantum fluctuations. For bright squeezed vacuum, the mean streaking signal vanishes but distinct 2ω oscillations in the trace variance remain, revealing squeezing. For displaced (s","pith_inferences":["The paper's certification claim depends on the quasi-classical limit (Eq. 10) being valid at the squeezing intensities used (I_squ = 5×10⁻⁵ a.u.). If coherent-state overlaps do not decay sufficiently at these intensities, the interference terms distinguishing quantum from classical behavior may be suppressed, and the trace could reduce to a classical mixture average indistinguishable from thermal ","The paper does not provide a quantitative bound on how much squeezing must be present for the sub-cycle variance modulations to be experimentally distinguishable from detector noise and shot-to-shot fluctuations in the XUV pulse, which would determine the practical sensitivity floor of the method.","The claim that g⁽²⁾(0) measurements cannot certify squeezing while streaking can would be strengthened by an explicit construction of a classical field that produces the same streaking trace variance as a squeezed field, or a proof that no such classical mimic exists within the quasi-classical approximation."],"forward_implications":["If the streaking trace variance genuinely encodes quadrature squeezing, bright squeezed vacuum sources used in strong-field experiments can be characterized without homodyne detection, bypassing the dynamic-range bottleneck that limits conventional tomography to moderate intensities.","The analogy between XUV-IR delay and local oscillator phase suggests that full quadrature tomography could be performed by scanning τ over a complete optical cycle, potentially reconstructing the full Wigner function of bright quantum states.","The method could extend to certifying non-Gaussian quantum states of light generated in strong-field processes such as high-harmonic generation, where the output fields are too bright for standard quantum state tomography.","If sub-cycle variance modulations are experimentally resolvable, the technique provides a direct time-domain measurement of quantum noise, complementing the frequency-domain information from photon correlation measurements."],"fun_headline_variants":["Attosecond streaking measures quantum squeezing in bright light","Quantum streaking certifies squeezed light where tomography fails","Attosecond metrology reveals quadrature fluctuations in quantum light","Streaking trace variance encodes attosecond quantum field squeezing","Quantum optical streaking measures sub-cycle field fluctuations"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The argument that streaking traces can distinguish quantum squeezing from classical mimics rests on replacing the full P-representation interference with a simpler Husimi Q-function average, justified by the claim that coherent-state overlaps decay exponentially for strong fields. If this approximation breaks down at the field intensities and squeezing parameters the paper actually uses, the interference terms that carry the quantum signature may be lost, and the trace would塌","fun_headline_variants_meta":{"raw":{"variants":["Attosecond streaking measures quantum squeezing in bright light","Quantum streaking certifies squeezed light where tomography fails","Attosecond metrology reveals quadrature fluctuations in quantum light","Streaking trace variance encodes attosecond quantum field squeezing","Quantum optical streaking measures sub-cycle field fluctuations"]},"model":"glm-5.2","effort":"high","cost_usd":0.0,"raw_usage":{"total_tokens":1004,"prompt_tokens":506,"completion_tokens":498,"prompt_tokens_details":null},"tokens_in":506,"tokens_out":498,"duration_ms":19221,"temperature":1.0,"reasoning_tokens":487,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-08T07:04:23.788373+00:00","model_set":{"reader":"glm-5.2"},"falsifier":"A direct experimental comparison of the streaking trace variance for a bright squeezed vacuum versus a classical thermal field with matched g⁽²⁾(0), showing whether the sub-cycle modulations differ beyond detector noise.","supporting_citations":[],"review_version":1}