{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:MBG6SKTP4RSQKC452RVJYMWRA3","short_pith_number":"pith:MBG6SKTP","schema_version":"1.0","canonical_sha256":"604de92a6fe465050b9dd46a9c32d106c5cde6f13830338c3b9bfa2390b1e36a","source":{"kind":"arxiv","id":"1702.07339","version":3},"attestation_state":"computed","paper":{"title":"A Converse to Banach's Fixed Point Theorem and its CLS Completeness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","math.GN","stat.ML"],"primary_cat":"cs.CC","authors_text":"Christos Tzamos, Constantinos Daskalakis, Manolis Zampetakis","submitted_at":"2017-02-23T18:52:31Z","abstract_excerpt":"Banach's fixed point theorem for contraction maps has been widely used to analyze the convergence of iterative methods in non-convex problems. It is a common experience, however, that iterative maps fail to be globally contracting under the natural metric in their domain, making the applicability of Banach's theorem limited. We explore how generally we can apply Banach's fixed point theorem to establish the convergence of iterative methods when pairing it with carefully designed metrics.\n  Our first result is a strong converse of Banach's theorem, showing that it is a universal analysis tool f"},"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":"1702.07339","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2017-02-23T18:52:31Z","cross_cats_sorted":["cs.LG","math.GN","stat.ML"],"title_canon_sha256":"e3f2884cc965160b709635090a5cb701a0a668b0cb6a19d39667570d2621b0c3","abstract_canon_sha256":"ec18c273652b4157c5d22e52937ba411323fc09faaa98ace35a78e80c07328bf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:23.389805Z","signature_b64":"JB4kI3hWwByLEAPd2DGjz5x7tNwszlgk5LO1pzKv3lzjjHoFgU6SaSVz/YTbV3GJz3UGdS8vUGJCf8CM0adsCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"604de92a6fe465050b9dd46a9c32d106c5cde6f13830338c3b9bfa2390b1e36a","last_reissued_at":"2026-05-18T00:23:23.389008Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:23.389008Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Converse to Banach's Fixed Point Theorem and its CLS Completeness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","math.GN","stat.ML"],"primary_cat":"cs.CC","authors_text":"Christos Tzamos, Constantinos Daskalakis, Manolis Zampetakis","submitted_at":"2017-02-23T18:52:31Z","abstract_excerpt":"Banach's fixed point theorem for contraction maps has been widely used to analyze the convergence of iterative methods in non-convex problems. It is a common experience, however, that iterative maps fail to be globally contracting under the natural metric in their domain, making the applicability of Banach's theorem limited. We explore how generally we can apply Banach's fixed point theorem to establish the convergence of iterative methods when pairing it with carefully designed metrics.\n  Our first result is a strong converse of Banach's theorem, showing that it is a universal analysis tool f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.07339","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":""},"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":"1702.07339","created_at":"2026-05-18T00:23:23.389139+00:00"},{"alias_kind":"arxiv_version","alias_value":"1702.07339v3","created_at":"2026-05-18T00:23:23.389139+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.07339","created_at":"2026-05-18T00:23:23.389139+00:00"},{"alias_kind":"pith_short_12","alias_value":"MBG6SKTP4RSQ","created_at":"2026-05-18T12:31:31.346846+00:00"},{"alias_kind":"pith_short_16","alias_value":"MBG6SKTP4RSQKC45","created_at":"2026-05-18T12:31:31.346846+00:00"},{"alias_kind":"pith_short_8","alias_value":"MBG6SKTP","created_at":"2026-05-18T12:31:31.346846+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/MBG6SKTP4RSQKC452RVJYMWRA3","json":"https://pith.science/pith/MBG6SKTP4RSQKC452RVJYMWRA3.json","graph_json":"https://pith.science/api/pith-number/MBG6SKTP4RSQKC452RVJYMWRA3/graph.json","events_json":"https://pith.science/api/pith-number/MBG6SKTP4RSQKC452RVJYMWRA3/events.json","paper":"https://pith.science/paper/MBG6SKTP"},"agent_actions":{"view_html":"https://pith.science/pith/MBG6SKTP4RSQKC452RVJYMWRA3","download_json":"https://pith.science/pith/MBG6SKTP4RSQKC452RVJYMWRA3.json","view_paper":"https://pith.science/paper/MBG6SKTP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1702.07339&json=true","fetch_graph":"https://pith.science/api/pith-number/MBG6SKTP4RSQKC452RVJYMWRA3/graph.json","fetch_events":"https://pith.science/api/pith-number/MBG6SKTP4RSQKC452RVJYMWRA3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MBG6SKTP4RSQKC452RVJYMWRA3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MBG6SKTP4RSQKC452RVJYMWRA3/action/storage_attestation","attest_author":"https://pith.science/pith/MBG6SKTP4RSQKC452RVJYMWRA3/action/author_attestation","sign_citation":"https://pith.science/pith/MBG6SKTP4RSQKC452RVJYMWRA3/action/citation_signature","submit_replication":"https://pith.science/pith/MBG6SKTP4RSQKC452RVJYMWRA3/action/replication_record"}},"created_at":"2026-05-18T00:23:23.389139+00:00","updated_at":"2026-05-18T00:23:23.389139+00:00"}