Source author record

Christian Elsholtz

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

ResearcherUnclaimed source record

math.NT math.CO Discrete Mathematics

Catalog footprint

Research overview

16works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Exponentially Larger Affine and Projective Caps

In spite of a recent breakthrough on upper bounds of the size of cap sets (by Croot, Lev and Pach (2017) and Ellenberg and Gijswijt (2017)), the classical cap set constructions had not been affected. In this work, we introduce a very different method of construction for caps in all affine spaces with odd prime modulus $p$ . Moreover, we show that for all primes $p \equiv 5 \bmod 6$ with $p \leq 41$ , the new construction leads to an exponentially larger growth of the affine and projective caps in $\mathrm{AG}(n,p)$ and $\mathrm{PG}(n,p)$ . For example, when $p=23$ , the existence of caps with growth $(8.0875\ldots)^n$ follows from a three-dimensional example of Bose (1947), and the only improvement had been to $(8.0901\ldots)^n$ by Edel (2004), based on a six-dimensional example. We improve this lower bound to $(9-o(1))^n$ .

preprint2022arXiv

Large Subsets of $\mathbb{Z}_m^n$ without Arithmetic Progressions

For integers $m$ and $n$ , we study the problem of finding good lower bounds for the size of progression-free sets in $(\mathbb{Z}_{m}^{n},+)$ . Let $r_{k}(\mathbb{Z}_{m}^{n})$ denote the maximal size of a subset of $\mathbb{Z}_{m}^{n}$ without arithmetic progressions of length $k$ and let $P^{-}(m)$ denote the least prime factor of $m$ . We construct explicit progression-free sets and obtain the following improved lower bounds for $r_{k}(\mathbb{Z}_{m}^{n})$ : If $k\geq 5$ is odd and $P^{-}(m)\geq (k+2)/2$ , then $r_k(\mathbb{Z}_m^n) \gg_{m,k} \frac{\bigl\lfloor \frac{k-1}{k+1}m +1\bigr\rfloor^{n}}{n^{\lfloor \frac{k-1}{k+1}m \rfloor/2}}.$ If $k\geq 4$ is even, $P^{-}(m) \geq k$ and $m \equiv -1 \bmod k$ , then $r_{k}(\mathbb{Z}_{m}^{n}) \gg_{m,k} \frac{\bigl\lfloor \frac{k-2}{k}m + 2\bigr\rfloor^{n}}{n^{\lfloor \frac{k-2}{k}m + 1\rfloor/2}}.$ Moreover, we give some further improved lower bounds on $r_k(\mathbb{Z}_p^n)$ for primes $p \leq 31$ and progression lengths $4 \leq k \leq 8$ .

preprint2022arXiv

Longer gaps between values of binary quadratic forms

Let $s_1, s_2, \ldots$ be the sequence of positive integers, arranged in increasing order, that are representable by any binary quadratic form of fixed discriminant $D$ . We show that $\limsup_{n \rightarrow \infty} \frac{s_{n+1}-s_n}{\log s_n} \ge \frac{φ(|D|)}{2|D|(1+\log φ(|D|))}\gg \frac{1}{\log \log |D|},$ improving a lower bound of $\frac{1}{|D|}$ of Richards (1982). In the special case of sums of two squares, we improve Richards's bound of $1/4$ to $\frac{195}{449}=0.434\ldots$ . We also generalize Richards's result in another direction and establish a lower bound on long gaps between sums of two squares in certain sparse sequences.

preprint2020arXiv

Unconditional Prime-representing Functions, Following Mills

Mills proved that there exists a real constant $A>1$ such that for all $n\in \mathbb{N}$ the values $\lfloor A^{3^n}\rfloor$ are prime numbers. No explicit value of $A$ is known, but assuming the Riemann hypothesis one can choose $A= 1.3063778838\ldots .$ Here we give a first unconditional variant: $\lfloor A^{10^{10n}}\rfloor$ is prime, where $A=1.00536773279814724017\ldots$ can be computed to millions of digits. Similarly, $\lfloor A^{3^{13n}}\rfloor$ is prime, with $A=3.8249998073439146171615551375\ldots .$

preprint2016arXiv

Egyptian Fractions with odd denominators

The number of solutions of the diophantine equation $\sum_{i=1}^k \frac{1}{x_i}=1,$ in particular when the $x_i$ are distinct odd positive integers is investigated. The number of solutions $S(k)$ in this case is, for odd $k$ : $\exp \left( \exp \left( c_1\, \frac{k}{\log k}\right)\right) \leq S(k) \leq \exp \left( \exp \left(c_2\, k \right)\right)$ with some positive constants $c_1$ and $c_2$ . This improves upon an earlier lower bound of $S(k) \geq \exp \left( (1+o(1))\frac{\log 2}{2} k^2\right)$ .

