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.

A second order approach to the Kato square root problem on open sets

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

Square Root Problem of Kato for the Sum of Operators

An improved bound on sums of square roots via the subspace theorem

On the Kato square root problem

The metric for matrix degenerate Kato square root operators

Better bounds on Grothendieck constants of finite orders

Elliptic operators in rough sets, and the Dirichlet problem with boundary data in Hölder spaces

On the non-vanishing of generalized Kato classes for elliptic curves of rank $2$

On Stability of Square Root Domains for Non-Self-Adjoint Operators Under Additive Perturbations

On Kato's Square Root Property for the Generalized Stokes Operator

Solutions to overdetermined elliptic problems in nontrivial exterior domains

The KAM theorem through Dirichlet's box and Khintchine's transference principles

A quantitative version of the Steinhaus theorem

On "Upper error bounds for quadrature formulas on function classes" by K. K. Frolov

New bounds on Kakeya problems

Proof of the Kresch-Tamvakis Conjecture

Critical Perturbations for Second Order Elliptic Operators—Part II: Non-tangential Maximal Function Estimates

A Priori Estimates Versus Arbitrarily Large Solutions for Fractional Semi-Linear Elliptic Equations with Critical Sobolev Exponent

Korn and Poincaré-Korn inequalities: A different perspective

The Second Order Estimate for the Solution to a Singular Elliptic Boundary Value Problem