arXiv++ Combinatorics

We show that Iyama's grade bijection for Auslander-Gorenstein algebras coincides with the bijection introduced by Auslander-Reiten. This result uses a new characterisation of Auslander-Gorenstein algebras. Furthermore, we show that the grade bijection of an Auslander regular algebra coincides with the permutation matrix P in the Bruhat factorisation of the Coxeter matrix. This gives a new, purely linear algebraic interpretation of the grade bijection and allows us to calculate it in a much quicker way than was previously known. We give several applications of our main results. First, we show that the permanent of the Coxeter matrix of an Auslander regular algebra is either 1 or -1. Second, we obtain a new combinatorial characterisation of distributive lattices among the class of finite lattices. Explicitly, a lattice is distributive if and only if its Coxeter matrix can be written as PU where P is a permutation matrix and U is an upper triangular matrix. Other applications include new homological results about modules in blocks of category $\mathcal{O}$ of semisimple Lie algebras.

We give an operadic interpretation of the known result of L.Shapiro and A.B.Stephens that characterizes percolating permutation matrices. A relation of ideals and suboperads of the non-symmetric operad of permutations to percolative properties of sets in the 2-neighbor percolation process is discussed. On a related note, we discuss a certain presentation of the operad of permutations.

One method to generate random permutations involves using Gaussian elimination with partial pivoting (GEPP) on a random matrix $A$ and storing the permutation matrix factor $P$ from the resulting GEPP factorization $PA=LU$. We are interested in exploring properties of random butterfly permutations, which are generated using GEPP on specific random butterfly matrices. Our paper highlights new connections among random matrix theory, numerical linear algebra, group actions of rooted trees, and random permutations. We address the questions of the longest increasing subsequence (LIS) and number of cycles for particular uniform butterfly permutations, with full distributional descriptions and limit theorems for simple butterfly permutations. We also establish scaling limit results and limit theorems for nonsimple butterfly permutations, which include certain $p$-Sylow subgroups of the symmetric group of $N=p^n$ elements for prime $p$. For the LIS, we establish power law bounds on the expected LIS of the form $N^{α_p}$ and $N^{β_p}$ where $\frac12 < α_p < β_p < 1$ for each $p$ with $α_p = 1 - o_p(1)$, showing distinction from the typical $O(N^{1/2})$ expected LIS frequently encountered in the study of random permutations (e.g., uniform permutations). For the number of cycles scaled by $(2-1/p)^n$, we establish a full CLT to a new limiting distribution depending on $p$ with positive support we introduce that is uniquely determined by its positive moments that satisfy explicit recursive formulas; this thus determines a CLT for the number of cycles for any uniform $p$-Sylow subgroup of $S_{p^n}$.

A \emph{rational orthogonal matrix} $Q$ is an orthogonal matrix with rational entries, and $Q$ is called \emph{regular} if each of its row sum equals one, i.e., $Qe = e$ where $e$ is the all-one vector. This paper presents a method for generating all regular rational orthogonal matrices using the classic Cayley transformation. Specifically, we demonstrate that for any regular rational orthogonal matrix $Q$, there exists a permutation matrix $P$ such that $QP$ does not possess an eigenvalue of $-1$. Consequently, $Q$ can be expressed in the form $Q = (I_n + S)^{-1}(I_n - S)P$, where $I_n$ is the identity matrix of order $n$, $S$ is a rational skew-symmetric matrix satisfying $Se = 0$, and $P$ is a permutation matrix. Central to our approach is a pivotal intermediate result, which holds independent interest: given a square matrix $M$, then $MP$ has $-1$ as an eigenvalue for every permutation matrix $P$ if and only if either every row sum of $M$ is $-1$ or every column sum of $M$ is $-1$.

