{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:RSYTSTNFPD5DX2F3OQNKKRBBWW","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":"010de0d045a8cfccfce771ebf72ada2b63c81afd54ca93e9ddcd54a9dc93b832","cross_cats_sorted":["math.GR","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-01-10T15:52:01Z","title_canon_sha256":"98d640d8a16b3a90fd2e04aee59df868a1df9c08e275d0975eadf84e8a97e525"},"schema_version":"1.0","source":{"id":"1901.03233","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.03233","created_at":"2026-05-17T23:56:22Z"},{"alias_kind":"arxiv_version","alias_value":"1901.03233v2","created_at":"2026-05-17T23:56:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.03233","created_at":"2026-05-17T23:56:22Z"},{"alias_kind":"pith_short_12","alias_value":"RSYTSTNFPD5D","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"RSYTSTNFPD5DX2F3","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"RSYTSTNF","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:371ce7add95a3f17da7d9397fdbddac3bd1d8561e76b6f18796f9491e7d8202b","target":"graph","created_at":"2026-05-17T23:56:22Z","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":"A subset $A$ of a finite abelian group is called $(k,\\ell)$-sum-free if $kA \\cap \\ell A=\\emptyset.$ In this paper, we extend this concept to compact abelian groups and study the question of how large a measurable $(k,\\ell)$-sum-free set can be. For integers $1 \\leq k <\\ell$ and a compact abelian group $G$, let $$\\lambda_{k,\\ell}(G)=\\sup\\{ \\mu(A): kA \\cap \\ell A =\\emptyset \\}$$ be the maximum possible size of a $(k,\\ell)$-sum-free subset of $G$. We prove that if $G=\\mathbb{I} \\times M$, where $\\mathbb{I}$ is the identity component of $G$, then $$\\lambda_{k, \\ell}(G)=\\max \\left\\{ \\lambda_{k, \\el","authors_text":"Noah Kravitz","cross_cats":["math.GR","math.NT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-01-10T15:52:01Z","title":"The largest $(k, \\ell)$-sum-free sets in compact abelian groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.03233","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:d1b712105a7cef95e33245cf45f61aca25358a5c6f9fb7787ff973e35233cd26","target":"record","created_at":"2026-05-17T23:56:22Z","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":"010de0d045a8cfccfce771ebf72ada2b63c81afd54ca93e9ddcd54a9dc93b832","cross_cats_sorted":["math.GR","math.NT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-01-10T15:52:01Z","title_canon_sha256":"98d640d8a16b3a90fd2e04aee59df868a1df9c08e275d0975eadf84e8a97e525"},"schema_version":"1.0","source":{"id":"1901.03233","kind":"arxiv","version":2}},"canonical_sha256":"8cb1394da578fa3be8bb741aa54421b5b81ed79064511c5b95a126faac5d6b59","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8cb1394da578fa3be8bb741aa54421b5b81ed79064511c5b95a126faac5d6b59","first_computed_at":"2026-05-17T23:56:22.685766Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:56:22.685766Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Zqo5JBuWd6nhpjs+HscRJNKBRJGShEXfJ8c1JwPfnLxOUrrGXTT+FLG2VjQeFU8PVT0t7WrnBGz7cn6aAmVtCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:56:22.686464Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.03233","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d1b712105a7cef95e33245cf45f61aca25358a5c6f9fb7787ff973e35233cd26","sha256:371ce7add95a3f17da7d9397fdbddac3bd1d8561e76b6f18796f9491e7d8202b"],"state_sha256":"b7a3412c489862f1031b309ea8715cb13b548af17adf2b16d2fca01f50307fb4"}