Ultimate Polynomial Time

Gregorio Malajovich

DOI: https://doi.org/10.48550/arXiv.math/9904130

1999-04-23

Abstract:The class $\mathcal{UP}$ of `ultimate polynomial time' problems over $\mathbb C$ is introduced; it contains the class $\mathcal P$ of polynomial time problems over $\mathbb C$. The $\tau$-Conjecture for polynomials implies that $\mathcal{UP}$ does not contain the class of non-deterministic polynomial time problems definable without constants over $\mathbb C$. This latest statement implies that $\mathcal P \ne \mathcal{NP}$ over $\mathbb C$. A notion of `ultimate complexity' of a problem is suggested. It provides lower bounds for the complexity of structured problems.

Numerical Analysis

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to explore the relationships between complexity classes, especially the problem regarding "ultimate polynomial time" (UP). Specifically, the goals of the paper include:

1. **Introducing a new complexity class UP**: The author defines a new complexity class UP, which is contained in the class P of problems solvable in polynomial time and is associated with the class K of definable problems without constants.

2. **Studying the impact of the τ -conjecture**: The paper explores the impact of the τ -conjecture on complexity theory. The τ -conjecture states that for any univariate polynomial \( f\in\mathbb{Z}[x]\), there exists a constant \( a > 0\) such that the number \( n(f)\) of non - zero integer roots of the polynomial satisfies:
\[
n(f)<\tau(f)^{a}
\]
where \( \tau(f)\) is the length of the shortest straight - line program required to compute the polynomial \( f\).

3. **Proving the relationship between UP and NP**: The paper proves that if the τ -conjecture holds, then UP does not contain the definable problems without constants in the non - deterministic polynomial - time problem class NP, that is:
\[
\text{UP}\not\supseteq\text{NP}\cap K
\]
This further implies:
\[
\text{P}\neq\text{NP}\text{ over }\mathbb{C}
\]

4. **Proposing the complexity lower bounds of structured problems**: The author introduces the concept of "ultimate complexity" to provide the complexity lower bounds of structured problems. By considering the running time of the machine for different input sizes, the "ultimate running time" is defined and used as a new standard for measuring the complexity of problems.

### Main Conclusions

- **Theorem 1**: The paper proves the following implications:
- The τ -conjecture holds \( \Rightarrow\) the polynomial \( p_{d}(x)=(x - 1)(x - 2)\cdots(x - d)\) is ultimately difficult to compute \( \Rightarrow\text{UP}\not\supseteq\text{NP}\cap K\text{ over }\mathbb{C}\Rightarrow\text{P}\neq\text{NP}\text{ over }\mathbb{C}\)

- **Theorem 2**: The paper also proves that if the structured problem (HN, HNyes) does not belong to UP, then UP does not contain NP ∩ K.

### Research Background

This research is based on the computational complexity theory models on real and complex numbers proposed by Blum, Shub and Smale, aiming to extend these ideas to deal with more complex geometric structure problems. By introducing a new complexity class UP, the author hopes to provide new perspectives and tools for understanding the relationship between P and NP.

In conclusion, this paper provides an important theoretical basis for understanding the relationships between polynomial - time complexity classes by introducing a new complexity class and exploring the impact of the τ -conjecture.