In 1973 Montgomery proved, assuming the Riemann Hypothesis (RH), that asymptotically at least 2/3 of zeros of the Riemann zeta-function are simple zeros. In a previous note (arXiv:2511.20059 [math.NT]) we showed how RH can be replaced with a general estimate for a double sum over zeros, and this allows one to then obtain results on zeros that are both simple and on the critical line. Here we give a simple proof based on a direct generalization of Montgomery's proof that on assuming all the zeros are in a narrow vertical box between height $T$ and $2T$ of width $b/\log T$ and centered on the critical line, then, if $b=b(T)\to 0$ as $T\to \infty$, we have asymptotically at least 2/3 of the zeros are simple and on the critical line.
Let $p$ be a prime number, and let $S$ be the numerical semigroup generated by the prime numbers not less than $p$. We compare the orders of magnitude of some invariants of $S$ with each other, e. g., the biggest atom $u$ of $S$ with $p$ itself: By Harald Helfgott (arXiv:1312.7748 [math.NT]), every odd integer $N$ greater than five can be written as the sum of three prime numbers. There is numerical evidence suggesting that the summands of $N$ always can be chosen between $\frac N6$ and $\frac N2$. This would imply that $u$ is less than $6p$.
Let $G_0$ be a reductive group over $\mathbb{F}_p$ with simply connected derived subgroup, (geometrically) connected center and Coxeter number $h+1$. We extend Jantzen's generic decomposition pattern from $(2h-1)$-generic to $h$-generic Deligne--Lusztig representations, which is optimal. We also prove several results on the ``obvious'' Jordan--Hölder factors of general Deligne--Lusztig representations. As an application we improve the weight elimination result of arXiv:1610.04819 [math.NT]
Let $α\in (0,1)$ and irrational. We investigate the asymptotic behaviour of sequences of certain trigonometric products (Sudler products) $(P_N(α))_{N\in\mathbb{N}}$ with $$P_N(α) =\prod_{r=1}^N|2\sin(πr α)|.$$ More precisely, we are interested in the asymptotic behaviour of subsequences of the form $(P_{q_n(α)}(α))_{n\in\mathbb{N}}$, where $q_n(α)$ is the $n$th best approximation denominator of $α$. Interesting upper and lower bounds for the growth of these subsequences are given, and convergence results, obtained by Mestel and Verschueren (see arXiv:1411.2252math[DS]) and Grepstad and Neumüller (see arXiv:1801.09416[math.NT]), are generalized to the case of irrationals with bounded continued fraction coefficients.
We give a simple proof of the well-known divisibility by 2 condition for rational points on elliptic curves with rational 2-torsion. As an application of the explicit division by $2^n$ formulas obtained in Sec.2, we construct versal families of elliptic curves containing points of orders 4, 5, 6, and 8 from which we obtain an explicit description of elliptic curves over certain finite fields $\mathbb{F}_q$ with a prescribed (small) group $E(\mathbb{F}_q)$. In the last two sections we study 3- and 5-torsion. This paper supercedes arXiv:1605.09279 [math.NT] .
We show in many cases the existence of adjoints to extension of scalars on categories of motivic nature, in the framework of field extensions. This is to be contrasted with the more classical situation where one deals with a finite type morphism of schemes. Among various applications, one is a functorial construction of the "Tate-Safarevic motive" introduced in arXiv:1401.6847 [math.NT]. We also deduce a possible approach to Bloch's conjecture on surfaces, by reduction to curves.
This paper naturally extends and generalizes our previous work "Thue-Morse constant is not badly approximable", arXiv:1407.3182 [math.NT]. Here we consider the Laurent series $f_d(x) = \prod_{n=0}^\infty (1 - x^{-d^n})$, $d\in\mathbb{N}$, $d\geq 2$ which generalize the generating function $f_2(x)$ of the Thue-Morse number, and study their continued fraction expansion. In particular, we show that the convergents of $x^{-d+1}f_d(x)$ have quite a regular structure. We address as well the question whether the corresponding Mahler numbers $f_d(a)\in\mathbb{R}$, $a,d\in\mathbb{N}$, $a,d\geq 2$, are badly approximable.
Background. Rheohemapheresis (RHF) is a method that can stop the activity of the dry form of age-related macular degeneration (AMD). The pathophysiologic mechanisms are not well understood, and the effects of the RHF procedures extend beyond the time of the individual procedures.Patients and Methods. We present the data for 46 patients with AMD treated with a series of 8 rheohemapheretic procedures. Blood count parameters were measured before the first and the last procedures. The clinical effect was judged by changes in the drusenoid pigment epithelium detachment (DPED) area before and after the rheopheretic sessions.Results. Rheopheresis caused a decrease in hemoglobin(P<0.001), a decrease in leukocytes(P<0.034), and an increase in platelets(P<0.005). We found a negative correlation between the amount of platelets and their volume (P<0.001, Pearson correlation coefficient: −0.509). We identified the platelet/MPV ratio as a good predictor of the clinical outcome. Patients with a platelet/MPV ratio greater than 21.5 (before the last rheopheresis) had a significantly better outcome (P=0.003, sensitivity of 76.9% and specificity of 80%).Conclusion. Several basic blood count parameters after RHF can be concluded to significantly change, with some of those changes correlating with the clinical results (reduction of the DPED area).
Erdös conjectured that the set J of limit points of d_n/logn contains all nonnegative numbers, where d_n denotes the nth primegap. The author proved a year ago (arXiv: 1305.6289) that J contains an interval of type [0,c] with a positive ineffective value c. In the present work we extend this result for a large class of normalizing functions. The only essential requirement is that the function f(n) replacing logn should satisfy f(n)<<lognloglognloglogloglogn/(logloglogn)^2 (with a small implied constant), the well-known Erdös-Rankin bound for the largest known gaps between consecutive primes. The work also proves that apart from a thin set of exceptional functions the original Erdös conjecture holds if logn is replaced by a non-exceptional function f(n). The paper also gives a new proof for a result of Helmut Maier which generalized the Erdös-Rankin bound for an arbitrarily long finite chain of consecutive primegaps. The proof uses a combination of methods of Erdös-Rankin,Maynard-Tao and Banks-Freiberg-Maynard. Since the submission of the present work the very important recent simultaneous and independent works of Ford-Green-Konjagin-Tao (arXiv:1408.4505 [math.NT] and Maynard (aerXiv:1408.5110 [math.NT]) appeared on arXiv and they proved the old conjecture of Erdös which asserts that the lower bound for large gaps exceeds Clognloglognloglogloglogn/(logloglogn)^2 with an arbitrarily large constant C. In this new version we prove the same assertions as in the original work for the case when f(n)<<Clognloglognloglogloglogn/(logloglogn)^2 with an arbi8trarily large constant C, in particular we show that there are blocks of m primes for any m such that all gaps between these primes simultaneously satisfy the lower estimate Clognloglognloglogloglogn/(logloglogn)^2 with an arbitrarily large constant C. The proof uses the method of Maynard.
In our previous paper [math.NT/0408050], we established a correspondence between vector-valued holomorphic Siegel modular forms and cohomology with local coefficients for local symmetric spaces $X$ attached to real orthogonal groups of type $(p,q)$. This correspondence is realized using theta functions associated to explicitly constructed "special" Schwartz forms. Furthermore, the theta functions give rise to generating series of certain "special cycles" in $X$ with coefficients. In this paper, we study the boundary behaviour of these theta functions in the non-compact case and show that the theta functions extend to the Borel-Sere compactification $\bar{X}$ of $X$. However, for the $\Q$-split case for signature $(p,p)$, we have to construct and consider a slightly larger compactification, the "big" Borel-Serre compactification. The restriction to each face of $\bar{X}$ is again a theta series as in [math.NT/0408050], now for a smaller orthogonal group and a larger coefficient system. As application we establish the cohomological nonvanishing of the special (co)cycles when passing to an appropriate finite cover of $X$. In particular, the (co)homology groups in question do not vanish.
This section includes a selection of book reviews, letters, diary dates and other items of interest to nurse researchers. Contributions from readers are welcome as are letters discussing issues raised in this journal. Write to the Editor, NT Research, Macmillan Magazines, Porters South, Crinan Street, London N1 9XW. E-mail NTResearch@macmillan.com
In math.NT/0307308 we defined the irrationality base of an irrational number and, assuming a stronger hypothesis than the irrationality of Euler's constant, gave a conditional upper bound on its irrationality base. Here we develop the general theory of the irrationality exponent and base, giving formulas and bounds for them using continued fractions and the Fibonacci sequence. A theorem of Jarnik on Diophantine approximation yields numbers with prescribed irrationality measure. By another method we explicitly construct series with prescribed irrationality base. Many examples are given.
In connection with each global field of positive characteristic we exhibit many examples of two-variable algebraic functions possessing properties consistent with a conjectural refinement of the Stark conjecture in the function field case recently proposed by the author (math.NT/0407535). Most notably, all examples are Coleman units. We obtain our results by studying rank one shtukas in which both zero and pole are generic, i.~e., shtukas not associated to any Drinfeld module.
Let $Z=X_1\times...\times X_n$ be a product of Drinfeld modular curves. We characterize those algebraic subvarieties $X \subset Z$ containing a Zariski-dense set of CM points, i.e. points corresponding to $n$-tuples of Drinfeld modules with complex multiplication (and suitable level structure). This is a characteristic $p$ analogue of a special case of the André-Oort conjecture. We follow closely the approach used by Bas Edixhoven in characteristic zero, see math.NT/0302138. Note that in this paper we assume that the characteristic $p$ is odd, and we only treat the case of Drinfeld $F_q[T]$-modules.
Let $k$ be a local field of positive characteristic. Let $L$ be a cocompact discrete subgroup of $k$. Let $U$ be an open compact subgroup of $k$. Let $\ell$, $u$ and $a$ be elements of $k$, with $a$ nonzero. We study the behavior of the product $\prod_{0\neq x\in (\ell+L)\cap a(u+U)}x$ as $a$ varies. Our main result, which blends harmonic analysis and local class field theory, provides local confirmation of a conjecture concerning global function fields recently made by the author (math.NT/0407535).
A perfect (Delaunay) ellipsoid is an ellipsoid in n-dimensional Euclidean space that does not contain integral points in its interior, but is uniquely defined by integral points that lie on its surface. A perfect Delaunay polytope with respect to a positive quadratic form f() is a polytope with integral vertices that is circumscribed by a perfect Delaunay ellipsoid with an equation whose quadratic part is f(). This document has been corrected on January 15, 2005. Note that it represents the state of the area as of the end of 2002. For recent research on perfect Delaunay polytopes see my recent preprint, with Erdahl and Ordine, math.NT/0408122 on ArXiv.org .
The aim of this paper is to give an application of p-adic Hodge theory to stringy Hodge numbers introduced by V. Batyrev for a mathematical formulation of mirror symmetry. Since the stringy Hodge numbers of an algebraic variety are defined by choosing a resolution of singularities, the well-definedness is not clear from the definition. We give a proof of the well-definedness based on arithmetic results such as p-adic integration and p-adic Hodge theory. Note that another proof of the well-definedness was already obtained by V. Batyrev himself by motivic integration. This is a generalization of the author's earlier work in math.NT/0209269, where he treats only the smooth case.
Let H(x,y,z) be the number of integers $\le x$ with a divisor in (y,z] and let H_1(x,y,z) be the number of integers $\le x$ with exactly one such divisor. When y and z are close, it is expected that H_1(x,y,z) H(x,y,z), that is, an integer with a divisor in (y,z] usually has just one. We determine necessary and sufficient conditions on y and z so that H_1(x,y,z) H(x,y,z). In doing so, we answer an open question from the paper "The distribution of integers with a divisor in a given interval", math.NT/0401223.
Let p > 2 be a prime. Let Q(zeta) be the p-cyclotomic field. Let pi be the prime ideal of Q(zeta) lying over p. This article aims to describe some pi-adic congruences characterizing the structure of the p-class group and of the unit group of the field Q(zeta). For the unit group, this article supplements the 1954 and 1956 papers of Denes on this topic. A complete summarizing of the results obtained follows in the Introduction section of the paper (pages 3 to 6). This new version of the article with the same title, submitted with reference math.NT/0407430 25 Jul 2004: - corrects several typing errors in the introduction and in the paper, - simplifies some proofs of pi-adic congruences connected to p-class group, - removes the section dealing of the singular group foreseen in an independant paper.