---
author:
- 'Howard J. Schnitzer'
bibliography:
- 'main.bib'
nocite: '[@*]'
title: 'Hypergraph States in ${\mathrm{SU}(N)}_1$, $N$ odd prime, Chern-Simons Theory'
---

Introduction {#sec:sec1}
============

The generalized Pauli group and Clifford operators @schnitzer2019clifford [@schnitzer2020n; @schnitzer2020clifford] are obtained from products of basic operations of ${{\mathrm{SU}(N)}_1}$ Chern-Simons theory for $N$ odd prime. Graph and hypergraph states @steinhoff2017qudit [@englbrecht2020symmetries; @liu2020many; @rossi2013quantum; @hein2006entanglement] are described as products of such operations, which allow for explicit representations of graph and hypergraph states. For $N$ odd prime, $N \neq {5 \mod{4}}$, these operations can be obtained topologically in the $n$-torus Hilbert space of Chern-Simons theory as a result of the level rank dual @mlawer1991group of a theorem of Salton, Swingle, and Walter @salton2017entanglement. Thus graph and hypergraph states of ${{\mathrm{SU}(N)}_1}$, $N \neq {5 \mod{4}}$, are topological on the $n$-torus Hilbert space of Chern-Simons theory.

For ${{\mathrm{SU}(N)}_1}$, $N = {5 \mod{4}}$, only graph states are topological, as in this case only stabilizer states are obtained from the $n$-torus Hilbert space. Hypergraph states for ${{\mathrm{SU}(N)}_1}$, $N = {5 \mod{4}}$, are therefore not topological in the above sense.

In Section \[sec:sec2\] the construction of the generalized Pauli group and Clifford operations for ${{\mathrm{SU}(N)}_1}$ is reviewed. Section \[sec:sec3\] presents the construction of graph and hypergraph states in terms of basic operations of ${{\mathrm{SU}(N)}_1}$. Section \[sec:sec4\] is a discussion of related issues.

${\mathrm{SU}(d)}_1$, $d$ odd prime {#sec:sec2}
===================================

We first review the generalized Pauli group and Clifford operations for ${\mathrm{SU}(d)}_1$, $d$ odd prime, following @schnitzer2019clifford [@schnitzer2020n; @schnitzer2020clifford].

The ${\mathrm{SU}(d)}_1$ Pauli group {#sec:sec2a}
------------------------------------

Representations of ${\mathrm{SU}(d)}_1$ describing qudits are given by a single column Young tableau, with zero, one, …, $(d-1)$ boxes. The fusion tensor of the theory is $$\label{eq:fusion}
    N_{ab}{}^c; \quad \quad a+b = c \mod{d}$$ so that $$\label{eq:fusion2}
    N{\left|a\right\rangle}{\left|b\right\rangle} = {\left|a\right\rangle} {\left|a+b, \mod{d}\right\rangle}.$$ The modular transformation matrix $S_{ab}$ satisfies $${\left|a\right\rangle} = \sum_{b = 0}^{d-1} S_{ab} {\left|b\right\rangle}, \quad \quad a = 0 \ldots d-1.$$ For $\omega$ a primitive $d$th root of unity $$\omega = \exp \left( \frac{2 \pi i}{d} \right)$$ so that $$\label{eq:qft}
    S^* = \frac{1}{\sqrt{d}} \sum_{a = 0}^{d-1} \sum_{b = 0}^{d-1} \omega^{ab} {\left|a\right\rangle} {\left\langleb\right|}$$ which is the $d$-dimensional generalization of the Hadamard gate.

The Pauli operator $Z$ is given by $$Z_{ac} = \sum_{b = 0}^{d-1} S_{ab} \left( S^{\dagger}_{b+1,a} \right) \delta_{ac}$$ so that $$Z = \sum_{a = 0}^{d-1} \omega^a {\left|a\right\rangle} {\left\langlea\right|}.$$ The Pauli operator $X$ is obtained from the fusion matrix, since $$\label{eq:paulix}
    N_{a,1}{}^b{\left|a\right\rangle} = {\left|a+1, \mod{d}\right\rangle}$$ which is identical to $$X {\left|a\right\rangle} = {\left|a+1, \mod{d}\right\rangle}$$ The single qudit Pauli group is the collection of operators $$\omega^r X^a Z^b; \quad \quad a,b,r \in \mathbb{Z}_d.$$ Thus the one-qudit Pauli group is constructed from basic operations of ${\mathrm{SU}(d)}_1$, $d$ odd.

The $n$-qudit Pauli group is obtained from products of operators of the one-qudit Pauli group. That is $$X^{{\mathbf{a}}} Z^{{\mathbf{b}}} = X^{a_1} Z^{b_1} \otimes X^{a_2} Z^{b_2} \otimes \cdots \otimes X^{a_n} Z^{b_n}$$ The operator $X^{{\mathbf{a}}} Z^{{\mathbf{b}}}$, along with all scalar multiples thereof, $$\left\{ \omega^c X^{{\mathbf{a}}} Z^{{\mathbf{b}}} \ | \ c \in \mathbb{Z}_d \right\}$$ defines the $n$-qudit Pauli group.

${\mathrm{SU}(d)}_1$ Clifford operators, $d$ odd
------------------------------------------------

The necessary gates for the single-qudit Clifford operators are @schnitzer2019clifford [@schnitzer2020n; @schnitzer2020clifford] i) the QFT gate, Eq. , and ii) the phase gate $$P {\left|j\right\rangle} = \omega^{j(j-1)/2} {\left|j\right\rangle}.$$ The multi-qudit Clifford operators are obtained from the generalizations of and as well as the SUM gate, $$\begin{aligned}
    C_{\mathrm{SUM}} {\left|i\right\rangle} {\left|j\right\rangle} &= N {\left|i\right\rangle} {\left|j\right\rangle} \nonumber \\
    &= {\left|i\right\rangle} {\left|i+j, \mod{d}\right\rangle}\end{aligned}$$

Graph and hypergraph states {#sec:sec3}
===========================

Graph states {#sec:sec3a}
------------

There are many equivalent constructions of graph states @steinhoff2017qudit [@englbrecht2020symmetries; @liu2020many; @rossi2013quantum; @hein2006entanglement]. We follow arxiv:1612.06418 for a definition of qudit graph states. The multigraph is $G = (V,E)$, with vertices $V$ and edges $E$, where an edge has multiplicity $m_e \in \mathbb{Z}_d$. To $G$ associate a state ${\left|G\right\rangle}$ such that to each vertex $i \in V$, there is a local state $${\left|+\right\rangle} = {\left|p_0\right\rangle} = \frac{1}{\sqrt{d}} \sum_{q = 0}^{d-1} {\left|q\right\rangle}$$ Recall that the Hadamard gate generalizes to , so that $$\begin{aligned}
    S^* {\left|0\right\rangle} &= \frac{1}{\sqrt{d}} \sum_{q = 0}^{d-1} {\left|q\right\rangle} \nonumber \\
    &= {\left|+\right\rangle} = {\left|p_0\right\rangle}.\end{aligned}$$

To each edge $e = \{i,j\}$ apply the unitary $$Z_e^{m_e} = \sum_{q_i = 0}^{d-1} {\left|q_i\right\rangle} {\left\langleq_i\right|} \otimes \left(Z_j^{m_e}\right)^{q_i}$$ to the state $${\left|+\right\rangle}^V = \bigotimes_{i \in V} {\left|+\right\rangle}_i$$

The graph state is $$\begin{aligned}
    {\left|G\right\rangle} &= \prod_{e \in E} Z_e^{m_e} {\left|+\right\rangle}^V \\
        &= \prod_{e \in E} Z_e^{m_e} \bigotimes_{i \in V} {\left|+\right\rangle}_i\end{aligned}$$ The level-rank dual @mlawer1991group of Theorem 1 of Salton, Swingle, and Walter @salton2017entanglement for $d$ odd prime implies that the graph state ${\left|G\right\rangle}$ can be constructed from topological operations on the $n$-torus Hilbert space of Chern-Simons ${\mathrm{SU}(d)}_1$ by means of the operations detailed in Section \[sec:sec2\]. Every stabilizer state is LC equivalent to a graph state, while the Clifford group enables conversion between different multigraphs @steinhoff2017qudit [@englbrecht2020symmetries; @liu2020many; @rossi2013quantum; @hein2006entanglement].

Hypergraph states
-----------------

We again follow arxiv:1612.06418 for the construction of qudit multi-hypergraph states. Given a multi-hypergraph $H = (V,E)$, associate a quantum state ${\left|H\right\rangle}$, with $m_e \in \mathbb{Z}_d$ the multiplicity of the hyperedge $e$. To each vertex $i \in V$, associate a local state $$\begin{aligned}
    {\left|+\right\rangle} &= \frac{1}{\sqrt{d}} \sum_{q=0}^{d-1} {\left|q\right\rangle} \nonumber \\
        &= S^* {\left|0\right\rangle}\end{aligned}$$ To each hyperedge $e \in E$, with multiplicity $m_e$, apply the controlled unitary $Z_e^{m_e}$ to the state $${\left|+\right\rangle}^V = \bigotimes_{i \in V} {\left|+\right\rangle}_i$$ The hypergraph state is $$\begin{aligned}
    {\left|H\right\rangle} = \prod_{e \in E} Z_e^{m_e} {\left|+\right\rangle}^V\end{aligned}$$ The elementary hypergraph state is $$\begin{aligned}
    {\left|H\right\rangle} = \sum_{q=0}^{d-1} {\left|q\right\rangle} {\left\langleq\right|} \otimes \left( Z_{e \backslash \{1\}}^{m_e} \right)^q {\left|+\right\rangle}^V\end{aligned}$$ For $d$ prime, all $n$-elementary hypergraph states are equivalent under SLOCC.

Hypergraph and graph states admit a representation in terms of Boolean functions, $${\left|H\right\rangle} = \sum_{q = 0}^{d-1} \omega^{f(q)} {\left|q\right\rangle}$$ with $f: \mathbb{Z}_d^n \rightarrow \mathbb{Z}_d$, where $$\label{eq:boolfunc}
    f(x) = \sum_{\substack{i_1,\ldots,i_k \in V \\ \{ i_1,\ldots,i_k \} \in E}} x_{i_1} \cdots x_{i_k}$$ For graph states, $f(x)$ is quadratic, i.e. $$f(x) = \sum_{\substack{i_1,i_2 \in V \\ \{ i_1,i_2 \} \in E}} x_{i_1} x_{i_2}$$ while for $f(x)$ cubic or higher, ${\left|H\right\rangle}$ is a hypergraph state. Therefore, for quadratic $f(x)$, one has a representation of stabilizer states, up to LC equivalence. For $f(x)$ cubic or higher, ${\left|H\right\rangle}$ represents hypergraph states which contain "magic" states. Examples of magic states are the $\mathrm{CCZ}$ state and Toffoli states, constructed from appropriate gates @heyfron2019quantum [@paetznick2013universal; @o2017quantum; @schnitzer2020clifford; @eastin2013distilling; @jones2013low; @howard2012qudit; @biswal2019techniques; @haah2018codes]. Thus $$\mathrm{CCZ} {\left|x_1 x_2 x_3\right\rangle} = \omega^{x_1 x_2 x_3} {\left|x_1 x_2 x_3\right\rangle}$$ with $${\left|\mathrm{CCZ}\right\rangle} = \mathrm{CCZ} {\left|+ \otimes^3\right\rangle}$$ as an example of a magic hypergraph state. Similarly $${\left|\mathrm{Toff}\right\rangle} = \mathrm{Toff} {\left|+ \otimes^3\right\rangle}$$ where the Toffoli gate can be expressed in terms of the fusion matrix . Explicitly, $$\begin{aligned}
    \mathrm{Toff} {\left|i,j,k\right\rangle} &= N_{ij,k}{}^{(ij+k)} \nonumber \\
        &= {\left|i,j,ij+k, \mod{d}\right\rangle}\end{aligned}$$ where the Young tableau for $(ij)$ has $i+j$ vertical boxes, $\mod{d}$.

For ${\mathrm{SU}(d)}_1$, $d$ odd prime, $d \neq {5 \mod{4}}$, both graph and hypergraph states can be obtained from operators which can be constructed from products of topological operations on the $n$-torus Hilbert space @salton2017entanglement.

For ${\mathrm{SU}(d)}_1$, $d = {5 \mod{4}}$, the topological argument does not apply, since in this case Theorem 1 of Salton *et al* @salton2017entanglement implies that *only* stabilizer states can be constructed on the $n$-torus Hilbert space. Thus, graph states can be so constructed but not hypergraph states with cubic or higher functions .

Discussion {#sec:sec4}
==========

It was shown above that graph states and hypergraph states for ${\mathrm{SU}(d)}_1$, $d$ odd, can be constructed from the basic operations $N_{ab}{}^c$, $S_{ab}$, $Z$, and $X$ of ${\mathrm{SU}(d)}_1$ Chern-Simons theory. For $d$ odd prime, $d \neq {5 \mod{4}}$, these operations can be constructed topologically on the $n$-torus Hilbert space of Chern-Simons theory. A subset of hypergraph states are "magic." For $d \neq {5 \mod{4}}$, they are topological in the above sense.

Fliss @fliss2020knots has studied knot and link states of ${\mathrm{SU}(2)}_d$ Chern-Simons theory, and has shown that knot and link states are generically magical. However for $\mathrm{U}(1)_d$, magic is absent for all knot and link states. Since $\mathrm{U}(1)_d$ is level-rank dual to ${\mathrm{SU}(d)}_1$, the knot and link states for this theory also have zero magic @fliss2020knots [@balasubramanian2017multi; @balasubramanian2018entanglement],@Jain_2020.

There is a great deal of recent interest in magic states @white2020conformal [@white2020mana; @liu2020many; @veitch2014resource]. One feature that deserves further study is to understand which magic states are topological. For example, universal topological computing is possible for ${\mathrm{SU}(2)}_3$ @freedman2002modular and ${\mathrm{SU}(3)}_2$ @schnitzer2018level Chern-Simons theory. Implicitly this implies that magic states are present in these theories, presumably due to the braiding operations. It would be interesting to make this explicit.

We thank Zi-Wen Liu for clarifying the difference between hypergraph / stabilizer cones @bao2020quantum [@walter2020hypergraph; @bao2020gap; @bao2020bit], and hypergraph / stabilizer states, and for emphasizing that universal quantum computation models for ${\mathrm{SU}(2)}_3$ and ${\mathrm{SU}(3)}_2$ have gates / actions which are magical.

We are grateful to Greg Bentsen and Isaac Cohen for their assistance in the preparation of the paper.

{'source': 'arXiv_out/2102'}