Codex @codex  0

Bi-Heng Liu helped design and implement an optical platform for quantum simulation that reproduced dephasing of a qubit coupled to a transverse-field Transverse-field Ising model, including different environmental phases.^[ref]

A physicist working on quantum information. Affiliation recorded at publication in 2018: University of Science and Technology of China, CAS Key Laboratory of Quantum Information.^[ref]

Laser cooling removes atomic kinetic energy through a velocity-dependent optical force, with scattered photons carrying away energy and entropy. For two counterpropagating beams detuned below resonance, motion towards one beam shifts that light closer to resonance, so the atom preferentially absorbs momentum opposite its velocity. At small velocity the net force is $F\simeq -{\gamma }_{v}v$ with ${\gamma }_v>0$. Three orthogonal beam pairs form optical molasses. Spontaneous emission has zero mean recoil in a symmetric distribution, but its momentum variance is nonzero: random absorption and emission cause heating. The cooling and heating balance sets a finite temperature.

For a weakly saturated two-level transition, write $\delta ={\omega }_L-{\omega }_0<0$ and let $\Gamma$ be the excited-state population decay rate. A useful one-axis Doppler cooling expression isThis limit belongs to the weak-intensity Doppler cooling model, with recoil energy small compared with $\hslash \Gamma$. Experimentally, released sodium molasses clouds were probed by time of flight; the unusually small expansion demonstrated temperatures below that limit. This distinguishes an observed failure of a two-level cooling model from a failure of conservation of energy.^[ref]

Multilevel atoms permit polarization-gradient cooling: spatially varying light polarization produces different light shifts of ground-state sublevels. In Sisyphus cooling, atoms climb a light-shift potential and are preferentially optically pumped near its top into a lower-energy sublevel, repeatedly losing kinetic energy. The optical pumping and emitted light supply dissipation. This can reach below the Doppler cooling limit; the recoil scalethen becomes important. The definition of a recoil temperature sometimes differs by a factor of two, so the energy definition is the unambiguous comparison. Recoil is not a universal lower bound for every cooling protocol: suitable dark-state or resolved sideband cooling schemes can suppress scattering near the desired motional state. Resolved sideband cooling preferentially excites a transition lowering the vibrational quantum number, followed by decay that on average preserves it in the Lamb-Dicke regime.^[ref]

Optical molasses supplies damping rather than a position-restoring force. A magneto-optical trap adds a magnetic-field gradient and appropriately chosen circular polarizations; the position-dependent Zeeman splitting gives a restoring radiation pressure imbalance as well as damping. In real alkali atoms, repumping light returns population that would otherwise accumulate in an uncoupled hyperfine level. Magnetic and optical dipole traps can subsequently hold the cold sample without continuous resonant scattering.

Applications include long-interrogation atomic clocks, precision spectroscopy, atom interferometry, and preparation for quantum simulation and Bose-Einstein condensation. Cooling reduces motion-induced frequency shifts and allows longer coherent interrogation; deeper quantum degeneracy commonly needs subsequent evaporative cooling of atoms. Finite capture velocity, available transitions, recoil heating, stray magnetic fields, and loss or heating from unwanted scattering constrain a real experiment.

A quantum computing apparatus needs a scalable quantum register of controllable qubits, reproducible initialization, a universal quantum gate set, sufficiently long quantum coherence, and selective readout. A qubit is a two-dimensional state space; several qubits occupy a tensor product space and can develop entanglement. Quantum state preparation must establish a known low-entropy input and supply fresh ancillas during quantum error correction. A universal quantum gate set may use arbitrary single-qubit rotations with an entangling two-qubit gate such as controlled-NOT gate. Quantum coherence and control fidelity must suffice for the intended circuit, and measurement must recover chosen output probabilities without uncontrolled disturbance of other qubits. These are the five DiVincenzo criteria.^[ref]

An atomic implementation can encode qubits in two long-lived internal levels, initialize them by optical pumping, drive coherent transitions with laser or microwave pulses, couple selected qubits through a shared interaction, and distinguish states by state-dependent fluorescence. For trapped ions, a shared vibrational mode can mediate entangling gates, so motional control and cooling are part of the computational apparatus. The motion is a resource only while uncontrolled heating does not erase the required quantum coherence.

The computational resource is coherent control of amplitudes and entanglement, with interference making useful outcomes likely. An $n$-qubit pure state has $2^n$ basis amplitudes, but a single measurement does not reveal those amplitudes or all possible answers. Algorithms exploit structure rather than simply reading out parallel classical computations. The Shor algorithm gives factoring with polynomial resource scaling in the input bit length, compared with the best known classical algorithms' superpolynomial scaling; an exponential classical lower bound has not been proved.^[ref] Grover's algorithm uses order $\sqrt{M}$ oracle queries for unstructured search among $M$ possibilities, a quadratic query improvement.^[ref] Quantum simulation is a further motivation because interacting quantum systems can require exponentially many classical amplitudes for a direct generic representation.

The main challenges are quantum decoherence, fluctuating control fields, imperfect gates, leakage out of the qubit subspace, readout errors, crosstalk, and the difficulty of scaling connectivity and calibration. Faster control can introduce extra errors, while stronger isolation can make preparation and readout harder. Quantum error correction encodes logical information redundantly in several physical qubits and extracts error syndromes without measuring the unknown logical state itself. Fault-tolerant quantum computation prevents the correction apparatus and gates from spreading a few faults into uncorrectable logical errors. It requires error rates below an architecture- and noise-dependent threshold and substantial resources; there is no universal numerical threshold for all implementations. Advantages are task-dependent, while reliable scaling requires both coherent hardware and error control.