arXiv++ Combinatorics

We study a special class of (real or complex) robust Hadamard matrices, distinguished by the property that their projection onto a $2$-dimensional subspace forms a Hadamard matrix. It is shown that such a matrix of order $n$ exists, if there exists a skew Hadamard matrix of this size. This is the case for any even dimension $n\le 20$, and for these dimensions we demonstrate that a bistochastic matrix $B$ located at any ray of the Birkhoff polytope, (which joins the center of this body with any permutation matrix), is unistochastic. An explicit form of the corresponding unitary matrix $U$, such that $B_{ij}=|U_{ij}|^2$, is determined by a robust Hadamard matrix. These unitary matrices allow us to construct a family of orthogonal bases in the composed Hilbert space of order $n \times n$. Each basis consists of vectors with the same degree of entanglement and the constructed family interpolates between the product basis and the maximally entangled basis.

We study the structure of 01-matrices avoiding a pattern P as an interval minor. We focus on critical P-avoiders, i.e., on the P-avoiding matrices in which changing a 0-entry to a 1-entry always creates a copy of P as an interval minor. Let Q be the 3x3 permutation matrix corresponding to the permutation 231. As our main result, we show that for every pattern P that has no rotated copy of Q as interval minor, there is a constant c(P) such that any row and any column in any critical P-avoiding matrix can be partitioned into at most c(P) intervals, each consisting entirely of 0-entries or entirely of 1-entries. In contrast, for any pattern P that contains a rotated copy of Q, we construct critical P-avoiding matrices of arbitrary size $n\times n$ having a row with $Ω(n)$ alternating intervals of 0-entries and 1-entries.

A sorting network is a shortest path from $12 \cdots n$ to $n \cdots 2 1$ in the Cayley graph of the symmetric group generated by adjacent transpositions. For a uniform random sorting network, we prove that in the global limit, particle trajectories are supported on $π$-Lipschitz paths. We show that the weak limit of the permutation matrix of a random sorting network at any fixed time is supported within a particular ellipse. This is conjectured to be an optimal bound on the support. We also show that in the global limit, trajectories of particles that start within distance $ε$ of the edge are within $\sqrt{2ε}$ of a sine curve in uniform norm.

A sorting network (also known as a reduced decomposition of the reverse permutation), is a shortest path from $12 \cdots n$ to $n \cdots 21$ in the Cayley graph of the symmetric group $S_n$ generated by adjacent transpositions. We prove that in a uniform random $n$-element sorting network $σ^n$, all particle trajectories are close to sine curves with high probability. We also find the weak limit of the time-$t$ permutation matrix measures of $σ^n$. As a corollary of these results, we show that if $S_n$ is embedded into $\mathbb{R}^n$ via the map $τ\mapsto (τ(1), τ(2), \dots τ(n))$, then with high probability, the path $σ^n$ is close to a great circle on a particular $(n-2)$-dimensional sphere in $\mathbb{R}^n$. These results prove conjectures of Angel, Holroyd, Romik, and Virag.

Consider a finite sequence of independent random permutations, chosen uniformly either among all permutations or among all matchings on n points. We show that, in probability, as n goes to infinity, these permutations viewed as operators on the (n-1) dimensional vector space orthogonal to the vector with all coordinates equal to 1, are asymptotically strongly free. Our proof relies on the development of a matrix version of the non-backtracking operator theory and a refined trace method. As a byproduct, we show that the non-trivial eigenvalues of random n-lifts of a fixed based graphs approximately achieve the Alon-Boppana bound with high probability in the large n limit. This result generalizes Friedman's Theorem stating that with high probability, the Schreier graph generated by a finite number of independent random permutations is close to Ramanujan. Finally, we extend our results to tensor products of random permutation matrices. This extension is especially relevant in the context of quantum expanders.

We investigate convex polytopes of doubly stochastic matrices having special structures: symmetric, Hankel symmetric, centrosymmetric, and both symmetric and Hankel symmetric. We determine dimensions of these polytopes and classify their extreme points. We also determine a basis of the real vector spaces generated by permutation matrices with these special structures.

