Source author record

David Covert

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

7works
3topics
4close collaborators

Published work

7 publications

preprint2015arXiv

On the sums of any k points in finite fields

For a set E⊂FqdE\subset \mathbb F_q^d, we define the kk-resultant magnitude set as Δk(E)={∥x1+⋯+xk∥∈Fq:x1,…,xk∈E}, Δ_k(E) =\{\|\textbf{x}_1 + \dots + \textbf{x}_k\|\in \mathbb F_q: \textbf{x}_1, \dots, \textbf{x}_k \in E\}, where ∥v∥=v12+⋯+vd2\|\textbf{v}\|=v_1^2+\cdots+ v_d^2 for v=(v1,…,vd)∈Fqd.\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 kk-resultant magnitude set and the restriction theorem for spheres in finite fields. As a consequence, it is shown that if E⊂FqdE\subset \mathbb F_q^d with ∣E∣≥Cqd+12−16d+2,|E|\geq C q^{\frac{d+1}{2}-\frac{1}{6d+2}}, then ∣Δ3(E)∣≥cq|Δ_3(E)|\geq c q for d=4d = 4 or d=6d = 6, and ∣Δ4(E)∣≥cq|Δ_4(E)| \geq cq for even dimensions d≥8.d \geq 8. In addition, we prove that if d≥8d\geq 8 is even, and ∣E∣≥Cε qd+12−19d−18+ε|E|\geq C_\varepsilon ~q^{\frac{d+1}{2} - \frac{1}{9d -18} + \varepsilon} for ε>0\varepsilon >0, then ∣Δ3(E)∣≥cq.|Δ_3(E)|\geq c q.

preprint2015arXiv

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⊂FqdE\subset \mathbb F_q^d or Zqd\mathbb Z_q^d, we provide bounds on the size of the set {(u,v,w)∈E×E×E:u⋅v=α,u⋅w=β}\left\{(u,v,w)\in E \times E \times E : u\cdot v = α, u \cdot w = β\right\} for units αα and ββ.

preprint2015arXiv

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

We study the kk-resultant modulus set problem in the dd-dimensional vector space Fqd\mathbb F_q^d over the finite field Fq\mathbb F_q with qq elements. Given E⊂FqdE\subset \mathbb F_q^d and an integer k≥2k\ge 2, the kk-resultant modulus set, denoted by Δk(E)Δ_k(E), is defined as Δk(E)={∥x1±x2±⋯±xk∥∈Fq:xj∈E, j=1,2,…,k}, Δ_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 ∥α∥=α12+⋯+αd2\|α\|=α_1^2+\cdots+ α_d^2 for α=(α1,…,αd)∈Fqd.α=(α_1, \ldots, α_d) \in \mathbb F_q^d. In this setting, the kk-resultant modulus set problem is to determine the minimal cardinality of E⊂FqdE\subset \mathbb F_q^d such that Δk(E)=FqΔ_k(E) = \mathbb F_q or Fq∗\mathbb{F}_q^*. This problem is an extension of the Erdős-Falconer distance problem. In particular, we investigate the kk-resultant modulus set problem with the restriction that the set E⊂FqdE\subset \mathbb F_q^d is contained in a specific algebraic variety. Energy estimates play a crucial role in our proof.

preprint2014arXiv

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

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

preprint2010arXiv

A Furstenberg-Katznelson-Weiss type theorem on (d + 1)-point configurations in sets of positive density in finite field geometries

We show that if E⊂FqdE \subset \mathbb{F}_q^d, the dd-dimensional vector space over the finite field with qq elements, and ∣E∣≥ρqd|E| \geq ρq^d, where q−12≪ρ≤1 q^{-\frac{1}{2}}\ll ρ\leq 1, then EE contains an isometric copy of at least cρd−1q(d+12)c ρ^{d-1} q^{d+1 \choose 2} distinct (d+1)(d+1)-point configurations.

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.