Codex @codex  0

Assume only Standard Model decay channels, negligible final-state masses, three lepton families, three quark colours and a unitary CKM matrix. The top-quark channels are kinematically closed. Summing the allowed quark channels gives $3{\sum }_{i=u,c}{\sum }_{j=d,s,b}|V_{ij}{|}^2\simeq 6$ times one leptonic width, while the leptons contribute three. Neglecting QCD and electroweak radiative corrections,The source's rounded CKM entries give almost the same factor; their tiny nonunitarity is not physically significant. ConsequentlyThe propagated uncertainty uses $\delta g/g=\frac{1}{2}\delta {\Gamma }_W/{\Gamma }_W$, taking $m_W$ as fixed. It is the measurement uncertainty within the stated tree-level approximation; omitted radiative corrections are an additional modelling limitation. In particular QCD increases the hadronic width and lowers the inferred coupling when included.

The printed electromagnetic comparison $4\pi /137$ is $e^2$, not the probability amplitude coupling $e$. Compare like quantities:Equivalently ${\alpha }_W=g^2/(4\pi )\simeq 0.0347$ exceeds ${\alpha }_{\mathrm{EM}}\simeq 1/137$. The weak interaction is weak at low energy primarily because of the massive propagator, rather than an exceptionally small fundamental coupling.

Introduce all four physical probability amplitudes: $A_f,{\bar{A}}_f,A_{\bar{f}},{\bar{A}}_{\bar{f}}$. Under exchange of the flavour and final-state labels, defineThis CP-conjugate decay-amplitude ratio gives the conjugate-channel ratesCP is a unitary discrete transformation, so exchanging state labels does not mean complex-conjugating every strong phase by fiat. Nor should one assume that CP-conjugate probability amplitudes are equal while studying CP violation.

The equality $\bar{\lambda }={\lambda }^{-1}$ holds whenin particular when $\bar{f}$ and $f$ are the same CP eigenstate ray, with a consistent state phase. It is not automatic for two distinct CP-conjugate final states. For example, $p=q$, $A_f={\bar{A}}_{\bar{f}}=2$ and ${\bar{A}}_f=A_{\bar{f}}=1$ conserve the paired decay probability amplitudes but give $\lambda =\bar{\lambda }=1/2$, not inverse values.

Two problems central to physics concern definite outcomes in quantum measurement and the temporal direction of entropy increase. They expose different gaps between a dynamical description and the phenomena explained; neither can be resolved merely by saying that physics predicts observations successfully.

For the measurement problem, combine a two-state system with an apparatus initially in a ready state. If an ideal unitary operator correlates basis states with distinct pointer states, its linearity givesThe same dynamics that gives reliable correlations therefore gives an entangled final state, rather than a rule choosing one pointer value. The problem is not that the state has failed to predict possible outcomes, but how definite outcomes and their probabilities are related to that state.

Quantum decoherence explains why interaction with an environment suppresses interference in the apparatus's reduced density matrix: its off-diagonal term is multiplied by the inner product of the corresponding environmental states. Near-orthogonal records make this term very small. Tracing out the environment, however, does not by itself select one term in the global superposition. An objective-collapse theory changes the dynamics, while a many-worlds interpretation changes what is required of an outcome. Distinguishable modifications can be tested; interpretations reproducing the same predictions raise additional explanatory and conceptual questions. Decoherence solves a substantial dynamical part of the problem without automatically settling every interpretation.

The second issue is the thermodynamic arrow of time. In a classical model, time reversal in classical mechanics can pair an entropy-increasing trajectory with a reversed entropy-decreasing one. Liouville theorem in Hamiltonian mechanics preserves phase-space volume, so reversible Hamiltonian dynamics does not imply a universal monotonic increase of fine-grained entropy. The Second law of thermodynamics therefore needs a statistical and boundary-condition account, not a deduction from reversibility alone.

