Home > Publications database > Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability > print |
001 | 1038534 | ||
005 | 20250131215341.0 | ||
024 | 7 | _ | |a arXiv:2501.05527 |2 arXiv |
037 | _ | _ | |a FZJ-2025-01519 |
088 | _ | _ | |a arXiv:2501.05527 |2 arXiv |
100 | 1 | _ | |a Schmid, Ludwig |0 P:(DE-HGF)0 |b 0 |
245 | _ | _ | |a Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability |
260 | _ | _ | |c 2025 |
336 | 7 | _ | |a Preprint |b preprint |m preprint |0 PUB:(DE-HGF)25 |s 1738310881_12722 |2 PUB:(DE-HGF) |
336 | 7 | _ | |a WORKING_PAPER |2 ORCID |
336 | 7 | _ | |a Electronic Article |0 28 |2 EndNote |
336 | 7 | _ | |a preprint |2 DRIVER |
336 | 7 | _ | |a ARTICLE |2 BibTeX |
336 | 7 | _ | |a Output Types/Working Paper |2 DataCite |
500 | _ | _ | |a 7 pages, 4 figures, accepted at DATE 2025 |
520 | _ | _ | |a 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. |
536 | _ | _ | |a 5221 - Advanced Solid-State Qubits and Qubit Systems (POF4-522) |0 G:(DE-HGF)POF4-5221 |c POF4-522 |f POF IV |x 0 |
588 | _ | _ | |a Dataset connected to arXivarXiv |
700 | 1 | _ | |a Peham, Tom |0 P:(DE-HGF)0 |b 1 |
700 | 1 | _ | |a Berent, Lucas |0 P:(DE-HGF)0 |b 2 |
700 | 1 | _ | |a Müller, Markus |0 P:(DE-Juel1)204218 |b 3 |e Corresponding author |u fzj |
700 | 1 | _ | |a Wille, Robert |0 P:(DE-HGF)0 |b 4 |
909 | C | O | |o oai:juser.fz-juelich.de:1038534 |p VDB |
910 | 1 | _ | |a Forschungszentrum Jülich |0 I:(DE-588b)5008462-8 |k FZJ |b 3 |6 P:(DE-Juel1)204218 |
913 | 1 | _ | |a DE-HGF |b Key Technologies |l Natural, Artificial and Cognitive Information Processing |1 G:(DE-HGF)POF4-520 |0 G:(DE-HGF)POF4-522 |3 G:(DE-HGF)POF4 |2 G:(DE-HGF)POF4-500 |4 G:(DE-HGF)POF |v Quantum Computing |9 G:(DE-HGF)POF4-5221 |x 0 |
914 | 1 | _ | |y 2025 |
920 | _ | _ | |l yes |
920 | 1 | _ | |0 I:(DE-Juel1)PGI-2-20110106 |k PGI-2 |l Theoretische Nanoelektronik |x 0 |
980 | _ | _ | |a preprint |
980 | _ | _ | |a VDB |
980 | _ | _ | |a I:(DE-Juel1)PGI-2-20110106 |
980 | _ | _ | |a UNRESTRICTED |
Library | Collection | CLSMajor | CLSMinor | Language | Author |
---|