CyberSec Research

A Misiurewicz parameter is a complex number $c$ for which the orbit of the critical point $z=0$ under $z^2+c$ is strictly preperiodic. Such parameters play the same role in dynamical moduli spaces as singular moduli (corresponding to CM elliptic curves) play on modular curves. Building on our earlier work, we investigate whether the difference of two Misiurewicz parameters can be an algebraic unit. (The corresponding question for singular moduli was recently answered in the negative by Li.) We answer this dynamical question in many new cases under a widely believed irreducibility assumption.

Weil's theorem gives the most standard bound on the number of points of a curve over a finite field. This bound was improved by Ihara and Oesterl\'e for larger genus. Recently, Hallouin and Perret gave a new point of view on these bounds, that can be obtained by solving a sequence of semi-definite programs, and the two first steps of this hierarchy recover Weil's and Ihara's bounds. On the other hand, by taking into account arithmetic constraints, Serre obtained a refinement on Weil's bound. In this article, we combine these two approaches and propose a strengthening of Ihara's bound, based on an argument similar to Serre's refinement. We show that this generically improves upon Ihara's bound, even in the range where it was the best bound so far. Finally we discuss possible extensions to higher order Weil-Oesterl\'e bounds.

Denote $f(n):=\sum_{1\le k\le n} \tau(2^k-1)$, where $\tau$ is the number of divisors function. Motivated by a question of Paul Erd\H{o}s, we show that the sequence of ratios $f(2n)/f(n)$ is unbounded. We also present conditional results on the divergence of this sequence to infinity. Finally, we test numerically both the conjecture $f(2n)/f(n)\to\infty$ and our sufficient conditions for it to hold.

We extend the recently developed theory of Roehrig and Zwegers on indefinite theta functions to prove certain power series are modular forms. As a consequence, we obtain several power series identities for powers of the generating function of triangular numbers. We also show that these identities arise as specializations of denominator identities of affine Lie superalgebras.

Under a largeness assumption on the size of the residue field, we give an explicit description of the positive-depth Deligne--Lusztig induction of unramified elliptic pairs $(T,\theta)$. When $\theta$ is regular, we show that positive-depth Deligne--Lusztig induction gives a geometric realization of Kaletha's Howe-unramified regular $L$-packets. This is obtained as an immediate corollary of a very simple "litmus test" characterization theorem which we foresee will have interesting future applications to small-$p$ constructions. We next define and analyze Green functions of two different origins: Yu's construction (algebra) and positive-depth Deligne--Lusztig induction (geometry). Using this, we deduce a comparison result for arbitrary $\theta$ from the regular setting. As a further application of our comparison isomorphism, we prove the positive-depth Springer hypothesis in the $0$-toral setting and use it to give a geometric explanation for the appearance of orbital integrals in supercuspidal character formulae.

