Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Symmetric decompositions and Euler-Stirling statistics on Stirling permutations
The Stirling permutations introduced by Gessel-Stanley have recently received considerable attention. Motivated by Ji's work on $(α,β)$-Eulerian polynomials (Sci China Math., 2025) and Yan-Yang-Lin's work on $1/k$-Eulerian polynomials (J. Combin. Theory Ser. A, 2026), we present several symmetric decompositions of the enumerators related to Euler-Stirling statistics on Stirling permutations. Firstly, we provide a partial symmetric decomposition for the $1/k$-Eulerian polynomial. Secondly, we give several unexpected applications of the $(p,q)$-Eulerian polynomials, where $p$ marks the number of fixed points of permutations and $q$ marks that of cycles. From this paper, one can see that $(p,q)$-Eulerian polynomial contains a great deal of information about permutations and Stirling permutations. Using the change of grammars, we show that the $(α,β)$-Eulerian polynomials introduced by Carlitz-Scoville can be deduced from the $(p,q)$-Eulerian polynomials by special parametrizations. We then introduce proper and improper ascent-plateau statistics on Stirling permutations. Moreover, we introduce proper ascent, improper ascent, proper descent and improper descent statistics on permutations. Furthermore, we consider the joint distributions of Euler-Stirling statistics on permutations, including the numbers of improper ascents, proper ascents, left-to-right minima and right-to-left minina. In the final part, we first give a symmetric decomposition of the joint distribution of the ascent-plateau and left ascent-plateau statistics, and then we show that the $q$-ascent-plateau polynomials are bi-$γ$-positive, where $q$ marks the number of left-to-right minima.
Optimal stability results on color-biased Hamilton cycles
We investigate Hamilton cycles in edge-colored graphs with \( r \) colors, focusing on the notion of color-bias (discrepancy), the maximum deviation from uniform color frequencies along a cycle. Foundational work by Balogh, Csaba, Jing, and Pluhár, and the later generalization by Freschi, Hyde, Lada, and Treglown, as well as an independent work by Gishboliner, Krivelevich, and Michaeli, established that any \(n\)-vertex graph with minimum degree exceeding \( \frac{(r+1)n}{2r} + \frac{m}{2}\) contains a Hamilton cycle with color-bias at least \(m\), and characterized the extremal graphs with minimum degree \(\frac{(r+1)n}{2r}\) in which all Hamilton cycles are perfectly balanced.
We prove the optimal stability results: for any positive integers \(r\ge 2\) and \( m < 2^{-6} r^{2} n,\) if every Hamilton cycle in an \( n \)-vertex graph with minimum degree exceeding \( \frac{n}{2} + 6r^{2}m \) has color-bias less than \( m \), then the graph must closely resemble the extremal constructions of Freschi, Hyde, Lada, and Treglown. The leading term \( \frac{n}{2} \) in the degree condition is optimal, as it is the sharp threshold for guaranteeing Hamiltonicity. Moreover, we show the additive error term \(Θ(m)\) is also best possible when \(m\) is large and \(r=2\), since weaker condition \(\frac{n}{2}+o(m)\) allow for a counterexample. Notably, the structural stability threshold \( \frac{1}{2} \) lies strictly below the extremal threshold \( \frac{1}{2} + \frac{1}{2r} \) required to force color imbalance. Our proof leverages local configurations to deduce global structure, revealing a rigid combinatorial dichotomy.
Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa
Published
• View Publication
• BIB
We introduce a new notion of sparsification, called \emph{strong sparsification}, in which constraints are not removed but variables can be merged. As our main result, we present a strong sparsification algorithm for 1-in-3-SAT. The correctness of the algorithm relies on establishing a sub-quadratic bound on the size of certain sets of vectors in $\mathbb{F}_2^d$. This result, obtained using the recent \emph{Polynomial Freiman-Ruzsa Theorem} (Gowers, Green, Manners and Tao, Ann. Math. 2025), could be of independent interest. As an application, we improve the state-of-the-art algorithm for approximating linearly-ordered colourings of 3-uniform hypergraphs (Håstad, Martinsson, Nakajima and{Ž}ivn{ý}, APPROX 2024).
New results on the Wiener index of trees with a given diameter
We study the Wiener index of a class of trees with fixed diameter and order. A double broom is a tree such that there exist two vertices $u$ and $v$, such that each leaf of $T$ is adjacent to $u$ or $v$. We prove that for a tree $T$ of diameter $d$ and (sufficiently large) order $n$ such that $n\leq d-2+4 \left\lfloor \sqrt{ \frac{d-1}{2}} \right\rfloor$, $T$ has maximum Wiener index (in the class of trees of diameter $d$ and order $n$) if and only if $T$ is a balanced double broom. Our results are sharp up to a small constant.
A complete $t$-intersection theorem for families of spanning trees
Let $\mathcal T_n$ denote the set of all labelled spanning trees of $K_n$. A family $\mathcal F \subset \mathcal T_n$ is $t$-intersecting if for all $A, B \in \mathcal F$ the trees $A$ and $B$ share at least $t$ edges. In this paper, we determine for $n>n_0$ the size of the largest $t$-intersecting family $\mathcal F\subset \mathcal T_n$ for all meaningful values of $t$ ($t\le n-1$). This result is a rare instance when a complete $t$-intersection theorem for a given type of structures is known.
On ascent sequences avoiding 021 and a pattern of length four
Ascent sequences of length $n$ avoiding the pattern $021$ are enumerated by the $n$-th Catalan number $C_n=\frac{1}{n+1}\binom{2n}{n}$. In this paper, we extend this result and enumerate ascent sequences avoiding $\{021,τ\}$, where $τ$ is a pattern of length four. We in turn identify all of the corresponding Wilf-equivalence classes and find generating function formulas corresponding to each class. In a couple of cases, we make use of an auxiliary statistic and the kernel method to ascertain the generating function. In several cases, our work of enumeration is shortened by establishing the equivalence of $\{021,τ\}$- and $\{021,τ'\}$-avoiders of a given length through an explicit bijection. As a consequence of our results, one obtains new combinatorial interpretations in terms of ascent sequences for several of the entries in the OEIS.
Partial permutohedra
Published in Discrete & Computational Geometry (2026) 76, 589-642
• View Publication
• BIB
Partial permutohedra are lattice polytopes which were recently introduced and studied by Heuer and Striker. For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is the convex hull of all vectors in $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. We study the face lattice, volume and Ehrhart polynomial of $\mathcal{P}(m,n)$, and our methods and results include the following. For any $m$ and $n$, we obtain a bijection between the nonempty faces of $\mathcal{P}(m,n)$ and certain chains of subsets of $\{1,\dots,m\}$, thereby confirming a conjecture of Heuer and Striker, and we then use this characterization of faces to obtain a closed expression for the $h$-polynomial of $\mathcal{P}(m,n)$. For any $m$ and $n$ with $n\ge m-1$, we use a pyramidal subdivision of $\mathcal{P}(m,n)$ to establish a recursive formula for the normalized volume of $\mathcal{P}(m,n)$, from which we then obtain closed expressions for this volume. We also use a sculpting process (in which $\mathcal{P}(m,n)$ is reached by successively removing certain pieces from a simplex or hypercube) to obtain closed expressions for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with arbitrary $m$ and fixed $n\le 3$, the normalized volume of $\mathcal{P}(m,4)$ with arbitrary $m$, and the Ehrhart polynomial of $\mathcal{P}(m,n)$ with fixed $m\le4$ and arbitrary $n\ge m-1$.
Delta-matroids and toric degenerations in OG(n,2n+1)
We construct an explicit, embedded degeneration of the general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties. In particular, we deduce a formula for the cohomology class of the torus orbit closure, as a sum of products of Schubert classes. The moment map images of the degenerate pieces are the base polytopes of their underlying delta-matroids, and give a polyhedral decomposition of the unit hypercube, which had previously been studied by Chen-Sanchez-Veliz-Ying.
Metric Dimension of a Direct Product of Three Complete Graphs: The Middle Cone Family
Published
• View Publication
• BIB
In previous work, we determined the metric dimension for a direct product of three isomorphic complete graphs. Turning to the case where the complete graphs may have different orders, there are three families we refer to as the upper, lower, and middle cones. We determine the metric dimension and location-total-domination number for a family of direct products of three complete graphs stemming from the middle cone. We explicitly describe minimum resolving sets. To verify the sets are resolving, we define a basic landmark system and show it will be a resolving set if and only if its associated 3-edge-colored hypergraph avoids three types of forbidden subgraphs. This generalizes the technique used for three isomorphic factors.
Valuated Delta Matroids and Principal Minors of Hermitian matrices
In this paper we introduce valuated $Δ$-matroids, a natural generalization of two objects of study in matroid theory: valuated matroids and $Δ$-matroids. We show that these objects exhibit nice properties analogous to ordinary valuated matroids. We also show that these objects arise as the valuations of principal minors of a Hermitian matrix over a valued field, generalizing other forms of $Δ$-matroid representability.
On distinguishing coloring and some variants of proper coloring of graphs derived from subdivision operations
Let G be a simple, finite, connected, and undirected graph, and T be a finite tree. The middle graph M(G) of G is obtained from the subdivision graph S(G) after joining pairs of subdivided vertices that lie on adjacent edges of G and the central graph C(G) of G is obtained from S(G) after joining all non-adjacent vertices of G.
We show that if the order of G is at least 4, then Aut(G), Aut(C(G)), and Aut(M(G)) are isomorphic (as abstract groups) and apply these results to obtain new sharp upper bounds of the distinguishing number and the distinguishing index of C(G) and M(G) inspired by an algorithm due to Kalinowski, Pilsniak, and Wozniak from 2016.
Furthermore, we study the total distinguishing chromatic number of C(G) and S(G), use Latin squares to verify the AVD-total coloring conjecture for central graphs of regular graphs and some other classes of graphs (which is a partial progress towards answering an open question of Panda, Verma, and Keerti from 2020), and obtain new bounds of the total dominator chromatic number of C(G) and C(T).
$s$-Shunt Intersection Graph of a Graph
Published
• View Publication
• BIB
The intersection graph of a family of sets $\{S_{1},S_{2},\ldots,S_{n}\}$ is a graph whose vertex set is $\{S_{1},S_{2},\ldots,S_{n}\}$ and two distinct vertices are adjacent if the intersection of the corresponding sets is non-empty. Different types of intersection graphs have been studied depending on the nature of sets taken as the vertex set. A study on a particular type of intersection graph called $s$-shunt intersection graph, generated from the $s$-arcs of a given graph is initiated in this paper.
Last passage percolation in lower triangular domain
Last passage percolation (LPP) in an $n\times n$ lower triangular domain has nice connections with various generalizations of Schur measures. LPP along an anti-diagonal, from $(1,n)$ to $(n,1)$, gives a distribution of a highest column of a random composition with respect to a Demazure measure (a non-symmetric analog of a Schur measure). LPP along a main diagonal, from $(1,1)$ to $(n,n)$, is distributed as a marginal of a Pfaffian Schur process. In the first case we show that the asymptotics for the constant specialization is governed by the GOE Tracy-Widom distribution, in the second case - by the GSE Tracy-Widom distribution. In the latter case we were also able to study the truncated lower triangular case, obtaining an interesting generalization of the GSE Tracy-Widom distribution.
Planar Turán number of disjoint union of $C_3$ and $C_5$
The planar Turán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. The planar Turán number of $k\geq 3$ vertex-disjoint union of cycles is the trivial value $3n-6$. Let $C_{\ell}$ denote the cycle of length $\ell$ and $C_{\ell}\cup C_t$ denote the union of disjoint cycles $C_{\ell}$ and $C_t$. The planar Turán number $ex_{\mathcal{P}}(n,H)$ is known if $H=C_{\ell}\cup C_k$, where $\ell,k\in \{3,4\}$. In this paper, we determine the value $ex_{\mathcal{P}}(n,C_3\cup C_5)=\lfloor\frac{8n-13}{3}\rfloor$ and characterize the extremal graphs when $n$ is sufficiently large.
Combinatorial Laplacians and Relative Homology of Complex Pairs
As a discretization of the Hodge Laplacian, the combinatorial Laplacian of simplicial complexes has garnered significant attention. In this paper, we study combinatorial Laplacians for complex pairs $(X, A)$, where $A$ is a subcomplex of a simplicial complex $X$. We establish a relative version of the matrix-tree theorem for complex pairs, which generalizes both the matrix-tree theorem for simplicial complexes proved by Duval, Klivans, and Martin (2009) and the result for Dirichlet eigenvalues of graph pairs by Chung (1996). Furthermore, we derive several lower bounds for the spectral gaps of complex pairs and characterize the equality case for one sharp lower bound. As by-products, we obtain sufficient conditions for the vanishing of relative homology. Our results demonstrate that the combinatorial Laplacians for complex pairs are closely related to relative homology.
$p$-th order generalized Fibonacci cubes and maximal cubes in Fibonacci $p$-cubes
Published
• View Publication
• BIB
The Fibonacci cube $Γ_n$ is the subgraph of the hypercube $Q_n$ induced by vertices with no consecutive 1s. We study a one parameter generalization, p-th order Fibonacci cubes $Γ^{(p)}_n$, which are subgraphs of $Q_n$ induced by strings without p consecutive 1s. We show the link between vertices of $Γ^{(p)}_n$ and compositions of integers with parts in $\{1, 2, \ldots , p\}$. Among other eumerative properties, we study the order, size and cube polynomial of $Γ^{(p)}_n$ as well as their generating functions. Many of the given expressions are similar to those for Fibonacci cubes, where the $p$-nomial coefficients play the role of binomial coefficients. We also show that maximal induced hypercubes in Fibonacci $p$-cubes $Γ^p_n$ , another generalization of Fibonacci cubes, are connected to vertices of $(p + 1)$-th order Fibonacci cubes. We use this link to determine the maximal cube polynomial of Fibonacci $p$-cubes.
Toric arrangements and Bloch-Kato pro-$p$ groups
We prove a purely combinatorial obstruction for the Bloch-Kato property within the class of fundamental groups of complement manifolds of toric arrangements (i.e., arrangements of hypersurfaces in the complex torus). As a stepping stone we obtain a combinatorial obstruction for the cohomology of a supersolvable arrangement to be generated in degree 1. Our result allows us to prove that - for all prime numbers $p$, the pro-$p$ completion of the pure braid group on $k$ strands has the Bloch-Kato property if and only if $k\leq 3$; - for all prime numbers $p$, the pro-$p$ completion of the pure mapping class group of the sphere $S^2$ with $k$ punctures has the Bloch-Kato property if and only if $k\leq 4$.
Hilbert basis in the face-centered cubic grid -- mathematical proofs
The Hilbert basis is fundamental in describing the structure of the integer points of a polyhedral cone. The face-centered cubic grid is one of the densest packing of the 3-dimensional space. The cycles of a grid satisfy the constraint set of a pointed, polyhedral cone which contains only non-negative integer vectors. The Hilbert basis of a grid gives the structure of the basic cycles in the grid. It is shown in this paper that the basic cycles of the FCC grid belong to 11 types. It is also discussed that how many elements are contained in the individual types. The proofs of the paper use geometric, combinatorial, algebraic, and operations research methods.
On the representation number of grid graphs and cylindric grid graphs
The representation number of a graph is the minimum number of copies of each vertex required to represent the graph as a word, such that the letters corresponding to vertices $x$ and $y$ alternate if and only if $xy$ is an edge in the graph. It is known that path graphs, circle graphs, and ladder graphs have representation number 2, while prism graphs have representation number 3.
In this paper, we extend these results by showing that generalizations of the aforementioned graphs -- namely, the $m \times n$ grid graphs and $m \times n$ cylindrical grid graphs -- have representation number $3$ for $m \geq 3$ and $m \geq 2$, respectively, and $n\geq 3$. Furthermore, we discuss toroidal grid graphs in the context of word-representability, which leads to an interesting conjecture.
Integer sequences with conjectured relation with certain graph parameters of the family of linear Jaco graphs
This experimental study presents some interesting conjectured relations between some integer sequences and certain graph parameters of the family of linear Jaco graphs $J_n(x)$ where $n = 1,2,3,\dots$. It appears that $\textit{Golden ratio}$-like floor function terms play an important role in the analysis of the graph structural properties of the family of linear Jaco graphs. The experimental methodology to obtain the conjectures is indeed trivial. However, it is the author's view that the proofs or disproofs of the conjectures may be challenging.