Related papers: Combinatorial Differential Algebra of $x^p$

For every bivariate polynomial $p(z_1, z_2)$ of bidegree $(n_1, n_2)$, with $p(0,0)=1$, which has no zeros in the open unit bidisk, we construct a determinantal representation of the form $$p(z_1,z_2)=\det (I - K Z),$$ where $Z$ is an…

We study the coinvariant ring of the complex reflection group $G(r,p,n)$ as a module for the corresponding rational Cherednik algebra $\HH$ and its generalized graded affine Hecke subalgebra $\mathcal{H}$. We construct a basis consisting of…

Let J be a strongly stable monomial ideal in P=k[X0,...,Xn] and let BSt(J) be the family of all the homogeneous ideals in P such that the set N(J) of all the monomials that do not belong to J is a k-vector basis of the quotient P/I. We show…

The alliance polynomial of a graph $G$ with order $n$ and maximum degree $\Delta$ is the polynomial $A(G; x) = \sum_{k=-\Delta}^{\Delta} A_{k}(G) \, x^{n+k}$, where $A_{k}(G)$ is the number of exact defensive $k$-alliances in $G$. We obtain…

The Hilbert scheme of $n$ points in the affine plane contains the open subscheme parametrizing $n$ distinct points in the affine plane, and the closed subscheme parametrizing ideals of codimension $n$ supported at the origin of the affine…

This work provides a unified formalism for studying difference and (Hasse-) differential algebraic geometry, by introducing a theory of "iterative Hasse rings and schemes". As an application, Hasse jet spaces are constructed generally,…

The graph polynomial for the number of independent sets of size $k$ in a general undirected graph is shown to be equal to an elementary symmetric polynomial of the vertex monomials, which are determined by the edges incident at the…

The type C_n full root polytope is the convex hull in R^n of the origin and the points e_i-e_j, e_i+e_j, 2e_k for 1 <= i < j <= n, k \in [n]. Given a graph G, with edges labeled positive or negative, associate to each edge e of G a vector…

We produce a criterion for open sets in projective $n$-space over a separably closed field to have \'etale cohomological dimension bounded by $2n-3$. We use the criterion to exhibit a scheme for which \'etale cohomological dimension is…

We use the theory of motivic integration for singular spaces to give a characterization of minimal log discrepencies in terms of the codimension of certain subsets of spaces of arcs. This is done for arbitrary pairs $(X,Y)$, with $X$ normal…

For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of…

Let f : X --> X be a dominant rational map of a projective variety defined over a number field. An important geometric-dynamical invariant of f is its (first) dynamical degree d_f= lim SpecRadius((f^n)^*)^{1/n}. For algebraic points P of X…

We compute the Hilbert polynomial and the Poincare function counting the number of fixed jet-order differential invariants of conformal metric structures modulo local diffeomorphisms, and we describe the field of rational differential…

We study the regularity of the roots of complex univariate polynomials whose coefficients depend smoothly on parameters. We show that any continuous choice of the roots of a $C^{n-1,1}$-curve of monic polynomials of degree $n$ is locally…

We compare spaces of non-singular algebraic sections of ample vector bundles to spaces of continuous sections of jet bundles. Under some conditions, we provide an isomorphism in homology in a range of degrees growing with the jet ampleness.…

The paper studies the generic complex 1-dimensional polynomial vector fields of the form $iP(z)\frac{\partial}{\partial z}$, where $P$ is a polynomial with real coefficients, under topological orbital equivalence preserving the separatrices…

Let f : X --> X be a dominant rational map of a projective variety defined over a global field, let d_f be the dynamical degree of f, and let h_X be a Weil height on X relative to an ample divisor. We prove that h_X(f^n(P)) << (d_f + e)^n…

We study the computational limits of the following general hypothesis testing problem. Let H=H_n be an \emph{arbitrary} undirected graph on n vertices. We study the detection task between a ``null'' Erd\H{o}s-R\'{e}nyi random graph G(n,p)…

We construct, for every even dimensional sphere $S^n$, $n >1$, and every odd integer $k$, a homogeneous polynomial map $f: S^{n}\to S^{n}$ of Brouwer degree $k$ and algebraic degree $2|k|-1$.

On a generic complete intersection surface X^2 in P^4(C) having polynomial equations z^d = R(x,y) and t^e = S(x,y) with 752 <= d <= e <= d^2/648, there exist extrinsic meromorphic jet differentials of the form J(x,y,x',y') / [y^d z^{m(d-1)}…