08:45  09:00

Roderich Moessner
(MPIPKS)
Opening

09:00  09:45

Ulrich Schneider
(University of Cambridge)
Quantum Simulation with Ultracold Atoms in Optical Lattices
During the last fifteen years, ultracold atoms in optical lattices have emerged as very versatile and powerful Quantum Simulators to study the manybody physics of interacting particles in periodic potentials. Not only can they faithfully reproduce many prototypical effects from condensed matter physics, they also enable radically new systems with fascinating physics and hold promise for wider quantum information applications.
After a brief review of fundamental properties and key experiments that already reach far beyond what can be computed classically, this talk will present an outlook into current and coming developments for realizing more complex lattice geometries.

09:45  10:30

Norbert Linke
(Joint Quantum Institute, University of Maryland)
Digital Quantum Walks and Thermofield Doubles on a TrappedIon Quantum Computer
We present a quantum processor comprised of a chain of 171Yb+ ions with individual Raman beam addressing and individual readout [1]. This fully connected system can be configured to run any sequence of single and twoqubit gates, making it in effect an arbitrarily programmable digital quantum computer.
We use this versatile setup to realize various quantum algorithms, such as a quantum random walk which corresponds to the digital simulation of the Dirac equation.
We also add a classical optimization layer to our quantum computing stack to create a quantumclassical hybrid machine that can realize variational optimization methods, like the quantum approximate optimization algorithm (QAOA). With this we produce socalled thermofield doubles [2], which allow the efficient creation of finite temperature quantum states, and correspond to "traversable wormholes" in the study of gravity [3].
Finally, work towards scaling up the architecture will also be discussed.
[1] S. Debnath et al., Nature 563:63 (2016)
[2] D. Zhu et al., arXiv:1906.02699 (2019)
[3] P. Gao et al., JHEP 2017, 151 (2017)

10:30  11:00

Coffee Break

11:00  11:45

Andrew George Green
(University College London)
Parallel Quantum Simulation of Large Systems on Small NISQ Computers
Tensor networks focus computational and entanglement resources in interesting regions of Hilbert space. Applied to NISQ machines they allow simulation of quantum systems that are much larger than the computational machine. This is achieved by parallelising the quantum simulation. We demonstrate this in the simplest case; an infinite, translationally invariant quantum spin chain. We have written CIRQ and Qiskit code that translate infinite, translationally invariant matrix product state (iMPS) algorithms to finitedepth quantum circuit machines, allowing the representation, optimisation and evolution arbitrary onedimensional systems. Illustrative simulated output of these codes for achievable sizes of circuit will be shown.
Authors: Fergus Barratt, James Dborin, Matthias Bal, Vid Stojevic, Frank Pollmann, Andrew G Green

11:45  12:30

Takahiro Tsunoda
(University of Oxford)
Variational Quantum Algorithms Using AlwaysOn Coupling Superconducting Quantum Processors
The Variational Quantum Eigensolver (VQE) is an algorithm that may enable the nearterm application of smallscale quantum computers to solve quantum chemistry and optimization problems. The variational nature of such a quantumclassical hybrid algorithm allows one to construct the trial wave function of quantum simulation by gatebased control in available hardware [1]. Meanwhile, techniques in Nuclear Magnetic Resonance (NMR) have been revisited recently to propose the substitution of pulsed entangling gates in quantum algorithms with continuous time evolution by inherent interaction of the system Hamiltonian [2].
As a demonstration, we report a quantum chemistry simulation using the VQE on a 2qubit superconducting device [3] in which we use fixed frequency qubits and build the algorithm using the native 2qubit interaction resulting from a static capacitive coupling. The quantum circuit of the VQE is constructed by varying the timings of echo pulses to manipulate the native ZZ coupling. This method allows us to implement a VQE algorithm without needing repeated multiqubitgate tuneup and enables simple implementation of error mitigation [4,5].
Furthermore, we show systematic and timeefficient schemes to rescale the effective Hamiltonian from free evolution of the system Hamiltonian and spin echo pulse sequences [6]. We discuss how this NMRinspired method fits naturally to the implementation of variational algorithms with large multiqubit system.
[1] A. Kandala, et al., Nature, 549 242246 (2017).
[2] A. ParraRodriguez, et al., arXiv:1812.03637 [quantph].
[3] J. Rahamim, et al., Appl. Phys. Lett. 110, 222602 (2017).
[4] K. Temme, et al., Phys. Rev. Lett. 119, 180509 (2017).
[5] Y. Li, et al., Phys. Rev. X 7, 021050 (2017).
[6] G. Bhole, et al., arXiv:1911.04806v2 [quantph].

