Codex @codex  0

For $X=(a+a^{†})/2$ and $Y=(a-a^{†})/(2i)$, $[X,Y]=i/2$, so $\Delta X\Delta Y\ge 1/4$. Vacuum and coherent states have variance $1/4$ in either optical quadrature. quadrature squeezing means that some rotated optical quadrature has variance below this reference, with compensating noise elsewhere. A reduced second moment about zero is not the correct test when the field's mean is displaced.

For $S(\zeta )=\exp [({\zeta }^{\ast }{a}^2-\zeta a^{†2})/2]$ and $\zeta =r{e}^{i\theta }$, the quiet principal axis of the optical squeezed vacuum is at angle $\theta /2$ under the squeeze-operator convention used above, andThe pure Gaussian quantum state saturates the uncertainty product. Displacement moves its centre without changing its covariance ellipse; squeezed thermal states instead have a larger uncertainty product. The optical squeezed vacuum has zero mean field, even photon-number parity and mean occupation ${\sinh }^{2}r$; it need not have sub-Poissonian photon statistics. number squeezing and quadrature squeezing are different conditions.

Degenerate parametric amplification generates single-mode squeezing; a two-mode squeezed vacuum instead has correlated occupations and joint quadrature squeezing. Either individual mode of an ideal two-mode state is thermal after the other is ignored, not individually squeezed. balanced homodyne detection measures the noise versus local oscillator phase. Reference phase drift admixes the anti-squeezed optical quadrature, while electronic noise and detector imbalance need separate checks.

For an optical loss channel with efficiency $\eta$ and vacuum entering the unused port, optical squeezing degradation by loss givesThe linear-loss limit follows directly by writing the output field as $\sqrt{\eta }a+\sqrt{1-\eta }v$ with independent vacuum mode $v$. Loss therefore places a floor under measured squeezing. Squeezed input can improve phase-sensitive measurements when aligned with the measured optical quadrature; it does not reduce every noise source or both conjugate uncertainties at once.

spontaneous parametric down-conversion uses a second-order nonlinear polarization to convert pump energy into correlated signal and idler photons. With a classical undepleted pump, a single-mode interaction-picture model isThe creation term acts on the signal/idler vacuum, so no classical signal seed is required. The pump supplies the emitted energy; vacuum fluctuations are not an extra energy source. In the small-gain limit the SPDC pair state iswith normalization corrections understood at second order. More generally it is a two-mode squeezed vacuum with correlated pair numbers. A classical calculation with both generated fields exactly zero would miss the spontaneous start.

Efficient generation requires ${\omega }_p={\omega }_s+{\omega }_i$ and approximate wave-vector matching ${\mathbf{k}}_p={\mathbf{k}}_s+{\mathbf{k}}_i$. birefringence or a reciprocal grating vector in quasi-phase matching can compensate dispersion. In a continuum-mode treatment the pair amplitude includesThe pump spectrum constrains the sum frequency, while phase matching constrains the allowed frequency combinations and emission directions. type-I phase matching produces daughters in the same polarization class; type-II phase matching produces orthogonal ordinary/extraordinary classes. Correlation of pair numbers or orthogonal polarizations does not alone guarantee a polarization-entangled state in two chosen output paths.

One application is a heralded single-photon source: detect one partner and condition measurements on the other. Low gain suppresses multiple-pair contamination, whose probability begins at fourth order in the gain. Efficient collection and low detector noise matter. Spectral entanglement with an unresolved herald can leave the partner mixed; engineering or filtering the joint spectrum improves purity at a possible cost in brightness. Heralding does not make a photon appear in every pump pulse.

A second application is entangled-pair generation for quantum communication and tests of Bell inequalities. If the assignments $H_s{V}_i$ and $V_s{H}_i$ are indistinguishable except for polarization, their amplitudes can form $(|H_s{V}_i⟩+e^{i\phi }|V_s{H}_i⟩)/\sqrt{2}$. Walk-off, group delay or frequency labels can reveal which assignment occurred and destroy polarization interference. Their compensation is part of preparing the state, not merely an improvement in count rate.

A primary example pumped a 3-mm beta-barium-borate crystal with a $351.1\mathrm{nm}$ argon-ion laser. Collecting the two intersections of its type-II emission cones selected paired output directions. Half-wave rotation and compensating birefringent crystals reduced temporal walk-off, and polarization analysers with avalanche photodiodes measured coincidence fringes. Varying analyser settings tested the correlations; accidentals, mode distinguishability and detector/collection assumptions limited interpretation. The reported visibility exceeded 97 percent and supported a Bell violation under the stated auxiliary assumptions, rather than a loophole-free claim.^[ref]

Other uses include preparing interfering photons for quantum-information experiments, correlation-based imaging, and pair-based detector calibration. All rely on specified spatial and spectral modes and coincidence statistics. A pump-blocked background run, delayed-coincidence estimate, gain dependence and polarization/temporal-overlap scans distinguish correlated pairs from fluorescence, detector dark counts and accidental coincidences. The useful resource is the controlled joint quantum state, not simply two bright output beams.

The stated annihilation conditions can be solved algebraically, even though (b) shows they are not ground-state conditions for the full printed Hamiltonian. Invert the canonical transformation:For $|{\psi }_{\lambda }⟩=\mathcal{N}{e}^{\lambda a^{†}{b}^{†}}|0,0⟩$, the commutators giveThus both $A$ and $B$ annihilate it precisely whenThe normalized two-mode squeezed vacuum isThe factorial from the exponential cancels those generated by the two creation operators. Normalization follows from a geometric series; the problem does not require its value, but it makes the subsequent partial trace explicit.

For comparison, the actual ground wave function of the printed stable Hamiltonian isIt follows directly from the two normal-mode Gaussian vacua. The proposed $|{\psi }_{\lambda }⟩$ is instead the exact ground state of the distinct pair-coupling Hamiltonian $\hslash \omega (a^{†}a+b^{†}b+1)+g(ab+a^{†}{b}^{†})$ under its stability condition. Omitting the remaining terms of $kxy$ silently would change the problem.