We study the formula complexity of Iterated Sub-Permutation Matrix Multiplication, the logspace-complete problem of computing the product of $k$ $n$-by-$n$ Boolean matrices with at most a single $1$ in each row and column. For all $d \le \log k$, this problem is solvable by $n^{O(dk^{1/d})}$ size monotone formulas of two distinct types: (unbounded fan-in) $AC^0$ formulas of depth $d+1$ and (semi-unbounded fan-in) $SAC^0$ formulas of $\bigwedge$-depth $d$ and $\bigwedge$-fan-in $k^{1/d}$. The results of this paper give matching $n^{Ω(dk^{1/d})}$ lower bounds for monotone $AC^0$ and $SAC^0$ formulas for all $k \le \log\log n$, as well as slightly weaker $n^{Ω(dk^{1/2d})}$ lower bounds for non-monotone $AC^0$ and $SAC^0$ formulas. These size-depth tradeoffs converge at $d = \log k$ to tight $n^{Ω(\log k)}$ lower bounds for both unbounded-depth monotone formulas [Ros15] and bounded-depth non-monotone formulas [Ros18]. Our non-monotone lower bounds extend to the more restricted Iterated Permutation Matrix Multiplication problem, improving the previous $n^{k^{1/\exp(O(d))}}$ tradeoff for this problem [BIP98].

The Permuted Kernel Problem (PKP) is a problem in linear algebra that was first introduced by Shamir in 1989. Roughly speaking, given an $\ell \times m$ matrix $\mathbf{A}$ and an $m \times 1$ vector $\mathbf{b}$ over a finite field of $q$ elements $\mathbb{F}_q$, the PKP asks to find an $m \times m$ permutation matrix $\mathbfπ$ such that $\mathbfπ \mathbf{b}$ belongs to the kernel of $\mathbf{A}$. In recent years, several post-quantum digital signature schemes whose security can be provably reduced to the hardness of solving random instances of the PKP have been proposed. In this regard, it is important to know the expected number of solutions to a random instance of the PKP in terms of the parameters $q,\ell,m$. Previous works have heuristically estimated the expected number of solutions to be $m! / q^\ell$. We provide, and rigorously prove, exact formulas for the expected number of solutions to a random instance of the PKP and the related Inhomogeneous Permuted Kernel Problem (IPKP), considering two natural ways of generating random instances.

Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.

The permutation matrices form a subgroup of $\text{GL}_n(\mathbb{C})$ that is isomorphic to the symmetric group $S_n$. Let $r_{μλ}$ denote the multiplicity of the irreducible representation $V_μ$ of $S_n$, corresponding to a partition $μ$ of $n$, in the restriction of an irreducible polynomial representation $W_λ(\mathbb{C})$ of $\text{GL}_n(\mathbb{C})$, corresponding to a partition $λ$ with at most $n$ parts. Finding a combinatorial interpretation for $r_{μλ}$ remains an open problem in algebraic combinatorics, called the \emph{restriction problem}. We derive a new nonrecursive expression for a character polynomial called the \emph{Specht polynomial} and use it to find a combinatorial interpretation of $r_{μλ}$ when $λ$ is a hook-shaped partition.

Two skew Hadamard matrices are considered {\sf SH}-equivalent if they are similar by a signed permutation matrix. This paper determines the number of {\sf SH}-inequivalent skew Hadamard matrices of order $36$ for some types. We also study ternary self-dual codes and association schemes constructed from the skew Hadamard matrices of order $36$.

Let $\mathcal{A}(R,S)$ denote the class of all matrices of zeros and ones with row sum vector $R$ and column sum vector~$S$. We introduce the notion of an inversion in a $(0,1)$--matrix. This definition extends the standard notion of an inversion of a permutation, in the sense that both notions agree on the class of permutation matrices. We prove that the number of inversions in a $(0,1)$--matrix is monotonic with respect to the secondary Bruhat order of the class $\mathcal{A}(R,S)$. We apply this result in establishing the maximum length of a chain in the Bruhat order of the class $\mathcal{A}(n,2)$ of $(0,1)$--matrices of order $n$ in which every row and every column has a sum of~$2$. We give algorithmic constructions of chains of maximum length in the Bruhat order of $\mathcal{A}(n,2)$.

We propose a graph theoretic approach to determine trace of product of two permutation matrices through a weighted digraph representation of the permutation matrices. Consequently, we derive trace-zero doubly stochastic (DS) matrices of order $5$ whose $k$-th power is also a trace-zero DS matrix for $k\in\{2,3,4,5\}$. Then, we determine necessary conditions for the coefficients of a generic polynomial of degree $5$ to be realizable as the characteristic polynomial of a trace-zero DS matrix of order $5$. Finally, we approximate the eigenvalue region of trace-zero DS matrices of order $5.$

