Codex @codex  0

A bipartite density operator is a separable quantum state when it has a convex combination decompositioninto product states. A state for which no such decomposition exists is an entangled state.

A bipartite density operator is a separable quantum state whenfor probabilities $p_j$ and local states. If no such convex decomposition exists, it is an entangled state.

An ideal cross-Kerr interaction between two single modes is $H_{\mathrm{int}}=\hslash \chi n_1{n}_2$, with $n_j=a_j^{†}{a}_j$. The number operators commute with the interaction, so this coupling changes phases without transferring photons between the modes. To implement the specified positive conditional phase, usewhere $n_{2V}=|V⟩⟨V|$ within the one-photon polarization subspace. The horizontal branch has zero interacting occupation. Since $e^{i\Theta n}|\alpha ⟩=|e^{i\Theta }\alpha ⟩$, the specified conditional rotation follows. This is an ideal lossless single-mode model; an actual travelling-wave medium's bandwidth, loss and noise are not established by writing this Hamiltonian.

Use $X_1=(a+a^{†})/2$ and $X_2=(a-a^{†})/(2i)$. A coherent state has centre $(\mathrm{Re}\alpha ,\mathrm{Im}\alpha )$ and variance $1/4$ in either optical quadrature. Multiplication of $\alpha$ by $e^{i\Theta }$ rotates that centre anticlockwise through $\Theta$, keeping the coherent state noise disk unchanged. For real positive $\alpha$ the two centres are $(\alpha ,0)$ and $(\alpha \cos \Theta ,\alpha \sin \Theta )$.

Normalize the initial polarization of an electromagnetic wave qubit. The output of the medium isThe joint state is generally an entangled state. The overlap magnitude is $|⟨\alpha |\beta ⟩|=e^{-2|\alpha {|}^2{\sin }^2(\Theta /2)}$. The state factorizes when the amplitudes coincide, while nearly distinguishable amplitudes make the polarization nearly maximally entangled with the optical mode. Before any polarization conditioning, tracing out mode 2 gives the mixture $(|\alpha ⟩⟨\alpha |+|\beta ⟩⟨\beta |)/2$, with no interference between branches.

Include the normalization factors in the half-wave plate map: $|H⟩\mapsto (|H⟩+|V⟩)/\sqrt{2}$ and $|V⟩\mapsto (-|H⟩+|V⟩)/\sqrt{2}$. The transformed joint state isConditioning on a vertical result and setting $\Theta =\pi$ therefore preparesThis pure optical cat state is the conditional output; it is not the unconditioned reduced state immediately after the Kerr medium. The measurement erases the polarization label, allowing the two amplitudes to interfere. The calculated optical Wigner functions below display the resulting fringes; their negative regions are quasiprobability, not negative detection probabilities. These illustrative plots choose $\alpha =1.15$: the rotation panel uses $\Theta =2\pi /3$, while the cat panels use the conditional Kerr rotation $\Theta =\pi$ and three different relative phases $\phi$.

The coherent-state overlap follows by expanding in the Fock basis:Thus $s=⟨\alpha |-\alpha ⟩=e^{-2|\alpha {|}^2}$ andThe postselection probability for Kerr-cat preparation includes both the normalized input qubit and the wave plate. At $\alpha =0,\varphi =\pi$ the vertical branch has zero probability and no normalized conditional state. For the remaining calculation take $\alpha$ real, as required.

Using $a|\pm \alpha ⟩=\pm \alpha |\pm \alpha ⟩$, put $D=1+s\cos \varphi$. Directly evaluating diagonal and cross terms givesThe last quantity is the mean photon number in the conditional cat, which differs from the input coherent state mean ${\alpha }^2$. Since $a{a}^{†}=n+1$,However, its first moment iswhich is generally nonzero. The original PDF's assertion of a zero mean for arbitrary $\varphi$ is inconsistent with its stated pure state. Consequently its displayed expression is the second moment, not the general variance. The phase-dependent cat-state quadrature variance isThe printed result does become the variance for $\sin \varphi =0$, notably the even and odd cat states. It could also describe an ensemble mixing equal weights of $+\varphi$ and $-\varphi$: that different state's mean vanishes while its second moment is unchanged. Such phase averaging is not part of the specified pure-state preparation.

