Showing 1–22 of 22 results for author: Kiss, S

Identical representation functions of linear forms

Authors: Sándor Kiss, Csaba Sándor

Abstract: For a set of natural numbers $A$, let $R_{A}(n)$ be the number of representations of a natural number $n$ as the sum of two terms from $A$. Many years ago, Nathanson studied the conditions for the set $A$ and $B$ of natural numbers that are needed to guarantee that $R_{A}(n) = R_{B}(n)$ for every positive integer $n$. In the last decades, similar questions have been studied by many authors. In thi… ▽ More For a set of natural numbers $A$, let $R_{A}(n)$ be the number of representations of a natural number $n$ as the sum of two terms from $A$. Many years ago, Nathanson studied the conditions for the set $A$ and $B$ of natural numbers that are needed to guarantee that $R_{A}(n) = R_{B}(n)$ for every positive integer $n$. In the last decades, similar questions have been studied by many authors. In this paper, we extend Nathanson's result to representation functions associated to linear forms and we study related problems. △ Less

Submitted 4 June, 2025; originally announced June 2025.

On Linear Codes with Random Multiplier Vectors and the Maximum Trace Dimension Property

Authors: Márton Erdélyi, Pál Hegedüs, Sándor Z. Kiss, Gábor P. Nagy

Abstract: Let $C$ be a linear code of length $n$ and dimension $k$ over the finite field $\mathbb{F}_{q^m}$. The trace code $\mathrm{Tr}(C)$ is a linear code of the same length $n$ over the subfield $\mathbb{F}_q$. The obvious upper bound for the dimension of the trace code over $\mathbb{F}_q$ is $mk$. If equality holds, then we say that $C$ has maximum trace dimension. The problem of finding the true dimen… ▽ More Let $C$ be a linear code of length $n$ and dimension $k$ over the finite field $\mathbb{F}_{q^m}$. The trace code $\mathrm{Tr}(C)$ is a linear code of the same length $n$ over the subfield $\mathbb{F}_q$. The obvious upper bound for the dimension of the trace code over $\mathbb{F}_q$ is $mk$. If equality holds, then we say that $C$ has maximum trace dimension. The problem of finding the true dimension of trace codes and their duals is relevant for the size of the public key of various code-based cryptographic protocols. Let $C_{\mathbf{a}}$ denote the code obtained from $C$ and a multiplier vector $\mathbf{a}\in (\mathbb{F}_{q^m})^n$. In this paper, we give a lower bound for the probability that a random multiplier vector produces a code $C_{\mathbf{a}}$ of maximum trace dimension. We give an interpretation of the bound for the class of algebraic geometry codes in terms of the degree of the defining divisor. The bound explains the experimental fact that random alternant codes have minimal dimension. Our bound holds whenever $n\geq m(k+h)$, where $h\geq 0$ is the Singleton defect of $C$. For the extremal case $n=m(h+k)$, numerical experiments reveal a closed connection between the probability of having maximum trace dimension and the probability that a random matrix has full rank. △ Less

Submitted 1 September, 2023; originally announced September 2023.

MSC Class: 11T71; 15A03

Unique representations of integers by linear forms

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: Let $k\ge 2$ be an integer and let $A$ be a set of nonnegative integers. For a $k$-tuple of positive integers $\underlineλ = (λ_{1}, \dots{} ,λ_{k})$ with $1 \le λ_{1} < λ_{2} < \dots{} < λ_{k}$, we define the additive representation function $R_{A,\underlineλ}(n) = |\{(a_{1}, \dots{} ,a_{k})\in A^{k}: λ_{1}a_{1} + \dots{} + λ_{k}a_{k} = n\}|$. For $k = 2$, Moser constructed a set $A$ of nonnegati… ▽ More Let $k\ge 2$ be an integer and let $A$ be a set of nonnegative integers. For a $k$-tuple of positive integers $\underlineλ = (λ_{1}, \dots{} ,λ_{k})$ with $1 \le λ_{1} < λ_{2} < \dots{} < λ_{k}$, we define the additive representation function $R_{A,\underlineλ}(n) = |\{(a_{1}, \dots{} ,a_{k})\in A^{k}: λ_{1}a_{1} + \dots{} + λ_{k}a_{k} = n\}|$. For $k = 2$, Moser constructed a set $A$ of nonnegative integers such that $R_{A,\underlineλ}(n) = 1$ holds for every nonnegative integer $n$. In this paper we characterize all the $k$-tuples $\underlineλ$ and the sets $A$ of nonnegative integers with $R_{A,\underlineλ}(n) = 1$ for every integer $n\ge 0$. △ Less

