{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:FDXHNWEXWULB7NMF4TXF3OLIDK","short_pith_number":"pith:FDXHNWEX","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"},"canonical_sha256":"28ee76d897b5161fb585e4ee5db9681ab616021360cd29d73b6b7da31b433baf","source":{"kind":"arxiv","id":"1308.6833","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.6833","created_at":"2026-05-18T03:14:27Z"},{"alias_kind":"arxiv_version","alias_value":"1308.6833v1","created_at":"2026-05-18T03:14:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.6833","created_at":"2026-05-18T03:14:27Z"},{"alias_kind":"pith_short_12","alias_value":"FDXHNWEXWULB","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FDXHNWEXWULB7NMF","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FDXHNWEX","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:FDXHNWEXWULB7NMF4TXF3OLIDK","target":"record","payload":{"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"},"canonical_sha256":"28ee76d897b5161fb585e4ee5db9681ab616021360cd29d73b6b7da31b433baf","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"},"source_kind":"arxiv","source_id":"1308.6833","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-18T03:14:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UYayDfZzI7XCCn+0BsnK21nrFAXfMq1Hs+rSx1K/b+PB5ZzyEBwbHk6/gTFkcz1VqnaFJVlmD4wrCzf1KruhAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:05:27.757548Z"},"content_sha256":"e1fa996ab2ad5286d80f448f1b4ded1823988cdd1303d60a80b08052768c15de","schema_version":"1.0","event_id":"sha256:e1fa996ab2ad5286d80f448f1b4ded1823988cdd1303d60a80b08052768c15de"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:FDXHNWEXWULB7NMF4TXF3OLIDK","target":"graph","payload":{"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"},"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-18T03:14:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xMJ0fbP0e5e4vg/v84UXXHppJcKJxRfSHUhwRqe9wPrrFX+vVm7JUSMrHE+UegVitftKUMNw5Btb2tMMYsUrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:05:27.757936Z"},"content_sha256":"e98183507638cf4b6b891fc8e20f627026a919b82dde7bd45e4caca9e26dd266","schema_version":"1.0","event_id":"sha256:e98183507638cf4b6b891fc8e20f627026a919b82dde7bd45e4caca9e26dd266"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/bundle.json","state_url":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/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-30T05:05:27Z","links":{"resolver":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK","bundle":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/bundle.json","state":"https://pith.science/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FDXHNWEXWULB7NMF4TXF3OLIDK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:FDXHNWEXWULB7NMF4TXF3OLIDK","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":"44bd659dd08fe5d52b76693576503bccfb76075d405aae0354ebba0678a5fd5e","cross_cats_sorted":["cs.CC","cs.SY","math.CA","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-08-30T19:58:34Z","title_canon_sha256":"ba4bf865a4c47ba2467dab6867a058948bda6cfd813ff15ad812c5f57abfff3f"},"schema_version":"1.0","source":{"id":"1308.6833","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.6833","created_at":"2026-05-18T03:14:27Z"},{"alias_kind":"arxiv_version","alias_value":"1308.6833v1","created_at":"2026-05-18T03:14:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.6833","created_at":"2026-05-18T03:14:27Z"},{"alias_kind":"pith_short_12","alias_value":"FDXHNWEXWULB","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FDXHNWEXWULB7NMF","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FDXHNWEX","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:e98183507638cf4b6b891fc8e20f627026a919b82dde7bd45e4caca9e26dd266","target":"graph","created_at":"2026-05-18T03:14:27Z","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":"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","authors_text":"Amir Ali Ahmadi, Pablo A. Parrilo","cross_cats":["cs.CC","cs.SY","math.CA","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-08-30T19:58:34Z","title":"Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.6833","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:e1fa996ab2ad5286d80f448f1b4ded1823988cdd1303d60a80b08052768c15de","target":"record","created_at":"2026-05-18T03:14:27Z","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":"44bd659dd08fe5d52b76693576503bccfb76075d405aae0354ebba0678a5fd5e","cross_cats_sorted":["cs.CC","cs.SY","math.CA","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-08-30T19:58:34Z","title_canon_sha256":"ba4bf865a4c47ba2467dab6867a058948bda6cfd813ff15ad812c5f57abfff3f"},"schema_version":"1.0","source":{"id":"1308.6833","kind":"arxiv","version":1}},"canonical_sha256":"28ee76d897b5161fb585e4ee5db9681ab616021360cd29d73b6b7da31b433baf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28ee76d897b5161fb585e4ee5db9681ab616021360cd29d73b6b7da31b433baf","first_computed_at":"2026-05-18T03:14:27.729249Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:14:27.729249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MvnHjnF31id37kkvHqG8iU23Zywro941Yk5yufsOedRHMOlnQacTl90XpUKj3uuZMjXEj8tOESm8B1rbFDcbCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:14:27.729705Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.6833","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e1fa996ab2ad5286d80f448f1b4ded1823988cdd1303d60a80b08052768c15de","sha256:e98183507638cf4b6b891fc8e20f627026a919b82dde7bd45e4caca9e26dd266"],"state_sha256":"bc6e243a1b3c1cd79f85f84361dca5f92cfb5577109c859bffb37b17e0490d55"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lL9Iz8kj26u1R8Guam3c0HQHR7YRIKT9FuIbNpaGyyDVDXPSZ+Zx1rw1ip3EDyke/G5KnbAgYv8uxrhw5MDICw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T05:05:27.760532Z","bundle_sha256":"93e27fd73b6f5f49a2d85f955e69c23214f383a66342aa689d886f68807fb139"}}