English
Related papers

Related papers: Paving Property for Real Stable Polynomials and St…

200 papers

Kernelization---a mathematical key concept for provably effective polynomial-time preprocessing of NP-hard problems---plays a central role in parameterized complexity and has triggered an extensive line of research. This is in part due to a…

Computational Complexity · Computer Science 2017-08-28 Henning Fernau , Till Fluschnik , Danny Hermelin , Andreas Krebs , Hendrik Molter , Rolf Niedermeier

Let $k$ be a field. Then Gaussian elimination over $k$ and the Euclidean division algorithm for the univariate polynomial ring $k[x]$ allow us to write any matrix in $SL_n(k)$ or $SL_n(k[x])$, $n\geq 2$, as a product of elementary matrices.…

alg-geom · Mathematics 2008-02-03 H. Park , C. Woodburn

Consider a homogeneous polynomial $p(z_1,...,z_n)$ of degree $n$ in $n$ complex variables . Assume that this polynomial satisfies the property : \\ $|p(z_1,...,z_n)| \geq \prod_{1 \leq i \leq n} Re(z_i)$ on the domain $\{(z_1,...,z_n) :…

Combinatorics · Mathematics 2007-05-23 Leonid Gurvits

The Marcus-Spielman-Srivastava theorem (Annals of Mathematics, 2015) for the Kadison-Singer conjecture implies the following result in spectral graph theory: For any undirected graph $G = (V,E)$ with a maximum edge effective resistance at…

Combinatorics · Mathematics 2025-09-16 Surya Teja Gavva , Peng Zhang

A continuous selection of polynomial functions is a continuous function whose domain can be partitioned into finitely many pieces on which the function coincides with a polynomial. Given a set of finitely many polynomials, we show that…

Optimization and Control · Mathematics 2020-07-09 Feng Guo , Liguo Jiao , Do Sang Kim

The Possible-Winner problem asks, given an election where the voters' preferences over the set of candidates is partially specified, whether a distinguished candidate can become a winner. In this work, we consider the computational…

Computer Science and Game Theory · Computer Science 2018-02-27 Batya Kenig

We establish the average-case hardness of the algorithmic problem of exact computation of the partition function associated with the Sherrington-Kirkpatrick model of spin glasses with Gaussian couplings and random external field. In…

Probability · Mathematics 2023-09-19 David Gamarnik , Eren Kizildag

We devise a polynomial-time algorithm for partitioning a simple polygon $P$ into a minimum number of star-shaped polygons. The question of whether such an algorithm exists has been open for more than four decades [Avis and Toussaint,…

Computational Geometry · Computer Science 2026-03-11 Mikkel Abrahamsen , Joakim Blikstad , André Nusser , Hanwen Zhang

In the present work, we demonstrate how the pseudoinverse concept from linear algebra can be used to represent and analyze the boundary conditions of linear systems of partial differential equations. This approach has theoretical and…

Numerical Analysis · Mathematics 2024-01-05 Pelle Olsson

We present a polynomial preconditioner for solving large systems of linear equations. The polynomial is derived from the minimum residual polynomial (the GMRES polynomial) and is more straightforward to compute and implement than many…

Numerical Analysis · Mathematics 2022-01-13 Jennifer A. Loe , Ronald B. Morgan

We examine doing probabilistic descent over manifolds implicitly defined by a set of polynomials with rational coefficients. The system of polynomials is assumed to be triangularized. An application of Whitney's embedding theorem allows us…

Optimization and Control · Mathematics 2018-08-28 David W. Dreisigmeyer

We present our recent results on the Prandtl-Meyer reflection for supersonic potential flow past a solid ramp. When a steady supersonic flow passes a solid ramp, there are two possible configurations: the weak shock solution and the strong…

Analysis of PDEs · Mathematics 2012-01-04 Myoungjean Bae , Gui-Qiang Chen , Mikhail Feldman

We resolve Stillman's conjecture for families of polynomial rings that are graded by any semigroup under mild conditions. Conversely, we show that these conditions are necessary for the existence of a Stillman bound. This has applications…

Commutative Algebra · Mathematics 2025-04-15 John Cobb , Nathaniel Gallup , John Spoerl

Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time…

Computational Geometry · Computer Science 2018-10-24 Bhaskar Bagchi , Benjamin A. Burton , Basudeb Datta , Nitin Singh , Jonathan Spreer

In this article, I provide significant mathematical evidence in support of the existence of short-time approximations of any polynomial order for the computation of density matrices of physical systems described by arbitrarily smooth and…

Mathematical Physics · Physics 2009-11-10 Cristian Predescu

The Conley theory has a tool to guarantee the existence of periodic trajectories in isolating neighborhoods of semi-dynamical systems. We prove that the positive trajectories generated by a piecewise-smooth vector field $Z=(X, Y)$ defined…

Dynamical Systems · Mathematics 2021-07-29 Angie T. S. Romero , Ewerton R. Vieira

We consider a paving property for a maximal abelian *-subalgebra (MASA) $A$ in a von Neumann algebra $M$, that we call so-paving, involving approximation in the so-topology, rather than in norm (as in classical Kadison-Singer paving). If…

Operator Algebras · Mathematics 2016-01-20 Sorin Popa , Stefaan Vaes

We present a polynomiality property of the Littlewood-Richardson coefficients c_{\lambda\mu}^{\nu}. The coefficients are shown to be given by polynomials in \lambda, \mu and \nu on the cones of the chamber complex of a vector partition…

Combinatorics · Mathematics 2007-05-23 Etienne Rassart

We study the problem of deciding whether a point escapes a closed subset of $\mathbb{R}^d$ under the iteration of a continuous map $f \colon \mathbb{R}^d \to \mathbb{R}^d$ in the bit-model of real computation. We give a sound partial…

Logic in Computer Science · Computer Science 2025-06-27 Eike Neumann

Mason's Conjecture asserts that for an $m$--element rank $r$ matroid $\M$ the sequence $(I_k/\binom{m}{k}: 0\leq k\leq r)$ is logarithmically concave, in which $I_k$ is the number of independent $k$--sets of $\M$. A related conjecture in…

Combinatorics · Mathematics 2007-05-23 David G. Wagner