arXiv Science⌕ Search

arXiv subjects

David Covert

Publications and source records attributed to David Covert.

13 recordsLinked to original sources
arXiv2018

Cayley Digraphs Associated to Arithmetic Groups

We explore a paradigm which ties together seemingly disparate areas in number theory, additive combinatorics, and geometric combinatorics including the classical Waring problem, the Furstenberg-S\'{a}rk\"{o}zy theorem on squares in sets of integers with positive density, and the study of triangles (also called $2$-simplices) in finite fields. Among other results we show that if $\mathbb{F}_q$ is the finite field of odd order $q$, then every matrix in $Mat_d(\mathbb{F}_q), d \geq 2$ is the sum of a certain (finite) number of orthogonal matrices, this number depending only on $d$, the size of the matrix, and on whether $q$ is congruent to $1$ or $3$ (mod $4$), but independent of $q$ otherwise.

math.CO↗
arXiv2017

The generalized k-resultant modulus set problem in finite fields

Let $\mathbb F_q^d$ be the $d$-dimensional vector space over the finite field $\mathbb F_q$ with $q$ elements. Given $k$ sets $E_j\subset \mathbb F_q^d$ for $j=1,2,\ldots, k$, the generalized $k$-resultant modulus set, denoted by $\Delta_k(E_1,E_2, \ldots, E_k)$, is defined by $$ \Delta_k(E_1,E_2, \ldots, E_k)=\left\{\|{\bf x}^1+{\bf x}^2+\cdots+{\bf x}^k\|\in \mathbb F_q:{\bf x}^j\in E_j,\, j=1,2,\ldots, k\right\},$$ where $\|{\bf y}\|={\bf y}_1^2+ \cdots + {\bf y}_d^2$ for ${\bf y}=({\bf y}_1, \ldots, {\bf y}_d)\in \mathbb F_q^d.$ We prove that if $\prod\limits_{j=1}^3 |E_j| \ge C q^{3\left(\frac{d+1}{2} -\frac{1}{6d+2}\right)}$ for $d=4,6$ with a sufficiently large constant $C>0$, then $|\Delta_3(E_1,E_2,E_3)|\ge cq$ for some constant $0 0$ from the exponent.

math.CO↗
arXiv2016

A variant of Waring's Problem for the ring of integers modulo n

We study a variant of Waring's problem for $\mathbb{Z}_n$, the ring of integers modulo $n$: For a fixed integer $k \geq 2$, what is the minimum number $m$ of $k$th powers necessary such that $x \equiv x_1^k + \dots + x_m^k \pmod{n}$ has a solution for every $x \in \mathbb{Z}_n$? Using only elementary methods, we answer fully this question for exponents $k \leq 10$, and we further discuss some intermediary cases such as categorizing the values of $n$ such that every element in $\mathbb{Z}_n$ can be written as a sum of three squares. Hensel's Theorem for $p$-adic integers plays a key role. Finally, we give an application of this problem to the Erd\H os-Falconer distance problem for rings $\mathbb{Z}_n^d$.

math.NT↗
arXiv2015

The $k$-resultant modulus set problem on algebraic varieties over finite fields

We study the $k$-resultant modulus set problem in the $d$-dimensional vector space $\mathbb F_q^d$ over the finite field $\mathbb F_q$ with $q$ elements. Given $E\subset \mathbb F_q^d$ and an integer $k\ge 2$, the $k$-resultant modulus set, denoted by $\Delta_k(E)$, is defined as $$ \Delta_k(E)=\{\|x^1\pm x^2 \pm \cdots \pm x^k\|\in \mathbb F_q: x^j\in E, ~j=1,2,\ldots, k\},$$ where $\|\alpha\|=\alpha_1^2+\cdots+ \alpha_d^2$ for $\alpha=(\alpha_1, \ldots, \alpha_d) \in \mathbb F_q^d.$ In this setting, the $k$-resultant modulus set problem is to determine the minimal cardinality of $E\subset \mathbb F_q^d$ such that $\Delta_k(E) = \mathbb F_q$ or $\mathbb{F}_q^*$. This problem is an extension of the Erd\H{o}s-Falconer distance problem. In particular, we investigate the $k$-resultant modulus set problem with the restriction that the set $E\subset \mathbb F_q^d$ is contained in a specific algebraic variety. Energy estimates play a crucial role in our proof.

math.CO↗
arXiv2015

Pairs of dot products in finite fields and rings

We obtain bounds on the number of triples that determine a given pair of dot products arising in a vector space over a finite field or a module over the set of integers modulo a power of a prime. More precisely, given $E\subset \mathbb F_q^d$ or $\mathbb Z_q^d$, we provide bounds on the size of the set \[\left\{(u,v,w)\in E \times E \times E : u\cdot v = \alpha, u \cdot w = \beta \right\}\] for units $\alpha$ and $\beta$.

math.CO↗
arXiv2014

On the sums of any k points in finite fields