preprint2016arXiv

Golomb's conjecture on prime gaps

Question 10208b (1992) of the American Mathematical Monthly asked: does there exist an increasing sequence $\{a_k\}$ of positive integers and a constant $B > 0$ having the property that $\{ a_k + n\}$ contains no more than $B$ primes for every integer $n$ ? A positive answer to this question became known as Golomb's conjecture. In this note we give a negative answer, making use of recent progress in prime number theory.

preprint2016arXiv

On the regularity of primes in arithmetic progressions

We prove that for a positive integer $k$ the primes in certain kinds of intervals can not distribute too 'uniformly' among the reduced residue classes modulo $k$ . Hereby, we prove a generalization of a conjecture of Recaman and establish our results in a much more general situation, in particular for prime ideals in number fields.

preprint2016arXiv

Sums of two squares and a power

We extend results of Jagy and Kaplansky and the present authors and show that for all $k\geq 3$ there are infinitely many positive integers $n$ , which cannot be written as $x^2+y^2+z^k=n$ for positive integers $x,y,z$ , where for $k\not\equiv 0 \bmod 4$ a congruence condition is imposed on $z$ . These examples are of interest as there is no congruence obstruction itself for the representation of these $n$ . This way we provide a new family of counterexamples to the Hasse principle or strong approximation.

preprint2015arXiv

Counting the number of solutions to the Erdos-Straus equation on unit fractions

For any positive integer $n$ , let $f(n)$ denote the number of solutions to the Diophantine equation $\frac{4}{n} = \frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ with $x,y,z$ positive integers. The \emph{Erdős-Straus conjecture} asserts that $f(n) > 0$ for every $n \geq 2$ . To solve this conjecture, it suffices without loss of generality to consider the case when $n$ is a prime $p$ . In this paper we consider the question of bounding the sum $\sum_{p<N} f(p)$ asymptotically as $N \to \infty$ , where $p$ ranges over primes. Our main result establishes the asymptotic upper and lower bounds $N \log^2 N \ll \sum_{p \leq N} f(p) \ll N \log^2 N \log \log N.$ In particular, from this bound and the prime number theorem we have $f(p) = O(\log^3 p \log \log p)$ for a subset of primes of density arbitrarily close to 1; thus a typical prime has a relatively small number of solutions to the Erdős-Straus Diophantine equation. We also establish some related results on $f$ and related quantities, for instance establishing the bound $f(p) \ll p^{3/5} + O(\frac{1}{\log\log p})}$ for all primes $p$ .

preprint2015arXiv

Hilbert cubes in arithmetic sets

We show upper bounds on the maximal dimension $d$ of Hilbert cubes $H=a_0+\{0,a_1\}+\cdots + \{0, a_d\}\subset S \cap [1, N]$ in several sets $S$ of arithmetic interest such as the squares, powerful numbers and pure powers.

preprint2013arXiv

Additive decompositions of sets with restricted prime factors

We investigate sumset decompositions of quite general sets with restricted prime factors. We manage to handle certain sets, such as the smooth numbers, even though they have little sieve amenability, and conclude that these sets cannot be written as a ternary sumset. This proves a conjecture by Sárközy. We also clean up and sharpen existing results on sumset decompositions of the prime numbers.

preprint2012arXiv

Hilbert cubes in progression-free sets and in the set of squares II

Let $S_2$ be the set of integer squares. We show that the dimension $d$ of a Hilbert cube $a_0+\{0,a_1\}+...+ \{0, a_d\}\subset S_2$ is bounded by $d=O(\log \log N)$

preprint2012arXiv

On Gaps Between Primitive Roots in the Hamming Metric

We consider a modification of the classical number theoretic question about the gaps between consecutive primitive roots modulo a prime $p$ , which by the well-known result of Burgess are known to be at most $p^{1/4+o(1)}$ . Here we measure the distance in the Hamming metric and show that if $p$ is a sufficiently large $r$ -bit prime, then for any integer $n \in [1,p]$ one can obtain a primitive root modulo $p$ by changing at most $0.11002786...r$ binary digits of $n$ . This is stronger than what can be deduced from the Burgess result. Experimentally, the number of necessary bit changes is very small. We also show that each Hilbert cube contained in the complement of the primitive roots modulo $p$ has dimension at most $O(p^{1/5+ε})$ , improving on previous results of this kind.

