arXiv++ Combinatorics

Let the symmetric functions be defined for the pair of integers $\left( n,r\right) $, $n\geq r\geq 1$, by $p_{n}^{\left( r\right) }=\sum m_{λ}$ where $m_{λ}$ are the monomial symmetric functions, the sum being over the partitions $λ$ of the integer $n$ with length $r$. We introduce by a generating function, a $q$-analog of $p_{n}^{\left( r\right) }$ and give some of its properties. This $q$-analog is related to its the classical form using the $q$-Stirling numbers. We also start with the same procedure the study of a $p,q$-analog of $p_{n}^{\left( r\right) }$. By specialization of this $q$-analog in the series $\sum\nolimits_{n=0}^{ \infty }q^{\binom{n}{2}}t^{n}/n!$, we recover in a purely formal way$\ $a class of polynomials $J_{n}^{\left( r\right) }$ historically introduced as combinatorial enumerators, in particular of tree inversions. This also results in a new linear recurrence for those polynomials whose triangular table can be constructed, row by row, from the initial conditions $ J_{r}^{\left( r\right) }=1$. The form of this recurrence is also given for the reciprocal polynomials of $J_{n}^{\left( r\right) }$, known to be the sum enumerators of parking functions. Explicit formulas for $J_{n}^{\left( r\right) }$ and their reciprocals are deduced, leading inversely to new representations of these polynomials as forest statistics.

We elaborate on the recent suggestion to consider averaging of Cauchy identities for the Schur functions over power sum variables. This procedure has apparent parallels with the Borel transform, only it changes the number of combinatorial factors like $d_R$ in the sums over Young diagrams instead of just factorials in ordinary sums over numbers. It provides a universal view on a number of previously known, but seemingly random identities.

In 1995, Richard Stanley introduced the chromatic symmetric function $X_G$ of a graph $G$ and proved that, when written in terms of the elementary symmetric functions, it reveals the number of acyclic orientations of $G$ with a given number of sinks. In this paper, we generalize this result to signed graphs, that is, to graphs whose edges are labeled with $+$ or $-$ and whose colorings and orientations can interact with their signs. Additionally, we introduce a non-homogeneous basis which detects the number of sinks and which not only gives a Stanley-type result for signed graphs but gives an analogous result of this form for unsigned graphs as well.

In the context of the shuffle theorem, many classical integer sequences appear with a natural refinement by two statistics $q$ and $t$: for example the Catalan and Schröder numbers. In particular, the bigraded Hilbert series of diagonal harmonics is a $q,t$-analog of $(n+1)^{n-1}$ (and can be written in terms of symmetric functions via the nabla operator). The motivation for this work is the observation that at $q=-1$, this $q,t$-analog becomes a $t$-analog of Euler numbers, a famous integer sequence that counts alternating permutations. We prove this observation via a more general statement, that involves the Delta operator on symmetric functions (on one side), and new combinatorial statistics on permutations involving peaks and valleys (on the other side). An important tool are the schedule numbers of a parking function first introduced by Hicks; and expanded upon by Haglund and Sergel. Other empirical observation suggest that nonnegativity at $q=-1$ holds in far greater generality.

The study of bipartite maps (or Grothendieck's dessins d'enfants) is closely connected with geometry, mathematical physics and free probability. Here we study these objects from their permutation factorization formulation using a novel character theory approach. We first present some general symmetric function expressions for the number of products of two permutations respectively from two arbitrary, but fixed, conjugacy classes indexed by $α$ and $γ$ which produce a permutation with $m$ cycles. Our next objective is to derive explicit formulas for the cases where $α$ corresponds to full cycles, i.e., one-face bipartite maps. We prove a far-reaching explicit formula, and show that the number for any $γ$ can be iteratively reduced to that of products of two full cycles, which implies an efficient dimension-reduction algorithm for building a database of all these numbers. Note that the number for products of two full cycles can be computed by the Zagier-Stanley formula. Also, in a unified way, we easily prove the celebrated Harer-Zagier formula and Jackson's formula, and we obtain explicit formulas for several new families as well.

