{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:DRY2CH4HAEV7T6NQV7OXSEUIUX","short_pith_number":"pith:DRY2CH4H","canonical_record":{"source":{"id":"2406.09506","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-06-13T18:00:09Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"0e20c71b759b96cfbc51761903adfad179a0a15d3ed15e458cff33a86a825e62","abstract_canon_sha256":"4cd8edc37c60c8b52690ce597ee00e5f70ba992acc682be3135e6f5d938d7f95"},"schema_version":"1.0"},"canonical_sha256":"1c71a11f87012bf9f9b0afdd791288a5ebd44efb52a4a886f857aaa16c45cc44","source":{"kind":"arxiv","id":"2406.09506","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.09506","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"arxiv_version","alias_value":"2406.09506v1","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.09506","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"pith_short_12","alias_value":"DRY2CH4HAEV7","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"pith_short_16","alias_value":"DRY2CH4HAEV7T6NQ","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"pith_short_8","alias_value":"DRY2CH4H","created_at":"2026-07-05T08:31:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:DRY2CH4HAEV7T6NQV7OXSEUIUX","target":"record","payload":{"canonical_record":{"source":{"id":"2406.09506","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-06-13T18:00:09Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"0e20c71b759b96cfbc51761903adfad179a0a15d3ed15e458cff33a86a825e62","abstract_canon_sha256":"4cd8edc37c60c8b52690ce597ee00e5f70ba992acc682be3135e6f5d938d7f95"},"schema_version":"1.0"},"canonical_sha256":"1c71a11f87012bf9f9b0afdd791288a5ebd44efb52a4a886f857aaa16c45cc44","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:31:55.100199Z","signature_b64":"rVo036yOVBHGqb+WkbyeKQw0ITMtmvLdKaLs0LUGEvOLOPQdtnNbsbXPGgN1gyDNHQzzhZahMtP1vW3t724fDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c71a11f87012bf9f9b0afdd791288a5ebd44efb52a4a886f857aaa16c45cc44","last_reissued_at":"2026-07-05T08:31:55.099688Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:31:55.099688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.09506","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-05T08:31:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jDiJp2FVeIBE8QsUOJDDWhAM3QRDM8wS6rwkhIyVeBJCUbt5VQTvVjZl14wynI9RQdMvyu7fgTASC9lG4lH7DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T12:41:11.391254Z"},"content_sha256":"35813a571aae37464c6796d420bfca0c19bfbef5690e26c9fe5acf8dc08a8a95","schema_version":"1.0","event_id":"sha256:35813a571aae37464c6796d420bfca0c19bfbef5690e26c9fe5acf8dc08a8a95"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:DRY2CH4HAEV7T6NQV7OXSEUIUX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The polarization hierarchy for polynomial optimization over convex bodies, with applications to nonnegative matrix rank","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"math.OC","authors_text":"David Gross, Laurens T. Ligthart, Martin Pl\\'avala","submitted_at":"2024-06-13T18:00:09Z","abstract_excerpt":"We construct a convergent family of outer approximations for the problem of optimizing polynomial functions over convex bodies subject to polynomial constraints. This is achieved by generalizing the polarization hierarchy, which has previously been introduced for the study of polynomial optimization problems over state spaces of $C^*$-algebras, to convex cones in finite dimensions. If the convex bodies can be characterized by linear or semidefinite programs, then the same is true for our hierarchy. Convergence is proven by relating the problem to a certain de Finetti theorem for general probab"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.09506","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/2406.09506/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-05T08:31:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FGIzUbcIbwkXr+L4kJBJ/LWxaE4ghliYqqDuernIkh0pmBcUWoFWomciqTl+7P38/GhOyL3oEXotbu1S5mlACg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T12:41:11.391804Z"},"content_sha256":"1889971d3b54023ec6cd27e9276baf7322cb81436aad66c5b91e6174aa867146","schema_version":"1.0","event_id":"sha256:1889971d3b54023ec6cd27e9276baf7322cb81436aad66c5b91e6174aa867146"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DRY2CH4HAEV7T6NQV7OXSEUIUX/bundle.json","state_url":"https://pith.science/pith/DRY2CH4HAEV7T6NQV7OXSEUIUX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DRY2CH4HAEV7T6NQV7OXSEUIUX/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-07T12:41:11Z","links":{"resolver":"https://pith.science/pith/DRY2CH4HAEV7T6NQV7OXSEUIUX","bundle":"https://pith.science/pith/DRY2CH4HAEV7T6NQV7OXSEUIUX/bundle.json","state":"https://pith.science/pith/DRY2CH4HAEV7T6NQV7OXSEUIUX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DRY2CH4HAEV7T6NQV7OXSEUIUX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DRY2CH4HAEV7T6NQV7OXSEUIUX","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":"4cd8edc37c60c8b52690ce597ee00e5f70ba992acc682be3135e6f5d938d7f95","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-06-13T18:00:09Z","title_canon_sha256":"0e20c71b759b96cfbc51761903adfad179a0a15d3ed15e458cff33a86a825e62"},"schema_version":"1.0","source":{"id":"2406.09506","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.09506","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"arxiv_version","alias_value":"2406.09506v1","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.09506","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"pith_short_12","alias_value":"DRY2CH4HAEV7","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"pith_short_16","alias_value":"DRY2CH4HAEV7T6NQ","created_at":"2026-07-05T08:31:55Z"},{"alias_kind":"pith_short_8","alias_value":"DRY2CH4H","created_at":"2026-07-05T08:31:55Z"}],"graph_snapshots":[{"event_id":"sha256:1889971d3b54023ec6cd27e9276baf7322cb81436aad66c5b91e6174aa867146","target":"graph","created_at":"2026-07-05T08:31:55Z","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/2406.09506/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We construct a convergent family of outer approximations for the problem of optimizing polynomial functions over convex bodies subject to polynomial constraints. This is achieved by generalizing the polarization hierarchy, which has previously been introduced for the study of polynomial optimization problems over state spaces of $C^*$-algebras, to convex cones in finite dimensions. If the convex bodies can be characterized by linear or semidefinite programs, then the same is true for our hierarchy. Convergence is proven by relating the problem to a certain de Finetti theorem for general probab","authors_text":"David Gross, Laurens T. Ligthart, Martin Pl\\'avala","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-06-13T18:00:09Z","title":"The polarization hierarchy for polynomial optimization over convex bodies, with applications to nonnegative matrix rank"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.09506","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:35813a571aae37464c6796d420bfca0c19bfbef5690e26c9fe5acf8dc08a8a95","target":"record","created_at":"2026-07-05T08:31:55Z","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":"4cd8edc37c60c8b52690ce597ee00e5f70ba992acc682be3135e6f5d938d7f95","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2024-06-13T18:00:09Z","title_canon_sha256":"0e20c71b759b96cfbc51761903adfad179a0a15d3ed15e458cff33a86a825e62"},"schema_version":"1.0","source":{"id":"2406.09506","kind":"arxiv","version":1}},"canonical_sha256":"1c71a11f87012bf9f9b0afdd791288a5ebd44efb52a4a886f857aaa16c45cc44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c71a11f87012bf9f9b0afdd791288a5ebd44efb52a4a886f857aaa16c45cc44","first_computed_at":"2026-07-05T08:31:55.099688Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:31:55.099688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rVo036yOVBHGqb+WkbyeKQw0ITMtmvLdKaLs0LUGEvOLOPQdtnNbsbXPGgN1gyDNHQzzhZahMtP1vW3t724fDA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:31:55.100199Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.09506","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35813a571aae37464c6796d420bfca0c19bfbef5690e26c9fe5acf8dc08a8a95","sha256:1889971d3b54023ec6cd27e9276baf7322cb81436aad66c5b91e6174aa867146"],"state_sha256":"51ec1dd75158bbd670d7da310a7fa9f71dc6128c771297c662664135ea23e47d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G6rj1mqmU0UFTwnnMdD/b6hKjJJIJqmUbKf7pFdXXi4+ojYupu5axKEhv3vgP5iUh1C+gQs4sdRnlT2eG5EFCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T12:41:11.396764Z","bundle_sha256":"65ce5b9fe1ab869d57afacf3ee21e317bb0d398d51862cd4d7c1b39591ab19de"}}