Ivan's wiki

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
# $\lvert +i\rangle$ (Plus-i state)
The **plus-i state** $\lvert +i\rangle$ (also written $\lvert i\rangle$ or $\lvert y\rangle$) is an equal superposition of $\lvert 0\rangle$ and $\lvert 1\rangle$ with a relative phase of $+i$. It is one of the six cardinal states on the [[bloch-sphere]], sitting at the positive $y$-axis at coordinates $(0, 1, 0)$.

$$\lvert +i\rangle = \frac{1}{\sqrt{2}}(\lvert 0\rangle + i\lvert 1\rangle) = \frac{1}{\sqrt{2}}\begin{pmatrix}1\\i\end{pmatrix}$$

On the [[bloch-sphere]], $\lvert +i\rangle$ is an eigenstate of the Pauli-Y gate with eigenvalue $+1$, meaning $Y\lvert +i\rangle = \lvert +i\rangle$. It is prepared from $\lvert 0\rangle$ by $SH\lvert 0\rangle$: the Hadamard rotates to the $+x$ equatorial point, then the S gate rotates $90°$ around $z$ to reach the $+y$ pole. Together with [[ket-minus-i|$\lvert -i\rangle$]], it forms the Y eigenbasis.

## Qiskit

```python
# Prepare |+i⟩ = SH|0⟩ — Hadamard to create superposition, then S to rotate to the +y pole.
from qiskit import QuantumCircuit
from qiskit.quantum_info import Statevector

qc = QuantumCircuit(1)
qc.h(0)
qc.s(0)

print(Statevector(qc).data)
```

## Applying gates
^ Gate ^ Result ^ Comment ^
| [[i-gate]] | $I\lvert +i\rangle = \lvert +i\rangle$ | The identity gate leaves $\lvert +i\rangle$ unchanged. |
| [[x-gate]] | $X\lvert +i\rangle = i\lvert -i\rangle$ | Swaps the amplitudes; the result $\tfrac{1}{\sqrt{2}}(i, 1)^T = i\lvert -i\rangle$ is $\lvert -i\rangle$ up to global phase. |
| [[y-gate]] | $Y\lvert +i\rangle = \lvert +i\rangle$ | $\lvert +i\rangle$ is an eigenstate of $Y$ with eigenvalue $+1$; the gate returns the state unchanged. |
| [[z-gate]] | $Z\lvert +i\rangle = \lvert -i\rangle$ | Z negates the $\lvert 1\rangle$ component, flipping the phase from $+i$ to $-i$ and taking the $+y$ pole to the $-y$ pole. |
| [[h-gate]] | $H\lvert +i\rangle = e^{i\pi/4}\lvert -i\rangle$ | Produces $\lvert -i\rangle$ up to a global phase of $e^{i\pi/4}$. |
| [[s-gate]] | $S\lvert +i\rangle = \lvert -\rangle$ | Multiplying $i$ by $i$ gives $-1$; the $+y$ equatorial point rotates to the $-x$ equatorial point. |
| [[t-gate]] | $T\lvert +i\rangle = \tfrac{1}{\sqrt{2}}(1,\, e^{i3\pi/4})^T$ | Adds $\pi/4$ to the azimuthal angle; lands midway between $\lvert -\rangle$ and $\lvert -i\rangle$ at $135°$. |
| [[rx-gate]] | $R_x(\theta)\lvert +i\rangle = \tfrac{1}{\sqrt{2}}(\cos\tfrac{\theta}{2} + \sin\tfrac{\theta}{2},\; i(\cos\tfrac{\theta}{2} - \sin\tfrac{\theta}{2}))^T$ | Tilts off the $+y$ pole toward the $z$-axis; at $\theta=\pi/2$ the amplitudes become unequal. |
| [[ry-gate]] | $R_y(\theta)\lvert +i\rangle = e^{-i\theta/2}\lvert +i\rangle$ | Global phase only; $\lvert +i\rangle$ is on the $y$-axis so a $y$-rotation has no observable effect. |
| [[rz-gate]] | $R_z(\theta)\lvert +i\rangle = \tfrac{e^{-i\theta/2}}{\sqrt{2}}(1,\, ie^{i\theta})^T$ | Sweeps the azimuthal angle; at $\theta=\pi$ gives $\lvert -i\rangle$ up to global phase, at $\theta=3\pi/2$ gives $\lvert +\rangle$. |
| [[u-gate]] | general rotation from $+y$ pole | Both $\phi$ and $\lambda$ contribute at all angles, unlike from $\lvert 0\rangle$ where $\lambda$ drops out. |

## Reaching other states
^ State ^ Gates ^ Comment ^
| [[ket-0|$\lvert 0\rangle$]] | $HS^\dagger\lvert +i\rangle = \lvert 0\rangle$ | $S^\dagger$ rotates $-90°$ around $z$ to $\lvert +\rangle$, then H maps to $\lvert 0\rangle$. |
| [[ket-1|$\lvert 1\rangle$]] | $HS\lvert +i\rangle = \lvert 1\rangle$ | S rotates to $\lvert -\rangle$, then H maps to $\lvert 1\rangle$. |
| [[ket-plus|$\lvert +\rangle$]] | $S^\dagger\lvert +i\rangle = \lvert +\rangle$ | $S^\dagger$ rotates $-90°$ around $z$, moving from the $+y$ pole to the $+x$ pole. |
| [[ket-minus|$\lvert -\rangle$]] | $S\lvert +i\rangle = \lvert -\rangle$ | S rotates $+90°$ around $z$, moving from the $+y$ pole to the $-x$ pole. |
| $\lvert +i\rangle$ | $I\lvert +i\rangle = \lvert +i\rangle$ | The identity gate leaves $\lvert +i\rangle$ unchanged. |
| [[ket-minus-i|$\lvert -i\rangle$]] | $Z\lvert +i\rangle = \lvert -i\rangle$ | Z flips the phase of the $\lvert 1\rangle$ component, taking the $+y$ pole to the $-y$ pole. |