{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:DPPC4JSUVCRZUGJDPSPFDNEKEY","short_pith_number":"pith:DPPC4JSU","canonical_record":{"source":{"id":"1901.08403","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-24T13:48:04Z","cross_cats_sorted":[],"title_canon_sha256":"11d09968a10ea870a25b68514a18bfad3a4f69f32d51a19921d8a2df7dc249ca","abstract_canon_sha256":"8ba72275581246cadf8504a61a351204a698ad82c81251656558d226bc968fca"},"schema_version":"1.0"},"canonical_sha256":"1bde2e2654a8a39a19237c9e51b48a26343641fae096a54c8bfd53afb67c8eff","source":{"kind":"arxiv","id":"1901.08403","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.08403","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"arxiv_version","alias_value":"1901.08403v1","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.08403","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"pith_short_12","alias_value":"DPPC4JSUVCRZ","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"DPPC4JSUVCRZUGJD","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"DPPC4JSU","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:DPPC4JSUVCRZUGJDPSPFDNEKEY","target":"record","payload":{"canonical_record":{"source":{"id":"1901.08403","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-24T13:48:04Z","cross_cats_sorted":[],"title_canon_sha256":"11d09968a10ea870a25b68514a18bfad3a4f69f32d51a19921d8a2df7dc249ca","abstract_canon_sha256":"8ba72275581246cadf8504a61a351204a698ad82c81251656558d226bc968fca"},"schema_version":"1.0"},"canonical_sha256":"1bde2e2654a8a39a19237c9e51b48a26343641fae096a54c8bfd53afb67c8eff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:35.569558Z","signature_b64":"YKYuc5uyeHHka0NkgDgfFI9lgS/TKtHNdyYnwIXaRsI09eKkYY3ycVojeFVSKsYG/u761+MzRf51HyliNrIdAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1bde2e2654a8a39a19237c9e51b48a26343641fae096a54c8bfd53afb67c8eff","last_reissued_at":"2026-05-17T23:55:35.568771Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:35.568771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.08403","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-17T23:55:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WH6vZ+f9SkPm0ByhWdNWccoUQx4R9NI1RvQDAbdR/bkO15mTUkjMulppyK5wz9mMCq5oIA0Sji31F9at8u4TAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T00:50:36.712848Z"},"content_sha256":"ddac37fb5f0532a3dd5210ad4b12bf7eefa2b3f2684930af1bc0f63dc693f1df","schema_version":"1.0","event_id":"sha256:ddac37fb5f0532a3dd5210ad4b12bf7eefa2b3f2684930af1bc0f63dc693f1df"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:DPPC4JSUVCRZUGJDPSPFDNEKEY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deep Lyapunov Function: Automatic Stability Analysis for Dynamical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Arash Mehrjou, Bernhard Sch\\\"olkopf","submitted_at":"2019-01-24T13:48:04Z","abstract_excerpt":"Stability analysis plays a crucial role in studying the behavior of dynamical systems with theoretical and engineering applications. Among various kinds of stability, the stability of equilibrium points is of the greatest importance which is mainly studied by Lyapunov's stability theory. This theory requires finding a function with specified properties. Except for a few simple examples, there is no straightforward constructive algorithm to find a Lyapunov function for an arbitrary dynamical system. The goal of this work is proposing a simple yet effective way to approximate this function using"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.08403","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-17T23:55:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h2sX4D+rvzcdH2MsYbjH8jJPMySgQ7ejNqIhh2HsOOTd+YYPgEaaGm38QAVITXP0fqYj1lisXNed1YGa0s50Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T00:50:36.713474Z"},"content_sha256":"ff171a2e7173b36db6b58bf8524799ec794ebb490bce368ae5251ac845afca65","schema_version":"1.0","event_id":"sha256:ff171a2e7173b36db6b58bf8524799ec794ebb490bce368ae5251ac845afca65"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DPPC4JSUVCRZUGJDPSPFDNEKEY/bundle.json","state_url":"https://pith.science/pith/DPPC4JSUVCRZUGJDPSPFDNEKEY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DPPC4JSUVCRZUGJDPSPFDNEKEY/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-19T00:50:36Z","links":{"resolver":"https://pith.science/pith/DPPC4JSUVCRZUGJDPSPFDNEKEY","bundle":"https://pith.science/pith/DPPC4JSUVCRZUGJDPSPFDNEKEY/bundle.json","state":"https://pith.science/pith/DPPC4JSUVCRZUGJDPSPFDNEKEY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DPPC4JSUVCRZUGJDPSPFDNEKEY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:DPPC4JSUVCRZUGJDPSPFDNEKEY","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":"8ba72275581246cadf8504a61a351204a698ad82c81251656558d226bc968fca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-24T13:48:04Z","title_canon_sha256":"11d09968a10ea870a25b68514a18bfad3a4f69f32d51a19921d8a2df7dc249ca"},"schema_version":"1.0","source":{"id":"1901.08403","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.08403","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"arxiv_version","alias_value":"1901.08403v1","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.08403","created_at":"2026-05-17T23:55:35Z"},{"alias_kind":"pith_short_12","alias_value":"DPPC4JSUVCRZ","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"DPPC4JSUVCRZUGJD","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"DPPC4JSU","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:ff171a2e7173b36db6b58bf8524799ec794ebb490bce368ae5251ac845afca65","target":"graph","created_at":"2026-05-17T23:55:35Z","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":"Stability analysis plays a crucial role in studying the behavior of dynamical systems with theoretical and engineering applications. Among various kinds of stability, the stability of equilibrium points is of the greatest importance which is mainly studied by Lyapunov's stability theory. This theory requires finding a function with specified properties. Except for a few simple examples, there is no straightforward constructive algorithm to find a Lyapunov function for an arbitrary dynamical system. The goal of this work is proposing a simple yet effective way to approximate this function using","authors_text":"Arash Mehrjou, Bernhard Sch\\\"olkopf","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-24T13:48:04Z","title":"Deep Lyapunov Function: Automatic Stability Analysis for Dynamical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.08403","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:ddac37fb5f0532a3dd5210ad4b12bf7eefa2b3f2684930af1bc0f63dc693f1df","target":"record","created_at":"2026-05-17T23:55:35Z","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":"8ba72275581246cadf8504a61a351204a698ad82c81251656558d226bc968fca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2019-01-24T13:48:04Z","title_canon_sha256":"11d09968a10ea870a25b68514a18bfad3a4f69f32d51a19921d8a2df7dc249ca"},"schema_version":"1.0","source":{"id":"1901.08403","kind":"arxiv","version":1}},"canonical_sha256":"1bde2e2654a8a39a19237c9e51b48a26343641fae096a54c8bfd53afb67c8eff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1bde2e2654a8a39a19237c9e51b48a26343641fae096a54c8bfd53afb67c8eff","first_computed_at":"2026-05-17T23:55:35.568771Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:35.568771Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YKYuc5uyeHHka0NkgDgfFI9lgS/TKtHNdyYnwIXaRsI09eKkYY3ycVojeFVSKsYG/u761+MzRf51HyliNrIdAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:35.569558Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.08403","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ddac37fb5f0532a3dd5210ad4b12bf7eefa2b3f2684930af1bc0f63dc693f1df","sha256:ff171a2e7173b36db6b58bf8524799ec794ebb490bce368ae5251ac845afca65"],"state_sha256":"a91a97476908dbf54183ee8c41e145d36815fcb11c942fbd9edd37cd26fd1626"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FD1yRUeJFPa5TpikFo3rd8Hv/tTTKgSPU+enav9gtPsRzLzpebC3Fq+Tsm7aRyQgRHuIdQqFyRvqX92bpX30DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T00:50:36.715656Z","bundle_sha256":"a29905ccf8018e4aa433a1e8581dd7cd1fd7e0463d23d76906d19941a55ef8b3"}}