A blocker of $123$-avoiding permutation matrices refers to the set of zeros contained within an $n\times n$ $123$-forcing matrix. Recently, Brualdi and Cao provided a characterization of all minimal blockers, which are blockers with a cardinality of $n$. Building upon their work, a new type of blocker, flag-shaped blockers, which can be seen as a generalization of the $L$-shaped blockers defined by Brualdi and Cao, are introduced. It is demonstrated that all flag-shaped blockers are minimum blockers. The possible cardinalities of flag-shaped blockers are also determined, and the dimensions of subpolytopes that are defined by flag-shaped blockers are examined.

The inner plethysm of symmetric functions corresponds to the $λ$-ring operations of the representation ring $R({\mathfrak S}_n)$ of the symmetric group. It is known since the work of Littlewood that this operation possesses stability properties w.r.t. $n$. These properties have been explained in terms of vertex operators [Scharf and Thibon, Adv. Math. 104 (1994), 30-58]. Another approach [Orellana and Zabrocki, Adv. Math. 390 (2021), \# 107943], based on an expression of character values as symmetric functions of the eigenvalues of permutation matrices, has been proposed recently. This note develops the theory from scratch, discusses the link between both approaches and provides new proofs of some recent results.

We consider the problem of comparison-sorting an $n$-permutation $S$ that avoids some $k$-permutation $π$. Chalermsook, Goswami, Kozma, Mehlhorn, and Saranurak prove that when $S$ is sorted by inserting the elements into the GreedyFuture binary search tree, the running time is linear in the extremal function $\mathrm{Ex}(P_π\otimes \text{hat},n)$. This is the maximum number of 1s in an $n\times n$ 0-1 matrix avoiding $P_π\otimes \text{hat}$, where $P_π$ is the $k\times k$ permutation matrix of $π$, $\otimes$ the Kronecker product, and $\text{hat} = \left(\begin{array}{ccc}&\bullet&\\\bullet&&\bullet\end{array}\right)$. The same time bound can be achieved by sorting $S$ with Kozma and Saranurak's SmoothHeap. In this paper we give nearly tight upper and lower bounds on the density of $P_π\otimes\text{hat}$-free matrices in terms of the inverse-Ackermann function $α(n)$. \[ \mathrm{Ex}(P_π\otimes \text{hat},n) = \left\{\begin{array}{ll} Ω(n\cdot 2^{α(n)}), & \mbox{for most $π$,}\\ O(n\cdot 2^{O(k^2)+(1+o(1))α(n)}), & \mbox{for all $π$.} \end{array}\right. \] As a consequence, sorting $π$-free sequences can be performed in $O(n2^{(1+o(1))α(n)})$ time. For many corollaries of the dynamic optimality conjecture, the best analysis uses forbidden 0-1 matrix theory. Our analysis may be useful in analyzing other classes of access sequences on binary search trees.

The $k$-matching polytope of a graph is the convex hull of all its matchings of a given size $k$ when they are considered as indicator vectors. In this paper, we prove that the $k$-matching polytope of a bipartite graph is normal, that is, every integer point in its $t$-dilate is the sum of $t$ integers points of the original polytope. This generalizes the known fact that Birkhoff polytopes are normal. As a preliminary result, we prove that for bipartite graphs the $k$-matching polytope is equal to the fractional $k$-matching polytope, having thus the $H$-representation of the polytope. This generalizes the Birkhoff-Von Neumann Theorem which establish that every doubly stochastic matrix can be written as a convex combination of permutation matrices.

This is a tribute to my dear life-long friend, mentor and colleague Ted Swart. It includes anecdotal stories and memories of our times together, and also includes a new academic contribution in his honour, Teds polytope. Tweeks made to the Birkhoff polytope Bn endow Teds polytope Tn(ε) with a special tunable parameter ε = ε(n). Observe how Bn can be viewed as the convex hull of both the TSP polytope, and the set of non-tour permutation extrema, and, that its extended formulation is compact. Tours (connected 2-factor permutation matrices when viewed as adjacency matrices) can be distinguished from non-tours (disconnected 2-factor permutation matrices) where ε scales the magnitude of tweeks made to Bn. For ε > 0, Tn(ε) is tuned so that the convex hull of extrema corresponding to transformed tours is lifted from Bn, and separated (by a hyperplane) from the convex hull of extrema corresponding to translated non-tours. This leads to creation of the feasible region of an LP model that can decide existence of a tour in a graph based on an extended formulation of the TSP polytope. That is, by designing for polynomial-time distinguishable tour extrema embedded in a subspace disjoint from non-tour extrema, NP-completeness strongholds come into play, necessarily expressed in a non-compact extended formulation of Tn(ε) i.e. a compact extended formulation of the TSP polytope cannot exist. No matter, Ted would have loved these ideas, and Tn(ε) might one day yet be useful in the study of the P versus NP conundrum. In summary, Tn(ε) is a perturbed Bn i.e. the convex hull of both an ε-stretched TSP polytope, and the set of translated non-tour permutation extrema i.e. a TSP-like polytope and separable non-tour extrema.

Given two linear transformations, with representing matrices $A$ and $B$ with respect to some bases, it is not clear, in general, whether the Tracy-Singh product of the matrices $A$ and $B$ corresponds to a particular operation on the linear transformations. Nevertheless, it is not hard to show that in the particular case that each matrix is a square matrix of order of the form $n^2$, $n>1$, and is partitioned into $n^2$ square blocks of order $n$, then their Tracy-Singh product, $A \boxtimes B$, is similar to $A \otimes B$, and the change of basis matrix is a permutation matrix. In this note, we prove that in the special case of linear operators induced from set-theoretic solutions of the Yang-Baxter equation, the Tracy-Singh product of their representing matrices is the representing matrix of the linear operator obtained from the direct product of the set-theoretic solutions.

Cryptanalysis increases the level of confidence in cryptographic algorithms. We analyze the security of a symmetric cryptographic algorithm - quantum permutation pad (QPP) [8]. We found the instances of ciphertext the same as plaintext even after the action of QPP with the probability 1/N when the entire set of permutation matrices of dimension N is used and with the probability 1/N^m when an incomplete set of m permutation matrices of dimension N are used. We visually show such instances in a cipher image created by QPP of 256 permutation matrices of different dimensions. For any practical usage of QPP, we recommend a set of 256 permutation matrices of a dimension more or equal to 2048.

Orthogonal matrices which are linear combinations of permutation matrices have attracted enormous attention in quantum information and computation. In this paper, we provide a complete parametric characterization of all complex, real and rational orthogonal permutative matrices of order $4.$ We show that any such matrix can always be expressed as a linear combination of up to four permutation matrices. Finally we determine several matrix spaces generated by linearly independent permutation matrices such that any orthogonal matrix in these spaces is always permutative or direct sum of orthogonal permutative matrices up to permutation of its rows and columns.

Recently, Mančinska and Roberson proved that two graphs $G$ and $G'$ are quantum isomorphic if and only if they admit the same number of homomorphisms from all planar graphs. We extend this result to planar #CSP with any pair of sets $\mathcal{F}$ and $\mathcal{F}'$ of real-valued, arbitrary-arity constraint functions. Graph homomorphism is the special case where each of $\mathcal{F}$ and $\mathcal{F}'$ contains a single symmetric 0-1-valued binary constraint function. Our treatment uses the framework of planar Holant problems. To prove that quantum isomorphic constraint function sets give the same value on any planar #CSP instance, we apply a novel form of holographic transformation of Valiant, using the quantum permutation matrix $\mathcal{U}$ defining the quantum isomorphism. Due to the noncommutativity of $\mathcal{U}$'s entries, it turns out that this form of holographic transformation is only applicable to planar Holant. To prove the converse, we introduce the quantum automorphism group Qut$(\mathcal{F})$ of a set of constraint functions $\mathcal{F}$, and characterize the intertwiners of Qut$(\mathcal{F})$ as the signature matrices of planar Holant$(\mathcal{F}\,|\,\mathcal{EQ})$ quantum gadgets. Then we define a new notion of (projective) connectivity for constraint functions and reduce arity while preserving the quantum automorphism group. Finally, to address the challenges posed by generalizing from 0-1 valued to real-valued constraint functions, we adapt a technique of Lovász in the classical setting for isomorphisms of real-weighted graphs to the setting of quantum isomorphisms.