{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:HBN5NTHQB4VSI5ZGSMZBFB4ERA","short_pith_number":"pith:HBN5NTHQ","canonical_record":{"source":{"id":"1609.06258","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-20T17:16:57Z","cross_cats_sorted":[],"title_canon_sha256":"5b5af3052360f8d5f6d0b449405540a85894970ae703d159724a412d49c84103","abstract_canon_sha256":"bf0a45cead2ea3b9ef03a413f05839980e15b3fc5bd21d28377b4973579585a8"},"schema_version":"1.0"},"canonical_sha256":"385bd6ccf00f2b247726933212878488212ca84f75e9e8695479d9960f9e8c8a","source":{"kind":"arxiv","id":"1609.06258","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.06258","created_at":"2026-05-18T01:04:16Z"},{"alias_kind":"arxiv_version","alias_value":"1609.06258v1","created_at":"2026-05-18T01:04:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.06258","created_at":"2026-05-18T01:04:16Z"},{"alias_kind":"pith_short_12","alias_value":"HBN5NTHQB4VS","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HBN5NTHQB4VSI5ZG","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HBN5NTHQ","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:HBN5NTHQB4VSI5ZGSMZBFB4ERA","target":"record","payload":{"canonical_record":{"source":{"id":"1609.06258","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-20T17:16:57Z","cross_cats_sorted":[],"title_canon_sha256":"5b5af3052360f8d5f6d0b449405540a85894970ae703d159724a412d49c84103","abstract_canon_sha256":"bf0a45cead2ea3b9ef03a413f05839980e15b3fc5bd21d28377b4973579585a8"},"schema_version":"1.0"},"canonical_sha256":"385bd6ccf00f2b247726933212878488212ca84f75e9e8695479d9960f9e8c8a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:16.327972Z","signature_b64":"2G3mKuZ42nnkp5+31hwxBH4ilM5swmVFHoE7ykuWwzNFOkoXncz5q1xqDPSwpOPuSQ+RjTuVqFrxEZkFaVIaDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"385bd6ccf00f2b247726933212878488212ca84f75e9e8695479d9960f9e8c8a","last_reissued_at":"2026-05-18T01:04:16.327508Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:16.327508Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.06258","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-18T01:04:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qoz+HgRn96iRqW/uorkqMBbkUUprc9LtWMmxWTmzbacq/CCTMamoAvG98IJRnG2F6JhK+dANq0W/Nf6zNp6CDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:40:07.253462Z"},"content_sha256":"10da12cf94e4168386db9aa96ea2a161576fd4254f6cbd302717e8032d3f56d8","schema_version":"1.0","event_id":"sha256:10da12cf94e4168386db9aa96ea2a161576fd4254f6cbd302717e8032d3f56d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:HBN5NTHQB4VSI5ZGSMZBFB4ERA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Separability of Lyapunov Functions for Contractive Monotone Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Samuel Coogan","submitted_at":"2016-09-20T17:16:57Z","abstract_excerpt":"We consider constructing Lyapunov functions for systems that are both monotone and contractive with respect to a weighted one norm or infinity norm. This class of systems admits separable Lyapunov functions that are either the sum or the maximum of a collection of functions of a single argument. In either case, two classes of separable Lyapunov functions exist: the first class is separable along the system's state, and the second class is separable along components of the system's vector field. The latter case is advantageous for many practically motivated systems for which it is difficult to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.06258","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-18T01:04:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XN7fEUeAtzRjmJPBI7WiHQORpw3iof+QT8p2Vjxzy00mBdCqAAuQKbY32sdNR0cDH5s3Yspf6WM1QDJllrVwDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:40:07.254102Z"},"content_sha256":"9e963ab0289758e4d40d1cd52c35ee2d4ff55b18cbaa687f0839d783df50a875","schema_version":"1.0","event_id":"sha256:9e963ab0289758e4d40d1cd52c35ee2d4ff55b18cbaa687f0839d783df50a875"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HBN5NTHQB4VSI5ZGSMZBFB4ERA/bundle.json","state_url":"https://pith.science/pith/HBN5NTHQB4VSI5ZGSMZBFB4ERA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HBN5NTHQB4VSI5ZGSMZBFB4ERA/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-01T01:40:07Z","links":{"resolver":"https://pith.science/pith/HBN5NTHQB4VSI5ZGSMZBFB4ERA","bundle":"https://pith.science/pith/HBN5NTHQB4VSI5ZGSMZBFB4ERA/bundle.json","state":"https://pith.science/pith/HBN5NTHQB4VSI5ZGSMZBFB4ERA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HBN5NTHQB4VSI5ZGSMZBFB4ERA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:HBN5NTHQB4VSI5ZGSMZBFB4ERA","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":"bf0a45cead2ea3b9ef03a413f05839980e15b3fc5bd21d28377b4973579585a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-20T17:16:57Z","title_canon_sha256":"5b5af3052360f8d5f6d0b449405540a85894970ae703d159724a412d49c84103"},"schema_version":"1.0","source":{"id":"1609.06258","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.06258","created_at":"2026-05-18T01:04:16Z"},{"alias_kind":"arxiv_version","alias_value":"1609.06258v1","created_at":"2026-05-18T01:04:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.06258","created_at":"2026-05-18T01:04:16Z"},{"alias_kind":"pith_short_12","alias_value":"HBN5NTHQB4VS","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"HBN5NTHQB4VSI5ZG","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"HBN5NTHQ","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:9e963ab0289758e4d40d1cd52c35ee2d4ff55b18cbaa687f0839d783df50a875","target":"graph","created_at":"2026-05-18T01:04:16Z","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 constructing Lyapunov functions for systems that are both monotone and contractive with respect to a weighted one norm or infinity norm. This class of systems admits separable Lyapunov functions that are either the sum or the maximum of a collection of functions of a single argument. In either case, two classes of separable Lyapunov functions exist: the first class is separable along the system's state, and the second class is separable along components of the system's vector field. The latter case is advantageous for many practically motivated systems for which it is difficult to ","authors_text":"Samuel Coogan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-20T17:16:57Z","title":"Separability of Lyapunov Functions for Contractive Monotone Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.06258","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:10da12cf94e4168386db9aa96ea2a161576fd4254f6cbd302717e8032d3f56d8","target":"record","created_at":"2026-05-18T01:04:16Z","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":"bf0a45cead2ea3b9ef03a413f05839980e15b3fc5bd21d28377b4973579585a8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2016-09-20T17:16:57Z","title_canon_sha256":"5b5af3052360f8d5f6d0b449405540a85894970ae703d159724a412d49c84103"},"schema_version":"1.0","source":{"id":"1609.06258","kind":"arxiv","version":1}},"canonical_sha256":"385bd6ccf00f2b247726933212878488212ca84f75e9e8695479d9960f9e8c8a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"385bd6ccf00f2b247726933212878488212ca84f75e9e8695479d9960f9e8c8a","first_computed_at":"2026-05-18T01:04:16.327508Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:16.327508Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2G3mKuZ42nnkp5+31hwxBH4ilM5swmVFHoE7ykuWwzNFOkoXncz5q1xqDPSwpOPuSQ+RjTuVqFrxEZkFaVIaDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:16.327972Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.06258","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10da12cf94e4168386db9aa96ea2a161576fd4254f6cbd302717e8032d3f56d8","sha256:9e963ab0289758e4d40d1cd52c35ee2d4ff55b18cbaa687f0839d783df50a875"],"state_sha256":"14eb19701059de8db5974ee9cf9a7ec044c062a23e9c0f7cc3fbd35a9a777e6e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yVMiEm2H9NX9zJHvbuc865Z7R4IxfiUKGkUpUHaT9mokdz6uH+eBoASnQZRCRHJr+gSrXF7Oh+tj/HdfN8z2Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T01:40:07.257229Z","bundle_sha256":"c3e7b5a5822c017c20b98798662cd4bb6ae29728cae3b1c6c27a1aed5c507460"}}