{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:AGCW5FVVL7UTGP3MNXHEAT44TD","short_pith_number":"pith:AGCW5FVV","canonical_record":{"source":{"id":"1612.06575","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-20T10:01:32Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"a659566c7f50efcb7fc05f105a4015c556509a8608c33361084f9efb5001a782","abstract_canon_sha256":"85fc700af9abf78224846f5733c38d8677d2a78318c2bb62eeb0e4fdc5576b3f"},"schema_version":"1.0"},"canonical_sha256":"01856e96b55fe9333f6c6dce404f9c98f354df0fb6e40c812442411fff4dae7a","source":{"kind":"arxiv","id":"1612.06575","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06575","created_at":"2026-05-18T00:50:17Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06575v2","created_at":"2026-05-18T00:50:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06575","created_at":"2026-05-18T00:50:17Z"},{"alias_kind":"pith_short_12","alias_value":"AGCW5FVVL7UT","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AGCW5FVVL7UTGP3M","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AGCW5FVV","created_at":"2026-05-18T12:30:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:AGCW5FVVL7UTGP3MNXHEAT44TD","target":"record","payload":{"canonical_record":{"source":{"id":"1612.06575","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-20T10:01:32Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"a659566c7f50efcb7fc05f105a4015c556509a8608c33361084f9efb5001a782","abstract_canon_sha256":"85fc700af9abf78224846f5733c38d8677d2a78318c2bb62eeb0e4fdc5576b3f"},"schema_version":"1.0"},"canonical_sha256":"01856e96b55fe9333f6c6dce404f9c98f354df0fb6e40c812442411fff4dae7a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:17.537661Z","signature_b64":"qc5mDDs21ASKeZHKPwfEiyz8abNHOrljicBuZX57r1s3Qk+N01gD8mR1RtmSPhy97giMG2yE9HjO0Zfk6IlAAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"01856e96b55fe9333f6c6dce404f9c98f354df0fb6e40c812442411fff4dae7a","last_reissued_at":"2026-05-18T00:50:17.536927Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:17.536927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.06575","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:50:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6eAq7SdMVL+cUGdTvpHOAygN2S+VBsjq6IHX8ZFyaCHC/n3trunD1pd9M0wKp6XG1qTR31W3Eys87ohOzqRdBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T11:10:39.428454Z"},"content_sha256":"0571df86ce85288dd613a9720fc057dac093878b65b6fde2d55ae62cf6910a72","schema_version":"1.0","event_id":"sha256:0571df86ce85288dd613a9720fc057dac093878b65b6fde2d55ae62cf6910a72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:AGCW5FVVL7UTGP3MNXHEAT44TD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Non-coercive Lyapunov functions for infinite-dimensional systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"math.DS","authors_text":"Andrii Mironchenko, Fabian R. Wirth","submitted_at":"2016-12-20T10:01:32Z","abstract_excerpt":"We show that the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the norm of the state and an additional mild assumption is satisfied. For evolution equations in Banach spaces with Lipschitz continuous nonlinearities these additional assumptions become especially simple. The results encompass some recent results on linear switched systems on Banach spaces. Finally, we derive new non-coercive converse Lyapunov theorems and give"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06575","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:50:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Nq4Q0Btqo4O75nGRQLDTwPIXwmWJodb8USETgUjNaDlNNLBIk/hEW0b3pUVKjDZmQPA6yB+IKA7ZZTXrlIKBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T11:10:39.428788Z"},"content_sha256":"071fcb828d3e746302003f6962d9be2e937d95396622d3f751381170ab9d95c9","schema_version":"1.0","event_id":"sha256:071fcb828d3e746302003f6962d9be2e937d95396622d3f751381170ab9d95c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AGCW5FVVL7UTGP3MNXHEAT44TD/bundle.json","state_url":"https://pith.science/pith/AGCW5FVVL7UTGP3MNXHEAT44TD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AGCW5FVVL7UTGP3MNXHEAT44TD/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-06-22T11:10:39Z","links":{"resolver":"https://pith.science/pith/AGCW5FVVL7UTGP3MNXHEAT44TD","bundle":"https://pith.science/pith/AGCW5FVVL7UTGP3MNXHEAT44TD/bundle.json","state":"https://pith.science/pith/AGCW5FVVL7UTGP3MNXHEAT44TD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AGCW5FVVL7UTGP3MNXHEAT44TD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:AGCW5FVVL7UTGP3MNXHEAT44TD","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":"85fc700af9abf78224846f5733c38d8677d2a78318c2bb62eeb0e4fdc5576b3f","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-20T10:01:32Z","title_canon_sha256":"a659566c7f50efcb7fc05f105a4015c556509a8608c33361084f9efb5001a782"},"schema_version":"1.0","source":{"id":"1612.06575","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.06575","created_at":"2026-05-18T00:50:17Z"},{"alias_kind":"arxiv_version","alias_value":"1612.06575v2","created_at":"2026-05-18T00:50:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.06575","created_at":"2026-05-18T00:50:17Z"},{"alias_kind":"pith_short_12","alias_value":"AGCW5FVVL7UT","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AGCW5FVVL7UTGP3M","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AGCW5FVV","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:071fcb828d3e746302003f6962d9be2e937d95396622d3f751381170ab9d95c9","target":"graph","created_at":"2026-05-18T00:50:17Z","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 the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the norm of the state and an additional mild assumption is satisfied. For evolution equations in Banach spaces with Lipschitz continuous nonlinearities these additional assumptions become especially simple. The results encompass some recent results on linear switched systems on Banach spaces. Finally, we derive new non-coercive converse Lyapunov theorems and give","authors_text":"Andrii Mironchenko, Fabian R. Wirth","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-20T10:01:32Z","title":"Non-coercive Lyapunov functions for infinite-dimensional systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.06575","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:0571df86ce85288dd613a9720fc057dac093878b65b6fde2d55ae62cf6910a72","target":"record","created_at":"2026-05-18T00:50:17Z","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":"85fc700af9abf78224846f5733c38d8677d2a78318c2bb62eeb0e4fdc5576b3f","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2016-12-20T10:01:32Z","title_canon_sha256":"a659566c7f50efcb7fc05f105a4015c556509a8608c33361084f9efb5001a782"},"schema_version":"1.0","source":{"id":"1612.06575","kind":"arxiv","version":2}},"canonical_sha256":"01856e96b55fe9333f6c6dce404f9c98f354df0fb6e40c812442411fff4dae7a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"01856e96b55fe9333f6c6dce404f9c98f354df0fb6e40c812442411fff4dae7a","first_computed_at":"2026-05-18T00:50:17.536927Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:17.536927Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qc5mDDs21ASKeZHKPwfEiyz8abNHOrljicBuZX57r1s3Qk+N01gD8mR1RtmSPhy97giMG2yE9HjO0Zfk6IlAAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:17.537661Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.06575","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0571df86ce85288dd613a9720fc057dac093878b65b6fde2d55ae62cf6910a72","sha256:071fcb828d3e746302003f6962d9be2e937d95396622d3f751381170ab9d95c9"],"state_sha256":"f1597ce131d7d44a2512ad3d41537d845186607d45727a2942cdbeba142cddde"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5Lk01qxzJ62GhV1lPC87+ovRpqGZbWxzxgQJNmFa5Wo4ViBPyFc7J+7QImuk+eJhCyRc6c1SDv9lB0cJq0qLAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T11:10:39.430824Z","bundle_sha256":"34188697c4b8a5937e857fdfb9de2d541d837304e1020a1ef8cb06dde4ed5d1c"}}