Symplectic Zauner's Conjecture

• Symplectic Zauner’s Conjecture is the assertion that every Weyl–Heisenberg covariant SIC fiducial can be chosen to exhibit a canonical order-3 symplectic symmetry, thereby strengthening the standard SIC existence framework.
• It integrates classical SIC conditions with additional symmetry constraints that reduce the effective search space and connect the problem to advanced topics in algebraic number theory, including Stark conjectures.
• The conjecture spans multiple research directions—from biangular Gabor frames and relaxed ETF structures to a real symplectic analogue linked with skew Hadamard matrices—highlighting its broad mathematical significance.

Symplectic Zauner’s Conjecture most commonly denotes the strengthened Weyl–Heisenberg formulation of Zauner’s SIC conjecture: for every finite dimension $d$, there should exist a Weyl–Heisenberg covariant SIC fiducial $|\psi\rangle \in \mathbb C^d$ such that $U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$ for a canonical order-3 symplectic matrix $F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$. In this form, the conjecture is stronger than mere SIC existence, because it requires a specific symplectic symmetry in addition to the SIC overlap equations. A distinct recent literature uses the same name for a real symplectic equiangular tight frame existence problem, where equiangularity is measured by a skew-symmetric bilinear form and the maximal sizes are $n=d$ or $n=d+1$ rather than $d^2$ (Magsino et al., 2019, Appleby et al., 7 Jan 2025, Fallon, 17 Sep 2025).

1. Classical SIC and Weyl–Heisenberg formulations

Zauner’s original conjecture asserts that for each integer $d \ge 2$ there exists a symmetric informationally complete POVM, equivalently an equiangular tight frame of $N=d^2$ unit vectors in $\mathbb C^d$. Concretely, one seeks unit vectors $|\psi\rangle \in \mathbb C^d$0 satisfying

$|\psi\rangle \in \mathbb C^d$1

or, for the rank-1 projectors $|\psi\rangle \in \mathbb C^d$2,

$|\psi\rangle \in \mathbb C^d$3

In frame-theoretic language this is the $|\psi\rangle \in \mathbb C^d$4 case of an ETF, where the coherence is $|\psi\rangle \in \mathbb C^d$5 (Magsino et al., 2019).

The Weyl–Heisenberg covariant form replaces an arbitrary $|\psi\rangle \in \mathbb C^d$6-tuple by the orbit of a single fiducial under discrete displacement operators. In the standard computational basis,

$|\psi\rangle \in \mathbb C^d$7

and with $|\psi\rangle \in \mathbb C^d$8 one defines

$|\psi\rangle \in \mathbb C^d$9

A WH-covariant SIC is then characterized by a fiducial $U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$0 for which

$U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$1

for all $U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$2, together with the tight-frame identity

$U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$3

in the rank-1 case (Appleby et al., 7 Jan 2025).

The symplectic strengthening adds the requirement that the fiducial can be chosen in an eigenspace of a canonical order-3 Clifford or metaplectic unitary. Zauner observed numerically that a WH-covariant SIC fiducial can be chosen to satisfy

$U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$4

and this symmetry “drastically reduces the effective search space for fiducials and appears in all known exact and numerical solutions” (Magsino et al., 2019). In the extended Clifford formulation, “canonical order 3” means trace $U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$5 modulo $U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$6, where $U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$7 for odd $U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$8 and $U(F_Z)|\psi\rangle = e^{i\theta}|\psi\rangle$9 for even $F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$0 (Appleby et al., 7 Jan 2025).

2. Symplectic and Clifford structure

The Weyl–Heisenberg operators form a projective representation of $F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$1, and the symplectic group acts on phase-space indices. For $F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$2, the metaplectic unitary $F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$3 satisfies

$F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$4

while in the extended Clifford-group notation one writes

$F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$5

