On subset sums of Z_n^ which are equally distributed modulo n

DOI10.1007/S00013-023-01853-2MaRDI QIDQ6110322zbMATH OpenFDO

Authors Gaitanas Konstantinos

Publication date 5 July 2023

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2304.14141

zbMATH Keywords

equidistributiongeometric progressionsubset sums

Mathematics Subject Classification ID

Additive bases, including sumsets (11B13) Arithmetic combinatorics; higher degree uniformity (11B30) Inverse problems of additive number theory, including sumsets (11P70)

Abstract: In this note, we provide some results concerning the structure of a set $Asubseteqmathbb{Z}_n^{imes}$, which has non-empty subset sums equally distributed modulo $n$. Here, $mathbb{Z}_n^{imes}$ denotes the set which contains all the invertible elements of the ring $mathbb{Z}_n$. In particular, we prove that if $n=q$ is a power of an odd prime, then $A$ is a union of sets of the form $acdot(pm{2}^i)$. Additionally, we count the number of subsets of $mathbb{Z}_q^{imes}$ with non-empty subset sums equally distributed modulo $q$.

Review text

Let \(A\) be a finite (multi)set of numbers, a number of the form \(\sum_{a \in A} \varepsilon_a a\) with \(\varepsilon \in \{0,1\}\) is called a subset sum of \(A\). It is a common problem to study the set or the multiset of all numbers of this form. The current paper addresses the problem whether the multiset of subset sums is equidistributed. On result is that for \(n\) an odd integer, the multiset of non-empty subset-sums of \(\mathbb{Z}/n\mathbb{Z}^{\times}\) is equidistributed. That is, every class modulo \(n\) appears \((2^{\varphi(n)}-1)/n\) times. The authors then address the converse problem and study, for instance for \(n\) and odd prime-power (but also in some other cases), the problem when a subset \(A\) of \(\mathbb{Z}/n\mathbb{Z}^{\times}\) has an equidistributed multiset of non-empty subset sums. Roughly speaking, this happens when the set is a union of certain generalized geometric progressions.

Recommendations

• Correction to: ``On subset sums of \(\mathbb{Z}_n^{\times}\) which are equally distributed modulo \(n\)
• Comments on: ``When are subset sums equidistributed modulo \(m\)?
• scientific article; zbMATH DE number 7101952
• When are subset sums equidistributed modulo \(m\)?
• On sumsets of multisets in \(\mathbb{Z}_p^m\)
• Restricted sums of subsets of \({\mathbb Z}\)
• scientific article; zbMATH DE number 1522534
• A note on sumsets of subgroups in Z_p^*
• On the distribution of \binom CnDn modulo p
• On the sum \(\sum_{k\equiv r\pmod m}{n\choose k}\) and related congruences.

Cites work

• Euler's favorite proof meets a theorem of Vantieghem
• Is the multiset of \(n\) integers uniquely determined by the multiset of its \(s\)-sums?
• Linear independence of logarithms of cyclotomic numbers and a conjecture of Livingston
• On the determination of numbers by their sums of a fixed order

Cited in

(4)

• When are subset sums equidistributed modulo \(m\)?
• scientific article; zbMATH DE number 7101952 (Why is no real title available?)
• Correction to: ``On subset sums of \(\mathbb{Z}_n^{\times}\) which are equally distributed modulo \(n\)
• On the determination of sets by their subset sums

This page was built for publication: On subset sums of \(\mathbb{Z}_n^{\times}\) which are equally distributed modulo \(n\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6110322)