{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:CFCYWL26FX7M7QWAJ72XVFUZYT","short_pith_number":"pith:CFCYWL26","schema_version":"1.0","canonical_sha256":"11458b2f5e2dfecfc2c04ff57a9699c4f368ac94ad0f71ac766583d5297c2b38","source":{"kind":"arxiv","id":"2507.17581","version":1},"attestation_state":"computed","paper":{"title":"A convergent sum-of-squares hierarchy for compiled nonlocal games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Anand Natarajan, Chirag Falor, David Cui, Tina Zhang","submitted_at":"2025-07-23T15:16:38Z","abstract_excerpt":"We continue the line of work initiated by Kalai et al. (STOC '23), studying \"compiled\" nonlocal games played between a classical verifier and a single quantum prover, with cryptography simulating the spatial separation between the players. The central open question in this area is to understand the soundness of this compiler against quantum strategies, and apart from results for specific games, all that is known is the recent \"qualitative\" result of Kulpe et al. (STOC '25) showing that the success probability of a quantum prover in the compiled game is bounded by the game's quantum commuting-o"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2507.17581","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2025-07-23T15:16:38Z","cross_cats_sorted":[],"title_canon_sha256":"d877c631fab035203feeb40b8dbd351d066cd71656131fe064ec518180cc8a6e","abstract_canon_sha256":"503e0f05b77f96c650e2f93c77a7331aabfc9e69a45502dea96ab3e4b380b8eb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:42:10.272281Z","signature_b64":"v6BnlKG3qp5VGNRtfCJoqEYrInz1gGHBsTs1Uus4tHaD8kWJdhIaiZAI7xoZD/i99jI2xVxmqBQyKCOBiwwuCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"11458b2f5e2dfecfc2c04ff57a9699c4f368ac94ad0f71ac766583d5297c2b38","last_reissued_at":"2026-07-05T11:42:10.271833Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:42:10.271833Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A convergent sum-of-squares hierarchy for compiled nonlocal games","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Anand Natarajan, Chirag Falor, David Cui, Tina Zhang","submitted_at":"2025-07-23T15:16:38Z","abstract_excerpt":"We continue the line of work initiated by Kalai et al. (STOC '23), studying \"compiled\" nonlocal games played between a classical verifier and a single quantum prover, with cryptography simulating the spatial separation between the players. The central open question in this area is to understand the soundness of this compiler against quantum strategies, and apart from results for specific games, all that is known is the recent \"qualitative\" result of Kulpe et al. (STOC '25) showing that the success probability of a quantum prover in the compiled game is bounded by the game's quantum commuting-o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.17581","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/2507.17581/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2507.17581","created_at":"2026-07-05T11:42:10.271888+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.17581v1","created_at":"2026-07-05T11:42:10.271888+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.17581","created_at":"2026-07-05T11:42:10.271888+00:00"},{"alias_kind":"pith_short_12","alias_value":"CFCYWL26FX7M","created_at":"2026-07-05T11:42:10.271888+00:00"},{"alias_kind":"pith_short_16","alias_value":"CFCYWL26FX7M7QWA","created_at":"2026-07-05T11:42:10.271888+00:00"},{"alias_kind":"pith_short_8","alias_value":"CFCYWL26","created_at":"2026-07-05T11:42:10.271888+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT","json":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT.json","graph_json":"https://pith.science/api/pith-number/CFCYWL26FX7M7QWAJ72XVFUZYT/graph.json","events_json":"https://pith.science/api/pith-number/CFCYWL26FX7M7QWAJ72XVFUZYT/events.json","paper":"https://pith.science/paper/CFCYWL26"},"agent_actions":{"view_html":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT","download_json":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT.json","view_paper":"https://pith.science/paper/CFCYWL26","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.17581&json=true","fetch_graph":"https://pith.science/api/pith-number/CFCYWL26FX7M7QWAJ72XVFUZYT/graph.json","fetch_events":"https://pith.science/api/pith-number/CFCYWL26FX7M7QWAJ72XVFUZYT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT/action/storage_attestation","attest_author":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT/action/author_attestation","sign_citation":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT/action/citation_signature","submit_replication":"https://pith.science/pith/CFCYWL26FX7M7QWAJ72XVFUZYT/action/replication_record"}},"created_at":"2026-07-05T11:42:10.271888+00:00","updated_at":"2026-07-05T11:42:10.271888+00:00"}