dorsal/arxiv
View SchemaThe Greedy Algorithm for Dissociated Sets
| Authors | Sayan Dutta |
|---|---|
| Categories | |
| ArXiv ID | 2601.07068vv1 |
| URL | https://arxiv.org/abs/2601.07068 |
| License | http://creativecommons.org/licenses/by-nc-sa/4.0/ |
Abstract
A set $\mathcal S\subset \mathbb N$ is said to be a subset-sum-distinct or dissociated if all of its finite subsets have different sums. Alternately, an equivalent classification is if any equality of the form $$\sum_{s\in \mathcal S} \varepsilon_s \cdot s =0$$ where $\varepsilon_s \in \{-1,0,+1\}$ implies that all the $\varepsilon_s$'s are $0$. For a dissociated set $\mathcal S$, we prove that for $c_\ast = \frac 12 \log_2 \left(\frac \pi 2\right)$ and any $c_\ast-1<C<c_\ast$, we have $$\mathcal S(n) \,:=\, \mathcal S\cap [1,n] \,\le\, \log_2 n +\frac 12 \log_2\log_2 n + C$$ for all $n\in \mathcal N_C$ with asymptotic density $\mathbf d\left(\mathcal N_C\right)=2-2^{c_\ast-C}$. Further, we consider the greedy algorithm for generating these sets and prove that this algorithm always eventually doubles. Finally, we also consider some generalizations of dissociated sets and prove similar results about them.
{
"annotation_id": "1e749958-947d-400a-9cfc-540e5fe6a278",
"date_created": "2026-02-17T05:53:08.766000Z",
"date_modified": "2026-02-17T05:53:08.766000Z",
"file_hash": "415860cf8fa502a78c65f1376b6169caa963f8bed9e7688a23909eff951fadfb",
"private": false,
"record": {
"abstract": "A set $\\mathcal S\\subset \\mathbb N$ is said to be a subset-sum-distinct or dissociated if all of its finite subsets have different sums. Alternately, an equivalent classification is if any equality of the form $$\\sum_{s\\in \\mathcal S} \\varepsilon_s \\cdot s =0$$ where $\\varepsilon_s \\in \\{-1,0,+1\\}$ implies that all the $\\varepsilon_s$\u0027s are $0$. For a dissociated set $\\mathcal S$, we prove that for $c_\\ast = \\frac 12 \\log_2 \\left(\\frac \\pi 2\\right)$ and any $c_\\ast-1\u003cC\u003cc_\\ast$, we have $$\\mathcal S(n) \\,:=\\, \\mathcal S\\cap [1,n] \\,\\le\\, \\log_2 n +\\frac 12 \\log_2\\log_2 n + C$$ for all $n\\in \\mathcal N_C$ with asymptotic density $\\mathbf d\\left(\\mathcal N_C\\right)=2-2^{c_\\ast-C}$. Further, we consider the greedy algorithm for generating these sets and prove that this algorithm always eventually doubles. Finally, we also consider some generalizations of dissociated sets and prove similar results about them.",
"arxiv_id": "2601.07068",
"authors": [
"Sayan Dutta"
],
"categories": [
"math.CO",
"math.NT",
"math.PR"
],
"license": "http://creativecommons.org/licenses/by-nc-sa/4.0/",
"title": "The Greedy Algorithm for Dissociated Sets",
"url": "https://arxiv.org/abs/2601.07068",
"version": "v1"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "50aa896a-3747-42ff-82ed-ec1df61ff979",
"id": "arXiv Dataset",
"type": "Model",
"variant": "snapshot-2026-01-17",
"version": "0.1.0"
},
"user_id": 1000002
}