{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","short_pith_number":"pith:U5ENM3MI","canonical_record":{"source":{"id":"2605.15147","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-14T17:49:42Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"fa0e689de7314aaa9a400c21b9b81c228aa37e5e3372ba8b61ed8dc054384368","abstract_canon_sha256":"7ddfed18f5a04c8e9c3d5f20bac5da50f42db08844541595b464a2d907f4d450"},"schema_version":"1.0"},"canonical_sha256":"a748d66d88a895030ff3b483092eb39f42f1eb297a68ef42cb433040ca2a7f6f","source":{"kind":"arxiv","id":"2605.15147","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15147","created_at":"2026-05-17T21:18:33Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15147v1","created_at":"2026-05-17T21:18:33Z"},{"alias_kind":"pith_short_12","alias_value":"U5ENM3MIVCKQ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"U5ENM3MIVCKQGD7T","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"U5ENM3MI","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","target":"record","payload":{"canonical_record":{"source":{"id":"2605.15147","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-14T17:49:42Z","cross_cats_sorted":["math.NT"],"title_canon_sha256":"fa0e689de7314aaa9a400c21b9b81c228aa37e5e3372ba8b61ed8dc054384368","abstract_canon_sha256":"7ddfed18f5a04c8e9c3d5f20bac5da50f42db08844541595b464a2d907f4d450"},"schema_version":"1.0"},"canonical_sha256":"a748d66d88a895030ff3b483092eb39f42f1eb297a68ef42cb433040ca2a7f6f","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.2","canonical_sha256":"a748d66d88a895030ff3b483092eb39f42f1eb297a68ef42cb433040ca2a7f6f","last_reissued_at":"2026-05-17T21:57:18.826133Z","signature_status":"unsigned_v0","first_computed_at":"2026-05-17T21:40:25.506232Z"},"source_kind":"arxiv","source_id":"2605.15147","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-17T21:18:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qilk6w4St4yGczDZmWqzuud3QnMmg050hXMwleqDIaWQ1Pgz16KPe0eOUEGiVPCgtwLUuBOKJd6wogBAqFXDDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T13:53:02.943119Z"},"content_sha256":"3f5f879547d09ced3afb7c8b414cfd86b7963a358705c0e31e368d71e25126e2","schema_version":"1.0","event_id":"sha256:3f5f879547d09ced3afb7c8b414cfd86b7963a358705c0e31e368d71e25126e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improved Ramsey bounds for generalized Schur equations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"For N larger than (2m+1)^r times (r!)^{1/m}, any r-coloring of [N] forces a monochromatic solution to x1+...+x_{m+1}=y1+...+ym.","cross_cats":["math.NT"],"primary_cat":"math.CO","authors_text":"Cosmin Pohoata, Eion Mulrenin, Michael Zheng, Rafael Miyazaki","submitted_at":"2026-05-14T17:49:42Z","abstract_excerpt":"We show that for $m, r \\in \\mathbb{N}$ and $N > (2m+1)^r (r!)^{1/m}$, every $r$-coloring of the integers in the interval $[N]$ contains a monochromatic solution to the equation\n  \\[\n  x_1 + \\dots + \\dots x_{m+1} = y_1 + \\dots + y_m.\n  \\]\n  This generalizes and improves recent results of Ko\\'scuiszko. We also show that if $N \\geq 2^{r}$, then every $r$-coloring of the integers in $[N]$ must always determine a monochromatic solution to the above equation for some $m \\geq 1$. The latter estimate is optimal."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"for m, r ∈ ℕ and N > (2m+1)^r (r!)^{1/m}, every r-coloring of the integers in the interval [N] contains a monochromatic solution to the equation x1 + ⋯ + x_{m+1} = y1 + ⋯ + ym","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The derivation of the explicit bound from standard combinatorial tools (pigeonhole or iterative coloring arguments) holds without hidden dependencies on m or r that would invalidate the inequality for large values.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Improved explicit upper bounds on the Ramsey numbers guaranteeing monochromatic solutions to x1+...+x_{m+1}=y1+...+ym in r-colorings of [N], with the bound N>(2m+1)^r (r!)^{1/m} and optimality of N=2^r for some m.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"For N larger than (2m+1)^r times (r!)^{1/m}, any r-coloring of [N] forces a monochromatic solution to x1+...+x_{m+1}=y1+...+ym.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"f94bae23144e8699fa3a4e5d1c8c5d338fddd4604dcf3871254d5af5b2af8650"},"source":{"id":"2605.15147","kind":"arxiv","version":1},"verdict":{"id":"39d650d6-1fcf-4860-bd7d-282106c73f25","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T02:58:07.160165Z","strongest_claim":"for m, r ∈ ℕ and N > (2m+1)^r (r!)^{1/m}, every r-coloring of the integers in the interval [N] contains a monochromatic solution to the equation x1 + ⋯ + x_{m+1} = y1 + ⋯ + ym","one_line_summary":"Improved explicit upper bounds on the Ramsey numbers guaranteeing monochromatic solutions to x1+...+x_{m+1}=y1+...+ym in r-colorings of [N], with the bound N>(2m+1)^r (r!)^{1/m} and optimality of N=2^r for some m.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The derivation of the explicit bound from standard combinatorial tools (pigeonhole or iterative coloring arguments) holds without hidden dependencies on m or r that would invalidate the inequality for large values.","pith_extraction_headline":"For N larger than (2m+1)^r times (r!)^{1/m}, any r-coloring of [N] forces a monochromatic solution to x1+...+x_{m+1}=y1+...+ym."},"references":{"count":22,"sample":[{"doi":"","year":1972,"title":"H.AbbottandD.Hanson,A problem of Schur and its generalizations, ActaArith.20(1972), 175–187; MR0319934 2","work_id":"18c00175-257c-4e62-975c-001ade910fd3","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"R. Ageron, P. Casteras, T. Pellerin, Y. Portella, A. Rimmel, J. Tomasik,New lower bounds for Schur and weak Schur numbers(2022), preprint available athttps://arxiv.org/abs/2112.031752","work_id":"6248d51e-eb2e-4a06-83dc-040c54d589c8","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"M. Axenovich, W. Cames von Batenburg, O. Janzer, L. Michel, and M. RundströmAn improved upper bound for the multicolor Ramsey number of odd cycles(2025), preprint available athttps://arxiv.org/abs/251","work_id":"36f468b0-799c-4040-b5d1-ea8c2fe721ab","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2020,"title":"P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe, and M. Tiba,Covering intervals with arithmetic progressions, Acta Math. Hungar.161(2020), 197–200; MR4110365 7","work_id":"8438956e-f144-41f1-af31-8615c662c61a","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1969,"title":"R. B. Crittenden and C. L. Vanden Eynden,A proof of a conjecture of Erdős, Bull. Amer. Math. Soc.75(1969), 1326–1329; MR0249351 3, 7","work_id":"8d6f5daa-df44-46b0-8af0-74c487b993cb","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":22,"snapshot_sha256":"fa6b071a96c7ee53e2c185b60ef8ae0504d53cc77635b0b8df9a2d5d3c8f6288","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":"39d650d6-1fcf-4860-bd7d-282106c73f25"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T21:57:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZMW+sKmkiRQot9VJrCO6qlfXYgLxMc2w1nh+OtKHSdj0/71S5hQUi8q78xpqIVlrTLCUKh5Msd9tStz+kVkHAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T13:53:02.943837Z"},"content_sha256":"df22bfeb84bd9f4553b2214b3b5110b93364a608de3153c2c9b5979797cc52ac","schema_version":"1.0","event_id":"sha256:df22bfeb84bd9f4553b2214b3b5110b93364a608de3153c2c9b5979797cc52ac"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","target":"integrity","payload":{"note":"URL 'https://arxiv.org/abs/2507.216562' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15147","detector":"external_links","evidence":{"url":"https://arxiv.org/abs/2507.216562","final_url":"https://arxiv.org/abs/2507.216562","host_kind":"arxiv","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190426.9895365},"severity":"advisory","ref_index":null,"audited_at":"2026-05-19T11:33:47.144986Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://arxiv.org/abs/2507.216562","finding_type":"dead_url","evidence_hash":"5b39f812ab7beeb2759f8687acb454d6e30a91f64e73feac218fcd35a5e02d65","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1106,"payload_sha256":"d7f653eb4ef69cc743a44858a8726adc599592b72787aa5b50caa4c644d530e2","signature_b64":"BNER/zLYP3tmn+7aM566nk6W/K1OeiC94DQoBXtw0FnP+eDt8r4pMEA294yOcc1qaMHMWSw4AKTJPA7mfCfUAg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lWQckFmY4Ad77VDePWUPM0F00ch5GyIylVdYazwxRGW2awg5mYiZICQObzcL36SNaCIwyiksKUfynoCz4Q1eDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T13:53:02.944897Z"},"content_sha256":"bfd25cd2b6e804b8cc6ba7b7fe91ecb25ea0d9dbb9c7026aada3293d3ddc8545","schema_version":"1.0","event_id":"sha256:bfd25cd2b6e804b8cc6ba7b7fe91ecb25ea0d9dbb9c7026aada3293d3ddc8545"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","target":"integrity","payload":{"note":"URL 'https://arxiv.org/abs/' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15147","detector":"external_links","evidence":{"url":"https://arxiv.org/abs/","final_url":"https://arxiv.org/abs/","host_kind":"arxiv","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190426.9827566},"severity":"advisory","ref_index":null,"audited_at":"2026-05-19T11:33:47.144986Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://arxiv.org/abs/","finding_type":"dead_url","evidence_hash":"20365a948e6730726294507d3d8f64ff0a3574a931b820c1da5fc76772594e6f","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1105,"payload_sha256":"35d937b80582bcbcd2cc3c2f0ea9e0ea3000a541f093d80b78ef242683f43af3","signature_b64":"HhSHh/vJMpIDTDBbdIee7sauhuLh5o3Wj8XFvCT2DrT5lD6GTHtvR2zYDJCGVq8HyM07uIJg0wQm8+LVKW8OBw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w0JjDoMjnHflk4tCf/GfOvEiSZGIYAJn77bpA8IX2zAxz7v7GYmfXNfYkugHEY1dmyt+2iD0SrKVzC/46Gk9Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T13:53:02.945188Z"},"content_sha256":"fffc1fef9b9fd023424cd04a51dd481338d765c7248b56b1281ca62555f5b777","schema_version":"1.0","event_id":"sha256:fffc1fef9b9fd023424cd04a51dd481338d765c7248b56b1281ca62555f5b777"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","target":"integrity","payload":{"note":"URL 'https://arxiv.org/abs/2412.077089' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15147","detector":"external_links","evidence":{"url":"https://arxiv.org/abs/2412.077089","final_url":"https://arxiv.org/abs/2412.077089","host_kind":"arxiv","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190426.7731435},"severity":"advisory","ref_index":null,"audited_at":"2026-05-19T11:33:47.144986Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://arxiv.org/abs/2412.077089","finding_type":"dead_url","evidence_hash":"648c34637c933815b64983db110504af0925dbe5746cc6951c92771feab2f209","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1104,"payload_sha256":"9dd6daf59338b0d8d133130d40ea0325a12806f46a272479203a1b9470f922c4","signature_b64":"CVr8nbdEGBAyi4VXjyUWz4bUWByqjICRhakcXv+A99FlgO7GMfKQV7kvy5uzz83hbDoZsIc7VqJDX8HZUbqtAQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cxgi4yr4MVArPQr4MgkyhobJ6sA1+My9o9MkAk3HluLCfqlKUcQT6vDe9PLycKwrdCRsjrnvfjQkFFGz0917Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T13:53:02.945486Z"},"content_sha256":"cc7fb309a9c9c05bf09d914ceb1db712af7e4ccab2da6a2de22bd36d9ecec4b7","schema_version":"1.0","event_id":"sha256:cc7fb309a9c9c05bf09d914ceb1db712af7e4ccab2da6a2de22bd36d9ecec4b7"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","target":"integrity","payload":{"note":"URL 'https://arxiv.org/abs/2510.179813' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15147","detector":"external_links","evidence":{"url":"https://arxiv.org/abs/2510.179813","final_url":"https://arxiv.org/abs/2510.179813","host_kind":"arxiv","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190426.4668007},"severity":"advisory","ref_index":null,"audited_at":"2026-05-19T11:33:47.144986Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://arxiv.org/abs/2510.179813","finding_type":"dead_url","evidence_hash":"821b73f90d37ed1c2744545af510f59dc8b70fb025f2e5c2c7fd0a8a76d27e26","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1103,"payload_sha256":"631fa6d9aa5e58c0a80d1226196d276301d27becde2af444ed83cb5be15bb1ca","signature_b64":"tYMmPvth1xaX3cyWzk8fYC9Zpl75jeyMwzHlWGf/T/sJBceL0QFqYY0+fPGQ7wJBZ/BUEwpUJIF7f1axcbh3CQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m6aqSwZzrecPzZs3XyKb/4kK6kGprSG5B6W252ck62daVuGWC/DSAFT47NcvWblStsmNK1ERRfrJmF1iwf/ZDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T13:53:02.945786Z"},"content_sha256":"b4754685110ed667ee3f74c69ff3f129c72e860c1f562094872a26022afad755","schema_version":"1.0","event_id":"sha256:b4754685110ed667ee3f74c69ff3f129c72e860c1f562094872a26022afad755"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","target":"integrity","payload":{"note":"URL 'https://arxiv.org/abs/2112.031752' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15147","detector":"external_links","evidence":{"url":"https://arxiv.org/abs/2112.031752","final_url":"https://arxiv.org/abs/2112.031752","host_kind":"arxiv","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190426.3129027},"severity":"advisory","ref_index":null,"audited_at":"2026-05-19T11:33:47.144986Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://arxiv.org/abs/2112.031752","finding_type":"dead_url","evidence_hash":"4549c5056c709f5eef3ef04ce3437c8ef9047b2e4cfdabe5a1cdb75715317ba3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1102,"payload_sha256":"0584259dd4c4dad4f3039aca05c5177c5a43ab77de364051f7f8d9e4dfd96443","signature_b64":"aaPtWNjkTOcKYHtghxlGs2zkb2JydfcYHlXXQFq1la/W/5N67jpcmWorPmgD3MG9XYzTyvv7wnrnPSj3CG9SDg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y+TmTiVSrTVLvWE3WuZwv0eN5kfmCGGPjsnnVqAWdmVXMfXivEz+j0Kgx3PiYKvXZmMU3POtV7pAU2zoF55vAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-20T13:53:02.946067Z"},"content_sha256":"b773e63a5208ffc41f72b1acdab0f0aa347b74f35e357c4270cd47c4a8de88a9","schema_version":"1.0","event_id":"sha256:b773e63a5208ffc41f72b1acdab0f0aa347b74f35e357c4270cd47c4a8de88a9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U5ENM3MIVCKQGD7TWSBQSLVTT5/bundle.json","state_url":"https://pith.science/pith/U5ENM3MIVCKQGD7TWSBQSLVTT5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U5ENM3MIVCKQGD7TWSBQSLVTT5/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-20T13:53:02Z","links":{"resolver":"https://pith.science/pith/U5ENM3MIVCKQGD7TWSBQSLVTT5","bundle":"https://pith.science/pith/U5ENM3MIVCKQGD7TWSBQSLVTT5/bundle.json","state":"https://pith.science/pith/U5ENM3MIVCKQGD7TWSBQSLVTT5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U5ENM3MIVCKQGD7TWSBQSLVTT5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:U5ENM3MIVCKQGD7TWSBQSLVTT5","merge_version":"pith-open-graph-merge-v1","event_count":7,"valid_event_count":7,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7ddfed18f5a04c8e9c3d5f20bac5da50f42db08844541595b464a2d907f4d450","cross_cats_sorted":["math.NT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-14T17:49:42Z","title_canon_sha256":"fa0e689de7314aaa9a400c21b9b81c228aa37e5e3372ba8b61ed8dc054384368"},"schema_version":"1.0","source":{"id":"2605.15147","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15147","created_at":"2026-05-17T21:18:33Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15147v1","created_at":"2026-05-17T21:18:33Z"},{"alias_kind":"pith_short_12","alias_value":"U5ENM3MIVCKQ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"U5ENM3MIVCKQGD7T","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"U5ENM3MI","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:df22bfeb84bd9f4553b2214b3b5110b93364a608de3153c2c9b5979797cc52ac","target":"graph","created_at":"2026-05-17T21:57:18Z","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":"for m, r ∈ ℕ and N > (2m+1)^r (r!)^{1/m}, every r-coloring of the integers in the interval [N] contains a monochromatic solution to the equation x1 + ⋯ + x_{m+1} = y1 + ⋯ + ym"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The derivation of the explicit bound from standard combinatorial tools (pigeonhole or iterative coloring arguments) holds without hidden dependencies on m or r that would invalidate the inequality for large values."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Improved explicit upper bounds on the Ramsey numbers guaranteeing monochromatic solutions to x1+...+x_{m+1}=y1+...+ym in r-colorings of [N], with the bound N>(2m+1)^r (r!)^{1/m} and optimality of N=2^r for some m."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"For N larger than (2m+1)^r times (r!)^{1/m}, any r-coloring of [N] forces a monochromatic solution to x1+...+x_{m+1}=y1+...+ym."}],"snapshot_sha256":"f94bae23144e8699fa3a4e5d1c8c5d338fddd4604dcf3871254d5af5b2af8650"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We show that for $m, r \\in \\mathbb{N}$ and $N > (2m+1)^r (r!)^{1/m}$, every $r$-coloring of the integers in the interval $[N]$ contains a monochromatic solution to the equation\n  \\[\n  x_1 + \\dots + \\dots x_{m+1} = y_1 + \\dots + y_m.\n  \\]\n  This generalizes and improves recent results of Ko\\'scuiszko. We also show that if $N \\geq 2^{r}$, then every $r$-coloring of the integers in $[N]$ must always determine a monochromatic solution to the above equation for some $m \\geq 1$. The latter estimate is optimal.","authors_text":"Cosmin Pohoata, Eion Mulrenin, Michael Zheng, Rafael Miyazaki","cross_cats":["math.NT"],"headline":"For N larger than (2m+1)^r times (r!)^{1/m}, any r-coloring of [N] forces a monochromatic solution to x1+...+x_{m+1}=y1+...+ym.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-14T17:49:42Z","title":"Improved Ramsey bounds for generalized Schur equations"},"references":{"count":22,"internal_anchors":0,"resolved_work":22,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"H.AbbottandD.Hanson,A problem of Schur and its generalizations, ActaArith.20(1972), 175–187; MR0319934 2","work_id":"18c00175-257c-4e62-975c-001ade910fd3","year":1972},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"R. Ageron, P. Casteras, T. Pellerin, Y. Portella, A. Rimmel, J. Tomasik,New lower bounds for Schur and weak Schur numbers(2022), preprint available athttps://arxiv.org/abs/2112.031752","work_id":"6248d51e-eb2e-4a06-83dc-040c54d589c8","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"M. Axenovich, W. Cames von Batenburg, O. Janzer, L. Michel, and M. RundströmAn improved upper bound for the multicolor Ramsey number of odd cycles(2025), preprint available athttps://arxiv.org/abs/251","work_id":"36f468b0-799c-4040-b5d1-ea8c2fe721ab","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"P. Balister, B. Bollobás, R. Morris, J. Sahasrabudhe, and M. Tiba,Covering intervals with arithmetic progressions, Acta Math. Hungar.161(2020), 197–200; MR4110365 7","work_id":"8438956e-f144-41f1-af31-8615c662c61a","year":2020},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"R. B. Crittenden and C. L. Vanden Eynden,A proof of a conjecture of Erdős, Bull. Amer. Math. Soc.75(1969), 1326–1329; MR0249351 3, 7","work_id":"8d6f5daa-df44-46b0-8af0-74c487b993cb","year":1969}],"snapshot_sha256":"fa6b071a96c7ee53e2c185b60ef8ae0504d53cc77635b0b8df9a2d5d3c8f6288"},"source":{"id":"2605.15147","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T02:58:07.160165Z","id":"39d650d6-1fcf-4860-bd7d-282106c73f25","model_set":{"reader":"grok-4.3"},"one_line_summary":"Improved explicit upper bounds on the Ramsey numbers guaranteeing monochromatic solutions to x1+...+x_{m+1}=y1+...+ym in r-colorings of [N], with the bound N>(2m+1)^r (r!)^{1/m} and optimality of N=2^r for some m.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"For N larger than (2m+1)^r times (r!)^{1/m}, any r-coloring of [N] forces a monochromatic solution to x1+...+x_{m+1}=y1+...+ym.","strongest_claim":"for m, r ∈ ℕ and N > (2m+1)^r (r!)^{1/m}, every r-coloring of the integers in the interval [N] contains a monochromatic solution to the equation x1 + ⋯ + x_{m+1} = y1 + ⋯ + ym","weakest_assumption":"The derivation of the explicit bound from standard combinatorial tools (pigeonhole or iterative coloring arguments) holds without hidden dependencies on m or r that would invalidate the inequality for large values."}},"verdict_id":"39d650d6-1fcf-4860-bd7d-282106c73f25"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3f5f879547d09ced3afb7c8b414cfd86b7963a358705c0e31e368d71e25126e2","target":"record","created_at":"2026-05-17T21:18:33Z","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":"7ddfed18f5a04c8e9c3d5f20bac5da50f42db08844541595b464a2d907f4d450","cross_cats_sorted":["math.NT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2026-05-14T17:49:42Z","title_canon_sha256":"fa0e689de7314aaa9a400c21b9b81c228aa37e5e3372ba8b61ed8dc054384368"},"schema_version":"1.0","source":{"id":"2605.15147","kind":"arxiv","version":1}},"canonical_sha256":"a748d66d88a895030ff3b483092eb39f42f1eb297a68ef42cb433040ca2a7f6f","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a748d66d88a895030ff3b483092eb39f42f1eb297a68ef42cb433040ca2a7f6f","first_computed_at":"2026-05-17T21:40:25.506232Z","kind":"pith_receipt","last_reissued_at":"2026-05-17T21:57:18.826133Z","receipt_version":"0.2","signature_status":"unsigned_v0"},"source_id":"2605.15147","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:b4754685110ed667ee3f74c69ff3f129c72e860c1f562094872a26022afad755","sha256:b773e63a5208ffc41f72b1acdab0f0aa347b74f35e357c4270cd47c4a8de88a9","sha256:bfd25cd2b6e804b8cc6ba7b7fe91ecb25ea0d9dbb9c7026aada3293d3ddc8545","sha256:cc7fb309a9c9c05bf09d914ceb1db712af7e4ccab2da6a2de22bd36d9ecec4b7","sha256:fffc1fef9b9fd023424cd04a51dd481338d765c7248b56b1281ca62555f5b777"]}],"invalid_events":[],"applied_event_ids":["sha256:3f5f879547d09ced3afb7c8b414cfd86b7963a358705c0e31e368d71e25126e2","sha256:df22bfeb84bd9f4553b2214b3b5110b93364a608de3153c2c9b5979797cc52ac"],"state_sha256":"8dcd0586365d136fdafe6ebcfd80b00b518492058fe854952ddeb1d721162865"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IWnnidk4ELZtN2fn00QDjiod6jEMRil2n54krn8GoToQdOg9UPZ/DzqOKt3MWOJeNkRTkNMhBPScIl3Bpf/cBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-20T13:53:02.949420Z","bundle_sha256":"ba94fa35b67fe4a6c54809d8d35fe0fc732716962b893458c82e72481dec6dda"}}