Showing 1–50 of 75 results for author: Allcock, D

Scalable, high-fidelity all-electronic control of trapped-ion qubits

Authors: C. M. Löschnauer, J. Mosca Toba, A. C. Hughes, S. A. King, M. A. Weber, R. Srinivas, R. Matt, R. Nourshargh, D. T. C. Allcock, C. J. Ballance, C. Matthiesen, M. Malinowski, T. P. Harty

Abstract: The central challenge of quantum computing is implementing high-fidelity quantum gates at scale. However, many existing approaches to qubit control suffer from a scale-performance trade-off, impeding progress towards the creation of useful devices. Here, we present a vision for an electronically controlled trapped-ion quantum computer that alleviates this bottleneck. Our architecture utilizes shar… ▽ More The central challenge of quantum computing is implementing high-fidelity quantum gates at scale. However, many existing approaches to qubit control suffer from a scale-performance trade-off, impeding progress towards the creation of useful devices. Here, we present a vision for an electronically controlled trapped-ion quantum computer that alleviates this bottleneck. Our architecture utilizes shared current-carrying traces and local tuning electrodes in a microfabricated chip to perform quantum gates with low noise and crosstalk regardless of device size. To verify our approach, we experimentally demonstrate low-noise site-selective single- and two-qubit gates in a seven-zone ion trap that can control up to 10 qubits. We implement electronic single-qubit gates with 99.99916(7)% fidelity, and demonstrate consistent performance with low crosstalk across the device. We also electronically generate two-qubit maximally entangled states with 99.97(1)% fidelity and long-term stable performance over continuous system operation. These state-of-the-art results validate the path to directly scaling these techniques to large-scale quantum computers based on electronically controlled trapped-ion qubits. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Two-mode squeezing and SU(1,1) interferometry with trapped ions

Authors: J. Metzner, A. Quinn, S. Brudney, I. D. Moore, S. C. Burd, D. J. Wineland, D. T. C Allcock

Abstract: We experimentally implement circuits of one and two mode operations on two motional modes of a single trapped ion. This is achieved by implementing the required displacement, squeezing, two-mode squeezing, and beamsplitter operations using oscillating electric potentials applied to the trap electrodes. The resulting electric fields drive the modes resonantly or parametrically without the need for… ▽ More We experimentally implement circuits of one and two mode operations on two motional modes of a single trapped ion. This is achieved by implementing the required displacement, squeezing, two-mode squeezing, and beamsplitter operations using oscillating electric potentials applied to the trap electrodes. The resulting electric fields drive the modes resonantly or parametrically without the need for optical forces. As a demonstration, we implement SU(2) and SU(1,1) interferometers with phase sensitivities near the Cramér-Rao bound. We report a maximum sensitivity of a SU(2) interferometer within $0.67(5)\,$dB of the standard quantum limit (SQL) as well as a single and two-mode SU(1,1) sensitivity of $5.9(2)\,$dB and $4.5(2)\,$dB below the SQL respectively. △ Less

Submitted 2 July, 2024; v1 submitted 17 December, 2023; originally announced December 2023.

Comments: 9 pages, 7 figures

The Deligne-Mostow 9-ball, and the monster

Authors: Daniel Allcock, Tathagata Basak

Abstract: The "monstrous proposal" of the first author is that the quotient of a certain 13-dimensional complex hyperbolic braid group, by the relations that its natural generators have order 2, is the bimonster" (M x M)semidirect Z/2. Here M is the monster simple group. We prove that this quotient is either the bimonster or Z/2. In the process, we give new information about the isomorphism found by Deligne… ▽ More The "monstrous proposal" of the first author is that the quotient of a certain 13-dimensional complex hyperbolic braid group, by the relations that its natural generators have order 2, is the bimonster" (M x M)semidirect Z/2. Here M is the monster simple group. We prove that this quotient is either the bimonster or Z/2. In the process, we give new information about the isomorphism found by Deligne-Mostow, between the moduli space of 12-tuples in CP1 and a quotient of the complex 9-ball. Namely, we identify which loops in the 9-ball quotient correspond to the standard braid generators. △ Less

Submitted 31 August, 2023; originally announced September 2023.

MSC Class: Primary: 20F36; 22E40; Secondary: 20D08

How to wire a 1000-qubit trapped ion quantum computer

Authors: M. Malinowski, D. T. C. Allcock, C. J. Ballance

Abstract: One of the most formidable challenges of scaling up quantum computers is that of control signal delivery. Today's small-scale quantum computers typically connect each qubit to one or more separate external signal sources. This approach is not scalable due to the I/O limitations of the qubit chip, necessitating the integration of control electronics. However, it is no small feat to shrink control e… ▽ More One of the most formidable challenges of scaling up quantum computers is that of control signal delivery. Today's small-scale quantum computers typically connect each qubit to one or more separate external signal sources. This approach is not scalable due to the I/O limitations of the qubit chip, necessitating the integration of control electronics. However, it is no small feat to shrink control electronics into a small package that is compatible with qubit chip fabrication and operation constraints without sacrificing performance. This so-called "wiring challenge" is likely to impact the development of more powerful quantum computers even in the near term. In this paper, we address the wiring challenge of trapped-ion quantum computers. We describe a control architecture called WISE (Wiring using Integrated Switching Electronics), which significantly reduces the I/O requirements of ion trap quantum computing chips without compromising performance. Our method relies on judiciously integrating simple switching electronics into the ion trap chip - in a way that is compatible with its fabrication and operation constraints - while complex electronics remain external. To demonstrate its power, we describe how the WISE architecture can be used to operate a fully connected 1000-qubit trapped ion quantum computer using ~ 200 signal sources at a speed of ~ 40 - 2600 quantum gate layers per second. △ Less

Submitted 22 May, 2023; originally announced May 2023.

Journal ref: PRX Quantum 4, 040313 (2023)

Observing super-quantum correlations across the exceptional point in a single, two-level trapped ion

Authors: Alexander Quinn, Jeremy Metzner, Jacob E. Muldoon, Isam Daniel Moore, Sean Brudney, Sourin Das, David T. C. Allcock, Yogesh N. Joglekar

Abstract: Quantum theory provides rules governing much of the microscopic world, and among its counter-intuitive consequences are correlations that exceed the bounds from local, classical theories. In two-level quantum systems - qubits - unitary dynamics theoretically limit these spatiotemporal quantum correlations, called Bell/Clauser-Horn-Shimony-Holt or Leggett-Garg inequalities, to $2\sqrt{2}$ or 1.5 re… ▽ More Quantum theory provides rules governing much of the microscopic world, and among its counter-intuitive consequences are correlations that exceed the bounds from local, classical theories. In two-level quantum systems - qubits - unitary dynamics theoretically limit these spatiotemporal quantum correlations, called Bell/Clauser-Horn-Shimony-Holt or Leggett-Garg inequalities, to $2\sqrt{2}$ or 1.5 respectively. Experiments with state-of-the-art qubits have approached the spatial, Bell and temporal, Leggett-Garg quantum correlation bounds. Here, using a dissipative, trapped $^{40}$Ca$^+$ ion governed by a two-level, non-Hermitian Hamiltonian, we observe temporal correlation values up to 1.703(4) for the Leggett-Garg parameter $K_3$, clearly exceeding the hitherto inviolable Lüder's bound of 1.5. These excesses occur across the exceptional point of the parity-time symmetric Hamiltonian responsible for the qubit's non-unitary, coherent dynamics. Distinct evolution speeds for antipodal qubit states, which violate the unified (Mendelstam-Tamm or Margolus-Levitin) bound $τ_{\textrm{QSL}}$ for the transit time based on quantum speed limit, result in the super-quantum $K_3$ values observed over a wide parameter range. Our results demonstrate that post-selected, coherent dynamics of non-Hermitian Hamiltonians pave the way for enhanced quantum correlations that exceed protocols based on unitary or dissipative dynamics. △ Less

Submitted 24 April, 2023; originally announced April 2023.

Comments: 9 pages, 4 figures

Experimental speedup of quantum dynamics through squeezing

Authors: S. C. Burd, H. M. Knaack, R. Srinivas, C. Arenz, A. L. Collopy, L. J. Stephenson, A. C. Wilson, D. J. Wineland, D. Leibfried, J. J. Bollinger, D. T. C. Allcock, D. H. Slichter