Submitted 17 March, 2023; originally announced March 2023.

On monotone increasing representation functions

Authors: Sándor Z. Kiss, Csaba Sándor, Quan-Hui Yang

Abstract: Let $k\ge 2$ be an integer and let $A$ be a set of nonnegative integers. The representation function $R_{A,k}(n)$ for the set $A$ is the number of representations of a nonnegative integer $n$ as the sum of $k$ terms from $A$. Let $A(n)$ denote the counting function of $A$.Bell and Shallit recently gave a counterexample for a conjecture of Dombi and proved that if $A(n)=o(n^{\frac{k-2}{k}-ε})$ for… ▽ More Let $k\ge 2$ be an integer and let $A$ be a set of nonnegative integers. The representation function $R_{A,k}(n)$ for the set $A$ is the number of representations of a nonnegative integer $n$ as the sum of $k$ terms from $A$. Let $A(n)$ denote the counting function of $A$.Bell and Shallit recently gave a counterexample for a conjecture of Dombi and proved that if $A(n)=o(n^{\frac{k-2}{k}-ε})$ for some $ε>0$, then $R_{\mathbb{N}\setminus A,k}(n)$ is eventually strictly increasing. In this paper, we improve this result to $A(n)=O(n^{\frac{k-2}{k-1}})$. We also give an example to show that this bound is best possible. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Comments: 11 pages

MSC Class: 11B34

On $B_{h}[1]$-sets which are asymptotic bases of order $2h$

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: Let $h,k \ge 2$ be integers. A set $A$ of positive integers is called asymptotic basis of order $k$ if every large enough positive integer can be written as the sum of $k$ terms from $A$. A set of positive integers $A$ is said to be a $B_{h}[g]$-set if every positive integer can be written as the sum of $h$ terms from $A$ at most $g$ different ways. In this paper we prove the existence of… ▽ More Let $h,k \ge 2$ be integers. A set $A$ of positive integers is called asymptotic basis of order $k$ if every large enough positive integer can be written as the sum of $k$ terms from $A$. A set of positive integers $A$ is said to be a $B_{h}[g]$-set if every positive integer can be written as the sum of $h$ terms from $A$ at most $g$ different ways. In this paper we prove the existence of $B_{h}[1]$ sets which are asymptotic bases of order $2h$ by using probabilistic methods. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Comments: arXiv admin note: text overlap with arXiv:2103.10349

Dense sumsets of Sidon sequences

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: Let $k \ge 2$ be an integer. We say a set $A$ of positive integers is an asymptotic basis of order $k$ if every large enough positive integer can be represented as the sum of $k$ terms from $A$. A set of positive integers $A$ is called Sidon set if all the two terms sums formed by the elements of $A$ are different. Many years ago P. Erdős, A. Sárközy and V. T. Sós asked whether there exists a Sido… ▽ More Let $k \ge 2$ be an integer. We say a set $A$ of positive integers is an asymptotic basis of order $k$ if every large enough positive integer can be represented as the sum of $k$ terms from $A$. A set of positive integers $A$ is called Sidon set if all the two terms sums formed by the elements of $A$ are different. Many years ago P. Erdős, A. Sárközy and V. T. Sós asked whether there exists a Sidon set which is asymptotic basis of order $3$. In this paper we prove the existence of a Sidon set $A$ with positive lower density of the three fold sumset $A + A + A$ by using probabilistic methods. △ Less

Submitted 18 March, 2021; originally announced March 2021.

Comments: arXiv admin note: text overlap with arXiv:1304.5749

On a problem of Chen and Fang related to infinite additive complements

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: Two infinite sets $A$ and $B$ of nonnegative integers are called additive complements if their sumset contains every nonnegative integer. In 1964, Danzer constructed infinite additive complements $A$ and $B$ with $A(x)B(x) = (1 + o(1))x$ as $x \rightarrow \infty$, where $A(x)$ and $B(x)$ denote the counting function of the sets $A$ and $B$, respectively. In this paper we solve a problem of Chen an… ▽ More Two infinite sets $A$ and $B$ of nonnegative integers are called additive complements if their sumset contains every nonnegative integer. In 1964, Danzer constructed infinite additive complements $A$ and $B$ with $A(x)B(x) = (1 + o(1))x$ as $x \rightarrow \infty$, where $A(x)$ and $B(x)$ denote the counting function of the sets $A$ and $B$, respectively. In this paper we solve a problem of Chen and Fang by extending the construction of Danzer. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Generalized Sidon sets of perfect powers

