arxiv: v1 [math.nt] 22 Jun 2017

Similar documents
Departmento de Matemáticas, Universidad de Oviedo, Oviedo, Spain

On Carmichael numbers in arithmetic progressions

Carmichael numbers and the sieve

ON CARMICHAEL NUMBERS IN ARITHMETIC PROGRESSIONS

FACTORS OF CARMICHAEL NUMBERS AND A WEAK k-tuples CONJECTURE. 1. Introduction Recall that a Carmichael number is a composite number n for which

Carmichael numbers with a totient of the form a 2 + nb 2

A Guide to Arithmetic

HOW OFTEN IS EULER S TOTIENT A PERFECT POWER? 1. Introduction

Notes on Systems of Linear Congruences

M381 Number Theory 2004 Page 1

Oleg Eterevsky St. Petersburg State University, Bibliotechnaya Sq. 2, St. Petersburg, , Russia

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

The primitive root theorem

GENERALIZATIONS OF SOME ZERO-SUM THEOREMS. Sukumar Das Adhikari Harish-Chandra Research Institute, Chhatnag Road, Jhusi, Allahabad , INDIA

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

The Impossibility of Certain Types of Carmichael Numbers

VARIANTS OF KORSELT S CRITERION. 1. Introduction Recall that a Carmichael number is a composite number n for which

Part II. Number Theory. Year

Smol Results on the Möbius Function

Results and conjectures related to a conjecture of Erdős concerning primitive sequences

LARGE PRIME NUMBERS (32, 42; 4) (32, 24; 2) (32, 20; 1) ( 105, 20; 0).

Summary Slides for MATH 342 June 25, 2018

#A69 INTEGERS 13 (2013) OPTIMAL PRIMITIVE SETS WITH RESTRICTED PRIMES

5: The Integers (An introduction to Number Theory)

arxiv:math/ v3 [math.nt] 23 Apr 2004

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

Chapter 1 : The language of mathematics.

The Chinese Remainder Theorem

arxiv: v1 [math.nt] 18 Jul 2012

arxiv: v1 [math.nt] 18 Aug 2011

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n.

Lecture notes: Algorithms for integers, polynomials (Thorsten Theobald)

Covering Subsets of the Integers and a Result on Digits of Fibonacci Numbers

Fermat numbers and integers of the form a k + a l + p α

LEHMER S TOTIENT PROBLEM AND CARMICHAEL NUMBERS IN A PID

arxiv: v2 [math.nt] 13 Jul 2018

The Average Number of Divisors of the Euler Function

On Arithmetic Properties of Bell Numbers, Delannoy Numbers and Schröder Numbers

Euler s ϕ function. Carl Pomerance Dartmouth College

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

A Few Primality Testing Algorithms

7. Prime Numbers Part VI of PJE

On prime factors of subset sums

E-SYMMETRIC NUMBERS (PUBLISHED: COLLOQ. MATH., 103(2005), NO. 1, )

A LOWER BOUND FOR THE SIZE OF A MINKOWSKI SUM OF DILATES. 1. Introduction

Optimal primitive sets with restricted primes

On The Discriminator of Lucas Sequences

Chapter 5: The Integers

A 1935 Erdős paper on prime numbers and Euler s function

Introduction to Number Theory

Part V. Chapter 19. Congruence of integers

How many units can a commutative ring have?

This exam contains 5 pages (including this cover page) and 4 questions. The total number of points is 100. Grade Table

1 Basic Combinatorics

Department of Mathematics, Nanjing University Nanjing , People s Republic of China

Perfect Power Riesel Numbers

EXTENDING A THEOREM OF PILLAI TO QUADRATIC SEQUENCES

Integer Sequences Avoiding Prime Pairwise Sums

198 VOLUME 46/47, NUMBER 3

AN EQUATION INVOLVING ARITHMETIC FUNCTIONS AND RIESEL NUMBERS

#A42 INTEGERS 10 (2010), ON THE ITERATION OF A FUNCTION RELATED TO EULER S

SOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,

On the Fractional Parts of a n /n

Prime Divisors of Palindromes

Discrete Mathematics. Spring 2017

SOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.

ON A PROBLEM OF PILLAI AND ITS GENERALIZATIONS

AN EXTENSION OF A THEOREM OF EULER. 1. Introduction

2 More on Congruences

PRIME-REPRESENTING FUNCTIONS

