Haar's Half Measure

What I talk about when I talk about physics.

27 Jul 2023

Quantum computation with bosonic qubits

Baby quantum optics

So instead of playing with spin-$1/2$ particles as usual in superconducting qubits, we’re dealing with photons. It’s good to review some really basic stuff.

Freshen your mind

In this very first section let us review basic ingredients of quantum mechanics 1, specifically the quantum harmonic oscillator and its coherent states.

The harmonic oscillator problem can be formulation in the matrix representation, associating with the concepts of Fock space and occupation number. Let us start from the eigenfunctions of the harmonic oscillator $\psi_n(x)$, which form a complete orthonormal basis for the corresponding Hilbert space. The following vectors

\[ \begin{align} \psi_0 \to \begin{bmatrix} 1 \newline 0 \newline 0 \newline \vdots\end{bmatrix} \equiv |0\rangle, \quad \psi_1\to \begin{bmatrix} 0 \newline 1 \newline 0 \newline \vdots\end{bmatrix} \equiv |1\rangle, \quad \psi_n \to\begin{bmatrix}0 \newline \vdots \newline n \newline \vdots\end{bmatrix} \equiv |n\rangle. \end{align} \]

are the column vector representation of the eigenfunctions $\psi_i$. These vectors are, by construction orthonormal $\langle n|m\rangle = \delta_{nm}$, and form the so called Fock space or occupation number space

The state labelled $n$ can be constructed from the ground state by repeatedly adding quantization of energy by the ladder operator,

\[ \begin{align} |n\rangle = \dfrac{1}{\sqrt{n!}}(a^\dagger)^n |0\rangle \end{align} \]

Since $\{|n\rangle\}$ form a complete orthonormal basis, we can get the matrix representation for any operator. For example, the Hamiltonian written in the Fock state basis is

\[ \begin{align} \langle m | {H} | n \rangle &= \hbar\omega(n+0.5)\langle m |n\rangle\ &= \hbar\omega \begin{bmatrix}1/2 & 0 & 0 & \dots \newline 0 & 3/2 & 0 & \dots \newline 0 & 0 & 5/2 & \dots \newline \vdots & \dots & \dots & \ddots \end{bmatrix} \end{align} \]

Coherent states

Coherent states play a pivotal role in quantum optics. The operator we’re about to derive is named after Roy J. Glauber, Nobel prize laureate to the quantum theory of optical coherence.

Imagining a laser. How many photons does a laser beam have? It seems indefinitely many. But what makes laser such a breakthrough at the time of its invention is that although we have a massive amount of photons, they all pick up a precisely defined phase. A white light, on the other hand, is a statistical mixture of many many photons with random phases and oscillating orientations.

Definition: A coherent state $|\alpha\rangle$, or a Glauber state, is defined as eigenstate of the annihilation operator ${a}$ with eigenvalues $\alpha\in\mathbb{C}$, i.e. ${a}|\alpha\rangle = \alpha|\alpha\rangle$.

Notice that ${a}$ is a non-hermitian operator1, hence the phase $\alpha$ is complex-valued, with a certain amplitude $|\alpha|$ and a phase $\alpha=|\alpha|e^{i\varphi}$.

Properties of coherent states

First, let us calculate the expectation value of energy in a certain coherent state $|\alpha\rangle$.

\[ \langle {H} \rangle = \langle \alpha|{H}|\alpha\rangle = \hbar\omega\langle \alpha|{n}+\dfrac{1}{2}|\alpha\rangle = \hbar\omega(|\alpha|^2+\dfrac{1}{2}) \]

Phase shifting operator

Now we introduce the phase shifting operator,

\[ \begin{align} U(\theta)=\exp{\left(-i\theta{n}\right)} \end{align} \]

where ${n}$ is the occupation number operator. It’s worth noting that

\[ \begin{align} U^\dagger(\theta){a}U(\theta)= ae^{-i\theta} \end{align} \]

To prove this, take the differentation w.r.t to $\theta$ on the left hand side,

\[ \begin{align} d/d\theta\left(U^\dagger{a}U\right)&= d/d\theta\left(e^{i\theta n}ae^{-i\theta n }\right)\newline &= i U^\dagger na U - iU^\dagger a nU\newline &=iU^\dagger[n, a]U\newline &=iU^\dagger(a^\dagger a a - aa^\dagger a)U\newline &=iU^\dagger([a^\dagger, a]a)U\newline &=-iU^\dagger a U \end{align} \]

Hence,

\[ \begin{align} \int\dfrac{d(U^\dagger a U)}{U^\dagger a U} = \int-id\theta\newline \ln(U^\dagger a U) = -i\theta + C\newline U^\dagger a U = A(0)e^{-i\theta} \end{align} \]

The constant of integral is found by letting $\theta=0$, and one finds that $U^\dagger(0)aU(0)=a$, hence $A(0)=a$. $\Box$

The phase shifting $U(\theta)$ does two things: (1) it gives the amplitude operator (or annihilation operator) a phase shift $\theta$; and (2) it shifts the phase of a coherent state, i.e. rotating the coherence state by an angle $\theta$ in the phase space $(q, p)$. The latter can be seen by considering

