English
Related papers

Related papers: Monotone Projection Lower Bounds from Extended For…

200 papers

We introduce the imaginary projection of a multivariate polynomial $f \in \mathbb{C}[\mathbf{z}]$ as the projection of the variety of $f$ onto its imaginary part, $\mathcal{I}(f) \ = \ \{\text{Im}(\mathbf{z}) \, : \, \mathbf{z} \in…

Algebraic Geometry · Mathematics 2018-06-01 Thorsten Jörgens , Thorsten Theobald , Timo de Wolff

This paper is devoted to the study of a newly introduced tool, projectional coderivatives and the corresponding calculus rules in finite dimensions. We show that when the restricted set has some nice properties, more specifically, is a…

Optimization and Control · Mathematics 2024-10-24 Wenfang Yao , Kaiwen Meng , Minghua Li , Xiaoqi Yang

We consider a non-commutative polynomial in several independent $N$-dimensional random unitary matrices, uniformly distributed over the unitary, orthogonal or symmetric groups, and assume that the coefficients are $n$-dimensional matrices.…

Probability · Mathematics 2024-01-11 Charles Bordenave , Benoit Collins

We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in…

Discrete Mathematics · Computer Science 2021-10-12 Zdeněk Dvořák

We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points. To compute (with) the 0-dimensional projection and the…

Commutative Algebra · Mathematics 2025-07-25 Matías Bender , Laurent Busé , Carles Checa , Elias Tsigaridas

To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible…

Symbolic Computation · Computer Science 2014-05-05 Danko Adrovic , Jan Verschelde

We show that the permanent cannot be computed by DLOGTIME-uniform threshold or arithmetic circuits of depth o(log log n) and polynomial size.

Computational Complexity · Computer Science 2009-02-12 Pascal Koiran , Sylvain Perifel

We generalize some previous results on random polynomials in several complex variables. A standard setting is to consider random polynomials $H_n(z):=\sum_{j=1}^{m_n} a_jp_j(z)$ that are linear combinations of basis polynomials $\{p_j\}$…

Complex Variables · Mathematics 2024-01-29 Turgay Bayraktar , Tom Bloom , Norm Levenberg

This article is concerned with nonzero modules of finite length and finite projective dimension over a local ring. We show the Loewy length of such a module is larger than the regularity of the ring whenever the ring is strict…

Commutative Algebra · Mathematics 2025-04-23 Nawaj KC , Josh Pollitz

We present lower bounds for the coefficients of Ehrhart polynomials of convex lattice polytopes in terms of their volume. Concerning the coefficients of the Ehrhart series of a lattice polytope we show that Hibi's lower bound is not true…

Metric Geometry · Mathematics 2008-02-26 Martin Henk , Makoto Tagami

Conditional on Fourier restriction estimates for elliptic hypersurfaces, we prove optimal restriction estimates for polynomial hypersurfaces of revolution for which the defining polynomial has non-negative coefficients. In particular, we…

Classical Analysis and ODEs · Mathematics 2017-10-24 Betsy Stovall

To determine the dimension of null space of any given linearized polynomial is one of vital problems in finite field theory, with concern to design of modern symmetric cryptosystems. But, the known general theory for this task is much far…

Information Theory · Computer Science 2018-11-29 Sihem Mesnager , Kwang Ho Kim , Myong Song Jo

We consider perturbations of Hamiltonians whose Fourier symbol attains its minimum along a hypersurface. Such operators arise in several domains, like spintronics, theory of supercondictivity, or theory of superfluidity. Variational…

Mathematical Physics · Physics 2017-08-23 Konstantin Pankrashkin

We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $d\nu =fd\mu$ with support equal to K, are all positive semidefinite (if $K$…

Optimization and Control · Mathematics 2011-05-13 Jean B. Lasserre

We continue our study of the Widom factors for $L_p(\mu)$ extremal polynomials initiated in [4]. In this work we characterize sets for which the lower bounds obtained in [4] are saturated, establish continuity of the Widom factors with…

Classical Analysis and ODEs · Mathematics 2020-05-20 Gökalp Alpan , Maxim Zinchenko

We prove strengthened lower bounds for constant-depth set-multilinear formulas. More precisely, we show that over any field, there is an explicit polynomial $f$ in VNP defined over $n^2$ variables, and of degree $n$, such that any…

Computational Complexity · Computer Science 2022-05-03 Deepanshu Kush , Shubhangi Saraf

We say that a circuit $C$ over a field $F$ functionally computes an $n$-variate polynomial $P$ if for every $x \in \{0,1\}^n$ we have that $C(x) = P(x)$. This is in contrast to syntactically computing $P$, when $C \equiv P$ as formal…

Computational Complexity · Computer Science 2016-05-16 Michael A. Forbes , Mrinal Kumar , Ramprasad Saptharishi

We consider random orthonormal polynomials $$ P_{n}(x)=\sum_{i=0}^{n}\xi_{i}p_{i}(x), $$ where $\xi_{0}$, . . . , $\xi_{n}$ are independent random variables with zero mean, unit variance and uniformly bounded $(2+\ep_0)$-moments, and…

Probability · Mathematics 2023-01-02 Yen Do , Doron Lubinsky , Hoi H. Nguyen , Oanh Nguyen , Igor Pritsker

We present a new algorithm for isolating the real roots of a system of multivariate polynomials, given in the monomial basis. It is inspired by existing subdivision methods in the Bernstein basis; it can be seen as generalization of the…

Symbolic Computation · Computer Science 2010-11-12 Angelos Mantzaflaris , Bernard Mourrain , Elias P. P. Tsigaridas

We address combinatorial problems that can be formulated as minimization of a partially separable function of discrete variables (energy minimization in graphical models, weighted constraint satisfaction, pseudo-Boolean optimization, 0-1…

Computer Vision and Pattern Recognition · Computer Science 2015-05-05 Alexander Shekhovtsov