Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1607.04528 · Journal of Physics A Mathematical and Theoretical

Equiangular tight frames and unistochastic matrices

Dardo Goyeneche, Ondřej Turek

Published Apr 20, 2017• 10 citations
arXivHTMLPDF

Abstract

Abstract We demonstrate that a complex equiangular tight frame composed of N vectors in dimension d , denoted ETF ( d , N ), exists if and only if a certain bistochastic matrix, univocally determined by N and d , belongs to a special class of unistochastic matrices. This connection allows us to find new complex ETFs in infinitely many dimensions and to derive a method to introduce non-trivial free parameters in ETFs. We present an explicit six-parametric family of complex ETF(6,16), which defines a family of symmetric POVMs. Minimal and maximal possible average entanglement of the vectors within this qubit–qutrit family are described. Furthermore, we propose an efficient numerical procedure to compute the unitary matrix underlying a unistochastic matrix, which we apply to find all existing classes of complex ETFs containing up to 20 vectors.

DOI
10.1088/1751-8121/aa6e16

Related papers

Equiangular tight frames and k-weighing matrices

Dardo Goyeneche, Ondřej Turek

We introduce the concept of $k$-weighing matrices, i.e., matrices having orthogonal columns and entries taken from the set $\{k,\mathbb{T}^1\}$, where $\mathbb{T}^1$ is the torus of unimodular complex numbers. We demonstrate that a subset of these matrices is one-to-one connected with complex equiangular tight frames (ETF). As a consequence, we prove the existence of a large number of inequivalent real and complex ETF composed by $N$ vectors in dimension $(N-\sqrt{N})/2$ for every square number $N$, and derive new integrality restrictions for unital complex ETF. In particular, some integrality restrictions hold for Symmetric Informationally Complete Positive Operator Valued Measure (SIC-POVM), which have important applications to quantum information theory.

•Jul 15, 2016•0 citations

Separability criteria and entanglement witnesses from mutually unbiased equiangular tight frames

Alexey E. Rastegin

Abstract Methods of quantum information processing often appear in terms of specially selected states. For example, mutually unbiased bases (MUBs) and symmetric informationally complete measurements are widely applied. Finite frames have found use in many areas including quantum information. Due to its specific inner structure, a single equiangular tight frame (ETF) allows one to formulate criteria to detect non-classical correlations. This study aims to approach entanglement detection with the use of mutually unbiased ETFs. Such frames are an interesting generalization of widely recognized MUBs. It still uses rank-one operators, but the number of outcomes can exceed the dimensionality. Several approaches are considered including separability criteria and entanglement witnesses. Separability criteria for multipartite systems are finally obtained.

Communications in Theoretical Physics•Sep 24, 2025•4 citations

Tight frames, Hadamard matrices and Zauner’s conjecture

Marcus Appleby, Ingemar Bengtsson, Steven T. Flammia +1 more

Abstract We show that naturally associated to a SIC (symmetric informationally complete positive operator valued measure or SIC-POVM) in dimension d there are a number of higher dimensional structures: specifically a projector and complex Hadamard matrix in dimension d 2 , and a pair of ETFs (equiangular tight frames) in dimensions . We also show that a WH (Weyl–Heisenberg covariant) SIC in odd dimension d is naturally associated to a pair of symmetric tight fusion frames in dimension d . We deduce two relaxations of the WH SIC existence problem. We also find a reformulation of the problem in which the number of equations is fewer than the number of variables. Finally, we show that in at least four cases the structures associated to a SIC lie on continuous manifolds of such structures. In two of these cases the manifolds are non-linear. Restricted defect calculations are consistent with this being true for the structures associated to every known SIC with d between 3 and 16, suggesting it may be true for all .

arXiv:1903.06721•Journal of Physics A Mathematical and Theoretical•May 30, 2019•34 citations

Dimension towers of SICS: II. Some constructions

Ingemar Bengtsson, Basudha Srivastava

Abstract A SIC is a maximal equiangular tight frame in a finite dimensional Hilbert space. Given a SIC in dimension d, there is good evidence that there always exists an aligned SIC in dimension d(d − 2), having predictable symmetries and smaller equiangular tight frames embedded in them. We provide a recipe for how to calculate sets of vectors in dimension d(d − 2) that share these properties. They consist of maximally entangled vectors in certain subspaces defined by the numbers entering the d dimensional SIC. However, the construction contains free parameters and we have not proven that they can always be chosen so that one of these sets of vectors is a SIC. We give some worked examples that, we hope, may suggest to the reader how our construction can be improved. For simplicity we restrict ourselves to the case of odd dimensions.

