pith. sign in

arxiv: 2606.18169 · v1 · pith:KO6GZNYVnew · submitted 2026-06-16 · 🪐 quant-ph

Optimal Probe State for Phase Estimation Under Covariant Measurement

Qipeng Qian , Christos N. Gagatsos This is my paper

Pith reviewed 2026-06-26 23:52 UTC · model grok-4.3

classification 🪐 quant-ph
keywords phase estimationcovariant measurementoptimal probe stateToeplitz matrixFock coefficientsHeisenberg scalingquantum metrologyaverage cost
0
0 comments X

The pith

For even 2π-periodic cost functions with non-negative Fourier coefficients, the optimal input state for phase estimation has Fock coefficients set by the top eigenvector of the cost-defined Toeplitz matrix.

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

The paper derives a necessary and sufficient condition for the optimal probe state in phase estimation when measurements are restricted to be covariant. The state’s photon-number amplitudes are fixed, up to phases, by the principal eigenvector of a Toeplitz matrix whose entries come directly from the Fourier coefficients of the chosen cost function. This characterization supplies an explicit lower bound on the average cost that tends to zero as the mean photon number grows without bound. For the concrete cost 4 sin²[(θ − θ̃)/2] the same construction yields a closed-form optimal state and minimum cost that scales as the inverse square of the mean photon number.

Core claim

The central claim is that, under the stated conditions on the cost, the optimal input state is completely determined by the eigenvector belonging to the largest eigenvalue of the Toeplitz matrix constructed from the cost function’s Fourier coefficients; the resulting minimal average cost is given explicitly by one minus that eigenvalue and approaches zero in the infinite-energy limit, while the special sine-squared cost admits a closed-form solution exhibiting Heisenberg scaling with mean photon number.

What carries the argument

The Toeplitz matrix whose entries are the Fourier coefficients of the cost function; its eigenvector for the largest eigenvalue supplies the Fock coefficients of the optimal probe state.

If this is right

  • The minimal average cost equals one minus the largest eigenvalue of the Toeplitz matrix.
  • This bound reaches zero when the mean photon number tends to infinity.
  • For the cost 4 sin²[(θ − θ̃)/2] the optimal state and the exact minimum cost are obtained in closed form.
  • The scaling of the minimum cost with mean photon number is Heisenberg (inverse square) for that cost function.

Where Pith is reading between the lines

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

  • The same matrix construction may be used to test whether a proposed cost function admits a useful optimal state without solving the full optimization.
  • If the Toeplitz matrix is truncated at finite dimension, the resulting approximate state provides a practical probe that can be compared directly with numerical optimization routines.
  • The approach isolates the contribution of the cost function’s spectrum from the details of the measurement, allowing systematic comparison across different cost choices.

Load-bearing premise

The cost function must be even, 2π-periodic, and possess non-negative Fourier coefficients.

What would settle it

An explicit state whose average cost, evaluated under the optimal covariant measurement for that state, falls below the bound obtained from the largest eigenvalue of the Toeplitz matrix.

read the original abstract

We study the optimization of input states for phase estimation under covariant measurements. Building on Holevo's framework, which provides the optimal covariant measurement for a fixed input state, we further optimize over the input state itself. For a general even $2\pi$-periodic cost function with non-negative Fourier coefficients, we derive a necessary and sufficient condition for the optimal input state: Its Fock coefficients are determined, up to arbitrary phases, by the eigenvector corresponding to the largest eigenvalue of a Toeplitz matrix defined by the cost function. This characterization yields an explicit expression for the attainable lower bound of the average cost under optimal covariant measurements and shows that this bound asymptotically approaches zero in the infinite-energy limit. For the specific cost function $W(\theta,\tilde{\theta})=4\sin^2[(\theta-\tilde{\theta})/2]$, we obtain the optimal input state and the corresponding minimum average cost in closed form, demonstrating Heisenberg scaling with respect to the mean photon number.

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 / 3 minor

Summary. The paper optimizes the input state for phase estimation under covariant measurements, extending Holevo's framework. For even 2π-periodic cost functions with non-negative Fourier coefficients, it derives that the optimal state's Fock coefficients (up to phases) are the principal eigenvector of a Toeplitz matrix built from the cost function's Fourier coefficients. This yields an explicit lower bound on the average cost that approaches zero as energy tends to infinity. For the specific cost W(θ,θ̃)=4sin²[(θ-θ̃)/2], closed-form expressions for the optimal state and minimum average cost are obtained, exhibiting Heisenberg scaling in mean photon number.

