arXiv++ Combinatorics

We consider degenerate principal series representations $\operatorname{Ind}_P^Gχ$ over finite fields, where $G$ is a classical subgroup of $\operatorname{GL}_{2n}$, and $P$ is the Siegel parabolic subgroup. For example, we show that this representation is always multiplicity-free and irreducible for generic characters $χ$. We then discuss a particular intertwining operator $I$ on $\operatorname{Ind}_P^Gχ$ and its related combinatorics. Firstly, this operator $I$ produces families of diagonalizable antitriangular matrices with well-behaved eigenvalues. Secondly, applying $I$ to a special vector in $\operatorname{Ind}_P^Gχ$ leads us to various matrix Gauss sums, whose evaluations imply an explicit equidistribution result of the trace and determinant of symmetric and alternating invertible matrices.

We prove that the Opdam-Cherednik kernel, also known as the nonsymmetric Opdam hypergeometric function, can be written as the Laplace transform of a positive measure supported on the convex hull of the Weyl group orbit of its argument. As a consequence, the trigonometric Dunkl intertwining operator is positivity preserving. The main ingredient in the proof is a new formula for the Opdam-Cherednik kernel as a degeneration of nonsymmetric Macdonald polynomials. As a further application, we prove majorization inequalities for Macdonald polynomials and Heckman-Opdam hypergeometric functions associated with arbitrary root systems.

We introduce a censored version of the stochastic six-vertex model. We show that for parameters $b_1 < b_2$, this model started from the initial condition ${1}_{x>0}$ is stochastically dominated at any time by the blocking measure. This is a partial analog of the censoring inequality for monotone spin systems. In particular, this result allows us to control the behavior of second-class particles. The proof uses parabolic Kazhdan--Lusztig $R$-polynomials, whose appearance is explained using a connection between the stochastic six-vertex model and the Iwahori--Hecke algebras of symmetric groups. Furthermore, we find an intertwining relation for this process using normalized parabolic Kazhdan--Lusztig $R$-polynomials as an intertwining kernel.

We will describe solvable lattice models whose partition functions depend on two sets of variables, $x_1,\cdots,x_n$ and $y_1, y_2, \cdots $ that have different connections with the representation theory of $\text{GL}(n,F)$ where $F$ is a nonarchimedean local field. If the boundary conditions are chosen in one way, they are essentially the Motivic Chern classes that were used very effectively by Aluffi, Mihalcea, Schürmann and Su (AMSS) to study such problems. In particular, using this specialization we can obtain deformations $r_{u,v}$ of the Kazhdan-Lusztig R-polynomials that were used by Bump, Nakasuji and Naruse to study matrix coefficients of intertwining operators (introduced by Casselman). Thus we are able see that the recursion formula for the $r_{u,v}$ is a reflection of the Yang-Baxter equation. On the other hand, with more general boundary conditions, specializing the parameters $y_i\to 0$ we recover colored lattice models that were previously used by Brubaker, Buciumas, Bump and Gustafsson to represent Iwahori Whittaker functions on $GL(n,F)$. Thus we term the resulting two-variable-set family of functions as ``double Whittaker polynomials.''

Let $G$ be a simple connected graph with order $ n(G)$, local metric dimension $ {\rm dim}_l(G)$, local adjacency metric dimension $ {\rm dim}_{A,l}(G)$, and clique number $ ω(G)$, where $G\not\cong K_{n(G)}$ and $ω(G)\geq3$. It is proved that $ {\rm dim}_{A,l}(G) \leq \left\lfloor \left(\frac{ω(G) - 2}{ω(G) - 1}\right)n(G)\right\rfloor$. Consequently, the conjecture asserting that the latter expression is an upper bound for ${\rm dim}_l(G)$ is confirmed. It is important to note that there are infinitely many graphs that satisfy the equalities.

