Projective toric designs, quantum state designs, and mutually unbiased bases

• URL: http://arxiv.org/abs/2311.13479v2
• Date: Thu, 26 Sep 2024 18:51:06 GMT
• Title: Projective toric designs, quantum state designs, and mutually unbiased bases
• Abstract summary: Toric $t$-designs are sets of points on the torus over which sums reproduce integrals of degree $t$ monomials over the full torus. We provide various new constructions of toric and projective toric designs and prove bounds on their size. We also use projective toric designs to construct families of quantum state designs.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Toric $t$-designs, or equivalently $t$-designs on the diagonal subgroup of the unitary group, are sets of points on the torus over which sums reproduce integrals of degree $t$ monomials over the full torus. Motivated by the projective structure of quantum mechanics, we develop the notion of $t$-designs on the projective torus, which have a much more restricted structure than their counterparts on full tori. We provide various new constructions of toric and projective toric designs and prove bounds on their size. We draw connections between projective toric designs and a diverse set of mathematical objects, including difference and Sidon sets from the field of additive combinatorics, symmetric, informationally complete positive operator valued measures and complete sets of mutually unbiased bases (MUBs) from quantum information theory, and crystal ball sequences of certain root lattices. Using these connections, we prove bounds on the maximal size of dense $B_t \bmod m$ sets. We also use projective toric designs to construct families of quantum state designs. In particular, we construct families of (uniformly-weighted) quantum state $2$-designs in dimension $d$ of size exactly $d(d+1)$ that do not form complete sets of MUBs, thereby disproving a conjecture concerning the relationship between designs and MUBs (Zhu 2015). We then propose a modification of Zhu's conjecture and discuss potential paths towards proving this conjecture. We prove a fundamental distinction between complete sets of MUBs in prime-power dimensions versus in dimension $6$ (and, we conjecture, in all non-prime-power dimensions), the distinction relating to group structure of the corresponding projective toric design. Finally, we discuss many open questions about the properties of these projective toric designs and how they relate to other questions in number theory, geometry, and quantum information.

Related papers

• Uniform Laws of Large Numbers in Product Spaces [60.22626971185653]
  We study uniform convergence phenomena in cartesian product spaces.<n>We show that a uniform law of large numbers holds for a family of events if and only if the linear VC dimension of the family is finite.
  arXiv  Detail & Related papers  (2026-03-25T16:36:09Z)
• Product Weyl-Heisenberg covariant MUBs and Maximizers of Magick [0.0]
  We introduce a similar notion of magick, defined with respect to the product group.<n>The global maximum of magick for $d=23$ yields fiducial states corresponding to the symmetric informationally complete (SIC) generalized measurement of Hoggar.
  arXiv  Detail & Related papers  (2026-03-16T17:10:17Z)
• Symmetry Packaging II: A Group-Theoretic Framework for Packaging Under Finite, Compact, Higher-Form, and Hybrid Symmetries [0.0]
  We develop a group-theoretic framework to describe the symmetry packaging for a variety of concrete symmetries.<n>We show how Bell-type packaged entangled states, color confinement, and hybrid gauge-invariant configurations all arise naturally.<n>Our approach unifies tools from group theory, gauge theory, and topological classification.
  arXiv  Detail & Related papers  (2025-03-26T07:35:58Z)
• On Multiquantum Bits, Segre Embeddings and Coxeter Chambers [0.0]
  We develop a systematic study of qubit moduli spaces, illustrating the geometric structure of entanglement through hypercube constructions and Coxeter chamber decompositions. This reveals a structure underlying the hierarchy of embeddings, with direct implications for quantum error correction schemes. The symmetry of the Segre variety under the Coxeter group of type $A$ allows us to analyze quantum states and errors through the lens of reflection groups.
  arXiv  Detail & Related papers  (2025-02-01T15:39:28Z)
• Quantum Pushforward Designs [0.0]
  We introduce a new concept of pushforward designs, which allows us to obtain new structures from already existing ones. Based on the general concept, we put forward a structure called channel $[t,k]$-design, allowing for averaging over space of quantum channels. We estimate for the IBM Kyoto quantum computer to be below $2.2$ for times up to $350mutexts$.
  arXiv  Detail & Related papers  (2024-12-12T19:00:00Z)
• 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)
• 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)
• Shape Invariant Potentials in Supersymmetric Quantum Cosmology [0.0]
  shape invariant potentials is an essential feature in many settings of $N=2$ supersymmetric quantum mechanics. We show how shape in property can be employed to bring a relation among several factor orderings choices for our Schr"odinger-Wheeler-DeWitt equation.
  arXiv  Detail & Related papers  (2022-05-31T19:51:21Z)
• 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)
• Quantum double aspects of surface code models [77.34726150561087]
  We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry. We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
  arXiv  Detail & Related papers  (2021-06-25T17:03:38Z)
• Symmetries and Geometries of Qubits, and their Uses [0.0]
  Review of Felix Klein's Erlangen Program for symmetries and geometries. 15 continuous SU(4) Lie generators of two-qubits can be placed in one-to-one correspondence with finite projective geometries. Extensions are considered for multiple qubits and higher spin or higher dimensional qudits.
  arXiv  Detail & Related papers  (2021-03-25T19:49:22Z)
• Boundary time crystals in collective $d$-level systems [64.76138964691705]
  Boundary time crystals are non-equilibrium phases of matter occurring in quantum systems in contact to an environment. We study BTC's in collective $d$-level systems, focusing in the cases with $d=2$, $3$ and $4$.
  arXiv  Detail & Related papers  (2021-02-05T19:00:45Z)
• A note on tight projective 2-designs [6.488575826304023]
  We study tight projective 2-designs in three different settings. In the complex setting, Zauner's conjecture predicts the existence of a tight projective 2-design in every dimension. We show that every tight projective 2-design for Hd determines an equi-isoclinic tight fusion frame of d (2d-1) subspaces of Rd (2d+1) of dimension 3.
  arXiv  Detail & Related papers  (2021-01-28T00:33:25Z)
• 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.