Group Invariant Quantum Latin Squares

• URL: http://arxiv.org/abs/2501.00196v1
• Date: Tue, 31 Dec 2024 00:16:01 GMT
• Title: Group Invariant Quantum Latin Squares
• Authors: Arnbjörg Soffía Árnadóttir, David E. Roberson,
• Abstract summary: A quantum Latin square is an $n times n$ array of unit vectors where each row and column forms an orthonormal basis of a fixed complex vector space. We show that a $(G,G')$-invariant quantum Latin square exists if and only if the multisets of degrees of irreducible representations are equal for $G$ and $G'$.
• Score: 0.0
• License:
• Abstract: A quantum Latin square is an $n \times n$ array of unit vectors where each row and column forms an orthonormal basis of a fixed complex vector space. We introduce the notion of $(G,G')$-invariant quantum Latin squares for finite groups $G$ and $G'$. These are quantum Latin squares with rows and columns indexed by $G$ and $G'$ respectively such that the inner product of the $a,b$-entry with the $c,d$-entry depends only on $a^{-1}c \in G$ and $b^{-1}d \in G'$. This definition is motivated by the notion of group invariant bijective correlations introduced in [Roberson \& Schmidt (2020)], and every group invariant quantum Latin square produces a group invariant bijective correlation, though the converse does not hold. In this work we investigate these group invariant quantum Latin squares and their corresponding correlations. Our main result is that, up to applying a global isometry to every vector in a $(G,G')$-invariant quantum Latin square, there is a natural bijection between these objects and trace and conjugate transpose preserving isomorphisms between the group algebras of $G$ and $G'$. This in particular proves that a $(G,G')$-invariant quantum Latin square exists if and only if the multisets of degrees of irreducible representations are equal for $G$ and $G'$. Another motivation for this line of work is that whenever Cayley graphs for groups $G$ and $G'$ are quantum isomorphic, then there is a $(G,G')$-invariant quantum correlation witnessing this, and thus it suffices to consider such correlations when searching for quantum isomorphic Cayley graphs. Given a group invariant quantum correlation, we show how to construct all pairs of graphs for which it gives a quantum isomorphism.

Related papers

• Quantum geometric Wigner construction for $D(G)$ and braided racks [0.0]
  A quantum double $D(G)=Bbb C(G)rtimes Bbb C G$ of a finite group plays an important role in the Kitaev model for quantum computing. We interpret the known construction of its irreps, which are quasiparticles for the model, in a geometric manner strictly analogous to the Wigner construction for the usual Poincar'e group of $Bbb R1,3$.
  arXiv  Detail & Related papers  (2024-07-16T15:21:28Z)
• Klein-Gordon oscillators and Bergman spaces [55.2480439325792]
  We consider classical and quantum dynamics of relativistic oscillator in Minkowski space $mathbbR3,1$. The general solution of this model is given by functions from the weighted Bergman space of square-integrable holomorphic (for particles) and antiholomorphic functions on the K"ahler-Einstein manifold $Z_6$.
  arXiv  Detail & Related papers  (2024-05-23T09:20:56Z)
• 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)
• Covariant quantum combinatorics with applications to zero-error communication [0.0]
  We develop the theory of quantum relations and quantum (a.k.a. noncommutative) graphs in the finite-dimensional covariant setting. We motivate our definitions by applications to zero-error quantum communication theory with a symmetry constraint.
  arXiv  Detail & Related papers  (2023-02-15T16:53:55Z)
• Planar #CSP Equality Corresponds to Quantum Isomorphism -- A Holant Viewpoint [0.0]
  Graph homomorphism is the special case where each of $mathcalF$ and $mathcalF'$ contains a single symmetric 0-1-valued binary constraint function. We show that any pair of sets $mathcalF$ and $mathcalF'$ of real-valued, arbitrary-arity constraint functions give the same value on any planar #CSP instance.
  arXiv  Detail & Related papers  (2022-12-06T21:38:40Z)
• Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
  We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra. As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
  arXiv  Detail & Related papers  (2022-08-12T15:05:07Z)
• Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
  We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann. We show how our results have immediate applications to the modern theory of polarization.
  arXiv  Detail & Related papers  (2022-05-30T18:01:34Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• 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)
• Representation of symmetry transformations on the sets of tripotents of spin and Cartan factors [0.0]
  We prove that in order that the description of the spin will be relativistic, it is not enough to preserve the projection lattice equipped with its natural partial order and denoteity. This, in particular, extends a result of Moln'ar to the wider setting of atomic JBW$*$-triples not containing rank-one Cartan factors.
  arXiv  Detail & Related papers  (2021-01-03T17:21:02Z)
• Generalized geometric commutator theory and quantum geometric bracket and its uses [0.0]
  Inspired by the geometric bracket for the generalized covariant Hamilton system, we abstractly define a generalized geometric commutator $$left[ a,b right]=left[ a,b right]_cr+Gleft(s, a,b right)$$ formally equipped with geomutator $Gleft(s, a,b right)=aleft[ s,b right]_cr-bleft[ s,a right]_cr$ defined in terms
  arXiv  Detail & Related papers  (2020-01-23T14:53:12Z)

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.