We study the Busemann process and competition interfaces of the planar directed polymer model with i.i.d.\ weights on the vertices of the planar square lattice, in both the general case and the solvable inverse-gamma case. We prove new regularity properties of the Busemann process without reliance on unproved assumptions on the shape function. For example, each nearest-neighbor Busemann function is strictly monotone and has the same random set of discontinuities in the direction variable. When all Busemann functions on a horizontal line are viewed together, the Busemann process intertwines with an evolution that obeys a version of the geometric Robinson-Schensted-Knuth correspondence. When specialized to the inverse-gamma case, this relationship enables an explicit distributional description: the Busemann function on a nearest-neighbor edge has independent increments in the direction variable, and its distribution comes from an inhomogeneous planar Poisson process. The distribution of the asymptotic competition interface direction of the inverse-gamma polymer is discrete and supported on the Busemann discontinuities which -- unlike in zero-temperature last-passage percolation -- are dense. Further implications follow for the eternal solutions and the failure of the one force -- one solution principle of the discrete stochastic heat equation solved by the polymer partition function.

Many integrable stochastic particle systems in one space dimension (such as TASEP - Totally Asymmetric Simple Exclusion Process - and its $q$-deformation, the $q$-TASEP) remain integrable if we equip each particle with its own speed parameter. In this work, we present intertwining relations between Markov transition operators of particle systems which differ by a permutation of the speed parameters. These relations generalize our previous works (arXiv:1907.09155, arXiv:1912.06067), but here we employ a novel approach based on the Yang-Baxter equation for the higher spin stochastic six vertex model. Our intertwiners are Markov transition operators, which leads to interesting probabilistic consequences. First, we obtain a new Lax-type differential equation for the Markov transition semigroups of homogeneous, continuous-time versions of our particle systems. Our Lax equation encodes the time evolution of multipoint observables of the $q$-TASEP and TASEP in a unified way, which may be of interest for the asymptotic analysis of multipoint observables of these systems. Second, we show that our intertwining relations lead to couplings between probability measures on trajectories of particle systems which differ by a permutation of the speed parameters. The conditional distribution for such a coupling is realized as a "rewriting history" random walk which randomly resamples the trajectory of a particle in a chamber determined by the trajectories of the neighboring particles. As a byproduct, we construct a new coupling for standard Poisson processes on the positive real half-line with different rates.

We consider a discrete-time TASEP, where each particle jumps according to Bernoulli random variables with particle-dependent and time-inhomogeneous parameters. We use the combinatorics of the Robinson-Schensted-Knuth correspondence and certain intertwining relations to express the transition kernel of this interacting particle system in terms of ensembles of weighted, non-intersecting lattice paths and, consequently, as a marginal of a determinantal point process. We next express the joint distribution of the particle positions as a Fredholm determinant, whose correlation kernel is given in terms of a boundary-value problem for a discrete heat equation. The solution to such a problem finally leads us to a representation of the correlation kernel in terms of random walk hitting probabilities, generalising the formulation of Matetski, Quastel and Remenik (Acta Math., 2021) to the case of both particle- and time-inhomogeneous rates. The solution to the boundary value problem in the fully inhomogeneous case appears with a finer structure than in the homogeneous case.

We establish new properties of inhomogeneous spin $q$-Whittaker polynomials, which are symmetric polynomials generalizing $t=0$ Macdonald polynomials. We show that these polynomials are defined in terms of a vertex model, whose weights come not from an $R$-matrix, as is often the case, but from other intertwining operators of $U'_q(\hat{\mathfrak{sl}}_2)$-modules. Using this construction, we are able to prove a Cauchy-type identity for inhomogeneous spin $q$-Whittaker polynomials in full generality. Moreover, we are able to characterize spin $q$-Whittaker polynomials in terms of vanishing at certain points, and we find interpolation analogues of $q$-Whittaker and elementary symmetric polynomials.

We consider the positions of occurrences of a factor $x$ and its binary complement $\overline{x}$ in the Thue-Morse word ${\bf t} = {\tt 01101001} \cdots$, and show that these occurrences are "intertwined" in essentially two different ways. Our proof method consists of stating the needed properties as a first-order logic formula $\varphi$, and then using a theorem-prover to prove $\varphi$.

