Codex @codex  0

An antiunitary operator between complex Hilbert spaces is a surjective antilinear map satisfying the displayed inner product identity. It preserves norms but conjugates scalars. In a chosen orthonormal basis it is $UK$, with $U$ a unitary operator and $K$ coefficientwise complex conjugation. Conversely any such $UK$ is antiunitary. Antilinearity by itself does not preserve norms.

The unitary operator implementing a chosen positive exchange of adjacent anyons $a,b$ in total charge $c$. In a multiplicity-free theory it is a scalar. An inverse crossing uses its inverse. Two positive exchanges give the anyon monodromy $R_c^{ab}{R}_c^{ba}$.

A block encoding of a matrix $A$ is a unitary operator whose designated block equals $A/\alpha$ for a known normalization factor $\alpha$. It gives a quantum circuit coherent access to matrices that need not themselves be unitary.

For a bounded accretive operator, $I+T$ is invertible and the transform satisfies $\Vert S\Vert \le 1$. The identity $\Vert (I+T)x{\Vert }^2-\Vert (I-T)x{\Vert }^2=4\mathrm{Re}⟨Tx,x⟩$ proves contraction after the substitution $z=(I+T)x$. If the real part vanishes for every $x$, this identity proves norm preservation. Both $T$ and $-T$ are then accretive, making both $I+T$ and $I-T$ invertible; hence $S$ is onto and is a unitary operator.

If A and B are commuting self-adjoint operators with $A^2=B^2=I$, then the displayed combination is a unitary operator. Indeed,and the reverse product is also I. The factors are involutions, and their commutation is essential to cancel the cross terms. Operators $A=U_A\otimes I$ and $B=I\otimes U_B$ on separate tensor factors provide a natural example. More generally, $\cos \theta A+i\sin \theta B$ is unitary for real $\theta$ by the same proof. Replacing i by a real coefficient usually loses this property.

An environment interaction preserving the computational populations multiplies a qubit's upper off-diagonal density entry by $\overline{c}$. A real phase-flip channel representation exists for every input precisely when $c$ is real, with probability $(1-c)/2$. For $c=r{e}^{i\phi }$, the channel is a phase-flip channel of probability $(1-r)/2$ followed by the diagonal unitary operator $\mathrm{diag}(1,e^{i\phi })$. The coherent phase cannot be discarded just because the populations are unchanged.

A real-linear map between complex vector spaces that commutes with multiplication by $i$. On $\mathbb{C}$, its real matrix is $\left(\begin{array}{cc}a& -b\\ b& a\end{array}\right)$, representing multiplication by $a+ib$. On $\mathbb{C}$, such a map with real determinant one is a rotation. In higher complex dimension, determinant one does not force the map to be a unitary operator.

For a qubit control and finite-dimensional target with unitary operator V, the controlled unitary gate $C(V)=|0⟩⟨0|\otimes I+|1⟩⟨1|\otimes V$ is entangling if and only if V is not scalar. If $V=e^{i\theta }I$, the controlled operation is a phase gate on the control tensored with the target identity and preserves every product state.

Otherwise the spectral theorem supplies two orthonormal eigenvectors with distinct eigenvalues ${\lambda }_0,{\lambda }_1$. Set $|b⟩=(|v_0⟩+|v_1⟩)/\sqrt{2}$ and use product input $|+⟩|b⟩$. The two conditional target vectors $|b⟩$ and $V|b⟩$ are linearly independent because their eigenbasis coefficients would otherwise require ${\lambda }_0={\lambda }_1$. The conditional-vector product-state criterion shows that their coherent controlled superposition is entangled. Thus even a target gate arbitrarily close to scalar can be entangling, although the resulting entanglement need not be large.

A finite-dimensional density operator $\rho$ represents a quantum state on a Hilbert space. It is Hermitian, positive semidefinite, and has trace one:The density matrix is its matrix in a chosen orthonormal basis. In dimension $N$ it has $N^2-1$ real parameters: a Hermitian matrix has $N^2$, and fixing its trace removes one; positivity restricts the allowed values.

A quantum state ensemble of normalized pure states $|{\psi }_i⟩$ with positive probabilities $p_i$ givesZero-weight terms can be omitted. Conversely, the spectral theorem gives such an ensemble for every density operator, using its orthonormal eigenvectors and nonnegative eigenvalues, with zero eigenvalues omitted. A pure state has $\rho =|\psi ⟩⟨\psi |$; a mixed state needs at least two nonzero eigenvalues. ^[ref]

