Quantum Algorithmic Seminar
- QuAlgo Seminar - On the lossless quantum coding with exponential penalizationon the July 4, 2018For the next Quantum Algorithmic seminar we are pleased to welcome Steeve Zozor from the Gipsa lab, who will speak about the lossless quantum data coding problem.
- We ask the question whether entropy accumulates, in the sense that the operationally relevant total uncertainty about an n-partite system A = (A1,..., An) corresponds to the sum of the entropies of its parts Ai. The Asymptotic Equipartition Property implies that this is indeed the case to first order in n - under the assumption that the parts Ai are identical and independent of each other.
- QuAlgo Seminar by Dr Markus Grassl : "Non-Standard Quantum Error-Correcting"on the December 6, 2017
- QuAlgo Seminar by Dr Dominic Horsman : "The logic of quantum error correction"on the September 28, 2017In this talk Dr Dominic Horsman introduce recent work on high-level languages for quantum error correction processes.
- QuAlgo Seminar by Dr Dominic Horsman : "Logical tools for the second quantum revolution"on the September 27, 2017In this seminar Dr Dominic Horsman will present recent work bridging the divide between high-level logical structures and practical quantum computing devices.
- QuAlgo Seminar by Dr Ross Duncan : "Introduction to Categorical Quantum Mechanics"on the September 21, 2017Quantum computing is on the verge of taking over the world. But what about its semantics? What about formal methods for quantum computers? Do we really need to carry around all the machinery of Hilbert spaces, unitary transforms, etc etc in order to work on quantum computing?
- QuAlgo Seminar by Dr Ross Duncan : "Verifying Quantum Computations with the ZX-calculus"on the September 20, 2017Real implementations of quantum algorithms on real quantum devices are not going to resemble the nice circuit drawings we find in Nielsen and Chuang. To actually run a quantum program we are going to need to translate from some simple high-level description, like a circuit diagram, to a complicated low-level description taking into account all the error correction, the quirks of the qubits, the architectural constraints of the machine etc etc etc. How can we have confidence that the final program is equivalent to the original one?
- QuAlgo Seminar by Shane Mansfield : "Contextuality as a resource for quantum computing"on the March 14, 2017
Published on January 30, 2018