Given a representation of a finite group $G$ over some commutative base ring $\mathbf{k}$, the cofixed space is the largest quotient of the representation on which the group acts trivially. If $G$ acts by $\mathbf{k}$-algebra automorphisms, then the cofixed space is a module over the ring of $G$-invariants. When the order of $G$ is not invertible in the base ring, little is known about this module structure. We study the cofixed space in the case that $G$ is the symmetric group on $n$ letters acting on a polynomial ring by permuting its variables. When $\mathbf{k}$ has characteristic 0, the cofixed space is isomorphic to an ideal of the ring of symmetric polynomials. Localizing $\mathbf{k}$ at a prime integer $p$ while letting $n$ vary reveals striking behavior in these ideals. As $n$ grows, the ideals stay stable in a sense, then jump in complexity each time $n$ reaches a multiple of $p$.

An almost self-conjugate (ASC) partition has a Young diagram in which each arm along the diagonal is exactly one box longer than its corresponding leg. Classically, the ASC partitions and their conjugates appear in two of Littlewood's symmetric function identities. These identities can be viewed as Euler characteristics of BGG complexes of the trivial representation, for classical Hermitian symmetric pairs. In this paper, we consider partitions in which the arm-leg difference is an arbitrary constant $m$. By viewing these partitions as highest weights, we establish an infinite family of dimension identities between $\mathfrak{gl}_n$- and $\mathfrak{gl}_{n+m}$-modules. We then interpret this result in the context of blocks in parabolic category $\mathcal{O}$: in particular, we exhibit six infinite families of congruent blocks whose corresponding posets of highest weights consist of the partitions in question. These posets, in turn, lead to generalizations of the Littlewood identities and their corresponding BGG complexes. Our results in this paper shed light on the surprising combinatorics underlying the work of Enright and Willenbring (2004).

Schur functions are a basis of the symmetric function ring that represent Schubert cohomology classes for Grassmannians. Replacing the cohomology ring with $K$-theory yields a rich combinatorial theory of inhomogeneous deformations, where Schur functions are replaced by their $K$-analogues, the basis of symmetric Grothendieck functions. We introduce and initiate a theory of the Kromatic symmetric function $\overline{X}_G$, a $K$-theoretic analogue of the chromatic symmetric function $X_G$ of a graph $G$. The Kromatic symmetric function is a generating series for graph colorings in which vertices may receive any nonempty set of distinct colors such that neighboring color sets are disjoint. Our main result lifts a theorem of Gasharov (1996) to this setting, showing that when $G$ is a claw-free incomparability graph, $\overline{X}_G$ is a positive sum of symmetric Grothendieck functions. This result suggests a topological interpretation of Gasharov's theorem. We then show that the Kromatic symmetric functions of path graphs are not positive in any of several $K$-analogues of the $e$-basis of symmetric functions, demonstrating that the Stanley-Stembridge conjecture (1993) does not have such a lift to $K$-theory and so is unlikely to be amenable to a topological perspective. We also define a vertex-weighted extension of $\overline{X}_G$ and show that it admits a deletion--contraction relation. Finally, we give a $K$-analogue for $\overline{X}_G$ of the classic monomial-basis expansion of $X_G$.

We construct a smooth projective variety $\mathscr X_Ψ$ that compactifies an equivariant vector subbundle of the cotangent bundle of the flag variety for $\mathrm{GL}(n)$, determined by a root ideal $Ψ$. A natural family of line bundles on $\mathscr X_Ψ$ yields the Catalan functions -- symmetric functions introduced by Chen--Haiman and studied further by Blasiak--Morse--Pun--Summers. By analyzing the geometry of $\mathscr X_Ψ$, we prove the vanishing conjecture of Chen--Haiman, confirm the tame case of the vanishing conjecture of Blasiak--Morse--Pun, and establish the monotonicity conjectures of Shimozono--Weyman.