On the Distribution of Carmichael Numbers

On the number of semi-primitive roots modulo n

Another Proof of Nathanson s Theorems

Equidivisible consecutive integers

PMA225 Practice Exam questions and solutions Victor P. Snaith

Theory of Numbers Problems

Homework #2 solutions Due: June 15, 2012

On the number of co-prime-free sets. Neil J. Calkin and Andrew Granville *

Houston Journal of Mathematics c 2050 University of Houston Volume 76, No. 1, Communicated by George Washington

Course 2BA1: Trinity 2006 Section 9: Introduction to Number Theory and Cryptography

Some generalizations of a supercongruence of van Hamme

Fermat s Little Theorem. Fermat s little theorem is a statement about primes that nearly characterizes them.

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

Euler s, Fermat s and Wilson s Theorems

The Chinese Remainder Theorem

1 i<j k (g ih j g j h i ) 0.

Average value of the Euler function on binary palindromes

Math 319 Problem Set #2 Solution 14 February 2002

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

p = This is small enough that its primality is easily verified by trial division. A candidate prime above 1000 p of the form p U + 1 is

ON NEAR RELATIVE PRIME NUMBER IN A SEQUENCE OF POSITIVE INTEGERS. Jyhmin Kuo and Hung-Lin Fu

Pseudoprime Statistics to 10 19

Corollary 4.2 (Pepin s Test, 1877). Let F k = 2 2k + 1, the kth Fermat number, where k 1. Then F k is prime iff 3 F k 1

Bounds for the Eventual Positivity of Difference Functions of Partitions into Prime Powers

A connection between number theory and linear algebra

Simultaneous Linear, and Non-linear Congruences

Transcription:

lexander Kalmynin arxiv:1706.07343v1 [math.nt] 22 Jun 2017 Nová-Carmichael numbers and shifted primes without large prime factors bstract. We prove some new lower bounds for the counting function N C (x) of the set of Nová-Carmichael numbers. Our estimates depend on the bounds for the number of shifted primes without large prime factors. In particular, we prove that N C (x) x 0.7039 o(1) log log (7+o(1))() unconditionally and that N C (x) xe log, under some reasonable hypothesis. 1. Introduction In the paper [7], author introduced the Nová-Carmichael numbers. Positive integer N is called a Nová-Carmichael number if for any a coprime to N the congruence a N 1 (mod N) holds. Later, S. V. Konyagin posed a problem about the order of growth of the quantity N C (x) the number of Nová-Carmichael numbers which are less than or equal to x. The present wor provides a partial answer to this question. It turns out that the lower bounds for the quantity N C (x) can be deduced from the theorems on the distribution of shifted prime numbers without large prime factors. Namely, for a positive integers x and y denote by P(x, y) the set of all prime numbers p x such that the largest prime factor of p 1 is less than or equal to y. Let also Π(x, y) be the number of elements of the set P(x, y). Then the following proposition holds: Theorem 1. Let u be some fixed real number with 0 < u < 1. If for z + we have Π(z, z u ) = z 1+o(1), then the lower bound N C (x) x 1 u+o(1) holds. Lower bounds for the quantity Π(z, z u ) for different values of u are studied in the papers [9],[5],[3]. In particular, using the result of the last article we obtain The author is partially supported by Laboratory of Mirror Symmetry NRU HSE, RF Government grant, ag. 14.641.31.0001, the Simons Foundation and the Moebius Contest Foundation for Young Scientists c lexander Kalmynin, 2017

2 LEXNDER KLMYNIN Corollary 1. The inequality is true for β = 0.2961. N C (x) x 1 β+o(1), Remar 1. It is conjectured that for any fixed positive u we have Π(z, z u ) u π(z) z log z. It is also reasonable to conjecture that for any nice enough function y(z) the asymptotic relation Π(z, y(z)) Ψ(z, y(z)) (1.1) π(z) z holds, where Ψ(z, y) is the number of natural numbers n z such that the largest prime factor of n is less than or equal to y. For example, if we assume that relation (1.1) is true for y(z) = e log z, then by the formula (see [6]) we get Ψ(z, e log z ) = ze (1/2+o(1)) log z log log z Π(z, e log z ) ze (1/2+o(1)) log z log log z. Using a slightly weaer form of this assumption, we improve the estimate of the Theorem 1: Theorem 2. Suppose that for some fixed constant c > 0 the inequality holds. Then for any d > 6 + 2c we have Π(z, e log z ) ze c log log log d N C (x) xe log. In particular, if relation (1.1) is true for y(z) = e log z, then log log (7+o(1)) N C (x) xe log. 2. Proofs of the theorems The constructions that we will use in our proofs are largely similar to that of papers [9], [1]. First of all, we need a description of Nová-Carmichael numbers in terms of their prime factors, which is an analogue of Koselt s criterion (cf. [8]) for Carmichael numbers: Lemma 1. Natural number n is a Nová-Carmichael number if and only if for any prime divisor p of n the number p 1 also divides n.

