pith. sign in

arxiv: 2604.22627 · v1 · submitted 2026-04-24 · 🪐 quant-ph · cs.CC· cs.IT· cs.LG· math.IT· physics.comp-ph

The Exact Replica Threshold for Nonlinear Moments of Quantum States

Shuai Zeng This is my paper

Pith reviewed 2026-05-08 11:52 UTC · model grok-4.3

classification 🪐 quant-ph cs.CCcs.ITcs.LGmath.ITphysics.comp-ph
keywords replica thresholdnonlinear momentsquantum state estimationsample complexityjoint measurementstr(ρ^t)quantum tomography
0
0 comments X

The pith

⌈t/2⌉ replicas mark the exact threshold for polynomial estimation of quantum moments like tr(ρ^t)

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

The paper shows that estimating nonlinear observables such as tr(ρ^t) of a quantum state has a sharp replica threshold. Protocols limited to ⌈t/2⌉-1 replicas require a number of samples that grows with the system's dimension. In contrast, ⌈t/2⌉ replicas permit estimation with polynomially many samples according to existing methods. The same boundary applies to a family of observable-weighted moments tr(Oρ^t). A reader would care because the result pins down the minimal coherent access needed to extract nonlinear quantum information without dimension-dependent costs.

Core claim

In the sample/copy-access model with replica-limited joint measurements, any protocol using at most ⌈t/2⌉-1 replicas to estimate tr(ρ^t) for fixed t≥3 requires sample complexity that grows with dimension, whereas ⌈t/2⌉ replicas suffice for polynomial-sample estimation by prior work. The identical threshold extends to tr(Oρ^t) for observables O with bounded operator norm and macroscopic trace norm. Coherent replica number therefore functions as a discrete resource that separates polynomial and dimension-growing regimes for nonlinear moment estimation.

What carries the argument

The replica threshold in the replica-limited joint measurement model, which separates polynomial-sample estimation from dimension-dependent lower bounds for fixed-order pure moments.

Load-bearing premise

All measurements are restricted to joint operations on at most a fixed number of state copies at once in the sample/copy-access model.

What would settle it

Finding a protocol that estimates tr(ρ^t) to constant accuracy with only polynomially many samples independent of dimension while using at most ⌈t/2⌉-1 replicas would falsify the lower bound.

Figures

Figures reproduced from arXiv: 2604.22627 by Shuai Zeng.

Figure 1
Figure 1. Figure 1: FIG. 1. Exact replica threshold for nonlinear moments. The view at source ↗
read the original abstract

Joint measurements on multiple copies of a quantum state provide access to nonlinear observables such as $\operatorname{tr}(\rho^t)$, but whether replica number marks a sharp information-theoretic resource boundary has remained unclear. For every fixed order $t\ge 3$, existing protocols show that $\lceil t/2\rceil$ replicas already suffice for polynomial-sample estimation of $\operatorname{tr}(\rho^t)$, yet it has remained open whether one fewer replica must necessarily incur a sample-complexity barrier growing with the dimension. We prove that this is indeed the case in the sample/copy-access model with replica-limited joint measurements: any protocol restricted to $\lceil t/2\rceil-1$ replicas requires dimension-growing sample complexity, while $\lceil t/2\rceil$ replicas suffice by prior work. Thus the exact replica threshold for fixed-order pure moments is $\lceil t/2\rceil$. Equivalently, for fixed-order pure moments, one additional coherent replica is not merely useful but marks the exact threshold between polynomial-sample estimation and a dimension-growing regime in the replica-limited model. We further show that the same threshold law extends to a broad family of observable-weighted moments $\operatorname{tr}(O\rho^t)$, including Pauli observables and other observables with bounded operator norm and macroscopic trace norm. Coherent replica number therefore acts as a genuinely discrete resource for nonlinear quantum-state estimation.

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

0 major / 4 minor

Summary. The manuscript proves that, in the sample/copy-access model with replica-limited joint measurements, the exact threshold for polynomial-sample estimation of tr(ρ^t) (and more generally tr(O ρ^t) for bounded-norm observables) at fixed order t ≥ 3 is precisely ⌈t/2⌉ replicas: sufficiency follows from prior protocols, while any protocol using only ⌈t/2⌉−1 replicas requires sample complexity that grows with dimension. The result is stated as a sharp information-theoretic boundary separating polynomial and dimension-dependent regimes.

Significance. If the lower-bound argument holds, the work supplies a clean, parameter-free characterization of replica number as a discrete resource for nonlinear quantum-state estimation. It strengthens the foundations of multi-copy measurement protocols and directly informs resource requirements in quantum metrology and tomography tasks that rely on higher-order moments. The explicit separation between the two regimes and the extension to observable-weighted moments constitute the main technical contribution.

