Quantum magic squares: dilations and their limitations

DOI10.1063/5.0022344MaRDI QIDQ5141127zbMATH OpenOpenAlexFDO

Authors Gemma De las Cuevas, Tom Drescher, Tim Netzer

Publication date 17 December 2020

Published in Journal of Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.07332

zbMATH Keywords

Birkhoff-von Neumann theoremquantum permutation matrixspectrahedron of quantum magic squares

Mathematics Subject Classification ID

Quantum computation (81P68) Orthogonal arrays, Latin squares, Room squares (05B15) Combinatorial aspects of matrices (incidence, Hadamard, etc.) (05B20) Stochastic matrices (15B51) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Abstract: Quantum permutation matrices and quantum magic squares are generalizations of permutation matrices and magic squares, where the entries are no longer numbers but elements from arbitrary (non-commutative) algebras. The famous Birkhoff--von Neumann Theorem characterizes magic squares as convex combinations of permutation matrices. In the non-commutative case, the corresponding question is: Does every quantum magic square belong to the matrix convex hull of quantum permutation matrices? That is, does every quantum magic square dilate to a quantum permutation matrix? Here we show that this is false even in the simplest non-commutative case. We also classify the quantum magic squares that dilate to a quantum permutation matrix with commuting entries, and prove a quantitative lower bound on the diameter of this set. Finally, we conclude that not all Arveson extreme points of the free spectrahedron of quantum magic squares are quantum permutation matrices.

Recommendations

• Magic squares: Latin, semiclassical, and quantum
• The magic of universal quantum computing with permutations
• Quantum groups and Hadamard matrices
• Representations of quantum permutation algebras
• Quantum permutations, Hadamard matrices, and the search for matrix models

Cites work

• scientific article; zbMATH DE number 1849957 (Why is no real title available?)
• scientific article; zbMATH DE number 1860211 (Why is no real title available?)
• scientific article; zbMATH DE number 3256177 (Why is no real title available?)
• Arveson extreme points span free spectrahedra
• Convex combinations of projections
• Factorization and dilation problems for completely positive maps on von Neumann algebras
• Lectures on Polytopes
• Matrix convexity: Operator analogues of the bipolar and Hahn-Banach theorems
• Nonlocal games and quantum permutation groups
• On Birkhoff's theorem for doubly stochastic completely positive maps of matrix algebras
• Quantum and non-signalling graph isomorphisms
• Quantum permutation groups: a survey
• Some applications of doubly stochastic matrices
• Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization
• Unital quantum channels - convex structure and revivals of Birkhoff's theorem

Cited in

(10)

• Quantum advantage through the magic pentagram problem
• Quantum version of Euler's problem: a geometric perspective
• Birkhoff–von Neumann's theorem, doubly normalized tensors, and joint measurability
• Discrete dynamics in the set of quantum measurements
• Quantum hypergraph homomorphisms and non-local games
• Quantifying magic for multi-qubit operations
• Magic squares: Latin, semiclassical, and quantum
• Matrix extreme points and free extreme points of free spectrahedra
• Polytope compatibility—From quantum measurements to magic squares
• Free extreme points span generalized free spectrahedra given by compact coefficients

This page was built for publication: Quantum magic squares: dilations and their limitations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5141127)