arXiv++ Combinatorics

Let $\bigtriangleup$ be a simplicial complex and let $δ_{\mathcal{NF}}$ denote the NF-operator. The NF-complex $δ_{\mathcal{NF}}(\bigtriangleup)$ is defined as the Stanley--Reisner complex of the facet ideal of $\bigtriangleup$. Iterating $δ_{\mathcal{NF}}$ gives a periodic orbit (up to isomorphism), and the smallest positive integer $t$ for which $δ_{\mathcal{NF}}^{\,t}(\bigtriangleup)\cong \bigtriangleup$ is called the \emph{NF-number} of $\bigtriangleup$ (Habi and Mahmood, Algebra Colloquium, 2022). In this work, we provide various results and determine explicit formulas for the NF-number for several families of graphs. In particular, we compute the NF-number for dumbbell graphs. We also prove that the NF-number of the complete split graph $S_{n,m}$ equals $m+n+2$, and that the NF-number of the double star $D_{p+q}$ equals $p+q+4$. We conclude with remarks, open problems, and conjectures to guide future research.

Let $Q_k(x)$ be Stanley's explicit denominator for the dimer-covering generating function $F_k(x)=\sum_{n\ge0}A_{k,n}x^n$ of $k\times n$ rectangles. Stanley conjectured in 1985 that $Q_k(x)$ has only simple roots; this longstanding conjecture was recently recorded in Lai's list of open problems on tilings (see [6, Problem 33]). We disprove the conjecture by proving that $Q_{14h-1}(x)$ and $Q_{30h-1}(x)$ have repeated roots for every $h\ge1$; in particular, $k=13$ is the smallest counterexample. The construction comes from two exceptional multiplicative identities among trigonometric algebraic units. We further propose a conjecture concerning this class of trigonometric identities, which appears to be related to Robinson's problem on primitive Pell factors.

The second Eulerian numbers are defined via the descent enumerator of Stirling permutations, a class of permutations introduced by Gessel and Stanley. We give a simple and conceptual proof of two identities relating the Bernoulli numbers and the second Eulerian numbers. We rely on a recent Ehrhart-theoretic idea of Ferroni.

We present several short proofs that resolve open problems from the algebraic and enumerative combinatorics literature. First, we consider the echelonmotion operator on modular lattices. We resolve a conjecture of Defant, Jiang, Marczinzik, Segovia, Speyer, Thomas, and Williams and, consequently, obtain a new algebraic bijective proof of a classical result of Dilworth. Second, we consider statistics on parking functions studied by Stanley and Yin and by Hopkins. We prove some conjectures of Hopkins. Third, we consider centralizers in the plactic monoid. We settle two conjectures of Sagan and Wilson. All of these proofs were obtained autonomously by ChatGPT 5.4 Pro.

We derive a graded character formula for the action of any finite group on the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan, which is given by an equivariant version of the classical h-polynomial. This gives the graded character formula for the representation of the group on the cohomology of the associated toric variety when the fan is rational. As an application, we use a navel tool, which we called hybrid fan, to compute the Poincaré polynomial of the invariants of the Artinian reduction of the Stanley--Reisner ring of any complete simplicial fan under a finite reflection group action. This implies that the Poincaré polynomial of the quotient of a compact toric orbifold by any finite reflection group is equal to the Poincaré polynomial of the compact toric orbifold associated to the hybrid fan.

Motivated by Stanley's ``Schubert shenanigans'' paper, commendable attempts have been made to understand the principal specializations of Schubert or Grothendieck polynomials. In this paper, we prove that when a permutation $w$ does not contain the $1423$ pattern, the principal specialization of the corresponding $β$-Grothendieck polynomial can be expressed nonnegatively in terms of the occurrences of patterns in $w$. Using an inverse conservation principle, we further obtain the nonnegativity expansion for permutations avoiding the $1342$ pattern. Our results partially resolve conjectures raised respectively by Gao (independently observed by Gaetz), Meśzáros--Tanjaya, and Dennin. The proofs are achieved based upon a reduction algorithm performing on the classic pipe dream model of $β$-Grothendieck polynomials.

