arXiv++ Combinatorics

A permutation $π\in S_n$ is (32-1)-avoiding when there do not exist $1 \leq i < i+1 < j \leq n$ such that $π_i > π_{i+1} > π_j$. We determine the maximum inversion number for (32-1)-avoiding permutations and count the number of permutations that achieve this maximum. We then provide a direct construction that enumerates these permutations.

We study chip-firing games on multigraphs whose underlying simple graphs are trees, paths, and stars, denoted as banana trees, paths, and stars respectively. We present a polynomial time algorithm to compute the divisorial gonality of banana paths, and give combinatorial formulas for the related invariants of scramble number and screewidth for any banana tree. Furthermore, we leverage banana paths to show that gonality can increase or decrease by an arbitrary amount upon deletion of a single edge, even when the resulting graph is connected. Lastly, we study banana trees and Brill-Noether theory to prove that the gonality conjecture holds for all banana trees.

We characterize the extremal structure for the exact mixing time for random walks on trees $T_{n,d}$ of order $n$ with diameter $d$. Given a graph $G=(V,E)$, let $H(v,π)$ denote the expected length of an optimal stopping rule from vertex $v$ to the stationary distributon $π$. We show that the quantity $\max_{G \in T_{n,d} } T_{\mbox{mix}}(G) = \max_{G \in T_{n,d} } \max_{v \in V} H(v,π)$ is achieved uniquely by the balanced double broom.

We consider graphs for which the non-backtracking matrix has defective eigenvalues, or graphs for which the matrix does not have a full set of eigenvectors. The existence of these values results in Jordan blocks of size greater than one, which we call nontrivial. We show a relationship between the eigenspaces of the non-backtracking matrix and the eigenspaces of a smaller matrix, completely classifying their differences among graphs with at most one cycle. Finally, we provide several constructions of infinite graph families that have nontrivial Jordan blocks for both this smaller matrix and the non-backtracking matrix.

The order ideal $B_{n,2}$ of the Boolean lattice $B_n$ consists of all subsets of size at most $2$. Let $F_{n,2}$ denote the poset refinement of $B_{n,2}$ induced by the rules: $i < j$ implies $\{i \} \prec \{ j \}$ and $\{i,k \} \prec \{j,k\}$. We give an elementary bijection from the set $\mathcal{F}_{n,2}$ of linear extensions of $F_{n,2}$ to the set of shifted standard Young tableau of shape $(n, n-1, \ldots, 1)$, which are counted by the strict-sense ballot numbers. We find a more surprising result when considering the set $\mathcal{F}_{n,2}^{1}$ of minimal poset refinements in which each singleton is comparable with all of the doubletons. We show that $\mathcal{F}_{n,2}^{1}$ is in bijection with magog triangles, and therefore is equinumerous with alternating sign matrices. We adopt our proof techniques to show that row reversal of an alternating sign matrix corresponds to a natural involution on gog triangles.

Determinantal ideals of graphs generalize, among others, the spectrum and the Smith normal form (SNF) of integer matrices associated to graphs. In this work we investigate the relationship of the spectrum and the SNF with the determinantal ideals. We show that an eigenvalue divides the $k$-th invariant factor of its SNF if the eigenvalue belongs to a variety of the $k$-th univariate integer determinantal ideal of the matrix. This result has as a corollary a theorem of Rushanan. We also study graphs having the same determinantal ideals with at most one indeterminate; the socalled codeterminantal graphs, which generalize the concepts of cospectral and coinvariant graphs. We establish a necessary and sufficient condition for graphs to be codeterminantal on $\mathbb{R}[x]$, and we present some computational results on codeterminantal graphs up to 9 vertices. Finally, we show that complete graphs and star graphs are determined by the SNF of its distance Laplacian matrix.

For two graphs $G$ and $H$, the Turán number $ex(G,H)$ is the maximum number of edges in a subgraph of $G$ that contains no copy of $H$. Chen, Li, and Tu determined the Turán numbers $ex(K_{m,n},kK_2)$ for all $k\geq 1$ [7]. In this paper we will determine the Turán numbers $ex(K_{a_1,\ldots,a_r},kK_r)$ for all $r\geq 3$ and $k\geq 1$.

Consider the following process on a simple graph without isolated vertices: Order the edges randomly and keep an edge if and only if it contains a vertex which is not contained in some preceding edge. The resulting set of edges forms a spanning forest of the graph. The probability of obtaining $k$ components in this process for complete bipartite graphs is determined as well as a formula for the expected number of components in any graph. A generic recurrence and some additional basic properties are discussed.

The distance matrix of a connected graph is the symmetric matrix with columns and rows indexed by the vertices and entries that are the pairwise distances between the corresponding vertices. We give a construction for graphs which differ in their edge counts yet are cospectral with respect to the distance matrix. Further, we identify a subgraph switching behavior which constructs additional distance cospectral graphs. The proofs for both constructions rely on a perturbation of (most of) the distance eigenvectors of one graph to yield the distance eigenvectors of the other.

The distance matrix of a graph $G$ is the matrix containing the pairwise distances between vertices. The distance eigenvalues of $G$ are the eigenvalues of its distance matrix and they form the distance spectrum of $G$. We determine the distance spectra of halved cubes, double odd graphs, and Doob graphs, completing the determination of distance spectra of distance regular graphs having exactly one positive distance eigenvalue. We characterize strongly regular graphs having more positive than negative distance eigenvalues. We give examples of graphs with few distinct distance eigenvalues but lacking regularity properties. We also determine the determinant and inertia of the distance matrices of lollipop and barbell graphs.

We give a construction of a family of (weighted) graphs that are pairwise cospectral with respect to the normalized Laplacian matrix, or equivalently probability transition matrix. This construction can be used to form pairs of cospectral graphs with differing number of edges, including situations where one graph is a subgraph of the other. The method used to demonstrate cospectrality is by showing the characteristic polynomials are equal.