preprint2011arXiv

A problem of Ramanujan, Erdos and Katai on the iterated divisor function

We determine asymptotically the maximal order of log d(d(n)), where d(n) is the number of positive divisors of n. This solves a problem first put forth by Ramanujan in 1915.

preprint2011arXiv

Egyptian Fractions with Restrictions

Let $T_o(k)$ denote the number of solutions of $\sum_{i=1}^k\frac 1{x_i}=1$ in odd numbers $1<x_1<x_2<...<x_k$ . It is clear that $T_o(2k)=0$ . For distinct primes $p_1, p_2,..., p_t$ , let $S(p_1, p_2,..., p_t)=\{p_1^{α_1}...p_t^{α_t}\mid α_i\in \mathbb{N}_0, i=1,2,..., t}$. Let $T_k(p_1,..., p_t)$ be the number of solutions $\sum_{i=1}^{k}\frac 1{x_i}=1$ with $1<x_1<x_2<...<x_{k}$ and $x_i\in S(p_1, p_2,..., p_t)$ . It is clear that if $T_k(p_1,..., p_t)\not= 0$ for some $k$ , then the inverse sum of all elements $s_j>1$ in $S(p_1, p_2,..., p_t)$ is more than 1. In this paper we study $T_o(k)$ and $T_k(p_1,..., p_t)$ . Three of our results are: 1) $T_o(2k+1)\ge (\sqrt 2)^{(k+1)(k-4)}$ for all $k\ge 4$ ; 2) if the inverse sum of all elements $s_j>1$ in $S(p_1, p_2,..., p_t)$ is more than 1, then $T_k(p_1,..., p_t)\not= 0$ for infinitely many $k$ and the set of these $k$ is the union of finitely many arithmetic progressions; 3) there exists two constants $k_0=k_0(p_1,..., p_t)>1$ and $c=c(p_1,..., p_t)>1$ such that for any $k>k_0$ we have either $T_k(p_1,..., p_t)= 0$ or $T_k(p_1,..., p_t)>c^k$ .

preprint2011arXiv

The number of Huffman codes, compact trees, and sums of unit fractions

The number of "nonequivalent" Huffman codes of length r over an alphabet of size t has been studied frequently. Equivalently, the number of "nonequivalent" complete t-ary trees has been examined. We first survey the literature, unifying several independent approaches to the problem. Then, improving on earlier work we prove a very precise asymptotic result on the counting function, consisting of two main terms and an error term.

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.

Christian Elsholtz

Research overview

Is this your work?

16 publications

Exponentially Larger Affine and Projective Caps

Large Subsets of $\mathbb{Z}_m^n$ without Arithmetic Progressions

Longer gaps between values of binary quadratic forms

Unconditional Prime-representing Functions, Following Mills

Egyptian Fractions with odd denominators

Golomb's conjecture on prime gaps

On the regularity of primes in arithmetic progressions

Sums of two squares and a power

Counting the number of solutions to the Erdos-Straus equation on unit fractions

Hilbert cubes in arithmetic sets

Additive decompositions of sets with restricted prime factors

Hilbert cubes in progression-free sets and in the set of squares II

On Gaps Between Primitive Roots in the Hamming Metric

A problem of Ramanujan, Erdos and Katai on the iterated divisor function

Egyptian Fractions with Restrictions

The number of Huffman codes, compact trees, and sums of unit fractions

See the researcher in context

Building this map preview

Christian Elsholtz

Research overview

Is this your work?

16 publications

Exponentially Larger Affine and Projective Caps

Large Subsets of Zmn\mathbb{Z}_m^nZmn​ without Arithmetic Progressions

Longer gaps between values of binary quadratic forms

Unconditional Prime-representing Functions, Following Mills

Egyptian Fractions with odd denominators

Golomb's conjecture on prime gaps

On the regularity of primes in arithmetic progressions

Sums of two squares and a power

Counting the number of solutions to the Erdos-Straus equation on unit fractions

Hilbert cubes in arithmetic sets

Additive decompositions of sets with restricted prime factors

Hilbert cubes in progression-free sets and in the set of squares II

On Gaps Between Primitive Roots in the Hamming Metric

A problem of Ramanujan, Erdos and Katai on the iterated divisor function

Egyptian Fractions with Restrictions

The number of Huffman codes, compact trees, and sums of unit fractions

See the researcher in context

Building this map preview

Large Subsets of $\mathbb{Z}_m^n$ without Arithmetic Progressions