Source author record

Béla Bajnok

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
4topics
4close collaborators

Published work

10 publications

preprint2016arXiv

On two questions about restricted sumsets in finite abelian groups

Let GG be an abelian group of finite order nn, and let hh be a positive integer. A subset AA of GG is called {\em weakly hh-incomplete}, if not every element of GG can be written as the sum of hh distinct elements of AA; in particular, if AA does not contain hh distinct elements that add to zero, then AA is called {\em weakly hh-zero-sum-free}. We investigate the maximum size of weakly hh-incomplete and weakly hh-zero-sum-free sets in GG, denoted by Ch(G)C_h(G) and Zh(G)Z_h(G), respectively. Among our results are the following: (i) If GG is of odd order and (n−1)/2≤h≤n−2(n-1)/2 \leq h \leq n-2, then Ch(G)=Zh(G)=h+1C_h(G)=Z_h(G)=h+1, unless GG is an elementary abelian 3-group and h=n−3h=n-3; (ii) If GG is an elementary abelian 2-group and n/2≤h≤n−2n/2 \leq h \leq n-2, then Ch(G)=Zh(G)=h+2C_h(G)=Z_h(G)=h+2, unless h=n−4h=n-4.

preprint2015arXiv

A Constructive Finite Field Method for Scattering Points on the Surface of dd-Dimensional Spheres

In this exploratory article, we present a constructive method for scattering points on the surface of dd dimensional spheres which we believe is new and of interest. Indeed, the problem of uniformly distributing points on spheres is an interesting and difficult problem with vast applications in fields as diverse as crystallography, approximation theory, computational complexity, molecular structure, and electrostatics.

preprint2015arXiv

Comments on Y. O. Hamidoune's Paper "Adding Distinct Congruence Classes"

The main result in Y.~O.~Hamidoune's paper "Adding Distinct Congruence Classes" ({\em Combin.~Probab.~Comput.}~{\bf 7} (1998) 81-87) is as follows: If SS is a generating subset of a cyclic group GG such that 0∉S0 \not \in S and ∣S∣≥5|S| \geq 5, then the number of sums of the subsets of SS is at least min⁡(∣G∣,2∣S∣)\min (|G|, 2|S| ). Unfortunately, argument of the author, who, sadly, passed away in 2011, relies on a lemma whose proof is incorrect; in fact, the lemma is false for all cyclic groups of even order. In this short note we point out this mistake, correct the proof, and discuss why the main result is actually true for all finite abelian groups.

preprint2015arXiv

On Euclidean tt-designs

A Euclidean tt-design, as introduced by Neumaier and Seidel (1988), is a finite set X⊂Rn{\cal X} \subset \mathbb{R}^n with a weight function w:X→R+w: {\cal X} \rightarrow \mathbb{R}^+ for which ∑r∈RWrf‾Sr=∑x∈Xw(x)f(x)\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x}) holds for every polynomial ff of total degree at most tt; here RR is the set of norms of the points in X{\cal X}, WrW_r is the total weight of all elements of X{\cal X} with norm rr, SrS_r is the nn-dimensional sphere of radius rr centered at the origin, and f‾Sr\overline{f}_{S_{r}} is the average of ff over SrS_{r}. Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), also proved a Fisher-type inequality ∣X∣≥N(n,∣R∣,t)|{\cal X}| \geq N(n,|R|,t) (assuming that the design is antipodal if tt is odd). For fixed nn and ∣R∣|R| we have N(n,∣R∣,t)=O(tn−1)N(n,|R|,t)=O(t^{n-1}). In Part I of this paper we provide a recursive construction for Euclidean tt-designs in Rn\mathbb{R}^n. Namely, we show how to use certain Gauss--Jacobi quadrature formulae to "lift" a Euclidean tt-design in Rn−1\mathbb{R}^{n-1} to a Euclidean tt-design in Rn\mathbb{R}^{n}, preserving both the norm spectrum RR and the weight sum WrW_r for each r∈Rr \in R. A Euclidean design with exactly N(n,∣R∣,t)N(n,|R|,t) points is called tight. In Part II of this paper we construct tight Euclidean designs for n=2n=2 and every tt and ∣R∣|R| with ∣R∣≤t+54|R| \leq \frac{t+5}{4}. We also provide examples for tight Euclidean designs with (n,∣R∣,t)∈{(3,2,5),(3,3,7),(4,2,7)}(n,|R|,t) \in \{(3,2,5),(3,3,7),(4,2,7)\}.

preprint2015arXiv

On the Minimum Width of a Cutset in the Truncated Boolean Lattice

