A synchronous NPA hierarchy with applications

We present an adaptation of the NPA hierarchy to the setting of synchronous correlation matrices. Our adaptation improves upon the original NPA hierarchy by using smaller certificates and fewer constraints, although it can only be applied to certify synchronous correlations. We recover characterizations for the sets of synchronous quantum commuting and synchronous quantum correlations. For applications, we show that the existence of symmetric informationally complete positive operator-valued measures and maximal sets of mutually unbiased bases can be verified or invalidated with only two certificates of our adapted NPA hierarchy.

[1]  Romeo Brunetti,et al.  Algebraic approach to Quantum Field Theory , 2004 .

[2]  T. Fritz.  TSIRELSON'S PROBLEM AND KIRCHBERG'S CONJECTURE , 2010, 1008.1168.

[3]  B. S. Cirel'son.  Quantum generalizations of Bell's inequality , 1980 .

[4]  Samuel J. Harris.  Unitary Correlation Sets and their Applications , 2019 .

[5]  M. Junge,et al.  Connes' embedding problem and Tsirelson's problem , 2010, 1008.1142.

[6]  William Slofstra,et al.  The membership problem for constant-sized quantum correlations is undecidable , 2021, ArXiv.

[7]  A. Connes,et al.  Classification of Injective Factors Cases II 1 , II ∞ , III λ , λ 1 , 1976 .

[8]  Narutaka Ozawa,et al.  About the Connes Embedding Conjecture---Algebraic approaches--- , 2012, 1212.1700.

[9]  Antonios Varvitsiotis,et al.  Characterising the correlations of prepare-and-measure quantum networks , 2018, npj Quantum Information.

[10]  J. Conway.  A course in operator theory , 1999 .

[11]  A. Shimony,et al.  Proposed Experiment to Test Local Hidden Variable Theories. , 1969 .

[12]  Umesh V. Vazirani,et al.  Fully device independent quantum key distribution , 2012, Commun. ACM.

[13]  Christopher A. Fuchs,et al.  The SIC Question: History and State of Play , 2017, Axioms.

[14]  P. Raynal,et al.  Mutually unbiased bases in six dimensions: The four most distant bases , 2011, Physical Review A.

[15]  A. Acín,et al.  A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations , 2008, 0803.4290.

[16]  Simone Severini,et al.  Estimating quantum chromatic numbers , 2014, 1407.6918.

[17]  Mikael Rørdam,et al.  Non-closure of Quantum Correlation Matrices and Factorizable Channels that Require Infinite Dimensional Ancilla (With an Appendix by Narutaka Ozawa) , 2018, Communications in Mathematical Physics.