arXiv++ Combinatorics

A diagram $\mathcal{D} = (G, l)$ over a monoid $M$ is an oriented graph $G = (V, E)$ endowed with a labeling $l\colon E \to M$. A diagram is commutative if and only if for any two oriented paths with the same endpoints, the products in $M$ of their edge labels coincide. We propose the first asymptotically optimal algorithm for diagram commutativity verification applicable to all graph families. For graphs with $\lvert V\rvert \preceq \lvert E\rvert \preceq \lvert V\rvert^2$, which covers most practically relevant cases, our algorithm runs in $$ O\bigl(|V|\,|E|\bigr) \cdot \bigl(T_{\mathrm{equal}} + T_{\mathrm{multi}}\bigr) $$ time; here $T_{\mathrm{equal}}$ and $T_{\mathrm{multi}}$ denote the times to perform an equality check and a multiplication in $M$, respectively. We also establish new lower bounds on the numbers of equality checks and multiplications necessary for commutativity verification, which asymptotically match our algorithm's cost and thus prove its tightness.

Let ${\rm Mat}_n(\mathbb{F})$ denote the set of square $n\times n$ matrices over a field $\mathbb{F}$ of characteristic different from two. The permanental rank ${\rm prk}\,(A)$ of a matrix $A \in{\rm Mat}_{n}(\mathbb{F})$ is the size of the maximal square submatrix in $A$ with nonzero permanent. By $Λ^{k}$ and $Λ^{\leq k}$ we denote the subsets of matrices $A \in {\rm Mat}_{n}(\mathbb{F})$ with ${\rm prk}\,(A) = k$ and ${\rm prk}\,(A) \leq k$, respectively. In this paper for each $1 \leq k \leq n-1$ we obtain a complete characterization of linear maps $T: {\rm Mat}_{n}(\mathbb{F}) \to {\rm Mat}_{n}(\mathbb{F})$ satisfying $T(Λ^{\leq k}) = Λ^{\leq k}$ or bijective linear maps satisfying $T(Λ^{\leq k}) \subseteq Λ^{\leq k}$. Moreover, we show that if $\mathbb{F}$ is an infinite field, then $Λ^{k}$ is Zariski dense in $Λ^{\leq k}$ and apply this to describe such bijective linear maps satisfying $T(Λ^{k}) \subseteq Λ^{k}$.

In this note we prove two extensions of a recent combinatorial characterization due to Li, Qiao, Wigderson, Wigderson and Zhang (arXiv:2206.04815) of the maximal dimension of bounded rank subspaces of the graphical matrix space associated with a bipartite graph. Our first result shows that the above characterization remains valid for a wide class of generalized rank functions, including e.g. the permanental rank. Our second result extends the characterization to bounded rank subspaces of the graphical alternating matrix space associated with a general graph.