Paper Citation Record · LEDGER

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability

As of 11 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2501.05527.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2501.05527 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T21:18:09.516397Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

38 of 38 outbound references displayed

verified exact1
verified fuzzy18
unresolved19
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8ac7b9f1-54bb-4a94-813a-9c9cee030811 · outbound

This paper cites Aharonov et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Aharonov et al

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.381757Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 3cad191b-8a49-42e5-9fbd-240571f9dc18 · outbound

This paper cites Bermudez et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Bermudez et al

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.369879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation af7dffee-39a7-4e20-8ddd-f8fbe9dc177f · outbound

This paper cites Bluvstein et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Bluvstein et al

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.357311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 49791e32-6d48-464b-ab64-a694140001bb · outbound

This paper cites An Introduction to Topological Quantum Codes.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability An Introduction to Topological Quantum Codes

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:09.368689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db803174-49b1-4ed1-8d31-a843d973c766 · outbound

This paper cites Bombin et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Bombin et al

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.343576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 4524b85e-be9d-407e-9400-d50004eca59c · outbound

This paper cites Butt et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Butt et al

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.330135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation afdaaa3e-6847-421c-9b7c-badc40d7c676 · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.315362Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation fd887ca9-e905-4748-bfba-e647aa7a75d4 · outbound

This paper cites Chamberland et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Chamberland et al

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.300905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 017e94c4-8e77-4170-8976-4f55cc88db24 · outbound

This paper cites de Moura et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability de Moura et al

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.286732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b0fcd92b-cc98-4ee9-9061-78338bab4cfa · outbound

This paper cites Dennis et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Dennis et al

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.273218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation a96aaf87-8cad-436a-bdc9-4a16a245a325 · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:09.397692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 573f094a-ed4e-48a6-b01a-8e65ae331688 · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.260043Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 751b5058-57db-4413-afd1-b1bd4cdaca04 · outbound

This paper cites Gottesman.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Gottesman

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.245792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 404946a4-cf60-44b2-8d90-f41aad41b69e · outbound

This paper cites Heußen et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Heußen et al

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.231377Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 92095651-d10c-49f9-abcf-0a5fe6ddae24 · outbound

This paper cites Efficient fault-tolerant code switching via one-way transversal CNOT gates.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Efficient fault-tolerant code switching via one-way transversal CNOT gates

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:09.413668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8be3ca1c-2a61-45e4-ae6e-6329fb9e86a4 · outbound

This paper cites Heußen et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Heußen et al

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.217666Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 31c25c12-d7a6-4675-8714-0817cda34238 · outbound

This paper cites Heußen et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Heußen et al

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.203947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation f4190ab2-2e76-4868-ad82-6279b55af46a · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.190793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation b58d732e-011e-40cf-8fcf-55a5b49c9d83 · outbound

This paper cites Demonstration of logical qubits and repeated error correction with better-than-physical error rates.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Demonstration of logical qubits and repeated error correction with better-than-physical error rates

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:09.431418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d987a3c-5ea7-4606-bfd7-1b36c224642b · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.177517Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 19295e87-0ca1-44e3-ba3c-112fccd63c33 · outbound

This paper cites Fault-tolerant ancilla preparation and noise threshold lower bounds for the 23-qubit Golay code.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Fault-tolerant ancilla preparation and noise threshold lower bounds for the 23-qubit Golay code

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:09.441800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52055cbf-3ddc-4cbd-b0ef-4e382fd47c32 · outbound

This paper cites Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:09.446561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c0175cb-6070-423a-a8b5-89b60656d9c6 · outbound

This paper cites Peham et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Peham et al

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.164411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 28c81a68-7292-4558-93e6-1ac6015e0cf1 · outbound

This paper cites Experimental fault-tolerant code switching.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Experimental fault-tolerant code switching

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-08-10T21:18:09.763670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ccc11740-0bd2-40f4-a8f0-93b1072cd9f1 · outbound

This paper cites Postler et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Postler et al

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.150770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 55aea023-0ead-4cac-8858-06336cda5cee · outbound

This paper cites Preskill.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Preskill

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.135967Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation bbdbe36b-bad6-4c0a-87d6-0ce5b29af5b8 · outbound

This paper cites https://www.markus-grassl.de/QECC/CSS/index.html.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability https://www.markus-grassl.de/QECC/CSS/index.html

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.121170Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 9d140f73-fc3b-42c4-8c3f-bee8a214b20b · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.105543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6aa74982-7ccb-4c3e-9393-8b68eaea5ca1 · outbound

This paper cites Ryan-Anderson et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Ryan-Anderson et al

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.090758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation ae5a6c54-1c0e-467c-a0ed-7091a2f20a89 · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.076111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1cdcc7c8-2387-435c-bd03-6abb84bdf683 · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.061122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 1db865d5-be8c-42f8-bab4-0b04854b5641 · outbound

This paper cites Shutty et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Shutty et al

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T21:18:10.045827Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 21b35b34-2fdb-4b23-940e-1500b31bf6e9 · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.032571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 501b9189-9b90-4825-bbf1-d57b83613ce7 · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.018849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation e33243db-f861-42e0-ab18-7a180288bf30 · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:10.004592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 6e5d125e-4722-49e2-8c0c-0886f3cfdc3d · outbound

This paper cites The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:09.506861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee665a66-2262-436b-9ed7-a03c18c8897e · outbound

This paper cites an unresolved cited work.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-10T21:18:09.989774Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.

Observation 73c88328-9734-47c9-a14d-5a64ac05c7ac · outbound

This paper cites Zen et al.

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability Zen et al

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T21:18:09.516397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.