The Bateman-Horn conjecture is a far-reaching statement about the distribution of the prime numbers. It implies many known results, such as the prime number theorem and the Green-Tao theorem, along with many famous conjectures, such the twin prime conjecture and Landau's conjecture. We discuss the Bateman-Horn conjecture, its applications, and its origins.
We report the results of our empirical investigations on the Bateman-Horn conjecture. This conjecture, in its commonly known form, produces rather large deviations when the polynomials involved are not monic. We propose a modified version of the conjecture which empirically demonstrates remarkable accuracy even for modest values of primes.
We establish cancellation in short sums of certain special trace functions over $\mathbb{F}_q[u]$ below the Pólya-Vinogradov range, with savings approaching square-root cancellation as $q$ grows. This is used to resolve the $\mathbb{F}_q[u]$-analog of Chowla's conjecture on cancellation in Möbius sums over polynomial sequences, and of the Bateman-Horn conjecture in degree $2$, for some values of $q$. A final application is to sums of trace functions over primes in $\mathbb{F}_q[u]$.
In this paper, we determine the bound of the valency of the odd circulant graph which guarantees to be a Ramanujan graph for each fixed number of vertices. In almost of the cases, the bound coincides with the trivial bound, which comes from the trivial estimate of the largest non-trivial eigenvalue of the circulant graph. As exceptional cases, the bound in fact exceeds the trivial one by two. We then prove that such exceptionals occur only in the cases where the number of vertices has at most two prime factors and is represented by a quadratic polynomial in a finite family and, moreover, under…
As a consequence of the classification of finite simple groups, the classification of permutation groups of prime degree is complete, apart from the question of when the natural degree $(q^n-1)/(q-1)$ of ${\rm PSL}_n(q)$ is prime. We present heuristic arguments and computational evidence based on the Bateman-Horn Conjecture to support a conjecture that for each prime $n\ge 3$ there are infinitely many primes of this form, even if one restricts to prime values of $q$. Similar arguments and results apply to the parameters of the simple groups ${\rm PSL}_n(q)$, ${\rm PSU}_n(q)$ and ${\rm PSp}_{2n…
The Multidimensional Bateman Horn Conjecture: Effective Estimates for the Tail of the Singular Series and an Algorithm for Computation with Guaranteed Accuracy
Bateman-Horn, polynomial Chowla and the Hasse principle with probability 1
IST Austria(奥地利科学技术研究所);Dipartimento di Matematica Università di Roma Tor Vergata(罗马托维加塔大学数学系);Department of Pure Mathematics and Mathematical Statistics University of Cambridge(剑桥大学纯数学与数理统计系)
We use the Bateman--Horn Conjecture from number theory to give strong evidence of a positive answer to Peter Neumann's question, whether there are infinitely many simple groups of order a product of six primes. (Those with fewer than six were classified by Burnside, Frobenius and Hölder in the 1890s.) The groups satisfying this condition are ${\rm PSL}_2(8)$, ${\rm PSL}_2(9)$ and ${\rm PSL}_2(p)$ for primes $p$ such that $p^2-1$ has just six prime factors. The conjecture suggests that there are infinitely many such primes, by providing heuristic estimates for their distribution which agree clo…
In this paper, we make a conjecture (conjecture 1) related to the Bateman-Horn conjecture and proceed to study the roots of $x^2+1$ and $x^2+2$ to prime moduli, assuming the truth of the Bateman-Horn conjecture and conjecture 1 and using the Erdős-Turan-Koksma inequality.
Stellenbosch University(斯泰伦博斯大学);University of Oxford(牛津大学);Graz University of Technology(格拉茨工业大学);Max Planck Institute for Software Systems(马克斯·普朗克软件研究所)
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…
We prove an analogue of the classical Bateman-Horn conjecture on prime values of polynomials for the ring of polynomials over a large finite field. Namely, given non-associate, irreducible, separable and monic (in the variable $x$) polynomials $F_1,\ldots,F_m\in\mathbf{F}_q[t][x]$, with $q$ odd, we show that the number of $f\in\mathbf{F}_q[t]$ of degree $n\ge\max(3,\mathrm{deg}_t F_1,\ldots,\mathrm{deg}_t F_m)$ such that all $F_i(t,f)\in\mathbf{F}_q[t],1\le i\le m$ are irreducible is $$\left(\prod_{i=1}^m\frac{μ_i}{N_i}\right) q^{n+1}\left(1+O_{m,\,\max\mathrm{deg} F_i,\,n}\left(q^{-1/2}\right…
Garcia, Kahoro, and Luca showed that the Bateman-Horn conjecture implies $ϕ(p-1) \geq ϕ(p+1)$ for a majority of twin-primes pairs $p,p+2$ and that the reverse inequality holds for a small positive proportion of the twin primes. That is, $p$ tends to have more primitive roots than does $p+2$. We prove that Dickson's conjecture, which is much weaker than Bateman-Horn, implies that the quotients $\frac{ϕ(p+1)}{ϕ(p-1)}$, as $p,p+2$ range over the twin primes, are dense in the positive reals. We also establish several Schinzel-type theorems, some of them unconditional, about the behavior of $\frac{…
A recent construction by Amarra, Devillers and Praeger of block designs with specific parameters depends on certain quadratic polynomials, with integer coefficients, taking prime power values. The Bunyakovsky Conjecture, if true, would imply that each of them takes infinitely many prime values, giving an infinite family of block designs with the required parameters. We have found large numbers of prime values of these polynomials, and the numbers found agree very closely with the estimates for them provided by Li's recent modification of the Bateman-Horn Conjecture. While this does not prove t…
Although we expect to find many smooth numbers (i.e., numbers with no large prime factors) among the values taken by a polynomial with integer coefficients, it is unclear what the asymptotic number of such smooth values should be; this is in contrast to the related problem of counting the number of prime values of a polynomial, for which Bateman and Horn published a conjectured asymptotic formula that is widely believed to be true. We discuss how to employ the Bateman-Horn conjecture to derive an asymptotic formula for the number of smooth values of a polynomial, with the smoothness parameter …
We heuristically analyze the Cocks-Pinch method by using the Bateman-Horn conjecture. Especially, we present the first known heuristic which suggests that any efficient construction of pairing-friendly elliptic curves can efficiently generate such curves over pairing-friendly fields, naturally including the Cocks-Pinch method. Finally, some numerical evidence is given.
We study the difference between the number of primitive roots modulo $p$ and modulo $p+k$ for prime pairs $p,p+k$. Assuming the Bateman-Horn conjecture, we prove the existence of strong sign biases for such pairs. More importantly, we prove that for a small positive proportion of prime pairs $p,p+k$, the dominant inequality is reversed.
Numerical evidence suggests that for only about $2\%$ of pairs $p,p+2$ of twin primes, $p+2$ has more primitive roots than does $p$. If this occurs, we say that $p$ is exceptional (there are only two exceptional pairs with $5 \leq p \leq 10{,}000$). Assuming the Bateman-Horn conjecture, we prove that at least $0.47\%$ of twin prime pairs are exceptional and at least $65.13\%$ are not exceptional. We also conjecture a precise formula for the proportion of exceptional twin primes.
For k greater than 1 and r different from 0, let pi^k_{2r}(x) denote the number of prime pairs (p,p^k+2r) with p not exceeding (large) x. By the Bateman-Horn conjecture, the function pi^k_{2r}(x) should be asymptotic to (2/k)C^k_{2r}li_2(x), with certain specific constants C^k_{2r}. Heuristic arguments lead to the conjecture that these constants have mean value one, just like the Hardy-Littlewood constants C_{2r} for prime pairs (p,p+2r). The conjecture is supported by extensive numerical work.
An open conjecture of Z.-W. Sun states that for any integer $n>1$ there is a positive integer $k\le n$ such that $π(kn)$ is prime, where $π(x)$ denotes the number of primes not exceeding $x$. In this paper, we show that for any positive integer $n$ the set $\{π(kn):\ k=1,2,3,\ldots\}$ contains infinitely many $P_2$-numbers which are products of at most two primes. We also prove that under the Bateman--Horn conjecture the set $\{π(4k):\ k=1,2,3,\ldots\}$ contains infinitely many primes.
We reinterpret ideas in Klein's paper on transformations of degree $11$ from the modern point of view of dessins d'enfants, and extend his results by considering dessins of type $(3,2,p)$ and degree $p$ or $p+1$, where $p$ is prime. In many cases we determine the passports and monodromy groups of these dessins, and in a few small cases we give drawings which are topologically (or, in certain examples, even geometrically) correct. We use the Bateman-Horn Conjecture and extensive computer searches to support a conjecture that there are infinitely many primes of the form $p=(q^n-1)/(q-1)$ for som…
Let $p$ be a prime number. A chain $\{p,2p+1,4p+3,\cdots,(p+1)2^{l(p)-1}-1\}$ is called the Cunningham chain generated by $p$ if all elements are prime number and $(p+1)2^{l(p)}-1$ is composite. Then $l(p)$ is called the length of the Cunningham chain. It is conjectured by Bateman and Horn in 1962 that the number of prime $p\leq N$ such that $l(p)\geq k$ is asymptotically equal to $B_k N/(\log N)^k$ with a real $B_k>0$ for all natural number $k$. This suggests that $l(p)=Ω(\log p/\log\log p)$. However, so far no good estimation is known. It has not even been proven whether $\limsup_{p\to\infty…