4th International Workshop on

Quantum Compilation

23-24 September 2020

Part of the Quantum Week of Fun

 

Workshop Schedule

IWQC20 will be centred in the UK time zone. It will run for the entire day on Wednesday 23rd September and for the afternoon/early evening on Thursday 24th.

Yellow indicates the invited talks.

Go back to the workshop home page >

 Wednesday Session 1 : CORRECTNESS!
UTC+9
(Tokyo)
UTC+1
(Cambridge)
UTC-4
(New York City)
UTC-7
(Los Angeles)
17:00 09:00 04:00 01:00 Earl T. Campbell
University of Sheffield and AWS Center for Quantum Computing
On random circuits and their uses in compilation.
Abstract : I will review work by myself and others in recent years on the use of randomization in circuit optimization. I will present general results showing that any deterministic compiler for approximate synthesis problems can be lifted to a better random compiler. I will discuss the subtle issue of what "better" means and how it is sensitive to the metric and computation task at hand. I will then review specific randomized algorithms for quantum simulations, including randomized Trotter (Su & Childs) and my group's work on the qDRIFT and SPARSTO algorithms. I will conclude by commenting on the derandomization of random algorithms!
video >
18:00 10:00 05:00 02:00 Yuval Sanders, Dominic Berry, Pedro Costa, Louis Tessler, Nathan Wiebe, Craig Gidney, Hartmut Neven and Ryan Babbush .
Compilation of Fault-Tolerant Quantum Heuristics for Combinatorial Optimization
abstract >
video >
18:20 10:20 05:20 02:20 Lukas Burgholzer and Robert Wille
Verifying the Results of Quantum Circuit Compilation Flows
abstract >
video >
18:40 10:40 05:40 02:40 Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle and Benoît Valiron
A formally certified implementation of the Shor algorithm’s quantum circuit
abstract >
video >
19:00 11:00 06:00 03:00 POSTER SESSION / BREAK
Posters presented in this session : TBA
 Wednesday Session 2 : ANSÄTZE AND APPLICATIONS!
UTC+9
(Tokyo)
UTC+1
(Cambridge)
UTC-4
(New York City)
UTC-7
(Los Angeles)
19:40 11:40 06:40 03:40 Alexander Cowtan, Will Simmons and Ross Duncan
A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
abstract >
video >
20:00 12:00 07:00 04:00 Richard Meister, Simon Benjamin and Earl Campbell
Tailoring Term Truncations for Electronic Structure Calculations Using a Linear Combination of Unitaries
abstract >
video >
20:20 12:20 07:20 04:20 Fereshte Mozafari, Heinz Riener and Giovanni De Micheli
Uniform Quantum State Preparation: A Boolean Approach for Preparing Uniform Quantum States Efficiently and Precisely
abstract >
video >
20:40 12:40 07:40 04:40 Bruno Schmitt and Giovanni De Micheli
The Tweedledum Library
abstract >
video >
21:00 13:00 08:00 04:00 POSTER SESSION / BREAK
Posters presented in this session : TBA
 Wednesday Session 3 : CIRCUITS!
UTC+9
(Tokyo)
UTC+1
(Cambridge)
UTC-4
(New York City)
UTC-7
(Los Angeles)
22:00 14:00 09:00 06:00 Miriam Backens, Hector Miller-Bakewell , Giovanni de Felice, Leo Lobski and John van de Wetering
There and back again: A circuit extraction tale
abstract >
video >
22:20 14:20 09:20 06:20 Emanuel Malvetti, Raban Iten and Roger Colbeck
Quantum Circuits for Sparse Isometries
abstract >
video >
22:40 14:40 09:40 06:40 Agustín Borgna, Simon Perdrix and Benoît Valiron
Hybrid quantum-classical circuit optimization with the ZX-calculus
abstract >
video >
23:00 15:00 10:00 07:00 Richie Yeung and Stefano Gogioso
A Simplification Method for Layered Quantum Circuits of Mixed Phase Gadgets
abstract >
video >
23:20 15:20 10:20 07:20 Quanlong Wang.
Exact synthesis of quantum circuits in algebraic ZX-calculus
abstract >
video >
23:40 15:40 10:40 07:40 Sarah Li, Neil J. Ross and Peter Selinger.
Generators and Relations for the Group On(Z[1/2])
abstract >
video >
00:00 16:00 11:00 08:00 POSTER SESSION / BREAK
Posters presented in this session : TBA
 Wednesday Session 4 : GOOD MORNING CALIFORNIA!
