Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A quantitative way to e-positivity of trees
In 2020, Dahlberg, She, and van Willigenburg conjectured that the chromatic symmetric function of any tree with maximum degree at least 4 is not e-positive. Zheng and Tom verified this conjecture for all trees with maximum degree at least 5 and spiders with maximum degree 4, and in their proofs the following necessary condition given by Wolfgang plays an important role: every connected graph having e-positive chromatic symmetric function must contain a connected partition of every type.
In order to make further progress on this conjecture, we refine Wolfgang's result in a quantitative way. At first, we give an explicit formula for the e-coefficients of trees in terms of their connected partitions, by which e-positivity is equivalent to a series of inequalities for the numbers of connected partitions. Based on this formula, we present several necessary conditions on the numbers of connected partitions or acyclic orientations for trees to be e-positive. These necessary conditions turn out to be characterizations on the structure of e-positive trees, and as sample applications we prove the non-e-positivity of several classes of trees with maximum degree 3 or 4. We further make more discussions and calculations on trees with maximum degree 4 and having a connected partition of every type, which inspire us to come up with a list of open problems towards the final resolution of the above conjecture.
Bounds on the Number of Pieces in Continuous Piecewise Affine Functions
The complexity of continuous piecewise affine (CPA) functions can be measured by the number of pieces $p$ or the number of distinct affine functions $n$. For CPA functions on $\mathbb{R}^d$, this paper shows an upper bound of $p=O(n^{d+1})$ and constructs a family of functions achieving a lower bound of $p=Ω(n^{d+1-\frac{c}{\sqrt{\log_2(n)}}})$.
Continuity for Limit Profiles of Reversible Markov Chains
We prove that the limit profile of a sequence of reversible Markov chains exhibiting total variation cutoff is a continuous function, under a computable condition involving the spectrum of the transition matrix and the cutoff window.
The Topological form is the Pfaffian form
For a given graph $G$, Budzik, Gaiotto, Kulp, Wang, Williams, Wu, Yu, and the first author studied a ''topological'' differential form $α_G$, which expresses violations of BRST-closedness of a quantum field theory along a single topological direction. In a seemingly unrelated context, Brown, Panzer, and the second author studied a ''Pfaffian'' differential form $φ_G$, which is used to construct cohomology classes of the odd commutative graph complex. We give an explicit combinatorial proof that $α_G$ coincides with $φ_G$. We also discuss the equivalence of several properties of these forms, which had been established independently for both contexts in previous work.
Kinematic Stratifications
We study stratifications of regions in the space of symmetric matrices. Their points are Mandelstam matrices for momentum vectors in particle physics. Kinematic strata in these regions are indexed by signs and rank two matroids. Matroid strata of Lorentzian quadratic forms arise when all signs are non-negative. We characterize the posets of strata, for massless and massive particles, with and without momentum conservation.
Permutation-based Strategies for Labeled Chip-Firing on $k$-ary Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Combinatorics (January 9, 2026) dmtcs:16108
• View Publication
• BIB
Chip-firing is a combinatorial game on a graph, in which chips are placed and dispersed among its vertices until a stable configuration is achieved. We specifically study a chip-firing variant on an infinite, rooted, directed $k$-ary tree where we place $k^n$ chips labeled $0,1,\dots, k^n-1$ on the root for some nonnegative integer $n$, and we say a vertex $v$ can fire if it has at least $k$ chips. When a vertex fires, we select $k$ labeled chips and send the $i$th smallest chip among them to its $i$th leftmost child. A stable configuration is reached when no vertex can fire. In this paper, we focus on stable configurations resulting from specific firing strategies based on permutations of $1, 2, \dots, n$. We then express the stable configuration as a permutation of $0,1, 2, \dots, k^n-1$ and explore its properties, such as the number of inversions and descents.
Edge isoperimetry of lattices
We present two results related to an edge-isoperimetric question for Cayley graphs on the integer lattice asked by Ben Barber and Joshua Erde [Isoperimetry of Integer Lattices, Discrete Analysis 7 (2018)]. For any (undirected) graph $G$, the edge boundary of a subset of vertices $S$ is the number of edges between $S$ and its complement in $G$. Barber and Erde asked whether for any Cayley graph on $\mathbb{Z}^d$, there is always an ordering of $\mathbb{Z}^d$ such that for each $n$, the first $n$ terms minimize the edge boundary among all subsets of size $n$.
First, we present an example of a Cayley graph $G_d$ on $\mathbb{Z}^d$ (for all $d\geq 2$) for which there is no such ordering. Furthermore, we show that for all $n$ and any optimal $n$-vertex subset $S_n$ of $G_d$, there is no infinite sequence $S_n\subset S_{n+1}\subset S_{n+2}\subset\cdots$ of optimal sets $S_i$, where $|S_i|=i$ for $i\geq n$. This is to be contrasted with the positive result in $\mathbb{Z}^1$ shown by Joseph Briggs and Chris Wells [arXiv:2402.14087].
Our second result is a positive example for the unit-length triangular lattice (which is isomorphic to $\mathbb{Z}^2$) where two vertices are connected by an edge if their distance is $1$ or $\sqrt{3}$. We show that this graph has such an ordering. This is the most complicated example known to us of a two-dimensional Cayley graph for which an ordering exists.
Bounds on Independent Isolation in Graphs
An isolating set of a graph is a set of vertices $S$ such that, if $S$ and its neighborhood is removed, only isolated vertices remain; and the isolation number is the minimum size of such a set. It is known that for every connected graph apart from $K_2$ and $C_5$, the isolation number is at most one-third the order and indeed such a graph has three disjoint isolating sets. In this paper we consider isolating sets where $S$ is required to be an independent set and call the minimum size thereof the independent isolation number. While for general graphs of order $n$ the independent isolation number can be arbitrarily close to $n/2$, we show that in bipartite graphs the vertex set can be partitioned into three disjoint independent isolating sets, whence the independent isolation number is at most $n/3$; while for $3$-colorable graphs the maximum value of the independent isolation number is $(n+1)/3$. We also provide a bound for $k$-colorable graphs.
Combinatorial proofs of the type A quiver component formulas
The K-theoretic quiver component formula expresses the K-polynomial of a type A quiver locus as an alternating sum of products of double Grothendieck polynomials. This formula was conjectured by A. Buch and R. Rimányi and later proved by R. Kinser, A. Knutson, and the second author. We provide a new proof of this formula which replaces Gröbner degenerations by combinatorics. Along the way, we obtain a new proof of A. Buch and R. Rimányi's cohomological quiver component formula. Again, our proof replaces geometric techniques by combinatorics.
Generalizations of Total Dual Integrality
We design new tools to study variants of Total Dual Integrality. As an application, we obtain a geometric characterization of Total Dual Integrality for the case where the associated polyhedron is non-degenerate. We also give sufficient conditions for a system to be Totally Dual Dyadic, and prove new special cases of Seymour's Dyadic conjecture on ideal clutters.
On refined enumerations of plane partitions of a given shape with bounded entries
In this paper, we consider plane partitions $\text{PP}(λ; m)$ of a given shape $λ$, with entries at most $m$. We prove that the distributions of two statistics on $\text{PP}(λ; m)$ coincide: one is the number of rows containing $0$ and the other is the number of rows containing $m$. We also provide a bijective proof.
Secure domination in $P_5$-free graphs
A dominating set of a graph $G$ is a set $S \subseteq V(G)$ such that every vertex in $V(G) \setminus S$ has a neighbor in $S$, where two vertices are neighbors if they are adjacent. A secure dominating set of $G$ is a dominating set $S$ of $G$ with the additional property that for every vertex $v \in V(G) \setminus S$, there exists a neighbor $u$ of $v$ in $S$ such that $(S \setminus \{u\}) \cup \{v\}$ is a dominating set of $G$. The secure domination number of $G$, denoted by $γ_s(G)$, is the minimum cardinality of a secure dominating set of $G$. We prove that if $G$ is a $P_5$-free graph, then $γ_s(G) \le \frac{3}{2}α(G)$, where $α(G)$ denotes the independence number of $G$. We further show that if $G$ is a connected $(P_5, H)$-free graph for some $H \in \{ P_3 \cup P_1, K_2 \cup 2K_1, ~\text{paw},~ C_4\}$, then $γ_s(G)\le \max\{3,α(G)\}$. We also show that if $G$ is a $(P_3 \cup P_2)$-free graph, then $γ_s(G)\le α(G)+1$.
Maximal entropy random walks and central Markov chains
We introduce and develop the concept of Maximal Entropy Random Walks (MERWs) on Weighted Bratteli Diagrams (WBDs), maximizing entropy production along paths as a natural criterion for choosing random walks on networks. Initially defined for irreducible finite graphs, MERWs were recently extended to the infinite setting in [1]. Bratteli Diagrams model various growth processes, such as the Young Lattice, where the Plancherel growth process emerges as a MERW. We show that MERWs are special cases of central Markov chains, which, in general, provide a powerful framework for deriving combinatorial identities. Regarding growing trees, in particular, we retrieve and extend Han's hook-length formula for binary trees and demonstrate that the Binary Search Tree (BST) process is a MERW, recovering its asymptotic behavior. We also introduce preferential attachment to generalize BSTs. For comb models, significant central measures appear, including the Chinese restaurant process, providing an alternative proof of the Poisson-Dirichlet limit distribution. Finally, we propose a Monte Carlo method, based on Knuth's algorithm, to approximate MERWs. We apply it to a pyramidal growth model, drawing connections with the limit shape of Young diagrams under the Plancherel measure.
Multi-parametric matroids -- Applications to interdiction and weight set decomposition
In this article, we investigate the multi-parametric matroid problem. The weights of the elements of the matroid's ground set depend linearly on an arbitrary but fixed number of parameters, each of which is taken from a real interval. The goal is to compute a minimum weight basis for each possible combination of the parameters. For this problem, we propose an algorithm that requires a polynomial number of independence tests and discuss two useful applications. First, the algorithm can be applied to solve a multi-parametric version of a special matroid interdiction problem, and second, it can be utilized to compute the weight set decomposition of the multi-objective (graphic) matroid problem. For the latter, we asymptotically improve the current state-of-the-art algorithm by a factor that is almost proportional to the number of edges of the graphic matroid.
Skeletal Torus Actions and GKM Structures on Quiver Grassmannians of String Representations
Quiver Grassmannians of equioriented type $\texttt{A}$ and nilpotent equioriented type $\tilde{\texttt{A}}$ quiver representations are GKM-varieties. In particular, they have a cellular decomposition and admit a torus action with finitely many fixed points and one-dimensional orbits (i.e. skeletal action). We examine the case of string representations and provide a classification of all corresponding quiver Grassmannians with a GKM-variety structure.
Supersimplicity and arithmetic progressions
The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressions of length $3$) with well-known tools and theorems for definable groups in simple theories. In the last sections of this article, we apply our model-theoretic results to bound the number of initial points starting few arithmetic progression of length $3$ in the structure of the additive group of integers with a predicate for the prime integers, assuming Dickson's conjecture, or with a predicate for the square-free integers, as well as for asymptotic limits of finite fields. Our techniques yield similar results for the elements appearing as distances in skew-corners and for Sárközy's theorem on the distance of distinct elements being perfect squares.
Cameron-Liebler sets of generators in the Klein quadric $Q^+(5,q)$
We investigate Cameron-Liebler sets of planes in the Klein quadric $Q^+(5,q)$ in PG$(5,q)$. We prove that there are many examples of such Cameron-Liebler sets of planes in the Klein quadric. More specifically, we provide an incomplete list of examples of such Cameron-Liebler sets of planes. By doing so, we also provide some characteristic results regarding these sets in connection with the Klein quadric. These results contribute to an open conjecture posed in [21].
Sorting permutations using a pop stack with a bypass
We introduce a new sorting device for permutations which makes use of a pop stack augmented with a bypass operation. This results in a sorting machine, which is more powerful than the usual Popstacksort algorithm and seems to have never been investigated previously. In the present paper, we give a characterization of sortable permutations in terms of forbidden patterns and reinterpret the resulting enumerating sequence using a class of restricted Motzkin paths. Moreover, we describe an algorithm to compute the set of all preimages of a given permutation, thanks to which we characterize permutations having a small number of preimages. Finally, we provide a full description of the preimages of principal classes of permutations, and we discuss the device consisting of two pop stacks in parallel, again with a bypass operation.
Ramsey property for spaces with bilinear forms
We study the Ramsey property for vector spaces over finite fields with bilinear forms. We prove that symplectic spaces over finite fields do not have the Ramsey property. We also describe vector spaces with skew symmetric bilinear forms and radicals of finite codimension, where the Ramsey property does not hold. Some direct connections with generalized affine spaces are given.
On the number of Hamiltonian cycles in the generalized Petersen graph
Published in J. Combin. Math. Combin. Comput. 126 (2025) 263-278
• View Publication
• BIB
The generalized Petersen graph $G(n, k)$ is a cubic graph with vertex set $V(G(n, k)) = \{v_i\}_{0 \leq i < n} \cup \{w_i\}_{0 \leq i < n}$ and edge set $E(G(n, k)) = \{v_i v_{i+1}\}_{0 \leq i < n} \cup \{w_i w_{i+k}\}_{0 \leq i < n} \cup \{v_i w_i\}_{0 \leq i < n}$ where the indices are taken modulo $n$. Schwenk found the number of Hamiltonian cycles in $G(n, 2)$, and in this article we present initial conditions and linear recurrence relations for the number of Hamiltonian cycles in $G(n, 3)$ and $G(n, 4)$. This is attained by introducing $G'(n, k)$, which is a modified version of $G(n, k)$, and a subset of its subgraphs which we call admissible, and which are partitioned into different classes in such a manner that we can find relations between the number of admissible subgraphs of each class. The classes and their relations define a directed graph such that each strongly connected component is of a manageable size for $k=3$ and $k=4$, which allows us to find linear recurrence relations for the number of admissible subgraphs in each class in these cases. The number of Hamiltonian cycles in $G(n, k)$ is a sum of the number of admissible subgraphs of $G'(n, k)$ over a certain subset of the classes.