Authors: Sandor Kiss, Csaba Sandor

Abstract: For $h \ge 2$ and an infinite set of positive integers $A$, let $R_{A,h}(n)$ denote the number of solutions of the equation $a_{1} + a_{2} + \dots{} + a_{h} = n, a_{1} \in A, \dots{} ,a_{h} \in A, a_{1} < a_{2} < \dots{} < a_{h}.$ In this paper we prove the existence of a set $A$ formed by perfect powers with almost possible maximal density such that $R_{A,h}(n)$ is bounded by using probabilistic… ▽ More For $h \ge 2$ and an infinite set of positive integers $A$, let $R_{A,h}(n)$ denote the number of solutions of the equation $a_{1} + a_{2} + \dots{} + a_{h} = n, a_{1} \in A, \dots{} ,a_{h} \in A, a_{1} < a_{2} < \dots{} < a_{h}.$ In this paper we prove the existence of a set $A$ formed by perfect powers with almost possible maximal density such that $R_{A,h}(n)$ is bounded by using probabilistic methods. △ Less

Submitted 4 June, 2020; originally announced June 2020.

Generalized asymptotic Sidon basis

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: Let $h,k \ge 2$ be integers. We say a set $A$ of positive integers is an asymptotic basis of order $k$ if every large enough positive integer can be represented as the sum of $k$ terms from $A$. A set of positive integers $A$ is called $B_{h}[g]$ set if all positive integers can be represented as the sum of $h$ terms from $A$ at most $g$ times. In this paper we prove the existence of $B_{h}[1]$ se… ▽ More Let $h,k \ge 2$ be integers. We say a set $A$ of positive integers is an asymptotic basis of order $k$ if every large enough positive integer can be represented as the sum of $k$ terms from $A$. A set of positive integers $A$ is called $B_{h}[g]$ set if all positive integers can be represented as the sum of $h$ terms from $A$ at most $g$ times. In this paper we prove the existence of $B_{h}[1]$ sets which are asymptotic bases of order $2h+1$ by using probabilistic methods. △ Less

Submitted 6 January, 2020; v1 submitted 4 September, 2019; originally announced September 2019.

An identification system based on the explicit isomorphism problem

Authors: Sándor Z. Kiss, Péter Kutas

Abstract: We propose a new identification system based on algorithmic problems related to computing isomorphisms between central simple algebras. We design a statistical zero knowledge protocol which relies on the hardness of computing isomorphisms between orders in division algebras which generalizes a protocol by Hartung and Schnorr, which relies on the hardness of integral equivalence of quadratic forms. We propose a new identification system based on algorithmic problems related to computing isomorphisms between central simple algebras. We design a statistical zero knowledge protocol which relies on the hardness of computing isomorphisms between orders in division algebras which generalizes a protocol by Hartung and Schnorr, which relies on the hardness of integral equivalence of quadratic forms. △ Less

Submitted 17 September, 2021; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: accepted to Applicable Algebra in Engineering, Communication and Computing

Generalizations of some results about the regularity properties of an additive representation function

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: Let $A = \{a_{1},a_{2},\dots{}\}$ $(a_{1} < a_{2} < \dots{})$ be an infinite sequence of nonnegative integers, and let $R_{A,2}(n)$ denote the number of solutions of $a_{x}+a_{y}=n$ $(a_{x},a_{y}\in A)$. P. Erdős, A. Sárközy and V. T. Sós proved that if $\lim_{N\to\infty}\frac{B(A,N)}{\sqrt{N}}=+\infty$ then $|Δ_{1}(R_{A,2}(n))|$ cannot be bounded, where $B(A,N)$ denotes the number of blocks forme… ▽ More Let $A = \{a_{1},a_{2},\dots{}\}$ $(a_{1} < a_{2} < \dots{})$ be an infinite sequence of nonnegative integers, and let $R_{A,2}(n)$ denote the number of solutions of $a_{x}+a_{y}=n$ $(a_{x},a_{y}\in A)$. P. Erdős, A. Sárközy and V. T. Sós proved that if $\lim_{N\to\infty}\frac{B(A,N)}{\sqrt{N}}=+\infty$ then $|Δ_{1}(R_{A,2}(n))|$ cannot be bounded, where $B(A,N)$ denotes the number of blocks formed by consecutive integers in $A$ up to $N$ and $Δ_{l}$ denotes the $l$-th difference. Their result was extended to $Δ_{l}(R_{A,2}(n))$ for any fixed $l\ge2$. In this paper we give further generalizations of this problem. △ Less

