Instruction scheduling is a key compiler optimization in quantum computing, just as it is for classical computing. Current schedulers optimize for data parallelism by allowing simultaneous execution of instructions, as long as their qubits do not overlap. However, on many quantum hardware platforms, instructions on overlapping qubits can be executed simultaneously through __global interactions__. For example, while fan-out in traditional quantum circuits can only be implemented sequentially when viewed at the logical level, global interactions at the physical level allow fan-out to be achieved in one step. We leverage this simultaneous fan-out primitive to optimize circuit synthesis for NISQ (Noisy Intermediate-Scale Quantum) workloads. In addition, we introduce novel quantum memory architectures based on fan-out.
Our work also addresses hardware implementation of the fan-out primitive. We perform realistic simulations for trapped ion quantum computers. We also demonstrate experimental proof-of-concept of fan-out with superconducting qubits. We perform depth (runtime) and fidelity estimation for NISQ application circuits and quantum memory architectures under realistic noise models. Our simulations indicate promising results with an asymptotic advantage in runtime, as well as 7--24% reduction in error.
We propose definitions of QAC^0, the quantum analog of the classical class AC^0 of constant-depth circuits with AND and OR gates of arbitrary fan-in, and QACC^0[q], where n-ary Mod-q gates are also allowed. We show that it is possible to make a `cat' state on n qubits in constant depth if and only if we can construct a parity or Mod-2 gate in constant depth; therefore, any circuit class that can fan out a qubit to n copies in constant depth also includes QACC^0[2]. In addition, we prove the somewhat surprising result that parity or fanout allows us to construct Mod-q gates in constant depth fo…
We demonstrate that the unbounded fan-out gate is very powerful. Constant-depth polynomial-size quantum circuits with bounded fan-in and unbounded fan-out over a fixed basis (denoted by QNCf^0) can approximate with polynomially small error the following gates: parity, mod[q], And, Or, majority, threshold[t], exact[q], and Counting. Classically, we need logarithmic depth even if we can use unbounded fan-in gates. If we allow arbitrary one-qubit gates instead of a fixed basis, then these circuits can also be made exact in log-star depth. Sorting, arithmetical operations, phase estimation, and th…
Constant-Depth Quantum Imaginary Time Evolution Using Dynamic Fan-out Circuits
Jeppesen ForeFlight（杰普森福飞）；Department of Microtechnology and Nanoscience (MC2), Chalmers University of Technology（查尔姆斯理工大学微技术和纳米科学系（MC2））；Department of Chemistry and Chemical Engineering, Chalmers University of Technology（查尔姆斯理工大学化学与化学工程系）；Center for Advanced Systems Understanding, Helmholtz-Zentrum Dresden-Rossendorf（德累斯顿-罗斯多夫亥姆霍兹中心高级系统理解中心）；Center for Scalable Data Analytics and Artificial Intelligence Dresden/Leipzig, TU Dresden（德累斯顿/莱比锡可扩展数据分析与人工智能中心，德累斯顿工业大学）
We first show how to construct an O(n)-depth O(n)-size quantum circuit for addition of two n-bit binary numbers with no ancillary qubits. The exact size is 7n-6, which is smaller than that of any other quantum circuit ever constructed for addition with no ancillary qubits. Using the circuit, we then propose a method for constructing an O(d(n))-depth O(n)-size quantum circuit for addition with O(n/d(n)) ancillary qubits for any d(n)=Ω(log n). If we are allowed to use unbounded fan-out gates with length O(n^c) for an arbitrary small positive constant c, we can modify the method and construct an …
We prove several new lower bounds for constant depth quantum circuits. The main result is that parity (and hence fanout) requires log depth circuits, when the circuits are composed of single qubit and arbitrary size Toffoli gates, and when they use only constantly many ancillæ. Under this constraint, this bound is close to optimal. In the case of a non-constant number $a$ of ancillae, we give a tradeoff between $a$ and the required depth, that results in a non-trivial lower bound for fanout when $a = n^{1-o(1)}$.
While quantum information processing by nuclear magnetic resonance (NMR) with small number of qubits is well established, implementation of lengthy computations have proved to be difficult due to decoherence/relaxation. In such circumstances, shallow circuits (circuits using parallel computation) may prove to be realistic. Parity and fanout gates are essential to create shallow circuits. In this article we implement inversion-on-equality gate, followed by parity gate and fanout gate in 3-qubit systems by NMR, using evolution under indirect exchange coupling Hamiltonian.
Recently, Bravyi, Gosset, and König (Science, 2018) exhibited a search problem called the 2D Hidden Linear Function (2D HLF) problem that can be solved exactly by a constant-depth quantum circuit using bounded fan-in gates (or QNC^0 circuits), but cannot be solved by any constant-depth classical circuit using bounded fan-in AND, OR, and NOT gates (or NC^0 circuits). In other words, they exhibited a search problem in QNC^0 that is not in NC^0. We strengthen their result by proving that the 2D HLF problem is not contained in AC^0, the class of classical, polynomial-size, constant-depth circuits …
Unconditional Quantum Advantage for Sampling with Shallow Circuits
Institute for Quantum Computing, University of Waterloo（滑铁卢大学量子计算研究所）；Department of Computer Science, Columbia University（哥伦比亚大学计算机科学系）；Perimeter Institute for Theoretical Physics（理论物理珀蒂默研究所）
We show that the quantum parity gate on $n > 3$ qubits cannot be cleanly simulated by a quantum circuit with two layers of arbitrary C-SIGN gates of any arity and arbitrary 1-qubit unitary gates, regardless of the number of allowed ancilla qubits. This is the best known and first nontrivial separation between the parity gate and circuits of this form. The same bounds also apply to the quantum fanout gate. Our results are incomparable with those of Fang et al. [3], which apply to any constant depth but require a sublinear number of ancilla qubits on the simulating circuit.
Magneto-optical isolators and circulators have been widely used to safeguard quantum devices from reflections and noise in the readout stage. However, these devices have limited bandwidth, low tunability, are bulky, and suffer from high losses, making them incompatible with planar technologies such as circuit QED. To address these limitations, we propose a new approach to quantum non-reciprocity that utilizes the intrinsic nonlinearity of qubits and broken spatial symmetry. We show that a circuit containing Lorentz-type qubits can be transformed into Fano-type qubits with an asymmetric spectra…
The Power of Shallow-depth Toffoli and Qudit Quantum Circuits
Sorbonne Université（索邦大学）；CNRS（法国国家科学研究中心）；School of Informatics, University of Edinburgh（爱丁堡大学信息学院）；International Iberian Nanotechnology Laboratory（伊比利亚纳米技术国际实验室）
Single flux quantum (SFQ) logic is a promising candidate to replace the CMOS logic for high speed and low power applications due to its superiority in providing high performance and energy efficient circuits. However, developing effective Electronic Design Automation (EDA) tools, which cater to special characteristics and requirements of SFQ circuits such as depth minimization and path balancing, are essential to automate the whole process of designing large SFQ circuits. In this paper, a novel technology mapping tool, called SFQmap, is presented, which provides optimization methods for minimi…
We show that the depth of quantum circuits in the realistic architecture where a classical controller determines which local interactions to apply on the kD grid Z^k where k >= 2 is the same (up to a constant factor) as in the standard model where arbitrary interactions are allowed. This allows minimum-depth circuits (up to a constant factor) for the nearest-neighbor architecture to be obtained from minimum-depth circuits in the standard abstract model. Our work therefore justifies the standard assumption that interactions can be performed between arbitrary pairs of qubits. In particular, our …
We introduce a toolbox for the quantum simulation of superluminal motion with superconducting circuits. We show that it is possible to simulate the motion of a superconducting qubit at constant velocities that exceed the speed of light in the electromagnetic medium and the subsequent emission of Ginzburg radiation. We consider as well possible setups for simulating the superluminal motion of a mirror, finding a link with the superradiant phase transition of the Dicke model.
Recently Bravyi, Gosset and König (Science 2018) proved an unconditional separation between the computational powers of small-depth quantum and classical circuits for a relation. In this paper we show a similar separation in the average-case setting that gives stronger evidence of the superiority of small-depth quantum computation: we construct a computational task that can be solved on all inputs by a quantum circuit of constant depth with bounded-fanin gates (a "shallow" quantum circuit) and show that any classical circuit with bounded-fanin gates solving this problem on a non-negligible fra…
We describe the construction and operation of a segmented linear Paul trap, fabricated in printed-circuit-board technology with an electrode segment width of 500 microns. We prove the applicability of this technology to reliable ion trapping and report the observation of Doppler cooled ion crystals of Ca-40 with this kind of traps. Measured trap frequencies agree with numerical simulations at the level of a few percent from which we infer a high fabrication accuracy of the segmented trap. To demonstrate its usefulness and versatility for trapped ion experiments we study the fast transport of a…
Let $η_0$ be the supremum of those $η$ for which every poly-size quantum circuit can be simulated by another poly-size quantum circuit with gates of fan-in $\leq 2$ that tolerates random noise independently occurring on all wires at the constant rate $η$. Recent fundamental results showing the principal fact $η_0>0$ give estimates like $η_0\geq 10^{-6}-10^{-4}$, whereas the only upper bound known before is $η_0\leq 0.74$. In this note we improve the latter bound to $η_0\leq 1/2$, under the assumption $QP\not\subseteq QNC^1$. More generally, we show that if the decoherence rate $η$ is greater t…
We prove that one-way quantum computations have the same computational power as quantum circuits with unbounded fan-out. It demonstrates that the one-way model is not only one of the most promising models of physical realisation, but also a very powerful model of quantum computation. It confirms and completes previous results which have pointed out, for some specific problems, a depth separation between the one-way model and the quantum circuit model. Since one-way model has the same computational power as unbounded quantum fan-out circuits, the quantum Fourier transform can be approximated in…
A critical step in quantum compilation is the transformation of a technology-independent quantum circuit into a technology-dependent form for a targeted device. In addition to mapping quantum gates into the supported gate set, it is necessary to map pseudo qubits in the technology-independent circuit into physical qubits of the technology-dependent circuit such that coupling constraints among qubits acting in multiple-qubit gates are satisfied. It is usually not possible to find such a mapping without adding SWAP gates into the circuit. To cope with the technical limitations of NISQ-era quantu…
The quantum query complexity of evaluating any read-once formula with n black-box input bits is Theta(sqrt(n)). However, the corresponding problem for read-many formulas (i.e., formulas in which the inputs have fanout) is not well understood. Although the optimal read-once formula evaluation algorithm can be applied to any formula, it can be suboptimal if the inputs have large fanout. We give an algorithm for evaluating any formula with n inputs, size S, and G gates using O(min{n, sqrt{S}, n^{1/2} G^{1/4}}) quantum queries. Furthermore, we show that this algorithm is optimal, since for any n,S…
In breakthrough work, Bravyi, Gosset, and König (BGK) [Science, 2018] unconditionally proved that constant depth quantum circuits are more powerful than their classical counterparts. Their result is equivalent to saying that a particular family of constant depth quantum circuits takes classical circuits at least $Ω(\log n)$ depth to "simulate", in a certain sense. In our paper, we formalise their sense of simulation, which we call "possibilistic simulation" or "p-simulation", and construct explicit classical circuits that can p-simulate any depth-$d$ quantum circuit with Clifford and $t$ $T$-g…
Photonic integrated circuits that are manufactured with mature semiconductor technology hold great promise for realizing scalable quantum technology. Efficient interfaces between quantum emitters and nanophotonic devices are crucial building blocks for such implementations on silicon chips. These interfaces can be realized as nanobeam optical cavities with high quality factors and wavelength-scale mode volumes, thus providing enhanced coupling between nanoscale quantum emitters and nanophotonic circuits. Realizing such resonant structures is particularly challenging for the visible wavelength …
Extensible quantum computing architectures require a large array of quantum devices operating with low error rates. A quantum processor based on superconducting quantum bits can be scaled up by stacking microchips that each perform different computational functions. In this article, we experimentally demonstrate a thermocompression bonding technology that utilizes indium films as a welding agent to attach pairs of lithographically-patterned chips. We perform chip-to-chip indium bonding in vacuum at $190^{\circ}C$ with indium film thicknesses of $150 nm$. We characterize the dc and microwave pe…
A key resource for quantum optics experiments is an on-demand source of single and multiple photon states at telecommunication wavelengths. This letter presents a heralded single photon source based on a hybrid technology approach, combining high efficiency periodically poled lithium niobate waveguides, low-loss laser inscribed circuits, and fast (>1 MHz) fibre coupled electro-optic switches. Hybrid interfacing different platforms is a promising route to exploiting the advantages of existing technology and has permitted the demonstration of the multiplexing of four identical sources of single …
Low depth measurement-based quantum computation with qudits ($d$-level systems) is investigated and a precise relationship between this powerful model and qudit quantum circuits is derived in terms of computational depth and size complexity. To facilitate this investigation a qudit `unbounded fan-out' circuit model, in which a qudit may be quantum-copied into an arbitrary number of ancillas in a single time-step, is introduced and shown to be capable of implementing interesting $n$-qudit unitaries in constant depth. A procedure for reducing the quantum computational depth in the measurement-ba…
Distinguishing logarithmic depth quantum circuits on mixed states is shown to be complete for QIP, the class of problems having quantum interactive proof systems. Circuits in this model can represent arbitrary quantum processes, and thus this result has implications for the verification of implementations of quantum algorithms. The distinguishability problem is also complete for QIP on constant depth circuits containing the unbounded fan-out gate. These results are shown by reducing a QIP-complete problem to a logarithmic depth version of itself using a parallelization technique.
Integrated quantum photonic waveguide circuits are a promising approach to realizing future photonic quantum technologies. Here, we present an integrated photonic quantum technology platform utilising the silicon-on-insulator material system, where quantum interference and the manipulation of quantum states of light are demonstrated in components orders of magnitude smaller than in previous implementations. Two-photon quantum interference is presented in a multi-mode interference coupler, and manipulation of entanglement is demonstrated in a Mach-Zehnder interferometer, opening the way to an a…
Higher-order transitions can occur in the ultrastrong-coupling regime of circuit QED through virtual processes governed by the counter-rotating interactions. We propose a feasible way to probe higher-order transitions through the scattering of propagating microwave photons incident on the hybrid qubit-cavity system. The lineshapes in the scattering spectra can indicate the coherent interaction between the qubits and the cavity, and the higher-order transitions can be identified in the population spectra. We further find that if the coupling strengths between the two qubits and the cavity are t…
We prove that constant-depth quantum circuits are more powerful than their classical counterparts. To this end we introduce a non-oracular version of the Bernstein-Vazirani problem which we call the 2D Hidden Linear Function problem. An instance of the problem is specified by a quadratic form q that maps n-bit strings to integers modulo four. The goal is to identify a linear boolean function which describes the action of q on a certain subset of n-bit strings. We prove that any classical probabilistic circuit composed of bounded fan-in gates that solves the 2D Hidden Linear Function problem wi…
Advances in laser technology have driven discoveries in atomic, molecular, and optical (AMO) physics and emerging applications, from quantum computers with cold atoms or ions, to quantum networks with solid-state color centers. This progress is motivating the development of a new generation of "programmable optical control" systems, characterized by criteria (C1) visible (VIS) and near-infrared (IR) wavelength operation, (C2) large channel counts extensible beyond 1000s of individually addressable atoms, (C3) high intensity modulation extinction and (C4) repeatability compatible with low gate …
We constructed an optical interferometer for a Bennett-Brassard quantum key distribution system using integrated optics based on planar lightwave circuit technology, and tested its operation and stability. Experimental results show that this interferometer is useful in implementing a practical quantum key distribution system.
Coherent pulse control for quantum memory is viable in the optical domain but nascent in microwave quantum circuits. We show how to realize coherent storage and on-demand pulse retrieval entirely within a superconducting circuit by exploiting and extending existing electromagnetically induced transparency technology in superconducting quantum circuits. Our scheme employs a linear array of superconducting artificial atoms coupled to a microwave transmission line.
Quantum computers require interfaces with classical electronics for efficient qubit control, measurement and fast data processing. Fabricating the qubit and the classical control layer using the same technology is appealing because it will facilitate the integration process, improving feedback speeds and offer potential solutions to wiring and layout challenges. Integrating classical and quantum devices monolithically, using complementary metal-oxide-transistor (CMOS) processes, enables the processor to profit from the most mature industrial technology for the fabrication of large scale circui…
Worst-case depth hierarchy for shallow quantum circuits
Hon Hai (Foxconn) Quantum Computing Research Center（鸿海（富士康）量子计算研究中心）；University of Oxford（牛津大学）；The University of Hong Kong（香港大学）；University of Technology Sydney（悉尼科技大学）
In this paper a commercial 28-nm FDSOI CMOS technology is characterized and modeled from room temperature down to 4.2 K. Here we explain the influence of incomplete ionization and interface traps on this technology starting from the fundamental device physics. We then illustrate how these phenomena can be accounted for in circuit device-models. We find that the design-oriented simplified EKV model can accurately predict the impact of the temperature reduction on the transfer characteristics, back-gate sensitivity, and transconductance efficiency. The presented results aim at extending industry…
Atomtronics is an emerging field in quantum technology that promises to realize 'atomic circuit' architectures exploiting ultra-cold atoms manipulated in versatile micro-optical circuits generated by laser fields of different shapes and intensities or micro-magnetic circuits known as atom chips. Although devising new applications for computation and information transfer is a defining goal of the field, Atomtronics wants to enlarge the scope of quantum simulators and to access new physical regimes with novel fundamental science. With this focus issue we want to survey the state of the art of At…
Quantum information processing holds great promise for communicating and computing data efficiently. However, scaling current photonic implementation approaches to larger system size remains an outstanding challenge for realizing disruptive quantum technology. Two main ingredients of quantum information processors are quantum interference and single-photon detectors. Here we develop a hybrid superconducting-photonic circuit system to show how these elements can be combined in a scalable fashion on a silicon chip. We demonstrate the suitability of this approach for integrated quantum optics by …