Significance. If the central derivation holds, the result is a useful advance in quantum metrology: it supplies a concrete, checkable characterization of optimal probe states for a broad class of cost functions via the Toeplitz-eigenvector construction, together with an explicit attainable bound and a closed-form example. The infinite-energy limit and Heisenberg scaling are cleanly stated and directly relevant to practical phase estimation.

minor comments (3)
  1. The explicit construction of the Toeplitz matrix (its entries in terms of the Fourier coefficients of the cost function) should be stated once in a dedicated equation or definition box early in the main text for immediate reference.
  2. Clarify whether the arbitrary phases in the Fock coefficients can always be chosen real without loss of optimality, or whether they affect the average cost under the covariant measurement.
  3. In the section deriving the infinite-energy limit, add a short remark on the rate at which the bound approaches zero (e.g., any scaling with mean photon number) to strengthen the metrological interpretation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of our results, and recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper builds on Holevo's external framework for the optimal covariant measurement given a fixed state, then derives a new necessary-and-sufficient condition for the optimal input state (Fock coefficients from the dominant eigenvector of a Toeplitz matrix defined by the cost function) under the stated assumptions on the cost (even, 2π-periodic, non-negative Fourier coefficients). This is a direct optimization result, not a self-definition, fitted-parameter prediction, or self-citation chain. The specific closed-form case for W(θ,θ̃)=4sin²[(θ-θ̃)/2] follows from the same construction without reduction to inputs. No load-bearing self-citation or ansatz smuggling is present; the central claim has independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard quantum information assumptions about covariant measurements and properties of cost functions in phase estimation; no new entities introduced.

axioms (2)
  • domain assumption Holevo's framework provides the optimal covariant measurement for a fixed input state.
    The paper builds on this as the starting point for further optimization over the state.
  • domain assumption The cost function is even, 2π-periodic with non-negative Fourier coefficients.
    This is required for the necessary and sufficient condition on the optimal state.

pith-pipeline@v0.9.1-grok · 5694 in / 1425 out tokens · 38554 ms · 2026-06-26T23:52:17.323172+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

