-
Bounding Random Test Set Size with Computational Learning Theory
Abstract: Random testing approaches work by generating inputs at random, or by selecting inputs randomly from some pre-defined operational profile. One long-standing question that arises in this and other testing contexts is as follows: When can we stop testing? At what point can we be certain that executing further tests in this manner will not explore previously untested (and potentially buggy) software b… ▽ More
Submitted 24 June, 2024; v1 submitted 27 May, 2024; originally announced May 2024.
Comments: Preprint, accepted to FSE 2024
-
arXiv:2208.07904 [pdf, ps, other]
Sturm's Theorem with Endpoints
Abstract: Sturm's Theorem is a fundamental 19th century result relating the number of real roots of a polynomial $f$ in an interval to the number of sign alternations in a sequence of polynomial division-like calculations. We provide a short direct proof of Sturm's Theorem, including the numerically vexing case (ignored in many published accounts) where an interval endpoint is a root of $f$.
Submitted 16 August, 2022; originally announced August 2022.
Comments: 4 pages. A software implementation can be found in algorithm vtkPolynomialSolversUnivariate , within the VTK (Visualization Toolkit) software package
-
arXiv:2202.06115 [pdf, ps, other]
Trinomials and Deterministic Complexity Limits for Real Solving
Abstract: Consider a univariate polynomial f in Z[x] with degree d, exactly t monomial terms, and coefficients in {-H,...,H}. Solving f over the reals, R, in polynomial-time can be defined as counting the exact number of real roots of f and then finding (for each such root z) an approximation w of logarithmic height (log(dH))^{O(1)} such that the Newton iterates of w have error decaying at a rate of O((1/2)… ▽ More
Submitted 12 February, 2022; originally announced February 2022.
-
arXiv:2107.09173 [pdf, ps, other]
Root Repulsion and Faster Solving for Very Sparse Polynomials Over $p$-adic Fields
Abstract: For any fixed field $K\!\in\!\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5, \ldots\}$, we prove that all polynomials $f\!\in\!\mathbb{Z}[x]$ with exactly $3$ (resp. $2$) monomial terms, degree $d$, and all coefficients having absolute value at most $H$, can be solved over $K$ within deterministic time $\log^{7+o(1)}(dH)$ (resp. $\log^{2+o(1)}(dH)$) in the classical Turing model: Our underlying algorith… ▽ More
Submitted 19 July, 2021; originally announced July 2021.
Comments: 36 pages, 3 figures, submitted to a journal for publication. A much shorter preliminary version appeared as an extended abstract at ISSAC 2021
-
arXiv:2102.01626 [pdf, ps, other]
Sub-Linear Point Counting for Variable Separated Curves over Prime Power Rings
Abstract: Let $k,p\in \mathbb{N}$ with $p$ prime and let $f\in\mathbb{Z}[x_1,x_2]$ be a bivariate polynomial with degree $d$ and all coefficients of absolute value at most $p^k$. Suppose also that $f$ is variable separated, i.e., $f=g_1+g_2$ for $g_i\in\mathbb{Z}[x_i]$. We give the first algorithm, with complexity sub-linear in $p$, to count the number of roots of $f$ over $\mathbb{Z}$ mod $p^k$ for arbitra… ▽ More
Submitted 2 February, 2021; originally announced February 2021.
Comments: 18 pages, no figures. Submitted to a conference. Comments and questions welcome!
-
arXiv:2012.04868 [pdf, ps, other]
Counting Real Roots in Polynomial-Time for Systems Supported on Circuits
Abstract: Suppose $A=\{a_1,\ldots,a_{n+2}\}\subset\mathbb{Z}^n$ has cardinality $n+2$, with all the coordinates of the $a_j$ having absolute value at most $d$, and the $a_j$ do not all lie in the same affine hyperplane. Suppose $F=(f_1,\ldots,f_n)$ is an $n\times n$ polynomial system with generic integer coefficients at most $H$ in absolute value, and $A$ the union of the sets of exponent vectors of the… ▽ More
Submitted 11 June, 2021; v1 submitted 9 December, 2020; originally announced December 2020.
Comments: 29 pages, 1 figure, accepted for presentation at MEGA (Effective Methods in Algebraic Geometry) 2021. You can see a recording of my talk at MEGA 2021 (June 9, 2021) at this YouTube link: https://www.youtube.com/watch?v=KKKmTctxbs4
-
Computing zeta functions of large polynomial systems over finite fields
Abstract: In this paper, we improve the algorithms of Lauder-Wan \cite{LW} and Harvey \cite{Ha} to compute the zeta function of a system of $m$ polynomial equations in $n$ variables over the finite field $\FF_q$ of $q$ elements, for $m$ large. The dependence on $m$ in the original algorithms was exponential in $m$. Our main result is a reduction of the exponential dependence on $m$ to a polynomial dependenc… ▽ More
Submitted 26 July, 2020; originally announced July 2020.
-
arXiv:2003.00314 [pdf, ps, other]
A complexity chasm for solving univariate sparse polynomial equations over $p$-adic fields
Abstract: We reveal a complexity chasm, separating the trinomial and tetranomial cases, for solving univariate sparse polynomial equations over certain local fields. First, for any fixed field $K\in\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5,\ldots\}$, we prove that any polynomial $f\in\mathbb{Z}[x]$ with exactly $3$ monomial terms, degree $d$, and all coefficients having absolute value at most $H$, can be sol… ▽ More
Submitted 6 June, 2021; v1 submitted 29 February, 2020; originally announced March 2020.
Comments: 19 pages, 3 figures. This version contains an Appendix missing from the ISSAC 2021 conference version, as well as some corrections and improvements
-
arXiv:1901.09739 [pdf, ps, other]
A Faster Solution to Smale's 17th Problem I: Real Binomial Systems
Abstract: Suppose $F:=(f_1,\ldots,f_n)$ is a system of random $n$-variate polynomials with $f_i$ having degree $\leq\!d_i$ and the coefficient of $x^{a_1}_1\cdots x^{a_n}_n$ in $f_i$ being an independent complex Gaussian of mean $0$ and variance $\frac{d_i!}{a_1!\cdots a_n!\left(d_i-\sum^n_{j=1}a_j \right)!}$. Recent progress on Smale's 17th Problem by Lairez --- building upon seminal work of Shub, Beltran,… ▽ More
Submitted 28 January, 2019; originally announced January 2019.
Comments: 8 pages, submitted to a conference. Minor typos corrected
-
arXiv:1809.03626 [pdf, ps, other]
Smoothed Analysis for the Condition Number of Structured Real Polynomial Systems
Abstract: We consider the sensitivity of real zeros of structured polynomial systems to perturbations of their coefficients. In particular, we provide explicit estimates for condition numbers of structured random real polynomial systems, and extend these estimates to the smoothed analysis setting.
Submitted 20 June, 2021; v1 submitted 10 September, 2018; originally announced September 2018.
Comments: Title changed due to an interesting journal policy, to appear in Mathematics of Computation
Report number: https://doi.org/10.1090/mcom/3647
Journal ref: Mathematics of Computation, 2021
-
arXiv:1808.10531 [pdf, ps, other]
Randomized Polynomial-Time Root Counting in Prime Power Rings
Abstract: Suppose $k,p\!\in\!\mathbb{N}$ with $p$ prime and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial with degree $d$ and all coefficients having absolute value less than $p^k$. We give a Las Vegas randomized algorithm that computes the number of roots of $f$ in $\mathbb{Z}/\!\left(p^k\right)$ within time $d^3(k\log p)^{2+o(1)}$. (We in fact prove a more intricate complexity bound that is slightly… ▽ More
Submitted 14 February, 2019; v1 submitted 30 August, 2018; originally announced August 2018.
Comments: 11 pages, 3 figures. Qi Cheng just pointed out that [3, Cor. 4, Pg. 16] proves a generalization of the main result (Theorem 1.1), and gives a sharper complexity bound. Nevertheless, the underlying algorithms are approached differently, so the development of our paper (the recursion tree structure, in particular) may still be of value
-
arXiv:1803.04104 [pdf, ps, other]
Dedekind Zeta Zeroes and Faster Complex Dimension Computation
Abstract: Thanks to earlier work of Koiran, it is known that the truth of the Generalized Riemann Hypothesis (GRH) implies that the dimension of algebraic sets over the complex numbers can be determined within the polynomial-hierarchy. The truth of GRH thus provides a direct connection between a concrete algebraic geometry problem and the P vs.NP Problem, in a radically different direction from the geometri… ▽ More
Submitted 11 March, 2018; originally announced March 2018.
Comments: 11 pages, submitted to a conference. Some typos corrected
-
arXiv:1711.01355 [pdf, ps, other]
Counting Roots of Polynomials Over Prime Power Rings
Abstract: Suppose $p$ is a prime, $t$ is a positive integer, and $f\!\in\!\mathbb{Z}[x]$ is a univariate polynomial of degree $d$ with coefficients of absolute value $<\!p^t$. We show that for any fixed $t$, we can compute the number of roots in $\mathbb{Z}/(p^t)$ of $f$ in deterministic time $(d+\log p)^{O(1)}$. This fixed parameter tractability appears to be new for $t\!\geq\!3$. A consequence for arithme… ▽ More
Submitted 3 November, 2017; originally announced November 2017.
Comments: title page, plus 11 pages, no illustrations, submitted to a conference
Journal ref: Open Book Series 2 (2019) 191-205
-
arXiv:1710.00481 [pdf, ps, other]
New Subexponential Fewnomial Hypersurface Bounds
Abstract: Suppose $c_1,\ldots,c_{n+k}$ are real numbers, $\{a_1,\ldots,a_{n+k}\}\!\subset\!\mathbb{R}^n$ is a set of points not all lying in the same affine hyperplane, $y\!\in\!\mathbb{R}^n$, $a_j\cdot y$ denotes the standard real inner product of $a_j$ and $y$, and we set $g(y)\!:=\!\sum^{n+k}_{j=1} c_j e^{a_j\cdot y}$. We prove that, for generic $c_j$, the number of connected components of the real zero… ▽ More
Submitted 3 October, 2017; v1 submitted 2 October, 2017; originally announced October 2017.
Comments: 10 pages, 9 figures, submitted for publication. Comments and questions welcome! arXiv admin note: text overlap with arXiv:1612.03458
-
arXiv:1612.03458 [pdf, ps, other]
A-Discriminants for Complex Exponents, and Counting Real Isotopy Types
Abstract: We extend the definition of $\mathcal{A}$-discriminant varieties, and Kapranov's parametrization of $\mathcal{A}$-discriminant varieties, to complex exponents. As an application, we study the special case where $\mathcal{A}$ is a fixed real $n\times (n+3)$ matrix whose columns form the spectrum of an $n$-variate exponential sum $g$ with fixed sign vector for its coefficients: We prove that the num… ▽ More
Submitted 29 October, 2017; v1 submitted 11 December, 2016; originally announced December 2016.
Comments: 14 pages, 13 illustrations, submitted for publication. (Previous version was accepted and presented at MEGA 2017.)
-
arXiv:1411.6346 [pdf, ps, other]
Sparse Univariate Polynomials with Many Roots Over Finite Fields
Abstract: Suppose $q$ is a prime power and $f\in\mathbb{F}_q[x]$ is a univariate polynomial with exactly $t$ monomial terms and degree $<q-1$. To establish a finite field analogue of Descartes' Rule, Bi, Cheng, and Rojas (2013) proved an upper bound of $2(q-1)^{\frac{t-2}{t-1}}$ on the number of cosets in $\mathbb{F}^*_q$ needed to cover the roots of $f$ in $\mathbb{F}^*_q$. Here, we give explicit $f$ with… ▽ More
Submitted 6 July, 2016; v1 submitted 23 November, 2014; originally announced November 2014.
Comments: 9 pages, 1 figure, presented at MEGA 2015. This is the journal version, and includes new extremal examples and additional references, including pointers to recent advances by Kelley and Owen. Comments and questions welcome
-
arXiv:1312.6547 [pdf, ps, other]
Polynomial-Time Amoeba Neighborhood Membership and Faster Localized Solving
Abstract: We derive efficient algorithms for coarse approximation of algebraic hypersurfaces, useful for estimating the distance between an input polynomial zero set and a given query point. Our methods work best on sparse polynomials of high degree (in any number of variables) but are nevertheless completely general. The underlying ideas, which we take the time to describe in an elementary way, come from t… ▽ More
Submitted 23 December, 2013; originally announced December 2013.
Comments: 15 pages, 9 figures. Submitted to a conference proceedings
-
arXiv:1309.0486 [pdf, ps, other]
Counting Tropically Degenerate Valuations and p-adic Approaches to the Hardness of the Permanent
Abstract: The Shub-Smale Tau Conjecture is a hitherto unproven statement (on integer roots of polynomials) whose truth implies both a variant of $P\neq NP$ (for the BSS model over C) and the hardness of the permanent. We give alternative conjectures, some potentially easier to prove, whose truth still implies the hardness of the permanent. Along the way, we discuss new upper bounds on the number of $p$-adic… ▽ More
Submitted 2 September, 2013; originally announced September 2013.
Comments: 17 pages, 7 figures. Submitted for publication. Dedicated to Mike Shub on his 70th birthday
-
arXiv:1307.3681 [pdf, ps, other]
Metric Estimates and Membership Complexity for Archimedean Amoebae and Tropical Hypersurfaces
Abstract: Given any complex Laurent polynomial $f$, $\mathrm{Amoeba}(f)$ is the image of its complex zero set under the coordinate-wise log absolute value map. We give an efficiently constructible polyhedral approximation, $\mathrm{ArchtTrop}(f)$, of $\mathrm{Amoeba}(f)$, and derive explicit upper and lower bounds, solely as a function of the number of monomial terms of $f$, for the Hausdorff distance betwe… ▽ More
Submitted 16 March, 2017; v1 submitted 13 July, 2013; originally announced July 2013.
Comments: 21 pages, 5 figures. This version adds a new family of examples showing the optimality of another one of our univariate bounds, and contains a brief comparison with work of Akian, Gaubert, and Sharify on the matrix polynomial problem. Various typos corrected as well
MSC Class: Primary 14T99; 52B70; Secondary 14Q20; 52C07; 65Y20
-
arXiv:1204.1113 [pdf, ps, other]
Sub-Linear Root Detection, and New Hardness Results, for Sparse Polynomials Over Finite Fields
Abstract: We present a deterministic 2^O(t)q^{(t-2)(t-1)+o(1)} algorithm to decide whether a univariate polynomial f, with exactly t monomial terms and degree <q, has a root in F_q. A corollary of our method --- the first with complexity sub-linear in q when t is fixed --- is that the nonzero roots in F_q can be partitioned into at most 2 \sqrt{t-1} (q-1)^{(t-2)(t-1)} cosets of two subgroups S_1,S_2 of F^*_… ▽ More
Submitted 11 April, 2012; v1 submitted 4 April, 2012; originally announced April 2012.
Comments: 15 pages total (cover page, 10 pages, references, and 3 short appendices). This version corrects various minor typos, and improves the statement of the first main theorem
-
arXiv:1101.2642 [pdf, ps, other]
Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond
Abstract: Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots of f. The best previous algorithms had complexity super-linear in D. We also discuss connections to sums of squares and A-discriminants, including explicit obs… ▽ More
Submitted 13 January, 2011; originally announced January 2011.
Comments: 20 pages, 5 figures, submitted to a refereed conference proceedings
-
arXiv:1011.4128 [pdf, ps, other]
Fewnomial Systems with Many Roots, and an Adelic Tau Conjecture
Abstract: Consider a system F of n polynomials in n variables, with a total of n+k distinct exponent vectors, over any local field L. We discuss conjecturally tight bounds on the maximal number of non-degenerate roots F can have over L, with all coordinates having fixed phase, as a function of n, k, and L only. In particular, we give new explicit systems with number of roots approaching the best known upper… ▽ More
Submitted 5 November, 2012; v1 submitted 17 November, 2010; originally announced November 2010.
Comments: 23 pages, 9 illustrations, accepted for publication. Mainly fixing some dumb typos introduced in last version, particularly in Adelic Tau Conjecture
-
arXiv:1010.5310 [pdf, ps, other]
Faster p-adic Feasibility for Certain Multivariate Sparse Polynomials
Abstract: We present algorithms revealing new families of polynomials allowing sub-exponential detection of p-adic rational roots, relative to the sparse encoding. For instance, we show that the case of honest n-variate (n+1)-nomials is doable in NP and, for p exceeding the Newton polytope volume and not dividing any coefficient, in constant time. Furthermore, using the theory of linear forms in p-adic loga… ▽ More
Submitted 6 November, 2010; v1 submitted 25 October, 2010; originally announced October 2010.
Comments: 31 pages, 3 figures, submitted for publication. This version corrects various typos and clarifies the proof of Assertion (3)(c) of the main theorem
-
arXiv:1001.4252 [pdf, ps, other]
Near NP-Completeness for Detecting p-adic Rational Roots in One Variable
Abstract: We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus improve the best previous complexity upper bound of EXPTIME. We also prove an unconditional complexity lower bound of NP-hardness with respect to randomized reduct… ▽ More
Submitted 24 January, 2010; originally announced January 2010.
Comments: 8 pages in 2 column format, 1 illustration. Submitted to a conference
Journal ref: proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC 2010, July 25-28, 2010, Munchen), pp. 331-338, ACM Press, 2010
-
arXiv:0901.4400 [pdf, ps, other]
Faster Real Feasibility via Circuit Discriminants
Abstract: We show that detecting real roots for honestly n-variate (n+2)-nomials (with integer exponents and coefficients) can be done in time polynomial in the sparse encoding for any fixed n. The best previous complexity bounds were exponential in the sparse encoding, even for n fixed. We then give a characterization of those functions k(n) such that the complexity of detecting real roots for n-variate… ▽ More
Submitted 28 January, 2009; v1 submitted 28 January, 2009; originally announced January 2009.
Comments: 12 pages in double column ACM format. Submitted to a conference. Significantly improves and simplifies the algorithms and complexity lower bounds of arXiv:math/0411107 . Also presents a new complexity lower bound for A-discriminants. This version fixes many annoying typos
-
Algorithmic Arithmetic Fewnomial Theory I: One Variable
Abstract: Withdrawn by the authors due to an error in the proof of the finite field result (Thm. 1.5): The random primes used in the proof need NOT avoid the exceptional primes from Lemma 2.7, thus leaving Thm. 1.5 unproved.
Submitted 24 January, 2010; v1 submitted 16 November, 2007; originally announced November 2007.
Comments: This paper has been withdrawn by the authors
-
arXiv:0709.2405 [pdf, ps, other]
New Complexity Bounds for Certain Real Fewnomial Zero Sets
Abstract: Consider real bivariate polynomials f and g, respectively having 3 and m monomial terms. We prove that for all m>=3, there are systems of the form (f,g) having exactly 2m-1 roots in the positive quadrant. Even examples with m=4 having 7 positive roots were unknown before this paper, so we detail an explicit example of this form. We also present an O(n^{11}) upper bound for the number of diffeoto… ▽ More
Submitted 15 September, 2007; originally announced September 2007.
Comments: 8 pages, no figures. Extended abstract accepted and presented at MEGA (Effective Methods in Algebraic Geometry) 2007
-
arXiv:math/0501388 [pdf, ps, other]
Efficiently Detecting Torsion Points and Subtori
Abstract: Suppose X is the complex zero set of a finite collection of polynomials in Z[x_1,...,x_n]. We show that deciding whether X contains a point all of whose coordinates are d_th roots of unity can be done within NP^NP (relative to the sparse encoding), under a plausible assumption on primes in arithmetic progression. In particular, our hypothesis can still hold even under certain failures of the Gen… ▽ More
Submitted 7 September, 2007; v1 submitted 23 January, 2005; originally announced January 2005.
Comments: 21 pages, no figures. Final version, with additional commentary and references. Also fixes a gap in Theorems 2 (now Theorem 1.3) regarding translated subtori
-
arXiv:math/0411107 [pdf, ps, other]
First Steps in Algorithmic Fewnomial Theory
Abstract: Fewnomial theory began with explicit bounds -- solely in terms of the number of variables and monomial terms -- on the number of real roots of systems of polynomial equations. Here we take the next logical step of investigating the corresponding existence problem: Let FEAS_R denote the problem of deciding whether a given system of multivariate polynomial equations with integer coefficients has a… ▽ More
Submitted 23 January, 2006; v1 submitted 4 November, 2004; originally announced November 2004.
Comments: 25 pages, 5 figures. MAJOR revision of earlier version: (1) Frederic Bihan is a new co-author, (2) Theorem 1 is strengthened with a much sharper complexity threshold, (3) bounds on connected components from Theorem 2 are dramatically sharpened, (4) Theorem 3 strengthened considerably, (5) Corollary 1 removed, but theorem of Karpinski+Shparlinski on univariate discriminants is inserted, to clarify complexity comparisons
-
arXiv:math/0304100 [pdf, ps, other]
A Direct Ultrametric Approach to Additive Complexity and the Shub-Smale Tau Conjecture
Abstract: The Shub-Smale Tau Conjecture is a hypothesis relating the number of integral roots of a polynomial f in one variable and the Straight-Line Program (SLP) complexity of f. A consequence of the truth of this conjecture is that, for the Blum-Shub-Smale model over the complex numbers, P differs from NP. We prove two weak versions of the Tau Conjecture and in so doing show that the Tau Conjecture fol… ▽ More
Submitted 9 April, 2003; v1 submitted 7 April, 2003; originally announced April 2003.
Comments: 9 pages, no figures. Submitted for publication
-
arXiv:math/9809071 [pdf, ps, other]
Solving Degenerate Sparse Polynomial Systems Faster
Abstract: Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in every irreducible component of the zero set Z of F. Our techniques allow us to sharpen and lower prior complexity bounds for this problem by fully taking into account the monomial term structure. As a corollary of our development… ▽ More
Submitted 14 September, 1998; v1 submitted 14 September, 1998; originally announced September 1998.
Comments: This is the final journal version of math.AG/9702222 (``Toric Generalized Characteristic Polynomials''). This final version is a major revision with several new theorems, examples, and references. The prior results are also significantly improved
-
arXiv:math/9809009 [pdf, ps, other]
Uncomputably Large Integral Points on Algebraic Plane Curves?
Abstract: We show that the decidability of an amplification of Hilbert's Tenth Problem in three variables implies the existence of uncomputably large integral points on certain algebraic curves. We obtain this as a corollary of a new positive complexity result: the Diophantine prefixes EAE and EEAE are generically decidable. This means, taking the former prefix as an example, that we give a precise geomet… ▽ More
Submitted 2 September, 1998; originally announced September 1998.
MSC Class: 03D35; 11D72; 14G99; 11G30; 14H99; 14J26
-
arXiv:math/9702222 [pdf, ps, other]
Toric Generalized Characteristic Polynomials
Abstract: We illustrate an efficient new method for handling polynomial systems with degenerate solution sets. In particular, a corollary of our techniques is a new algorithm to find an isolated point in every excess component of the zero set (over an algebraically closed field) of any $n$ by $n$ system of polynomial equations. Since we use the sparse resultant, we thus obtain complexity bounds (for conve… ▽ More
Submitted 7 February, 1997; originally announced February 1997.
Report number: MSRI 1997-017
-
arXiv:math/9702221 [pdf, ps, other]
Some New Applications of Toric Geometry
Abstract: This paper reexamines univariate reduction from a toric geometric point of view. We begin by constructing a binomial variant of the $u$-resultant and then retailor the generalized characteristic polynomial to fully exploit sparsity in the monomial structure of any given polynomial system. We thus obtain a fast new algorithm for univariate reduction and a better understanding of the underlying pr… ▽ More
Submitted 7 February, 1997; originally announced February 1997.
Report number: MSRI 1997-016
-
arXiv:math/9610221 [pdf, ps, other]
Extensions and Corrections for: ``A Convex Geometric Approach to Counting the Roots of a Polynomial System''
Abstract: This brief note corrects some errors in the paper quoted in the title, highlights a combinatorial result which may have been overlooked, and points to further improvements in recent literature.
Submitted 30 October, 1996; originally announced October 1996.
Report number: MSRI 1996-075