pith. sign in

arxiv: 2605.03032 · v2 · pith:GRYJGWSRnew · submitted 2026-05-04 · 🪐 quant-ph · cond-mat.dis-nn· cond-mat.mes-hall· cond-mat.stat-mech· physics.atom-ph

Robust spin-squeezing with random interaction graphs: the lesson from universality

Andrea Solfanelli , Augusto Smerzi , Peter Zoller , Nicol\`o Defenu This is my paper

Pith reviewed 2026-05-08 19:07 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.dis-nncond-mat.mes-hallcond-mat.stat-mechphysics.atom-ph
keywords spin squeezingquantum networksspectral dimensionXY universalitypercolationmetrological gainsymmetry breakingquantum sensors
0
0 comments X

The pith

Scalable spin squeezing on quantum networks is governed by the interaction graph's spectral dimension and whether the model is below the symmetry breaking transition.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper identifies the conditions for achieving scalable spin squeezing in spin ensembles on arbitrary network geometries. It distinguishes OAT-like squeezing, which depends only on universal graph properties like spectral dimension, from critical squeezing, which additionally requires the system to be below the symmetry breaking transition. These arise from the interplay between XY-ferromagnetic universality and percolation universality on inhomogeneous graphs. The framework applies to experimental quantum simulation platforms and provides conditions for robust metrological gain.

Core claim

We establish that OAT-like scalable squeezing is governed solely by the universal properties of the interaction graph and controlled by its spectral dimension. In critical squeezing the spectral dimension provides only the necessary condition for scalable metrological gain while the sufficient condition is that the model lies below the symmetry breaking transition. Thus in quantum networks the scaling of the spin-squeezing critical point arises from the interplay between xy-ferromagnetic universality and percolation universality.

What carries the argument

The spectral dimension of the interaction graph, which dictates the scaling of OAT-like squeezing together with the XY-ferromagnetic and percolation universality classes.

If this is right

  • Scalable metrological gain becomes possible on generic inhomogeneous structures when the necessary and sufficient conditions hold.
  • A unifying perspective emerges for designing scalable quantum sensors across diverse simulation platforms.
  • Sharp experimentally relevant conditions appear for achieving robust squeezing in several concrete network scenarios.
  • The critical squeezing point scaling is fixed by the combined action of two universality classes on networks.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Network designers could select graphs with suitable spectral dimensions to enable squeezing without additional parameter tuning.
  • The same universal conditions might apply to other quantum tasks such as entanglement generation on inhomogeneous structures.
  • Experiments could test the predictions by preparing spin ensembles on tunable networks like hierarchical or fractal graphs.
  • Any observed deviation from the expected scaling would signal the breakdown of the assumed universality classes.

Load-bearing premise

The interacting spin models belong to the XY-ferromagnetic universality class and percolation universality governs the critical-point scaling on arbitrary inhomogeneous graphs.

What would settle it

Measuring a squeezing scaling that fails to follow the spectral dimension on a network with independently known dimension, or finding scalable squeezing in a system above the symmetry breaking transition.

Figures

Figures reproduced from arXiv: 2605.03032 by Andrea Solfanelli, Augusto Smerzi, Nicol\`o Defenu, Peter Zoller.

Figure 1
Figure 1. Figure 1: Schematic representations of the three classes of inhomogeneous systems considered in this work: ( view at source ↗
Figure 2
Figure 2. Figure 2: Summary of the hierarchy of necessary and suffi view at source ↗
Figure 3
Figure 3. Figure 3: Schematic representation of the necessary conditions for scalable spin squeezing. The possibility of scalable metrolog view at source ↗
Figure 4
Figure 4. Figure 4: Comparison of the spin-wave spectra obtained by exact diagonalization of the real-space quadratic Hamiltonian ( view at source ↗
Figure 5
Figure 5. Figure 5: (a) Schematic comparison of the two spectral gaps: the graph Laplacian gap δλ (blue line), setting the energy scale of the unperturbed Hamiltonian at the Heisenberg point, and the anisotropy-induced gap δε∆(red line). The critical point is determined by the condition δλ = δε∆c . (b) Solid lines represents the perturbation energy scale δε∆ = s(1 − ∆)degG as a function of 1 − ∆ for different bond activation … view at source ↗
Figure 6
Figure 6. Figure 6: Results for spatially uncorrelated disorder: (a)-(b) Finite-size percolation phase diagram for a long-range diluted lattice (a) and a power-of-two (PW2) graph (b). Black crosses denote the numerically determined percolation threshold obtained from Eq. (43), while the black dashed line shows the analytical prediction in the in the large N limit (46) and (54). (c) Random walk recurrence probability averaged … view at source ↗
Figure 7
Figure 7. Figure 7: Spin-squeezing phase diagram as a function of the view at source ↗
Figure 8
Figure 8. Figure 8: Numerical study of squeezing on a lattice with power-law correlated bond probability: (a)-(b) Optimal spin squeezing parameter ξ 2 (left blue axis) and long time xy-magnetization mxy as a function of the bond activation probability C for different system sizes N = 256, 512, 1024 and different values of the anisotropy ∆ = 0 (a) and ∆ = 0.95 (b) in a lattice with long-range correlated disorder with the bond … view at source ↗
Figure 9
Figure 9. Figure 9: Spin-squeezing dynamics, expressed as −10 log10 ξ 2 , for a one-dimensional long-range diluted lattice. Solid lines show the rotor/spin-wave prediction Eq. (C15), averaged over 400 disorder realizations, for different system sizes N (color-coded curves). Panels correspond to different interaction exponents: (a) α = 1.2 (ds = 10 > 3), (b) α = 1.8 (2 < ds = 2.5 < 3), and (c) α = 2.8 (ds ≈ 1.11 < 2). The dilu… view at source ↗
read the original abstract

We establish the conditions under which scalable spin squeezing can be achieved in interacting spin ensembles embedded in arbitrary, inhomogeneous graph geometries. We identify two different forms of squeezing: OAT-like scalable squeezing is governed solely by the universal properties of the interaction graph and is controlled by its spectral dimension. In critical squeezing, on the other hand, the value of the spectral dimension only furnishes the necessary condition for scalable metrological gain, while the sufficient condition requires the model to lie below the symmetry breaking transition. Therefore, in systems with random interaction graphs, the scaling of the spin-squeezing critical point emerges from a nontrivial interplay between xy-ferromagnetic universality and percolation universality. We apply this general theoretical framework to several experimental scenarios and discuss sharp and experimentally relevant conditions for achieving robust metrological gain on generic inhomogeneous structures, giving a unifying perspective for designing scalable quantum sensors across diverse quantum simulation platforms.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript establishes conditions for scalable spin squeezing in interacting spin ensembles on arbitrary inhomogeneous quantum networks. It distinguishes two regimes: OAT-like scalable squeezing governed solely by the universal properties of the interaction graph and controlled by its spectral dimension, versus critical squeezing where the spectral dimension provides only a necessary condition and the system must lie below the symmetry-breaking transition, with critical-point scaling emerging from the interplay of xy-ferromagnetic and percolation universality classes. The framework is applied to experimental scenarios to derive sharp conditions for robust metrological gain on generic structures.

Significance. If the universality assumptions hold, the result supplies a graph-theoretic organizing principle for metrological performance that unifies design across quantum simulation platforms, with explicit credit due for the parameter-free character of the spectral-dimension predictions and the falsifiable distinction between necessary and sufficient conditions.

major comments (2)
  1. [Abstract / §3] Abstract and the section deriving the OAT-like regime: the claim that scalable squeezing is governed solely by universal properties of the interaction graph (and thus by spectral dimension alone) is load-bearing, yet the manuscript provides no explicit verification that arbitrary inhomogeneous graphs (including those with hubs or non-self-similar structure) remain inside the xy-ferromagnetic universality class rather than acquiring non-universal corrections or long-range effective couplings.
  2. [§4] The paragraph on critical squeezing: the statement that percolation universality governs critical-point scaling on arbitrary graphs is presented as following from the interplay with xy-ferromagnetic universality, but no derivation, finite-size scaling analysis, or check against possible violations on inhomogeneous lattices is supplied, leaving the sufficient-condition claim unsupported.
minor comments (2)
  1. [Abstract] The abstract asserts that 'conditions are established' but contains no reference to the specific equations or theorems that constitute those conditions; a parenthetical pointer to the relevant result would improve readability.
  2. [Introduction] Notation: the spectral dimension is denoted d_s without an explicit definition on first use in the introduction; a one-sentence reminder of its definition via the density of states would aid readers outside the graph-theory community.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment point by point below, clarifying the scope of our universality arguments and indicating the revisions we have made to strengthen the presentation.

read point-by-point responses

  1. Referee: [Abstract / §3] Abstract and the section deriving the OAT-like regime: the claim that scalable squeezing is governed solely by universal properties of the interaction graph (and thus by spectral dimension alone) is load-bearing, yet the manuscript provides no explicit verification that arbitrary inhomogeneous graphs (including those with hubs or non-self-similar structure) remain inside the xy-ferromagnetic universality class rather than acquiring non-universal corrections or long-range effective couplings.

    Authors: We appreciate the referee highlighting this foundational point. The OAT-like regime derived in §3 is controlled exclusively by the spectral dimension of the interaction graph, which is a universal graph property defined via the low-energy eigenvalue scaling of the Laplacian (or return probability) and applies by construction to arbitrary inhomogeneous networks, including those with hubs or lacking self-similarity. This regime does not require the spin system to remain inside the xy-ferromagnetic universality class of the microscopic model; rather, it arises when the graph spectrum produces effectively long-range couplings that drive mean-field-like squeezing dynamics, independent of non-universal corrections. We have revised §3 with an explicit clarifying paragraph distinguishing graph universality from spin-model universality, added supporting references on spectral dimensions in complex networks, and included a brief analytic example for a scale-free graph with hubs in the supplementary material to illustrate the absence of such corrections. revision: yes

  2. Referee: [§4] The paragraph on critical squeezing: the statement that percolation universality governs critical-point scaling on arbitrary graphs is presented as following from the interplay with xy-ferromagnetic universality, but no derivation, finite-size scaling analysis, or check against possible violations on inhomogeneous lattices is supplied, leaving the sufficient-condition claim unsupported.

    Authors: We acknowledge that the discussion of the critical regime in §4 is concise and benefits from further elaboration. The sufficient condition for scalable critical squeezing requires the system to lie below the xy-ferromagnetic transition, with the critical-point scaling emerging from the interplay in which percolation universality on the graph sets the connectivity threshold while the ferromagnetic class governs fluctuation scaling; the spectral dimension supplies only the necessary condition for the transition to exist. Although a exhaustive finite-size scaling study across all inhomogeneous graphs exceeds the present scope, the general argument follows from adapting hyperscaling relations to the graph's spectral dimension. We have revised §4 to include a short derivation sketch of this interplay, a discussion of how the sufficient condition remains robust even when percolation universality deviates on certain graphs (e.g., trees), and a note on the limits of the framework. This strengthens the claim without altering the manuscript's overall conclusions. revision: partial

Circularity Check

0 steps flagged

No significant circularity; claims rest on external universality classes

full rationale

The paper derives conditions for OAT-like and critical spin squeezing from the universal properties of interaction graphs (spectral dimension, xy-ferromagnetic class, percolation universality) without reducing any prediction to a fitted parameter or self-defined input. No equations or steps in the provided abstract or framework equate the target metrological gain to the assumed universality classes by construction. The central claims are framed as consequences of established statistical-mechanics universality rather than tautological re-labeling or self-citation chains, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents identification of specific free parameters, axioms, or invented entities; none are explicitly named in the provided text.

pith-pipeline@v0.9.0 · 5471 in / 1132 out tokens · 99134 ms · 2026-05-08T19:07:33.245949+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • Foundation.AlexanderDuality alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    OAT-like scalable squeezing is governed solely by the universal properties of the interaction graph and is controlled by its spectral dimension. In critical squeezing... the sufficient condition requires the model to lie below the symmetry breaking transition.

  • Cost.FunctionalEquation washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    the paradigmatic spin-squeezing dynamics is governed by the one-axis-twisting (OAT) Hamiltonian H_oat = S_z^2/(2 N_oat)... xi^2_min ~ N^(-2/3)

  • Foundation.AlexanderDuality / DimensionForcing alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    the spectral dimension for the XY model in long-range lattices relates to alpha through ds = 2d/(alpha - d) in the mean-field regime

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Universal Spin Squeezing Dynamical Phase Transitions across Lattice Geometries, Dimensions, and Microscopic Couplings

    quant-ph 2026-05 conditional novelty 6.0

    The dynamical squeezing phase transition in bilayer XXZ spin models is universal across lattice geometries and interlayer coupling rescalings, with a new sub-linear scaling for short-range interactions.