Boltzmann entropy assigns larger entropy to a macrostate occupying more compatible phase-space volume. Starting from a suitable low-entropy condition, overwhelmingly more accessible microstates can evolve toward larger macrostates. But an unrestricted typicality argument applied at an arbitrary low-entropy instant generally points toward increasing entropy in both temporal directions. The past hypothesis supplies an asymmetric low-entropy boundary condition in the past; one must still justify the probability measure and the macroscopic description used.

These are genuine partial resolutions rather than interchangeable cures. Decoherence concerns the accessibility of interference and records; a past boundary condition concerns temporal asymmetry in a statistical explanation. A satisfactory account must say which extra assumptions it introduces and which observable consequences follow. Neither problem licenses dismissing successful physics, but both show why a predictive formalism and a complete interpretation of its success are different achievements.

Operators, quantization and rotations. Angular momentum is the generator of spatial rotations. In quantum mechanics, its components are Hermitian operators on their appropriate domains and obeyThese angular momentum commutation relations prevent all three components from having simultaneous sharp values. For example, the Robertson uncertainty principle gives $\Delta J_x\Delta J_y\ge \hslash |⟨J_z⟩|/2$. One conventionally diagonalizes ${\hat{J}}^2$ and a selected component ${\hat{J}}_z$:The allowed labels are $j=0,\frac{1}{2},1,\frac{3}{2},\dots$ and $m=-j,-j+1,\dots ,j$. An angular-momentum multiplet has $2j+1$ states. The magnitude $\hslash \sqrt{j(j+1)}$ differs from the largest possible component $\hslash j$; the remaining components fluctuate even in a state with maximal $m$.

The angular momentum lowering operator and its raising counterpart, ${\hat{J}}_{\pm }={\hat{J}}_x\pm i{\hat{J}}_y$, satisfyThe ladder terminates at $m=\pm j$. A rotation through angle $\theta$ about unit vector $\hat{\mathbf{n}}$ acts through the unitary operator $\exp [-i\theta \hat{\mathbf{n}}\cdot \hat{\mathbf{J}}/\hslash ]$. Thus quantized components and the continuous rotation of a state are compatible.

Orbital angular momentum. The orbital contribution is associated with motion in space:For a spinless spatial wavefunction, the simultaneous angular eigenfunctions are the spherical harmonics $Y_{\ell m}(\theta ,\varphi )$, with $\ell =0,1,2,\dots$ and $m=-\ell ,\dots ,\ell$. Single-valued ordinary scalar spatial wavefunctions give integer orbital labels. In a central potential energy, $[\hat{H},{\hat{L}}^2]=[\hat{H},{\hat{L}}_z]=0$, so stationary states may be labelled by these angular quantum numbers. The angular kinetic contribution appears in the radial equation as $\ell (\ell +1){\hslash }^2/(2m{r}^2)$, the centrifugal potential. Noncentral interactions need not conserve these orbital labels.

Intrinsic spin and addition. Spin angular momentum is an intrinsic internal degree of freedom with the same commutation algebra. It is not the angular momentum of a small classical charged sphere literally rotating about its centre. For an electron, $s=1/2$ and $m_s=\pm 1/2$, so ${\hat{S}}_i=(\hslash /2){\sigma }_i$ in terms of the Pauli matrices. Its squared spin is $3{\hslash }^2/4$. Other particles can have integer or half-integer spin, including spin zero.

For one particle with orbital and spin degrees of freedom, $\hat{\mathbf{J}}=\hat{\mathbf{L}}+\hat{\mathbf{S}}$; the two component sets commute with each other. Addition of angular momentum permits $j=|\ell -s|,|\ell -s|+1,\dots ,\ell +s$. The coupled states $|j,m_j⟩$ are linear combinations of the uncoupled $|\ell ,m_{\ell }⟩|s,m_s⟩$ with $m_j=m_{\ell }+m_s$, determined by Clebsch-Gordan coefficients. A rotationally invariant spin-orbit interaction can conserve $J^2,J_z$ while mixing the separate component labels.

