{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:KPSSFG7BUNJQFQM6OLOZBNXUSD","short_pith_number":"pith:KPSSFG7B","canonical_record":{"source":{"id":"2410.19844","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-10-21T12:47:42Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"9930b9dac883d7632882f4c0a71ef543a4c9d9c735884cf5efe77cba5ac950e5","abstract_canon_sha256":"bf40f7b9e7893c864e25c67ee0575e5dc0b4855e12585d8b69fb0167e1fb7934"},"schema_version":"1.0"},"canonical_sha256":"53e5229be1a35302c19e72dd90b6f490d0ecb82462089e077d582eef9c9ac454","source":{"kind":"arxiv","id":"2410.19844","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.19844","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"arxiv_version","alias_value":"2410.19844v1","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.19844","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"pith_short_12","alias_value":"KPSSFG7BUNJQ","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"KPSSFG7BUNJQFQM6","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"KPSSFG7B","created_at":"2026-07-05T09:26:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:KPSSFG7BUNJQFQM6OLOZBNXUSD","target":"record","payload":{"canonical_record":{"source":{"id":"2410.19844","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-10-21T12:47:42Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"9930b9dac883d7632882f4c0a71ef543a4c9d9c735884cf5efe77cba5ac950e5","abstract_canon_sha256":"bf40f7b9e7893c864e25c67ee0575e5dc0b4855e12585d8b69fb0167e1fb7934"},"schema_version":"1.0"},"canonical_sha256":"53e5229be1a35302c19e72dd90b6f490d0ecb82462089e077d582eef9c9ac454","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:26:34.391119Z","signature_b64":"znaLgNg3EJe31+QHzWSPZlhGYa3KkDi3ebTAL3sNf5kWS2nHeRoSiEi7IpVrDoTbLVvFYyRbHanEhTDhLTVmBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"53e5229be1a35302c19e72dd90b6f490d0ecb82462089e077d582eef9c9ac454","last_reissued_at":"2026-07-05T09:26:34.390654Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:26:34.390654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.19844","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:26:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0uuF8V5zwTMDf/gxs2yCCEWjQQbO6cxRU7Zr3TNrP7mZ1izA94+DC5Wr+aaIMlaXDKv8L/W+4d1QbG3xG1aQCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T11:30:56.342018Z"},"content_sha256":"b43c464248b883187e744beaf0e32667e453b70934e58deb7cb4744c0a1149a7","schema_version":"1.0","event_id":"sha256:b43c464248b883187e744beaf0e32667e453b70934e58deb7cb4744c0a1149a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:KPSSFG7BUNJQFQM6OLOZBNXUSD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A practical, fast method for solving sum-of-squares problems for very large polynomials","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"math.OC","authors_text":"Daniel Keren, Margarita Osadchy, Roi Poranne","submitted_at":"2024-10-21T12:47:42Z","abstract_excerpt":"Sum of squares (SOS) optimization is a powerful technique for solving problems where the positivity of a polynomials must be enforced. The common approach to solve an SOS problem is by relaxation to a Semidefinite Program (SDP). The main advantage of this transormation is that SDP is a convex problem for which efficient solvers are readily available. However, while considerable progress has been made in recent years, the standard approaches for solving SDPs are still known to scale poorly. Our goal is to devise an approach that can handle larger, more complex problems than is currently possibl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.19844","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/2410.19844/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:26:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OcTSdS5G2hHwud/sXkv3a3g4v2Xof8Otvl3zYZHYvaPMWL0w4uzU10jv/m4K5MGV2N+TcJghh+qv64sAH+4cBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T11:30:56.342561Z"},"content_sha256":"7b63b7da0d5bc4b14a973c399f521e8eb8e460ec5fc001fa4198f8c8ee7f1fec","schema_version":"1.0","event_id":"sha256:7b63b7da0d5bc4b14a973c399f521e8eb8e460ec5fc001fa4198f8c8ee7f1fec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KPSSFG7BUNJQFQM6OLOZBNXUSD/bundle.json","state_url":"https://pith.science/pith/KPSSFG7BUNJQFQM6OLOZBNXUSD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KPSSFG7BUNJQFQM6OLOZBNXUSD/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-15T11:30:56Z","links":{"resolver":"https://pith.science/pith/KPSSFG7BUNJQFQM6OLOZBNXUSD","bundle":"https://pith.science/pith/KPSSFG7BUNJQFQM6OLOZBNXUSD/bundle.json","state":"https://pith.science/pith/KPSSFG7BUNJQFQM6OLOZBNXUSD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KPSSFG7BUNJQFQM6OLOZBNXUSD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:KPSSFG7BUNJQFQM6OLOZBNXUSD","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":"bf40f7b9e7893c864e25c67ee0575e5dc0b4855e12585d8b69fb0167e1fb7934","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-10-21T12:47:42Z","title_canon_sha256":"9930b9dac883d7632882f4c0a71ef543a4c9d9c735884cf5efe77cba5ac950e5"},"schema_version":"1.0","source":{"id":"2410.19844","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.19844","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"arxiv_version","alias_value":"2410.19844v1","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.19844","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"pith_short_12","alias_value":"KPSSFG7BUNJQ","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"pith_short_16","alias_value":"KPSSFG7BUNJQFQM6","created_at":"2026-07-05T09:26:34Z"},{"alias_kind":"pith_short_8","alias_value":"KPSSFG7B","created_at":"2026-07-05T09:26:34Z"}],"graph_snapshots":[{"event_id":"sha256:7b63b7da0d5bc4b14a973c399f521e8eb8e460ec5fc001fa4198f8c8ee7f1fec","target":"graph","created_at":"2026-07-05T09:26:34Z","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/2410.19844/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Sum of squares (SOS) optimization is a powerful technique for solving problems where the positivity of a polynomials must be enforced. The common approach to solve an SOS problem is by relaxation to a Semidefinite Program (SDP). The main advantage of this transormation is that SDP is a convex problem for which efficient solvers are readily available. However, while considerable progress has been made in recent years, the standard approaches for solving SDPs are still known to scale poorly. Our goal is to devise an approach that can handle larger, more complex problems than is currently possibl","authors_text":"Daniel Keren, Margarita Osadchy, Roi Poranne","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-10-21T12:47:42Z","title":"A practical, fast method for solving sum-of-squares problems for very large polynomials"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.19844","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:b43c464248b883187e744beaf0e32667e453b70934e58deb7cb4744c0a1149a7","target":"record","created_at":"2026-07-05T09:26:34Z","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":"bf40f7b9e7893c864e25c67ee0575e5dc0b4855e12585d8b69fb0167e1fb7934","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2024-10-21T12:47:42Z","title_canon_sha256":"9930b9dac883d7632882f4c0a71ef543a4c9d9c735884cf5efe77cba5ac950e5"},"schema_version":"1.0","source":{"id":"2410.19844","kind":"arxiv","version":1}},"canonical_sha256":"53e5229be1a35302c19e72dd90b6f490d0ecb82462089e077d582eef9c9ac454","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"53e5229be1a35302c19e72dd90b6f490d0ecb82462089e077d582eef9c9ac454","first_computed_at":"2026-07-05T09:26:34.390654Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:26:34.390654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"znaLgNg3EJe31+QHzWSPZlhGYa3KkDi3ebTAL3sNf5kWS2nHeRoSiEi7IpVrDoTbLVvFYyRbHanEhTDhLTVmBA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:26:34.391119Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.19844","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b43c464248b883187e744beaf0e32667e453b70934e58deb7cb4744c0a1149a7","sha256:7b63b7da0d5bc4b14a973c399f521e8eb8e460ec5fc001fa4198f8c8ee7f1fec"],"state_sha256":"d2612ce3564994a16ef20207d5de9a70c45f19f38332091a23cf380e90acfff0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EJOmhaAS/Umqb5AzivquoGxnQHmH9Envj+wq+WSsaHKPNQ0oQKWBSg12mYTSyeK3TZUpgp/uh/1qr+QFeE9GAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T11:30:56.349388Z","bundle_sha256":"7bf3af0067fca3b285766ad6cf4060797702fef9c99722117238174a9f577a4f"}}