{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2009:66WUPCE7IEKOCBG4XMZK6CKWKV","short_pith_number":"pith:66WUPCE7","schema_version":"1.0","canonical_sha256":"f7ad47889f4114e104dcbb32af095655759dd397f00b753b89ee7354f9fba58b","source":{"kind":"arxiv","id":"0901.4907","version":1},"attestation_state":"computed","paper":{"title":"Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.AG","math.OC"],"primary_cat":"math.NA","authors_text":"David Monniaux (VERIMAG - Imag)","submitted_at":"2009-01-30T15:21:27Z","abstract_excerpt":"In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not only have high complexity, but also provide no simple proof of unsatisfiability. Recently, a reduction of this problem to semidefinite programming and numerical resolution has been proposed. In this article, we show how this reduction generally produces degenerate problems on which numerical methods stumble."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"0901.4907","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NA","submitted_at":"2009-01-30T15:21:27Z","cross_cats_sorted":["cs.NA","math.AG","math.OC"],"title_canon_sha256":"8d214321420c787c4700ff5e8a8a0456b8165dbc47e510d70d8d311656a3246b","abstract_canon_sha256":"67cdb7f509e460e6a2440ecd268942a8640007f63dfc79f87a23267262a133ed"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T23:06:10.790083Z","signature_b64":"uuA8QUT41RbdNykus6ccxtAlbPbuOuUA8OyCYbTYVjFNAkGYbDKGQ9Suig5DptwODJKwnBNzgCPKcePTfEa/Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f7ad47889f4114e104dcbb32af095655759dd397f00b753b89ee7354f9fba58b","last_reissued_at":"2026-06-03T23:06:10.789633Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T23:06:10.789633Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.AG","math.OC"],"primary_cat":"math.NA","authors_text":"David Monniaux (VERIMAG - Imag)","submitted_at":"2009-01-30T15:21:27Z","abstract_excerpt":"In order to verify programs or hybrid systems, one often needs to prove that certain formulas are unsatisfiable. In this paper, we consider conjunctions of polynomial inequalities over the reals. Classical algorithms for deciding these not only have high complexity, but also provide no simple proof of unsatisfiability. Recently, a reduction of this problem to semidefinite programming and numerical resolution has been proposed. In this article, we show how this reduction generally produces degenerate problems on which numerical methods stumble."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0901.4907","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/0901.4907/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"0901.4907","created_at":"2026-06-03T23:06:10.789701+00:00"},{"alias_kind":"arxiv_version","alias_value":"0901.4907v1","created_at":"2026-06-03T23:06:10.789701+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0901.4907","created_at":"2026-06-03T23:06:10.789701+00:00"},{"alias_kind":"pith_short_12","alias_value":"66WUPCE7IEKO","created_at":"2026-06-03T23:06:10.789701+00:00"},{"alias_kind":"pith_short_16","alias_value":"66WUPCE7IEKOCBG4","created_at":"2026-06-03T23:06:10.789701+00:00"},{"alias_kind":"pith_short_8","alias_value":"66WUPCE7","created_at":"2026-06-03T23:06:10.789701+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV","json":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV.json","graph_json":"https://pith.science/api/pith-number/66WUPCE7IEKOCBG4XMZK6CKWKV/graph.json","events_json":"https://pith.science/api/pith-number/66WUPCE7IEKOCBG4XMZK6CKWKV/events.json","paper":"https://pith.science/paper/66WUPCE7"},"agent_actions":{"view_html":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV","download_json":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV.json","view_paper":"https://pith.science/paper/66WUPCE7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0901.4907&json=true","fetch_graph":"https://pith.science/api/pith-number/66WUPCE7IEKOCBG4XMZK6CKWKV/graph.json","fetch_events":"https://pith.science/api/pith-number/66WUPCE7IEKOCBG4XMZK6CKWKV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV/action/storage_attestation","attest_author":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV/action/author_attestation","sign_citation":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV/action/citation_signature","submit_replication":"https://pith.science/pith/66WUPCE7IEKOCBG4XMZK6CKWKV/action/replication_record"}},"created_at":"2026-06-03T23:06:10.789701+00:00","updated_at":"2026-06-03T23:06:10.789701+00:00"}