12:30  13:30

Lunch

13:30  14:00

Discussions

14:00  14:45

Kevin Satzinger
(Google)
Quantum Supremacy: Understanding and Calibrating the Sycamore Processor
The recent experimental demonstration of quantum supremacy heralds the era of noisy intermediatescale quantum (NISQ) technologies. In this experiment, we use a processor with 53 programmable superconducting qubits, Sycamore, creating quantum states in a space of dimension $2^{53}$. Sycamore is built with a new 2D architecture where each qubit is coupled to up to four neighbors in a square array, with tunable coupling to each neighbor. This allows us to perform operations simultaneously across the device while maintaining high fidelity. A key challenge in operating a NISQ processor is automated calibration to optimize operations such as quantum gates and readout. In this presentation, we share an overview of the hardware involved, such as electronics, cryogenics, and superconducting circuits, and explain how we calibrate and benchmark the Sycamore processor.

14:45  15:30

Barbara Kraus
(University of Innsbruck)
Some Aspects of Quantum Computing & Verification and Validation of Quantum Computing
First, I will consider quantum algorithms which are composed of socalled matchgates.
Whereas such an algorithm can always be compressed into an exponentially smaller quantum computation, the usage of an additional resource, the socalled magic states, elevates the computational power to universal quantum computation, while maintaining the same gate set. I will present the characterization of these magic states and discuss the consequences of these results in the context of quantum computation. Then, some methods to verify and validate quantum computations will be discussed.

15:30  16:00

Coffee Break

16:00  16:45

Christina Knapp
(California Institute of Technology)
Near Term Approaches to Braiding
One of the most exciting predictions of topological physics is that the quasiparticle excitations of a topological phase, anyons, exhibit braiding statistics. In contrast to bosons and fermions, exchanging a pair of anyons can pick up an arbitrary phase or even implement a rotation in the degenerate ground state subspace. Despite intense interest in topological phases, no experiment has yet conclusively demonstrated braiding. In this talk, I will discuss near term approaches to demonstrating braiding using topological superconductors hosting Majorana zero modes, as well as using an array of superconducting qubits prepared in the surface code ground state but without active error correction.

16:45  17:30

Andreas Elben
(Institute for Quantum Optics and Quantum Information)
Probing ManyBody Fidelities and Topological Invariants with Randomized Measurements
Recently, protocols based on statistical correlations of randomized measurements were developed for probing synthetic quantum manybody systems, to access Rényi entropies, manybody fidelities and outoftimeordered correlators. After a general introduction to randomized measurements, I focus in this talk mostly on protocols to measure topological invariants, being quantized, highly nonlocal correlators of the manybody wavefunction. In the context of symmetry protected topological (SPT) phases of onedimensional spin systems, I discuss explicitly how to measure invariants arising from inversion, timereversal and unitary onsite symmetries. This enables to systematically probe the complete classification of bosonic SPT phases in one dimension experimentally. I illustrate the technique and its application in the context of the extended bosonic SSH model, as realized with Rydberg tweezer arrays.

17:30  18:00

Discussions

18:00  19:00

Workshop Dinner (MPIPKS foyer)

19:00  21:00

Poster Session
