{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:JR3ERUUMUKO5XVEP4MDZN3JNBC","short_pith_number":"pith:JR3ERUUM","schema_version":"1.0","canonical_sha256":"4c7648d28ca29ddbd48fe30796ed2d0896f898f8a466819285ab903fdfbf6b6b","source":{"kind":"arxiv","id":"1305.6784","version":1},"attestation_state":"computed","paper":{"title":"Ramanujan graphings and correlation decay in local algorithms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.PR","authors_text":"Agnes Backhausz, Balazs Szegedy, Balint Virag","submitted_at":"2013-05-29T13:09:46Z","abstract_excerpt":"Let $G$ be a large-girth $d$-regular graph and $\\mu$ be a random process on the vertices of $G$ produced by a randomized local algorithm. We prove the upper bound $(k+1-2k/d)\\Bigl(\\frac{1}{\\sqrt{d-1}}\\Bigr)^k$ for the (absolute value of the) correlation of values on pairs of vertices of distance $k$ and show that this bound is optimal. The same results hold automatically for factor of i.i.d processes on the $d$-regular tree. In that case we give an explicit description for the (closure) of all possible correlation sequences. Our proof is based on the fact that the Bernoulli graphing of the inf"},"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":"1305.6784","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2013-05-29T13:09:46Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"b6389b6d7e1e04444d519b2825605e1a88b13651d7f4d832f927620be5be5121","abstract_canon_sha256":"7a3c21ad922ce40d288ff7abe94beddcc22caf02a6944ee9f19c6e4decffda1d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:45.604743Z","signature_b64":"Jc12TbKbwDjYA670m/3lZuPQrEdm6RBjN1BDNtTLgmz539CUUtlJTjG+0TLdyd9rzYxCv6CN7MxP5M6NEsnHCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4c7648d28ca29ddbd48fe30796ed2d0896f898f8a466819285ab903fdfbf6b6b","last_reissued_at":"2026-05-18T01:23:45.604236Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:45.604236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Ramanujan graphings and correlation decay in local algorithms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.PR","authors_text":"Agnes Backhausz, Balazs Szegedy, Balint Virag","submitted_at":"2013-05-29T13:09:46Z","abstract_excerpt":"Let $G$ be a large-girth $d$-regular graph and $\\mu$ be a random process on the vertices of $G$ produced by a randomized local algorithm. We prove the upper bound $(k+1-2k/d)\\Bigl(\\frac{1}{\\sqrt{d-1}}\\Bigr)^k$ for the (absolute value of the) correlation of values on pairs of vertices of distance $k$ and show that this bound is optimal. The same results hold automatically for factor of i.i.d processes on the $d$-regular tree. In that case we give an explicit description for the (closure) of all possible correlation sequences. Our proof is based on the fact that the Bernoulli graphing of the inf"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.6784","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":""},"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":"1305.6784","created_at":"2026-05-18T01:23:45.604311+00:00"},{"alias_kind":"arxiv_version","alias_value":"1305.6784v1","created_at":"2026-05-18T01:23:45.604311+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.6784","created_at":"2026-05-18T01:23:45.604311+00:00"},{"alias_kind":"pith_short_12","alias_value":"JR3ERUUMUKO5","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"JR3ERUUMUKO5XVEP","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"JR3ERUUM","created_at":"2026-05-18T12:27:49.015174+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/JR3ERUUMUKO5XVEP4MDZN3JNBC","json":"https://pith.science/pith/JR3ERUUMUKO5XVEP4MDZN3JNBC.json","graph_json":"https://pith.science/api/pith-number/JR3ERUUMUKO5XVEP4MDZN3JNBC/graph.json","events_json":"https://pith.science/api/pith-number/JR3ERUUMUKO5XVEP4MDZN3JNBC/events.json","paper":"https://pith.science/paper/JR3ERUUM"},"agent_actions":{"view_html":"https://pith.science/pith/JR3ERUUMUKO5XVEP4MDZN3JNBC","download_json":"https://pith.science/pith/JR3ERUUMUKO5XVEP4MDZN3JNBC.json","view_paper":"https://pith.science/paper/JR3ERUUM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1305.6784&json=true","fetch_graph":"https://pith.science/api/pith-number/JR3ERUUMUKO5XVEP4MDZN3JNBC/graph.json","fetch_events":"https://pith.science/api/pith-number/JR3ERUUMUKO5XVEP4MDZN3JNBC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JR3ERUUMUKO5XVEP4MDZN3JNBC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JR3ERUUMUKO5XVEP4MDZN3JNBC/action/storage_attestation","attest_author":"https://pith.science/pith/JR3ERUUMUKO5XVEP4MDZN3JNBC/action/author_attestation","sign_citation":"https://pith.science/pith/JR3ERUUMUKO5XVEP4MDZN3JNBC/action/citation_signature","submit_replication":"https://pith.science/pith/JR3ERUUMUKO5XVEP4MDZN3JNBC/action/replication_record"}},"created_at":"2026-05-18T01:23:45.604311+00:00","updated_at":"2026-05-18T01:23:45.604311+00:00"}