{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:2RTCTTXRSRPZKEQ4LIV7J3ZRXN","short_pith_number":"pith:2RTCTTXR","canonical_record":{"source":{"id":"1708.08697","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-08-29T11:15:18Z","cross_cats_sorted":[],"title_canon_sha256":"4439eb7ca61d9423c1bdef5f11aeb3a0c824a5636ad61de8f377de1983be53d4","abstract_canon_sha256":"a58251f68466f496b569b01f865564adc70d07a93c64e293fced549ecae2ae8e"},"schema_version":"1.0"},"canonical_sha256":"d46629cef1945f95121c5a2bf4ef31bb7e8337a63e7278f4b048c0a6c9441ca4","source":{"kind":"arxiv","id":"1708.08697","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.08697","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"arxiv_version","alias_value":"1708.08697v2","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.08697","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"pith_short_12","alias_value":"2RTCTTXRSRPZ","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2RTCTTXRSRPZKEQ4","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2RTCTTXR","created_at":"2026-05-18T12:30:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:2RTCTTXRSRPZKEQ4LIV7J3ZRXN","target":"record","payload":{"canonical_record":{"source":{"id":"1708.08697","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-08-29T11:15:18Z","cross_cats_sorted":[],"title_canon_sha256":"4439eb7ca61d9423c1bdef5f11aeb3a0c824a5636ad61de8f377de1983be53d4","abstract_canon_sha256":"a58251f68466f496b569b01f865564adc70d07a93c64e293fced549ecae2ae8e"},"schema_version":"1.0"},"canonical_sha256":"d46629cef1945f95121c5a2bf4ef31bb7e8337a63e7278f4b048c0a6c9441ca4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:19.524797Z","signature_b64":"EYtQLWrAPmHPELWC/XShJBcAp/AdXxStHkbZ4cs8LwWdVWvbFUqRZQUXOJBiiMqT8F53gaUW2zsUKu6lU2TrAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d46629cef1945f95121c5a2bf4ef31bb7e8337a63e7278f4b048c0a6c9441ca4","last_reissued_at":"2026-05-18T00:03:19.524177Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:19.524177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.08697","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:03:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"INjWHjRoRvE4azerKpo8UlHrHp9+NfRBveOQ0ybF1sHqe/8z/NYfqd1qL/nD9bRfclfP/pjJC+9aJHr8DnNbCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T05:09:02.145308Z"},"content_sha256":"90b15eae6c9c7135a9d078c18b2d881dd3360ef7149ee08ed7a9a78d795b61fd","schema_version":"1.0","event_id":"sha256:90b15eae6c9c7135a9d078c18b2d881dd3360ef7149ee08ed7a9a78d795b61fd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:2RTCTTXRSRPZKEQ4LIV7J3ZRXN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Lyapunov function construction for a non-convex Douglas-Rachford iteration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Bj\\\"orn S. R\\\"uffer, Ohad Giladi","submitted_at":"2017-08-29T11:15:18Z","abstract_excerpt":"While global convergence of the Douglas-Rachford iteration is often observed in applications, proving it is still limited to convex and a handful of other special cases. Lyapunov functions for difference inclusions provide not only global or local convergence certificates, but also imply robust stability, which means that the convergence is still guaranteed in the presence of persistent disturbances. In this work, a global Lyapunov function is constructed by combining known local Lyapunov functions for simpler, local sub-problems via an explicit formula that depends on the problem parameters. "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.08697","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:03:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pJHGzaLgSbMBqWhX7pn2025ZAGVJnRZYfuHVek232Q4W5jN+X5bnxc7E7eewPk7Nbj4cptth4rvS0fC4GjvOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T05:09:02.145737Z"},"content_sha256":"0a1f056a47cd938404e15a6b2c4ae649e0214404bfac8776cc2d91db16b5e75e","schema_version":"1.0","event_id":"sha256:0a1f056a47cd938404e15a6b2c4ae649e0214404bfac8776cc2d91db16b5e75e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2RTCTTXRSRPZKEQ4LIV7J3ZRXN/bundle.json","state_url":"https://pith.science/pith/2RTCTTXRSRPZKEQ4LIV7J3ZRXN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2RTCTTXRSRPZKEQ4LIV7J3ZRXN/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-27T05:09:02Z","links":{"resolver":"https://pith.science/pith/2RTCTTXRSRPZKEQ4LIV7J3ZRXN","bundle":"https://pith.science/pith/2RTCTTXRSRPZKEQ4LIV7J3ZRXN/bundle.json","state":"https://pith.science/pith/2RTCTTXRSRPZKEQ4LIV7J3ZRXN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2RTCTTXRSRPZKEQ4LIV7J3ZRXN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:2RTCTTXRSRPZKEQ4LIV7J3ZRXN","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":"a58251f68466f496b569b01f865564adc70d07a93c64e293fced549ecae2ae8e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-08-29T11:15:18Z","title_canon_sha256":"4439eb7ca61d9423c1bdef5f11aeb3a0c824a5636ad61de8f377de1983be53d4"},"schema_version":"1.0","source":{"id":"1708.08697","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.08697","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"arxiv_version","alias_value":"1708.08697v2","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.08697","created_at":"2026-05-18T00:03:19Z"},{"alias_kind":"pith_short_12","alias_value":"2RTCTTXRSRPZ","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2RTCTTXRSRPZKEQ4","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2RTCTTXR","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:0a1f056a47cd938404e15a6b2c4ae649e0214404bfac8776cc2d91db16b5e75e","target":"graph","created_at":"2026-05-18T00:03:19Z","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":"While global convergence of the Douglas-Rachford iteration is often observed in applications, proving it is still limited to convex and a handful of other special cases. Lyapunov functions for difference inclusions provide not only global or local convergence certificates, but also imply robust stability, which means that the convergence is still guaranteed in the presence of persistent disturbances. In this work, a global Lyapunov function is constructed by combining known local Lyapunov functions for simpler, local sub-problems via an explicit formula that depends on the problem parameters. ","authors_text":"Bj\\\"orn S. R\\\"uffer, Ohad Giladi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-08-29T11:15:18Z","title":"A Lyapunov function construction for a non-convex Douglas-Rachford iteration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.08697","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:90b15eae6c9c7135a9d078c18b2d881dd3360ef7149ee08ed7a9a78d795b61fd","target":"record","created_at":"2026-05-18T00:03:19Z","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":"a58251f68466f496b569b01f865564adc70d07a93c64e293fced549ecae2ae8e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-08-29T11:15:18Z","title_canon_sha256":"4439eb7ca61d9423c1bdef5f11aeb3a0c824a5636ad61de8f377de1983be53d4"},"schema_version":"1.0","source":{"id":"1708.08697","kind":"arxiv","version":2}},"canonical_sha256":"d46629cef1945f95121c5a2bf4ef31bb7e8337a63e7278f4b048c0a6c9441ca4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d46629cef1945f95121c5a2bf4ef31bb7e8337a63e7278f4b048c0a6c9441ca4","first_computed_at":"2026-05-18T00:03:19.524177Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:19.524177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EYtQLWrAPmHPELWC/XShJBcAp/AdXxStHkbZ4cs8LwWdVWvbFUqRZQUXOJBiiMqT8F53gaUW2zsUKu6lU2TrAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:19.524797Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.08697","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90b15eae6c9c7135a9d078c18b2d881dd3360ef7149ee08ed7a9a78d795b61fd","sha256:0a1f056a47cd938404e15a6b2c4ae649e0214404bfac8776cc2d91db16b5e75e"],"state_sha256":"f7898012582efac3653f89bfbb2be55a76ef524cc71bd61f89899b04a7d47d85"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"76FCkgyzlndoJhzQ5r/0Ftjr/q66TDz2hHJLvkWvAgOl1ZlnXekBwWRwl5vNQ/BfqREBx6T8zA4hGjFvGJiSCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T05:09:02.147584Z","bundle_sha256":"119778a54a39f50de4ed10f409700bbdb7336bdb051e976a2e72b6eace2c1e31"}}