{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:E3LAQCW7EMTOPH4XZE5GFSKVIZ","short_pith_number":"pith:E3LAQCW7","canonical_record":{"source":{"id":"1801.00070","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-30T01:57:30Z","cross_cats_sorted":["cs.SY","math.AG","math.DS"],"title_canon_sha256":"f8db2d7b7ecd0f12957f14c34882507ba5e7b93a567e72a4c60cac3e1aef0826","abstract_canon_sha256":"5d69e5f754db22d20b8862e1b91baa536e5b36d028a56ddd2e6936240e48a55f"},"schema_version":"1.0"},"canonical_sha256":"26d6080adf2326e79f97c93a62c9554673c12b37c990d7ebf519f3085868438b","source":{"kind":"arxiv","id":"1801.00070","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.00070","created_at":"2026-05-18T00:08:31Z"},{"alias_kind":"arxiv_version","alias_value":"1801.00070v1","created_at":"2026-05-18T00:08:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.00070","created_at":"2026-05-18T00:08:31Z"},{"alias_kind":"pith_short_12","alias_value":"E3LAQCW7EMTO","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"E3LAQCW7EMTOPH4X","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"E3LAQCW7","created_at":"2026-05-18T12:31:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:E3LAQCW7EMTOPH4XZE5GFSKVIZ","target":"record","payload":{"canonical_record":{"source":{"id":"1801.00070","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-30T01:57:30Z","cross_cats_sorted":["cs.SY","math.AG","math.DS"],"title_canon_sha256":"f8db2d7b7ecd0f12957f14c34882507ba5e7b93a567e72a4c60cac3e1aef0826","abstract_canon_sha256":"5d69e5f754db22d20b8862e1b91baa536e5b36d028a56ddd2e6936240e48a55f"},"schema_version":"1.0"},"canonical_sha256":"26d6080adf2326e79f97c93a62c9554673c12b37c990d7ebf519f3085868438b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:31.252805Z","signature_b64":"39d0t0rNSYMy7py4836J0J5LcTGsjQMHiG5EBQJTjyji6cJ9wWMxJD4eCH8VXy2GeiLprUZnlw+QvffRxEPSCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26d6080adf2326e79f97c93a62c9554673c12b37c990d7ebf519f3085868438b","last_reissued_at":"2026-05-18T00:08:31.252394Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:31.252394Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.00070","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-18T00:08:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XhsFmCkkdfmtyeks8R0oqCIZHjrM6niYKvM8/PX6vsl/yEMU3Yxa3UTM+L/2mWH8y4K7FQ7KdxUdgFTBnGk0Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T21:09:11.235102Z"},"content_sha256":"f411e89132dd45dadf4773a91441c2cb857e487f94adbca95f0acb494a554a9e","schema_version":"1.0","event_id":"sha256:f411e89132dd45dadf4773a91441c2cb857e487f94adbca95f0acb494a554a9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:E3LAQCW7EMTOPH4XZE5GFSKVIZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sum of squares certificates for stability of planar, homogeneous, and switched systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.AG","math.DS"],"primary_cat":"math.OC","authors_text":"Amir Ali Ahmadi, Pablo A. Parrilo","submitted_at":"2017-12-30T01:57:30Z","abstract_excerpt":"We show that existence of a global polynomial Lyapunov function for a homogeneous polynomial vector field or a planar polynomial vector field (under a mild condition) implies existence of a polynomial Lyapunov function that is a sum of squares (sos) and that the negative of its derivative is also a sum of squares. This result is extended to show that such sos-based certificates of stability are guaranteed to exist for all stable switched linear systems. For this class of systems, we further show that if the derivative inequality of the Lyapunov function has an sos certificate, then the Lyapuno"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.00070","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-18T00:08:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D4BsMWbqLFQxF1aHuHK0whHNDlIG2Ok28ylWRsNTxFacyYQFlKb0Xqpf07Ywe7sKxx0LEyXyOdkeh6XqZA1uDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T21:09:11.235621Z"},"content_sha256":"382926ac5af7bda146db15d6a7bb4afb9bbf71a7204dfc1ddd4dce5d54210605","schema_version":"1.0","event_id":"sha256:382926ac5af7bda146db15d6a7bb4afb9bbf71a7204dfc1ddd4dce5d54210605"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E3LAQCW7EMTOPH4XZE5GFSKVIZ/bundle.json","state_url":"https://pith.science/pith/E3LAQCW7EMTOPH4XZE5GFSKVIZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E3LAQCW7EMTOPH4XZE5GFSKVIZ/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-29T21:09:11Z","links":{"resolver":"https://pith.science/pith/E3LAQCW7EMTOPH4XZE5GFSKVIZ","bundle":"https://pith.science/pith/E3LAQCW7EMTOPH4XZE5GFSKVIZ/bundle.json","state":"https://pith.science/pith/E3LAQCW7EMTOPH4XZE5GFSKVIZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E3LAQCW7EMTOPH4XZE5GFSKVIZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:E3LAQCW7EMTOPH4XZE5GFSKVIZ","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":"5d69e5f754db22d20b8862e1b91baa536e5b36d028a56ddd2e6936240e48a55f","cross_cats_sorted":["cs.SY","math.AG","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-30T01:57:30Z","title_canon_sha256":"f8db2d7b7ecd0f12957f14c34882507ba5e7b93a567e72a4c60cac3e1aef0826"},"schema_version":"1.0","source":{"id":"1801.00070","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.00070","created_at":"2026-05-18T00:08:31Z"},{"alias_kind":"arxiv_version","alias_value":"1801.00070v1","created_at":"2026-05-18T00:08:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.00070","created_at":"2026-05-18T00:08:31Z"},{"alias_kind":"pith_short_12","alias_value":"E3LAQCW7EMTO","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"E3LAQCW7EMTOPH4X","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"E3LAQCW7","created_at":"2026-05-18T12:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:382926ac5af7bda146db15d6a7bb4afb9bbf71a7204dfc1ddd4dce5d54210605","target":"graph","created_at":"2026-05-18T00:08:31Z","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 show that existence of a global polynomial Lyapunov function for a homogeneous polynomial vector field or a planar polynomial vector field (under a mild condition) implies existence of a polynomial Lyapunov function that is a sum of squares (sos) and that the negative of its derivative is also a sum of squares. This result is extended to show that such sos-based certificates of stability are guaranteed to exist for all stable switched linear systems. For this class of systems, we further show that if the derivative inequality of the Lyapunov function has an sos certificate, then the Lyapuno","authors_text":"Amir Ali Ahmadi, Pablo A. Parrilo","cross_cats":["cs.SY","math.AG","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-30T01:57:30Z","title":"Sum of squares certificates for stability of planar, homogeneous, and switched systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.00070","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:f411e89132dd45dadf4773a91441c2cb857e487f94adbca95f0acb494a554a9e","target":"record","created_at":"2026-05-18T00:08:31Z","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":"5d69e5f754db22d20b8862e1b91baa536e5b36d028a56ddd2e6936240e48a55f","cross_cats_sorted":["cs.SY","math.AG","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-12-30T01:57:30Z","title_canon_sha256":"f8db2d7b7ecd0f12957f14c34882507ba5e7b93a567e72a4c60cac3e1aef0826"},"schema_version":"1.0","source":{"id":"1801.00070","kind":"arxiv","version":1}},"canonical_sha256":"26d6080adf2326e79f97c93a62c9554673c12b37c990d7ebf519f3085868438b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26d6080adf2326e79f97c93a62c9554673c12b37c990d7ebf519f3085868438b","first_computed_at":"2026-05-18T00:08:31.252394Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:31.252394Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"39d0t0rNSYMy7py4836J0J5LcTGsjQMHiG5EBQJTjyji6cJ9wWMxJD4eCH8VXy2GeiLprUZnlw+QvffRxEPSCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:31.252805Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.00070","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f411e89132dd45dadf4773a91441c2cb857e487f94adbca95f0acb494a554a9e","sha256:382926ac5af7bda146db15d6a7bb4afb9bbf71a7204dfc1ddd4dce5d54210605"],"state_sha256":"e9f03749fb31df17cb67112acc5965c120cbc531a821c9ca7f2d230d54c9afce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gqREh5Qiu4PTosbA1UMKu1BVl/vKQk5JoZPlf14LhCckaB3rpV3M3Pg51ALR95SrYYK6TvzMj3Pj97Uhh5igDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T21:09:11.239374Z","bundle_sha256":"d3cebad1b0a60871c49c886ef8d36295707257cbc541bfef4450a04ca62c29de"}}