Submitted 20 April, 2018; originally announced April 2018.

On generalized Stanley sequences

Authors: Sándor Z. Kiss, Csaba Sándor, Quan-Hui Yang

Abstract: Let $\mathbb{N}$ denote the set of all nonnegative integers. Let $k\ge 3$ be an integer and $A_{0} = \{a_{1}, \dots{}, a_{t}\}$ $(a_{1} < \ldots< a_{t})$ be a nonnegative set which does not contain an arithmetic progression of length $k$. We denote $A = \{a_{1}, a_{2}, \dots{}\}$ defined by the following greedy algorithm: if $l \ge t$ and $a_{1}, \dots{}, a_{l}$ have already been defined, then… ▽ More Let $\mathbb{N}$ denote the set of all nonnegative integers. Let $k\ge 3$ be an integer and $A_{0} = \{a_{1}, \dots{}, a_{t}\}$ $(a_{1} < \ldots< a_{t})$ be a nonnegative set which does not contain an arithmetic progression of length $k$. We denote $A = \{a_{1}, a_{2}, \dots{}\}$ defined by the following greedy algorithm: if $l \ge t$ and $a_{1}, \dots{}, a_{l}$ have already been defined, then $a_{l+1}$ is the smallest integer $a > a_{l}$ such that $\{a_{1}, \dots{}, a_{l}\} \cup \{a\}$ also does not contain a $k$-term arithmetic progression. This sequence $A$ is called the Stanley sequence of order $k$ generated by $A_{0}$. In this paper, we prove some results about various generalizations of the Stanley sequence. △ Less

Submitted 5 October, 2017; originally announced October 2017.

On a conjecture of Erdős about sets without $k$ pairwise coprime integers

Authors: Sándor Z. Kiss, Csaba Sándor, Quan-Hui Yang

Abstract: Let $\mathbb{Z}^{+}$ be the set of positive integers. Let $C_{k}$ denote all subsets of $\mathbb{Z}^{+}$ such that neither of them contains $k + 1$ pairwise coprime integers and $C_k(n)=C_k\cap \{1,2,\ldots,n\}$. Let $f(n, k) = \text{max}_{A \in C_{k}(n)}|A|$, where $|A|$ denotes the number of elements of the set $A$. Let $E_k(n)$ be the set of positive integers not exceeding $n$ which are divisib… ▽ More Let $\mathbb{Z}^{+}$ be the set of positive integers. Let $C_{k}$ denote all subsets of $\mathbb{Z}^{+}$ such that neither of them contains $k + 1$ pairwise coprime integers and $C_k(n)=C_k\cap \{1,2,\ldots,n\}$. Let $f(n, k) = \text{max}_{A \in C_{k}(n)}|A|$, where $|A|$ denotes the number of elements of the set $A$. Let $E_k(n)$ be the set of positive integers not exceeding $n$ which are divisible by at least one of the primes $p_{1}, \dots{}, p_{k}$, where $p_{i}$ denote the $i$th prime number. In 1962, Erdős conjectured that $f(n, k) = |E(n,k)|$ for every $n \ge p_{k}$. Recently Chen and Zhou proved some results about this conjecture. In this paper we solve an open problem of Chen and Zhou and prove several related results about the conjecture. △ Less

Submitted 16 May, 2017; originally announced May 2017.

Comments: 19 pages

MSC Class: 11B75

On minimal additive complements of integers

Authors: Sándor Z. Kiss, Csaba Sándor, Quan-Hui Yang

Abstract: Let $C,W\subseteq \mathbb{Z}$. If $C+W=\mathbb{Z}$, then the set $C$ is called an additive complement to $W$ in $\mathbb{Z}$. If no proper subset of $C$ is an additive complement to $W$, then $C$ is called a minimal additive complement. Let $X\subseteq \mathbb{N}$. If there exists a positive integer $T$ such that $x+T\in X$ for all sufficiently large integers $x\in X$, then we call $X$ eventually… ▽ More Let $C,W\subseteq \mathbb{Z}$. If $C+W=\mathbb{Z}$, then the set $C$ is called an additive complement to $W$ in $\mathbb{Z}$. If no proper subset of $C$ is an additive complement to $W$, then $C$ is called a minimal additive complement. Let $X\subseteq \mathbb{N}$. If there exists a positive integer $T$ such that $x+T\in X$ for all sufficiently large integers $x\in X$, then we call $X$ eventually periodic. In this paper, we study the existence of a minimal complement to $W$ when $W$ is eventually periodic or not. This partially answers a problem of Nathanson. △ Less

