{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:5A7WTTHPXYFOFC3ELPGMBZDE7N","short_pith_number":"pith:5A7WTTHP","schema_version":"1.0","canonical_sha256":"e83f69ccefbe0ae28b645bccc0e464fb7cd815f35cba786dd811423ff9dab086","source":{"kind":"arxiv","id":"2508.02006","version":1},"attestation_state":"computed","paper":{"title":"Exact algorithms for quadratic optimization over roots of unity","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Ahmad Al-Sulami, Hamza Fawzi, Shengding Sun","submitted_at":"2025-08-04T02:50:59Z","abstract_excerpt":"We consider the problem of optimizing a multivariate quadratic function where each decision variable is constrained to be a complex $m$'th root of unity. Such problems have applications in signal processing, MIMO detection, and the computation of ground states in statistical physics, among others. Our contributions in this paper are twofold. We first study the convergence of the sum-of-squares hierarchy and prove its convergence to the exact solution after only $\\lfloor n/2\\rfloor+1$ levels (as opposed to $n$ levels). Our proof follows and generalizes the techniques and results used for the bi"},"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":"2508.02006","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-08-04T02:50:59Z","cross_cats_sorted":[],"title_canon_sha256":"26998e2dbead3831bdb8b25d05f87be287c36283a82937f37887c8498c1de2bd","abstract_canon_sha256":"5146a3fc8392eab5f97566edd90ca6f3deb5877901f70d6c2c7ca5b3c554e122"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:47:49.431617Z","signature_b64":"W038coNMgui29oiXso54p20J/JCHoYZO1gw7fQEMMvp5x4joo8QNF+HT3z/2IBGC4EY68FiVJeXFaPI9qylODQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e83f69ccefbe0ae28b645bccc0e464fb7cd815f35cba786dd811423ff9dab086","last_reissued_at":"2026-07-05T11:47:49.431083Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:47:49.431083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Exact algorithms for quadratic optimization over roots of unity","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Ahmad Al-Sulami, Hamza Fawzi, Shengding Sun","submitted_at":"2025-08-04T02:50:59Z","abstract_excerpt":"We consider the problem of optimizing a multivariate quadratic function where each decision variable is constrained to be a complex $m$'th root of unity. Such problems have applications in signal processing, MIMO detection, and the computation of ground states in statistical physics, among others. Our contributions in this paper are twofold. We first study the convergence of the sum-of-squares hierarchy and prove its convergence to the exact solution after only $\\lfloor n/2\\rfloor+1$ levels (as opposed to $n$ levels). Our proof follows and generalizes the techniques and results used for the bi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.02006","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/2508.02006/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":"2508.02006","created_at":"2026-07-05T11:47:49.431134+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.02006v1","created_at":"2026-07-05T11:47:49.431134+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.02006","created_at":"2026-07-05T11:47:49.431134+00:00"},{"alias_kind":"pith_short_12","alias_value":"5A7WTTHPXYFO","created_at":"2026-07-05T11:47:49.431134+00:00"},{"alias_kind":"pith_short_16","alias_value":"5A7WTTHPXYFOFC3E","created_at":"2026-07-05T11:47:49.431134+00:00"},{"alias_kind":"pith_short_8","alias_value":"5A7WTTHP","created_at":"2026-07-05T11:47:49.431134+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/5A7WTTHPXYFOFC3ELPGMBZDE7N","json":"https://pith.science/pith/5A7WTTHPXYFOFC3ELPGMBZDE7N.json","graph_json":"https://pith.science/api/pith-number/5A7WTTHPXYFOFC3ELPGMBZDE7N/graph.json","events_json":"https://pith.science/api/pith-number/5A7WTTHPXYFOFC3ELPGMBZDE7N/events.json","paper":"https://pith.science/paper/5A7WTTHP"},"agent_actions":{"view_html":"https://pith.science/pith/5A7WTTHPXYFOFC3ELPGMBZDE7N","download_json":"https://pith.science/pith/5A7WTTHPXYFOFC3ELPGMBZDE7N.json","view_paper":"https://pith.science/paper/5A7WTTHP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.02006&json=true","fetch_graph":"https://pith.science/api/pith-number/5A7WTTHPXYFOFC3ELPGMBZDE7N/graph.json","fetch_events":"https://pith.science/api/pith-number/5A7WTTHPXYFOFC3ELPGMBZDE7N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5A7WTTHPXYFOFC3ELPGMBZDE7N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5A7WTTHPXYFOFC3ELPGMBZDE7N/action/storage_attestation","attest_author":"https://pith.science/pith/5A7WTTHPXYFOFC3ELPGMBZDE7N/action/author_attestation","sign_citation":"https://pith.science/pith/5A7WTTHPXYFOFC3ELPGMBZDE7N/action/citation_signature","submit_replication":"https://pith.science/pith/5A7WTTHPXYFOFC3ELPGMBZDE7N/action/replication_record"}},"created_at":"2026-07-05T11:47:49.431134+00:00","updated_at":"2026-07-05T11:47:49.431134+00:00"}