25 extracted references · 6 canonical work pages · 1 internal anchor

  1. [1]

    Helstrom,Quantum Detection and Estimation Theory, Mathematics in Science and Engineering : a series of monographs and textbooks (Academic Press, 1976)

    C.W. Helstrom,Quantum Detection and Estimation Theory, Mathematics in Science and Engineering : a series of monographs and textbooks (Academic Press, 1976)

    1976

  2. [2]

    Quantum optical metrol- ogy – the lowdown on high-n00n states,

    Jonathan P. Dowling, “Quantum optical metrol- ogy – the lowdown on high-n00n states,” Contempo- rary Physics49, 125–143 (2008)

    2008

  3. [3]

    Quantum metrol- ogy from a quantum information science perspective,

    G´ eza T´ oth and Iagoba Apellaniz, “Quantum metrol- ogy from a quantum information science perspective,” Journal of Physics A: Mathematical and Theoretical 47, 424006 (2014)

    2014

  4. [4]

    Advances in photonic quan- tum sensing,

    S. Pirandola, B. R. Bardhan, T. Gehring, C. Weed- brook, and S. Lloyd, “Advances in photonic quan- tum sensing,” Nature Photonics12, 724–733 (2018)

    2018

  5. [5]

    Photonic quantum metrology,

    Emanuele Polino, Mauro Valeri, Nicol` o Spagnolo, and Fabio Sciarrino, “Photonic quantum metrology,” AVS Quantum Science2, 024703 (2020)

    2020

  6. [6]

    Geometric perspective on quantum parameter estimation,

    Jasminder S. Sidhu and Pieter Kok, “Geometric perspective on quantum parameter estimation,” AVS Quantum Science2(2020), 10.1116/1.5119961

    work page doi:10.1116/1.5119961 2020

  7. [7]

    Quantum metrology and its application in biology,

    Michael A. Taylor and Warwick P. Bowen, “Quantum metrology and its application in biology,” (2015), arXiv:1409.0950 [quant-ph]

    Pith/arXiv arXiv 2015

  8. [8]

    Quantum estimation 7 for quantum technology,

    Matteo G. A. Paris, “Quantum estimation 7 for quantum technology,” International Journal of Quantum Information07, 125–137 (2009), https://doi.org/10.1142/S0219749909004839

    work page doi:10.1142/s0219749909004839 2009

  9. [9]

    Advances in quantum metrology,

    Vittorio Giovannetti, Seth Lloyd, and Lorenzo Mac- cone, “Advances in quantum metrology,” Nature Photonics5, 222–229 (2011)

    2011

  10. [10]

    Quan- tum metrology with nonclassical states of atomic ensembles,

    Luca Pezz` e, Augusto Smerzi, Markus K. Oberthaler, Roman Schmied, and Philipp Treutlein, “Quan- tum metrology with nonclassical states of atomic ensembles,” Reviews of Modern Physics90(2018), 10.1103/revmodphys.90.035005

    work page internal anchor Pith review doi:10.1103/revmodphys.90.035005 2018

  11. [11]

    Streltsov, G

    Alexander Streltsov, Gerardo Adesso, and Mar- tin B. Plenio, “Colloquium: Quantum coherence as a resource,” Reviews of Modern Physics89(2017), 10.1103/revmodphys.89.041003

    work page doi:10.1103/revmodphys.89.041003 2017

  12. [12]

    Quantum-mechanical noise in an interferometer,

    Carlton M. Caves, “Quantum-mechanical noise in an interferometer,” Phys. Rev. D23, 1693–1708 (1981)

    1981

  13. [13]

    Optimal states and almost optimal adaptive measurements for quan- tum interferometry,

    D. W. Berry and H. M. Wiseman, “Optimal states and almost optimal adaptive measurements for quan- tum interferometry,” Physical Review Letters85, 5098–5101 (2000)

    2000

  14. [14]

    Optimal input states and feedback for interferometric phase estimation,

    D. W. Berry, H. M. Wiseman, and J. K. Breslin, “Optimal input states and feedback for interferometric phase estimation,” Phys. Rev. A63, 053804 (2001)

    2001

  15. [15]

    Optimal phase measurements with pure gaussian states,

    Alex Monras, “Optimal phase measurements with pure gaussian states,” Phys. Rev. A73, 033821 (2006)

    2006

  16. [16]

    Mach-zehnder interferometry at the heisenberg limit with coherent and squeezed-vacuum light,

    Luca Pezz´ e and Augusto Smerzi, “Mach-zehnder interferometry at the heisenberg limit with coherent and squeezed-vacuum light,” Physical Review Letters 100(2008), 10.1103/physrevlett.100.073601

    work page doi:10.1103/physrevlett.100.073601 2008

  17. [17]

    Quantum interferometry with and without an exter- nal phase reference,

    Marcin Jarzyna and Rafa l Demkowicz-Dobrza´ nski, “Quantum interferometry with and without an exter- nal phase reference,” Phys. Rev. A85, 011801(R) (2012)

    2012

  18. [18]

    Ziv-zakai error bounds for quantum parameter estimation,

    Mankei Tsang, “Ziv-zakai error bounds for quantum parameter estimation,” Physical Review Letters108 (2012), 10.1103/physrevlett.108.230401

    work page doi:10.1103/physrevlett.108.230401 2012

  19. [19]

    Non-asymptotic analysis of quantum metrology pro- tocols beyond the cram´ er–rao bound,

    Jes´ us Rubio, Paul Knott, and Jacob Dunningham, “Non-asymptotic analysis of quantum metrology pro- tocols beyond the cram´ er–rao bound,” Journal of Physics Communications2, 015027 (2018)

    2018

  20. [20]

    Optimal phase esti- mation with arbitrary a priori knowledge,

    Rafa l Demkowicz-Dobrza´ nski, “Optimal phase esti- mation with arbitrary a priori knowledge,” Physical Review A—Atomic, Molecular, and Optical Physics 83, 061802 (2011)

    2011

  21. [21]

    Knowledge-dependent optimal Gaussian strategies for phase estimation,

    Ricard Ravell Rodr´ ıguez and Simon Morelli, “Knowledge-dependent optimal Gaussian strategies for phase estimation,” SciPost Phys.18, 167 (2025)

    2025

  22. [22]

    1 (Springer Science & Business Media, 2011)

    Alexander S Holevo,Probabilistic and statistical as- pects of quantum theory, Vol. 1 (Springer Science & Business Media, 2011)

    2011

  23. [23]

    Zur theorie der matrices,

    Oskar Perron, “Zur theorie der matrices,” Mathema- tische Annalen64, 248–263 (1907)

    1907

  24. [24]

    G. Frobenius, ¨Uber Matrizen Aus Nicht Negativen El- ementen, Preussische Akademie der Wissenschaften Berlin: Sitzungsberichte der Preußischen Akademie der Wissenschaften zu Berlin (De Gruyter, Incorpo- rated, 1912)

    1912

  25. [25]

    67 (Springer, 2000)

    Albrecht B¨ ottcher and Sergei M Grudsky,Toeplitz matrices, asymptotic linear algebra and functional analysis, Vol. 67 (Springer, 2000)

    2000