{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:UPSSDDQI4U5QSYKW56WR3NFMRY","short_pith_number":"pith:UPSSDDQI","canonical_record":{"source":{"id":"1101.1043","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2011-01-05T17:53:09Z","cross_cats_sorted":["cs.SY","math.AP","math.DS"],"title_canon_sha256":"1184398461b81655c2b454ffefba337069361d192665e108d25425997828d062","abstract_canon_sha256":"3f248b18ccfc45bbebb97d7528f0c28e332c594f15039c33eef925d1fc20f065"},"schema_version":"1.0"},"canonical_sha256":"a3e5218e08e53b096156efad1db4ac8e3dc19595735f14df29a67153ca03a505","source":{"kind":"arxiv","id":"1101.1043","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.1043","created_at":"2026-05-18T02:04:12Z"},{"alias_kind":"arxiv_version","alias_value":"1101.1043v2","created_at":"2026-05-18T02:04:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.1043","created_at":"2026-05-18T02:04:12Z"},{"alias_kind":"pith_short_12","alias_value":"UPSSDDQI4U5Q","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"UPSSDDQI4U5QSYKW","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"UPSSDDQI","created_at":"2026-05-18T12:26:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:UPSSDDQI4U5QSYKW56WR3NFMRY","target":"record","payload":{"canonical_record":{"source":{"id":"1101.1043","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2011-01-05T17:53:09Z","cross_cats_sorted":["cs.SY","math.AP","math.DS"],"title_canon_sha256":"1184398461b81655c2b454ffefba337069361d192665e108d25425997828d062","abstract_canon_sha256":"3f248b18ccfc45bbebb97d7528f0c28e332c594f15039c33eef925d1fc20f065"},"schema_version":"1.0"},"canonical_sha256":"a3e5218e08e53b096156efad1db4ac8e3dc19595735f14df29a67153ca03a505","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:04:12.739218Z","signature_b64":"+2Vi+ovhqex12JhnPJBlKhwV/iLQgSGXmuOBEwa1Dkb+cuy/zqqxBVloYjvy+3Bs96bnzOkofUatV+zXvqNzBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a3e5218e08e53b096156efad1db4ac8e3dc19595735f14df29a67153ca03a505","last_reissued_at":"2026-05-18T02:04:12.738631Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:04:12.738631Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1101.1043","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-18T02:04:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yKVwIpo5mUzVBmgbQiyj7MorJKnv2mcO01tp5Cgv77EpTyu30nmyyQx+kqN9uaRmrDSTkmh2+NTdMUa3KtngAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:42:22.322254Z"},"content_sha256":"53cd04871a7bc5030b1aaa1b07a8c5bba9231168a9e6d700f9dc2ba90bd819ab","schema_version":"1.0","event_id":"sha256:53cd04871a7bc5030b1aaa1b07a8c5bba9231168a9e6d700f9dc2ba90bd819ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:UPSSDDQI4U5QSYKW56WR3NFMRY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Global Stability Analysis of Fluid Flows using Sum-of-Squares","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.AP","math.DS"],"primary_cat":"math.OC","authors_text":"Paul Goulart, Sergei Chernyshenko","submitted_at":"2011-01-05T17:53:09Z","abstract_excerpt":"This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid systems, we show how one can exploit recently developed optimization methods based on sum-of-squares decomposition to construct a polynomial Lyapunov function. We then show how these methods can be extended to infinite dimensional Navier-Stokes systems using robust optimization techniques. Crucially, this extension requires only the solution of infinite-dimensional linear eigenvalue problems and finite-dimensional sum-of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.1043","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-18T02:04:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JjxPspWTOD33igpa/Ba2izM+6MUqA+mBLAZBeIuzEEZL5T4DDxRQmXg5/NvaRW+HhU/DbjQZNiDasneFLw8BAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T16:42:22.322959Z"},"content_sha256":"d481bda7e6c8ee7f365a4ea6e35f271ed05171946b4e8b17c49383a71e11275a","schema_version":"1.0","event_id":"sha256:d481bda7e6c8ee7f365a4ea6e35f271ed05171946b4e8b17c49383a71e11275a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UPSSDDQI4U5QSYKW56WR3NFMRY/bundle.json","state_url":"https://pith.science/pith/UPSSDDQI4U5QSYKW56WR3NFMRY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UPSSDDQI4U5QSYKW56WR3NFMRY/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-26T16:42:22Z","links":{"resolver":"https://pith.science/pith/UPSSDDQI4U5QSYKW56WR3NFMRY","bundle":"https://pith.science/pith/UPSSDDQI4U5QSYKW56WR3NFMRY/bundle.json","state":"https://pith.science/pith/UPSSDDQI4U5QSYKW56WR3NFMRY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UPSSDDQI4U5QSYKW56WR3NFMRY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:UPSSDDQI4U5QSYKW56WR3NFMRY","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":"3f248b18ccfc45bbebb97d7528f0c28e332c594f15039c33eef925d1fc20f065","cross_cats_sorted":["cs.SY","math.AP","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2011-01-05T17:53:09Z","title_canon_sha256":"1184398461b81655c2b454ffefba337069361d192665e108d25425997828d062"},"schema_version":"1.0","source":{"id":"1101.1043","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.1043","created_at":"2026-05-18T02:04:12Z"},{"alias_kind":"arxiv_version","alias_value":"1101.1043v2","created_at":"2026-05-18T02:04:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.1043","created_at":"2026-05-18T02:04:12Z"},{"alias_kind":"pith_short_12","alias_value":"UPSSDDQI4U5Q","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"UPSSDDQI4U5QSYKW","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"UPSSDDQI","created_at":"2026-05-18T12:26:42Z"}],"graph_snapshots":[{"event_id":"sha256:d481bda7e6c8ee7f365a4ea6e35f271ed05171946b4e8b17c49383a71e11275a","target":"graph","created_at":"2026-05-18T02:04:12Z","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":"This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid systems, we show how one can exploit recently developed optimization methods based on sum-of-squares decomposition to construct a polynomial Lyapunov function. We then show how these methods can be extended to infinite dimensional Navier-Stokes systems using robust optimization techniques. Crucially, this extension requires only the solution of infinite-dimensional linear eigenvalue problems and finite-dimensional sum-of","authors_text":"Paul Goulart, Sergei Chernyshenko","cross_cats":["cs.SY","math.AP","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2011-01-05T17:53:09Z","title":"Global Stability Analysis of Fluid Flows using Sum-of-Squares"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.1043","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:53cd04871a7bc5030b1aaa1b07a8c5bba9231168a9e6d700f9dc2ba90bd819ab","target":"record","created_at":"2026-05-18T02:04:12Z","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":"3f248b18ccfc45bbebb97d7528f0c28e332c594f15039c33eef925d1fc20f065","cross_cats_sorted":["cs.SY","math.AP","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2011-01-05T17:53:09Z","title_canon_sha256":"1184398461b81655c2b454ffefba337069361d192665e108d25425997828d062"},"schema_version":"1.0","source":{"id":"1101.1043","kind":"arxiv","version":2}},"canonical_sha256":"a3e5218e08e53b096156efad1db4ac8e3dc19595735f14df29a67153ca03a505","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a3e5218e08e53b096156efad1db4ac8e3dc19595735f14df29a67153ca03a505","first_computed_at":"2026-05-18T02:04:12.738631Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:04:12.738631Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+2Vi+ovhqex12JhnPJBlKhwV/iLQgSGXmuOBEwa1Dkb+cuy/zqqxBVloYjvy+3Bs96bnzOkofUatV+zXvqNzBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:04:12.739218Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.1043","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53cd04871a7bc5030b1aaa1b07a8c5bba9231168a9e6d700f9dc2ba90bd819ab","sha256:d481bda7e6c8ee7f365a4ea6e35f271ed05171946b4e8b17c49383a71e11275a"],"state_sha256":"330385125a4fcc31aca12670385448205497b2c262b0594dffe7922074a5c2b2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gL/ZCEal6vtpcHEdspYcEKnPU6Xa1bQrJ/rPv4LS+cPKsgi4PVwDO5HzZkwFjlnJpfVVRGq2jZF5DgmgH4iTCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T16:42:22.326531Z","bundle_sha256":"41c9a7af9dd71894c5e3c8e3a37f9093a6ef66987fb594d3310de9f0d1b5c174"}}