Submitted 25 April, 2018; v1 submitted 9 March, 2017; originally announced March 2017.

Comments: 13 pages

MSC Class: 11B13; 11B34

On the structure of sets which have coinciding representation functions

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: For a set of nonnegative integers $A$, denote by $R_{A}(n)$ the number of unordered representations of the integer $n$ as the sum of two different terms from $A$. In this paper we partially describe the structure of the sets, which have coinciding representation functions. For a set of nonnegative integers $A$, denote by $R_{A}(n)$ the number of unordered representations of the integer $n$ as the sum of two different terms from $A$. In this paper we partially describe the structure of the sets, which have coinciding representation functions. △ Less

Submitted 6 January, 2020; v1 submitted 15 February, 2017; originally announced February 2017.

Partitions of the set of nonnegative integers with the same representation functions

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: For a set of nonnegative integers $S$ let $R_{S}(n)$ denote the number of unordered representations of the integer $n$ as the sum of two different terms from $S$. In this paper we focus on partitions of the natural numbers into two sets affording identical representation functions. We solve a recent problem of Lev and Chen. For a set of nonnegative integers $S$ let $R_{S}(n)$ denote the number of unordered representations of the integer $n$ as the sum of two different terms from $S$. In this paper we focus on partitions of the natural numbers into two sets affording identical representation functions. We solve a recent problem of Lev and Chen. △ Less

Submitted 10 August, 2016; v1 submitted 22 June, 2016; originally announced June 2016.

Comments: Theorem 7. was cancelled from the previous version

Educational Challenges of Rubik's Cube

Authors: Sandor Kiss

Abstract: The first 2x2x2 twisty cube was created as a demonstration tool by Erno Rubik in 1974 to help his students understand the complexity of space and the movements in 3D. He fabricated a novel 3x3x3 mechanism where the 26 cubies were turning, and twisting independently, without falling apart. The cube was dressed in sophisticated colors which made it a unique puzzle. Even without instruction is the ai… ▽ More The first 2x2x2 twisty cube was created as a demonstration tool by Erno Rubik in 1974 to help his students understand the complexity of space and the movements in 3D. He fabricated a novel 3x3x3 mechanism where the 26 cubies were turning, and twisting independently, without falling apart. The cube was dressed in sophisticated colors which made it a unique puzzle. Even without instruction is the aim of the game was self-explanatory. Its educational value in VSI (Visual-Spatial Intelligence), developing strategy, memorization and logistics, improve concentration and persistence in problem solving is high in every age group. A logical puzzle has outreach far beyond. Those aspects are briefly covered in this article. △ Less

Submitted 30 April, 2015; originally announced May 2015.

Comments: Presented at the X Workshop on Particle Correlations and Femtoscopy (WPCF 2014), Gyongyos, Hungary

On the maximum values of the additive representation functions

Authors: Sándor Z. Kiss, Csaba Sándor

Abstract: Let $A$ and $B$ be sets of nonnegative integers. For a positive integer $n$ let $R_{A}(n)$ denote the number of representations of $n$ as the sum of two terms from $A$. Let $\displaystyle s_{A}(x) = \max_{n \le x}R_{A}(n)$ and $\displaystyle d_{A,B}(x) = \max_{\hbox{t: $a_{t} \le x$ or $b_{t} \le x$}}|a_{t} - b_{t}|$. In this paper we study the connection between $s_{A}(x)$, $s_{B}(x)$ and… ▽ More Let $A$ and $B$ be sets of nonnegative integers. For a positive integer $n$ let $R_{A}(n)$ denote the number of representations of $n$ as the sum of two terms from $A$. Let $\displaystyle s_{A}(x) = \max_{n \le x}R_{A}(n)$ and $\displaystyle d_{A,B}(x) = \max_{\hbox{t: $a_{t} \le x$ or $b_{t} \le x$}}|a_{t} - b_{t}|$. In this paper we study the connection between $s_{A}(x)$, $s_{B}(x)$ and $d_{A,B}(x)$. We improve a result of Haddad and Helou about the Erdős - Turán conjecture. △ Less

