{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:23LGKSY43K4NESP6XKINDZNKGN","short_pith_number":"pith:23LGKSY4","canonical_record":{"source":{"id":"1206.1104","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-06-06T01:51:07Z","cross_cats_sorted":[],"title_canon_sha256":"942ad86c8a42233c6c432e9cbee3899502deb61538513cf3b5ed7c0eadc982f5","abstract_canon_sha256":"221f823048f808bdc51a7dd03d95182d8bba55a743d96eae07beae3d0905c51f"},"schema_version":"1.0"},"canonical_sha256":"d6d6654b1cdab8d249feba90d1e5aa3356240ca36d0fa7cf46f13c3327ac2d3d","source":{"kind":"arxiv","id":"1206.1104","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.1104","created_at":"2026-05-18T00:59:09Z"},{"alias_kind":"arxiv_version","alias_value":"1206.1104v1","created_at":"2026-05-18T00:59:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.1104","created_at":"2026-05-18T00:59:09Z"},{"alias_kind":"pith_short_12","alias_value":"23LGKSY43K4N","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"23LGKSY43K4NESP6","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"23LGKSY4","created_at":"2026-05-18T12:26:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:23LGKSY43K4NESP6XKINDZNKGN","target":"record","payload":{"canonical_record":{"source":{"id":"1206.1104","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-06-06T01:51:07Z","cross_cats_sorted":[],"title_canon_sha256":"942ad86c8a42233c6c432e9cbee3899502deb61538513cf3b5ed7c0eadc982f5","abstract_canon_sha256":"221f823048f808bdc51a7dd03d95182d8bba55a743d96eae07beae3d0905c51f"},"schema_version":"1.0"},"canonical_sha256":"d6d6654b1cdab8d249feba90d1e5aa3356240ca36d0fa7cf46f13c3327ac2d3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:59:09.655206Z","signature_b64":"7DJOPHQ9bIJR2d/UE/PSnHt8a7vlqZc44OxVAG3t2N+kOVVnLepdLqql3wGqlxNMxFqxtmZ+UbiK41Cm2z8YDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6d6654b1cdab8d249feba90d1e5aa3356240ca36d0fa7cf46f13c3327ac2d3d","last_reissued_at":"2026-05-18T00:59:09.654433Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:59:09.654433Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.1104","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-05-18T00:59:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b40LMk0ZQVGGbWQzOa99826vzrKzN1rOkyM25pKzr2jRgg7OaQQmVJa7tKSk5BTZUdZjqQbhONz8yQlrsMtHBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T17:33:38.170348Z"},"content_sha256":"920dd5d165f42f620fbf681200ee128a226ab597dc3c402947fbefe232737eaa","schema_version":"1.0","event_id":"sha256:920dd5d165f42f620fbf681200ee128a226ab597dc3c402947fbefe232737eaa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:23LGKSY43K4NESP6XKINDZNKGN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Transformation of quantum photonic circuit models by term rewriting","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Dmitri S. Pavlichin, Gopal Sarma, Hideo Mabuchi, Nikolas Tezak, Ryan Hamerly","submitted_at":"2012-06-06T01:51:07Z","abstract_excerpt":"The development of practical methods for synthesis and verification of complex photonic circuits presents a grand challenge for the nascent field of quantum engineering. Of course, classical electrical engineering provides essential foundations and serves to illustrate the degree of sophistication that can be achieved in automated circuit design. In this paper we explore the utility of term rewriting approaches to the transformation of quantum circuit models, specifically applying rewrite rules for both reduction/verification and robustness analysis of photonic circuits for autonomous quantum "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.1104","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":""},"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-05-18T00:59:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SmKq5iuBrbSvlM12UF9PEwhP4R9eBNcPaq2CJMMzRtX/Wsq+KtuJTIZ+6cga9QT5m+sa0B7R5J0j3f94iwWzAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T17:33:38.170699Z"},"content_sha256":"a31167ff384a2bb3d55980c8218d0921de469ef47824d2419d061c7ada8674ee","schema_version":"1.0","event_id":"sha256:a31167ff384a2bb3d55980c8218d0921de469ef47824d2419d061c7ada8674ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/23LGKSY43K4NESP6XKINDZNKGN/bundle.json","state_url":"https://pith.science/pith/23LGKSY43K4NESP6XKINDZNKGN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/23LGKSY43K4NESP6XKINDZNKGN/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-06-01T17:33:38Z","links":{"resolver":"https://pith.science/pith/23LGKSY43K4NESP6XKINDZNKGN","bundle":"https://pith.science/pith/23LGKSY43K4NESP6XKINDZNKGN/bundle.json","state":"https://pith.science/pith/23LGKSY43K4NESP6XKINDZNKGN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/23LGKSY43K4NESP6XKINDZNKGN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:23LGKSY43K4NESP6XKINDZNKGN","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":"221f823048f808bdc51a7dd03d95182d8bba55a743d96eae07beae3d0905c51f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-06-06T01:51:07Z","title_canon_sha256":"942ad86c8a42233c6c432e9cbee3899502deb61538513cf3b5ed7c0eadc982f5"},"schema_version":"1.0","source":{"id":"1206.1104","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.1104","created_at":"2026-05-18T00:59:09Z"},{"alias_kind":"arxiv_version","alias_value":"1206.1104v1","created_at":"2026-05-18T00:59:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.1104","created_at":"2026-05-18T00:59:09Z"},{"alias_kind":"pith_short_12","alias_value":"23LGKSY43K4N","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_16","alias_value":"23LGKSY43K4NESP6","created_at":"2026-05-18T12:26:50Z"},{"alias_kind":"pith_short_8","alias_value":"23LGKSY4","created_at":"2026-05-18T12:26:50Z"}],"graph_snapshots":[{"event_id":"sha256:a31167ff384a2bb3d55980c8218d0921de469ef47824d2419d061c7ada8674ee","target":"graph","created_at":"2026-05-18T00:59:09Z","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"},"paper":{"abstract_excerpt":"The development of practical methods for synthesis and verification of complex photonic circuits presents a grand challenge for the nascent field of quantum engineering. Of course, classical electrical engineering provides essential foundations and serves to illustrate the degree of sophistication that can be achieved in automated circuit design. In this paper we explore the utility of term rewriting approaches to the transformation of quantum circuit models, specifically applying rewrite rules for both reduction/verification and robustness analysis of photonic circuits for autonomous quantum ","authors_text":"Dmitri S. Pavlichin, Gopal Sarma, Hideo Mabuchi, Nikolas Tezak, Ryan Hamerly","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-06-06T01:51:07Z","title":"Transformation of quantum photonic circuit models by term rewriting"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.1104","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:920dd5d165f42f620fbf681200ee128a226ab597dc3c402947fbefe232737eaa","target":"record","created_at":"2026-05-18T00:59:09Z","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":"221f823048f808bdc51a7dd03d95182d8bba55a743d96eae07beae3d0905c51f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2012-06-06T01:51:07Z","title_canon_sha256":"942ad86c8a42233c6c432e9cbee3899502deb61538513cf3b5ed7c0eadc982f5"},"schema_version":"1.0","source":{"id":"1206.1104","kind":"arxiv","version":1}},"canonical_sha256":"d6d6654b1cdab8d249feba90d1e5aa3356240ca36d0fa7cf46f13c3327ac2d3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d6d6654b1cdab8d249feba90d1e5aa3356240ca36d0fa7cf46f13c3327ac2d3d","first_computed_at":"2026-05-18T00:59:09.654433Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:59:09.654433Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7DJOPHQ9bIJR2d/UE/PSnHt8a7vlqZc44OxVAG3t2N+kOVVnLepdLqql3wGqlxNMxFqxtmZ+UbiK41Cm2z8YDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:59:09.655206Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.1104","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:920dd5d165f42f620fbf681200ee128a226ab597dc3c402947fbefe232737eaa","sha256:a31167ff384a2bb3d55980c8218d0921de469ef47824d2419d061c7ada8674ee"],"state_sha256":"ab0cdb1e11bf7927439c595a405798fab7be99ba5086dfd3a7c72ceba2e1fefd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1xoTxVEHQxbEeX3OQnh+zsIH3HmEa9gI6zs5PGAobbhWvTyRo7Ni0vIRoSkTzis0A6DOJ1yG6lELgQ30gsW8CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T17:33:38.172693Z","bundle_sha256":"1a610cc6541a01a500822be964baa82c4230a35b6fd3f843dc911da3f8c36057"}}