{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:6MIHLNN73JAMPKS6NWY4I3DAFL","short_pith_number":"pith:6MIHLNN7","canonical_record":{"source":{"id":"2006.06041","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-06-10T19:44:36Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"444e43b96a1f1386f1a48103b66639eac4ad5b1f328a206492dc84afbfc1b575","abstract_canon_sha256":"1bf8edae049d143207a188d7b7f71f951a2bea29b11ecc9dcd99874493085663"},"schema_version":"1.0"},"canonical_sha256":"f31075b5bfda40c7aa5e6db1c46c602af5911216d1b39ae0098c58936674c618","source":{"kind":"arxiv","id":"2006.06041","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.06041","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"arxiv_version","alias_value":"2006.06041v3","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.06041","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"pith_short_12","alias_value":"6MIHLNN73JAM","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"pith_short_16","alias_value":"6MIHLNN73JAMPKS6","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"pith_short_8","alias_value":"6MIHLNN7","created_at":"2026-07-05T02:52:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:6MIHLNN73JAMPKS6NWY4I3DAFL","target":"record","payload":{"canonical_record":{"source":{"id":"2006.06041","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-06-10T19:44:36Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"444e43b96a1f1386f1a48103b66639eac4ad5b1f328a206492dc84afbfc1b575","abstract_canon_sha256":"1bf8edae049d143207a188d7b7f71f951a2bea29b11ecc9dcd99874493085663"},"schema_version":"1.0"},"canonical_sha256":"f31075b5bfda40c7aa5e6db1c46c602af5911216d1b39ae0098c58936674c618","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:52:57.350520Z","signature_b64":"dYVdLO9GdgSsCaV6daZ7sDdcG84YzYMEgReel4Pl67npR5/X+P3WjKo2pg1bsQpYVN5W27w/f3RCRr7rax5ZAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f31075b5bfda40c7aa5e6db1c46c602af5911216d1b39ae0098c58936674c618","last_reissued_at":"2026-07-05T02:52:57.350100Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:52:57.350100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2006.06041","source_version":3,"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-07-05T02:52:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BTYODqMPaTfibVBfvPcAQUlaDz+ujZP6iNVLoeZD8+n859HHWcEeNV1tWTKwPbtM0NCDdlB5zxzSLIn2iMc6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T02:36:07.837285Z"},"content_sha256":"79b9c99697af816c60335157de0a8c7bfb667dec79d62b2cdffb4ad9b35bf647","schema_version":"1.0","event_id":"sha256:79b9c99697af816c60335157de0a8c7bfb667dec79d62b2cdffb4ad9b35bf647"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:6MIHLNN73JAMPKS6NWY4I3DAFL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Principled Analyses and Design of First-Order Methods with Inexact Proximal Operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"math.OC","authors_text":"Adrien Taylor, Francis Bach, Mathieu Barr\\'e","submitted_at":"2020-06-10T19:44:36Z","abstract_excerpt":"Proximal operations are among the most common primitives appearing in both practical and theoretical (or high-level) optimization methods. This basic operation typically consists in solving an intermediary (hopefully simpler) optimization problem. In this work, we survey notions of inaccuracies that can be used when solving those intermediary optimization problems. Then, we show that worst-case guarantees for algorithms relying on such inexact proximal operations can be systematically obtained through a generic procedure based on semidefinite programming. This methodology is primarily based on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.06041","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2006.06041/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T02:52:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KKDwd2gBgBUszsNQPWo3xsO6q5wzoRxlWGKAt6OEh5cjoR8iveH/vcnY1jmwaGCfJnTCRW/+D8994DAr5s7RDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T02:36:07.837800Z"},"content_sha256":"30826b12a9ecbdc4e156227d3c4ed0cc9a8a0e0f60cf651a41b91dd7a4daaf04","schema_version":"1.0","event_id":"sha256:30826b12a9ecbdc4e156227d3c4ed0cc9a8a0e0f60cf651a41b91dd7a4daaf04"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6MIHLNN73JAMPKS6NWY4I3DAFL/bundle.json","state_url":"https://pith.science/pith/6MIHLNN73JAMPKS6NWY4I3DAFL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6MIHLNN73JAMPKS6NWY4I3DAFL/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-08-11T02:36:07Z","links":{"resolver":"https://pith.science/pith/6MIHLNN73JAMPKS6NWY4I3DAFL","bundle":"https://pith.science/pith/6MIHLNN73JAMPKS6NWY4I3DAFL/bundle.json","state":"https://pith.science/pith/6MIHLNN73JAMPKS6NWY4I3DAFL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6MIHLNN73JAMPKS6NWY4I3DAFL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:6MIHLNN73JAMPKS6NWY4I3DAFL","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":"1bf8edae049d143207a188d7b7f71f951a2bea29b11ecc9dcd99874493085663","cross_cats_sorted":["cs.NA","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-06-10T19:44:36Z","title_canon_sha256":"444e43b96a1f1386f1a48103b66639eac4ad5b1f328a206492dc84afbfc1b575"},"schema_version":"1.0","source":{"id":"2006.06041","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.06041","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"arxiv_version","alias_value":"2006.06041v3","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.06041","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"pith_short_12","alias_value":"6MIHLNN73JAM","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"pith_short_16","alias_value":"6MIHLNN73JAMPKS6","created_at":"2026-07-05T02:52:57Z"},{"alias_kind":"pith_short_8","alias_value":"6MIHLNN7","created_at":"2026-07-05T02:52:57Z"}],"graph_snapshots":[{"event_id":"sha256:30826b12a9ecbdc4e156227d3c4ed0cc9a8a0e0f60cf651a41b91dd7a4daaf04","target":"graph","created_at":"2026-07-05T02:52:57Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2006.06041/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Proximal operations are among the most common primitives appearing in both practical and theoretical (or high-level) optimization methods. This basic operation typically consists in solving an intermediary (hopefully simpler) optimization problem. In this work, we survey notions of inaccuracies that can be used when solving those intermediary optimization problems. Then, we show that worst-case guarantees for algorithms relying on such inexact proximal operations can be systematically obtained through a generic procedure based on semidefinite programming. This methodology is primarily based on","authors_text":"Adrien Taylor, Francis Bach, Mathieu Barr\\'e","cross_cats":["cs.NA","math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-06-10T19:44:36Z","title":"Principled Analyses and Design of First-Order Methods with Inexact Proximal Operators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.06041","kind":"arxiv","version":3},"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:79b9c99697af816c60335157de0a8c7bfb667dec79d62b2cdffb4ad9b35bf647","target":"record","created_at":"2026-07-05T02:52:57Z","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":"1bf8edae049d143207a188d7b7f71f951a2bea29b11ecc9dcd99874493085663","cross_cats_sorted":["cs.NA","math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2020-06-10T19:44:36Z","title_canon_sha256":"444e43b96a1f1386f1a48103b66639eac4ad5b1f328a206492dc84afbfc1b575"},"schema_version":"1.0","source":{"id":"2006.06041","kind":"arxiv","version":3}},"canonical_sha256":"f31075b5bfda40c7aa5e6db1c46c602af5911216d1b39ae0098c58936674c618","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f31075b5bfda40c7aa5e6db1c46c602af5911216d1b39ae0098c58936674c618","first_computed_at":"2026-07-05T02:52:57.350100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:52:57.350100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dYVdLO9GdgSsCaV6daZ7sDdcG84YzYMEgReel4Pl67npR5/X+P3WjKo2pg1bsQpYVN5W27w/f3RCRr7rax5ZAg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:52:57.350520Z","signed_message":"canonical_sha256_bytes"},"source_id":"2006.06041","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79b9c99697af816c60335157de0a8c7bfb667dec79d62b2cdffb4ad9b35bf647","sha256:30826b12a9ecbdc4e156227d3c4ed0cc9a8a0e0f60cf651a41b91dd7a4daaf04"],"state_sha256":"acb3422e0c1d4f6061ea1067a32a57360260d2f3c4903d5056fdff351d27279a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qAsihLrSXbxBiW8fXAXpGjVsro154Mihzit51s7cGGidVLbRzuDmqLb5uOzEeZG9QZTRpwkg0QFKlxq8ThKHCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T02:36:07.848515Z","bundle_sha256":"170ec114f59778c6313b0501e0a9905105f4ed89709b2551c2e6e42908d24cea"}}