2025-07-22 –, Main Room 4
Modeling quantum dynamics on classical computers is a fruitful approach to the study of quantum phenomena and their technological applications. It also leads to a rich universe of computational techniques with subtle tradeoffs between simulation fidelity and computational complexity. This workshop will cover many of the basic techniques of importance to the design of quantum hardware in networking, sensing, computation, and error correction.
The workshop will be split in three parts, covering the linear algebra necessary for the general (but exponentially expensive) wavefunction formalism; the master equations governing the evolution of open quantum systems; and lastly, less-general algorithms that can not describe arbitrary quantum systems, but are efficient to execute on classical computers and of great importance in the study of error correction (e.g. the stabilizer formalism).
The workshop will cover both theoretical basics and practical numerical techniques related to state vector and density matrix handling, a variety of master equations and quantum trajectories approaches to open quantum systems, and the stabilizer formalism and the Gaussian quantum optics formalism for efficient handling of non-general quantum systems.
Symbolic computer algebra tools permitting efficient transition between the aforementioned state representations will be discussed.
The workshop will focus on existing tools in the Julia ecosystem, but it will also present how such tools can be build from scratch and what alternatives exist in other software ecosystem.
Stefan works on the design, control, and optimization of quantum hardware for computation and networking, from its analog physical description up to the compilation of error-corrected logical circuitry running on it. His research centers around leaky abstraction boundaries between the many layers of technologies making up the field of quantum computing and quantum information science. He is a professor at UMass Amherst.
I'm a core Julia and JuliaGPU developer. I do various quantum and HPC things as well.