A 2007 proposal by Cho showed how individual atoms in an optical lattice loaded with one atom per site can be addressed by quenching: standing-wave driving fields coherently transfer every atom outside a periodic target sublattice into an auxiliary decoupled state, so that a diffraction-limited beam then manipulates only the selected sites. Cho's paper explicitly asked for further investigation of how the resulting reduced parallelism and restricted geometry affect fault-tolerant quantum computation, since addressing a single atom necessarily involves all atoms in the lattice. Later literature experimentally solved single-site addressing in optical lattices by other routes (quantum gas microscopes and focused-beam addressing) and analyzed the scalability of addressable optical lattices in general, but no located work performs the quantitative fault-tolerance analysis of the quenching architecture itself, in which every single-qubit gate is a collective operation on a periodic sublattice of sites and leakage into the auxiliary state is removed by interleaved global optical pumping. The open problem is that architecture-level analysis: determine the effective noise model (including the spatially correlated errors induced by collective operations), the fault-tolerance threshold, error-correction scheduling, and coding overhead of the quenching-based architecture as functions of the quenching length LL and lattice size NN, and establish the parameter regimes in which it is viable.

Background

An optical lattice is a periodic trap for neutral atoms formed by interfering laser beams, with site spacing typically near half the optical wavelength (a few hundred nanometers). After a superfluid-to-Mott-insulator transition, such a lattice can hold exactly one atom per site, giving a naturally registered array of qubits encoded in two long-lived ground states ∣a⟩|a\rangle and ∣b⟩|b\rangle of each atom. The central control problem is addressing: ordinary focused laser beams are limited by diffraction to spot sizes comparable to or larger than the site spacing, so a beam aimed at one atom also illuminates its neighbors. Cho (Phys. Rev. Lett. 99, 020502 (2007)) proposed to overcome this with a 'quenching' operation QL(k)Q_L^{(k)}: two tilted plane waves form a standing-wave field whose nodes are aligned, by suitable choice of tilt angles and relative phase, with the periodic set of lattice sites SL(k)={k+(L+1)n}S_L^{(k)}=\{k+(L+1)n\} for integers nn. Using STIRAP (stimulated Raman adiabatic passage, a robust coherent population-transfer technique whose fidelity is insensitive to pulse shapes and amplitudes), the standing waves coherently transfer every atom at sites s∉SL(k)s\notin S_L^{(k)} from the qubit subspace to an auxiliary quenching state ∣q⟩|q\rangle that is decoupled from the manipulating light. A diffraction-limited beam spanning about 2L+12L+1 sites then acts only on the sublattice SL(k)S_L^{(k)}, after which the inverse operation (QL(k))−1(Q_L^{(k)})^{-1} restores all atoms. The scheme yields single-qubit rotations, single-atom measurement by resonance fluorescence, collective two-qubit (controlled-phase) operations between adjacent addressed sites, and patterned loading with one atom every nn-th site. Cho also quantified the control cost: the beam tilt precision Δθ\Delta\theta and relative-phase precision Δϕ\Delta\phi must satisfy a trade-off inequality of the form (L+1)(NΔθ+Δϕ/π)≲1/20(L+1)(N\Delta\theta+\Delta\phi/\pi)\lesssim 1/20 for NN lattice sites, e.g. Δθ≲10 μrad\Delta\theta\lesssim 10\,\mu\mathrm{rad} for L=4L=4, N=103N=10^3, which the paper argued is achievable with piezoelectric active stabilization; this precision analysis is an established result of the paper, not an open issue. The open issue the paper states is architectural. In fault-tolerant quantum computation (FTQC), quantum information is protected by encoding each logical qubit in a block of physical qubits and repeatedly applying quantum error correction, which tolerates physical error rates below a threshold value provided operations and memory suffer comparable noise. In the quenching scheme, however, addressing one atom necessarily involves all NN atoms: every single-qubit gate is realized as a collective operation ⨂s∈SL(k)U(s)\bigotimes_{s\in S_L^{(k)}}U^{(s)} acting simultaneously on the whole periodic sublattice, interleaved with global quenching and unquenching pulses, and residual population leaking into ∣q⟩|q\rangle must be removed by a globally applied optical pumping step (a dissipative transfer back into the qubit subspace) after each round of operations, or possibly only after several rounds. Cho observed that if the code block size is taken equal to L+1L+1, such collective operations are exactly what error-correction steps require, and that the standard FTQC noise model formally accommodates gates that involve many atoms; nevertheless, the paper explicitly states that 'further investigations on the effects of reduced parallelism and restricted geometry would be desirable.' What is missing is the quantitative layer: a noise model faithful to the scheme (quenching infidelity per site, correlated errors across the sublattice because one physical pulse touches many qubits at once, leakage to ∣q⟩|q\rangle and optical-pumping errors, residual tilt/phase drift), and from it the error-correction thresholds, error-correction scheduling, logical gate layouts, and coding overhead.

