{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:CLCJYOBYE7MSFE6IJ5YFFQZK74","short_pith_number":"pith:CLCJYOBY","canonical_record":{"source":{"id":"1304.4132","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-15T15:29:54Z","cross_cats_sorted":[],"title_canon_sha256":"5a2988736de66741b2d40f9c934c795a2acb0e9803133c3185a923c1ef846e19","abstract_canon_sha256":"2ea1fd0b62e2aef3ea04d1b9f79951507397e7271c47e07938136776d8f0c363"},"schema_version":"1.0"},"canonical_sha256":"12c49c383827d92293c84f7052c32aff149bd48ce54dd41a0be5cee6c46f9440","source":{"kind":"arxiv","id":"1304.4132","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4132","created_at":"2026-05-18T02:57:26Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4132v2","created_at":"2026-05-18T02:57:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4132","created_at":"2026-05-18T02:57:26Z"},{"alias_kind":"pith_short_12","alias_value":"CLCJYOBYE7MS","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CLCJYOBYE7MSFE6I","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CLCJYOBY","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:CLCJYOBYE7MSFE6IJ5YFFQZK74","target":"record","payload":{"canonical_record":{"source":{"id":"1304.4132","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-15T15:29:54Z","cross_cats_sorted":[],"title_canon_sha256":"5a2988736de66741b2d40f9c934c795a2acb0e9803133c3185a923c1ef846e19","abstract_canon_sha256":"2ea1fd0b62e2aef3ea04d1b9f79951507397e7271c47e07938136776d8f0c363"},"schema_version":"1.0"},"canonical_sha256":"12c49c383827d92293c84f7052c32aff149bd48ce54dd41a0be5cee6c46f9440","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:57:26.971496Z","signature_b64":"Qq5HY0I1yuL1dhRhiXGgUJj1o7atVnqSBwZSk90wHAuK/u8/GJ4xtD4FWmgI77iP3UYzqHayRqeaVPeiFxA5Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"12c49c383827d92293c84f7052c32aff149bd48ce54dd41a0be5cee6c46f9440","last_reissued_at":"2026-05-18T02:57:26.970917Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:57:26.970917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.4132","source_version":2,"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:57:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gf+ZpaPmwG3CjreqinDH6JlxmNtmzDydUkbmByzHeX1NxxsYiIjrlLHfjfqKDSawm4bqil4NW2xUh+yyny0ZCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T21:50:00.255630Z"},"content_sha256":"d21b096a8cbaf4273d7c8f969eb538b7d0925c1fcd64f8513a20e20ecedb4ebd","schema_version":"1.0","event_id":"sha256:d21b096a8cbaf4273d7c8f969eb538b7d0925c1fcd64f8513a20e20ecedb4ebd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:CLCJYOBYE7MSFE6IJ5YFFQZK74","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Adam Marcus, Daniel A. Spielman, Nikhil Srivastava","submitted_at":"2013-04-15T15:29:54Z","abstract_excerpt":"We prove that there exist infinite families of regular bipartite Ramanujan graphs of every degree bigger than 2. We do this by proving a variant of a conjecture of Bilu and Linial about the existence of good 2-lifts of every graph.\n  We also establish the existence of infinite families of `irregular Ramanujan' graphs, whose eigenvalues are bounded by the spectral radius of their universal cover. Such families were conjectured to exist by Linial and others. In particular, we prove the existence of infinite families of (c,d)-biregular bipartite graphs with all non-trivial eigenvalues bounded by "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4132","kind":"arxiv","version":2},"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:57:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oCBP+7U43RJzPxpoAzn5fwYJz7grNa+AjaCb3/82qpG54vxyR7gpPZEhpG5q4xWnzd5Cmtzx5HvNdeL368GVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T21:50:00.256374Z"},"content_sha256":"115bd10c7c8f324ad4ebabd493fd30a27b261c6f3e242df023476c134898a531","schema_version":"1.0","event_id":"sha256:115bd10c7c8f324ad4ebabd493fd30a27b261c6f3e242df023476c134898a531"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CLCJYOBYE7MSFE6IJ5YFFQZK74/bundle.json","state_url":"https://pith.science/pith/CLCJYOBYE7MSFE6IJ5YFFQZK74/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CLCJYOBYE7MSFE6IJ5YFFQZK74/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-29T21:50:00Z","links":{"resolver":"https://pith.science/pith/CLCJYOBYE7MSFE6IJ5YFFQZK74","bundle":"https://pith.science/pith/CLCJYOBYE7MSFE6IJ5YFFQZK74/bundle.json","state":"https://pith.science/pith/CLCJYOBYE7MSFE6IJ5YFFQZK74/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CLCJYOBYE7MSFE6IJ5YFFQZK74/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CLCJYOBYE7MSFE6IJ5YFFQZK74","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":"2ea1fd0b62e2aef3ea04d1b9f79951507397e7271c47e07938136776d8f0c363","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-15T15:29:54Z","title_canon_sha256":"5a2988736de66741b2d40f9c934c795a2acb0e9803133c3185a923c1ef846e19"},"schema_version":"1.0","source":{"id":"1304.4132","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4132","created_at":"2026-05-18T02:57:26Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4132v2","created_at":"2026-05-18T02:57:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4132","created_at":"2026-05-18T02:57:26Z"},{"alias_kind":"pith_short_12","alias_value":"CLCJYOBYE7MS","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CLCJYOBYE7MSFE6I","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CLCJYOBY","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:115bd10c7c8f324ad4ebabd493fd30a27b261c6f3e242df023476c134898a531","target":"graph","created_at":"2026-05-18T02:57:26Z","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":"We prove that there exist infinite families of regular bipartite Ramanujan graphs of every degree bigger than 2. We do this by proving a variant of a conjecture of Bilu and Linial about the existence of good 2-lifts of every graph.\n  We also establish the existence of infinite families of `irregular Ramanujan' graphs, whose eigenvalues are bounded by the spectral radius of their universal cover. Such families were conjectured to exist by Linial and others. In particular, we prove the existence of infinite families of (c,d)-biregular bipartite graphs with all non-trivial eigenvalues bounded by ","authors_text":"Adam Marcus, Daniel A. Spielman, Nikhil Srivastava","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-15T15:29:54Z","title":"Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4132","kind":"arxiv","version":2},"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:d21b096a8cbaf4273d7c8f969eb538b7d0925c1fcd64f8513a20e20ecedb4ebd","target":"record","created_at":"2026-05-18T02:57:26Z","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":"2ea1fd0b62e2aef3ea04d1b9f79951507397e7271c47e07938136776d8f0c363","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-15T15:29:54Z","title_canon_sha256":"5a2988736de66741b2d40f9c934c795a2acb0e9803133c3185a923c1ef846e19"},"schema_version":"1.0","source":{"id":"1304.4132","kind":"arxiv","version":2}},"canonical_sha256":"12c49c383827d92293c84f7052c32aff149bd48ce54dd41a0be5cee6c46f9440","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"12c49c383827d92293c84f7052c32aff149bd48ce54dd41a0be5cee6c46f9440","first_computed_at":"2026-05-18T02:57:26.970917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:57:26.970917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Qq5HY0I1yuL1dhRhiXGgUJj1o7atVnqSBwZSk90wHAuK/u8/GJ4xtD4FWmgI77iP3UYzqHayRqeaVPeiFxA5Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:57:26.971496Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.4132","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d21b096a8cbaf4273d7c8f969eb538b7d0925c1fcd64f8513a20e20ecedb4ebd","sha256:115bd10c7c8f324ad4ebabd493fd30a27b261c6f3e242df023476c134898a531"],"state_sha256":"f31234763fb6e8699a51ac1244969846452c6df5ae3d8f127a4910c5585b5197"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q/dTPNBzeW6h5XewBAQNUgH1VaqC62VEOsxlNEodEJiD28tqwhh+Vizu+b7bz/jsaCcsM7zedGU9cqvUOKKjCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T21:50:00.260029Z","bundle_sha256":"0959d738da4115ff00e9ff2e03bfc6141bcefd18acef6d637f72a00a92f658c0"}}