\[ \begin{align} Ua|\alpha\rangle &= \alpha U|\alpha\rangle\newline U a U^\dagger U|\alpha\rangle &= \alpha U|\alpha\rangle\newline ae^{i\theta}U|\alpha\rangle &= \alpha U|\alpha\rangle\newline a |\alpha’\rangle &= \alpha e^{-i\theta}|\alpha’\rangle \end{align} \]

which from the definition of the coherent state, $a|\alpha’\rangle=\alpha’|\alpha’\rangle$, implying that $\alpha’=\alpha e^{-i\theta}$. $\Box$

In conclusion,

\[ U(\theta)|\alpha\rangle = |\alpha e^{-i\theta}\rangle \]

Displacement operator

Another type of important operator is the displacement operator

\[ \begin{align} D(\alpha) = \exp\left(\alpha a^\dagger - \alpha^* a\right) \end{align} \]

where $\alpha=|\alpha|e^{i\varphi}$ is a complex number and $a (a^\dagger)$ are ladder operators. One can verify that the displacement operator is unitary. But first, let us re-write the displacement operator in another form. Using a special case of the Baker–Campbell–Hausdorff formula, for any $A$ and $B$ that commutes with $[A, B]$, we have

\[ \begin{align} \exp(A+B) = \exp (A) \exp (B) \exp\left(-\dfrac{1}{2}[A, B]\right) \end{align} \]

Since $[a,a^\dagger]=1$, $[a,[a,a^\dagger]]=[a^\dagger,[a,a^\dagger]]=0$. Hence we can write

\[ \begin{align} D(\alpha) &= \exp(\alpha a^\dagger)\exp(-\alpha^* a)\exp\left(-\dfrac{1}{2}[\alpha a^\dagger, - \alpha^* a]\right)\newline &= \exp(\alpha a^\dagger) \exp(-\alpha^*a)\exp(-{|\alpha|^2}/{2})\newline &= \exp(-{|\alpha|^2}/{2})\exp(\alpha a^\dagger) \exp(-\alpha^*a) \end{align} \]

Now the adjoint $D^\dagger(\alpha)$,

\[ \begin{align} D^\dagger(\alpha) &= \exp\left(\alpha^* a - \alpha a^\dagger\right)\newline &= \exp(\alpha^* a)\exp(-\alpha a^\dagger) \exp\left(-\dfrac{1}{2}[\alpha^*a, -\alpha a^\dagger]\right)\newline &= \exp\left(|\alpha|^2/2\right) \exp(\alpha^{*} a) \exp(-\alpha a^\dagger) \end{align} \]

And their product,

\[ \begin{align} D^\dagger(\alpha)D(\alpha) = \exp\left(|\alpha|^2/2\right) &\exp(\alpha^{*} a) \exp(-\alpha a^\dagger)\newline &\times \exp(-{|\alpha|^2}/{2})\exp(\alpha a^\dagger) \exp(-\alpha^*a)= I \end{align} \]

Notice that

\[ \begin{align} D(-\alpha) &= \exp\left(-\alpha a^\dagger +\alpha^* a\right)\newline &=\exp\left(\alpha^* a - \alpha a^\dagger\right)\equiv D^\dagger(\alpha) \end{align} \]

Some more important properties of the displacement operators

\[ \begin{align} D^\dagger(\alpha) a D(\alpha) &= \exp\left(\alpha^* a - \alpha a^\dagger\right)a \exp\left(\alpha a^\dagger - \alpha^* a\right) = a +\alpha\newline D^\dagger(\alpha) a^\dagger D(\alpha) &= \exp\left(\alpha^* a - \alpha a^\dagger\right)a^\dagger \exp \left(\alpha a^\dagger - \alpha^* a\right) = a^\dagger + \alpha^* \end{align} \]

These can be proven using the BCH formula again. For example, the operator $D^\dagger a D$ results in

\[ \begin{align} D^\dagger a D &= a + [(\alpha^* a - \alpha a^\dagger), a] + \dfrac{1}{2!}[\alpha^* a - \alpha a^\dagger, [\alpha^* a - \alpha a^\dagger, a]] + \dots\newline &= a + \alpha^* [a, a] - \alpha[a^\dagger, a] \newline &= a + \alpha.\ \Box \end{align} \]

Lastly, displacement of a total of $\alpha+\beta$,

\[ \begin{align} D(\alpha+\beta) &= \exp\left((\alpha+\beta)a^\dagger - (\alpha+\beta)^* a\right)\newline &= \exp\left(\alpha a^\dagger-\alpha^* a + \beta a^\dagger -\beta^* a\right)\newline &=\exp\left(\alpha a^\dagger - \alpha^* a\right)\exp\left(\beta a^\dagger - \beta^* a\right)\exp\left(-\dfrac{1}{2}[\alpha a^\dagger - \alpha^* a, \beta a^\dagger - \beta^* a]\right)\newline &=\exp\left(-\dfrac{1}{2}(\alpha\beta^*-\alpha^*\beta)\right)\exp\left(\alpha a^\dagger - \alpha^* a\right)\exp\left(\beta a^\dagger - \beta^* a\right)\newline &=\exp\left(-i\text{Im}(\alpha\beta^*)\right)D(\alpha)D(\beta) \end{align} \]

