Related papers: Trace Minimization and Roots in ${\rm PSL}(2,\math…

Let $H, V$ be self-adjoint operators such that $V$ belongs to the weak trace class ideal. We prove higher order perturbation formula $$\tau\big(f(H+V)-\sum_{j=0}^{n-1}\frac{1}{j!}\frac{d^j}{dt^j} f(H+tV)\big|_{t=0}\big)=\int_{\mathbb{R}}…

Suppose that $G$ is a finite, transitive, solvable permutation group acting on a set $S$ with $n$ elements. Let $G_0$ be the stabilizer of a point $\alpha \in \Omega$. Define the rank of a permutation group, denoted $r(G),$ as the number of…

In the present paper, we use discrete Morse theory to provide a new implementation of torsion subcomplex reduction for arithmetic groups. This leads both to a simpler algorithm as well as runtime improvements. To demonstrate the technique,…

By considering the $M_2$-rank of an overpartition as well as a residual crank, we give another combinatorial refinement of the congruences $\overline{\mbox{spt}}_2(3n)\equiv \overline{\mbox{spt}}_2(3n+1)\equiv 0\pmod{3}$. Here…

Let $P_k$ be the subgroup generated by $k$th powers of primitive elements in $F_r$, the free group of rank $r$. We show that $F_2/P_k$ is finite if and only if $k$ is $1$, $2$, or $3$. We also fully characterize $F_2/P_k$ for $k = 2,3,4$.…

Many problems in data science can be treated as estimating a low-rank matrix from highly incomplete, sometimes even corrupted, observations. One popular approach is to resort to matrix factorization, where the low-rank matrix factors are…

A family of sets $\mathcal{F} \subseteq 2^{[n]}$ is defined to be $l$-trace $k$-Sperner if for any $l$-subset $L$ of $[n]$ the family of traces $\mathcal{F}|_L=\{F \cap L: F \in \mathcal{F}\}$ does not contain any chain of length $k+1$. In…

Two are the objectives of the present paper. First we study properties of a differentially simple commutative ring R with respect to a set D of derivations of R. Among the others we investigate the relation between the D-simplicity of R and…

Let $d \ge 2, h \ge 1$ be integers. Using a fragmentation technique, we characterise $(h+1)$-tuples $(R_1, \dots, R_h, R)$ of non-empty families of partitions of $\{1, \dots, d\}$ such that it suffices for an order-$d$ tensor to have…

Let $a$ and $b$ be two positive integers such that $a, b < n$. We denote the inclusion $\Sigma \mathbb{C}P^a\rightarrow SU(n)$ by $\varepsilon_{a,n}$. Also, let $m$ and $n$ be two positive integers such that $m < n$. This article has two…

The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two…

We describe the subracks of the conjugacy classes of $\mathrm{PSL}(2,q)$ based on Dickson's theorem on subgroups of $\mathrm{PSL}(2,q)$. All minimal non-abelian subracks of $\mathrm{PSL}(2,q)$ are determined. Further, we provide a general…

For any relatively prime integers $r$ and $s$, let $a_{r,s}(n)$ denote the number of $(r,s)$-regular partitions of a positive integer of $n$ into distinct parts. Prasad and Prasad (2018) proved many infinite families of congruences modulo 2…

We obtain an explicit characterization of the stable points of the action of G=SL(2,C) on the cartesian product G^n by simultaneous conjugation on each factor, in terms of the corresponding invariant functions, and derive from it a simple…

This paper studies the problem of deterministic rank-one matrix completion. It is known that the simplest semidefinite programming relaxation, involving minimization of the nuclear norm, does not in general return the solution for this…

For positive integers $u$ and $v$, let $L_u=\begin{bmatrix}1 & 0 \\u&1\end{bmatrix}$ and $R_v=\begin{bmatrix}1 & v \\ 0 & 1\end{bmatrix}$. Let $G_{u,v}$ be the group generated by $L_u$ and $R_v$. In a previous paper, the authors determined…

We study those $(2,m,n)$-groups which are almost simple and for which the absolute value of the Euler characteristic is a product of two prime powers. All such groups which are not isomorphic to $PSL_2(q)$ or $PGL_2(q)$ are completely…

A formula for the norm of a bilinear Schur multiplier acting from the Cartesian product $\mathcal S^2\times \mathcal S^2$ of two copies of the Hilbert-Schmidt classes into the trace class $\mathcal S^1$ is established in terms of linear…

The trace regression model, a direct extension of the well-studied linear regression model, allows one to map matrices to real-valued outputs. We here introduce an even more general model, namely the partial-trace regression model, a family…

Let $k$ be a field, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $\Sigma_n$ acts on $L_n$ by permuting the variables, and the projective linear group $\text{PGL}_2$ acts by \[…