{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:ODHSQ6IMB5PO63AUZSFNK2NGNP","short_pith_number":"pith:ODHSQ6IM","schema_version":"1.0","canonical_sha256":"70cf28790c0f5eef6c14cc8ad569a66bc82946d49ef9453293dd2cb1378fb9c6","source":{"kind":"arxiv","id":"1305.3977","version":1},"attestation_state":"computed","paper":{"title":"Invariant Gaussian processes and independent sets on regular graphs of large girth","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.PR"],"primary_cat":"math.CO","authors_text":"Bal\\'azs Gerencs\\'er, B\\'alint Vir\\'ag, Endre Cs\\'oka, Viktor Harangi","submitted_at":"2013-05-17T04:31:24Z","abstract_excerpt":"We prove that every 3-regular, n-vertex simple graph with sufficiently large girth contains an independent set of size at least 0.4361n. (The best known bound is 0.4352n.) In fact, computer simulation suggests that the bound our method provides is about 0.438n.\n  Our method uses invariant Gaussian processes on the d-regular tree that satisfy the eigenvector equation at each vertex for a certain eigenvalue \\lambda. We show that such processes can be approximated by i.i.d. factors provided that $|\\lambda| \\leq 2\\sqrt{d-1}$. We then use these approximations for $\\lambda = -2\\sqrt{d-1}$ to produce"},"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.3977","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-05-17T04:31:24Z","cross_cats_sorted":["math.PR"],"title_canon_sha256":"74d01c33b9971037d477159d4cdc03696198d6c91f9c567ef9bbba3ab7b2a5e0","abstract_canon_sha256":"6f6b1f7790e86364d561b19d67d561c32bb7f449ee90e04fcbe324c9511e1ad2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:45.629006Z","signature_b64":"exJbeVVfjyxEai6m5bo/DJeGIlxfokYe7it6Ia/QjtMKnTE7fHzHRk9ecBgVXrGPNtrwSPEG9mQMSLrnTE8oDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"70cf28790c0f5eef6c14cc8ad569a66bc82946d49ef9453293dd2cb1378fb9c6","last_reissued_at":"2026-05-18T01:23:45.628301Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:45.628301Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Invariant Gaussian processes and independent sets on regular graphs of large girth","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.PR"],"primary_cat":"math.CO","authors_text":"Bal\\'azs Gerencs\\'er, B\\'alint Vir\\'ag, Endre Cs\\'oka, Viktor Harangi","submitted_at":"2013-05-17T04:31:24Z","abstract_excerpt":"We prove that every 3-regular, n-vertex simple graph with sufficiently large girth contains an independent set of size at least 0.4361n. (The best known bound is 0.4352n.) In fact, computer simulation suggests that the bound our method provides is about 0.438n.\n  Our method uses invariant Gaussian processes on the d-regular tree that satisfy the eigenvector equation at each vertex for a certain eigenvalue \\lambda. We show that such processes can be approximated by i.i.d. factors provided that $|\\lambda| \\leq 2\\sqrt{d-1}$. We then use these approximations for $\\lambda = -2\\sqrt{d-1}$ to produce"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1305.3977","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.3977","created_at":"2026-05-18T01:23:45.628410+00:00"},{"alias_kind":"arxiv_version","alias_value":"1305.3977v1","created_at":"2026-05-18T01:23:45.628410+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1305.3977","created_at":"2026-05-18T01:23:45.628410+00:00"},{"alias_kind":"pith_short_12","alias_value":"ODHSQ6IMB5PO","created_at":"2026-05-18T12:27:54.935989+00:00"},{"alias_kind":"pith_short_16","alias_value":"ODHSQ6IMB5PO63AU","created_at":"2026-05-18T12:27:54.935989+00:00"},{"alias_kind":"pith_short_8","alias_value":"ODHSQ6IM","created_at":"2026-05-18T12:27:54.935989+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/ODHSQ6IMB5PO63AUZSFNK2NGNP","json":"https://pith.science/pith/ODHSQ6IMB5PO63AUZSFNK2NGNP.json","graph_json":"https://pith.science/api/pith-number/ODHSQ6IMB5PO63AUZSFNK2NGNP/graph.json","events_json":"https://pith.science/api/pith-number/ODHSQ6IMB5PO63AUZSFNK2NGNP/events.json","paper":"https://pith.science/paper/ODHSQ6IM"},"agent_actions":{"view_html":"https://pith.science/pith/ODHSQ6IMB5PO63AUZSFNK2NGNP","download_json":"https://pith.science/pith/ODHSQ6IMB5PO63AUZSFNK2NGNP.json","view_paper":"https://pith.science/paper/ODHSQ6IM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1305.3977&json=true","fetch_graph":"https://pith.science/api/pith-number/ODHSQ6IMB5PO63AUZSFNK2NGNP/graph.json","fetch_events":"https://pith.science/api/pith-number/ODHSQ6IMB5PO63AUZSFNK2NGNP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ODHSQ6IMB5PO63AUZSFNK2NGNP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ODHSQ6IMB5PO63AUZSFNK2NGNP/action/storage_attestation","attest_author":"https://pith.science/pith/ODHSQ6IMB5PO63AUZSFNK2NGNP/action/author_attestation","sign_citation":"https://pith.science/pith/ODHSQ6IMB5PO63AUZSFNK2NGNP/action/citation_signature","submit_replication":"https://pith.science/pith/ODHSQ6IMB5PO63AUZSFNK2NGNP/action/replication_record"}},"created_at":"2026-05-18T01:23:45.628410+00:00","updated_at":"2026-05-18T01:23:45.628410+00:00"}