Abstract: We show experimentally that a broad class of interactions involving quantum harmonic oscillators can be made stronger (amplified) using a unitary squeezing protocol. While our demonstration uses the motional and spin states of a single trapped $^{25}$Mg$^{+}$ ion, the scheme applies generally to Hamiltonians involving just a single harmonic oscillator as well as Hamiltonians coupling the oscillato… ▽ More We show experimentally that a broad class of interactions involving quantum harmonic oscillators can be made stronger (amplified) using a unitary squeezing protocol. While our demonstration uses the motional and spin states of a single trapped $^{25}$Mg$^{+}$ ion, the scheme applies generally to Hamiltonians involving just a single harmonic oscillator as well as Hamiltonians coupling the oscillator to another quantum degree of freedom such as a qubit, covering a large range of systems of interest in quantum information and metrology applications. Importantly, the protocol does not require knowledge of the parameters of the Hamiltonian to be amplified, nor does it require a well-defined phase relationship between the squeezing interaction and the rest of the system dynamics, making it potentially useful in instances where certain aspects of a signal or interaction may be unknown or uncontrolled. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Errors in stimulated-Raman-induced logic gates in $^{133}$Ba$^+$

Authors: Matthew J. Boguslawski, Zachary J. Wall, Samuel R. Vizvary, Isam Daniel Moore, Michael Bareian, David T. C. Allcock, David J. Wineland, Eric R. Hudson, Wesley C. Campbell

Abstract: ${}^{133}\mathrm{Ba}^+$ is illuminated by a laser that is far-detuned from optical transitions, and the resulting spontaneous Raman scattering rate is measured. The observed scattering rate is lower than previous theoretical estimates. The majority of the discrepancy is explained by a more accurate treatment of the scattered photon density of states. This work establishes that, contrary to previou… ▽ More ${}^{133}\mathrm{Ba}^+$ is illuminated by a laser that is far-detuned from optical transitions, and the resulting spontaneous Raman scattering rate is measured. The observed scattering rate is lower than previous theoretical estimates. The majority of the discrepancy is explained by a more accurate treatment of the scattered photon density of states. This work establishes that, contrary to previous models, there is no fundamental limit to laser-driven quantum gates from laser-induced spontaneous Raman scattering. △ Less

Submitted 5 December, 2022; originally announced December 2022.

Comments: 4 + 2 pages, 4 + 1 figures

Photon scattering errors during stimulated Raman transitions in trapped-ion qubits

Authors: I. D. Moore, W. C. Campbell, E. R. Hudson, M. J. Boguslawski, D. J. Wineland, D. T. C. Allcock

Abstract: We study photon scattering errors in stimulated Raman driven quantum logic gates. For certain parameter regimes, we find that previous, simplified models of the process significantly overestimate the gate error rate due to photon scattering. This overestimate is shown to be due to previous models neglecting the detuning dependence of the scattered photon frequency and Lamb-Dicke parameter, a secon… ▽ More We study photon scattering errors in stimulated Raman driven quantum logic gates. For certain parameter regimes, we find that previous, simplified models of the process significantly overestimate the gate error rate due to photon scattering. This overestimate is shown to be due to previous models neglecting the detuning dependence of the scattered photon frequency and Lamb-Dicke parameter, a second scattering process, interference effects on scattering rates to metastable manifolds, and the counter-rotating contribution to the Raman transition rate. The resulting improved model shows that there is no fundamental limit on gate error due to photon scattering for electronic ground state qubits in commonly-used trapped-ion species when the Raman laser beams are red detuned from the main optical transition. Additionally, photon scattering errors are studied for qubits encoded in metastable $D_{5/2}$ manifold, showing that gate errors below $10^{-4}$ are achievable for all commonly-used trapped ions. △ Less

Submitted 6 December, 2022; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 24 pages, 8 figures, to be submitted to Phys. Rev. A. In this version, we changed the two-qubit gate under consideration. Originally, we considered a gate driven by two perpendicular pairs of Raman beams. In this version, we consider a gate driven by a pair of Raman beams counterpropagating against a third Raman beam

Journal ref: Phys. Rev. A 107, 032413 (2023)

Coherent Control of Trapped Ion Qubits with Localized Electric Fields

Authors: R. Srinivas, C. M. Löschnauer, M. Malinowski, A. C. Hughes, R. Nourshargh, V. Negnevitsky, D. T. C. Allcock, S. A. King, C. Matthiesen, T. P. Harty, C. J. Ballance

Abstract: We present a new method for coherent control of trapped ion qubits in separate interaction regions of a multi-zone trap by simultaneously applying an electric field and a spin-dependent gradient. Both the phase and amplitude of the effective single-qubit rotation depend on the electric field, which can be localised to each zone. We demonstrate this interaction on a single ion using both laser-base… ▽ More We present a new method for coherent control of trapped ion qubits in separate interaction regions of a multi-zone trap by simultaneously applying an electric field and a spin-dependent gradient. Both the phase and amplitude of the effective single-qubit rotation depend on the electric field, which can be localised to each zone. We demonstrate this interaction on a single ion using both laser-based and magnetic field gradients in a surface-electrode ion trap, and measure the localisation of the electric field. △ Less

Submitted 28 October, 2022; originally announced October 2022.

Individual addressing of trapped ion qubits with geometric phase gates

Authors: R. T. Sutherland, R. Srinivas, D. T. C. Allcock

Abstract: We propose a new scheme for individual addressing of trapped ion qubits, selecting them via their motional frequency. We show that geometric phase gates can perform single-qubit rotations using the coherent interference of spin-independent and (global) spin-dependent forces. The spin-independent forces, which can be generated via localised electric fields, increase the gate speed while reducing it… ▽ More We propose a new scheme for individual addressing of trapped ion qubits, selecting them via their motional frequency. We show that geometric phase gates can perform single-qubit rotations using the coherent interference of spin-independent and (global) spin-dependent forces. The spin-independent forces, which can be generated via localised electric fields, increase the gate speed while reducing its sensitivity to motional decoherence, which we show analytically and numerically. While the scheme applies to most trapped ion experimental setups, we numerically simulate a specific laser-free implementation, showing cross-talk errors below $10^{-6}$ for reasonable parameters. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Journal ref: Phys. Rev. A 107, 032604 (2023)

Geometries and fabrication methods for 3D printing ion traps

Authors: A. Quinn, M. Brown, T. J. Gardner, D. T. C. Allcock

Abstract: The majority of microfabricated ion traps in use for quantum information processing are of the 2D 'surface-electrode' type or of the 3D 'wafer' type. Surface-electrode traps greatly simplify fabrication and hold the promise of allowing trapped-ion quantum computers to scale via standard semiconductor industry fabrication techniques. However, their geometry constrains them to having much lower trap… ▽ More The majority of microfabricated ion traps in use for quantum information processing are of the 2D 'surface-electrode' type or of the 3D 'wafer' type. Surface-electrode traps greatly simplify fabrication and hold the promise of allowing trapped-ion quantum computers to scale via standard semiconductor industry fabrication techniques. However, their geometry constrains them to having much lower trap** efficiency, depth, and harmonicity compared to 3D geometries. Conversely 3D geometries offer superior trap performance but fabrication is more complex, limiting potential to scale. We describe new 'trench' geometries that exist in the design space between these two paradigms. They still allow for a simple, planar electrode layer but with much more favourable trap** properties. We propose such traps could be 3D-printed over a 2D wafer with microfabricated components already integrated into it, thus retaining all the integration techniques and scaling advantages of surface-electrode traps. As a proof of principle we use 2-photon direct laser writing lithography to print the required electrode structures with the proposed geometry. △ Less

Submitted 31 May, 2022; originally announced May 2022.

An Alternative to Vinberg's Algorithm

Authors: Daniel Allcock

Abstract: Vinberg's algorithm is the main method for finding fundamental domains for reflection groups acting on hyperbolic space. Experience shows that it can be slow. We explain why this should be expected, and prove this slowness in some cases. And we provide an alternative algorithm that should be much faster. It depends on an algorithm for finding vectors with small positive norm in indefinite binary q… ▽ More Vinberg's algorithm is the main method for finding fundamental domains for reflection groups acting on hyperbolic space. Experience shows that it can be slow. We explain why this should be expected, and prove this slowness in some cases. And we provide an alternative algorithm that should be much faster. It depends on an algorithm for finding vectors with small positive norm in indefinite binary quadratic forms, of independent interest. △ Less

Submitted 7 October, 2021; originally announced October 2021.

MSC Class: 20F55; 11Y16

$\textit{omg}$ Blueprint for trapped ion quantum computing with metastable states

Authors: D. T. C. Allcock, W. C. Campbell, J. Chiaverini, I. L. Chuang, E. R. Hudson, I. D. Moore, A. Ransford, C. Roman, J. M. Sage, D. J. Wineland

