Once we know that a polynomial mapping is rectifiable, we can algorithmically find a rectification
- Тип работы:
- Физико-математические науки
Детальная информация о работе
Выдержка из работы
Mathematical Structures and Modeling 2015. N. 4(36). PP. 67−73
UDC 510. 52
once we know that a polynomial mapping is rectifiable, we can algorithmically find
Ph.D. (Math. }, Instructor, e-mail: jeurenda@utep. edu
Ph.D. (Math.), Full Professor, e-mail: dfinston@nmsu. edu
Ph.D. (Phys. -Math.), Professor, e-mail: vladik@utep. edu
University of Texas at El Paso, El Paso, Texas 79 968, USA 2New Mexico State University, Las Cruces, New Mexico 88 003, USA
AbstRAct. It is known that some polynomial mappings p: Ck ^
Cn are rectifiable in the sense that there exists a polynomial mapping a: Cn ^ Cn whose inverse is also polynomial and for which a (p (z1,…, zk)) = (z1,…, zk, 0,…, 0) for all z1,…, zk. In many cases, the existence of such a rectification is proven indirectly, without an explicit construction of the mapping a.
In this paper, we use Tarski-Seidenberg algorithm (for deciding the first order theory of real numbers) to design an algorithm that, given a polynomial mapping p: Ck ^ Cn which is known to be rectifiable, returns a polynomial mapping a: Cn ^ Cn that rectifies p.
The above general algorithm is not practical for large n, since its computation time grows faster than 22& quot-. To make computations more practically useful, for several important case, we have also designed a much faster alternative algorithm.
KeyworDs: polynomial mapping, rectification, algorithmically computable, Tarski-Seidenberg algorithm.
1. FoRmulation of thE PRoblEm
It is known that several classes of polynomial mappings are rectifiable in the following sense.
DEfinition 1. Let C denote the field of all complex numbers. A polynomial mapping a: Cn ^ Cn is called a polynomial automorphism if this mapping a bijection, and the inverse mapping в = a-1 is also polynomial.
DEfinition 2. A polynomial mapping p: Ck ^ Cn is called rectifiable if there exists a polynomial automorphism a: Cn ^ Cn for which a (p (t1,…, tk)) = = (ti,…, tk, 0,…) for all (ti,…, tk).
68 J. Urenda, D. Finston, V. Kreinovich. Once We Know that a Polynomial…
Most existing proofs of reetifiability just prove the existence of a rectifying automorphism a, without explaining how to actually compute it. In this paper, we show how to compute a.
2. Main Result
We will formulate two versions of the main result: for the case when the coefficients of the original polynomial mapping are algebraic numbers, and for the general case, when these coefficients are not necessarily algebraic and may not even be computable.
Definition 3. A real number is called algebraic if this number is a root of a non-zero polynomial with integer coefficients. A complex number a + b • i is called algebraic if both a and b are algebraic.
Comment. In the computer, an algebraic real number can be represented by the integer coefficients of the corresponding polynomial and — if this polynomial has several roots — by a rational-valued interval that contains this particular root and does not contain any other roots of this polynomial.
Once this information is given, we can compute the corresponding root with any given accuracy.
Lemma 1. If a polynomial mapping p with algebraic coefficients is rectifiable, then there exists a rectifying polynomial automorphism a with algebraic coefficients.
Proposition 1. There exists an algorithm that, given a rectifiable polynomial mapping p with algebraic coefficients, computes the coefficients of a polynomial automorphism a that rectifies p.
Discussion. It is desirable to extend this algorithm to the general case, when the coefficients of the original mapping p are not necessarily algebraic and may not even be computable. When the coefficients are not necessarily computable, we cannot represent them in a computer, so we need to extend the usual notion of an algorithm to cover this case.
Definition 4. By a generalized algorithm, we mean a sequence of the following elementary operations with real numbers:
• adding, subtracting, multiplying, and dividing numbers-
• checking whether a number is equal to 0, whether it is positive, and whether it is negative-
• given the coefficients of a polynomial that has a root, returning one of the roots.
Comment. Of course, when the real numbers are algebraic, these operations are algorithmically computable.
Mathematical Structures and Modeling, 2015. N. 4(36)
Proposition 2. There exists a generalized algorithm that, given the coefficients of a rectifiable polynomial mapping p, computes the coefficients of a polynomial automorphism a that rectifies p.
Discussion. Propositions 1 and 2 show that if a polynomial mapping is rectifiable, then the corresponding rectification can be algorithmically computed.
Comments. Our proof uses the Tarski algorithm. While this algorithm produces the desired results, it is known to be hyper-exponential: as the length i of the formula increases, its running time grows faster than 22. Thus, from the application viewpoint, it is desirable to come up with a faster algorithm. For some important cases, such faster algorithm was proposed in - it should be mentioned that, in contrast to our algorithms which are limited to the field of all complex numbers, algorithms from  can be applied to other fields (and rings) as well.
Comment. The main results were first announced in .
Tarski-Seidenberg algorithm: reminder. In this paper, we will use Tarski-Seidenberg algorithm- see, e.g., [1,2]. This algorithm deals with the first-order theory of real numbers. Formulas of this theory are defined as follows:
• we start with real-valued variables x1,…, xn-
• elementary formulas are formulas of the type P = 0, P & gt- 0, or P ^ 0, where P is a polynomial with integer coefficients-
• finally, a general formula can be obtained from elementary formulas by using logical connectives («and» & amp-, «or» V, «implies», and «not» -) and quantifiers over real numbers (Vx, and 3x,).
For example, a formula describing that the given polynomial P (xb…, xn) with integer coefficients has a solution with x, & gt- 0 for all i is a first-order formula:
3×1… 3xn ((P (xi,…, xn) = 0) & amp- (xi & gt- 0) & amp- … & amp- (xn & gt- 0)).
Another example is a formula that shows that every quadratic polynomial with non-negative determinant has a solution:
VaVbVc ((b2 — 4a ¦ c ^ 0) ^ 3x (a ¦ x2 + b ¦ x + c = 0)).
Tarski designed an algorithm that, given a formula from this theory, returns 0 or 1 depending on whether this formula is true or not.
Seidenberg noticed that Tarski’s algorithm works by «eliminating» quantifiers one by one, i.e., by sequentially reducing a given formula to a one with one fewer quantifier. Because of this fact, he showed that we can use a similar construction to reduce each first-order formula with free variables to a quantifier-free form.
70 J. Urenda, D. Finston, V. Kreinovich. Once We Know that a Polynomial…
Tarski-Seidenberg algorithm: corollary. From the above reduction, it follows that if a formula with free variables has a solution, then it also has an algebraic solution. Namely, we can reduce the original formula to a quantifier-free formula
F (xi,…, xn).
The formula 3×2… 3xn F (xl, x2,…, xn) can be similarly reduced to a quantifier-free expression, i.e., to a combination of equalities and inequalities of the type P (xl) = 0, P (xl) & gt- 0, and P (xl) ^ 0. If one of them is an equality, then we get an algebraic number xl- if all of them are strict inequalities, then the whole range of values satisfies these inequalities and thus, we can select a rational (hence, algebraic) value from this interval.
Once we plug in the algebraic value xl into the original formula, we can then similarly find an algebraic value x2, etc. — and after n stages, we will get a tuple of algebraic numbers xl,…, xn that satisfies the original formula F (xl,…, xn).
Proof of Lemma 1 and Proposition 1. Let us show that by using the Tarski-Seidenberg algorithm, we can come up with the desired algorithm for proving Proposition 1.
Let d be the largest degree of polynomials a, and в, forming the mappings a and в = a-1. Each of these polynomial can be described by listing all the coefficients — to be precise, by listing real and imaginary values of all these coefficients. The condition that a and в are inverse to each other means that
Vzi…, Vzn ((ai (e (zi,…, zn)) = zi) & amp- … & amp- (an (в (zi,…, Zn)) = Zn)) and
Vzi…, Vzn ((ei (a (zi,…, zn)) = zi)& amp- … & amp- (en (a (zi,…, zn)) = zn)).
Substituting the expressions for a and в in terms of their coefficients, we get a first order formula.
Similarly, the condition that a rectifies & lt-^, i.e., that
Vti… Vtk ((ai (^(tb…, tk) = ti) & amp- … & amp- (afc (& lt-^(tb…, tk) = tk)),
is clearly a first-order formula. Thus, due to the above result, if there exists a solution, then there exists a solution in which all the coefficients of all the polynomials a, and в, are algebraic numbers.
For each tuple of algebraic numbers, checking whether the corresponding polynomials constitute a rectifying automorphism means checking whether a given first order formula is true, and this checking can be done by using the original Tarksi’s algorithm.
To find the desired polynomial mappings a and в with algebraic coefficients, it is sufficient to enumerate all possible tuples of such coefficients, and try them one by one, until we find a tuple which corresponds to the rectifying automorphism. Since we assumed that a rectification is possible, we will eventually find the desired coefficient.
The only thing that needs to be clarified is how to enumerate all possible tuples of algebraic numbers. This can be easily done if we take into account that each
Mathematical Structures and Modeling, 2015. N. 4(36)
algebraic number is represented in a computer as a sequence of integers. Thus, an arbitrary finite sequence of algebraic numbers can also be represented as a sequence of integers.
It is easy to come with an algorithm that enumerates all possible sequences of integers. For example, for M = 0,1,…, we can enumerate all the sequences (ni,…, nk) for which n1 + … + nk | + k = M. For each M, there are finitely many such sequences, and it is easy to enumerate them all.
The proposition is thus proven.
Proof of Proposition 2. For each degree d, the Tarski-Seidenberg algorithm reduces the formula describing the existence of a rectifying polynomial automorphism of degree d to a finite list of equalities and inequalities between expressions which polynomially depend on the given coefficients and 0. In our definition of a generalized algorithm, we allowed:
• additions and multiplications (all we need to compute the value of a polynomial) and
• checking whether a given value is equal to 0 or greater than 0.
Thus, for each d, we have a generalized algorithm that checks whether a rectifying polynomial automorphism of degree d is possible.
Since we assume that a rectification is possible, by trying all possible degrees d = 0,1,2…, we will eventually find d for which there exists a rectifying polynomial automorphism of degree d.
To complete the proof, we need to show how we can compute the coefficients of the corresponding polynomial maping a. We want to find the coefficients c1,…, cN that satisfy a quantifier-free formula F (c1,…, cN) = 0. Let us start with computing c1. We want to find c1 for which
3c2 … 3cn (F (c1, c2, …, cn) = 0).
We can use Tarski-Seidenberg theorem to reduce this formula to a quantifier-free one, i.e., to a sequence of polynomial equalities and inequalities Pi (c1) = 0 and Pj (c1) & gt- 0. All equalities Pi (c1) can be combined into a single equality P (c1) = 0,
where P (c1) =^5^(Pi (c1))2. We know that this polynomial equation has a solution.
We can therefore use one of the elementary steps of a generalized algorithm to compute a solution to this polynomial equation. If the solution s produced by this elementary step does not satisfy the inequalities, then we get a new polynomial of a smaller degree by dividing P (c1) by c1 — s- it is clear that c1 is a root of this polynomial. Division is algorithmic since it can also be reduced to (allowed) arithmetic operations with coefficients. We can then repeat this procedure with the new polynomial of smaller degree, etc. At each step, either we find the desired c1 or the degree decreases. Since the degree cannot decrease below 0, this means that we will eventually find c1.
72 J. Urenda, D. Finston, V. Kreinovich. Once We Know that a Polynomial…
Substituting this value c1 into the above formula, we will then similarly compute a value c2 that satisfies the formula
Зсэ … 3Cn (F (ci, C2, C3, …, Cn) = 0),
etc. After N steps, we will compute all the coefficients of the rectifying polynomial a. The proposition is proven.
This work was supported in part by the National Science Foundation grants HRD-734 825 and HRD-1 242 122 (Cyber-ShARE Center of Excellence) and DUE-926 721.
The authors are thankful to all the participants of the NMSU/UTEP Workshop on Mathematics, Computer Science, and Computational Science (Las Cruces, New Mexico, April 11, 2015) for valuable suggestions.
1. Basu S., Pollack R., Roy M. -F. Algorithms in Real Algebraic Geometry. Springer-Verlag, Berlin, 2006.
2. Tarski A., A Decision Method for Elementary Algebra and Geometry. 2nd ed., Berkeley and Los Angeles, 1951. 63 p.
3. Urenda J. Algorithmic Aspects of the Embedding Problem. PhD Dissertation, Department of Mathematical Sciences, New Mexico State University, Las Cruces, New Mexico, May 2015.
4. Urenda J., Finston D., Kreinovich V. Once We Know that a Polynomial Mapping Is Rectifiable, We Can Algorithmically Find a Rectification. Abstracts of the 16th Joint NMSU/UTEP Workshop on Mathematics, Computer Science, and Computational Science, Las Cruces, New Mexico, April 11, 2015.
Mathematical Structures and Modeling, 2015. N. 4(36)
если полиномиальное преобразование спрямляемо, мы можем алгоритмически найти спрямление
к.Ф. -м.н., преподаватель, e-mail: jeurenda@utep. edu Д. Финстон2
к.Ф. -м.н., профессор, e-mail: dfinston@nmsu. edu В. Крейнович1
к.Ф. -м.н., профессор, e-mail: vladik@utep. edu
1Техасский университет в Эль Пасо, США 2Университет штата Нью-Мексико, США
Аннотация. Известно, что некоторые полиномиальные преобразования & lt-р: Ck ^ Cn спрямляемы в том смысле, что существует полиномиальное преобразование а: Cn ^ Cn такое, что обратное к нему тоже полиномиально выполняется a (^(z1,…, zk)) = (z1,…, zk, 0,…, 0) для всех z1,…, zk. Во многих случаях существование такого спрямления доказано косвенно, без явного построения преобразования а.
В данной статье использован алгоритм Тарского-Зайденберга (для разрешимости теории действительных чисел первого порядка) для построения алгоритма, который по данному спрямляемому полиномиальному преобразованию & lt-р: Ck ^ Cn возвращает полиномиальное преобразование а: Cn ^ Cn, спрямляющее у& gt-. Указанный выше общий алгоритм не практичен для больших n, так как его временная сложность растёт быстрее, чем 22. Чтобы сделать вычисления более приемлемыми для некоторых важных случаев был также разработан более быстрый альтернативный алгоритм.
Ключевые слова: полиномиальное преобразование, спрямление, алгоритмическая вычислимость, алгоритм Тарского-Зайденберга.