{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:T3SDPUKE7CYRB75GT7DFCPHC6Z","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":"079202c2ed6cb03c1cd9f08301c285bd3f217651a281884b01730f6a36bcc7d0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-06-03T19:45:25Z","title_canon_sha256":"d10591cb4b4d166a9e1bf09e6e3e4fbaf1925e97a5ee972eed5402751d3f3b7d"},"schema_version":"1.0","source":{"id":"1606.01230","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.01230","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"arxiv_version","alias_value":"1606.01230v6","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.01230","created_at":"2026-05-18T00:35:44Z"},{"alias_kind":"pith_short_12","alias_value":"T3SDPUKE7CYR","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_16","alias_value":"T3SDPUKE7CYRB75G","created_at":"2026-05-18T12:30:44Z"},{"alias_kind":"pith_short_8","alias_value":"T3SDPUKE","created_at":"2026-05-18T12:30:44Z"}],"graph_snapshots":[{"event_id":"sha256:6df5acba76104eed8037547e76ee495e39cc9123332dbc6950682019f372c37a","target":"graph","created_at":"2026-05-18T00:35:44Z","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":"Let $p$ be a fixed prime. A triangle in $\\mathbb{F}_p^n$ is an ordered triple $(x,y,z)$ of points satisfying $x+y+z=0$. Let $N=p^n=|\\mathbb{F}_p^n|$. Green proved an arithmetic triangle removal lemma which says that for every $\\epsilon>0$ and prime $p$, there is a $\\delta>0$ such that if $X,Y,Z \\subset \\mathbb{F}_p^n$ and the number of triangles in $X \\times Y \\times Z$ is at most $\\delta N^2$, then we can delete $\\epsilon N$ elements from $X$, $Y$, and $Z$ and remove all triangles. Green posed the problem of improving the quantitative bounds on the arithmetic triangle removal lemma, and, in p","authors_text":"Jacob Fox, L\\'aszl\\'o Mikl\\'os Lov\\'asz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-06-03T19:45:25Z","title":"A tight bound for Green's arithmetic triangle removal lemma in vector spaces"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.01230","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:0c9267d90b6d6a939f56e0538383cb497978f3b406cc55e4a2e486abf8269406","target":"record","created_at":"2026-05-18T00:35:44Z","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":"079202c2ed6cb03c1cd9f08301c285bd3f217651a281884b01730f6a36bcc7d0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-06-03T19:45:25Z","title_canon_sha256":"d10591cb4b4d166a9e1bf09e6e3e4fbaf1925e97a5ee972eed5402751d3f3b7d"},"schema_version":"1.0","source":{"id":"1606.01230","kind":"arxiv","version":6}},"canonical_sha256":"9ee437d144f8b110ffa69fc6513ce2f67ff4960f32f210b4e6d370bcd771edfc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9ee437d144f8b110ffa69fc6513ce2f67ff4960f32f210b4e6d370bcd771edfc","first_computed_at":"2026-05-18T00:35:44.273249Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:44.273249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZuSuku19RLT3MfL95h1+2mZ6sMAADmwKudy1OO2wz1qtEtsF46GaE1jks0y1mr1BNITgI20/h9y3l64DwN/UBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:44.273665Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.01230","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0c9267d90b6d6a939f56e0538383cb497978f3b406cc55e4a2e486abf8269406","sha256:6df5acba76104eed8037547e76ee495e39cc9123332dbc6950682019f372c37a"],"state_sha256":"86e58ddb758daae8a2c9ad7c92e8e58f4ef293a15daefb95185e38735c19ae31"}