We develop a toric topological framework for studying the cohomology of Vietoris--Rips complexes $VR(Q_n;r)$ of hypercube graphs. Using total domination invariants and spectral methods, we establish general lower bounds on connectivity, which leads to infinite families of counterexamples to Shukla's conjecture, and derive first global upper bounds on coconnectivity. Our approach interprets Vietoris--Rips complexes via Stanley--Reisner rings, moment-angle complexes, and Tor algebras, allowing global topological information to be extracted from combinatorial data. In a second direction, we construct explicit cohomology classes using the Koszul resolution and show that they decomposable products of $1$-dimensional classes, and that their representatives can be combimbinatorially realised as the boundary of cross polytopes positively answering the question posed by Adams and Virk. We introduce ghost vertices as a new tool for detecting, extending, and proving linear independence of cohomology classes.

Brualdi and Hoffman proposed a well-known problem of determining the graph with maximum adjacency spectral radius among all graphs with given size $m$. Early work by Friedland and Stanley addressed some specific cases. This problem was later completely solved by Rowlinson and recently revisited by Cheng and Weng. Pioneering work on the distance matrix was carried out by Graham and Pollak, as well as by Graham and Lovász. The distance spectral radius $ρ(G)$ of a connected graph $G$ is the largest eigenvalue of its distance matrix. In this paper, we completely solve the problem of characterizing the connected graph with minimum distance spectral radius among all graphs with size $m$. Let $\mathcal{G}(m)$ be the class of connected graphs with $m$ edges. For every $m \ge 3$, let $n$ be the unique integer satisfying $\binom{n-1}{2} < m \le \binom{n}{2}$, and we write $m = \binom{n-1}{2} + s$ with $1 \le s \le n-1$. Recently, Lin and Zhou [Adv. in Appl. Math. 173 (2026)] investigated the graph in $\mathcal{G}(m)$ that minimizes $ρ(G)$ in the range $s \ge \max\{ \frac{n-6}{2}, 1\}$. However, the problem is much more difficult in the remaining range $1 \le s \le \frac{n-7}{2}$, and they conjectured that the unique minimizer is $\overline{P_{n,s+1}}$, the complement of a balanced disjoint union of paths. Using novel matrix analysis, we solve this conjecture in the affirmative. Moreover, we provide a new unified proof for the entire range $1 \le s \le n-1$. The key ingredients in our proof argument include an innovative comparison principle for the distance spectral radius, an increment analysis of $Φ$-functions on paths and cycles, an argument for balancing path lengths, and a walk enumeration technique via the Neumann series.

We introduce a linear map on symmetric functions that 'divides' a partition by a positive integer $k$, sending a Schur function indexed by a partition of $kn$ to a symmetric function indexed by partitions of $n$. We prove that the image of this map is always Schur-positive, meaning it expands in the Schur basis with nonnegative integer coefficients. These coefficients are enumerated by a new family of combinatorial objects, called $k$-Yamanouchi tableaux, which generalize the classical ballot (Yamanouchi) tableaux appearing in the Littlewood-Richardson rule. We also obtain expansions in the power-sum basis and establish power-sum positivity. A further application establishes a connection to work of Tewodros Amdeberhan, John Shareshian, and Richard Stanley on alternating permutations and Euler numbers.

Stanley polyominoes are a subclass of parallelogram polyominoes in which each row begins strictly to the right of the beginning of the previous row and ends strictly to the right of the end of the previous row. In this paper, we derive generating functions for Stanley polyominoes based on the numbers of columns and rows, area, semiperimeter, and numbers of interior points and edges. We also establish combinatorial connections through bijections with other combinatorial structures such as Dyck paths, skew Ferrer diagrams, and peakless Motzkin paths. As a byproduct, we answer the open question of finding a bijection between parallelogram polyominoes of area $n$ and coin fountains with $n$ coins in the even-numbered rows and $n-k$ coins in the odd-numbered rows.

