{"id":"e56fb145-f6cd-47f3-8f1c-e34866025376","arxiv_id":"2412.06133","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Monitored free fermions are classified into the tenfold symmetry/topology table, with bulk-boundary correspondence appearing as Lyapunov zero modes and chiral edge modes.","lead":"This paper classifies the symmetry and topology of monitored free-fermion quantum circuits, placing them in a tenfold periodic table analogous to topological insulators. It shows that nontrivial spacetime topology manifests as gapless modes in Lyapunov spectra and slows down dynamical purification, with numerical support in 1+1 and 2+1 dimensions.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The L_t–\\bar H_t topological equivalence rests on an unproven, uncited claim that nonlocality of \\bar H_t is irrelevant; if false, the predicted steady-state topology and boundary Lyapunov modes lose support.","rationale":"The reader's weakest_assumption correctly identifies the unproven nonlocality assertion as a key vulnerability. The strongest claim is the bulk-boundary correspondence: nontrivial spacetime topology of L_t produces nontrivial steady states and gapless Lyapunov boundary modes. The logical chain is: L_t classification (Table II) -> equivalence to \\bar H_t classification -> \\bar H_t gap under PBC versus gapless under OBC -> steady state built from \\bar H_t eigenvectors -> local Chern markers and purification slowdown. The unproven nonlocality assertion is unique to the second step. In contrast, the spectral-gap versus mobility-gap issue is a standard assumption in disordered topological phases, and the paper at least gives an argument (localized in-gap states do not affect topology) with references to analogous results. The nonlocality statement is simply asserted, with a broken citation. If \\bar H_t is genuinely nonlocal, the dimension-dependent homotopy groups in Table II no longer apply to it, and the local markers used in Figs. 1-2 measure a different object. The numerical tests support the specific models but cannot establish the general claim. The proposed computation would directly test whether the topology of \\bar H_T agrees with that of L_t in a disordered, genuinely time-dependent setting. Therefore the central claim is plausible but conditional on proving or carefully stating the locality/quasi-locality of \\bar H_t and its relevance to topology. We thus keep the verdict at CONDITIONAL; no adjustment is needed.","tokens_in":26610,"tokens_out":8333,"duration_ms":87658,"concrete_test":"In the existing 2+1D class-A random monitored circuit of Fig. 2(c,d), for a fixed disorder realization and a long but finite T, construct \\bar H_T = (1/T) log K[0,T] via a high-accuracy matrix logarithm. First, measure the spatial decay of the matrix elements |(\\bar H_T)_{r,r'}| versus distance; if decay is not exponential, nonlocality is present. Second, compute the local Chern marker of \\bar H_T from its exact eigenvectors using the same local formula as in Sec. VI of the Supplemental Material, and compare it with the steady-state Chern marker and with the spacetime winding number of L_t. If the marker of \\bar H_T is not quantized or differs from the L_t invariant across multiple disorder realizations, the claim that nonlocality is irrelevant is falsified; if it matches, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central derivation equates the (d+1)-dimensional point-gap topology of L_t with the d-dimensional real-line-gap topology of \\bar H_t, defined by K[0,t] = e^{\\bar H_t t}. The main text asserts \"The possible nonlocality of \\bar H_t is irrelevant to the topological classification [ ? ]\" (Topology section), but no proof or citation is supplied; the placeholder bracket marks missing support. This assertion is load-bearing: it is the only bridge from Table II (spacetime classification of L_t) to the steady-state correlation function C = (1/2)QEQ† and to the bulk-boundary correspondence in Lyapunov spectra. Without locality (or at least quasi-locality) of \\bar H_t, the d-dimensional homotopy classification via \\pi_0(C_{s-1-d}) need not apply, local topological markers can fail, and the steady state need not encode the spacetime topology. Appendix C shows \\bar H_t can be deformed to a flat Hermitian operator pointwise via Schur decomposition, but that argument does not control spatial locality or temporal fluctuations. The supplemental material additionally assumes time-translation invariance and translation invariance for the invariants (Sec. III), which the random monitored dynamics does not generally possess. The numerical models (1+1D BDI/D and 2+1D A) are either translation-invariant or weakly disordered and do not stress the nonlocality of \\bar H_t; hence they do not resolve the concern.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes a tenfold symmetry and topology classification for monitored free-fermion dynamics. The authors introduce single-particle Kraus operators K_t and effective non-Hermitian generators L_t, identify the symmetry constraints preserved along quantum trajectories (Eqs. 3–5), and derive classifying spaces for both L_t and the time-averaged generator \\bar H_t defined by K[0,t]=e^{\\bar H_t t}. They then argue that the point-gap topology of L_t in (d+1)-dimensional spacetime is equivalent to the real-line-gap topology of \\bar H_t in d spatial dimensions, yielding Table II. They further claim a bulk-boundary correspondence: nontrivial spacetime topology produces topologically nontrivial steady states and gapless Lyapunov boundary modes, which they illustrate in 1+1-dimensional Majorana chains (classes BDI and D) and 2+1-dimensional complex fermions (class A).","tokens_in":26885,"tokens_out":2617,"duration_ms":28795,"significance":"If the central equivalence between the topology of L_t and \\bar H_t holds in full generality, this paper provides a useful unifying framework that connects non-Hermitian classification, monitored dynamics, measurement-induced transitions, and nonlinear sigma models. The algebraic derivations in Appendices B and C are clean and internally consistent, and the numerical demonstrations with local topological markers (Z and Z2 indices, Chern markers) are concrete and reproducible in structure. The identification of potential topological terms in nonlinear sigma models is an insightful contribution. However, the paper's main result rests on assumptions about spectral gaps and locality of \\bar H_t that are not established analytically; the numerical models are either translation-invariant or weakly disordered and therefore do not probe the most general regime the classification claims to cover.","major_comments":[{"comment":"The sentence 'The possible nonlocality of \\bar H_t is irrelevant to the topological classification [ ? ]' is a load-bearing assertion but is stated without proof or citation. If \\bar H_t is nonlocal, the d-dimensional homotopy classification via \\pi_0(C_{s-1-d}) or \\pi_0(R_{s-1-d}) need not apply, and the bulk-boundary correspondence in Lyapunov spectra and the steady-state correlation function C=(1/2)QEQ^† may fail to encode the spacetime topology. Appendix C demonstrates only pointwise deformability of \\bar H_t via Schur decomposition; it does not control spatial locality or temporal fluctuations. Please either supply a proof that nonlocality does not affect the relevant topologically protected properties, or state and justify the restricted class of dynamics (e.g., quasi-local \\bar H_t) for which the classification holds.","section":"Topology (main text, after Eq. \"K[0,t] =: e^{\\bar H_t t}\")"},{"comment":"The reduction from a mobility gap to a spectral gap is assumed: 'we assume a spectral gap since localized in-gap states do not affect topology generally.' This statement is not proven and is not obviously valid for non-Hermitian point-gap topology, where localized states can still contribute to point-gap invariants (e.g., through non-Hermitian skin-effect mechanisms). Since the purification time argument (τ_P = 2/min|η_n|) only establishes the absence of extended zero modes, not the irrelevance of all in-gap localized states, the derivation of Table II is conditional on this unproven assumption. Please justify this reduction or impose the spectral-gap condition as an explicit hypothesis in the statement of the classification.","section":"Appendix B (classifying space of L_t)"},{"comment":"The topological invariants are derived under the assumptions of time-translation invariance and spatial translation invariance of \\bar H_t ('for convenience'). These assumptions are not satisfied by generic monitored dynamics, which the main text emphasizes contains spacetime randomness. The numerical examples either preserve translation invariance (the uniform 2+1D case) or have weak disorder (W=0.4) and do not test the regime where these symmetries are strongly broken. Consequently, the paper does not establish that the proposed invariants remain well-defined and topological for generic monitored free fermions. A stability argument under broken translation/time-translation invariance, or a clear restriction of the classification's domain, is needed.","section":"Supplemental Material, Sec. III (Topological invariants of L_t and \\bar H_t)"}],"minor_comments":[{"comment":"The citation placeholder '[ ? ]' in the sentence about nonlocality of \\bar H_t appears to be an unintended remnant of the manuscript preparation; it should be replaced with a proper citation or the statement removed.","section":"Main text, Topology section"},{"comment":"The word 'receptively' should be 'respectively' in the sentence 'the classifying spaces are C1, R1, and R5, receptively.'","section":"Supplemental Material, Sec. II.B"},{"comment":"The notation N and M for the numbers of eigenvalues with positive and negative real parts collides with the symbol N used elsewhere for the number of fermion modes; this can confuse the reader and should be changed (e.g., to N_+ and N_-).","section":"Appendix C (main text)"},{"comment":"The caption states that \\bar H_t and L_t share the same symmetry but form different classifying spaces; it would be helpful to state explicitly that the gap structures are point gap (for L_t) versus real line gap (for \\bar H_t), since this is the reason for the different classifying spaces.","section":"Table I"}],"recommendation":"major_revision","confidential_remarks":"The manuscript contains a genuinely promising framework, and the algebraic core is sound, but the unproven locality/spectral-gap assumptions are load-bearing for the central claim and need to be either proven or clearly delimited. The broken citation placeholder is a sign that the manuscript is not yet in its final polished state. I recommend major revision rather than rejection, because the central idea is likely salvageable with additional rigor or with an honest restriction of the claimed scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe useful thing here: this paper actually delivers a tenfold classification for monitored free-fermion dynamics, built on the symmetry of single-particle Kraus operators (Eqs. 3-5) and the associated non-Hermitian generators. The tables are clear, the appendices B and C are clean algebraic arguments, and the numerical demonstrations of Lyapunov zero modes and chiral edge modes in classes BDI, D, and A give concrete support. The connection to nonlinear sigma models and the claim that topology can drive measurement-induced phase transitions is plausible and worth pursuing. The genuinely new content is the Kraus-operator symmetry analysis and the Lyapunov-spectrum bulk-boundary correspondence; the classification itself reduces to the known non-Hermitian tenfold way applied to this specific setting, which is fine as a framework paper.\n\nThe soft spots are real but not fatal. The central bridge—that the (d+1)-dimensional topology of L_t is equivalent to the d-dimensional topology of the time-averaged \\bar H_t—relies on two assumptions that are stated rather than proved: a mobility gap (standard in disordered topology) and, more concerning, the claim that nonlocality of \\bar H_t is irrelevant. That second claim appears in the main text with a literal '[ ? ]' placeholder, so it has neither proof nor citation. The stress-test note is right that this is load-bearing: the steady-state correlation function C = (1/2)QEQ† and the bulk-boundary correspondence depend on \\bar H_t being local (or at least quasi-local) enough for the d-dimensional homotopy classification to apply. The supplemental material also assumes time-translation and translation invariance for the invariants, which random monitored dynamics generally lacks. The numerics do not stress this point: the 1+1D and 2+1D models are either translation-invariant or weakly disordered.\n\nThat said, I don't think this invalidates the core classification. The symmetry analysis stands on its own, and the gap can likely be patched with a locality argument or by rephrasing the topological invariants directly in terms of L_t. The Note added pointing to overlapping concurrent work without detailed comparison is a minor weakness, not a deal-breaker.\n\nWho should read this: anyone working on monitored free fermions, measurement-induced phase transitions, or non-Hermitian topology. It deserves a serious referee. My recommendation: send it to review, but ask the authors to prove or properly cite the nonlocality claim, and to state clearly the assumptions under which the bulk-boundary correspondence holds. If that's fixed, this becomes a cite-worthy framework paper.","headline":"A genuinely useful tenfold classification for monitored free fermions, but the L_t–\\bar H_t topological equivalence is asserted rather than proved, so revision is needed before the bulk-boundary claims fully land.","tokens_in":27443,"tokens_out":2814,"would_cite":true,"duration_ms":25030,"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":"This paper establishes a tenfold symmetry and topology classification for monitored free fermions, and shows that nontrivial spacetime topology produces topologically nontrivial steady states and gapless boundary states in Lyapunov…","keywords":["monitored quantum dynamics","free fermions","tenfold classification","non-Hermitian topology","Lyapunov spectrum","dynamical purification","bulk-boundary correspondence","measurement-induced phase transitions"],"falsifier":"Simulate a monitored class-BDI Majorana chain with weak measurements and random unitaries, tuning the disorder so that the mobility gap at zero closes only through exponentially localized states; then compute the winding number of $\\bar H_t$ and the smallest Lyapunov exponent under both periodic and open boundary conditions. If changing the boundary conditions changes the quantized invariant, or if the open-boundary Lyapunov zero mode disappears while the bulk marker remains quantized, the assumption that localized in-gap states do not affect topology would be violated.","tokens_in":26352,"feed_emoji":"⚛️","tokens_out":6289,"duration_ms":64308,"temperature":0.7,"pith_summary":"When free-fermion systems are continuously measured, their evolution becomes nonunitary and can be encoded in single-particle Kraus operators. The paper argues that these operators and their effective non-Hermitian generators fall into exactly ten symmetry classes, and that a further topological classification in spacetime dimensions parallels the periodic table of topological insulators and superconductors. The nontrivial cases are not merely formal: they predict topologically protected boundary features in Lyapunov spectra, such as zero modes and chiral edge modes, which make the system purify more slowly and survive spatial and temporal randomness. If correct, this gives a symmetry principle for measurement-induced phase transitions and identifies which topological terms can appear in the effective nonlinear sigma models of monitored dynamics.","feed_headline":"Tenfold table classifies monitored fermion dynamics","feed_subtitle":"Topological spacetime forces gapless Lyapunov modes and protected slow purification in measured free fermions.","key_machinery":"The carrying object is the single-particle Kraus operator $K_t$ and its associated non-Hermitian dynamical generator $L_t = \\partial_t - H_t$, together with the cumulative operator $K_{[0,t]}$ and the time-averaged generator $\\bar H_t$ defined by $K_{[0,t]} =: e^{\\bar H_t t}$. The symmetry analysis uses spacetime-internal time-reversal, particle-hole, and chiral conditions on $K_t$, which induce the non-Hermitian symmetries on $L_t$ and $\\bar H_t$; the topology is then captured by deforming gapped operators to unitary or flat Hermitian representatives and reading off the homotopy class in the appropriate classifying space. The Lyapunov exponents are the real parts of the eigenvalues of $\\bar H_t$, the steady state is built from the eigenvectors with positive real part, and the topological invariant is evaluated through local markers such as the chiral index and local Chern number.","core_discovery":"The central claim is that monitored free fermions admit a tenfold classification of symmetry and topology in which the time direction acts like an extra spatial dimension. A monitored trajectory is described by the cumulative single-particle Kraus operator $K_{[0,t]}$, whose infinitesimal generator is the non-Hermitian operator $L_t = \\partial_t - H_t$; the paper classifies the symmetries of these operators and shows that their topology is captured by the homotopy groups of the classifying spaces $C_s$ or $R_s$ in $d+1$ spacetime dimensions. With a mobility gap at zero, $L_t$ deforms into a unitary operator, while the time-averaged generator $\\bar H_t$ (defined by $K_{[0,t]} =: e^{\\bar H_t t}$) deforms into a flat Hermitian Hamiltonian, and the paper proves that $L_t$ and $\\bar H_t$ share the same topological classification. Non-trivial spacetime topology then manifests as topologically nontrivial steady states and anomalous gapless boundary states in the Lyapunov spectrum, including Lyapunov zero modes in one spatial dimension and chiral edge modes in two spatial dimensions, so that the purification time diverges or is algebraically slowed in a topologically protected way.","pith_inferences":["A natural extension, not pursued in the paper, is to test whether the same topological invariants control the universality class of the purification transition in zero spatial dimension, where the winding number can be computed directly from the non-Hermitian generator.","The proved equivalence between the topology of $L_t$ and $\\bar H_t$ suggests that numerical tools developed for disordered topological insulators, such as transfer-matrix scaling and local topological markers, transfer directly to monitored circuit dynamics; the paper uses such tools but does not state this as a general recipe.","The paper notes that non-Hermitian skin effects may be relevant to measurement-induced transitions; an untested consequence is that open-boundary Lyapunov spectra could deviate from periodic boundary conditions more strongly than the examples shown, potentially changing the purification slowdown exponent."],"forward_implications":["Monitored free fermions in each symmetry class and spacetime dimension carry a topological invariant from the tenfold table, so two dynamics with different invariants cannot be connected without closing the Lyapunov gap.","Nontrivial topology forces boundary-localized states in the Lyapunov spectrum under open boundary conditions, such as Lyapunov zero modes and chiral edge modes, leading to topologically protected slow purification.","The classification predicts which topological terms can enter the nonlinear sigma models for measurement-induced phase transitions, potentially explaining transitions that the standard perturbative sigma model cannot describe.","Steady-state correlation functions inherit quantized topological markers, such as the local Chern number and $\\mathbb{Z}_2$ index, and these markers remain quantized even when translation invariance is broken by random measurement strengths."],"supporting_citations":[{"why":"Defines the Lyapunov exponents and purification time for monitored free fermions, fixing the quantity whose gap the classification protects.","marker":"[79]"},{"why":"Provides the transfer-matrix and Anderson-localization perspective that motivates treating the temporal direction as an extra spatial dimension.","marker":"[83,84]"},{"why":"Supplies the 38-fold non-Hermitian symmetry classification and point-gap topology that the tenfold restriction here builds on.","marker":"[101]"},{"why":"Gives the equilibrium periodic table of topological insulators and superconductors that this classification generalizes to monitored dynamics.","marker":"[88-93]"},{"why":"Oseledets theorem connects the Lyapunov exponents of the trajectory to the eigenvalues of the time-averaged generator.","marker":"[117]"},{"why":"Provides the nonlinear sigma models for monitored free fermions whose possible topological terms the classification describes.","marker":"[70,72,74]"},{"why":"Supplies the local topological markers used to evaluate the topological invariants from steady-state correlation functions.","marker":"[118]"},{"why":"Contains the lattice models, numerical algorithms, and parameter details behind the simulated Lyapunov spectra and topological markers.","marker":"[99]"}],"fun_headline_variants":["Monitored fermions: topology slows purification","Tenfold classification for monitored fermion dynamics","Time as extra dimension in monitored fermion topology","Lyapunov modes signal topology in monitored fermions","Measurements induce topological protection in fermions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification depends on the effective non-Hermitian generator having a mobility gap at zero and on localized in-gap states, together with any nonlocality of the time-averaged generator, being irrelevant to its topology; if those assumptions fail, the spacetime periodic table need not hold.","fun_headline_variants_meta":{"raw":{"variants":["Monitored fermions: topology slows purification","Tenfold classification for monitored fermion dynamics","Time as extra dimension in monitored fermion topology","Lyapunov modes signal topology in monitored fermions","Measurements induce topological protection in fermions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000544,"raw_usage":{"total_tokens":2590,"prompt_tokens":916,"completion_tokens":1674,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":532,"completion_tokens_details":{"reasoning_tokens":1605}},"tokens_in":532,"tokens_out":1674,"duration_ms":13596,"temperature":1.0,"reasoning_tokens":1605,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T19:58:21.255758+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Simulate a monitored class-BDI Majorana chain with weak measurements and random unitaries, tuning the disorder so that the mobility gap at zero closes only through exponentially localized states; then compute the winding number of $\\bar H_t$ and the smallest Lyapunov exponent under both periodic and open boundary conditions. If changing the boundary conditions changes the quantized invariant, or if the open-boundary Lyapunov zero mode disappears while the bulk marker remains quantized, the assumption that localized in-gap states do not affect topology would be violated.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Lyapunov exponents and purification time for monitored free fermions, fixing the quantity whose gap the classification protects."},{"cited_title":"Furstenberg and H","cited_arxiv_id":null,"evidence_quote":"Oseledets theorem connects the Lyapunov exponents of the trajectory to the eigenvalues of the time-averaged generator."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the local topological markers used to evaluate the topological invariants from steady-state correlation functions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contains the lattice models, numerical algorithms, and parameter details behind the simulated Lyapunov spectra and topological markers."}],"review_version":1}