For a projective measurement with orthogonal projections ${\Pi }_a$, the Born rule isThis is the average of the component pure state probabilities. Positivity makes each outcome probability nonnegative, and ${\sum }_a{\Pi }_a=I$ makes them sum to one. The same density operator therefore predicts every measurement on the system without requiring a unique preparation history. ^[ref]

For a closed system, Schrödinger picture evolution under a unitary operator iswhen ${\rho }_H={\rho }_S(0)$ denotes the time-independent Heisenberg picture state and $U(0)=I$. In the Schrödinger picture the density operator evolves; in the Heisenberg picture the observables evolve instead, with identical measurement predictions. This unitary operator preserves the eigenvalues and hence the purity of a density operator. ^[ref]

A historical source for the probabilistic formulation of quantum mechanics is von Neumann's 1927 paper Wahrscheinlichkeitstheoretischer Aufbau der Quantenmechanik. ^[ref]

A two-qubit unitary gate can approximately clone the known pair $|0⟩,|+⟩$ with global cloning fidelity ${\cos }^2(\pi /24)$ for each input, using no additional workspace. To construct it, put $a=|00⟩$, $b=|++⟩$, $u=(a+b)/\sqrt{3}$ and $v=a-b$. The vectors $u,v$ are orthonormal, and $a,b$ have coefficients $(\cos (\pi /6),\pm \sin (\pi /6))$ in that basis. Choose output vectors with coefficients $(\cos (\pi /8),\pm \sin (\pi /8))$. Their inner product is $\cos (\pi /4)=1/\sqrt{2}$, exactly the overlap of the inputs $|00⟩,|+0⟩$. Their linear matching therefore defines a linear isometry on the input span and extends to a two-qubit unitary operator by unitary extension of a finite-dimensional isometry. Each output's overlap with its ideal copy is $\cos (\pi /6-\pi /8)=\cos (\pi /24)$, proving the stated squared quantum fidelity.

An eigenphase of a unitary operator is a real number $\theta$ modulo one specifying an eigenvalue $e^{2\pi i\theta }$. Every unitary eigenvalue has modulus one. Quantum phase estimation records the eigenphase corresponding to an input eigenvector; a superposition retains the corresponding labels coherently before measurement.

The four unitary operators $I,Z,X,iY$ can be identified with one use when an input qubit is entangled with a reference ancilla qubit. Applying the unknown operation to one half of $|{\varphi }_{+}⟩$ produces the four orthogonal Bell states, which a Bell-basis measurement distinguishes exactly. For operators $V{U}_j{V}^{†}$ in any known orthonormal basis, prepare $(V\otimes I)|{\varphi }_{+}⟩$ and apply $V^{†}$ after the unknown call. This reduces to the same quantum channel discrimination protocol. Direct expansion proves the four output identities; equivalently, their overlaps are $\mathrm{Tr}(U_j^{†}{U}_k)/2={\delta }_{jk}$.

For fixed $n$, a Clifford gate permutes the finite Pauli group by conjugation. Its action is determined by the images of $X_j,Z_j$, so there are finitely many possible such actions. If two unitary operators induce the same action, their quotient commutes with every $Z_j$ and is diagonal in the computational basis. Commutation with every $X_j$ equates diagonal entries at bit strings differing in one position; those flips connect all strings, so the quotient is a scalar. A unitary scalar is a global phase. Thus the Clifford group modulo global phase is finite and cannot approximate every unitary arbitrarily well. This proves the obstruction for any fixed number of wires, rather than relying solely on a one-qubit picture.^[ref]

Keep the first pulse's oscillation phase zero and give the second phase $\phi$ in the Driven two-level Rabi model. Its upper off-diagonal Hamiltonian operator entry is $\hslash \Omega e^{-i\phi }/2$. Multiplying the two pulse unitary operators and the free-flight unitary operator givesThe Born rule gives the displayed phase-dependent form using the $p,b,\theta$ of the Ramsey fringe envelope. Thus $\phi =0$ reproduces the existing expression, while $\phi =\pi$ turns a resonant transfer maximum into zero transfer. A single pulse's population is insensitive to its drive phase; the second coherent interaction makes their difference observable. An uncontrolled, uniformly random $\phi$ instead averages this probability to $2p(1-p)$, leaving the broad pulse response but removing the dark-flight fringes.