Oh by the way let us calculate some commutators, as they will come in handy later,

\[ \begin{align} [a, D(\alpha)] &=[a, \exp(|\alpha|^2/2)\exp(\alpha a^\dagger)\exp(-\alpha^* a)]\newline &=\exp(-|\alpha|^2/2)[a, \exp(\alpha a^\dagger)\exp(-\alpha^* a)]\newline &=\exp(-|\alpha|^2/2)\left([a, \exp(\alpha a^\dagger)]\exp(-\alpha^* a)+\exp(\alpha a^\dagger)[a, \exp(-\alpha^* a)]\right) \end{align} \]

Now apparently $[a, \exp(-\alpha^* a)]=0$. The other one $[a, \exp(\alpha a^\dagger)]$ is a bit more tricky. Here’s a result that should help,

\[\begin{align}\begin{cases} [A, [A,B]]=0\newline [B, [A,B]]=0\end{cases} \rightarrow [A, f(B)]= [A,B]f’(B) \end{align} \]

Here we already knew that $[a, [a, a^\dagger]]=[a^\dagger, [a, a^\dagger]]=0$. Hence, the commutator of $a$ with a real function of $a^\dagger$ should be

\[ [a, \exp(\alpha a^\dagger)] = [a, a^\dagger]\alpha \exp(\alpha a^\dagger). \]

In other words,

\[ \begin{align} [a, D(\alpha)] &= \alpha\exp(-|\alpha|^2/2)\exp(\alpha a^\dagger)\exp(-\alpha^* a)\newline &=\alpha \exp(\alpha a^\dagger - \alpha^* a)\equiv \alpha D(\alpha) \end{align} \]

By analogy, the commutator $[a^\dagger, D(\alpha)]$ is

\[ \begin{align} [a^\dagger, D(\alpha)] = \alpha^* D(\alpha) \end{align} \]

Now we can make use of these commutators to review some of the results derived above. For example,

\[ [a, D(\alpha)]=\alpha D(\alpha) \leftrightarrow a D(\alpha) = \alpha D(\alpha) + D(\alpha) a \]

Hence a unitary transformation $D^\dagger(\alpha) a D(\alpha)$ can be written as

\[\begin{align} D^\dagger(\alpha) a D(\alpha)&=D^\dagger(\alpha)\left(\alpha D(\alpha) + D(\alpha) a\right)\newline &=\alpha D^\dagger(\alpha)D(\alpha)+D^\dagger(\alpha)D(\alpha)a\newline &=\alpha + a \end{align}\]

This is another way of proving the above results of important properties of displacement operators.

Generation of coherent states using displacement operator

Here’s a nice theorem: the coherent state $|\alpha\rangle$ is generated from the vacuum state $|0\rangle$ by the displacement operator $D(\alpha)$.

\[ \begin{align} |\alpha\rangle = D(\alpha) |0\rangle \end{align} \]

How to prove this? We should probably consider the action of $a (D(\alpha)|0\rangle)$. If this turns out to be $\alpha’|\alpha’\rangle$, where $|\alpha’\rangle= D(\alpha)|0\rangle$, then we should have proven it.

\[ \begin{align} aD(\alpha)|0\rangle &= \left(\alpha D(\alpha) + D(\alpha) a\right)|0\rangle\newline &= \alpha D(\alpha) |0\rangle + D(\alpha) a |0\rangle\newline &= \alpha D(\alpha) |0\rangle \end{align} \]

meaning that $D(\alpha)|0\rangle$ is indeed an eigenvector of $a$, hence it is must be a coherent state.

Bosonic codes

Encoding quantum information into bosonic systems, i.e. continous-variable (CV) systems is an alternative to conventional error-correting codes based on discrete-variable systems.

There are basically two kinds of bosonic codes at the present, each exploits a different type of symmetry to protect encoded information. The first one, based on discrete translation symmetry in phase space, notably the Gottesman, Kitaev, and Preskill (GKP) code. We won’t get into that.

The other one, much heralded experimentally, being codes that are based on discrete rotation symmetry in phase space. Two most notable examples being the cat code and binomial code. In what follows, we try to unify the two codes under one formalism.