The characters of Kazhdan--Lusztig elements of the Hecke algebra over $S_n$ (and in particular, the chromatic symmetric function of indifference graphs) are completely encoded in the (intersection) cohomology of certain subvarieties of the flag variety. Considering the forgetful map to some partial flag variety, the decomposition theorem tells us that this cohomology splits as a sum of intersection cohomology groups with coefficients in some local systems of subvarieties of the partial flag variety. We prove that these local systems correspond to representations of subgroups of $S_n$. An explicit characterization of such representations would provide a recursive formula for the computation of such characters/chromatic symmetric functions, which could settle Haiman's conjecture about the positivity of the monomial characters of Kazhdan--Lusztig elements and Stanley--Stembridge conjecture about $e$-positivity of chromatic symmetric function of indifference graphs. We also find a connection between the character of certain homology groups of subvarieties of the partial flag varieties and the Grojnowski--Haiman hybrid basis of the Hecke algebra.

We give a partial super analog of a result obtained by S. Sahi and G. Zhang relating Shimura operators and certain interpolation symmetric polynomials. In particular, we study the pair $(\mathfrak{gl}(2p|2q), \mathfrak{gl}(p|q)\oplus\mathfrak{gl}(p|q))$, define the super Shimura operators in $\mathfrak{U}(\mathfrak{g})^\mathfrak{k}$, and using a new method, prove that their images under the Harish-Chandra homomorphism are proportional to Sergeev and Veselov's Type $BC$ interpolation supersymmetric polynomials, under the assumption that a family of irreducible $\mathfrak{g}$-modules are spherical. We prove this conjecture using the notion of quasi-sphericity for Kac modules when $p=q=1$, and give explicit coordinates of (quasi-)spherical vectors.

A classical result of Littlewood gives a factorisation for the Schur function at a set of variables "twisted" by a primitive $t$-th root of unity, characterised by the core and quotient of the indexing partition. While somewhat neglected, it has proved to be an important tool in the character theory of the symmetric group, the cyclic sieving phenomenon, plethysms of symmetric functions and more. Recently, similar factorisations for the characters of the groups $\mathrm{O}(2n,\mathbb{C})$, $\mathrm{Sp}(2n,\mathbb{C})$ and $\mathrm{SO}(2n+1,\mathbb{C})$ were obtained by Ayyer and Kumari. We lift these results to the level of universal characters, which has the benefit of making the proofs simpler and the structure of the factorisations more transparent. Our approach also allows for universal character extensions of some factorisations of a different nature originally discovered by Ciucu and Krattenthaler, and generalised by Ayyer and Behrend.

We propose a new formula to compute Witten--Kontsevich intersection numbers. It is a closed formula, not involving recursion neither solving equations. It only involves sums over partitions of products of factorials, double factorials and Kostka numbers (numbers of semi-standard tableau of given shape and weight) with bounded weights. As an application, we prove a conjecture of [ELO21] stating that the generating polynomials of the intersection numbers expressed in the basis of elementary symmetric polynomials have an unexpected vanishing of their coefficients.

Among all trees on $n$ vertices with a given degree sequence, how do we maximise or minimise the sum over all adjacent pairs of vertices $x$ and $y$ of $f(\mathrm{deg} x, \mathrm{deg} y)$? Here $f$ is a fixed symmetric function satisfying a 'monotonicity' condition that \[ f(x, a) + f(y, b) > f(y, a) + f(x, b) \quad \mbox{for any $x > y$ and $a > b$} . \] These functions arise naturally in several areas of graph theory, particularly chemical graph theory. Wang showed that the so-called 'greedy' tree maximises this quantity, while an 'alternating greedy' tree minimises it. Our aim in this paper is to solve the inverse problem: we characterise precisely which trees are extremal for these two problems.

The $K$-$k$-Schur functions and $k$-Schur functions appeared in the study of $K$-theoretic and affine Schubert Calculus as polynomial representatives of Schubert classes. In this paper, we introduce a new family of symmetric functions $\mathcal{F}_λ^{(k)}$, that generalizes the constructions via the Pieri rule of $K$-$k$-Schur functions and $ k$-Schur functions. Then we obtain the Murnaghan-Nakayama rule for the generalized functions. The rule is described explicitly in the cases of $K$-$k$-Schur functions and $k$-Schur functions, with concrete descriptions and algorithms for coefficients. Our work recovers the result of Bandlow, Schilling, and Zabrocki for $k$-Schur functions, and explains it as a degeneration of the rule for $K$-$k$-Schur functions. In particular, many other special cases and connections promise to be detailed in the future.

