{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:RGQJVT47WPKFOQE6ZPI5CE5JZT","short_pith_number":"pith:RGQJVT47","schema_version":"1.0","canonical_sha256":"89a09acf9fb3d457409ecbd1d113a9cce7eba71d796eb324a6f1b187169d6fe2","source":{"kind":"arxiv","id":"2511.12777","version":2},"attestation_state":"computed","paper":{"title":"Sdim: A Qudit Stabilizer Simulator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Sdim provides the first open-source stabilizer simulator that works for qudits in any dimension.","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Adeeb Kabir, Bart Sor\\'ee, Isaac H. Kim, James Keppens, Sohan Ghosh, Steven Nguyen, Tijil Kiran, Yipeng Huang","submitted_at":"2025-11-16T21:03:52Z","abstract_excerpt":"Quantum computers have steadily improved over the last decade, but developing fault-tolerant quantum computing (FTQC) techniques, required for useful, universal computation remains an ongoing effort. Key elements of FTQC such as error-correcting codes and decoding are supported by a rich bed of stabilizer simulation software such as Stim and CHP, which are essential for numerically characterizing these protocols at realistic scales. Recently, experimental groups have built nascent high-dimensional quantum hardware, known as qudits, which have a myriad of attractive properties for algorithms an"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":false},"canonical_record":{"source":{"id":"2511.12777","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-11-16T21:03:52Z","cross_cats_sorted":[],"title_canon_sha256":"4ab915a5e45b436506cc044169fd2ceb54579e9c3e678088811ab8826568b535","abstract_canon_sha256":"57f682a5b00261bd34172ac6f65d0db11b591798861324bf1a93f579ad9cdb4d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:10:11.862726Z","signature_b64":"NAWf7OUkw7Xh+DxouG8XA9DDSh7B+6gUJbgEW5My8Fnop+nEO07acSY5eOI47U7lPPCj4asgvL/GKzerVjCWAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"89a09acf9fb3d457409ecbd1d113a9cce7eba71d796eb324a6f1b187169d6fe2","last_reissued_at":"2026-05-18T03:10:11.861759Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:10:11.861759Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sdim: A Qudit Stabilizer Simulator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Sdim provides the first open-source stabilizer simulator that works for qudits in any dimension.","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Adeeb Kabir, Bart Sor\\'ee, Isaac H. Kim, James Keppens, Sohan Ghosh, Steven Nguyen, Tijil Kiran, Yipeng Huang","submitted_at":"2025-11-16T21:03:52Z","abstract_excerpt":"Quantum computers have steadily improved over the last decade, but developing fault-tolerant quantum computing (FTQC) techniques, required for useful, universal computation remains an ongoing effort. Key elements of FTQC such as error-correcting codes and decoding are supported by a rich bed of stabilizer simulation software such as Stim and CHP, which are essential for numerically characterizing these protocols at realistic scales. Recently, experimental groups have built nascent high-dimensional quantum hardware, known as qudits, which have a myriad of attractive properties for algorithms an"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We introduce the first open-source realization of such a simulator for all dimensions.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the qudit stabilizer formalism admits an efficient simulation algorithm whose implementation matches the underlying physics for all tested dimensions and circuit sizes.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Sdim is the first open-source qudit stabilizer simulator supporting all dimensions, enabling circuit evaluation and sampling for qudit fault-tolerant quantum computing research.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Sdim provides the first open-source stabilizer simulator that works for qudits in any dimension.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"ef28d0bd25f9fdb65d71333a4e47d3d1bee0827f0badfc48b99f5a3815bdc090"},"source":{"id":"2511.12777","kind":"arxiv","version":2},"verdict":{"id":"52c66ce9-ff84-4c6e-98a3-507fd10ba38a","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-17T21:33:13.630334Z","strongest_claim":"We introduce the first open-source realization of such a simulator for all dimensions.","one_line_summary":"Sdim is the first open-source qudit stabilizer simulator supporting all dimensions, enabling circuit evaluation and sampling for qudit fault-tolerant quantum computing research.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the qudit stabilizer formalism admits an efficient simulation algorithm whose implementation matches the underlying physics for all tested dimensions and circuit sizes.","pith_extraction_headline":"Sdim provides the first open-source stabilizer simulator that works for qudits in any dimension."},"references":{"count":79,"sample":[{"doi":"","year":2004,"title":"Scott Aaronson and Daniel Gottesman. 2004. Improved simulation of stabilizer circuits.Physical Review A70, 5 (Nov. 2004). doi:10.1103/ physreva.70.052328","work_id":"1fb41e69-73a3-40cb-a78f-dc7a86bf341f","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2024,"title":"Quantum error correction below the surface code threshold","work_id":"c57c86e9-7d3b-4013-b471-3689149dcc36","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1038/s41586-019-1666-5","year":2019,"title":"Arute et al., Quantum supremacy using a programmable superconducting processor, Nature 574, 505 (2019), doi:10.1038/s41586-019-1666-5","work_id":"39c8860f-db19-43fe-98b6-a367aaa5b3d8","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1109/ismvl49045.2020.9345604","year":2020,"title":"Baker, Casey Duckering, and Frederic T","work_id":"19e73b22-2172-4d2d-911a-c484fb02646f","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2020,"title":"Baker, Casey Duckering, Pranav Gokhale, Natalie C","work_id":"322122d4-d655-4ff0-bca6-4626c06c0e30","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":79,"snapshot_sha256":"ce73065b94d49a7551a5b37461a0271719d0e911e32b1cd2a56503a989a64bd4","internal_anchors":3},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2511.12777","created_at":"2026-05-18T03:10:11.861923+00:00"},{"alias_kind":"arxiv_version","alias_value":"2511.12777v2","created_at":"2026-05-18T03:10:11.861923+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.12777","created_at":"2026-05-18T03:10:11.861923+00:00"},{"alias_kind":"pith_short_12","alias_value":"RGQJVT47WPKF","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"RGQJVT47WPKFOQE6","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"RGQJVT47","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2604.22588","citing_title":"Analytical and Compressed Simulation of Noisy Stabilizer Circuits","ref_index":39,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT","json":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT.json","graph_json":"https://pith.science/api/pith-number/RGQJVT47WPKFOQE6ZPI5CE5JZT/graph.json","events_json":"https://pith.science/api/pith-number/RGQJVT47WPKFOQE6ZPI5CE5JZT/events.json","paper":"https://pith.science/paper/RGQJVT47"},"agent_actions":{"view_html":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT","download_json":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT.json","view_paper":"https://pith.science/paper/RGQJVT47","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2511.12777&json=true","fetch_graph":"https://pith.science/api/pith-number/RGQJVT47WPKFOQE6ZPI5CE5JZT/graph.json","fetch_events":"https://pith.science/api/pith-number/RGQJVT47WPKFOQE6ZPI5CE5JZT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT/action/storage_attestation","attest_author":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT/action/author_attestation","sign_citation":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT/action/citation_signature","submit_replication":"https://pith.science/pith/RGQJVT47WPKFOQE6ZPI5CE5JZT/action/replication_record"}},"created_at":"2026-05-18T03:10:11.861923+00:00","updated_at":"2026-05-18T03:10:11.861923+00:00"}