{"id":"7cf170cc-3c5b-49f7-a69c-35175a320498","arxiv_id":"2608.11189","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new Floquet Green's-function formalism treats lattice electrons driven by a prescribed Gaussian quantum-light source with a shared-history two-leg kernel, recovers classical Floquet theory as a limit, and shows squeezing parameters change spectra and occupancies.","lead":"This paper builds a Green's-function framework for electrons driven by quantum light, including squeezed states. It gives a way to compute how nonclassical light reshapes electronic spectra and occupation, with squeezing as an extra control knob.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Prescribed-source backaction criterion is missing: without a κ vs. electron-induced photon self-energy estimate, the reported quantum-source spectra are not tied to a known physical parameter regime.","rationale":"The paper presents a detailed and largely self-consistent formalism. I checked the positivity proof (Sec. II D 8), the Schur-product step, the CAR-based retarded/advanced closure, the classical limit, and the Fock-space truncation for the squeezed parameters. The positivity argument is valid because the shared-history influence functional is a Gram kernel and the contraction with the positive bath kernels is performed on compound indices; the Fock cutoff is adequate because the b-mode displacement amplitude is λe^r ≈ 1.1, so N_b=12 is more than sufficient. The CAR identity and the one-leg propagation are consistently defined within the stated model. The single genuinely load-bearing weakness is the unquantified neglect of source backaction. The paper explicitly acknowledges this in Sec. II A ('establishing this criterion for concrete parameters is not attempted here') and in Sec. IV ('it presently omits electron-induced photon polarization'). Without an estimate of the electron-induced photon self-energy relative to κ, the central claim that this framework is a tool for quantum Floquet engineering of condensed matter cannot be evaluated against any physical realization. The reader's verdict of CONDITIONAL is therefore appropriate, and my stress-test does not move it. I raise no charge of mathematical error; the concern is a scoping limitation that is honestly disclosed but remains the hinge on which the physical usefulness of the construction depends.","tokens_in":49689,"tokens_out":28179,"duration_ms":239017,"concrete_test":"Evaluate the electron-induced photon self-energy Π_ph(ω) from the Keldysh polarization bubble of the driven tight-binding model at the parameters of Figs. 5 and 6, i.e., λ=0.02, r=4, β_bath=10, μ_bath=0, and κ=1 and 0.1. If -Im Π_ph(Ω) at Ω=1 is comparable to or larger than κ, the prescribed-source approximation fails and the reported spectra would be substantially modified by restoring backaction; if κ/[-Im Π_ph(Ω)] ≫ 1, the reported spectra are the physical observables. This single calculation would settle whether the central claim's applicability assumption holds.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The shared-history construction itself is internally consistent: the six-ordering kernel is a Gram kernel, the bath CAR identity yields the seed covariance W_k of Eq. (107), and the classical limit of Eq. (200) is reproduced. The load-bearing assumption is the external prescription of the photon source state. Section II A explicitly states that neglecting backaction is expected to be controlled when the photon linewidth κ is large compared with the electron-induced photon self-energy, but it also explicitly says that establishing this criterion for concrete parameters is not attempted. Section IV repeats the omission: the framework presently omits electron-induced photon polarization. Because the shared-history model clamps the single-time source state while allowing the probe to condition the source's multi-time correlations, the reported spectra and occupancies for squeezed sources (Figs. 5-8 and 11-13) cannot yet be assigned to a known physical parameter regime. The central claim that Eqs. (101) and (112) provide a tool for quantum Floquet engineering with quantum light therefore rests on an unquantified domain-of-validity assumption, not on a demonstrated mathematical error.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript develops a Floquet Green's-function framework for noninteracting single-band lattice electrons driven by a reservoir-stabilized single-mode Gaussian quantum light source. The source is prescribed externally, and the two time arguments of the electronic Green's function share one source history via a four-sector (0,L,R,LR) Liouville-space construction and six chronological orderings; the lesser and greater components are obtained by convolving the resulting shared-history kernel with wide-band fermionic bath kernels, while the bath CAR identity yields an equal-time covariance W_k that seeds the retarded and advanced one-leg propagators (Eqs. (101), (107), (112)). The paper proves positivity, Pauli bounds, and a quasifree CAR realization for the two-point data, recovers classical Floquet theory in the limit of Eq. (200), and implements the construction numerically on a one-dimensional chain, reporting spectral reconstruction and occupancy redistribution for coherent, squeezed-vacuum, and squeezed-coherent sources. Appendices provide Born/SCBA comparisons, a frequency-domain implementation of the six orderings, and extensive convergence tests.","tokens_in":49801,"tokens_out":12844,"duration_ms":127717,"significance":"The construction is careful and largely self-contained: the six-orderings decomposition, the CAR closure, the positivity proof via the Gram/Schur argument, and the classical-limit check are all detailed, and no parameters are fitted to the electronic output. The mean-link and classical Floquet benchmarks, together with the convergence sweeps in Appendix C, give confidence in the numerical implementation. If the central claims hold, this is a genuinely new nonperturbative tool for quantum-source Floquet engineering, extending beyond weak-coupling and phase-space approaches. The main caveat, acknowledged in the manuscript, is that the prescribed-source approximation is not assigned a quantitative domain of validity; this limits, but does not invalidate, the formalism as a model framework.","major_comments":[{"comment":"The paper explicitly states that neglecting electron-induced source backaction is 'expected to be controlled when the photon linewidth kappa is large compared with the electron-induced photon self-energy, but establishing this criterion for concrete parameters is not attempted here' (Section II A). Because the reported spectra and occupancies for squeezed sources (Figs. 5-8 and 11-13) are computed at kappa=1 and kappa=0.1 without any estimate of the electron-induced photon self-energy for the 1D model, the central claim that these are physical quantum-source Floquet spectra is not yet tied to a known parameter regime. I ask the authors to provide an order-of-magnitude estimate for the model, or to explicitly reframe the results as a model study whose experimental applicability requires a separate backaction check.","section":"Section II A and Section IV"},{"comment":"The Discussion correctly states that the computed Green's functions 'are not identified with Heisenberg correlators of an independently specified joint electron-photon Lindblad dynamics.' This leaves open what experimental observable the lesser and greater spectra correspond to. Since the framework is proposed as a tool for quantum Floquet engineering, the authors should either identify a concrete measurement protocol (for example, time-resolved photoemission from a weakly probed cavity-embedded sample) or explicitly limit the claim to the two-point process defined by the model. This concern is connected to the backaction issue: without such a protocol, the physical significance of the numerical spectral reconstruction cannot be fully assessed.","section":"Section IV"}],"minor_comments":[{"comment":"The comparatively strong 'inverted ridge' is used as evidence of multitime source dynamics, but the text states its microscopic mechanism is not identified; I recommend either adding an explanation or presenting it as an open question in the main text.","section":"Section III D, Fig. 7"},{"comment":"The phrase 'an active electronic probe still conditions the source density operator' could be clarified to mean conditioning through the shared Kraus sequence in the Liouville-space construction, not a measurement backaction.","section":"Section II A"},{"comment":"The maximum sum-rule deviation is 8.6e-3, which is larger than the quoted quadrature residuals; please state explicitly whether this residual is due to the finite frequency window and, if so, estimate the window-truncation contribution.","section":"Appendix C, Table II"},{"comment":"Equation (225) uses both ordinary and modified Bessel functions; a sentence defining the arguments A_cl and zeta and commenting on the convergence of the series would improve readability.","section":"Eq. (225)"},{"comment":"The term 'CAR reconstruction' might be confused with the analytical CAR identity; consider replacing it with 'CAR-based quadrature correction' to reflect that Eq. (B16) is a numerical correction that vanishes in the continuum limit.","section":"Section II G"}],"recommendation":"major_revision","confidential_remarks":"To the editor: The paper is well within the scope of cond-mat.str-el and is technically strong. My recommendation of major_revision is driven by the unquantified backaction criterion, not by any suspected mathematical error. If the authors add an order-of-magnitude estimate for kappa versus the electron-induced photon self-energy in the model, or explicitly position the work as a model study, I would support publication. I found no citation or attribution concerns."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main thing to know: this is a self-consistent, honestly scoped formalism paper, and the central construction holds up. A prescribed reservoir-stabilized Gaussian source drives lattice electrons through a nonperturbative operator-valued Peierls link, and the lesser/greater Green's functions come from a shared-history two-leg convolution with continuous bath kernels while the retarded/advanced components close via the bath CAR. I agree with the reader's conditional verdict, and the stress-test concern is the real one: the domain of validity of the prescribed-source approximation is not quantified. I would not call it a load-bearing error, but it is a load-bearing gap.\n\nWhat is actually new: the combination of the dissipative Gaussian source, the full operator-valued link, the shared-history four-endpoint kernel before the final source trace, and the CAR-closed one-leg propagation is genuinely new relative to the Hamiltonian quantum-Floquet and phase-space trajectory routes. The paper does the formal work carefully, including the six chronological orderings, the Gram-kernel positivity proof, the Pauli bound, the quasifree reconstruction, and an extensive convergence appendix, and it reproduces the classical Floquet limit both analytically and numerically. It also deserves credit for stating clearly what it is not: not the exact Green's function of a closed electron-photon system, and not a quantum-regression correlator of a joint Lindblad dynamics.\n\nThe soft spots, in proportion. First, the paper explicitly says in Sec. II A that establishing the backaction criterion (photon linewidth vs. electron-induced photon self-energy) is not attempted, and Sec. IV repeats that electron-induced photon polarization is omitted. So the squeezed-source spectra in Figs. 5-8 and 11-13 are predictions of a stated model, not yet attached to a known physical parameter regime. Second, the shared-history Green's functions are defined by construction; there is no microscopic joint electron-photon-bath dynamics from which they are derived. Third, no code or external benchmark is provided, so independent reproduction would take real work. These are real limitations, but they are flagged by the author rather than hidden, and I saw no mathematical error.\n\nWho it is for: people at the quantum-optics/condensed-matter interface, especially those working on Floquet engineering with squeezed or few-photon sources. It deserves a serious referee. I would send it to peer review and ask for an order-of-magnitude backaction estimate and a clearer statement of which experimental parameters satisfy it, but I would not desk reject it.","headline":"A careful and internally consistent prescribed-source Floquet Green's-function framework; the squeezed-source predictions still need a backaction criterion, and the author openly flags this.","tokens_in":50371,"tokens_out":3282,"would_cite":true,"duration_ms":29108,"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":"The paper establishes a consistent Floquet Green's-function framework for lattice electrons driven by a prescribed Gaussian quantum light source, with both time arguments of every Green's function sharing one source history.","keywords":["Floquet Green's functions","quantum light","Gaussian states","squeezed vacuum","Peierls substitution","Sambe space","nonequilibrium Green's functions","quantum Floquet engineering"],"falsifier":"Solve the coupled electron-photon Lindblad problem for the same one-dimensional chain with electron-induced photon polarization retained, and compare the retarded spectrum, lesser spectrum, and equal-time occupancy with Eqs. (101)-(112); an observable discrepancy in a regime where the electron-induced photon self-energy is not small compared with the photon linewidth $\\kappa$ would falsify the prescribed-source framework. A more direct experiment would be time-resolved photoemission of a squeezed-vacuum-driven chain searching for the predicted multitime satellite ridge near $\\omega\\approx +0.75\\cos k$ at $\\kappa=0.1$.","tokens_in":49395,"feed_emoji":"⚛️","tokens_out":12396,"duration_ms":101598,"temperature":0.7,"pith_summary":"This paper sets out to give Floquet engineering of lattice electrons a formalism that works when the driving light is a quantum source rather than a classical field. It constructs Floquet Green's functions for a single-band lattice driven by a reservoir-stabilized Gaussian photon source—coherent, squeezed-vacuum, or squeezed-coherent—while keeping the full quantized Peierls coupling exponential and never expanding in the coupling strength. The defining move is shared history: the two time arguments of a Green's function are propagated on one source trajectory, with the lesser and greater components obtained by convolving a shared-history four-endpoint kernel with continuous bath kernels and the retarded and advanced components closed through the bath canonical anticommutation relation. In the joint limit $\\lambda\\to0$, $|\\alpha_0|\\to\\infty$ at fixed classical Peierls phase, classical Floquet theory is recovered. On a minimal one-dimensional chain, the resulting spectra satisfy positivity and fermionic bounds, and the squeezing parameter and phase act as control knobs beyond classical amplitude modulation.","feed_headline":"Squeezed light reshapes electron spectra beyond classical drive","feed_subtitle":"One source history drives both time legs, opening squeezing as a new Floquet control knob.","key_machinery":"The carrying object is the shared-history four-endpoint kernel $P^{\\mathrm{SH}}_k(t,t';s,s')$ together with the equal-time covariance $W_k(t)$ that the bath canonical anticommutation relation produces. The kernel is assembled from four active-leg sectors $(0,L,R,LR)$ and six chronological orderings of the two bath-injection and two observation times; both legs are propagated on one shared Kraus sequence, so the two time arguments never factor into independent source averages. The bath CAR identity converts the contact parts of the wide-band lesser and greater self-energies into a first-order periodic equation for $W_k(t)$, and the retarded component is the one-leg evaluation $G^R_k(t,t')=-i\\Theta(t-t')\\langle\\langle I_{\\mathrm{ph}}|U_L(t,t')|W_k(t')\\rangle\\rangle$. The same sector resolvents are then represented in Sambe space, where the six orderings carry fixed resolvent frequencies and the observable spectra are read out from the $m=0$ harmonic blocks.","core_discovery":"The central claim is that Eqs. (101) and (112) define a consistent Floquet Green's-function framework for a prescribed Gaussian quantum light source. The lesser and greater components are obtained by convolving a shared-history four-endpoint kernel with the continuous reservoir kernels before the final source trace, while the bath canonical anticommutation relation supplies a periodic equal-time covariance $W_k(t)$ that seeds the retarded and advanced one-leg propagations. The source is prescribed externally—it is not updated by many-electron polarization—but the active probe still conditions the source evolution through the Peierls link, and the two Keldysh legs are driven by one shared Kraus sequence. The construction preserves positivity of the lesser and greater kernels, the Pauli bound $0\\le n_k(t)\\le 1$, and the fermionic CAR, and admits a quasifree CAR realization at the two-point level. In the joint classical limit $\\lambda\\to0$, $|\\alpha_0|\\to\\infty$ at fixed $A_{\\mathrm{cl}}=2\\lambda|\\alpha_0|$, it reduces to standard classical Floquet theory. Numerical calculations on a one-dimensional chain show finite-coupling coherent-source corrections, spectral reconstruction by squeezed vacuum, and squeezing-phase-dependent sideband and occupancy changes.","pith_inferences":["If the framework is correct, cavity and circuit-QED platforms could use source-state engineering rather than drive amplitude alone: tuning the squeezing phase relative to the carrier phase and the photon linewidth should switch between nearly classical and strongly reconstructed electronic Floquet spectra.","The classical limit being a large-mode-volume limit rather than a large-photon-number limit suggests that bright cavity fields are not automatically classical; experiments that vary mode volume at fixed photon number could separate mean-link from multitime quantum-source effects.","A testable extension would be to benchmark the framework's small-$\\lambda e^r$ limit against Born and self-consistent Born approximations: the shared-history and SCBA spectra should converge there, so any residual deviation would signal nonperturbative squeezed-fluctuation physics beyond weak-coupling self-energies."],"forward_implications":["Coherent Gaussian drives reproduce classical Floquet theory in the joint limit $\\lambda\\to0$, $|\\alpha_0|\\to\\infty$ at fixed $A_{\\mathrm{cl}}$, and finite-$\\lambda$ coherent sources show quantum corrections that redistribute spectral weight among the Floquet sidebands.","Squeezed vacuum, with zero coherent amplitude, reconstructs the retarded spectrum; the relevant fluctuation scale is $\\lambda e^r$ rather than the bare coupling $\\lambda$, so a small bare coupling can still produce nonperturbative quantum-source effects.","The squeezing parameter $r$ and squeezing phase $\\phi_0$ constitute control knobs beyond the classical amplitude: the phase distinguishes amplitude-squeezed from phase-squeezed coherent sources in both sideband structure and occupied weight.","The source damping rate $\\kappa$, which enters only through multitime source correlations, changes the shared-history spectra even when the one-time mean link is fixed, so it is an experimentally accessible knob invisible to deterministic mean-link Floquet theory.","The constructed two-point functions satisfy positivity, the Pauli bound, the fermionic CAR, and a retarded sum rule within the reported numerical accuracy, and admit a quasifree CAR realization."],"supporting_citations":[{"why":"Supplies the Floquet-space representation in which the sector resolvents and Green's-function harmonics are defined.","marker":"[5]"},{"why":"Provides the dissipative Floquet Green's-function method that the coherent limit of the framework recovers.","marker":"[10]"},{"why":"Supplies the Keldysh component definitions, wide-band bath self-energies, and Floquet conventions used throughout the derivation.","marker":"[12]"},{"why":"Supplies Gaussian-state identities, the zero-temperature Lindblad damping channel, and the quantum regression theorem used for the prescribed source.","marker":"[42]"},{"why":"Makes the case for keeping the quantized Peierls link nonperturbatively through an exactly solvable single-band cavity chain.","marker":"[55]"},{"why":"Provides the influence-functional structure that underlies sharing one environmental history between the two Keldysh legs.","marker":"[67]"},{"why":"Provides the operator-sum representation on which the shared Kraus sequence and the positivity proof are built.","marker":"[91]"},{"why":"Underpins the quasifree CAR realization that presents the two-point kernels as fermionic Gaussian correlations.","marker":"[94]"}],"fun_headline_variants":["Squeezed light tunes electron Floquet bands","Quantum light adds squeezing knob to Floquet engineering","Squeezed vacuum reconstructs electron spectra in Floquet drive","Quantum Floquet framework: squeezing controls sidebands and occupancy","Squeezing knob for quantum light-driven Floquet electrons"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The photon state is prescribed externally and electron-induced backaction on the source is neglected; the paper does not attempt to establish for concrete parameters when the photon linewidth is large enough for that neglect to be controlled.","fun_headline_variants_meta":{"raw":{"variants":["Squeezed light tunes electron Floquet bands","Quantum light adds squeezing knob to Floquet engineering","Squeezed vacuum reconstructs electron spectra in Floquet drive","Quantum Floquet framework: squeezing controls sidebands and occupancy","Squeezing knob for quantum light-driven Floquet electrons"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000912,"raw_usage":{"total_tokens":3954,"prompt_tokens":1014,"completion_tokens":2940,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":630,"completion_tokens_details":{"reasoning_tokens":2857}},"tokens_in":630,"tokens_out":2940,"duration_ms":19000,"temperature":1.0,"reasoning_tokens":2857,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T04:24:09.549553+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the coupled electron-photon Lindblad problem for the same one-dimensional chain with electron-induced photon polarization retained, and compare the retarded spectrum, lesser spectrum, and equal-time occupancy with Eqs. (101)-(112); an observable discrepancy in a regime where the electron-induced photon self-energy is not small compared with the photon linewidth $\\kappa$ would falsify the prescribed-source framework. A more direct experiment would be time-resolved photoemission of a squeezed-vacuum-driven chain searching for the predicted multitime satellite ridge near $\\omega\\approx +0.75\\cos k$ at $\\kappa=0.1$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Makes the case for keeping the quantized Peierls link nonperturbatively through an exactly solvable single-band cavity chain."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the influence-functional structure that underlies sharing one environmental history between the two Keldysh legs."},{"cited_title":"Araki and W","cited_arxiv_id":null,"evidence_quote":"Underpins the quasifree CAR realization that presents the two-point kernels as fermionic Gaussian correlations."}],"review_version":1}