Here’s several key points before we move further.

  1. Bosonic rotation-symmetric codes are the ones whose logical qubits encoded into a subspace in which the discrete rotation operator $\hat{Z}_N=\exp\left(i\dfrac{\pi}{N}\hat{n}\right)$ acts as logical $\bar{Z}$, where $\hat{n}$ being the Fock-space number operator. Note that this feature of logical $\bar{Z}$ alone can define this rotation-symmetric set of bosonic codes.

  2. The parameter $N$ quantifies the degree of discrete rotation symmetry for the code. Note that any state in the codespace that is $N$-fold rotation symmetric is invariant under rotation by $2\pi/N$, hence $\hat{R}_N=\hat{Z}^2_N$ is the stabilizer, i.e. it leaves the codeword invariant.

  3. Because the codewords are $N$-fold rotation symmetry, any encoded state $|\psi_N\rangle$ has support only on every $N$th Fock state. This means that $|\psi_N\rangle = \sum_{k=0}^\infty c_{kN}|kN\rangle$. The degree of rotation symmetry thus quantifies the magnitude of a detectable shift in number and set a code distance in Fock space. Now if you think about it, in stablizer formalism, the codespace is a subspace of the Hilbert space $\mathcal{H}$ residing within are valid codewords. Similarly, the Fock space ‘spanned’ by the $N$-fold symmetry states can only be reached if you start from a valid codeword, and then you do a multiple of $\pi/N$ rotation. If the environment did instead an arbitrary $U(\varphi)=\exp(i\theta\hat{n})$ rotation, i.e. a phase-shifting continuous operator, then it’s an error.

  4. A special subset of the bosonic rotation codes are number-phase codes, which are rotated superpositions of states with small phase uncertainty. Note that if the phase uncertainty is small, then the number uncertainty should be large. In deed, in the limit of vanishing phase uncertainty, the number-phase codes are analogous to ideal GKP codes, with number and phase are complementary variables in place of $x$ and $p$.

  5. A critical question that must be asked repeatedly in quantum error corretion: is the redundancy worth it? In bosonic error-correting codes this question is equivalent to asking: whether the code performs better than a trivial encoding–a qubit encoded in Fock state $|0\rangle$ and $|1\rangle$ under the same set of noisy channels. The point where the error-corrected qubit performs as well as the trivial encoding is often referred to as the break-even point.

Bosonic rotation codes

Preliminaries

Alright. That’s enough with the introduction. Let us get into the real deal.

Basically we’re trying to do single-qubit gate, so we only have to worry about single-mode bosonic codes atm. In experiments, the dominant noise processes are loss, gain, and dephasing. Loss means you lose one photon. Gain means you absorb one photon. And dephasing is basically a mixture of small, erroneous rotations in the phase-space (?).

We use discrete rotation symmetry to define a class of single-mode codes called bosonic rotation codes. The code has a discrete $N$-fold rotation symmetry if any state $|\psi\rangle$ in the codespace is a $+1$ eigenstate of the discrete rotation operator

\[ \hat{R}_N=\exp\left(i\dfrac{2\pi}{N}\hat{n}\right), \]

where $\hat{n}=\hat{a}^\dagger\hat{a}$ is the Fock-space number operator. One can think of $\hat{R}_N$ as the identity operator on the codewords. One may even go further and say $\hat{R}_N$ is the stabilizer, however in other to detect the error we’re not looking at the syndrome of $\hat{R}_N$.

We define an order-$N$ rotation code to be a code where the operator

\[ \hat{Z}_N \coloneqq \hat{R}_{2N} = \exp\left(i\dfrac{\pi}{N}\hat{n}\right) \]

acts a logical $\bar{Z}$.

The logical codewords for any order-$N$ rotation code can be constructed from discrete rotated superpositions of a normalized primitive state $|\Theta\rangle$. In general, from the definition of $\bar{Z}$,

\[ \bar{Z}|0_L\rangle = |0_L\rangle,\newline \bar{Z}|1_L\rangle = -|1_L\rangle \]

the two orthogonal codewords must satisfy

\[\begin{align} |0_L\rangle &= \dfrac{1}{\mathcal{N}_0}\sum_{m=0}^{2N-1}e^{i\frac{m\pi}{N}\hat{n}}|\Theta\rangle,\newline |1_L\rangle &= \dfrac{1}{\mathcal{N}_1}\sum_{m=0}^{2N-1}(-1)^m e^{i\frac{m\pi}{N}\hat{n}}|\Theta\rangle, \end{align}\]

Now, because the encoded logical states are characterized by two properties, first being the degree of $N$-fold rotational symmetry, and second being from which primitive state $\Theta$ the logical codeword are defined, hence we can change the subscript from $L\to N,\Theta$.

\[\begin{align} |0_{N,\Theta}\rangle &= \dfrac{1}{\sqrt{\mathcal{N}_0}}\sum_{m=0}^{2N-1}e^{i\frac{m\pi}{N}\hat{n}}|\Theta\rangle,\newline |1_{N,\Theta}\rangle &= \dfrac{1}{\sqrt{\mathcal{N}_1}}\sum_{m=0}^{2N-1}(-1)^m e^{i\frac{m\pi}{N}\hat{n}}|\Theta\rangle, \end{align}\]

There is a technical constraint on the choice of $|\Theta\rangle$ which will be explored later.

When the rotated primitives $|\Theta\rangle$ are orthogonal, meaning that

\[ \begin{align} \langle\Theta|(\hat{Z}_N)^m|\Theta\rangle =0,\forall 0 < m < 2N, \end{align} \]

then $\mathcal{N}_0=\mathcal{N}_1=2N$. Generally, however, they are not orthogonal, and the normalization constants are different. But, the codewords themselves are exactly orthogonal (of course, otherwise they are useless) for any valid $|\Theta\rangle$:

\[\begin{align} \langle 0_{N,\Theta} | 1_{N,\Theta} \rangle = \dfrac{1}{\sqrt{\mathcal{N}_0\mathcal{N}_1}}\propto A\sum_{m=0}^{2N-1}(-1)^m = 0 \end{align}\]