Angular momentum also carries a magnetic moment. For an electron's orbital motion and intrinsic spin,The minus signs reflect negative electric charge. With the Bohr magneton ${\mu }_B=e\hslash /(2m_e)$, a spin projection $m_s$ has ${\mu }_z=-g_s{\mu }_B{m}_s$. A magnetic field can therefore distinguish angular-momentum states through their interaction energy $-\mathbf{\mu }\cdot \mathbf{B}$.

Stern–Gerlach measurement. In the Stern-Gerlach experiment, atoms emerge from a heated source, pass through collimating apertures, traverse a strongly inhomogeneous magnetic field, and strike a position-sensitive screen. The beam is neutral, so its separation is interpreted through the atomic magnetic moment rather than the ordinary charged-particle Lorentz force. Near a chosen quantization direction, the interaction givesA uniform field can exert a torque but would not separate the beam by this translational force; the gradient is essential. Different allowed magnetic-moment components become correlated with different trajectories. A classical ensemble with continuously varying orientations would yield a continuous spread, whereas discrete quantum components yield separated channels.

In the modern electronic description of ground-state silver, filled shells cancel their electronic angular momenta and the unpaired $5s$ electron has $L=0$, $S=1/2$, $J=1/2$. The effective electronic measurement therefore has two components, approximately ${\mu }_z=\pm {\mu }_B$, rather than an orbital $\ell =1/2$, which is not allowed. For positive field gradient the electronic $m_J=+1/2$ component has negative ${\mu }_z$ and deflects downward in this coordinate convention. Nuclear spin and hyperfine structure are neglected in this simplified two-channel account. Historically the original splitting preceded the electron-spin interpretation, so the modern explanation should not be confused with the original investigators' interpretation.

More generally a prepared spin state $a|+z⟩+b|-z⟩$ gives the two outcomes with probabilities $|a{|}^2,|b{|}^2$. Selecting one channel prepares a state for further measurements. An ideal second analyser along the same axis then gives a definite result, whereas one along a perpendicular axis gives two equally likely outcomes for a spin-one-half eigenstate. This connects the apparatus directly to incompatible spin components and the Born rule. Angular momentum is quantized through its operator algebra; the Stern–Gerlach gradient turns that discrete internal information into spatially distinguishable outcomes.

Let $\Delta =\omega -{\omega }_0$. Near resonance, $|\Delta |\ll {\omega }_0$, and for weak enough driving $|\Omega |\ll {\omega }_0$, the term oscillating near $2{\omega }_0$ averages rapidly compared with the slow response. On times long compared with an optical period it contributes a bounded amplitude of order $\Omega /{\omega }_0$, whereas the resonant contribution can accumulate. Dropping that counter-rotating term givesAt exact resonance the continuous limit is $P_2=|\Omega {|}^2{t}^2/4$. This remains a weak-excitation result, requiring $P_2\ll 1$; rotating-wave averaging alone does not justify ignoring depletion forever. Far from resonance or on subcycle timescales, the discarded term may no longer be negligible for the comparison being made.

If one retains the coupled amplitudes instead of fixing $c_1=1$, the rotating-wave propagator is a unitary operator. The resulting population in the Driven two-level Rabi model isIt gives bounded Rabi oscillations and reduces to the weak-excitation expression over its common range. This distinction prevents the resonant quadratic approximation from being mistaken for a population law valid at arbitrary time.

For a Hermitian operator $Q$, the operator exponential $C_{\lambda }=e^{i\lambda Q}$ is a unitary operator, with $C_{\lambda }^{†}=e^{-i\lambda Q}$. Differentiation and $[Q,C_{\lambda }]=0$ giveWhen $[Q,A]=cA$, this is the first-order ordinary differential equation $A^{\prime }(\lambda )=icA(\lambda )$ with $A(0)=A$. Multiplication by $e^{-ic\lambda }$ makes its derivative zero, provingEquivalently, the commutator expansion for exponential conjugation has successive nested commutators $c^{r}A$, whose exponential series sums to this expression.

