{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SHDNSLLSCR7RZPCPU4AWY7OKNB","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":"6bd2a5cfff7dfb97692b5fe28cc28c46623175512709fc8f2409c9e006e9f7a1","cross_cats_sorted":["math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2017-01-19T02:57:13Z","title_canon_sha256":"395bf53d9556497d388b11ab8ac304c56c80b46536f0df01efdb0403d2b65fdd"},"schema_version":"1.0","source":{"id":"1701.05284","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.05284","created_at":"2026-05-17T23:45:47Z"},{"alias_kind":"arxiv_version","alias_value":"1701.05284v3","created_at":"2026-05-17T23:45:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.05284","created_at":"2026-05-17T23:45:47Z"},{"alias_kind":"pith_short_12","alias_value":"SHDNSLLSCR7R","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SHDNSLLSCR7RZPCP","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SHDNSLLS","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:675f4c8d1e8eb31057cec1dfdb07195fa47f905e856151f8c3e85dd19ea60483","target":"graph","created_at":"2026-05-17T23:45:47Z","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"},"paper":{"abstract_excerpt":"Signal recovery from unitarily invariant measurements is investigated in this paper. A message-passing algorithm is formulated on the basis of expectation propagation (EP). A rigorous analysis is presented for the dynamics of the algorithm in the large system limit, where both input and output dimensions tend to infinity while the compression rate is kept constant. The main result is the justification of state evolution (SE) equations conjectured by Ma and Ping. This result implies that the EP-based algorithm achieves the Bayes-optimal performance that was originally derived via a non-rigorous","authors_text":"Keigo Takeuchi","cross_cats":["math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2017-01-19T02:57:13Z","title":"Rigorous Dynamics of Expectation-Propagation-Based Signal Recovery from Unitarily Invariant Measurements"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.05284","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:bcd8cff8ea3326ee0bdaba05017f7cbf8d2e918aa9ab1e935ba312496d0f02a1","target":"record","created_at":"2026-05-17T23:45:47Z","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":"6bd2a5cfff7dfb97692b5fe28cc28c46623175512709fc8f2409c9e006e9f7a1","cross_cats_sorted":["math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2017-01-19T02:57:13Z","title_canon_sha256":"395bf53d9556497d388b11ab8ac304c56c80b46536f0df01efdb0403d2b65fdd"},"schema_version":"1.0","source":{"id":"1701.05284","kind":"arxiv","version":3}},"canonical_sha256":"91c6d92d72147f1cbc4fa7016c7dca68486baf9688b5c65bb204a5bae08bceae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"91c6d92d72147f1cbc4fa7016c7dca68486baf9688b5c65bb204a5bae08bceae","first_computed_at":"2026-05-17T23:45:47.069112Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:47.069112Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qSlKbGIycuzMdjZQTXyEWAoeufYBMkHA+CPB3Ddfu/UmsCPxB5AyhPQroXvbGMx6mXd+WNVhMRmcF4FGKwQECg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:47.069609Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.05284","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bcd8cff8ea3326ee0bdaba05017f7cbf8d2e918aa9ab1e935ba312496d0f02a1","sha256:675f4c8d1e8eb31057cec1dfdb07195fa47f905e856151f8c3e85dd19ea60483"],"state_sha256":"e1af9c4e8dda72ace5ea0cab9cef97f0d48fd65d2e811e03f897eb4c5ee91150"}