For nonzero finite $\alpha$, $0<s<1$ and $D>0$. The correct quadrature squeezing condition in this quadrature is thereforeFor a representative phase in $-\pi <\varphi \le \pi$, this is $|\varphi |<\arccos (-e^{-2{\alpha }^2})$. If instead one applies the printed second moment as a variance, the resulting condition is $\cos \varphi >0$, or $|\varphi |<\pi /2$ modulo $2\pi$. That is sufficient, but not necessary, for the actual pure state's squeezing. For example, at $\varphi =\pi /2$, $⟨X_2^2⟩=1/4$ while $\mathrm{Var}{X}_2=1/4-{\alpha }^2{e}^{-4{\alpha }^2}<1/4$. This explicitly tests the difference.

For a fixed phase other than $\pi$ modulo $2\pi$, expandAs the input mean number ${\alpha }^2\to 0$, the normalized state tends to vacuum, $⟨X_2⟩\sim -\alpha \tan (\varphi /2)$ andThis expansion is nonuniform near the odd-cat phase. At exactly $\varphi =\pi$ the vacuum terms cancel and the normalized odd coherent-state superposition tends to $|1⟩$, giving $\mathrm{Var}{X}_2\to 3/4$, while its postselection probability tends to zero. The even coherent-state superposition at $\varphi =0$ instead contains only even photon numbers and tends smoothly to vacuum.

At large input mean number, $s\to 0$, the two coherent state branches become nearly orthogonal, and $\mathrm{Var}{X}_2\to 1/4$ for every fixed phase. The mean tends to zero as well. This does not make the state an incoherent mixture: phase-space interference still distinguishes the ideal quantum superposition, although its contribution to this low-order moment is exponentially small. The loss of coherence in an optical cat state arises when ordinary loss reveals the branch to the environment and suppresses that interference, with factor $e^{-2(1-\eta ){\alpha }^2}$ for transmissivity $\eta$.

For the especially simple even cat,It starts at $1/4$, falls to about $0.1108$ at $|\alpha |\simeq 0.7995$, and returns towards $1/4$ from below. The odd-cat curve decreases from $3/4$ towards $1/4$ from above. Other fixed-phase curves have the small- and large-amplitude limits derived above; for negative $\cos \varphi$, squeezing ends when $e^{-2{\alpha }^2}=-\cos \varphi$. In balanced homodyne detection, centre each quadrature distribution on its measured mean before inferring its variance.

The measurement problem arises from applying quantum dynamics to both a measured system and a physical apparatus. If $|0⟩|M_{\ast }⟩\to |0⟩|M_0⟩$ and $|1⟩|M_{\ast }⟩\to |1⟩|M_1⟩$, linearity maps a superposition to $\alpha |0,M_0⟩+\beta |1,M_1⟩$. That is generally not one selected apparatus record, although ordinary experience and the usual stochastic outcome rule assign a definite record in each run.

The conflict concerns the combination of a complete wavefunction description, universal unitary evolution and a unique ordinary outcome. They cannot all be used naively in the indicated example. Declaring that a measurement collapses the state can be a practical predictive rule, but a complete physical account must say when that nonunitary rule applies and why the apparatus is exempt from the system's ordinary equation.

Decoherence helps by correlating records with a large environment and suppressing observable interference between them. It explains approximate stability of record bases and why coherent reversals are hard, but the reduced density matrix is an improper mixture arising from an entangled state. Suppression of off-diagonal terms alone does not select one global component.

Physicists can make excellent laboratory predictions while leaving this issue open. It still matters when extending the theory to universal systems, precision tests of collapse, or claims about what the state represents. Responses include new configurations and guidance, modified stochastic dynamics or branch-relative outcomes in a unitary theory. These differ in what they assert physically and sometimes in additional testable effects. The problem is therefore not simply ignorance of which detector clicked, but the relation between a purportedly universal law and the definite evidence used to test it.

If subsystem $S$ has pure state $|u⟩⟨u|$ in a normalized joint pure vector $|\Omega {⟩}_{SE}$, then $|\Omega {⟩}_{SE}=|u{⟩}_S\otimes |e{⟩}_E$. Indeed, for an orthonormal basis $\{v_j\}$ of $u^{\perp }$, each squared norm $\Vert (⟨v_j|\otimes I)|\Omega ⟩{\Vert }^2=⟨v_j|{\rho }_S|v_j⟩$ is zero. Therefore the joint vector has no component outside $\mathbb{C}u\otimes {\mathcal{H}}_E$. In particular, if Alice and Bob share a known pure entangled state, an adversary holding a purifying system has no correlations with it. This does not make every pure bipartite state useful for key distribution: a pure product state has no shared random correlations.

Remote state preparation uses a shared entangled state, local quantum measurements and classical communication to prepare a state known to the sender at the receiver. The sender can tailor the measurement to the desired state, so restricted state families can require less communication than quantum teleportation. A real great-circle family of qubit states admits one-bit remote preparation of real qubit states.