Submitted 16 July, 2015; v1 submitted 28 April, 2015; originally announced April 2015.

On additive complement of a finite set

Authors: Sándor Z. Kiss, Eszter Rozgonyi, Csaba Sándor

Abstract: We say the sets of nonnegative integers A and B are additive complements if their sum contains all sufficiently large integers. In this paper we prove a conjecture of Chen and Fang about additive complement of a finite set. We say the sets of nonnegative integers A and B are additive complements if their sum contains all sufficiently large integers. In this paper we prove a conjecture of Chen and Fang about additive complement of a finite set. △ Less

Submitted 25 April, 2013; originally announced April 2013.

On Sidon sets which are asymptotic bases of order 4

Authors: Sándor Z. Kiss, Eszter Rozgonyi, Csaba Sándor

Abstract: In this paper we prove the existence of Sidon sets which are asymptotic bases of order 4 by using probabilistic methods. In this paper we prove the existence of Sidon sets which are asymptotic bases of order 4 by using probabilistic methods. △ Less

Submitted 9 May, 2013; v1 submitted 21 April, 2013; originally announced April 2013.

Constructing, sampling and counting graphical realizations of restricted degree sequences

Authors: Péter L. Erdös, Sándor Z. Kiss, István Miklós, Lajos Soukup

Abstract: With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sam… ▽ More With the current burst of network theory (especially in connection with social and biological networks) there is a renewed interest on realizations of given degree sequences. In this paper we propose an essentially new degree sequence problem: we want to find graphical realizations of a given degree sequence on labeled vertices, where certain would-be edges are {\em forbidden}. Then we want to sample uniformly and efficiently all these possible realizations. (This problem can be considered as a special case of Tutte's $f$-factor problem, however it has a favorable sampling speed.) We solve this {\em restricted degree sequence} (or RDS for short) problem completely if the forbidden edges form a bipartite graph, which consist of the union of a (not necessarily maximal) 1-factor and a (possible empty) star. Then we show how one can sample the space of all realizations of these RDSs uniformly and efficiently when the degree sequence describes a {\em half-regular} bipartite graph. Our result contains, as special cases, the well-known result of Kannan, Tetali and Vempala on sampling regular bipartite graphs and a recent result of Greenhill on sampling regular directed graphs (so it also provides new proofs of them). The RDS problem descried above is self-reducible, therefore our {\em fully polynomial almost uniform sampler} (a.k.a. FPAUS) on the space of all realizations also provides a {\em fully polynomial randomized approximation scheme} (a.k.a. FPRAS) for approximate counting of all realizations. △ Less

Submitted 2 December, 2013; v1 submitted 31 January, 2013; originally announced January 2013.

MSC Class: 05C85 60J10 94C15 05D40

Journal ref: PLOS ONE 2015. e0131300

Generalization of a theorem of Erdos and Renyi on Sidon Sequences

Authors: Javier Cilleruelo, Sandor Z. Kiss, Imre Z. Ruzsa, Carlos Vinuesa

Abstract: Erd\H os and Rényi claimed and Vu proved that for all $h \ge 2$ and for all $ε> 0$, there exists $g = g_h(ε)$ and a sequence of integers $A$ such that the number of ordered representations of any number as a sum of $h$ elements of $A$ is bounded by $g$, and such that $|A \cap [1,x]| \gg x^{1/h - ε}$. We give two new proofs of this result. The first one consists of an explicit construction of s… ▽ More Erd\H os and Rényi claimed and Vu proved that for all $h \ge 2$ and for all $ε> 0$, there exists $g = g_h(ε)$ and a sequence of integers $A$ such that the number of ordered representations of any number as a sum of $h$ elements of $A$ is bounded by $g$, and such that $|A \cap [1,x]| \gg x^{1/h - ε}$. We give two new proofs of this result. The first one consists of an explicit construction of such a sequence. The second one is probabilistic and shows the existence of such a $g$ that satisfies $g_h(ε) \ll ε^{-1}$, improving the bound $g_h(ε) \ll ε^{-h+1}$ obtained by Vu. Finally we use the "alteration method" to get a better bound for $g_3(ε)$, obtaining a more precise estimate for the growth of $B_3[g]$ sequences. △ Less

Submitted 15 November, 2009; originally announced November 2009.

Comments: 12 pages, no figures

MSC Class: 11B50; 11B34