Upper bounds for Grothendieck constants, quantum correlation matrices
and CCP functions
- URL: http://arxiv.org/abs/2305.04428v1
- Date: Mon, 8 May 2023 02:43:01 GMT
- Title: Upper bounds for Grothendieck constants, quantum correlation matrices
and CCP functions
- Authors: Frank Oertel
- Abstract summary: 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)
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Within the framework of the search for the still unknown exact value of the
real and complex Grothendieck constant $K_G^\mathbb{F}$ in the famous
Grothendieck inequality (unsolved since 1953), where $\mathbb{F}$ denotes
either the real or the complex field, we concentrate our search on their
smallest upper bound. To this end, we establish a basic framework, built on
functions which map correlation matrices to correlation matrices entrywise by
means of the Hadamard product, such as the Krivine function in the real case or
the Haagerup function in the complex case. By making use of multivariate real
and complex Gaussian analysis, higher transcendental functions, integration
over spheres and combinatorics of the inversion of Maclaurin series, we provide
an approach by which we also recover all famous upper bounds of Grothendieck
himself ($K_G^\mathbb{R} \leq \sinh(\pi/2) \approx 2.301$), Krivine
($K_G^\mathbb{R} \leq \frac{\pi}{2 \ln(1 + \sqrt{2})} \approx 1,782$) and
Haagerup ($K_G^\mathbb{C} \leq 1.405$, numerically approximated); each of them
as a special case. In doing so, we aim to unify the real and complex case as
much as possible and apply our results to several concrete examples, including
the Walsh-Hadamard transform (''quantum gate'') and the multivariate Gaussian
copula - with foundations of quantum theory and quantum information theory in
mind. Moreover, we offer a shortening and a simplification of the proof of the
strongest estimation until now; namely that $K_G^\mathbb{R} < \frac{\pi}{2
\ln(1 + \sqrt{2})}$. We summarise our key results in form of an algorithmic
scheme and shed light on related open problems and topics for future research.
Related papers
- KPZ scaling from the Krylov space [83.88591755871734]
Recently, a superdiffusion exhibiting the Kardar-Parisi-Zhang scaling in late-time correlators and autocorrelators has been reported.
Inspired by these results, we explore the KPZ scaling in correlation functions using their realization in the Krylov operator basis.
arXiv Detail & Related papers (2024-06-04T20:57:59Z) - Krylov complexity of density matrix operators [0.0]
Krylov-based measures such as Krylov complexity ($C_K$) and Spread complexity ($C_S$) are gaining prominence.
We investigate their interplay by considering the complexity of states represented by density matrix operators.
arXiv Detail & Related papers (2024-02-14T19:01:02Z) - Efficient Unitary T-designs from Random Sums [0.6640968473398456]
Unitary $T$-designs play an important role in quantum information, with diverse applications in quantum algorithms, benchmarking, tomography, and communication.
We provide a new construction of $T$-designs via random matrix theory using $tildeO(T2 n2)$ quantum gates.
arXiv Detail & Related papers (2024-02-14T17:32:30Z) - Learning a Single Neuron with Adversarial Label Noise via Gradient
Descent [50.659479930171585]
We study a function of the form $mathbfxmapstosigma(mathbfwcdotmathbfx)$ for monotone activations.
The goal of the learner is to output a hypothesis vector $mathbfw$ that $F(mathbbw)=C, epsilon$ with high probability.
arXiv Detail & Related papers (2022-06-17T17:55:43Z) - 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) - Building manifolds from quantum codes [0.0]
We construct the first examples of power law $mathbbZ$ systolic freedom.
We give an efficient randomized algorithm to construct a weakly fundamental cycle basis for a graph.
We use this result to trivialize the fundamental group of the manifold we construct.
arXiv Detail & Related papers (2020-12-03T20:36:50Z) - Finite-Function-Encoding Quantum States [52.77024349608834]
We introduce finite-function-encoding (FFE) states which encode arbitrary $d$-valued logic functions.
We investigate some of their structural properties.
arXiv Detail & Related papers (2020-12-01T13:53:23Z) - On Function Approximation in Reinforcement Learning: Optimism in the
Face of Large State Spaces [208.67848059021915]
We study the exploration-exploitation tradeoff at the core of reinforcement learning.
In particular, we prove that the complexity of the function class $mathcalF$ characterizes the complexity of the function.
Our regret bounds are independent of the number of episodes.
arXiv Detail & Related papers (2020-11-09T18:32:22Z) - Operator complexity: a journey to the edge of Krylov space [0.0]
Krylov complexity, or K-complexity', quantifies this growth with respect to a special basis.
We study the evolution of K-complexity in finite-entropy systems for time scales greater than the scrambling time.
arXiv Detail & Related papers (2020-09-03T18:10:20Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
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.
arXiv Detail & Related papers (2019-09-04T11:46:26Z)
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.