Problem Statement

Determine, quantitatively, whether fault-tolerant quantum computation is compatible with the standing-wave quenching addressing architecture of Cho (Phys. Rev. Lett. 99, 020502 (2007)), and at what overhead. Concretely: (i) construct the effective noise model of the architecture, in which every single-qubit gate is a collective operation ⨂s∈SL(k)U(s)\bigotimes_{s\in S_L^{(k)}}U^{(s)} on the periodic sublattice SL(k)={k+(L+1)n}S_L^{(k)}=\{k+(L+1)n\} preceded and followed by global quenching operations that touch all NN atoms, so that gate errors are spatially correlated across the sublattice rather than independent per qubit; leakage into the quenching state ∣q⟩|q\rangle accumulates and is removed by global optical pumping applied after each round or after several rounds; and residual tilt-angle and relative-phase drift obeys the paper's trade-off inequality (L+1)(NΔθ+Δϕ/π)≲1/20(L+1)(N\Delta\theta+\Delta\phi/\pi)\lesssim 1/20; (ii) from this model, derive or numerically estimate the fault-tolerance threshold, an error-correction schedule and logical gate layout consistent with the collective-operation and restricted-geometry constraints (including the choice of code block size relative to L+1L+1 and the cadence of the global pumping step); and (iii) determine the coding overhead as a function of the quenching length LL and lattice size NN, establishing the parameter regimes in which the architecture meets fault-tolerance requirements. The single common objective is an architecture-level fault-tolerance assessment of quenching-based addressing; the noise model, thresholds, scheduling, and overhead are jointly supporting components of that assessment, not independent deliverables.

References

  1. Jaeyoon Cho, "Addressing individual atoms in optical lattices with standing-wave driving fields", Phys. Rev. Lett. 99, 020502 (2007). DOI: 10.1103/PhysRevLett.99.020502; arXiv:quant-ph/0703185. https://arxiv.org/abs/quant-ph/0703185
  2. Travis R. Beals, Jiri Vala, K. Birgitta Whaley, "Scalability of quantum computation with addressable optical lattices", Phys. Rev. A 77, 052309 (2008). DOI: 10.1103/PhysRevA.77.052309; arXiv:0804.1971. https://arxiv.org/abs/0804.1971
  3. Timothy P. Friesen, David L. Feder, "One-way quantum computing in optical lattices with many-atom addressing", Phys. Rev. A 78, 032312 (2008). DOI: 10.1103/PhysRevA.78.032312; arXiv:0707.3821. https://arxiv.org/abs/0707.3821
  4. Waseem S. Bakr, Jonathon I. Gillen, Amy Peng, Simon Fölling, Markus Greiner, "A quantum gas microscope for detecting single atoms in a Hubbard-regime optical lattice", Nature 462, 74–77 (2009). DOI: 10.1038/nature08482; arXiv:0908.0174. https://arxiv.org/abs/0908.0174
  5. Christof Weitenberg, Manuel Endres, Jacob F. Sherson, Marc Cheneau, Peter Schauß, Takeshi Fukuhara, Immanuel Bloch, Stefan Kuhr, "Single-spin addressing in an atomic Mott insulator", Nature 471, 319–324 (2011). DOI: 10.1038/nature09827; arXiv:1101.2076. https://arxiv.org/abs/1101.2076
  6. Alexey V. Gorshkov, Liang Jiang, Markus Greiner, Peter Zoller, Mikhail D. Lukin, "Coherent quantum optical control with subwavelength resolution", Phys. Rev. Lett. 100, 093005 (2008). DOI: 10.1103/PhysRevLett.100.093005; arXiv:0706.3879. https://arxiv.org/abs/0706.3879
  7. W. Yi, A. J. Daley, G. Pupillo, P. Zoller, "State-dependent, addressable subwavelength lattices with cold atoms", New J. Phys. 10, 073015 (2008). DOI: 10.1088/1367-2630/10/7/073015; arXiv:0801.0600. https://arxiv.org/abs/0801.0600
  8. Mickey McDonald, Jonathan Trisnadi, Kai-Xuan Yao, Cheng Chin, "Superresolution Microscopy of Cold Atoms in an Optical Lattice", Phys. Rev. X 9, 021001 (2019). DOI: 10.1103/PhysRevX.9.021001; arXiv:1807.02906. https://arxiv.org/abs/1807.02906
  9. Sarthak Subhankar, Yang Wang, Tsz-Chun Tsui, Steven L. Rolston, James V. Porto, "Nanoscale Atomic Density Microscopy", Phys. Rev. X 9, 021002 (2019). DOI: 10.1103/PhysRevX.9.021002; arXiv:1807.02871. https://arxiv.org/abs/1807.02871