{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:Q5GEOCGBT74LYJQU2DCYP4G4EM","short_pith_number":"pith:Q5GEOCGB","canonical_record":{"source":{"id":"2303.01183","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-03-02T11:52:39Z","cross_cats_sorted":[],"title_canon_sha256":"97acc463c9e94a6eaac2271e2f05afb07f87c5407ab12cd73182280a6db0062b","abstract_canon_sha256":"9ae6ec277368389a41986a08b23cfb6ed938061c76b7a444280dd1050748e186"},"schema_version":"1.0"},"canonical_sha256":"874c4708c19ff8bc2614d0c587f0dc230eb8b68ee959db776a5cc3fa9cb04ffa","source":{"kind":"arxiv","id":"2303.01183","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.01183","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"arxiv_version","alias_value":"2303.01183v1","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.01183","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"pith_short_12","alias_value":"Q5GEOCGBT74L","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"pith_short_16","alias_value":"Q5GEOCGBT74LYJQU","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"pith_short_8","alias_value":"Q5GEOCGB","created_at":"2026-07-05T07:32:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:Q5GEOCGBT74LYJQU2DCYP4G4EM","target":"record","payload":{"canonical_record":{"source":{"id":"2303.01183","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-03-02T11:52:39Z","cross_cats_sorted":[],"title_canon_sha256":"97acc463c9e94a6eaac2271e2f05afb07f87c5407ab12cd73182280a6db0062b","abstract_canon_sha256":"9ae6ec277368389a41986a08b23cfb6ed938061c76b7a444280dd1050748e186"},"schema_version":"1.0"},"canonical_sha256":"874c4708c19ff8bc2614d0c587f0dc230eb8b68ee959db776a5cc3fa9cb04ffa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:32:17.229643Z","signature_b64":"/j5No1ES+gkgf7D4Z+cqBNbFX3FcLiwAR+gjjPqOlN6xhdqQOEoiBJ2aTDTDUytPSOCWj1H2kznda05fRE4SDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"874c4708c19ff8bc2614d0c587f0dc230eb8b68ee959db776a5cc3fa9cb04ffa","last_reissued_at":"2026-07-05T07:32:17.229012Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:32:17.229012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.01183","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-05T07:32:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vonHOlrzsV+Acxjf4BJWhhmf1p05kCgHB/YeeDFxJf/AUhx9Wa253AcKRBtINmF4NpAr9tkwkO9h97w5aIuaCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:00:00.647943Z"},"content_sha256":"ab171b9f3b1cf46517d2dec128c38a113d31d6b4de1d4f630eab4de3c4b63751","schema_version":"1.0","event_id":"sha256:ab171b9f3b1cf46517d2dec128c38a113d31d6b4de1d4f630eab4de3c4b63751"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:Q5GEOCGBT74LYJQU2DCYP4G4EM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Alexander Mandl, Frank Leymann, Johanna Barzen, Karoline Wild, Marvin Bechtold","submitted_at":"2023-03-02T11:52:39Z","abstract_excerpt":"The Boolean satisfiability problem (SAT), in particular 3SAT with its bounded clause size, is a well-studied problem since a wide range of decision problems can be reduced to it. Due to its high complexity, examining potentials of quantum algorithms for solving 3SAT more efficiently is an important topic. Since 3SAT can be formulated as unstructured search for satisfying variable assignments, the amplitude amplification algorithm can be applied. However, the high circuit complexity of amplitude amplification hinders its use on near-term quantum systems. On the other hand, the Quantum Approxima"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.01183","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/2303.01183/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-05T07:32:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4DgBeHhyWprxdL/i5XyAYBtcvDLHARAayXUBk1XbePkcCHLjJeaC5EHDK2RePg41FwQ8hsLm0EkdhjOQ/L5kAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:00:00.648422Z"},"content_sha256":"7ced30bb91c8181ab1ff6484f61e3ce80142adbaefb5cee18dbee21c4227cb9a","schema_version":"1.0","event_id":"sha256:7ced30bb91c8181ab1ff6484f61e3ce80142adbaefb5cee18dbee21c4227cb9a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q5GEOCGBT74LYJQU2DCYP4G4EM/bundle.json","state_url":"https://pith.science/pith/Q5GEOCGBT74LYJQU2DCYP4G4EM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q5GEOCGBT74LYJQU2DCYP4G4EM/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-03T18:00:00Z","links":{"resolver":"https://pith.science/pith/Q5GEOCGBT74LYJQU2DCYP4G4EM","bundle":"https://pith.science/pith/Q5GEOCGBT74LYJQU2DCYP4G4EM/bundle.json","state":"https://pith.science/pith/Q5GEOCGBT74LYJQU2DCYP4G4EM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q5GEOCGBT74LYJQU2DCYP4G4EM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:Q5GEOCGBT74LYJQU2DCYP4G4EM","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":"9ae6ec277368389a41986a08b23cfb6ed938061c76b7a444280dd1050748e186","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-03-02T11:52:39Z","title_canon_sha256":"97acc463c9e94a6eaac2271e2f05afb07f87c5407ab12cd73182280a6db0062b"},"schema_version":"1.0","source":{"id":"2303.01183","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.01183","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"arxiv_version","alias_value":"2303.01183v1","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.01183","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"pith_short_12","alias_value":"Q5GEOCGBT74L","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"pith_short_16","alias_value":"Q5GEOCGBT74LYJQU","created_at":"2026-07-05T07:32:17Z"},{"alias_kind":"pith_short_8","alias_value":"Q5GEOCGB","created_at":"2026-07-05T07:32:17Z"}],"graph_snapshots":[{"event_id":"sha256:7ced30bb91c8181ab1ff6484f61e3ce80142adbaefb5cee18dbee21c4227cb9a","target":"graph","created_at":"2026-07-05T07:32:17Z","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/2303.01183/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Boolean satisfiability problem (SAT), in particular 3SAT with its bounded clause size, is a well-studied problem since a wide range of decision problems can be reduced to it. Due to its high complexity, examining potentials of quantum algorithms for solving 3SAT more efficiently is an important topic. Since 3SAT can be formulated as unstructured search for satisfying variable assignments, the amplitude amplification algorithm can be applied. However, the high circuit complexity of amplitude amplification hinders its use on near-term quantum systems. On the other hand, the Quantum Approxima","authors_text":"Alexander Mandl, Frank Leymann, Johanna Barzen, Karoline Wild, Marvin Bechtold","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-03-02T11:52:39Z","title":"Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.01183","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:ab171b9f3b1cf46517d2dec128c38a113d31d6b4de1d4f630eab4de3c4b63751","target":"record","created_at":"2026-07-05T07:32:17Z","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":"9ae6ec277368389a41986a08b23cfb6ed938061c76b7a444280dd1050748e186","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-03-02T11:52:39Z","title_canon_sha256":"97acc463c9e94a6eaac2271e2f05afb07f87c5407ab12cd73182280a6db0062b"},"schema_version":"1.0","source":{"id":"2303.01183","kind":"arxiv","version":1}},"canonical_sha256":"874c4708c19ff8bc2614d0c587f0dc230eb8b68ee959db776a5cc3fa9cb04ffa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"874c4708c19ff8bc2614d0c587f0dc230eb8b68ee959db776a5cc3fa9cb04ffa","first_computed_at":"2026-07-05T07:32:17.229012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:32:17.229012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/j5No1ES+gkgf7D4Z+cqBNbFX3FcLiwAR+gjjPqOlN6xhdqQOEoiBJ2aTDTDUytPSOCWj1H2kznda05fRE4SDg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:32:17.229643Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.01183","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ab171b9f3b1cf46517d2dec128c38a113d31d6b4de1d4f630eab4de3c4b63751","sha256:7ced30bb91c8181ab1ff6484f61e3ce80142adbaefb5cee18dbee21c4227cb9a"],"state_sha256":"1e5bad9807f98a254ea3ce0fc56d97744dc42c0bd3d04f82717cf422a6615f25"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Twsce68sj39AXJHeuSoIrheZ738IC33WWMrPV2gOtVCUBomxSMUJEgZYqXRAtk8GmltFiM3j1En8entARRuGCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T18:00:00.651998Z","bundle_sha256":"e94c865464e1025e73d1af97560ef2f29333dc683fe0b03d843098454c3e3f33"}}