This is the structural origin of the adjective “symplectic” in the conjecture: the order-3 symmetry is imposed at the level of the phase-space action, not merely at the level of a unitary eigenspace (Magsino et al., 2019, Appleby et al., 7 Jan 2025).

A standard form of the same phenomenon appears in the Appleby convention for the Clifford action,

$F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$6

and for the Zauner unitary one can write

$F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$7

for some $F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$8. The literature cited here emphasizes the “so-far unexplained fact” that every known WH SIC fiducial is an eigenvector of an order-3 unitary of this type, and exploits that symmetry in both structural and constructive arguments (Appleby et al., 2019).

This symplectic formulation is stronger than the weak existence statement for SICs. A SIC may exist without any specified covariance or eigenspace condition; Symplectic Zauner’s Conjecture requires a WH orbit and a canonical order-3 symmetry simultaneously. A plausible implication is that the conjecture is not only an existence problem for equiangular line sets, but also a rigidity statement about the organizing symmetries of fiducials.

3. Biangular Gabor frames and the topological route

A non-constructive route to Zauner’s conjecture replaces equiangular WH orbits by a larger class of biangular Gabor frames and then seeks to recover equiangularity by continuity (Magsino et al., 2019). Writing $F_Z = \begin{pmatrix}0&-1\1&-1\end{pmatrix}$9 for translation and $n=d$0 for modulation,

$n=d$1

the WH orbit of $n=d$2 is

$n=d$3

The orbit is $n=d$4-biangular if

$n=d$5

and

$n=d$6

for every $n=d$7 and $n=d$8. Thus the nontrivial displacements split into the pure translation line and the complementary set.

The fundamental structural identity is the angle-balance lemma: $n=d$9 For $n=d+1$0, this becomes $n=d+1$1. The WH orbit is always a $n=d+1$2-tight frame, and the fourth-moment frame potential

$n=d+1$3

obeys

$n=d+1$4

with equality if and only if $n=d+1$5 is a SIC fiducial. Under the biangular hypothesis,

$n=d+1$6

and using $n=d+1$7 gives a quadratic minimized at

$n=d+1$8

Among unit-norm biangular WH-covariant frames, the equiangular configuration is therefore the unique minimum of the WH 2-design frame potential.

The strategy is to study the real-algebraic variety $n=d+1$9 of seeds whose WH orbits are biangular. After quotienting by nonzero scalars and fixing a coordinate, one obtains a slice

$d^2$0

Empirically, $d^2$1 and $d^2$2 “frequently appear to be path-connected and have low effective dimension despite being defined by $d^2$3 polynomial constraints.” The main continuity lemma states: if a Gabor MUB exists in $d^2$4, meaning a seed with $d^2$5, and if $d^2$6 is path-connected, then a SIC exists. The argument connects that MUB-like seed to the normalized all-ones vector, which has $d^2$7, and uses the intermediate value theorem on $d^2$8 along a path to force $d^2$9.

The same paper proposes a symplectic refinement. Define the Zauner-invariant slice

$d \ge 2$0

If one can show nonemptiness and path-connectivity of $d \ge 2$1, and find two unit-norm biangular seeds on opposite sides of the SIC angle $d \ge 2$2, then the same intermediate value argument yields a Zauner-symmetric SIC fiducial. The paper does not prove these steps, but formulates them as the geometric and topological core of a possible unconditional non-constructive proof. It gives an exact $d \ge 2$3 analysis, where $d \ge 2$4 is the union of two intersecting circles

$d \ge 2$5

for $d \ge 2$6, and numerical evidence in $d \ge 2$7 and $d \ge 2$8 that long continuous trajectories pass from MUB-like to trivial-like configurations and cross $d \ge 2$9 (Magsino et al., 2019).

4. Conditional constructive resolution via Stark conjectures

