{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:DZS37PLIZS6RX23N76GOXQ64EO","short_pith_number":"pith:DZS37PLI","schema_version":"1.0","canonical_sha256":"1e65bfbd68ccbd1beb6dff8cebc3dc23b05ffb66db5158b9ee604d6f3462fd53","source":{"kind":"arxiv","id":"2605.25491","version":1},"attestation_state":"computed","paper":{"title":"Ces\\`aro means of firmly nonexpansive iterates need not converge strongly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA"],"primary_cat":"math.OC","authors_text":"Heinz H. Bauschke, Tran Thanh Tung","submitted_at":"2026-05-25T06:51:26Z","abstract_excerpt":"Firmly nonexpansive operators arise naturally as resolvents of monotone operators and as generalizations of projections and proximal mappings in convex optimization and fixed point theory. While their iterates are known to converge weakly to a fixed point, strong convergence is not guaranteed (Genel and Lindenstrauss, 1975).\n  In this paper, we provide a new explicit family of counterexamples in infinite-dimensional Hilbert spaces. In the harmonic case the Ces\\`aro means of the iterates remain bounded away from the unique fixed point. A block-construction variant yields Ces\\`aro means whose no"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2605.25491","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2026-05-25T06:51:26Z","cross_cats_sorted":["math.FA"],"title_canon_sha256":"518d398182b165ab3aa3f99d41b4534ce7064e1717301db3e0ca16b5c2d806ff","abstract_canon_sha256":"f7c600e82e423944be16bb6917ff0d5cef086695e8b2c1470f30f17d0efe2733"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T02:04:39.048367Z","signature_b64":"aYEKQgqjwedD9GXd6iaYFtTrY4/nGx9GK10EVgWs45WNbd7JY6dOacIytXoaepGO0Eeix7gvEcglDs8VX299Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1e65bfbd68ccbd1beb6dff8cebc3dc23b05ffb66db5158b9ee604d6f3462fd53","last_reissued_at":"2026-05-26T02:04:39.047470Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T02:04:39.047470Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Ces\\`aro means of firmly nonexpansive iterates need not converge strongly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.FA"],"primary_cat":"math.OC","authors_text":"Heinz H. Bauschke, Tran Thanh Tung","submitted_at":"2026-05-25T06:51:26Z","abstract_excerpt":"Firmly nonexpansive operators arise naturally as resolvents of monotone operators and as generalizations of projections and proximal mappings in convex optimization and fixed point theory. While their iterates are known to converge weakly to a fixed point, strong convergence is not guaranteed (Genel and Lindenstrauss, 1975).\n  In this paper, we provide a new explicit family of counterexamples in infinite-dimensional Hilbert spaces. In the harmonic case the Ces\\`aro means of the iterates remain bounded away from the unique fixed point. A block-construction variant yields Ces\\`aro means whose no"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25491","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.25491/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.25491","created_at":"2026-05-26T02:04:39.047625+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.25491v1","created_at":"2026-05-26T02:04:39.047625+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25491","created_at":"2026-05-26T02:04:39.047625+00:00"},{"alias_kind":"pith_short_12","alias_value":"DZS37PLIZS6R","created_at":"2026-05-26T02:04:39.047625+00:00"},{"alias_kind":"pith_short_16","alias_value":"DZS37PLIZS6RX23N","created_at":"2026-05-26T02:04:39.047625+00:00"},{"alias_kind":"pith_short_8","alias_value":"DZS37PLI","created_at":"2026-05-26T02:04:39.047625+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO","json":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO.json","graph_json":"https://pith.science/api/pith-number/DZS37PLIZS6RX23N76GOXQ64EO/graph.json","events_json":"https://pith.science/api/pith-number/DZS37PLIZS6RX23N76GOXQ64EO/events.json","paper":"https://pith.science/paper/DZS37PLI"},"agent_actions":{"view_html":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO","download_json":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO.json","view_paper":"https://pith.science/paper/DZS37PLI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.25491&json=true","fetch_graph":"https://pith.science/api/pith-number/DZS37PLIZS6RX23N76GOXQ64EO/graph.json","fetch_events":"https://pith.science/api/pith-number/DZS37PLIZS6RX23N76GOXQ64EO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO/action/storage_attestation","attest_author":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO/action/author_attestation","sign_citation":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO/action/citation_signature","submit_replication":"https://pith.science/pith/DZS37PLIZS6RX23N76GOXQ64EO/action/replication_record"}},"created_at":"2026-05-26T02:04:39.047625+00:00","updated_at":"2026-05-26T02:04:39.047625+00:00"}