{"id":"1a97ade5-6257-4b4e-acb7-c5ec3b882850","arxiv_id":"1908.05281","paper_version":6,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For arbitrary-high-charge operators in a system with a global symmetry and chemical potential, the chaos bound weakens to 2πT/(1-|μ/μ_c|), where μ_c is the critical chemical potential.","lead":"This paper proposes a new limit on how fast quantum information can scramble in systems with a conserved charge held at a nonzero chemical potential. The limit depends on how close the chemical potential is to a critical value, and it is exactly saturated by rotating black holes in a two-dimensional holographic model.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The unproven assumption (2.34) of a vertical-edge bound on the OTOC strip is load-bearing; without it the Schwarz-Pick argument does not yield the chemical-potential-dependent chaos bound.","rationale":"The reader's weakest-assumption analysis identifies eq. (2.34) as the most fragile input, and I concur. The paper claims a conditional result, and the body labels it a conjecture, but the derivation of the modified bound depends on the existence of t0 with |F(t0+iτ)| ≤ Ff, which is not derived from the previously established bounds. My review does not change the reader's CONDITIONAL verdict: the concern is real and load-bearing, but the paper's own caveats and the supportive BTZ/CFT example make the central claim plausible rather than disproven. The verdict remains CONDITIONAL rather than REJECT or ACCEPT because the missing step is a gap in the proof, not a demonstrated counterexample. The proposed test in the BTZ example would either substantiate or refute the assumption in the one context where saturation is explicitly claimed. No independent evidence (such as a machine-checked proof or a numerical simulation) is present to fill this gap, so the appropriate disposition is unchanged: the abstract should be softened, and the assumption either justified, relaxed, or explicitly stated as part of the conjecture's hypothesis.","tokens_in":18206,"tokens_out":6950,"duration_ms":77188,"concrete_test":"In the rotating BTZ example, compute the analytic continuation of the Virasoro identity-block OTOC from eqs. (3.14) and (3.16) to imaginary time and check whether there exists t0 in (td, t*) such that |F(t0 + iτ)| ≤ Ff for all |τ| ≤ βeff/4. This directly tests assumption (2.34) in the paper's own saturation example. If no such t0 can be found (even for small ΩH), the assumption fails where it matters most; if such t0 exists, the concern is mitigated. A complementary check in a numerically tractable model (e.g., complex SYK with a chemical potential) would test the same condition in a generic chaotic setting.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof's pivotal step is eq. (2.34): the assumed existence of t0 in [td, t*] such that |F(t0 + iτ)| ≤ Ff for all τ in the analyticity strip. This is the only control on the vertical edge of the half-strip needed to apply the Phragmén–Lindelöf/Schwarz–Pick argument to ff. The text derives bounds only on the horizontal edges via (2.30) and (2.32); it does not establish that |F| ≤ Ff in the interior or on the vertical edge. The bound (2.26) gives |F(t+iτ)| ≤ max |F_d^±(τ)|, but comparing these disconnected functions to Ff throughout the strip is nontrivial and is not done. If |F(t0+iτ)| exceeds Ff somewhere on the vertical edge, then |ff| can exceed 1 and the Schwarz–Pick bound (2.35) is invalid; the conjectured inequality (2.37) then has no support from the analyticity argument. The paper itself acknowledges this by saying 'with these assumptions in mind' and by limiting the conjecture to small μ/μc, but the abstract's 'we find' overstates what is actually conditional. Since (2.34) is the only input that connects the analytic strip of width βeff to the renormalized function whose derivative is bounded, the central claim stands or falls on this assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper conjectures a generalization of the Maldacena-Shenker-Stanford (MSS) chaos bound to thermal ensembles with a chemical potential for a continuous global symmetry. For operators whose charge transfer is bounded, the standard bound λ_L ≤ 2πT/ħ is claimed to hold; for operators that can transfer arbitrarily large charge, the bound is conjectured to weaken to λ_L ≤ 2πT/[ħ(1−|μ/μ_c|)], where μ_c is the maximum chemical potential for which the ensemble exists. The argument follows MSS by studying the analyticity domain of the regularized out-of-time-order correlator, which shrinks from a strip of width β/4 to β_eff/4 = (β/4)(1−|μ/μ_c|), and then applying a Schwarz-Pick/Phragmén-Lindelöf bound. The paper applies the result to CFTs: internal U(1) symmetries have μ_c = ∞ and reproduce the standard bound, while a rotating BTZ black hole (dual to a 2D CFT with μ = Ω_H, μ_c = 1) is argued to saturate the modified bound, as verified by a Virasoro-block computation.","tokens_in":18487,"tokens_out":18465,"duration_ms":171672,"significance":"If the conjecture is correct, it provides a plausible and useful generalization of the MSS bound to systems with conserved charges and chemical potentials, with potential applications to rotating black holes and charged ensembles. The derivation is parameter-free, with β_eff and μ_c defined from the spectrum and partition function, and the BTZ saturation is computed independently from Virasoro blocks, providing a concrete check. The paper is honest about the conjectural status of the central claim, but the abstract overstates the result as a definite finding. The main novelty is the general analyticity argument and the explicit chemical-potential dependence; however, the derivation rests on a key unproven assumption (eq. 2.34) that controls the vertical edge of the analyticity strip, without which the Schwarz-Pick step is invalid. The examples are illustrative but the internal-symmetry case is straightforward and the BTZ saturation was already known; the interest lies in the general conjecture and its proof strategy.","major_comments":[{"comment":"The assumption that there exists a time t0 with td ≤ t0 ≤ t* such that |F(t0+iτ)| ≤ Ff for all τ in the strip is load-bearing and unproven. The horizontal edges of the half-strip are controlled by (2.30) and (2.32), but the vertical edge at t′ = 0 is not; without a bound on this edge, the function ff need not satisfy |ff| ≤ 1 on the boundary of the half-strip, so the Schwarz-Pick bound (2.35) does not follow. The later discussion after Eq. (2.37) offers only an order-of-magnitude estimate for when (2.34) might hold, not a derivation. I request that the authors either derive (2.34) from explicit assumptions (for example, by showing that max_τ |F_d^±(τ)| ≤ Ff over the strip, together with (2.26), implies the vertical-edge bound) or incorporate (2.34) as an explicit assumption in the conjecture statement and temper the abstract accordingly.","section":"§2.2, Eq. (2.34)"},{"comment":"The abstract states that for operators of arbitrarily high charge 'we find that exponent must satisfy' λ_L ≤ 2πT/[ħ(1−|μ/μ_c|)], whereas the body of the paper presents this as a conjecture whose derivation relies on the unproven assumption (2.34) and the exponential ansatz (2.36). This overstates the status of the result. The conjecture as stated in §2.1 should either list all auxiliary assumptions explicitly, or the proof should be completed to justify the word 'find' in the abstract.","section":"Abstract and §2.1"},{"comment":"The claim that the rotating BTZ result saturates the modified bound requires that the operators in the Virasoro-block computation can transfer arbitrarily large charge, as required by the conjecture's regime. The paper does not explicitly verify this, nor does it check the ETH-like assumption (2.17). A primary operator has a fixed charge difference at leading order; only through its Virasoro descendants can it transfer arbitrarily large charge. The authors should clarify how the local operators used in (3.7) satisfy the unbounded-charge condition, or restrict the saturation claim to the modes for which the modified bound is established.","section":"§3.2"}],"minor_comments":[{"comment":"In the last sentence of the abstract, 'later bound' should be 'latter bound'.","section":"Abstract"},{"comment":"The phrase 'sub-leading terms in En→∞ limit' should read 'sub-leading terms in the E_n → ∞ limit'.","section":"§2.1, after Eq. (2.3)"},{"comment":"The notation in the limit 'lim_{En→∞} ∑_{En level} W_{m,n}V_{n,k} e^{−ϵ En} = 0' is unclear; please specify the summation range and the meaning of 'En level'.","section":"Eq. (2.17)"},{"comment":"The hypergeometric function in (3.14) should be written with commas, e.g., {}_2F_1(2,2;4;z), and the overall factor is presumably 2h_v h_w/c; please correct the notation.","section":"§3.2, Eq. (3.14)"},{"comment":"The coefficient '48π i h_w h_v / (ϵ±12 ϵ±34)' contains an imaginary unit i that may be a typo after analytic continuation; please check the sign and phase of this expression.","section":"§3.2, Eq. (3.16)"},{"comment":"Footnote 16 states that the discussion is restricted to 0+1 dimensional field theories, but this restriction appears in the middle of the argument; consider moving it to the statement of the conjecture in §2.1.","section":"§2.2, footnote 16"}],"recommendation":"major_revision","confidential_remarks":"The paper presents a plausible but incomplete proof of a conjectured chaos bound in the presence of a chemical potential. The main gap is the unproven assumption (2.34), which is essential for the Schwarz-Pick step; the authors either need to fill this gap or state the assumption explicitly as part of the conjecture. The saturation example in BTZ is useful but its interpretation depends on the unbounded-charge condition, which should be clarified. The result is related to existing work on rotating black hole chaos (refs. [38–40]) and the novelty is the general analyticity argument rather than the BTZ saturation itself. Overall the paper is worth considering after substantial revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe one-sentence take: this is a serious conjecture paper, not a proof, and the abstract oversells it slightly, but the idea is good and the BTZ check is real.\n\nWhat is new: the claimed bound λ_L ≤ 2πT/(1−|μ/μ_c|) for operators that can create arbitrarily high charge is not in the earlier rotating-black-hole literature. The paper also gives a CFT derivation of rotating BTZ saturation from Virasoro blocks, independent of the bulk calculation in [38–40]. That is a useful cross-check. The distinction between bounded-charge and unbounded-charge operators is clearly drawn and physically sensible. The paper is transparent that the result is a conjecture and cites the prior work.\n\nSoft spots: the argument for the bound relies on assumption (2.34), that there is some t0 between td and t* with |F(t0+iτ)| ≤ Ff across the vertical edge. The stress-test note is right: the earlier bounds control only the horizontal edges, and the vertical edge is exactly what is needed for the Schwarz–Pick/Phragmén–Lindelöf step. Without (2.34), the derivation does not go through. The author acknowledges this in the text but the abstract's 'we find' overstates the status. Also the exponential ansatz (2.36) is an input, not a consequence, and the paper admits it lacks concrete justification. And the bound is only claimed for small μ/μ_c; the near-critical weakening is not supported by the argument. These are real gaps, but they are of the usual kind for a conjecture paper in this area, and the rotating BTZ example provides independent evidence that the small-μ claim is on the right track.\n\nVerdict: worth serious peer review. A referee should ask for a softened abstract and a clearer separation of assumptions from conclusions, but the paper is a legitimate contribution with a testable conjecture and a real example.\n\nBest,\n[your name]","headline":"A serious conjecture paper that plausibly extends the MSS chaos bound to chemical potentials and checks against rotating BTZ, but the central analytic-step depends on an unproved vertical-edge bound (2.34) and an admitted exponential ansatz, so the abstract's 'we find' overstates a conditional result.","tokens_in":19005,"tokens_out":2860,"would_cite":true,"duration_ms":31447,"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":"This paper conjectures that a chemical potential widens the chaos bound to $\\lambda_L \\leq \\frac{2\\pi T}{\\hbar(1 - |\\mu/\\mu_c|)}$ for operators that can create arbitrarily large charge.","keywords":["quantum chaos","Lyapunov exponent","out-of-time-ordered correlator","global symmetry","chemical potential","conformal field theory","BTZ black hole","scrambling"],"falsifier":"In any charged quantum system with a conserved $U(1)$ and a finite $\\mu_c$, compute the instantaneous Lyapunov exponent from the out-of-time-ordered correlator at finite chemical potential; observing $\\lambda_L > \\frac{2\\pi T}{1 - |\\mu/\\mu_c|}$ for any $\\mu$ would falsify the conjecture, while a direct evaluation of $|F(t_0 + i\\tau)|$ in the same model would test the existence assumption independently of the bound.","tokens_in":17933,"feed_emoji":"⚡","tokens_out":11946,"duration_ms":106373,"temperature":0.7,"pith_summary":"This paper asks whether a conserved charge, probed through a chemical potential, changes the universal speed limit on quantum chaos. For operators that can create only a bounded amount of charge, the paper argues the standard bound $\\lambda_L \\leq 2\\pi T/\\hbar$ still holds. For operators that can create arbitrarily large charge, it conjectures that the instantaneous Lyapunov exponent obeys $\\lambda_L \\leq \\frac{2\\pi T}{\\hbar(1 - |\\mu/\\mu_c|)}$, where $\\mu_c$ is the largest chemical potential for which the thermal ensemble exists. The interest is that conserved charges, not just temperature, can set the scrambling rate, and the paper shows the bound is saturated for rotation in a holographic two-dimensional conformal field theory. If correct, the result predicts faster scrambling as the chemical potential approaches its critical value, with the effect controlled by the large-charge spectrum.","feed_headline":"Chemical potential can raise the chaos ceiling","feed_subtitle":"Chemical potential can push the maximal Lyapunov exponent above 2πT/ħ; rotating black holes saturate the new limit.","key_machinery":"The load-bearing object is the domain of analyticity of the out-of-time-ordered correlator in complex time: a half-strip of width $\\beta_{\\mathrm{eff}}/4$ in the imaginary-time direction. A chemical potential for a continuous global symmetry shrinks this strip when the operators can excite arbitrarily large charge, because the Boltzmann factor $e^{-\\beta E + \\beta \\mu Q}$ converges only for $\\mu < \\mu_c$. The proof maps the strip to a unit disk and applies the Schwarz-Pick lemma to bound the logarithmic derivative of the correlator by $2\\pi/\\beta_{\\mathrm{eff}}$; at zero chemical potential the same mechanism gives the standard bound. In the holographic example, the rotating exponent is obtained from the Virasoro identity block after a conformal map from the thermal cylinder to the plane.","core_discovery":"The central conjecture is that the instantaneous Lyapunov exponent of the out-of-time-ordered correlator $F(t) = \\mathrm{tr}[y z W(t) y z V(0) y z W(t) y z V(0)]$ in a thermal ensemble with inverse temperature $\\beta$ and chemical potential $\\mu$ is bounded by $\\lambda_L \\leq 2\\pi/\\beta_{\\mathrm{eff}}$ with $\\beta_{\\mathrm{eff}} = \\beta(1 - |\\mu/\\mu_c|)$, for local operators that can transfer arbitrarily large charge and for times near the scrambling time at small $\\mu/\\mu_c$. Here $\\mu_c$ is fixed by the asymptotic spectrum, $|Q_n| \\simeq E_n/\\mu_c$, as the maximum chemical potential for which the partition function converges. The argument traces the change to the analyticity strip of $F$ in complex time, whose width shrinks from $\\beta/4$ to $\\beta_{\\mathrm{eff}}/4$ when charge can grow with energy; a Schwarz-Pick estimate on that strip converts the narrower domain into the weaker bound. Operators that only create charge up to a fixed amount leave the strip width unchanged, so for them the standard bound $\\lambda_L \\leq 2\\pi/\\beta$ survives. In a two-dimensional conformal field theory dual to Einstein gravity, rotation gives $\\mu = \\Omega_H$, $\\mu_c = 1$, and $\\lambda_L = \\frac{2\\pi}{\\beta(1 - \\Omega_H)}$, saturating the conjectured bound for modes co-rotating with the horizon.","pith_inferences":["If the conjecture holds generally, the large-charge spectrum of a theory becomes extractable from chaos: measuring $\\lambda_L$ at finite density would give the slope $|Q_n|/E_n$ that defines $\\mu_c$.","The same analyticity mechanism should extend to higher-dimensional rotating black holes, where a near-extremal throat may reproduce $\\lambda_L = \\frac{2\\pi T}{1 - \\Omega_H}$ from an effective Schwarzian sector; this goes beyond the paper's explicit two-dimensional example.","A direct numerical check of the assumption $|F(t_0 + i\\tau)| \\leq F_f$ in a charged large-$N$ model would isolate the proof's most fragile input without needing to confirm or refute the final bound itself."],"forward_implications":["At nonzero chemical potential, chaotic growth can proceed faster than $2\\pi T/\\hbar$ whenever the scrambling operators carry unbounded charge; the ceiling is set by how close $\\mu$ is to $\\mu_c$.","Operators that only change charge by a fixed amount are blind to the chemical potential: their Lyapunov bound remains the standard $\\lambda_L \\leq 2\\pi T/\\hbar$.","In the holographic rotating case, the bound is saturated by modes that rotate with the black hole, giving $\\lambda_L = \\frac{2\\pi T}{1 - \\Omega_H}$, while counter-rotating modes have $\\lambda_L = \\frac{2\\pi T}{1 + \\Omega_H}$.","Near $\\mu_c$ the exponential-growth window closes, so the formula is not expected to apply too close to the critical potential; nevertheless the scrambling time could be significantly shortened there."],"supporting_citations":[{"why":"Supplies the analyticity-and-Schwarz-Pick method for bounding the Lyapunov exponent that this paper generalizes to finite chemical potential.","marker":"[17]"},{"why":"Provides the two-dimensional CFT computation of the butterfly effect, via conformal mapping and the Virasoro identity block, that the rotation example reuses.","marker":"[13]"},{"why":"Gives the bulk BTZ shockwave derivation whose rotating Lyapunov exponents are compared with the CFT result.","marker":"[38]"},{"why":"Used to identify the maximum chemical potential $\\mu_c = 1$ for the rotating BTZ ensemble from black hole quasinormal-mode data.","marker":"[37]"},{"why":"Supplies the large-charge scaling $\\Delta_Q \\sim Q^{d/(d-1)}$, which leads to $\\mu_c \\to \\infty$ for internal symmetries.","marker":"[27]"},{"why":"Supports the assumption that matrix elements of local operators do not grow exponentially with energy, via eigenstate thermalization.","marker":"[24]"}],"fun_headline_variants":["Chemical potential cranks up chaos ceiling","Rotating black holes evade standard chaos bound","Charge-unbounded operators get looser chaos limit","Chemical potential relaxes Lyapunov cap for heavy charges"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"There must be a moment $t_0$, after thermalization and before scrambling, at which the chaos correlator with imaginary time stays below its factorized late-time value $F_f$; the proof gives no independent reason that such a moment exists.","fun_headline_variants_meta":{"raw":{"variants":["Chemical potential cranks up chaos ceiling","Rotating black holes evade standard chaos bound","Charge-unbounded operators get looser chaos limit","Chemical potential relaxes Lyapunov cap for heavy charges"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000273,"raw_usage":{"total_tokens":1713,"prompt_tokens":1099,"completion_tokens":614,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":715,"completion_tokens_details":{"reasoning_tokens":555}},"tokens_in":715,"tokens_out":614,"duration_ms":6260,"temperature":1.0,"reasoning_tokens":555,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:18:31.932720+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In any charged quantum system with a conserved $U(1)$ and a finite $\\mu_c$, compute the instantaneous Lyapunov exponent from the out-of-time-ordered correlator at finite chemical potential; observing $\\lambda_L > \\frac{2\\pi T}{1 - |\\mu/\\mu_c|}$ for any $\\mu$ would falsify the conjecture, while a direct evaluation of $|F(t_0 + i\\tau)|$ in the same model would test the existence assumption independently of the bound.","supporting_citations":[{"cited_title":"The approach to thermal equilibrium in quantized chaotic systems","cited_arxiv_id":"cond-mat/9809360","evidence_quote":"Supports the assumption that matrix elements of local operators do not grow exponentially with energy, via eigenstate thermalization."}],"review_version":1}