-
Quiz Games as a model for Information Hiding
Authors:
Bernd Bank,
Joos Heintz,
Guillermo Matera,
Jose L. Montana,
Luis M. Pardo,
Andres Rojas Paredes
Abstract:
We present a general computation model inspired in the notion of information hiding in software engineering. This model has the form of a game which we call quiz game. It allows in a uniform way to prove exponential lower bounds for several complexity problems of elimination theory.
We present a general computation model inspired in the notion of information hiding in software engineering. This model has the form of a game which we call quiz game. It allows in a uniform way to prove exponential lower bounds for several complexity problems of elimination theory.
△ Less
Submitted 17 December, 2015; v1 submitted 31 August, 2015;
originally announced August 2015.
-
On the uniform distribution of rational inputs with respect to condition numbers of Numerical Analysis
Authors:
D. Castro,
J. L. Montana,
L. M. Pardo,
J. San Martin
Abstract:
We show that rational data of bounded input length are uniformly distributed with respect to condition numbers of numerical analysis. We deal both with condition numbers of Linear Algebra and with condition numbers for systems of multivariate polynomial equations. For instance, we show that for any $w>1$ and for any $n\times n$ rational matrix $M$ of bit length $O(n^4\log n) + \log w$, the condi…
▽ More
We show that rational data of bounded input length are uniformly distributed with respect to condition numbers of numerical analysis. We deal both with condition numbers of Linear Algebra and with condition numbers for systems of multivariate polynomial equations. For instance, we show that for any $w>1$ and for any $n\times n$ rational matrix $M$ of bit length $O(n^4\log n) + \log w$, the condition number $k(M)$ satisfies $k(M) \leq w n^{5/2}$ with probability at least $1-2w^{-1}$. Similar estimates are shown for the condition number $μ_{norm}$ of M. Shub and S. Smale when applied to systems of multivariate homogeneous polynomial equations of bounded input length. Finally we apply these techniques to show the probability distribution of the precision (number of bits of the denominator) required to write down approximate zeros of affine systems of multivariate polynomial equations of bounded input length.
△ Less
Submitted 15 March, 2001;
originally announced March 2001.
-
Lower Bounds for diophantine Approximation
Authors:
M. Giusti,
J. Heintz,
K. Hägele,
J. E. Morais,
L. M. Pardo,
J. L. Montaña
Abstract:
We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new procedure for the decision of consistency of polynomial equation systems whose bit complexity is subexponential, too. As a byproduct, we analyze the division of a p…
▽ More
We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new procedure for the decision of consistency of polynomial equation systems whose bit complexity is subexponential, too. As a byproduct, we analyze the division of a polynomial modulo a reduced complete intersection ideal and from this, we obtain an intrinsic lower bound for the logarithmic height of diophantine approximations to a given solution of a zero--dimensional polynomial equation system. This result represents a multivariate version of Liouville's classical theorem on approximation of algebraic numbers by rationals. A special feature of our procedures is their {\em polynomial} character with respect to the mentioned geometric invariants when instead of bit operations only arithmetic operations are counted at unit cost. Technically our paper relies on the use of straight--line programs as a data structure for the encoding of polynomials, on a new symbolic application of Newton's algorithm to the Implicit Function Theorem and on a special, basis independent trace formula for affine Gorenstein algebras.
△ Less
Submitted 13 August, 1996;
originally announced August 1996.