NOVÁK-CRMICHEL NUMBERS 3 Proof. Let n = 2 α m =1 pα, where p are distinct odd prime numbers and α 1. If n is a Nová-Carmichael number, then for any a coprime to n and any we have a n 1 (mod p α ). On the other hand, by the Chinese remainder theorem we can choose a such that for any the congruence a g (mod p α ) holds, where g is some primitive root modulo p α. Consequently, for any we have g n a n 1 (mod p α ). Thus, for any the number n is divisible by the multiplicative order of g modulo p α. Hence pα 1 (p 1) divides n. So, for any odd prime divisor p of n we have p 1 n. lso, 2 1 divides n. Conversely, if for any prime p dividing n the number p 1 also divides n, then for any we have φ(p α ) n and φ(2α ) n. Hence, if (a, n) = 1, then for any and a n = (a φ(pα ) ) n/φ(pα ) 1 (mod p α ) a n = (a φ(2α) ) n/φ(2α) 1 (mod 2 α ). From these congruences and pairwise coprimality of numbers 2 α, p α1 1,..., pαm m obtain we a n 1 (mod n), as needed. For the asymptotic estimates of sizes of certain sets the following inequality involving binomial coefficients is needed: Lemma 2. Let a and b be a positive integers with b a/2 + 1. Then we have ( ) a ( a ) b. b b Proof. Let us prove this statement by induction over b. The case b = 1 is obvious, since ( ) a ( a ) 1 = a =. b 1 Suppose now that 1 < c + 1 a/2 + 1 and the inequality is true for b = c. Then we have

4 LEXNDER KLMYNIN ( ) a = c + 1 ( ) a a c ( a ) ( ) c c+1 a c a ( c c + 1 c c + 1 = 1 c c + 1 a) ( 1 + 1 ) c. c On the other hand, c a/2 and (1 + 1 c )c 2, so the inequality holds, which was to be proved. ( ) ( ) c+1 a a c + 1 c + 1 In the next lemma, for arbitrary real numbers r and s satisfying the inequality 2 r s we will construct the number D(r, s) with some remarable properties. Lemma 3. Let s, r R and 2 r s. If D(s, r) = p r p [ log s log p], where the product is taen over prime numbers p, then log D(s, r) = O and for any subset P(s, r) the number ( ) r log s E(, s, r) = D(s, r) p p is a Nová-Carmichael number. Proof. Indeed, log D(s, r) = p r [ ] log s log p (log p) log s ( ) r log s = π(r) log s = O. log p log p p r Let us prove now that the number E(, s, r) is a Nová-Carmichael number. Suppose that q is a prime factor of E(, s, r). Then we have either q D(s, r) or q P(s, r). But all the prime factors of D(s, r) are not exceeding r and so are lying in P(s, r). Thus, q P(s, r). Consequently, q 1 = t l=1 pβ l l and p l r for any l. On the other hand, p β l [ l q 1 < s. Taing the logarithms, we obtain β l log s log p l ]. Thus, for any l we have p β l l D(s, r), so q 1 D(s, r) E(, s, r). Hence, by the Lemma 1, our number is a Nová-Carmichael number. This concludes the proof. Let us now prove Theorems 1 and 2. Proof of Theorem 1. Suppose that 0 < u < 1 and Π(z, z u ) = z 1+o(1) as z. notation r = log log 2 x, s = r1/u We introduce the

