{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:EF4CB4LOBIXE4YYXBEUQNIZ5HP","short_pith_number":"pith:EF4CB4LO","canonical_record":{"source":{"id":"2009.08748","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2020-09-18T11:06:19Z","cross_cats_sorted":["cs.DM","math.CO","math.OC"],"title_canon_sha256":"7750e6db5ea3c2fc0606f06ebb41378ea827e6b9d3627317e5205a922d384962","abstract_canon_sha256":"d9c994b65a02b5a82031b61d2aee593eaeb326c4b7634c43696ea8db7bdd46b9"},"schema_version":"1.0"},"canonical_sha256":"217820f16e0a2e4e6317092906a33d3be784e230e9dec9e3e7927eee614ac7ba","source":{"kind":"arxiv","id":"2009.08748","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.08748","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"arxiv_version","alias_value":"2009.08748v1","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.08748","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"pith_short_12","alias_value":"EF4CB4LOBIXE","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"pith_short_16","alias_value":"EF4CB4LOBIXE4YYX","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"pith_short_8","alias_value":"EF4CB4LO","created_at":"2026-07-05T01:36:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:EF4CB4LOBIXE4YYXBEUQNIZ5HP","target":"record","payload":{"canonical_record":{"source":{"id":"2009.08748","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2020-09-18T11:06:19Z","cross_cats_sorted":["cs.DM","math.CO","math.OC"],"title_canon_sha256":"7750e6db5ea3c2fc0606f06ebb41378ea827e6b9d3627317e5205a922d384962","abstract_canon_sha256":"d9c994b65a02b5a82031b61d2aee593eaeb326c4b7634c43696ea8db7bdd46b9"},"schema_version":"1.0"},"canonical_sha256":"217820f16e0a2e4e6317092906a33d3be784e230e9dec9e3e7927eee614ac7ba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:36:21.606954Z","signature_b64":"ZsjyYl4ghpilOg6V7URqq8vEvNW1r7nzyZ30blYHDNAwyvbd+Mh5JrOXmltTVaJqu1MaZM9uZaTOqHCg7781BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"217820f16e0a2e4e6317092906a33d3be784e230e9dec9e3e7927eee614ac7ba","last_reissued_at":"2026-07-05T01:36:21.606458Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:36:21.606458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2009.08748","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-05T01:36:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jod6UZ9u1z9i6yAp4weSOemPF0sd2jzVyrKrxkvYJiqIPfTNwZq0ujfwRE1kqyxA/qXfIOriPIgoxkgzS6jlCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T09:24:28.946621Z"},"content_sha256":"00cc56f9770849b380c37f5701fa379aad533499f2542845eb65948c5671fa9d","schema_version":"1.0","event_id":"sha256:00cc56f9770849b380c37f5701fa379aad533499f2542845eb65948c5671fa9d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:EF4CB4LOBIXE4YYXBEUQNIZ5HP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A polynomial size model with implicit SWAP gate counting for exact qubit reordering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.CO","math.OC"],"primary_cat":"quant-ph","authors_text":"Frank Phillipson, Irina Chiscop, Jesse Mulderij, Karen I. Aardal","submitted_at":"2020-09-18T11:06:19Z","abstract_excerpt":"Due to the physics behind quantum computing, quantum circuit designers must adhere to the constraints posed by the limited interaction distance of qubits. Existing circuits need therefore to be modified via the insertion of SWAP gates, which alter the qubit order by interchanging the location of two qubits' quantum states. We consider the Nearest Neighbor Compliance problem on a linear array, where the number of required SWAP gates is to be minimized. We introduce an Integer Linear Programming model of the problem of which the size scales polynomially in the number of qubits and gates. Further"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.08748","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/2009.08748/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-05T01:36:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6cy92812cPbquYXos9buh0OevAr81lZClkGqfJ9QXnNopEWmdqwgK9kZ+puQP6i2Bq48+IujRG21ylZ/AZJ9Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T09:24:28.947073Z"},"content_sha256":"297848d42ec31f5a9108a409da69f2d5250168a8c9c223b873f49e5a1b24c59d","schema_version":"1.0","event_id":"sha256:297848d42ec31f5a9108a409da69f2d5250168a8c9c223b873f49e5a1b24c59d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EF4CB4LOBIXE4YYXBEUQNIZ5HP/bundle.json","state_url":"https://pith.science/pith/EF4CB4LOBIXE4YYXBEUQNIZ5HP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EF4CB4LOBIXE4YYXBEUQNIZ5HP/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-07T09:24:28Z","links":{"resolver":"https://pith.science/pith/EF4CB4LOBIXE4YYXBEUQNIZ5HP","bundle":"https://pith.science/pith/EF4CB4LOBIXE4YYXBEUQNIZ5HP/bundle.json","state":"https://pith.science/pith/EF4CB4LOBIXE4YYXBEUQNIZ5HP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EF4CB4LOBIXE4YYXBEUQNIZ5HP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:EF4CB4LOBIXE4YYXBEUQNIZ5HP","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":"d9c994b65a02b5a82031b61d2aee593eaeb326c4b7634c43696ea8db7bdd46b9","cross_cats_sorted":["cs.DM","math.CO","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2020-09-18T11:06:19Z","title_canon_sha256":"7750e6db5ea3c2fc0606f06ebb41378ea827e6b9d3627317e5205a922d384962"},"schema_version":"1.0","source":{"id":"2009.08748","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.08748","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"arxiv_version","alias_value":"2009.08748v1","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.08748","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"pith_short_12","alias_value":"EF4CB4LOBIXE","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"pith_short_16","alias_value":"EF4CB4LOBIXE4YYX","created_at":"2026-07-05T01:36:21Z"},{"alias_kind":"pith_short_8","alias_value":"EF4CB4LO","created_at":"2026-07-05T01:36:21Z"}],"graph_snapshots":[{"event_id":"sha256:297848d42ec31f5a9108a409da69f2d5250168a8c9c223b873f49e5a1b24c59d","target":"graph","created_at":"2026-07-05T01:36:21Z","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/2009.08748/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Due to the physics behind quantum computing, quantum circuit designers must adhere to the constraints posed by the limited interaction distance of qubits. Existing circuits need therefore to be modified via the insertion of SWAP gates, which alter the qubit order by interchanging the location of two qubits' quantum states. We consider the Nearest Neighbor Compliance problem on a linear array, where the number of required SWAP gates is to be minimized. We introduce an Integer Linear Programming model of the problem of which the size scales polynomially in the number of qubits and gates. Further","authors_text":"Frank Phillipson, Irina Chiscop, Jesse Mulderij, Karen I. Aardal","cross_cats":["cs.DM","math.CO","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2020-09-18T11:06:19Z","title":"A polynomial size model with implicit SWAP gate counting for exact qubit reordering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.08748","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:00cc56f9770849b380c37f5701fa379aad533499f2542845eb65948c5671fa9d","target":"record","created_at":"2026-07-05T01:36:21Z","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":"d9c994b65a02b5a82031b61d2aee593eaeb326c4b7634c43696ea8db7bdd46b9","cross_cats_sorted":["cs.DM","math.CO","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2020-09-18T11:06:19Z","title_canon_sha256":"7750e6db5ea3c2fc0606f06ebb41378ea827e6b9d3627317e5205a922d384962"},"schema_version":"1.0","source":{"id":"2009.08748","kind":"arxiv","version":1}},"canonical_sha256":"217820f16e0a2e4e6317092906a33d3be784e230e9dec9e3e7927eee614ac7ba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"217820f16e0a2e4e6317092906a33d3be784e230e9dec9e3e7927eee614ac7ba","first_computed_at":"2026-07-05T01:36:21.606458Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:36:21.606458Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZsjyYl4ghpilOg6V7URqq8vEvNW1r7nzyZ30blYHDNAwyvbd+Mh5JrOXmltTVaJqu1MaZM9uZaTOqHCg7781BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:36:21.606954Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.08748","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:00cc56f9770849b380c37f5701fa379aad533499f2542845eb65948c5671fa9d","sha256:297848d42ec31f5a9108a409da69f2d5250168a8c9c223b873f49e5a1b24c59d"],"state_sha256":"dfd644046bf8f7b686429fbd9834174c71399cac932a3984230c4c958135b757"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BZgxlDU9NdUKoVpNMbWp+kHn8UkMtzB2ivpKMNerdomeixcm9Dwg2zc1d50oYjpQ+sJ7rHaay1AfxE1cgKhWAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T09:24:28.950179Z","bundle_sha256":"a7a8592b9b316b0e8e636f4ad915b21362c1f323264a746125e5571352d48d98"}}