1
Physical and mathematical sciences
«School of Science» • № 8 (33) • August 2020
ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ The descent axiom and polynomial and non polynomial sets Kochkarev B.S., Former associate Professor Kazan State University Abstract. An overview of some of the author's main results obtained using the previously introduced descent axiom for binary mathematical statements is given. Next, we consider a countable class of undirected graph with an odd number of vertices. The problem of finding all simple paths in the graph under consideration that pass through all the vertices of the graph is formulated and solved. We prove that the number of such paths is nonpolynomial for a sufficiently large number of graph vertices.We show how to transform such graph into Hamiltonian graph with the addition of single edge, and prove that the probability of recognizing the Hamiltonian nature of such a graph tends to zero as the number of vertices of the graph increases. Keywords: binary problem, axiom of descent, bipartite graph, Hamiltonian graph. 1. Introduction Analisis of many open problems in number theory helped us to identify a class of binary problems and formulate for them the descent axiom, which is an algebraic interpretation of Fermat's descent method, with which He proved his hypothesis regarding diophantine equations x n + y n = z n , n ³ 3, xyz ¹ 0 for the special case n=4. In this section, we present some of our main results obtained using the descent axiom in [1-12]. First of all, we recall the definition of a binary mathematical statement that depends on the natural parameter n and formulate the descent axiom for such statements. Definition 1. An mathematical statement An that depends on a natural parameter n is called binary if for any value n = a Aa it has one of two values: true or false. Axiom of descent: Let An be a binary mathematical statement such that 1) there is an algorithm that for any value of n gives the answer to the question: "statement An is true or false", 2) for the values of the parameter
n1 , n2 ,..., nk An1 , An2 ,..., Ank are true, and for any n > nk
An is false. Then the statement An is true for an infinite set of values of n. Pythagoras also introduced the concept of a perfect natural number n. Definition 2. (Pythagoras) A natural number n is called perfect if, d = n , where d i ¹ n are the divisor
å
i
d i !n
of n. Euclid discovered [14] that perfect numbers are always multiples of two numbers, one of which is equal to the power of 2, and the other is one less than the next power of 2, i.e. the perfect number is represented as 2 k (2 k +1 - 1) . Using the descent axiom in [3], we prove that Euclid's formula exhausts all the set of perfect numbers if 2 k +1 - 1 it is a Prime number. It is also proved by the descent axiom [3, 9] that all odd numbers are not perfect. The Prime numbers of the form 2 n - 1 were first noticed by Mersenne and therefore such numbers bear the
name of Mersenne. In number theory, the question of finitely or infinitely [13] such numbers remained open. In [3], using the descent axiom, the infinity of the Mersenne numbers was proved. The use of high-speed calculating machines made it possible to find large Mersenne primes. The number 211213 - 1 has 3376 digits and is generally the largest known Prime number [13, 35]. Finally, in [3] it was proved with the help of the axiom of descent that slightly redundant numbers do not exist, i.e. the question that intrigued the Pythagorean brotherhood was closed [14]. The next problem that remained open for a long time was the problem of twins, i.e. finitely or infinitely many pairs of Prime numbers with a difference between them equal to 2. In [8], it was also proved using the descent axiom that there are infinitely many twins from the residue classes (1, 3), (7, 9), (9,1) modulo 5 and their such twins there are infinitely many of each type. In [8], Euclid's theorem on the infinity of a set of Prime numbers was generalized. Namely, using the descent axiom, it was proved that there are infinitely many Prime numbers ending in 1, 3, 7, and 9. Another open problem in number theory was the Goldbach Euler problem about the representability of any even natural number n ³ 4 as the sum of two primes. In [3] this problem was solved using the descent axiom, and in [12] we proved its generalization. Namely, using the descent axiom, it was proved that any even number n > 6 can be represented as the sum of two primes p,p', one of which is less than n , and the other is greater than
2 n . This property of even numbers makes it possible to 2 build efficient cryptographic systems, as shown in [12]. It should be noted that the complete solution of the Fermat problem [1],[4] allowed in [5] to solve the Tenth of D. Hilbert problem. The solution to this problem proposed by Matiyasevich in the 70s is not correct, since it uses the Turing thesis, but the Turing thesis was refuted by us in [2]
