English
Related papers

Related papers: A Direct Ultrametric Approach to Additive Complexi…

200 papers

A polynomial identity testing algorithm must determine whether an input polynomial (given for instance by an arithmetic circuit) is identically equal to 0. In this paper, we show that a deterministic black-box identity testing algorithm for…

Computational Complexity · Computer Science 2010-08-02 Pascal Koiran

For an arbitrary $p$, propose a new and computable method which can determine the values of unknown constants in constraints on a tau function which satisfies both the p-reduced KP hierarchy and the sting equation. All the constants do not…

Exactly Solvable and Integrable Systems · Physics 2011-10-18 Liu Shaowei

Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two polynomials. Although they do have a determinantal definition, we…

Symbolic Computation · Computer Science 2007-05-23 Cyril Brunie , Philippe Saux Picart

Let $R$ be the complete local ring of a complex plane curve germ and $S$ its normalization. We propose a "Hilb-vs-Quot" conjecture relating the virtual weight polynomials of the Hilbert schemes of $R$ to those of the Quot schemes that…

Algebraic Geometry · Mathematics 2025-08-29 Oscar Kivinen , Minh-Tâm Quang Trinh

We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…

Classical Analysis and ODEs · Mathematics 2023-05-31 Marcel de Jeu

In this paper, we consider the optimization problem Submodular Cover (SCP), which is to find a minimum cardinality subset of a finite universe $U$ such that the value of a submodular function $f$ is above an input threshold $\tau$. In…

Data Structures and Algorithms · Computer Science 2023-09-27 Wenjing Chen , Victoria G. Crawford

We present a new, far simpler family of counter-examples to Kushnirenko's Conjecture. Along the way, we illustrate a computer-assisted approach to finding sparse polynomial systems with maximally many real roots, thus shedding light on the…

Algebraic Geometry · Mathematics 2007-05-23 Alicia Dickenstein , J. Maurice Rojas , Korben Rusek , Justin Shih

If $p:\mathbb{C} \to \mathbb{C}$ is a non-constant polynomial, the Gauss--Lucas theorem asserts that its critical points are contained in the convex hull of its roots. We consider the case when $p$ is a random polynomial of degree $n$ with…

Probability · Mathematics 2024-09-17 Sean O'Rourke , Noah Williams

Univariate polynomial root-finding is a classical subject, still important for modern computing. Frequently one seeks just the real roots of a polynomial with real coefficients. They can be approximated at a low computational cost if the…

Symbolic Computation · Computer Science 2017-04-14 Victor Y. Pan , Liang Zhao

One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., $\mathbf{P}\not\subseteq\mathbf{NC}^{1}$). Karchmer, Raz, and Wigderson (Computational Complexity 5(3/4), 1995)…

Computational Complexity · Computer Science 2025-02-13 Or Meir

Let f be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, f \in\mathcal{A}(\bar{\C} \setminus A), \sharp A <\infty. J. Nuttall has put…

Classical Analysis and ODEs · Mathematics 2016-01-12 Alexander I. Aptekarev , Maxim L. Yattselev

We study robust convex quadratic programs where the uncertain problem parameters can contain both continuous and integer components. Under the natural boundedness assumption on the uncertainty set, we show that the generic problems are…

Optimization and Control · Mathematics 2018-12-19 Areesh Mittal , Can Gokalp , Grani A. Hanasusanto

In this note, given a pair $(\mathfrak{g}, \lambda)$, where $\mathfrak{g}$ is a complex semisimple Lie algebra and $\lambda \in \mathfrak{h}^*$ is a dominant integral weight of $\mathfrak{g}$, where $\mathfrak{h} \subset \mathfrak{g}$ is…

Representation Theory · Mathematics 2019-04-16 Joseph Malkoun

Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…

Combinatorics · Mathematics 2007-05-23 Jeremy J. Carroll

We obtain a nontrivial upper bound for almost all elements of the sequences of real numbers which are multiplicative and at the prime indices are distributed according to the Sato--Tate density. Examples of such sequences come from…

Number Theory · Mathematics 2014-09-23 Florian Luca , Maksym Radziwill , Igor E. Shparlinski

We show that the Bernstein-Sato polynomial (that is, the b-function) of a hyperplane arrangement with a reduced equation is calculable by combining a generalization of Malgrange's formula with the theory of Aomoto complexes due to Esnault,…

Algebraic Geometry · Mathematics 2016-06-14 Morihiko Saito

We consider the problem of computing sample points in each connected component of a semi-algebraic set defined by the non-vanishing or the positivity of an n-variate polynomial of degree d, with rational coefficients of bit size bounded by…

Symbolic Computation · Computer Science 2026-05-27 Jérémy Berthomieu , Edern Gillot , Mohab Safey El Din

In this paper, we study functions of the roots of a univariate polynomial in which the roots have a given multiplicity structure $\mu$. Traditionally, root functions are studied via the theory of symmetric polynomials; we extend this theory…

Symbolic Computation · Computer Science 2020-01-22 Jing Yang , Chee K. Yap

The formal degree conjecture and the root number conjecture are verified with respect to supercuspidal representations of $Sp_{2n}(F)$ and $L$-parameters associated with tamely ramified extension $K/F$ of degree $2n$. The supercuspidal…

Representation Theory · Mathematics 2022-05-24 Koichi Takase

We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalising Zilber's pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including…

Logic · Mathematics 2018-06-20 Martin Bays , Jonathan Kirby