Abstract: Quantum computers, much like their classical counterparts, will likely benefit from flexible qubit encodings that can be matched to different tasks. For trapped ion quantum processors, a common way to access multiple encodings is to use multiple, co-trapped atomic species. Here, we outline an alternative approach that allows flexible encoding capabilities in single-species systems through the use… ▽ More Quantum computers, much like their classical counterparts, will likely benefit from flexible qubit encodings that can be matched to different tasks. For trapped ion quantum processors, a common way to access multiple encodings is to use multiple, co-trapped atomic species. Here, we outline an alternative approach that allows flexible encoding capabilities in single-species systems through the use of long-lived metastable states as an effective, programmable second species. We describe the set of additional trapped ion primitives needed to enable this protocol and show that they are compatible with large-scale systems that are already in operation. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Journal ref: Appl. Phys. Lett. 119, 214002 (2021)

Precision measurement of the $^{43}$Ca$^{+}$ nuclear magnetic moment

Authors: R. K. Hanley, D. T. C. Allcock, T. P. Harty, M. A. Sepiol, D. M. Lucas

Abstract: We report precision measurements of the nuclear magnetic moment of \textsuperscript{43}Ca\textsuperscript{+}, made by microwave spectroscopy of the 4s $^2$S$_{1/2}$ $\left|F=4, M=0\right\rangle \rightarrow \left|F=3, M=1\right\rangle$ ground level hyperfine clock transition at a magnetic field of $\approx$ 146 G, using a single laser-cooled ion in a Paul trap. We measure a clock transition frequen… ▽ More We report precision measurements of the nuclear magnetic moment of \textsuperscript{43}Ca\textsuperscript{+}, made by microwave spectroscopy of the 4s $^2$S$_{1/2}$ $\left|F=4, M=0\right\rangle \rightarrow \left|F=3, M=1\right\rangle$ ground level hyperfine clock transition at a magnetic field of $\approx$ 146 G, using a single laser-cooled ion in a Paul trap. We measure a clock transition frequency of $f = 3199941076.920 \pm 0.046$ Hz, from which we determine $μ_I / μ_{\rm{N}} = -1.315350(9)(1)$, where the uncertainty (9) arises from uncertainty in the hyperfine $A$ constant, and the (1) arises from the uncertainty in our measurement. This measurement is not corrected for diamagnetic shielding due to the bound electrons. We make a second measurement which is less precise but agrees with the first. We use our $μ_I$ value, in combination with previous NMR results, to extract the change in shielding constant of calcium ions due to solvation in D$_2$O: $Δσ= -0.00022(1)$. △ Less

Submitted 31 August, 2021; v1 submitted 21 May, 2021; originally announced May 2021.

Journal ref: Phys. Rev. A 104, 052804 (2021)

High-fidelity laser-free universal control of two trapped ion qubits

Authors: R. Srinivas, S. C. Burd, H. M. Knaack, R. T. Sutherland, A. Kwiatkowski, S. Glancy, E. Knill, D. J. Wineland, D. Leibfried, A. C. Wilson, D. T. C. Allcock, D. H. Slichter

Abstract: Universal control of multiple qubits -- the ability to entangle qubits and to perform arbitrary individual qubit operations -- is a fundamental resource for quantum computation, simulation, and networking. Here, we implement a new laser-free scheme for universal control of trapped ion qubits based on microwave magnetic fields and radiofrequency magnetic field gradients. We demonstrate high-fidelit… ▽ More Universal control of multiple qubits -- the ability to entangle qubits and to perform arbitrary individual qubit operations -- is a fundamental resource for quantum computation, simulation, and networking. Here, we implement a new laser-free scheme for universal control of trapped ion qubits based on microwave magnetic fields and radiofrequency magnetic field gradients. We demonstrate high-fidelity entanglement and individual control by creating symmetric and antisymmetric two-qubit maximally entangled states with fidelities in the intervals [0.9983, 1] and [0.9964, 0.9988], respectively, at 68% confidence, corrected for state initialization error. This technique is robust against multiple sources of decoherence, usable with essentially any trapped ion species, and has the potential to perform simultaneous entangling operations on many pairs of ions without increasing control signal power or complexity. △ Less

Submitted 24 February, 2021; originally announced February 2021.

Journal ref: Nature 597, 209-213 (2021)

Most big map** class groups fail the Tits Alternative

Authors: Daniel Allcock

Abstract: Let $X$ be a surface, possibly with boundary. Suppose it has infinite genus or infinitely many punctures, or a closed subset which is a disk with a Cantor set removed from its interior. For example, $X$ could be any surface of infinite type with only finitely many boundary components. We prove that the map** class group of $X$ does not satisfy the Tits Alternative. That is, Map$(X)$ contains a f… ▽ More Let $X$ be a surface, possibly with boundary. Suppose it has infinite genus or infinitely many punctures, or a closed subset which is a disk with a Cantor set removed from its interior. For example, $X$ could be any surface of infinite type with only finitely many boundary components. We prove that the map** class group of $X$ does not satisfy the Tits Alternative. That is, Map$(X)$ contains a finitely generated subgroup that is not virtually solvable and contains no nonabelian free group. △ Less

Submitted 2 December, 2020; originally announced December 2020.

MSC Class: 57K20 (Primary) 20F38 (Secondary)

Journal ref: Algebr. Geom. Topol. 21 (2021) 3675-3688

Quantum amplification of boson-mediated interactions

Authors: S. C. Burd, R. Srinivas, H. M. Knaack, W. Ge, A. C. Wilson, D. J. Wineland, D. Leibfried, J. J. Bollinger, D. T. C. Allcock, D. H. Slichter

Abstract: Strong and precisely-controlled interactions between quantum objects are essential for quantum information processing, simulation, and sensing, and for the formation of exotic quantum matter. A well-established paradigm for coupling otherwise weakly-interacting quantum objects is to use auxiliary bosonic quantum excitations to mediate the interactions. Important examples include photon-mediated in… ▽ More Strong and precisely-controlled interactions between quantum objects are essential for quantum information processing, simulation, and sensing, and for the formation of exotic quantum matter. A well-established paradigm for coupling otherwise weakly-interacting quantum objects is to use auxiliary bosonic quantum excitations to mediate the interactions. Important examples include photon-mediated interactions between atoms, superconducting qubits, and color centers in diamond, and phonon-mediated interactions between trapped ions and between optical and microwave photons. Boson-mediated interactions can in principle be amplified through parametric driving of the boson channel; the drive need not couple directly to the interacting quantum objects. This technique has been proposed for a variety of quantum platforms, but has not to date been realized in the laboratory. Here we experimentally demonstrate the amplification of a boson-mediated interaction between two trapped-ion qubits by parametric modulation of the trap** potential. The amplification provides up to a 3.25-fold increase in the interaction strength, validated by measuring the speedup of two-qubit entangling gates. This amplification technique can be used in any quantum platform where parametric modulation of the boson channel is possible, enabling exploration of new parameter regimes and enhanced quantum information processing. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Comments: 12 pages, 4 figures, one parametric drive tone

Journal ref: Nature Physics 17, 898-902 (2021)

Variations on Glauberman's ZJ Theorem

Authors: Daniel Allcock

Abstract: We give a new proof of Glauberman's ZJ Theorem, in a form that clarifies the choices involved and offers more choices than classical treatments. In particular, we introduce two new ZJ-type subgroups of a $p$-group $S$, that contain $ZJ_r(S)$ and $ZJ_o(S)$ respectively and are often strictly larger. We give a new proof of Glauberman's ZJ Theorem, in a form that clarifies the choices involved and offers more choices than classical treatments. In particular, we introduce two new ZJ-type subgroups of a $p$-group $S$, that contain $ZJ_r(S)$ and $ZJ_o(S)$ respectively and are often strictly larger. △ Less

Submitted 11 April, 2021; v1 submitted 7 August, 2020; originally announced August 2020.

Comments: minor adjustments

MSC Class: 20D25 (20D15; 20D20)

State Readout of a Trapped Ion Qubit Using a Trap-Integrated Superconducting Photon Detector

Authors: S. L. Todaro, V. B. Verma, K. C. McCormick, D. T. C. Allcock, R. P. Mirin, D. J. Wineland, S. W. Nam, A. C. Wilson, D. Leibfried, D. H. Slichter