For a graph $G=(V,E)$ and $v_{i}\in V$, denote by $d_{i}$ the degree of vertex $v_{i}$. Let $f(x, y)>0$ be a real symmetric function in $x$ and $y$. The weighted adjacency matrix $A_{f}(G)$ of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle f(d_{i}, d_{j})$ if the vertices $v_{i}$ and $v_{j}$ are adjacent and 0 otherwise. Li and Wang \cite{U9} tried to unify methods to study spectral radius of weighted adjacency matrices of graphs weighted by various topological indices. If $\displaystyle f'_{x}(x, y)\geq0$ and $\displaystyle f''_{x}(x, y)\geq0$, then $\displaystyle f(x, y)$ is said to be increasing and convex in variable $x$, respectively. They obtained the tree with the largest spectral radius of $A_{f}(G)$ is a star or a double star when $f(x, y)$ is increasing and convex in variable $x$. In this paper, we add the following restriction: $f(x_{1},y_{1})\geq f(x_{2},y_{2})$ if $x_{1}+y_{1}=x_{2}+y_{2}$ and $\mid x_{1}-y_{1}\mid>\mid x_{2}-y_{2}\mid$ and call $A_f(G)$ the restrictedly weighted adjacency matrix of $G$. The restrictedly weighted adjacency matrix contains weighted adjacency matrices weighted by first Zagreb index, first hyper-Zagreb index, general sum-connectivity index, forgotten index, Somber index, $p$-Sombor index and so on. We obtain the extremal trees with the smallest and the largest spectral radius of $A_{f}(G)$. Our results push ahead Li and Wang's research on unified approaches.

We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials.

It is shown that two vectors with coordinates in the finite $q$-element field of characteristic $p$ belong to the same orbit under the natural action of the symmetric group if each of the elementary symmetric polynomials of degree $p^k,2p^k,\dots,(q-1)p^k$, $k=0,1,2,\dots$ has the same value on them. This separating set of polynomial invariants for the natural permutation representation of the symmetric group is not far from being minimal when $q=p$ and the dimension is large compared to $p$. A relatively small separating set of multisymmetric polynomials over the field of $q$ elements is derived.

The $B$-polynomial defined by J. Awan and O. Bernardi is a generalization of Tutte Polynomial to digraphs. In this paper, we solve an open question raised by J. Awan and O. Bernardi regarding the expansion of $B$-polynomial in elementary symmetric polynomials. We show that the quasisymmetric generalization of the $B$-polynomial distinguishes a class of oriented proper caterpillars and the class of oriented paths. We present a recurrence relation for the quasisymmetric $B$-polynomial involving the deletion of a source or a sink. As a consequence, we prove that a class of digraph $\mathcal{D}$ is distinguishable if and only if the class $\mathcal{D}^{\vee}$ obtained by taking directed join of $K_1$ with each digraph in $\mathcal{D}$ is distinguishable, which concludes that the digraph analogue of Stanley's Tree conjecture holds for a large class of acyclic digraphs. We further study the symmetric properties of the quasisymmetric $B$-polynomial and its relation with certain digraphs.

This paper realizes of two families of combinatorial symmetric functions via the complex character theory of the finite general linear group $\mathrm{GL}_{n}(\mathbb{F}_{q})$: chromatic quasisymmetric functions and vertical strip LLT polynomials. The associated $\mathrm{GL}_{n}(\mathbb{F}_{q})$ characters are elementary in nature and can be obtained by induction from certain well-behaved characters of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$. The proof of these results also gives a general Hopf algebraic approach to computing the induction map. Additional results include a connection between the relevant $\mathrm{GL}_{n}(\mathbb{F}_{q})$ characters and Hessenberg varieties and a re-interpretation of known theorems and conjectures about the relevant symmetric functions in terms of $\mathrm{GL}_{n}(\mathbb{F}_{q})$.