Presented by Zhi Han
B. M. Terhal and D. Weigand, Encoding a Qubit into a Cavity Mode in Circuit QED Using Phase Estimation, Phys. Rev. A 93, 012315 (2016).
The displacement operator is a common operation in optics. Since momentum is the generator of translations,
x
\(\psi (x)\)
\(e^{-ia\hat p}\psi (x)\)
The \(|0\rangle\) and \(|1\rangle\) GKP states are defined to be
\(|0\rangle\) and \(|1\rangle\) GKP states.
q
\(|2n\rangle\)
\(|2n+1\rangle\)
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
GKP state is defined to be the +1 eigenspace of \(S_q, S_p\) where
Set the eigenvalue to be \(S_q, S_p = +1\). By definition, this implies \(|\psi\rangle\) is \(2 \sqrt \pi\) periodic.
\((-1)^n|n\rangle\)
\(|n\rangle\)
\(|+\rangle\) and \(|-\rangle\) GKP states.
q
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
\(|0\rangle\) and \(|1\rangle\) GKP states.
q
\(|2n\rangle\)
\(|2n+1\rangle\)
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
\((-1)^n|n\rangle\)
\(|n\rangle\)
\(|+\rangle\) and \(|-\rangle\) GKP states.
q
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
In a similar fashion, we can get the GKP states in the momentum basis instead of the position basis by taking the fourier transform.
\(|0\rangle\) and \(|1\rangle\) GKP states.
\(|+\rangle\) and \(|-\rangle\) GKP states.
q
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
\((-1)^n|n\rangle\)
\(|n\rangle\)
p
\(|2n\rangle\)
\(|2n+1\rangle\)
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
\((-1)^n|n\rangle\)
\(|n\rangle\)
p
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
q
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
\(|2n\rangle\)
\(|2n+1\rangle\)
Imagine a shift error has a occured where the state has been displaced by \(e^{-i \mu_q \hat p}\).
How can we detect and correct this error?
q
\(|2n+\mu_q\rangle\)
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
\(\mu_q\)
\(|2n\rangle\)
Gates
Stabilizers
States
Problem: The infinitely squeezed GKP state is not normalizable.
Idea: Replace each Dirac delta with a squeezed Gaussian state. Normalize the entire state with a Gaussian envelope.
(Terhal and Weigand 2016)
\( \Delta = \) stdev/squeezing of mini peak
\(\tilde{\Delta} = \) stdev/squeezing of entire state
In the \(|+\rangle\) GKP state, roles of \(\tilde{\Delta}, \Delta\) are interchanged.
Rest of the talk: \(\Delta = \tilde{\Delta}\)
Infinite squeezing: \(\Delta \to 0\)
Measuring the complex eigenvalue \(e^{i\theta}\) of a unitary operator \(U\) is called phase estimation.
control
target
Image: Quskit
Input:
First register (control): \(n\) qubits to store the value \(2^n \theta\)
Second register (target): \(|\psi\rangle\), an eigenvector of \(U\)
Step 1: Hadamard the first register. \(\left|\psi_{1}\right\rangle=\frac{1}{2^{\frac{n}{2}}}(|0\rangle+|1\rangle)^{\otimes n}|\psi\rangle\)
Step 1: Hadamard the first register. \(\left|\psi_{1}\right\rangle=\frac{1}{2^{\frac{n}{2}}}(|0\rangle+|1\rangle)^{\otimes n}|\psi\rangle\)
Step 2: Apply controlled-\(U\) gates.
Since \(U|\psi\rangle=e^{2 \pi i \theta}|\psi\rangle\), the action of \(2^j\) gates corresponding to the \(j\)th qubit is:
Step 2: Apply controlled unitary gates. Using the identity
\(k = \) the integer that represents a 2^n bit string. e.g. 3 = 11
Step 3: Apply inverse quantum fourier transform.
Step 4: Measure. Obtain an integer \(2^n \theta\).
For this problem, \(x = 2^n \theta\).
Standard phase estimation with a hybrid setup.
Limitations:
- Requires high number of photons
- Difficulty with controlled \(U^{2^n}\)
control
target
(Terhal and Weigand 2016)
If we perform phase estimation on a unitary operator \(\hat U\) with an arbitrary state \(|\varphi\rangle\). Does the state go to the eigenvector \(|\psi\rangle\)? If so, can we use phase estimation to generate exotic states such as the GKP state?
When I measure a arbitrary state \(|\varphi\rangle\) with an hermitian operator \(\hat H\), the state goes to the eigenvector \(|\psi\rangle\).
For the rest of this talk, I will refer to \[U = S_p = e^{-i 2\sqrt{\pi} \hat p}\]
control
target
(Terhal and Weigand 2016)
Controlled-\(U\):
Diag:
control
target
Consider \(\varphi = 0\). On the control qubit, measure in \(|+\rangle\) basis.
Consider \(\varphi = \pi/2\). On the control qubit, measure in \(|+\rangle\) basis.
Can be obtained experimentally
Enough to resolve ambiguity in theta
control
target
Idea: Optimize \(\varphi\) to gain the most information possible about \(\theta\) by considering the derivative \(\frac{\text{Pr}_{\varphi}(+|\theta)}{d\theta}\).
(Terhal and Weigand 2016)
Consider a coherent state, which is not a eigenstate of
\(U = S_p\). After one round of phase estimation (with repetition), \(x = 0, 1\)
This will create a sequence of coherent states on a line. The filter is Binomial, and approximately Gaussian.
(Terhal and Weigand 2016)
(Terhal and Weigand 2016)
M
(Terhal and Weigand 2016)
(Terhal and Weigand 2016)
Def. A displaced GKP state is a GKP state with two displacement operators \(D_q(\mu_q), D_p(\mu_p)\) and \(\mu_q ,\mu_p \in [0, \sqrt \pi)\).
They are the eigenstates of the \(S_q, S_p\) operators.
q
\(|2n+\mu_q\rangle\)
0
\(\sqrt \pi\)
\(2\sqrt \pi\)
\(3\sqrt \pi\)
\(4\sqrt \pi\)
\(5\sqrt \pi\)
\(6\sqrt \pi\)
\(\mu_q\)
\(|2n\rangle\)
If \(|\psi\rangle\) is a displaced GKP state, we can do error correction:
Could something like this hold for general \(|\psi\rangle\)?
Every CV state can be expressed as a superposition of displaced GKP states. For \(m \in \mathbb{Z}, \mu_q \in [0, \pi)\),
If we collapse the superposition \(\mu_q, \mu_p\) through phase estimation,
This explains why the protocol in (Terhal and Weigand 2016) works so well:
We can express a two mode squeezed state into the GKP basis.
phase diagram... we find, for specific values of \(\mu_q, \mu_p \) the result is a Bell state.