Source author record

Doowon Koh

Doowon Koh 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

18works
6topics
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

18 published item(s)

preprint2022arXiv

Note on the pinned distance problem over finite fields

Let F_q be a finite field with odd q elements. In this article, we prove that if E \subseteq \mathbb F_q^d, d\ge 2, and |E|\ge q, then there exists a set Y \subseteq \mathbb F_q^d with |Y|\sim q^d$ such that for all y\in Y, the number of distances between the point y and the set E is similar to the size of the finite field \mathbb F_q. As a corollary, we obtain that for each set E\subseteq \mathbb F_q^d with |E|\ge q, there exists a set Y\subseteq \mathbb F_q^d with |Y|\sim q^d so that any set E\cup \{y\} with y\in Y determines a positive proportion of all possible distances. An averaging argument and the pigeonhole principle play a crucial role in proving our results.

preprint2022arXiv

Structural theorems on the distance sets over finite fields

Let $\mathbb{F}_q$ be a finite field of order $q$. Iosevich and Rudnev (2005) proved that for any set $A\subset \mathbb{F}_q^d$, if $|A|\gg q^{\frac{d+1}{2}}$, then the distance set $Δ(A)$ contains a positive proportion of all distances. Although this result is sharp in odd dimensions, it is conjectured that the right exponent should be $\frac{d}{2}$ in even dimensions. During the last 15 years, only some improvements have been made in two dimensions, and the conjecture is still wide open in higher dimensions. To fill the gap, we need to understand more about the structures of the distance sets, the main purpose of this paper is to provide some structural theorems on the distribution of square and non-square distances.

preprint2020arXiv

An asymmetric bound for sum of distance sets

For $ E\subset \mathbb{F}_q^d$, let $Δ(E)$ denote the distance set determined by pairs of points in $E$. By using additive energies of sets on a paraboloid, Koh, Pham, Shen, and Vinh (2020) proved that if $E,F\subset \mathbb{F}_q^d $ are subsets with $|E||F|\gg q^{d+\frac{1}{3}}$ then $|Δ(E)+Δ(F)|> q/2$. They also proved that the threshold $q^{d+\frac{1}{3}}$ is sharp when $|E|=|F|$. In this paper, we provide an improvement of this result in the unbalanced case, which is essentially sharp in odd dimensions. The most important tool in our proofs is an optimal $L^2$ restriction theorem for the sphere of zero radius.

preprint2020arXiv

Extension theorems and a connection to the Erdős-Falconer distance problem over finite fields

The first purpose of this paper is to provide new finite field extension theorems for paraboloids and spheres. By using the unusual good Fourier transform of the zero sphere in some specific dimensions, which has been discovered recently in the work of Iosevich, Lee, Shen, and the first and second listed authors (2018), we provide a new $L^2\to L^r$ extension estimate for paraboloids in dimensions $d=4k+3$ and $q\equiv 3\mod 4$, which improves significantly the recent exponent obtained by the first listed author. In the case of spheres, we introduce a way of using \textit{the first association scheme graph} to analyze energy sets, and as a consequence, we obtain new $L^p\to L^4$ extension theorems for spheres of primitive radii in odd dimensions, which break the Stein-Tomas result toward $L^p\to L^4$ which has stood for more than ten years. Most significantly, it follows from the results for spheres that there exists a different extension phenomenon between spheres and paraboloids in odd dimensions, namely, the $L^p\to L^4$ estimates for spheres with primitive radii are much stronger than those for paraboloids. Based on new estimates, we will also clarify conjectures on finite field extension problem for spheres. This results in a reasonably complete description of finite field extension theorems for spheres. The second purpose is to show that there is a connection between the restriction conjecture associated to paraboloids and the Erdős-Falconer distance conjecture over finite fields. The last is to prove that the Erdős-Falconer distance conjecture holds in odd-dimensional spaces when we study distances between two sets: one set lies on a variety (paraboloids or spheres), and the other set is arbitrary in $\mathbb{F}_q^d$.

