Events

Formal Methods in Quantum Circuit Design

PhD Candidate: Matthew Amy
Supervisor: Michele Mosca

Oral defence in QNC B204.

The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with an emphasis on the development of formal models for such purposes. We also present software implementations of these methods, which together form a full stack of tools for the design of optimized, formally verified quantum oracles.

Ken Andersen, Neutron Instruments Division, European Spallation Source ERIC

The European Spallation Source is currently under construction in Lund, Sweden. It is designed to provide world-leading performance, with instruments optimized for the long-pulse time structure of the facility, making full use of the world’s brightest neutron beams for the study of materials ranging from biological systems and soft matter to engineering materials, structural chemistry and magnetism.

Ultrafast metrology in the quantum domain

PhD Candidate: Jean-Philippe MacLean
Supervisor: Kevin Resch

PhD thesis presentation in QNC 0101.

Alex Ruichao Ma, University of Chicago

Superconducting circuits have emerged as a competitive platform for quantum computation, satisfying the challenges of controllability, long coherence and strong interactions. Here we apply this toolbox to the exploration of strongly correlated quantum materials made of microwave photons. We develop a versatile recipe that uses engineered dissipation to stabilize many-body phases, protecting them against intrinsic photon losses.

Fabrication and Growth of 111 SiNWs for Mechanical Spin-Detection

Pardis Sahafi, Institute for Quantum Computing

In our group, vertical Si nanowires grown on a 111 surface are used for force detection in nanoscale NMR and ESR. These measurements require a very long (20 µm) and minimally tapered vertical Si nanowires, to be used as nano-mechanical oscillators with a high quality factor (Q ~ 10⁴).

Arthur Mehta, IQC

Non-local games, also known as interactive proof systems, have long been an important area of study for mathematicians, physicists and computer scientists. Starting with the famous CHSH game in 1969, it has been known that non-local games are also an ideal area to explore the differences between quantum and classical behaviour. This has motivated the study of the area of non-local games for people working in quantum information.

IQC and the Department of Physics at the University of Waterloo welcome Shahpoor Moradi, University of Calgary

Quantum computation has been developed as a computationally efficient paradigm to solve problems that are intractable with conventional classical computers. Quantum computers have the potential to support the simulation and modeling of many complex physical systems, not just quantum ones, significantly more rapidly than conventional supercomputers.

Alvaro Alhambra, Perimeter Institute

Heat-Bath Algorithmic Cooling is a technique for producing pure quantum systems by utilizing a surrounding heat-bath. Here we connect the study of these cooling techniques to the resource theory of athermality, enabling us to derive provably optimal cooling protocols under a variety of experimental restrictions on the available control.

Rescheduled from Tuesday, February 12

Max Hofheinz, University of Sherbrooke

In superconducting quantum circuits the Josephson junction is the key element because it is the only strongly nonlinear and dissipationless circuit element we know. Usually it is used in the superconducting state where it acts as a nonlinear inductor, for example in Josephson qubits or Josephson parametric amplifiers. But a Josephson junction can also be nonlinear and dissipationless when a non-zero DC voltage below the gap is applied.