Events

Frederic Magniez, Université Paris Diderot

We describe a new quantum paradigm, that we call Quantum Chebyshev’s inequality, to approximate with relative error the mean of any random variable with a number of quantum samples that is linear in the ratio of the square root of the variance to the mean. Classically the dependency is quadratic. To illustrate this method, we apply it to the approximation of frequency moments in the multi-pass streaming model, and to the approximation of the number of edges and triangles in the quantum graph query access model.

Spontaneous Raman emission in cold atoms inside a hollow-core waveguide

Taehyun Yoon, Institute for Quantum Computing

Cold atoms confined inside hollow-core waveguides enable strong-matter interactions, thus offer a unique platform for studies of quantum and non-linear optics. We developed an experimental system that traps cesium atoms in a magneto optical trap (MOT) and loads these atoms into a hollow core photonic crystal fiber using a dipole trap at cesium magic wavelength (935 nm), which removes the AC-Stark shift of the optical transition and suppresses the inhomogeneous broadening.

Speaker: Heather Hoff

Abstract: Software is a key asset of any new business. How do you protect the results of weeks or months of hard labour? Who owns the software and how do I mange its development to ensure its inherent value is maintained? Should I use Open Source, or even contribute to Open Source? What are the benefits and how does this measure up against the risks?

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.