preprint2016arXiv

Restriction of averaging operators to algebraic varieties over finite fields

We study $L^p\to L^r$ estimates for restricted averaging operators related to algebraic varieties $V$ of $d$-dimensional vector spaces over finite fields $\mathbb F_q$ with $q$ elements. We observe properties of both the Fourier restriction operator and the averaging operator over $V\subset \mathbb F_q^d.$ As a consequence, we obtain optimal results on the restricted averaging problems for spheres and paraboloids in dimensions $d\ge2,$ and cones in odd dimensions $d\ge 3.$ In addition, when the variety $V$ is a cone lying in an even dimensional vector space over $\mathbb F_q$ and $-1$ is a square number in $\mathbb F_q$, we also obtain sharp estimates except for two endpoints.

preprint2015arXiv

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 $ Δ_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 $|Δ_3(E)|\geq c q$ for $d = 4$ or $d = 6$, and $|Δ_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 $|Δ_3(E)|\geq c q.$

preprint2015arXiv

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 $Δ_k(E)$, is defined as $$ Δ_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 $\|α\|=α_1^2+\cdots+ α_d^2$ for $α=(α_1, \ldots, α_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 $Δ_k(E) = \mathbb F_q$ or $\mathbb{F}_q^*$. This problem is an extension of the Erdő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.

preprint2014arXiv

Size of dot product sets determined by pairs of subsets of vector spaces over finite fields

In this paper we study the cardinality of the dot product set generated by two subsets of vector spaces over finite fields. We notice that the results on the dot product problems for one set can be simply extended to two sets. Let E and F be subsets of the d-dimensional vector space F_q^d over a finite field F_q with q elements. As a new result, we prove that if E and F are subsets of the paraboloid and |E||F|\geq C q^d for some large C>1, then |Π(E,F)|\geq c q for some 0<c<1. In particular, we find a connection between the size of the dot product set and the number of lines through both the origin and a nonzero point in the given set E. As an application of this observation, we obtain more sharpened results on the generalized dot product set problems. The discrete Fourier analysis and geometrical observation play a crucial role in proving our results.

preprint2014arXiv

Weak version of restriction estimates for spheres and paraboloids in finite fields

We study L^p-L^r restriction estimates for algebraic varieties in d-dimensional vector spaces over finite fields. Unlike the Euclidean case, if the dimension $d$ is even, then it is conjectured that the L^{(2d+2)/(d+3)}-L^2 Stein-Tomas restriction result can be improved to the L^{(2d+4)/(d+4)}-L^2 estimate for both spheres and paraboloids in finite fields. In this paper we show that the conjectured L^p-L^2 restriction estimate holds in the specific case when test functions under consideration are restricted to d-coordinate functions or homogeneous functions of degree zero. To deduce our result, we use the connection between the restriction phenomena for our varieties in $d$ dimensions and those for homogeneous varieties in (d+1)dimensions.

preprint2013arXiv

Averaging operators over homogeneous varieties over finite fields

In this paper we study the mapping properties of the averaging operator over a variety given by a system of homogeneous equations over a finite field. We obtain optimal results on the averaging problems over two dimensional varieties whose elements are common solutions of diagonal homogeneous equations. The proof is based on a careful study of algebraic and geometric properties of such varieties. In particular, we show that they are not contained in any hyperplane and are complete intersections. We also address partial results on averaging problems over arbitrary dimensional homogeneous varieties which are smooth away from the origin.

preprint2013arXiv

Distance sets of two subsets of vector spaces over finite fields

We investigate the size of the distance set determined by two subsets of finite dimensional vector spaces over finite fields. A lower bound of the size is given explicitly in terms of cardinalities of the two subsets. As a result, we improve upon the results by Rainer Dietmann. In the case that one of the subsets is a product set, we obtain further improvement on the estimate.

preprint2012arXiv

Averaging operators over nondegenerate quadratic surfaces in finite fields

We study mapping properties of the averaging operator related to the variety $ V={x\in \mathbb F_q^d: Q(x)=0},$ where $Q(x)$ is a nondegenerate quadratic polynomial over a finite field $\mathbb F_q$ with $q$ elements. This paper is devoted to eliminating the logarithmic bound appearing in the paper of Koh and Shen. As a consequence, we settle down the averaging problems over the quadratic surfaces $V$ in the case when the dimensions $d\geq 4$ are even and $V$ contains a $d/2$-dimensional subspace.

preprint2012arXiv

Restriction operators acting on radial functions on vector spaces over finite fields

We stduy $L^p-L^r$ restriction estimates for algebraic varieties $V$ in the case when restriction operators act on radial functions in the finite field setting. We show that if the varieties $V$ lie in odd dimensional vector spaces over finite fields, then the conjectured restriction estimates are possible for all radial test functions. In addition, it is proved that if the varieties $V$ in even dimensions have few intersection points with the sphere of zero radius, the same conclusion as in odd dimensional case can be also obtained.

preprint2010arXiv

Additive energy and the Falconer distance problem in finite fields

We study the number of the vectors determined by two sets in d-dimensional vector spaces over finite fields. We observe that the lower bound of cardinality for the set of vectors can be given in view of an additive energy or the decay of the Fourier transform on given sets. As an application of our observation, we find sufficient conditions on sets where the Falconer distance conjecture for finite fields holds in two dimension. Moreover, we give an alternative proof of the theorem, due to Iosevich and Rudnev, that any Salem set satisfies the Falconer distance conjecture for finite fields.

preprint2010arXiv

Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields

In this paper we study extension problems, averaging problems, and generalized Erdos-Falconer distance problems associated with arbitrary homogeneous varieties in three dimensional vector space over finite fields. In the case when homogeneous varieties in three dimension do not contain any plane passing through the origin, we obtain the general best possible results on aforementioned three problems. In particular, our results on extension problems recover and generalize the work due to Mockenhaupt and Tao who completed the particular conical extension problems in three dimension. Investigating the Fourier decay on homogeneous varieties, we give the complete mapping properties of averaging operators over homogeneous varieties in three dimension. In addition, studying the generalized Erd\H os-Falconer distance problems related to homogeneous varieties in three dimensions, we improve the cardinality condition on sets where the size of distance sets is nontrivial. Finally, we address a question of our problems for homogeneous varieties in higher odd dimensions.

preprint2010arXiv

Sharp extension theorems and Falconer distance problems for algebraic curves in two dimensional vector spaces over finite fields

In this paper we study extension theorems associated with general varieties in two dimensional vector spaces over finite fields. Applying Bezout's theorem, we obtain the sufficient and necessary conditions on general curves where sharp $L^p-L^r$ extension estimates hold. Our main result can be considered as a nice generalization of works by Mochenhaupt and Tao and Iosevich and Koh. As an application of our sharp extension estimates, we also study the Falconer distance problems in two dimensions.

preprint2010arXiv

The generalized Erdos-Falconer distance problems in vector spaces over finite fields

In this paper we study the generalized Erdos-Falconer distance problems in the finite field setting. The generalized distances are defined in terms of polynomials, and various formulas for sizes of distance sets are obtained. In particular, we develop a simple formula for estimating the cardinality of distance sets determined by diagonal polynomials. As a result, we generalize the spherical distance problems due to Iosevich and Rudnev and the cubic distance problems due to Iosevich and Koh. Moreover, our results are of higher dimensional version for Vu's work on two dimension. In addition, we set up and study the generalized pinned distance problems in finite fields. We give a nice generalization of some recent work in which the pinned distance problems related to spherical distances were investigated. Discrete Fourier analysis and exponential sum estimates play an important role in our proof.