Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Thomas Häner is active.

Publication


Featured researches published by Thomas Häner.


arXiv: Programming Languages | 2018

A software methodology for compiling quantum programs

Thomas Häner; Damian S. Steiger; Krysta M. Svore; Matthias Troyer

Quantum computers promise to transform our notions of computation by offering a completely new paradigm. To achieve scalable quantum computation, optimizing compilers and a corresponding software design flow will be essential. We present a software architecture for compiling quantum programs from a high-level language program to hardware-specific instructions. We describe the necessary layers of abstraction and their differences and similarities to classical layers of a computer-aided design flow. For each layer of the stack, we discuss the underlying methods for compilation and optimization. Our software methodology facilitates more rapid innovation among quantum algorithm designers, quantum hardware engineers, and experimentalists. It enables scalable compilation of complex quantum algorithms and can be targeted to any specific quantum hardware implementation.


ieee international conference on high performance computing data and analytics | 2017

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 these early devices using classical computers is crucial for calibration, validation, and benchmarking. In order to make use of the full potential of systems featuring multi- and many-core processors, we use automatic code generation and optimization of compute kernels, which also enables performance portability. We apply a scheduling algorithm to quantum supremacy circuits in order to reduce the required communication and simulate a 45-qubit circuit on the Cori II super-computer using 8, 192 nodes and 0.5 petabytes of memory. To our knowledge, this constitutes the largest quantum circuit simulation to this date. Our highly-tuned kernels in combination with the reduced communication requirements allow an improvement in time-to-solution over state-of-the-art simulations by more than an order of magnitude at every scale.


ieee international conference on high performance computing data and analytics | 2016

High performance emulation of quantum circuits

Thomas Häner; Damian S. Steiger; Mikhail Smelyanskiy; Matthias Troyer

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 debugging of algorithms as well as exploring hardware-software co-design to guide the development of quantum hardware and architectures. The simulation of quantum computers entails multiplications of sparse matrices with very large dense vectors of dimension 2n, where n denotes the number of qubits, making this a memory-bound and network bandwidth-limited application. We introduce the concept of a quantum computer emulator as a component of a software framework for quantum computing, enabling a significant performance advantage over simulators by emulating quantum algorithms at a high level rather than simulating individual gate operations. We describe various optimization approaches and present benchmarking results, establishing the superiority of quantum computer emulators in terms of performance.


arXiv: Quantum Physics | 2018

ProjectQ: an open source software framework for quantum computing

Damian S. Steiger; Thomas Häner; Matthias Troyer


Quantum Information & Computation | 2016

Factoring using 2n+2 qubits with Toffoli based modular multiplication

Thomas Häner; Martin Roetteler; Krysta M. Svore


Bulletin of the American Physical Society | 2017

OpenFermon: The Electronic Structure Package for Quantum Computers

Jarrod McClean; Ian D. Kivlichan; Kevin Sung; Damian S. Steiger; Yudong Cao; Chengyu Dai; E. Schuyler Fried; Craig Gidney; Brendan Gimby; Thomas Häner; Tarini Hardikar; Vojtĕch Havlíček; Cupjin Huang; Zhang Jiang; M. Neeley; Tom O'Brien; Isil Ozfidan; Jhonathan Romero; Nicholas Rubin; Nicolas P. D. Sawaya; Sukin Sim; Mark Steudtner; Wei Sun; Fang Zhang; Ryan Babbush


arXiv: Quantum Physics | 2018

Optimizing Quantum Circuits for Arithmetic.

Thomas Häner; Martin Roetteler; Krysta M. Svore


arXiv: Quantum Physics | 2018

Quantum Circuits for Floating-Point Arithmetic.

Thomas Häner; Mathias Soeken; Martin Roetteler; Krysta M. Svore


arXiv: Quantum Physics | 2018

Managing approximation errors in quantum programs.

Thomas Häner; Martin Roetteler; Krysta M. Svore


arXiv: Quantum Physics | 2018

Using Hoare logic for quantum circuit optimization

Thomas Häner; Torsten Hoefler; Matthias Troyer

Collaboration


Dive into the Thomas Häner's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Mathias Soeken

École Polytechnique Fédérale de Lausanne

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Kevin Sung

University of California

View shared research outputs
Top Co-Authors

Avatar

M. Neeley

University of California

View shared research outputs
Researchain Logo
Decentralizing Knowledge