{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:X4POSCNUVZKR6U57PQX3AXAJYR","short_pith_number":"pith:X4POSCNU","canonical_record":{"source":{"id":"2411.17442","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-11-26T14:00:34Z","cross_cats_sorted":[],"title_canon_sha256":"640eec9844cdfbd04a1dc5aa2b55ab438313457a939de335983ff72422d7be32","abstract_canon_sha256":"084211f282578c84aa1ad2fe367a4a469e8efe2e8147d28cbfe627c5552994cc"},"schema_version":"1.0"},"canonical_sha256":"bf1ee909b4ae551f53bf7c2fb05c09c45d6ada78008ae8c8c5a6ff7a1fef8ea7","source":{"kind":"arxiv","id":"2411.17442","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.17442","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"arxiv_version","alias_value":"2411.17442v1","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17442","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"pith_short_12","alias_value":"X4POSCNUVZKR","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"pith_short_16","alias_value":"X4POSCNUVZKR6U57","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"pith_short_8","alias_value":"X4POSCNU","created_at":"2026-07-05T09:40:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:X4POSCNUVZKR6U57PQX3AXAJYR","target":"record","payload":{"canonical_record":{"source":{"id":"2411.17442","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-11-26T14:00:34Z","cross_cats_sorted":[],"title_canon_sha256":"640eec9844cdfbd04a1dc5aa2b55ab438313457a939de335983ff72422d7be32","abstract_canon_sha256":"084211f282578c84aa1ad2fe367a4a469e8efe2e8147d28cbfe627c5552994cc"},"schema_version":"1.0"},"canonical_sha256":"bf1ee909b4ae551f53bf7c2fb05c09c45d6ada78008ae8c8c5a6ff7a1fef8ea7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:40:47.215334Z","signature_b64":"ydl6F/vUqjKEWhWNVd4VRNzW5GZ4sTrV3THLjfHPznWGfQ4SQMRvhJM66AW1gomw39IQUpeYaZI/v0zedkyaDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf1ee909b4ae551f53bf7c2fb05c09c45d6ada78008ae8c8c5a6ff7a1fef8ea7","last_reissued_at":"2026-07-05T09:40:47.214860Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:40:47.214860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.17442","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-05T09:40:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ojs7KVHdv6aSpXigJZc3YxZI8+Vc8AWEwQ1mqzoUmiZzvkbQLJwR82+A7OxlsUCOA11O/UJ9vNgdQHKb2h8CBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T08:38:57.781950Z"},"content_sha256":"c71105b32a0b92c28d268d9ac395e5f26276d4b2e1f63d9341c0d708829ffe78","schema_version":"1.0","event_id":"sha256:c71105b32a0b92c28d268d9ac395e5f26276d4b2e1f63d9341c0d708829ffe78"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:X4POSCNUVZKR6U57PQX3AXAJYR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Applying the quantum approximate optimization algorithm to general constraint satisfaction problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Ashley Montanaro, Lana Mineh, Maria Ciudad-Ala\\~n\\'on, Niam Vaishnav, Sami Boulebnane","submitted_at":"2024-11-26T14:00:34Z","abstract_excerpt":"In this work we develop theoretical techniques for analysing the performance of the quantum approximate optimization algorithm (QAOA) when applied to random boolean constraint satisfaction problems (CSPs), and use these techniques to compare the complexity of a variety of CSPs, such as $k$-SAT, 1-in-$k$ SAT, and NAE-SAT. Our techniques allow us to compute the success probability of QAOA with one layer and given parameters, when applied to randomly generated instances of CSPs with $k$ binary variables per constraint, in time polynomial in $n$ and $k$. We apply this algorithm to all boolean CSPs"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17442","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/2411.17442/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-05T09:40:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DgbJkZurleLCUNfBPzyp4vcLRisn8RgyNptArRe+R5Gp7ZIDCW6GGWvFo/Ib3GYjjYwCHJdbKKqWs/HhB6iIAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T08:38:57.782503Z"},"content_sha256":"2fa16f67bbe140f8f1633c139ec90cbafbed2a13b269e4ce673f52149a4d5d21","schema_version":"1.0","event_id":"sha256:2fa16f67bbe140f8f1633c139ec90cbafbed2a13b269e4ce673f52149a4d5d21"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X4POSCNUVZKR6U57PQX3AXAJYR/bundle.json","state_url":"https://pith.science/pith/X4POSCNUVZKR6U57PQX3AXAJYR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X4POSCNUVZKR6U57PQX3AXAJYR/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-14T08:38:57Z","links":{"resolver":"https://pith.science/pith/X4POSCNUVZKR6U57PQX3AXAJYR","bundle":"https://pith.science/pith/X4POSCNUVZKR6U57PQX3AXAJYR/bundle.json","state":"https://pith.science/pith/X4POSCNUVZKR6U57PQX3AXAJYR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X4POSCNUVZKR6U57PQX3AXAJYR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:X4POSCNUVZKR6U57PQX3AXAJYR","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":"084211f282578c84aa1ad2fe367a4a469e8efe2e8147d28cbfe627c5552994cc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-11-26T14:00:34Z","title_canon_sha256":"640eec9844cdfbd04a1dc5aa2b55ab438313457a939de335983ff72422d7be32"},"schema_version":"1.0","source":{"id":"2411.17442","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.17442","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"arxiv_version","alias_value":"2411.17442v1","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17442","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"pith_short_12","alias_value":"X4POSCNUVZKR","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"pith_short_16","alias_value":"X4POSCNUVZKR6U57","created_at":"2026-07-05T09:40:47Z"},{"alias_kind":"pith_short_8","alias_value":"X4POSCNU","created_at":"2026-07-05T09:40:47Z"}],"graph_snapshots":[{"event_id":"sha256:2fa16f67bbe140f8f1633c139ec90cbafbed2a13b269e4ce673f52149a4d5d21","target":"graph","created_at":"2026-07-05T09:40:47Z","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/2411.17442/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work we develop theoretical techniques for analysing the performance of the quantum approximate optimization algorithm (QAOA) when applied to random boolean constraint satisfaction problems (CSPs), and use these techniques to compare the complexity of a variety of CSPs, such as $k$-SAT, 1-in-$k$ SAT, and NAE-SAT. Our techniques allow us to compute the success probability of QAOA with one layer and given parameters, when applied to randomly generated instances of CSPs with $k$ binary variables per constraint, in time polynomial in $n$ and $k$. We apply this algorithm to all boolean CSPs","authors_text":"Ashley Montanaro, Lana Mineh, Maria Ciudad-Ala\\~n\\'on, Niam Vaishnav, Sami Boulebnane","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-11-26T14:00:34Z","title":"Applying the quantum approximate optimization algorithm to general constraint satisfaction problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17442","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:c71105b32a0b92c28d268d9ac395e5f26276d4b2e1f63d9341c0d708829ffe78","target":"record","created_at":"2026-07-05T09:40:47Z","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":"084211f282578c84aa1ad2fe367a4a469e8efe2e8147d28cbfe627c5552994cc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-11-26T14:00:34Z","title_canon_sha256":"640eec9844cdfbd04a1dc5aa2b55ab438313457a939de335983ff72422d7be32"},"schema_version":"1.0","source":{"id":"2411.17442","kind":"arxiv","version":1}},"canonical_sha256":"bf1ee909b4ae551f53bf7c2fb05c09c45d6ada78008ae8c8c5a6ff7a1fef8ea7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf1ee909b4ae551f53bf7c2fb05c09c45d6ada78008ae8c8c5a6ff7a1fef8ea7","first_computed_at":"2026-07-05T09:40:47.214860Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:40:47.214860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ydl6F/vUqjKEWhWNVd4VRNzW5GZ4sTrV3THLjfHPznWGfQ4SQMRvhJM66AW1gomw39IQUpeYaZI/v0zedkyaDw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:40:47.215334Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.17442","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c71105b32a0b92c28d268d9ac395e5f26276d4b2e1f63d9341c0d708829ffe78","sha256:2fa16f67bbe140f8f1633c139ec90cbafbed2a13b269e4ce673f52149a4d5d21"],"state_sha256":"90b73262efc68af25312672de77d37cae5c0fbfa7dc723ed1cebee56718c8332"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y5MuDzmY3Pj7hxsSiO2S76NdZN5j8Ha2Y72Fxh3YS22T05j6eEteNrvbObpfBpdUZvvYRjOSi9MY48a6FLjuCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T08:38:57.802763Z","bundle_sha256":"c7cc68ff3938639f689273ab2e49f78c0e1a0f54d7fdd033c180314096bc6424"}}