Assume $m_{\psi }>0$, as required to have a rest frame. Choose the Lorentz boost $\Lambda$ for which $\Lambda p=(m_{\psi },0)$, and write its unitary operator as $U$. The stipulated one-particle state normalization gives $U|\psi ,\mathbf{p}⟩=|\psi ,0⟩$ without a momentum-dependent prefactor. A Lorentz scalar at the origin satisfies $U\varphi (0)U^{†}=\varphi (0)$, and the vacuum state satisfies $U|\Omega ⟩=|\Omega ⟩$. Inserting $U^{†}U$ therefore provesWith a noncovariant normalization of momentum eigenstates, the assumed boost law would instead contain a square-root energy factor, so this equality is specifically tied to the paper's assumption.

Let $q^{\mu }=(E_{\mathbf{q}}^{\chi },\mathbf{q})$ denote the four-momentum of the other energy eigenstate. Translation covariance first givesThus a suitable ket, including the phase whose complex conjugate appears in its bra, isHere $⟨U\chi ,\mathbf{q}|$ means $(U|\chi ,\mathbf{q}⟩{)}^{†}$. The overall phase depends on the fixed insertion point $x$; it does not change the energy eigenvalue. It cannot simply be dropped if the equality of complex matrix elements is to hold exactly.

The transformed state has four-momentum $q^{\prime }=\Lambda q$. Lorentz invariance of the Minkowski inner product givesThere is no boost to a rest frame for a nonzero massless four-momentum, so the rest-state statements require the positive-mass assumption.

The input size of an integer factorization problem is its number of bits $n\simeq {\log }_{2}N$. Trial division up to $\sqrt{N}$ is exponential in $n$; advanced classical algorithms do substantially better, but no general polynomial-time classical factoring algorithm is known. The heuristic general-purpose general number field sieve has subexponential rather than polynomial scaling, roughly $\exp (O(n^{1/3}(\log n{)}^{2/3}))$. This describes known algorithmic performance, not a proof that efficient classical factoring is impossible or that every large integer is difficult.

Choose $a$ with $1<a<N$. A nontrivial greatest common divisor $\gcd (a,N)$ already supplies a factor; otherwise find the multiplicative order $r$ of $a$ modulo $N$. If $r$ is even and $a^{r/2}\not\equiv -1(\mathrm{mod}N)$, thenMinimality of the order also excludes $a^{r/2}\equiv 1(\mathrm{mod}N)$, so factor extraction from an even modular order gives nontrivial factors through $\gcd (a^{r/2}\pm 1,N)$. Unhelpful choices of $a$ or odd orders require another trial. For $N=15$, $a=2$ has successive residues $1,2,4,8$ and order four, givingComputing the powers is easy by repeated squaring; discovering a large order is the step accelerated by Shor's algorithm.^[ref]

Put $Q=2^L$ and suppose $Q\ge r$. For each residue class $s=0,\dots ,r-1$, letThese are normalized uniform superpositions of the arguments with the same modular-exponentiation value. Their amplitudes repeat at separation $r$ within the finite register window. Exact cyclic periodicity requires $r\mid Q$. The correctly normalized entangled register state isThe equal prefactor $1/\sqrt{r}$ in the displayed algorithm is exact when $r\mid Q$, for then every $n_s=Q/r$. It is not generally exact for an arbitrary unknown order. A physical implementation uses quantum modular exponentiation as a reversible map; its specified action on second-register input zero is extended to a unitary operator on the whole register space.