A sharply different approach is constructive and arithmetic. The paper “A Constructive Approach to Zauner’s Conjecture via the Stark Conjectures” develops a conditional construction of WH-covariant SICs in all $N=d^2$0, together with a precise symplectic formulation of the conjecture, by using the order-1 abelian Stark conjecture for real quadratic fields and a special-value identity for the Shintani–Faddeev modular cocycle (Appleby et al., 7 Jan 2025).

The basic object is a “ghost SIC,” with fiducial projector

$N=d^2$1

where the normalized ghost overlaps are

$N=d^2$2

Here $N=d^2$3 is the Shintani–Faddeev modular cocycle, a meromorphic function satisfying the multiplicative cocycle law

$N=d^2$4

and at real quadratic fixed points $N=d^2$5,

$N=d^2$6

Two conjectural inputs drive the construction. The first is the Stark–Tate form of the order-1 abelian Stark conjecture for real quadratic fields, used to place the relevant special values in abelian extensions and to control their square roots. The second is the “Twisted Convolution Conjecture,” a special-value identity of the form

$N=d^2$7

which is precisely the identity needed to prove $N=d^2$8. Under these conjectures, the paper proves that the Galois conjugate of the ghost fiducial is a live SIC or, more generally, a live $N=d^2$9-SIC fiducial, with nontrivial displacement overlaps of modulus

$\mathbb C^d$0

The symplectic content is explicit. The construction works inside the extended Clifford group $\mathbb C^d$1, where $\mathbb C^d$2. Associated stabilizers $\mathbb C^d$3 and Zauner generators $\mathbb C^d$4 satisfy $\mathbb C^d$5, and $\mathbb C^d$6 is a canonical order-3 unitary imposing Zauner symmetry on the fiducial. The paper therefore presents a conditional constructive resolution of the symplectic form of Zauner’s Conjecture.

Computationally, the construction is cross-validated against known exact WH SIC solutions and the Scott–Grassl catalogue. In $\mathbb C^d$7, it produces four numerical examples of nonequivalent SICs, three of which are new. The paper also extends the framework to $\mathbb C^d$8-SICs for all $\mathbb C^d$9 such that $|\psi\rangle \in \mathbb C^d$00 divides $|\psi\rangle \in \mathbb C^d$01, and studies the associated abelian field extensions over $|\psi\rangle \in \mathbb C^d$02 with $|\psi\rangle \in \mathbb C^d$03 in the rank-1 case (Appleby et al., 7 Jan 2025).

5. Relaxations, associated structures, and continuous manifolds

A third line of work studies structures naturally attached to SICs and uses them to formulate relaxations of the WH SIC problem (Appleby et al., 2019). If $|\psi\rangle \in \mathbb C^d$04 is the $|\psi\rangle \in \mathbb C^d$05 Gram matrix of a SIC and $|\psi\rangle \in \mathbb C^d$06 is the Hadamard square, then

$|\psi\rangle \in \mathbb C^d$07

is a projector of rank $|\psi\rangle \in \mathbb C^d$08 in dimension $|\psi\rangle \in \mathbb C^d$09. From this one obtains

$|\psi\rangle \in \mathbb C^d$10

a complex Hermitian Hadamard matrix of order $|\psi\rangle \in \mathbb C^d$11, and two Naimark-complementary ETFs with Gram matrices

$|\psi\rangle \in \mathbb C^d$12

living in dimensions $|\psi\rangle \in \mathbb C^d$13 and $|\psi\rangle \in \mathbb C^d$14, respectively.

For odd $|\psi\rangle \in \mathbb C^d$15, a WH SIC also yields two WH-covariant symmetric tight fusion frames of ranks $|\psi\rangle \in \mathbb C^d$16. Writing

$|\psi\rangle \in \mathbb C^d$17

and

$|\psi\rangle \in \mathbb C^d$18

the resulting families $|\psi\rangle \in \mathbb C^d$19 are STFFs with maximal number $|\psi\rangle \in \mathbb C^d$20 of fusion elements. The core identity is the phase-squared convolution equation

$|\psi\rangle \in \mathbb C^d$21

