{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:IPFPMTGAGUK3NW5OXE3VN7QRLO","short_pith_number":"pith:IPFPMTGA","canonical_record":{"source":{"id":"1703.06371","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-19T00:46:59Z","cross_cats_sorted":[],"title_canon_sha256":"8be85585845455cb5ec35620a23e4ba8b87d89c6d42290212b076368b18cbc91","abstract_canon_sha256":"b7acde784b9b43b99d95fe2df82872d28980d39db2d49bb46715118c01ff97ec"},"schema_version":"1.0"},"canonical_sha256":"43caf64cc03515b6dbaeb93756fe115ba4673e4e3a72ece75a6398f174bc563a","source":{"kind":"arxiv","id":"1703.06371","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.06371","created_at":"2026-05-18T00:35:04Z"},{"alias_kind":"arxiv_version","alias_value":"1703.06371v2","created_at":"2026-05-18T00:35:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06371","created_at":"2026-05-18T00:35:04Z"},{"alias_kind":"pith_short_12","alias_value":"IPFPMTGAGUK3","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"IPFPMTGAGUK3NW5O","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"IPFPMTGA","created_at":"2026-05-18T12:31:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:IPFPMTGAGUK3NW5OXE3VN7QRLO","target":"record","payload":{"canonical_record":{"source":{"id":"1703.06371","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-19T00:46:59Z","cross_cats_sorted":[],"title_canon_sha256":"8be85585845455cb5ec35620a23e4ba8b87d89c6d42290212b076368b18cbc91","abstract_canon_sha256":"b7acde784b9b43b99d95fe2df82872d28980d39db2d49bb46715118c01ff97ec"},"schema_version":"1.0"},"canonical_sha256":"43caf64cc03515b6dbaeb93756fe115ba4673e4e3a72ece75a6398f174bc563a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:04.575765Z","signature_b64":"8LTgmJx1CF0BIbE2DblPxASfYTVRz/P8aZUU1rLJqRPqwlZJxrXbiwY1zk6ntxqObf9gHR18WmKQdMya/xZNAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"43caf64cc03515b6dbaeb93756fe115ba4673e4e3a72ece75a6398f174bc563a","last_reissued_at":"2026-05-18T00:35:04.574980Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:04.574980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.06371","source_version":2,"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:35:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AegaLKlByzP4gZ5KFvPIE5f8KgAKABqGLRx9oIBhLY74nuGYD4mLQ/DJX+Cq8YIO6duc9ENy5c1q7cbhJNRxBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T18:09:24.512612Z"},"content_sha256":"fbb85d39509338820a226c533a0ce71875dbdaa2058e8f211c8a7625b9104e8b","schema_version":"1.0","event_id":"sha256:fbb85d39509338820a226c533a0ce71875dbdaa2058e8f211c8a7625b9104e8b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:IPFPMTGAGUK3NW5OXE3VN7QRLO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Semi-Definite Programming Approach to Stability Analysis of Linear Partial Differential Equations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Aditya Gahlawat, Giorgio Valmorbida","submitted_at":"2017-03-19T00:46:59Z","abstract_excerpt":"We consider the stability analysis of a large class of linear 1-D PDEs with polynomial data. This class of PDEs contains, as examples, parabolic and hyperbolic PDEs, PDEs with boundary feedback and systems of in-domain/boundary coupled PDEs. Our approach is Lyapunov based which allows us to reduce the stability problem to the verification of integral inequalities on the subspaces of Hilbert spaces. Then, using fundamental theorem of calculus and Green's theorem, we construct a polynomial problem to verify the integral inequalities. Constraining the solution of the polynomial problem to belong "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06371","kind":"arxiv","version":2},"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:35:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1lYgnc54IRw5Yg04GAHebsDMD6D8SHhC6GtWrR5XT00XudtRomzaU1oZseZiu9BSiK+bFp2wZZozmg0aMZNnDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T18:09:24.513336Z"},"content_sha256":"e53b592b72a80a0a670be473b56f84fb8935e8cdaeed16ca3eeeecb9c659cf4a","schema_version":"1.0","event_id":"sha256:e53b592b72a80a0a670be473b56f84fb8935e8cdaeed16ca3eeeecb9c659cf4a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IPFPMTGAGUK3NW5OXE3VN7QRLO/bundle.json","state_url":"https://pith.science/pith/IPFPMTGAGUK3NW5OXE3VN7QRLO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IPFPMTGAGUK3NW5OXE3VN7QRLO/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-23T18:09:24Z","links":{"resolver":"https://pith.science/pith/IPFPMTGAGUK3NW5OXE3VN7QRLO","bundle":"https://pith.science/pith/IPFPMTGAGUK3NW5OXE3VN7QRLO/bundle.json","state":"https://pith.science/pith/IPFPMTGAGUK3NW5OXE3VN7QRLO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IPFPMTGAGUK3NW5OXE3VN7QRLO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:IPFPMTGAGUK3NW5OXE3VN7QRLO","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":"b7acde784b9b43b99d95fe2df82872d28980d39db2d49bb46715118c01ff97ec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-19T00:46:59Z","title_canon_sha256":"8be85585845455cb5ec35620a23e4ba8b87d89c6d42290212b076368b18cbc91"},"schema_version":"1.0","source":{"id":"1703.06371","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.06371","created_at":"2026-05-18T00:35:04Z"},{"alias_kind":"arxiv_version","alias_value":"1703.06371v2","created_at":"2026-05-18T00:35:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06371","created_at":"2026-05-18T00:35:04Z"},{"alias_kind":"pith_short_12","alias_value":"IPFPMTGAGUK3","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_16","alias_value":"IPFPMTGAGUK3NW5O","created_at":"2026-05-18T12:31:21Z"},{"alias_kind":"pith_short_8","alias_value":"IPFPMTGA","created_at":"2026-05-18T12:31:21Z"}],"graph_snapshots":[{"event_id":"sha256:e53b592b72a80a0a670be473b56f84fb8935e8cdaeed16ca3eeeecb9c659cf4a","target":"graph","created_at":"2026-05-18T00:35:04Z","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 the stability analysis of a large class of linear 1-D PDEs with polynomial data. This class of PDEs contains, as examples, parabolic and hyperbolic PDEs, PDEs with boundary feedback and systems of in-domain/boundary coupled PDEs. Our approach is Lyapunov based which allows us to reduce the stability problem to the verification of integral inequalities on the subspaces of Hilbert spaces. Then, using fundamental theorem of calculus and Green's theorem, we construct a polynomial problem to verify the integral inequalities. Constraining the solution of the polynomial problem to belong ","authors_text":"Aditya Gahlawat, Giorgio Valmorbida","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-19T00:46:59Z","title":"A Semi-Definite Programming Approach to Stability Analysis of Linear Partial Differential Equations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06371","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:fbb85d39509338820a226c533a0ce71875dbdaa2058e8f211c8a7625b9104e8b","target":"record","created_at":"2026-05-18T00:35:04Z","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":"b7acde784b9b43b99d95fe2df82872d28980d39db2d49bb46715118c01ff97ec","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-03-19T00:46:59Z","title_canon_sha256":"8be85585845455cb5ec35620a23e4ba8b87d89c6d42290212b076368b18cbc91"},"schema_version":"1.0","source":{"id":"1703.06371","kind":"arxiv","version":2}},"canonical_sha256":"43caf64cc03515b6dbaeb93756fe115ba4673e4e3a72ece75a6398f174bc563a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"43caf64cc03515b6dbaeb93756fe115ba4673e4e3a72ece75a6398f174bc563a","first_computed_at":"2026-05-18T00:35:04.574980Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:04.574980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8LTgmJx1CF0BIbE2DblPxASfYTVRz/P8aZUU1rLJqRPqwlZJxrXbiwY1zk6ntxqObf9gHR18WmKQdMya/xZNAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:04.575765Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.06371","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fbb85d39509338820a226c533a0ce71875dbdaa2058e8f211c8a7625b9104e8b","sha256:e53b592b72a80a0a670be473b56f84fb8935e8cdaeed16ca3eeeecb9c659cf4a"],"state_sha256":"4857e589ba388b1c4f9b2eded2fe494d5546aaf6e14555a74e98cc8773199b21"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iRhd4fLIHmj98+QAk1kcf0GjOTyzij0TiegCvea2OneCUf4xFQjZCxnLaPRJD3VBHBcgoTCK2wcFC0NoHm7lCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T18:09:24.518462Z","bundle_sha256":"33de2bba804467fa1243275798a122ba4faca90c918df08c0829549852e36bca"}}