because there is an even number of $(-1)^m$. Furthermore, any state in the codespace $|\psi_{N,\Theta}\rangle = a|0_{N,\Theta}\rangle + b|1_{N,\Theta}\rangle$ has $N$-fold rotation symmetry, since

\[ \begin{align} \hat{R}_N|\psi_N\rangle = a\hat{R}_N|0_N\rangle + b\hat{R}_N|1_N\rangle=a|0_N\rangle + b|1_N\rangle \equiv |\psi_N\rangle, \end{align} \]

where we have suppress the $\Theta$-subscript.

Under this paradigm, we realize that rotation codes can have the same degree of rotation symmetry $N$. While a given primitive $|\Theta\rangle$ uniquely defines an order-$N$ rotation code, there are many possible primitives $|\Theta\rangle$ that give rise to the same code.

  1. The famous cat code has primitive being a coherent state of the harmonic oscillator $|\Theta_{\texttt{cat}}\rangle = |\alpha\rangle$.

  2. Another example being the 0N code, where logical codewords are $|0_\texttt{0N}\rangle=|0\rangle, |1_\texttt{0N}\rangle = |N\rangle$. The primitive state in this case could be, for example, $|\Theta_\texttt{0N}\rangle = (|0\rangle + |N\rangle)/\sqrt{2}$.

Fock-space structure

Discrete rotational symmetry enforces a spacing of the codewords in Fock space, which underpins the codes’ robustness to loss and gain errors.

This statement basically means that we have a larger than 1 code distance. Consider the action of $\hat{Z}_N=\hat{R}_{2N}=\exp\left(i\frac{\pi}{N}\hat{n}\right)$ on an arbitrary state $|\psi\rangle = \sum_n a_n|n\rangle$,

\[ \begin{align} \hat{Z}_N|\psi\rangle=\sum_n e^{i\pi n/N}a_n|n\rangle \end{align} \]

Clearly $|\psi\rangle$ is a $+1$ eigenstate of $\hat{Z}_N$ if and only if $a_n=0$ for all $n\neq 2kN$ (since, you know, $\exp(i 2k\pi)=1$). And $|\psi\rangle$ is a $-1$ eigenstate of $\hat{Z}_N$ if and only if $a_n=0$ for all $n\neq (2k+1)N$. This leads to the following general form for any $\pm 1$ eigenstates of $\hat{Z}_N$,

\[\begin{align} |0_N\rangle &= \sum_{k=0}^\infty f_{2kN} |2kN\rangle,\newline |1_N\rangle &= \sum_{k=0}^\infty f_{(2k+1)N} |(2k+1)N\rangle \end{align}\]

To explicitly connect the two representations of rotation-symmetric codewords, one in the primitive states rep. and one in the Fock-basis, we use the relation for a Kronecker comb,

\[ \dfrac{1}{M}\sum_{m=0}^{M-1} \exp\left(i\dfrac{2\pi mn}{M}\right)=\sum_{k=0}^\infty \delta_{n, kM},\ n = 0, 1, 2,\dots \]

to construct a projector onto the set of Fock states $|2kN+l\rangle$ for $k=0, 1, 2,\dots$. By definition, such a projector is

\[ \begin{align} \Pi_{2N}^l \coloneqq \sum_{k=0}^\infty |2kN+l\rangle\langle 2kN + l| \end{align} \]

Using the Kronecker comb,

\[ \sum_{k=0}^\infty |2kN+l\rangle\langle 2kN + l| = \dfrac{1}{2N}\sum_{m=0}^{2N-1}\left(e^{-i\frac{\pi l}{N}}\hat{Z}_N\right)^m \]

The factors $e^{i\pi l/N}$ with $l\in\{0, 1, \dots, 2N-1\}$ are the complex $2N$th roots of unity. Acting the projector on a primitive state $|\Theta\rangle = \sum_n c_n|n\rangle$ with at least one non-zero $c_{2kN+l}$

\[ \Pi_{2N}^l |\Theta\rangle = \sum_{k=0}^\infty c_{2kN+l}|2kN +l\rangle \]

will produce an unnormalized eigenstate of the operator $\hat{Z}_N$ with eigenvalue $e^{i\pi l/N}$.

It is now straightforward to see that the two representation are equivalent, since we can write

\[ \begin{align} |0_N\rangle = \dfrac{\hat{\Pi}^0_{2N}|\Theta\rangle}{\sqrt{\mathcal{N}_0^*}},\newline |1_N\rangle = \dfrac{\hat{\Pi}^N_{2N}|\Theta\rangle}{\sqrt{\mathcal{N}_1^*}},\newline \end{align} \]

For the codewords to be well-defined it is now clear that the primitive must have support on at least one of the $|2kN\rangle$ Fock states and one on the $|(2k+1)N\rangle$ Fock states. Because they have support of different Fock states, they are by definition orthogonal.

The dual-basis codewords, $|\pm_N\rangle$ are constructed as usual via plus and minus equal superposition of the encoded $|0_N\rangle$ and $|1_N\rangle$. In the Fock space representations, they are

