arXiv:1905.09737 · Journal of Physics A Mathematical and Theoretical

Aligned SICs and embedded tight frames in even dimensions

Ole Sönnerborn, Irina Dumitru

Published Sep 10, 2019• 8 citations

Abstract

Abstract Alignment is a geometric relation between pairs of Weyl–Heisenberg SICs, one in dimension d and another in dimension , manifesting a well-founded conjecture about a number-theoretical connection between the SICs. In this paper, we prove that if d is even, the SIC in dimension of an aligned pair can be partitioned into (d − 2)2 tight d 2-frames of rank and, alternatively, into d 2 tight (d − 2)2-frames of rank . The corresponding result for odd d is already known, but the proof for odd d relies on results which are not available for even d. We develop methods that allow us to overcome this issue. In addition, we provide a relatively detailed study of parity operators in the Clifford group, emphasizing differences in the theory of parity operators in even and odd dimensions and discussing consequences due to such differences. In a final section, we study implications of alignment for the symmetry of the SIC.

DOI: 10.1088/1751-8121/ab434e

Related papers

Dimension towers of SICs. I. Aligned SICs and embedded tight frames

Marcus Appleby, Ingemar Bengtsson, Irina Dumitru +1 more

Algebraic number theory relates SIC-POVMs in dimension d > 3 to those in dimension d(d − 2). We define a SIC in dimension d(d − 2) to be aligned to a SIC in dimension d if and only if the squares of the overlap phases in dimension d appear as a subset of the overlap phases in dimension d(d − 2) in a specified way. We give 19 (mostly numerical) examples of aligned SICs. We conjecture that given any SIC in dimension d, there exists an aligned SIC in dimension d(d − 2). In all our examples, the aligned SIC has lower dimensional equiangular tight frames embedded in it. If d is odd so that a natural tensor product structure exists, we prove that the individual vectors in the aligned SIC have a very special entanglement structure, and the existence of the embedded tight frames follows as a theorem. If d − 2 is an odd prime number, we prove that a complete set of mutually unbiased bases can be obtained by reducing an aligned SIC to this dimension.

arXiv:1707.09911Journal of Mathematical PhysicsNov 1, 201721 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.06721Journal of Physics A Mathematical and TheoreticalMay 30, 201934 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.00600Journal of Physics A Mathematical and TheoreticalApr 4, 20220 citations

SIC POVMs and Clifford groups in prime dimensions

Huangjun Zhu

We show that in prime dimensions not equal to 3, each group covariant symmetric informationally complete positive operator valued measure (SIC POVM) is covariant with respect to a unique Heisenberg–Weyl (HW) group. Moreover, the symmetry group of the SIC POVM is a subgroup of the Clifford group. Hence, two SIC POVMs covariant with respect to the HW group are unitarily or antiunitarily equivalent if and only if they are on the same orbit of the extended Clifford group. In dimension 3, each group covariant SIC POVM may be covariant with respect to three or nine HW groups, and the symmetry group of the SIC POVM is a subgroup of at least one of the Clifford groups of these HW groups, respectively. There may exist two or three orbits of equivalent SIC POVMs for each group covariant SIC POVM, depending on the order of its symmetry group. We then establish a complete equivalence relation among group covariant SIC POVMs in dimension 3, and classify inequivalent ones according to the geometric phases associated with fiducial vectors. Finally, we uncover additional SIC POVMs by regrouping of the fiducial vectors from different SIC POVMs which may or may not be on the same orbit of the extended Clifford group.

arXiv:1003.3591Journal of Physics A Mathematical and TheoreticalJun 29, 201095 citations

SICs: Some Explanations

Ingemar Bengtsson

Abstract The problem of constructing maximal equiangular tight frames or SICs was raised by Zauner in 1998. Four years ago it was realized that the problem is closely connected to a major open problem in number theory. We discuss why such a connection was perhaps to be expected, and give a simplified sketch of some developments that have taken place in the past 4 years. The aim, so far unfulfilled, is to prove existence of SICs in an infinite sequence of dimensions.

arXiv:2004.08241Foundations of PhysicsApr 9, 202022 citations

3 Linear Dependencies in Weyl-Heisenberg Orbits

Hoan Bui Dang, Kate Blanchfield, Ingemar Bengtsson

Five years ago, Lane Hughston showed that some of the symmetric informationally complete positive operator valued measures (SICs) in dimension 3 coincide with the Hesse configuration (a structure well known to algebraic geometers, which arises from the torsion points of a certain elliptic curve). This connection with elliptic curves is signalled by the presence of linear dependencies among the SIC vectors. Here we look for analogous connections between SICs and algebraic geometry by performing computer searches for linear dependencies in higher dimensional SICs. We prove that linear dependencies will always emerge in Weyl–Heisenberg orbits when the fiducial vector lies in a certain subspace of an order 3 unitary matrix. This includes SICs when the dimension is divisible by 3 or equal to 8 mod 9. We examine the linear dependencies in dimension 6 in detail and show that smaller dimensional SICs are contained within this structure, potentially impacting the SIC existence problem. We extend our results to look for linear dependencies in orbits when the fiducial vector lies in an eigenspace of other elements of the Clifford group that are not order 3. Finally, we align our work with recent studies on representations of the Clifford group.

Aug 17, 201618 citations