{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:VFRV3ONVSAEL7SPBOFNVTDFN6I","short_pith_number":"pith:VFRV3ONV","canonical_record":{"source":{"id":"1206.0967","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.FA","submitted_at":"2012-06-05T15:44:32Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"73f2afa5cbecb8268c3824071ce2512aadfd3513f5e5e06f3c92060a1047b675","abstract_canon_sha256":"ac1e9394e8f2d9f3c10f28bb1232c2d0a75900a5e0dcf2213cc188346b4ea3be"},"schema_version":"1.0"},"canonical_sha256":"a9635db9b59008bfc9e1715b598cadf22a0fccfbcecbf9a7ee3e06d7f7bdc636","source":{"kind":"arxiv","id":"1206.0967","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.0967","created_at":"2026-05-18T03:54:15Z"},{"alias_kind":"arxiv_version","alias_value":"1206.0967v1","created_at":"2026-05-18T03:54:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.0967","created_at":"2026-05-18T03:54:15Z"},{"alias_kind":"pith_short_12","alias_value":"VFRV3ONVSAEL","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"VFRV3ONVSAEL7SPB","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"VFRV3ONV","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:VFRV3ONVSAEL7SPBOFNVTDFN6I","target":"record","payload":{"canonical_record":{"source":{"id":"1206.0967","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.FA","submitted_at":"2012-06-05T15:44:32Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"73f2afa5cbecb8268c3824071ce2512aadfd3513f5e5e06f3c92060a1047b675","abstract_canon_sha256":"ac1e9394e8f2d9f3c10f28bb1232c2d0a75900a5e0dcf2213cc188346b4ea3be"},"schema_version":"1.0"},"canonical_sha256":"a9635db9b59008bfc9e1715b598cadf22a0fccfbcecbf9a7ee3e06d7f7bdc636","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:54:15.647770Z","signature_b64":"U8g1xa8lvTTd0X8SzHB/sshIAB5AXSsQUxx34mXuy0umqRfJ4m6Aq3rjGal3CFVXY9YEK+vyttr+fGZnO6SfBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a9635db9b59008bfc9e1715b598cadf22a0fccfbcecbf9a7ee3e06d7f7bdc636","last_reissued_at":"2026-05-18T03:54:15.647300Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:54:15.647300Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.0967","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:54:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C+3VJCJN7JP6bDvCIC2FpKglWDMVrgoh359nWnEE0utZ0hmH08pCgMPeB8+wb3oaO15M7Jv6/iVXGjcPOIvVBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:34:59.261283Z"},"content_sha256":"82f4539ee8d1baa76f90d412c210429f1b13feae5f9c041517fd206a36f5afdd","schema_version":"1.0","event_id":"sha256:82f4539ee8d1baa76f90d412c210429f1b13feae5f9c041517fd206a36f5afdd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:VFRV3ONVSAEL7SPBOFNVTDFN6I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formulating Szemer\\'edi's Theorem in Terms of Ultrafilters","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.FA","authors_text":"Heinrich-Gregor Zirnstein","submitted_at":"2012-06-05T15:44:32Z","abstract_excerpt":"Van der Waerden's theorem asserts that if you color the natural numbers with, say, five different colors, then you can always find arbitrarily long sequences of numbers that have the same color and that form an arithmetic progression. Szemer\\'edi's theorem generalizes this statement and asserts that every subset of natural numbers with positive density contains arithmetic progressions of arbitrary length.\n  Van der Waerden's theorem can be proven using elementary combinatorics, but it is also possible to give an interpretation and a short proof in terms of ultrafilters and the Stone-\\v{C}ech c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.0967","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:54:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Q4/An2dxDnMnBlS3ya5fSdgd70MAVUluWfYm4LjDGyYJ/AtppKdBIpKalY/GWXTIS4dPZBddZneTfYqC1trDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T10:34:59.261633Z"},"content_sha256":"acd1d078bca8f4de0de091fdacb4e0ce6d1e8a19802bb095449a1a84e8fbb096","schema_version":"1.0","event_id":"sha256:acd1d078bca8f4de0de091fdacb4e0ce6d1e8a19802bb095449a1a84e8fbb096"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VFRV3ONVSAEL7SPBOFNVTDFN6I/bundle.json","state_url":"https://pith.science/pith/VFRV3ONVSAEL7SPBOFNVTDFN6I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VFRV3ONVSAEL7SPBOFNVTDFN6I/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-05T10:34:59Z","links":{"resolver":"https://pith.science/pith/VFRV3ONVSAEL7SPBOFNVTDFN6I","bundle":"https://pith.science/pith/VFRV3ONVSAEL7SPBOFNVTDFN6I/bundle.json","state":"https://pith.science/pith/VFRV3ONVSAEL7SPBOFNVTDFN6I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VFRV3ONVSAEL7SPBOFNVTDFN6I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:VFRV3ONVSAEL7SPBOFNVTDFN6I","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":"ac1e9394e8f2d9f3c10f28bb1232c2d0a75900a5e0dcf2213cc188346b4ea3be","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.FA","submitted_at":"2012-06-05T15:44:32Z","title_canon_sha256":"73f2afa5cbecb8268c3824071ce2512aadfd3513f5e5e06f3c92060a1047b675"},"schema_version":"1.0","source":{"id":"1206.0967","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.0967","created_at":"2026-05-18T03:54:15Z"},{"alias_kind":"arxiv_version","alias_value":"1206.0967v1","created_at":"2026-05-18T03:54:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.0967","created_at":"2026-05-18T03:54:15Z"},{"alias_kind":"pith_short_12","alias_value":"VFRV3ONVSAEL","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"VFRV3ONVSAEL7SPB","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"VFRV3ONV","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:acd1d078bca8f4de0de091fdacb4e0ce6d1e8a19802bb095449a1a84e8fbb096","target":"graph","created_at":"2026-05-18T03:54:15Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Van der Waerden's theorem asserts that if you color the natural numbers with, say, five different colors, then you can always find arbitrarily long sequences of numbers that have the same color and that form an arithmetic progression. Szemer\\'edi's theorem generalizes this statement and asserts that every subset of natural numbers with positive density contains arithmetic progressions of arbitrary length.\n  Van der Waerden's theorem can be proven using elementary combinatorics, but it is also possible to give an interpretation and a short proof in terms of ultrafilters and the Stone-\\v{C}ech c","authors_text":"Heinrich-Gregor Zirnstein","cross_cats":["math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.FA","submitted_at":"2012-06-05T15:44:32Z","title":"Formulating Szemer\\'edi's Theorem in Terms of Ultrafilters"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.0967","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:82f4539ee8d1baa76f90d412c210429f1b13feae5f9c041517fd206a36f5afdd","target":"record","created_at":"2026-05-18T03:54:15Z","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":"ac1e9394e8f2d9f3c10f28bb1232c2d0a75900a5e0dcf2213cc188346b4ea3be","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"math.FA","submitted_at":"2012-06-05T15:44:32Z","title_canon_sha256":"73f2afa5cbecb8268c3824071ce2512aadfd3513f5e5e06f3c92060a1047b675"},"schema_version":"1.0","source":{"id":"1206.0967","kind":"arxiv","version":1}},"canonical_sha256":"a9635db9b59008bfc9e1715b598cadf22a0fccfbcecbf9a7ee3e06d7f7bdc636","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a9635db9b59008bfc9e1715b598cadf22a0fccfbcecbf9a7ee3e06d7f7bdc636","first_computed_at":"2026-05-18T03:54:15.647300Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:54:15.647300Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U8g1xa8lvTTd0X8SzHB/sshIAB5AXSsQUxx34mXuy0umqRfJ4m6Aq3rjGal3CFVXY9YEK+vyttr+fGZnO6SfBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:54:15.647770Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.0967","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82f4539ee8d1baa76f90d412c210429f1b13feae5f9c041517fd206a36f5afdd","sha256:acd1d078bca8f4de0de091fdacb4e0ce6d1e8a19802bb095449a1a84e8fbb096"],"state_sha256":"a3fa687704ce4215a7d6c95aa3d8342c0a04906320b3675209e26390219668d7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LYrZf/54VIDecpjkFTJtu2iZGvuG8R8sOLLhPWDHzpq96mSalWJb2gA5SoD7b/cUI2bXM5PBk8RLovRQXkfBCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T10:34:59.263357Z","bundle_sha256":"02d73d1858e1035753098ea77c4b955fe8e73194f83f852f918dd1cb24db08ab"}}