{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:5VX7PAMAGF7KHVNW7R7OLXOAMI","short_pith_number":"pith:5VX7PAMA","schema_version":"1.0","canonical_sha256":"ed6ff78180317ea3d5b6fc7ee5ddc0620df03ed77ded4c59136c15bcc8db9ae4","source":{"kind":"arxiv","id":"1409.0485","version":3},"attestation_state":"computed","paper":{"title":"Generalising Fisher's inequality to coverings and packings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Daniel Horsley","submitted_at":"2014-09-01T17:13:16Z","abstract_excerpt":"In 1940 Fisher famously showed that if there exists a non-trivial $(v,k,\\lambda)$-design then $\\lambda(v-1) \\geq k(k-1)$. Subsequently Bose gave an elegant alternative proof of Fisher's result. Here, we show that the idea behind Bose's proof can be generalised to obtain new bounds on the number of blocks in $(v,k,\\lambda)$-coverings and -packings with $\\lambda(v-1)<k(k-1)$."},"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":"1409.0485","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-09-01T17:13:16Z","cross_cats_sorted":[],"title_canon_sha256":"cdea02692597bf5c58d55f87c41d1172751f94f432de2a4842bea81508fe5b35","abstract_canon_sha256":"16a3282da0231c5dfb8143182600fd2a7f3fafdba46fb986ac3851469ef31a54"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:07.219858Z","signature_b64":"QMBRFcQib49DeNQAqNlgtaD36fgO3aaNyAalOGGv+2ORc4My15zBKYMocqg5R68StQzttNXd5/YauyeGiBbGCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed6ff78180317ea3d5b6fc7ee5ddc0620df03ed77ded4c59136c15bcc8db9ae4","last_reissued_at":"2026-05-18T01:09:07.219435Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:07.219435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Generalising Fisher's inequality to coverings and packings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Daniel Horsley","submitted_at":"2014-09-01T17:13:16Z","abstract_excerpt":"In 1940 Fisher famously showed that if there exists a non-trivial $(v,k,\\lambda)$-design then $\\lambda(v-1) \\geq k(k-1)$. Subsequently Bose gave an elegant alternative proof of Fisher's result. Here, we show that the idea behind Bose's proof can be generalised to obtain new bounds on the number of blocks in $(v,k,\\lambda)$-coverings and -packings with $\\lambda(v-1)<k(k-1)$."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.0485","kind":"arxiv","version":3},"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":"1409.0485","created_at":"2026-05-18T01:09:07.219503+00:00"},{"alias_kind":"arxiv_version","alias_value":"1409.0485v3","created_at":"2026-05-18T01:09:07.219503+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.0485","created_at":"2026-05-18T01:09:07.219503+00:00"},{"alias_kind":"pith_short_12","alias_value":"5VX7PAMAGF7K","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"5VX7PAMAGF7KHVNW","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"5VX7PAMA","created_at":"2026-05-18T12:28:16.859392+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/5VX7PAMAGF7KHVNW7R7OLXOAMI","json":"https://pith.science/pith/5VX7PAMAGF7KHVNW7R7OLXOAMI.json","graph_json":"https://pith.science/api/pith-number/5VX7PAMAGF7KHVNW7R7OLXOAMI/graph.json","events_json":"https://pith.science/api/pith-number/5VX7PAMAGF7KHVNW7R7OLXOAMI/events.json","paper":"https://pith.science/paper/5VX7PAMA"},"agent_actions":{"view_html":"https://pith.science/pith/5VX7PAMAGF7KHVNW7R7OLXOAMI","download_json":"https://pith.science/pith/5VX7PAMAGF7KHVNW7R7OLXOAMI.json","view_paper":"https://pith.science/paper/5VX7PAMA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1409.0485&json=true","fetch_graph":"https://pith.science/api/pith-number/5VX7PAMAGF7KHVNW7R7OLXOAMI/graph.json","fetch_events":"https://pith.science/api/pith-number/5VX7PAMAGF7KHVNW7R7OLXOAMI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5VX7PAMAGF7KHVNW7R7OLXOAMI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5VX7PAMAGF7KHVNW7R7OLXOAMI/action/storage_attestation","attest_author":"https://pith.science/pith/5VX7PAMAGF7KHVNW7R7OLXOAMI/action/author_attestation","sign_citation":"https://pith.science/pith/5VX7PAMAGF7KHVNW7R7OLXOAMI/action/citation_signature","submit_replication":"https://pith.science/pith/5VX7PAMAGF7KHVNW7R7OLXOAMI/action/replication_record"}},"created_at":"2026-05-18T01:09:07.219503+00:00","updated_at":"2026-05-18T01:09:07.219503+00:00"}