Related papers: The polynomial invariants of four qubits
We give a precise, computable formula for comparing $\lambda$-invariants between modular forms in the anticyclotomic indefinite setting where the Selmer groups have positive rank. This is an improvement of Hatley-Lei \cite{HL19, HL21} where…
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…
We describe a relationship between the Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercube graphs. Consider the $\mathbb C$-algebra $P$ of polynomials in four commuting variables. We turn $P$ into an $\mathfrak{sl}_4(\mathbb…
We approach multipartite entanglement classification in the symmetric subspace in terms of algebraic geometry, its natural language. We show that the class of symmetric separable states has the structure of a Veronese variety and that its…
Let $\mathcal A$ be a hyperplane arrangement in a vector space $V$ and $G \leq GL(V)$ a group fixing $\mathcal A$. In case when $G$ is a complex reflection group and $\mathcal A=\mathcal A(G)$ is its reflection arrangement in $V$, Douglass,…
We use Gay and Kirby's description of 4-manifolds in terms of trisections and trisection diagrams to define a new 4-manifold invariant. The algebraic data are an indecomposable finite semisimple bimodule category over a pair of spherical…
Let X be a finite set of points in R^n. A polynomial p nonnegative on X can be written as a sum of squares of rational functions modulo the vanishing ideal I(X). From the point of view of applications, such as polynomial optimization, we…
We propose new algebraic invariants that distinguish and classify entangled states. Considering qubits as well as higher spin systems, we obtained complete entanglement classifications for cases that were either unsolved or only conjectured…
We show that two density operators of mixed quantum states are in the same local unitary orbit if and only if they agree on polynomial invariants in a certain Noetherian ring for which degree bounds are known in the literature. This…
We study the numerical range of bounded linear operators on quaternionic Hilbert spaces and its relation with the S-spectrum. The class of complex operators on quaternionic Hilbert spaces is introduced and the upper bild of normal complex…
In this note, we study the Hilbert-Poincar\'e polynomials for the PBW-graded of simple modules for a simple complex Lie algebra. The computation of their degree can be reduced to modules of fundamental highest weight. We provide these…
Series of finite dimensional representations of the superalgebras spl(p,q) can be formulated in terms of linear differential operators acting on a suitable space of polynomials. We sketch the general ingredients necessary to construct these…
The hyperdeterminant of format 2 x 2 x 2 x 2 is a polynomial of degree 24 in 16 unknowns which has 2894276 terms. We compute the Newton polytope of this polynomial and the secondary polytope of the 4-cube. The 87959448 regular…
We verify the conjectures due to Lewis, Reiner and Stanton about the Hilbert series of the invariant ring of the truncated polynomial ring for all parabolic subgroups up to rank $3$. This is done by constructing an explicit set of…
Let $G$ be a finite group, $L_1(G)$ be its poset of cyclic subgroups and consider the quantity $\alpha(G)=\frac{|L_1(G)|}{|G|}$. The aim of this paper is to study the class $\cal{C}$ of finite nilpotent groups having…
A new class of bivariate poly-analytic Hermite polynomials is considered. We show that they are realizable as the Fourier-Wigner transform of the univariate complex Hermite functions and form a nontrivial orthogonal basis of the classical…
Loop invariants are properties of a program loop that hold before and after each iteration of the loop. They are often employed to verify programs and ensure that algorithms consistently produce correct results during execution.…
Closed form expressions for a multivector exponential and logarithm are presented in real Clifford geometric algebras Cl(p,q)when n=p+q=1 (complex and hyperbolic numbers) and n=2 (Hamilton, split and conectorine quaternions). Starting from…
If V is a simple complex euclidean Jordan algebra and G the subgroup of GL(V) fixing the determinant of V, we give a unified description of the invariant algebras C[pV]^G, for p not greater than three.
We carry out some algebraic and analytic properties of a new class of orthogonal polyanalytic polynomials, including their operational formulas, recurrence relations, generating functions, integral representations and different…