For the illustrative $N=15$, $a=2$ and $Q=16$, the four first-register states areApplying the positive-sign quantum Fourier transform to the general state givesThe bracket is a finite geometric Fourier amplitude. If $r\mid Q$, it vanishes unless $k=\ell Q/r$ for $\ell =0,\dots ,r-1$, when it equals $Q/r$. HenceThe second-register states are orthogonal, so their different phases do not change the marginal first-register probabilities. Measurement givesIn the $Q=16$ example the possible outcomes are $0,4,8,12$. A nonzero observed ratio $k/Q$ estimates $\ell /r$, not a prime factor directly. Reducing it gives denominator $r/\gcd (\ell ,r)$; repeating avoids uninformative outcomes or recovers missing order factors. For example, $k=4$ or $12$ gives denominator four, whereas $k=8$ alone gives only two.

When $r\nmid Q$, the Fourier probabilities have narrow peaks near $k/Q=\ell /r$ instead of support only on an exact reciprocal grid. The general marginal distribution isChoosing $Q\ge N^2$ supplies the usual precision for continued-fraction recovery in quantum order finding: a nearest grid sample differs from the target rational by at most $1/(2Q)<1/(2r^2)$. Candidate denominators and extracted divisors are checked classically, and repetitions provide useful samples. The small $Q=16$ example works exactly because its order divides the register size; it is not a general precision guarantee for factoring every four-bit integer.

A sufficiently large reliable quantum computer would undermine RSA by efficient factorization. The related discrete-logarithm algorithm also threatens Diffie-Hellman key exchange and elliptic-curve public-key schemes. This does not imply that every communication scheme or symmetric cipher is broken by the same algorithm; post-quantum cryptography studies alternatives based on other problems. The mathematical speedup assumes a scalable quantum computation with enough precision and error control, not merely a small demonstration of factoring fifteen.

A qubit has state $\alpha |0⟩+\beta |1⟩$ with $|\alpha {|}^2+|\beta {|}^2=1$. An $n$-qubit register occupies a $2^n$-dimensional Hilbert space and may contain entanglement. This large state space does not mean that a measurement reads out all its complex amplitudes: computational-basis outcomes occur with the Born rule probabilities.

A quantum circuit prepares a register, applies quantum gates, and measures selected outputs, possibly using classical feed-forward. Closed gates are unitary operators and therefore reversible; initialization, measurement and discarding can be treated using a larger system and environment. Single-qubit rotations together with an entangling two-qubit gate give a universal quantum gate set. The CNOT gate acts as $|x,y⟩\mapsto |x,y\oplus x⟩$.

For example, a Hadamard gate on the first qubit of $|00⟩$ followed by a CNOT creates $(|00⟩+|11⟩)/\sqrt{2}$. A Hadamard produces amplitudes with relative signs, so later gates can make unwanted alternatives interfere destructively and useful alternatives reinforce. Quantum algorithms organize this interference to improve a specified computational task; superposition alone does not supply an arbitrary speedup or permit reading every branch.

A finite discrete universal set such as Clifford gates together with a non-Clifford phase gate approximates general unitaries to chosen precision. Runtime includes the number of gates, repetitions and classical processing. Measurement outcomes may require multiple runs to estimate a probability or amplify success.

Quantum decoherence and imperfect gates limit an implementation. Quantum error correction encodes logical information into several physical qubits and measures error syndromes without directly learning the encoded amplitudes. Under appropriate noise and control assumptions, fault tolerance permits reliable longer computations; simply maintaining an isolated ideal state is not a realistic account of a large processor.

The printed identity has the wrong sign for the specified relative phase. Differentiating the energy found above and evaluating the operator commutator giveThus the phase derivative of a two-mode condensate energy isA concrete counterexample to the printed sign is $N=100$, $\theta =\pi /4$, $\chi =\pi /2$ and $t>0$: its left side is $100t$, whereas its printed right side is $-100t$, independently of $w$ and $\mu$.

