{"id":"049323e0-7735-4cb8-b6ca-213f6cb3423b","arxiv_id":"1908.03217","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The topological response of 2D chiral Floquet drives is a Schwinger-Keldysh theta term with coefficient Θ(α) = π(1 - tanh(α/2)), quantized by particle-hole symmetry.","lead":"The authors develop a response-field-theory framework for topological Floquet systems by coupling two Schwinger-Keldysh copies of the drive to background gauge fields. For 2D chiral Floquet drives they derive a quantized theta-term response and show it matches and extends known quantized magnetization results.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central gap is the unproven locality of W[A1,A2] for many-body localized Floquet systems; the numerical stability test in Sec. II.D only simulates non-interacting fermions, so it does not test the interacting MBL assumption.","rationale":"The reader's weakest-assumption analysis correctly identifies the locality of the Schwinger-Keldysh generating functional for many-body localized Floquet systems as the load-bearing premise. The exact computation for the ideal chiral Floquet drive, including the matching to the magnetization result of Ref. [22], gives real independent support for the theta-term structure in a special solvable limit. However, the paper's stability claim for generic MBL systems requires W to be a local functional, and this is only asserted as an expectation. The deformation argument in Sec. II.C is conditional on that local form; if nonlocal terms are generated by interactions, the derivative expansion and the conclusion that Θ is unchanged both fail. The numerical section does not close this gap because the simulated Hamiltonian (56) is non-interacting. I therefore see no reason to move the reader's CONDITIONAL verdict: the central derivation is solid, the generalization is plausible, but the many-body locality step remains unproven and the numerical evidence does not address it.","tokens_in":30510,"tokens_out":18577,"duration_ms":231880,"concrete_test":"Perform exact diagonalization on a small disordered chiral Floquet system with interactions, e.g. Eq. (56) plus a density-density coupling V∑_{<rr'>} n_r n_{r'}, on a cylinder. Insert two localized fluxes φ and -φ separated by distance d and compute W(φ,-φ) - W(φ) - W(-φ) from Eq. (6). Locality predicts this combination decays with d; if it does not, Sec. I.B.c's locality premise fails. Also extract Θ from the linear slope in φ and check whether it remains π - π tanh(α/2) as V and disorder W are varied while the localization diagnostic g(r) of Eq. (58) stays nonzero.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's exact calculation of the theta angle for the ideal chiral Floquet drive is internally consistent, and the SWAP and p,q generalizations are instructive. The central claim, however, is that the Schwinger-Keldysh generating functional W[A1,A2] for generic many-body localized Floquet systems is local and that the first-derivative term (17) exhausts the topological response. This is introduced as an expectation in Sec. I.B.c ('as far as the system localizes, we expect W to be a local functional'), not derived. The assumption is load-bearing in two places. First, the continuum effective action (29) is obtained by keeping only the linear term of the exact ideal-model result; for an interacting MBL system there is no analogous control of higher-order or nonlocal terms. Second, the deformation-stability proof in Sec. II.C assumes the local form (52) with a position-dependent Θ(α,r), then uses a trace identity to show ∇Θ=0. If W develops nonlocal contributions under deformation, the conclusion that Θ is invariant does not follow. The numerical support in Sec. II.D uses Hamiltonian (56), which is quadratic: the added disorder and sublattice terms are single-particle potentials, and no interaction term is present. These numerics test Anderson localization, not the interacting many-body locality assumption. The generalization to interacting MBL systems is therefore plausible but unsupported, and the paper's own wording ('we expect') flags the missing step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a Schwinger-Keldysh effective response theory for Floquet systems by coupling the forward and backward time evolutions to independent background U(1) gauge fields A1 and A2 and studying W[A1,A2] = -i log Z[A1,A2]. For a two-dimensional chiral Floquet drive, the authors compute the generating functional exactly and extract the leading topological term W = Θ(α)/(2π) ∫ (dt/T) ∫ d²r (B1-B2), with Θ(α) = π - π tanh(α/2), quantized for α = 0 by an on-site particle-hole symmetry. They verify that the corresponding magnetization matches the quantized magnetization of Nathan et al., analyze open-boundary systems, argue stability under localization-preserving deformations, present numerical disorder tests, and generalize the response to p,q drives. The paper also proposes a geometric response (energy magnetization) and a time-ordering-sensitive topological coupling in 6+1 dimensions, and connects the formalism to group-cohomology models and the channel-state map in the appendices.","tokens_in":30814,"tokens_out":3039,"duration_ms":39302,"significance":"If the central claim holds, the paper provides a genuinely many-body topological invariant for Floquet drives that is computable from a microscopic model without fitting parameters, and it places chiral Floquet response on the same footing as static topological response theory. The exact evaluation of Θ(α) for the ideal chiral model, the reproduction of the quantized magnetization of Ref. [22], the extension to p,q drives reproducing the chiral unitary index, and the explicit group-cohomology construction are concrete and valuable achievements. The proposed geometric and time-ordering-sensitive response terms are thought-provoking extensions even though no microscopic realization is provided. The main weakness is that the paper’s broad claim of locality for many-body localized systems is asserted rather than derived, and the numerical evidence is restricted to noninteracting fermions.","major_comments":[{"comment":"The locality of the Schwinger-Keldysh generating functional W[A1,A2] for many-body localized Floquet systems is the load-bearing assumption of the paper, yet it is introduced only as an expectation (“as far as the system localizes, we expect the generating functional W to be a local functional”, Sec. I.B.c). This assumption is then used to keep only the first-derivative term (17) and to write the position-dependent local form (52) in the deformation-stability argument. If nonlocal terms appear in the derivative expansion, the extraction of the theta term and the proof that Θ(α) is deformation-invariant both fail. The manuscript should either provide a microscopic argument for locality based on many-body localization (e.g., l-bit structure or Lieb-Robinson-type bounds) or explicitly restrict the central claims to the class of models where locality can be proven.","section":"Sec. I.B.c and Sec. II.C, Eq. (52)"},{"comment":"The numerical stability tests use the Hamiltonian (56), which is quadratic: the added disorder and sublattice terms are single-particle potentials and no interaction term is present. These simulations therefore probe Anderson localization, not the interacting many-body localization that the locality assumption requires. The paper’s own wording in Sec. II.D (“the disorder term, when sufficiently strong, guarantees localization”) refers to single-particle localization. This numerical evidence cannot support the claim that the response is stable for generic interacting MBL Floquet systems, and the manuscript should state this limitation clearly or supply interacting numerical results.","section":"Sec. II.D, Hamiltonian (56) and Figs. 5-6"},{"comment":"The deformation-stability argument in Sec. II.C assumes the local functional form (52) and then shows that the trace of the current operator vanishes on a closed manifold. This does not by itself prove that W remains local under deformation: the current vanishing is a necessary, not sufficient, condition for the assumed local form. The argument would need an additional step showing that nonlocal contributions to W cannot arise while the system remains MBL, or that any nonlocal contribution is irrelevant for the response. Without this step, the claim that Θ(α) is independent of all localization-preserving deformations is not established.","section":"Sec. II.C, Eq. (55)"}],"minor_comments":[{"comment":"The notation ∫ dt in Eq. (27) is explained only in the following paragraph; it would be clearer to write ∫_{-κT}^{κT} dt explicitly at the first occurrence.","section":"Sec. II.A, Eq. (27)"},{"comment":"The discussion of the periodicity Θ(α) ≅ Θ(α) + 2π relies on special features of the ideal model and on a deformation argument that is not yet proven for interacting systems; the text should flag this dependency at that point rather than appearing to give a complete proof.","section":"Sec. II.A, paragraph after Eq. (29)"},{"comment":"The ratio of 1/2 between the full-trace magnetization (48) and the N-particle magnetization (51) is important, but the text explains it only briefly; a short comment identifying the origin of the factor (e.g., the particle-hole symmetrized density matrix) would help the reader.","section":"Sec. II.B.2, Eqs. (48) and (51)"},{"comment":"The status of the 6+1-dimensional time-ordering-sensitive term is only conjectural, as the authors state. It would be useful to add a sentence in Sec. III.B clarifying whether any known microscopic Floquet model is expected to realize c3 ≠ 0.","section":"Sec. III.B, Eq. (79)"},{"comment":"The derivation of the group-cohomology response action is clear, but the sentence “in harmony with (29)” is somewhat informal; spelling out the sense in which the factorized form A23 matches the continuum theta term would improve readability.","section":"Appendix A, Eq. (A23)"}],"recommendation":"major_revision","confidential_remarks":"This is a strong and creative paper with an exact computation that is internally consistent and a clear picture of the topological response for the ideal chiral Floquet model. The main reservation is the gap between the broad claims for interacting many-body localized systems and the evidence provided: the locality of W is assumed, and the numerics are noninteracting. I do not think the paper should be rejected, but the authors should either prove or properly scope the locality assumption and adjust the claims accordingly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the paper has a genuine, exact result — the Schwinger-Keldysh response coefficient Θ(α)=π−π tanh(α/2) for the ideal chiral Floquet drive — and the application to p/q drives is new and convincing. The advertised extension to interacting many-body localized systems is plausibly true but not established; treat it as a conjecture with supporting evidence, not as the main theorem.\n\nThe exact calculation in Sec. II A is clean. There are no fitted parameters; the result is cross-checked against the independent quantized magnetization of Nathan et al., including the factor-of-two issue when going from the full Hilbert space to fixed particle number. The p/q generalization in Sec. II E, which recovers the chiral unitary index, is a substantive step beyond the single-particle winding-number story. The group-cohomology construction in Appendix A is a useful byproduct, even though it covers only factorized responses. The citation practice looks fair, including the explicit note about concurrent work [42].\n\nThe soft spot is the locality assumption. In Sec. I.B.c the paper says “we expect” W to be a local functional for localized systems, and the deformation-stability proof in Sec. II.C starts from the local form (52). If W develops nonlocal contributions under deformation, the conclusion that Θ cannot change does not follow. This is not a fatal flaw in the context of Floquet MBL, where locality of the effective action is commonly assumed, but it is an assumption, not a derivation. The numerical test in Sec. II.D uses a quadratic Hamiltonian (56), so it tests single-particle Anderson localization, not interacting MBL; 20 disorder realizations, no error bars, and no code make it suggestive rather than conclusive. The authors themselves flag these points, which is honest.\n\nSection III is explicitly speculative, and the paper says so. The proposals there are harder to evaluate because no microscopic realization is given, but they are clearly labeled as future work.\n\nWho this is for: anyone working on Floquet topological phases or on Schwinger-Keldysh response theory. It deserves a serious referee. I would send it to review with a clear request: either soften the MBL claim to a conjecture or supply a genuine interacting check; if the numerics are meant to be load-bearing, add error bars or release code. With that, this can be a good paper.","headline":"A real exact result for Floquet chiral response, wrapped in an over-broad many-body claim that the authors themselves flag.","tokens_in":31352,"tokens_out":2664,"would_cite":true,"duration_ms":27162,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"For 2D chiral Floquet drives, the Schwinger-Keldysh generating functional reduces to a local theta term $W=\\frac{\\Theta(\\alpha)}{2\\pi}\\int \\frac{dt}{T}\\,d^2r\\,(B_1-B_2)$ with $\\Theta(\\alpha)=\\pi-\\pi\\tanh(\\alpha/2)$, quantized by…","keywords":["Schwinger-Keldysh formalism","Floquet topological phases","topological response theory","theta term","many-body localization","anomalous Floquet-Anderson insulator","group cohomology","quantized magnetization"],"falsifier":"Insert a pair of localized magnetic fluxes $\\pm\\phi$ into a chiral Floquet drive on a torus with $\\alpha=0$ and measure the stroboscopic Schwinger-Keldysh partition function; the theory predicts $Z=\\tfrac12(1+\\cos\\phi)$, which vanishes identically at $\\phi=\\pi$. Any deviation from this value at long times would falsify the claim that the response is fully captured by the local $\\theta$ term.","tokens_in":30301,"feed_emoji":"🧲","tokens_out":7304,"duration_ms":71066,"temperature":0.7,"pith_summary":"This paper tries to show that periodically driven (Floquet) topological phases can be described by an effective response theory built on the Schwinger-Keldysh formalism, the natural tool for far-from-equilibrium systems. For the two-dimensional chiral Floquet drive (the anomalous Floquet-Anderson insulator), the authors compute the generating functional $W[A_1,A_2]$ and identify its topological part as a single local $\\theta$ term with coefficient $\\Theta(\\alpha)=\\pi-\\pi\\tanh(\\alpha/2)$. On-site particle-hole symmetry quantizes the zero-temperature coefficient to $\\pi$, and many-body localization guarantees stability under continuous deformations, so the term serves as a many-body topological invariant for Floquet unitaries. A sympathetic reader would care because this gives a diagnostic of Floquet topology that does not rely on free-fermion band theory, and it connects topology to measurable responses such as quantized magnetization. The same framework is applied to group-cohomology models, where the response actions are classified by $H^d(G,U(1))$.","feed_headline":"A single theta term captures 2D Floquet topology","feed_subtitle":"Particle-hole symmetry pins its coefficient to π; localization makes it a stable many-body invariant.","key_machinery":"The machinery is the Schwinger-Keldysh doubling: two independent background $U(1)$ gauge fields $A_1$ and $A_2$ couple respectively to the forward evolution $U(A_1)$ and backward evolution $U^\\dagger(A_2)$ in $Z[A_1,A_2]=\\mathrm{Tr}[U(A_1)\\rho_0 U^\\dagger(A_2)]$, with $\\rho_0=e^{\\alpha Q}/\\mathrm{Tr}\\,e^{\\alpha Q}$ an infinite-temperature Gibbs state. Writing $W=-i\\log Z$ and switching to the Keldysh combination $A_a=A_1-A_2$, the leading derivative term is a topological $\\theta$ term in the magnetic field $B_a=\\epsilon^{ij}\\partial_i A_{aj}$; locality from many-body localization justifies the derivative expansion, particle-hole symmetry quantizes the coefficient, and the vanishing of the disorder-averaged current under deformations proves its stability.","core_discovery":"The central claim is that the Schwinger-Keldysh generating functional $W[A_1,A_2]=-i\\log Z[A_1,A_2]$ for many-body localized Floquet systems is a local functional of the two background gauge fields and encodes the system's topology. For the 2D chiral Floquet drive, the exact microscopic result reduces, for slowly varying gauge fields, to a topological $\\theta$ term $W = \\frac{\\Theta(\\alpha)}{2\\pi}\\int\\frac{dt}{T}\\int d^2r\\,(B_1(r)-B_2(r))$ with $\\Theta(\\alpha)=\\pi-\\pi\\tanh(\\alpha/2)$, where $B_s$ is the magnetic field of copy $s$ and $\\alpha$ the chemical potential carried by the initial Gibbs ensemble. The term is quantized by a unitary on-site particle-hole symmetry and, by a locality-plus-current-conservation argument, cannot change under continuous deformations that preserve many-body localization. The coefficient is therefore a many-body invariant: at $\\alpha=0$, $\\Theta=\\pi$, and the bulk averaged magnetization is half-quantized, doubling to $\\theta/\\pi$ in the fixed-particle-number sector. The paper further shows that the same response theory reproduces the rational (chiral unitary) index of multi-species $p,q$ drives, and that group-cohomology Floquet unitaries yield response actions valued in $H^d(G,U(1))$.","pith_inferences":["Because the locality argument uses only many-body localization and not time periodicity, the same theta-term response should appear in aperiodic but localized drives; a natural test is to add slow time-dependent noise to the hopping phases and check that the long-time phase of $Z$ still saturates to $\\Theta(\\alpha)$.","The non-factorized, time-ordering-sensitive terms found in higher dimensions (the $c_3$ term in 6+1d) suggest a hierarchy of Floquet topological responses beyond the factorized subset; dimensional reduction of those terms could predict new quantized responses in lower dimensions that await microscopic models.","The singular-flux prediction $Z[A,0]=\\tfrac12(1+\\cos\\phi)$ at $\\alpha=0$, which vanishes at $\\phi=\\pi$, is a sharp experimental fingerprint: a cold-atom or photonic realization of the chiral Floquet drive should show a complete suppression of the stroboscopic partition function when a $\\pi$-flux pair is inserted.","The channel-state map formulation suggests that Floquet unitaries in class A map to static AIII systems in one higher dimension, so the full tenfold-way classification of static SPT phases could be imported to systematically enumerate Floquet response actions."],"forward_implications":["The theta coefficient $\\Theta(\\alpha)$ provides a many-body topological invariant for Floquet unitaries that is defined without single-particle band structure and remains meaningful in strongly interacting localized systems.","The response is measurable: at stroboscopic times the partition-function amplitude approaches unity and its phase approaches $\\Theta(\\alpha)$, and the bulk averaged magnetization is given by $-\\Theta(\\alpha)/(2\\pi T)$, half-quantized at $\\alpha=0$.","The invariant is stable: disorder and local perturbations that preserve many-body localization leave $\\Theta(\\alpha)$ unchanged, as confirmed numerically for the chiral Floquet model.","For multi-species drives the response coefficient $\\Theta_{p,q}(\\alpha)$ depends only on the ratio $p/q$ of coprime factors, reproducing the chiral unitary index as a response-theoretic quantity.","Group-cohomology Floquet drives realize response actions labeled by $H^d(G,U(1))$, matching the proposed classification of Floquet topological phases."],"supporting_citations":[{"why":"Introduces the chiral Floquet drive model whose micrometer-scale plaquette motion is the base for the exact calculation.","marker":"[20]"},{"why":"Provides the quantized magnetization density benchmark that the theta-term response reproduces and generalizes to arbitrary particle number.","marker":"[22]"},{"why":"Shows chiral Floquet phases exist for many-body localized bosons, supporting the claim that the response is not limited to free fermions.","marker":"[23]"},{"why":"Supplies the swap-operator models of Floquet topological order used to build the $p,q$ multi-species drives.","marker":"[40]"},{"why":"Gives the group-cohomology construction of Floquet topological phases in all dimensions that the appendix extends in the Schwinger-Keldysh setting.","marker":"[19]"},{"why":"Identifies the anomalous Floquet-Anderson insulator as a nonadiabatic quantized charge pump, the target class of systems for the 2D analysis.","marker":"[21]"},{"why":"Supplies the Schwinger-Keldysh formalism and the background-field method on which the whole response-theory construction rests.","marker":"[30]"},{"why":"Establishes the static theta-term response of topological insulators whose symmetry-quantization logic is adapted to the Floquet case.","marker":"[27]"}],"fun_headline_variants":["Theta coefficient pinned to pi by symmetry","Schwinger-Keldysh captures Floquet topology","Quantized theta term from Floquet response","Many-body invariant for 2D Floquet systems","Symmetry pins Floquet theta to pi exactly"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The chain of reasoning relies on many-body localization making the Schwinger-Keldysh generating functional a local functional of $A_1$ and $A_2$, so that the first-derivative theta term exhausts the topological response; if the system delocalizes or the functional acquires long-range terms, quantization and stability no longer follow.","fun_headline_variants_meta":{"raw":{"variants":["Theta coefficient pinned to pi by symmetry","Schwinger-Keldysh captures Floquet topology","Quantized theta term from Floquet response","Many-body invariant for 2D Floquet systems","Symmetry pins Floquet theta to pi exactly"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000393,"raw_usage":{"total_tokens":2062,"prompt_tokens":940,"completion_tokens":1122,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":556,"completion_tokens_details":{"reasoning_tokens":1047}},"tokens_in":556,"tokens_out":1122,"duration_ms":8205,"temperature":1.0,"reasoning_tokens":1047,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:21:40.732905+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Insert a pair of localized magnetic fluxes $\\pm\\phi$ into a chiral Floquet drive on a torus with $\\alpha=0$ and measure the stroboscopic Schwinger-Keldysh partition function; the theory predicts $Z=\\tfrac12(1+\\cos\\phi)$, which vanishes identically at $\\phi=\\pi$. Any deviation from this value at long times would falsify the claim that the response is fully captured by the local $\\theta$ term.","supporting_citations":[{"cited_title":"Abelian Floquet symmetry- protected topological phases in one dimension,","cited_arxiv_id":null,"evidence_quote":"Introduces the chiral Floquet drive model whose micrometer-scale plaquette motion is the base for the exact calculation."},{"cited_title":"Phase structure of one-dimensional interacting Floquet systems. I. Abelian symmetry-protected topological phases,","cited_arxiv_id":null,"evidence_quote":"Provides the quantized magnetization density benchmark that the theta-term response reproduces and generalizes to arbitrary particle number."},{"cited_title":"Phase structure of one-dimensional interacting Floquet systems. II. Symmetry-broken phases,","cited_arxiv_id":null,"evidence_quote":"Shows chiral Floquet phases exist for many-body localized bosons, supporting the claim that the response is not limited to free fermions."},{"cited_title":"There again, we identify topological response actions which are elements of Hd(G,U (1)), in agreement with the previous claim [13–15]","cited_arxiv_id":null,"evidence_quote":"Gives the group-cohomology construction of Floquet topological phases in all dimensions that the appendix extends in the Schwinger-Keldysh setting."},{"cited_title":"Absolute stability and spatiotemporal long-range order in Floquet systems,","cited_arxiv_id":null,"evidence_quote":"Identifies the anomalous Floquet-Anderson insulator as a nonadiabatic quantized charge pump, the target class of systems for the 2D analysis."},{"cited_title":"Quantized Magnetization Density in Periodically Driven Systems,","cited_arxiv_id":null,"evidence_quote":"Supplies the Schwinger-Keldysh formalism and the background-field method on which the whole response-theory construction rests."},{"cited_title":"Floquet topological phases with symmetry in all dimensions,","cited_arxiv_id":null,"evidence_quote":"Establishes the static theta-term response of topological insulators whose symmetry-quantization logic is adapted to the Floquet case."}],"review_version":1}