\[ \begin{align} |+_N\rangle &= \dfrac{1}{\sqrt{2}}\sum_{k=0}^\infty f_{kN}|kN\rangle,\newline |-_N\rangle &= \dfrac{1}{\sqrt{2}}\sum_{k=0}^\infty (-1)^k f_{kN}|kN\rangle \end{align} \]

Because we’re having both support from even multiple of $N$ and odd multiple of $N$, both $|\pm_N\rangle$ have support on the full set of $|kN\rangle$ Fock states. It’s interesting to note that, as one compares $|0_N\rangle$ and $|+_N\rangle$, one realizes any logical $|0_N\rangle$ state is also a logical $|+_{2N}\rangle$ for a code with twice the rotation symmetry (i.e. we going from $N$-fold symmetry to $2N$-fold symmetry), which is not necessarily the same code. In other words, for a given codeword $|0_{N,\Theta}\rangle$ defined by a primitive $|\Theta\rangle$, we have that

\[ \begin{align} |0_{N,\Theta}\rangle = |+_{2N,\Theta’}\rangle \end{align} \]

for some primitive $|\Theta’\rangle$. Whenever the codeword normalization constant equal to each other, the primitive states must be the same.

While we have a nice picture of how to do $Z$ operation within our error-correcting schemes, we don’t have an equally simple picture of $X$ operation. We’ll try to do $\bar{X}$ later.

Now, a useful quantity for comparing codes is the average excitation number of the code,

\[ \begin{align} \bar{n}_{\texttt{code}} &= \dfrac{1}{2}\text{tr}\left[\hat{\Pi}_{\texttt{code}}\hat{n}\right]\newline &=\dfrac{1}{2}\left(\langle 0_N|\hat{n} |0_N\rangle + \langle 1_N|\hat{n}|1_N\rangle\right) \end{align} \]

By construction the average excitation number is the same for each of the dual-basis codewords, and should be $\bar{n}_{\texttt{code}}=\langle \pm_N|\hat{n}|\pm_N\rangle$. Since the rotation operator commutes with number operator, rotations do not increase the excitation number. The computational-basis codewords have different average excitation number due to different phases in the superpositions, but it remains bounded.

The phase grids and the Fock grids

With a given primitive $|\Theta\rangle$, the order of rotation symmetry $N$ parameterizes a code both in phase space and in Fock space. It is therefore natural to think of two different concepts of code distance. Here, we have number distance $d_n\coloneqq N$ and rotational distance $d_\theta \coloneqq \pi/N$. The number rotation and phase-space rotation play a dual rule: Codes of increasing $N$ are further separated in Fock space but are more closely separated in terms of rotations. For an order-$N$ rotation code, we refer to the set of angles $\{m d_\theta\}$ for $m=0, 1, \dots, 2N-1$ as the phase grid and the set of Fock states $\{|kN\rangle\}$ for $k=0,1,\dots$ as the Fock grid. These are in analogy to the position- and momentum-space grids on which GKP codes are defined. The phase grid and Fock grid broadly characterize the types of error to which the code is intrinsically robust. For example, loss and gain errors, representing by $\sim\hat{a}^k$ or $\sim(\hat{a}^\dagger)^k$ are detectable as long as $k<d_n = N$. Dephasing errors, representing by $e^{i\theta\hat{n}}$, should be detectable as long as $\theta< d_\theta$.

Distinguishing the code words

A natural way of thinking is to use number and phase measurements. In the computational basis, one would think about measuring the average number of excitation, since we’re in the Fock state basis anyway. However, one could think of phase measurement once they’re in the dual basis

  1. Number measurement: For an order-$N$ code, a number measurement returns an outcome $kN$ for integer $k$. If $k$ is even, then the logical state is $0$, odd otherwise. In the presence of errors, such a measurement can still correctly identify the damaged codewords. For instance, assuming that the probability of loss and gain events are equally likely, then a straightforward way to decode is to: measure $n$, and round to the nearest $kN$. If $k$ is even, then it was “0”, and odd otherwise.

  2. Phase measurement: An approach to distinguishing $|\pm_{N,\Theta}\rangle$ with a certain robustness relies on phase estimation. In noiseless scheme, the task can be formulated as follows: Given the code word $|+_{N,\Theta}\rangle$ for a rotation code, determine $\theta$ in $e^{i\theta\hat{n}}|+_{N,\Theta}\rangle$. If $\theta\mod 2\pi/N = 0$, the state is $|+_{N,\Theta}\rangle$, while if $\theta\mod 2\pi/N = \pi/N$, the state is $|-_{N,\Theta}\rangle$. Note that by design, $|-_N\rangle=e^{i(\pi/N)\hat{n}}|+_N\rangle$.

Number-phase codes

We have to sacrifice an embedded phase uncertainty $\Delta_N(\theta)$ in out measurement scheme above. This phase uncertainty is minimized when the distribution of Fock-grid coefficients is completely flat, i.e. $|f_{kN}|=|f_{(k+1)N}|$ for all $k$. In such cases, $|\langle e^{iN \phi}\rangle|=1$ and the phase uncertainty vanishes (if you think about it, we have all amplitude coefficients being equal to each other, meaning that we don’t have any information regardings the number of excitation). The only problem with this scheme is that such state is not normalizable, making the scheme purely theoretical. However, we theorize that there exists a certain limit of Fock-grid coefficients such that the phase uncertainty is sufficiently small. As it turns out, this limit exists.

