In this paper we present the statement of the Firoozbakht's conjecture, some of its consequences if it is proved and we show a consequence of Zhang's theorem concerning the Firoozbakht's conjecture.
If $p_k$ is the k-th prime, the Firoozbakht conjecture states that the sequence $(p_k)^{1/k}$ is strictly decreasing. We use the table of first-occurrence prime gaps in combination with known bounds for the prime-counting function to verify the Firoozbakht conjecture for primes up to four quintillion $(4\times10^{18})$.
We study two kinds of conjectural bounds for the prime gap after the k-th prime $p_k$: (A) $p_{k+1} < (p_k)^{1+1/k}$ and (B) $p_{k+1}-p_k < \log^2 p_k - \log p_k - b$ for $k>9$. The upper bound (A) is equivalent to Firoozbakht's conjecture. We prove that (A) implies (B) with $b=1$; on the other hand, (B) with $b=1.17$ implies (A). We also give other sufficient conditions for (A) that have the form (B) with $b\to1$ as $k\to\infty$.
We announce a number of conjectures associated with and arising from a study of primes and irrationals in $\mathbb{R}$. All are supported by numerical verification to the extent possible.
In this paper, we make some conjectures on prime numbers that are sharper than those found in the current literature. First we describe our studies on Legendre's Conjecture which is still unsolved. Next, we show that Brocard's Conjecture can be proved assuming our improved version of Legendre's Conjecture. Finally, we sharpen the Bertrand's Postulate for prime numbers. Our results are backed by extensive empirical investigation.
Some results and conjectures on $Z_2(s) = \int_1^\infty |ζ(1/2+ix)|^4x^{-s}dx (\Re s > 1)$ are presented. Consequences of these conjectures regarding the eighth moment of $|ζ(1/2+it)$ and the error term in the fourth moment of $|ζ(1/2+it)$ are discussed.
This is an updated and extended version of ANT-0024. We prove more special cases of the Fontaine-Mazur conjecture regarding p-adic Galois representations unramified at p, and we present evidence for and consequences of a generalization of it.
We report here on the computational verification of a refinement of Zhi-Wei Sun's "1-3-5 conjecture" for all natural numbers up to 105 103 560 126. This, together with a result of two of the authors, completes the proof of that conjecture.
Let $m$ and $n$ be positive integers with $m,n \geq 2$. The second Hardy-Littlewood conjecture states that the number of primes in the interval $(m,m+n]$ is always less than or equal to the number of primes in the interval $[2,n]$. Based on new explicit estimates for the prime counting function $π(x)$, we give some new ranges in which this conjecture holds.
A new tool is introduced, specially tailored for the study of order 2 bases of N. It is called the Erdos-Tuan algebra since it suits well their conjecture.
Based on work of Atkin and Swinnerton-Dyer on partition rank difference functions, and more recent work of Lovejoy and Osburn, Mao has proved several inequalities between partition ranks modulo $10$, and additional results modulo $6$ and $10$ for the $M_2$ rank of partitions without repeated odd parts. Mao conjectured some additional inequalities. We prove some of Mao's rank inequality conjectures for both the rank and the $M_2$ rank modulo $10$ using elementary methods.
Let $R=\mathcal{O}_{\Q(\sqrt{d})}$ for $d<0$, squarefree, $d\neq -1,-3$. We prove Lehmer's conjecture for associated reciprocal polynomials of $R$-matrices; that is, any noncyclotomic $R$-matrix has Mahler measure at least $λ_0=1.176...$.
We first investigate two kinds of Fricke families consisting of Fricke functions and Siegel functions, respectively. And, in terms of their special values we generate ray class fields of imaginary quadratic fields, which is related to the Lang-Schertz conjecture.
Riemann conjectured that all the zeros of the Riemann $Ξ$-function are real, which is now known as the Riemann Hypothesis (RH). In this article we introduce the study of the zeros of the truncated sums $Ξ_N(z)$ in Riemann's uniformly convergent infinite series expansion of $Ξ(z)$ involving incomplete gamma functions. We conjecture that when the zeros of $Ξ_N (z)$ in the first quadrant of the complex plane are listed by increasing real part, their imaginary parts are monotone nondecreasing. We show how this conjecture implies the RH, and discuss some computational evidence for this and other re…
In a recent paper, Roland Bacher conjectured three identities concerning Stern's sequence and its twist. In this paper we prove Bacher's conjectures. Possibly of independent interest, we also give a way to compute the Stern value (or twisted Stern value) of a number based solely on its binary expansion.
The main purpose of this article is to study higher power mean values of generalized quadratic Gauss sums using estimates for character sums, analytic method and algebraic geometric methods. In this article, we prove two conjectures which were proposed in \cite{BLZ}.
Define B(n) to be the largest height of a polynomial in $\mathbb{Z}[x]$ dividing $x^n-1$. We formulate a number of conjectures related to the value of B(n) when $n$ is of a prescribed form. Additionally, we prove a lower bound for $B(p^aq^b)$ where $p,q$ are distinct primes.
In this paper, we study a general Syracuse problem. We give some necessary conditions concerning the existence of eventual non trivial cycles. Some properties based on linear logarithmic forms are established. New general conjectures are given. To illustrate the behavior of such a problem, some particular examples are presented.
This survey describe Hodge, Tate and Mumford-Tate conjectures for abelian varieties. After some preliminaries on endomorphism ring, polarization and algebraic cycles, we state the three conjectures and provide a list of know results. Finally, we explain some links between these conjectures.
For a positive integer $t$, let $b_{t}(n)$ denote the number of $t$-regular partitions of a nonnegative integer $n$. In a recent paper, Keith and Zanello established infinite families of congruences and self-similarity results modulo $2$ for $b_{t}(n)$ for certain values of $t$. Further, they proposed some conjectures on self-similarities of $b_t(n)$ modulo $2$ for certain values of $t$. In this paper, we prove their conjectures on $b_3(n)$ and $b_{25}(n)$. We also prove a self-similarity result for $b_{21}(n)$ modulo $2$.
In this paper, we prove the Shafarevich conjecture for proper hyperbolic polycurves, which is a higher dimensional analogue of that for proper hyperbolic curves. First, we study theories of proper hyperbolic polycurves over regular schemes. For example, we generalize the moduli theory of Kodaira fibrations due to Jost and Yau. We also show the Neron property of proper smooth models of proper hyperbolic polycurves over Dedekind schemes under an assumption on residual characteristics. We then apply these extension theories to the proof of the Shafarevich conjecture for proper hyperbolic polycurv…
Let $F$ be a totally real field in which a fixed prime $p$ is inert, and let $E$ be a CM extension of $F$ in which $p$ splits. We fix two positive integers $r,s \in \mathbb N$. We investigate the Tate conjecture on the special fiber of $G(U(r,s) \times U(s,r))$-Shimura variety. We construct cycles which we conjecture to generate the Tate classes and verify our conjecture in the case of $G(U(1,s) \times U(s,1))$. We also discuss the general conjecture regarding special cycles on the special fibers of unitary Shimura varieties.
In this article we deal with the problem of counting the number of pairs of normalized eigenforms $ (f,g) $ of weight $k$ and level $N$ such that $ a_p (f) = a_p (g) $ where $a_p (f) $ denotes the $p-$th Fourier coefficient of $f$. Here $p$ is a fixed prime.
Leopoldt's Conjecture is a statement about the relationship between the global and local units of a number field. Approximately the conjecture states that the Z_p-rank of the diagonal embedding of the global units into the product of all local units equals the Z-rank of the global units. The variation we consider asks: Can we say anything about the Z_p-rank of the diagonal embedding of the global units into the product of some local units? We use the p-adic Schanuel Conjecture to answer the question in the affirmative and moreover we give a value for the Z_p-rank (of the diagonal embedding of …
We use Vaughan's variation on Vinogradov's three-primes theorem to prove Zariski-density of prime points in several infinite families of hypersurfaces, including level sets of some quadratic forms, the Permanent polynomial, and the defining polynomials of some pre-homogeneous vector spaces. Three of these families are instances of a conjecture by Bourgain, Gamburd and Sarnak regarding prime points in orbits of simple algebraic groups. Our approach is based on the formulation of a general condition on the defining polynomial of a hypersurface, which suffices to guarantee that Zariski-density of…
The aim of this work is to present a possible adaptation of the Manin-Mumford conjecture to the $T-$modules, a mathematical object which has been introduced in the 1980's by G. Anderson as the natural analogue of the abelian varieties in the context of modules over rings which are contained in positive characteristic function fields. We propose then a generalisation of such an adapted conjecture to a modified general version of Mordell-Lang conjecture for $T-$modules which might correct the one proposed for the first time by L. Denis but no longer compatible with the present results.
This paper demonstrates that from the Cramer's, Hardy-Littlewood's and Bateman-Horn's conjectures (suggest that the probability of a large positive integer being $x$ a prime - $\frac {1} {\ln(x)}$) it follows that the events consisting in a positive integer $x$ being not divisible by different primes are dependent with the ratio $0,5e^γ$ ($γ$ - Euler's constant). In establishing Hardy-Littlewood's and Bateman-Horn's conjectures, their authors followed the first suggestion by another one assuming the independence of the above-mentioned events, which on the basis of the first suggestion and Mert…
In 2003, Rodriguez Villegas conjectured 14 supercongruences between hypergeometric functions arising as periods of certain families of rigid Calabi-Yau threefolds and the Fourier coefficients of weight 4 modular forms. Uniform proofs of these supercongruences were given in 2019 by Long, Tu, Yui, and Zudilin. Using p-adic techniques of Dwork, they reduce the original supercongruences to related congruences which involve only the hypergeometric series. We generalize their techniques to consider six further supercongruences recently conjectured by Long. In particular we prove an analogous version…
In this paper, we explain several conjectures about how a product of two Carlitz-Goss zeta values can be expressed as a F_p-linear combination of Thakur's multizeta values, generalizing the q=2 case dealt by D. Thakur in Relations between multizeta values for F_q[t]. In contrast to the classical sum shuffle, ζ(a)ζ(b)=ζ(a+b)+ζ(a,b)+ζ(b,a), the identities we get are much more involved. Hundreds of instances of these conjectures have been proved and we describe the proof method and the evidence.
Kanade and Russell conjectured several Rogers-Ramanujan-type partition identities, some of which are related to level $2$ characters of the affine Lie algebra $A_9^{(2)}$. Many of these conjectures have been proved by Bringmann, Jennings-Shaffer and Mahlburg. We give new proofs of five conjectures first proved by those authors, as well as four others that have been open until now. Our proofs for the new cases use quadratic transformations for Askey-Wilson and Rogers polynomials. We also obtain some related results, including a new proof of a partition identity conjectured by Capparelli and fir…
Let $p$ be an odd prime. In the paper we collect the author's various conjectures on congruences modulo $p$ or $p^2$, which are concerned with sums of binomial coefficients, Lucas sequences, power residues and special binary quadratic forms.
Grothendieck gave two forms of his "main conjecture of anabelian geometry", i.e. the section conjecture and the hom conjecture. He stated that these two forms are equivalent and that if they hold for hyperbolic curves then they hold for elementary anabelian varieties too. We state a stronger form of Grothendieck's conjecture (equivalent in the case of curves) and prove that Grothendieck's statements hold for our form of the conjecture. We work with DM stacks, rather than schemes. If $X$ is a DM stack over a field $k\subseteq\mathbb{C}$ finitely generated over $\mathbb{Q}$, we prove that whethe…
Recently, George Beck introduced two partition statistics $NT(m,j,n)$ and $M_ω(m,j,n)$, which denote the total number of parts in the partition of $n$ with rank congruent to $m$ modulo $j$ and the total number of ones in the partition of $n$ with crank congruent to $m$ modulo $j$, respectively. Andrews proved a congruence on $NT(m,5,n)$ which was conjectured by Beck. Very recently, Chan, Mao and Osburn established a number of Andrews-Beck type congruences and posed several conjectures involving $NT(m,j,n)$ and $M_ω(m,j,n)$. Some of those conjectures were proved by Chern and Mao. In this paper,…
We use the method of Bruinier--Raum to show that symmetric formal Fourier--Jacobi series, in the cases of norm-Euclidean imaginary quadratic fields, are Hermitian modular forms. Consequently, combining a theorem of Yifeng Liu, we deduce Kudla's conjecture on the modularity of generating series of special cycles of arbitrary codimension for unitary Shimura varieties defined in these cases.
In this short note we discuss the exceptional locus for the Lang-Vojta's conjecture in the case of the complement of two completely reducible hyperplane sections in a cubic surface. Using elementary methods, we show that generically the exceptional set is the union of the remaining 21 lines in the surface. We also describe examples in which the exceptional set is strictly larger.
This paper verifies Abhyankar's Inertia Conjecture for certain sporadic groups $G$ in particular characteristics by showing that all possible inertia groups occur for $G$-Galois covers of the affine line. For a larger set of sporadic groups, all but finitely many possible ramification invariants are shown to occur. In particular, we prove that all but eight of the possible ramification invariants are realizable for $\text{M}_{11}$-Galois covers of the affine line.
We show that Vojta's conjecture for some rational surfaces is related to the $abc$ conjecture. More specifically, we prove that Vojta's conjecture on these surfaces implies a special case of the $abc$ conjecture, while the $abc$ conjecture implies Vojta's conjecture on these surfaces. Moreover, for similar but different rational surfaces, we prove Vojta's conjecture unconditionally. To prove these results, we use some (possibly new) properties of Farey sequences.
The Lonely Runner Conjecture was posed independently by Wills and Cusick and has many applications in different mathematical fields, such as diophantine approximation. This well-known conjecture states that for any set of runners running along the unit circle with constant different speeds and starting at the same point, there is a moment where all of them are far enough from the origin. We study the correlation among the time that runners spend close to the origin. By means of these correlations, we improve a result of Chen on the gap of loneliness and we extend an invisible runner result of …
The Apery polynomials are defined by $A_n(x)=\sum_{k=0}^{n}{n\choose k}^2{n+k\choose k}^2 x^k$ for all nonnegative integers $n$. We confirm several conjectures of Z.-W. Sun on the congruences for the sum $\sum_{k=0}^{n-1}(-1)^k(2k+1) A_k(x)$ with $x\in Z$.
We use $p$-adic families of automorphic forms for an unitary group in three variables, containing some non-tempered forms constructed by Rogawski, to prove some cases of the Bloch-Kato conjectures.
We discuss various results and questions around the Grothendieck period conjecture, which is a counterpart, concerning the de Rham-Betti realization of algebraic varieties over number fields, of the classical conjectures of Hodge and Tate. These results give new evidence towards the conjectures of Grothendieck and Kontsevich-Zagier concerning transcendence properties of the torsors of periods of varieties over number fields. We notably establish that the Grothendieck period conjecture holds in degree 1 for products of curves, of abelian varieties, and of K3 surfaces, and that it holds in degre…
Let $n$ and $r$ be positive integers. Define the numbers $S_n^{(r)}$ by $S_n^{(r)}=\sum_{k=0}^n\binom{n}{k}^2\binom{2k}{k}(2k+1)^r.$ In this paper we prove some conjectures of Guo and Liu which extend some conjectures of Z.-W. Sun \cite{Su1}, such as: There exist integers $a_{2r-1}$ and $b_r$, independent of $n$, such that $$a_{2r-1}\sum_{k=0}^{n-1}S_k^{(2r-1)}\equiv0\pmod{n^2}\ \mbox{and}\ b_r\sum_{k=0}^{n-1}kS_k^{(r)}\equiv0\pmod{n^2}.$$ By Zeilberger algorithm, we find that for all $0\leq j<n$, $$(2j+1)\binom{2j}j\sum_{k=j}^{n-1}(2k-j+1)\binom kj^2\equiv0\pmod{n^2}.$$
The point of this note is to prove that the secrecy function attains its maximum at y=1 on all known extremal even unimodular lattices. This is a special case of a conjecture by Belfiore and Solé. Further, we will give a very simple method to verify or disprove the conjecture on any given unimodular lattice.
We define some formal moduli space of quasi-isogenies of isoclinic $p$-divisible groups with a non-reductive group as the "structure group". We then formulate new Arithmetic Fundamental Lemma conjectures for Bessel subgroups in the context of the arithmetic Gan-Gross-Prasad conjectures. Some (very limited) evidence is presented.