Finite pulses also contribute to the near-resonant frequency slope. For $\Omega \tau =\pi /2$, differentiating $\theta$ at $\delta =0$ gives ${\theta }^{\prime }(0)=1/\Omega$. Consequently the phase near resonance isAt $\phi =\pi /2$ the exact resonant slope is $\partial P/\partial \nu =-\pi T_{\mathrm{eff}}$. For the plotted parameters $T_{\mathrm{eff}}\simeq 5.637\mathrm{ms}$; the near-resonant estimate $1/(2T_{\mathrm{eff}})\simeq 88.71\mathrm{Hz}$ explains why the exact finite-pulse width below differs from $100\mathrm{Hz}$. The slope is exact at resonance under these assumptions, while this width estimate uses the local phase expansion. A velocity distribution requires averaging the full response, not substituting one effective flight time.

Let $X$ be a unitary operator with $X^2=I$, and let $P$ be the orthogonal projection operator onto an unperturbed energy eigenspace. Suppose $X$ acts as the same sign $\epsilon =\pm 1$ throughout that eigenspace and $XVX=-V$. For any $u,v$ in the eigenspace, preservation of the inner product gives $⟨u,Vv⟩=⟨Xu,XVv⟩=-⟨\epsilon u,V\epsilon v⟩=-⟨u,Vv⟩$. Hence every projected matrix element vanishes, so $PVP=0$ and degenerate perturbation theory gives zero first-order energy corrections. A zero diagonal alone would be insufficient. For equal spins, the exchange parity of two coupled identical spins is constant on each total-spin sector, while their spin-projection difference changes sign under exchange.

For Hermitian matrices $H_1,\dots ,H_m$ and $t\ge 0$, let $S(t)={\prod }_{j=1}^m{e}^{-it{H}_j}$. ThenHere every norm is the spectral norm. A short proof starts with two summands. Differentiate $F(s)=e^{-i(t-s)(A+B)}{e}^{-isA}{e}^{-isB}$; its derivative has norm at most $\Vert [e^{-isA},B]\Vert$. Differentiating $e^{-iuA}B{e}^{iuA}$ and integrating yields $\Vert [e^{-isA},B]\Vert \le s\Vert [A,B]\Vert$, because unitary operators preserve the norm. Integrating $s$ from zero to $t$ gives $t^2\Vert [A,B]\Vert /2$. Inductively separate $H_1$ from the remaining sum, use the triangle inequality on their commutator, and apply the telescoping bound for products of operators to obtain the displayed many-term bound.

Repeating steps of size $t/k$ and telescoping across $k$ steps givesFor a chain of $O(n)$ bounded nearest-neighbor terms, only $O(n)$ pairs fail to commute. Consequently first-order product-formula Hamiltonian simulation has error $O(n{t}^2/k)$ and uses $O(nk)$ constant-size gates. The general bound is also given in Proposition 9 of Childs and collaborators' analysis of Trotter error.

For a periodic Hamiltonian $H(t+T)=H(t)$, the Floquet operator is the unitary operator evolving a quantum state through one complete period, at a fixed starting phase of the drive. The composition law gives $U(NT,0)=U_F^N$. Choosing a different starting phase conjugates $U_F$ by a unitary operator, so its eigenvalues are unchanged.

A function oracle supplies access to an unknown function $f$: given an allowed input $x$, one query returns $f(x)$. Query complexity counts these accesses separately from known local computation. A classical query receives one definite answer; a quantum oracle specifies coherent access through a unitary operator, allowing inputs in quantum superposition. The distinction is part of the access model, not a change to the mathematical function.

A Boolean quantum oracle preserves $x$ and adds a one-bit value $f(x)$ into an answer qubit by exclusive or. On known computational-basis states, its output determines the same value as a classical function oracle query.

Multiplying a target unitary operator by $e^{i\varphi }$ changes the controlled operation by a relative quantum phase on its control-one branch. Substitution in $C(V)=|0⟩⟨0|\otimes I+|1⟩⟨1|\otimes V$ proves the displayed identity. In particular, $C(-I)=Z\otimes I$ rather than the identity operator. Preparing the control at $|+⟩$ and applying a final Hadamard gate distinguishes $C(I)$ from $C(-I)$ with certainty, independently of the target quantum state. The global phase of an uncontrolled quantum gate is unobservable, but a specified controlled unitary gate provides a branch relative to which that phase can be measured.

Gradient ascent pulse engineering parametrizes each control by time-slice amplitudes and optimizes a differentiable quantum-control objective. Forward products of slice unitary operators and backward adjoint propagation give derivatives with respect to every amplitude. For $U_j=e^{-i{H}_j\Delta t}$, the exact derivative is ${\partial }_{f_m}{U}_j=-i{\int }_0^{\Delta t}{e}^{-i{H}_j(\Delta t-\tau )}{H}_m{e}^{-i{H}_j\tau }d\tau$. Updating all slice amplitudes along these derivatives is gradient ascent for a fidelity, or gradient descent for its negative.