{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:GLRWDEIFFQKAPP5W6RJ32HD7X2","short_pith_number":"pith:GLRWDEIF","canonical_record":{"source":{"id":"1005.3749","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-05-20T16:07:04Z","cross_cats_sorted":[],"title_canon_sha256":"52e0dbfc470f28bf41b4f4688e7f4a40256032be0e2c863d27868478cb619625","abstract_canon_sha256":"18cbc1612069858d01c247d3a93791871cceb428876248d7c2c798f1656c23f9"},"schema_version":"1.0"},"canonical_sha256":"32e36191052c1407bfb6f453bd1c7fbea7b91cb14b6992df9b6a8da5b7351531","source":{"kind":"arxiv","id":"1005.3749","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1005.3749","created_at":"2026-05-18T04:24:53Z"},{"alias_kind":"arxiv_version","alias_value":"1005.3749v2","created_at":"2026-05-18T04:24:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.3749","created_at":"2026-05-18T04:24:53Z"},{"alias_kind":"pith_short_12","alias_value":"GLRWDEIFFQKA","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GLRWDEIFFQKAPP5W","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GLRWDEIF","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:GLRWDEIFFQKAPP5W6RJ32HD7X2","target":"record","payload":{"canonical_record":{"source":{"id":"1005.3749","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-05-20T16:07:04Z","cross_cats_sorted":[],"title_canon_sha256":"52e0dbfc470f28bf41b4f4688e7f4a40256032be0e2c863d27868478cb619625","abstract_canon_sha256":"18cbc1612069858d01c247d3a93791871cceb428876248d7c2c798f1656c23f9"},"schema_version":"1.0"},"canonical_sha256":"32e36191052c1407bfb6f453bd1c7fbea7b91cb14b6992df9b6a8da5b7351531","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:24:53.110049Z","signature_b64":"H9xlj6ZUZoCWuc2tmuEEqK2ypVhT4za0rjbarxWINnjLcZ049W8HfqX9CRqTTS4/pc1a/Zz/j5e64Jx41MOfCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32e36191052c1407bfb6f453bd1c7fbea7b91cb14b6992df9b6a8da5b7351531","last_reissued_at":"2026-05-18T04:24:53.109565Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:24:53.109565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1005.3749","source_version":2,"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-18T04:24:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mMiO1q+IDoNdZ95BPdW6qbi4M5iXObHnzKMIG435LQOxbwVwPiyz/TVZlcjcSR/DBL+iw6Lrx5aynUUncwSJDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:00:55.807760Z"},"content_sha256":"c4b807c67430b0692dea9272389765c6a8b8f9b478c848ae22f8eb08f1ff4f6f","schema_version":"1.0","event_id":"sha256:c4b807c67430b0692dea9272389765c6a8b8f9b478c848ae22f8eb08f1ff4f6f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:GLRWDEIFFQKAPP5W6RJ32HD7X2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lower Bounds on the van der Waerden Numbers: Randomized- and Deterministic-Constructive","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Bernhard Haeupler, William Gasarch","submitted_at":"2010-05-20T16:07:04Z","abstract_excerpt":"The van der Waerden number W(k,2) is the smallest integer n such that every 2-coloring of 1 to n has a monochromatic arithmetic progression of length k. The existence of such an n for any k is due to van der Waerden but known upper bounds on W(k,2) are enormous. Much effort was put into developing lower bounds on W(k,2). Most of these lower bound proofs employ the probabilistic method often in combination with the Lov\\'asz Local Lemma. While these proofs show the existence of a 2-coloring that has no monochromatic arithmetic progression of length k they provide no efficient algorithm to find s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.3749","kind":"arxiv","version":2},"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-18T04:24:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Um5kM7YihVKDL6OY69xMvhUDVivsgcYETIPrbQCdam/1i/tSviQMcBz88FZw1hCuVT2F6hOMP5wY9V5yyM6Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T05:00:55.808344Z"},"content_sha256":"aa27fff18c57775abacf8884303c14589428be8475d6623ef1db85d28264a4ba","schema_version":"1.0","event_id":"sha256:aa27fff18c57775abacf8884303c14589428be8475d6623ef1db85d28264a4ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GLRWDEIFFQKAPP5W6RJ32HD7X2/bundle.json","state_url":"https://pith.science/pith/GLRWDEIFFQKAPP5W6RJ32HD7X2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GLRWDEIFFQKAPP5W6RJ32HD7X2/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-05-30T05:00:55Z","links":{"resolver":"https://pith.science/pith/GLRWDEIFFQKAPP5W6RJ32HD7X2","bundle":"https://pith.science/pith/GLRWDEIFFQKAPP5W6RJ32HD7X2/bundle.json","state":"https://pith.science/pith/GLRWDEIFFQKAPP5W6RJ32HD7X2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GLRWDEIFFQKAPP5W6RJ32HD7X2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:GLRWDEIFFQKAPP5W6RJ32HD7X2","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":"18cbc1612069858d01c247d3a93791871cceb428876248d7c2c798f1656c23f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-05-20T16:07:04Z","title_canon_sha256":"52e0dbfc470f28bf41b4f4688e7f4a40256032be0e2c863d27868478cb619625"},"schema_version":"1.0","source":{"id":"1005.3749","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1005.3749","created_at":"2026-05-18T04:24:53Z"},{"alias_kind":"arxiv_version","alias_value":"1005.3749v2","created_at":"2026-05-18T04:24:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1005.3749","created_at":"2026-05-18T04:24:53Z"},{"alias_kind":"pith_short_12","alias_value":"GLRWDEIFFQKA","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GLRWDEIFFQKAPP5W","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GLRWDEIF","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:aa27fff18c57775abacf8884303c14589428be8475d6623ef1db85d28264a4ba","target":"graph","created_at":"2026-05-18T04:24:53Z","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":"The van der Waerden number W(k,2) is the smallest integer n such that every 2-coloring of 1 to n has a monochromatic arithmetic progression of length k. The existence of such an n for any k is due to van der Waerden but known upper bounds on W(k,2) are enormous. Much effort was put into developing lower bounds on W(k,2). Most of these lower bound proofs employ the probabilistic method often in combination with the Lov\\'asz Local Lemma. While these proofs show the existence of a 2-coloring that has no monochromatic arithmetic progression of length k they provide no efficient algorithm to find s","authors_text":"Bernhard Haeupler, William Gasarch","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-05-20T16:07:04Z","title":"Lower Bounds on the van der Waerden Numbers: Randomized- and Deterministic-Constructive"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1005.3749","kind":"arxiv","version":2},"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:c4b807c67430b0692dea9272389765c6a8b8f9b478c848ae22f8eb08f1ff4f6f","target":"record","created_at":"2026-05-18T04:24:53Z","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":"18cbc1612069858d01c247d3a93791871cceb428876248d7c2c798f1656c23f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2010-05-20T16:07:04Z","title_canon_sha256":"52e0dbfc470f28bf41b4f4688e7f4a40256032be0e2c863d27868478cb619625"},"schema_version":"1.0","source":{"id":"1005.3749","kind":"arxiv","version":2}},"canonical_sha256":"32e36191052c1407bfb6f453bd1c7fbea7b91cb14b6992df9b6a8da5b7351531","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"32e36191052c1407bfb6f453bd1c7fbea7b91cb14b6992df9b6a8da5b7351531","first_computed_at":"2026-05-18T04:24:53.109565Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:24:53.109565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H9xlj6ZUZoCWuc2tmuEEqK2ypVhT4za0rjbarxWINnjLcZ049W8HfqX9CRqTTS4/pc1a/Zz/j5e64Jx41MOfCw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:24:53.110049Z","signed_message":"canonical_sha256_bytes"},"source_id":"1005.3749","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4b807c67430b0692dea9272389765c6a8b8f9b478c848ae22f8eb08f1ff4f6f","sha256:aa27fff18c57775abacf8884303c14589428be8475d6623ef1db85d28264a4ba"],"state_sha256":"db889af9311c0235feb9f97c2e7a0e42d0a8b1f02c45a00deb7d2d5da1d71c75"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d6Gz1ET9SOn9Q3/e0qNKU/pcV+Km8Y2ECOgcizD0VVaTYsL1ZU5Ac6rhu5pPVr4HmC0K3JLo0G9hQ4RLqq36AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T05:00:55.811331Z","bundle_sha256":"9bdf38c8669242b32347acc6959a6eb9bad9a6bb5b6a9568a954c6dbf1e7f5ae"}}