View on GitHub

AQIS2024 Satellite Workshop on Fault-Tolerant Quantum Computing

Bridging quantum error correction, computer architecture, network, and device engineering on Aug. 31st, 2024 in Sapporo, Japan

AQIS2024 satellite workshop program

Detailed Program

time program
9:50 Opening remarks
10:00 Invited talk 1 - Thinh Le (University of Technology Sydney)

Full-stack quantum computing for quantum advantage
Quantum computing promises superior advantage compared to classical computing in specific instances. Identifying these instances is currently an active topic of research encapsulating a wide variety of disciplines such as quantum algorithm, complexity theory, compilation, resource estimation, hardware and architecture design. In this talk, I will overview the complete stack of quantum computing from algorithms to hardwares, then detail the design of a compilation and resource computation software platform at QSI UTS. Our platform is built on the concept of quantum algorithm on graph state in the style of measurement-based quantum computation. Various levels of optimisation in our compilation pipeline allow to minimise resources such as space, time or spacetime volume leading to efficient execution of quantum algorithms. Our software can be used to help identify quantum advantages and efficient hardware architecture designs.
10:40 Invited talk 2 - Poulami Das (The University of Texas at Austin)

Architectures for enabling real-time quantum error correction
The error rates of quantum hardware far exceed what can be tolerated at the application-level. This causes computational errors during program execution and limits us from running most practical quantum algorithms. Quantum error correction (QEC) bridges this gap by encoding fault-tolerant logical qubits using redundant physical qubits (deemed as the size of the code) and correcting errors in real-time as they occur. In this talk, I will describe the role of software and architecture in improving the performance of QEC and provide an overview of my contributions in these areas. I will describe the challenges in enabling real-time QEC within a budget of a few microseconds and discuss LILLIPUT, a lightweight reconfigurable practical lookup table decoder for identifying errors on small QEC codes. Then, I will discuss Astrea and Promatch which are fixed-function accelerator designs for correcting slightly larger codes as compared to LILLIPUT. These solutions rely on hardware-accelerated greedy search for identifying corrections. Next, I will discuss the AFS decoder which focuses on the system-level architecture and organization of decoders in large-scale fault-tolerant systems. The AFS decoder enables contention-aware sharing of decoding resources across the system to improve the hardware efficiency of the design. Finally, I will conclude with my future research vision towards building fault-tolerant systems, designing the architecture stack as quantum computers scale, and exploring other areas in computing, such as cryogenic systems.
11:20 Break
11:40 Invited talk 3 - Ting-Chun Lin (University of California San Diego)

Quantum codes and fault tolerance
One of the recent breakthroughs in quantum error correction is the construction of quantum Low-Density Parity-Check (qLDPC) codes. These codes are notable for their high rates and large distances, which we will explore in the first half of the talk.
While these qLDPC codes can be used for certain fault-tolerant schemes, the codes are not “natively fault-tolerant”. This means that these fault-tolerant schemes require quantum information to be moved in and out of these codes during computation, resulting in additional overhead.
In the second half of the talk, we will discuss a common strategy for achieving “native fault tolerance” in qLDPC codes by finding codes that support transversal non-Clifford gates. We will highlight some potential constructions and the challenges they face. Additionally, we will remark on other approaches to achieve fault tolerance beyond the framework of stabilizer codes.
12:20 Lunch
13:40 Poster session
14:40 Invited talk 4 - Shin Nishio (Okinawa Institute of Science and Technology Graduate University)

A computer system perspective of large-scale quantum computers
As the execution speed of the atomic operations of quantum computation in many physical systems is slower than that in classical computation, large-scale quantum computation is required to achieve a computational advantage. Fault-tolerant quantum computation, one of the frameworks for realizing large-scale quantum computation, introduces spatial overhead, including a large number of physical qubits, and temporal overhead, including logical gates and magic state distillation. In addition to these, costs related to classical computational resources for a system software are non-negligible. In this talk, we will give an overview of the system software configuration required for large-scale quantum computers. Then, we will discuss the results and prospects of resource optimization in distributed quantum computing systems with quantum interconnects, a promising approach for scaling up quantum computers. As a further developmental topic, we deal with formal language for distributed quantum computing; we show a method for detecting deadlocks in quantum programs with a type system.
15:20 Invited talk 5 - Warit Asavanant (The University of Tokyo)

Advances toward large-scale fault-tolerant optical quantum computing with quantum teleportation
Since its proposal, we have seen developments of quantum computing platforms across various physical systems. To achieve useful quantum computation, we must scale up the system so that a large number of qubits can be utilized for both calculations and achieving fault tolerance. Scalability, however, is not a straightforward task; for most systems, we cannot simply put multiple copies of the small-scale systems due to physical, technical, and practical limitations. In this regard, optical systems have utilized their physical traits as flying qubits with high carrier frequency to achieve large-scale quantum entanglement and computation, without requiring more physical components. This removes most of the hurdles found in other systems. In this talk, I will discuss the approaches taken by optical systems in the journey for large-scale quantum computation. The key technology here is the quantum teleportation protocol which contains all the basic ingredients required in the fault-tolerant quantum computation. This talk will review developments of optical quantum computation with main focus on continuous-variable (CV) systems and multiplexing techniques which have shown to be most prominent in CV optical systems.
16:00 Break
16:10 Panel session

Panelists
<ul><li>Warit Asavanant (The University of Tokyo)</li><li>Shin Nishio (Okinawa Institute of Science and Technology Graduate University)</li><li>Thinh Le (University of Technology Sydney)</li><li>Ting-Chun Lin (University of California San Diego)</li><li>Yosuke Ueno (RIKEN)</li></ul>Moderator<ul><li>Akihito Soeda (National Institute of Informatics, Research Organization of Information and Systems)</li></ul>
16:50 Closing remarks

Poster presentations

Evening Networking Event

We will hold an evening networking event from 18:00.
If you want to join, please mark the checkbox in the registration application by Aug. 10.(The registration is closed)

The cost will be 6,000 JPY (around $40); please pay at the place.
The cost of the event will be covered by AQIS conference.

Sapporo Beer Garden, Poplar-kan
9-2-10, Kita7Jo, Higashi-ku, Sapporo, Hokkaido, 065-0007
https://www.sapporo-bier-garten.jp/global/english.html
This place is 15 minutes by foot and bus or 30 minutes by foot from the venue.

Back to Home