English
Related papers

Related papers: The probabilistic method in real singularity theor…

200 papers

While concepts and tools from Theoretical Computer Science are regularly applied to, and significantly support, software development for discrete problems, Numerical Engineering largely employs recipes and methods whose correctness and…

Computational Complexity · Computer Science 2018-01-23 Akitoshi Kawamura , Martin Ziegler

We describe a new incomplete but terminating method for real root finding for large multivariate polynomials. We take an abstract view of the polynomial as the set of exponent vectors associated with sign information on the coefficients.…

Symbolic Computation · Computer Science 2018-04-30 Thomas Sturm

Computing the real solutions to a system of polynomial equations is a challenging problem, particularly verifying that all solutions have been computed. We describe an approach that combines numerical algebraic geometry and sums of squares…

Numerical Analysis · Mathematics 2016-02-03 Daniel A. Brake , Jonathan D. Hauenstein , Alan C. Liddell

We bound from above the expected total Betti number of a high degree random real hypersurface in a smooth real projective manifold. This upper bound is deduced from the equirepartition of critical points of a real Lefschetz pencil…

Algebraic Geometry · Mathematics 2011-07-13 Damien Gayet , Jean-Yves Welschinger

In the paper we provide a new method of proving the existence of a hypersurface of degree $d$ in $\mathbb{P}^n$, with a general point of multiplicity $m$ and vanishing at a given set of points $Z$, by looking at weak combinatorics of a set…

Algebraic Geometry · Mathematics 2025-02-26 Marcin Dumnicki , Grzegorz Malara , Halszka Tutaj-Gasińska

We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a family of real polynomials defining regular hypersurfaces that…

Algebraic Geometry · Mathematics 2008-12-18 Gabriela Jeronimo , Daniel Perrucci , Juan Sabia

We prove a bound conjectured by Itenberg on the Betti numbers of real algebraic hypersurfaces near non-singular tropical limits. These bounds are given in terms of the Hodge numbers of the complexification. To prove the conjecture we…

Algebraic Geometry · Mathematics 2019-11-14 Arthur Renaudineau , Kristin Shaw

Many combinatorial problems can be formulated as a polynomial optimization problem that can be solved by state-of-the-art methods in real algebraic geometry. In this paper we explain many important methods from real algebraic geometry, we…

Combinatorics · Mathematics 2014-11-11 Erik Sjöland

We calculate the probability that random polynomial matrices over a finite field with certain structures are right prime or left prime, respectively. In particular, we give an asymptotic formula for the probability that finitely many…

Dynamical Systems · Mathematics 2017-04-07 Julia Lieb

In this paper, we introduce a certain method to construct polynomials producing many absolute pseudoprimes. By this method, we give new polynomials producing absolute pseudoprimes with any fixed number of prime factors which can be viewed…

Number Theory · Mathematics 2007-05-23 Ken Nakamula , Hirofumi Tsumura , Hiroaki Komai

In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's…

Algebraic Geometry · Mathematics 2024-12-24 Kartoue Mady Demdah , Ibrahim Nonkane

A new probabilistic technique for establishing the existence of certain regular combinatorial structures has been recentlyintroduced by Kuperberg, Lovett, and Peled (STOC 2012). Using this technique, it can be shown that under certain…

Combinatorics · Mathematics 2020-07-02 Shachar Lovett , Sankeerth Rao , Alexander Vardy

Given any polynomial with real coefficients, the existence of a real quadratic polynomial factor is proven using only basic real analysis. The aim is to provide an approachable proof to anybody who is familiar with the least upper bound…

Classical Analysis and ODEs · Mathematics 2020-09-28 Soham Basu

In combinatorics, the probabilistic method is a very powerful tool to prove the existence of combinatorial objects with interesting and useful properties. Explicit constructions of objects with such properties are often very difficult, or…

Computational Complexity · Computer Science 2007-05-23 Luca Trevisan

Let $k$ be an algebraically closed field and let $b$ and $n$ be integers with $n\geq 3$ and $1\leq b \leq n-1.$ Consider the moduli space $X$ of hypersurfaces in $\mathbb{P}^n_k$ of fixed degree $l$ whose singular locus is at least…

Algebraic Geometry · Mathematics 2024-06-04 Kaloyan Slavov

The generating functions of the Severi degrees for sufficiently ample line bundles on algebraic surfaces are multiplicative in the topological invariants of the surface and the line bundle. Recently new proofs of this fact were given for…

Algebraic Geometry · Mathematics 2015-11-10 Lothar Göttsche , Benjamin Kikwai

We prove the existence of infinitely many solutions to an elliptic problem by borrowing the techniques from algebraic topology. The solution(s) thus obtained will also be proved to be bounded.

Analysis of PDEs · Mathematics 2021-02-25 A. Panda , D. Choudhuri , A. Bahrouni

Motivated by questions arising in the theory of moduli spaces in real algebraic geometry, we develop a range of methods to study the topology of the real locus of a Deligne-Mumford stack over the real numbers. As an application, we verify…

Algebraic Geometry · Mathematics 2025-10-27 Emiliano Ambrosi , Olivier de Gaay Fortman

We define a class of probability distributions that we call simplicial mixture models, inspired by simplicial complexes from algebraic topology. The parameters of these distributions represent their topology and we show that it is possible…

Statistics Theory · Mathematics 2019-09-24 James T. Griffin

Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…

Algebraic Geometry · Mathematics 2013-08-01 Salvador Barone