{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:XZLSHDEB4IXZTOFVBRHO2XHCHY","short_pith_number":"pith:XZLSHDEB","schema_version":"1.0","canonical_sha256":"be57238c81e22f99b8b50c4eed5ce23e32f79e55c9abb96b20ccf468b6a01217","source":{"kind":"arxiv","id":"2505.06212","version":1},"attestation_state":"computed","paper":{"title":"From Fermions to Qubits: A ZX-Calculus Perspective","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Haytham McDowall-Rose, Lia Yeh, Razin A. Shaikh","submitted_at":"2025-05-09T17:42:01Z","abstract_excerpt":"Mapping fermionic systems to qubits on a quantum computer is often the first step for algorithms in quantum chemistry and condensed matter physics. However, it is difficult to reconcile the many different approaches that have been proposed, such as those based on binary matrices, ternary trees, and stabilizer codes. This challenge is further exacerbated by the many ways to describe them -- transformation of Majorana operators, action on Fock states, encoder circuits, and stabilizers of local encodings -- making it challenging to know when the mappings are equivalent. In this work, we present a"},"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":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2505.06212","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-05-09T17:42:01Z","cross_cats_sorted":[],"title_canon_sha256":"b43408ecbea9b9bd1c870562e4756478a47ee8499bab3b9d2cb60a73dc9e0818","abstract_canon_sha256":"e44e70b34bb985254f591684a995566383b9589753fc3fb881732ecce9866662"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:00:56.162390Z","signature_b64":"1ziHdJpZH70Pak4G11s4qYZGTif7HtA2bJXOmPgpxn5REgV0xGT4ijw+kMyjwPV5UB256s9tOkkt2CQQJ5whAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be57238c81e22f99b8b50c4eed5ce23e32f79e55c9abb96b20ccf468b6a01217","last_reissued_at":"2026-07-05T11:00:56.161715Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:00:56.161715Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Fermions to Qubits: A ZX-Calculus Perspective","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Haytham McDowall-Rose, Lia Yeh, Razin A. Shaikh","submitted_at":"2025-05-09T17:42:01Z","abstract_excerpt":"Mapping fermionic systems to qubits on a quantum computer is often the first step for algorithms in quantum chemistry and condensed matter physics. However, it is difficult to reconcile the many different approaches that have been proposed, such as those based on binary matrices, ternary trees, and stabilizer codes. This challenge is further exacerbated by the many ways to describe them -- transformation of Majorana operators, action on Fock states, encoder circuits, and stabilizers of local encodings -- making it challenging to know when the mappings are equivalent. In this work, we present a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.06212","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.06212/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"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":"2505.06212","created_at":"2026-07-05T11:00:56.161795+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.06212v1","created_at":"2026-07-05T11:00:56.161795+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.06212","created_at":"2026-07-05T11:00:56.161795+00:00"},{"alias_kind":"pith_short_12","alias_value":"XZLSHDEB4IXZ","created_at":"2026-07-05T11:00:56.161795+00:00"},{"alias_kind":"pith_short_16","alias_value":"XZLSHDEB4IXZTOFV","created_at":"2026-07-05T11:00:56.161795+00:00"},{"alias_kind":"pith_short_8","alias_value":"XZLSHDEB","created_at":"2026-07-05T11:00:56.161795+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.13551","citing_title":"A ribbon ZX calculus for gauge theory","ref_index":23,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY","json":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY.json","graph_json":"https://pith.science/api/pith-number/XZLSHDEB4IXZTOFVBRHO2XHCHY/graph.json","events_json":"https://pith.science/api/pith-number/XZLSHDEB4IXZTOFVBRHO2XHCHY/events.json","paper":"https://pith.science/paper/XZLSHDEB"},"agent_actions":{"view_html":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY","download_json":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY.json","view_paper":"https://pith.science/paper/XZLSHDEB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.06212&json=true","fetch_graph":"https://pith.science/api/pith-number/XZLSHDEB4IXZTOFVBRHO2XHCHY/graph.json","fetch_events":"https://pith.science/api/pith-number/XZLSHDEB4IXZTOFVBRHO2XHCHY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY/action/storage_attestation","attest_author":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY/action/author_attestation","sign_citation":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY/action/citation_signature","submit_replication":"https://pith.science/pith/XZLSHDEB4IXZTOFVBRHO2XHCHY/action/replication_record"}},"created_at":"2026-07-05T11:00:56.161795+00:00","updated_at":"2026-07-05T11:00:56.161795+00:00"}