English
Related papers

Related papers: Urysohn in action: separating semialgebraic sets b…

200 papers

Let $\mathbb{R}$ be the field of real numbers. We consider the problem of computing the real isolated points of a real algebraic set in $\mathbb{R}^n$ given as the vanishing set of a polynomial system. This problem plays an important role…

Computational Geometry · Computer Science 2020-08-27 Huu Phuoc Le , Mohab Safey El Din , Timo de Wolff

Using an algebraic method for solving the wave equation in quantum mechanics, we encountered a new class of orthogonal polynomials on the real line. It consists of a four-parameter polynomial with continuous spectrum on the whole real line…

Mathematical Physics · Physics 2022-06-20 A. D. Alhaidari

The problem of finding the distance from a given $n \times n$ matrix polynomial of degree $k$ to the set of matrix polynomials having the elementary divisor $(\lambda-\lambda_0)^j, \, j \geqslant r,$ for a fixed scalar $\lambda_0$ and $2…

Numerical Analysis · Mathematics 2019-11-05 Biswajit Das , Shreemayee Bora

We consider the formal reduction of a system of linear differential equations and show that, if the system can be block-diagonalised through transformation with a ramified Shearing-transformation and following application of the Splitting…

Symbolic Computation · Computer Science 2019-11-15 Eckhard Pflügel

We introduce an algorithm that exploits a combinatorial symmetry of an arrangement in order to produce a geometric reflection between two disconnected components of its moduli space. We apply this method to disqualify three real examples…

Algebraic Geometry · Mathematics 2015-08-11 Meirav Amram , Moshe Cohen , Hao Sun , Mina Teicher , Fei Ye , Anna Zarkh

A semi-algebraic set is a subset of $\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same…

Symbolic Computation · Computer Science 2025-03-18 Cordian. Riener , Robin Schabert , Thi Xuan Vu

We present an application-oriented approach to Urysohn and Hammerstein integral operators acting between spaces of H"older continuous functions over compact metric spaces. These nonlinear mappings are formulated by means of an abstract…

Dynamical Systems · Mathematics 2022-05-16 Christian Pötzsche

In this paper, we consider the problem of partitioning a polygon into a set of connected disjoint sub-polygons, each of which covers an area of a specific size. The work is motivated by terrain covering applications in robotics, where the…

Computational Geometry · Computer Science 2021-10-11 Mariusz Wzorek , Cyrille Berger , Patrick Doherty

Fox, Gromov, Lafforgue, Naor, and Pach proved a regularity lemma for semi-algebraic $k$-uniform hypergraphs of bounded complexity, showing that for each $\epsilon>0$ the vertex set can be equitably partitioned into a bounded number of parts…

Combinatorics · Mathematics 2016-10-17 Jacob Fox , Janos Pach , Andrew Suk

A graph separator is a subset of vertices of a graph whose removal divides the graph into small components. Computing small graph separators for various classes of graphs is an important computational task. In this paper, we present a…

Computational Complexity · Computer Science 2020-05-14 Chetan Gupta , Rahul Jain , Raghunath Tewari

We consider multiple orthogonal polynomials with respect to Nikishin systems generated by two measures $(\sigma_1, \sigma_2)$ with unbounded supports ($\mbox{supp} \, \sigma_1 \subseteq \mathbb{R}_+$, $\mbox{supp} \, \sigma_2 \subseteq…

Complex Variables · Mathematics 2017-03-24 A. I. Aptekarev , G. López Lagomasino , A. Mártinez-Finkelshtein

We study the structure of the algebra of polynomial invariants for the usual conjugation action of the complex special, SO_n, and general, O_n, orthogonal group on the space of traceless n by n complex matrices. (Note that these two…

Commutative Algebra · Mathematics 2009-09-01 Dragomir Z. Djokovic

Larman showed that any closed subset of the plane with uncountable vertical cross-sections has aleph_1 disjoint Borel uniformizing sets. Here we show that Larman's result is best possible: there exist closed sets with uncountable…

Logic · Mathematics 2021-02-09 Howard Becker , Randall Dougherty

We prove that universal differentiability sets in Euclidean spaces possess distinctive structural properties. Namely, we show that any universal differentiability set contains a `kernel' in which the points of differentiability of each…

Functional Analysis · Mathematics 2016-07-21 Michael Dymond

We study the set of algebraic objects known as vanishing polynomials (the set of polynomials that annihilate all elements of a ring) over general commutative rings with identity. These objects are of special interest due to their close…

Commutative Algebra · Mathematics 2023-09-19 Matvey Borodin , Ethan Liu , Justin Zhang

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

We propose and analyze a two-level method for mimetic finite difference approximations of second order elliptic boundary value problems. We prove that the two-level algorithm is uniformly convergent, i.e., the number of iterations needed to…

Numerical Analysis · Mathematics 2014-10-14 Paola F. Antonietti , Marco Verani , Ludmil Zikatanov

The main purpose of this paper is to show that the mixed Hodge polynomial of the ``space of equations'' for smooth complete intersections of given multidegree in $\mathbb{C} P^n$ is divisible by the mixed Hodge polynomial of the group…

Algebraic Geometry · Mathematics 2007-05-23 Alexei G. Gorinov

The thesis concentrates on two problems in discrete geometry, whose solutions are obtained by analytic, probabilistic and combinatoric tools. The first chapter deals with the strong polarization problem. This states that for any sequence…

Metric Geometry · Mathematics 2019-07-12 Gergely Ambrus

We characterize the image of the Poisson transform on any distinguished boundary of a Riemannian symmetric space of the noncompact type by a system of differential equations. The system corresponds to a generator system of a two sided…

Representation Theory · Mathematics 2011-06-07 Toshio Oshima , Nobukazu Shimeno