Seminar

Intermediate-scale quantum devices are becoming more reliable, and may soon be harnessed to solve useful computational tasks. At the same time, common classical methods used to verify their computational output become intractable due to their prohibitive scaling of required resources with system size. In this talk, I aim at giving an overview of selected verification strategies. Inspired by recent experimental progress, we analyze efficient cross-platform verification protocols for quantum states and computations.

The demands of fault tolerance mean that a wide variety of simple and exotic noise types must be tamed for quantum devices to progress. Crucially, this means keeping up with complex correlated — or non-Markovian — effects, both with respect to the background process and to control operations. Recently, we have developed a generalised version of quantum process tomography to characterise arbitrary non-Markovian processes in practice.

The spectral form factor is an important diagnostic of quantum chaos and thermalization. In this talk we will dive into a surprising duality between short time behavior and exponentially late-time behavior, with a cameo from the Riemann zeta function.

(Pizza and refreshments will be served after the talk.)

Correlations are fundamental in describing many body systems. However, in experiments, correlations are notoriously difficult to assess on the microscopic scale, especially for electron spins. While it is firmly established theoretically that the electrons in a Cooper pair of a superconductor form maximally spin-entangled singlet states with opposite spin projections, no spin correlation experiments have been demonstrated so far.

Trapped atomic ions are a highly versatile platform for quantum simulation and computation. In this talk, I will provide a brief description of the quantum control that enables both analog and digital modes of quantum simulation on this platform before reporting on two recent results: a digital quantum simulation that measured the first out-of-time-order correlators in a thermal system, and an analog simulation of particles with exotic statistics.

(Pizza and refreshments will be served after the talk.)

(Pizza and refreshments will be served after the talk.)

In recent years Gottesman-Kitaev-Preskill (GKP) codes have witnessed an increasing amount of interest for both their theoretically interesting features and as a possible route towards scalable hardware-efficient error correction.

Zlatko Minev is the technical lead and manager of the following groups at IBM Quantum - Qiskit Leap (quantum computing research) and Qiskit Metal (quantum hardware). His background is in experimental and theoretical quantum computing, software, fundamental and applied physics. Meet him for an informal chat about Quantum-related industry opportunities and his career progression.