Related papers: Edmonds' problem and the membership problem for or…

Efficient methods for computing with matrices over finite fields often involve randomised algorithms, where matrices with a certain property are sought via repeated random selection. Complexity analyses for these algorithms require…

We study the problem of determining, for a polynomial function $f$ on a vector space $V$, the linear transformations $g$ of $V$ such that $f g = f$. In case $f$ is invariant under a simple algebraic group $G$ acting irreducibly on $V$, we…

We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term…

The space of $n \times m$ complex matrices can be regarded as an algebraic variety on which the group ${\bf GL}_n \times {\bf GL}_m$ acts. There is a rich interaction between geometry and representation theory in this example. In an…

Let $G$ be a real simple Lie group, $\got g$ its Lie algebra. Given a nilpotent adjoint $G$-orbit $O$, the question is to determine the irreducible unitary representations of $G$ that we can associate to $O$, according to the orbit method.…

Given a subset $\mathbf{S}=\{A_1, \dots, A_m\}$ of $\mathbb{S}^n$, the set of $n \times n$ real symmetric matrices, we define its {\it spectrahull} as the set $SH(\mathbf{S}) = \{p(X) \equiv (Tr(A_1 X), \dots, Tr(A_m X))^T : X \in…

Motivated by the uniqueness problem for monostable semi-wavefronts, we propose a revised version of the Diekmann and Kaper theory of a nonlinear convolution equation. Our version of the Diekmann-Kaper theory allows 1) to consider new types…

The first problem we investigate is the following: given $k\in \mathbb{R}_{\ge 0}$ and a vector $v$ of Pl\"ucker coordinates of a point in the real Grassmannian, is the vector obtained by taking the $k$th power of each entry of $v$ again a…

We find new solutions to the Yang--Baxter equation in terms of the intertwiner matrix for semi-cyclic representations of the quantum group $U_q(s\ell(2))$ with $q= e^{2\pi i/N}$. These intertwiners serve to define the Boltzmann weights of a…

A partial Hadamard matrix is a matrix $H\in M_{M\times N}(\mathbb T)$ whose rows are pairwise orthogonal. We associate to each such $H$ a certain quantum semigroup $G$ of quantum partial permutations of $\{1,...,M\}$ and study the…

Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of…

In algebraic quantum field theory we consider nets of von Neumann algebras indexed over regions of the space-time. Wiesbrock has shown that strongly additive nets of von Neumann algebras on the circle are in correspondence with standard…

We study the action of the Chevalley involution of a simple complex Lie group G on the set of its weight varieties (i.e. torus quotients of its flag manifolds). We find for torus quotients of Grassmannians (for GL(n)) that we obtain the…

We give a necessary and sufficient condition on a matrix for its centralizer in $\sf{GL}(n,\mathbb{Z})$ to be polycyclic, or equivalently in this case, not to contain a non-abelian free subgroup. We give a simple condition on the matrix…

We give a closed formula for the number of partitions $\lambda$ of $n$ such that the corresponding irreducible representation $V_\lambda$ of $S_n$ has non-trivial determinant. We determine how many of these partitions are self-conjugate and…

We study the precise computational complexity of deciding satisfiability of first-order quantified formulas over the theory of fixed-size bit-vectors with binary-encoded bit-widths and constants. This problem is known to be in EXPSPACE and…

Inverse Vandermonde matrix calculation is a long-standing problem to solve nonsingular linear system $Vc=b$ where the rows of a square matrix $V$ are constructed by progression of the power polynomials. It has many applications in…

Let V be a symplectic vector space of dimension 2n. Given a partition \lambda with at most n parts, there is an associated irreducible representation S_{[\lambda]}(V) of Sp(V). This representation admits a resolution by a natural complex…

We establish a criterion for the existence of a representing Radon measure for linear functionals defined on a unital commutative real algebra $A$, which we assume to be generated by a vector space $V$ endowed with a Hilbertian seminorm…

Nonlinear eigenvalue problems with eigenvector nonlinearities (NEPv) are algebraic eigenvalue problems whose matrix depends on the eigenvector. Applications range from computational quantum mechanics to machine learning. Due to its…