Source author record

Shuntaro Yamagishi

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

8works
1topics
3close collaborators

Published work

8 publications

preprint2022arXiv

Density of rational points on manifolds and Diophantine approximation on hypersurfaces

In this article, we establish an analogue of the dimension growth conjecture, which is regarding the density of rational points on projective varieties, for compact submanifolds of Rn\mathbb{R}^n with non-vanishing curvature. We also establish the convergence theory for the set of simultaneously ψψ-approximable points lying on a generic hypersurface, thereby settling the generalized Baker-Schmidt problem in the simultaneous setting for generic hypersurfaces. These results are obtained as consequences of an optimal upper bound for the density of rational points near manifolds of the form {(x,f(x))∈Rd+1:x∈Bν(x0)}\{ (\mathbf{x}, f(\mathbf{x})) \in \mathbb{R}^{d+1}: \mathbf{x} \in B_ν(\mathbf{x}_0) \} with non-zero Hessian matrix of ff at x0\mathbf{x}_0 and ν>0ν> 0 sufficiently small.

preprint2015arXiv

A generalization of a theorem of Erdős-Rényi to mm-fold sums and differences

Let m≥2m\geq 2 be a positive integer. Given a set E(ω)⊆NE(ω)\subseteq \mathbb{N} we define rN(m)(ω)r_{N}^{(m)}(ω) to be the number of ways to represent N∈ZN\in \mathbb{Z} as any combination of sums  and \textit{ and } differences of mm distinct elements of E(ω)E(ω). In this paper, we prove the existence of a "thick" set E(ω)E(ω) and a positive constant KK such that rN(m)(ω)<Kr_{N}^{(m)}(ω)<K for all N∈ZN\in \mathbb{Z}. This is a generalization of a known theorem by Erdős and Rényi. We also apply our results to harmonic analysis, where we prove the existence of certain thin sets.

preprint2015arXiv

Diophantine approximation of polynomials over Fq[t]\mathbb{F}_q[t] satisfying a divisibility condition

Let Fq[t]\mathbb{F}_q[t] denote the ring of polynomials over Fq\mathbb{F}_q, the finite field of qq elements. We prove an estimate for fractional parts of polynomials over Fq[t]\mathbb{F}_q[t] satisfying a certain divisibility condition analogous to that of intersective polynomials in the case of integers. We then extend our result to consider linear combinations of such polynomials as well.

preprint2015arXiv

On a problem of Sidon for polynomials over finite fields

Let ωω be a sequence of positive integers. Given a positive integer nn, we define rn(ω)=∣{(a,b)∈N×N ⁣:a,b∈ω,a+b=n,0<a<b}∣. r_n(ω) = | \{ (a,b)\in \mathbb{N}\times \mathbb{N}\colon a,b \in ω, a+b = n, 0 <a<b \}|. S. Sidon conjectured that there exists a sequence ωω such that rn(ω)>0r_n(ω) > 0 for all nn sufficiently large and, for all ε>0ε> 0, lim⁡n→∞rn(ω)nε=0. \lim_{n \rightarrow \infty} \frac{r_n(ω)}{n^ε} = 0. P. Erdős proved this conjecture by showing the existence of a sequence ωω of positive integers such that log⁡n≪rn(ω)≪log⁡n. \log n \ll r_n(ω) \ll \log n. In this paper, we prove an analogue of this conjecture in Fq[T]\mathbb{F}_q[T], where Fq\mathbb{F}_q is a finite field of qq elements. More precisely, let ωω be a sequence in Fq[T]\mathbb{F}_q[T]. Given a polynomial h∈Fq[T]h\in\mathbb{F}_q[T], we define rh(ω)=∣{(f,g)∈Fq[T]×Fq[T]:f,g∈ω,f+g=h,deg f,deg g≤deg h,f≠g}∣. r_h(ω) = |\{(f,g) \in \mathbb{F}_q[T]\times \mathbb{F}_q[T] : f,g\in ω, f+g =h, \text{deg } f, \text{deg } g \leq \text{deg } h, f\ne g\}|. We show that there exists a sequence ωω of polynomials in Fq[T]\mathbb{F}_q [T] such that deg h≪rh(ω)≪deg h \text{deg } h \ll r_h(ω) \ll \text{deg } h for deg h\text{deg } h sufficiently large.

preprint2015arXiv

Sidon basis in polynomial rings over finite fields

Let Fq[t]\mathbb{F}_q[t] denote the ring of polynomials over Fq\mathbb{F}_q, the finite field of qq elements. Suppose the characteristic of Fq\mathbb{F}_q is not 22 or 33. In this paper, we prove an Fq[t]\mathbb{F}_q[t]-analogue of results related to the conjecture of Erdős on the existence of infinite Sidon sequence of positive integers which is an asymptotic basis of order 3. We prove that there exists a B2[2]B_2[2] sequence of non-zero polynomials in Fq[t]\mathbb{F}_q[t], which is an asymptotic basis of order 33. We also prove that for any ε>0\varepsilon> 0, there exists a sequence of non-zero polynomials in Fq[t]\mathbb{F}_q[t], which is a Sidon basis of order 3+ε3 + \varepsilon. In other words, there exists a sequence of non-zero polynomials in Fq[t]\mathbb{F}_q[t] such that any n∈Fq[t]n \in \mathbb{F}_q[t] of sufficiently large degree can be expressed as a sum of four elements of the sequence, where one of them has a degree less than or equal to εdeg n.\varepsilon \text{deg } n.

preprint2015arXiv

The asymptotic formula for Waring's problem in function fields

Let Fq[t]\mathbb{F}_q[t] be the ring of polynomials over Fq\mathbb{F}_q, the finite field of qq elements, and let pp be the characteristic of Fq\mathbb{F}_q. We denote G~q(k)\widetilde{G}_q(k) to be the least integer t0t_0 with the property that for all s≥t0s \geq t_0, one has the expected asymptotic formula in Waring's problem over Fq[t]\mathbb{F}_q[t] concerning sums of ss kk-th powers of polynomials in Fq[t]\mathbb{F}_q[t]. For each kk not divisible by pp, we derive a minor arc bound from Vinogradov-type estimates, and obtain bounds on G~q(k)\widetilde{G}_q(k) that are quadratic in kk, in fact linear in kk in some special cases, in contrast to the bounds that are exponential in kk available only when k<pk < p. We also obtain estimates related to the slim exceptional sets associated to the asymptotic formula.

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.