Baxter permutations are known to be in bijection with a wide number of combinatorial objects. Previously, it was shown that each of these objects had a natural involution which was carried equivariantly by the known bijections, and the number of objects fixed under involution was given by Stembridge's $q=-1$ phenomenon. In this paper, we consider the order 4 action of a quarter-turn rotation of a Baxter permutation matrix, refining the half-turn rotation previously studied. Using the method of generating trees, we show that the number of Baxter permutations fixed under quarter-turn rotation has a very nice enumeration, which suggests the existence of a combinatorial bijection.

In 2005 J.L. Waldspurger proved the following theorem: given a finite real reflection group $W$, the closed positive root cone is tiled by the images of the open weight cone under the action of the linear transformations $id-w$. Shortly thereafter E. Meinrencken extended the result to affine Weyl groups. P.V. Bibikov and V.S. Zhgoon then gave a uniform proof for a discrete reflection group acting on a simply-connected space of constant curvature. In this paper we show that the Waldspurger and Meinrenken theorems of type A give a new perspective on the combinatorics of the symmetric group. In particular, for each permutation matrix $w \in \mathfrak{S}_n$ we define a non-negative integer matrix $\mathbf{WT}(w)$, called the Waldspurger transform of $w$. The definition of the matrix $\mathbf{WT}(w)$ is purely combinatorial but its columns are the images of the fundamental weights under the action of $id-w$, expressed in simple root coordinates. The possible columns of $\mathbf{WT}(w)$ (which we call UM vectors) are in bijection with many interesting structures including: unimodal Motzkin paths, abelian ideals in nilradical of the Lie algebra $\mathfrak{sl}_n(\mathbb{C})$, Young diagrams with maximum hook length $n$, and integer points inside a certain polytope. We show that the sum of the entries of $\mathbf{WT}(w)$ is equal to half the entropy of the corresponding permutation $w$, which is known to equal the rank of $w$ in the Dedekind-MacNeille completion of the Bruhat order. Inspired by this, we extend the Waldpurger transform $\mathbf{WT}(M)$ to alternating sign matrices $M$ and give an intrinsic characterization of the image. This provides a geometric realization of Dedekind-MacNeille completion of the Bruhat order (a.k.a. the lattice of alternating sign matrices).

The subject of this note is a challenging conjecture about X-rays of permutations which is a special case of a conjecture regarding Skolem sequences. In relation to this, Brualdi and Fritscher [Linear Algebra and its Applications, 2014] posed the following problem: Determine a bijection between extremal Skolem sets and binary Hankel X-rays of permutation matrices. We give such a bijection, along with some related observations.

We consider two polytopes. The quadratic assignment polytope $QAP(n)$ is the convex hull of the set of tensors $x\otimes x$, $x \in P_n$, where $P_n$ is the set of $n\times n$ permutation matrices. The second polytope is defined as follows. For every permutation of vertices of the complete graph $K_n$ we consider appropriate $\binom{n}{2} \times \binom{n}{2}$ permutation matrix of the edges of $K_n$. The Young polytope $P((n-2,2))$ is the convex hull of all such matrices. In 2009, S. Onn showed that the subgraph isomorphism problem can be reduced to optimization both over $QAP(n)$ and over $P((n-2,2))$. He also posed the question whether $QAP(n)$ and $P((n-2,2))$, having $n!$ vertices each, are isomorphic. We show that $QAP(n)$ and $P((n-2,2))$ are not isomorphic. Also, we show that $QAP(n)$ is a face of $P((2n-2,2))$, but $P((n-2,2))$ is a projection of $QAP(n)$.

Let $P_n^1,\dots, P_n^d$ be $n\times n$ permutation matrices drawn independently and uniformly at random, and set $S_n^d:=\sum_{\ell=1}^d P_n^\ell$. We show that if $\log^{12}n/(\log \log n)^{4} \le d=O(n)$, then the empirical spectral distribution of $S_n^d/\sqrt{d}$ converges weakly to the circular law in probability as $n \to \infty$.

