{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:K3UMD6CFBVVYJJCPJ3KIF3YQE6","short_pith_number":"pith:K3UMD6CF","canonical_record":{"source":{"id":"math/0404188","kind":"arxiv","version":6},"metadata":{"license":"","primary_cat":"math.NT","submitted_at":"2004-04-08T16:48:41Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"fd67bb7a2c70cc61e99d9cbccfd32e4efc849c0a2552226eeef6f2e92ef470d0","abstract_canon_sha256":"0da9014dd3d274c64f60124d81436a0608201bba17db8c97426b8852b101f943"},"schema_version":"1.0"},"canonical_sha256":"56e8c1f8450d6b84a44f4ed482ef1027b44789af35009b9ce128cbb458c23244","source":{"kind":"arxiv","id":"math/0404188","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0404188","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"arxiv_version","alias_value":"math/0404188v6","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0404188","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"pith_short_12","alias_value":"K3UMD6CFBVVY","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"pith_short_16","alias_value":"K3UMD6CFBVVYJJCP","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"pith_short_8","alias_value":"K3UMD6CF","created_at":"2026-07-04T15:04:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:K3UMD6CFBVVYJJCPJ3KIF3YQE6","target":"record","payload":{"canonical_record":{"source":{"id":"math/0404188","kind":"arxiv","version":6},"metadata":{"license":"","primary_cat":"math.NT","submitted_at":"2004-04-08T16:48:41Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"fd67bb7a2c70cc61e99d9cbccfd32e4efc849c0a2552226eeef6f2e92ef470d0","abstract_canon_sha256":"0da9014dd3d274c64f60124d81436a0608201bba17db8c97426b8852b101f943"},"schema_version":"1.0"},"canonical_sha256":"56e8c1f8450d6b84a44f4ed482ef1027b44789af35009b9ce128cbb458c23244","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T15:04:24.543148Z","signature_b64":"wwdQ1zqXn5Dr2wKzf/RDPHyl7vT6sjRbEkTawQyf4rt4yD7D5XtzNw6wcRo+6n/NVkNILkR2iB03iI3XNOwmDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56e8c1f8450d6b84a44f4ed482ef1027b44789af35009b9ce128cbb458c23244","last_reissued_at":"2026-07-04T15:04:24.542794Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T15:04:24.542794Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0404188","source_version":6,"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-07-04T15:04:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IQ9UV5l02WkBaf4cjhUP5CVAAY6+QolCQkKBI6hVem5E9Xx6fjoLVI3i1xs3reGUG6h63rPnV3zKYptF6vy3Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:10:13.093266Z"},"content_sha256":"8b60a8e4ccfb11d65565338e0de0d5bac38011bed8a2a4918dc090f70ad3e186","schema_version":"1.0","event_id":"sha256:8b60a8e4ccfb11d65565338e0de0d5bac38011bed8a2a4918dc090f70ad3e186"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:K3UMD6CFBVVYJJCPJ3KIF3YQE6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The primes contain arbitrarily long arithmetic progressions","license":"","headline":"","cross_cats":["math.DS"],"primary_cat":"math.NT","authors_text":"Ben Green, Terence Tao","submitted_at":"2004-04-08T16:48:41Z","abstract_excerpt":"We prove that there are arbitrarily long arithmetic progressions of primes.\n  There are three major ingredients. The first is Szemeredi's theorem, which asserts that any subset of the integers of positive density contains progressions of arbitrary length. The second, which is the main new ingredient of this paper, is a certain transference principle. This allows us to deduce from Szemeredi's theorem that any subset of a sufficiently pseudorandom set of positive relative density contains progressions of arbitrary length. The third ingredient is a recent result of Goldston and Yildirim. Using th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0404188","kind":"arxiv","version":6},"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/math/0404188/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"},"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-07-04T15:04:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VFtdi4bY7Cp1kXJ0YRarT0xVESE4uzbYCutyiWuigqvNTopO71ZmlyXptppKncl8ax9flRmpcDw4MALAVPFgDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:10:13.093960Z"},"content_sha256":"d29186d7aa8d2734a97c066f27679c826035c7285bc7ab8c8be07af26d1e3615","schema_version":"1.0","event_id":"sha256:d29186d7aa8d2734a97c066f27679c826035c7285bc7ab8c8be07af26d1e3615"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K3UMD6CFBVVYJJCPJ3KIF3YQE6/bundle.json","state_url":"https://pith.science/pith/K3UMD6CFBVVYJJCPJ3KIF3YQE6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K3UMD6CFBVVYJJCPJ3KIF3YQE6/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-08-07T08:10:13Z","links":{"resolver":"https://pith.science/pith/K3UMD6CFBVVYJJCPJ3KIF3YQE6","bundle":"https://pith.science/pith/K3UMD6CFBVVYJJCPJ3KIF3YQE6/bundle.json","state":"https://pith.science/pith/K3UMD6CFBVVYJJCPJ3KIF3YQE6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K3UMD6CFBVVYJJCPJ3KIF3YQE6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:K3UMD6CFBVVYJJCPJ3KIF3YQE6","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":"0da9014dd3d274c64f60124d81436a0608201bba17db8c97426b8852b101f943","cross_cats_sorted":["math.DS"],"license":"","primary_cat":"math.NT","submitted_at":"2004-04-08T16:48:41Z","title_canon_sha256":"fd67bb7a2c70cc61e99d9cbccfd32e4efc849c0a2552226eeef6f2e92ef470d0"},"schema_version":"1.0","source":{"id":"math/0404188","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0404188","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"arxiv_version","alias_value":"math/0404188v6","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0404188","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"pith_short_12","alias_value":"K3UMD6CFBVVY","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"pith_short_16","alias_value":"K3UMD6CFBVVYJJCP","created_at":"2026-07-04T15:04:24Z"},{"alias_kind":"pith_short_8","alias_value":"K3UMD6CF","created_at":"2026-07-04T15:04:24Z"}],"graph_snapshots":[{"event_id":"sha256:d29186d7aa8d2734a97c066f27679c826035c7285bc7ab8c8be07af26d1e3615","target":"graph","created_at":"2026-07-04T15:04:24Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/math/0404188/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We prove that there are arbitrarily long arithmetic progressions of primes.\n  There are three major ingredients. The first is Szemeredi's theorem, which asserts that any subset of the integers of positive density contains progressions of arbitrary length. The second, which is the main new ingredient of this paper, is a certain transference principle. This allows us to deduce from Szemeredi's theorem that any subset of a sufficiently pseudorandom set of positive relative density contains progressions of arbitrary length. The third ingredient is a recent result of Goldston and Yildirim. Using th","authors_text":"Ben Green, Terence Tao","cross_cats":["math.DS"],"headline":"","license":"","primary_cat":"math.NT","submitted_at":"2004-04-08T16:48:41Z","title":"The primes contain arbitrarily long arithmetic progressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0404188","kind":"arxiv","version":6},"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:8b60a8e4ccfb11d65565338e0de0d5bac38011bed8a2a4918dc090f70ad3e186","target":"record","created_at":"2026-07-04T15:04:24Z","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":"0da9014dd3d274c64f60124d81436a0608201bba17db8c97426b8852b101f943","cross_cats_sorted":["math.DS"],"license":"","primary_cat":"math.NT","submitted_at":"2004-04-08T16:48:41Z","title_canon_sha256":"fd67bb7a2c70cc61e99d9cbccfd32e4efc849c0a2552226eeef6f2e92ef470d0"},"schema_version":"1.0","source":{"id":"math/0404188","kind":"arxiv","version":6}},"canonical_sha256":"56e8c1f8450d6b84a44f4ed482ef1027b44789af35009b9ce128cbb458c23244","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56e8c1f8450d6b84a44f4ed482ef1027b44789af35009b9ce128cbb458c23244","first_computed_at":"2026-07-04T15:04:24.542794Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T15:04:24.542794Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wwdQ1zqXn5Dr2wKzf/RDPHyl7vT6sjRbEkTawQyf4rt4yD7D5XtzNw6wcRo+6n/NVkNILkR2iB03iI3XNOwmDA==","signature_status":"signed_v1","signed_at":"2026-07-04T15:04:24.543148Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0404188","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b60a8e4ccfb11d65565338e0de0d5bac38011bed8a2a4918dc090f70ad3e186","sha256:d29186d7aa8d2734a97c066f27679c826035c7285bc7ab8c8be07af26d1e3615"],"state_sha256":"2159c6417c32f16bc2826619509366834ae8305cc96a74db15f7c72fc98a59b8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4BFByHcdFmotEcpsadb7GztYTk/7ggIK5r8hVAslLIy7bNS0Dm8HwPp2Y9AJOKi0CeUJKpo8KftsdPlwcbtjAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T08:10:13.101437Z","bundle_sha256":"b8a0c36be4dfd729b14345782ff44f28f93fae420778405c4f3cd887e9a92019"}}