Related papers: Sum of Squares Decompositions for Structured Biqua…
In this paper, we want to discuss the topology of the non-singular hypersurface $Y^{n}$ with complex dimension $n$ in a projective toric manifold $X^{n+1}$. When $n$ is odd, our main results are a decomposition of $Y^{n}\cong Y'\sharp \…
The sum-of-squares (SoS) hierarchy is a powerful technique based on semi-definite programming that can be used for both classical and quantum optimization problems. This hierarchy goes under several names; in particular, in quantum…
An $n\times n$ symmetric matrix $A$ is copositive if the quadratic form $x^TAx$ is nonnegative on the nonnegative orthant. The cone of copositive matrices strictly contains the cone of completely positive matrices, i.e., all matrices of the…
The Bianchi groups ${\rm Bi}(d)={\rm PSL}(2,\mathcal{O}_d) < {\rm PSL}(2,\C)$ (where $\mathcal{O}_d$ denotes the ring of integers of $\Q (i\sqrt{d})$, with $d \geqslant 1$ squarefree) can be viewed as subgroups of ${\rm SO}(3,1)$ under the…
In this paper we characterize the monoid congruences of commutative semigroups by the help of the notion of the separator of subsets of semigroups. We show that every monoid congruence of a commutative semigroup S can be constructed by the…
In this paper, we first prove that a quadratic form from $\mathbb{S}^m$ to $\mathbb{S}^n$ is non-harmonic biharmonic if and only if it has constant energy density $(m+1)/2$. Then, we give a positive answer to an open problem concerning the…
A two-parameter deformed superoscillator system with SUq1/q2(n|m)-covariance is presented and used to construct a two-parameter deformed N=2 SUSY algebra. The Fock space representation of the algebra is discussed and the deformed…
A new generalized cyclic symmetric structure in the factor matrices of polyadic decompositions of matrix multiplication tensors for non-square matrix multiplication is proposed to reduce the number of variables in the optimization problem…
In this note, we construct explicit SOS decomposition of A Fourth Order Four Dimensional Hankel Tensor with A Symmetric Generating Vector, at the critical value. This is a supplementary note to Paper [3].
Persistent tensors, introduced in [Quantum 8 (2024), 1238], and inspired by quantum information theory, form a recursively defined class of tensors that remain stable under the substitution method and thereby yield nontrivial lower bounds…
In this paper, we extend some classes of structured matrices to higher order tensors. We discuss their relationships with positive semi-definite tensors and some other structured tensors. We show that every principal sub-tensor of such a…
We consider the problem of decomposing a regular non-negative function as a sum of squares of functions which preserve some form of regularity. In the same way as decomposing non-negative polynomials as sum of squares of polynomials allows…
We study symplectic forms on hypersurface algebroids. These are a broad generalization of the $b^{k}$-Poisson structures studied extensively by Miranda, Scott, and collaborators, and their geometry is intimately related to the group of…
H. J. S. Smith proved Fermat's two-square theorem using the notion of palindromic continuants. In this paper we extend Smith's approach to proper binary quadratic form representations in some commutative Euclidean rings, including rings of…
Square COD (complex orthogonal design) with size $[n, n, k]$ is an $n \times n$ matrix $\mathcal{O}_z$, where each entry is a complex linear combination of $z_i$ and their conjugations $z_i^*$, $i=1,\ldots, k$, such that $\mathcal{O}_z^H…
We discuss the existence of an orthogonal basis consisting of decomposable vectors for some symmetry classes of tensors associated with Semi-Dihedral groups $SD_{8n}$. The dimensions of these symmetry classes of tensors are also computed.
We study orthogonal decompositions of symmetric and ordinary tensors using methods from linear algebra. For the field of real numbers we show that the sets of decomposable tensors can be defined be equations of degree 2. This gives a new…
The bialgebraic abstract GSOS framework by Turi and Plotkin provides an elegant categorical approach to modelling the operational and denotational semantics of programming and process languages. In abstract GSOS, bisimilarity is always a…
We introduce a new multivariate orthogonal polynomial which is a 2-parameter deformation of the spherical polynomial by harmonic analysis on symmetric cone. This is also regarded as a multivariate analogue of the circular Jacobi polynomial.…
We obtain some criteria for a symmetric square-central element of a totally decomposable algebra with orthogonal involution in characteristic two, to be contained in an invariant quaternion subalgebra.