A Constructive Approach to Zauner's Conjecture via the Stark Conjectures
- URL: http://arxiv.org/abs/2501.03970v1
- Date: Tue, 07 Jan 2025 18:16:43 GMT
- Title: A Constructive Approach to Zauner's Conjecture via the Stark Conjectures
- Authors: Marcus Appleby, Steven T Flammia, Gene S Kopp,
- Abstract summary: We present a construction of $d2$ complex equiangular lines in $mathbbCd$, also known as SICPOVMs.
The construction gives a putatively complete list of SICs with Weyl-Heisenberg symmetry in all dimensions d > 3.
We prove that our construction gives a valid SIC in every case assuming two conjectures.
- Score: 0.0
- License:
- Abstract: We propose a construction of $d^2$ complex equiangular lines in $\mathbb{C}^d$, also known as SICPOVMs, which were conjectured by Zauner to exist for all d. The construction gives a putatively complete list of SICs with Weyl-Heisenberg symmetry in all dimensions d > 3. Specifically, we give an explicit expression for an object that we call a ghost SIC, which is constructed from the real multiplication values of a special function and which is Galois conjugate to a SIC. The special function, the Shintani-Faddeev modular cocycle, is a tuple of meromorphic functions indexed by a congruence subgroup of $\mathrm{SL}_2(\mathbb{Z})$. We prove that our construction gives a valid SIC in every case assuming two conjectures: the order 1 abelian Stark conjecture for real quadratic fields and a special value identity for the Shintani-Faddeev modular cocycle. The former allows us to prove that the ghost and the SIC are Galois conjugate over an extension of $\mathbb{Q}(\sqrt{\Delta})$ where $\Delta = (d+1)(d-3)$, while the latter allows us to prove idempotency of the presumptive fiducial projector. We provide computational tests of our SIC construction by cross-validating it with known exact solutions, with the numerical work of Scott and Grassl, and by constructing four numerical examples of inequivalent SICs in d=100, three of which are new. We further consider rank-r generalizations called r-SICs given by equichordal configurations of r-dimensional complex subspaces. We give similar conditional constructions for r-SICs for all r, d such that r(d-r) divides $(d^2-1)$. Finally, we study the structure of the field extensions conjecturally generated by the r-SICs. If $K$ is any real quadratic field, then either every abelian Galois extension of $K$, or else every abelian extension for which 2 is unramified, is generated by our construction; the former holds for a positive density of field discriminants.
Related papers
- SIC-POVMs and orders of real quadratic fields [0.0]
We show known data on the structure and classification of Weyl--Heisenberg SICs in low dimensions.
We conjecture Galois multiplets of SICs are in one-to-one correspondence with the over-orders $mathcalO_Delta$.
We refine the class field hypothesis of Appleby, Flammia, McConnell, and Yard to predict the exact class field over $mathbbQ(sqrt(d+1)(d-3))$ generated by the ratios of vector entries for the equiangular lines defining a
arXiv Detail & Related papers (2024-07-10T21:05:23Z) - Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
We show how to reduce the geometry of degenerate states to the non-abelian connection $A$.
We find independent invariants associated with each triple of subspaces.
Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
arXiv Detail & Related papers (2024-04-04T06:39:28Z) - SICs and the Triangle Group $(3,3,3)$ [0.0]
We show that order-three unitaries appear in projective unitary representations of the triangle group $ (3,3,3)$.
In particular, we present an alternative way of proving the fact that any canonical order-three unitary is conjugate to Zauner's unitary if the dimension $d>3$ is prime.
arXiv Detail & Related papers (2023-12-20T20:04:39Z) - Quantum Current and Holographic Categorical Symmetry [62.07387569558919]
A quantum current is defined as symmetric operators that can transport symmetry charges over an arbitrary long distance.
The condition for quantum currents to be superconducting is also specified, which corresponds to condensation of anyons in one higher dimension.
arXiv Detail & Related papers (2023-05-22T11:00:25Z) - Upper bounds for Grothendieck constants, quantum correlation matrices and CCP functions [0.0]
We search for the still unknown exact value of the real and complex Grothendieck constant $K_GmathbbF$ in the famous Grothendieck inequality (unsolved since 1953)
We also recover all famous upper bounds of Grothendieck himself ($K_GmathbbR leq sinh(pi/2) approx 2.301$), Krivine ($K_GmathbbR leq fracpi2 ln (1 + sqrt2)
arXiv Detail & Related papers (2023-05-08T02:43:01Z) - Deep Learning Symmetries and Their Lie Groups, Algebras, and Subalgebras
from First Principles [55.41644538483948]
We design a deep-learning algorithm for the discovery and identification of the continuous group of symmetries present in a labeled dataset.
We use fully connected neural networks to model the transformations symmetry and the corresponding generators.
Our study also opens the door for using a machine learning approach in the mathematical study of Lie groups and their properties.
arXiv Detail & Related papers (2023-01-13T16:25:25Z) - A New Look at the $C^{0}$-formulation of the Strong Cosmic Censorship
Conjecture [68.8204255655161]
We argue that for generic black hole parameters as initial conditions for Einstein equations, the metric is $C0$-extendable to a larger Lorentzian manifold.
We prove it violates the "complexity=volume" conjecture for a low-temperature hyperbolic AdS$_d+1$ black hole dual to a CFT living on a ($d-1$)-dimensional hyperboloid $H_d-1$.
arXiv Detail & Related papers (2022-06-17T12:14:33Z) - On symbol correspondences for quark systems [0.0]
We present the characterization of symbol correspondences for mechanical systems that are symmetric under $SU(3)$.
In the first case, we refer to pure quark systems and the characterization of their correspondences is given in terms of characteristic numbers.
In the second case, we refer to generic quark systems and the characterization of their correspondences is given in terms of characteristic matrices.
arXiv Detail & Related papers (2022-03-01T18:12:54Z) - Annihilating Entanglement Between Cones [77.34726150561087]
We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied.
Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
arXiv Detail & Related papers (2021-10-22T15:02:39Z) - Polynomial algebras from $su(3)$ and the generic model on the two sphere [0.0]
Construction of superintegrable systems based on Lie algebras have been introduced over the years.
This is also the case for the construction of their related symmetry algebra which take usually the form of a finitely generated quadratic algebra.
We develop a new approach reexamining the case of the generic superintegrable systems on the 2-sphere.
arXiv Detail & Related papers (2020-07-22T02:20:10Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares.
Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
arXiv Detail & Related papers (2019-09-04T11:46:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.