{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:F5FXVINWRY4FCG734HHENYTUG7","short_pith_number":"pith:F5FXVINW","canonical_record":{"source":{"id":"2605.28674","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-27T16:08:30Z","cross_cats_sorted":["cs.DS","cs.SY","eess.SY","math.AG"],"title_canon_sha256":"c53b90aa5a911def27fc0c9b4dc81255101ddd1e935a15e94eec0d4705f279c8","abstract_canon_sha256":"900d1331bc92d8c2522cc25f94ee7ea98d3d3a952437d07a8465ae166c0bb3a1"},"schema_version":"1.0"},"canonical_sha256":"2f4b7aa1b68e38511bfbe1ce46e27437d1128630a4f901b8576dfb6a6cc5ceca","source":{"kind":"arxiv","id":"2605.28674","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.28674","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"arxiv_version","alias_value":"2605.28674v1","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.28674","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"pith_short_12","alias_value":"F5FXVINWRY4F","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"pith_short_16","alias_value":"F5FXVINWRY4FCG73","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"pith_short_8","alias_value":"F5FXVINW","created_at":"2026-05-28T02:04:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:F5FXVINWRY4FCG734HHENYTUG7","target":"record","payload":{"canonical_record":{"source":{"id":"2605.28674","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-27T16:08:30Z","cross_cats_sorted":["cs.DS","cs.SY","eess.SY","math.AG"],"title_canon_sha256":"c53b90aa5a911def27fc0c9b4dc81255101ddd1e935a15e94eec0d4705f279c8","abstract_canon_sha256":"900d1331bc92d8c2522cc25f94ee7ea98d3d3a952437d07a8465ae166c0bb3a1"},"schema_version":"1.0"},"canonical_sha256":"2f4b7aa1b68e38511bfbe1ce46e27437d1128630a4f901b8576dfb6a6cc5ceca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-28T02:04:59.534065Z","signature_b64":"0B04Tl2R47HyM/5tyD4DqCGV31YguuFyLcIaQ9NITpBtVnw/pNs6iciRqMJ6uco6y6N4tNHtX7pzJVzg5oBPDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f4b7aa1b68e38511bfbe1ce46e27437d1128630a4f901b8576dfb6a6cc5ceca","last_reissued_at":"2026-05-28T02:04:59.533599Z","signature_status":"signed_v1","first_computed_at":"2026-05-28T02:04:59.533599Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.28674","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-05-28T02:04:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7tY1mniYjgLq4BB6yLzccmejdGED3CsxgabZSRwuC4Zwd0Jks+9mvyp6upZGBJ4EcFSAFR8sMniBUWa8IvJMBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T06:05:26.808686Z"},"content_sha256":"596ebb1ff6117e41cc7bb4d115c90c3f739fb9552a0871280336314c15cb8954","schema_version":"1.0","event_id":"sha256:596ebb1ff6117e41cc7bb4d115c90c3f739fb9552a0871280336314c15cb8954"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:F5FXVINWRY4FCG734HHENYTUG7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Disjunctive Sum of Squares","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DS","cs.SY","eess.SY","math.AG"],"primary_cat":"math.OC","authors_text":"Amir Ali Ahmadi, Bartolomeo Stellato, Sanjeeb Dash, Yixuan Hua","submitted_at":"2026-05-27T16:08:30Z","abstract_excerpt":"We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares approach certifies nonnegativity with multiple algebraic identities which can be found in parallel. Our main result is a disjunctive Positivstellensatz proving that we can keep the degree of each algebraic identity as low as the degree of the polynomial whose nonnegativity is in question. Based on this result, we construct a semidefinite programming based con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.28674","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/2605.28674/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-05-28T02:04:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NTWcAC4sIcYl1Ivqpu+Fr2TSEZJx5op/7bsVQ8zk4C0nHsYkNcjoJFQMfPS0sJQRZM/IhXLO0IPBSRnw03uUAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T06:05:26.809059Z"},"content_sha256":"a70b50da13ac31f9ad89c34a64c007d050bfac407953fd7051e6d0ec0368fbc7","schema_version":"1.0","event_id":"sha256:a70b50da13ac31f9ad89c34a64c007d050bfac407953fd7051e6d0ec0368fbc7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F5FXVINWRY4FCG734HHENYTUG7/bundle.json","state_url":"https://pith.science/pith/F5FXVINWRY4FCG734HHENYTUG7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F5FXVINWRY4FCG734HHENYTUG7/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-06-04T06:05:26Z","links":{"resolver":"https://pith.science/pith/F5FXVINWRY4FCG734HHENYTUG7","bundle":"https://pith.science/pith/F5FXVINWRY4FCG734HHENYTUG7/bundle.json","state":"https://pith.science/pith/F5FXVINWRY4FCG734HHENYTUG7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F5FXVINWRY4FCG734HHENYTUG7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:F5FXVINWRY4FCG734HHENYTUG7","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":"900d1331bc92d8c2522cc25f94ee7ea98d3d3a952437d07a8465ae166c0bb3a1","cross_cats_sorted":["cs.DS","cs.SY","eess.SY","math.AG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-27T16:08:30Z","title_canon_sha256":"c53b90aa5a911def27fc0c9b4dc81255101ddd1e935a15e94eec0d4705f279c8"},"schema_version":"1.0","source":{"id":"2605.28674","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.28674","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"arxiv_version","alias_value":"2605.28674v1","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.28674","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"pith_short_12","alias_value":"F5FXVINWRY4F","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"pith_short_16","alias_value":"F5FXVINWRY4FCG73","created_at":"2026-05-28T02:04:59Z"},{"alias_kind":"pith_short_8","alias_value":"F5FXVINW","created_at":"2026-05-28T02:04:59Z"}],"graph_snapshots":[{"event_id":"sha256:a70b50da13ac31f9ad89c34a64c007d050bfac407953fd7051e6d0ec0368fbc7","target":"graph","created_at":"2026-05-28T02:04:59Z","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/2605.28674/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares approach certifies nonnegativity with multiple algebraic identities which can be found in parallel. Our main result is a disjunctive Positivstellensatz proving that we can keep the degree of each algebraic identity as low as the degree of the polynomial whose nonnegativity is in question. Based on this result, we construct a semidefinite programming based con","authors_text":"Amir Ali Ahmadi, Bartolomeo Stellato, Sanjeeb Dash, Yixuan Hua","cross_cats":["cs.DS","cs.SY","eess.SY","math.AG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-27T16:08:30Z","title":"Disjunctive Sum of Squares"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.28674","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:596ebb1ff6117e41cc7bb4d115c90c3f739fb9552a0871280336314c15cb8954","target":"record","created_at":"2026-05-28T02:04:59Z","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":"900d1331bc92d8c2522cc25f94ee7ea98d3d3a952437d07a8465ae166c0bb3a1","cross_cats_sorted":["cs.DS","cs.SY","eess.SY","math.AG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2026-05-27T16:08:30Z","title_canon_sha256":"c53b90aa5a911def27fc0c9b4dc81255101ddd1e935a15e94eec0d4705f279c8"},"schema_version":"1.0","source":{"id":"2605.28674","kind":"arxiv","version":1}},"canonical_sha256":"2f4b7aa1b68e38511bfbe1ce46e27437d1128630a4f901b8576dfb6a6cc5ceca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2f4b7aa1b68e38511bfbe1ce46e27437d1128630a4f901b8576dfb6a6cc5ceca","first_computed_at":"2026-05-28T02:04:59.533599Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-28T02:04:59.533599Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0B04Tl2R47HyM/5tyD4DqCGV31YguuFyLcIaQ9NITpBtVnw/pNs6iciRqMJ6uco6y6N4tNHtX7pzJVzg5oBPDQ==","signature_status":"signed_v1","signed_at":"2026-05-28T02:04:59.534065Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.28674","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:596ebb1ff6117e41cc7bb4d115c90c3f739fb9552a0871280336314c15cb8954","sha256:a70b50da13ac31f9ad89c34a64c007d050bfac407953fd7051e6d0ec0368fbc7"],"state_sha256":"8bb380655a6b3aa1ebaeafba8be843658b7546977931f7a8bbb55b63ba2a3068"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HD75YBIKnX5AbHtKWvsMCpVZfoIHVoSPcCQue2qdSypkTbnK+5mTB4PqkE87hAdX5f994boCYh9uco9FNJ3GAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T06:05:26.811085Z","bundle_sha256":"5105e52a13645e03f43cbbda9206379a0dec00dd3958704ba574f5f25a6f7ce0"}}