Nonlinear Quantum Optics
Nonlinear quantum optics uses intensity-dependent or wave-mixing responses to transform quantum states of electromagnetic modes. The material response may be described macroscopically by susceptibilities, but the predictions of interest are quantum:
- vacuum fluctuations are amplified into photons;
- photons are created in correlated pairs;
- one frequency mode is coherently converted into another;
- one quadrature is squeezed while its conjugate is anti-squeezed;
- photon number produces a state-dependent phase;
- multimode dispersion determines heralded purity and entanglement.
The central modeling chain is
Each arrow carries assumptions. A large quoted or does not by itself imply a bright, pure, or low-noise quantum source. Polarization selection rules, phase matching, group velocity, pump bandwidth, loss, Raman or fluorescence background, collection modes, and detector efficiency all enter the result.
Canonical Scope
Section titled “Canonical Scope”This page is the process-level overview. It owns
- the nonlinear-polarization expansion and susceptibility conventions;
- the passage from and to few-mode quantum Hamiltonians;
- three-wave and four-wave mixing bookkeeping;
- mode overlap, energy matching, momentum matching, and quasi-phase matching;
- the undepleted-pump approximation;
- degenerate and nondegenerate parametric amplification;
- phase-sensitive and phase-preserving gain;
- Kerr self- and cross-phase modulation;
- a map from interactions to squeezed, paired, converted, entangled, and non-Gaussian states;
- the limits imposed by multimode structure, depletion, absorption, and excess noise.
Squeezed Light owns optical quadrature conventions, state characterization, homodyne verification, decibels, loss, and phase noise. Parametric Down-Conversion owns the detailed biphoton state, source geometries, entanglement types, heralding metrics, and experimental pair-source workflow. This page supplies the common nonlinear machinery without duplicating those canonical treatments.
Nonlinear Polarization
Section titled “Nonlinear Polarization”Local polynomial shorthand
Section titled “Local polynomial shorthand”For a weak enough field and a medium with a regular perturbative response, the induced polarization can be expanded as
with repeated Cartesian indices summed. In SI units, has units of and has units of .
This compact equation suppresses frequency arguments and memory. A real material is generally dispersive, so the response is a time convolution. For example, the second-order frequency-domain polarization has the structure
up to Fourier-transform normalization. The delta function expresses time translation invariance of a stationary medium. Finite pump duration, modulation, or a time-dependent medium broadens or changes that constraint.
The susceptibility is a tensor with polarization selection rules, intrinsic permutation symmetries, resonant denominators, and generally complex frequency dependence. Its imaginary part is tied to absorption and dissipation; a purely Hermitian few-mode Hamiltonian is then incomplete without corresponding reservoir noise.
Inversion symmetry
Section titled “Inversion symmetry”Under spatial inversion in an electric-dipole bulk medium,
If the material is centrosymmetric, a term quadratic in cannot respect this relation, so the bulk electric-dipole vanishes. Third-order response is allowed. This rule does not forbid
- surface or interface second-order response;
- electric-quadrupole or magnetic-dipole contributions;
- a response induced by a static bias field;
- effective behavior in deliberately asymmetric structures.
Crystal point-group symmetry further determines which tensor components survive. Stating only “the material has ” is insufficient; the propagation direction, polarizations, and contracted tensor element must be specified.
Perturbative does not mean quantum
Section titled “Perturbative does not mean quantum”The susceptibility expansion is a constitutive description. It becomes quantum optical only after the participating field modes are quantized or coupled consistently to quantum reservoirs. A classical nonlinear wave equation can predict frequency conversion and gain, but it cannot by itself predict vacuum-seeded pair production, commutator-preserving amplifier noise, heralded states, or photon correlations.
From Susceptibility to a Mode Hamiltonian
Section titled “From Susceptibility to a Mode Hamiltonian”Expand the electric field in normalized spatial, polarization, and frequency modes. Inserting that expansion into the nonlinear interaction and retaining slowly rotating operator products produces an effective Hamiltonian. Its coupling constants contain
- the relevant tensor contraction of ;
- the vacuum field per quantum of every quantized mode;
- the classical amplitude of any undepleted pump;
- a spatial overlap integral;
- temporal and spectral overlap;
- phase-matching factors;
- convention-dependent numerical and permutation factors.
For three-wave mixing, a representative overlap is
Here the mode normalizations are part of the definition of . Comparing coupling constants from two papers without comparing those normalizations is unsafe.
In a dispersive or absorptive medium, deriving the Hamiltonian by naively writing can miss energy-density, normalization, and reservoir terms. Effective couplings should be derived within a declared mode normalization or inferred from a calibrated classical conversion process with the same geometry.
Three-Wave Mixing and χ²
Section titled “Three-Wave Mixing and χ²”Trilinear interaction
Section titled “Trilinear interaction”For pump, signal, and idler modes satisfying , a convenient phase convention is
The first term annihilates one pump quantum and creates one signal and one idler quantum. The Hermitian-conjugate term recombines signal and idler into the pump. The interaction conserves the Manley–Rowe combinations
These are mode-counting invariants of the ideal closed interaction, not statements that each occupation is separately fixed.
One susceptibility, several processes
Section titled “One susceptibility, several processes”Which process is named depends on the chosen frequencies, inputs, and output:
- Second-harmonic generation: two quanta near combine into one near .
- Sum-frequency generation: inputs at and produce .
- Difference-frequency generation: a strong pump mediates coherent conversion between two lower-frequency modes.
- Parametric amplification: a seeded signal is amplified while an idler is generated.
- Spontaneous parametric down-conversion: vacuum fluctuations seed signal-idler pair creation.
These are not unrelated effects. They are different operating points, rotating-wave terms, and boundary conditions of the same nonlinear response.
Energy and momentum bookkeeping for pair generation. A reciprocal-lattice or poling vector allows quasi-phase matching. After replacing the strong pump mode or modes by classical amplitudes, both processes can reduce to the same two-mode squeezing Hamiltonian, but their pump scaling, selection rules, parasitic processes, and phase-matching conditions differ.
Energy and Momentum Matching
Section titled “Energy and Momentum Matching”Longitudinal phase accumulation
Section titled “Longitudinal phase accumulation”Energy matching prevents rapid temporal phase winding. Spatial mode overlap must also add coherently along the device. For uniform collinear three-wave mixing, define
where for ordinary phase matching and is a reciprocal poling vector for quasi-phase matching. The longitudinal amplitude contains
where . The generated intensity or pair probability therefore carries
At exact phase matching, amplitudes from the full length add in phase. Away from it, longer interaction length narrows the acceptance bandwidth rather than indefinitely increasing useful output.
How phase matching is engineered
Section titled “How phase matching is engineered”Common strategies include
- birefringent phase matching;
- periodic poling and higher-order quasi-phase matching;
- waveguide dispersion and transverse-mode engineering;
- cavity resonance matching;
- noncollinear geometry;
- temperature, strain, or electric-field tuning.
The vector equation also enforces transverse momentum or spatial-mode correlations. In a focused beam or a waveguide, replacing every mode by one plane-wave vector is an approximation; the full overlap integral is the reliable object.
Pump bandwidth and group velocity
Section titled “Pump bandwidth and group velocity”For pulsed operation, the pump envelope constrains while the phase-matching function constrains a different combination of frequencies. Group-velocity mismatch tilts and narrows these constraints. Their product determines the joint spectral amplitude of a pair source.
Energy matching alone therefore does not determine the state. Two sources with the same central frequencies and brightness may have very different spectral entanglement, heralded purity, timing correlations, and collection efficiency.
Parametric Amplification
Section titled “Parametric Amplification”Undepleted-pump approximation
Section titled “Undepleted-pump approximation”If the pump is bright and changes negligibly during the interaction, replace its operator by a coherent amplitude,
After moving to resonant rotating frames, the three-mode Hamiltonian becomes the two-mode squeezing interaction
This approximation removes pump depletion, pump quantum fluctuations, and pump-output entanglement. It is excellent when conversion is a negligible fraction of a stable pump and fails near strong depletion, oscillation threshold, or few-pump-photon operation.
For constant over an effective interaction time , define . The Heisenberg transformation is
The identity
preserves bosonic commutators. Omitting the conjugated idler term would appear to amplify a mode but would violate .
Vacuum-seeded output
Section titled “Vacuum-seeded output”With both inputs in vacuum,
The source has zero mean field, , but nonzero occupation and pair correlation. Vacuum is not a hidden classical seed; it is the input quantum state whose fluctuations are transformed by the interaction.
The exact ideal output is
Signal and idler photon numbers are equal term by term. Either mode alone is thermal, while the joint state is pure and entangled for .
Seeded phase-preserving gain
Section titled “Seeded phase-preserving gain”Let the idler input be vacuum and seed the signal without signal-idler correlations. With power gain
the output signal occupation is
The final term is spontaneous amplifier noise. A phase-preserving amplifier must treat both signal quadratures equally and requires an independent idler degree of freedom; at high gain, an ideal linear amplifier adds at least the equivalent of half a quantum when noise is referred to its input. Real loss or a thermally occupied idler raises that floor.
Degenerate phase-sensitive gain
Section titled “Degenerate phase-sensitive gain”If signal and idler are the same mode, the Hamiltonian is
With
an appropriate pair of orthogonal quadratures transforms as
One quadrature is amplified and the other deamplified. This ideal phase-sensitive amplifier need not add noise to the amplified quadrature, but it requires a phase reference and does not amplify an unknown phase equally. Squeezed Light owns the state, quadrature, decibel, loss, and verification conventions.
Resonators and threshold
Section titled “Resonators and threshold”A resonator increases interaction time and selects modes. For an ideal degenerate mode with energy-decay rate , a linearized equation has the form
The small-signal threshold occurs at in this convention. Below threshold, the device is an optical parametric amplifier or oscillator source of squeezed output. At threshold, the linearized gain diverges mathematically, signaling the failure of the undepleted-pump approximation. Above threshold, pump depletion and nonlinear saturation establish a finite oscillating field.
Frequency Conversion Is a Different Interaction
Section titled “Frequency Conversion Is a Different Interaction”A strong pump can select a number-conserving difference-frequency term rather than pair creation:
This is an beam-splitter rotation in frequency space. For constant ,
where and . The conversion probability is .
Unlike a two-mode squeezer, this interaction preserves and cannot create photons from vacuum. It can translate a single-photon wavepacket, squeezed state, or entanglement between frequency bands if noise and mode mismatch are controlled.
χ³ Processes
Section titled “χ³ Processes”Four-wave mixing
Section titled “Four-wave mixing”A third-order medium supports interactions among four waves. For two pump modes and signal-idler generation, a representative quantum Hamiltonian is
Replacing the pumps by classical amplitudes gives the same two-mode squeezing form as parametric down-conversion, with
For a single degenerate pump,
Self- and cross-phase modulation can add intensity-dependent contributions to the actual phase mismatch. A source model that includes pair generation but omits those shifts can predict the wrong bandwidth or optimum pump power.
Four-wave mixing is used in fibers, integrated waveguides, atomic vapors, microresonators, and superconducting circuits. Its desired pair process may compete with Raman scattering, fluorescence, pump leakage, two-photon absorption, free-carrier effects, or thermal noise. Those backgrounds do not share one universal scaling law, so they must be measured rather than folded into an unexplained “efficiency.”
Self-phase modulation and the Kerr Hamiltonian
Section titled “Self-phase modulation and the Kerr Hamiltonian”Projecting a dispersive third-order response onto one ideal mode gives the Kerr Hamiltonian
Each Fock component acquires a number-dependent phase,
A coherent state therefore does not merely rotate rigidly in phase space: its different number components shear, producing quadrature squeezing at short times and non-Gaussian interference at special longer times. Loss rapidly erases the fine phase-space structure.
For two modes, an ideal cross-Kerr interaction is
It produces a phase in one mode conditioned on occupation of the other. This compact Hamiltonian is useful in resonators and effective circuit models, but a large clean single-photon cross-phase shift is difficult in a broadband traveling medium. Causality, finite response time, spectral entanglement, absorption, and Langevin noise must be included before claiming a deterministic photonic controlled phase.
Other third-order effects
Section titled “Other third-order effects”The same family includes
- third-harmonic generation;
- self- and cross-phase modulation;
- modulation instability;
- four-wave-mixing amplification and wavelength conversion;
- spontaneous four-wave-mixing pair generation;
- frequency-comb formation in driven resonators.
The selected operator term depends on carrier frequencies, phase matching, pump configuration, and rotating frame. A classical label such as “self-phase modulation” does not specify the quantum noise model.
Multimode Pair Generation
Section titled “Multimode Pair Generation”A real traveling-wave source creates continua of signal and idler modes. In the low-gain regime, a generic interaction is
The joint amplitude has the schematic structure
where is the pump envelope, the phase-matching function, and collects spatial, polarization, and collection-mode overlaps.
A Schmidt decomposition writes the normalized amplitude as
The effective spectral-mode number is
corresponds to a factorable pair amplitude and permits a pure heralded photon in the ideal lossless, perfectly resolved limit. Filtering can reduce the accepted Schmidt number but usually sacrifices rate and heralding efficiency. Source engineering aims to shape pump and phase matching before detection rather than discarding most of the state afterward.
Quantum-State Generation Map
Section titled “Quantum-State Generation Map”Pair creation
Section titled “Pair creation”At low gain, two-mode squeezing gives
Detecting one idler photon can herald a signal photon. Raising pump power increases the desired one-pair rate but also increases multipair contamination. A threshold detector that cannot distinguish one from two idler photons does not project onto an exact one-photon signal state.
Pair correlation is not automatically entanglement in every degree of freedom. The claimed subsystem, mode basis, density operator, and witness must be specified.
Gaussian state generation
Section titled “Gaussian state generation”Quadratic Hamiltonians in and generate Gaussian unitaries:
- degenerate pair creation generates single-mode squeezing;
- nondegenerate pair creation generates two-mode squeezing and entanglement;
- frequency conversion implements a passive beam-splitter rotation;
- displacements supplied by coherent drives change first moments.
Gaussian unitaries acting on Gaussian inputs do not create Wigner negativity. Non-Gaussian resources require, for example, photon counting and conditioning, a sufficiently strong Kerr interaction, a discrete emitter, or a non-Gaussian input state.
Number-dependent phases
Section titled “Number-dependent phases”Kerr evolution is nonlinear in number operators and can generate non-Gaussian states from coherent light. The same sensitivity that makes it useful also makes it vulnerable: uncertainty in interaction time, loss, and photon number becomes phase noise.
Quantum frequency interfaces
Section titled “Quantum frequency interfaces”Number-conserving conversion can connect wavelengths suited to memories, fiber transmission, detection, or microwave-to-optical interfaces. The conversion efficiency alone is not enough. A quantum interface should also report added noise, bandwidth, temporal-mode fidelity, pump leakage, and preservation of entanglement or nonclassical correlations.
Loss, Noise, and Open-System Completion
Section titled “Loss, Noise, and Open-System Completion”Loss is not merely a final reduction in count rate. It can
- mix vacuum or thermal noise into squeezed quadratures;
- destroy pair-number correlations asymmetrically;
- reduce heralding efficiency;
- make the surviving heralded state mixed;
- compete with coherent buildup inside a resonator;
- remove photons during Kerr evolution and randomize conditional phase.
An absorptive susceptibility must be accompanied by reservoir operators so output commutators remain correct. In a waveguide, distributed loss can act before, during, and after pair creation; replacing it by one beam splitter at the output is accurate only under stated conditions.
Useful measurements live on neighboring pages:
- Photon Counting owns detector POVMs, efficiency, dark counts, dead time, and number resolution.
- Correlation Functions owns , cross-correlation, and mode-normalization conventions.
- Homodyne and Heterodyne Detection owns quadrature receivers and vacuum calibration.
- Input–Output Theory Overview owns resonator ports, linewidths, reflection, transmission, and collected output fields.
A Reliable Modeling Workflow
Section titled “A Reliable Modeling Workflow”- Declare the modes. Specify spatial profile, polarization, carrier, bandwidth, and normalization.
- Identify the response. State the tensor component, frequency arguments, material symmetry, and whether absorption matters.
- Choose pumps and quantum modes. Say which fields are operators and which are classical amplitudes.
- Select rotating-wave terms. Check energy mismatch and identify pair creation, conversion, or Kerr evolution explicitly.
- Evaluate overlap and phase matching. Include finite length, focusing, transverse structure, dispersion, and quasi-phase matching.
- Test pump assumptions. Estimate depletion, gain, cavity threshold, and pump-noise transfer.
- Add loss and parasitic processes. Include the noise operators required by dissipation.
- Propagate to measured modes. Apply collection, filtering, propagation, detector response, and conditioning.
- Report source and detected quantities separately. Internal generation probability, escape efficiency, heralding efficiency, and click rate are not interchangeable.
Common Mistakes
Section titled “Common Mistakes”- Treating as a scalar constant. It is generally a dispersive tensor with symmetry, polarization, and absorption structure.
- Using energy conservation as the whole phase-matching condition. Spatial phases and mode overlap decide whether amplitudes add.
- Calling every device a down-converter. The selected frequencies and occupied inputs determine amplification, conversion, or harmonic generation.
- Replacing the pump by a number without checking depletion. The approximation also discards pump fluctuations and pump-output entanglement.
- Dropping the idler from an amplifier. Its conjugated operator preserves commutators and carries the minimum phase-preserving noise.
- Equating frequency conversion with amplification. Conversion is an number-conserving rotation; pair amplification is an transformation.
- Calling pair correlation entanglement. Classical mixtures can be correlated; an entanglement claim requires a state model and witness.
- Ignoring multimode structure. A single-mode Hamiltonian can fit total brightness while predicting the wrong heralded purity or homodyne mode.
- Treating loss as only fewer counts. Loss changes states, correlations, squeezing, and conditional purity.
- Assuming a large classical Kerr shift gives an ideal photonic gate. Response time, absorption, spectral entanglement, and noise can dominate at the single-photon level.
Exercises
Section titled “Exercises”Exercise 1: Inversion symmetry and an induced second-order response
Section titled “Exercise 1: Inversion symmetry and an induced second-order response”In a scalar model,
- Show that inversion symmetry forces every even-order coefficient to vanish.
- Suppose the centrosymmetric medium has a static bias and a small optical field , so . Find the effective coefficient of generated by the term.
Solution
Inversion symmetry requires
The polarization must therefore be an odd function of . Comparing the series term by term gives
for the ideal bulk electric-dipole response.
With a static bias,
The term quadratic in the optical field is . In this scalar convention,
The tensor result depends on the bias direction and contracted indices. This is the electric-field-induced second-harmonic mechanism in its simplest form.
Exercise 2: Finite-length phase matching
Section titled “Exercise 2: Finite-length phase matching”A uniform waveguide has length and constant phase mismatch .
- Find the generated intensity relative to exact phase matching, using only the longitudinal factor.
- Find the magnitude of the first nonzero for which the longitudinal amplitude vanishes.
Solution
The dimensionless argument is
Therefore
The first zero occurs when
so
A longer device raises the exactly matched amplitude but narrows the accepted mismatch range.
Exercise 3: One pump quantum in a three-wave mixer
Section titled “Exercise 3: One pump quantum in a three-wave mixer”Take real and
Start in .
- Show that evolution remains in the span of and .
- Find the exact state and conversion probability.
- Verify the Manley–Rowe invariants.
Solution
The Hamiltonian acts as
No other state is connected because there is at most one pump quantum and one signal-idler pair. Exponentiating this two-state generator gives
Thus
Both basis states have
Every superposition in the invariant subspace has the same eigenvalues of those three combinations.
Exercise 4: Gain and spontaneous amplifier output
Section titled “Exercise 4: Gain and spontaneous amplifier output”A nondegenerate parametric amplifier has . Its idler input is vacuum, and its signal input has mean occupation with no signal-idler correlation.
- Find the power gain .
- Find the output signal and idler occupations.
- Verify that their mean difference equals the input signal-idler difference.
Solution
The gain is
and
For a vacuum idler,
Their difference is
equal to its input value. The added photons appear as pairs, preserving .
Exercise 5: Squeezing followed by loss
Section titled “Exercise 5: Squeezing followed by loss”A degenerate parametric interaction produces from vacuum, using the quadrature convention . The squeezed mode then passes through an efficiency channel.
- Find the ideal squeezed and anti-squeezed variances.
- Find the observed squeezed variance.
- Express the observed squeezing in decibels relative to vacuum.
Solution
The ideal variances are
Loss mixes in vacuum:
Relative to vacuum,
The source produced about ideally, but loss reduced the directly observed squeezing.
Exercise 6: Single-photon frequency conversion
Section titled “Exercise 6: Single-photon frequency conversion”A frequency converter has mixing angle and pump phase . It acts on an input .
- Find the output state.
- Find the conversion probability.
- Explain what happens to vacuum input.
Solution
The creation-operator transformation gives
At ,
The conversion probability is
The two-mode vacuum remains vacuum because the interaction conserves total photon number. This is a coherent frequency beam splitter, not a vacuum-seeded amplifier.
Exercise 7: Kerr phases are not a rigid rotation
Section titled “Exercise 7: Kerr phases are not a rigid rotation”The initial state is
It evolves under
for a time .
- Find the final state.
- Compare before and after.
- Compare before and after.
Solution
The phases for are respectively
Therefore
The number probabilities are unchanged, so
both before and after. Initially,
whereas afterward,
Kerr evolution preserves number while changing relative phases between number sectors. A rigid phase-space rotation would instead multiply by a unit-modulus phase without changing its magnitude.
Exercise 8: Compare second- and third-order pump scaling
Section titled “Exercise 8: Compare second- and third-order pump scaling”A selected low-gain second-order pair process has
while degenerate-pump four-wave mixing has
Assume pump power satisfies and hold all other parameters fixed.
- Find the low-gain pair-probability scaling with for each process.
- By what factor does each probability change when the pump power doubles?
- Give two reasons the simple power laws can fail experimentally.
Solution
At low gain, pair probability is proportional to squared interaction amplitude. Therefore
Doubling therefore gives
The laws assume undepleted pumps, fixed mode overlap, and fixed phase matching. Pump depletion, self- and cross-phase modulation, thermal or photorefractive detuning, nonlinear absorption, Raman background, and detector saturation can all change the measured scaling.
References
Section titled “References”- J. A. Armstrong, N. Bloembergen, J. Ducuing, and P. S. Pershan, “Interactions between light waves in a nonlinear dielectric,” Physical Review 127, 1918–1939 (1962).
- N. Bloembergen, Nonlinear Optics (W. A. Benjamin, 1965).
- Y. R. Shen, The Principles of Nonlinear Optics (Wiley, 1984).
- R. W. Boyd, Nonlinear Optics, 4th ed. (Academic Press, 2020).
- D. C. Burnham and D. L. Weinberg, “Observation of simultaneity in parametric production of optical photon pairs,” Physical Review Letters 25, 84–87 (1970).
- C. K. Hong and L. Mandel, “Theory of parametric frequency down conversion of light,” Physical Review A 31, 2409–2418 (1985).
- C. M. Caves, “Quantum limits on noise in linear amplifiers,” Physical Review D 26, 1817–1839 (1982).
- R. E. Slusher, L. W. Hollberg, B. Yurke, J. C. Mertz, and J. F. Valley, “Observation of squeezed states generated by four-wave mixing in an optical cavity,” Physical Review Letters 55, 2409–2412 (1985).
- L.-A. Wu, H. J. Kimble, J. L. Hall, and H. Wu, “Generation of squeezed states by parametric down conversion,” Physical Review Letters 57, 2520–2523 (1986).
- L. Mandel and E. Wolf, Optical Coherence and Quantum Optics (Cambridge University Press, 1995).
- R. Loudon, The Quantum Theory of Light, 3rd ed. (Oxford University Press, 2000).
- D. F. Walls and G. J. Milburn, Quantum Optics, 2nd ed. (Springer, 2008).
- G. P. Agrawal, Nonlinear Fiber Optics, 6th ed. (Academic Press, 2019).
- S. L. Braunstein and P. van Loock, “Quantum information with continuous variables,” Reviews of Modern Physics 77, 513–577 (2005).
- C. Weedbrook et al., “Gaussian quantum information,” Reviews of Modern Physics 84, 621–669 (2012).
- C. K. Law, I. A. Walmsley, and J. H. Eberly, “Continuous frequency entanglement: Effective finite Hilbert space and entropy control,” Physical Review Letters 84, 5304–5307 (2000).
- M. G. Raymer and K. Srinivasan, “Manipulating the color and shape of single photons,” Physics Today 65(11), 32–37 (2012).
- D. Klyshko, Photons and Nonlinear Optics (Gordon and Breach, 1988).