Related papers: Box products in nilpotent normal form theory: The …
We use representation theory to construct spaces of matrices of constant rank. These spaces are parametrized by the natural representation of the general linear group or the symplectic group. We present variants of this idea, with more…
Separation of variables (SoV) is a special property of integrable models which ensures that the wavefunction has a very simple factorised form in a specially designed basis. Even though the factorisation of the wavefunction was recently…
It is a well known result that the number of irreducible representations of SU(N) on a tensor product containing k factors of a vector space V is given by the number of involutions in the symmetric group on k letters. In this paper, we…
A good knowledge of the Jordan canonical form (JCF) for a tensor product of `Jordan blocks' is key to understanding the actions of $p$-groups of matrices in characteristic $p$. The JCF corresponds to a certain partition which depends on the…
New families of time-dependent potentials related with the stationary singular oscillator are introduced. This is achieved after noticing that a non stationary quantum invariant can be constructed for the singular oscillator. Such invariant…
The inverse of the Vandermonde and confluent Vandermonde matrices are presented. In the case of the Vandermonde matrix, we present a decomposition in three factors, one of them a diagonal matrix. The evaluation of such inverse matrices is a…
We present an efficient algorithm for computing the permanent for matrices of size N that can written as a product of L block diagonal matrices with blocks of size at most 2. For fixed L, the time and space resources scale linearly in N,…
This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…
Let G be a finite group. We study the group of G-equivariant self-homotopy equivalences of product of G-spaces. For a product of n-spaces, we represent it as product of n-subgroups under the assumption of equivariant reducibility. Further…
Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the…
Invariant subspaces of a matrix $A$ are considered which are obtained by truncation of a Jordan basis of a generalized eigenspace of $A$. We characterize those subspaces which are independent of the choice of the Jordan basis. An…
This paper presents algebraic methods for the study of polynomial relative invariants, when the group G formed by the symmetries and relative symmetries is a compact Lie group. We deal with the case when the subgroup H of symmetries is…
We prove that if $\mathfrak{s}$ is a solvable Lie algebra of matrices over a field of characteristic 0, and $A\in\mathfrak{s}$, then the semisimple and nilpotent summands of the Jordan-Chevalley decomposition of $A$ belong to $\mathfrak{s}$…
We introduce a new approach to an enumerative problem closely linked with the geometry of branched coverings; that is, we study the number of ways a permutation can be decomposed into a product of a given number of 2-cycles, 3-cycles, etc.…
The Springer variety of type $A$ associated to a nilpotent operator on $\mathbb{C}^n$ in Jordan canonical form admits a natural action of the $\ell$-dimensional torus $T^{\ell}$ where $\ell$ is the number of the Jordan blocks. We give a…
We identify and analyse obstructions to factorisation of integer matrices into products $N^T N$ or $N^2$ of matrices with rational or integer entries. The obstructions arise as quadratic forms with integer coefficients and raise the…
We consider a Weitzenb\"ock derivation $\Delta$ acting on a polynomial ring $R=K[\xi_1,\xi_2,...,\xi_m]$ over a field $K$ of characteristic 0. The $K$-algebra $R^\Delta = \{h \in R \mid \Delta(h) = 0\}$ is called the algebra of constants.…
Stanley decompositions are used in invariant theory and the theory of normal forms for dynamical systems to provide a unique way of writing each invariant as a polynomial in the Hilbert basis elements. Since the required Stanley…
In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof…
We formulate a lattice theoretical Jordan normal form theorem for certain nilpotent lattice maps satisfying the so called JNB conditions. As an application of the general results, we obtain a transparent Jordan normal base of a nilpotent…