Codex @codex  0

Alice sends the $m$ conjugate-coded qubits through the noiseless quantum channel. Bob independently chooses a uniformly random basis bit $y_i^{\prime }$ for each qubit and performs a projective measurement in the computational basis when $y_i^{\prime }=0$ or the Hadamard basis when $y_i^{\prime }=1$.

After all measurements, Alice and Bob publicly reveal $Y$ and $Y^{\prime }$ but keep the data bits secret. They discard every position with $y_i\ne y_i^{\prime }$ and retain the measured bits at positions where the bases agree. In the ideal channel those retained bits equal Alice's $x_i$ with certainty. Each pair of bases agrees with probability $1/2$, so the shared secret key has expected length $m/2$.

The operators $X_i$ act on different qubits and therefore commute, soSince $X=HZH$,The scalar $e^{-it}$ is a global phase. Thus each factor uses two Hadamard gates and one phase gate, and applying the factors in parallel or sequentially gives an exact quantum circuit of $\boxed{3n}$ elementary gates.

Each summand of $J_X$ acts on one qubit, while each summand $Z_i{Z}_j$ of $J_Z$ acts on two. Therefore $J=J_X+J_Z$ is a 2-local Hamiltonian. We haveSplit $t$ into $r$ steps of length $\delta =t/r$ and use the second-order product formulaFor one step, $\Lambda =O(\delta n^2)$ in the stated estimate, so the spectral-norm error is $O({\delta }^3{n}^6)$. The error bound for a product of unitary operators makes the total errorIt is therefore enough to choosewith $r$ also large enough that the small-step estimate applies.

All $Z_i{Z}_j$ terms commute. A factor $e^{-i\delta Z_i{Z}_j}$ uses a constant-size circuit of two controlled-NOT gates and one phase gate, up to a global phase, so one product-formula step costs $O(n^2)$ gates. The complete Hamiltonian simulation consequently has size

Every linear map from a qubit into the tensor product of that qubit and an environment can be expanded in the Pauli matrix orthonormal basis of operators. If $V|0⟩=|0⟩|e_{00}⟩+|1⟩|e_{01}⟩$ and $V|1⟩=|0⟩|e_{10}⟩+|1⟩|e_{11}⟩$, then the four coefficient vectors areThese environment vectors need not be orthogonal, so this is an operator expansion rather than a claim that the quantum channel is a classical Pauli channel. Physical isometries additionally preserve the inner products of the two input basis states.

The tensor products of single-qubit Pauli matrices form an orthogonal basis of the operator space on $n$ qubits, so every linear error operator has a Pauli expansion. Using $X^a{Z}^b$, with scalar phases absorbed into the coefficients, its computational basis action is $E|x⟩={\sum }_{a,b}{c}_{a,b}(-1{)}^{b\cdot x}|x+a⟩$, with binary arithmetic. This describes coherent errors as well as individual Pauli errors; it does not assume that the noise is a probabilistic Pauli channel. A physical noise map has Kraus operators of this form when the usual quantum channel description applies, for instance when the initial system and environment are uncorrelated.

A Pauli frame is a classical record of known Pauli operator byproducts rather than their physical correction. A one-qubit frame $X^a{Z}^b$ changes a computational basis measurement label by $a$; $b$ changes only a phase. Conjugation by Clifford gates maps Pauli operators to Pauli operators, so the frame can be updated by classical binary arithmetic throughout a Clifford circuit.

A Pauli gate applies a Pauli matrix as a unitary operator to a qubit. The Pauli X gate, Pauli Y gate and Pauli Z gate are common correction operations in quantum teleportation.

A Hamiltonian operator has perfect transfer between basis states $|a⟩,|b⟩$ at time $t_{\ast }$ if $e^{-iH{t}_{\ast }}|a⟩=e^{i\chi }|b⟩$ for a known global phase $\chi$. In an excitation-conserving qubit network whose vacuum is fixed, the initial product state with $\alpha |0⟩+\beta |1⟩$ at site $a$ and zeros elsewhere evolves to $\alpha |\mathrm{vac}⟩+\beta e^{i\chi }|b⟩$. A local phase gate at $b$ removing $\chi$ restores the unknown qubit there. This explains why transfer of the single-excitation basis state suffices for qubit transfer when the vacuum phase is also accounted for.

Suppose two orthonormal qubit bases have disjoint physical rays. Alice chooses which conjugate basis to measure on her half of a Bell state. A device that perfectly labels Bob's individual member of either basis would reveal Alice's choice without her outcome being communicated. Spacelike operation would therefore violate relativistic causality, even though ordinary projective measurements see the same reduced density matrix $I/2$.

