{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:BG7AGDOCWLXDRGYN5IGVUFLCZ5","short_pith_number":"pith:BG7AGDOC","schema_version":"1.0","canonical_sha256":"09be030dc2b2ee389b0dea0d5a1562cf4bde4690d776a71d7e8a4ec8af9f665f","source":{"kind":"arxiv","id":"2505.22565","version":1},"attestation_state":"computed","paper":{"title":"The Ingleton inequality holds for metacyclic groups and fails for supersoluble groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IT","math.IT"],"primary_cat":"math.GR","authors_text":"David A. Craven","submitted_at":"2025-05-28T16:42:48Z","abstract_excerpt":"The Ingleton inequality first appeared in matroid theory, where Ingleton proved in 1971 that every rank function coming from a representable matroid on four subsets satisfies a particular inequality. Because this inequality is not implied by submodularity, Shannon-type axioms alone, it and various analogues play a central role in separately linear and non-linear phenomena in a variety of areas of mathematics. The Ingleton inequality for finite groups concerns the various intersections of four subgroups. It holds for many quadruples of subgroups of finite groups, but not all, the smallest examp"},"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":"2505.22565","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2025-05-28T16:42:48Z","cross_cats_sorted":["cs.IT","math.IT"],"title_canon_sha256":"4929ba992a081af095ead7732e13fcfa60c6679ee5f7a34eb4abe25e0d6bd520","abstract_canon_sha256":"d4d29f4a8dd34f697ff939e6fc0536de3b1b9c33f1c875d408bef04c97658143"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:11:26.758557Z","signature_b64":"C24EwKhqL1eN5KdRD3v5DG1vj0p+AKyc6zk2P8/xWXiUlvhz/RCqTCKaGeGzNOWVEb8JfOtaQLLR1HMsmItvCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"09be030dc2b2ee389b0dea0d5a1562cf4bde4690d776a71d7e8a4ec8af9f665f","last_reissued_at":"2026-07-05T11:11:26.758076Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:11:26.758076Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Ingleton inequality holds for metacyclic groups and fails for supersoluble groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.IT","math.IT"],"primary_cat":"math.GR","authors_text":"David A. Craven","submitted_at":"2025-05-28T16:42:48Z","abstract_excerpt":"The Ingleton inequality first appeared in matroid theory, where Ingleton proved in 1971 that every rank function coming from a representable matroid on four subsets satisfies a particular inequality. Because this inequality is not implied by submodularity, Shannon-type axioms alone, it and various analogues play a central role in separately linear and non-linear phenomena in a variety of areas of mathematics. The Ingleton inequality for finite groups concerns the various intersections of four subgroups. It holds for many quadruples of subgroups of finite groups, but not all, the smallest examp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22565","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2505.22565/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2505.22565","created_at":"2026-07-05T11:11:26.758133+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.22565v1","created_at":"2026-07-05T11:11:26.758133+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22565","created_at":"2026-07-05T11:11:26.758133+00:00"},{"alias_kind":"pith_short_12","alias_value":"BG7AGDOCWLXD","created_at":"2026-07-05T11:11:26.758133+00:00"},{"alias_kind":"pith_short_16","alias_value":"BG7AGDOCWLXDRGYN","created_at":"2026-07-05T11:11:26.758133+00:00"},{"alias_kind":"pith_short_8","alias_value":"BG7AGDOC","created_at":"2026-07-05T11:11:26.758133+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/BG7AGDOCWLXDRGYN5IGVUFLCZ5","json":"https://pith.science/pith/BG7AGDOCWLXDRGYN5IGVUFLCZ5.json","graph_json":"https://pith.science/api/pith-number/BG7AGDOCWLXDRGYN5IGVUFLCZ5/graph.json","events_json":"https://pith.science/api/pith-number/BG7AGDOCWLXDRGYN5IGVUFLCZ5/events.json","paper":"https://pith.science/paper/BG7AGDOC"},"agent_actions":{"view_html":"https://pith.science/pith/BG7AGDOCWLXDRGYN5IGVUFLCZ5","download_json":"https://pith.science/pith/BG7AGDOCWLXDRGYN5IGVUFLCZ5.json","view_paper":"https://pith.science/paper/BG7AGDOC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.22565&json=true","fetch_graph":"https://pith.science/api/pith-number/BG7AGDOCWLXDRGYN5IGVUFLCZ5/graph.json","fetch_events":"https://pith.science/api/pith-number/BG7AGDOCWLXDRGYN5IGVUFLCZ5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BG7AGDOCWLXDRGYN5IGVUFLCZ5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BG7AGDOCWLXDRGYN5IGVUFLCZ5/action/storage_attestation","attest_author":"https://pith.science/pith/BG7AGDOCWLXDRGYN5IGVUFLCZ5/action/author_attestation","sign_citation":"https://pith.science/pith/BG7AGDOCWLXDRGYN5IGVUFLCZ5/action/citation_signature","submit_replication":"https://pith.science/pith/BG7AGDOCWLXDRGYN5IGVUFLCZ5/action/replication_record"}},"created_at":"2026-07-05T11:11:26.758133+00:00","updated_at":"2026-07-05T11:11:26.758133+00:00"}