% IMPORTANT: The following is UTF-8 encoded.  This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.

@INPROCEEDINGS{Wadewitz:1040944,
      author       = {Wadewitz, Victoria and Szasz, Aaron and Camps, Daan and
                      Klymko, Katherine and Stollenwerk, Tobias},
      title        = {{D}iagrammatic {Q}uantum {C}ircuit {C}ompression for
                      {H}amiltonian {S}imulation},
      publisher    = {Gesellschaft für Informatik, Bonn},
      reportid     = {FZJ-2025-02066},
      pages        = {223-255},
      year         = {2025},
      comment      = {Software Engineering 2025 – Companion Proceedings},
      booktitle     = {Software Engineering 2025 –
                       Companion Proceedings},
      abstract     = {One of the promising applications for early quantum
                      computers is the simulation of of dynamical quantum systems.
                      Due to the limited coherence time of such devices, the
                      depth-compression of quantum circuits is crucial to
                      facilitate useful results. It has been shown that certain
                      quantum models can even be compressed to constant depth,
                      meaning it is only linearly dependent on the number of
                      qubits, but independent of the simulation time and the
                      number of Trotter steps. This has been done by extracting
                      the circuit structure derived from the model characteristics
                      via Hamiltonian simulation. Based on these results, we
                      present a diagrammatic approach to circuit compression
                      utilizing a powerful technique for reasoning about quantum
                      circuits called ZX-calculus. We demonstrate our approach by
                      deriving constant-depth circuit compressions for quantum
                      models known to be constant-depth, as well as novel models
                      previously unstudied. Our method could serve as a first step
                      toward the development of more advanced circuit compression
                      methods, that could be employed to enable Hamiltonian
                      simulation of a larger variety of quantum models, and
                      beyond.},
      month         = {Feb},
      date          = {2025-02-22},
      organization  = {2nd Quantum Software Engineering
                       Meetup (QSE’25), Karlsruhe (Germany),
                       22 Feb 2025 - 28 Feb 2025},
      keywords     = {Quantum Computing (Other) / Circuit Compression (Other) /
                      Hamiltonian Simulation (Other) / NISQ (Other) / Phase
                      Gadgets (Other) / ZX-calculus (Other)},
      cin          = {PGI-12},
      cid          = {I:(DE-Juel1)PGI-12-20200716},
      pnm          = {5215 - Towards Quantum and Neuromorphic Computing
                      Functionalities (POF4-521)},
      pid          = {G:(DE-HGF)POF4-5215},
      typ          = {PUB:(DE-HGF)8 / PUB:(DE-HGF)7},
      doi          = {10.18420/se2025-ws-24},
      url          = {https://juser.fz-juelich.de/record/1040944},
}