We consider the ensemble of n x n 0 - 1 matrices with all column and row sums equal r. We give this ensemble the uniform weighting to construct a measure E. We know from the work of Wanless and Pernici that E(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E(perm_{m_i}(A)) * (1+ O(1/n^4)) In this paper we prove E_1(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E_1(perm_{m_i}(A)) * (1+ O(1/n^2)) where E_1 is the measure constructed on the ensemble of n x n 0 - 1 matrices with non-negative integer entries realized as the sum of r random permutation matrices. E_1 is often used as an "approximation" to E. We have computer evidence for E_1(prod_{i=1}^N (perm_{m_i}(A)) = prod_{i=1}^N (E_1(perm_{m_i}(A)) * (1+ O(1/n^4)).

The Birkhoff polytope $B_n$ is the convex hull of all $n\times n$ permutation matrices in $\mathbb{R}^{n\times n}$. We compute the combinatorial symmetry group of the Birkhoff polytope. A representation polytope is the convex hull of some finite matrix group $G\leq \operatorname{GL}(d,\mathbb{R})$. We show that the group of permutation matrices is essentially the only finite matrix group which yields a representation polytope with the same face lattice as the Birkhoff polytope.

Let $S_n(\mathbb{Z})$ and $O_n(\mathbb{Q})$ denote the set of all $n\times n$ symmetric matrices over the ring of integers $\mathbb{Z}$ and the set of all $n\times n$ orthogonal matrices over the field of rational numbers $\mathbb{Q}$, respectively. The paper is mainly concerned with the following problem: Given a matrix $A\in {S_n(\mathbb{Z})}$. How can one find all rational orthogonal matrices $Q\in{O_n(\mathbb{Q})}$ such that $Q^TAQ\in {S_n(\mathbb{Z})}$, and in particular, when does $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ imply that $Q$ is \emph{a signed permutation matrix} (i.e., the matrix obtained from a permutation matrix $P$ by replacing each 1 in $P$ with 1 or $-1$)? A surprisingly simple answer was given in terms of whether the discriminant of the characteristic polynomial of $A$ is odd and square-free, which partially answers the above questions. More precisely, let $Δ_A=\pm \res(φ,φ')$ be \emph{the discriminant of matrix $A$}, where $\res(φ,φ')$ is \emph{the resultant} of the characteristic polynomial $φ$ of $A$ and its derivative $φ'$. We show that if $Δ_A$ is odd and square-free, then $Q^TAQ\in {S_n(\mathbb{Z})}$ with $Q\in{O_n(\mathbb{Q})}$ implies that $Q$ is a signed permutation matrix. As an application, we present a simple and efficient method for testing whether a graph is determined by the generalized spectrum, which significantly extends our previous work.

A binary matrix is a matrix with entries from the set $\{0,1\}$. We say that a binary matrix $A$ contains a binary matrix $S$ if $S$ can be obtained from $A$ by removal of some rows, some columns, and changing some $1$-entries to $0$-entries. If $A$ does not contain $S$, we say that $A$ avoids $S$. A $k$-permutation matrix $P$ is a binary $k \times k$ matrix with exactly one $1$-entry in every row and one $1$-entry in every column. The Füredi-Hajnal conjecture, proved by Marcus and Tardos, states that for every permutation matrix $P$, there is a constant $c_P$ such that for every $n \in \mathbb{N}$, every $n \times n$ binary matrix $A$ with at least $c_P n$ $1$-entries contains $P$. We show that $c_P \le 2^{O(k^{2/3}\log^{7/3}k / (\log\log k)^{1/3})}$ asymptotically almost surely for a random $k$-permutation matrix $P$. We also show that $c_P \le 2^{(4+o(1))k}$ for every $k$-permutation matrix $P$, improving the constant in the exponent of a recent upper bound on $c_P$ by Fox. Moreover, we improve the upper bound on $c_P$ in terms of the Stanley-Wilf limit $s_P$ to $c_P \le O\big(s_P^{2.75} \log s_P\big)$. We also consider a higher-dimensional generalization of the Stanley-Wilf conjecture about the number of $d$-dimensional $n$-permutation matrices avoiding a fixed $d$-dimensional $k$-permutation matrix, and prove almost matching upper and lower bounds of the form $(2^k)^{O(n)} \cdot (n!)^{d-1-1/(d-1)}$ and $n^{-O(k)} k^{Ω(n)} \cdot (n!)^{d-1-1/(d-1)}$, respectively.

We prove a stability version of a general result that bounds the permanent of a matrix in terms of its operator norm. More specifically, suppose $A$ is an $n \times n$ matrix over $\mathbb{C}$ (resp. $\mathbb{R}$), and let $\mathcal{P}$ denote the set of $n \times n$ matrices over $\mathbb{C}$ (resp. $\mathbb{R}$) that can be written as a permutation matrix times a unitary diagonal matrix. Then it is known that the permanent of $A$ satisfies $|\text{perm}(A)| \leq \Vert A \Vert_{2} ^n$ with equality iff $A/ \Vert A \Vert_{2} \in \mathcal{P}$ (where $\Vert A \Vert_2$ is the operator $2$-norm of $A$). We show a stability version of this result asserting that unless $A$ is very close (in a particular sense) to one of these extremal matrices, its permanent is exponentially smaller (as a function of $n$) than $\Vert A \Vert_2 ^n$. In particular, for any fixed $α, β> 0$, we show that $|\text{perm}(A)|$ is exponentially smaller than $\Vert A \Vert_2 ^n$ unless all but at most $αn$ rows contain entries of modulus at least $\Vert A \Vert_2 (1 - β)$.

We define and investigate a family of permutations matrices, called shuffling matrices, acting on a set of $N=n_1\cdots n_m$ elements, where $m\geq 2$ and $n_i\geq 2$ for any $i=1,\ldots, m$. These elements are identified with the vertices of the $m$-th level of a rooted tree with branch indices $(n_1,\ldots, n_m)$. Each of such matrices is induced by a permutation of $Sym(m)$ and it turns out that, in the case in which one considers the cyclic permutation $(1\ \ldots\ m)$, the corresponding permutation is the classical perfect shuffle. We give a combinatorial interpretation of these permutations in terms of lexicographic order of the vertices of the tree. This allows us to describe their fixed points. We show that our permutation matrices can be used to let the Kronecker product of matrices commute or, more generally, rearrange in an arbitrary order. Moreover, we show that the group generated by such permutations does depend only on the branch indices of the tree, but it is independent from their order. In the case in which such indices coincide, we prove that the corresponding group is a copy of $Sym(m)$ inside $Sym(n^m)$. Finally, we give an application of shuffling matrices in the context of the Discrete Fourier Transform.

We present a simple bijection between permutation matrices and descending plane partitions without special parts. This bijection is already mentioned in work of P. Lalonde (without giving the details); it involves the inversion words of permutations and the (well-known) representation of descending plane partitions as families of non--intersecting lattice paths. (Taking a short detour, we will also exhibit how the (well--known) enumeration of descending plane partitions follows easily from the evaluation of Andrew's determinant.)

This work examines the concept of S-permutation matrices, namely $n^2 \times n^2$ permutation matrices containing a single 1 in each canonical $n \times n$ subsquare (block). The article suggests a formula for counting mutually disjoint pairs of $n^2 \times n^2$ S-permutation matrices in the general case by restricting this task to the problem of finding some numerical characteristics of the elements of specially defined for this purpose factor-set of the set of $n \times n$ binary matrices. The paper describe an algorithm that solves the main problem. To do that, every $n\times n$ binary matrix is represented uniquely as a n-tuple of integers.

For large $n$, take a random $n \times n$ permutation matrix and its associated discrete copula $X_n$. For $a, b = 0, 1, \ldots, n$, let $y_n(\frac{a}{n},\frac{b}{n}) = \frac{1}{n} ( X_{a,b} - \frac{ab}{n} )$; define $y_n: [0,1]^2 \to R$ by interpolating quadratically on squares of side $\frac{1}{n}$. We prove a Donsker type central limit theorem: $\sqrt{n} y_n$ approaches a bridged Brownian sheet on the unit square.