arXiv++ Combinatorics

In a recent article "Projective geometries, $Q$-polynomial structures, and quantum groups" Terwilliger (arXiv:2407.14964) defined a certain weighted adjacency matrix, depending on a free (positive real) parameter, associated with the projective geometry, and showed (among many other results) that it is diagonalizable, with the eigenvalues and their multiplicities explicitly written down, and that it satisfies the $Q$-polynomial property (with respect to the zero subspace). In this note we (i) Write down an explicit eigenbasis for this matrix. (ii) Evaluate the adjacency matrix-eigenvector products, yielding a new proof for the eigenvalues and their multiplicities. (iii) Evaluate the dual adjacency matrix-eigenvector products and directly show that the action of the dual adjacency matrix on the eigenspaces of the adjacency matrix is block-tridiagonal, yielding a new proof of the $Q$-polynomial property.

We define a map from subspaces to Motzkin paths and show that the inverse image of every path is a disjoint union of symmetric Boolean subsets yielding an explicit symmetric Boolean decomposition of the subspace lattice.

We define a q-analog of the adjacency matrix of the n-cube, determine its eigenvalues and write down a canonical eigenbasis. We give a weighted count of the number of rooted spanning trees in the q-analog of the n-cube. Remarks on the previous version: The q-analog of the Kac matrix appears in Terwilliger's classification of Leonard pairs and as such its eigenvalues and eigenvectors were known. Reference added to Terwilliger's papers and also to a paper of Johnson. Title changed to reflect this.

We revisit the Bose-Mesner algebra of the perfect matching association scheme. Our main results are: 1. An inductive algorithm, based on solving linear equations, to compute the eigenvalues of the orbital basis elements given the central characters of the symmetric groups. 2. Universal formulas, as content evaluations of symmetric functions, for the eigenvalues of fixed orbitals. 3. An inductive construction of an eigenvector (the so called first Gelfand-Tsetlin vector) in each eigenspace leading to a different inductive algorithm (not using central characters) for the eigenvalues of the orbital basis elements.

In the Vershik-Okounkov approach to the complex irreducible representations of $S_n$ and $G\sim S_n$ we parametrize the irreducible representations and their bases by spectral objects rather than combinatorial objects and then, at the end, give a bijection between the spectral and combinatorial objects. The fundamental ideas are similar in both cases but there are additional technicalities involved in the $G\sim S_n$ case. This was carried out by Pushkarev. The present work gives a fully detailed exposition of Pushkarev's theory. For the most part we follow the original but our definition of a Gelfand-Tsetlin subspace, based on a multiplicity free chain of subgroups, is slightly different and leads to a more natural development of the theory. We also work out in detail an example, the generalized Johnson scheme, from this viewpoint.

Let G be a finite group acting on the finite set X such that the corresponding (complex) permutation representation is multiplicity free. There is a natural rank and order preserving action of the wreath product G~S_n on the generalized Boolean algebra B_X(n). We explicitly block diagonalize the commutant of this action.

We inductively construct an explicit (common) orthogonal eigenbasis for the elements of the Bose-Mesner algebra of the Grassmann scheme. The main step is a constructive, linear algebraic interpretation of the Goldman-Rota recurrence for the number of subspaces of a finite vector space. This interpretation shows that the up operator on subspaces has an explicitly given recursive structure. Using this we inductively construct an explicit orthogonal symmetric Jordan basis with respect to the up operator and write down the singular values, i.e., the ratio of the lengths of the successive vectors in the Jordan chains. The collection of all vectors in this basis of a fixed rank forms a (common) orthogonal eigenbasis for the elements of the Bose-Mesner algebra of the Grassmann scheme. We also pose a bijective proof problem on the spanning trees of the Grassmann graphs.

We present a positive, combinatorial, good formula for the complexity (= number of spanning trees) of the $q$-analog of the $n$-cube. Our method also yields the explicit block diagonalization of the commutant of the $GL(n,F_q)$ action on the $q$-analog of the Boolean algebra.

