The number operator is . The number state expansion gives by shifting the summation index; taking the adjoint gives . Thus the expectation value is
For the second moment, use :
Its expectation value in the coherent state is . Therefore
The variance equals the mean, exactly as for the Poisson distribution found in b. For the fractional standard deviation is , the usual photon shot noise scaling. For the vacuum state, both the mean photon number and its variance vanish; this does not imply zero optical quadrature fluctuations. At the fractional fluctuation is undefined.
There is a genuine periodicity mismatch in the source. Write . The intended periodic displacements in a harmonic chain satisfy , equivalently for unwrapped positions. The printed instead makes the potential , with equilibrium at equal positions, not . The following lattice derivation uses periodic displacements, as required by the requested position operator.
Put , , and Fourier transform the displacements and momenta with normalization . The spring quadratic form is diagonal, with factor . Thus each nonzero mode is a harmonic oscillator with
Creation and annihilation operators obey . Inverting the oscillator-coordinate expansion gives
The conjugate momentum is . Fourier orthogonality diagonalizes the Hamiltonian as . The normalized oscillator vacuum is annihilated by every ; applying creation operators gives number states, each added phonon contributing . The omitted zero mode is a free centre-of-mass coordinate, which must be fixed or treated separately rather than assigned an oscillator vacuum. Accordingly the reduced displacement commutator is .
For , separate creation and annihilation parts. Their commutator is a scalar, so the supplied Baker--Campbell--Hausdorff formula and vacuum expectations give
Summing the geometric lattice phases yields
The ratio is interpreted by continuity at its removable singularities. The interference factor has its maximum at , where all lattice phases coincide. The source's Fourier-sum hint should read , rather than .
The claim about the full matrix element also needs qualification: its Debye–Waller factor envelope varies with . The absolute global maximum is ; at nonzero reciprocal-lattice points the value is . Moreover the derivative of the envelope there is nonzero, whereas that of the interference factor is zero, so those points are not exact local maxima of the full finite-chain intensity. The reciprocal-lattice condition maximizes the interference factor, which is the usual constructive-scattering interpretation of the requested result.
From the creation and annihilation operators commutator,
Therefore is either zero or an energy eigenstate with energy . Since each energy level of the one-dimensional quantum harmonic oscillator is nondegenerate, . Its norm determines the coefficient:
Choosing the conventional phases of the number states gives
Solving the given relation for the position operator gives
Put . Repeated use of the ladder relations gives
Hence
In first-order nondegenerate perturbation theory, the component is omitted from the state correction, while and . It follows that
which is the first-order ground state of the quartic oscillator.
A coherent pump has a Poisson distribution of photon numbers. Second-harmonic conversion couples a pump number state to a state with two fewer pump photons with a matrix element proportional to . Different number components therefore evolve at different rates, and the pump becomes correlated with the harmonic mode. Its reduced state is generally neither pure nor exactly Poisson coherent. An undepleted classical-pump approximation suppresses precisely this backaction; it cannot prove that the exact finite-depletion quantum state stays coherent. Vacuum input or zero interaction are trivial exceptions.
Let , and . The oscillator algebra gives , and . Substituting into the definitions proves closure:
The factors depend on the stated normalization: has an extra factor one-half relative to . The Robertson uncertainty relation consequently gives
For a coherent state with , normal ordering gives
Thus and . In either variance, the fourth-power and terms cancel against the square of the mean, leaving
The variance product is exactly , so the coherent state saturates the stated bound.
Amplitude-squared squeezing in either of these axes means
The other variance must then rise sufficiently to respect the product inequality. A rotated field-squared quadrature can reveal squeezing in another direction; the criterion concerns the declared quadrature and reference, not merely a reduction in mean optical intensity.
For stationary photodetection, the normalized correlation in second-order optical coherence is . Normal ordering expresses the absorption of two photons. In a single mode,
A coherent state has . A single-mode thermal field has and bunches, while a number state with gives ; a single-photon state has zero ideal coincidence probability at zero delay. Antibunching, a zero-delay suppression relative to nearby delays, is distinct from simply reporting an intensity variance. Multimode averaging and finite detector response reduce observed contrast.
The Hanbury Brown and Twiss effect is measured by splitting the light onto two detectors and histogramming coincidences versus delay. Background counts, detector timing, dead time and afterpulsing need calibration. Two detectors avoid confusing the single detector's inability to register arbitrarily close counts with real antibunching. First-order interference and second-order correlations contain different information: weak first-order coherence does not imply an absence of intensity bunching.[ref]
The unit-normalized Fock vacuum is characterized by
Choose the relativistic normalization of a one-particle state from the outset:
Since any two creation operators commute, any permutation of their order gives exactly the same state vector. Thus these multiparticle quantum states are symmetric under exchange and describe bosons, without a minus sign or any additional exchange phase.
The Hilbert space is the bosonic Fock space, the direct sum of the symmetric -particle Hilbert spaces, including the zero-particle sector. Sharp-momentum kets are distributionally normalized; square-integrable wave packets provide ordinary Hilbert space vectors. For repeated occupation of a discrete mode, a unit-normalized number state uses . That factorial does not belong in the above labelled continuum-ket convention.
The position operators and momentum operators are self-adjoint operators. Using conjugate linearity of the adjoint operator, , gives
Write . Bilinearity and antisymmetry of the commutator, together with the canonical commutation relations, give . Hence
The terms involving two position operators or two momentum operators vanish by the canonical commutation relations. Finally, reversing products under the adjoint operator, , gives . Therefore
Here is the identity operator. These are the relations for two independent pairs of creation and annihilation operators. The operator algebra in this question is understood on a common invariant operator domain, such as finite linear combinations of the number states constructed in part (c).
The common Fock vacuum obeys . Put . By the commutator product rule and part (a),
Moving through therefore gives
Dividing by proves
The constructed number state is nonzero: the relation follows from and . Commuting different modes and successively moving each creation operator across the inner product yields
Thus the given factorial denominator also gives unit norm, as expected for a number state.
Use the canonical commutation relations
Writing , , direct expansion of the commutator gives
The Fock vacuum is annihilated by both . Successive creation operators generate
Hence, in the order of part (a), the six energy eigenstates are proportional to
If the Fock vacuum has unit norm, dividing the general expression by gives normalized number states. Normalization is not required here, but using this convention makes the later change of basis unambiguous.
The three-point density correlation of an ideal quantum gas follows first for a number-conserving Gaussian quantum state. There are six pairings, one for each permutation of three annihilation operators. The identity gives the product of densities; each transposition has sign ; both three-cycles have positive sign. Thus
The last two terms are complex conjugates. They equal , not an additional signed pair term. This is the permanent of a matrix for bosons and its determinant for fermions. Wick's theorem supplies the six terms only with the state assumption stated in part (a).
For completeness an exact bosonic Fock-state alternative can be given without that assumption. Let be a mode-occupation decrement with . Define as the sum of over all distinct ordered triples having these mode multiplicities. Acting three annihilation fields on the number state leaves mutually orthogonal states for different . Therefore
Here , with zero when . This expression includes repeated-mode occupation corrections absent from the Gaussian permanent; for a single mode it reduces to .
Choose orthonormal, flux-normalized incoming and outgoing channels and include all channels of this lossless scattering problem. Conservation of probability requires for every input vector. With ,
For a square channel matrix this also gives . A submatrix obtained by omitting loss channels need not be unitary, but that is not the stated two-channel model.
The given real Hadamard matrix is symmetric, unitary and its own inverse. Hence
This same transformation preserves the canonical commutation relations for bosons and anticommutation relations for fermions. To extract probabilities one must use normalized number states, including their factorial factors, even when the supplied input expression is unnormalized.
Shaken harmonic trap 2026-10-20
Displacing a one-dimensional quantum harmonic oscillator produces a linear force term and a scalar shift relative to the unshifted Hamiltonian. The scalar adds only a common phase. The linear term couples number states separated by one excitation. Arbitrary linear driving of the ground state creates a coherent state; a first-order expansion of that state contains only the vacuum and first excited state.[ref]
For a number-conserving Gaussian pairing state, six permutations give this expression. Each transposition has sign , positive for bosons and negative for fermions; the two three-cycles have positive sign for either statistics. Equivalently it is the permanent or determinant of the three-by-three one-body density matrix. For bosonic number states, repeated-mode factorial corrections must be included instead of assuming that Wick theorem.
Trapped-ion internal and motional states Created 2026-10-18 Updated 2026-10-25
An internal qubit uses two distinguishable electronic or hyperfine structure quantum states, denoted . The ion's centre-of-mass motion has a different Hilbert space. In one approximately harmonic direction, a number state has energy , where denotes a motional angular frequency, not ordinary frequency. The tensor product of quantum systems gives . Cooling towards prepares motion; it does not automatically prepare the internal qubit. Nor does the ground state mean a stationary point particle: zero-point energy and position spread remain.
For several ions, Coulomb forces couple their displacements into collective normal modes. Each selected normal mode has its own quantum harmonic oscillator number states, while each ion retains internal qubit states. A pulse addressing one ion can change a shared mode. This supplies a route to correlations between distant internal quantum states; it also makes residual motional excitation and unwanted excitation of other normal modes relevant. A single-ion pulse calculation alone establishes no experimental multi-ion quantum gate performance.
Twin-Fock state 2026-10-20
A product of number states with equal fixed populations in two modes. Its total particle number is . It differs from a pair of coherent states, whose number distributions fluctuate.
For a two-dimensional anisotropic quantum harmonic oscillator in the indicated range, the six lowest number states, counted with multiplicity, have occupations . Their excitation energies, divided by , are . These are ordered because and ; every omitted state has at least three quanta and costs at least . At equal angular frequencies, the two-dimensional isotropic harmonic oscillator has energy eigenvalue and quantum degeneracy , since there are ordered nonnegative pairs with sum .