{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:BCYKYO4ROFKUAIMTNMYFRQKM6H","short_pith_number":"pith:BCYKYO4R","canonical_record":{"source":{"id":"2403.11598","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-03-18T09:19:01Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a0ae80cc7f0c00c07160db9e8bc58959a9f181c8a016c715509d122baa7d5f8b","abstract_canon_sha256":"37e933e39f9ee27f7ea75c6815c369bd9abae1aa5925dd16f1f63c9b5947f880"},"schema_version":"1.0"},"canonical_sha256":"08b0ac3b9171554021936b3058c14cf1d367a46444a43514955ceff21ddf1135","source":{"kind":"arxiv","id":"2403.11598","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.11598","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"arxiv_version","alias_value":"2403.11598v2","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.11598","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"pith_short_12","alias_value":"BCYKYO4ROFKU","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"pith_short_16","alias_value":"BCYKYO4ROFKUAIMT","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"pith_short_8","alias_value":"BCYKYO4R","created_at":"2026-07-05T08:46:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:BCYKYO4ROFKUAIMTNMYFRQKM6H","target":"record","payload":{"canonical_record":{"source":{"id":"2403.11598","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-03-18T09:19:01Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"a0ae80cc7f0c00c07160db9e8bc58959a9f181c8a016c715509d122baa7d5f8b","abstract_canon_sha256":"37e933e39f9ee27f7ea75c6815c369bd9abae1aa5925dd16f1f63c9b5947f880"},"schema_version":"1.0"},"canonical_sha256":"08b0ac3b9171554021936b3058c14cf1d367a46444a43514955ceff21ddf1135","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:46:53.843033Z","signature_b64":"sGmvNAX3cfckHAgK+wsacwTkgaqV2QAYTbKu+XqWAkfHrJok9X1xtQQrit1O+kaHRa8F2ZRN4og09/X4O8SGAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"08b0ac3b9171554021936b3058c14cf1d367a46444a43514955ceff21ddf1135","last_reissued_at":"2026-07-05T08:46:53.842523Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:46:53.842523Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.11598","source_version":2,"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-05T08:46:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cAD6Uejlg3RwlVO+FMtfbMn4Y8HidyLrXvD2VOLYW5bDGNv7A9R2eWmpzCRr9czY3Ldj53KdoRwygn4xZqqtAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T04:17:51.178918Z"},"content_sha256":"55b00701493a12db82738da64bc086515039df70c5e7a391445372291a017aa2","schema_version":"1.0","event_id":"sha256:55b00701493a12db82738da64bc086515039df70c5e7a391445372291a017aa2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:BCYKYO4ROFKUAIMTNMYFRQKM6H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"quant-ph","authors_text":"Irfansha Shaik, Jaco van de Pol","submitted_at":"2024-03-18T09:19:01Z","abstract_excerpt":"Layout synthesis is mapping a quantum circuit to a quantum processor. SWAP gate insertions are needed for scheduling 2-qubit gates only on connected physical qubits. With the ever-increasing number of qubits in NISQ processors, scalable layout synthesis is of utmost importance. With large optimality gaps observed in heuristic approaches, scalable exact methods are needed. While recent exact and near-optimal approaches scale to moderate circuits, large deep circuits are still out of scope.\n  In this work, we propose a SAT encoding based on parallel plans that apply 1 SWAP and a group of CNOTs a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.11598","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/2403.11598/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-05T08:46:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LZ4pQeNoAJlGLjYlbYbdx6edtoIh7hsI90k+CCC8xdUQX1uuDQSGc5I73tuqvnQHIwyTkHDtS5lfI/NKa4OdDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T04:17:51.179426Z"},"content_sha256":"1ae15a719736f9394ce194fbdc35e88a152aeb2a2a4ee740b091e646a543a63c","schema_version":"1.0","event_id":"sha256:1ae15a719736f9394ce194fbdc35e88a152aeb2a2a4ee740b091e646a543a63c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BCYKYO4ROFKUAIMTNMYFRQKM6H/bundle.json","state_url":"https://pith.science/pith/BCYKYO4ROFKUAIMTNMYFRQKM6H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BCYKYO4ROFKUAIMTNMYFRQKM6H/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-08-09T04:17:51Z","links":{"resolver":"https://pith.science/pith/BCYKYO4ROFKUAIMTNMYFRQKM6H","bundle":"https://pith.science/pith/BCYKYO4ROFKUAIMTNMYFRQKM6H/bundle.json","state":"https://pith.science/pith/BCYKYO4ROFKUAIMTNMYFRQKM6H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BCYKYO4ROFKUAIMTNMYFRQKM6H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BCYKYO4ROFKUAIMTNMYFRQKM6H","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":"37e933e39f9ee27f7ea75c6815c369bd9abae1aa5925dd16f1f63c9b5947f880","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-03-18T09:19:01Z","title_canon_sha256":"a0ae80cc7f0c00c07160db9e8bc58959a9f181c8a016c715509d122baa7d5f8b"},"schema_version":"1.0","source":{"id":"2403.11598","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.11598","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"arxiv_version","alias_value":"2403.11598v2","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.11598","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"pith_short_12","alias_value":"BCYKYO4ROFKU","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"pith_short_16","alias_value":"BCYKYO4ROFKUAIMT","created_at":"2026-07-05T08:46:53Z"},{"alias_kind":"pith_short_8","alias_value":"BCYKYO4R","created_at":"2026-07-05T08:46:53Z"}],"graph_snapshots":[{"event_id":"sha256:1ae15a719736f9394ce194fbdc35e88a152aeb2a2a4ee740b091e646a543a63c","target":"graph","created_at":"2026-07-05T08:46:53Z","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/2403.11598/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Layout synthesis is mapping a quantum circuit to a quantum processor. SWAP gate insertions are needed for scheduling 2-qubit gates only on connected physical qubits. With the ever-increasing number of qubits in NISQ processors, scalable layout synthesis is of utmost importance. With large optimality gaps observed in heuristic approaches, scalable exact methods are needed. While recent exact and near-optimal approaches scale to moderate circuits, large deep circuits are still out of scope.\n  In this work, we propose a SAT encoding based on parallel plans that apply 1 SWAP and a group of CNOTs a","authors_text":"Irfansha Shaik, Jaco van de Pol","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-03-18T09:19:01Z","title":"Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.11598","kind":"arxiv","version":2},"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:55b00701493a12db82738da64bc086515039df70c5e7a391445372291a017aa2","target":"record","created_at":"2026-07-05T08:46:53Z","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":"37e933e39f9ee27f7ea75c6815c369bd9abae1aa5925dd16f1f63c9b5947f880","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-03-18T09:19:01Z","title_canon_sha256":"a0ae80cc7f0c00c07160db9e8bc58959a9f181c8a016c715509d122baa7d5f8b"},"schema_version":"1.0","source":{"id":"2403.11598","kind":"arxiv","version":2}},"canonical_sha256":"08b0ac3b9171554021936b3058c14cf1d367a46444a43514955ceff21ddf1135","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"08b0ac3b9171554021936b3058c14cf1d367a46444a43514955ceff21ddf1135","first_computed_at":"2026-07-05T08:46:53.842523Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:46:53.842523Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sGmvNAX3cfckHAgK+wsacwTkgaqV2QAYTbKu+XqWAkfHrJok9X1xtQQrit1O+kaHRa8F2ZRN4og09/X4O8SGAg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:46:53.843033Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.11598","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55b00701493a12db82738da64bc086515039df70c5e7a391445372291a017aa2","sha256:1ae15a719736f9394ce194fbdc35e88a152aeb2a2a4ee740b091e646a543a63c"],"state_sha256":"702eb8e53911d3dd7f31dc2c1dccce52dbf4e8de2d5f2f75eae4fbc5e78e452e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rwzUhxiwraKMn9GU5WfX4p+RMV6QYDYIF6qKMlTwOF4QnAd8didIVvEJY6qyJhOE73b/UJmjT97Sx/4FEA38CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T04:17:51.182814Z","bundle_sha256":"046b6607fe765e4df46dd70117eca874fc16868c5d33c467df5c8cefcea12e18"}}