Related papers: The Multivariate Schwartz-Zippel Lemma
We extend Deuber's theorem on $(m,p,c)$-sets to hold over the multidimensional positive integer lattices. This leads to a multidimensional Rado theorem where we are guaranteed monochromatic multidimensional points in all finite colorings of…
M.-P. Sch\"utzenberger asked to determine the support of the free Lie algebra ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ on a finite alphabet $A$ over the ring ${\mathbb Z}_{m}$ of integers $\bmod m$ and all the corresponding pairs of twin and…
A subspace of an algebra with involution is called a Lie skew-ideal if it is closed under Lie products with skew-symmetric elements. Lie skew-ideals are classified in central simple algebras with involution (there are eight of them for…
Let $ K $ be a number field, $ S $ a finite set of places of $ K $, and $ \mathcal{O}_S $ be the ring of $ S $-integers. Moreover, let $$ G_n^{(0)} Z^d + \cdots + G_n^{(d-1)} Z + G_n^{(d)} $$ be a polynomial in $ Z $ having simple linear…
We present a Hilbert space geometric approach to the problem of characterizing the positive bivariate trigonometric polynomials that can be represented as the square of a two variable polynomial possessing a certain stability requirement,…
In this paper, we prove several theorems on systems of polynomials with at least one positive real zero based on the theory of conceive polynomials. These theorems provide sufficient conditions for systems of multivariate polynomials…
Let $A$ be a non-isotrivial almost ordinary abelian surface with possibly bad reductions over a global function field of odd characteristic $p$. Suppose $\Delta$ is an infinite set of positive integers, such that…
We introduce a general class of combinatorial objects, which we call \emph{multi-complexes}, which simultaneously generalizes graphs, multigraphs, hypergraphs and simplicial and delta complexes. We introduce a natural algebra of…
The Skolem Problem asks to determine whether a given linear recurrence sequence (LRS) has a zero term. Showing decidability of this problem is equivalent to giving an effective proof of the Skolem-Mahler-Lech Theorem, which asserts that a…
Polynomial Systems, or at least their algorithms, have the reputation of being doubly-exponential in the number of variables [Mayr and Mayer, 1982], [Davenport and Heintz, 1988]. Nevertheless, the Bezout bound tells us that that number of…
We present a non-standard proof of the fact that the existence of a local (i.e. restricted to a point) characteristic-zero, semi-parametric lifting for a variety defined by the zero locus of polynomial equations over the integers is…
We show that any finite set S in a characteristic zero integral domain can be mapped to the finite field of order p, for infinitely many primes p, preserving all algebraic incidences in S. This can be seen as a generalization of the…
We study multiplication of any Schubert polynomial $\mathfrak{S}_w$ by a Schur polynomial $s_\lambda$ (the Schubert polynomial of a Grassmannian permutation) and the expansion of this product in the ring of Schubert polynomials. We derive…
The goal of the paper is two-fold. At first, we attempt to give a survey of some recent applications of symmetric polynomials and divided differences to intersection theory. We discuss: polynomials universally supported on degeneracy loci;…
$ \newcommand{\inparen}[1]{\left( #1 \right)} \newcommand{\pfrac}[2]{\inparen{\frac{1}{2}}} \newcommand{\ilog}[1]{\log^{\circ #1}} \newcommand{\F}{\mathbb{F}} $The Polynomial Identity Lemma (also called the "Schwartz--Zippel lemma") states…
These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…
We study GL-equivariant modules over the infinite variable polynomial ring $S = k[x_1, x_2, ..., x_n, ...]$ with $k$ an infinite field of characteristic $p > 0$. We extend many of Sam--Snowden's far-reaching results from characteristic zero…
We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares…
Call a monomial ideal M "generic" if no variable appears with the same nonzero exponent in two distinct monomial generators. Using a convex polytope first studied by Scarf, we obtain a minimal free resolution of M. Any monomial ideal M can…
We show that the combinatorial Lefschetz number is a topological invariant. This is an important result in itself; in order to point it out, we will also work here several relevant consequences in different directions. The first of them is…