{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:WXFOPRGCXXS2FRVLXCKNSSK2U3","short_pith_number":"pith:WXFOPRGC","schema_version":"1.0","canonical_sha256":"b5cae7c4c2bde5a2c6abb894d9495aa6e96320a6570dd33bce54f9944710720b","source":{"kind":"arxiv","id":"2509.04271","version":1},"attestation_state":"computed","paper":{"title":"Stabilizers and NIP arithmetic regularity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR","math.LO"],"primary_cat":"math.CO","authors_text":"C. Terry, G. Conant","submitted_at":"2025-09-04T14:46:11Z","abstract_excerpt":"We give a new proof of the NIP arithmetic regularity lemma for finite groups (due to the authors and Pillay), which describes the approximate structure of \"NIP sets\" in finite groups, i.e., subsets whose collection of left translates has bounded VC-dimension. Our new proof avoids sophisticated ingredients from the model theory of NIP formulas (e.g., Borel definability and generic compact domination). The key tool is an elaboration on an elementary lemma due to Alon, Fox, and Zhao concerning the behavior of subgroups contained in stabilizers. We adapt this lemma to arbitrary subsets of stabiliz"},"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":"2509.04271","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-09-04T14:46:11Z","cross_cats_sorted":["math.GR","math.LO"],"title_canon_sha256":"21d7006293d8c8d16ed1c195a33fe2fccbca88278081dcf74a248d553ba2fa01","abstract_canon_sha256":"e16e11806ec19f679285cb3c3576e57f1d831a471e83e01de0a206b7802e3550"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:04:56.558730Z","signature_b64":"dCMC8mQ8llGvCRZMheCknF8NU5I+xnxQq/LUxtDoZPZvHTpMUQDq7DtoI0US8zkJidsvXiJXq7D8aqDbTSnjBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5cae7c4c2bde5a2c6abb894d9495aa6e96320a6570dd33bce54f9944710720b","last_reissued_at":"2026-07-05T12:04:56.558226Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:04:56.558226Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Stabilizers and NIP arithmetic regularity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR","math.LO"],"primary_cat":"math.CO","authors_text":"C. Terry, G. Conant","submitted_at":"2025-09-04T14:46:11Z","abstract_excerpt":"We give a new proof of the NIP arithmetic regularity lemma for finite groups (due to the authors and Pillay), which describes the approximate structure of \"NIP sets\" in finite groups, i.e., subsets whose collection of left translates has bounded VC-dimension. Our new proof avoids sophisticated ingredients from the model theory of NIP formulas (e.g., Borel definability and generic compact domination). The key tool is an elaboration on an elementary lemma due to Alon, Fox, and Zhao concerning the behavior of subgroups contained in stabilizers. We adapt this lemma to arbitrary subsets of stabiliz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04271","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/2509.04271/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":"2509.04271","created_at":"2026-07-05T12:04:56.558291+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.04271v1","created_at":"2026-07-05T12:04:56.558291+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04271","created_at":"2026-07-05T12:04:56.558291+00:00"},{"alias_kind":"pith_short_12","alias_value":"WXFOPRGCXXS2","created_at":"2026-07-05T12:04:56.558291+00:00"},{"alias_kind":"pith_short_16","alias_value":"WXFOPRGCXXS2FRVL","created_at":"2026-07-05T12:04:56.558291+00:00"},{"alias_kind":"pith_short_8","alias_value":"WXFOPRGC","created_at":"2026-07-05T12:04:56.558291+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/WXFOPRGCXXS2FRVLXCKNSSK2U3","json":"https://pith.science/pith/WXFOPRGCXXS2FRVLXCKNSSK2U3.json","graph_json":"https://pith.science/api/pith-number/WXFOPRGCXXS2FRVLXCKNSSK2U3/graph.json","events_json":"https://pith.science/api/pith-number/WXFOPRGCXXS2FRVLXCKNSSK2U3/events.json","paper":"https://pith.science/paper/WXFOPRGC"},"agent_actions":{"view_html":"https://pith.science/pith/WXFOPRGCXXS2FRVLXCKNSSK2U3","download_json":"https://pith.science/pith/WXFOPRGCXXS2FRVLXCKNSSK2U3.json","view_paper":"https://pith.science/paper/WXFOPRGC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.04271&json=true","fetch_graph":"https://pith.science/api/pith-number/WXFOPRGCXXS2FRVLXCKNSSK2U3/graph.json","fetch_events":"https://pith.science/api/pith-number/WXFOPRGCXXS2FRVLXCKNSSK2U3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WXFOPRGCXXS2FRVLXCKNSSK2U3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WXFOPRGCXXS2FRVLXCKNSSK2U3/action/storage_attestation","attest_author":"https://pith.science/pith/WXFOPRGCXXS2FRVLXCKNSSK2U3/action/author_attestation","sign_citation":"https://pith.science/pith/WXFOPRGCXXS2FRVLXCKNSSK2U3/action/citation_signature","submit_replication":"https://pith.science/pith/WXFOPRGCXXS2FRVLXCKNSSK2U3/action/replication_record"}},"created_at":"2026-07-05T12:04:56.558291+00:00","updated_at":"2026-07-05T12:04:56.558291+00:00"}