{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:FDXHNWEXWULB7NMF4TXF3OLIDK","short_pith_number":"pith:FDXHNWEX","schema_version":"1.0","canonical_sha256":"28ee76d897b5161fb585e4ee5db9681ab616021360cd29d73b6b7da31b433baf","source":{"kind":"arxiv","id":"1308.6833","version":1},"attestation_state":"computed","paper":{"title":"Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.SY","math.CA","math.DS"],"primary_cat":"math.OC","authors_text":"Amir Ali Ahmadi, Pablo A. Parrilo","submitted_at":"2013-08-30T19:58:34Z","abstract_excerpt":"We consider polynomial differential equations and make a number of contributions to the questions of (i) complexity of deciding stability, (ii) existence of polynomial Lyapunov functions, and (iii) existence of sum of squares (sos) Lyapunov functions.\n  (i) We show that deciding local or global asymptotic stability of cubic vector fields is strongly NP-hard. Simple variations of our proof are shown to imply strong NP-hardness of several other decision problems: testing local attractivity of an equilibrium point, stability of an equilibrium point in the sense of Lyapunov, invariance of the unit"},"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":"1308.6833","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-08-30T19:58:34Z","cross_cats_sorted":["cs.CC","cs.SY","math.CA","math.DS"],"title_canon_sha256":"ba4bf865a4c47ba2467dab6867a058948bda6cfd813ff15ad812c5f57abfff3f","abstract_canon_sha256":"44bd659dd08fe5d52b76693576503bccfb76075d405aae0354ebba0678a5fd5e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:14:27.729705Z","signature_b64":"MvnHjnF31id37kkvHqG8iU23Zywro941Yk5yufsOedRHMOlnQacTl90XpUKj3uuZMjXEj8tOESm8B1rbFDcbCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28ee76d897b5161fb585e4ee5db9681ab616021360cd29d73b6b7da31b433baf","last_reissued_at":"2026-05-18T03:14:27.729249Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:14:27.729249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.SY","math.CA","math.DS"],"primary_cat":"math.OC","authors_text":"Amir Ali Ahmadi, Pablo A. Parrilo","submitted_at":"2013-08-30T19:58:34Z","abstract_excerpt":"We consider polynomial differential equations and make a number of contributions to the questions of (i) complexity of deciding stability, (ii) existence of polynomial Lyapunov functions, and (iii) existence of sum of squares (sos) Lyapunov functions.\n  (i) We show that deciding local or global asymptotic stability of cubic vector fields is strongly NP-hard. Simple variations of our proof are shown to imply strong NP-hardness of several other decision problems: testing local attractivity of an equilibrium point, stability of an equilibrium point in the sense of Lyapunov, invariance of the unit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.6833","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1308.6833","created_at":"2026-05-18T03:14:27.729327+00:00"},{"alias_kind":"arxiv_version","alias_value":"1308.6833v1","created_at":"2026-05-18T03:14:27.729327+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.6833","created_at":"2026-05-18T03:14:27.729327+00:00"},{"alias_kind":"pith_short_12","alias_value":"FDXHNWEXWULB","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_16","alias_value":"FDXHNWEXWULB7NMF","created_at":"2026-05-18T12:27:45.050594+00:00"},{"alias_kind":"pith_short_8","alias_value":"FDXHNWEX","created_at":"2026-05-18T12:27:45.050594+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.18171","citing_title":"Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions","ref_index":2,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK","json":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK.json","graph_json":"https://pith.science/api/pith-number/FDXHNWEXWULB7NMF4TXF3OLIDK/graph.json","events_json":"https://pith.science/api/pith-number/FDXHNWEXWULB7NMF4TXF3OLIDK/events.json","paper":"https://pith.science/paper/FDXHNWEX"},"agent_actions":{"view_html":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK","download_json":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK.json","view_paper":"https://pith.science/paper/FDXHNWEX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1308.6833&json=true","fetch_graph":"https://pith.science/api/pith-number/FDXHNWEXWULB7NMF4TXF3OLIDK/graph.json","fetch_events":"https://pith.science/api/pith-number/FDXHNWEXWULB7NMF4TXF3OLIDK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/action/storage_attestation","attest_author":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/action/author_attestation","sign_citation":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/action/citation_signature","submit_replication":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/action/replication_record"}},"created_at":"2026-05-18T03:14:27.729327+00:00","updated_at":"2026-05-18T03:14:27.729327+00:00"}