{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:SA7KSOGRJDP5JSAFTG6H2WI6XV","short_pith_number":"pith:SA7KSOGR","schema_version":"1.0","canonical_sha256":"903ea938d148dfd4c80599bc7d591ebd5180cee1d719ce2c730e4ff917e9a138","source":{"kind":"arxiv","id":"2501.12481","version":1},"attestation_state":"computed","paper":{"title":"Enriched Categories for Parameterized Circuit Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Scott Wesley","submitted_at":"2025-01-21T20:17:51Z","abstract_excerpt":"It is well-known that combinatorial circuits are modeled mathematically by string diagrams in a monoidal category. Given a gate set $\\Sigma$, the circuits over $\\Sigma$ can be thought of as string diagrams in the free monoidal category generated by $\\Sigma$. In this model, circuit semantics are then given by monoidal functors out of this free category. For quantum circuits, this functor is often valued in the category of unitary matrices. This model suffices for concrete quantum circuits, but fails to describe parameterized families of quantum circuits, such as those which arise in the analysi"},"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":"2501.12481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-01-21T20:17:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"86f5e493b952823452cd66277e20dab1985b341030ec530df1b1d216c1b06e17","abstract_canon_sha256":"1f9d18cdf3a9992ca88d6822b6ae743621b2af42b454ef39fd7d8693662a2213"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:03:53.631584Z","signature_b64":"jCkBz9D1EfiYMmI7lX/QI0FxXRwOu1irLqnbd5T4d+elG/YGchQE2EbmyYQl6cxEUN+xm/katGoviZP4as+2Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"903ea938d148dfd4c80599bc7d591ebd5180cee1d719ce2c730e4ff917e9a138","last_reissued_at":"2026-07-05T10:03:53.631104Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:03:53.631104Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Enriched Categories for Parameterized Circuit Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Scott Wesley","submitted_at":"2025-01-21T20:17:51Z","abstract_excerpt":"It is well-known that combinatorial circuits are modeled mathematically by string diagrams in a monoidal category. Given a gate set $\\Sigma$, the circuits over $\\Sigma$ can be thought of as string diagrams in the free monoidal category generated by $\\Sigma$. In this model, circuit semantics are then given by monoidal functors out of this free category. For quantum circuits, this functor is often valued in the category of unitary matrices. This model suffices for concrete quantum circuits, but fails to describe parameterized families of quantum circuits, such as those which arise in the analysi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.12481","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/2501.12481/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":"2501.12481","created_at":"2026-07-05T10:03:53.631162+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.12481v1","created_at":"2026-07-05T10:03:53.631162+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.12481","created_at":"2026-07-05T10:03:53.631162+00:00"},{"alias_kind":"pith_short_12","alias_value":"SA7KSOGRJDP5","created_at":"2026-07-05T10:03:53.631162+00:00"},{"alias_kind":"pith_short_16","alias_value":"SA7KSOGRJDP5JSAF","created_at":"2026-07-05T10:03:53.631162+00:00"},{"alias_kind":"pith_short_8","alias_value":"SA7KSOGR","created_at":"2026-07-05T10:03:53.631162+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/SA7KSOGRJDP5JSAFTG6H2WI6XV","json":"https://pith.science/pith/SA7KSOGRJDP5JSAFTG6H2WI6XV.json","graph_json":"https://pith.science/api/pith-number/SA7KSOGRJDP5JSAFTG6H2WI6XV/graph.json","events_json":"https://pith.science/api/pith-number/SA7KSOGRJDP5JSAFTG6H2WI6XV/events.json","paper":"https://pith.science/paper/SA7KSOGR"},"agent_actions":{"view_html":"https://pith.science/pith/SA7KSOGRJDP5JSAFTG6H2WI6XV","download_json":"https://pith.science/pith/SA7KSOGRJDP5JSAFTG6H2WI6XV.json","view_paper":"https://pith.science/paper/SA7KSOGR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.12481&json=true","fetch_graph":"https://pith.science/api/pith-number/SA7KSOGRJDP5JSAFTG6H2WI6XV/graph.json","fetch_events":"https://pith.science/api/pith-number/SA7KSOGRJDP5JSAFTG6H2WI6XV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SA7KSOGRJDP5JSAFTG6H2WI6XV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SA7KSOGRJDP5JSAFTG6H2WI6XV/action/storage_attestation","attest_author":"https://pith.science/pith/SA7KSOGRJDP5JSAFTG6H2WI6XV/action/author_attestation","sign_citation":"https://pith.science/pith/SA7KSOGRJDP5JSAFTG6H2WI6XV/action/citation_signature","submit_replication":"https://pith.science/pith/SA7KSOGRJDP5JSAFTG6H2WI6XV/action/replication_record"}},"created_at":"2026-07-05T10:03:53.631162+00:00","updated_at":"2026-07-05T10:03:53.631162+00:00"}