For a set $E\subset \mathbb F_q^d$, we define the $k$-resultant magnitude set as $ \Delta_k(E) =\{\|\textbf{x}_1 + \dots + \textbf{x}_k\|\in \mathbb F_q: \textbf{x}_1, \dots, \textbf{x}_k \in E\},$ where $\|\textbf{v}\|=v_1^2+\cdots+ v_d^2$ for $\textbf{v}=(v_1, \ldots, v_d) \in \mathbb F_q^d.$ In this paper we find a connection between a lower bound of the cardinality of the $k$-resultant magnitude set and the restriction theorem for spheres in finite fields. As a consequence, it is shown that if $E\subset \mathbb F_q^d$ with $|E|\geq C q^{\frac{d+1}{2}-\frac{1}{6d+2}},$ then $|\Delta_3(E)|\geq c q$ for $d = 4$ or $d = 6$, and $|\Delta_4(E)| \geq cq$ for even dimensions $d \geq 8.$ In addition, we prove that if $d\geq 8$ is even, and $|E|\geq C_\varepsilon ~q^{\frac{d+1}{2} - \frac{1}{9d -18} + \varepsilon}$ for $\varepsilon >0$, then $|\Delta_3(E)|\geq c q.$

math.CO↗
arXiv2013

Results on the Erd\H os-Falconer distance problem in $\mathbb{Z}_q^d$ for odd $q$

The Erd\H os-Falconer distance problem in $\mathbb{Z}_q^d$ asks one to show that if $E \subset \mathbb{Z}_q^d$ is of sufficiently large cardinality, then $\Delta(E) := \{(x_1 - y_1)^2 + \dots + (x_d - y_d)^2 : x, y \in E\}$ satisfies $\Delta(E) = \mathbb{Z}_q$. Here, $\mathbb{Z}_q$ is the set of integers modulo $q$, and $\mathbb{Z}_q^d$ is the free module of rank $d$ over $\mathbb{Z}_q$. We extend known results in two directions. Previous results were known only in the setting $q = p^{\ell}$, where $p$ is an odd prime, and as such only showed that all units were obtained in the distance set. We remove the constriction that $q$ is a power of a prime, and despite this, shows that the distance set of $E$ contains \emph{all} of $\mathbb{Z}_q$ whenever $E$ is sufficiently large.

math.NT↗
arXiv2013

A note on star-like configurations in finite settings

Given $E \subset \mathbb{F}_q^d$, we show that certain configurations occur frequently when $E$ is of sufficiently large cardinality. Specifically, we show that we achieve the statistically number of $k$-stars $\displaystyle\left|\left\{(x, x^1, \dots, x^k) \in E^{k+1} : \| x - x^i \| = t_i \right\}\right|$ when is $|E| \gg_k q^{\frac{d+1}{2}}$. This result can be thought of as a natural generalization of the Erd\H os-Falconer distance problem. Our result improves on a pinned-version of our theorem which implied the above result, but only in the range $|E| \gg q^{\frac{d+k}{2}}$. As an immediate corollary, this demonstrates that when $|E| \gg c_k q^{\frac{d+1}{2}}$, then $E$ determines a positive proportion of all $k$-stars. Our results also extend to the setting of integers mod $q$.

math.NT↗
arXiv2010

Sums and Products with Smooth Numbers

We estimate the sizes of the sumset A + A and the productset A $\cdot$ A in the special case that A = S (x, y), the set of positive integers n less than or equal to x, free of prime factors exceeding y.

math.NT↗
arXiv2008

Generalized incidence theorems, homogeneous forms, and sum-product estimates in finite fields

In recent years, sum-product estimates in Euclidean space and finite fields have been studied using a variety of combinatorial, number theoretic and analytic methods. Erdos type problems involving the distribution of distances, areas and volumes have also received much attention. In this paper we prove a relatively straightforward function version of an incidence results for points and planes previously established in \cite{HI07} and \cite{HIKR07}. As a consequence of our methods, we obtain sharp or near sharp results on the distribution of volumes determined by subsets of vector spaces over finite fields and the associated arithmetic expressions. In particular, our machinery enables us to prove that if $E \subset {\Bbb F}_q^d$, $d \ge 4$, the $d$-dimensional vector space over a finite field ${\Bbb F}_q$, of size much greater than $q^{\frac{d}{2}}$, and if $E$ is a product set, then the set of volumes of $d$-dimensional parallelepipeds determined by $E$ covers ${\Bbb F}_q$. This result is sharp as can be seen by taking $E$ to equal to $A \times A \times ... \times A$, where $A$ is a sub-field of ${\Bbb F}_q$ of size $\sqrt{q}$. In three dimensions we establish the same result if $|E| \gtrsim q^{15/8}$. We prove in three dimensions that the set of volumes covers a positive proportion of ${\Bbb F}_q$ if $|E| \ge Cq^{3/2}$. Finally we show that in three dimensions the set of volumes covers a positive proportion of ${\Bbb F}_q$ if $|E| \ge Cq^2$, without any further assumptions on $E$, which is again sharp as taking $E$ to be a 2-plane through the origin shows.

math.CO↗