{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:GHTHKQE73DRQTYTRXJ7MHG3HWG","short_pith_number":"pith:GHTHKQE7","canonical_record":{"source":{"id":"0906.1238","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2009-06-06T01:01:37Z","cross_cats_sorted":[],"title_canon_sha256":"840fd75ece6a6205948032afc803ed75b7ef41ba374044ec35b3d7cbb3b7696f","abstract_canon_sha256":"ff333e1ded23c8e518216514fcc4a39d7a48e834ac1c2ced083ca21db8106e27"},"schema_version":"1.0"},"canonical_sha256":"31e675409fd8e309e271ba7ec39b67b1bb1fe5cb53b4df02b8a125b8094c35ae","source":{"kind":"arxiv","id":"0906.1238","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0906.1238","created_at":"2026-05-18T02:13:28Z"},{"alias_kind":"arxiv_version","alias_value":"0906.1238v4","created_at":"2026-05-18T02:13:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0906.1238","created_at":"2026-05-18T02:13:28Z"},{"alias_kind":"pith_short_12","alias_value":"GHTHKQE73DRQ","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"GHTHKQE73DRQTYTR","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"GHTHKQE7","created_at":"2026-05-18T12:25:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:GHTHKQE73DRQTYTRXJ7MHG3HWG","target":"record","payload":{"canonical_record":{"source":{"id":"0906.1238","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2009-06-06T01:01:37Z","cross_cats_sorted":[],"title_canon_sha256":"840fd75ece6a6205948032afc803ed75b7ef41ba374044ec35b3d7cbb3b7696f","abstract_canon_sha256":"ff333e1ded23c8e518216514fcc4a39d7a48e834ac1c2ced083ca21db8106e27"},"schema_version":"1.0"},"canonical_sha256":"31e675409fd8e309e271ba7ec39b67b1bb1fe5cb53b4df02b8a125b8094c35ae","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:13:28.581146Z","signature_b64":"M8AnqnhuQIXjL+Zqxpnit1Y/c6OO5eTlZGUmntRx/Nv8hIX//XPAF7W3fBsi7M3zF0iKRcu8r3MdD9EQp7wlAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31e675409fd8e309e271ba7ec39b67b1bb1fe5cb53b4df02b8a125b8094c35ae","last_reissued_at":"2026-05-18T02:13:28.580663Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:13:28.580663Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0906.1238","source_version":4,"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-05-18T02:13:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NNrLvHNvu7xW6iYozSHZkHerh8I7SFZ/VXRQ6s7H/OGWeGoTr2fzuy70qHPfJV6bjYeKJKI4m49t5A3zSKJIBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:23:47.669351Z"},"content_sha256":"b7507e3ae215bdd0745389fe551f82a14140314ec8bbe2f01678fa74b53ebcfb","schema_version":"1.0","event_id":"sha256:b7507e3ae215bdd0745389fe551f82a14140314ec8bbe2f01678fa74b53ebcfb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:GHTHKQE73DRQTYTRXJ7MHG3HWG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proof of Aldous' spectral gap conjecture","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.PR","authors_text":"Pietro Caputo, Thomas M. Liggett, Thomas Richthammer","submitted_at":"2009-06-06T01:01:37Z","abstract_excerpt":"Aldous' spectral gap conjecture asserts that on any graph the random walk process and the random transposition (or interchange) process have the same spectral gap. We prove the conjecture using a recursive strategy. The approach is a natural extension of the method already used to prove the validity of the conjecture on trees. The novelty is an idea based on electric network reduction, which reduces the problem to the proof of an explicit inequality for a random transposition operator involving both positive and negative rates. The proof of the latter inequality uses suitable coset decompositi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0906.1238","kind":"arxiv","version":4},"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"},"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-05-18T02:13:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IKqD8DBZ6b4kmxUzfNOUovgLA9cUmupHCRdqiOg6c2mCfe1RtkeLcNitf5NeMrhiMRwrCokQUSpGJqVa2KP2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T17:23:47.670002Z"},"content_sha256":"d71ac4d268b7d616b8bccaac2d2d18d5452290eb1f7be9d9a82cdacb7bf94c30","schema_version":"1.0","event_id":"sha256:d71ac4d268b7d616b8bccaac2d2d18d5452290eb1f7be9d9a82cdacb7bf94c30"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GHTHKQE73DRQTYTRXJ7MHG3HWG/bundle.json","state_url":"https://pith.science/pith/GHTHKQE73DRQTYTRXJ7MHG3HWG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GHTHKQE73DRQTYTRXJ7MHG3HWG/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-05-28T17:23:47Z","links":{"resolver":"https://pith.science/pith/GHTHKQE73DRQTYTRXJ7MHG3HWG","bundle":"https://pith.science/pith/GHTHKQE73DRQTYTRXJ7MHG3HWG/bundle.json","state":"https://pith.science/pith/GHTHKQE73DRQTYTRXJ7MHG3HWG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GHTHKQE73DRQTYTRXJ7MHG3HWG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:GHTHKQE73DRQTYTRXJ7MHG3HWG","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":"ff333e1ded23c8e518216514fcc4a39d7a48e834ac1c2ced083ca21db8106e27","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2009-06-06T01:01:37Z","title_canon_sha256":"840fd75ece6a6205948032afc803ed75b7ef41ba374044ec35b3d7cbb3b7696f"},"schema_version":"1.0","source":{"id":"0906.1238","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0906.1238","created_at":"2026-05-18T02:13:28Z"},{"alias_kind":"arxiv_version","alias_value":"0906.1238v4","created_at":"2026-05-18T02:13:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0906.1238","created_at":"2026-05-18T02:13:28Z"},{"alias_kind":"pith_short_12","alias_value":"GHTHKQE73DRQ","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"GHTHKQE73DRQTYTR","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"GHTHKQE7","created_at":"2026-05-18T12:25:59Z"}],"graph_snapshots":[{"event_id":"sha256:d71ac4d268b7d616b8bccaac2d2d18d5452290eb1f7be9d9a82cdacb7bf94c30","target":"graph","created_at":"2026-05-18T02:13:28Z","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":"Aldous' spectral gap conjecture asserts that on any graph the random walk process and the random transposition (or interchange) process have the same spectral gap. We prove the conjecture using a recursive strategy. The approach is a natural extension of the method already used to prove the validity of the conjecture on trees. The novelty is an idea based on electric network reduction, which reduces the problem to the proof of an explicit inequality for a random transposition operator involving both positive and negative rates. The proof of the latter inequality uses suitable coset decompositi","authors_text":"Pietro Caputo, Thomas M. Liggett, Thomas Richthammer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2009-06-06T01:01:37Z","title":"Proof of Aldous' spectral gap conjecture"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0906.1238","kind":"arxiv","version":4},"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:b7507e3ae215bdd0745389fe551f82a14140314ec8bbe2f01678fa74b53ebcfb","target":"record","created_at":"2026-05-18T02:13:28Z","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":"ff333e1ded23c8e518216514fcc4a39d7a48e834ac1c2ced083ca21db8106e27","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2009-06-06T01:01:37Z","title_canon_sha256":"840fd75ece6a6205948032afc803ed75b7ef41ba374044ec35b3d7cbb3b7696f"},"schema_version":"1.0","source":{"id":"0906.1238","kind":"arxiv","version":4}},"canonical_sha256":"31e675409fd8e309e271ba7ec39b67b1bb1fe5cb53b4df02b8a125b8094c35ae","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31e675409fd8e309e271ba7ec39b67b1bb1fe5cb53b4df02b8a125b8094c35ae","first_computed_at":"2026-05-18T02:13:28.580663Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:13:28.580663Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M8AnqnhuQIXjL+Zqxpnit1Y/c6OO5eTlZGUmntRx/Nv8hIX//XPAF7W3fBsi7M3zF0iKRcu8r3MdD9EQp7wlAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:13:28.581146Z","signed_message":"canonical_sha256_bytes"},"source_id":"0906.1238","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7507e3ae215bdd0745389fe551f82a14140314ec8bbe2f01678fa74b53ebcfb","sha256:d71ac4d268b7d616b8bccaac2d2d18d5452290eb1f7be9d9a82cdacb7bf94c30"],"state_sha256":"d6c4cd13308c1e219aafc9c90948cd64a99fb93b949b932995ce68aba2597a9f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lksSIeg9ovjLa70x+5m2VltURe/TfEGBm8qVY9fl0nuycN+BVPibkokvMSVyRlZCGBYxTYwdP6qMdAEoejA1BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T17:23:47.673113Z","bundle_sha256":"31dce8fc29c6050a9337dfbd36dc0df560e4530a8cc3014408460f2bfb33c269"}}