-
On Exact Sizes of Minimal CNOT Circuits
Authors:
Jens Emil Christensen,
Søren Fuglede Jørgensen,
Andreas Pavlogiannis,
Jaco van de Pol
Abstract:
Computing a minimum-size circuit that implements a certain function is a standard optimization task. We consider circuits of CNOT gates, which are fundamental binary gates in reversible and quantum computing. Algebraically, CNOT circuits on $n$ qubits correspond to $GL(n,2)$, the general linear group over the field of two elements, and circuit minimization reduces to computing distances in the Cay…
▽ More
Computing a minimum-size circuit that implements a certain function is a standard optimization task. We consider circuits of CNOT gates, which are fundamental binary gates in reversible and quantum computing. Algebraically, CNOT circuits on $n$ qubits correspond to $GL(n,2)$, the general linear group over the field of two elements, and circuit minimization reduces to computing distances in the Cayley graph $G_n$ of $GL(n,2)$ generated by transvections. However, the super-exponential size of $GL(n,2)$ has made its exploration computationally challenging.
In this paper, we develop a new approach for computing distances in $G_n$, allowing us to synthesize minimum circuits that were previously beyond reach (e.g., we can synthesize optimally all circuits over $n=7$ qubits). Towards this, we establish two theoretical results that may be of independent interest. First, we give a complete characterization of all isometries in $G_n$ in terms of (i) permuting qubits and (ii) swapping the arguments of all CNOT gates. Second, for any fixed $d$, we establish polynomials in $n$ of degree $2d$ that characterize the size of spheres in $G_n$ at distance $d$, as long as $n\geq 2d$. With these tools, we revisit an open question of [Bataille, 2022] regarding the smallest number $n_0$ for which the diameter of $G_{n_0}$ exceeds $3(n_0-1)$. It was previously shown that $6\leq n_0 \leq 30$, a gap that we tighten considerably to $8\leq n_0 \leq 20$. We also confirm a conjecture that long cycle permutations lie at distance $3(n-1)$, for all $n\leq 8$, extending the previous bound of $n\leq 5$.
△ Less
Submitted 28 April, 2025; v1 submitted 3 March, 2025;
originally announced March 2025.
-
Two-dimensional Si spin qubit arrays with multilevel interconnects
Authors:
Sieu D. Ha,
Edwin Acuna,
Kate Raach,
Zachery T. Bloom,
Teresa L. Brecht,
James M. Chappell,
Maxwell D. Choi,
Justin E. Christensen,
Ian T. Counts,
Dominic Daprano,
J. P. Dodson,
Kevin Eng,
David J. Fialkow,
Christina A. C. Garcia,
Wonill Ha,
Thomas R. B. Harris,
nathan holman,
Isaac Khalaf,
Justine W. Matten,
Christi A. Peterson,
Clifford E. Plesha,
Matthew J. Ruiz,
Aaron Smith,
Bryan J. Thomas,
Samuel J. Whiteley
, et al. (4 additional authors not shown)
Abstract:
The promise of quantum computation is contingent upon physical qubits with both low gate error rate and broad scalability. Silicon-based spins are a leading qubit platform, but demonstrations to date have not utilized fabrication processes capable of extending arrays in two dimensions while maintaining complete control of individual spins. Here, we implement an interconnect process, common in semi…
▽ More
The promise of quantum computation is contingent upon physical qubits with both low gate error rate and broad scalability. Silicon-based spins are a leading qubit platform, but demonstrations to date have not utilized fabrication processes capable of extending arrays in two dimensions while maintaining complete control of individual spins. Here, we implement an interconnect process, common in semiconductor manufacturing, with multiple back-end-of-line layers to show an extendable two-dimensional array of spins with fully controllable nearest-neighbor exchange interactions. In a device using three interconnect layers, we encode exchange-only qubits and achieve average single-qubit gate fidelities consistent with single-layer devices, including fidelities greater than 99.9%, as measured by blind randomized benchmarking. Moreover, with spin connectivity in two dimensions, we show that both linear and right-angle exchange-only qubits with high performance can be formed, enabling qubit array reconfigurability in the presence of defects. This extendable device platform demonstrates that industrial manufacturing techniques can be leveraged for scalable spin qubit technologies.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
A general algorithm for calculating irreducible Brillouin zones
Authors:
Jeremy J. Jorgensen,
John E. Christensen,
Tyler J. Jarvis,
Gus L. W. Hart
Abstract:
Calculations of properties of materials require performing numerical integrals over the Brillouin zone (BZ). Integration points in density functional theory codes are uniformly spread over the BZ (despite integration error being concentrated in small regions of the BZ) and preserve symmetry to improve computational efficiency. Integration points over an irreducible Brillouin zone (IBZ), a rotation…
▽ More
Calculations of properties of materials require performing numerical integrals over the Brillouin zone (BZ). Integration points in density functional theory codes are uniformly spread over the BZ (despite integration error being concentrated in small regions of the BZ) and preserve symmetry to improve computational efficiency. Integration points over an irreducible Brillouin zone (IBZ), a rotationally distinct region of the BZ, do not have to preserve crystal symmetry for greater efficiency. This freedom allows the use of adaptive meshes with higher concentrations of points at locations of large error, resulting in improved algorithmic efficiency. We have created an algorithm for constructing an IBZ of any crystal structure in 2D and 3D. The algorithm uses convex hull and half-space representations for the BZ and IBZ to make many aspects of construction and symmetry reduction of the BZ trivial. The algorithm is simple, general, and available as open-source software.
△ Less
Submitted 23 January, 2022; v1 submitted 12 April, 2021;
originally announced April 2021.
-
High fidelity manipulation of a qubit built from a synthetic nucleus
Authors:
Justin E. Christensen,
David Hucul,
Wesley C. Campbell,
Eric R. Hudson
Abstract:
The recently demonstrated trapping and laser cooling of $^{133}$Ba$^+$ has opened the door to the use of this nearly ideal atom for quantum information processing. However, before high fidelity qubit operations can be performed, a number of unknown state energies are needed. Here, we report measurements of the $^2$P$_{3/2}$ and $^2$D$_{5/2}$ hyperfine splittings, as well as the $^2$P$_{3/2}$…
▽ More
The recently demonstrated trapping and laser cooling of $^{133}$Ba$^+$ has opened the door to the use of this nearly ideal atom for quantum information processing. However, before high fidelity qubit operations can be performed, a number of unknown state energies are needed. Here, we report measurements of the $^2$P$_{3/2}$ and $^2$D$_{5/2}$ hyperfine splittings, as well as the $^2$P$_{3/2}$$\leftrightarrow$ $^2$S$_{1/2}$and $^2$P$_{3/2}$ $\leftrightarrow$ $^2$D$_{5/2}$ transition frequencies. Using these transitions, we demonstrate high fidelity $^{133}$Ba$^+$ hyperfine qubit manipulation with electron shelving detection to benchmark qubit state preparation and measurement (SPAM). Using single-shot, threshold discrimination, we measure an average SPAM fidelity of $\mathcal{F} = 0.99971(6)$, a factor of $\approx$ 2 improvement over the best reported performance of any qubit.
△ Less
Submitted 31 July, 2019;
originally announced July 2019.
-
Generalized Regular k-point Grid Generation On The Fly
Authors:
Wiley S. Morgan,
John E. Christensen,
Parker K. Hamilton,
Jeremy J. Jorgensen,
Branton J. Campbell,
Gus L. W. Hart,
Rodney W. Forcade
Abstract:
In the DFT community, it is common practice to use regular k-point grids (Monkhorst-Pack, MP) for Brillioun zone integration. Recently Wisesa et. al.\cite{wisesa2016efficient} and Morgan et. al.\cite{MORGAN2018424} demonstrated that generalized regular (GR) grids offer advantages over traditional MP grids. GR grids have not been widely adopted because one must search through a large number of cand…
▽ More
In the DFT community, it is common practice to use regular k-point grids (Monkhorst-Pack, MP) for Brillioun zone integration. Recently Wisesa et. al.\cite{wisesa2016efficient} and Morgan et. al.\cite{MORGAN2018424} demonstrated that generalized regular (GR) grids offer advantages over traditional MP grids. GR grids have not been widely adopted because one must search through a large number of candidate grids. This work describes an algorithm that can quickly search over GR grids for those that have the most uniform distribution of points and the best symmetry reduction. The grids are ~60% more efficient, on average, than MP grids and can now be generated on the fly in seconds.
△ Less
Submitted 8 February, 2019;
originally announced February 2019.
-
Spectroscopy of a synthetic trapped ion qubit
Authors:
David Hucul,
Justin E. Christensen,
Eric R. Hudson,
Wesley C. Campbell
Abstract:
$^{133}\text{Ba}^+$ has been identified as an attractive ion for quantum information processing due to the unique combination of its spin-1/2 nucleus and visible wavelength electronic transitions. Using a microgram source of radioactive material, we trap and laser-cool the synthetic $A…
▽ More
$^{133}\text{Ba}^+$ has been identified as an attractive ion for quantum information processing due to the unique combination of its spin-1/2 nucleus and visible wavelength electronic transitions. Using a microgram source of radioactive material, we trap and laser-cool the synthetic $A$ = 133 radioisotope of barium II in a radio-frequency ion trap. Using the same, single trapped atom, we measure the isotope shifts and hyperfine structure of the $6^2 \text{P}_{1/2}$ $\leftrightarrow$ $6^2 \text{S}_{1/2}$ and $6^2 \text{P}_{1/2}$ $\leftrightarrow$ $5^2 \text{D}_{3/2}$ electronic transitions that are needed for laser cooling, state preparation, and state detection of the clock-state hyperfine and optical qubits. We also report the $6^2 \text{P}_{1/2}$ $\leftrightarrow$ $5^2 \text{D}_{3/2}$ electronic transition isotope shift for the rare $A$ = 130 and 132 barium nuclides, completing the spectroscopic characterization necessary for laser cooling all long-lived barium II isotopes.
△ Less
Submitted 26 May, 2017;
originally announced May 2017.