A collection $B$ of patterns is called inversion monotone if $\mathrm{av}_n^k(B)$, the number of $B$-avoiding permutations of length $n$ with $k$ inversions, is weakly increasing in $n$ for any fixed $k$. In 2012, Claesson, Jelínek and Steingrímsson posed the inversion monotonicity conjecture, which states that the pattern $1324$ is inversion monotone and implies a new upper bound for its Stanley--Wilf limit. We prove that the collections $\{1324, 231\}$ and $\{1324, 2314, 3214, 4213\}$ are inversion monotone via explicit injections. The latter follows from a general procedure for constructing inversion-monotone sets. Our results constitute the first known nontrivial examples of inversion-monotone sets. A key feature of the inversion monotonicity conjecture is that $1324$ has a limit sequence: $\mathrm{av}_n^k(1324)$ is constant in $n$ when $n$ is large. We characterize the sets of patterns that have limit sequences, and determine the limit sequences of all pairs $\{1324, p\}$, where $p$ is a pattern of length four. Connections to various families of integer partitions arise. Finally, we expand on work by Linusson and Verkama (2025) on almost decomposable permutations to determine a broad family of sets containing $1324$ that are inversion monotone under the assumption $n \geq \frac{k+7}{2}$. The method yields an enumeration of $\mathrm{av}_n^k(1324, 1342)$ when $n \geq \frac{k+7}{2}$.

Computations of Miller and Scheinerman suggest that the vast majority of the zeros appearing in the character table of the symmetric group are of a certain special type. While we cannot prove this, we resolve a conjecture arising in their paper concerning these zeros, and address a related question of Stanley.

Many integer sequences arise as numbers of $G$-orbits on $\binom{X}{n}$ as $n$ varies, for a permutation group $G\subseteq \operatorname{Sym}(X)$. For finite $X$, Stanley proved that these finite sequences increase towards the middle using an action of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$. For infinite sets $X$, and hence infinite sequences, Cameron provided an argument for monotonicity. He first identifies orbits with a vector space basis of a certain commutative $k$-algebra $\mathsf{H}_{G,X}^{\star}$, called the orbit algebra. He then considers the operator, which forms the product with the constant $1$-function on $X$, and proves its injectivity. In this paper we generalize Stanley's approach to oligomorphic groups, and in particular extend Cameron's operator to a full $\mathfrak{sl}_2(\mathbb{C})$-action on $\mathsf{H}_{G,X}^{\star}$. We define for every oligomorphic permutation group $G\subseteq \operatorname{Sym}(X)$ the $X$-th tensor power $(k^r)^{\otimes X}$, generalizing work of Entova-Aizenbud. We show that this space carries natural commuting actions of $G$ and the Lie algebra $\mathfrak{gl}_r(k)$, the latter depending on a Harman--Snowden measure $μ$ on $G$. We then show that $\mathsf{H}_{G,X}^{\star}\subseteq (\mathbb{C}^2)^{\otimes X}$ can be decomposed into a direct sum of $\mathfrak{sl}_2(\mathbb{C})$-Verma modules, which gives monotonicity. We explain how our approach applies to Fibonacci numbers, Tribonacci numbers, etc. by constructing measures on products with $(\mathbb{Q},<)$.

In a remarkable paper, Tatsuyuki Hikita settled a longstanding e-positivity conjecture of Stanley and Stembridge. Among many other things, he wrote down a certain formula ${\varphi}_k$, and proved that the ${\varphi}_k$ sum to one, thereby defining a probability distribution. Though Hikita's proof was simple, it remains surprising that the ${\varphi}_k$ sum to one. In this note, we give a combinatorial interpretation of Hikita's probability distribution. The main tool is a certain permutation statistic that we call the watershed. After seeing an early version of our work, Darij Grinberg noticed that the permutation statistic was implicit in a so-called "bulldozer problem" that was on the short list for the 2015 International Mathematics Olympiad. However, our description of the statistic, which makes use of Foata's fundamental bijection, appears to be new.

We restate a process presented by Stanley as a technique to prove that there exists exactly one $d$-differential distributive lattice for any positive integer $d$. This process can be trivially extended to apply to distributive finitary lattices that have a variety of differential poset structures. It can be viewed as an algorithm for constructing such lattices. Alternatively, it can be viewed as an algorithm for analyzing and characterizing such lattices. We show that the process can be used to prove properties of all weighted-differential lattices with positive weights. We present this with the hope that this approach can be used as the basis for a complete characterization of distributive lattices with a weighted-differential structure with positive weights.