The number of spanning trees of a graph $G$ is called the {\em complexity} of $G$ and is denoted $c(G)$. Let C(n) denote the {\em (binary) hypercube} of dimension $n$. A classical result in enumerative combinatorics (based on explicit diagonalization) states that $c(C(n)) = \prod_{k=2}^n (2k)^{n\choose k}$. In this paper we use the explicit block diagonalization methodology to derive formulas for the complexity of two $q$-analogs of C(n), the {\em nonbinary hypercube} $\Cq(n)$, defined for $q\geq 2$, and the {\em vector space analog of the hypercube} $\Cfq(n)$, defined for prime powers $q$. We consider the nonbinary and vector space analogs of the Boolean algebra. We show the existence, in both cases, of a graded Jordan basis (with respect to the up operator) that is orthogonal (with respect to the standard inner product) and we write down explicit formulas for the ratio of the lengths of the successive vectors in the Jordan chains (i.e., the singular values). With respect to (the normalizations of) these bases the Laplacians of $\Cq(n)$ and $\Cfq(n)$ block diagonalize, with quadratically many distinct blocks in the nonbinary case and linearly many distinct blocks in the vector space case, and with each block an explicitly written down real, symmetric, tridiagonal matrix of known multiplicity and size at most $n+1$. In the nonbinary case we further determine the eigenvalues of the blocks, by explicitly writing out the eigenvectors, yielding an explicit formula for $c(\Cq(n))$ (this proof yields new information even in the binary case). In the vector space case we have been unable to determine the eigenvalues of the blocks but we give a useful formula for $c(\Cfq(n))$ involving "small" determinants (of size at most $n$).

We present yet another algebraic proof of the unimodality of the binomial coefficients.

The de Bruijn-Tengbergen-Kruyswijk (BTK) construction is a simple algorithm that produces an explicit symmetric chain decomposition of a product of chains. We linearize the BTK algorithm and show that it produces an explicit symmetric Jordan basis (SJB). In the special case of a Boolean algebra the resulting SJB is orthogonal with respect to the standard inner product and, moreover, we can write down an explicit formula for the ratio of the lengths of the successive vectors in these chains (i.e., the singular values). This yields a new, constructive proof of the explicit block diagonalization of the Terwilliger algebra of the binary Hamming scheme. We also give a representation theoretic characterization of this basis that explains its orthogonality, namely, that it is the canonically defined (upto scalars) symmetric Gelfand-Tsetlin basis.

The degree partition of a simple graph is its degree sequence rearranged in weakly decreasing order. The polytope of degree partitions (respectively, degree sequences) is the convex hull of all degree partitions (respectively, degree sequences) of a fixed length. We think of the degree sequence polytope as the symmetrization of the degree partition polytope and the degree partition polytope as the asymmetric part of the degree sequence polytope. The degree sequence polytope is a well studied object with formulas (generating functions) known for its face numbers, volume, and number of lattice points. We study the degree partition polytope and determine its extreme points, edges, and facets. In particular, the degree partition polytope on n vertices has 2^{n-1} extreme points.

Consider a graph whose edges have been colored red and blue. Assign a nonnegative real weight to every edge so that at every vertex, the sum of the weights of the incident red edges equals the sum of the weights of the incident blue edges. The set of all such assignments forms a convex polyhedral cone in the edge space, called the \emph{alternating cone}. The integral (respectively, $\{0,1\}$) vectors in the alternating cone are sums of characteristic vectors of closed alternating walks (respectively, trails). We study the basic properties of the alternating cone, determine its dimension and extreme rays, and relate its dimension to the majorization order on degree sequences. We consider whether the alternating cone has integral vectors in a given box, and use residual graph techniques to reduce this problem to searching for a closed alternating trail through a given edge. The latter problem, called alternating reachability, is solved in a companion paper along with related results.

We consider a graph with colored edges. A trail (vertices may repeat but not edges) is called \emph{alternating} when successive edges have different colors. Given a set of vertices called \emph{terminals}, the \emph{alternating reachability} problem is to find an alternating trail connecting distinct terminals, if one exists. A special case with two colors is searching for an augmenting path with respect to a given matching. In another special case with two colors red and blue, the \emph{alternating cone} is defined as the set of assignments of nonnegative weights to the edges such that at each vertex, the total red weight equals the total blue weight; in a companion paper we showed how the search for an integral weight vector within a given box in the alternating cone can be reduced to the alternating reachability problem in a 2-colored graph. We define an obstacle, called a \emph{Tutte set}, to the existence of an alternating trail connecting distinct terminals in a colored graph, and give a polynomial-time algorithm, generalizing the blossom algorithm of Edmonds, that finds either an alternating trail connecting distinct terminals or a Tutte set. We use Tutte sets to show that an an edge-colored bridgeless graph where each vertex has incident edges of at least two different colors has a closed alternating trail. A special case with two colors one of which forms a matching yields a combinatorial result of Giles and Seymour. We show that in a 2-colored graph, the cone generated by the characteristic vectors of closed alternating trails is the intersection of the alternating cone with the cone generated by the characteristic vectors of cycles in the underlying graph.