{"id":"82aa4009-779d-422f-9503-62dfc897bffb","arxiv_id":"2607.24925","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.5,"correctness_risk":"low","formal_verification":"none","parameter_count":3,"one_line_summary":"Operator scrambling in large-N Brownian Majorana systems is governed by strong-to-weak U(1) breaking whose dual-constrained EFT yields a noisy FKPP equation for OTOCs.","lead":"The paper derives an effective field theory for quantum operator scrambling from a strong-to-weak U(1) symmetry breaking on the OTOC contour. It explains why operator size obeys a noisy FKPP equation and checks the result in a Brownian SYK chain.","discovery_kind":"first_principles","skeptic_critique":null,"referee_report":{"model":"moonshotai/kimi-k3","summary":"The manuscript constructs a symmetry-based effective field theory for operator-size dynamics and OTOCs in Brownian or short-time-correlated large-N Majorana systems. On the four-fold Keldysh contour of the OTOC, reinterpreted as a two-fold contour in a doubled Hilbert space, quadratic (q=2) dynamics exhibits an emergent strong U(1) symmetry whose charge is the operator size; q≥4 interactions break it explicitly, generating a mass for the would-be Goldstone phase that plays the role of the Lyapunov exponent. A new duality combining time reversal with a contour permutation (Eq. 3.40), together with Schwinger-Keldysh consistency conditions (normalization, reflection, convergence) and the fixed points at n=0 and n=1, fixes the minimal local action up to O(ϕ²) (Eq. 3.45), yielding a noisy FKPP equation (Eq. 4.10) in which the multiplicative-noise strength is tied to the Lyapunov exponent and path-integral convergence enforces λ>0. The construction is checked against a direct saddle-point expansion of a Brownian SYK chain (reproducing the action with λ=J₄ and a microscopic D), against master-equation numerics in (0+1)d, and the clean SYK2 chain is treated separately as a nonlocal, integrable exception.","tokens_in":40088,"tokens_out":5086,"duration_ms":175285,"significance":"If it holds, this is a significant conceptual advance: it explains *why* operator-size hydrodynamics takes an FKPP form, rather than deriving that form model by model. The FKPP equation itself is not new, and the authors are appropriately careful to say so; the new content is the symmetry origin — the strong-to-weak U(1) breaking in operator space and the time-reversal/contour-permutation duality. The strengths are concrete: the duality map (3.40) is derived from microscopic contour structure (App. C), not postulated; the noise-to-Lyapunov-exponent relation and the positivity of λ are parameter-free consequences rather than fits; the Brownian SYK saddle expansion (§5.1, App. E) independently reproduces the quadratic action with λ=J₄ and an explicit D, with λ and D matched to microscopic couplings rather than fitted to OTOC curves; and the (0+1)d comparison with the independent master equation of Ref. [36] (Fig. 6) provides a quantitative external check. The construction also makes clear where it should fail — clean models with extra conservation laws (§5.3), non-Majorana operator algebras, higher noise cumulants — which gives it falsifiable boundaries.","major_comments":[{"comment":"The all-orders kernel is not obtained from the microscopic fluctuation expansion but is introduced as a 'reasonable modification' of the quadratic kernel, chosen to (a) reduce to Eq. (5.10) at quadratic order and (b) prevent J₂ from generating a mass. Since the agreement of Eq. (5.16) with the symmetry-based action (3.45) is presented as the central microscopic verification of the EFT, the manuscript should state explicitly which parts of that agreement are derived and which are input. As I read App. E, the on-site cubic and quartic terms (E.18)–(E.19) — and hence the nonlinear growth and noise coefficients at O(ϕ²) — are genuinely derived from F(G), while only the kernel piece is engineered. If so, the verification is still nontrivial, but the current phrasing overstates it. Ideally the modification should be justified within the microscopic calculation (e.g., by the argued effect of hi","section":"§5.2, Eq. (5.14) and App. E.3, Eq. (E.17)"},{"comment":"The Langevin equation with multiplicative noise requires a stochastic prescription (Itô vs. Stratonovich), which at O(1/N) produces drift corrections that can shift the effective growth rate — precisely the regime where the noise term is supposed to matter. The Hubbard–Stratonovich decoupling in Eq. (4.5) implicitly selects one discretization, but this is never stated. §5.2 notes that the master equation maps to 'an Ito process' whose FKPP equation matches (5.16), which suggests the saddle derivation is Itô, but this should be demonstrated rather than inferred, and the cutoff numerics (θ(n−1/N) multiplying both drift and noise) should be confirmed to use the same prescription. This is load-bearing for the claim that the noise strength is fixed to be λ at finite N, not just at the deterministic saddle.","section":"§4.1, Eqs. (4.5)–(4.7) and §4.3, Eq. (4.10)"},{"comment":"The (log N)^{-2} velocity shift and (log N)^{-3} front diffusion are quoted from Brunet–Derrida-type analyses, which were developed for cutoffs on the standard FKPP reaction term n(1−n). Here the deterministic term is the cubic n(1−n)(1−2n) with saturation at n=1/2, the noise has the specific n-dependence n(1−n)(1−2n+2n²), and the hard cutoff θ(n−1/N) is applied to both. Linear marginal stability near n=0 plausibly puts this front in the same pulled-front class, but the logarithmic scalings are not automatic for this reaction/noise structure. Either justify the carry-over analytically (e.g., mapping near n=0 onto the standard problem) or present Fig. 4(f) as numerical evidence for this specific equation, with the fits and N-range stated.","section":"§4.3, Eq. (4.13) and Fig. 4(f)"}],"minor_comments":[{"comment":"Convergence allows η≥0, while the duality (linearized, §3.4) sets η=0. It would help to note explicitly that the free-fermion diffusion is therefore noiseless at this order, and to comment on whether the microscopic q=2 saddle (Eq. 5.13) is consistent with η=0 — it appears to be, but this is not stated.","section":"§3.2, Eq. (3.26)–(3.27)"},{"comment":"The statement that the fixed-point condition 'forbids' the iη(∇ϕ)² term because it does not vanish at n=0,1 is a little quick: that term does not multiply n at all. Presumably the argument is that the fixed-point requirement applies to the full ϕ-dependent functional; please phrase this more precisely.","section":"§3.3, Eq. (3.30)"},{"comment":"The correction is O((N∆x)^{-1}), not O(N^{-1}) as written in Eq. (4.2). In a genuine continuum limit ∆x→0 at fixed N this is not uniformly small; the required regime N∆x≫1 should be stated alongside Eq. (4.2) rather than only in the appendix.","section":"§4, Eq. (4.2) and App. D, Eq. (D.9)"},{"comment":"Define the noise correlator ⟨ξ(x,t)ξ(x′,t′)⟩=δδ at first use in the introduction; it currently appears only in §4.3.","section":"Eqs. (1.5)/(4.10)"},{"comment":"Axis labels and legends are essentially illegible at the current resolution (in particular panels (e)–(f), which carry the scaling claims). Please label axes (x, n(x,t), t, log N, etc.) explicitly and state the fitted slopes in panel (f) against the dashed reference lines.","section":"Fig. 4"},{"comment":"The truncation logic (K=1 unphysical, K=2 minimal consistent with both fixed points) is clear, but it would be useful to state in one sentence what qualitatively new freedom enters at K=3, since this delimits the sense in which the action is 'fixed'.","section":"§3.4, Eq. (3.44)"},{"comment":"Notation: the strong-sector index s is dropped after §3.3 'for convenience', but weak-sector fields reappear in App. A and C; a short reminder at the start of §4 that (n,ϕ)≡(n_s,ϕ_s) would prevent confusion. There are also several run-together words from typesetting (e.g., 'large-NMajorana', 'orderbyorder') that should be checked in the source.","section":"General"}],"recommendation":"minor_revision","confidential_remarks":"The FKPP phenomenology (growth, pulled fronts, Brunet–Derrida corrections) and the Brownian-SYK/master-equation results substantially overlap with prior literature, including Refs. [36–39]; the genuinely new contribution is the symmetry organization and the duality (3.40). The authors frame this honestly in the introduction, and the two self-citations supply background rather than priority claims, so I see no issue — but the editor may wish to weigh the conceptual-contribution framing when assessing fit. The three major comments are all addressable within the manuscript's existing scope (clarification of §5.2's derivation status, the noise prescription, and the scaling justification); none undermines the central construction."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real advance here is not “OTOCs obey FKPP”—that structure is already in the circuit/Brownian/SYK literature they cite. It is a contour-symmetry derivation: free Majorana OTOC contours have an emergent strong U(1) whose charge is operator size; interactions break it and supply the Lyapunov mass; and an MT (time-reversal + contour-permutation) duality freezes the leading nonlinearities and the multiplicative noise so that ξ is tied to λ and path-integral convergence forces λ>0. That is new organizing content inside the stated class.\n\nThey do the formal work carefully. Normalization, reflection, and Im S≥0 are imposed properly; the duality map (3.40) and the fixed points n=0,1 fix the O(φ^{2}) action without hand-tuning; appendices spell out the su(2) symbols and the contour algebra. The Brownian SYK check is genuine external evidence, not a fit: the saddle reproduces λ=J₄ and the same φ^{2} structure, and the (0+1)d moments match an independent master equation. Circularity is low.\n\nSoft spots are mostly scope, not internal cracks. The load-bearing premise is Brownian/short-time large-N Majorana with no ordinary conserved charges, so only the strong-sector (n,φ) modes matter and higher cumulants plus clean nonlocal modes can be dropped. They are explicit about this; the clean SYK₂ light cone sits outside the local EFT and they show it. The 1/N cutoff in the numerics is phenomenological (standard for noisy FKPP fronts) but not derived. Higher-φ terms and non-Majorana algebras are left open. None of that undoes the derivation inside the regime they claim.\n\nThis is for people who already care about operator hydrodynamics, SK EFTs, and scrambling kinetics. It will not rewrite broad condensed matter, but it gives a principled route instead of another master equation. Math and citation pattern look solid; self-cites are background, not load-bearing loops.\n\nI would send it to referees. Worth engaging if you work in this corner.","headline":"Symmetry-derived EFT that actually fixes the fermionic noisy-FKPP action (including noise–λ link) for Brownian large-N Majorana OTOCs, with a clean SYK saddle check.","tokens_in":40615,"tokens_out":588,"would_cite":true,"duration_ms":10839,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Operator scrambling obeys a noisy FKPP equation fixed by strong-to-weak U(1) breaking and a contour duality on the OTOC path integral.","keywords":["operator scrambling","OTOC","strong-to-weak symmetry breaking","effective field theory","noisy FKPP","Brownian SYK","operator size","Lyapunov exponent"],"falsifier":"In a Brownian SYK chain (or another model in the stated class), extract the collective action for operator size by saddle-point expansion and check whether it matches λ ϕ n(1−n)(1−2n) + iλ ϕ² n(1−n)(1−2n+2n²) with λ set by the quartic coupling; mismatch of the noise–Lyapunov relation or of the fixed points at n=0,1 would falsify the claim.","tokens_in":40694,"feed_emoji":"🌀","tokens_out":995,"duration_ms":19257,"temperature":0.7,"pith_summary":"This paper argues that the growth of out-of-time-ordered correlators is not just a model-by-model kinetic fact but follows from a symmetry principle in operator space. In Brownian or short-time-correlated large-N Majorana systems, the four-contour representation of an OTOC has an emergent strong U(1) symmetry in a doubled Hilbert space even when the microscopic system conserves nothing ordinary; the conjugate density is local operator size. Interactions break that strong symmetry, and a duality that pairs time reversal with contour permutation fixes the low-order effective action so that the operator-size density obeys a noisy Fisher–Kolmogorov–Petrovsky–Piskunov equation. The same duality ties multiplicative noise to the Lyapunov exponent and makes positivity of that exponent a requirement of path-integral convergence. A Brownian SYK chain saddle reproduces the action, so early exponential growth, ballistic fronts, saturation, and stochastic front broadening sit in one symmetry-based hydrodynamics of operator size.","feed_headline":"Scrambling is strong-to-weak U(1) breaking on the OTOC contour","feed_subtitle":"A contour duality fixes a noisy FKPP equation and ties noise strength to the Lyapunov exponent","key_machinery":"Strong-to-weak U(1) symmetry breaking on the OTOC contour, together with the MT duality (time reversal composed with a four-contour permutation) that relates n and ϕ and fixes the minimal local action through O(ϕ²).","core_discovery":"For Brownian or short-time-correlated large-N Majorana systems, OTOC dynamics is controlled by an effective field theory for operator-size density n and response phase ϕ organized by strong-to-weak U(1) breaking. An emergent duality combining time reversal with contour permutation fixes the action up to quadratic order in ϕ, yields the noisy FKPP equation for n, relates noise strength directly to the Lyapunov exponent λ, and makes λ > 0 a consequence of real-time path-integral convergence. A direct saddle-point expansion of a Brownian SYK chain reproduces that action.","pith_inferences":["If ordinary energy or charge conservation is restored, the same contour logic should couple operator size to standard hydrodynamic fields and produce long-time tails in OTOCs without rebuilding the kinetic equation from scratch.","Spin or bosonic operator algebras would likely change the saturation fixed points and the polynomial form of the reaction term, so the fermionic FKPP shape is not automatic outside Majorana systems.","The duality’s link between noise and λ offers a diagnostic: measured front diffusion and Lyapunov growth in large-N scrambling experiments should track the same microscopic scale."],"forward_implications":["Diffusive operator spreading in free Majorana systems and chaotic ballistic growth with saturation are the unbroken and broken phases of the same strong U(1).","The OTOC is the noise-averaged solution of a noisy FKPP equation with initial weight-m source, including front broadening and velocity shift at finite N.","Path-integral convergence forces λ > 0 once the duality relates noise to the mass term.","Higher-order response terms and ordinary hydro modes can be added systematically once the minimal duality-fixed action is in place."],"fun_headline_variants":["Strong-to-weak U(1) breaking sets OTOC operator-size hydrodynamics","Contour duality fixes noisy FKPP and links noise to Lyapunov growth","OTOC scrambling as strong-to-weak U(1) breaking in operator space","Emergent contour U(1) breaking yields noisy FKPP for operator size","Duality on OTOC contour constrains action and enforces λ>0"],"cache_read_input_tokens":32896,"weakest_assumption_plain":"The systems must be large-N Majorana models with Brownian or short-time-correlated couplings and no ordinary conserved quantities, so that the only slow modes on the OTOC contour are the strong-sector density and phase.","fun_headline_variants_meta":{"raw":{"variants":["Strong-to-weak U(1) breaking sets OTOC operator-size hydrodynamics","Contour duality fixes noisy FKPP and links noise to Lyapunov growth","OTOC scrambling as strong-to-weak U(1) breaking in operator space","Emergent contour U(1) breaking yields noisy FKPP for operator size","Duality on OTOC contour constrains action and enforces λ>0"]},"model":"grok-4.5","effort":"low","cost_usd":0.004608,"raw_usage":{"total_tokens":1421,"prompt_tokens":925,"num_sources_used":0,"completion_tokens":86,"cost_in_usd_ticks":46084000,"prompt_tokens_details":{"text_tokens":925,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":410,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":925,"tokens_out":86,"duration_ms":6915,"temperature":1.0,"reasoning_tokens":410,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T05:43:17.301131+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"In a Brownian SYK chain (or another model in the stated class), extract the collective action for operator size by saddle-point expansion and check whether it matches λ ϕ n(1−n)(1−2n) + iλ ϕ² n(1−n)(1−2n+2n²) with λ set by the quartic coupling; mismatch of the noise–Lyapunov relation or of the fixed points at n=0,1 would falsify the claim.","supporting_citations":[],"review_version":1}