Ideal number-phase codes

In analogy with ideal GKP codes defined in terms of superpositions of position (or momentum) eigenstates, we define a familty of order-$N$ rotation codes as

\[ \begin{align} |0_{N,\texttt{phase}}\rangle&\coloneqq\sum_{m=0}^{2N-1}|\phi\rangle,\newline |1_{N,\texttt{phase}}\rangle&\coloneqq\sum_{m=0}^{2N-1}(-1)^m|\phi\rangle \end{align} \]

where the general $\phi\rangle$ state are the superpositions of Pegg-Barnett phase states

\[ \begin{align} |\phi\rangle \coloneqq \dfrac{1}{\sqrt{2\pi}}\sum_{n=0}^\infty e^{in\phi}|n\rangle \end{align} \]

For our ideal number-phase codes, this phase state is chosen such that $\phi=m\pi/N$.

\[ \begin{align} |\phi_{N,\texttt{phase}}\rangle \coloneqq \dfrac{1}{\sqrt{2\pi}}\sum_{n=0}^\infty e^{i(m\pi/N)n}|n\rangle \end{align} \]

One may perform summation over $m$ to see that the aboved-defined encoded states are supported by $2kN$ Fock states for logical ‘0’ and $(2k+1)N$ Fock states for logical ‘1’. Indeed,

\[ \begin{align} |0_{N,\texttt{phase}}\rangle &= \sum_{m=0}^{2N-1} \dfrac{1}{\sqrt{2\pi}}\sum_{n=0}^\infty e^{i(m\pi/N)n}|n\rangle \newline &=\dfrac{1}{\sqrt{2\pi}}\sum_{n=0}^\infty\sum_{m=0}^{2N-1}e^{i\pi mn/N}|n\rangle \end{align} \]

Note that

\[ \begin{align} \dfrac{1}{2N}\sum_{m=0}^{2N-1}\exp\left(i\dfrac{i\pi m n}{2N}\right)=\sum_{k=0}^\infty\delta_{n,2kN} \end{align} \]

Then \[ \begin{align} |0_{N,\texttt{phase}}\rangle &= \dfrac{1}{\sqrt{2\pi}}\sum_{n=0}^\infty\sum_{m=0}^{2N-1}e^{i\pi mn/N}|n\rangle\newline &\propto \sum_{n=0}^\infty\sum_{k=0}^{\infty}\delta_{n/2,kN}|n\rangle=\sum_{k=0}^\infty |2kN\rangle \end{align} \]

Similarly for the encoded 1, where there is a surplus $(-1)^m$ in the front, then

\[ \begin{align} |1_N\rangle \propto \sum_{k=0}^\infty |(2k+1)N\rangle \end{align} \]

Any state in the codespace spanned by $\{|0_{N,\texttt{phase}}\rangle, |1_{N,\texttt{phase}}\rangle\}$ is a $+1$ eigenstate of $\hat{R}_N$. The codewords are also $+1$ eigenstates of a number translation operator such that

\[ \hat{\sum}_N \coloneqq \sum_{n=0}^\infty |n\rangle \langle n + 2N|, \]

We can define an $\hat{X}_N$ gate from this generalized operator,

\[ \begin{align} \hat{X}_N \coloneqq \hat{\sum}_{N/2} = \sum_{n=0}^\infty |n\rangle \langle n+N| \end{align} \]

Note that this $\hat{X}_N \coloneqq \hat{\sum}_{N/2}$ operator commute with the rotation operator $\hat{R}_N$ (an encoded logical operator commute with the stabilizer) and anticommute with $\hat{Z}_N$, so it’s good.

Approximate number-phase codes

Ideal number-phase codes as defined above are unphysical, because they require an infinite excitation number and are not normalizable.

However, one can see that for any rotation code with positive, real Fock-grid coefficients $\{f_{kN}\}$, we have $\langle \pm_{N,\Theta}|\hat{X}_N|\pm_{N,\theta}\rangle=\pm \langle e^{iN\theta}\rangle$.

This $\langle e^{iN\theta}\rangle$ thing is called the mean modular phase,

\[ \langle e^{iN\theta}\rangle = \int_0^{2\pi} e^{iN\theta}\mu(\theta)d\theta = \dfrac{1}{2}\sum_{k=0}^\infty |f_{kN}f_{(k+1)N}|, \]

Remember that plus and minus are eigenstates of the $X$ operator, hence for the $\hat{X}_{N}$ gate we should have the mean modular phase approaches unity. This is true if and only if $\Delta_N(\theta)\to 0$. In the limit of vanishing phase uncertainty, we obtain a family of codes whose stabilizer are $\hat{\sum}_N$ and for which $\hat{X}_N$ acts as a logical $\bar{X}$.