NOVÁK-CRMICHEL NUMBERS 5 and By the Lemma 3 we have = log D(s, r) = O [ u ] D(s, r) ulog. ( ) ( ) r log s = O = o() log hence, = (u+o(1)). Now, for any subset P(s, r) of cardinality consider the number E(, s, r). By the Lemma 3 this number is a Nová-Carmichael number and E(, s, r) = D(s, r) p p D(s, r)s = e log D(s,r)+ log s. [ Note that = u this we obtain the inequality ] log D(s,r) u u log D(s,r) u = log s log E(, s, r) log D(s, r) + log s. log D(s,r) log s. From Hence, all the constructed numbers E(, s, r) are less than or equal to x. Furthermore, all these numbers are distinct, as otherwise for some different subsets, B we would have had hence, p E(, s, r) = D(s, r) p = D(s, r) p = E(B, s, r) p p B p = p, which is not the case. p B So, the number of Nová-Carmichael numbers not exceeding x is at least as large as the number of subsets in P(s, r) of cardinality. But for large enough x we have Consequently, using Lemma 2 we get From and we finally get < () 1/u+o(1) = Π(s, r)/2. ( ) ( ) Π(s, r) Π(s, r) N C (x). Π(s, r) = s 1+o(1) = () 1/u+o(1) = (u + o(1)) = (u + o(1)) log N C (x) () (1/u 1+o(1)) = e (1/u 1+o(1))(u+o(1)) log log = x 1 u+o(1), which is the required result.

6 LEXNDER KLMYNIN The proof of Theorem 2 is proceeded analogously. ll we need is some different choice of parameters r, s and. Proof of Theorem 2. ssume that Π(z, e log z ) ze c log z log log z. Let us choose and, as before, r = 2 3 log log ), s = e(log = e log2 r (log ) 3 = [ ] log D(s, r). log s log s Now, similarly to the proof of Theorem 1, considering the subsets of P(s, r) which contain exactly elements we obtain ( ) Π(s, r) N C (x). ( Furthermore, by Lemma 3 we have = log s + O r log s ) (log ) 2. lso, due to the assumption of the theorem, we have Π(s, r) se c log s log log s se 2c log. So, for any d > 6 + 2c the inequality holds. Thus, we have Π(s, r) ) 2 d(log ) log log e(log N C (x) e (log )2 d(log ) log log log log log log d() e log d() = xe log, which concludes the proof of Theorem 2. 3. Conclusion We showed that lower bounds for the number of shifted prime numbers without large prime factors imply some nice lower bounds for the counting function of the set of Nová-Carmichael numbers. It is a well-nown fact that these theorems also provide estimates for the counting function of Carmichael numbers (cf. [2]). However, in our situation it is possible to use much simplier constructions. Furthermore, the relation (1.1) for y(z) = e log z implies the lower bound which is as strong as the upper bound for the number of Carmichael numbers less than a given magnitude proved by P. Erdös. Unfortunately, the methods of the paper [4] do not allow a direct generalization to the case of Nová-Carmichael numbers. So, the problem of obtaining the correct order of growth of the quantity N C (x) remains open even on the assumption of the relation (1.1). References [1] J. J. lba Gonzalez, F. Luca, C. Pomerance, I. E. Shparlinsi, «On numbers n dividing the nth term of a linear recurrence», Proc. Edinburgh Math. Soc., 55 (2012), 271-289.

NOVÁK-CRMICHEL NUMBERS 7 [2] W. R. lford,. Granville, C. Pomerance, «There are infinitely many Carmichael numbers», nn. of Math. (2) 139 (1994), 703-722. [3] R. C. Baer, G. Harman. «Shifted primes without large prime factors.» cta rithmetica 83:4 (1998), 331-361. [4] P. Erdös, «On pseudoprimes and Carmichael numbers», Publ. Math. Debrecen 4 (1956), 201-206. [5] J. Friedlander, «Shifted primes without large prime factors», Number Theory and pplications, (1989), Kluwer, Berlin, 393-401. [6]. Hildebrand, «On the number of positive integers x and free of prime factors > y», J. Number Theory 22:3 (1986), 289-307. [7]. B. Kalmynin, «On Nová numbers», arxiv:1611.00417 (2016). [8]. R. Korselt, «Probléme chinois», L intermédiaire des mathématiciens, vol. 6 (1899), 143. [9] C. Pomerance, «Popular values of Euler s function», Mathematia 27 (1980), 84-89. lexander Kalmynin National Research University Higher School of Economics, Russian Federation, Math Department, International Laboratory of Mirror Symmetry and utomorphic Forms E-mail: alalb1995cd@mail.ru