Abstract:In this work, a functional variant of the polynomial analogue of the classical Gandy's fixed point theorem is obtained. Sufficient conditions have been found to ensure that the complexity of the recursive function does not go beyond the polynomial. In 2021, we proved a polynomial analogue of the classical Gandy's fixed point theorem. This became an important impetus for the construction of p-complete programming languages. And such a language was first built by us in 2022. The main result of that work was: a solution of the problem P=L. Next are the followers of the works on building a new high-level language and the idea of building a general programming methodology. But there was one gap in our research: classes of recursive functions whose complexity was polynomial were not described. In this work we found sufficient conditions for such functions. In many ways, the main ideas of this work are similar to the ideas that we used in the proof of the polynomial analogue of Gandy's fixed point theorem. But there are also striking differences. Functions, as such, differ quite strongly from predicates precisely in the multitude of their values. If a predicate is either true or false, then a function can generally take on a variety of values. Moreover, even if there are not many values, but there is recursion and simple multiplication, then powers and factorials may arise during the calculations, which, of course, can violate the polynomial computational complexity of this function. Therefore, finding these restrictions on recursive functions that would be soft enough for the class of functions to be large, and at the same time tough enough not to go beyond polynomiality, has been a problem for us for the last 3 years, after the proof of the polynomial analogue Gandy's fixed point theorem in the case of predicate extensions.

A polynomial analogue of Jacobsthal function

A polynomial analogue of Jacobsthal function

Revisiting Gauss's analogue of the prime number theorem for polynomials over a finite field

The polynomial part of a restricted partition function related to the Frobenius problem

The Furstenberg-Sárközy theorem for polynomials in one or more prime variables

Sufficient conditions for a problem of Polya

The Least Common Multiple of Polynomial Values over Function Fields

Polynomials with real zeros and Polya frequency sequences

New Bounds on Quotient Polynomials with Applications to Exact Divisibility and Divisibility Testing of Sparse Polynomials

Inverse limits of automorphisms of truncated polynomials and applications related to Jacobian conjecture

Superelliptic jacobians and central simple representations

Prime polynomials in short intervals and in arithmetic progressions

On the Liouville function at polynomial arguments

An average version of Cilleruelo's conjecture for families of $S_n$-polynomials over a number field

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem

On the Zeros of the Differential Polynomials

The Newman algorithm for constructing polynomials with restricted coefficients and many real roots

On the transcendence of growth constants associated with polynomial recursions

The polynomial multidimensional Szemerédi Theorem along shifted primes

Polynomial Extension of Fleck's Congruence