{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:2MJTCVBONHDFSRNKZWFXH65VRU","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":"5df7ac0d953786f8ed4406d66329225564d0bbee8317852749c5472f4a4d37b7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-21T20:21:00Z","title_canon_sha256":"c436a9bc2f197373f0ef1477bc9bae900da864d6708424ae3f5026834aaa9a36"},"schema_version":"1.0","source":{"id":"1512.06796","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.06796","created_at":"2026-05-18T00:48:05Z"},{"alias_kind":"arxiv_version","alias_value":"1512.06796v2","created_at":"2026-05-18T00:48:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.06796","created_at":"2026-05-18T00:48:05Z"},{"alias_kind":"pith_short_12","alias_value":"2MJTCVBONHDF","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_16","alias_value":"2MJTCVBONHDFSRNK","created_at":"2026-05-18T12:29:02Z"},{"alias_kind":"pith_short_8","alias_value":"2MJTCVBO","created_at":"2026-05-18T12:29:02Z"}],"graph_snapshots":[{"event_id":"sha256:2dc326a64ab86abe6b5f093772660a90883f3e709e2d305e91b18276d903e7b1","target":"graph","created_at":"2026-05-18T00:48:05Z","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":"In a common formulation of semi-infinite programs, the infinite constraint set is a requirement that a function parametrized by the decision variables is nonnegative over an interval. If this function is sufficiently closely approximable by a polynomial or a rational function, then the semi-infinite program can be reformulated as an equivalent semidefinite program. Solving this semidefinite program is challenging if the polynomials involved are of high degree, due to numerical difficulties and bad scaling arising both from the polynomial approximations and from the fact that the semidefinite p","authors_text":"D\\'avid Papp","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-21T20:21:00Z","title":"Semi-infinite programming using high-degree polynomial interpolants and semidefinite programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.06796","kind":"arxiv","version":2},"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:1c09a6ef864c69075f44cbe386be3ea8aa0a900ab51c151c50668d0aa8fcd9d3","target":"record","created_at":"2026-05-18T00:48:05Z","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":"5df7ac0d953786f8ed4406d66329225564d0bbee8317852749c5472f4a4d37b7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-12-21T20:21:00Z","title_canon_sha256":"c436a9bc2f197373f0ef1477bc9bae900da864d6708424ae3f5026834aaa9a36"},"schema_version":"1.0","source":{"id":"1512.06796","kind":"arxiv","version":2}},"canonical_sha256":"d31331542e69c65945aacd8b73fbb58d2ef1f73d9db56bd4fe2b76277db8579b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d31331542e69c65945aacd8b73fbb58d2ef1f73d9db56bd4fe2b76277db8579b","first_computed_at":"2026-05-18T00:48:05.770626Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:05.770626Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WgLBwVDOlqNIYKerH7c0klwBUnkdLIcLYdnHj7ckNgfPtWeNzhY/8C0xGybzmT9Kl2d6yRvJ9uhvPtMTa+X4Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:05.771160Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.06796","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1c09a6ef864c69075f44cbe386be3ea8aa0a900ab51c151c50668d0aa8fcd9d3","sha256:2dc326a64ab86abe6b5f093772660a90883f3e709e2d305e91b18276d903e7b1"],"state_sha256":"40350dd5aa8c5984f6b734e77b2f3b17488cd0c63f4e4b2e004abd66c1b96209"}