{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:FBQCJ3KLA7SX6OYMP6KZINSI3B","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":"26eb09b8cc1c141f03de017dfc937c7b695ffc0ab879603b4025b4798120aa8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-10T02:57:59Z","title_canon_sha256":"ab8765cfa1dbe6055730db82f497612c1f8bc5008994e23a1dad851491841f60"},"schema_version":"1.0","source":{"id":"1407.2679","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.2679","created_at":"2026-05-18T02:30:15Z"},{"alias_kind":"arxiv_version","alias_value":"1407.2679v3","created_at":"2026-05-18T02:30:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.2679","created_at":"2026-05-18T02:30:15Z"},{"alias_kind":"pith_short_12","alias_value":"FBQCJ3KLA7SX","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_16","alias_value":"FBQCJ3KLA7SX6OYM","created_at":"2026-05-18T12:28:28Z"},{"alias_kind":"pith_short_8","alias_value":"FBQCJ3KL","created_at":"2026-05-18T12:28:28Z"}],"graph_snapshots":[{"event_id":"sha256:7befa3721f3491552037ce966266b6f54f5336771356da02b1c7c483e04dca7b","target":"graph","created_at":"2026-05-18T02:30:15Z","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":"A popular numerical method to compute SOS (sum of squares of polynomials) decompositions for polynomials is to transform the problem into semi-definite programming (SDP) problems and then solve them by SDP solvers. In this paper, we focus on reducing the sizes of inputs to SDP solvers to improve the efficiency and reliability of those SDP based methods. Two types of polynomials, convex cover polynomials and split polynomials, are defined. A convex cover polynomial or a split polynomial can be decomposed into several smaller sub-polynomials such that the original polynomial is SOS if and only i","authors_text":"Bican Xia, Liyun Dai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-10T02:57:59Z","title":"Smaller SDP for SOS Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.2679","kind":"arxiv","version":3},"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:623f34dd4b72731fb03d5ede4126dabbeade8fab32adaed53bdce7a89a66ead1","target":"record","created_at":"2026-05-18T02:30:15Z","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":"26eb09b8cc1c141f03de017dfc937c7b695ffc0ab879603b4025b4798120aa8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-10T02:57:59Z","title_canon_sha256":"ab8765cfa1dbe6055730db82f497612c1f8bc5008994e23a1dad851491841f60"},"schema_version":"1.0","source":{"id":"1407.2679","kind":"arxiv","version":3}},"canonical_sha256":"286024ed4b07e57f3b0c7f95943648d87a9b447fadc2da8e9c9ff98c9496a253","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"286024ed4b07e57f3b0c7f95943648d87a9b447fadc2da8e9c9ff98c9496a253","first_computed_at":"2026-05-18T02:30:15.494897Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:30:15.494897Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uY+7TCCaSLMIL/QQxFU10DivxR1pvZxQ7zXyOHzwC5I0rwnqynec97z/wBMjA5gDsASt8tlqxRS+re8RuNqHCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:30:15.495363Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.2679","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:623f34dd4b72731fb03d5ede4126dabbeade8fab32adaed53bdce7a89a66ead1","sha256:7befa3721f3491552037ce966266b6f54f5336771356da02b1c7c483e04dca7b"],"state_sha256":"0a9bfbc0f94b3aba7598c89fd5eac99f1cf192026438cfec53a54e8f77540ca9"}