{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:7N6HWMWIRCHACHPXSUAXZJSMCD","short_pith_number":"pith:7N6HWMWI","canonical_record":{"source":{"id":"2103.15820","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-03-29T12:23:06Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"60e40b11178e60cce623528eb517dc00d2e950ac834937686b08562fd958fc4e","abstract_canon_sha256":"b04da31616f0f9ab20a518979352343a34c91649c995696a375b3e3a7305b9b9"},"schema_version":"1.0"},"canonical_sha256":"fb7c7b32c8888e011df795017ca64c10dda1a179a32e4f1767a4adf85ea62e34","source":{"kind":"arxiv","id":"2103.15820","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.15820","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"arxiv_version","alias_value":"2103.15820v1","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.15820","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"pith_short_12","alias_value":"7N6HWMWIRCHA","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"7N6HWMWIRCHACHPX","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"7N6HWMWI","created_at":"2026-07-05T02:27:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:7N6HWMWIRCHACHPXSUAXZJSMCD","target":"record","payload":{"canonical_record":{"source":{"id":"2103.15820","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-03-29T12:23:06Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"60e40b11178e60cce623528eb517dc00d2e950ac834937686b08562fd958fc4e","abstract_canon_sha256":"b04da31616f0f9ab20a518979352343a34c91649c995696a375b3e3a7305b9b9"},"schema_version":"1.0"},"canonical_sha256":"fb7c7b32c8888e011df795017ca64c10dda1a179a32e4f1767a4adf85ea62e34","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:27:11.434980Z","signature_b64":"Fq4rjhXGOZn1zYec7y2kvGXThvcTO0UDycyFsFzrlp7vKhHW5gDLhpq3GR8aW8FEQAxj5K2syv5HvSog9/ldDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb7c7b32c8888e011df795017ca64c10dda1a179a32e4f1767a4adf85ea62e34","last_reissued_at":"2026-07-05T02:27:11.434578Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:27:11.434578Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.15820","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T02:27:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uv67jPLPcokx6mwCVm66eGn3ft0prUTJ5yWqprqu7W/jBxIA5cW7JvjWZM/zurmaIyox3QTpA9qV6ixKx4TUAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T23:27:54.699565Z"},"content_sha256":"a49e94091c6d186de497d6ebf7236894f8a81065bdb4b28b75a4aff57c693796","schema_version":"1.0","event_id":"sha256:a49e94091c6d186de497d6ebf7236894f8a81065bdb4b28b75a4aff57c693796"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:7N6HWMWIRCHACHPXSUAXZJSMCD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.LO","authors_text":"Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla","submitted_at":"2021-03-29T12:23:06Z","abstract_excerpt":"This article presents a novel algorithmic methodology for performing automated diagrammatic deductions over combinatorial structures, using a combination of modified equational theorem-proving techniques and the extended Wolfram model hypergraph rewriting formalism developed by the authors in previous work. We focus especially upon the application of this new algorithm to the problem of automated circuit simplification in quantum information theory, using Wolfram model multiway operator systems combined with the ZX-calculus formalism for enacting fast diagrammatic reasoning over linear transfo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.15820","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/2103.15820/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T02:27:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BHcovYwLHnXI3mXJcPEFTKqf0imnKYfy/ftMMWQedW8kSRSgoDhVXRczGBT8+KwWg9dIM0mH7hhjK0blLNrRBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T23:27:54.699948Z"},"content_sha256":"709078abc562f3961e35fc635c8ac0538a5e73ac99db32fbccb8b04bb4933062","schema_version":"1.0","event_id":"sha256:709078abc562f3961e35fc635c8ac0538a5e73ac99db32fbccb8b04bb4933062"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7N6HWMWIRCHACHPXSUAXZJSMCD/bundle.json","state_url":"https://pith.science/pith/7N6HWMWIRCHACHPXSUAXZJSMCD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7N6HWMWIRCHACHPXSUAXZJSMCD/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-06T23:27:54Z","links":{"resolver":"https://pith.science/pith/7N6HWMWIRCHACHPXSUAXZJSMCD","bundle":"https://pith.science/pith/7N6HWMWIRCHACHPXSUAXZJSMCD/bundle.json","state":"https://pith.science/pith/7N6HWMWIRCHACHPXSUAXZJSMCD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7N6HWMWIRCHACHPXSUAXZJSMCD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:7N6HWMWIRCHACHPXSUAXZJSMCD","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b04da31616f0f9ab20a518979352343a34c91649c995696a375b3e3a7305b9b9","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-03-29T12:23:06Z","title_canon_sha256":"60e40b11178e60cce623528eb517dc00d2e950ac834937686b08562fd958fc4e"},"schema_version":"1.0","source":{"id":"2103.15820","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.15820","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"arxiv_version","alias_value":"2103.15820v1","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.15820","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"pith_short_12","alias_value":"7N6HWMWIRCHA","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"7N6HWMWIRCHACHPX","created_at":"2026-07-05T02:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"7N6HWMWI","created_at":"2026-07-05T02:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:709078abc562f3961e35fc635c8ac0538a5e73ac99db32fbccb8b04bb4933062","target":"graph","created_at":"2026-07-05T02:27:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2103.15820/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This article presents a novel algorithmic methodology for performing automated diagrammatic deductions over combinatorial structures, using a combination of modified equational theorem-proving techniques and the extended Wolfram model hypergraph rewriting formalism developed by the authors in previous work. We focus especially upon the application of this new algorithm to the problem of automated circuit simplification in quantum information theory, using Wolfram model multiway operator systems combined with the ZX-calculus formalism for enacting fast diagrammatic reasoning over linear transfo","authors_text":"Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-03-29T12:23:06Z","title":"ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.15820","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a49e94091c6d186de497d6ebf7236894f8a81065bdb4b28b75a4aff57c693796","target":"record","created_at":"2026-07-05T02:27:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b04da31616f0f9ab20a518979352343a34c91649c995696a375b3e3a7305b9b9","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-03-29T12:23:06Z","title_canon_sha256":"60e40b11178e60cce623528eb517dc00d2e950ac834937686b08562fd958fc4e"},"schema_version":"1.0","source":{"id":"2103.15820","kind":"arxiv","version":1}},"canonical_sha256":"fb7c7b32c8888e011df795017ca64c10dda1a179a32e4f1767a4adf85ea62e34","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb7c7b32c8888e011df795017ca64c10dda1a179a32e4f1767a4adf85ea62e34","first_computed_at":"2026-07-05T02:27:11.434578Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:27:11.434578Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fq4rjhXGOZn1zYec7y2kvGXThvcTO0UDycyFsFzrlp7vKhHW5gDLhpq3GR8aW8FEQAxj5K2syv5HvSog9/ldDw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:27:11.434980Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.15820","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a49e94091c6d186de497d6ebf7236894f8a81065bdb4b28b75a4aff57c693796","sha256:709078abc562f3961e35fc635c8ac0538a5e73ac99db32fbccb8b04bb4933062"],"state_sha256":"c08f81f10d28de7522963b016842e227ff363f870e35ee08939117485d2240f8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xTO0I+9+N1ZLSqb27XvoU8mfXzh7XwQdVgjTibQcwaQ5+LSoMCYYyco4GSWLAczpxZJtLlGPpU3VlJVWmNWfDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T23:27:54.702075Z","bundle_sha256":"dbd7e96114806d4b3a95faf68cef76ba5a2603755404c177ec87183ae78c61dc"}}