{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TFBKX346JNS7NUUE5GPOL4QJ22","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":"8ff4e1ab5101fa2e22c7a80cc018e144e0f58c4e2fe0e57ca6348bfd6cf087d1","cross_cats_sorted":["math.PR","stat.ML"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-29T13:41:01Z","title_canon_sha256":"4342a3223dc67d7b1056dc86e83da78a1c536d7afa272c3a2440d1f084a027ab"},"schema_version":"1.0","source":{"id":"2605.31309","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.31309","created_at":"2026-06-01T01:04:10Z"},{"alias_kind":"arxiv_version","alias_value":"2605.31309v1","created_at":"2026-06-01T01:04:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.31309","created_at":"2026-06-01T01:04:10Z"},{"alias_kind":"pith_short_12","alias_value":"TFBKX346JNS7","created_at":"2026-06-01T01:04:10Z"},{"alias_kind":"pith_short_16","alias_value":"TFBKX346JNS7NUUE","created_at":"2026-06-01T01:04:10Z"},{"alias_kind":"pith_short_8","alias_value":"TFBKX346","created_at":"2026-06-01T01:04:10Z"}],"graph_snapshots":[{"event_id":"sha256:6e668d090061ae323b2e2d848c3d88f757c516d0a1ab94e3ee1213131770f041","target":"graph","created_at":"2026-06-01T01:04:10Z","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/2605.31309/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We survey Lyapunov-based techniques for the finite-time analysis of stochastic iterative algorithms, also known as stochastic approximation (SA) algorithms, for solving fixed-point equations $\\bar{F}(x)=x$, where the operator $\\bar{F}(\\cdot)$ can only be accessed through a noisy oracle. We first focus on the standard setting in which $\\bar{F}(\\cdot)$ is contractive with respect to some norm and the noise is i.i.d., and explain how generalized Moreau envelopes serve as universal Lyapunov functions, regardless of the underlying norm. We then show how this framework yields mean-square convergence","authors_text":"Siva Theja Maguluri, Zaiwei Chen","cross_cats":["math.PR","stat.ML"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-29T13:41:01Z","title":"Non-Asymptotic Convergence of Stochastic Iterative Algorithms: A Lyapunov Framework"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.31309","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:8c84ecc44e3d4db44e526e4b1dda304e51273896707d771898b7fbf9c9389669","target":"record","created_at":"2026-06-01T01:04:10Z","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":"8ff4e1ab5101fa2e22c7a80cc018e144e0f58c4e2fe0e57ca6348bfd6cf087d1","cross_cats_sorted":["math.PR","stat.ML"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-29T13:41:01Z","title_canon_sha256":"4342a3223dc67d7b1056dc86e83da78a1c536d7afa272c3a2440d1f084a027ab"},"schema_version":"1.0","source":{"id":"2605.31309","kind":"arxiv","version":1}},"canonical_sha256":"9942abef9e4b65f6d284e99ee5f209d69d8eab99c8712be199b2b51b03984f71","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9942abef9e4b65f6d284e99ee5f209d69d8eab99c8712be199b2b51b03984f71","first_computed_at":"2026-06-01T01:04:10.187273Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T01:04:10.187273Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sfNHom08Rb3al+d+FfUyHvkW7h4oVF2Oa++wDjqTWj8hLKcmShFZxbjdS0tvTUP6AyWOZUiXy41JZWT6MtQzDQ==","signature_status":"signed_v1","signed_at":"2026-06-01T01:04:10.187806Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.31309","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c84ecc44e3d4db44e526e4b1dda304e51273896707d771898b7fbf9c9389669","sha256:6e668d090061ae323b2e2d848c3d88f757c516d0a1ab94e3ee1213131770f041"],"state_sha256":"e43aaf329773d3e761150982451d5dd689a75a39bd11f2224b54bfcb8d4ad359"}