{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:VECAGBM4JKP4RBI6IUTBEWLEBI","short_pith_number":"pith:VECAGBM4","schema_version":"1.0","canonical_sha256":"a90403059c4a9fc8851e45261259640a2fd334ae3ba99c29059699575498c1e0","source":{"kind":"arxiv","id":"1509.05933","version":6},"attestation_state":"computed","paper":{"title":"There is no (75,32,10,16) strongly regular graph","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Jernej Azarija, Tilen Marc","submitted_at":"2015-09-19T19:43:13Z","abstract_excerpt":"We show that there is no (75,32,10,16) strongly regular graph. The result is obtained by a mix of algebraic and computational approaches. The main idea is to build large enough induced structure and apply the star complement technique. Our result implies that there is no regular two-graph on 76 vertices and no partial geometry with parameters pg(4,7,2). In particular, it implies that there is no (76,35,18,14) strongly-regular graph. In order to solve this classification problem we also develop an efficient algorithm for the problem of finding a maximal clique in a graph."},"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":"1509.05933","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-09-19T19:43:13Z","cross_cats_sorted":[],"title_canon_sha256":"196e560392395c89f69ff9e8db6416cd105ece54f8a97e4b8233a24284e9d260","abstract_canon_sha256":"1fe675a416df193475d5e1d7c0097671a859fc8af243c619336aa018ab20b125"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:45.014598Z","signature_b64":"AZZBp+4IVIf8QereeMupzDyeqCto/OkXCq7NFq6myNowGSagkZafQ20N2Rw2gQkWQkXXkUhQHJcny1XrS95BAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a90403059c4a9fc8851e45261259640a2fd334ae3ba99c29059699575498c1e0","last_reissued_at":"2026-05-18T00:34:45.013918Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:45.013918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"There is no (75,32,10,16) strongly regular graph","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Jernej Azarija, Tilen Marc","submitted_at":"2015-09-19T19:43:13Z","abstract_excerpt":"We show that there is no (75,32,10,16) strongly regular graph. The result is obtained by a mix of algebraic and computational approaches. The main idea is to build large enough induced structure and apply the star complement technique. Our result implies that there is no regular two-graph on 76 vertices and no partial geometry with parameters pg(4,7,2). In particular, it implies that there is no (76,35,18,14) strongly-regular graph. In order to solve this classification problem we also develop an efficient algorithm for the problem of finding a maximal clique in a graph."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05933","kind":"arxiv","version":6},"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":"1509.05933","created_at":"2026-05-18T00:34:45.014015+00:00"},{"alias_kind":"arxiv_version","alias_value":"1509.05933v6","created_at":"2026-05-18T00:34:45.014015+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05933","created_at":"2026-05-18T00:34:45.014015+00:00"},{"alias_kind":"pith_short_12","alias_value":"VECAGBM4JKP4","created_at":"2026-05-18T12:29:44.643036+00:00"},{"alias_kind":"pith_short_16","alias_value":"VECAGBM4JKP4RBI6","created_at":"2026-05-18T12:29:44.643036+00:00"},{"alias_kind":"pith_short_8","alias_value":"VECAGBM4","created_at":"2026-05-18T12:29:44.643036+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/VECAGBM4JKP4RBI6IUTBEWLEBI","json":"https://pith.science/pith/VECAGBM4JKP4RBI6IUTBEWLEBI.json","graph_json":"https://pith.science/api/pith-number/VECAGBM4JKP4RBI6IUTBEWLEBI/graph.json","events_json":"https://pith.science/api/pith-number/VECAGBM4JKP4RBI6IUTBEWLEBI/events.json","paper":"https://pith.science/paper/VECAGBM4"},"agent_actions":{"view_html":"https://pith.science/pith/VECAGBM4JKP4RBI6IUTBEWLEBI","download_json":"https://pith.science/pith/VECAGBM4JKP4RBI6IUTBEWLEBI.json","view_paper":"https://pith.science/paper/VECAGBM4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1509.05933&json=true","fetch_graph":"https://pith.science/api/pith-number/VECAGBM4JKP4RBI6IUTBEWLEBI/graph.json","fetch_events":"https://pith.science/api/pith-number/VECAGBM4JKP4RBI6IUTBEWLEBI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VECAGBM4JKP4RBI6IUTBEWLEBI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VECAGBM4JKP4RBI6IUTBEWLEBI/action/storage_attestation","attest_author":"https://pith.science/pith/VECAGBM4JKP4RBI6IUTBEWLEBI/action/author_attestation","sign_citation":"https://pith.science/pith/VECAGBM4JKP4RBI6IUTBEWLEBI/action/citation_signature","submit_replication":"https://pith.science/pith/VECAGBM4JKP4RBI6IUTBEWLEBI/action/replication_record"}},"created_at":"2026-05-18T00:34:45.014015+00:00","updated_at":"2026-05-18T00:34:45.014015+00:00"}