{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:NLQXZK7QW5TZKWSURC6V4TVTKK","short_pith_number":"pith:NLQXZK7Q","canonical_record":{"source":{"id":"2511.12665","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-16T16:03:50Z","cross_cats_sorted":[],"title_canon_sha256":"826e159548d2d05e350a72134e38ded39bb7b684d5445edf2a6a820738ef5ed9","abstract_canon_sha256":"7d84d13853653474fec5723054a740796f4b11c420864e215d1861b61fd0dd6c"},"schema_version":"1.0"},"canonical_sha256":"6ae17cabf0b767955a5488bd5e4eb352ac0fac8475951f2a828d019c69ce08ea","source":{"kind":"arxiv","id":"2511.12665","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.12665","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"arxiv_version","alias_value":"2511.12665v3","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.12665","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"pith_short_12","alias_value":"NLQXZK7QW5TZ","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"pith_short_16","alias_value":"NLQXZK7QW5TZKWSU","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"pith_short_8","alias_value":"NLQXZK7Q","created_at":"2026-07-31T01:32:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:NLQXZK7QW5TZKWSURC6V4TVTKK","target":"record","payload":{"canonical_record":{"source":{"id":"2511.12665","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-16T16:03:50Z","cross_cats_sorted":[],"title_canon_sha256":"826e159548d2d05e350a72134e38ded39bb7b684d5445edf2a6a820738ef5ed9","abstract_canon_sha256":"7d84d13853653474fec5723054a740796f4b11c420864e215d1861b61fd0dd6c"},"schema_version":"1.0"},"canonical_sha256":"6ae17cabf0b767955a5488bd5e4eb352ac0fac8475951f2a828d019c69ce08ea","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6ae17cabf0b767955a5488bd5e4eb352ac0fac8475951f2a828d019c69ce08ea","last_reissued_at":"2026-07-31T01:32:57.407308Z","signature_status":"unsigned_v0","first_computed_at":"2026-07-31T01:32:57.407308Z"},"source_kind":"arxiv","source_id":"2511.12665","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-31T01:32:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hwhR6KmS/0cyFWNLnsyhukJB1pN+YlxRSYhUdv74/kpuOm4cMVk9yNITliRNxoVmiA9mZgC8ODgijVReDCKSDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T18:17:19.014360Z"},"content_sha256":"60473d5748a107a10812cb17537d37d1e8cfbb026aa7b8781afd223c834cd18d","schema_version":"1.0","event_id":"sha256:60473d5748a107a10812cb17537d37d1e8cfbb026aa7b8781afd223c834cd18d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:NLQXZK7QW5TZKWSURC6V4TVTKK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The iterates of FISTA converge even under inexact computations and stochastic gradients","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Saverio Salzo","submitted_at":"2025-11-16T16:03:50Z","abstract_excerpt":"Very recently, the papers \"Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof\" by Jang and Ryu, and \"The Iterates of Nesterov's Accelerated Algorithm Converge in the Critical Regimes\" by Bot, Fadili, and Nguyen have simultaneously resolved a long-standing open problem concerning Nesterov's accelerated gradient method. These works show that the iterates of the algorithm (known in its composite form as FISTA) indeed converge to an optimal solution. In this work, we extend these results and prove that, in infinite dimensional Hilbert spaces, the iterates of such an "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.12665","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/2511.12665/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-31T01:32:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P5C1ws1Ii3euMtGwLMq+1wdRrtX9XK8W49DdsNESuQkFcTuGqbm9dv0f0UzrWud0Hgd6PnSsGqjjN7uWOtOmDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T18:17:19.014881Z"},"content_sha256":"e055d09413d5f74fc8d4011563768e884a2308394f7e7d9a6a9e13029dea5992","schema_version":"1.0","event_id":"sha256:e055d09413d5f74fc8d4011563768e884a2308394f7e7d9a6a9e13029dea5992"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NLQXZK7QW5TZKWSURC6V4TVTKK/bundle.json","state_url":"https://pith.science/pith/NLQXZK7QW5TZKWSURC6V4TVTKK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NLQXZK7QW5TZKWSURC6V4TVTKK/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-20T18:17:19Z","links":{"resolver":"https://pith.science/pith/NLQXZK7QW5TZKWSURC6V4TVTKK","bundle":"https://pith.science/pith/NLQXZK7QW5TZKWSURC6V4TVTKK/bundle.json","state":"https://pith.science/pith/NLQXZK7QW5TZKWSURC6V4TVTKK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NLQXZK7QW5TZKWSURC6V4TVTKK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NLQXZK7QW5TZKWSURC6V4TVTKK","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":"7d84d13853653474fec5723054a740796f4b11c420864e215d1861b61fd0dd6c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-16T16:03:50Z","title_canon_sha256":"826e159548d2d05e350a72134e38ded39bb7b684d5445edf2a6a820738ef5ed9"},"schema_version":"1.0","source":{"id":"2511.12665","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.12665","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"arxiv_version","alias_value":"2511.12665v3","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.12665","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"pith_short_12","alias_value":"NLQXZK7QW5TZ","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"pith_short_16","alias_value":"NLQXZK7QW5TZKWSU","created_at":"2026-07-31T01:32:57Z"},{"alias_kind":"pith_short_8","alias_value":"NLQXZK7Q","created_at":"2026-07-31T01:32:57Z"}],"graph_snapshots":[{"event_id":"sha256:e055d09413d5f74fc8d4011563768e884a2308394f7e7d9a6a9e13029dea5992","target":"graph","created_at":"2026-07-31T01:32: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/2511.12665/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Very recently, the papers \"Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof\" by Jang and Ryu, and \"The Iterates of Nesterov's Accelerated Algorithm Converge in the Critical Regimes\" by Bot, Fadili, and Nguyen have simultaneously resolved a long-standing open problem concerning Nesterov's accelerated gradient method. These works show that the iterates of the algorithm (known in its composite form as FISTA) indeed converge to an optimal solution. In this work, we extend these results and prove that, in infinite dimensional Hilbert spaces, the iterates of such an ","authors_text":"Saverio Salzo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-16T16:03:50Z","title":"The iterates of FISTA converge even under inexact computations and stochastic gradients"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.12665","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:60473d5748a107a10812cb17537d37d1e8cfbb026aa7b8781afd223c834cd18d","target":"record","created_at":"2026-07-31T01:32: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":"7d84d13853653474fec5723054a740796f4b11c420864e215d1861b61fd0dd6c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-11-16T16:03:50Z","title_canon_sha256":"826e159548d2d05e350a72134e38ded39bb7b684d5445edf2a6a820738ef5ed9"},"schema_version":"1.0","source":{"id":"2511.12665","kind":"arxiv","version":3}},"canonical_sha256":"6ae17cabf0b767955a5488bd5e4eb352ac0fac8475951f2a828d019c69ce08ea","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6ae17cabf0b767955a5488bd5e4eb352ac0fac8475951f2a828d019c69ce08ea","first_computed_at":"2026-07-31T01:32:57.407308Z","kind":"pith_receipt","last_reissued_at":"2026-07-31T01:32:57.407308Z","receipt_version":"0.3","signature_status":"unsigned_v0"},"source_id":"2511.12665","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:60473d5748a107a10812cb17537d37d1e8cfbb026aa7b8781afd223c834cd18d","sha256:e055d09413d5f74fc8d4011563768e884a2308394f7e7d9a6a9e13029dea5992"],"state_sha256":"336a343a9405917fb581a0ee5aa9af828cf496e1fc4316f995e205227b879aee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QNq1Ca67tLGlL6BwsiURZsLU7RnHa2e6ynRZG2/BEcV1JtVuaWRttpY+3RclFZOjVOfWSSSQFtHyhlgGsdyLDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T18:17:19.020845Z","bundle_sha256":"7fd9c6dbcae02c0f205da512f5572694e0a4fa0722f416886a38859874ef4c5e"}}