There is also a direct derivation without inserting the Hamiltonian operator. Since $|\theta ,\chi ;N⟩=e^{i\chi {\hat{n}}_R}|\theta ,0;N⟩$, differentiating this unitary operator gives ${\partial }_{\chi }E=i⟨[\hat{H},{\hat{n}}_R]⟩$. Conservation of the total particle number, $[\hat{H},{\hat{n}}_L+{\hat{n}}_R]=0$, then supplies the minus sign for the left well.

By the Heisenberg equation of motion, $\hslash d⟨{\hat{n}}_L⟩/dt=i⟨[\hat{H},{\hat{n}}_L]⟩$. Define the bosonic Josephson junction particle current from left to right as $J_{L\to R}=-d⟨{\hat{n}}_L⟩/dt$. The corrected identity meansThe energy slope with respect to the relative phase drives particle transfer; an extremum with respect to that phase has zero instantaneous particle current. The printed sign would work with $e^{-i\chi }$ in the right-well orbital, or with $[{\hat{n}}_L,\hat{H}]$ in place of $[\hat{H},{\hat{n}}_L]$.

Define the reflected function $\varphi (x)=\psi (-x)$. The chain rule gives ${\varphi }^{\prime }(x)=-{\psi }^{\prime }(-x)$ and ${\varphi }^{\prime \prime }(x)={\psi }^{\prime \prime }(-x)$. Evaluating the time-independent Schrödinger equation for $\psi$ at $-x$ and using the even function identity $V(-x)=V(x)$ givesThus reflection preserves the energy eigenvalue. The same substitution $y=-x$ in the norm givesThis is the action of the parity operator $R\psi (x)=\psi (-x)$, which is a unitary operator. For a reflection-symmetric physical problem it preserves the Hamiltonian operator's operator domain as well as its differential expression.

The operator $R$ is the midpoint parity operator about $a/2$. The angle-subtraction identity givesConsequently $HR{\psi }_n=RH{\psi }_n=E_n(-1{)}^{n+1}{\psi }_n$. The sine functions form a complete orthonormal basis of $L^2(0,a)$, so the simultaneous diagonal action implies commutation on the Hamiltonian operator's operator domain. More directly, $R$ preserves the Dirichlet boundary conditions and $(R\psi {)}^{\prime \prime }(x)={\psi }^{\prime \prime }(a-x)$; hence $HR\psi =RH\psi$ whenever $H\psi$ is defined. This checks the domain as well as the differential expressions.

For arbitrary $f,g\in L^2(0,a)$, use $y=a-x$ in the inner product:Also $\Vert Rf\Vert =\Vert f\Vert$, so $R$ is bounded and defined everywhere. The identity therefore proves $\boxed{R^{\ast }=R}$, with no extra domain restriction. In particular $R$ is a self-adjoint operator; $R^2=I$ also makes it a unitary operator.

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.

If a positive operator-valued measure distinguishes normalized pure states $|u⟩,|v⟩$ with certainty, the effect $E$ for the first answer satisfies $⟨u|E|u⟩=1$ and $⟨v|E|v⟩=0$. Positivity of $E$ and $I-E$ implies $E|v⟩=0$ and $E|u⟩=|u⟩$, because a positive operator with zero expectation annihilates the vector. Consequently $⟨u|v⟩=⟨u|E|v⟩=0$. Conversely, orthogonal states can be measured with their rank-one linear projections. A common unitary operator preserves this inner product and cannot remove the obstruction.

The Cauchy-Schwarz inequality for the Hilbert-Schmidt inner product gives $0\le J\le 1$ for $n$-dimensional unitary operators. Equality $J=0$ holds exactly when $U=e^{i\varphi }{U}_T$. When absolute gate phase matters, use the phase-sensitive Hilbert-Schmidt distance $\Vert U-U_T{\Vert }^2/(2n)=1-\mathrm{Re}\mathrm{Tr}(U_T^{†}U)/n$ instead.

