paper Review Profile
Detecting reorganization onset via an operator commutator: Kuramoto, Floquet, and discrete scale invariance
Introduces a two-dimensional operator diagnostic (χ, η) built from a participation operator P and a rigidity operator M, where χ tracks an effective dimension and η is the normalized Frobenius commutator measuring operator-level alignment. Validated on Kuramoto networks, periodically driven (Floquet) systems, and engineered discrete-scale-invariant spectra, η consistently peaks before the conventional order parameter and before pairwise transfer entropy (with lower variance) and accurately recovers log-periodic ratios, demonstrating early detection of reorganization.
Full breakdown: https://theoryofeverything.ai/papers/detecting-reorganization-onset-via-an-operator-commutator-kuramoto-floquet-and-discrete-scale-invariance-mq8tvs49
This submission presents a mathematically rigorous framework for early detection of system reorganization using a two-dimensional operator diagnostic (χ, η). The work demonstrates exceptional internal consistency across its construction: the core operators P (participation) and M (rigidity) are defined uniformly and applied consistently across three distinct physical anchors (Kuramoto, Floquet, DSI). The mathematical framework is sound, with properly proven bounds (Propositions 1-4) and a careful treatment of the distinction between positive semidefinite M (where D_eff has a participation-ratio interpretation) and indefinite M (where it remains well-defined but loses the mode-count meaning). The empirical validation is comprehensive, particularly for the Kuramoto anchor where η peaks before the synchronization threshold Kc in 125 of 127 realizations and demonstrates superior performance over pairwise transfer entropy with 5× lower variance. However, specialists identified several mathematical risk flags requiring attention: Remark 1's well-definedness condition for D_eff contains an incorrect equivalence that could affect the claimed domain validity; the DSI collapse mechanism relies on heuristic reasoning rather than derived bounds; and some key derivations are compressed, particularly around the block-projector implementation in degenerate Floquet sectors. While these gaps don't invalidate the central Kuramoto claims, they limit the rigor of the cross-domain mathematical framework. The work excels in scientific transparency, explicitly acknowledging limitations and distinguishing empirical observations from theoretical claims.
The paper is largely internally coherent. The core construction is consistent: P is Hermitian PSD and trace-normalized, M is Hermitian and fixed during sweeps, eta is consistently defined by Eq. (3), and chi is consistently a ratio of effective dimensions from Eq. (2). The distinction between PSD M, where D_eff has a participation-ratio interpretation, and indefinite M, where it is only a signed-moment concentration ratio, is handled explicitly. The variational section also correctly notes that eta=0 is necessary but not sufficient for the Gibbs state, avoiding an overclaim. The main internal issues are local rather than fatal: Eq. (7) omits the /N normalization but the surrounding text corrects this; the Floquet appendix blurs block-projector dephasing and Schur-basis rank-one dephasing; and Section 7's 'optimality' language is stronger than the finite benchmark supports. These do not overturn the main Kuramoto logic, but they should be tightened.
Core mathematical statements are largely correct: (i) eta’s bound 0 ≤ eta ≤ sqrt(2) follows from the cited Böttcher–Wenzel inequality for normal matrices (Hermitian implies normal), so Proposition 2 is valid; (ii) Proposition 1’s bounds for PSD M are correctly proved via Cauchy–Schwarz and nonnegativity of eigenvalues; (iii) the Gibbs stationary point from minimizing Tr(MP) − T S[P] with Tr P=1 is standard and the commutativity [P*,M]=0 follows by functional calculus. The main mathematical risk is around Eq. (1)/Remark 1 for indefinite M: the denominator is written as Tr[(MP)^2], which naively could be negative because MP need not be Hermitian; the paper’s identification with Tr(A^2) (A = P^{1/2} M P^{1/2}) is plausible but compressed and should be made fully explicit since it underwrites the claim that D_eff is well-defined/nonnegative for indefinite M (used in Floquet/DSI anchors and in chi). Additional minor gaps include convexity/continuity details in Proposition 3 and the sketched perturbation bound in Appendix B.3a, but these are not load-bearing for the central Kuramoto eta-precursor claim.
The work is clearly falsifiable on its main empirical claim. The strongest testable statement is benchmark-specific: in Kuramoto networks, the η-peak should precede the conventional synchronization threshold Kc and the pairwise TE peak, with lower variance, across specified topologies and size ranges. These are concrete, measurable observables extractable from the same simulations or experiments. The paper also gives operational details—network types, sizes, ramp protocols, TE estimator settings, fitting rules—so an independent group could attempt replication and potentially refute the claimed ordering or variance advantage. The main limitation is that falsification criteria are not stated in a compact dedicated form, and the cross-domain claims are uneven in sharpness. The Floquet and DSI anchors are not formulated as strong differentiating predictions against alternative theories; they are demonstrations of applicability. So the paper earns a high but not maximal score: the Kuramoto core is strongly testable now, but the broader framework would benefit from explicit prospective predictions for new systems and clearer statements such as 'the framework is falsified if X no longer precedes Y under Z conditions.'
The manuscript is generally readable and well organized, with sections that clearly separate definitions, empirical anchors, limitations, and appendices. Key concepts are introduced before use, notation is mostly consistent, and the author does a good job of distinguishing what each anchor validates. The discussion of caveats in the DSI section is especially commendable. However, the paper is dense and often overburdened by claim management, parenthetical qualifications, and long paragraphs. The central physical intuition of η and χ is understandable, but the manuscript repeatedly shifts between formal operator language and empirical benchmark language without always providing a concise bridge for the reader. Most importantly, the abstract and opening framing suggest a unified early-warning/reorganization-detection result across all anchors, whereas the body really delivers one strong precursor benchmark (Kuramoto), one regime-distinction extension (Floquet), and one structural-recovery benchmark (DSI). That mismatch slightly muddies the communication of what has actually been shown. Because of this material overclaim in framing, clarity cannot be higher than 3.
The paper's novelty lies in the synthesis: defining a two-dimensional diagnostic plane from a participation operator P and rigidity operator M, with η as a normalized operator commutator and χ as an effective-dimension ratio, then using the same construction across synchronization, Floquet dynamics, and discrete-scale-invariant spectra. That is more than a cosmetic repackaging. The paper also makes a nontrivial empirical claim that this operator-level alignment signal can act as an earlier and less variable precursor than pairwise TE in the Kuramoto benchmark. The ingredients individually are not all new: commutator norms, participation-ratio ideas, Gibbs variational structure, and dephasing/projection constructions all have prior art, and the paper itself acknowledges adjacent lineages. What appears original is their combination into a unified diagnostic framework with cross-domain interpretation and benchmarked precursor behavior. I do not score it a 5 because the manuscript does not yet fully establish that the framework yields qualitatively new physics inaccessible to existing approaches outside the Kuramoto case; in Floquet and DSI, the contribution is closer to proof-of-principle extension than a wholly new mechanism with deep demonstrated consequences.
The submission is substantially complete. The main operators and diagnostics are defined, assumptions are mostly explicit, and the paper does address its own stated program across theory plus three empirical anchors. It does a good job of stating limitations, especially for indefinite M, the fixed-M convention, small-N effects, the proof-of-principle status of the Floquet anchor, and the engineered nature of the DSI anchor. Boundary and edge cases are also handled more carefully than usual: the paper discusses when Deff is well-defined, how the indefinite-M interpretation differs from the PSD case, when χ requires a nonzero reference value, and why floating-M can trivialize η in Floquet settings. The main reasons this is not a 5 are secondary but meaningful completeness gaps. Several empirical procedures are specified only at a summary level where reproducibility would benefit from more exact detail: the K-grid resolution for some Kuramoto sweeps, precise burn-in/measurement choices by system size, logistic-fit diagnostics and goodness-of-fit criteria, how invalid or clipped realizations affect uncertainty estimates, and the exact statistical handling of multiple realizations across topology studies. The TE comparison is described clearly enough to follow, but not enough to fully reconstruct estimator behavior without supplementary code. There are also a few structural rough spots: some section cross-references are inconsistent, a few claims are delegated to appendices in a way that interrupts the mainline argument, and the rewiring-graph section introduces an additional empirical result somewhat abruptly relative to the paper's main storyline. Still, these are not core derivation failures; the central argument remains coherent and well-supported within the paper's own scope.
Strengths
- +Mathematically consistent operator framework with proven bounds (0 ≤ η ≤ √2 via Böttcher-Wenzel inequality) and explicit handling of both PSD and indefinite rigidity operators
- +Comprehensive empirical validation on Kuramoto networks: η precedes Kc in 125/127 realizations across four topologies and six system sizes, with robust finite-size scaling showing constant precursor gap ⟨Kc - Kη⟩ = 0.61±0.05
- +Direct head-to-head comparison demonstrates η peaks 0.31 coupling units earlier than pairwise transfer entropy with approximately 5× lower seed-to-seed variance, robust across estimator hyperparameters
- +Unified construction applies without modification across qualitatively distinct domains (synchronization, Floquet dynamics, discrete scale invariance), with the same mathematical definitions yielding meaningful diagnostics in each setting
- +Exceptional scientific honesty: explicit limitations sections, careful distinction between empirical claims and theorems, and transparent acknowledgment of engineered versus emergent phenomena
Areas for Improvement
- -Correct Remark 1's well-definedness condition: the equivalence 'P^(1/2) M P^(1/2) ≠ 0 iff M does not annihilate the entire support of P' is mathematically incorrect, as M can map the support entirely into its orthogonal complement
- -Expand the compressed derivation in Eq. (1) showing step-by-step how Tr[(MP)²] = Tr(A²) via cyclicity arguments, particularly important since this underwrites D_eff's nonnegativity for indefinite M
- -Strengthen the DSI anchor by providing theoretical analysis of the collapse mechanism beyond the heuristic '~40× suppression' argument, or more explicitly frame it as purely empirical validation
- -Address the Floquet small-system limitation (N=4) with finite-size analysis or clearer scope restrictions, and clarify the distinction between block-projector and Schur-basis implementations in degenerate sectors
- -Expand the perturbation bound derivation in Appendix B.3a (Eq. 13) to show the intermediate steps more explicitly, though numerical verification supports the result
Detecting reorganization onset via an operator commutator: Kuramoto, Floquet, and discrete scale invariance Jill F. Rankin Independent Researcher
June 11, 2026 Abstract In many coupled dynamical systems, reorganization begins well before the dominant order parameter signals it. We introduce a two-dimensional operator-based diagnostic (χ,η) built from a participation operatorPand a rigidity operatorM:χtracks the effective dimension ofPweighted byM, andηtracks the normalized Frobenius commutator∥[P,M]∥ F . The construction admits a variational characterization with Gibbs-like stationary states and explicit bounds. Across four network topologies and six system sizes,ηpeaked beforeK c in 125 of 127 valid realizations (73/75 in the topology-comparison study; 52/52 in the finite-size scaling study), with the two exceptions occurring atN= 12 where finite-size fluctuations are largest. In direct comparison on the same simulations, theη-peak occurs 0.31 coupling units earlier than the pairwise transfer entropy peak and with 5×lower seed-to-seed variance, robust across estimator hyperparameters. The same operator construction extends as a proof-of-principle demonstration to periodically driven (Floquet) systems, where the (χ,η) plane distinguishes selection-relaxation from sustained-coherence regimes, and to model spectra with engineered discrete scale invariance, where it recovers input log-periodic ratios with mean absolute error 0.31% and worst-case error 0.41%. We interpretηas detecting operator-level alignment between participation and rigidity; on the systems examined, this alignment precedes both the order- parameter signal and the pairwise information-transfer peak. 1 Introduction The order parameter signaling a collective transition typically appears only after substantial internal reorganization has already occurred. In synchronizing systems, individual oscillators begin to align well before the global coherence becomes detectable in the standard Kuramoto order parameterr[1, 2]. In equilibrium systems approaching a phase transition, configurations fluctuate cooperatively while the magnetization or density order remains undisturbed [3]. In systems exhibiting discrete scale invariance, log-periodic oscillations in observables reflect a recursive reorganization of the underlying spectrum [4]. Detecting reorganization before it manifests in the conventional order parameter is both operationally important—for forecasting tipping points in ecological and climate systems, and for active control of engineered oscillator networks—and methodologically distinctive: precursor diagnostics must respond to structural changes that the order parameter, by construction, has not yet registered. Several lineages of precursor diagnostics have developed. The classical critical-slowing-down indicators—increasing variance, rising lag-1 autocorrelation, and prolonged recovery time after 1
perturbation—exploit the divergence of relaxation timescales near bifurcation points [3, 5, 6]. Information-theoretic precursors identify shifts in the predictive or synergistic structure of multi- variate time series: synergy from partial information decomposition peaks in the disordered phase before symmetry-breaking transitions [7], and pairwise transfer entropy peaks near the synchroniza- tion threshold in Kuramoto networks and decreases on both sides [8]. Operator-spectral methods, including Koopman-operator generalizations of stochastic resilience [9] recast precursor detection as an eigenvalue computation on an infinite-dimensional functional space. Across these lineages, the precursor signal is typically a scalar quantity, and the construction is specific to the model class on which it is defined: a synergy indicator on Ising spins does not naturally extend to a Floquet-driven Hamiltonian; a Koopman estimator built for population dynamics does not naturally extend to a scale-invariant electronic spectrum. We introduce a precursor diagnostic that is two-dimensional rather than scalar, and that is de- fined by the same operator construction across systems with otherwise unrelated phenomenology. The construction rests on a pair of Hermitian operators: a participation operatorPencoding which degrees of freedom are dynamically active in the collective state, and a rigidity operatorMen- coding the structural cost—graph Laplacian, static Hamiltonian, or band-structure operator—that organizes the participating modes. From this pair we derive two diagnostics:χ, the ratio of effective dimensionsD eff (P 1/2 MP 1/2 ) at two control-parameter values, tracking selection and dimensional redistribution; andη, the normalized Frobenius commutator∥[P,M]∥ F /(∥P∥ F ∥M∥ F ). Bothχand ηare dimensionless;ηsatisfies 0≤η≤ √ 2 by the Frobenius norm bound on commutators, with η= 0 whenPandMcommute (share an eigenbasis) and maximal when they are maximally mis- aligned. The construction admits a free-energy-like variational characterization whose stationary states are Gibbs-like inM, and four bounding properties (Section 2) establish that the (χ,η) pair lives on a well-defined diagnostic plane. Three empirical anchors validate the construction across qualitatively distinct dynamical set- tings. (i) In the Kuramoto model, theη-peak precedes the logistic synchronization threshold K c in 125 of 127 valid realizations (73/75 in the topology-comparison study across four network topologies atN= 12; 52/52 in the finite-size scaling study across six system sizes,N= 12 to 384). The precursor gap remains positive across all sizes and does not decay withN, holding at ⟨K c −K η ⟩= 0.61±0.05 across the large-Nregime (N≥96) whereK c estimation is unambigu- ous. A direct head-to-head comparison on the same simulations against pairwise transfer entropy shows thatηpeaks 0.31 coupling units earlier than TE and with approximately five-times lower seed-to-seed variance, robust across TE estimator hyperparameters. (ii) As a proof-of-principle extension, the construction applies without modification to periodically driven (Floquet) systems, where the (χ,η) plane distinguishes selection-relaxation from sustained-coherence regimes through the behavior ofηunder continued driving. (iii) In model spectra with engineered discrete scale in- variance (E n =E 0 λ n ), the operator diagnostic recovers the input log-periodic ratioλto within 0.3% acrossλ∈[1.15,1.85] via collapse ofη(logμ) under rescaling; this result validates the diagnostic’s sensitivity to hidden scale structure on a controlled benchmark. We interpretηas detecting operator-level alignment between participation and rigidity. On the systems examined, this alignment precedes both the order-parameter signal and the peak in pairwise transfer entropy, and exhibits substantially lower seed-to-seed variance than the latter. The remainder of the paper is organized as follows. Section 2 defines the operators, diagnostics, and four mathematical properties. Section 3 presents the Kuramoto results: ensemble statistics across topologies and sizes, the slow-K-ramp temporal precursor experiment, and the head-to- head comparison against transfer entropy with robustness checks. Section 4 presents the Floquet anchor. Section 5 presents the discrete-scale-invariance anchor. Section 6 discusses limitations, positions the construction against adjacent operator-theoretic lineages (Mori–Zwanzig projection- 2
operator formalism, generalized inverse participation ratios, Laplacian-eigenvector synchronization diagnostics, and Frobenius commutator measures of quantum asymmetry), and outlines directions for application to physical systems spanning many orders of magnitude in characteristic frequency. 2 Methods 2.1 Operators and diagnostics LetHbe a finite-dimensional Hilbert space with dimH=N. The framework is defined by a pair of operators onH. Unified construction ofP.In every anchor,Pis the steady-state participation operator ob- tained by averaging the instantaneous density over the timescale natural to the anchor’s sym- metry structure. For the Kuramoto anchor,ρ(t) =v(t)v(t) † /Nwithv i (t) =e iθ i (t) , andP ij
⟨e i(θ i −θ j ) ⟩ t /Nis its time-average over the measurement window. For the Floquet anchor, the stro- boscopic time-average 1 K P K−1 k=0 U k F ρ(U k F ) † converges asK→ ∞to the block-diagonal dephasing P after
P α Π α P before Π α (by the discrete von Neumann ergodic theorem applied to the unitary group generated byU F ); the block-projector construction is therefore the closed-form evaluation of the Floquet time-average, not a separate definition. For the DSI anchor,P(μ) is a spectral projector (a Gaussian-weighted density of states); this is the spectral analogue of a participation operator, encoding which energy levels are activated at control-parameter valueμ. In all three casesPis Hermitian, positive semidefinite, and normalized to TrP= 1. Rigidity operator.Mis Hermitian and fixed throughout any control-parameter sweep (the fixed-Mconvention; see below). It encodes structural cost—the energy or coupling weight each configuration would incur if active. The construction admitsM⪰0 as an additional hypothesis; whenM⪰0,D eff has a strict participation-ratio interpretation (Proposition 1). For indefinite HermitianM—which arises in the Floquet and DSI anchors—D eff remains well-defined and non- negative, as established in Remark 1 below, but the [1,rank(A)] mode-count interpretation does not apply;D eff should instead be read as a dimensionless concentration ratio of the signed spectral moments ofA=P 1/2 MP 1/2 . The Kuramoto anchor (§3) usesM=L, the graph Laplacian, which is PSD. The Floquet (§4) and DSI (§5) anchors use indefinite HermitianM; in those settingsηremains a normalized commutator bounded by √ 2, the Gibbs variational structure of§2 is preserved (e −M/T is PSD for any HermitianMby spectral functional calculus), andD eff remains a well-defined real number. In every application below we use the fixed-Mconvention:Mis held constant across the control- parameter sweep, and onlyPevolves. In the Floquet anchor, using the floating-Mconvention (M= H F at eachh) forcesη≡0 by construction, becauseP after is defined as the projection onto Floquet eigenspaces and therefore commutes withH F identically; this is demonstrated in Appendix B.3. For systems wherePandMevolve independently (e.g., Kuramoto with a stochastically rewiring graph,§7), the floating-Mconvention does not forceη= 0 but degrades the precursor signal by tracking a moving reference rather than the fixed structural baseline, as shown empirically in§7. From the pair (P,M) we construct two diagnostics. The effective dimension is D eff (P,M) = [Tr(MP)] 2 Tr[(MP) 2 ] .(1) Remark 1(Well-definedness and nonnegativity ofD eff for indefiniteM).DefineA=P 1/2 MP 1/2 . SinceP 1/2 is Hermitian andMis Hermitian,A † = (P 1/2 MP 1/2 ) † =P 1/2 M † P 1/2 =A, soAis 3
Hermitian regardless of whetherMis definite. The denominator satisfies Tr[(MP) 2 ] = Tr(P 1/2 MP 1/2 ·P 1/2 MP 1/2 ) = Tr(P 1/2 MPMP 1/2 ) = Tr(PMPM) = Tr[(MP) 2 ], where the third equality cyclesP 1/2 from right to left, givingTr(A 2 ). SinceAis Hermitian, all its eigenvaluesλ i are real, andTr(A 2 ) = P i λ 2 i ≥0, with equality only ifA= 0. The numerator [Tr(MP)] 2 = [Tr(A)] 2 ≥0as a square. ThereforeD eff ≥0for any HermitianM, andD eff is well-defined wheneverA̸= 0. The well-definedness conditionTr[(MP) 2 ]>0is equivalent toP 1/2 MP 1/2 ̸= 0, i.e.,Mdoes not annihilate the entire support ofP(there exists|w⟩in the range ofPwithM|w⟩ ̸= 0). This condition holds throughout the empirical anchors of§§3–5. The trace identities Tr(MP) = Tr(A) and Tr[(MP) 2 ] = Tr(A 2 ) hold whether or notMis positive semidefinite, by the cyclicity argument in Remark 1. When Tr(A) = 0 the effective dimension is defined as 0 by convention; this degenerate case does not arise in the empirical anchors. WhenM⪰0,D eff is the participation ratio of the nonneg eigenvalues ofA=P 1/2 MP 1/2 : forA supported on a single mode,D eff = 1; forrequal nonzero eigenvalues,D eff =r. Eq. (1) generalizes standard inverse participation ratios to the operator pair (P,M). The dimension-change ratio is χ=D eff (P after ,M) D eff (P before ,M),(2) where “before” and “after” denote two values of the control parameter.χ <1 indicates selection (effective dimension reduced);χ≈1 indicates redistribution without net change in dimensionality; χ >1 indicates dimension expansion (out of scope here, deferred to future work). The commutator mismatch is η(P,M) = ∥[P,M]∥ F ∥P∥ F ∥M∥ F ,(3) where∥·∥ F is the Frobenius norm and [P,M] =PM−MP.η= 0 iffPandMcommute;η >0 quantifies the misalignment between participation and rigidity. 2.2 Variational characterization Define the action functional A eff [P;M,T] = Tr(MP)−T S[P],(4) whereS[P] =−Tr(PlogP) is the von Neumann entropy andT >0 is a positive parameter playing the role of temperature. StationarityδA eff /δP= 0 under TrP= 1 yields P ∗ (M,T) = e −M/T Z(M,T) , Z= Tre −M/T .(5) At the stationary point, [P ∗ ,M] = 0 exactly, soη(P ∗ ,M) = 0. Conversely,η(P,M) = 0 if and only ifPshares an eigenbasis withM—a necessary but not sufficient condition forPto coincide with the Gibbs stateP ∗ of Eq. (5), since any density diagonal inM’s eigenbasis (not only the Gibbs- weighted one) satisfies [P,M] = 0. Thusη >0 detects basis misalignment between participation and rigidity; this includes departures from variational equilibrium but is not synonymous with them. 4
2.3 Mathematical properties We establish four properties of the construction. Proposition 1(Dimension bounds under PSDM).For anyP⪰0withTrP= 1and anyM⪰0, 1≤D eff (P,M)≤rank(P 1/2 MP 1/2 ). Proof.Letr= rank(A) withA=P 1/2 MP 1/2 ⪰0, and letλ 1 ,...,λ r
0 be its nonzero eigenvalues (all nonneg sinceM⪰0). Then Tr(A) = P r i=1 λ i and Tr(A 2 ) = P r i=1 λ 2 i . Upper bound.By the Cauchy–Schwarz inequality applied to vectors (λ 1 ,...,λ r ) and (1,...,1) inR r : r X i=1 λ i 2 ≤r r X i=1 λ 2 i , soD eff = [Tr(A)] 2 /Tr(A 2 )≤r= rank(A). Lower bound.Since allλ i ≥0: [Tr(A)] 2 = X i λ 2 i
- 2 X i<j λ i λ j ≥ X i λ 2 i = Tr(A 2 ), soD eff ≥1, with equality iff exactly oneλ i
0 (i.e.Ahas rank 1). For indefinite HermitianM,Ahas eigenvalues of both signs andD eff = [TrA] 2 /Tr(A 2 ) remains real-valued and nonneg (Remark 1), but is not constrained to [1,rank(A)]; in the empirical anchors with indefiniteM(§§4–5) we reportD eff andχas bare numerical quantities without invoking the strict participation-ratio reading. Verified numerically: 0 violations of the PSD-Mbounds across 5000 random (P,M) pairs. Proposition 2(Commutator bounds).For HermitianPandM, 0≤η(P,M)≤ √
The lower bound is tight whenever[P,M] = 0. The upper bound follows from the B ̈ottcher–Wenzel inequality∥[A,B]∥ F ≤ √ 2∥A∥ F ∥B∥ F for normal matrices [10]. Verified numerically: 0 violations across 5000 random (P,M) pairs. Proposition 3(Stationary states are Gibbs).The stateP ∗ =e −M/T /Zin Eq.(5)is the unique minimizer ofA eff overD={P:P⪰0,TrP= 1}, and satisfies[P ∗ ,M] = 0. Proof.The feasible setDis compact and convex.A eff is strictly convex onD: Tr(MP) is linear, and−T S[P] =TTr(PlogP) is strictly convex (von Neumann entropy is strictly concave). A strictly convex functional on a convex set has at most one minimizer. Sincexlogx→0 asx→0 + , the entropyS[P] and thereforeA eff are continuous on all ofD including the boundary where logPis singular; continuity on a compact set guarantees the infimum is achieved. For any HermitianMand finiteT >0, the Gibbs stateP ∗ =e −M/T /Zis strictly positive definite, hence lies in the interiorD ◦ . Interior points satisfy the Lagrangian stationarity condition: differentiatingA eff −λTrPwith respect toPgivesM/T+logP+1+λ1= 0, soP=e −M/T−(λ+1)1 , which after normalization yieldsP ∗ =e −M/T /Zuniquely. Since the minimizer exists, is interior, and satisfies stationarity, and strict convexity precludes multiple minimizers,P ∗ is the unique global minimizer. Commutativity [P ∗ ,M] = 0 follows becauseP ∗ is a spectral function ofM. 5
Proposition 4(Lindblad invariance).Under any Lindblad (GKLS) dynamics [11, 12], ̇ P=−i[H,P] + X k L k PL † k − 1 2 {L † k L k ,P} ,(6) bothTrPand positivity are preserved, by the standard GKLS preservation theorem [11, 12]. The diagnosticηis well-defined whenever∥P∥ F
0and∥M∥ F 0, which holds for any non-zero state withM̸= 0. The ratioχadditionally requiresD eff (P before ,M)>0at the reference state; this holds throughout the empirical anchors where the reference is the uniform densityP ref =I/Nwith M=L̸= 0. We verify this numerically for representative dephasing channels using fourth-order Runge–Kutta integration; explicit Euler is unstable fordt≥0.05. 2.4 Empirical estimators Kuramoto.Nphase oscillators{θ i }on a graph with adjacency matrixAand LaplacianL= D−Aevolve as ̇ θ i =ω i +K P j A ij sin(θ j −θ i ), withω i ∼ N(0,1) subject to P i ω i = 0. After a burn-in transient (typicallyT burn = 50 time units), the participation operator is constructed from time-averaged coherences, P ij =
e i(θ i −θ j ) t ,(7) where for each timetthe matrix with entriese i(θ i (t)−θ j (t)) is the rank-1 outer productv(t)v(t) † withv i (t) =e iθ i (t) , hence is positive semidefinite; their time-average is therefore Hermitian PSD by construction (as a time-average of Hermitian PSD rank-1 matrices). Hermitian symmetrization is applied as a numerical safeguard against floating-point errors, not as a PSD-restoring step. We divide byNto enforce TrP= 1. The rigidity operator is the graph Laplacian,M=L, held fixed throughout theK-sweep. The order parameter is computed using the|⟨r⟩| t convention (modulus of the time-averaged complex order parameter, not the time-average of the modulus); this removes the finite-Nbaseline that contaminates the latter. The logistic synchronization threshold K c is identified by fittingr(K) =r max /(1 +e −(K−K c )/w ), excludingK= 0, withK c constrained to the swept coupling range. In the finite-size scaling sweep (§3.2), seeds whose fit reaches the upper boundaryK max within tolerance 0.05 are flagged as clipped and excluded from the ensemble statistics; one seed atN= 12 is excluded on this criterion, giving 52 valid realizations. Floquet.A periodically driven HamiltonianH(t+T) =H(t) is integrated over one period to give the Floquet operatorU F . The participation operatorP after is the stroboscopic time-average of ρ(t) =U k F P before (U k F ) † over many periods, equivalently the block-diagonal projection onto distinct quasi-energy eigenspaces (Appendix B.1). Quasi-energies and Floquet states are extracted by Schur decomposition rather than direct diagonalization, since the latter fails at the degenerate quasi-energies induced by discrete symmetries.Mis the static (undriven) part ofH. Model DSI spectrum.A Hamiltonian with explicit log-periodic spectrum,E n =E 0 λ n , is constructed diagonally.P(μ) is a Gaussian-weighted projector centered at chemical potentialμwith relative widthσ rel = 0.025;Mis a fixed random Hermitian operator normalized to∥M∥ F
√ N (see§5.1). The control parameterμis swept logarithmically. The DSI ratioλis recovered from η(logμ) by minimizing the root-mean-square deviation between curves rescaled by candidate ratios λ test relative to a reference run. 6
Table 1: Summary of the participation operatorP, rigidity operatorM, and control parameter for each empirical anchor. DomainP(participation)M(rigidity)Control KuramotoTime-averagedphase- coherencematrix, P ij =⟨e i(θ i −θ j ) ⟩ t /N Graph LaplacianL= D−A CouplingK Floquet (kicked TFIM)Stroboscopic time-average = block-dephased projection of P before ; see App. B.1 Ising rigidityH z
−J P i σ z i σ z i+1 Driveh DSI (model spectrum)Gaussian-weightedpro- jector,P nn (μ)∝ exp[−(E n −μ) 2 /(2σ 2 )] Fixed random Hermitian M,∥M∥ F
√ N μ(log sweep) 2.5 Summary of(P,M)instantiations 2.6 Software and reproducibility All simulations were performed in Python with NumPy and SciPy. Source code, random seeds, and saved data files are provided in the supplementary material. Key implementation choices: (i) fourth- order Runge–Kutta for any Lindblad evolution; (ii) Schur decomposition (scipy.linalg.schur) for Floquet operators with potential degeneracies; (iii) logistic fit excludingK= 0 when estimating K c . 3 Kuramoto results We test the framework on the Kuramoto model of coupled phase oscillators, the canonical setting for synchronization transitions in coupled dynamical systems. This section presents results at four levels of empirical pressure: (i) the basic precursor result at fixed network size and topology; (ii) robustness across network topologies and a 32-fold range of system sizes; (iii) the temporal precursor under a slow-ramp protocol; and (iv) a direct head-to-head comparison against pairwise transfer entropy on the same simulation data. 3.1 Setup and protocol The Kuramoto dynamics on a graph with adjacency matrixAand LaplacianL=D−Aread ̇ θ i =ω i +K X j A ij sin(θ j −θ i ),(8) with intrinsic frequenciesω i ∼ N(0,1) centered so that P i ω i = 0. We integrate Eq. (8) with time stepdt= 0.025, allow a transientT burn that depends on system size, then time-average the phase-coherence matrixP ij =⟨e i(θ i −θ j ) ⟩ t over a measurement window of lengthT meas . We enforce TrP= 1 by dividing the matrix byN, and use the modulus-of-average conventionr=|⟨e iθ ⟩ t |for the order parameter, which removes the finite-Nbaseline that contaminates the alternative average- of-modulus form. The rigidity operator is the graph Laplacian,M=L, held fixed throughout the K-sweep. For each realization we identify two characteristic couplings: theη-peak locationK η
7
arg max K η(K) and the logistic synchronization thresholdK c , obtained by fitting r(K) = r max 1 +e −(K−K c )/w to the measuredrvalues, excludingK= 0. Throughout§§3–4,±values denote standard deviations (SD) across ensemble realizations unless explicitly labeled as standard errors of the mean (SEM). 3.2 Steady-stateK-sweep at fixed network size We first establish the precursor result at fixed network sizeN= 12 on Erd ̋os–R ́enyi networks with mean degreed= 4. Across 20 ensemble realizations (independent networks, frequencies, and initial conditions), Figure 1 shows the per-seedη(K),χ(K), andr(K) traces with their ensemble means. In every realization,η(K) rises from zero atK= 0, peaks at a characteristic couplingK η , and decays toward zero asrapproaches saturation. The ensemble meanK η = 0.29±0.10 precedes K c = 0.65±0.36 by a precursor gap⟨K c −K η ⟩= 0.36±0.36, positive in 19 of 20 realizations (t(19) = 4.47,p <0.001, one-tailed, against the null of zero mean lead). The remaining realization had the gap withinK-sampling resolution of zero. The wide spread inK c relative toK η at this small system size is consistent with the finite-size noise that theN-scaling analysis in§3.2 subsequently shows to contract substantially asNgrows. The dimension-change diagnosticχfalls monotonically from unity atK= 0 toward a plateau atK≳0.6, consistent with selection rather than dimensional expansion: the system reorganizes onto a smaller effective subspace as it synchronizes. [Figure 1 here] Topology and finite-size robustness.To test that the precursor result is not specific to ER networks atN= 12, we run the same protocol on five conditions sampling four topology classes: ER atN= 12 andN= 24, Watts–Strogatz atN= 12 (rewiring probability 0.1), Barab ́asi–Albert atN= 12 (m= 2), and random-regular atN= 12 (d= 4). All graphs use mean degreed= 4 where applicable. With 15 realizations per condition, theη-peak precedesK c in 73 of 75 cases (97.3%). Two realizations did not show a leadingηpeak; both occurred atN= 12 in the highest- variance topology condition, consistent with stochastic variation at small system size rather than a topology-dependent failure mode. We then test finite-size scaling by holding the mean degree fixed atd= 4 and varyingN∈ {12,24,48,96,192,384}on ER networks (Figure 2). Because per-realization compute scales as N 2 , the number of seeds decreases withN(20, 12, 8, 6, 4, 3 respectively) (one seed excluded at N= 12 where the logistic fit reached the sweep boundary), giving 52 valid realizations in total. The lead is positive in every valid realization at every size: 52/52 pooled across theN-scaling sweep. The precursor gap is 0.38±0.08 (SEM) atN= 12. Across the large-NregimeN≥96, where the logisticK c estimate is unambiguous (no boundary clipping), the gap is constant at ⟨K c −K η ⟩= 0.607±0.045 (SEM) (χ 2 /dof = 0.35 against a constant). A power-law or logarithmic decay fits substantially worse (χ 2 /dof = 2.3). At smallN(12–48) the gap shows larger scatter and sensitivity to theK c -estimation protocol; we therefore base the large-Nstatement on theN≥96 points. We do not fit a parametric saturating form: with six size points, the asymptotic value and approach exponent are not jointly constrained. What the data establish is that the gap does not shrink across the 32-fold range inNexamined, and that the positive lead in 52 of 52 valid realizations holds across all six values ofN. [Figure 2 here] 8
3.3 Slow-K-ramp temporal precursor TheK-sweep is a steady-state protocol: at eachK, the system is equilibrated before measurement. To test whether the precursor signal survives in real-time dynamics—where the coupling itself evolves—we run a slow-ramp experiment withN= 24,K(t) =K max (t/T ramp ),K max = 1.5, and T ramp = 800 time units. Phases are pre-equilibrated atK= 0 forT pre = 80 to erase initial- condition memory, then evolved under the ramp. We compute sliding-windowη(t),r(t), andχ(t) with a window of 40 time units, sampled every 1 time unit. For each realization we identify two onset times:t peak η , the time at which the operator misalign- mentη(t) is maximal, andt half r , the time at whichr(t) first reaches half of its asymptotic value. Figure 3 shows the ensemble-mean trajectories on both time andK(t) axes with the detector times marked. Across 8 ensemble realizations,t peak η precedest half r in all 8, with mean temporal lead ⟨∆t⟩= 152±72 time units and correspondingK-space lead⟨∆K⟩= 0.29±0.13. Two features of the slow-ramp result warrant comment. First, theK-space lead⟨∆K⟩= 0.29 is smaller than the steady-state large-Nvalue 0.61 from theK-sweep. Two effects contribute: the slow-ramp uses the half-asymptote threshold ofrrather than the logistic midpointK c (the half-asymptote lies at lowerK), and at any finite ramp rate the system slightly lags steady-state. Second, theηsignal during the ramp sits on a finite-window measurement baseline of∼0.12 and rises only to∼0.13 at the peak before decaying to∼0.04 in the synchronized regime. The relative bump is modest atN= 24 and would likely become cleaner at larger system sizes (window-baseline noise scales as 1/ √ T window ). The temporal lead is nonetheless recoverable in every realization at this size. [Figure 3 here] 3.4 Head-to-head against transfer entropy The preceding sections establish thatK η < K c in the steady state and that this precedence carries over to real-time dynamics. They do not establish thatηis a more sensitive precursor than existing information-theoretic alternatives. The most direct competitor for the synchronization-onset case is pairwise transfer entropy [8], which has been shown to peak near the Kuramoto transition and decay on both sides [13, 14]. We compute bothηand pairwise TE on the same simulation runs:N= 24, ER networks at d= 4,K∈[0,2.5] on 30 values,T meas = 200 time units, 8 ensemble realizations. TE is computed via symbolic phase binning withn bins = 4, lagτ= 1, averaged over 60 randomly selected ordered pairs of oscillators perKvalue; the same set of pairs is used across all estimator configurations within a given (seed,K). We then locate the TE peakK TE = arg max K TE(K) for each seed. Figure 4 shows the four panels. Theη(K) curves (panel a) cluster tightly around a common peak atK η = 0.23±0.06; the TE(K) curves (panel b) show substantially wider seed-to-seed scatter, withK TE = 0.54±0.31. Panel (c) shows the temporal sequence on normalized scales:ηpeaks first, TE peaks second, and the order parameterrrises through the logistic thresholdK c = 1.05±0.66 last. Panel (d) shows the per-seed scatter of (K η ,K TE ): in 7 of 8 realizationsK TE
K η strictly, and in the one remaining realization (the seed with the lowestK c ) the two coincide. Table 2 summarizes the comparison. Three quantitative claims follow. 1.ηpeaks earlier.⟨K TE −K η ⟩= 0.31 in coupling units. In every realization, the operator- misalignment peak precedes or coincides with the information-transfer peak. 2.ηis more reproducible.σ(K η ) = 0.060 versusσ(K TE ) = 0.313, a factor of 5.2. The coefficient of variationσ/μis 0.27 forηversus 0.58 for TE. 9
3.Both leadK c .ηleadsK c by 0.82±0.65, TE leads by 0.51±0.52, both positive in all 8 realiza- tions. The standard deviations on these lead values are inflated by two slow-synchronization seeds whereK c approaches ourK max cutoff; theσ-ratio statistic in claim (2), which de- pends only onK η andK TE and not onK c , is unaffected and is the more robust quantitative summary. [Figure 4 here] Table 2: Head-to-head comparison ofηand transfer entropy (TE) as precursors of the Kuramoto synchronization transition. Values are means±standard deviation acrossn seed = 8 realizations (N= 24 oscillators on Erd ̋os–R ́enyi networks with mean degree 4,K max = 2.5). TE computed via symbolic phase binning (n bins = 4, lagτ= 1). QuantityηTERatio (TE/η) Peak coupling⟨K peak ⟩0.23±0.06 0.54±0.312.4× Standard deviationσ(K peak )0.0600.3135.2× Coefficient of variationσ/μ0.270.582.2× Lead relative toK c (mean)0.82±0.65 0.51±0.52— Positive lead (fraction of seeds)8/88/8— K TE
K η per seed (strict)——7/8 K TE =K η per seed——1/8 3.5 Robustness of the comparison to TE estimator choice A potential concern is that the TE-peak location depends on the discretization parameters chosen for the symbolic estimator. We test three alternative configurations on the same simulation data: (n bins ,τ)∈{(3,1),(5,1),(4,2)}, with the same sampled pairs per (seed,K). Appendix A (Table 5, Figure 7) reports the results: across the 32 (seed, configuration) entries, only 2 changed. The configuration mean⟨K TE ⟩varies by less than±0.02 across the four configurations; the seed-to-seed spreadσ(K TE ) remains in the range [0.313,0.319]; and the strict-inequality countK TE K η is 7 of 8 in every configuration. Theσ-ratio relative toσ(K η ) = 0.060 therefore ranges from 5.22×to 5.32×. The empirical claim thatηis the more reproducible precursor on this benchmark is robust to the estimator choice within the TE family. 4 Floquet anchor: regime distinction under periodic driving The (χ,η) construction extends without modification to periodically driven systems. We demon- strate this on the periodically kicked transverse-field Ising chain (N= 4, periodic boundary conditions), sweeping drive strengthh∈[0,2.5] with the rigidity operator fixed atM=H z = −J P i σ z i σ z i+1 . In§3, “before” and “after” refer to two values of the couplingKalong a steady- state sweep; here they refer to states before and after the drive is applied at a fixedh. The “before” state is the thermal Gibbs density ofH z at temperatureT th = 1.5, for which [P before ,H z ] = 0 ex- actly andη before = 0 by construction. The “after” stateP after is the stroboscopic time-average of P before underU F , equivalently the Floquet-diagonal block projection P α Π α P before Π α , extracted via Schur decomposition (Appendix B). For everyh >0 sampled, the trajectory in the (χ,η) plane sits withχ <1 andη >0: the sustained-coherence quadrant. This is geometrically distinct from the strongly synchronized Ku- 10
ramoto state atK≫K c , which hasχlow andηsmall—the selection-relaxation quadrant—and any scalar precursor diagnostic collapses this separation. The fixed-Mconvention is essential: reas- signingMto the stroboscopic Floquet HamiltonianH F at eachhplacesη≡0 identically, because P after is diagonal in the Floquet basis by construction. Full details—setup, the (χ,η) trajectory, drive-strength dependence, and the Schur-decomposition rationale—are given in Appendix B. 5 Discrete-scale-invariance anchor: recovery of log-periodic struc- ture The Kuramoto and Floquet anchors establish that the (χ,η) construction applies to equilibrating and driven Hamiltonian systems respectively. The discrete-scale-invariance (DSI) anchor tests a different question: when a system carries hidden log-periodic structure in its spectrum, does the operator diagnostic recover that structure quantitatively? This anchor’s role is methodological validation: given a controlled input spectrum with known log-periodic structure, we check that the same (χ,η) construction used in§§3–4 reads out the input ratio with quantitative accuracy, validating its sensitivity to hidden scale structure without modification. The DSI anchor does not claim to detect emergent DSI from a physical model; that extension is left to future work (caveat (i), §5.5). 5.1 Setup Physical instances of DSI include the Efimov tower in three-body atomic physics [15, 16] and log- periodic oscillations in the magnetoresistance of certain topological materials under strong magnetic fields [4]. These systems share a recursive spectrum structureE n ∝λ n over many decades of energy, with a characteristic ratioλthat is not directly registered by standard scalar order parameters. We construct a Hamiltonian with an explicit geometric spectrum, H= diag(E 0 , E 0 λ, E 0 λ 2 , ..., E 0 λ N−1 ),(9) withN= 36,E 0 = 0.05, and DSI ratioλswept across five valuesλ∈{1.15,1.25,1.40,1.60,1.85}. The spectrum is log-periodic by construction: logE n+1 −logE n = logλindependent ofn. The rigidity operatorMis a fixed random Hermitian matrix (drawn once, seeded for repro- ducibility), normalized so∥M∥ F
√ N. It is generically indefinite, soD eff is interpreted in the generalized sense described in§2. The participation operator is a Gaussian-weighted projector, P nn (μ) = 1 Z(μ) exp − (E n −μ) 2 2σ 2 , σ=σ rel μ,(10) withσ rel = 0.025, diagonal in the energy eigenbasis and normalized so TrP= 1. The control parameterμis swept logarithmically over the interior of the spectrum (μ∈[E 3 ,E N−4 ], omitting four boundary eigenvalues on each end) at 1200 sample values. 5.2 Diagnostic signature of DSI Figure 5(a,b) shows the diagnostics for the representative caseλ= 1.40. The commutator mismatch η(logμ) oscillates with the eigenvalue spacing: the curve rises and falls each time the projector cen- ter crosses one of the levelsE n . The effective-dimension ratioχ(logμ) shows the same structure as a sequence of discrete drops; at each eigenvalue,χfalls sharply, indicating dimensional selection 11
onto the Gaussian-broadened single-eigenstate manifold. The vertical gray lines mark the eigen- values, and both diagnostics inherit the spectrum’s log-periodic spacing. Within each log-period, ηhas internal substructure—multiple local maxima as the projector transitions across the bound- ary between adjacent eigenstates—which makes naive period extraction by Fourier peak-finding or autocorrelation unreliable and motivates the universal-collapse approach we use below. Figure 5(c) overlays the normalizedη(logμ/logλ in ) curves for all five values ofλ in . When the abscissa is rescaled by the input DSI ratio, the five curves collapse onto a single universal shape with no free parameter. The collapse is the central evidence that the operator diagnostic correctly inherits the spectrum’s log-periodicity:η(logμ) is approximately a function of logμ/logλalone, modulo aλ-independent overall scale. Note on the collapse.For diagonalP(μ) with relative Gaussian widthσ=σ rel μ, the shift μ→λμmapsP nn (μ) exactly toP n−1,n−1 (λμ). Exact periodicityη(λμ) =η(μ) would follow if Msatisfied the shift symmetryM ij =M i+1,j+1 ; a generic random HermitianMdoes not have this property, so the collapse is not exact for a fixedM. Direct measurement from the 20-M robustness study (§5.4) gives a per-period mismatch|η(λμ)−η(μ)|/η(μ)≈13±2% across interior periods. Despite this per-period variation, the collapse-RMS minimization recoversλto within 0.3% because it integrates over approximately 26 quasi-independent periods in the sweep and is sensitive to peakpositionsrather than peakamplitudes; peak positions determineλand are stable even when amplitudes vary. The≈40×suppression from 13% per-period deviation to 0.3% recovery error is consistent with √ 26≈5×from period averaging combined with∼8×from the position-versus- amplitude insensitivity of the RMS fit. This is an empirical consequence of the fitting geometry, not a mathematical consequence of concentration for a fixedM. The collapse is stated as a caveat rather than a theorem: the DSI anchor’s claim is empirical. [Figure 5 here] 5.3 Quantitative recovery ofλ To recover the DSI ratio from the diagnostic alone we use the universal-collapse principle in reverse: for each inputλ in we ask which candidateλ test best collapses the rescaledη(logμ/logλ test ) curve onto a fixed reference. We use theλ in = 1.40 run as the reference and search over candidate ratios λ test ∈[1.05,2.0] on a grid of 100 values, minimizing the root-mean-square deviation between the rescaled curve and the reference on a common abscissa. Specifically, both curves are evaluated on a common logarithmic abscissa grid with 500 uniformly spaced points in logμ/logλ∈[1,9], linearly interpolated from the simulation samples, and normalized to unit maximum before computing the RMS deviation. Table 3 reports the recovered ratios. The mean absolute relative error is 0.31% across the five inputs; the worst-case error is 0.41%. Figure 5(d) plots recovered against inputλ, with all five points lying on the identity line to within the marker size. Figure 5(f) shows the collapse-RMS landscape for inputλ in = 1.60: a single deep, narrow minimum atλ test ≈1.61, with no spurious local minima in the search range. The recovery is unambiguous for the tested cases; uniqueness for arbitrary spectra orMis not claimed. [Table 3 here] 5.4 Robustness to the rigidity-operator realization The rigidity operatorMused in§5.1 is a single fixed random Hermitian matrix. To test whether the recovery accuracy depends sensitively on this choice, we repeat the full pipeline (five inputλvalues; 12
collapse-RMS recovery against theλ= 1.40 reference) for 20 independently drawnMrealizations, each constructed as (A+A † )/2 from a complex matrixAwithN(0,1) real and imaginary parts. Figure 6(a) shows the distribution of per-seed mean absolute recovery error across the 20 real- izations: the mean is 0.25±0.03%, with range [0.20%,0.35%]. The original realization reported in Table 3 (mean error 0.31%) sits near the upper end of this distribution and is therefore represen- tative, not anomalous. Figure 6(b) shows per-input-λerror scatter. For the two smallest inputs (λ= 1.15 andλ= 1.25), the recovered ratio is identical across all 20 realizations to within the collapse-test grid resolution (∆λ≈0.01). For the two largest inputs (λ= 1.60 andλ= 1.85), three of twenty realizations produce outlier recoveries, but the worst-case relative error across the full 20×5 grid of (realization, input) is 0.85%. The recovery is therefore robust to the choice ofMat the precision relevant to the paper’s claims. [Figure 6 here] 5.5 What this anchor validates, and what it does not The DSI anchor establishes a specific and limited claim: when a system carries log-periodic structure in its spectrum, the (χ,η) diagnostic detects and quantitatively recovers that structure with sub- percent accuracy. Four honest caveats temper any broader interpretation. (i) Engineered, not derived.The log-periodic spectrum is imposed by construction, not derived from microscopic physics. The anchor validates sensitivity to log-periodic structure, not discovery of emergent DSI. Demonstrating the latter on a real HfTe 5 band-structure calculation, on a renormalization-group flow with complex critical exponents, or on the Efimov tower [16], is the natural follow-up and is left to future work. (ii) Random rigidity operator.The probeMis a fixed random Hermitian matrix rather than a physically motivated operator (e.g. a transport operator, a response function, or a band- structure observable). As shown in§5.4, the recovery accuracy is essentiallyM-independent across 20 realizations, so this choice is not load-bearing for the validation. A physically motivatedM would, however, tie the demonstration more closely to specific materials applications. (iii) Resolution-limited.The Gaussian widthσ rel = 0.025 is narrow enough thatP(μ) is well- localized on individual eigenvalues. The recovery accuracy degrades whenσ rel becomes comparable to logλ(the eigenvalues smear into a continuum and the log-periodic structure ofη(logμ) blurs out). We have not systematically explored sensitivity to this parameter. (iv) Not a comparative claim.The recovery comparison performed here is against the ground-truth inputλ, not against an alternative DSI-detection method. A direct spectral anal- ysis of the eigenvalues{E n }would trivially recoverλas well, and we make no claim thatηis a more sensitive DSI detector than direct spectroscopy. The contribution of the DSI anchor is methodological—demonstrating that the same (χ,η) operator construction used for synchroniza- tion (§3) and driven dynamics (§4) extends cleanly to spectral DSI without modification—not comparative. Given these caveats, what the anchor provides is a methodological proof of principle: the operator-based diagnostic correctly reads out hidden log-periodicity, with mean recovery error 0.3% across a 1.6×range inλ. The framework passes its validation test. 6 Discussion We have introduced a two-dimensional operator-based diagnostic (χ,η) for detecting reorganization in coupled dynamical systems. The construction rests on a participation operatorPand a fixed rigidity operatorM, organized by a free-energy-like variational principle whose stationary states 13
are Gibbs-like (§2). Three empirical anchors test the construction across qualitatively distinct domains: the Kuramoto model under steady-state and slow-ramp protocols, with a direct head- to-head against pairwise transfer entropy (§3); a periodically kicked transverse-field Ising chain in the Floquet steady state (§4); and a model spectrum with engineered discrete scale invariance (§5). The framework’s defining empirical claim—that theη-peak precedes the order-parameter signal on Kuramoto with a precursor gap that remains positive and does not decay across a 32-fold range in system size (holding at 0.61±0.05 in the large-Nregime) and substantially lower seed-to-seed variance than pairwise transfer entropy—holds across 73 of 75 ensemble realizations across four network topologies atN= 12, and across all 52 valid realizations in the six-sizeN-scaling sweep, remains stable for system sizes fromN= 12 toN= 384, and is robust to the choice of TE estimator hyperparameters. We now position the construction against four adjacent lineages of operator-theoretic work that a reader from each subfield will reach for. None of these is a direct competitor; each is a foundational anchor whose techniques our construction reuses or whose ideas it develops in a different direction. 6.1 Adjacent lineages Mori–Zwanzig projection-operator formalism.The Mori–Zwanzig approach [17, 18] is the historical origin of using projection operators to organize coarse-grained dynamics. There, a projec- torPseparates the relevant subspace from the irrelevant one, and the off-diagonal couplingsQLP generate memory kernels and noise via the Nakajima–Zwanzig equation. OurPshares the role of selecting “what participates,” but is used differently: rather than projecting equations of motion onto a slow manifold, we usePas a steady-state observable and combine it with a fixed reference Mto generate diagnostic scalars. Recent extensions to time-dependent Hamiltonians [19] bring the formalism closer to the Floquet setting we examined in§4 and would be a natural starting point for connecting the two formalisms. Generalized inverse participation ratios.The effective dimension D eff (P,M) = [Tr(MP)] 2 Tr[(MP) 2 ] is the participation ratio of the eigenvalues ofA=P 1/2 MP 1/2 . This generalizes the standard inverse participation ratio [20, 21] for eigenstate localization to operator pairs: the standard IPR, IPR(ψ) = P i |ψ i | 4 , measures wavefunction amplitude concentration in a fixed basis.D eff (P,M) generalizes the participation-ratio concept to operator pairs but does not reduce to IPR −1 for rank-onePin general: forP=|ψ⟩⟨ψ|andMdiagonal in the localization basis, D eff
|⟨ψ|M|ψ⟩| 2 ⟨ψ|M 2 |ψ⟩ , which equals 1 whenψis an eigenstate ofMand otherwise measures the spread ofψoverM’s eigenstates—a distinct quantity from P i |ψ i | 4 . Laplacian-eigenvector diagnostics for synchronization.McGraw and Menzinger [22] introduced the Laplacian eigenvectors as a diagnostic for partial synchronization in oscillator net- works, framing synchronization onset as “a series of quasi-independent transitions involving differ- ent normal modes.” Their diagnostic is the participation of the oscillator state in each Laplacian eigenmode, mode by mode. Ourη=∥[P,L]∥ F /(∥P∥ F ∥L∥ F ) collapses the same physics—alignment of the participating state with the Laplacian eigenbasis—into a single operator-norm scalar. The two approaches are complementary on Kuramoto specifically: a direct combination would provide bothwhereandhow stronglythe operator misalignment lives. 14
Frobenius commutator measures of quantum asymmetry.Yao and coauthors [23] use the Frobenius commutator∥[U(g),ρ]∥ F as a measure of quantum coherence and asymmetry with respect to a group actionU(g). The mathematical object is the same as ourηwithP=ρand M=U(g). The interpretation is different: they measure static asymmetry under a fixed symmetry, while we sweep a control parameter and locate the commutator peak as a precursor. 6.2 Limitations The present results establish superior reproducibility relative to pairwise transfer entropy on the Kuramoto benchmark. Several limitations bound the scope of this claim. First, it is not yet known whether the advantage ofηover TE generalizes to other synchronization models, to higher-order information-theoretic measures, or to experimentally observed transitions where ground-truthK c is unavailable. Second, theηestimator carries a bin-width hyperparameter whose sensitivity at small Nhas not been systematically characterized; future work should establish whether the observed lead is robust across estimator configurations in theN≤24 regime. Third, the DSI anchor validation was conducted on a single log-periodic template; generalization to other scaling symmetries remains an open question. 6.3 Outlook Three directions stand out for follow-up work, in order of methodological cost. Head-to-head against synergy and Koopman-based EWS.On the Kuramoto bench- mark, computing the synergistic information component from partial information decomposition would provide the direct comparison against the Marinazzo synergy precursor [7] that the liter- ature scan flagged as the closest information-theoretic competitor. The Koopman-operator EWS framework [9] is most naturally applied to the Floquet anchor and would extend the comparison there. Both are within reach with the simulation data already in hand. Materials-realistic anchors.For each of the three domains a physical realization is available. Real synchronization networks (cardiac myocytes, neural populations, power grids), real driven quantum systems (Floquet-engineered solids, cold-atom Floquet topological insulators), and real DSI materials (HfTe 5 at high magnetic field) provide test data that would push the framework beyond toy models. The principal methodological obstacle is the choice ofMfor each case, which our framework currently leaves to the practitioner. Dimension-expanding regime (χ >1).The fourth quadrant of the (χ,η) plane, where the effective dimension grows under the control-parameter sweep, was deliberately excluded from this paper’s scope. Such regimes appear naturally in dimension-expanding processes—biological growth, learning systems, and active matter undergoing morphogenesis—and a treatment of the (χ,η) diagnostic for these settings would complete the four-quadrant geometric organization. 7 Fixed-M convention: empirical optimality on rewiring graphs 7.1 The fixed-Mconvention as an optimal design choice The fixed-Mconvention was introduced in§2 as the natural choice for precursor detection: depar- tures from the structural reference stateMaccumulate as the system evolves, and a fixed reference makes this cumulative drift visible. Section B.3 shows that in the Floquet anchor, the floating-M convention forcesη≡0 identically (becauseP after commutes with the Floquet Hamiltonian by construction). For dynamical systems wherePandMevolve independently—such as Kuramoto 15
on a rewiring graph—the floating-Mconvention does not forceη= 0 but degrades the precursor signal. We establish this empirically below. Setup.We test threeMconventions on the slow-ramp Kuramoto protocol (N= 24, Erd ̋os– R ́enyi networks,Kramped linearly from 0 to 1.5 over 120 time units, 8 ensemble realizations per condition), extended to a stochastically rewiring graph. At each time step, each edge independently flips (present↔absent) with probabilityp rewire ·dt, so that the graph LaplacianL(t) evolves during the ramp. We test four rewiring ratesp rewire ∈ {0,0.005,0.02,0.05}and five lag values τ∈{0,1,3,6,10}time units. The three diagnostics are: η fixed :M=L(t=0), the graph Laplacian at the start of the ramp. This is the paper’s construction throughout§§3–5. η inst :M=L(t), the instantaneous Laplacian. η lag :M=L(t−τ), the Laplacian evaluatedτtime units in the past. For each seed and condition we compute the precursor lead—the time elapsed between theηpeak and the half-asymptote ofr(t)—and report mean±standard deviation across the 8 seeds. Results.Table 4 reports the lead and variance atτ= 3 across rewiring rates. Table 3: Precursor lead and seed-to-seed variance atτ= 3 time units, across four rewiring rates. Values are mean±standard deviation acrossn seeds = 8 realizations (N= 24, Erd ̋os–R ́enyi,K ramp 0→1.5 over 120 time units).η fixed usesM=L(t=0);η lag usesM=L(t−3). p rewire η fixed mean±σ η lag (τ=3) mean±σ σ lag /σ fixed 0.000+40.0±0.0+40.0±0.01.00× 0.005+37.4±2.2+35.6±2.81.32× 0.020+33.5±4.2+28.9±7.61.82× 0.050+28.5±5.7+20.8±3.90.68× Three findings follow. First,η fixed delivers a longer precursor lead thanη lag at every rewiring rate, with the advantage growing monotonically fromp= 0.005 top= 0.02. Second,η fixed has lower seed-to-seed variance thanη lag atp≤0.02. Third, at the highest rewiring rate (p= 0.05), η lag achieves lower variance thanη fixed (0.68×) but at a cost of 7.7 fewer time units of lead—not a favorable tradeoff for a precursor diagnostic whose primary figure of merit is early detection. Theη inst convention (floatingM) performs similarly to or worse thanη lag at all rewiring rates. The structural drift that constitutes the precursor signal requires a fixed reference to build against; a moving reference perpetually resets the baseline. Note that unlike the Floquet anchor (where P after is constructed to commute withH F ), the floating-Mconvention here does not forceη= 0—P andL(t) evolve independently—but it suppresses the accumulated misalignment signal. Interpretation.η fixed measures cumulative participation drift from the structural reference L 0 —how farPhas traveled, in operator space, from the eigenbasis it was aligned with at the start of the ramp. As the system approaches the synchronization transition,Preorganizes substantially and this cumulative drift is large and detectable early.η lag (τ) measures drift from a more recent referenceL(t−τ); the system has moved less far from where it wasτtime units ago than from where it started. The fixed-reference construction is therefore not a convenience—it is the natural choice for detecting the onset of a transition, because the onset is defined by departure from the pre- transition structural state, not by instantaneous rate of change. This optimality result is specific to the rewiring-graph Kuramoto setting tested here; we do not claim it holds universally across all system classes. 16
Data and Code Availability.Code, random seeds, and raw numerical data used to generate every figure and table in this paper are available in the accompanying Zenodo archive athttps: //doi.org/10.5281/zenodo.20564191. A Robustness of the TE-peak location to estimator hyperparam- eters The pairwise transfer entropy used in the head-to-head comparison (§3.4) depends on two estimator hyperparameters: the number of phase binsn bins and the prediction lagτ. To verify that the comparison againstηis not driven by a particular choice, we recompute TE on the same simulation data using four configurations. Trajectories, ensemble seeds, and the per-(seed,K) random pair samples are identical across configurations; onlyn bins andτchange. Table 4: Robustness of the transfer-entropy peak location to estimator hyperparameters. All values are means±standard deviation across the samen seed = 8 Kuramoto realizations as Table 2. The peak location⟨K TE ⟩and its seed-to-seed spreadσ(K TE ) are nearly identical across all four configurations, and the strict-inequality countK TE
K η is 7/8 in every case. Theσ-ratio relative toηremains close to 5×throughout (σ(K η ) = 0.060, configuration-independent). Configuration⟨K TE ⟩σ(K TE )σ/μ K TE K η n bins = 4,τ= 1 (baseline)0.5390.3130.587/8 n bins = 3,τ= 10.5280.3150.607/8 n bins = 5,τ= 10.5390.3130.587/8 n bins = 4,τ= 20.5500.3190.587/8 Out of the 32 (seed, configuration) entries, only two changed under hyperparameter variation: seed 2 dropped fromK TE = 0.517 to 0.431 withn bins = 3, and seed 5 rose from 0.690 to 0.776 with τ= 2. Theσ-ratio finding of Table 2 is preserved across all configurations:σ(K TE )/σ(K η ) ranges from 5.22×to 5.32×. [Figure 7 here] B Floquet anchor: full details B.1 Setup We consider the periodically kicked transverse-field Ising chain onN= 4 sites with periodic bound- ary conditions. One Floquet period applies the Ising interaction followed by a transverse-field kick: U F (h) =e −ihτ x H x ·e −iτ z H z ,(11) whereH z =−J P i σ z i σ z i+1 is the Ising rigidity,H x = P i σ x i is the kick generator,J= 1, and τ x =τ z = 1. We sweep the drive strengthhover [0,2.5] with 80 samples and adopt the rigidity operatorM=H z throughout. Note thatH z is Hermitian but indefinite, soD eff should be read in the generalized sense described in§2. The “before” state is the thermal Gibbs density of the Ising rigidity at temperatureT th = 1.5, P before =e −H z /T th /Z th . By construction [P before ,H z ] = 0, soη before = 0 exactly. 17
The “after” state is defined by the stroboscopic time-average over many Floquet periods, which converges to the block-diagonal projection P block after
X α Π α P before Π α ,(12) where Π α projects onto the full eigenspace ofU F at distinct quasi-energye iε α . The equivalence between the stroboscopic time-average and the block-projector follows from the discrete von Neu- mann ergodic theorem applied to the unitary group generated byU F ; verified numerically to ∥P block −P time−avg ∥ F = 1.25×10 −5 atK= 10 5 steps. In the numerical implementation we use a Schur decomposition to construct the dephased state; Appendix B.3a verifies that the Schur-basis result is numerically indistinguishable from the block-projector definition for the presentN= 4 benchmark. The diagnostic computes χ= D eff (P after ,H z ) D eff (P before ,H z ) , η= ∥[P after ,H z ]∥ F ∥P after ∥ F ∥H z ∥ F . B.2 Trajectory in the(χ,η)plane Figure 8 (left) shows (χ,η) ashis swept. Ath= 0 the trajectory is at (1,0): no drive, no deviation from the relaxed reference. Ashgrows the trajectory ascends into the upper-half plane and traces a loop through the sustained-coherence quadrant (χ <1,η >0), reachingη≃0.21 nearh≃0.4 and oscillating with the resonant structure of the Floquet spectrum ashincreases further. At the endpointh= 2.5, (χ,η) = (0.526,0.143). The drive-strength dependence (Figure 8 right) makes the resonant structure explicit.χ(h) andη(h) oscillate in approximate anti-phase: athvalues where the system most strongly selects a submanifold (χminimum), the operator misalignment is largest (ηmaximum); between resonances, (χ,η) relaxes toward the fixed-point quadrant. A linear-response power lawη(h)∼h 0.78 holds in the small-hwindow, fit overh∈[0.05,0.5] with±0.05 sensitivity to endpoint choice, before the resonant features dominate. First-order perturbation theory predictsη∝h 1 for smallh; the fitted exponent 0.78 suggests higher-order contributions are present even in this window. For everyh >0 sampled, the steady state sits withχ <1 andη >0—the sustained-coherence quadrant. This separates the Floquet steady state from the strongly synchronized Kuramoto state (K≫K c ), which at large coupling has bothχlow andηsmall—the selection-relaxation quadrant. In (χ,η) language the two regimes are geometrically distinct, a separation that any scalar precursor diagnostic would collapse. [Figure 8 here] B.3 Convention dependence: why fixed-M A natural alternative to the fixed-Mconvention is the floating-Mconvention, in whichMis reas- signed to the effective stroboscopic HamiltonianH F = (i/T period ) logU F (whereT period =τ x +τ z
- at each value ofh. Figure 8 shows both: the floating-Mpoints sit atη≡0 for allh. This is a tautology specifically in the Floquet anchor:P after is diagonal in the Floquet basis by construc- tion, so [P after ,H F ] = 0 identically. For other systems wherePandMevolve independently (e.g., Kuramoto on a rewiring graph), the floating-Mconvention does not forceη= 0 but suppresses the accumulated misalignment signal (see§7). We adopt the fixed-Mconvention throughout this paper, withMtaken as the system’s intrinsic rigidity operator (graph Laplacian for Kuramoto,H z for Floquet, fixed reference operator for model DSI spectra). 18
The Schur decomposition replacesnumpy.linalg.eigfor diagonalizingU F because the kicked TFIM hasZ 2 symmetry that produces degenerate quasi-energies. At these degeneracies, numpy.linalg.eigreturns non-orthogonal eigenvector matrices within the degenerate subspace, propagating numerical error of order 10 −3 into the projectedP.scipy.linalg.schurreturns a unitary Schur basis and preserves unitarity to numerical precision. In degenerate quasi-energy sectors, rank-one Floquet dephasing depends on the choice of basis within the degenerate subspace and is therefore not uniquely determined by the dynamics alone. The block-projector definition resolves this ambiguity; see Appendix B.3a. In practice, we imple- ment rank-one dephasing in a Schur basis as a numerically stable convention, and the qualitative regime distinction—sustained-coherence vs. selection-relaxation—is robust to small perturbations of the quasi-energy degeneracies. B.3a Basis invariance under the block-projector definition We define the Floquet-dephased state using projectors onto full quasi-energy eigenspaces (Eq. (12)). For non-degenerate quasi-energies, Π α =|φ α ⟩⟨φ α |and Eq. (12) reduces to ordinary rank-one Flo- quet dephasing. For degenerate blocks of dimensiond α
1, Π α projects onto the entire degenerate subspace and is independent of the basis chosen inside that subspace. Invariance.LetU α be any unitary rotation acting only within theα-th degenerate subspace. SinceU α preserves the subspace,U α Π α U † α = Π α . Thus the mapP7→ P α Π α PΠ α is unchanged by arbitrary basis rotations within degenerate quasi-energy sectors. The diagnosticsχandηcomputed fromP block after are therefore basis-invariant. Perturbation bound.LetP Schur after denote the state produced by rank-one dephasing in a particular Schur basis, and letP block after be the block-projector state. Define ∆P=P Schur after −P block after . Using the triangle inequality on the numerator and reverse triangle inequality on the denominator ofη: η(P Schur after ,H z )−η(P block after ,H z ) ≤ ∥∆P∥ F ( √ 2 +η(P block after )) ∥P block after ∥ F −∥∆P∥ F ,(13) which for∥∆P∥ F ≪∥P∥ F reduces to ( √ 2+η)·∥∆P∥ F /∥P∥ F +O(∥∆P∥ 2 F ). The bound follows from: (1)∥[P+∆P,M]∥ F ≤∥[P,M]∥ F
√ 2∥∆P∥ F ∥M∥ F (triangle inequality plus B ̈ottcher–Wenzel); (2) ∥P+∆P∥ F ≥∥P∥ F −∥∆P∥ F (reverse triangle); (3) standard quotient bound. Verified: 0 violations across 5000 random perturbations. Numerical check.For theN= 4 kicked TFIM parameter values used in§4, the maximum value of∥∆P∥ F /∥P Schur after ∥ F across all 80 sampled drive strengths is 1.21×10 −9 , with median 3.98×10 −15 . Consequently, max h |∆η|≤2.42×10 −9 , which is negligible compared with theηvalues reported in Fig. 8. The block-projector and Schur-basis constructions are therefore numerically indistinguishable for the present Floquet benchmark. B.4 Limitations and scope This anchor is a proof of principle for cross-domain applicability, not a systematic study of Floquet precursor diagnostics. Three limitations apply. First,N= 4 is small; no systematic finite-size check has been performed. Second, sensitivity to the reference temperatureT th and kick periods τ x ,τ z has not been explored. Third, no head-to-head comparison against Koopman-operator early- warning indicators [9]—the natural competitor for driven systems—has been performed, though the simulation data are in hand and this comparison is in preparation. 19
C Per-Nfinite-size scaling data Table 6 reports per-Nensemble statistics underlying Fig. 2. Gap uncertainties are SEM. Per-seed ⟨K η ⟩and⟨K c ⟩values are shown graphically in Fig. 2a. One seed atN= 12 was excluded by the logistic-fit clipping criterion (§2.4). Table 5: Per-Nsummary for the finite-size scaling sweep on Erd ̋os–R ́enyi networks at fixed mean degreed= 4. NSeeds Valid Gap mean (SEM) Gap>0 Clipped 1220190.376±0.08019/191 2412120.793±0.17112/120 48880.861±0.1618/80 96660.541±0.1036/60 192440.656±0.0904/40 384330.607±0.0613/30 Total5352Positive gap in 52/52 valid realizations References [1] Y. Kuramoto, “Self-entrainment of a population of coupled non-linear oscillators,”Lect. Notes Phys.39, 420 (1975). [2] S. H. Strogatz, “From Kuramoto to Crawford: exploring the onset of synchronization in pop- ulations of coupled oscillators,”Physica D143, 1 (2000). [3] M. Scheffer et al., “Early-warning signals for critical transitions,”Nature461, 53 (2009). [4] D. Sornette, “Discrete scale invariance and complex dimensions,”Phys. Rep.297, 239 (1998). [5] E. H. van Nes and M. Scheffer, “Slow recovery from perturbations as a generic indicator of a nearby catastrophic shift,”Am. Nat.169, 738 (2007). [6] V. Dakos et al., “Slowing down as an early warning signal for abrupt climate change,”Proc. Natl. Acad. Sci.105, 14308 (2008). [7] D. Marinazzo et al., “Synergy as a warning sign of transitions: the case of the two-dimensional Ising model,”Phys. Rev. E99, 040101 (2019). [8] T. Schreiber, “Measuring information transfer,”Phys. Rev. Lett.85, 461 (2000). [9] Y. Miyauchi, M. Ikeda, and Y. Kawahara, “Generalized stochastic resilience for early warning signals based on Koopman operator,”Nonlinear Dyn.114(4), 246 (2026). [10] A. B ̈ottcher and D. Wenzel, “The Frobenius norm and the commutator,”Linear Algebra Appl. 429(8–9), 1864 (2008). [11] G. Lindblad, “On the generators of quantum dynamical semigroups,”Commun. Math. Phys. 48, 119 (1976). 20
[12] V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, “Completely positive dynamical semi- groups ofN-level systems,”J. Math. Phys.17(5), 821 (1976). [13] R. V. Ceguerra, J. T. Lizier, and A. Y. Zomaya, “Information storage and transfer in the synchronization process in locally-connected networks,” inProc. IEEE ALIFE, p. 54 (2011). [14] A. Seif and M. Zarei, “Synchronization, collective oscillations, and information flow in duplex networks,” arXiv:2603.00313 (2026). [15] V. Efimov, “Energy levels arising from resonant two-body forces in a three-body system,” Phys. Lett. B33, 563 (1970). [16] P. Naidon and S. Endo, “Efimov physics: a review,”Rep. Prog. Phys.80(5), 056001 (2017). [17] H. Mori, “Transport, collective motion, and Brownian motion,”Prog. Theor. Phys.33, 423 (1965). [18] R. Zwanzig, “Nonlinear generalized Langevin equations,”J. Stat. Phys.9, 215 (1973). [19] M. te Vrugt and R. Wittkowski, “Mori–Zwanzig projection operator formalism for far-from- equilibrium systems with time-dependent Hamiltonians,”Phys. Rev. E99, 062118 (2019). [20] F. Wegner, “Inverse participation ratio in 2+εdimensions,”Z. Phys. B36, 209 (1980). [21] F. Evers and A. D. Mirlin, “Anderson transitions,”Rev. Mod. Phys.80, 1355 (2008). [22] P. N. McGraw and M. Menzinger, “Laplacian spectra as a diagnostic tool for network structure and dynamics,”Phys. Rev. E77, 031102 (2008). [23] Y. Yao et al., “Frobenius-norm-based measures of quantum coherence and asymmetry,”Sci. Rep.6, 32010 (2016). 21
The mathematical core of the paper—the (χ, η) construction, the four propositions establishing bounds and variational structure, and the careful handling of indefinite M via Remark 1—is rigorous and internally consistent. Definitions are stated cleanly, used consistently across all three anchors, and the distinction between PSD-M (Kuramoto) and indefinite-M (Floquet, DSI) cases is handled with appropriate care: when the participation-ratio interpretation of D_eff fails, the author explicitly downgrades the interpretation rather than overclaiming. The Gibbs variational result (Proposition 3) is proved correctly via strict convexity. The Floquet basis-invariance argument in Appendix B.3a is a notable strength, correctly identifying and resolving the gauge ambiguity in degenerate quasi-energy sectors with both an exact invariance statement and an explicit perturbation bound. The remaining gaps are minor and acknowledged: the DSI collapse explanation is heuristic rather than derived (the author explicitly frames it as a caveat), and the Floquet small-h power law fit deviates from leading-order perturbation theory without analysis. These do not affect the central empirical claims (η peaks before K_c with lower variance than TE; (χ, η) plane distinguishes Floquet regimes; collapse recovers λ to ~0.3%), which are supported by ensemble statistics and numerical verification. The paper meets a high standard of mathematical and logical rigor.
⚑Derivation Flags (15)
- mediumAppendix B.1, Eq. (12) — The equivalence between the infinite stroboscopic time average and the block-diagonal projection P_after = sum_alpha Pi_alpha P_before Pi_alpha is invoked via the discrete von Neumann ergodic theorem but not fully derived. This is a standard result, but the treatment of quasi-energy degeneracies is load-bearing for the Floquet construction.
If wrong: If the block-dephasing formula is implemented incorrectly, especially in degenerate quasi-energy sectors, the computed Floquet eta and chi values could be basis-dependent and the claimed sustained-coherence quadrant distinction in Section 4 would be unreliable.
- mediumAppendix B.3/B.3a, Schur-basis rank-one dephasing versus block-projector dephasing — The text defines the Floquet-dephased state using full degenerate-block projectors, but also says the implementation uses rank-one dephasing in a Schur basis as a convention. Rank-one dephasing inside an exactly degenerate subspace is generally not equivalent to block dephasing unless the within-block coherences are absent or negligible. The authors report a numerical discrepancy of order 1e-9 for the benchmark, but the general mathematical equivalence is not established.
If wrong: For Floquet systems with nontrivial coherences inside degenerate sectors, eta could depend on an arbitrary basis choice. The specific N=4 benchmark may survive due to the reported numerical check, but the claimed basis-invariant Floquet extension would need stricter implementation or proof.
- mediumDSI anchor claim, Fig 5(e-f) — The quantitative recovery of lambda via 'universal collapse' is claimed to work because peak positions are stable even when per-period amplitudes vary. The connection between the '13 ± 2% per-period variation in amplitude' and the final 0.3% recovery is attributed to a heuristic factor (√26 × ~8×), stated as an empirical observation from 'fitting geometry,' not as a derived bound.
If wrong: If the heuristic fails for a different M or spectrum, the DSI anchor's quantitative claim of sub-percent accuracy cannot be guaranteed to transfer. This does not invalidate the central Kuramoto-based claim, but weakens the DSI anchor's standalone validation.
- mediumEq. (1) / Remark 1 — D_eff(P,M) is defined as [Tr(MP)]^2 / Tr[(MP)^2]. For general Hermitian M, Tr[(MP)^2] can be negative because MP is not Hermitian in general; the text asserts Tr[(MP)^2] = Tr(A^2) with A = P^{1/2} M P^{1/2} (Hermitian), but this equality requires a careful cyclicity argument and implicitly uses that Tr(MPMP) = Tr(P^{1/2} M P M P^{1/2}) = Tr(A^2). The proof is plausible but compressed and should explicitly show each cyclic permutation step, since MPMP and A^2 live in different factorizations.
If wrong: If Tr[(MP)^2] were not guaranteed nonnegative (or equal to Tr(A^2)), then D_eff could be ill-defined or sign-indefinite for indefinite M, undermining chi in the Floquet/DSI anchors and any interpretation of D_eff as a concentration ratio there. Eta-only claims would remain intact.
- mediumSection 2.1, Remark 1 well-definedness condition for D_eff — The nonnegativity derivation for D_eff is mostly valid, but the stated equivalence 'P^{1/2} M P^{1/2} != 0 iff M does not annihilate the entire support of P' is not correct as written. A Hermitian M can map the support of P entirely into the orthogonal complement, giving P^{1/2} M P^{1/2} = 0 while M|w> != 0 for vectors in the support.
If wrong: The claimed domain of well-definedness for D_eff is misstated. If encountered in an application, D_eff could have zero denominator even though M acts nontrivially on the support of P. The empirical anchors may still be valid if their denominators were checked numerically, but the general condition needs correction.
- mediumSection 5.2-5.3, DSI collapse and lambda recovery — The recovery of lambda by minimizing collapse RMS is empirically demonstrated, but the paper does not prove that the RMS landscape has a unique minimum at the true lambda for generic random Hermitian M, finite spectra, or different bandwidths. The text appropriately caveats this as empirical, but the abstract-level recovery claim depends on this numerical procedure.
If wrong: If the collapse objective has aliases or if peak amplitudes/finite-window effects shift the RMS minimum, then the DSI recovery errors reported in Table 3/Figure 5 would not generalize beyond the tested spectra and M realizations.
- lowAppendix B.1, equivalence of stroboscopic time-average and block-projector P_after^block — Equivalence stated via 'discrete von Neumann ergodic theorem applied to the unitary group generated by U_F' and verified numerically to 1.25e-5 at K=1e5 steps, but the proof is compressed. For non-degenerate quasi-energies the result is standard; for degenerate sectors basis-invariance is treated in Appendix B.3a.
If wrong: If the equivalence failed, the Floquet anchor's definition of P_after would be ambiguous; however, the author resolves the degenerate-sector ambiguity by the block-projector definition and bounds the Schur-basis deviation explicitly (max ∆η ≤ 2.4e-9).
- lowAppendix B.3a, Eq. (13) — The bound on |eta(P+ΔP,M) − eta(P,M)| is stated with a sketched derivation (triangle inequality + Böttcher–Wenzel + quotient bound). The final rational form depends on combining numerator and denominator perturbations; constants and the exact dependence on ||M||_F cancelations are not fully shown.
If wrong: Only the claimed robustness of eta to the Schur-vs-block dephasing implementation would lose its stated analytic support; the numerical check provided (ΔP/||P|| extremely small) still supports negligible effect for N=4.
- lowEq. (13), perturbation bound for |η_Schur - η_block| — Bound is stated with derivation steps (triangle inequality, Böttcher-Wenzel, reverse triangle) but the assembly into the final quotient bound is compressed. Numerical verification (0 violations across 5000 random perturbations) supports the result.
If wrong: Only affects the rigor of the basis-invariance argument; numerical verification provides independent support.
- lowEq. (5) / Proposition 3 — The variational derivation uses a functional derivative identity d/dP Tr(P log P) = log P + I (up to conventions) and claims strict convexity on the full domain D including boundary points where log P is singular. The continuity argument “x log x → 0 as x → 0+” is correct for eigenvalues, but a fully rigorous proof would state the domain as density matrices with support and use known results on operator convexity/strict convexity and lower semicontinuity of relative entropy.
If wrong: If strict convexity/attainment were mishandled, uniqueness of the Gibbs minimizer could fail in edge cases (e.g., constraints or T→0 limits). This would not affect the definition or boundedness of eta, nor the empirical Kuramoto precursor results.
- lowProposition 1 (lower bound) and surrounding text — The lower bound D_eff ≥ 1 is proved only under M ⪰ 0 (so A ⪰ 0). Later the paper sometimes narratively treats D_eff as an “effective dimension” more generally; it does note explicitly that the [1,rank] interpretation fails for indefinite M, but it does not characterize what range D_eff can take when Tr(A)=0 or when A has mixed signs (beyond defining D_eff=0 when Tr(A)=0).
If wrong: Over-interpreting D_eff as a mode count in the indefinite-M anchors would be logically invalid. As written, the paper mostly avoids that, but tightening the narrative would prevent misreadings; the Kuramoto (PSD) anchor is unaffected.
- lowSection 4 / Appendix B.2, fitted power law η(h) ~ h^0.78 — First-order perturbation theory predicts η ∝ h^1; the fitted exponent 0.78 is reported without derivation of the higher-order corrections, and the discrepancy is acknowledged but not analyzed.
If wrong: Affects only a descriptive observation in the Floquet anchor; not load-bearing for any central claim.
- lowSection 5.2, collapse argument and ~40× suppression heuristic — The argument that the 13% per-period mismatch suppresses to 0.3% recovery error via √26 ≈ 5× from averaging combined with ~8× from position-vs-amplitude insensitivity is a heuristic decomposition presented without formal derivation. The author explicitly flags it as empirical.
If wrong: Only affects the explanation for why the empirical recovery is accurate; the recovery itself is directly measured and reported with quantified error, so the central DSI-anchor claim survives even if the heuristic explanation is imprecise.
- lowSection 5.2, heuristic explanation of 13% period mismatch producing 0.3% recovery error — The stated approximately 40x suppression from per-period mismatch to recovery error is explained heuristically using sqrt(26) period averaging and an additional ~8x position-versus-amplitude insensitivity factor. This factorization is plausible but not derived from a statistical model of the RMS estimator.
If wrong: The numerical recovery results would remain as reported, but the explanatory rationale for why the estimator is so accurate would be unsupported.
- lowSection 7.1, 'fixed-M convention as an optimal design choice' — The optimality of the fixed-M convention is supported only by a finite empirical comparison over selected rewiring rates and lag values. No variational or minimax optimality theorem is provided.
If wrong: The fixed-M convention may still be empirically preferable in the tested rewiring Kuramoto setting, but the word 'optimal' should be read as benchmark-specific rather than mathematically established.
Mathematically, the diagnostic eta is on solid ground: it is a normalized Frobenius commutator with a clean, framework-independent bound (Proposition 2), and its interpretation as basis misalignment is logically correct. The PSD-M effective-dimension theory (Proposition 1) is also correct and internally coherent for the Kuramoto anchor where M=L⪰0.
The main technical fragility is the generalized D_eff definition for indefinite M (Floquet/DSI). The paper’s intended fix—rewriting Tr[(MP)^2] as Tr((P^{1/2}MP^{1/2})^2) to guarantee nonnegativity—is likely correct but too compressed given that MP itself is not Hermitian. This should be expanded because it supports the claim that D_eff remains well-defined and nonnegative beyond the PSD regime. With that clarification, the remaining mathematical gaps are minor and largely orthogonal to the paper’s central empirical Kuramoto precursor claim, which relies primarily on eta rather than on delicate properties of chi under indefinite M.
⚑Derivation Flags (15)
- mediumAppendix B.1, Eq. (12) — The equivalence between the infinite stroboscopic time average and the block-diagonal projection P_after = sum_alpha Pi_alpha P_before Pi_alpha is invoked via the discrete von Neumann ergodic theorem but not fully derived. This is a standard result, but the treatment of quasi-energy degeneracies is load-bearing for the Floquet construction.
If wrong: If the block-dephasing formula is implemented incorrectly, especially in degenerate quasi-energy sectors, the computed Floquet eta and chi values could be basis-dependent and the claimed sustained-coherence quadrant distinction in Section 4 would be unreliable.
- mediumAppendix B.3/B.3a, Schur-basis rank-one dephasing versus block-projector dephasing — The text defines the Floquet-dephased state using full degenerate-block projectors, but also says the implementation uses rank-one dephasing in a Schur basis as a convention. Rank-one dephasing inside an exactly degenerate subspace is generally not equivalent to block dephasing unless the within-block coherences are absent or negligible. The authors report a numerical discrepancy of order 1e-9 for the benchmark, but the general mathematical equivalence is not established.
If wrong: For Floquet systems with nontrivial coherences inside degenerate sectors, eta could depend on an arbitrary basis choice. The specific N=4 benchmark may survive due to the reported numerical check, but the claimed basis-invariant Floquet extension would need stricter implementation or proof.
- mediumDSI anchor claim, Fig 5(e-f) — The quantitative recovery of lambda via 'universal collapse' is claimed to work because peak positions are stable even when per-period amplitudes vary. The connection between the '13 ± 2% per-period variation in amplitude' and the final 0.3% recovery is attributed to a heuristic factor (√26 × ~8×), stated as an empirical observation from 'fitting geometry,' not as a derived bound.
If wrong: If the heuristic fails for a different M or spectrum, the DSI anchor's quantitative claim of sub-percent accuracy cannot be guaranteed to transfer. This does not invalidate the central Kuramoto-based claim, but weakens the DSI anchor's standalone validation.
- mediumEq. (1) / Remark 1 — D_eff(P,M) is defined as [Tr(MP)]^2 / Tr[(MP)^2]. For general Hermitian M, Tr[(MP)^2] can be negative because MP is not Hermitian in general; the text asserts Tr[(MP)^2] = Tr(A^2) with A = P^{1/2} M P^{1/2} (Hermitian), but this equality requires a careful cyclicity argument and implicitly uses that Tr(MPMP) = Tr(P^{1/2} M P M P^{1/2}) = Tr(A^2). The proof is plausible but compressed and should explicitly show each cyclic permutation step, since MPMP and A^2 live in different factorizations.
If wrong: If Tr[(MP)^2] were not guaranteed nonnegative (or equal to Tr(A^2)), then D_eff could be ill-defined or sign-indefinite for indefinite M, undermining chi in the Floquet/DSI anchors and any interpretation of D_eff as a concentration ratio there. Eta-only claims would remain intact.
- mediumSection 2.1, Remark 1 well-definedness condition for D_eff — The nonnegativity derivation for D_eff is mostly valid, but the stated equivalence 'P^{1/2} M P^{1/2} != 0 iff M does not annihilate the entire support of P' is not correct as written. A Hermitian M can map the support of P entirely into the orthogonal complement, giving P^{1/2} M P^{1/2} = 0 while M|w> != 0 for vectors in the support.
If wrong: The claimed domain of well-definedness for D_eff is misstated. If encountered in an application, D_eff could have zero denominator even though M acts nontrivially on the support of P. The empirical anchors may still be valid if their denominators were checked numerically, but the general condition needs correction.
- mediumSection 5.2-5.3, DSI collapse and lambda recovery — The recovery of lambda by minimizing collapse RMS is empirically demonstrated, but the paper does not prove that the RMS landscape has a unique minimum at the true lambda for generic random Hermitian M, finite spectra, or different bandwidths. The text appropriately caveats this as empirical, but the abstract-level recovery claim depends on this numerical procedure.
If wrong: If the collapse objective has aliases or if peak amplitudes/finite-window effects shift the RMS minimum, then the DSI recovery errors reported in Table 3/Figure 5 would not generalize beyond the tested spectra and M realizations.
- lowAppendix B.1, equivalence of stroboscopic time-average and block-projector P_after^block — Equivalence stated via 'discrete von Neumann ergodic theorem applied to the unitary group generated by U_F' and verified numerically to 1.25e-5 at K=1e5 steps, but the proof is compressed. For non-degenerate quasi-energies the result is standard; for degenerate sectors basis-invariance is treated in Appendix B.3a.
If wrong: If the equivalence failed, the Floquet anchor's definition of P_after would be ambiguous; however, the author resolves the degenerate-sector ambiguity by the block-projector definition and bounds the Schur-basis deviation explicitly (max ∆η ≤ 2.4e-9).
- lowAppendix B.3a, Eq. (13) — The bound on |eta(P+ΔP,M) − eta(P,M)| is stated with a sketched derivation (triangle inequality + Böttcher–Wenzel + quotient bound). The final rational form depends on combining numerator and denominator perturbations; constants and the exact dependence on ||M||_F cancelations are not fully shown.
If wrong: Only the claimed robustness of eta to the Schur-vs-block dephasing implementation would lose its stated analytic support; the numerical check provided (ΔP/||P|| extremely small) still supports negligible effect for N=4.
- lowEq. (13), perturbation bound for |η_Schur - η_block| — Bound is stated with derivation steps (triangle inequality, Böttcher-Wenzel, reverse triangle) but the assembly into the final quotient bound is compressed. Numerical verification (0 violations across 5000 random perturbations) supports the result.
If wrong: Only affects the rigor of the basis-invariance argument; numerical verification provides independent support.
- lowEq. (5) / Proposition 3 — The variational derivation uses a functional derivative identity d/dP Tr(P log P) = log P + I (up to conventions) and claims strict convexity on the full domain D including boundary points where log P is singular. The continuity argument “x log x → 0 as x → 0+” is correct for eigenvalues, but a fully rigorous proof would state the domain as density matrices with support and use known results on operator convexity/strict convexity and lower semicontinuity of relative entropy.
If wrong: If strict convexity/attainment were mishandled, uniqueness of the Gibbs minimizer could fail in edge cases (e.g., constraints or T→0 limits). This would not affect the definition or boundedness of eta, nor the empirical Kuramoto precursor results.
- lowProposition 1 (lower bound) and surrounding text — The lower bound D_eff ≥ 1 is proved only under M ⪰ 0 (so A ⪰ 0). Later the paper sometimes narratively treats D_eff as an “effective dimension” more generally; it does note explicitly that the [1,rank] interpretation fails for indefinite M, but it does not characterize what range D_eff can take when Tr(A)=0 or when A has mixed signs (beyond defining D_eff=0 when Tr(A)=0).
If wrong: Over-interpreting D_eff as a mode count in the indefinite-M anchors would be logically invalid. As written, the paper mostly avoids that, but tightening the narrative would prevent misreadings; the Kuramoto (PSD) anchor is unaffected.
- lowSection 4 / Appendix B.2, fitted power law η(h) ~ h^0.78 — First-order perturbation theory predicts η ∝ h^1; the fitted exponent 0.78 is reported without derivation of the higher-order corrections, and the discrepancy is acknowledged but not analyzed.
If wrong: Affects only a descriptive observation in the Floquet anchor; not load-bearing for any central claim.
- lowSection 5.2, collapse argument and ~40× suppression heuristic — The argument that the 13% per-period mismatch suppresses to 0.3% recovery error via √26 ≈ 5× from averaging combined with ~8× from position-vs-amplitude insensitivity is a heuristic decomposition presented without formal derivation. The author explicitly flags it as empirical.
If wrong: Only affects the explanation for why the empirical recovery is accurate; the recovery itself is directly measured and reported with quantified error, so the central DSI-anchor claim survives even if the heuristic explanation is imprecise.
- lowSection 5.2, heuristic explanation of 13% period mismatch producing 0.3% recovery error — The stated approximately 40x suppression from per-period mismatch to recovery error is explained heuristically using sqrt(26) period averaging and an additional ~8x position-versus-amplitude insensitivity factor. This factorization is plausible but not derived from a statistical model of the RMS estimator.
If wrong: The numerical recovery results would remain as reported, but the explanatory rationale for why the estimator is so accurate would be unsupported.
- lowSection 7.1, 'fixed-M convention as an optimal design choice' — The optimality of the fixed-M convention is supported only by a finite empirical comparison over selected rewiring rates and lag values. No variational or minimax optimality theorem is provided.
If wrong: The fixed-M convention may still be empirically preferable in the tested rewiring Kuramoto setting, but the word 'optimal' should be read as benchmark-specific rather than mathematically established.
The submission constructs a novel, mathematically consistent operator-based diagnostic framework (chi, eta) that is rigorously derived from first principles. The presentation of Propositions 1-3 is mathematically sound, with the bounding arguments properly justified. The paper's strength lies not in proving new theorems but in validating the operational utility of this framework through large-scale, well-controlled numerical experiments. The Kuramoto analysis, which is the central pillar, is robust and statistically convincing. The diagnostic is tested against heterogeneous network topologies and system sizes, with results pointing to a consistent lead over traditional order parameters. The head-to-head comparison with transfer entropy is a particular strength, clearly establishing the diagnostic's advantage in terms of lead time and variance. The secondary Floquet and DSI anchors are proof-of-concept demonstrations that extend the framework's reach, though the DSI anchor's lambda-recovery relies on an empirical heuristic. This is correctly presented as a limitation, meaning the core mathematical framework remains logically sound and well-supported by the portion of the paper driving the main conclusions.
⚑Derivation Flags (15)
- mediumAppendix B.1, Eq. (12) — The equivalence between the infinite stroboscopic time average and the block-diagonal projection P_after = sum_alpha Pi_alpha P_before Pi_alpha is invoked via the discrete von Neumann ergodic theorem but not fully derived. This is a standard result, but the treatment of quasi-energy degeneracies is load-bearing for the Floquet construction.
If wrong: If the block-dephasing formula is implemented incorrectly, especially in degenerate quasi-energy sectors, the computed Floquet eta and chi values could be basis-dependent and the claimed sustained-coherence quadrant distinction in Section 4 would be unreliable.
- mediumAppendix B.3/B.3a, Schur-basis rank-one dephasing versus block-projector dephasing — The text defines the Floquet-dephased state using full degenerate-block projectors, but also says the implementation uses rank-one dephasing in a Schur basis as a convention. Rank-one dephasing inside an exactly degenerate subspace is generally not equivalent to block dephasing unless the within-block coherences are absent or negligible. The authors report a numerical discrepancy of order 1e-9 for the benchmark, but the general mathematical equivalence is not established.
If wrong: For Floquet systems with nontrivial coherences inside degenerate sectors, eta could depend on an arbitrary basis choice. The specific N=4 benchmark may survive due to the reported numerical check, but the claimed basis-invariant Floquet extension would need stricter implementation or proof.
- mediumDSI anchor claim, Fig 5(e-f) — The quantitative recovery of lambda via 'universal collapse' is claimed to work because peak positions are stable even when per-period amplitudes vary. The connection between the '13 ± 2% per-period variation in amplitude' and the final 0.3% recovery is attributed to a heuristic factor (√26 × ~8×), stated as an empirical observation from 'fitting geometry,' not as a derived bound.
If wrong: If the heuristic fails for a different M or spectrum, the DSI anchor's quantitative claim of sub-percent accuracy cannot be guaranteed to transfer. This does not invalidate the central Kuramoto-based claim, but weakens the DSI anchor's standalone validation.
- mediumEq. (1) / Remark 1 — D_eff(P,M) is defined as [Tr(MP)]^2 / Tr[(MP)^2]. For general Hermitian M, Tr[(MP)^2] can be negative because MP is not Hermitian in general; the text asserts Tr[(MP)^2] = Tr(A^2) with A = P^{1/2} M P^{1/2} (Hermitian), but this equality requires a careful cyclicity argument and implicitly uses that Tr(MPMP) = Tr(P^{1/2} M P M P^{1/2}) = Tr(A^2). The proof is plausible but compressed and should explicitly show each cyclic permutation step, since MPMP and A^2 live in different factorizations.
If wrong: If Tr[(MP)^2] were not guaranteed nonnegative (or equal to Tr(A^2)), then D_eff could be ill-defined or sign-indefinite for indefinite M, undermining chi in the Floquet/DSI anchors and any interpretation of D_eff as a concentration ratio there. Eta-only claims would remain intact.
- mediumSection 2.1, Remark 1 well-definedness condition for D_eff — The nonnegativity derivation for D_eff is mostly valid, but the stated equivalence 'P^{1/2} M P^{1/2} != 0 iff M does not annihilate the entire support of P' is not correct as written. A Hermitian M can map the support of P entirely into the orthogonal complement, giving P^{1/2} M P^{1/2} = 0 while M|w> != 0 for vectors in the support.
If wrong: The claimed domain of well-definedness for D_eff is misstated. If encountered in an application, D_eff could have zero denominator even though M acts nontrivially on the support of P. The empirical anchors may still be valid if their denominators were checked numerically, but the general condition needs correction.
- mediumSection 5.2-5.3, DSI collapse and lambda recovery — The recovery of lambda by minimizing collapse RMS is empirically demonstrated, but the paper does not prove that the RMS landscape has a unique minimum at the true lambda for generic random Hermitian M, finite spectra, or different bandwidths. The text appropriately caveats this as empirical, but the abstract-level recovery claim depends on this numerical procedure.
If wrong: If the collapse objective has aliases or if peak amplitudes/finite-window effects shift the RMS minimum, then the DSI recovery errors reported in Table 3/Figure 5 would not generalize beyond the tested spectra and M realizations.
- lowAppendix B.1, equivalence of stroboscopic time-average and block-projector P_after^block — Equivalence stated via 'discrete von Neumann ergodic theorem applied to the unitary group generated by U_F' and verified numerically to 1.25e-5 at K=1e5 steps, but the proof is compressed. For non-degenerate quasi-energies the result is standard; for degenerate sectors basis-invariance is treated in Appendix B.3a.
If wrong: If the equivalence failed, the Floquet anchor's definition of P_after would be ambiguous; however, the author resolves the degenerate-sector ambiguity by the block-projector definition and bounds the Schur-basis deviation explicitly (max ∆η ≤ 2.4e-9).
- lowAppendix B.3a, Eq. (13) — The bound on |eta(P+ΔP,M) − eta(P,M)| is stated with a sketched derivation (triangle inequality + Böttcher–Wenzel + quotient bound). The final rational form depends on combining numerator and denominator perturbations; constants and the exact dependence on ||M||_F cancelations are not fully shown.
If wrong: Only the claimed robustness of eta to the Schur-vs-block dephasing implementation would lose its stated analytic support; the numerical check provided (ΔP/||P|| extremely small) still supports negligible effect for N=4.
- lowEq. (13), perturbation bound for |η_Schur - η_block| — Bound is stated with derivation steps (triangle inequality, Böttcher-Wenzel, reverse triangle) but the assembly into the final quotient bound is compressed. Numerical verification (0 violations across 5000 random perturbations) supports the result.
If wrong: Only affects the rigor of the basis-invariance argument; numerical verification provides independent support.
- lowEq. (5) / Proposition 3 — The variational derivation uses a functional derivative identity d/dP Tr(P log P) = log P + I (up to conventions) and claims strict convexity on the full domain D including boundary points where log P is singular. The continuity argument “x log x → 0 as x → 0+” is correct for eigenvalues, but a fully rigorous proof would state the domain as density matrices with support and use known results on operator convexity/strict convexity and lower semicontinuity of relative entropy.
If wrong: If strict convexity/attainment were mishandled, uniqueness of the Gibbs minimizer could fail in edge cases (e.g., constraints or T→0 limits). This would not affect the definition or boundedness of eta, nor the empirical Kuramoto precursor results.
- lowProposition 1 (lower bound) and surrounding text — The lower bound D_eff ≥ 1 is proved only under M ⪰ 0 (so A ⪰ 0). Later the paper sometimes narratively treats D_eff as an “effective dimension” more generally; it does note explicitly that the [1,rank] interpretation fails for indefinite M, but it does not characterize what range D_eff can take when Tr(A)=0 or when A has mixed signs (beyond defining D_eff=0 when Tr(A)=0).
If wrong: Over-interpreting D_eff as a mode count in the indefinite-M anchors would be logically invalid. As written, the paper mostly avoids that, but tightening the narrative would prevent misreadings; the Kuramoto (PSD) anchor is unaffected.
- lowSection 4 / Appendix B.2, fitted power law η(h) ~ h^0.78 — First-order perturbation theory predicts η ∝ h^1; the fitted exponent 0.78 is reported without derivation of the higher-order corrections, and the discrepancy is acknowledged but not analyzed.
If wrong: Affects only a descriptive observation in the Floquet anchor; not load-bearing for any central claim.
- lowSection 5.2, collapse argument and ~40× suppression heuristic — The argument that the 13% per-period mismatch suppresses to 0.3% recovery error via √26 ≈ 5× from averaging combined with ~8× from position-vs-amplitude insensitivity is a heuristic decomposition presented without formal derivation. The author explicitly flags it as empirical.
If wrong: Only affects the explanation for why the empirical recovery is accurate; the recovery itself is directly measured and reported with quantified error, so the central DSI-anchor claim survives even if the heuristic explanation is imprecise.
- lowSection 5.2, heuristic explanation of 13% period mismatch producing 0.3% recovery error — The stated approximately 40x suppression from per-period mismatch to recovery error is explained heuristically using sqrt(26) period averaging and an additional ~8x position-versus-amplitude insensitivity factor. This factorization is plausible but not derived from a statistical model of the RMS estimator.
If wrong: The numerical recovery results would remain as reported, but the explanatory rationale for why the estimator is so accurate would be unsupported.
- lowSection 7.1, 'fixed-M convention as an optimal design choice' — The optimality of the fixed-M convention is supported only by a finite empirical comparison over selected rewiring rates and lag values. No variational or minimax optimality theorem is provided.
If wrong: The fixed-M convention may still be empirically preferable in the tested rewiring Kuramoto setting, but the word 'optimal' should be read as benchmark-specific rather than mathematically established.
The submission presents a coherent operator diagnostic built from a trace-normalized participation operator P and a fixed Hermitian rigidity operator M. Most of the central definitions are used consistently, and the basic algebraic properties of eta and the PSD-M version of D_eff are mathematically sound. The authors also handle an important interpretive issue correctly: for indefinite M, D_eff remains a real nonnegative ratio when defined, but it no longer has the strict mode-count interpretation.
The main mathematical weaknesses are not paradigm-dependent; they are technical. The well-definedness condition for D_eff in Remark 1 is misstated, the Floquet dephasing construction requires more careful handling of degeneracies, and the DSI collapse/recovery claim is numerical rather than mathematically guaranteed. These issues do not invalidate the main Kuramoto precursor statistics, but they do limit the rigor of the claimed cross-domain mathematical framework. Overall, the paper is internally mostly consistent, with a plausible but incompletely rigorous mathematical foundation.
⚑Derivation Flags (15)
- mediumAppendix B.1, Eq. (12) — The equivalence between the infinite stroboscopic time average and the block-diagonal projection P_after = sum_alpha Pi_alpha P_before Pi_alpha is invoked via the discrete von Neumann ergodic theorem but not fully derived. This is a standard result, but the treatment of quasi-energy degeneracies is load-bearing for the Floquet construction.
If wrong: If the block-dephasing formula is implemented incorrectly, especially in degenerate quasi-energy sectors, the computed Floquet eta and chi values could be basis-dependent and the claimed sustained-coherence quadrant distinction in Section 4 would be unreliable.
- mediumAppendix B.3/B.3a, Schur-basis rank-one dephasing versus block-projector dephasing — The text defines the Floquet-dephased state using full degenerate-block projectors, but also says the implementation uses rank-one dephasing in a Schur basis as a convention. Rank-one dephasing inside an exactly degenerate subspace is generally not equivalent to block dephasing unless the within-block coherences are absent or negligible. The authors report a numerical discrepancy of order 1e-9 for the benchmark, but the general mathematical equivalence is not established.
If wrong: For Floquet systems with nontrivial coherences inside degenerate sectors, eta could depend on an arbitrary basis choice. The specific N=4 benchmark may survive due to the reported numerical check, but the claimed basis-invariant Floquet extension would need stricter implementation or proof.
- mediumDSI anchor claim, Fig 5(e-f) — The quantitative recovery of lambda via 'universal collapse' is claimed to work because peak positions are stable even when per-period amplitudes vary. The connection between the '13 ± 2% per-period variation in amplitude' and the final 0.3% recovery is attributed to a heuristic factor (√26 × ~8×), stated as an empirical observation from 'fitting geometry,' not as a derived bound.
If wrong: If the heuristic fails for a different M or spectrum, the DSI anchor's quantitative claim of sub-percent accuracy cannot be guaranteed to transfer. This does not invalidate the central Kuramoto-based claim, but weakens the DSI anchor's standalone validation.
- mediumEq. (1) / Remark 1 — D_eff(P,M) is defined as [Tr(MP)]^2 / Tr[(MP)^2]. For general Hermitian M, Tr[(MP)^2] can be negative because MP is not Hermitian in general; the text asserts Tr[(MP)^2] = Tr(A^2) with A = P^{1/2} M P^{1/2} (Hermitian), but this equality requires a careful cyclicity argument and implicitly uses that Tr(MPMP) = Tr(P^{1/2} M P M P^{1/2}) = Tr(A^2). The proof is plausible but compressed and should explicitly show each cyclic permutation step, since MPMP and A^2 live in different factorizations.
If wrong: If Tr[(MP)^2] were not guaranteed nonnegative (or equal to Tr(A^2)), then D_eff could be ill-defined or sign-indefinite for indefinite M, undermining chi in the Floquet/DSI anchors and any interpretation of D_eff as a concentration ratio there. Eta-only claims would remain intact.
- mediumSection 2.1, Remark 1 well-definedness condition for D_eff — The nonnegativity derivation for D_eff is mostly valid, but the stated equivalence 'P^{1/2} M P^{1/2} != 0 iff M does not annihilate the entire support of P' is not correct as written. A Hermitian M can map the support of P entirely into the orthogonal complement, giving P^{1/2} M P^{1/2} = 0 while M|w> != 0 for vectors in the support.
If wrong: The claimed domain of well-definedness for D_eff is misstated. If encountered in an application, D_eff could have zero denominator even though M acts nontrivially on the support of P. The empirical anchors may still be valid if their denominators were checked numerically, but the general condition needs correction.
- mediumSection 5.2-5.3, DSI collapse and lambda recovery — The recovery of lambda by minimizing collapse RMS is empirically demonstrated, but the paper does not prove that the RMS landscape has a unique minimum at the true lambda for generic random Hermitian M, finite spectra, or different bandwidths. The text appropriately caveats this as empirical, but the abstract-level recovery claim depends on this numerical procedure.
If wrong: If the collapse objective has aliases or if peak amplitudes/finite-window effects shift the RMS minimum, then the DSI recovery errors reported in Table 3/Figure 5 would not generalize beyond the tested spectra and M realizations.
- lowAppendix B.1, equivalence of stroboscopic time-average and block-projector P_after^block — Equivalence stated via 'discrete von Neumann ergodic theorem applied to the unitary group generated by U_F' and verified numerically to 1.25e-5 at K=1e5 steps, but the proof is compressed. For non-degenerate quasi-energies the result is standard; for degenerate sectors basis-invariance is treated in Appendix B.3a.
If wrong: If the equivalence failed, the Floquet anchor's definition of P_after would be ambiguous; however, the author resolves the degenerate-sector ambiguity by the block-projector definition and bounds the Schur-basis deviation explicitly (max ∆η ≤ 2.4e-9).
- lowAppendix B.3a, Eq. (13) — The bound on |eta(P+ΔP,M) − eta(P,M)| is stated with a sketched derivation (triangle inequality + Böttcher–Wenzel + quotient bound). The final rational form depends on combining numerator and denominator perturbations; constants and the exact dependence on ||M||_F cancelations are not fully shown.
If wrong: Only the claimed robustness of eta to the Schur-vs-block dephasing implementation would lose its stated analytic support; the numerical check provided (ΔP/||P|| extremely small) still supports negligible effect for N=4.
- lowEq. (13), perturbation bound for |η_Schur - η_block| — Bound is stated with derivation steps (triangle inequality, Böttcher-Wenzel, reverse triangle) but the assembly into the final quotient bound is compressed. Numerical verification (0 violations across 5000 random perturbations) supports the result.
If wrong: Only affects the rigor of the basis-invariance argument; numerical verification provides independent support.
- lowEq. (5) / Proposition 3 — The variational derivation uses a functional derivative identity d/dP Tr(P log P) = log P + I (up to conventions) and claims strict convexity on the full domain D including boundary points where log P is singular. The continuity argument “x log x → 0 as x → 0+” is correct for eigenvalues, but a fully rigorous proof would state the domain as density matrices with support and use known results on operator convexity/strict convexity and lower semicontinuity of relative entropy.
If wrong: If strict convexity/attainment were mishandled, uniqueness of the Gibbs minimizer could fail in edge cases (e.g., constraints or T→0 limits). This would not affect the definition or boundedness of eta, nor the empirical Kuramoto precursor results.
- lowProposition 1 (lower bound) and surrounding text — The lower bound D_eff ≥ 1 is proved only under M ⪰ 0 (so A ⪰ 0). Later the paper sometimes narratively treats D_eff as an “effective dimension” more generally; it does note explicitly that the [1,rank] interpretation fails for indefinite M, but it does not characterize what range D_eff can take when Tr(A)=0 or when A has mixed signs (beyond defining D_eff=0 when Tr(A)=0).
If wrong: Over-interpreting D_eff as a mode count in the indefinite-M anchors would be logically invalid. As written, the paper mostly avoids that, but tightening the narrative would prevent misreadings; the Kuramoto (PSD) anchor is unaffected.
- lowSection 4 / Appendix B.2, fitted power law η(h) ~ h^0.78 — First-order perturbation theory predicts η ∝ h^1; the fitted exponent 0.78 is reported without derivation of the higher-order corrections, and the discrepancy is acknowledged but not analyzed.
If wrong: Affects only a descriptive observation in the Floquet anchor; not load-bearing for any central claim.
- lowSection 5.2, collapse argument and ~40× suppression heuristic — The argument that the 13% per-period mismatch suppresses to 0.3% recovery error via √26 ≈ 5× from averaging combined with ~8× from position-vs-amplitude insensitivity is a heuristic decomposition presented without formal derivation. The author explicitly flags it as empirical.
If wrong: Only affects the explanation for why the empirical recovery is accurate; the recovery itself is directly measured and reported with quantified error, so the central DSI-anchor claim survives even if the heuristic explanation is imprecise.
- lowSection 5.2, heuristic explanation of 13% period mismatch producing 0.3% recovery error — The stated approximately 40x suppression from per-period mismatch to recovery error is explained heuristically using sqrt(26) period averaging and an additional ~8x position-versus-amplitude insensitivity factor. This factorization is plausible but not derived from a statistical model of the RMS estimator.
If wrong: The numerical recovery results would remain as reported, but the explanatory rationale for why the estimator is so accurate would be unsupported.
- lowSection 7.1, 'fixed-M convention as an optimal design choice' — The optimality of the fixed-M convention is supported only by a finite empirical comparison over selected rewiring rates and lag values. No variational or minimax optimality theorem is provided.
If wrong: The fixed-M convention may still be empirically preferable in the tested rewiring Kuramoto setting, but the word 'optimal' should be read as benchmark-specific rather than mathematically established.
This paper presents a mathematically rigorous and empirically well-supported framework for early detection of system reorganization. The work is structurally complete, with all core constructs properly defined and validated across three distinct physical anchors. The mathematical properties are proven, the empirical protocols are clearly described, and the results are reproducible with provided code and data. While some secondary aspects could be more thoroughly explored (particularly finite-size effects in the Floquet case and physical motivation for the DSI anchor), the main claims are fully supported and the work addresses all its stated objectives.
This is a relatively complete paper by the standards of theoretical-methods submissions. It defines its central objects clearly, proves the main formal properties needed for the diagnostic to make sense, and then evaluates the construction on the three claimed anchors. Importantly, it generally distinguishes interpretation from definition: η is presented as an operator misalignment measure with a precise formula and bounds, while stronger physical interpretations are framed as empirical observations on the examined systems. The paper also does a good job of surfacing assumptions and caveats rather than burying them.
The main weaknesses are not fatal structural gaps but presentation and reproducibility details. Some empirical procedures are not fully specified in the main text, and a handful of notation/cross-reference issues reduce polish. The strongest support is for the Kuramoto benchmark; the Floquet and DSI sections function more as scoped demonstrations than broad validations, which the authors mostly acknowledge. Overall, the work is followable, internally supported, and close to fully complete, but still short of exemplary completeness because some methodological details remain implicit or offloaded to appendices/supplements.
This paper presents a highly complete and meticulously argued framework for a new operator diagnostic. The work is self-contained, with all variables defined, mathematical properties proven, and applied to three diverse systems with specific, testable predictions. The completeness is exceptional, with careful attention to edge cases, boundary conditions, and limitations. The evidence strength, in the context of a framework introduction, is also high. The authors provide a clear evidence roadmap, pinpointing which existing phenomena motivate the work, and then perform a rigorous set of self-validation experiments that quantitatively test the diagnostic's claims. The head-to-head comparison with an established method (transfer entropy) and careful robustness checks against estimator hyperparameters and the choice of rigidity operator show a deep commitment to supporting the core claims. The DSI anchor, while based on an engineered spectrum, serves as a precise quantitative test of the diagnostic's ability to read out a hidden property, and the recovery error analysis with different random M realizations is thorough. The work transparently delineates between validation, proof-of-principle, and future work, providing a clear, well-supported foundation for future applications.
This is a scientifically interesting and reasonably original submission whose strongest contribution is empirical rather than foundational: on the Kuramoto benchmark, the proposed commutator-based diagnostic η appears to provide an earlier and substantially less variable signal of reorganization onset than both the conventional order-parameter threshold and pairwise transfer entropy. That claim is quantitative, reproducible in principle, and meaningfully falsifiable. The framework also has conceptual appeal because it attempts to package reorganization in terms of operator alignment rather than model-specific scalar indicators.
The main weakness is one of scope management and communication. The paper presents Kuramoto, Floquet, and DSI as if they jointly validate a broad precursor-detection framework, but the evidentiary strength is not uniform. Kuramoto is a substantive benchmark; Floquet is a proof-of-principle regime-classification exercise; DSI is a synthetic structure-recovery test. Those latter two sections still contribute novelty, but they do not support the same level of claim as the Kuramoto results. With tighter framing and more explicit prospective falsification criteria, this would read as a stronger and clearer contribution.
This is an unusually well-executed precursor-diagnostic paper. The authors propose a two-dimensional operator-based diagnostic (χ,η) and validate it across three qualitatively distinct domains using the same construction, with quantitative empirical claims supported by careful ensemble statistics, robustness checks, and explicit head-to-head comparison against the most relevant competitor (pairwise transfer entropy). The falsifiability is excellent: every central claim is stated numerically with statistical uncertainty, and the authors actively probe failure modes (small-N exceptions, TE estimator variations, 20 random M realizations, four rewiring rates, fixed-vs-floating M convention). The clarity is exemplary, with careful distinction between PSD and indefinite-M cases, explicit naming of conventions, and honest scoping of what each anchor does and does not establish.
The novelty is in the synthesis rather than in a single new mechanism. The individual mathematical components have precedent (Frobenius commutator, generalized participation ratios, Laplacian diagnostics), and the authors are scrupulous about positioning their work against these lineages. What is genuinely new is the (χ,η) plane as a unified geometric organization with cross-domain applicability and concrete predictive advantages over scalar alternatives — earlier peak, lower variance than TE on the Kuramoto benchmark, geometric separation of Floquet from Kuramoto strongly-synchronized regimes that scalar diagnostics collapse, and quantitative DSI ratio recovery. The chief limitations are the restriction of the TE comparison to pairwise symbolic estimators, the use of engineered rather than emergent DSI spectra, and the small Floquet system size; all are explicitly acknowledged as future work. Overall this is a rigorous, falsifiable, and clearly communicated contribution.
Effective dimension (generalized participation ratio) of the operator pair (P,M).
Dimension-change ratio comparing effective dimensions before and after a control-parameter change; χ<1 indicates selection onto a lower-dimensional subspace.
Normalized Frobenius commutator measuring operator-level misalignment between participation and rigidity (0≤η≤√2).
On Kuramoto networks across multiple topologies and system sizes, the η-peak precedes the logistic synchronization threshold K_c in the vast majority of realizations (125/127 overall; 73/75 in topology comparison; 52/52 in finite-size scaling), with a large-N precursor gap ⟨K_c−K_η⟩≈0.61±0.05 that does not decay with N.
Falsifiable if: Reproduce the same Kuramoto ensembles and measurement protocol and demonstrate that (a) η peaks at or after K_c in a majority of realizations, or (b) the average precursor gap decreases toward zero as N increases over the tested range.
On the same Kuramoto simulation data, the η-peak occurs on average 0.31 coupling units earlier than the peak of pairwise transfer entropy and exhibits approximately five-times lower seed-to-seed variance.
Falsifiable if: Compute both η and pairwise transfer entropy on identical simulation runs and estimator settings and find that (a) transfer entropy peaks earlier than η or (b) the variance of η is comparable to or larger than that of transfer entropy.
In periodically driven (Floquet) systems the (χ,η) diagnostic plane differentiates regimes: sustained-coherence (χ<1, η>0) vs selection-relaxation (χ low, η small), providing a geometric separation of driven steady states not captured by a scalar precursor.
Falsifiable if: Apply the same (χ,η) construction to driven Floquet systems with the fixed-M convention and demonstrate that steady states do not occupy distinct quadrants or that the diagnostic fails to separate sustained-coherence from selection-relaxation across drive strengths.
For model spectra with engineered discrete scale invariance E_n=E_0 λ^n, the η(log μ) diagnostic recovers the input log-periodic ratio λ with mean absolute relative error ≈0.31% (worst-case 0.41%) across λ∈[1.15,1.85] via collapse under rescaling.
Falsifiable if: Apply the same diagnostic and collapse-recovery pipeline to the engineered spectra and show recovered λ values with mean absolute relative error substantially larger than reported (e.g., >1%) or inconsistent recovery across realizations of the rigidity operator M.
Share this Review
Post your AI review credential to social media, or copy the link to share anywhere.
theoryofeverything.ai/review-profile/paper/5d976c06-2893-47d8-841f-9dcf9919c7adEmbed a live badge
Paste into a GitHub README, preprint page, or personal site. It reads the current review, so it updates on its own if the score changes or the work is withdrawn.
[](https://theoryofeverything.ai/review-profile/paper/5d976c06-2893-47d8-841f-9dcf9919c7ad?utm_source=toeshare_badge)How to use it: Markdown goes in a GitHub README or any Markdown page. HTML goes in your own web page, wherever you want the badge to appear. Both show the live badge and link back to this review profile.
Zenodo descriptions strip images; there, link the text TOE-Share 3.7 / 5 to your review profile instead. Show us you shared your work on social media — tag @TOE_Share in your post, or reply to our newsletter with the link. Either works — we’ll add one free review credit to your account.
Share by Email
Email clients cannot render the full review profile page. We send a branded HTML summary plus a link to the live credential.
Sign in as the submission owner to send a branded HTML email from TOE-Share. Anyone can still copy the text or open their email app.
This review was conducted by TOE-Share's multi-agent AI specialist pipeline. Each dimension is independently evaluated by specialist agents (Math/Logic, Sources/Evidence, Science/Novelty), then synthesized by a coordinator agent. This methodology is aligned with the multi-model AI feedback approach validated in Thakkar et al., Nature Machine Intelligence 2026.
TOE-Share — theoryofeverything.ai