A refinement of Reznick's Positivstellensatz with applications to
quantum information theory
- URL: http://arxiv.org/abs/1909.01705v4
- Date: Mon, 5 Jun 2023 07:08:36 GMT
- Title: A refinement of Reznick's Positivstellensatz with applications to
quantum information theory
- Authors: Alexander M\"uller-Hermes and Ion Nechita and David Reeb
- Abstract summary: In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares.
Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
- Score: 72.8349503901712
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In his solution of Hilbert's 17th problem Artin showed that any positive
definite polynomial in several variables can be written as the quotient of two
sums of squares. Later Reznick showed that the denominator in Artin's result
can always be chosen as an $N$-th power of the squared norm of the variables
and gave explicit bounds on $N$. By using concepts from quantum information
theory (such as partial traces, optimal cloning maps, and an identity due to
Chiribella) we give simpler proofs and minor improvements of both real and
complex versions of this result. Moreover, we discuss constructions of Hilbert
identities using Gaussian integrals and we review an elementary method to
construct complex spherical designs. Finally, we apply our results to give
improved bounds for exponential quantum de Finetti theorems in the real and in
the complex setting.
Related papers
- A unified approach to quantum de Finetti theorems and SoS rounding via geometric quantization [0.0]
We study a connection between a Hermitian version of the SoS hierarchy, related to the quantum de Finetti theorem.
We show that previously known HSoS rounding algorithms can be recast as quantizing an objective function.
arXiv Detail & Related papers (2024-11-06T17:09:28Z) - Quantum channels, complex Stiefel manifolds, and optimization [45.9982965995401]
We establish a continuity relation between the topological space of quantum channels and the quotient of the complex Stiefel manifold.
The established relation can be applied to various quantum optimization problems.
arXiv Detail & Related papers (2024-08-19T09:15:54Z) - Gaussian Entanglement Measure: Applications to Multipartite Entanglement
of Graph States and Bosonic Field Theory [50.24983453990065]
An entanglement measure based on the Fubini-Study metric has been recently introduced by Cocchiarella and co-workers.
We present the Gaussian Entanglement Measure (GEM), a generalization of geometric entanglement measure for multimode Gaussian states.
By providing a computable multipartite entanglement measure for systems with a large number of degrees of freedom, we show that our definition can be used to obtain insights into a free bosonic field theory.
arXiv Detail & Related papers (2024-01-31T15:50:50Z) - Covering Number of Real Algebraic Varieties and Beyond: Improved Bounds and Applications [8.438718130535296]
We prove upper bounds on the covering number of sets in Euclidean space.
We show that bounds improve the best known general bound by Yomdin-Comte.
We illustrate the power of the result on three computational applications.
arXiv Detail & Related papers (2023-11-09T03:06:59Z) - Upper bounds for Grothendieck constants, quantum correlation matrices
and CCP functions [0.0]
We search for the still unknown exact value of the real and complex Grothendieck constant $K_GmathbbF$ in the famous Grothendieck inequality (unsolved since 1953)
We also recover all famous upper bounds of Grothendieck himself ($K_GmathbbR leq sinh(pi/2) approx 2.301$), Krivine ($K_GmathbbR leq fracpi2 ln (1 + sqrt2)
arXiv Detail & Related papers (2023-05-08T02:43:01Z) - Positive maps and entanglement in real Hilbert spaces [5.926203312586108]
We study positive maps acting on a full matrix algebra over the reals.
We provide a necessary and sufficient condition for a real map to admit a positive complexification.
We show that the original PPT-squared conjecture implies a different conjecture for real maps.
arXiv Detail & Related papers (2022-07-06T08:25:55Z) - Genuine multipartite entanglement and quantum coherence in an
electron-positron system: Relativistic covariance [117.44028458220427]
We analyze the behavior of both genuine multipartite entanglement and quantum coherence under Lorentz boosts.
A given combination of these quantum resources is shown to form a Lorentz invariant.
arXiv Detail & Related papers (2021-11-26T17:22:59Z) - Annihilating Entanglement Between Cones [77.34726150561087]
We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied.
Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
arXiv Detail & Related papers (2021-10-22T15:02:39Z) - Hilbert Spaces of Entire Functions and Toeplitz Quantization of
Euclidean Planes [0.0]
We extend the theory of Toeplitz quantization to include diverse and interesting non-commutative realizations of the classical Euclidean plane.
The Toeplitz operators are geometrically constructed as special elements from this algebra.
Various illustrative examples are computed.
arXiv Detail & Related papers (2021-05-18T09:52:48Z) - Entanglement and Complexity of Purification in (1+1)-dimensional free
Conformal Field Theories [55.53519491066413]
We find pure states in an enlarged Hilbert space that encode the mixed state of a quantum field theory as a partial trace.
We analyze these quantities for two intervals in the vacuum of free bosonic and Ising conformal field theories.
arXiv Detail & Related papers (2020-09-24T18:00:13Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.