arXiv:2202.00600•Journal of Physics A Mathematical and Theoretical•Apr 4, 2022•0 citations

Towards a classification of incomplete Gabor POVMs in ℂ d

Assaf Goldberger, Shujie Kang, Kasso A. Okoudjou

Every (full) finite Gabor system generated by a unit-norm vector g∈Cd is a finite unit-norm tight frame (FUNTF) and can thus be associated with a (Gabor) positive operator valued measure (POVM). Such a POVM is informationally complete if the d2 corresponding rank 1 matrices form a basis for the space of d×d matrices. A sufficient condition for this to happen is that the POVM is symmetric, which is equivalent to the fact that the associated Gabor frame is an equiangular tight frame (ETF). The existence of Gabor ETF is an important special case of the Zauner conjecture. It is known that generically all Gabor FUNTFs lead to informationally complete POVMs. In this paper, we initiate a classification of non-complete Gabor POVMs. In the process, we establish some seemingly simple facts about the eigenvalues of the Gram matrix of the rank 1 matrices generated by a finite Gabor frame. We also use these results to construct some sets of d2 unit vectors in Cd with a relatively smaller number of distinct inner products.

Linear and Multilinear Algebra•Nov 11, 2021•2 citations

Robust Hadamard Matrices, Unistochastic Rays in Birkhoff Polytope and Equi-Entangled Bases in Composite Spaces

Grzegorz Rajchel-Mieldzioć, Adam Gąsiorowski, Karol Życzkowski

We study a special class of (real or complex) robust Hadamard matrices, distinguished by the property that their projection onto a 2-dimensional subspace forms a Hadamard matrix. It is shown that such a matrix of order n exists, if there exists a skew Hadamard matrix or a symmetric conference matrix of this size. This is the case for any even $$n\le 20$$ , and for these dimensions we demonstrate that a bistochastic matrix B located at any ray of the Birkhoff polytope, (which joins the center of this body with any permutation matrix), is unistochastic. An explicit form of the corresponding unitary matrix U, such that $$B_{ij}=|U_{ij}|^2$$ , is determined by a robust Hadamard matrix. These unitary matrices allow us to construct a family of orthogonal bases in the composed Hilbert space of order $$n \times n$$ . Each basis consists of vectors with the same degree of entanglement and the constructed family interpolates between the product basis and the maximally entangled basis. In the case $$n=4$$ we study geometry of the set $${\mathcal U}_4$$ of unistochastic matrices, conjecture that this set is star-shaped and estimate its relative volume in the Birkhoff polytope $${\mathcal B}_4$$ .

