{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:CYDDSQJ5AB2WJSDSEBSNAN562N","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"739b65df6b0a353ed61d7e613714c22e5c7325cd1e7f14b7c8c87f77b3ea43ac","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-17T12:14:30Z","title_canon_sha256":"c71b0c9bc65c4e3b4f7fb680deaf3fb659c788203362814cdd55921d47f9d32f"},"schema_version":"1.0","source":{"id":"2605.17411","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17411","created_at":"2026-05-20T00:03:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17411v1","created_at":"2026-05-20T00:03:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17411","created_at":"2026-05-20T00:03:57Z"},{"alias_kind":"pith_short_12","alias_value":"CYDDSQJ5AB2W","created_at":"2026-05-20T00:03:57Z"},{"alias_kind":"pith_short_16","alias_value":"CYDDSQJ5AB2WJSDS","created_at":"2026-05-20T00:03:57Z"},{"alias_kind":"pith_short_8","alias_value":"CYDDSQJ5","created_at":"2026-05-20T00:03:57Z"}],"graph_snapshots":[{"event_id":"sha256:9e65259a5fa602bbc32f648e5d430d0360fe11b43aa13a5c95b17d226d85a445","target":"graph","created_at":"2026-05-20T00:03:57Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on Z that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on Z."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The Continuum Hypothesis is assumed to obtain the free Schur P-point on Z; the combinatorial characterization itself is taken as the basis for the explicit construction on Z."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Combinatorial characterization of Schur ultrafilters on countable commutative groups, plus construction of a free non-infinitary Schur ultrafilter on Z and existence of a free Schur P-point on Z under CH."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Schur ultrafilters on countable commutative groups have a combinatorial characterization that permits constructing a free non-infinitary example on the integers and a free Schur P-point under the continuum hypothesis."}],"snapshot_sha256":"4104c178fa941e6c8aa43d34cfb0bdeb85029247aef760a9f5cb6b80c840e0e2"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"f32468b9a558ef624d1a354330434c17a86c08e7cc38456de894122710817e24"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T23:01:19.624184Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T22:52:12.572797Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T21:41:57.745682Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.690245Z","status":"skipped","version":"1.0.0"}],"endpoint":"/pith/2605.17411/integrity.json","findings":[],"snapshot_sha256":"ea7b037f7d3e1f60602dc3cf7f435fd5ff8f4b787cb71a12be350d89c5b6eefa","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on $\\mathbb Z$ that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on $\\mathbb Z$.","authors_text":"S. Bardyla","cross_cats":["math.CO"],"headline":"Schur ultrafilters on countable commutative groups have a combinatorial characterization that permits constructing a free non-infinitary example on the integers and a free Schur P-point under the continuum hypothesis.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-17T12:14:30Z","title":"Combinatorics of Schur ultrafilters"},"references":{"count":9,"internal_anchors":1,"resolved_work":9,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"S. Bardyla, P. Zlatoˇ s,Schur ultrafilters and Bohr compactifications of topological groups, Israel J. Math. accepted (2025), arXiv.2409.07280","work_id":"1537f600-43e3-4068-84c3-e736cd922d29","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"D. Chodounsk´ y, O. Guzm´ an,There are no P-points in Silver extensions,Israel J. Math.232(2019), 759–773","work_id":"fed474b7-a615-4f7e-bf5e-e9b7e06a3558","year":2019},{"cited_arxiv_id":"1711.08076","doi":"","is_internal_anchor":true,"ref_index":3,"title":"Schur Number Five","work_id":"04c7e795-e3ec-4013-a86c-bf63bbfe2f01","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"N. Hindman, D. Strauss,Algebra in the Stone- ˇCech Compactification: Theory and Applications, Berlin, Boston: De Gruyter, 2012","work_id":"a272d694-0088-4d2b-b008-09a334496039","year":2012},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Kunen,Weak P-points inN ∗, Topology, Vol","work_id":"47ca028d-605a-4190-bc11-bad63f7ed8e0","year":1978}],"snapshot_sha256":"380157b4a8a859a47536ed07d0b1c4d04ef8fc8336fb5615318da83e430ec075"},"source":{"id":"2605.17411","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T22:38:57.365957Z","id":"457a2030-df81-4696-aca2-cb5da657538f","model_set":{"reader":"grok-4.3"},"one_line_summary":"Combinatorial characterization of Schur ultrafilters on countable commutative groups, plus construction of a free non-infinitary Schur ultrafilter on Z and existence of a free Schur P-point on Z under CH.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Schur ultrafilters on countable commutative groups have a combinatorial characterization that permits constructing a free non-infinitary example on the integers and a free Schur P-point under the continuum hypothesis.","strongest_claim":"We provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on Z that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on Z.","weakest_assumption":"The Continuum Hypothesis is assumed to obtain the free Schur P-point on Z; the combinatorial characterization itself is taken as the basis for the explicit construction on Z."}},"verdict_id":"457a2030-df81-4696-aca2-cb5da657538f"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7332d37e62c59ac1a5b8e5a8157202133fa07cc1bc86f90d70c85ebb6517c8b1","target":"record","created_at":"2026-05-20T00:03:57Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"739b65df6b0a353ed61d7e613714c22e5c7325cd1e7f14b7c8c87f77b3ea43ac","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2026-05-17T12:14:30Z","title_canon_sha256":"c71b0c9bc65c4e3b4f7fb680deaf3fb659c788203362814cdd55921d47f9d32f"},"schema_version":"1.0","source":{"id":"2605.17411","kind":"arxiv","version":1}},"canonical_sha256":"160639413d007564c8722064d037bed3405ac9ef4d8b498096449136c42fe738","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"160639413d007564c8722064d037bed3405ac9ef4d8b498096449136c42fe738","first_computed_at":"2026-05-20T00:03:57.108542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:03:57.108542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7hjwyfleZHmkPSR+jBsTdCDqCw8PMNmc/UPnTrDu3tlHCRidjmJatBWTIcgPSQdFYTa/aAO/uX+26iMjkjPgCg==","signature_status":"signed_v1","signed_at":"2026-05-20T00:03:57.109280Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.17411","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7332d37e62c59ac1a5b8e5a8157202133fa07cc1bc86f90d70c85ebb6517c8b1","sha256:9e65259a5fa602bbc32f648e5d430d0360fe11b43aa13a5c95b17d226d85a445"],"state_sha256":"89572925076152ee2deafe10b66492fa54ded8efd81065e1a3d8f19ef2384618"}