Abstract:This paper focuses on the study of the order of power series that are linear combinations of a given finite set of power series. The order of a formal power series, known as $\textrm{ord}(f)$, is defined as the minimum exponent of $x$ that has a non-zero coefficient in $f(x)$. Our first result is that the order of the Wronskian of these power series is equivalent up to a polynomial factor, to the maximum order which occurs in the linear combination of these power series. This implies that the Wronskian approach used in (Kayal and Saha, TOCT'2012) to upper bound the order of sum of square roots is optimal up to a polynomial blowup. We also demonstrate similar upper bounds, similar to those of (Kayal and Saha, TOCT'2012), for the order of power series in a variety of other scenarios. We also solve a special case of the inequality testing problem outlined in (Etessami et al., TOCT'2014). In the second part of the paper, we study the equality variant of the sum of square roots problem, which is decidable in polynomial time due to (Blömer, FOCS'1991). We investigate a natural generalization of this problem when the input integers are given as straight line programs. Under the assumption of the Generalized Riemann Hypothesis (GRH), we show that this problem can be reduced to the so-called ``one dimensional'' variant. We identify the key mathematical challenges for solving this ``one dimensional'' variant.

Rational power series in several noncommuting variables and the Skolem–Mahler–Lech theorem

A multivariate version of Polya-Carlson theorem

Rational powers, invariant ideals, and the summation formula

Rational sets in virtually abelian groups: languages and growth

Rationality of the multivariate growth series for algebraic sets of virtually abelian groups

Rational Schur Superalgebras

Rational approximation of holomorphic semigroups revisited

D-finiteness, rationality, and height III: multivariate Pólya-Carlson dichotomy

Adelic perturbation of rational functions and applications

On several irrationality problems for Ahmes series

Series involving rational, factorial and power functions

Limit Behavior of the Rational Powers of Monomial Ideals

On the Order of Power Series and the Sum of Square Roots Problem

The singular series of a cubic form in many variables and a new proof of Davenport's Shrinking Lemma

Hahn series and Mahler equations: Algorithmic aspects

Effective irrationality measures for real and $p$-adic roots of rational numbers close to $1$, with an application to parametric families of Thue-Mahler equations

Rational stochastic languages

Unimodality preservation by ratios of functional series and integral transforms

An invitation to formal power series

Rational Variant of Hartogs' Theorem on Separate Holomorphicity

Rational preimages in families of dynamical systems