UTC+9
(Tokyo)
UTC+1
(Cambridge)
UTC-4
(New York City)
UTC-7
(Los Angeles)
01:00 17:00 12:00 09:00 Eleanor Rieffel
Quantum Artificial Intelligence Laboratory (QuAIL) NASA Ames Research Center
Utilizing NISQ devices for evaluating quantum algorithms
Abstract : With the advent of quantum supremacy, we have an unprecedented opportunity to explore quantum algorithms in new ways. The emergence of general-purpose quantum processors opens up empirical exploration of quantum algorithms far beyond what has been possible to date. Challenging computational problems arising in the practical world are often tackled by heuristic algorithms. While heuristic algorithms work well in practice, by definition they have not been analytically proven to be the best approach or to outperform the best previous approach. Instead, heuristic algorithms are empirically tested on benchmark and real-world problems. With the empirical evaluation NISQ hardware enables, we expect a broadening of established applications of quantum computing. What to run and how best to utilize these still limited quantum devices to gain insight into quantum algorithms remain open research questions. We discuss opportunities and challenges for using NISQ devices to evaluate quantum algorithms, including in elucidating quantum mechanisms and their uses for quantum computational purposes, in the design of novel or refined quantum algorithms, in compilation, error-mitigation, and robust algorithms design, and in techniques for evaluating quantum algorithms empirically.
video >
02:00 18:00 13:00 10:00 Ed Younis, Koushik Sen, Katherine Yelick and Costin Iancu
QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space
abstract >
video >
02:20 18:20 13:20 10:20 Ryan LaRose, Andrea Mari, Nathan Shammah, Peter Karalekas and Will Zeng.
Mitiq: A software package for error mitigation on near-term quantum computers
abstract >
video >
02:40 18:40 13:40 10:40 Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying and Yuan Xie.
Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
abstract >
video >

 

Phew! That was a long day! I don't know about you but I'm having a beer.

Thursday morning is the start of Quantum Computation x Quantum Chemistry, and then IWQC resumes in the afternoon.

 

 Thursday Session 1 : CLIFFORD + T + NOISE!
UTC+9
(Tokyo)
UTC+1
(Cambridge)
UTC-4
(New York City)
UTC-7
(Los Angeles)
21:00 13:00 08:00 05:00 Margaret Martonosi
Quantum computer architecture and programming languages research group (QArch), Princeton University
Quantum Computing: Research Perspectives and Funding/Education Programs
Abstract : In this talk, Martonosi will cover two main themes. First, from her perspective as a Princeton Computer Science professor, she will offer research experiences and perspectives for future Quantum Computing architecture and programming trends. for Quantum Computing. In addition, from her recent rotation to serve a term leading the Computer and Information Science and Engineering (CISE) directorate at the US National Science Foundation (NSF), she will speak more broadly about US NSF funding approach for QC research and education.
video >
22:00 14:00 09:00 06:00 Michele Mosca and Priyanka Mukhopadhyay
A polynomial time and space heuristic algorithm for T-count
abstract >
video >
22:20 14:20 09:20 06:20 Matthew Amy and Neil Ross
The Phase-state duality in reversible circuit design
abstract >
video >
22:40 14:40 09:40 06:40 Filip Maciejewski, Flavio Baccari, Zoltán Zimborás and Michal Oszmaniec
Effects and mitigation of realistic readout noise in Quantum Approximate Optimization Algorithm
abstract >
video >
23:00 15:00 10:00 07:00 POSTER SESSION / BREAK
Posters presented in this session : TBA
 Thursday Session 2 : MOSTLY ROUTING!
UTC+9
(Tokyo)
UTC+1
(Cambridge)
UTC-4
(New York City)
UTC-7
(Los Angeles)
00:00 16:00 11:00 08:00 Lingling Lao, Hans van Someren, Imran Ashraf and Carmen G. Almudever
Timing and resource-aware mapping of quantum circuits to superconducting processors
abstract >
video >
00:20 16:20 11:20 08:20 Matteo Pozzi, Steven Herbert, Akash Sengupta and Robert Mullins
Using Reinforcement Learning to Perform Qubit Routing in Quantum Compilers
abstract >
video >
00:40 16:40 11:40 08:40 Daniel Bochen Tan and Jason Cong .
Layout Synthesis for Quantum Computing: Measure, then Improve
abstract >
video >
01:00 17:00 12:00 09:00 Kyle E. C. Booth, Bryan O'Gorman, Zhihui Wang, Davide Venturelli and Eleanor Rieffel
Exact and heuristic approaches for qubit routing on QCCD trapped-ion quantum computers
abstract >
video >
01:20 17:20 12:20 09:20 Bryan Dury and Olivia Di Matteo
A QUBO formulation for qubit allocation
abstract >
video >
01:40 17:40 12:40 09:40 Mathias Soeken , Vadym Kliuchnikov, Alexander Vaschillo and Mariia Mykhailova
Build your own Q# simulator
abstract >
video >
02:00 18:00 13:00 10:00 POSTER SESSION / BREAK
Posters presented in this session : TBA

Go back to the workshop home page >

0
0
without
https://cambridgequantum.com/wp-content/themes/hazel/
https://cambridgequantum.com/
#d8d8d8
style2
paged
Loading posts...
/home4/stanhill/public_html/
#
on
none
loading
#
Sort Gallery
on
yes
yes
off
on
off