Related papers: The Hilbert polynomial of a symbolic square
Let $G$ be a bipartite graph and $I(G)$ the toric ideal associated to the graph $G$. In this article we calculate Hilbert-Samuel multiplicity of the graph $G$ for which the toric ideal $I(G)$ is generated by a quadratic binomials and it…
We present the $\textit{NumericalImplicitization}$ package for $\textit{Macaulay2}$, which allows for user-friendly computation of the invariants of the image of a polynomial map, such as dimension, degree, and Hilbert function values. This…
Let $K$ be a field with characteristic different from 2 and let $S$ be a symbol algebra over $K$. We compute the symmetric powers of hyperbolic quadratic forms over $K$. Also, we compute the symmetric powers of the quadratic trace form of…
We present a holomorphic representation of the Jacobi algebra $\mathfrak{h}_n\rtimes \mathfrak{sp}(n,\R)$ by first order differential operators with polynomial coefficients on the manifold $\mathbb{C}^n\times \mathcal{D}_n$. We construct…
A representation of the Jacobi algebra $\mathfrak{h}_1\rtimes \mathfrak{su}(1,1)$ by first order differential operators with polynomial coefficients on the manifold $\mathbb{C}\times \mathcal{D}_1$ is presented. The Hilbert space of…
The symbolic method is used to get explicit formulae for the products or powers of Bessel functions and for the relevant integrals.
We use symbolic expressions for traces of positive integer powers of a Hermitian operator (or, equivalently, coefficients of corresponding characteristic polynomial) to find solutions for the problems as follows: Factorization of…
In this work we provide a novel approach for computing the coefficients of the characteristic polynomial of a square matrix. We demonstrate that each coefficient can be efficiently represented by a set of circle graphs. Thus, one can employ…
We give two algorithms for computing the Hilbert depth of a \emph{graded ideal} in the polynomial ring. These algorithms work efficiently for (squarefree) lex ideals. As a consequence, we construct counterexamples to some conjectures made…
We develop tools to study the problem of containment of symbolic powers $I^{(m)}$ in powers $I^r$ for a homogeneous ideal $I$ in a polynomial ring $k[{\bf P}^N]$ in $N+1$ variables over an algebraically closed field $k$. We obtain results…
We represent algebraic curves via commuting matrix polynomials. This allows us to show that the Hilbert scheme of cohomologically stable twisted rational curves of degree $d$ in ${\Bbb P}^3\backslash {\Bbb P}^1$ is isomorphic to a…
The algebra of holomorphic polynomial Sp_{2n}-invariants of k complex 2n by 2n matrices (under diagonal conjugation action) is generated by the traces of words in these matrices and their symplectic adjoints. No concrete minimal generating…
Denote by p_k the k-th power sum symmetric polynomial n variables. The interpretation of the q-analogue of the binomial coefficient as Hilbert function leads us to discover that n consecutive power sums in n variables form a regular…
In 1888 Hilbert showed that every nonnegative homogeneous polynomial with real coefficients of degree $2d$ in $n$ variables is a sum of squares if and only if $d=1$ (quadratic forms), $n=2$ (binary forms) or $(n,d)=(3,2)$ (ternary…
Influence diagrams provide a compact graphical representation of decision problems. Several algorithms for the quick computation of their associated expected utilities are available in the literature. However, often they rely on a full…
For an arbitrary field K, let I be an ideal in the ring K[[x,y]] expressible as a polynomial in either the pair of ideals (x, y^4) and (x,y) or the pair (x,y^3) and (x^2, y). Let G be the group of automorphisms of K[[x,y]] sending the ideal…
The three invariants of C$^{1/2}$ are key to expressing this tensor and its inverse as a polynomial in C. Simple and symmetric expressions are presented connecting the two sets of invariants $I_1, I_2,I_3$ and $i_1, i_2,i_3 $ of C and…
Given a symmetric polynomial $P$ in $2n$ variables, there exists a unique symmetric polynomial $Q$ in $n$ variables such that \[ P(x_1,\ldots,x_n,x_1^{-1},\ldots,x_n^{-1}) =Q(x_1+x_1^{-1},\ldots,x_n+x_n^{-1}). \] We denote this polynomial…
Let X be a closed subscheme and let HF(X,-) and hp(X,-) denote, respectively, the Hilbert function and the Hilbert polynomial of X. We say that X has bipolynomial Hilbert function if HF(X,d)=min{hp(P^n,d),hp(X,d)} for every non-negative…
The aim of this work is to show how symbolic computation can be used to perform multivariate Lagrange, Hermite and Birkhoff interpolation and help us to build more realistic interpolating functions. After a theoretical introduction in which…