Research

Imagine we get a large low-noise quantum computer tomorrow.

  • What would you need to know before trusting a result it produces?
  • For what practical problems would you use it first?

 

We ask 

  • how well a device works and what its dominant errors are
  • how those errors can be corrected or tolerated
  • how its elementary instructions can be used most efficiently for useful computations
  • which applications are genuinely promising, and
  • where the provable and practical limits lie. 

We approach these questions with complexity theory, optimization, signal processing, representation theory, random matrix theory, tensor networks, and physical quantum hardware specifications. 

 

Our research directions

Quantum system characterization (a.k.a. QCVV)

How can one figure out how well a quantum computer works and what its dominant errors are?
We develop tomography, randomized benchmarking, gate set tomography and shadow estimation methods that extract reliable information about real hardware from as few experiments as possible -- and we prove when they can be trusted.

Quantum algorithms and the cost of measurement

Running a quantum algorithm is not free: the answer has to be read out, often very often to gather statistics and to feature outer classical optimization loops. 
We design estimation strategies for chemistry and materials problems that reduce the number of measurements by orders of magnitude, and we analyze the true cost of variational approaches.

Quantum compiling, gate synthesis and Hamiltonian engineering

An algorithm written in gates must become a sequence of physical pulses.
We construct time-optimal multi-qubit gates, robust Hamiltonian engineering schemes and compilation methods that shorten circuits -- the most direct way to get more computation out of a device before it decoheres.

Classical algorithms: quantum-inspired computing

How far do classical solvers reach, and what can algorithms borrowed from quantum theory add?

  1. We investigate state-of-the-art QUBO solvers (Ising machines), benchmark against strong classical baselines, and identify potential relevant problems that can be recast as QUBO problems.
  2. We identify application areas for tensor-network methods in solving differential equations.

Quantum error correction

Fault-tolerant quantum computing requires knowing the noise you are correcting.
We develop statistically sound methods to learn error models directly from syndrome measurements, data that a running quantum computer produces anyway.

Classical simulation of quantum many-body systems

You cannot claim a quantum advantage without knowing what classical computers can do.
We study tensor networks, matrix product states and operators, locality of temperature and dissipative dynamics -- establishing the classical yardstick against which every advantage claim must be measured.

Limitations of quantum computing

Some of the most useful results are negative ones.
We prove hardness and no-go theorems that identify limitations of popular approaches, so that effort goes where it can succeed.

Group seminar

We run a weekly group seminar on quantum computing and quantum information theory.
Guests are welcome; please contact us in advance.