which is considerably simpler than the full SIC equations.

This motivates two relaxations. The first asks only for phases $|\psi\rangle \in \mathbb C^d$22 with $|\psi\rangle \in \mathbb C^d$23, $|\psi\rangle \in \mathbb C^d$24, satisfying

$|\psi\rangle \in \mathbb C^d$25

for all $|\psi\rangle \in \mathbb C^d$26. For odd $|\psi\rangle \in \mathbb C^d$27, any solution yields WH-covariant STFFs. The second uses the Naimark complement and a block-diagonal representation $|\psi\rangle \in \mathbb C^d$28 acting on $|\psi\rangle \in \mathbb C^d$29, with relaxed constraints

$|\psi\rangle \in \mathbb C^d$30

In this formulation the number of real variables scales as $|\psi\rangle \in \mathbb C^d$31, while the number of equations is $|\psi\rangle \in \mathbb C^d$32, so the equation-to-variable ratio tends to $|\psi\rangle \in \mathbb C^d$33.

The same paper gives evidence that these associated structures lie on continuous manifolds even when the SIC fiducials themselves appear isolated. Explicit one-parameter families are constructed in $|\psi\rangle \in \mathbb C^d$34, $|\psi\rangle \in \mathbb C^d$35, $|\psi\rangle \in \mathbb C^d$36, and $|\psi\rangle \in \mathbb C^d$37, with affine families in $|\psi\rangle \in \mathbb C^d$38 and non-affine families in $|\psi\rangle \in \mathbb C^d$39. Restricted defect calculations for the structures arising from known SICs in $|\psi\rangle \in \mathbb C^d$40 are nonzero for all $|\psi\rangle \in \mathbb C^d$41, with $|\psi\rangle \in \mathbb C^d$42 the only isolated case. This suggests that the “phase-squared layer” around SICs is much more flexible than the fiducial layer itself, and that order-3 symplectic symmetry may be easier to study in these relaxed settings (Appleby et al., 2019).

6. The real symplectic-space analogue

In a distinct usage, Fallon introduces equiangular tight frames in real symplectic spaces and formulates a “symplectic Zauner’s conjecture” for that setting (Fallon, 17 Sep 2025). Here the ambient space is a real symplectic space $|\psi\rangle \in \mathbb C^d$43 with non-degenerate alternating form

$|\psi\rangle \in \mathbb C^d$44

or equivalently a canonically isomorphic model with block-diagonal matrix

$|\psi\rangle \in \mathbb C^d$45

A frame $|\psi\rangle \in \mathbb C^d$46 is equiangular if there exists $|\psi\rangle \in \mathbb C^d$47 such that

$|\psi\rangle \in \mathbb C^d$48

where the Gram matrix

$|\psi\rangle \in \mathbb C^d$49

is real skew-symmetric with zeros on the diagonal. Tightness is expressed not by the usual Euclidean identity, but by

$|\psi\rangle \in \mathbb C^d$50

with $|\psi\rangle \in \mathbb C^d$51.

The real symplectic theory has a sharply different extremal regime. A symplectic Gerzon bound gives

$|\psi\rangle \in \mathbb C^d$52

for equiangular sets, and the main existence theorem shows that a $|\psi\rangle \in \mathbb C^d$53 symplectic ETF can exist only if

$|\psi\rangle \in \mathbb C^d$54

Fallon’s conjecture is that these parameter values are also sufficient.

The main equivalence theorem states that this real symplectic conjecture is equivalent to the skew Hadamard conjecture. More precisely, for $|\psi\rangle \in \mathbb C^d$55: a $|\psi\rangle \in \mathbb C^d$56 symplectic ETF exists if and only if there exists a skew Hadamard matrix of order $|\psi\rangle \in \mathbb C^d$57, and a $|\psi\rangle \in \mathbb C^d$58 symplectic ETF exists if and only if there exists a skew Hadamard matrix of order $|\psi\rangle \in \mathbb C^d$59. The proof translates the symplectic Gram matrix into the Seidel adjacency matrix of a tournament and analyzes the number of four-vertex subgraphs called diamonds. For odd $|\psi\rangle \in \mathbb C^d$60,

