Using SAT Solvers for Quantum Computing Design: Potential and Challenges (48:03) Oct 25, 2021.

We'll watch the last 10 minutes.

Quantum circuit optimisation, verification, and simulation with PyZX, (33:26), by John van de Wetering at: FOSDEM 2020

affiliated sites:

1. https://zxcalculus.com

2. https://github.com/Quantomatic/pyzx Python library for quantum circuit rewriting and optimisation using the ZX-calculus

Looking for a term project topic? Browse their sample projects.

Compilers for the NISQ era, Ross Duncan, #QRST (30:12), Oct 6, 2020.

So you have a new quantum computer? What now? I’ll present t|ket⟩, a quantum software development platform produced by Cambridge Quantum Computing Ltd which will help you get the best out of your new machine. The heart of t|ket⟩ is a language-agnostic optimising compiler designed to generate code for a variety of NISQ devices, which has several features designed to minimise the influence of device error. The compiler has been extensively benchmarked and outperforms most competitors in terms of circuit optimisation and qubit routing. This talk will cover roughly the same ground as our recent paper (arXiv:2003.10611) but such is the nature of the field, that paper is already obsolete, so I will cover some of the hot new sh*t we have done since then.

Taking quantum key distribution out of the lab (1:40) Mar 13, 2019.

Members of the Quantum Photonics Lab, led by Institute for Quantum Computing (IQC) researcher Thomas Jennewein, designed and constructed a working portable demonstration of Quantum Key Distribution (QKD). The QKD demo used hardware components designed by Excelitas Technologies, an industry partner who provides customized optoelectronics and advanced electronic systems.

QKD enables secure communication between two parties. QKD establishes highly secure keys between distant parties by using single photons to transmit each bit of the key. Since single photons behave according the laws of quantum mechanics they cannot be tapped, copied or directly measured without detection.

The huge benefit for users of such systems is the peace of mind of knowing that any attack, manipulation or copying of the photons can be immediately detected and overcome. QKD solves the long-standing problem of securely transporting cryptographic keys between distant locations. Even if they were to be transmitted across hostile territory, their integrity could be unambiguously verified upon receipt.

Quantum Link: Building the U.S. Quantum Superhighway (3:48) Oct 25, 2018

Argonne National Laboratory

The Quantum Link is an ambitious project by Argonne, Fermilab and the University of Chicago to bring the property of entanglement into the real world.

Entangling objects 30 miles apart, between Argonne and Fermi, the Quantum Link seeks to answer questions like, “What is the meaning of entanglement?” and “Can you use entangled states, separated 30 miles apart, as a type of superhighway to transfer information from one point to the other?”

Using an optical fiber network built 12 years ago by the state of Illinois to link hi-speed data centers, the project gives researchers a real-world view of what a quantum network might look like.

Theoretical Tutorial: Quantum communications (40:00) May 19, 2020

Centre for Quantum Computation and Communication Technology (CQC2T) Program Manager Prof. Tim Ralph from the University of Queensland presents a quantum computing theoretical tutorial on quantum communications.

We saw the 1st 15 minutes.