425 citations · 1.2k across the 13 of their papers we have counts for
14 papers
Computing 256-bit elliptic curve discrete logarithms in 26 days on a fault-tolerant trapped-ion quantum computer with 20,000 qubits
Thomas Häner, Felix Tripier, Jacob Young +11
One of the strengths of our recently proposed Walking Cat Architecture for a trapped-ion quantum computer is that it is straightforward to extend and optimize for a specific applic…
Disentangling Hype from Practicality: On Realistically Achieving Quantum Advantage
Torsten Hoefler, Thomas Haener, Matthias Troyer
Quantum computers offer a new paradigm of computing with the potential to vastly outperform any imagineable classical computer. This has caused a gold rush towards new quantum algo…
Space-time optimized table lookup
Thomas Häner, Vadym Kliuchnikov, Martin Roetteler +1
We describe a space-time optimized circuit for the table lookup subroutine from lattice-surgery surface code primitives respecting 2D grid connectivity. Table lookup circuits are u…
Distributed Quantum Computing with QMPI
Thomas Häner, Damian S. Steiger, Torsten Hoefler +1
Practical applications of quantum computers require millions of physical qubits and it will be challenging for individual quantum processors to reach such qubit numbers. It is ther…
Prospects of Quantum Computing for Molecular Sciences
Hongbin Liu, Guang Hao Low, Damian S. Steiger +3
Molecular science is governed by the dynamics of electrons, atomic nuclei, and their interaction with electromagnetic fields. A reliable physicochemical understanding of these proc…
Enabling Dataflow Optimization for Quantum Programs
David Ittah, Thomas Häner, Vadym Kliuchnikov +1
We propose an IR for quantum computing that directly exposes quantum and classical data dependencies for the purpose of optimization. The Quantum Intermediate Representation for Op…
Quantum computing enhanced computational catalysis
Vera von Burg, Guang Hao Low, Thomas Häner +4
The quantum computation of electronic energies can break the curse of dimensionality that plagues many-particle quantum mechanics. It is for this reason that a universal quantum co…
Assertion-Based Optimization of Quantum Programs
Thomas Häner, Torsten Hoefler, Matthias Troyer
Quantum computers promise to perform certain computations exponentially faster than any classical device. Precise control over their physical implementation and proper shielding fr…
OpenFermion: The Electronic Structure Package for Quantum Computers
Jarrod R. McClean, Kevin J. Sung, Ian D. Kivlichan +32
Quantum simulation of chemistry and materials is predicted to be an important application for both near-term and fault-tolerant quantum devices. However, at present, developing and…
0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit
Thomas Häner, Damian S. Steiger
Near-term quantum computers will soon reach sizes that are challenging to directly simulate, even when employing the most powerful supercomputers. Yet, the ability to simulate thes…
ProjectQ: An Open Source Software Framework for Quantum Computing
Damian S. Steiger, Thomas Häner, Matthias Troyer
We introduce ProjectQ, an open source software effort for quantum computing. The first release features a compiler framework capable of targeting various types of hardware, a high-…
Factoring using 2n+2 qubits with Toffoli based modular multiplication
Thomas Häner, Martin Roetteler, Krysta M. Svore
We describe an implementation of Shor's quantum algorithm to factor n-bit integers using only 2n+2 qubits. In contrast to previous space-optimized implementations, ours features a…
A Software Methodology for Compiling Quantum Programs
Thomas Häner, Damian S. Steiger, Krysta Svore +1
Quantum computers promise to transform our notions of computation by offering a completely new paradigm. To achieve scalable quantum computation, optimizing compilers and a corresp…
High Performance Emulation of Quantum Circuits
Thomas Häner, Damian S. Steiger, Mikhail Smelyanskiy +1
As quantum computers of non-trivial size become available in the near future, it is imperative to develop tools to emulate small quantum computers. This allows for validation and d…