% 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”.

@ARTICLE{Schmid:1038534,
      author       = {Schmid, Ludwig and Peham, Tom and Berent, Lucas and
                      Müller, Markus and Wille, Robert},
      title        = {{D}eterministic {F}ault-{T}olerant {S}tate {P}reparation
                      for {N}ear-{T}erm {Q}uantum {E}rror {C}orrection:
                      {A}utomatic {S}ynthesis {U}sing {B}oolean {S}atisfiability},
      reportid     = {FZJ-2025-01519, arXiv:2501.05527},
      year         = {2025},
      note         = {7 pages, 4 figures, accepted at DATE 2025},
      abstract     = {To ensure resilience against the unavoidable noise in
                      quantum computers, quantum information needs to be encoded
                      using an error-correcting code, and circuits must have a
                      particular structure to be fault-tolerant. Compilation of
                      fault-tolerant quantum circuits is thus inherently different
                      from the non-fault-tolerant case. However, automated
                      fault-tolerant compilation methods are widely underexplored,
                      and most known constructions are obtained manually for
                      specific codes only. In this work, we focus on the problem
                      of automatically synthesizing fault-tolerant circuits for
                      the deterministic initialization of an encoded state for a
                      broad class of quantum codes that are realizable on current
                      and near-term hardware. To this end, we utilize methods
                      based on techniques from classical circuit design, such as
                      satisfiability solving, resulting in tools for the synthesis
                      of (optimal) fault-tolerant state preparation circuits for
                      near-term quantum codes. We demonstrate the correct
                      fault-tolerant behavior of the synthesized circuits using
                      circuit-level noise simulations. We provide all routines as
                      open-source software as part of the Munich Quantum Toolkit
                      (MQT) at https://github.com/cda-tum/mqt-qecc.},
      cin          = {PGI-2},
      cid          = {I:(DE-Juel1)PGI-2-20110106},
      pnm          = {5221 - Advanced Solid-State Qubits and Qubit Systems
                      (POF4-522)},
      pid          = {G:(DE-HGF)POF4-5221},
      typ          = {PUB:(DE-HGF)25},
      eprint       = {2501.05527},
      howpublished = {arXiv:2501.05527},
      archivePrefix = {arXiv},
      SLACcitation = {$\%\%CITATION$ = $arXiv:2501.05527;\%\%$},
      url          = {https://juser.fz-juelich.de/record/1038534},
}