Searcharxiv⌕ Search

arXiv subjects

Efrat Bank

Publications and source records attributed to Efrat Bank.

7 recordsLinked to original sources
arXiv2021

Solution of Cassels' Problem on a Diophantine Constant over Function Fields

This paper deals with the analogue of Inhomogeneous Diophantine Approximation in function fields. The inhomogeneous approximation constant of a Laurent series $θ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)$ with respect to $γ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)$ is defined to be $c(θ,γ)=\inf_{0\neq N\in\mathbb F_q\left[t\right]}|N|\cdot|\langle Nθ- γ\rangle|$. We show that for every $θ$ there exists $γ$ such that $c(θ,γ)\geq q^{-2}$, and find a sufficient condition on $θ$ which forces $c(θ,γ) \leq q^{-2}$ for every $γ$. Given $θ$, we prove that the set $BA_θ=\left\{γ\in\mathbb F_q\left(\left(\frac{1}{t}\right)\right)\;:\; c(θ,γ)>0\right\}$ has full Hausdorff dimension. Our methods allow us to solve the case of vectors in $\mathbb F_q\left(\left(\frac{1}{t}\right)\right)^d$ as well. Our results offer a strengthening to analogues of results for real inhomogeneous approximation.

math.NT↗
arXiv2018

Cycles in the supersingular $\ell$-isogeny graph and corresponding endomorphisms

We study the problem of generating the endomorphism ring of a supersingular elliptic curve by two cycles in $\ell$-isogeny graphs. We prove a necessary and sufficient condition for the two endomorphisms corresponding to two cycles to be linearly independent, expanding on the work in Kohel's thesis. We also give a criterion under which the order generated by two cycles is not a maximal order. We give some examples in which we compute cycles which generate the full endomorphism ring. The most difficult part of these computations is the calculation of the trace of these cycles. We show that a generalization of Schoof's algorithm can accomplish this computation efficiently.

math.NT↗
arXiv2018

Primes in short intervals on curves over finite fields

We prove an analogue of the Prime Number Theorem for short intervals on a smooth projective geometrically irreducible curve of arbitrary genus over a finite field. A short interval "of size E" in this setting is any additive translate of the space of global sections of a sufficiently positive divisor E by a suitable rational function f. Our main theorem gives an asymptotic count of irreducible elements in short intervals on a curve in the "large q" limit, uniformly in f and E. This result provides a function field analogue of an unresolved short interval conjecture over number fields, and extends a theorem of Bary-Soroker, Rosenzweig, and the first author, which can be understood as an instance of our result for the special case of a divisor E supported at a single rational point on the projective line.

math.NT↗
arXiv2015

Sums of two squares in short intervals in polynomial rings over finite fields

Landau's theorem asserts that the asymptotic density of sums of two squares in the interval $1\leq n\leq x$ is $K/{\sqrt{\log x}}$, where $K$ is the Landau-Ramanujan constant. It is an old problem in number theory whether the asymptotic density remains the same in intervals $|n-x|\leq x^ε$ for a fixed $ε$ and $x\to \infty$. This work resolves a function field analogue of this problem, in the limit of a large finite field. More precisely, consider monic $f_0\in \mathbb{F}_q[T]$ of degree $n$ and take $ε$ with $1>ε\geq \frac2n$. Then the asymptotic density of polynomials $f$ in the `interval' ${\rm deg}(f-f_0)\leq εn$ that are of the form $f=A^2+TB^2$, $A,B\in \mathbb{F}_q[T]$ is $\frac{1}{4^n}\binom{2n}{n}$ as $q\to \infty$. This density agrees with the asymptotic density of such monic $f$'s of degree $n$ as $q\to \infty$, as was shown by the second author, Smilanski, and Wolf. A key point in the proof is the calculation of the Galois group of $f(-T^2)$, where $f$ is a polynomial of degree $n$ with a few variable coefficients: The Galois group is the hyperoctahedral group of order $2^nn!$.

math.NT↗
arXiv2014

Prime polynomial values of linear functions in short intervals

In this paper we establish a function field analogue of a conjecture in number theory which is a combination of several famous conjectures, including the Hardy-Littlewood prime tuple conjecture, conjectures on the number of primes in arithmetic progressions and in short intervals, and the Goldbach conjecture. We prove an asymptotic formula for the number of simultaneous prime values of $n$ linear functions, in the limit of a large finite field.

math.NT↗
arXiv2014

Prime polynomials in short intervals and in arithmetic progressions

In this paper we establish function field versions of two classical conjectures on prime numbers. The first says that the number of primes in intervals (x,x+x^epsilon] is about x^epsilon/log x and the second says that the number of primes p 1 and m\geq 3 if q is even and deg f' \leq 1. We show that this estimation fails in the neglected cases. Let π_q(k) be the number of monic prime polynomials of degree k with coefficients in the finite field with q elements \FF_q. For relatively prime polynomials f,D\in \FF_q[t] we prove that the number N' of monic prime polynomials g that are congruent to f modulo D and of degree k satisfies |N'-π_q(k)/ϕ(D)|\leq c(k)π_q(k)q^{-1/2}/ϕ(D), as long as 1\leq °D\leq k-3 (or \leq k-4 if p=2 and (f/D)' is constant). We also generalize these results to other factorization types.

math.NT↗