Grothendieck bound in a single quantum system

TL;DR

This paper explores the application of Grothendieck's bound within a single quantum system, reformulating the theorem for quantum quantities and identifying conditions under which quantum quadratic forms exceed classical limits.

Contribution

It reformulates Grothendieck's theorem for quantum systems using matrices and provides conditions and examples where quantum quadratic forms surpass classical bounds.

Findings

Quantum quadratic forms can exceed classical bounds in the Grothendieck region.

Necessary conditions for quantum forms to reach the Grothendieck region are identified.

Examples with 6 and 12-dimensional systems demonstrate the quantum forms entering the Grothendieck region.

Abstract

Grothendieck's bound is used in the context of a single quantum system, in contrast to previous work which used it for multipartite entangled systems and the violation of Bell-like inequalities. Roughly speaking the Grothendieck theorem considers a `classical' quadratic form ${\cal C}$ that uses complex numbers in the unit disc, and takes values less than $1$. It then proves that if the complex numbers are replaced with vectors in the unit ball of the Hilbert space, then the `quantum' quadratic form ${\cal Q}$ might take values greater than $1$, up to the complex Grothendieck constant $k_G$. The Grothendieck theorem is reformulated here in terms of arbitrary matrices (which are multiplied with appropriate normalisation prefactors), so that it is directly applicable to quantum quantities. The emphasis in the paper is in the `Grothendieck region' $(1,k_G)$, which is a classically forbidden region in the sense that ${\cal C}$ cannot take values in it. Necessary (but not sufficient) conditions for ${\cal Q}$ taking values in the Grothendieck region are given. Two examples that involve physical quantities in systems with $6$ and $12$-dimensional Hilbert space, are shown to lead to ${\cal Q}$ in the Grothendieck region $(1,k_G)$. They involve projectors of the overlaps of novel generalised coherent states that resolve the identity and have a discrete isotropy.