Iterative optimization in quantum metrology and entanglement theory using semidefinite programming
Pith reviewed 2026-05-25 09:10 UTC · model grok-4.3
The pith
For a given quantum state, an iterative see-saw algorithm using semidefinite programming finds the local Hamiltonian that gives the largest metrological advantage over separable states.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a given quantum state the best local Hamiltonian for metrological advantage is found by maximizing the quantum Fisher information over a set of Hamiltonians using an iterative see-saw method based on semidefinite programming that alternates optimizations on the bilinear form of the QFI. The same framework determines the bound entangled quantum states that maximally violate the CCNR criterion.
What carries the argument
Iterative see-saw method that maximizes the bilinear form of the quantum Fisher information by alternating semidefinite programs on the local Hamiltonians.
Load-bearing premise
The iterative see-saw procedure converges to a globally optimal Hamiltonian rather than a local stationary point.
What would settle it
On small bipartite systems where the true optimum can be found by exhaustive search over local Hamiltonians, compare whether the see-saw output matches the exhaustive result.
Figures
read the original abstract
We discuss efficient methods to optimize the metrological performance over local Hamiltonians in a bipartite quantum system. For a given quantum state, our methods find the best local Hamiltonian for which the state outperforms separable states the most from the point of view of quantum metrology. We show that this problem can be reduced to maximizing the quantum Fisher information over a certain set of Hamiltonians. We present the quantum Fisher information in a bilinear form and maximize it by an iterative see-saw (ISS) method, in which each step is based on semidefinite programming. We also solve the problem with the method of moments that works very well for smaller systems. Our approach is one of the efficient methods that can be applied for an optimization of the unitary dynamics in quantum metrology, the other methods being, for example, machine learning, variational quantum circuits, or neural networks. The advantage of our method is the fast and robust convergence due to the simple mathematical structure of the approach. We also consider a number of other problems in quantum information theory that can be solved in a similar manner. For instance, we determine the bound entangled quantum states that maximally violate the Computable Cross Norm-Realignment (CCNR) criterion.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for a given bipartite quantum state, the task of identifying the local Hamiltonian maximizing its metrological advantage over separable states reduces to maximizing the quantum Fisher information over a suitable set of Hamiltonians. This bilinear QFI objective is then solved via an iterative see-saw procedure whose steps are semidefinite programs; the same framework is applied to other tasks such as locating bound entangled states that maximally violate the CCNR criterion, and results are compared with the method of moments on small instances.
Significance. If the iterative procedure returns globally optimal Hamiltonians, the bilinear SDP formulation supplies a computationally efficient and robust alternative to heuristic approaches (machine learning, variational circuits) for optimizing unitary dynamics in quantum metrology and for related entanglement problems. The explicit bilinearization of the QFI and the resulting SDP structure constitute a clear technical strength.
major comments (1)
- [Iterative see-saw procedure (abstract and § describing the ISS algorithm)] The central claim that the ISS method finds the Hamiltonian maximizing metrological advantage rests on the assumption that its fixed points are global optima. The manuscript reports rapid practical convergence and numerical agreement with the method of moments on small systems, yet supplies neither a convergence proof to the global maximum, a duality-gap bound, nor exhaustive verification on the non-convex bilinear objective; this gap is load-bearing for the assertion that the returned Hamiltonian is optimal.
minor comments (1)
- [Abstract] The abstract states that the problem 'can be reduced to maximizing the QFI' but does not indicate the precise set of Hamiltonians over which the maximization is performed; a brief clarifying sentence would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback. We address the single major comment below.
read point-by-point responses
-
Referee: The central claim that the ISS method finds the Hamiltonian maximizing metrological advantage rests on the assumption that its fixed points are global optima. The manuscript reports rapid practical convergence and numerical agreement with the method of moments on small systems, yet supplies neither a convergence proof to the global maximum, a duality-gap bound, nor exhaustive verification on the non-convex bilinear objective; this gap is load-bearing for the assertion that the returned Hamiltonian is optimal.
Authors: We agree that the bilinear objective is non-convex and that the iterative see-saw procedure lacks a convergence proof to the global optimum, a duality-gap bound, or exhaustive verification. The manuscript presents the ISS method as an efficient heuristic whose practical performance is supported by rapid convergence and agreement with the method of moments on small instances. We will revise the abstract and the sections describing the algorithm to clarify that the procedure yields high-quality local optima with strong numerical evidence, without asserting global optimality. revision: yes
Circularity Check
No circularity: SDP see-saw is an external optimization procedure on bilinear QFI
full rationale
The paper reduces the metrological advantage task to maximization of quantum Fisher information over local Hamiltonians, then applies an iterative see-saw algorithm whose steps are standard semidefinite programs on the bilinear form. No equation or claim reduces a prediction to a fitted parameter by construction, no uniqueness theorem is imported from self-citation, and no ansatz is smuggled via prior work. The convergence assumption is stated as a practical property rather than a definitional identity, leaving the central claim independent of its own outputs.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
(35) Then, the following series of inequalities prove the subaddi- tivity property √ δ2(H′ 1 +H′′ 1 ) +δ2(H′ 2 +H′′ 2 ) ≤ √ [δ(H′
-
[2]
+δ(H′′ 1 )]2 + [δ(H′
-
[3]
+δ(H′′ 2 )]2 ≤ √ δ2(H′
-
[4]
+δ2(H′′ 1 ) + √ δ2(H′
-
[5]
+δ2(H′′ 2 ). (36) The first inequality in Eq. (36) is due to the subadditivity of δ(X) and the monotonicity of √ x2 +y2 inx andy. The sec- ond inequality is due to the subadditivity of √ x2 +y2. (ii) Absolute homogeneity, √ F(sep) Q (cH) =|c| √ F(sep) Q (H) (37) for any realc follows directly from its expression withδ(Hn). (iii) Non-negativity is trivial. ...
work page 2019
-
[6]
R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009)
work page 2009
- [7]
- [8]
-
[9]
Horodecki, Quantum information, Acta Phys
R. Horodecki, Quantum information, Acta Phys. Pol A139, 197 (2021)
work page 2021
-
[10]
L. Pezzé and A. Smerzi, Entanglement, nonlinear dynamics, and the Heisenberg limit, Phys. Rev. Lett. 102, 100401 (2009)
work page 2009
- [11]
-
[12]
Tóth, Multipartite entanglement and high-precision metrol- ogy, Phys
G. Tóth, Multipartite entanglement and high-precision metrol- ogy, Phys. Rev. A85, 022322 (2012)
work page 2012
- [13]
-
[14]
K. Macieszczak, Quantum Fisher Information: Variational principle and simple iterative algorithm for its efficient com- putation, arXiv:1312.1356 (2013)
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[16]
G. Tóth and T. Vértesi, Quantum states with a positive partial transpose are useful for metrology, Phys. Rev. Lett.120, 020506 (2018)
work page 2018
-
[17]
K. F. Pál, G. Tóth, E. Bene, and T. Vértesi, Bound entangled singlet-like states for quantum metrology, Phys. Rev. Research 3, 023101 (2021)
work page 2021
- [18]
-
[19]
G. Tóth, T. Vértesi, P. Horodecki, and R. Horodecki, Activating hidden metrological usefulness, Phys. Rev. Lett. 125, 020402 (2020)
work page 2020
- [20]
-
[21]
M. Gessner, L. Pezzè, and A. Smerzi, Efficient entanglement criteria for discrete, continuous, and hybrid variables, Phys. Rev. A 94, 020101 (2016)
work page 2016
-
[22]
M. Gessner, L. Pezzè, and A. Smerzi, Resolution-enhanced en- tanglement detection, Phys. Rev. A 95, 032326 (2017)
work page 2017
-
[23]
K. C. Tan, V . Narasimhachar, and B. Regula, Fisher information universally identifies quantum resources, Phys. Rev. Lett. 127, 200402 (2021)
work page 2021
-
[24]
E. Chitambar and G. Gour, Quantum resource theories, Rev. Mod. Phys. 91, 025001 (2019)
work page 2019
-
[25]
J. J. Meyer, Fisher Information in Noisy Intermediate-Scale Quantum Applications, Quantum 5, 539 (2021)
work page 2021
-
[26]
F. Albarelli, J. F. Friel, and A. Datta, Evaluating the Holevo Cramér-Rao bound for multiparameter quantum metrology, Phys. Rev. Lett. 123, 200503 (2019)
work page 2019
-
[27]
K. Chabuda, J. Dziarmaga, T. J. Osborne, and R. Demkowicz- Dobrzanski, Tensor-network approach for quantum metrology in many-body quantum systems, Nat. Commun.11, 250 (2020)
work page 2020
-
[28]
M. Gessner, A. Smerzi, and L. Pezzè, Multiparameter squeez- ing for optimal quantum enhancements in sensor networks, Nat. Commun. 11, 3817 (2020)
work page 2020
-
[29]
R. Demkowicz-Dobrza ´nski, W. Górecki, and M. Gu¸ t˘a, Multi- parameter estimation beyond quantum fisher information, J. Phys. A: Math. Theor. 53, 363001 (2020)
work page 2020
-
[30]
M. Zhang, H.-M. Yu, H. Yuan, X. Wang, R. Demkowicz- Dobrza´nski, and J. Liu, QuanEstimation: an open-source toolkit for quantum parameter estimation, arXiv:2205.15588 (2022)
-
[31]
J. J. Meyer, J. Borregaard, and J. Eisert, A variational toolbox for quantum multi-parameter estimation, npj Quantum Inf. 7, 89 (2021)
work page 2021
-
[32]
D. Leibfried, M. Barrett, T. Schaetz, J. Britton, J. Chi- averini, W. Itano, J. Jost, C. Langer, and D. Wineland, Toward heisenberg-limited spectroscopy with multiparticle entangled states, Science 304, 1476 (2004)
work page 2004
-
[33]
M. Napolitano, M. Koschorreck, B. Dubost, N. Behbood, R. Sewell, and M. W. Mitchell, Interaction-based quantum metrology showing scaling beyond the heisenberg limit, Nature (London) 471, 486 (2011)
work page 2011
-
[34]
M. F. Riedel, P. Böhi, Y . Li, T. W. Hänsch, A. Sinatra, and P. Treutlein, Atom-chip-based generation of entanglement for quantum metrology, Nature (London) 464, 1170 (2010)
work page 2010
- [35]
- [36]
-
[37]
R. Krischek, C. Schwemmer, W. Wieczorek, H. Weinfurter, P. Hyllus, L. Pezzé, and A. Smerzi, Useful multiparticle entan- glement and sub-shot-noise sensitivity in experimental phase estimation, Phys. Rev. Lett. 107, 080504 (2011)
work page 2011
-
[38]
H. Strobel, W. Muessel, D. Linnemann, T. Zibold, D. B. Hume, L. Pezzé, A. Smerzi, and M. K. Oberthaler, Fisher information and entanglement of non-Gaussian spin states, Science345, 424 (2014)
work page 2014
-
[39]
Rudolph, Further results on the cross norm criterion for sep- arability, Quant
O. Rudolph, Further results on the cross norm criterion for sep- arability, Quant. Inf. Proc. 4, 219 (2005)
work page 2005
-
[40]
K. Chen and L.-A. Wu, A matrix realignment method for rec- ognizing entanglement, Quant. Inf. Comp. 3, 193 (2003)
work page 2003
-
[41]
R. F. Werner, Quantum states with einstein-podolsky-rosen cor- relations admitting a hidden-variable model, Phys. Rev. A 40, 4277 (1989)
work page 1989
-
[42]
Peres, Separability criterion for density matrices, Phys
A. Peres, Separability criterion for density matrices, Phys. Rev. Lett. 77, 1413 (1996)
work page 1996
-
[43]
M. Horodecki, P. Horodecki, and R. Horodecki, Separability of mixed states: necessary and sufficient conditions, Phys. Lett. A 223, 1 (1996)
work page 1996
-
[44]
P. Horodecki, Separability criterion and inseparable mixed states with positive partial transposition, Phys. Lett. A232, 333 (1997)
work page 1997
-
[45]
M. Horodecki, P. Horodecki, and R. Horodecki, Mixed-state en- tanglement and distillation: Is there a “bound” entanglement in nature?, Phys. Rev. Lett. 80, 5239 (1998)
work page 1998
-
[46]
Helstrom, Quantum Detection and Estimation Theory (Aca- demic Press, New York, 1976)
C. Helstrom, Quantum Detection and Estimation Theory (Aca- demic Press, New York, 1976)
work page 1976
-
[47]
Holevo, Probabilistic and Statistical Aspects of Quantum Theory (North-Holland, Amsterdam, 1982)
A. Holevo, Probabilistic and Statistical Aspects of Quantum Theory (North-Holland, Amsterdam, 1982)
work page 1982
-
[48]
S. L. Braunstein and C. M. Caves, Statistical distance and the geometry of quantum states, Phys. Rev. Lett. 72, 3439 (1994)
work page 1994
-
[49]
Petz, Quantum information theory and quantum statistics (Springer, Berlin, Heilderberg, 2008)
D. Petz, Quantum information theory and quantum statistics (Springer, Berlin, Heilderberg, 2008)
work page 2008
-
[50]
S. L. Braunstein, C. M. Caves, and G. J. Milburn, Generalized uncertainty relations: Theory, examples, and Lorentz invari- ance, Ann. Phys. 247, 135 (1996)
work page 1996
-
[51]
V . Giovannetti, S. Lloyd, and L. Maccone, Quantum-enhanced measurements: Beating the standard quantum limit, Science 306, 1330 (2004)
work page 2004
-
[52]
Quantum limits in optical interferometry
R. Demkowicz-Dobrzanski, M. Jarzyna, and J. Kolodynski, Chapter four - Quantum limits in optical interferometry, Prog. Optics 60, 345 (2015), arXiv:1405.7703
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[53]
Quantum theory of phase estimation
L. Pezze and A. Smerzi, Quantum theory of phase estima- tion, in Atom Interferometry (Proc. Int. School of Physics ’En- rico Fermi’, Course 188, V arenna) , edited by G. Tino and M. Kasevich (IOS Press, Amsterdam, 2014) pp. 691–741, arXiv:1411.5164
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[54]
G. Tóth and I. Apellaniz, Quantum metrology from a quantum information science perspective, J. Phys. A: Math. Theor. 47, 424006 (2014)
work page 2014
- [55]
-
[56]
M. G. A. Paris, Quantum estimation for quantum technology, Int. J. Quant. Inf. 07, 125 (2009). 13
work page 2009
-
[57]
M. Hotta and M. Ozawa, Quantum estimation by local observ- ables, Phys. Rev. A 70, 022327 (2004)
work page 2004
-
[58]
B. M. Escher, Quantum Noise-to-Sensibility Ratio, arXiv:1212.2533 (2012)
work page internal anchor Pith review Pith/arXiv arXiv 2012
- [59]
-
[60]
M. A. Ciampini, N. Spagnolo, C. Vitelli, L. Pezzè, A. Smerzi, and F. Sciarrino, Quantum-enhanced multiparameter estimation in multiarm interferometers, Sci. Rep. 6, 28881 (2016)
work page 2016
- [61]
-
[62]
Lower bounds on the quantum Fisher information based on the variance and various types of entropies
Inequalities similar to Eq. (28), also involving the purity of the state and the variance, can be found at G. Tóth, Lower bounds on the quantum Fisher information based on the variance and various types of entropies, arXiv:1701.07461 (2017)
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[63]
M. Reed and B. Simon, Methods of modern mathematical physics I: Functional analysis (Academic Press, San Diego, 1990)
work page 1990
-
[64]
Rudin, Functional analysis (McGraw-Hill, New York, 1991)
W. Rudin, Functional analysis (McGraw-Hill, New York, 1991)
work page 1991
-
[65]
Konno, Maximization of a convex quadratic function under linear constraints, Math
H. Konno, Maximization of a convex quadratic function under linear constraints, Math. Program. 11, 117 (1976)
work page 1976
-
[66]
Konno, A cutting plane algorithm for solving bilinear pro- grams, Math
H. Konno, A cutting plane algorithm for solving bilinear pro- grams, Math. Program. 11, 14 (1976)
work page 1976
-
[67]
C. A. Floudas and V . Visweswaran, Quadratic optimization, in Handbook of Global Optimization, edited by R. Horst and P. M. Pardalos (Springer US, Boston, MA, 1995) pp. 217–269
work page 1995
-
[68]
L. Vandenberghe and S. Boyd, Semidefinite programming, SIAM Review 38, 49 (1996)
work page 1996
-
[69]
MATLAB, 9.9.0.1524771(R2020b) (The MathWorks Inc., Nat- ick, Massachusetts, 2020)
work page 2020
-
[70]
MOSEK ApS, The MOSEK optimization toolbox for MATLAB manual. V ersion 9.0.(2019)
work page 2019
-
[71]
J. Löfberg, Yalmip : A toolbox for modeling and optimization in matlab, in In Proceedings of the CACSD Conference (Taipei, Taiwan, 2004)
work page 2004
-
[72]
G. Tóth, QUBIT4MATLAB V3.0: A program package for quantum information science and quantum optics for MAT- LAB, Comput. Phys. Commun. 179, 430 (2008)
work page 2008
-
[73]
The actual version of the package QUBIT4MATLAB is available at http://gtoth.eu/qubit4matlab.html
The package QUBIT4MATLAB V5.8 is available at https://es.mathworks.com/matlabcentral/fileexchange/8433- qubit4matlab-v5-8. The actual version of the package QUBIT4MATLAB is available at http://gtoth.eu/qubit4matlab.html
-
[74]
C. H. Bennett, D. P. DiVincenzo, T. Mor, P. W. Shor, J. A. Smolin, and B. M. Terhal, Unextendible product bases and bound entanglement, Phys. Rev. Lett. 82, 5385 (1999)
work page 1999
-
[75]
D. P. DiVincenzo, T. Mor, P. W. Shor, J. A. Smolin, and B. M. Terhal, Unextendible product bases, uncompletable prod- uct bases and bound entanglement, Commun. Math. Phys. 238, 379 (2003)
work page 2003
-
[76]
P. Badzi ˛ ag, K. Horodecki, M. Horodecki, J. Jenkinson, and S. J. Szarek, Bound entangled states with extremal properties, Phys. Rev. A 90, 012301 (2014)
work page 2014
-
[77]
We started from a random initial Hermitian Hamiltonian, where the real and imaginary parts of the elements had a normal dis- tribution with a zero mean and a unit variance, and they were independent from each other, apart from the requirement of the Hermitianity
-
[78]
R. F. Werner and M. M. Wolf, Bell inequalities and entangle- ment, Quantum Inf. Comput. 1, 1 (2001)
work page 2001
-
[79]
R. F. Werner and M. M. Wolf, All-multipartite bell-correlation inequalities for two dichotomic observables per site, Phys. Rev. A 64, 032112 (2001)
work page 2001
-
[80]
Y .-C. Liang and A. C. Doherty, Bounds on quantum correlations in bell-inequality experiments, Phys. Rev. A75, 042103 (2007)
work page 2007
-
[81]
K. F. Pál and T. Vértesi, Maximal violation of a bipartite three- setting, two-outcome bell inequality using infinite-dimensional quantum systems, Phys. Rev. A 82, 022116 (2010)
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.