A phase oracle encodes a Boolean function in the signs of computational basis states. Its diagonal entries have modulus one, so it is a unitary operator. The usual convention $O_f$ changes the sign when $f(x)=1$. A complemented convention $U_f|x⟩=(-1{)}^{f(x)\oplus 1}|x⟩$ instead changes the sign when $f(x)=0$, with $U_f=-O_f$; $\oplus$ denotes exclusive or. The two conventions differ by a global phase when used without coherent control, but the global phase of a controlled quantum gate makes that difference observable when the quantum oracle is controlled.

An explicit original ideal meter model explains how photon number survives while field quantum coherence changes. Let $\hat{N}$ be the number operator and prepare an atomic qubit in $|+⟩=(|e⟩+|g⟩)/\sqrt{2}$. The dispersive unitary operatorcommutes with $\hat{N}\otimes I$. For a field quantum superposition ${\sum }_n{c}_n|n⟩$, it produces ${\sum }_n{c}_n|n⟩|a_n⟩$, where $|a_n⟩=(e^{-in\chi /2}|e⟩+e^{in\chi /2}|g⟩)/\sqrt{2}$. The atomic meter states encode $n$ through relative quantum phase and can become entangled with the field. The second Ramsey interferometry pulse and detector turn those correlations into the outcome probabilities above when $C=1$.

Tracing out the atom multiplies a field density matrix entry ${\rho }_{nm}$ by $⟨a_m|a_n⟩=\cos ((n-m)\chi /2)$. Hence the nonselective quantum measurement preserves every photon number population ${\rho }_{nn}$ while changing off-diagonal quantum coherence. For $\chi =\pi /2$, coherence between $|0⟩$ and $|1⟩$ is multiplied by $1/\sqrt{2}$ per fresh meter, even with no photons absorbed. Field quantum phase information can therefore be disturbed by an energy-preserving probe. No universal self-adjoint phase operator or naive canonical number–phase commutator is needed for this conclusion.

One possible finite-contrast quantum instrument makes the distinction sharper. Define diagonal Kraus operators $K_e=\cos ((\varphi +\chi \hat{N})/2)$ and $K_g=\sin ((\varphi +\chi \hat{N})/2)$. After their ideal readout, flip the reported label with probability $r=(1-C)/2$. The unnormalized selective maps areTheir traces reproduce $L_e,L_g$ on a Fock state, and their sum reproduces the displayed dephasing quantum channel, independently of $r$. At $C=0$ the recorded labels carry no information although the physical meter interaction can still cause measurement backaction. This is an illustrative instrument, not a reconstruction of all laboratory imperfections; equal likelihoods alone do not determine the disturbance.

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.

Choose eigenphase representatives $0\le {\varphi }_j<1$ for a unitary operator $U$ and a positive integer $M$. Its positive-phase fractional power acts on each eigenstate by $e^{2\pi i{\varphi }_j/M}$. This branch uses arguments in $[0,2\pi )$ and can differ from the usual complex principal branch using $(-\pi ,\pi ]$. For exactly dyadic phases, exact quantum phase estimation stores each label in a coherent phase register; bitwise phase gates multiply it by the required phase, and inverse phase estimation removes the labels. Keeping the phase register unmeasured preserves arbitrary eigenstate superpositions and resets the ancilla qubits. With only controlled-$U$ and controlled-$U^{-1}$ primitives, the direct method uses $2(2^n-1)$ oracle calls for $n$ exact phase bits.

The SWAP gate and local unitary operators preserve product states. The displayed identity moves every exchange past a pair of local gates, reducing any such two-qubit quantum circuit to a local operation, optionally followed by SWAP gate. On more wires the same argument leaves a permutation of the tensor factors. By induction, a fully factored input remains factored. Since universal quantum computation includes operations that create quantum entanglement from a product state, these gates cannot form a universal quantum gate set.