{"id":"ad99c10d-55ad-451a-b01a-d4d4a8805d44","arxiv_id":"2501.04795","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Quasiperiodically varying the driving Hamiltonian in a 1D conformal field theory produces analytically solvable heating and non-heating phases, with an exact phase transition line.","lead":"This paper shows that a quantum critical system driven by a sequence of Hamiltonians that vary quasiperiodically can switch between heating and non-heating phases, and gives exact formulas for the phase boundaries. It brings Avila's global theory from mathematics to nonequilibrium physics, turning a numerical problem into an analytical one.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Type-II phase boundary (4.10) is not exact: the paper's own Fig. 9 shows uniformly hyperbolic heating for parameters on the non-heating side of (4.10), so the analytic phase diagram claim is overstated.","rationale":"The reader's weakest_assumption correctly identifies the non-uniform hyperbolicity assumption behind Eq. (4.9) as the load-bearing gap. My stress-test confirms this is not merely a missing proof: the paper's own Fig. 9 bottom is an explicit uniformly hyperbolic heating point that lies on the non-heating side of the claimed phase boundary (4.10). This directly undermines the exactness of the analytically obtained phase diagram, which is one of the paper's headline results. The qualitative picture of heating, non-heating, and phase transitions in type-II driving remains valuable and is supported by numerics in much of the parameter space, so the work should not be rejected. However, the exact phase line and the universal formula (4.9) require either a characterization of uniformly hyperbolic regions or an explicit restriction of the claim to non-uniformly hyperbolic cases. The paper's own caveat in Sec. IV.C and footnote 7 acknowledges the issue, but the abstract and introduction nevertheless state the phase diagram is 'analytically obtained' without this qualification. The appropriate verdict is CONDITIONAL, matching the reader's assessment, so no verdict change is needed.","tokens_in":27238,"tokens_out":3654,"duration_ms":35416,"concrete_test":"Numerically scan the (a, α) plane on a fine grid around the curve (4.10), computing λL(0) from (2.19) with N = 10^6 steps and classifying each point as uniform or non-uniform hyperbolic via the complexified exponent and acceleration as in Fig. 10. In particular, test the explicit point (a = 0.25, α = 2) of Fig. 9 and sweep a from 0.20 to 0.30 at fixed α = 2, where (4.10) predicts threshold a ≈ 0.2657. If λL(0) > 0 and entanglement entropy grows linearly at any a below that threshold, then (4.10) is not the exact phase boundary and the claim of an analytically obtained phase diagram must be qualified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that the type-II phase diagram and Lyapunov exponents are analytically obtained rests on Eq. (4.9), λL(0) = max{log|β1 sinh α|, 0}. This formula is derived under the assumption that the cocycle is not uniformly hyperbolic; Avila's theory only gives λL(ε) = max{log|β1 sinh α| + ε, λ0}, and the reduction to max{·, 0} requires λ0 = 0 when the log is negative. The paper itself displays a counterexample: Fig. 9 (bottom) shows a uniformly hyperbolic heating case at (a, α) = (0.25, 2). For these parameters, |a/√(1−a²) sinh α| = 0.25/√0.9375 · sinh 2 ≈ 0.936 < 1, so Eq. (4.10) places this point in the non-heating phase, yet the system heats. Thus the exact phase boundary (4.10) is not the true heating/non-heating transition in regions where uniform hyperbolicity occurs. The paper acknowledges 'subtle deviations' near phase transitions but does not characterize where (4.9) fails, so the analytically claimed phase diagram is not exact in those regions.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies quasi-periodically driven (1+1)-dimensional CFTs with sl(2,R) deformations, building on earlier work on periodically, quasi-periodically, and randomly driven CFTs. Two driving protocols are considered: type-I, where the timing of a fixed Hamiltonian is quasiperiodic, and type-II, where the Hamiltonian itself depends quasiperiodically on the step index. Using Avila's global theory of one-frequency analytic SL(2,R) cocycles, the authors derive exact-looking formulas for the Lyapunov exponent λ_L and the acceleration ω_λ, and from them the heating/non-heating phase diagram. For type-I driving they show that λ_L>0 always, proving the absence of a phase transition. For type-II driving they obtain λ_L = max{log|β_1 sinh α|, 0} and a phase boundary |β_1 sinh α| = 1, which for their explicit choice becomes |a/√(1−a²) sinh α| = 1 (Eq. 4.10). The analytical predictions are compared with numerical Lyapunov exponents and with CFT/lattice entanglement-entropy evolution, with good agreement away from special parameter regions.","tokens_in":27473,"tokens_out":6644,"duration_ms":58737,"significance":"The paper makes a useful methodological contribution by bringing Avila's global theory into the study of driven CFTs, where it gives parameter-free formulas for the Lyapunov exponents without any fitting. The type-I result is a clean, correct explanation of the previously observed absence of phase transitions, and the type-II setup is a new and interesting way to obtain heating/non-heating transitions in quasiperiodic driving. The numerical checks, including lattice simulations of entanglement entropy, support the analysis in the regimes where the authors' assumptions hold. The main limitation is that the type-II phase diagram is not fully exact as claimed, because the analytic expression for λ_L is derived under the assumption that the cocycle is not uniformly hyperbolic, and the paper itself identifies uniformly hyperbolic regions where the formula fails and the phase boundary is shifted.","major_comments":[{"comment":"The central claim that the type-II phase boundary is exactly |a/√(1−a²) sinh α| = 1 is not supported, because Eq. (4.9) is derived under the assumption that the cocycle is not uniformly hyperbolic, and the manuscript itself reports a counterexample. In Fig. 9 (bottom) the parameters (a, α) = (0.25, 2) give |a/√(1−a²) sinh α| ≈ 0.936 < 1, so Eq. (4.10) places the system in the non-heating phase; however, the complexified Lyapunov exponent shown there is uniformly hyperbolic with λ_L(0) > 0, i.e., the system heats. The authors acknowledge 'subtle deviations' near the phase transitions but do not characterize the uniform-hyperbolic regions analytically, so the phase diagram in Fig. 7 and the abstract's statement that the phase diagram 'can be analytically obtained' are overstated. To make the claim exact, the authors need to either prove that uniformly hyperbolic heating does not occur on the non-heating side of (4.10), or provide an analytic description of the actual transition including those regions.","section":"Sec. IV.B–IV.C, Eqs. (4.9)–(4.10)"},{"comment":"The same non-uniform-hyperbolicity caveat applies to all the general type-II results in Appendix C: Eqs. (C6), (C9), and (C11) are stated conditional on the cocycle being non-uniformly hyperbolic, and no proof is given that the phase boundaries in Fig. 13 are valid in uniformly hyperbolic patches. Since the abstract and the conclusions of Sec. V make the unqualified claim that the phase diagrams and Lyapunov exponents are analytically obtained, the paper's central claim goes beyond what the derivation supports. The authors should either extend the analysis to cover uniformly hyperbolic cocycles or explicitly restrict the claim to the non-uniformly hyperbolic case and state the extent to which the plotted phase boundaries are proven.","section":"Appendix C and Abstract"}],"minor_comments":[{"comment":"The definition of the Lyapunov exponent in Eq. (2.19) appears to be missing the logarithm: as written it is the growth rate of the norm itself, but the subsequent formulas use λ_L as the exponential rate, i.e., λ_L = lim (1/n) log ||M_1⋯M_n||. Please correct the displayed equation.","section":"Eq. (2.19)"},{"comment":"The cross-references in the paragraph discussing non-uniform versus uniform hyperbolicity are inconsistent: the text says 'as shown in Fig. 10' and 'as seen in Fig. 10 (top)' / 'Fig. 10 (bottom)', but the relevant panels are in Fig. 9, which displays the complexified Lyapunov exponents; Fig. 10 shows entanglement entropy evolutions. Please fix the figure references.","section":"Sec. IV.C, text near Fig. 9"},{"comment":"The footnote says that near the phase transition there could be uniformly hyperbolic cases with very small Lyapunov exponents, but the example shown in Fig. 9 for (a, α) = (0.25, 2) is not a case of a small Lyapunov exponent; it is a uniformly hyperbolic heating case where Eq. (4.9) gives subcritical behavior. Clarify the intended meaning, or adjust the footnote to match the actual counterexample.","section":"Sec. IV.C, footnote 7"}],"recommendation":"major_revision","confidential_remarks":"The manuscript contains a solid and clean application of Avila's global theory to a new class of quasi-periodically driven CFTs, and the type-I proof is a welcome analytical explanation of earlier numerical findings. The main obstacle to publication is the discrepancy between the advertised 'exact' phase diagram for type-II driving and the admitted failure of Eq. (4.9) in uniformly hyperbolic regions. This is not a fatal flaw—the method is sound and the numerics confirm the non-uniformly hyperbolic cases—but the central claim needs to be either proved in full generality or carefully qualified. I would encourage the editor to request a revision that addresses this point; the paper could become acceptable after the authors either delimit the claim precisely or provide an analysis of the uniformly hyperbolic regime."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper is worth engaging. It introduces a genuinely new protocol — type-II quasiperiodic driving, where the Hamiltonian parameters themselves vary quasiperiodically rather than just the time steps — and shows analytically, via Avila's global theory, that this setup has heating, non-heating, and critical phases with exact Lyapunov exponents. It also proves that the older type-I timing-modulated quasiperiodic driving always heats, which resolves a question left open in Wen et al. The lattice entanglement entropy checks are real and match well.\n\nThe derivation is clean where it applies. The cocycle is SU(1,1), the complexified Lyapunov exponent computation is standard Avila, and the numerics for non-uniformly hyperbolic parameters agree convincingly.\n\nThe soft spot is the claim that the phase boundary (4.10) is exact. The formula λL(0) = max{log|a sinh(α)/√(1−a²)|, 0} only follows from Avila's theory when the cocycle is not uniformly hyperbolic. The paper's own Fig. 9 shows a uniformly hyperbolic heating case at (a,α) = (0.25,2), where |a sinh(α)/√(1−a²)| ≈ 0.936 < 1, so (4.9) predicts subcritical behavior while the system heats. The authors do acknowledge 'subtle deviations' in Sec. IV.C and discuss uniform versus non-uniform hyperbolicity in Appendix D, but the abstract still states the phase diagram and Lyapunov exponents are analytically obtained without that caveat. As written, the phase diagram claim is not exact in the uniformly hyperbolic regions; it is a valid formula in the non-uniformly hyperbolic regime and a heuristic elsewhere. That is the main thing a referee should push on: either characterize where uniform hyperbolicity occurs or qualify the boundary as approximate.\n\nOne more minor point: Appendix C says all 3×3 combinations of elliptic, parabolic, and hyperbolic H0 and H1 were checked, but the appendix works through only two of the nine combinations in detail. I believe the claim, but the evidence is not fully displayed.\n\nThe math is otherwise sound, the numerics are parameter-free and reproducible, and the citation to [1] is as a setup rather than as the source of the new result. This deserves a serious referee. I would send it out. If I worked in driven CFTs, I would cite it for the type-II setup and the no-transition proof.","headline":"Genuinely new type-II quasiperiodic-driven CFT setup with a clean Avila-based analysis; the exact phase diagram claim needs a caveat where uniform hyperbolicity occurs.","tokens_in":28021,"tokens_out":1941,"would_cite":true,"duration_ms":18421,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40","82B26","37H15"],"pacs":[],"model":"deepseek-v4-flash","headline":"In a quasiperiodically driven quantum critical system, the boundary between heating and non-heating phases is fixed by one analytic condition, and the Lyapunov exponent controlling entanglement growth is obtained in closed form.","keywords":["quasiperiodic driving","conformal field theory","heating phase transition","Lyapunov exponent","quasiperiodic cocycle","entanglement entropy","SL(2,R) deformation","driven critical systems"],"falsifier":"Numerically compute $\\lambda_L(0)$ from the matrix product (2.19) on a fine grid straddling the line $|a|/\\sqrt{1-a^2}\\cdot\\sinh\\alpha=1$; if any point on the predicted non-heating side has a positive Lyapunov exponent, or the entanglement entropy grows linearly there instead of oscillating, the phase boundary as stated is not exact. The paper's Fig. 9 already provides a parameter set where the max-formula misses a uniformly hyperbolic heating case, so the grid test would locate the true boundary.","tokens_in":26987,"feed_emoji":"🔥","tokens_out":17537,"duration_ms":143353,"temperature":0.7,"pith_summary":"This paper shows that a one-dimensional quantum critical system described by a conformal field theory can undergo a sharp transition between a heating phase, where entanglement entropy grows linearly in time, and a non-heating phase, where it oscillates, when the driving Hamiltonians themselves vary quasi-periodically (type-II driving). The operator evolution in each step is an SU(1,1) matrix, so the whole drive becomes a one-frequency quasiperiodic cocycle; using the global theory of such cocycles, the authors derive the Lyapunov exponent and the complete phase diagram analytically. For the concrete example studied, the critical line is $|a|/\\sqrt{1-a^2}\\cdot\\sinh\\alpha = 1$, and outside the uniformly hyperbolic regime (where the exponential growth is uniform in the phase) the Lyapunov exponent is $\\max\\{\\log(|a|/\\sqrt{1-a^2}\\cdot\\sinh\\alpha),0\\}$. They further prove that the previously proposed type-I protocol, in which the duration of one Hamiltonian varies quasi-periodically, is always in the heating phase and has no phase transition. The CFT predictions are checked against free-fermion lattice simulations of entanglement entropy.","feed_headline":"One threshold sets where quasiperiodic driving heats a system","feed_subtitle":"A matrix-cocycle calculation gives the exact heating phase boundary and Lyapunov exponent for driven critical systems.","key_machinery":"The central object is a one-frequency analytic quasiperiodic cocycle---a sequence of $\\mathrm{SL}(2,\\mathbb{R})$ matrices indexed by a phase that advances by the irrational frequency each step---built as $A(x)=M_0(x)M_1$, where $M_0,M_1\\in\\mathrm{SU}(1,1)$ are the fractional-linear transformations describing how local operators evolve during one driving step. The argument complexifies the phase, $x\\to x+i\\epsilon$; the global theory of such cocycles guarantees that $\\lambda_L(\\epsilon)$ is convex and piecewise linear with integer slope (the acceleration), and the large-$\\epsilon$ asymptotic is dominated by a constant matrix whose Lyapunov exponent is $\\log|\\beta_1\\sinh\\alpha|$ (or $\\log|\\alpha_1|$ for type-I). Combining the asymptotic value with the integer-slope constraint yields the max-formula for $\\lambda_L$, and the vanishing of its argument locates the critical line. The same cocycle determines the physical diagnostic through $S_A(n)-S_A(0)=\\frac{c}{3}(\\log|\\alpha_n+\\beta_n|+\\log|\\alpha'_n+\\beta'_n|)$.","core_discovery":"The paper's central claim is that in type-II quasiperiodic driving the phase diagram is controlled by the cocycle $A(x)=M_0(x)M_1$ and, for cocycles that are not uniformly hyperbolic, its complexified Lyapunov exponent has the form $\\lambda_L(\\epsilon)=\\max\\{\\log|\\beta_1\\sinh\\alpha|+\\epsilon,0\\}$. This makes the phase transition occur exactly when $|\\beta_1\\sinh\\alpha|=1$, and gives the heating rate $\\lambda_L(0)=\\max\\{\\log|\\beta_1\\sinh\\alpha|,0\\}$; for the representative choice $a_0=1,a_+=a,a_-=0$ the condition becomes $|a|/\\sqrt{1-a^2}\\cdot\\sinh\\alpha=1$. In the heating phase the entanglement entropy grows as $S_A(n)\\simeq (2c/3)\\lambda_L n$, it grows logarithmically at the critical point, and it oscillates in the non-heating phase; the authors verify this behavior in lattice free-fermion calculations. For type-I driving, they prove $\\lambda_L(0)=\\log|\\alpha_1|>0$ always, so no phase transition can appear. The paper thus asserts that type-II quasiperiodicity produces genuine, analytically determined heating transitions, while the earlier type-I quasiperiodicity cannot.","pith_inferences":["Because formula (4.9) is only derived for non-uniformly hyperbolic cocycles, an exact global phase diagram would require locating uniformly hyperbolic islands; the paper's own Fig. 9 suggests these islands can sit near the predicted line, so the true boundary may differ there.","The same cocycle-plus-acceleration technique may transfer to other finite-dimensional symmetry groups or multi-band drives whenever the one-step evolution is an analytic matrix function of the quasi-periodic phase, though the integer-acceleration theorem used here is special to SL(2,R)-type cocycles.","A natural next step would be to look for the quantized acceleration $\\omega_\\lambda$ as a directly measurable quantity in the lattice model---for example, as a winding number or a quantized energy absorption rate---since the paper raises this as an open question without establishing it."],"forward_implications":["In the type-II protocol, the entire heating/non-heating phase diagram follows from one analytic formula, so no exhaustive parameter scan is needed to know where linear entanglement growth starts.","The linear growth rate of entanglement entropy in the heating phase is quantitatively fixed by the Lyapunov exponent, and the paper's lattice simulations confirm that prediction.","The previously studied type-I quasiperiodic protocol provably cannot host a heating-to-non-heating transition, so any non-heating behavior seen there would have to come from a different mechanism.","Phase transitions appear in all nine elliptic/parabolic/hyperbolic combinations of the two driving Hamiltonians, indicating that the transition is a generic feature of type-II driving rather than a special-case effect.","The uniform-versus-non-uniform hyperbolicity distinction is visible through subleading fluctuations of the entanglement entropy, giving a separate observable signature beyond the leading growth rate."],"supporting_citations":[{"why":"It supplies the global theory of one-frequency quasiperiodic cocycles, including convexity and integer acceleration, which converts the large-epsilon asymptotics into the exact formula for the Lyapunov exponent.","marker":"[14]"},{"why":"It defines the earlier type-I quasiperiodically driven CFT setup and reports only heating; this paper proves that protocol is always heating and generalizes the setup to type-II driving.","marker":"[1]"},{"why":"It establishes the Floquet CFT treatment of sl(2,R)-deformed Hamiltonians, giving the fractional-linear-transformation operator evolution and the entanglement entropy formula used throughout.","marker":"[15]"},{"why":"It is a prior study of Fibonacci quasiperiodic driving of a critical system, used as the baseline showing that no full heating/non-heating transition had been found.","marker":"[12]"},{"why":"It classifies the phases of periodically driven sl(2,R)-deformed CFTs by elliptic, hyperbolic, and parabolic transformations, the periodic-driving reference against which the quasiperiodic phase diagram is compared.","marker":"[21]"}],"fun_headline_variants":["Exact heating transition found in quasiperiodically driven critical systems","Quasiperiodic driving: exact phase boundary for heating vs non-heating","Analytic proof: type-II quasiperiodic driving triggers heating transitions","Matrix cocycle predicts exact heating phase transition in driven CFTs","Heating transition in driven critical systems pinned by Lyapunov exponent"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The analytic phase boundary and Lyapunov exponent assume the type-II cocycle is not uniformly hyperbolic, a condition that the paper checks numerically at many parameter values but does not prove globally; where it fails, the formula can predict no heating when the actual Lyapunov exponent is positive, and the paper shows one such case.","fun_headline_variants_meta":{"raw":{"variants":["Exact heating transition found in quasiperiodically driven critical systems","Quasiperiodic driving: exact phase boundary for heating vs non-heating","Analytic proof: type-II quasiperiodic driving triggers heating transitions","Matrix cocycle predicts exact heating phase transition in driven CFTs","Heating transition in driven critical systems pinned by Lyapunov exponent"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000177,"raw_usage":{"total_tokens":1317,"prompt_tokens":995,"completion_tokens":322,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":611,"completion_tokens_details":{"reasoning_tokens":229}},"tokens_in":611,"tokens_out":322,"duration_ms":3387,"temperature":1.0,"reasoning_tokens":229,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:26:22.723449+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically compute $\\lambda_L(0)$ from the matrix product (2.19) on a fine grid straddling the line $|a|/\\sqrt{1-a^2}\\cdot\\sinh\\alpha=1$; if any point on the predicted non-heating side has a positive Lyapunov exponent, or the entanglement entropy grows linearly there instead of oscillating, the phase boundary as stated is not exact. The paper's Fig. 9 already provides a parameter set where the max-formula misses a uniformly hyperbolic heating case, so the grid test would locate the true boundary.","supporting_citations":[{"cited_title":"Here n denotes then-th time driving cycle","cited_arxiv_id":null,"evidence_quote":"It is a prior study of Fibonacci quasiperiodic driving of a critical system, used as the baseline showing that no full heating/non-heating transition had been found."}],"review_version":1}