{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:DANYG4SU62WHISB7WJW22WHEV2","short_pith_number":"pith:DANYG4SU","canonical_record":{"source":{"id":"1710.01358","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-03T19:36:11Z","cross_cats_sorted":[],"title_canon_sha256":"718fa193fa291c7c666cd91a6a8059228cf71f7b7fb93d2f57f685229668f3d5","abstract_canon_sha256":"6a95c38934cd55195cff3ea00dedfbc54af82cd6c970497b60a48b823c1412b4"},"schema_version":"1.0"},"canonical_sha256":"181b837254f6ac74483fb26dad58e4ae91f47e9ba997a13fc341c194ed8c37e0","source":{"kind":"arxiv","id":"1710.01358","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.01358","created_at":"2026-05-18T00:33:43Z"},{"alias_kind":"arxiv_version","alias_value":"1710.01358v1","created_at":"2026-05-18T00:33:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.01358","created_at":"2026-05-18T00:33:43Z"},{"alias_kind":"pith_short_12","alias_value":"DANYG4SU62WH","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DANYG4SU62WHISB7","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DANYG4SU","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:DANYG4SU62WHISB7WJW22WHEV2","target":"record","payload":{"canonical_record":{"source":{"id":"1710.01358","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-03T19:36:11Z","cross_cats_sorted":[],"title_canon_sha256":"718fa193fa291c7c666cd91a6a8059228cf71f7b7fb93d2f57f685229668f3d5","abstract_canon_sha256":"6a95c38934cd55195cff3ea00dedfbc54af82cd6c970497b60a48b823c1412b4"},"schema_version":"1.0"},"canonical_sha256":"181b837254f6ac74483fb26dad58e4ae91f47e9ba997a13fc341c194ed8c37e0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:43.016390Z","signature_b64":"Tmh2RtlAKT7jw58mofZU/53OmYXfsxwabjXSfkfcIKt2/1vJS0eO8yi2zvk6SaeWy3rLstKI3NUcllpdrh3yDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"181b837254f6ac74483fb26dad58e4ae91f47e9ba997a13fc341c194ed8c37e0","last_reissued_at":"2026-05-18T00:33:43.015554Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:43.015554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.01358","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-18T00:33:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dKWJS3FcfkH7qHmqPOL0IZL15CEUTYPSjYCKMmxVv7rN93/TTZPrGL3aXuuijFqlFryINNpb4P9ggzJ7X2mTDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T21:28:34.540173Z"},"content_sha256":"bfeebb6d43376e824f4a0078f17fda849948e61aa1eaea73e800298afdc5b95a","schema_version":"1.0","event_id":"sha256:bfeebb6d43376e824f4a0078f17fda849948e61aa1eaea73e800298afdc5b95a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:DANYG4SU62WHISB7WJW22WHEV2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving Efficiency and Scalability of Sum of Squares Optimization: Recent Advances and Limitations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Amir Ali Ahmadi, Antonis Papachristodoulou, Georgina Hall, James Saunderson, Yang Zheng","submitted_at":"2017-10-03T19:36:11Z","abstract_excerpt":"It is well-known that any sum of squares (SOS) program can be cast as a semidefinite program (SDP) of a particular structure and that therein lies the computational bottleneck for SOS programs, as the SDPs generated by this procedure are large and costly to solve when the polynomials involved in the SOS programs have a large number of variables and degree. In this paper, we review SOS optimization techniques and present two new methods for improving their computational efficiency. The first method leverages the sparsity of the underlying SDP to obtain computational speed-ups. Further improveme"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.01358","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":""},"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-18T00:33:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PHeWdcfoOpzrI0ahv1OMlg9uuTF8DXtWJvk1cikuEo28klxTg1iLr8zH8AS3pQ1EWk0hK7UH1VtZ5kBuZr4EBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T21:28:34.540538Z"},"content_sha256":"868d5bb42709f6ab288fa31429188c7e02a41fb3558dd76ab2231ef923cd4dec","schema_version":"1.0","event_id":"sha256:868d5bb42709f6ab288fa31429188c7e02a41fb3558dd76ab2231ef923cd4dec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DANYG4SU62WHISB7WJW22WHEV2/bundle.json","state_url":"https://pith.science/pith/DANYG4SU62WHISB7WJW22WHEV2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DANYG4SU62WHISB7WJW22WHEV2/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-05-31T21:28:34Z","links":{"resolver":"https://pith.science/pith/DANYG4SU62WHISB7WJW22WHEV2","bundle":"https://pith.science/pith/DANYG4SU62WHISB7WJW22WHEV2/bundle.json","state":"https://pith.science/pith/DANYG4SU62WHISB7WJW22WHEV2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DANYG4SU62WHISB7WJW22WHEV2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:DANYG4SU62WHISB7WJW22WHEV2","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":"6a95c38934cd55195cff3ea00dedfbc54af82cd6c970497b60a48b823c1412b4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-03T19:36:11Z","title_canon_sha256":"718fa193fa291c7c666cd91a6a8059228cf71f7b7fb93d2f57f685229668f3d5"},"schema_version":"1.0","source":{"id":"1710.01358","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.01358","created_at":"2026-05-18T00:33:43Z"},{"alias_kind":"arxiv_version","alias_value":"1710.01358v1","created_at":"2026-05-18T00:33:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.01358","created_at":"2026-05-18T00:33:43Z"},{"alias_kind":"pith_short_12","alias_value":"DANYG4SU62WH","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DANYG4SU62WHISB7","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DANYG4SU","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:868d5bb42709f6ab288fa31429188c7e02a41fb3558dd76ab2231ef923cd4dec","target":"graph","created_at":"2026-05-18T00:33:43Z","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"},"paper":{"abstract_excerpt":"It is well-known that any sum of squares (SOS) program can be cast as a semidefinite program (SDP) of a particular structure and that therein lies the computational bottleneck for SOS programs, as the SDPs generated by this procedure are large and costly to solve when the polynomials involved in the SOS programs have a large number of variables and degree. In this paper, we review SOS optimization techniques and present two new methods for improving their computational efficiency. The first method leverages the sparsity of the underlying SDP to obtain computational speed-ups. Further improveme","authors_text":"Amir Ali Ahmadi, Antonis Papachristodoulou, Georgina Hall, James Saunderson, Yang Zheng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-03T19:36:11Z","title":"Improving Efficiency and Scalability of Sum of Squares Optimization: Recent Advances and Limitations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.01358","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:bfeebb6d43376e824f4a0078f17fda849948e61aa1eaea73e800298afdc5b95a","target":"record","created_at":"2026-05-18T00:33:43Z","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":"6a95c38934cd55195cff3ea00dedfbc54af82cd6c970497b60a48b823c1412b4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-03T19:36:11Z","title_canon_sha256":"718fa193fa291c7c666cd91a6a8059228cf71f7b7fb93d2f57f685229668f3d5"},"schema_version":"1.0","source":{"id":"1710.01358","kind":"arxiv","version":1}},"canonical_sha256":"181b837254f6ac74483fb26dad58e4ae91f47e9ba997a13fc341c194ed8c37e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"181b837254f6ac74483fb26dad58e4ae91f47e9ba997a13fc341c194ed8c37e0","first_computed_at":"2026-05-18T00:33:43.015554Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:43.015554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Tmh2RtlAKT7jw58mofZU/53OmYXfsxwabjXSfkfcIKt2/1vJS0eO8yi2zvk6SaeWy3rLstKI3NUcllpdrh3yDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:43.016390Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.01358","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bfeebb6d43376e824f4a0078f17fda849948e61aa1eaea73e800298afdc5b95a","sha256:868d5bb42709f6ab288fa31429188c7e02a41fb3558dd76ab2231ef923cd4dec"],"state_sha256":"f92c07f17fc771348d3ba32be46bf88b96bc03b01eca41eefc81ede8e8ae6d60"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WGcRn7cIiyUDhcBkAMW5HWo4k5oLHWP4oCDjF2osk2frJrCA57ly9I2GJ64HFRVtc9+E338SQ3Gc+m3bhdqKAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T21:28:34.542768Z","bundle_sha256":"f04d722a21b2c6415a116914cd6aa136d26f4d3ec8954f8d8b33386888aefb2d"}}