An interesting property of number-phase codes arises from the fact that as the phase uncertainty vanishes, two normalization constants are equal. It immediately follows that the dual-basis codewords also become equal-weight superpositions of the primitive state. Hence, a stronger number-phase duality emerges: the dual-basis codewords $|\pm_N\rangle$ are separated from each other by exactly $d_\theta=\pi/N$ in terms of phase-space rotations, but have support on the exact same set of Fock states. Conversely, the computational-basis codewords are separated from each other by $d_n=N$ in Fock space, but supported on the same set of phases $\{m\pi/N\}$.

Next, we briefly examine in which regime notable bosonic rotation codes become number-phase code.

  1. First being the codes constructed using normalized Pegg-Barnett phase states as introduced above. As the parameter that sets their truncation in Fock space becomes large $s\to\infty$, Pegg-Barnett codes approach ideal number-phase codes.

  2. Cat codes and binomial codes approach the phase vanishing regime in the limit of large $\alpha$ and large truncation $K$ respectively.

Informally speaking, we refer to any family of rotation codes that satisfies $\Delta_N(\theta)\to 0$ in an approachable limit as number-phase code.

Symmetry as a resource: quantum computing with number-phase codes

Here we introduce a universal quantum computing scheme based on three basic ingredients: preparation of codewords in the state $|+_N\rangle$, a small number of unitary gates, and (destructive) measurement in the logical $\hat{X}$ basis.

For unitary gates, fault tolerant means the gates should not amplitfy errors too badly. For measurement scheme, fault tolerant means the codewords $|\pm_N\rangle$ should be distinguishable in the presence of small errors.

Here, we’ll see that given a supply of encoded basis state $|+_N\rangle$, rotation symmetry and number-translation symmetry imply the ability to execute any gate in the logical Clifford group.

Universal operations for number-phase codes

The quantum computing scheme introduced in the following is based on the universal set

\[ \{\bar{S}, \bar{C}_Z\} \cup \{\mathcal{P}_{|+_N\rangle}, \mathcal{P}_{|T_N\rangle}, \mathcal{M}_X\} \]

where

  1. $\bar{S}$ is an encoded version of the phase gate, $\hat{S}=\text{diag}(1,i)$;
  2. $\bar{C}_Z$ is an encoded $\hat{C}_Z=\text{diag}(1,1,1,-1)$;
  3. $\mathcal{P}$ stands for the preparation of an encoded state;
  4. $\mathcal{M}_X$ stands for measurement in the logical $|\pm_N\rangle$ basis.

The state $|T_N\rangle \propto |0_N\rangle + e^{i\pi/4}|1_N\rangle$ is used for gate teleportation of the non-Clifford $\hat{T}$.

Unitary gates

We have already shown that logical $\bar{Z}$ for an order-$N$ rotation code can be implemented through a simple rotation $\hat{Z}_N=e^{i\pi\hat{n}/N}$. The next gate in our set is the following two-mode gate that implements a controlled-rotation between an order-$N$ and an order-$M$ rotation code,

\[ \text{CROT}_{NM} \coloneqq e^{i(\pi/NM)\hat{n}\otimes\hat{n}} \]

To understand its action of the codespace, we recognize that

\[ \text{CROT}_{NM}|i_N\rangle \otimes |j_M\rangle = (-1)^{ij}|i_N\rangle \otimes |j_M\rangle, \]

for $i,j=0,1$. Thus, the $\text{CROT}$ gate acts as a $\bar{C}_Z$ gate on the codespace of any two rotation codes.

This is a cross-Kerr interaction. We can also have self-Kerr interaction, by noticing that $\bar{S}=\hat{S}_N\coloneqq e^{i(\pi/2N^2)\hat{n}^2}$. The action of this phase gate can be further understood by considering the Fock states,

\[ \begin{align} \hat{S}_N|2kN\rangle = e^{(i\pi/2)4k^2}|2kN\rangle = |2kN\rangle,\newline \hat{S}_N|(2k+1)N\rangle =e^{(i\pi/2)(4k^2+4k+1)}|(2k+1)N\rangle = i|(2k+1)N\rangle \end{align} \]

Teleported gates

The $\text{CROT}$ gate and logical $\mathcal{M}_X$ measurements, together with appropriately prepared ancillae, allow us to complete a universal set of operation with a gate-teleported logical Hadamard $\bar{H}$ and $\bar{T}$ gate.

An ancilla prepared in $|+_M\rangle$ allows execution of the Hadamard gate, using a teleportation circuit. Because this scheme is based only on Clifford gates and magic-state injection, rather than correcting the conditional Pauli $\bar{X}$, the simplest solution is to keep track of it in the Pauli frame. Alternatively, the process can be repeated until the desired outcome is achieved. This is indeterministic quantum computation.

The set $\{\bar{C}_Z, \bar{H}, \bar{S}\}$ generates the Clifford group. To achieve universality, we teleport the gate $\hat{T}$ by consuming an ancilla prepared in $|T_M\rangle = (|0_M\rangle+e^{i\pi/4}|1_M\rangle)/\sqrt{2}$.


  1. The most embarrasing thing I ever did as an undegrad physics was to write $({a})^\dagger = {a}$. In my defense, it looks kind of tempting. ↩︎

Next time, we'll talk about "How a spherically symmetric cow is different from a symmetrically spherical cow."