Sz{\"u}sz's inhomogeneous version (1958) of Khintchine's theorem (1924) gives conditions on $\psi:\mathbb{N}\to\mathbb{R}_{\geq 0}$ under which for almost every real number $\alpha$ there exist infinitely many rationals $p/q$ such that \begin{equation*} \lvert\alpha - \frac{p+\gamma}{q}\rvert < \frac{\psi(q)}{q}, \end{equation*} where $\gamma\in\mathbb{R}$ is some fixed inhomogeneous parameter. It is often interpreted as a statement about visits of $q\alpha\,(\bmod 1)$ to a shrinking target centered around $\gamma\,(\bmod 1)$, viewed in $\mathbb{R}/\mathbb{Z}$. Hauke and the second author have conjectured that Sz{\"u}sz's result continues to hold if the target is allowed to move as well as shrink, that is, if the inhomogeneous parameter $\gamma$ is allowed to depend on the denominator $q$ of the approximating rational. We show that the conjecture holds under an ``extra divergence'' assumption on $\psi$. We also show that it holds when the inhomogeneous parameter's movement is constrained to a finite set. As a byproduct, we obtain a finite-colorings version of the inhomogeneous Khintchine theorem, giving rational approximations with monochromatic denominators.

For every irrational real $\alpha$, let $M(\alpha) = \sup_{n\geq 1} a_n(\alpha)$ denote the largest partial quotient in its continued fraction expansion (or $\infty$, if unbounded). The $2$-adic Littlewood conjecture (2LC) can be stated as follows: There exists no irrational $\alpha$ such that $M(2^k \alpha)$ is uniformly bounded by a constant $C$ for all $k\geq 0$. Badziahin proved (considering a different formulation of 2LC) that if a counterexample exists, then the bound $C$ is at least $8$. We improve this bound to $15$. Then we focus on a "B-variant" of 2LC, where we replace $M(\alpha)$ by $B(\alpha) = \limsup_{n\to \infty} a_n(\alpha)$. In this setting, we prove that if $B(2^k \alpha) \leq C$ for all $k\geq 0$, then $C \geq 5$. For the proof we use Hurwitz's algorithm for multiplication of continued fractions by 2. Along the way, we find families of quadratic irrationals $\alpha$ with the property that for arbitrarily large $K$ there exist $\beta, 2\beta, 4 \beta, \ldots, 2^K \beta$ all equivalent to $\alpha$.

In this paper, we continue the study of small squares containing at least two points on a modular hyperbola $x y \equiv c \pmod{p}$. We deduce a lower bound for its side length. We also investigate what happens if the ``distances" between two such points are special type of numbers like prime numbers, squarefree numbers or smooth numbers as well as more general multiplicatively closed sets or almost dense sets.

For a set of natural numbers $A$, let $R_{A}(n)$ be the number of representations of a natural number $n$ as the sum of two terms from $A$. Many years ago, Nathanson studied the conditions for the set $A$ and $B$ of natural numbers that are needed to guarantee that $R_{A}(n) = R_{B}(n)$ for every positive integer $n$. In the last decades, similar questions have been studied by many authors. In this paper, we extend Nathanson's result to representation functions associated to linear forms and we study related problems.

Some new decidability results for multiplicative matrix equations over algebraic number fields are established. In particular, special instances of the so-called knapsack problem are considered. The proofs are based on effective methods for Diophantine problems in finitely generated domains as presented in the recent book of Evertse and Gy\"ory. The focus lies on explicit bounds for the size of the solutions in terms of heights as well as on bounds for the number of solutions. This approach also works for systems of symmetric matrices which do not form a semigroup. In the final section some related counting problems are investigated.

Let $\{f_n\}$ be the Fibonacci sequence. For any positive integer $n$, let $r(n)$ be the number of solutions of $n=p+f_{k_1^{2}} +f_{k_{2}^{2}}$, where $p$ is a prime and $k_1, k_2$ are nonnegative integers with $k_1\le k_2$. In this paper, it is proved that $\{ n : r(n)=0\} $ contains an infinite arithmetic progression, and both sets $\{ n : r(n)=1\} $ and $\{ n : r(n)\ge 2\}$ have positive asymptotic densities.

For two coprime positive integers $a,b$, let $\pi^* (a, b)$ be the number of primes that cannot be represented as $au+bv$, where $u,v$ are nonnegative integers. In this paper, we prove that $\pi^* (a, b)\ge 0.014 \pi (ab-a-b)$ and pose following conjecture: $\pi^* (a, b)\ge \frac 12 \pi (ab-a-b)$, where $\pi (x)$ denotes the number of primes not exceeding $x$. This conjecture is confirmed for $1\le a\le 8$.

For two coprime positive integers $a,b$, let $T(a,b)=\{ ax+by : x,y\in \mathbb{Z}_{\ge 0} \} $ and let $s(a,b)=ab-a-b$. It is well known that all integers which are greater than $s(a,b)$ are in $T(a,b)$. Let $\pi (a, b)$ be the number of primes in $T(a,b)$ which are less than or equal to $s(a,b)$. It is easy to see that $\pi (2, 3)=0$ and $\pi (2, b)=1$ for all odd integers $b\ge 5$. In this paper, we prove that if $b>a\ge 3$ with $\gcd (a, b)=1$, then $\pi (a, b)>0.005 s(a,b)/\log s(a,b)$. We conjecture that $\frac{13}{66}\pi (s(a,b))\le \pi (a, b)\le \frac 12\pi (s(a,b))$ for all $b>a\ge 3$ with $\gcd (a, b)=1$.

We study hyperbolicity for quasi-projective varieties where the boundary divisor consists of n+1 numerically parallel effective divisors on a complex projective variety of dimension n, allowing non-empty intersection. Under explicit local conditions on beta constants or intersection multiplicities, we prove that all entire curves are algebraically degenerate. Our approach extends the method of Levin-Huang-Xiao to higher dimensions, establishing a second main theorem for regular sequences of closed subschemes. This also yields a GCD-type estimate in the same geometric setting.

In previous works joint with Lin, we proved that the Eisenstein series $E_4$ (resp. $E_2$) has at most one critical point in every fundamental domain $\gamma(F_0)$ of $\Gamma_{0}(2)$, where $\gamma(F_0)$ are translates of the basic fundamental domain $F_0$ via the M\"{o}bius transformation of $\gamma\in\Gamma_{0}(2)$. But the method can not work for the Eisenstein series $E_6$. In this paper, we develop a new approach to show that $E_6'(\tau)$ has exactly either $1$ or $2$ zeros in every fundamental domain $\gamma(F_0)$ of $\Gamma_{0}(2)$. A criterion for $\gamma(F_0)$ containing exactly $2$ zeros is also given. Furthermore, by mapping all zeros of $E_6'(\tau)$ into $F_0$ via the M\"{o}bius transformations of $\Gamma_{0}(2)$ action, the images give rise to a dense subset of the union of three disjoint smooth curves in $F_0$. A monodromy interpretation of these curves from a complex linear ODE is also given. As a consequence, we give a complete description of the distribution of the zeros of $E_6'(\tau)$ in fundamental domains of $SL(2,\mathbb{Z})$.

Let $E$ be a CM elliptic curve defined over $\mathbb{Q}$ and $p$ a prime. We show that $${\mathrm corank}_{\mathbb{Z}_{p}} {\mathrm Sel}_{p^{\infty}}(E_{/\mathbb{Q}})=0 \implies {\mathrm ord}_{s=1}L(s,E_{/\mathbb{Q}})=0 $$ for the $p^{\infty}$-Selmer group ${\mathrm Sel}_{p^{\infty}}(E_{/\mathbb{Q}})$ and the complex $L$-function $L(s,E_{/\mathbb{Q}})$. Along with Smith's work on the distribution of $2^\infty$-Selmer groups, this leads to the first instance of the even parity Goldfeld conjecture: For $50\%$ of the positive square-free integers $n$, we have $ {\mathrm ord}_{s=1}L(s,E^{(n)}_{/\mathbb{Q}})=0, $ where $E^{(n)}: ny^{2}=x^{3}-x $ is a quadratic twist of the congruent number elliptic curve $E: y^{2}=x^{3}-x$.

Let $r$ be a positive real number and $p$ satisfy $(2/p)\in\mathbb{N}$. Then, we consider the lattice point problem of the closed curves astroid-type $p$-circle $\{x\in\mathbb{R}^{2}|\ |x_{1}|^{p}+|x_{2}|^{p}=r^{p}\}$ which generalize the circle. In investigating the asymptotic behavior of the error term in the area approximation of the circle, G.H. Hardy conjectured an infimum for the evaluation in 1917. One of the grounds for this conjecture is the Hardy's identity, which is a series representation of the term, consisting of the Bessel function of order one and a certain number-theoretic function. In order to investigate an infimum in the error evaluation of the astroid-type $p$-circle, which is unknown in previous studies, in this paper, we derive generalized Hardy's identity for the figures by using generalized Bessel functions. Furthermore, the differential formula for the functions, which is important for the proof of this identity, is closely related to the Erd\'{e}lyi-Kober operator, and this formula and operator are expected to be useful in our future research.

Let A_0, A_1 be nonnegative matrices in GL(n+1,Z) such that the subsimplexes A_0[Delta], A_1[Delta] split the standard unit n-dimensional simplex Delta in two. We prove that, for every n=1,2,... and up to the natural action of the symmetric group by conjugation, there are precisely three choices for the pair (A_0, A_1) such that the resulting projective Iterated Function System is topologically contractive. In equivalent terms, in every dimension there exist precisely three continued fraction algorithms that assign distinct two-symbol expansions to distinct points. These expansions are induced by the Gauss-type map G: Delta --> Delta with branches A_0^{-1}, A_1^{-1}, which is continuous in exactly one of these three cases, namely when it equals the Farey-Monkemeyer map.