BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let q=pk be a prime power, let Fq be a finite field and let n≥2 be an integer. This note investigates the existence small primitive normal elements in finite field extensions Fqn. It is shown that a small nonstructured subset A⊂Fqn of cardinality #A≫(logqn)(loglogqn)1+ε), where ε>0 is a small number, contains a primitive normal element.
The equidistribution of the double sign patterns of the Liouville function λ is proved unconditionally. As application, it is shown that the computable real number ∑n≥12n1+λ(n) is a simply normal number in base 4.
This note shows that the product eπ of the natural base e and the circle number π is an irrational number.
Let p≥2 be a large prime, and let k≪logp be a small integer. This note proves the existence of various configurations of (k+1)-tuples of consecutive and quasi consecutive primitive roots n+a0,n+a1,n+a2,…,n+ak in the finite field Fp, where a0,a1,…,ak is a fixed (k+1)-tuples of distinct integers.
A new integer deterministic factorization algorithm, rated at arithmetic operations to O(N1/6+ε) arithmetic operations, is presented in this note. Equivalently, given the least (logN)/6 bits of a factor of the balanced integer N=pq, where p and q are primes, the algorithm factors the integer in polynomial time O(log(N)c), with c≥0 constant, and ε>0 an arbitrarily small number. It improves the current deterministic factorization algorithm, rated at arithmetic operations to O(N1/5+ε) arithmetic operations.
The note provides a simple proof of the irrationality measure μ(π2)=2 of the real number π2. The current estimate gives the upper bound μ(π2)≤5.0954….
The first estimate of the upper bound μ(π)≤42 of the irrationality measure of the number π was computed by Mahler in 1953, and more recently it was reduced to μ(π)≤7.6063 by Salikhov in 2008. Here, it is shown that π has the same irrationality measure μ(π)=μ(α)=2 as almost every irrational number α>0.
The existence of infinitely many consecutive prime triples pn, pn+1, and pn+2 as n→∞, is sufficient to prove that the Catalan constant β(2)=0.9159655941… is an irrational number. This note provides the detailed analysis. Moreover, the numerical data suggests that the irrationality measure is μ(β(2))=2, the same as almost every irrational real numbers.
The purpose of this note is to improve the current theoretical results for the correlation functions of the Mobius sequence {μ(n):n≥1} and the Liouville sequence {λ(n):n≥1}.
This article provides new asymptotic results for the summatory Mobius function ∑p≤xμ(p+a)=O(x(logx)−c) and the summatory Liouville function ∑p≤xλ(p+a)=O(x(logx)−c) over the shifted primes, where a=0 is a fixed parameter, and c>1 is an arbitrary constant. These results improve the current estimates ∑p≤xμ(p+a)=(1−δ)π(x), and ∑p≤xλ(p+a)=(1−δ)π(x) for δ>0, respectively. Furthermore, a conditional proof for the autocorrelation function ∑p≤xμ(p+a)μ(p+b)=O(x(logx)−c), and an unconditional proof for the autocorrelation function ∑p≤xλ(p+a)λ(p+b)=O(x(logx)−c) over the shifted primes, where a=b, are also included.
Let z=±1,w2 be a fixed integer, and let f(t)=g(t)2 be a fixed polynomial over the integers. It is shown that the subset of primes p≥2 such that z and f(z) is a pair of simultaneous primitive roots modulo p has nonzero density in the set of primes. The same analysis generalizes to \textit{admissible} k-tuple of polynomials z, f1(z), f2(z),…, fk(z), such that fi(z)=gi(z)2, and k≪logp is a small integer.
Let u=±1, and v=±1 be a pair of fixed relatively prime squarefree integers, and let d≥1, and e≥1 be a pair of fixed integers. It is shown that there are infinitely many primes p≥2 such that u and v have simultaneous prescribed multiplicative orders ordpu=(p−1)/d and ordpv=(p−1)/e respectively, unconditionally. In particular, a squarefree odd integer u>2 and v=2 are simultaneous primitive roots and quadratic residues (or quadratic nonresidues) modulo p for infinitely many primes p, unconditionally.
This note offers an elementary proof of the Siegel-Walfisz theorem for primes in arithmetic progressions.
Let p≥2 be a large prime, and let N≫(logp)1+ε. This note proves the existence of primitive roots in the short interval [M,M+N], where M≥2 is a fixed number, and ε>0 is a small number. In particular, the least primitive root g(p)=O((logp)1+ε), and the least prime primitive root g∗(p)=O((logp)1+ε) unconditionally.
This note studies the Laurent series of the inverse zeta function 1/ζ(s) at any fixed nontrivial zero ρ of the zeta function ζ(s), and its connection to the simplicity of the nontrivial zeros.
This note presents a result on the maximal prime gap of the form p_(n+1) - p_n <= C(log p_n)^(1+e), where C > 0 is a constant, for any arbitrarily small real number e > 0, and all sufficiently large integer n > n_0. Equivalently, the result shows that any short interval [x, x + y], y => C(log x)^(1+e), contains prime numbers for all sufficiently large real numbers x => x_0 unconditionally. An application demonstrates that a prime p => x > 2 can be determined in deterministic polynomial time O(log(x)^8).
A recent heuristic argument based on basic concepts in spectral analysis showed that the twin prime conjecture and a few other related primes counting problems are valid. A rigorous version of the spectral method, and a proof of the more general dePolignac conjecture on the existence of infinitely many primes pairs p and p + 2k, k => 1, is proposed in this note.
The subset of quadratic primes {p = an^2 + bn + c : n => 1} generated by an irreducible polynomial f(x) = ax^2 + bx + c over the integers is widely believed to be an unbounded subset of prime numbers. This note provides the details of a possible proof for some of these quadratic polynomials. In particular, it is shown that the cardinality of the simplest subset of quadratic primes {p = n^2 + 1 : n => 1} is infinite.
This monograph considers a few topics in the theory of primitive roots g(p) modulo a prime p>=2. A few estimates of the least primitive roots g(p) and the least prime primitive roots g^*(p) modulo p, a large prime, are determined. One of the estimate here seems to sharpen the Burgess estimate g(p) << p^(1/4+e) for arbitrarily small number 3 > 0, to the smaller estimate g(p) <= p^(5/loglog p) uniformly for all large primes p => 2. The expected order of magnitude is g(p) <<(log p)^c, c>1 constant. The corresponding estimates for least prime primitive roots g^*(p) are slightly higher. Anotrher topic deals with an effective lower bound #{p <= x : ord(g)= p-1} >> x/log x for the number of primes p <= x with a fixed primitive root g != -1, b^2 for all large number x >1. The current results in the literature claim the lower bound #{p <= x : ord(g) = p-1} >> x/(log x)^2, and have restrictions on the minimal number of fixed integers to three or more.
The details for the construction of an explicit formula for the divisors function d(n) = #{d | n} are formalized in this article. This formula facilitates a unified approach to the investigation of the error terms of the divisor problem and circle problem.
It is shown that the density of the values set {Tau(n): n <= x} of the nth coefficients Tau(n) of the discriminant function Delta(z), a cusp form of level N = 1 and weight k = 12, has the lower bound #{Tau(n): n <= x} >> x/log x. The currently known density is #{Tau(n) : n <= x} >> x^(1/2+o(1)), and the expected density is #{Tau(n) : n <= x} ~ x. The solutions set of the equation Tau(p) = 0 for all primes p => 2, which arises as a singular case of this analysis, is discussed within.
Let k => 1, m => 1 be small fixed integers, gcd(k, m) = 1. This note develops some techniques for proving the existence of infinitely many primes solutions x = p, and y = q of the linear Diophantine equation y = mx + k.
This note gives a few rapidly convergent series representations of the sums of divisors functions. These series have various applications such as exact evaluations of some power series, computing estimates and proving the existence results of some special values of the sums of divisors functions.
The possible values of the nth Fourier coefficients a(n) of some cusp forms f(z) of weight k => 12 are studied in this article. In particular, the values of the tau function are investigated in some details, and proved that tau(p) =! 0 for all primes p => p_0.
A method for estimating the merit factors of sequences will be provided. The result is also effective in determining the nonexistence of certain infinite collections of cyclic difference sets and cyclic matrices and associated binary sequences.
This note simplifies the proof of a recent result on the oscillation of the prime product in Martens Theorem, and provides a quantitative expression for the error term. In addition, the corresponding oscillation results for the finite sums of the reciprocal of the primes up to a fixed number and other finite sums and products are also given.
This work proposes a proof of the simplest cubic primes counting problem. It shows that the subset of primes {p = n^3 + 2 is prime : n => 1} is an infinite subset of primes. Further, the expected order of magnitude of the cubic primes counting function is established.
This short note contributes a new zero-free region of the zeta function. This zero-free region has the form {s : Re(s) > a}, where a = 21/40.
A few elementary estimates of a basic character sum over the prime numbers are derived here. These estimates are nontrivial for character sums modulo large q. In addition, an omega result for character sums over the primes is also included.
This work proposes elementary proofs of several related primes counting problems, based on an elementary weighted sieve. The subsets of primes considered here are the followings: the subset of twin primes PT = {p and p + 2 are primes}, the subset of Germain primes PG = {p and 2p + 1 are primes}, and the subset of quadratic primes Pf = {p = n^2 + 1 primes}. These subsets of primes are widely believed to be infinite subsets of prime numbers.
A unified proof of the irrationality of the special values L(n, X), n > 1 an integer, of the beta L-function is put forward in this note. The first case of n = 2 seems to confirm that the Catalan constant L(2, X) is an irrational number.
This note shows that the Dedekind psi function achieves its extreme values on the subset of primorial integers N_k = 2*3*5*...*p_k, where p_k is the kth prime. In particular, the inequality psi(N_k) > cloglog N_k, where c = 1.08... is a universal constant, holds for all large primorial integers N_k = 2*3*5*...*p_k unconditionally.
This note provides new closed forms evaluations of a few classes of exponential sums associated with elliptic curves and hyperelliptic curves.
The collection of cyclic Hadamard matrices {H = (a_{i - j}) : 0 <= i, j < n, and a_i = -1, 1} of order n is characterized by the orthogonality relation HH^T = nI. Only two of such matrices are currently known. It will be shown that this collection consists of precisely two matrices. An application of this result implies that there are exactly seven Barker sequences over the binary set {-1, 1}.
It will be demonstrated that there is a thin basis of order four of minimal cardinality #A(x) = O(x^.25). The current literature shows the existence of a thin basis of order four of cardinality #A(x) = O(x^(.25+ε), ε > 0, but speculates on the existence of a thin basis of order four of minimal cardinality.
A perfect number is a number whose divisors add up to twice the number itself. The existence of odd perfect numbers is a millennia-old unsolved problem. This note proposes a proof of the nonexistence of odd perfect numbers. More generally, the same analysis seems to generalize to a proof of the nonexistence of odd multiperfect numbers.
A study of the Dedekind psi function concludes that its extreme values are supported on the subset of primorial integers N_k = 2*3***p_k, where p_k is the kth prime. In particular, the inequality psi(N_k) > cloglogN_k, c > 0 constant, holds for all large primorial integers.
The orders of magnitudes of the summatory Liouville function L(x), and the summatory Mobius function M(x), are unconditionally proven to be of the forms L(x) = O(x^.5)), and M(x) = O(x^.5) respectively. Furthermore, applications of these estimates to zeta functions and L-functions are also considered.
This article is a short introduction to the theory of the groups of points of elliptic curves over finite fields. It is concerned with the elementary theory and practice of elliptic curves cryptography, the new generation of public key systems. The material and coverage are focused on the groups of points of elliptic curves and algebraic curves, but not exclusively.
The theoretical aspects of four integer factorization algorithms are discussed in details in this note. The focus is on the performances of these algorithms on the subset of hard to factor balanced integers N = pq, p < q < 2p. The running time complexity of these algorithms ranges from deterministic exponential time complexity O(N^(1/2)) to heuristic and unconditional logarithmic time complexity O((log N)^c), c > 0 constant.
Assuming the Riemann hypothesis, this article discusses a new elementary argument that seems to prove that the maximal prime gap of a finite sequence of primes p_1, p_2, ..., p_n <= x, satisfies max {p_(n+1) - p_n : p_n <= x} <= c1((logx)^2)/loglogx, c1 > 0 constant. Equivalently, it shows that the very short intervals (x, x + y] contain prime numbers for all y > c2((logx)^2)/loglogx, c2 > 0 constant, and sufficiently large x > 0.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.