Source author record

Christian Elsholtz

Christian Elsholtz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

16 published item(s)

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

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$.

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

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

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.