{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2007:5K5JRWYOOVSV4QM63HM7SWFTKI","short_pith_number":"pith:5K5JRWYO","canonical_record":{"source":{"id":"0709.0109","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.OC","submitted_at":"2007-09-02T15:25:13Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"7fd73781605f1c02d370cd562b41f0a18ee68e9a168b86084d0adbb68e39eb22","abstract_canon_sha256":"6d07fbd0aaf2e6ad0158c05b2295fd069c748a388b4bd5996594c6498c657695"},"schema_version":"1.0"},"canonical_sha256":"eaba98db0e75655e419ed9d9f958b3520dd68bdd693a0060abf1c1951ba567ad","source":{"kind":"arxiv","id":"0709.0109","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0709.0109","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"arxiv_version","alias_value":"0709.0109v1","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0709.0109","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"pith_short_12","alias_value":"5K5JRWYOOVSV","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"pith_short_16","alias_value":"5K5JRWYOOVSV4QM6","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"pith_short_8","alias_value":"5K5JRWYO","created_at":"2026-06-03T22:06:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2007:5K5JRWYOOVSV4QM63HM7SWFTKI","target":"record","payload":{"canonical_record":{"source":{"id":"0709.0109","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"math.OC","submitted_at":"2007-09-02T15:25:13Z","cross_cats_sorted":["cs.NA","math.NA"],"title_canon_sha256":"7fd73781605f1c02d370cd562b41f0a18ee68e9a168b86084d0adbb68e39eb22","abstract_canon_sha256":"6d07fbd0aaf2e6ad0158c05b2295fd069c748a388b4bd5996594c6498c657695"},"schema_version":"1.0"},"canonical_sha256":"eaba98db0e75655e419ed9d9f958b3520dd68bdd693a0060abf1c1951ba567ad","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T22:06:02.209791Z","signature_b64":"FozCRFMfMkdrTiJGg0RWNkHucWGmxkdTzzgtKdEUocn66Gixq5/EXTQeJYxjY8a+PuB6HpymAJlbWznN9+FlCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eaba98db0e75655e419ed9d9f958b3520dd68bdd693a0060abf1c1951ba567ad","last_reissued_at":"2026-06-03T22:06:02.209373Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T22:06:02.209373Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0709.0109","source_version":1,"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-06-03T22:06:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GVvUMORZhGcxuM2hkIpmoSTDhXjIhomKQLbj9wNTrq92YAIMK/XDpWC/lFotN2Or5iU9LZfOjgGy6OG0oOeNBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T22:35:37.542767Z"},"content_sha256":"b7c00d0dd2559bcca0e097c1dc7917890bca531f4bf37557115519cd6a64ef71","schema_version":"1.0","event_id":"sha256:b7c00d0dd2559bcca0e097c1dc7917890bca531f4bf37557115519cd6a64ef71"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2007:5K5JRWYOOVSV4QM63HM7SWFTKI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Local convergence for alternating and averaged nonconvex projections","license":"","headline":"","cross_cats":["cs.NA","math.NA"],"primary_cat":"math.OC","authors_text":"Adrian Lewis, Jerome Malick, Russell Luke","submitted_at":"2007-09-02T15:25:13Z","abstract_excerpt":"The idea of a finite collection of closed sets having \"strongly regular intersection\" at a given point is crucial in variational analysis. We show that this central theoretical tool also has striking algorithmic consequences. Specifically, we consider the case of two sets, one of which we assume to be suitably \"regular\" (special cases being convex sets, smooth manifolds, or feasible regions satisfying the Mangasarian-Fromovitz constraint qualification). We then prove that von Neumann's method of \"alternating projections\" converges locally to a point in the intersection, at a linear rate associ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0709.0109","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/0709.0109/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-06-03T22:06:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x7zYLVEE1DJqNNrAAr/UnoKU9ARr8Gin4Nw/+hXdf2nsSIOuGBNKYoI4y0NRAV6MGXVDWe4EzXAsJdMtK69PAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T22:35:37.543133Z"},"content_sha256":"f05f1225740f335e124b25fc2135965ca9aca2558b369d8f34290dca940e1345","schema_version":"1.0","event_id":"sha256:f05f1225740f335e124b25fc2135965ca9aca2558b369d8f34290dca940e1345"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5K5JRWYOOVSV4QM63HM7SWFTKI/bundle.json","state_url":"https://pith.science/pith/5K5JRWYOOVSV4QM63HM7SWFTKI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5K5JRWYOOVSV4QM63HM7SWFTKI/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-06-20T22:35:37Z","links":{"resolver":"https://pith.science/pith/5K5JRWYOOVSV4QM63HM7SWFTKI","bundle":"https://pith.science/pith/5K5JRWYOOVSV4QM63HM7SWFTKI/bundle.json","state":"https://pith.science/pith/5K5JRWYOOVSV4QM63HM7SWFTKI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5K5JRWYOOVSV4QM63HM7SWFTKI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2007:5K5JRWYOOVSV4QM63HM7SWFTKI","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":"6d07fbd0aaf2e6ad0158c05b2295fd069c748a388b4bd5996594c6498c657695","cross_cats_sorted":["cs.NA","math.NA"],"license":"","primary_cat":"math.OC","submitted_at":"2007-09-02T15:25:13Z","title_canon_sha256":"7fd73781605f1c02d370cd562b41f0a18ee68e9a168b86084d0adbb68e39eb22"},"schema_version":"1.0","source":{"id":"0709.0109","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0709.0109","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"arxiv_version","alias_value":"0709.0109v1","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0709.0109","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"pith_short_12","alias_value":"5K5JRWYOOVSV","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"pith_short_16","alias_value":"5K5JRWYOOVSV4QM6","created_at":"2026-06-03T22:06:02Z"},{"alias_kind":"pith_short_8","alias_value":"5K5JRWYO","created_at":"2026-06-03T22:06:02Z"}],"graph_snapshots":[{"event_id":"sha256:f05f1225740f335e124b25fc2135965ca9aca2558b369d8f34290dca940e1345","target":"graph","created_at":"2026-06-03T22:06:02Z","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/0709.0109/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The idea of a finite collection of closed sets having \"strongly regular intersection\" at a given point is crucial in variational analysis. We show that this central theoretical tool also has striking algorithmic consequences. Specifically, we consider the case of two sets, one of which we assume to be suitably \"regular\" (special cases being convex sets, smooth manifolds, or feasible regions satisfying the Mangasarian-Fromovitz constraint qualification). We then prove that von Neumann's method of \"alternating projections\" converges locally to a point in the intersection, at a linear rate associ","authors_text":"Adrian Lewis, Jerome Malick, Russell Luke","cross_cats":["cs.NA","math.NA"],"headline":"","license":"","primary_cat":"math.OC","submitted_at":"2007-09-02T15:25:13Z","title":"Local convergence for alternating and averaged nonconvex projections"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0709.0109","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:b7c00d0dd2559bcca0e097c1dc7917890bca531f4bf37557115519cd6a64ef71","target":"record","created_at":"2026-06-03T22:06:02Z","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":"6d07fbd0aaf2e6ad0158c05b2295fd069c748a388b4bd5996594c6498c657695","cross_cats_sorted":["cs.NA","math.NA"],"license":"","primary_cat":"math.OC","submitted_at":"2007-09-02T15:25:13Z","title_canon_sha256":"7fd73781605f1c02d370cd562b41f0a18ee68e9a168b86084d0adbb68e39eb22"},"schema_version":"1.0","source":{"id":"0709.0109","kind":"arxiv","version":1}},"canonical_sha256":"eaba98db0e75655e419ed9d9f958b3520dd68bdd693a0060abf1c1951ba567ad","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eaba98db0e75655e419ed9d9f958b3520dd68bdd693a0060abf1c1951ba567ad","first_computed_at":"2026-06-03T22:06:02.209373Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T22:06:02.209373Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FozCRFMfMkdrTiJGg0RWNkHucWGmxkdTzzgtKdEUocn66Gixq5/EXTQeJYxjY8a+PuB6HpymAJlbWznN9+FlCw==","signature_status":"signed_v1","signed_at":"2026-06-03T22:06:02.209791Z","signed_message":"canonical_sha256_bytes"},"source_id":"0709.0109","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7c00d0dd2559bcca0e097c1dc7917890bca531f4bf37557115519cd6a64ef71","sha256:f05f1225740f335e124b25fc2135965ca9aca2558b369d8f34290dca940e1345"],"state_sha256":"7e8814d9b173ce85d49ab58a068579f88853c0a9d9117648aea3c8d416fe2ef8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"udpuYrqV09mBdryNE7QWhbsI5TynZa+Fez7sU150NaBDjoSpXpn86BifzrJofNjnU3rWTBNi/wt1CpP0lKZyAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T22:35:37.545209Z","bundle_sha256":"19c0437c55e2e22d5e897420394758678e0b1e95a3b513d4879c3a9a97c85ae9"}}