$|\psi\rangle \in \mathbb C^d$61

with equality characterizing, in the $|\psi\rangle \in \mathbb C^d$62 case, switching equivalence to doubly regular tournaments. This combinatorial saturation supplies the flat kernel vector needed to complete a symplectic ETF Gram matrix to a skew Hadamard matrix.

The theory also includes explicit small examples, a doubling construction that lifts a skew Hadamard matrix of order $|\psi\rangle \in \mathbb C^d$63 to one of order $|\psi\rangle \in \mathbb C^d$64, and a “complex-to-symplectic shadow” in which the imaginary part of the Gram matrix of certain complex ETFs yields, up to scaling, the Gram of a symplectic ETF. Although this is not the WH/Clifford conjecture of SIC theory, it is a mathematically precise and separate symplectic ETF existence theory that now shares the same name (Fallon, 17 Sep 2025).

7. Status and unresolved directions

The current landscape is split between unconditional geometric programs, conditional arithmetic constructions, and relaxed frame-theoretic reformulations. In the biangular Gabor approach, the key open assumptions are path-connectivity of $|\psi\rangle \in \mathbb C^d$65, existence of biangular seeds with $|\psi\rangle \in \mathbb C^d$66, and, for the symplectic version, nonemptiness and connectivity of the Zauner-invariant slice $|\psi\rangle \in \mathbb C^d$67. The paper explicitly formulates the connectivity and construction problems and notes that an answer, or suitable variants restricted to Zauner eigenspaces, would yield an unconditional non-constructive proof via continuity (Magsino et al., 2019).

In the Stark–cocycle approach, the central unresolved points are the order-1 abelian Stark conjecture and the Twisted Convolution Conjecture. The existence theorems show that these two conjectural inputs imply the symplectic form of Zauner’s Conjecture, but the construction remains conditional until both are proved in full generality. The same paper also isolates conjectural equalities between the fields generated by overlaps and explicit ray class fields, tying the SIC problem to a real-quadratic instance of Hilbert’s twelfth problem (Appleby et al., 7 Jan 2025).

The relaxations built from squared phases, Naimark complements, and associated Hadamard or ETF structures do not by themselves prove SIC existence, but they expose algebraic systems with fewer constraints or more balanced variable counts and show that the order-3 symplectic symmetry is operationally useful in those enlarged spaces. The existence of continuous manifolds for the associated structures in several dimensions, together with nonzero restricted defect in all tested cases $|\psi\rangle \in \mathbb C^d$68, suggests that the rigid fiducial problem sits inside a substantially more flexible geometric envelope (Appleby et al., 2019).

In the real symplectic-space theory, the decisive open problem is the skew Hadamard conjecture itself. Because the symplectic ETF existence pattern is equivalent to that conjecture, any progress on skew Hadamard matrices translates immediately to new symplectic ETFs, and conversely algorithmic search through symplectic frame potentials may provide new skew Hadamard matrices. The paper also points to improved diamond-count methods, new core constructions, and further development of the complex-to-symplectic shadow as natural next steps (Fallon, 17 Sep 2025).

Taken together, these strands indicate that “Symplectic Zauner’s Conjecture” now names two related but non-identical programs. In the classical SIC literature it is the claim that WH-covariant SIC fiducials can always be chosen with canonical order-3 symplectic symmetry. In the newer real symplectic ETF literature it is an extremal existence conjecture governed by skew-symmetric Gram matrices, tournaments, and skew Hadamard matrices. What unifies them is the central role of symplectic structure: in one case as Clifford covariance of SIC fiducials, in the other as the defining bilinear geometry of the frame space.