After reviewing the group structure and representation theory for the dihedral group $D_{2n},$ we consider an intertwining operator $Φ_ρ$ from the group algebra $\mathbb{C}[D_{2n}]$ into a corresponding space of semi-magic matrices. From this intertwining operator, one obtains the generating function for enumerating the associated semi-magic squares with fixed line sum and an algebra extending the circulant matrices. While this work complements the approach to $D_{2n}$ through permutation polytopes, we use only methods from representation theory.

We show that for pairs $(Q,R)$ and $(S,T)$ of disjoint subsets of vertices of a graph $G$, if $G$ is sufficiently large, then there exists a vertex $v$ in $V(G)-(Q\cup R\cup S\cup T)$ such that there are two ways to reduce $G$ by a vertex-minor operation that removes $v$ while preserving the connectivity between $Q$ and $R$ and the connectivity between $S$ and $T$. Our theorem implies an analogous theorem of Chen and Whittle (2014) for matroids restricted to binary matroids.

Let $(π_{\mathbf{z}},V_{\mathbf{z}})$ be an unramified principal series representation of a reductive group over a nonarchimedean local field, parametrized by an element $\mathbf{z}$ of the maximal torus in the Langlands dual group. If $v$ is an element of the Weyl group $W$, then the standard intertwining integral $\mathcal{A}_v$ maps $V_{\mathbf{z}}$ to $V_{v\mathbf{z}}$. Letting $ψ^{\mathbf{z}}_w$ with $w\in W$ be a suitable basis of the Iwahori fixed vectors in $V_{\mathbf{z}}$, and $\widehatψ^{\mathbf{z}}_w$ a basis of the contragredient representation, we define $σ(u,v,w)$ (for $u,v,w\in W$) to be $\langle \mathcal{A}_vψ_u^{\mathbf{z}},\widehatψ^{v\mathbf{z}}_w\rangle$. This is an interesting function and we initiate its study. We show that given $u$ and $w$, there is a minimal $v$ such that $σ(u,v,w)\neq 0$. Denoting this $v$ as $v_\hbox{min}=v_\hbox{min}(u,w)$, we will prove that $σ(u,v_\hbox{min},w)$ is a polynomial of the cardinality $q$ of the residue field. Indeed if $v>v_\hbox{min}$, then $σ(u,v,w)$ is a rational function of $\mathbf{z}$ and $q$, whose denominator we describe. But if $v=v_\hbox{min}$, the dependence on $\mathbf{z}$ disappears. We will express $σ(u,v_\hbox{min},w)$ as the Poincaré polynomial of a Bruhat interval. The proof leads to fairly intricate considerations of the Bruhat order. Thus our results require us to prove some facts that may be of independent interest, relating the Bruhat order $\leqslant$ and the weak Bruhat order $\leqslant_R$. For example we will prove (for finite Coxeter groups) the following "mixed meet" property. If $u, w$ are elements of $W$, then there exists a unique element $m \in W$ that is maximal with respect to the condition that $m \leqslant_R u$ and $m \leqslant w$. Thus if $z \leqslant_R u$ and $z \leqslant w$, then $x \leqslant m$. The value $v_\hbox{min}$ is $m^{-1}u$.

We solve a combinatorial question concerning eigenvalues of the universal intertwining endomorphism of a subset representation. This is then applied to justify the evaluation of the Eisenbud-Levine-Khimshiashvili (ELK) signature formula for the gradient index at a degenerate star in arXiv:2001.10882

We consider maximal non-$l$-intertwining collections, which are a higher-dimensional version of the maximal non-crossing collections which give clusters of Plücker coordinates in the Grassmannian coordinate ring, as described by Scott. We extend a method of Scott for producing such collections, which are related to tensor products of higher Auslander algebras of type $A$. We show that a higher preprojective algebra of the tensor product of two $d$-representation-finite algebras has a $d$-precluster-tilting subcategory. Finally we relate mutations of these collections to a form of tilting for these algebras.