Motivated by the combinatorics of parking functions and their several generalizations, we study the Ehrhart theory of Pitman--Stanley polytopes. We prove a strong positivity phenomenon called \emph{magic positivity} for the Ehrhart polynomials of these polytopes, which in turn implies that their $h^*$-polynomials are real-rooted (and thus log-concave and unimodal). Our result is achieved by interpreting the coefficients of these Ehrhart polynomials in the \emph{magic basis} in terms of the number of \emph{lucky cars} in a modified parking protocol. Furthermore, we address the magic positivity problem for $\mathbf{y}$-generalized permutohedra and also discuss a \emph{magic} combinatorial interpretation for them, under the assumption that the input parameters are sufficiently large.

Stanley's theorem establishes that for any finite graph $G$, the number $h_G(s)$ of magic labelings with magic sum $s$ can be expressed as a sum of two polynomials in $s$. However, determining the precise form of $h_G(s)$ is generally challenging. This paper aims to compute $h_G(s)$ and its generating function for pseudo-line graphs and pseudo-cycle graphs, thereby extending the earlier work of Bóna et al.\cite{Bona-1,Bona}.

Graded Ehrhart theory is a new $q$-analogue of Ehrhart theory based on the orbit harmonics method. We study the graded Ehrhart theory of unimodular zonotopes from a matroid-theoretic perspective. Generalizing a result of Stanley (1991), we prove that the graded lattice point count of a unimodular zonotope is a $q$-evaluation of its Tutte polynomial. We conclude that the graded Ehrhart series of a unimodular zonotope is rational and obeys graded Ehrhart--Macdonald reciprocity. In an algebraic direction, we prove that the harmonic algebra of a unimodular zonotope is a coordinate ring of its associated arrangement Schubert variety. Using the geometry of arrangement Schubert varieties, we prove that the harmonic algebra of a unimodular zonotope is finitely generated and Cohen--Macaulay. We also give an explicit presentation of the harmonic algebra of a unimodular zonotope in terms of generators and relations. We conclude by classifying which unimodular zonotopes have Gorenstein harmonic algebras. Our work answers, in the special case of unimodular zonotopes, two conjectures of Reiner and Rhoades (2024).

One of the most important classes of even $Δ$-matroids arises from orientable ribbon graphs, which play a role analogous to that of graphic matroids in matroid theory. Motivated by a natural correspondence between strong $Δ$-matroids and even $Δ$-matroids due to Geelen and Murota, we characterize the class of strong $Δ$-matroids that correspond to orientable ribbon-graphic $Δ$-matroids. These are precisely the $Δ$-matroids associated with what we call pseudo-orientable ribbon graphs. Moreover, we present a geometric construction that transforms a pseudo-orientable ribbon graph into an orientable ribbon graph, thereby realizing this correspondence. As consequences, we obtain the Matrix--Quasi-tree Theorem, the Hurwitz stability of quasi-tree generating polynomials, and a log-concavity result for the sequence counting quasi-trees of size $2i-1$ or $2i$ for pseudo-orientable ribbon graphs. To establish the log-concavity, we generalize Stanley's log-concavity theorem for regular matroids to regular $Δ$-matroids. Finally, we exhibit an infinite family of non-pseudo-orientable ribbon graphs that fail to satisfy the Matrix--Quasi-tree theorem and Hurwitz stability.

This paper studies a flat degeneration P_n of the classical coinvariant algebra R_n, a bigraded Artinian Gorenstein algebra that arises from the coordinate ring of the Segre embedding of the n-fold self-product of the projective line. The Frobenius character of P_n is computed by a natural bigraded refinement of the classical Lusztig--Stanley formula for the character of the coinvariant algebra. Young invariants in P_n get related to coordinate rings of general Segre embeddings of products of projective spaces; their bigraded Hilbert polynomials get expressed in terms of major-descent generating functions of words in multisets. Relations to the diagonal coinvariant algebra, cohomological interpretations including quantum cohomology, and Garsia-Stanton-style bases are also explored.