For integers 0≤m≤l≤n−m0 \leq m \leq l \leq n-m, the truncated Boolean lattice Bn(m,l){\cal B}_n(m,l) is the poset of all subsets of [n]={1,2,…,n}[n] = \{1, 2, \ldots, n\} which have size at least mm and at most ll. C⊆Bn(m,l){\cal C} \subseteq {\cal B}_n(m,l) is a {\em cutset} if it meets every chain of length l−ml-m in Bn(m,l){\cal B}_n(m,l), and the {\em width} of C{\cal C} is the size of the largest antichain in C{\cal C}. We conjecture that for n>>mn >> m the minimum width hn(m,l)h_n(m,l) of a cutset in Bn(m,l){\cal B}_n(m,l) is Σj≥0Δn(m−jc)=Δn(m)+Δn(m−c)+Δn(m−2c)+…Σ_{j \geq 0} Δ_n(m-jc) = Δ_n(m)+Δ_n(m-c)+Δ_n(m-2c)+ \dots, where c=l−m+1c=l-m+1 is the number of level sets in Bn(m,l){\cal B}_n(m,l) and Δn(k)=(nk)−(nk−1)Δ_n(k)={n \choose k}- {n \choose k-1}. We establish our conjecture for the cases of "short lattices" (l=ml=m, l=m+1l=m+1, and l=m+2l=m+2). For "taller lattices" (l≥2ml \geq 2m) our conjecture gives (nm)−(nm−1){n \choose m} - {n \choose m-1}, independently of ll. Our main result is that hn(m,l)≤(nm)−(nm−1)h_n(m,l) \leq {n \choose m} - {n \choose m-1} if l≥2ml \geq 2m.

preprint2015arXiv

On Uniform f-vectors of Cutsets in the Truncated Boolean Lattice

Let [n]={1,2,…,n}[n] = \{1, 2, \ldots, n\} and let 2[n]2^{[n]} be the collection of all subsets of [n][n] ordered by inclusion. C⊆2[n]{\cal C} \subseteq 2^{[n]} is a {\em cutset} if it meets every maximal chain in 2[n]2^{[n]}, and the {\em width} of C⊆2[n]{\cal C} \subseteq 2^{[n]} is the minimum number of chains in a chain decomposition of C{\cal C}. Fix 0≤m≤l≤n0 \leq m \leq l \leq n. What is the smallest value of kk such that there exists a cutset that consists only of subsets of sizes between mm and ll, and such that it contains exactly kk subsets of size ii for each m≤i≤lm \leq i \leq l? The answer, which we denote by gn(m,l)g_n(m,l), gives a lower estimate for the width of a cutset between levels mm and ll in 2[n]2^{[n]}. After using the Kruskal-Katona Theorem to give a general characterization of cutsets in terms of the number and sizes of their elements, we find lower and upper bounds (as well as some exact values) for gn(m,l)g_n(m,l).

preprint2015arXiv

Spherical Designs and Generalized Sum-Free Sets in Abelian Groups

We extend the concepts of sum-free sets and Sidon-sets of combinatorial number theory with the aim to provide explicit constructions for spherical designs. We call a subset SS of the (additive) abelian group GG {\it tt-free} if for all non-negative integers kk and ll with k+l≤tk+l \leq t, the sum of kk (not necessarily distinct) elements of SS does not equal the sum of ll (not necessarily distinct) elements of SS unless k=lk=l and the two sums contain the same terms. Here we shall give asymptotic bounds for the size of a largest tt-free set in Zn{\bf Z}_n, and for t≤3t \leq 3 discuss how tt-free sets in Zn{\bf Z}_n can be used to construct spherical tt-designs.

preprint2015arXiv

The "Thirty-seven Percent Rule" and the Secretary Problem with Relative Ranks

We revisit the problem of selecting an item from nn choices that appear before us in random sequential order so as to minimize the expected rank of the item selected. In particular, we examine the stopping rule where we reject the first kk items and then select the first subsequent item that ranks lower than the ll-th lowest-ranked item among the first kk. We prove that the optimal rule has k∼n/ek \sim n/{\mathrm e}, as in the classical secretary problem where our sole objective is to select the item of lowest rank; however, with the optimally chosen ll, here we can get the expected rank of the item selected to be less than any positive power of nn (as nn approaches infinity). We also introduce a common generalization where our goal is to minimize the expected rank of the item selected, but this rank must be within the lowest dd.

preprint2015arXiv

The independence number of a subset of an abelian group

We call a subset AA of the (additive) abelian group GG {\it tt-independent} if for all non-negative integers hh and kk with h+k≤th+k \leq t, the sum of hh (not necessarily distinct) elements of AA does not equal the sum of kk (not necessarily distinct) elements of AA unless h=kh=k and the two sums contain the same terms in some order. A {\it weakly tt-independent} set satisfies this property for sums of distinct terms. We give some exact values and asymptotic bounds for the size of a largest tt-independent set and weakly tt-independent set in abelian groups, particularly in the cyclic group Zn{\mathbb Z}_n.

preprint2013arXiv

On the minimum size of restricted sumsets in cyclic groups

For positive integers nn, mm, and hh, we let ρ  ^(Zn,m,h)ρ\hat{\;}(\mathbb{Z}_n, m, h) denote the minimum size of the hh-fold restricted sumset among all mm-subsets of the cyclic group of order nn. The value of ρ  ^(Zn,m,h)ρ\hat{\;}(\mathbb{Z}_n, m, h) was conjectured for prime values of nn and h=2h=2 by Erdős and Heilbronn in the 1960s; Dias da Silva and Hamidoune proved the conjecture in 1994 and generalized it for an arbitrary hh, but little is known about the case when nn is composite. Here we exhibit an explicit upper bound for all nn, mm, and hh; our bound is tight for all known cases (including all nn, mm, and hh with n≤40n \leq 40). We also provide counterexamples for conjectures made by Plagne and by Hamidoune, Lladó, and Serra.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.