A flat reference over $k$ adjacent Fock states has overlap $r_k$ with a one-photon shift and $s_k$ with a two-photon shift. These overlaps, obtained by counting shared number states, determine the reduced qubit channel of a number-conserving Hadamard interaction. For $k\ge 2$, its squared fidelity with the desired pure output is $1-(1+xz)/(2k)$ for input Bloch vector $(x,y,z)$. Its worst-case infidelity is $3/(4k)$ because $|xz|\le 1/2$. At $k=1$ the two-shift overlap is zero, not $-1$, and the fidelity is $1/2+(y^2-xz)/4$. Broad coherent number support, rather than merely a large fixed photon number, suppresses distinguishability of the outgoing field states.

For a photon in a fixed spatial mode, the two transverse photon polarizations span a qubit space. A pure photon polarization state is $\alpha |H⟩+\beta |V⟩$ with $|\alpha {|}^2+|\beta {|}^2=1$, and a general state is a two-dimensional density matrix. Its Bloch vector gives the normalized Stokes parameters. Polarization-dependent path separation can correlate this internal degree of freedom with a path qubit.

// Target: quantum-error-correction.bigb

A 2018 photonic experiment makes the distinction between populations and quantum coherence controllable. A 400-nm laser pumped a crystal to generate paired photons, filtered near 800 nm. One photon triggered collection; the other entered the apparatus. A half-wave plate and polarizing beam splitter selected horizontal photon polarization; another half-wave plate prepared balanced $H,V$ quantum superpositions. Separated polarization paths and diffraction gratings let a spatial light modulator control their frequency-dependent quantum phases and spectral weights. Recombined paths passed through quartz plates whose adjustable thickness controlled polarization–frequency coupling. Quarter- and half-wave plates plus a polarizing beam splitter selected tomography bases; jointly registered photodetector events supplied the readout. Quantum state tomography inferred polarization density matrices at each thickness. The dephasing model preserves diagonal populations while changing off-diagonal quantum coherence. Here the unobserved photon frequency acts as the environment for the polarization qubit. Finite modulator resolution and imperfect spectral shaping limited agreement with the intended dynamics; this experiment does not establish exact $I/2$ preparation or the ideal probabilities above. ^[ref]

A positive operator-valued measure is a family of positive operators $E_i$ satisfying ${\sum }_i{E}_i=I$. Each $E_i$ is called an effect and determines a probability $p_i=\mathrm{Tr}(E_i\rho )$ for input density operator $\rho$. The effects need not be orthogonal projections or commute. This permits measurements with more outcomes than the dimension of the Hilbert space, such as the trine qubit POVM. Coupling to a quantum ancilla and measuring the larger system supplies a physical route to generalized measurements. ^[ref].

For an elementary unsharp $Z$ example on a qubit, takeOn the eigenstate $|0⟩$, $p_{\pm }=(1\pm \eta )/2$; at $\eta =1/2$ they are $3/4$ and $1/4$. At $\eta =0$ the outcome is a fair coin independent of the input, and at $\eta =1$ these effects specify a sharp $Z$ projective measurement. Choosing $K_{\pm }=\sqrt{E_{\pm }}$ specifies one quantum instrument, but $U_{\pm }\sqrt{E_{\pm }}$ for outcome-dependent unitary operators has the same effects and different state updates. Thus POVM does not determine the post-measurement state.

A probability amplitude is a complex number that describes the contribution of a pure state to a specified measurement outcome. For a normalized quantum state $|\psi ⟩$ and a rank-one outcome associated with a normalized vector $|j⟩$, it is the inner product $a_j=⟨j|\psi ⟩$. The Born rule gives the corresponding probability $p_j=|a_j{|}^2=a_j^{\ast }{a}_j$, using the complex conjugate. Thus an amplitude can be negative or complex, while a probability is real and nonnegative. A wavefunction is the analogous position amplitude: its squared modulus gives a probability density, which must be integrated over a region to obtain a probability. ^[ref].

The extra information is the quantum phase. If $a=r{e}^{i\theta }$, its modulus $r$ fixes $|a{|}^2=r^2$, but its angle $\theta$ controls how it adds to another contribution. In the complex plane, picture amplitudes as arrows: add the arrows, then square the resulting length. For coherent contributions $A$ and $B$ to the same outcome,The last term is interference. Adding probabilities first loses it. Contributions with different relative quantum phases can reinforce or cancel even when their individual squared moduli are fixed.

For the qubit quantum superposition $|{\psi }_{\varphi }⟩=(\sqrt{3}/2)|0⟩+(e^{i\varphi }/2)|1⟩$, project onto the plus vector of the Hadamard basis. By linearity, the two contributions combine asHere $|A{|}^2=3/8$ and $|B{|}^2=1/8$, while the interference term is $(\sqrt{3}/4)\cos \varphi$. At $\varphi =0$, the arrows align and the plus probability is $1/2+\sqrt{3}/4\simeq 0.9330127$. At $\varphi =\pi$, they oppose and that probability is $1/2-\sqrt{3}/4\simeq 0.0669873$; cancellation is incomplete because the lengths differ. At $\varphi =\pi /2$, the arrows are perpendicular and the cross term vanishes. The minus amplitude uses $A-B$, reversing the cross term. These are alternate projective measurements on identically prepared copies, rather than a sequence of measurements on one copy.

