{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:6XUDZM4E3MCQU3B3GSPKFFHUKQ","short_pith_number":"pith:6XUDZM4E","schema_version":"1.0","canonical_sha256":"f5e83cb384db050a6c3b349ea294f45428d6a3a138c3a5134daba9b2d03e8063","source":{"kind":"arxiv","id":"2510.25915","version":2},"attestation_state":"computed","paper":{"title":"Double categories for adaptive quantum computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"quant-ph","authors_text":"Cihan Okay, Redi Haderi, Selman Ipek, Walker Stern","submitted_at":"2025-10-29T19:38:32Z","abstract_excerpt":"Quantum computation admits several models that emphasize different computational primitives and forms of classical control. We develop a unified double categorical framework for describing these models and the conversions between them. The syntax is provided by double port graphs, whose horizontal wires carry quantum information and whose vertical wires carry classical information and control. For each set of port labels, these graphs form a double category, and this construction is functorial in the label set. The semantics is given by the one-object double category of adaptive instruments. I"},"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":"2510.25915","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-10-29T19:38:32Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"6576863e3c6a235e8dd165b8b315efe7586af8354b465274526af88c35b8aea7","abstract_canon_sha256":"73e23089429f8eaefcbf5830fa6b1b7ed5563ec003e9a02d7c5e3992437f4ea5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T01:51:52.002209Z","signature_b64":"nyJih4o4/UhByUjiP7WhsV8d7bAG+De4ZwU1eKzApt3vVuC6Rt9hs5i/ab92JU7ttmVK85U+/VdLWQhdM+xhAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f5e83cb384db050a6c3b349ea294f45428d6a3a138c3a5134daba9b2d03e8063","last_reissued_at":"2026-08-04T01:51:52.000285Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T01:51:52.000285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Double categories for adaptive quantum computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"quant-ph","authors_text":"Cihan Okay, Redi Haderi, Selman Ipek, Walker Stern","submitted_at":"2025-10-29T19:38:32Z","abstract_excerpt":"Quantum computation admits several models that emphasize different computational primitives and forms of classical control. We develop a unified double categorical framework for describing these models and the conversions between them. The syntax is provided by double port graphs, whose horizontal wires carry quantum information and whose vertical wires carry classical information and control. For each set of port labels, these graphs form a double category, and this construction is functorial in the label set. The semantics is given by the one-object double category of adaptive instruments. I"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2510.25915","kind":"arxiv","version":2},"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/2510.25915/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":"2510.25915","created_at":"2026-08-04T01:51:52.001578+00:00"},{"alias_kind":"arxiv_version","alias_value":"2510.25915v2","created_at":"2026-08-04T01:51:52.001578+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2510.25915","created_at":"2026-08-04T01:51:52.001578+00:00"},{"alias_kind":"pith_short_12","alias_value":"6XUDZM4E3MCQ","created_at":"2026-08-04T01:51:52.001578+00:00"},{"alias_kind":"pith_short_16","alias_value":"6XUDZM4E3MCQU3B3","created_at":"2026-08-04T01:51:52.001578+00:00"},{"alias_kind":"pith_short_8","alias_value":"6XUDZM4E","created_at":"2026-08-04T01:51:52.001578+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ","json":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ.json","graph_json":"https://pith.science/api/pith-number/6XUDZM4E3MCQU3B3GSPKFFHUKQ/graph.json","events_json":"https://pith.science/api/pith-number/6XUDZM4E3MCQU3B3GSPKFFHUKQ/events.json","paper":"https://pith.science/paper/6XUDZM4E"},"agent_actions":{"view_html":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ","download_json":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ.json","view_paper":"https://pith.science/paper/6XUDZM4E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2510.25915&json=true","fetch_graph":"https://pith.science/api/pith-number/6XUDZM4E3MCQU3B3GSPKFFHUKQ/graph.json","fetch_events":"https://pith.science/api/pith-number/6XUDZM4E3MCQU3B3GSPKFFHUKQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ/action/storage_attestation","attest_author":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ/action/author_attestation","sign_citation":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ/action/citation_signature","submit_replication":"https://pith.science/pith/6XUDZM4E3MCQU3B3GSPKFFHUKQ/action/replication_record"}},"created_at":"2026-08-04T01:51:52.001578+00:00","updated_at":"2026-08-04T01:51:52.001578+00:00"}