We give a recursive method for computing all values of a basis of Whittaker functions for unramified principal series invariant under an Iwahori or parahoric subgroup of a split reductive group $G$ over a nonarchimedean local field $F$. Structures in the proof have surprising analogies to features of certain solvable lattice models. In the case $G=\mathrm{GL}_r$ we show that there exist solvable lattice models whose partition functions give precisely all of these values. Here `solvable' means that the models have a family of Yang-Baxter equations which imply, among other things, that their partition functions satisfy the same recursions as those for Iwahori or parahoric Whittaker functions. The R-matrices for these Yang-Baxter equations come from a Drinfeld twist of the quantum group $U_q(\widehat{\mathfrak{gl}}(r|1))$, which we then connect to the standard intertwining operators on the unramified principal series. We use our results to connect Iwahori and parahoric Whittaker functions to variations of Macdonald polynomials.

We exhibit a connection between two statistics on set partitions, the intertwining number and the depth-index. In particular, results link the intertwining number to the algebraic geometry of Borel orbits. Furthermore, by studying the generating polynomials of our statistics, we determine the $q=-1$ specialization of a $q$-analogue of the Bell numbers. Finally, by using Renner's $H$-polynomial of an algebraic monoid, we introduce and study a $t$-analog of $q$-Stirling numbers.

Let $F$ be a field and let $F^{r\times s}$ denote the space of $r\times s$ matrices over $F$. Given equinumerous subsets $\mathcal{A}=\{A_i\mid i \in I\}\subseteq F^{r\times r}$ and $\mathcal{B}=\{B_i\mid i\in I\}\subseteq F^{s\times s}$ we call the subspace $C(\mathcal{A},\mathcal{B}):=\{X\in F^{r\times s}\mid A_iX=XB_i\ {\rm for }\ i\in I\}$ an \emph{intertwining code}. We show that if $C(\mathcal{A},\mathcal{B})\ne\{0\}$, then for each $i\in I$, the characteristic polynomials of $A_i$ and $B_i$ and share a nontrivial factor. We give an exact formula for $k=\dim(C(\mathcal{A},\mathcal{B}))$ and give upper and lower bounds. This generalizes previous work in this area. Finally we construct intertwining codes with large minimum distance when the field is not `too small'. We give examples of codes where $d=rs/k=1/R$ is large where the minimum distance, dimension, and rate of the linear code $C(\mathcal{A},\mathcal{B})$ by $d$, $k$, and $R=k/rs$, respectively.

A problem in representation theory of $p$-adic groups is the computation of the \textit{Casselman basis} of Iwahori fixed vectors in the spherical principal series representations, which are dual to the intertwining integrals. We shall express the transition matrix $(m_{u,v})$ of the Casselman basis to another natural basis in terms of certain polynomials which are deformations of the Kazhdan-Lusztig R-polynomials. As an application we will obtain certain new functional equations for these transition matrices under the algebraic involution sending the residue cardinality $q$ to $q^{-1}$. We will also obtain a new proof of a surprising result of Nakasuji and Naruse that relates the matrix $(m_{u,v})$ to its inverse.

For integers $e,\ell\geq 2$, the level $\ell$ Fock space has an $\mathfrak{sl}_\infty$-crystal structure arising from the action of a Heisenberg algebra, intertwining the $\widehat{\mathfrak{sl}_e}$-crystal. The vertices of these crystals are charged $\ell$-partitions. We give the combinatorial rule for computing the arrows anywhere in the $\mathfrak{sl}_\infty$-crystal. This allows us to pinpoint the location of any charged $\ell$-partition. As an application, we compute the support of the spherical representation of a cyclotomic rational Cherednik algebra, and in particular, the set of parameters such that it is finite-dimensional. We also give an easy abacus characterization of all finite-dimensional representations of type $B$ Cherednik algebras.