Related papers: A full complexity dichotomy for immanant families

We consider the symmetric group $S_n$-module of the polynomial ring with $m$ sets of $n$ commuting variables and $m'$ sets of $n$ anti-commuting variables and show that the multiplicity of an irreducible indexed by the partition $\lambda$…

We consider polynomials of the form $\operatorname{s}_\lambda(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $\lambda$ is an integer partition, $\operatorname{s}_\lambda$ is the Schur polynomial associated to $\lambda$, and…

The Chinese Remainder Theorem for the integers says that every system of congruence equations is solvable as long as the system satisfies an obvious necessary condition. This statement can be generalized in a natural way to arbitrary…

In this paper, we study the complexity of computing the determinant of a matrix over a non-commutative algebra. In particular, we ask the question, "over which algebras, is the determinant easier to compute than the permanent?" Towards…

Let $G$ be a finite abelian group of order $n$ and let $\mathcal M_G=(x_{a+b})_{a,b\in G}$ be the Cayley table of $G$. Let $\text{imm}_\lambda(\mathcal M_G)$ be the immanant of $\mathcal M_G$ with respect to a partition $\lambda$ and…

Let $I = (i_1, \dots, i_k)$ and $J = (j_1, \dots, j_k)$ be two length $k$ sequences drawn from $\{1, \dots, n \}$. We have the group algebra element $[I,J] := \sum_{w(I) = J} w \in \mathbb{C}[\mathfrak{S}_n]$ where the sum is over…

If \chi^\lambda is the irreducible character of the symmetric group S_n corresponding to the partition \lambda of n then we may symmetrize a tensor v_1 \otimes ... \otimes v_n by \chi^\lambda. Gamas's theorem states that the result is not…

The inhabitation problem for intersection types in the lambda-calculus is known to be undecidable. We study the problem in the case of non-idempotent intersection, considering several type assignment systems, which characterize the solvable…

For every partition $\lambda$ of a positive integer $n$, let $S^{\lambda}$ be the corresponding Specht module of the symmetric group $\mathfrak{S}_n$, and let $\det(\lambda)\in \mathbb Z$ denote the Gram determinant of the canonical…

We describe immanants as trivial modules of the symmetric group and show that any homogeneous polynomial of degree n on the space of n by n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by…

We study families of positive and completely positive maps acting on a bipartite system $\mathbb{C}^M\otimes \mathbb{C}^N$ (with $M\leq N$). The maps have a property that when applied to any state (of a given entanglement class) they result…

By generalizing Frobenius' polynomial method to good partition algebra, we will develop new character theories for a finite group $G$. A uniform defining equations are derived for these kinds of character theories. The new character…

Let $q$ be a prime power, $G=GL_n(q)$ and let $U\leqslant G$ be the subgroup of (lower) unitriangular matrices in $G$. For a partition $\lambda$ of $n$ denote the corresponding unipotent Specht module over the complex field $\C$ for $G$ by…

A new family of asymmetric matrices of Walsh-Hadamard type is introduced. We study their properties and, in particular, compute their determinants and discuss their eigenvalues. The invertibility of these matrices implies that certain…

We study the question of whether for each n there is another integer m with lambda(m)=lambda(n), where lambda is Carmichael's function. We give a "near" proof of the fact that this is the case unconditionally, and a complete conditional…

In the context of statistical physics, Chandrasekharan and Wiese recently introduced the \emph{fermionant} $\Ferm_k$, a determinant-like quantity where each permutation $\pi$ is weighted by $-k$ raised to the number of cycles in $\pi$. We…

In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition $\Sigma$. Our goal in this paper is to show that $\Sigma$-testing can be accomplished…

We introduced previously the generalized characteristic polynomial defined by $P_C(\lambda)={\rm det}\,C(\lambda),$ where $C(\lambda)=C+{\rm diag}\big(\lambda_1,\dots,\lambda_n\big)$ for $C\in {\rm Mat}(n,\mathbb C)$ and…

A partition of degree $n$ is a decomposition $n=i_1+i_2+\dots+i_q$, where ${i_1,i_2,\dots,i_q}$ are positive integers called the parts of the partition. Let $\lambda>0$ be an integer. The partition is said to be a $\lambda$--partition if…

Let $G$ be a finite nilpotent group, $\chi$ and $\psi$ be irreducible complex characters of $G$ of prime degree. Assume that $\chi(1)=p$. Then either the product $\chi\psi$ is a multiple of an irreducible character or $\chi\psi$ is the…