minor comments (4)
  1. [§1] §1 (Introduction): the statement that '⌈t/2⌉ replicas suffice by prior work' should include an explicit forward reference to the specific theorem or protocol being invoked, rather than a general citation.
  2. [Definition 2.1] Definition 2.1 (replica-limited model): the precise restriction on joint measurements (i.e., which measurements are allowed on k < ⌈t/2⌉ copies) could be stated more formally with an explicit tensor-product structure to avoid ambiguity in the lower-bound argument.
  3. [Theorem 3.1] Theorem 3.1 (lower bound): the reduction from the moment estimation problem to a distinguishing task is clear, but the dependence on the dimension d appears only asymptotically; a short remark on the precise scaling (e.g., Ω(d^ε) for some ε>0) would make the claim easier to compare with existing sample-complexity bounds.
  4. [Figure 1] Figure 1: the caption should explicitly label the two curves as '⌈t/2⌉ replicas (poly-sample)' and '⌈t/2⌉−1 replicas (dim-growing)' to match the theorem statements.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript, accurate summary of the main results, and recommendation for minor revision. The significance statement correctly identifies the sharp threshold result and its implications for replica-limited estimation of higher-order moments.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes a new lower bound showing that protocols limited to ⌈t/2⌉−1 replicas incur dimension-growing sample complexity in the replica-limited joint-measurement model. Sufficiency at ⌈t/2⌉ is referenced to prior work rather than re-derived here. No equations reduce a claimed prediction to a fitted input by construction, no self-definitional loops appear in the threshold statement, and the lower-bound argument is presented as an independent proof. The cited prior result supplies an external upper bound and does not render the new lower-bound derivation circular or self-referential.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Relies on standard quantum density matrix model and replica-limited access; no new parameters or entities.

axioms (1)
  • domain assumption Replica-limited joint measurement model
    Defined in abstract as the setting for the threshold.

pith-pipeline@v0.9.0 · 9579 in / 853 out tokens · 105155 ms · 2026-05-08T11:52:43.065829+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

  1. [1]

    Equivalently, one fewer replica necessarily places the problem in a dimension-growing lower-bound regime, while⌈t/2⌉replicas already reach the known attainable regime

    Since the upper-bound side is already known at⌈t/2⌉ replicas [3], this pins the exact replica threshold for esti- mating tr(ρt) at t 2 . Equivalently, one fewer replica necessarily places the problem in a dimension-growing lower-bound regime, while⌈t/2⌉replicas already reach the known attainable regime. This is the exact resource boundary on the replica a...

    work page

  2. [2]

    Elben, S

    A. Elben, S. T. Flammia, H.-Y. Huang, R. Kueng, J. Preskill, B. Vermersch, and P. Zoller, The randomized measurement toolbox, Nature Reviews Physics5, 9 (2023)

    work page 2023

  3. [3]

    W. J. Huggins, S. McArdle, T. E. O’Brien, J. Lee, N. C. Rubin, S. Boixo, K. B. Whaley, R. Babbush, and J. R. McClean, Virtual distillation for quantum error mitiga- tion, Physical Review X11, 041036 (2021)

    work page 2021

  4. [4]

    Zhou and Z

    Y. Zhou and Z. Liu, A hybrid framework for estimating nonlinear functions of quantum states, npj Quantum In- formation10, 62 (2024)

    work page 2024

  5. [5]

    Q. Liu, Z. Li, X. Yuan, H. Zhu, and Y. Zhou, Auxiliary-free replica shadows: Efficient estimation of multiple nonlinear quantum properties, Phys. Rev. Lett.136, 100602 (2026)

    work page 2026

  6. [6]

    Huang, R

    H.-Y. Huang, R. Kueng, and J. Preskill, Predicting many properties of a quantum system from very few measure- ments, Nature Physics16, 1050 (2020)

    work page 2020

  7. [7]

    Q. Ye, Z. Liu, and D.-L. Deng, Exponential advantage from one more replica in estimating nonlinear properties of quantum states, arXiv preprint arXiv:2509.24000 (2025), arXiv:2509.24000 [quant-ph]

    work page arXiv 2025

  8. [8]

    Collins and P

    B. Collins and P. ´Sniady, Integration with respect to the Haar measure on unitary, orthogonal and symplec- tic group, Communications in Mathematical Physics264, 773 (2006)

    work page 2006

  9. [9]

    THE EXACT REPLICA THRESHOLD FOR NONLINEAR MOMENTS OF QUANTUM ST A TES

    Supplemental material (2026), see Supplemental Mate- rial at [URL will be inserted by publisher] for detailed proofs of the hard-pair construction, moment match- ing, permutation-sector machinery, indistinguishability, rounding, and the Haar mean/variance formulas. 7 END MA TTER Spectrum-T esting Lower-Bound Closure We complete the lower-bound closure for...

    work page 2026