arXiv:1804.10715•Mathematics in Computer Science•Sep 19, 2018•9 citations
Abstract We demonstrate that a complex equiangular tight frame composed of N vectors in dimension d , denoted ETF ( d , N ), exists if and only if a certain bistochastic matrix, univocally determined by N and d , belongs to a special class of unistochastic matrices. This connection allows us to find new complex ETFs in infinitely many dimensions and to derive a method to introduce non-trivial free parameters in ETFs. We present an explicit six-parametric family of complex ETF(6,16), which defines a family of symmetric POVMs. Minimal and maximal possible average entanglement of the vectors within this qubit–qutrit family are described. Furthermore, we propose an efficient numerical procedure to compute the unitary matrix underlying a unistochastic matrix, which we apply to find all existing classes of complex ETFs containing up to 20 vectors.
We introduce the concept of kkk-weighing matrices, i.e., matrices having orthogonal columns and entries taken from the set {k,T1}\{k,\mathbb{T}^1\}{k,T1}, where T1\mathbb{T}^1T1 is the torus of unimodular complex numbers. We demonstrate that a subset of these matrices is one-to-one connected with complex equiangular tight frames (ETF). As a consequence, we prove the existence of a large number of inequivalent real and complex ETF composed by NNN vectors in dimension (N−N)/2(N-\sqrt{N})/2(N−N​)/2 for every square number NNN, and derive new integrality restrictions for unital complex ETF. In particular, some integrality restrictions hold for Symmetric Informationally Complete Positive Operator Valued Measure (SIC-POVM), which have important applications to quantum information theory.
Abstract Methods of quantum information processing often appear in terms of specially selected states. For example, mutually unbiased bases (MUBs) and symmetric informationally complete measurements are widely applied. Finite frames have found use in many areas including quantum information. Due to its specific inner structure, a single equiangular tight frame (ETF) allows one to formulate criteria to detect non-classical correlations. This study aims to approach entanglement detection with the use of mutually unbiased ETFs. Such frames are an interesting generalization of widely recognized MUBs. It still uses rank-one operators, but the number of outcomes can exceed the dimensionality. Several approaches are considered including separability criteria and entanglement witnesses. Separability criteria for multipartite systems are finally obtained.
Abstract We show that naturally associated to a SIC (symmetric informationally complete positive operator valued measure or SIC-POVM) in dimension d there are a number of higher dimensional structures: specifically a projector and complex Hadamard matrix in dimension d 2 , and a pair of ETFs (equiangular tight frames) in dimensions . We also show that a WH (Weyl–Heisenberg covariant) SIC in odd dimension d is naturally associated to a pair of symmetric tight fusion frames in dimension d . We deduce two relaxations of the WH SIC existence problem. We also find a reformulation of the problem in which the number of equations is fewer than the number of variables. Finally, we show that in at least four cases the structures associated to a SIC lie on continuous manifolds of such structures. In two of these cases the manifolds are non-linear. Restricted defect calculations are consistent with this being true for the structures associated to every known SIC with d between 3 and 16, suggesting it may be true for all .
Abstract A SIC is a maximal equiangular tight frame in a finite dimensional Hilbert space. Given a SIC in dimension d, there is good evidence that there always exists an aligned SIC in dimension d(d − 2), having predictable symmetries and smaller equiangular tight frames embedded in them. We provide a recipe for how to calculate sets of vectors in dimension d(d − 2) that share these properties. They consist of maximally entangled vectors in certain subspaces defined by the numbers entering the d dimensional SIC. However, the construction contains free parameters and we have not proven that they can always be chosen so that one of these sets of vectors is a SIC. We give some worked examples that, we hope, may suggest to the reader how our construction can be improved. For simplicity we restrict ourselves to the case of odd dimensions.
Every (full) finite Gabor system generated by a unit-norm vector g∈Cd is a finite unit-norm tight frame (FUNTF) and can thus be associated with a (Gabor) positive operator valued measure (POVM). Such a POVM is informationally complete if the d2 corresponding rank 1 matrices form a basis for the space of d×d matrices. A sufficient condition for this to happen is that the POVM is symmetric, which is equivalent to the fact that the associated Gabor frame is an equiangular tight frame (ETF). The existence of Gabor ETF is an important special case of the Zauner conjecture. It is known that generically all Gabor FUNTFs lead to informationally complete POVMs. In this paper, we initiate a classification of non-complete Gabor POVMs. In the process, we establish some seemingly simple facts about the eigenvalues of the Gram matrix of the rank 1 matrices generated by a finite Gabor frame. We also use these results to construct some sets of d2 unit vectors in Cd with a relatively smaller number of distinct inner products.
We study a special class of (real or complex) robust Hadamard matrices, distinguished by the property that their projection onto a 2-dimensional subspace forms a Hadamard matrix. It is shown that such a matrix of order n exists, if there exists a skew Hadamard matrix or a symmetric conference matrix of this size. This is the case for any even n≤20n\le 20n≤20 , and for these dimensions we demonstrate that a bistochastic matrix B located at any ray of the Birkhoff polytope, (which joins the center of this body with any permutation matrix), is unistochastic. An explicit form of the corresponding unitary matrix U, such that Bij=∣Uij∣2B_{ij}=|U_{ij}|^2Bij​=∣Uij​∣2 , is determined by a robust Hadamard matrix. These unitary matrices allow us to construct a family of orthogonal bases in the composed Hilbert space of order n×nn \times nn×n . Each basis consists of vectors with the same degree of entanglement and the constructed family interpolates between the product basis and the maximally entangled basis. In the case n=4n=4n=4 we study geometry of the set U4{\mathcal U}_4U4​ of unistochastic matrices, conjecture that this set is star-shaped and estimate its relative volume in the Birkhoff polytope B4{\mathcal B}_4B4​ .