Abstract: We report high-fidelity state readout of a trapped ion qubit using a trap-integrated photon detector. We determine the hyperfine qubit state of a single $^9$Be$^+$ ion held in a surface-electrode rf ion trap by counting state-dependent ion fluorescence photons with a superconducting nanowire single-photon detector (SNSPD) fabricated into the trap structure. The average readout fidelity is 0.9991(1… ▽ More We report high-fidelity state readout of a trapped ion qubit using a trap-integrated photon detector. We determine the hyperfine qubit state of a single $^9$Be$^+$ ion held in a surface-electrode rf ion trap by counting state-dependent ion fluorescence photons with a superconducting nanowire single-photon detector (SNSPD) fabricated into the trap structure. The average readout fidelity is 0.9991(1), with a mean readout duration of 46 $μ$s, and is limited by the polarization impurity of the readout laser beam and by off-resonant optical pum**. Because there are no intervening optical elements between the ion and the detector, we can use the ion fluorescence as a self-calibrated photon source to determine the detector quantum efficiency and its dependence on photon incidence angle and polarization. △ Less

Submitted 31 July, 2020; originally announced August 2020.

Comments: 15 pages, 11 figures, including supplemental material

Journal ref: Phys. Rev. Lett. 126, 010501 (2021)

Laser-free trapped-ion entangling gates with simultaneous insensitivity to qubit and motional decoherence

Authors: R. T. Sutherland, R. Srinivas, S. C. Burd, H. M. Knaack, A. C. Wilson, D. J. Wineland, D. Leibfried, D. T. C. Allcock, D. H. Slichter, S. B. Libby

Abstract: The dominant error sources for state-of-the-art laser-free trapped-ion entangling gates are decoherence of the qubit state and the ion motion. The effect of these decoherence mechanisms can be suppressed with additional control fields, or with techniques that have the disadvantage of reducing gate speed. Here, we propose using a near-motional-frequency magnetic field gradient to implement a laser-… ▽ More The dominant error sources for state-of-the-art laser-free trapped-ion entangling gates are decoherence of the qubit state and the ion motion. The effect of these decoherence mechanisms can be suppressed with additional control fields, or with techniques that have the disadvantage of reducing gate speed. Here, we propose using a near-motional-frequency magnetic field gradient to implement a laser-free gate that is simultaneously resilient to both types of decoherence, does not require additional control fields, and has a relatively small cost in gate speed. △ Less

Submitted 30 March, 2020; v1 submitted 30 October, 2019; originally announced October 2019.

Journal ref: Phys. Rev. A 101, 042334 (2020)

Tropical moduli spaces as symmetric Delta-complexes

Authors: Daniel Allcock, Daniel Corey, Sam Payne

Abstract: We develop techniques for studying fundamental groups and integral singular homology of symmetric Delta-complexes, and apply these techniques to study moduli spaces of stable tropical curves of unit volume, with and without marked points. As one application, we show that Delta_g and Delta_{g,n} are simply connected, for positive g. We also show that Delta_3 is homotopy equivalent to the 5-sphere,… ▽ More We develop techniques for studying fundamental groups and integral singular homology of symmetric Delta-complexes, and apply these techniques to study moduli spaces of stable tropical curves of unit volume, with and without marked points. As one application, we show that Delta_g and Delta_{g,n} are simply connected, for positive g. We also show that Delta_3 is homotopy equivalent to the 5-sphere, and that Delta_4 has 3-torsion in H_5. △ Less

Submitted 23 April, 2020; v1 submitted 21 August, 2019; originally announced August 2019.

Comments: 12 pages. v2: improved exposition, added Remark 6.2 with an alternate proof via geometric group theory that tropical moduli spaces of curves are simply connected, revised title to more fully reflect range of content in paper

MSC Class: 14T05; 14H10; 57Q05

Trapped-ion spin-motion coupling with microwaves and a near-motional oscillating magnetic field gradient

Authors: R. Srinivas, S. C. Burd, R. T. Sutherland, A. C. Wilson, D. J. Wineland, D. Leibfried, D. T. C. Allcock, D. H. Slichter

Abstract: We present a new method of spin-motion coupling for trapped ions using microwaves and a magnetic field gradient oscillating close to the ions' motional frequency. We demonstrate and characterize this coupling experimentally using a single ion in a surface-electrode trap that incorporates current-carrying electrodes to generate the microwave field and the oscillating magnetic field gradient. Using… ▽ More We present a new method of spin-motion coupling for trapped ions using microwaves and a magnetic field gradient oscillating close to the ions' motional frequency. We demonstrate and characterize this coupling experimentally using a single ion in a surface-electrode trap that incorporates current-carrying electrodes to generate the microwave field and the oscillating magnetic field gradient. Using this method, we perform resolved-sideband cooling of a single motional mode to its ground state. △ Less

Submitted 6 May, 2019; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: 9 pages, 4 figures

Journal ref: Phys. Rev. Lett. 122, 163201 (2019)

Quantum amplification of mechanical oscillator motion

Authors: S. C. Burd, R. Srinivas, J. J. Bollinger, A. C. Wilson, D. J. Wineland, D. Leibfried, D. H. Slichter, D. T. C. Allcock

Abstract: Detection of the weakest forces in nature and the search for new physics are aided by increasingly sensitive measurements of the motion of mechanical oscillators. However, the attainable knowledge of an oscillator's motion is limited by quantum fluctuations that exist even if the oscillator is in its lowest possible energy state. Here we demonstrate a widely applicable technique for amplifying coh… ▽ More Detection of the weakest forces in nature and the search for new physics are aided by increasingly sensitive measurements of the motion of mechanical oscillators. However, the attainable knowledge of an oscillator's motion is limited by quantum fluctuations that exist even if the oscillator is in its lowest possible energy state. Here we demonstrate a widely applicable technique for amplifying coherent displacements of a mechanical oscillator with initial magnitudes well below these zero-point fluctuations. When applying two orthogonal "squeezing" interactions before and after a small displacement, the displacement is amplified, ideally with no added quantum noise. We implement this protocol with a trapped-ion mechanical oscillator and measure an increase of up to 17.5(3) decibels in sensitivity to small displacements. △ Less

Submitted 4 December, 2018; originally announced December 2018.

Comments: 23 pages, 6 figures

Journal ref: Science 364, 1163 (2019)

Best play in Dots and Boxes endgames

Authors: Daniel Allcock

Abstract: We give very simple algorithms for best play in the simplest kind of Dots & Boxes endgames: those that consist entirely of loops and long chains. In every such endgame we compute the margin of victory, assuming both players maximize the number of boxes they capture, and specify a move that leads to that result. We improve on results of Buzzard and Ciere on the same problem: our algorithms examine… ▽ More We give very simple algorithms for best play in the simplest kind of Dots & Boxes endgames: those that consist entirely of loops and long chains. In every such endgame we compute the margin of victory, assuming both players maximize the number of boxes they capture, and specify a move that leads to that result. We improve on results of Buzzard and Ciere on the same problem: our algorithms examine only the current position and do not need to consider the game tree at all. △ Less

Submitted 16 July, 2019; v1 submitted 26 November, 2018; originally announced November 2018.

Comments: substantial revisions; values section rewritten

MSC Class: 91A46

Versatile laser-free trapped-ion entangling gates

Authors: R. T. Sutherland, R. Srinivas, S. C. Burd, D. Leibfried, A. C. Wilson, D. J. Wineland, D. T. C. Allcock, D. H. Slichter, S. B. Libby

Abstract: We present a general theory for laser-free entangling gates with trapped-ion hyperfine qubits, using either static or oscillating magnetic-field gradients combined with a pair of uniform microwave fields symmetrically detuned about the qubit frequency. By transforming into a `bichromatic' interaction picture, we show that either ${\hatσ_φ\otimes\hatσ_φ}$ or ${\hatσ_{z}\otimes\hatσ_{z}}$ geometric… ▽ More We present a general theory for laser-free entangling gates with trapped-ion hyperfine qubits, using either static or oscillating magnetic-field gradients combined with a pair of uniform microwave fields symmetrically detuned about the qubit frequency. By transforming into a `bichromatic' interaction picture, we show that either ${\hatσ_φ\otimes\hatσ_φ}$ or ${\hatσ_{z}\otimes\hatσ_{z}}$ geometric phase gates can be performed. The gate basis is determined by selecting the microwave detuning. The driving parameters can be tuned to provide intrinsic dynamical decoupling from qubit frequency fluctuations. The ${\hatσ_{z}\otimes\hatσ_{z}}$ gates can be implemented in a novel manner which eases experimental constraints. We present numerical simulations of gate fidelities assuming realistic parameters. △ Less

Submitted 29 January, 2019; v1 submitted 18 October, 2018; originally announced October 2018.

Journal ref: New J. Phys. 21 033033 (2019)

The tetrahedron and automorphisms of Enriques and Coble surfaces of Hessian type

Authors: Daniel Allcock, Igor Dolgachev

Abstract: Consider a cubic surface satisfying the mild condition that it may be described in Sylvester's pentahedral form. There is a well-known Enriques or Coble surface S with K3 cover birationally isomorphic to the Hessian surface of this cubic surface. We describe the nef cone and the (-2)-curves of S. In the case of pentahedral parameters (1, 1, 1, 1, nonzero t) we compute the automorphism group of S.… ▽ More Consider a cubic surface satisfying the mild condition that it may be described in Sylvester's pentahedral form. There is a well-known Enriques or Coble surface S with K3 cover birationally isomorphic to the Hessian surface of this cubic surface. We describe the nef cone and the (-2)-curves of S. In the case of pentahedral parameters (1, 1, 1, 1, nonzero t) we compute the automorphism group of S. For t not 1 it is the semidirect product of the free product (Z/2)*(Z/2)*(Z/2)*(Z/2) by the symmetric group S4. In the special case t=1/16 we study the action of Aut(S) on an invariant smooth rational curve C on the Coble surface S. We describe the action and its image, both geometrically and arithmetically. In particular, we prove that Aut(S)-->Aut(C) is injective in characteristic 0 and we identify its image with the subgroup of PGL2 coming from the symmetries of a regular tetrahedron and the reflections across its facets. △ Less

Submitted 20 September, 2018; originally announced September 2018.

Generators for a complex hyperbolic braid group

Authors: Daniel Allcock, Tathagata Basak

Abstract: We give generators for a certain complex hyperbolic braid group. That is, we remove a hyperplane arrangement from complex hyperbolic $13$-space, take the quotient of the remaining space by a discrete group, and find generators for the orbifold fundamental group of the quotient. These generators have the most natural form: loops corresponding to the hyperplanes which come nearest the basepoint. Our… ▽ More We give generators for a certain complex hyperbolic braid group. That is, we remove a hyperplane arrangement from complex hyperbolic $13$-space, take the quotient of the remaining space by a discrete group, and find generators for the orbifold fundamental group of the quotient. These generators have the most natural form: loops corresponding to the hyperplanes which come nearest the basepoint. Our results support the conjecture that motivated this study, the "monstrous proposal", which posits a relationship between this braid group and the monster finite simple group. △ Less

Submitted 19 February, 2017; originally announced February 2017.

Comments: 46 pages, 7 figures, submitted

MSC Class: 57M05 (Primary) 20F36; 52C35; 32S22 (Secondary)

Journal ref: Geom. Topol. 22 (2018) 3435-3500

High-fidelity trapped-ion quantum logic using near-field microwaves

Authors: T. P. Harty, M. A. Sepiol, D. T. C. Allcock, C. J. Ballance, J. E. Tarlton, D. M. Lucas

Abstract: We demonstrate a two-qubit logic gate driven by near-field microwaves in a room-temperature microfabricated ion trap. We measure a gate fidelity of 99.7(1)\%, which is above the minimum threshold required for fault-tolerant quantum computing. The gate is applied directly to $^{43}$Ca$^+$ "atomic clock" qubits (coherence time $T_2^*\approx 50\,\mathrm{s}$) using the microwave magnetic field gradien… ▽ More We demonstrate a two-qubit logic gate driven by near-field microwaves in a room-temperature microfabricated ion trap. We measure a gate fidelity of 99.7(1)\%, which is above the minimum threshold required for fault-tolerant quantum computing. The gate is applied directly to $^{43}$Ca$^+$ "atomic clock" qubits (coherence time $T_2^*\approx 50\,\mathrm{s}$) using the microwave magnetic field gradient produced by a trap electrode. We introduce a dynamically-decoupled gate method, which stabilizes the qubits against fluctuating a.c.\ Zeeman shifts and avoids the need to null the microwave field. △ Less

Submitted 27 June, 2016; originally announced June 2016.

Journal ref: Phys. Rev. Lett. 117, 140501 (2016)

VECSEL systems for generation and manipulation of trapped magnesium ions

Authors: Shaun C. Burd, David T. C. Allcock, Tomi Leinonen, Jussi-Pekka Penttinen, Daniel H. Slichter, Raghavendra Srinivas, Andrew C. Wilson, Robert Jördens, Mircea Guina, Dietrich Leibfried, David J. Wineland

Abstract: Experiments in atomic, molecular, and optical (AMO) physics rely on lasers at many different wavelengths and with varying requirements on spectral linewidth, power, and intensity stability. Vertical external-cavity surface-emitting lasers (VECSELs), when combined with nonlinear frequency conversion, can potentially replace many of the laser systems currently in use. Here we present and characteriz… ▽ More Experiments in atomic, molecular, and optical (AMO) physics rely on lasers at many different wavelengths and with varying requirements on spectral linewidth, power, and intensity stability. Vertical external-cavity surface-emitting lasers (VECSELs), when combined with nonlinear frequency conversion, can potentially replace many of the laser systems currently in use. Here we present and characterize VECSEL systems that can perform all laser-based tasks for quantum information processing experiments with trapped magnesium ions. For photoionization of neutral magnesium, 570.6$\,$nm light is generated with an intracavity frequency-doubled VECSEL containing a lithium triborate (LBO) crystal for second harmonic generation. External frequency doubling produces 285.3$\,$nm light for resonant interaction with the $^{1}S_{0}\leftrightarrow$ $^{1}P_{1}$ transition of neutral Mg. Using an externally frequency-quadrupled VECSEL, we implement Doppler cooling of $^{25}$Mg$^{+}$ on the 279.6$\,$nm $^{2}S_{1/2}\leftrightarrow$ $^{2}P_{3/2}$ cycling transition, repum** on the 280.4$\,$nm $^{2}S_{1/2}\leftrightarrow$ $^{2}P_{1/2}$ transition, coherent state manipulation, and resolved sideband cooling close to the motional ground state. Our systems serve as prototypes for applications in AMO requiring single-frequency, power-scalable laser sources at multiple wavelengths. △ Less

Submitted 10 June, 2016; originally announced June 2016.

Comments: 6 pages, 9 figures

Journal ref: Optica 3, 1294 (2016)

High-fidelity spatial and polarization addressing of Ca-43 qubits using near-field microwave control

Authors: D. P. L. Aude Craik, N. M. Linke, M. A. Sepiol, T. P. Harty, J. F. Goodwin, C. J. Ballance, D. N. Stacey, A. M. Steane, D. M. Lucas, D. T. C. Allcock

Abstract: Individual addressing of qubits is essential for scalable quantum computation. Spatial addressing allows unlimited numbers of qubits to share the same frequency, whilst enabling arbitrary parallel operations. We demonstrate addressing of long-lived $^{43}\text{Ca}^+$ "atomic clock" qubits held in separate zones ($960μ$m apart) of a microfabricated surface trap with integrated microwave electrodes.… ▽ More Individual addressing of qubits is essential for scalable quantum computation. Spatial addressing allows unlimited numbers of qubits to share the same frequency, whilst enabling arbitrary parallel operations. We demonstrate addressing of long-lived $^{43}\text{Ca}^+$ "atomic clock" qubits held in separate zones ($960μ$m apart) of a microfabricated surface trap with integrated microwave electrodes. Such zones could form part of a "quantum CCD" architecture for a large-scale quantum information processor. By coherently cancelling the microwave field in one zone we measure a ratio of Rabi frequencies between addressed and non-addressed qubits of up to 1400, from which we calculate a spin-flip probability on the qubit transition of the non-addressed ion of $1.3\times 10^{-6}$. Off-resonant excitation then becomes the dominant error process, at around $5 \times 10^{-3}$. It can be prevented either by working at higher magnetic field, or by polarization control of the microwave field. We implement polarization control with error $2 \times 10^{-5}$, which would suffice to suppress off-resonant excitation to the $\sim 10^{-9}$ level if combined with spatial addressing. Such polarization control could also enable fast microwave operations. △ Less

Submitted 10 April, 2017; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: 11 pages, 4 figures

Journal ref: Phys. Rev. A 95, 022337 (2017)

Congruence subgroups and Enriques surface automorphisms

Authors: Daniel Allcock

Abstract: We give conceptual proofs of some results on the automorphism group of an Enriques surface X, for which only computational proofs have been available. Namely, there is an obvious upper bound on the image of Aut(X) in the isometry group of X's numerical lattice, and we establish a lower bound for the image that is quite close to this upper bound. These results apply over any algebraically closed fi… ▽ More We give conceptual proofs of some results on the automorphism group of an Enriques surface X, for which only computational proofs have been available. Namely, there is an obvious upper bound on the image of Aut(X) in the isometry group of X's numerical lattice, and we establish a lower bound for the image that is quite close to this upper bound. These results apply over any algebraically closed field, provided that X lacks nodal curves, or that all its nodal curves are (numerically) congruent to each other mod 2. In this generality these results were originally proven by Looijenga and Cossec-Dolgachev, develo** earlier work of Coble. △ Less

Submitted 11 February, 2018; v1 submitted 1 January, 2016; originally announced January 2016.

Comments: Minor corrections, and a terminology change: "nodal class"--->"nodality class"

MSC Class: 14J28; 20F55

The Conway-Sloane calculus for 2-adic lattices

Authors: Daniel Allcock, Itamar Gal, Alice Mark

Abstract: We motivate and explain the system introduced by Conway and Sloane for working with quadratic forms over the 2-adic integers, and prove its validity. Their system is far better for actual calculations than earlier methods, and has been used for many years, but no proof has been published before now. We motivate and explain the system introduced by Conway and Sloane for working with quadratic forms over the 2-adic integers, and prove its validity. Their system is far better for actual calculations than earlier methods, and has been used for many years, but no proof has been published before now. △ Less

Submitted 4 May, 2020; v1 submitted 14 November, 2015; originally announced November 2015.

Comments: Final revisions

MSC Class: 11E08

Dark-resonance Doppler cooling and high fluorescence in trapped Ca-43 ions at intermediate magnetic field

Authors: D. T. C. Allcock, T. P. Harty, M. A. Sepiol, H. A. Janacek, C. J. Ballance, A. M. Steane, D. M. Lucas, D. N. Stacey

Abstract: We demonstrate simple and robust methods for Doppler cooling and obtaining high fluorescence from trapped 43Ca+ ions at a magnetic field of 146 Gauss. This field gives access to a magnetic-field-independent "atomic clock" qubit transition within the ground level hyperfine structure of the ion, but also causes the complex internal structure of the 64 states relevant to Doppler cooling to be spread… ▽ More We demonstrate simple and robust methods for Doppler cooling and obtaining high fluorescence from trapped 43Ca+ ions at a magnetic field of 146 Gauss. This field gives access to a magnetic-field-independent "atomic clock" qubit transition within the ground level hyperfine structure of the ion, but also causes the complex internal structure of the 64 states relevant to Doppler cooling to be spread over many times the atomic transition line-width. Using a time-dependent optical Bloch equation simulation of the system we develop a simple scheme to Doppler-cool the ion on a two-photon dark resonance, which is robust to typical experimental variations in laser intensities, detunings and polarizations. We experimentally demonstrate cooling to a temperature of 0.3 mK, slightly below the Doppler limit for the corresponding two-level system, and then use Raman sideband laser cooling to cool further to the ground states of the ion's radial motional modes. These methods will enable two-qubit entangling gates with this ion, which is one of the most promising qubits so far developed. △ Less

Submitted 29 October, 2015; originally announced October 2015.

Comments: 17 pages, 8 figures

Journal ref: New J. Phys. 18 023043 (2016)

Spherical space forms revisited

Authors: Daniel Allcock

Abstract: We give a simplified proof of J. A. Wolf's classification of finite groups that can act freely and isometrically on a round sphere of some dimension. We slightly improve the classification by removing some non-obvious redundancy. The groups are the same as the Frobenius complements of finite group theory. We give a simplified proof of J. A. Wolf's classification of finite groups that can act freely and isometrically on a round sphere of some dimension. We slightly improve the classification by removing some non-obvious redundancy. The groups are the same as the Frobenius complements of finite group theory. △ Less

Submitted 13 September, 2016; v1 submitted 2 September, 2015; originally announced September 2015.

Comments: Fixed an error pointed out by a referee; section 3, starting with lemma 3.7, has been rewritten

MSC Class: 20B10; 57S17; 57S25

Hybrid quantum logic and a test of Bell's inequality using two different atomic isotopes

Authors: C. J. Ballance, V. M. Schaefer, J. P. Home, D. J. Szwer, S. C. Webster, D. T. C. Allcock, N. M. Linke, T. P. Harty, D. P. L. Aude Craik, D. N. Stacey, A. M. Steane, D. M. Lucas

Abstract: Entanglement is one of the most fundamental properties of quantum mechanics, and is the key resource for quantum information processing. Bipartite entangled states of identical particles have been generated and studied in several experiments, and post-selected or heralded entangled states involving pairs of photons, single photons and single atoms, or different nuclei in the solid state, have also… ▽ More Entanglement is one of the most fundamental properties of quantum mechanics, and is the key resource for quantum information processing. Bipartite entangled states of identical particles have been generated and studied in several experiments, and post-selected or heralded entangled states involving pairs of photons, single photons and single atoms, or different nuclei in the solid state, have also been produced. Here, we use a deterministic quantum logic gate to generate a "hybrid" entangled state of two trapped-ion qubits held in different isotopes of calcium, perform full tomography of the state produced, and make a test of Bell's inequality with non-identical atoms. We use a laser-driven two-qubit gate, whose mechanism is insensitive to the qubits' energy splittings, to produce a maximally-entangled state of one Ca-40 qubit and one Ca-43 qubit, held 3.5 microns apart in the same ion trap, with 99.8(6)% fidelity. We test the Clauser-Horne-Shimony-Holt (CHSH) version of Bell's inequality for this novel entangled state and find that it is violated by 15 standard deviations; in this test, we close the detection loophole but not the locality loophole. Mixed-species quantum logic is a powerful technique for the construction of a quantum computer based on trapped ions, as it allows protection of memory qubits while other qubits undergo logic operations, or are used as photonic interfaces to other processing units. The entangling gate mechanism used here can also be applied to qubits stored in different atomic elements; this would allow both memory and logic gate errors due to photon scattering to be reduced below the levels required for fault-tolerant quantum error correction, which is an essential pre-requisite for general-purpose quantum computing. △ Less

Submitted 27 November, 2015; v1 submitted 15 May, 2015; originally announced May 2015.

Comments: 5 pages, 3 figures, 2 isotopes, 1 table

Journal ref: Nature 528, 384 (2015)

A fake plane via 2-adic uniformization with torsion

Authors: Daniel Allcock, Fumiharu Kato

Abstract: We adapt the theory of non-Archimedean uniformization to construct a smooth surface from a lattice in PGL3(Q2) that has nontrivial torsion. It turns out to be a fake projective plane, commensurable with Mumford's fake plane yet distinct from it and the other fake planes that arise from 2-adic uniformization by torsion-free groups. As part of the proof, and of independent interest, we compute the h… ▽ More We adapt the theory of non-Archimedean uniformization to construct a smooth surface from a lattice in PGL3(Q2) that has nontrivial torsion. It turns out to be a fake projective plane, commensurable with Mumford's fake plane yet distinct from it and the other fake planes that arise from 2-adic uniformization by torsion-free groups. As part of the proof, and of independent interest, we compute the homotopy type of the Berkovich space of our plane. △ Less

Submitted 4 November, 2014; originally announced November 2014.

Comments: 17 pages

MSC Class: 11F23; 14J25

Presentation of hyperbolic Kac-Moody groups over rings

Authors: Daniel Allcock, Lisa Carbone

Abstract: Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. Here we establish simple explicit presentations for all Steinberg and Kac-Moody groups whose Dynkin diagrams are hyperbolic and simply laced. Our presentations are analogues of the Curtis-Tits presentation of the finite groups of Lie type. When t… ▽ More Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. Here we establish simple explicit presentations for all Steinberg and Kac-Moody groups whose Dynkin diagrams are hyperbolic and simply laced. Our presentations are analogues of the Curtis-Tits presentation of the finite groups of Lie type. When the ground ring is finitely generated, we derive the finite presentability of the Steinberg group, and similarly for the Kac-Moody group when the ground ring is a Dedekind domain of arithmetic type. These finite-presentation results need slightly stronger hypotheses when the rank is smallest possible, namely 4. The presentations simplify considerably when the ground ring is Z, a case of special interest because of the conjectured role of the Kac-Moody group E10(Z) in superstring theory. △ Less

Submitted 31 July, 2015; v1 submitted 20 September, 2014; originally announced September 2014.

Comments: Minor revisions

MSC Class: Primary 20G44; Secondary 14L15; 22E67; 19C99

Prenilpotent pairs in the E10 root system

Authors: Daniel Allcock

Abstract: Tits has defined Kac-Moody groups for all root systems, over all commutative rings with unit. A central concept is the idea of a prenilpotent pair of (real) roots. In particular, writing down his group presentation explicitly would require knowing all the Weyl-group orbits of such pairs. We show that for the hyperbolic root system E10 there are so many orbits that any attempt at direct enumeration… ▽ More Tits has defined Kac-Moody groups for all root systems, over all commutative rings with unit. A central concept is the idea of a prenilpotent pair of (real) roots. In particular, writing down his group presentation explicitly would require knowing all the Weyl-group orbits of such pairs. We show that for the hyperbolic root system E10 there are so many orbits that any attempt at direct enumeration is impractical. Namely, the number of orbits of prenilpotent pairs having inner product k grows at least as fast as (constant)(7th power of k). Our purpose is to motivate alternate approaches to Tits' groups. △ Less

Submitted 21 February, 2017; v1 submitted 30 August, 2014; originally announced September 2014.

Comments: Added much extra background and computational detail. Changed the title from "Prenilpotent pairs in E10" to "Prenilpotent pairs in the E10 root system"

MSC Class: 19C99; 20G44

Presentation of affine Kac-Moody groups over rings

Authors: Daniel Allcock

Abstract: Tits has defined Steinberg groups and Kac-Moody groups for any root system and any commutative ring R. We establish a Curtis-Tits-style presentation for the Steinberg group St of any rank > 2 irreducible affine root system, for any R. Namely, St is the direct limit of the Steinberg groups coming from the 1- and 2-node subdiagrams of the Dynkin diagram. This leads to a completely explicit presentat… ▽ More Tits has defined Steinberg groups and Kac-Moody groups for any root system and any commutative ring R. We establish a Curtis-Tits-style presentation for the Steinberg group St of any rank > 2 irreducible affine root system, for any R. Namely, St is the direct limit of the Steinberg groups coming from the 1- and 2-node subdiagrams of the Dynkin diagram. This leads to a completely explicit presentation. Using this we show that St is finitely presented if the rank is > 3 and R is finitely generated as a ring, or if the rank is 3 and R is finitely generated as a module over a subring generated by finitely many units. Similar results hold for the corresponding Kac-Moody groups when R is a Dedekind domain of arithmetic type. △ Less

Submitted 21 June, 2015; v1 submitted 30 August, 2014; originally announced September 2014.

Comments: Major revision: section 2 is new. Theorem and equation numbering changed. Case 4 in section 5 rewritten. Many other minor changes, and additional references

MSC Class: 20G44

Journal ref: Algebra Number Theory 10 (2016) 533-556

Ion-trap electrode preparation with Ne$^+$ bombardment

Authors: K. S. McKay, D. A. Hite, Y. Colombe, R. Jördens, A. C. Wilson, D. H. Slichter, D. T. C. Allcock, D. Leibfried, D. J. Wineland, D. P. Pappas

Abstract: We describe an ex-situ surface-cleaning procedure that is shown to reduce motional heating from ion-trap electrodes. This precleaning treatment, to be implemented immediately before the final assembly and vacuum processing of ion traps, removes surface contaminants remaining after the electrode-fabrication process. We incorporate a multi-angle ion-bombardment treatment intended to clean the electr… ▽ More We describe an ex-situ surface-cleaning procedure that is shown to reduce motional heating from ion-trap electrodes. This precleaning treatment, to be implemented immediately before the final assembly and vacuum processing of ion traps, removes surface contaminants remaining after the electrode-fabrication process. We incorporate a multi-angle ion-bombardment treatment intended to clean the electrode surfaces and interelectrode gaps of microfabricated traps. This procedure helps to minimize redeposition in the gaps between electrodes that can cause electrical shorts. We report heating rates in a stylus-type ion trap prepared in this way that are lower by one order of magnitude compared to a similar untreated stylus-type trap using the same experimental setup. △ Less

Submitted 6 June, 2014; originally announced June 2014.

Comments: 4 pages, 3 figures

Geometric generators for braid-like groups

Authors: Daniel Allcock, Tathagata Basak

Abstract: We study the problem of finding generators for the fundamental group G of a space of the following sort: one removes a family of complex hyperplanes from n dimensional complex vector space, or n dimensional complex hyperbolic space, or the Hermitian symmetric space for O(2,n), and then takes the quotient by a discrete group $PΓ$. The classical example is the braid group, but there are many similar… ▽ More We study the problem of finding generators for the fundamental group G of a space of the following sort: one removes a family of complex hyperplanes from n dimensional complex vector space, or n dimensional complex hyperbolic space, or the Hermitian symmetric space for O(2,n), and then takes the quotient by a discrete group $PΓ$. The classical example is the braid group, but there are many similar "braid-like" groups that arise in topology and algebraic geometry. Our main result is that if $PΓ$ contains reflections in the hyperplanes nearest the basepoint, and these reflections satisfy a certain property, then G is generated by the analogues of the generators of the classical braid group. We apply this to obtain generators for G in a particular intricate example in complex hyperbolic space of dimension 13. The interest in this example comes from a conjectured relationship between this braid-like group and the monster simple group M, that gives geometric meaning to the generators and relations in the Conway-Simons presentation of $(M \times M):2$. △ Less

Submitted 29 January, 2015; v1 submitted 10 March, 2014; originally announced March 2014.

Comments: 24 pages, 5 figures. Revised version 2: minor typos corrected, expository material added, bibliography updated

MSC Class: Primary: 57M05; Secondary: 20F36; 52C35; 32S22

Journal ref: Geom. Topol. 20 (2016) 747-778

High-fidelity preparation, gates, memory and readout of a trapped-ion quantum bit

Authors: T. P. Harty, D. T. C. Allcock, C. J. Ballance, L. Guidoni, H. A. Janacek, N. M. Linke, D. N. Stacey, D. M. Lucas

Abstract: We implement all single-qubit operations with fidelities significantly above the minimum threshold required for fault-tolerant quantum computing, using a trapped-ion qubit stored in hyperfine "atomic clock" states of $^{43}$Ca$^+$. We measure a combined qubit state preparation and single-shot readout fidelity of 99.93%, a memory coherence time of $T^*_2=50$ seconds, and an average single-qubit gat… ▽ More We implement all single-qubit operations with fidelities significantly above the minimum threshold required for fault-tolerant quantum computing, using a trapped-ion qubit stored in hyperfine "atomic clock" states of $^{43}$Ca$^+$. We measure a combined qubit state preparation and single-shot readout fidelity of 99.93%, a memory coherence time of $T^*_2=50$ seconds, and an average single-qubit gate fidelity of 99.9999%. These results are achieved in a room-temperature microfabricated surface trap, without the use of magnetic field shielding or dynamic decoupling techniques to overcome technical noise. △ Less

Submitted 7 October, 2014; v1 submitted 6 March, 2014; originally announced March 2014.

Comments: Supplementary Information included. 6 nines, 7 figures, 8 pages

Journal ref: Phys. Rev. Lett. 113, 220501 (2014)

Microwave control electrodes for scalable, parallel, single-qubit operations in a surface-electrode ion trap

Authors: D. P. L. Aude Craik, N. M. Linke, T. P. Harty, C. J. Ballance, D. M. Lucas, A. M. Steane, D. T. C. Allcock

Abstract: We propose a surface ion trap design incorporating microwave control electrodes for near-field single-qubit control. The electrodes are arranged so as to provide arbitrary frequency, amplitude and polarization control of the microwave field in one trap zone, while a similar set of electrodes is used to null the residual microwave field in a neighbouring zone. The geometry is chosen to reduce the r… ▽ More We propose a surface ion trap design incorporating microwave control electrodes for near-field single-qubit control. The electrodes are arranged so as to provide arbitrary frequency, amplitude and polarization control of the microwave field in one trap zone, while a similar set of electrodes is used to null the residual microwave field in a neighbouring zone. The geometry is chosen to reduce the residual field to the 0.5% level without nulling fields; with nulling, the crosstalk may be kept close to the 0.01% level for realistic microwave amplitude and phase drift. Using standard photolithography and electroplating techniques, we have fabricated a proof-of-principle electrode array with two trap** zones. We discuss requirements for the microwave drive system and prospects for scalability to a large two-dimensional trap array. △ Less

Submitted 14 October, 2013; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: 8 pages, 6 figures

Journal ref: Appl. Phys. B 114, 3-10 (2014)

Experimental recovery of a qubit from partial collapse

Authors: J. A. Sherman, M. J. Curtis, D. J. Szwer, D. T. C. Allcock, G. Imreh, D. M. Lucas, A. M. Steane

Abstract: We describe and implement a method to restore the state of a single qubit, in principle perfectly, after it has partially collapsed. The method resembles the classical Hahn spin-echo, but works on a wider class of relaxation processes, in which the quantum state partially leaves the computational Hilbert space. It is not guaranteed to work every time, but successful outcomes are heralded. We demon… ▽ More We describe and implement a method to restore the state of a single qubit, in principle perfectly, after it has partially collapsed. The method resembles the classical Hahn spin-echo, but works on a wider class of relaxation processes, in which the quantum state partially leaves the computational Hilbert space. It is not guaranteed to work every time, but successful outcomes are heralded. We demonstrate using a single trapped ion better performance from this recovery method than can be obtained employing projection and post-selection alone. The demonstration features a novel qubit implementation that permits both partial collapse and coherent manipulations with high fidelity. △ Less

Submitted 28 October, 2013; v1 submitted 29 July, 2013; originally announced July 2013.

Comments: 5 pages, 3 figures

Journal ref: Phys. Rev. Lett. 111, 180501 (2013)

Steinberg groups as amalgams

Authors: Daniel Allcock

Abstract: For any root system and any commutative ring we give a relatively simple presentation of a group related to its Steinberg group St. This includes the case of infinite root systems used in Kac-Moody theory, for which the Steinberg group was defined by Tits and Morita-Rehmann. In most cases our group equals St, giving a presentation with many advantages over the usual presentation of St. This equali… ▽ More For any root system and any commutative ring we give a relatively simple presentation of a group related to its Steinberg group St. This includes the case of infinite root systems used in Kac-Moody theory, for which the Steinberg group was defined by Tits and Morita-Rehmann. In most cases our group equals St, giving a presentation with many advantages over the usual presentation of St. This equality holds for all spherical root systems, all irreducible affine root systems of rank>2, and all 3-spherical root systems. When the coefficient ring satisfies a minor condition, the last condition can be relaxed to 2-sphericity. Our presentation is defined in terms of the Dynkin diagram rather than the full root system. It is concrete, with no implicit coefficients or signs. It makes manifest the exceptional diagram automorphisms in characteristics 2 and 3, and their generalizations to Kac-Moody groups. And it is a Curtis-Tits style presentation: it is the direct limit of the groups coming from 1- and 2-node subdiagrams of the Dynkin diagram. Over non-fields this description as a direct limit is new and surprising. Our main application is that many Steinberg and Kac-Moody groups over finitely-generated rings are finitely presented. △ Less

Submitted 29 March, 2016; v1 submitted 10 July, 2013; originally announced July 2013.

Comments: Minor revision

MSC Class: 19C99; 20G44; 14L15; 22E67

Journal ref: Algebra Number Theory 10 (2016) 1791-1843

A microfabricated ion trap with integrated microwave circuitry

Authors: D. T. C. Allcock, T. P. Harty, C. J. Ballance, B. C. Keitch, N. M. Linke, D. N. Stacey, D. M. Lucas

Abstract: We describe the design, fabrication and testing of a surface-electrode ion trap, which incorporates microwave waveguides, resonators and coupling elements for the manipulation of trapped ion qubits using near-field microwaves. The trap is optimised to give a large microwave field gradient to allow state-dependent manipulation of the ions' motional degrees of freedom, the key to multiqubit entangle… ▽ More We describe the design, fabrication and testing of a surface-electrode ion trap, which incorporates microwave waveguides, resonators and coupling elements for the manipulation of trapped ion qubits using near-field microwaves. The trap is optimised to give a large microwave field gradient to allow state-dependent manipulation of the ions' motional degrees of freedom, the key to multiqubit entanglement. The microwave field near the centre of the trap is characterised by driving hyperfine transitions in a single laser-cooled 43Ca+ ion. △ Less

Submitted 11 October, 2012; originally announced October 2012.

Comments: 4 pages, 5 figures

Journal ref: Appl. Phys. Lett. 102, 044103 (2013)

Root systems for Lorentzian Kac-Moody algebras in rank 3 (arXiv version)

Authors: Daniel Allcock

Abstract: Sometimes a hyperbolic Kac-Moody algebra admits an automorphic correction, meaning a generalized Kac-Moody algebra with the same real simple roots and whose denominator function has good automorphic properties; these for example allow one to work out the root multiplicities. Gritsenko and Nikulin have formalized this in their theory of Lorentzian Lie algebras and shown that the real simple roots m… ▽ More Sometimes a hyperbolic Kac-Moody algebra admits an automorphic correction, meaning a generalized Kac-Moody algebra with the same real simple roots and whose denominator function has good automorphic properties; these for example allow one to work out the root multiplicities. Gritsenko and Nikulin have formalized this in their theory of Lorentzian Lie algebras and shown that the real simple roots must satisfy certain conditions in order for the algebra to admit an automorphic correction. We classify the hyperbolic root systems of rank 3 that satisfy their conditions and have only finite many simple roots, or equivalently a timelike Weyl vector. There are 994 of them, with as many as 24 simple roots. Patterns in the data suggest that some of the non-obvious cases may be the richest. △ Less

Submitted 28 October, 2014; v1 submitted 31 August, 2012; originally announced September 2012.

Comments: This is the unabridged version of the paper of the same title, which will appear in the Bulletin of the LMS. This version has the full table of root systems, rather than just those with 4 simple roots. It also has an additional explanatory example and a computer-readable version of the table (commented out in the TeX file)

MSC Class: Primary 17B22; Secondary 20F55 17B67

Unabridged table of reflective lattices of rank 3

Authors: Daniel Allcock

Abstract: This is the unabridged table of all 8595 rank three reflective Lorentzian lattices, intended as a supplement to the author's paper classifying them. The abridged table in that paper is complete too, but less explicit, so the main purpose of this document is archival. The TeX sourcecode is simultaneously a Perl script, which when run prints out all the lattices in computer-readable format. This is the unabridged table of all 8595 rank three reflective Lorentzian lattices, intended as a supplement to the author's paper classifying them. The abridged table in that paper is complete too, but less explicit, so the main purpose of this document is archival. The TeX sourcecode is simultaneously a Perl script, which when run prints out all the lattices in computer-readable format. △ Less

Submitted 4 November, 2011; originally announced November 2011.

Comments: 1235 pages; no one should ever print this out

MSC Class: 11H56 (20F55; 22E40)

Background-free detection of trapped ions

Authors: N. M. Linke, D. T. C. Allcock, D. J. Szwer, C. J. Ballance, T. P. Harty, H. A. Janacek, D. N. Stacey, A. M. Steane, D. M. Lucas

Abstract: We demonstrate a Doppler cooling and detection scheme for ions with low-lying D levels which almost entirely suppresses scattered laser light background, while retaining a high fluorescence signal and efficient cooling. We cool a single ion with a laser on the 2S1/2 to 2P1/2 transition as usual, but repump via the 2P3/2 level. By filtering out light on the cooling transition and detecting only the… ▽ More We demonstrate a Doppler cooling and detection scheme for ions with low-lying D levels which almost entirely suppresses scattered laser light background, while retaining a high fluorescence signal and efficient cooling. We cool a single ion with a laser on the 2S1/2 to 2P1/2 transition as usual, but repump via the 2P3/2 level. By filtering out light on the cooling transition and detecting only the fluorescence from the 2P_3/2 to 2S1/2 decays, we suppress the scattered laser light background count rate to 1 per second while maintaining a signal of 29000 per second with moderate saturation of the cooling transition. This scheme will be particularly useful for experiments where ions are trapped in close proximity to surfaces, such as the trap electrodes in microfabricated ion traps, which leads to high background scatter from the cooling beam. △ Less

Submitted 23 February, 2012; v1 submitted 25 October, 2011; originally announced October 2011.

Journal ref: Appl. Phys. B 107, 1175-1180 (2012)

Reduction of heating rate in a microfabricated ion trap by pulsed-laser cleaning

Authors: D T C Allcock, L Guidoni, T P Harty, C J Ballance, M G Blain, A M Steane, D M Lucas

Abstract: Laser-cleaning of the electrodes in a planar micro-fabricated ion trap has been attempted using ns pulses from a tripled Nd:YAG laser at 355nm. The effect of the laser pulses at several energy density levels has been tested by measuring the heating rate of a single 40Ca+ trapped ion as a function of its secular frequency. A reduction of the electric-field noise spectral density by ~50% has been ob… ▽ More Laser-cleaning of the electrodes in a planar micro-fabricated ion trap has been attempted using ns pulses from a tripled Nd:YAG laser at 355nm. The effect of the laser pulses at several energy density levels has been tested by measuring the heating rate of a single 40Ca+ trapped ion as a function of its secular frequency. A reduction of the electric-field noise spectral density by ~50% has been observed and a change in the frequency dependence also noticed. This is the first reported experiment where the "anomalous heating" phenomenon has been reduced by removing the source as opposed to reducing its thermal driving by cryogenic cooling. This technique may open the way to better control of the electrode surface quality in ion microtraps. △ Less

Submitted 7 October, 2011; originally announced October 2011.

Journal ref: New J. Phys. 13 123023 (2011)