A global phase multiplies every contribution by the same factor $e^{i\gamma }$, givingIt therefore changes no outcome probability. Changing a relative quantum phase can change the angle between contributions and hence their interference. Keeping amplitudes until the last step makes quantum circuits and matter-wave interference calculable; discarding their angles prematurely discards physically testable information. The Born rule example compares two measurement bases explicitly.

A projective measurement has self-adjoint orthogonal projections $P_i$ satisfying $P_i{P}_j={\delta }_{ij}{P}_i$ and ${\sum }_i{P}_i=I$. Measuring an observable with discrete spectral decomposition $A={\sum }_i{a}_i{P}_i$ reports eigenvalue $a_i$ with Born rule probability $p_i=\mathrm{Tr}(P_i\rho )$. A projector can have rank greater than one: the outcome then identifies an eigenspace, rather than a particular eigenvector inside it. Projectors specify the outcome statistics; the usual ideal conditional update is the additional Lüders rule.

In the qubit example from measurement in quantum mechanics, $Z=|0⟩⟨0|-|1⟩⟨1|$. At $\theta =\pi /3$, the zero and one probabilities are $3/4$ and $1/4$, regardless of the relative quantum phase $\varphi$. Under the Lüders rule, obtaining zero prepares $|0⟩$; obtaining one prepares $|1⟩$, up to global phase. Repeating the same measurement returns the same label with certainty, provided no intervening evolution or operation changes the measured sector. Repeatability concerns the conditional output, and does not mean the first outcome was predetermined.

Change to $X$ and its Pauli X eigenstates $|\pm ⟩=(|0⟩\pm |1⟩)/\sqrt{2}$. Adding the two probability amplitudes before squaring givesAt $\theta =\pi /3$ and $\varphi =0$, $p_{+}=(2+\sqrt{3})/4\simeq 0.9330$ and $p_{-}\simeq 0.0670$. At $\varphi =\pi /2$, both are $1/2$; at $\varphi =\pi$, the first pair is exchanged. The $Z$ statistics remain $3/4,1/4$ throughout. This is the same addition-and-cancellation principle as wave interference: relative quantum phase changes how amplitudes reinforce or cancel in another basis.

The beauty of this basis dependence is that information invisible to one measurement becomes accessible to another. A $Z$ measurement of an ensemble estimates its quantum state populations, while $X$ probes one component of its quantum coherence. These are experiments on separate identically prepared copies. Sequentially measuring $Z$ and then $X$ on one copy instead probes the disturbed post-measurement state. Quantum state tomography combines suitable ensemble statistics to reconstruct the original state.

The purity of a density operator is $\gamma =\mathrm{Tr}({\rho }^2)$. It equals one exactly for a pure state; in finite dimension $d$ it lies between $1/d$ and $1$. The minimum occurs exactly at the maximally mixed state $I/d$.

A worked qubit family interpolates between the mixed state $I/2$ and the pure state ${\rho }_{+}=|+⟩⟨+|$, where $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$:The eigenvectors are $|\pm ⟩=(|0⟩\pm |1⟩)/\sqrt{2}$, with eigenvalues ${\lambda }_{\pm }=(1\pm p)/2$. Squaring and summing these eigenvalues givesHere $P_X(+)$ is the Born rule probability of the positive outcome in an $X$ projective measurement. The Bloch vector is $(p,0,0)$, since ${\rho }_p=(I+p{\sigma }_x)/2$ with ${\sigma }_x$ one of the Pauli matrices. At $p=0$ the purity is $1/2$; at $p=1/2$ it is $5/8$, with $P_X(+)=3/4$; at $p=1$ it is one. Within this family, $p=1$ is a pure state and every $p<1$ is a mixed state. Extending the formula to $p>1$ produces a negative eigenvalue $(1-p)/2$, so it ceases to be a density operator despite remaining Hermitian with trace one.

The Bloch vector length measures polarization: for any qubit density operator, $\gamma =(1+|\mathbf{r}{|}^2)/2$. This connects the interior of the Bloch ball with mixed states and its boundary, the Bloch sphere, with pure states. ^[ref]

For a short proof of the general bound, use the spectral theorem: the nonnegative eigenvalues ${\lambda }_j$ sum to one, so $\gamma ={\sum }_j{\lambda }_j^2$. ThenThe lower bound is attained only when all eigenvalues equal $1/d$; the upper bound is attained only when exactly one eigenvalue is nonzero, and hence equals one. Purity is therefore a simple quantitative test of mixedness, invariant under a unitary operator. It does not specify the entire density operator: even distinct pure states all have purity one. ^[ref]