Related papers: A Linear-algebraic Proof of Hilbert's Ternary Quar…
Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…
We prove that the rank-one convex hull of finitely many $2\times 2$ triangular matrices is a semialgebraic set, defined by linear and quadratic polynomials. We present explicit constructions for five-point configurations and offer evidence…
We derive the polynomial representations for minimal relations of generating set of numerical semigroups R_n^k=<(n-1)^k,n^k,(n+1)^k>, k=2,3,4, n>2. We find also the polynomial representations for degrees of syzygies in the Hilbert series…
In this note, simple proofs of certain well-known results involving the positive square root of positive matrices are given.
For any power series $a(t)$ with exponentially bounded nonnegative integer coefficients we suggest a simple construction of a finitely generated monomial associative algebra $R$ with Hilbert series $H(R,t)$ very close to $a(t)$. If $a(t)$…
Lagrange's Four Squares Theorem states that any positive integer can be expressed as the sum of four integer squares. We investigate the analogous question over Quaternion rings, focusing on squares of elements of Quaternion rings with…
Algebras generated by strictly positive matrices are described up to similarity, including the commutative, simple, and semisimple cases. We provide sufficient conditions for some block diagonal matrix algebras to be generated by a set of…
We consider the problem of extending the classical S-lemma from commutative case to noncommutative cases. We show that a symmetric quadratic homogeneous matrix-valued polynomial is positive semidefinite if and only if its coefficient matrix…
The Hilbert series of the algebra of polynomial invariants of pure states of five qubits is obtained, and the simplest invariants are computed.
Let $A$ be a matrix with nonnegative real entries. A nonnegative factorization of size $k$ is a representation of $A$ as a sum of $k$ nonnegative rank-one matrices. The space of all such factorizations is a bounded semialgebraic set, and we…
The compact set of homogeneous quadratic polynomials in $n$ real variables with modulus bounded by 1 on the unit sphere $S^{n-1}$ is trivially semi-definite representable. The compact set of homogeneous ternary quartics with modulus bounded…
Let F denote a homogeneous degree 4 polynomial in 3 variables, and let s be an integer between 1 and 5. We would like to know if F can be written as a sum of fourth powers of s linear forms (or a degeneration). We determine necessary and…
Recently the author used certain quaternion orders to demonstrate the universality of some quaternary quadratic forms. Here a further study is done on one of these orders analogous to Hurwitz's proof of the formula for the number of…
We provide simple criteria and algorithms for expressing homogeneous polynomials as sums of powers of independent linear forms, or equivalently, for decomposing symmetric tensors into sums of rank-1 symmetric tensors of linearly independent…
We give a complete classification of quadratic algebras A, with Hilbert series $H_A=(1-t)^{-3}$, which is the Hilbert series of commutative polynomials on 3 variables. Koszul algebras as well as algebras with quadratic Gr\"obner basis among…
We provide a criterion for a coherent sheaf to be an Ulrich sheaf in terms of a certain bilinear form on its global sections. When working over the real numbers we call it a positive Ulrich sheaf if this bilinear form is symmetric or…
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,…
We describe a geometric-combinatorial algorithm that allows one, using solely the system of weights and roots, to determine the Hesselink strata of the null-cone of a linear representation of a reductive algebraic group and calculate their…
There is considered the problem of describing up to linear conformal equivalence those harmonic cubic homogeneous polynomials for which the squared-norm of the Hessian is a nonzero multiple of the quadratic form defining the Euclidean…
For any integer $x$, let $T_x$ denote the triangular number $\frac{x(x+1)}{2}$. In this paper we give a complete characterization of all the triples of positive integers $(\alpha, \beta, \gamma)$ for which the ternary sums $\alpha x^2…