math.CO ↗ arXiv
7121 papers in this category
Ordinal Sums with Substitution of Impartial Games
A combinatorial game is a two-player game without hidden information or chance elements. The disjunctive sum $G + H$ of games $G$ and $H$ is the game in which $G$ and $H$ are played in parallel, and a player makes a move on exactly one of $G$ and $H$ in a turn. The ordinal sum $G \colon H$ is similar to the disjunctive sum, but once the left game $G$ is played, the right game $H$ is discarded and can no longer be played. It is known that the outcome of a mixture of disjunctive sums and ordinal sums, such as $(G_1 \colon G_2) + ((G_3 + G_4) \colon G_5)$, is determined by the variation sets, the set of Grundy numbers of all options, of the components in the normal-play. In this paper, we propose a generalization of an ordinal sum, called an ordinal sum with substitution $G \colon_{\widehat{H}} H$, which is the game made by combining $G$, $H$, and $\widehat{H}$ in the following way: the games $G$ and $H$ are played in parallel; a player makes a move on exactly one of $G$ and $H$ in a turn; each time the left game $G$ is played, the right game $H$ is replaced with $\widehat{H}$. We investigate their fundamental properties and prove a simple formula for the variation sets of ordinal sums with substitution. Apply the formula, we give an explicit expression of the Grundy number of a chain of ordinal sums with substitution consisting of nimbers. We also provide an example illustrating the generalization of ordinal sums with substitution to poset structures.
Support and Support Jumps in the Partition Graph
Let $G_n$ be the partition graph whose vertices are the partitions of $n$, with adjacency given by elementary transfers of one cell between parts, followed by reordering. We study the support of a partition -- the set of distinct part sizes -- as a global vertex invariant of $G_n$. We show that support size $r$ occurs in $G_n$ if and only if $T_r=r(r+1)/2\le n$, so the maximal support size is $ρ(n)=\max\{r:T_r\le n\}$. We determine exactly how support changes along an edge: the support jump always lies in $\{-2,-1,0,1,2\}$, and we give an explicit birth-death formula in terms of the source and target part sizes. We also prove the degree bound $°(λ)\ge σ(λ)(σ(λ)-1)$ for every partition $λ$, with equality exactly for staircase partitions. In addition, support size is invariant under conjugation, the support-$1$ stratum consists exactly of rectangular partitions, and the coarse support-level graph always contains the chain $1-2-\cdots-ρ(n)$. We conclude with computational data for small $n$, including support-stratum counts, support-jump counts, and connectivity data for fixed-support subgraphs.
An Upper Bound on the Linear Turán Number of $k$-Crowns
A hypergraph $H$ is said to be \emph{linear} if every pair of vertices lies in at most one hyperedge. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs (also called $r$-graphs), an $r$-graph $H$ is said to be \emph{$\mathcal{F}$-free} if it contains no member of $\mathcal{F}$ as a subhypergraph. The \emph{linear Turán number} $ex_r^{\mathrm{lin}}(n,\mathcal{F})$ denotes the maximum number of edges in an $\mathcal{F}$-free linear $r$-graph on $n$ vertices.
The crown is a linear $3$-graph obtained from three pairwise disjoint edges by adding an edge that intersects each of them in a distinct vertex. Recently, Gyárfás, Ruszinkó, and Sárközy~[\emph{Linear Turán numbers of acyclic triple systems}, European J.\ Combin.\ (2022)] initiated the study of bounds on the linear Turán number for acyclic $3$-uniform linear hypergraphs, including that of the crown.
We extend the notion of a crown by defining a $k$-crown, denoted by $C_{1,k}^r$, to be a linear $r$-graph consisting of one base edge together with $k$ pairwise disjoint edges, each intersecting the base in a distinct vertex. In this paper, we establish an upper bound on $ex_r^{\mathrm{lin}}(n,C_{1,k}^r)$, which in particular improves the recent bound of Zhang, Broersma, and Wang~[\emph{Generalized Crowns in Linear $r$-Graphs}, Electron.\ J.\ Combin.\ (2025)] for all $r \geq 4$, without forbidding any auxiliary configuration. We also note that the cases $k\in\{1,2\}$ correspond to the short linear paths $P_2^r$ and $P_3^r$, and can be treated separately.
Tiles from projections of the root and weight lattices of $A_n$
Published
• View Publication
• BIB
Main purpose of this work is to introduce a general technique of projection of the Voronoi tessellation of the weight lattice $A_n^\ast$ and apply it for the lattice $A_4^\ast$. The projection of the Voronoi tessellation of the weight lattice $A_4^\ast$ produces a totally different tiling scheme than the tiling obtained from the Voronoi cell projection of the lattice $A_4$. The 2D faces of the Voronoi cell of the lattice $A_4^\ast$ are of two types: regular hexagons and squares in 4-dimensions but project into two types of hexagons and two types of rhombuses with edges of two lengths in proportion to golden ratio. The mathematical technique employed is also useful for the projections of the root lattice $A_n$. A convenient set of linearly dependent and non-orthogonal $\left(n+1\right)$ vectors $k_i$ is introduced. The simple roots and the fundamental weights are defined as $α_i=k_i-k_{i+1},\left(i=1,2,\ldots,n\right) ,ω_i=k_1+k_2+\ldots+k_i$, respectively. When the vectors $k_i$ are defined in an orthogonal basis, the first two components of $k_i$ determine the Coxeter plane. Projection of the Delone cells of $A_n$ and $A_n^\ast$ on the Coxeter plane displays the same type of tiles and tilings but the Voronoi cell projection of these lattices yields different tiles and tilings. Vertices of the Voronoi cell $V(0)$ of $A_n$ is the union of the orbits of the weight vectors $W(a_n){(ω}_1)\cup W\left(a_n\right)(ω_2)\cup\ldots\cup W\left(a_n\right)(ω_n)$ and the 2D faces are the rhombuses. The Voronoi cell ${V(0)}^\ast$ of $A_n^\ast$ is the permutohedron of order $(n+1)$ and its vertices are the permutations of the vectors ${k}_i$ of the vertex $\frac{1}{n+1}[\left(n+1\right)k_1+nk_2+\ldots+k_{n+1}]$. It has regular hexagons and squares as 2D faces in $n$-dimensions.
Black-white polynomials of graphs and generating functions
Let G be a graph. The black-white polynomial W_G(t) enumerates colorings of the vertices of G with two colors (black and white), where the power of t keeps track of how many white vertices have an even number of black neighbors. Such polynomials appear in quantum information theory, where they are used to capture properties of the entanglement in certain quantum states described by graphs. In this paper we describe how to use generating functions to compute these polynomials for various families X of graphs. Our main results are the following: (i) we describe some constructions under which X leads to a rational generating function; (ii) we use a matrix model to construct the exponential generating function of the black-white polynomials of all graphs; and (iii) we generalize a construction of Wright to build exponential generating functions of black-white polynomials for graphs of a given loop number.
Polynomial Time Enumeration of t-Stack-Sortable Permutations Ending in Their Least Entry
We study the behavior of West's stack-sorting map $s$ on permutations whose last entry is also their least. Let $S_{n}':=\{\pi0\mid π\in S_n\}$ where $\pi0$ denotes the concatenation of $π$ and $0$. For each permutation $π\in S_n'$, we introduce a new combinatorial object known as the stack-sorting tableau $T_π$, which ultimately serves as the key ingredient in the first polynomial time algorithm for counting the number of $t$-stack-sortable permutations in $S_n'$. We then establish a precise relationship between the behavior of $s$ on $S_{n}'$ and on $S_{n}$.
Extremal chromatic bounds for distance Laplacian eigenvalues
For a connected simple graph $G$ on $n$ vertices with chromatic number $χ$, the distance Laplacian matrix is $\DL( G)=\mathrm{diag}(\mathrm{Tr}_{ G}(v_1),\dots,\mathrm{Tr}_{ G}(v_n)) - D( G)$, where $D( G)$ is the distance matrix and $\mathrm{Tr}_{ G}(v)=\sum_{u\in V( G)} d_{ G}(u,v)$ is the transmission. The eigenvalues of $\DL( G)$ are ordered as $\partial^{L}_1( G)\ge \partial^{L}_2( G)\ge \cdots \ge \partial^{L}_n( G)=0$. Building on the chromatic lower bound $\partial^{L}_1( G)\ge n+\ceil{\frac{n}χ}$ and subsequent developments, we prove a \emph{color-class majorization principle}: if $(\ell_1,\dots,\ell_χ)$ are the color-class sizes in an optimal $χ$-coloring with $\ell_1\ge \cdots\ge \ell_χ$, then the first $\ell_1-1$ distance Laplacian eigenvalues satisfy $\partial^{L}_i( G)\ge n+\ell_1$, for $1\le i\le \ell_1-1$. This gives sharp lower bounds on the number of eigenvalues above the chromatic threshold $b_χ=n+\ceil{n/χ}$, thereby refining the distribution theorems of Aouchiche--Hansen (Filomat, 2017) and Pirzada--Khan (LAA, 2021). We further refine clique/independent-set based multiplicity results by deriving explicit chromatic criteria in terms of neighborhood compression, and we generalize the extremal problem for minimum $\partial^{L}_1$ at fixed chromatic number by characterizing all minimizers. Several numerical examples are included along with pictorial representations.
Hopf substitutions in Species
In the theory of species, the species $\mathbf{L}$ of linear orders and the substitution operation $\boldsymbol{\circ}$ combine for a compelling result: given any positive comonoid $\mathbf{p}$, $\mathbf{L}\boldsymbol{\circ}\mathbf{p}$ carries the structure of Hopf monoid, freely generated by $\mathbf{p}$. Leaving aside the universal property this implies, we ask, "for which $\mathbf{b}$ does $\mathbf{b}\boldsymbol{\circ}\mathbf{p}$ carry the structure of Hopf monoid?" After answering this question, we look at basic properties of our construction. We also extend a result of the present authors, on interpolation in species, to this new context.
A Strict Gap Between Relaxed and Partition-Constrained Spectral Compression in a Six-State Lumpable Markov Chain
This paper studies a finite reversible lumpable Markov chain for which relaxed spectral compression yields a larger determinant than partition-constrained compression. For a symmetric six-state lumpable chain and the positive operator $T=P^2$, I compare the relaxed benchmark \begin{equation*} \mathfrak D^{\mathrm{rel}}_3(T):=\sup_{U^*U=I_3}\det(U^*TU) \end{equation*} and the partition-constrained benchmark \begin{equation*} \sup_{\mathcal A\,\mathrm{3\text{-}partition}}\det Q_{\mathcal A}(T), \qquad Q_{\mathcal A}(T)=H_{\mathcal A}^*TH_{\mathcal A}. \end{equation*} Here the partition-constrained benchmark is the compression induced by normalized indicator vectors of genuine partitions of the state space. I derive closed formulas for the two analytically central partition families, prove strict upper bounds for both in a local-mode-dominated regime, and combine these bounds with an exhaustive enumeration of all $90$ partitions into three nonempty cells in an explicit six-state model. For this model, one obtains a strict global gap: \begin{equation*} \sup_{\mathcal A}\det Q_{\mathcal A}(T)<\mathfrak D^{\mathrm{rel}}_3(T). \end{equation*} Thus, in this model, indicator-based partition frames are strictly weaker than relaxed orthonormal frames even after global partition-constrained optimization.
A new characterization of the set of Laplacian spectral radii of trees
For any positive integer $r$ and real number $α>1$, let ${\mathscr L}_r(α)$ denote the set of positive real numbers defined recursively: $α-1\in {\mathscr L}_r(α)$, and for any multi-subset $\{q_1,q_2,\dots,q_s\}$ of ${\mathscr L}_r(α)$, where $0<s<r$, $β:=α-1-s-\sum_{i=1}^sq_i^{-1}$ belongs to ${\mathscr L}_r(α)$ as long as $β>0$. We show that $(α-1)^{-1}\in {\mathscr L}_r(α)$ if and only if there exists a tree $T$ with its maximum degree $Δ(T)\le r$ and Laplacian spectral radius $μ(T)=α>1$. It follows that the set of Laplacian spectral radii of non-trivial trees is exactly the set of real numbers $α\ge 2$ such that $(α-1)^{-1}\in {\mathscr L}_r(α)$ for $r=\lfloorα\rfloor-1$. Applying this conclusion, we then show that for any integer $n$, there exists a tree $T$ with $Δ(T)<n$ and $μ(T)=n+1$ if and only if $n\ge 4$.
Strong modules and asynchronous attractors of Boolean networks
We consider Boolean networks with interaction graphs partitioned into strongly connected components, which we call strong modules. This type of network decomposition has been considered in the literature, primarily from the perspective of attractor detection algorithms. In this paper, we aim to provide an algebraic basis for this line of research in the case of asynchronous Boolean networks. We prove that the asynchronous attractors of a network can be described as a dependent sum construction: as products of attractors of its controlled strong modules. We then show that a representation of all attractors can be computed in polynomial time under two conditions: the strong modules are small, and either the network is sparse or its defining functions have small size circuits (in particular when they are nested canalizing). We illustrate these results on a published Boolean model.
Normality Of Quartic Cayley Graphs On Regular p-Groups: A CFSG-Free Approach
Relying on the Classification of Finite Simple Groups it was shown by Feng and Xu (Discrete Math., 2005) that every quartic Cayley graph of a regular $p$-group, $p \neq 2,5$, is normal. In this paper a CFSG-free proof of Feng-Xu theorem is given. Along the way it is also proved that for an arbitrary $p$-group $G$ with a minimum set $\{a,b\}$ of two generators, in the corresponding Cayley graph $\mathrm{Cay}(G,\{a,a^{-1},b,b^{-1}\})$ the induced action of vertex stabilizer on the neighbors' set is contained in the dihedral group $D_8$.
The nonsymmetric compositional Delta theorem
Extending the symmetric framework of D'Adderio and Mellit, we establish a nonsymmetric generalization of the compositional Delta theorem. Building on Blasiak et al.'s theory of flagged LLT polynomials, we derive signed and unsigned nonsymmetric identities evaluated in terms of flagged LLT polynomials. Furthermore, by introducing nonsymmetric variants of the $\nabla$ and $τ^*$ operators, we obtain a novel operator formulation. We show that applying Weyl symmetrization to these nonsymmetric identities systematically recovers the original compositional Delta theorem. Finally, we propose analogous conjectures regarding stable atom positivity.
Erdős-Gyárfás problem for partially ordered sets
Given integers $p,q,t$ with $1 \le t \le p$ and $1 \le q \le h_p(t)$, a strong $(p,q,t)$-coloring of the Boolean lattice $B_n$ is a coloring of its $t$-chains such that every induced copy of $B_p$ in $B_n$ uses at least $q$ colors on its $t$-chains. Let $f_t^{\sharp}(n,p,q)$ denote the minimum number of colors in such a coloring. We study this Boolean-lattice analogue of the Erdős-Gyárfás function. We first show that every finite poset strongly embeds into a Boolean lattice. Combined with a structural Ramsey theorem for finite posets with linear extensions, this implies the existence of the strong Boolean Ramsey number $\mathrm{R}^{\sharp}_{k,t}(\mathcal{B}\mid Q)$ for every integer $k\ge1$, every $t\ge1$, and every nonempty finite poset $Q$. In particular, this gives an affirmative answer to a problem of Cox and Stolee and yields the existence of $f_t^{\sharp}(n,p,2)$. Next, using the symmetric Lovász local lemma, we obtain a probabilistic upper bound on $f_t^{\sharp}(n,p,q)$. Finally, we prove lower bounds by combining Turán-type extremal estimates for $t$-chains, a double-counting argument, and a generalized Lubell-type framework for $t$-chains.
Contractible independence complexes of trees
Published
• View Publication
• BIB
We show that the independence complex of a tree is contractible if and only if it can be reduced to a path \( P_n \) with \( n \equiv 1 \pmod{3} \) by a sequence of truncation moves at branching points.
The Number of Solutions to $ax+by+cz=n$ for Fibonacci and Lucas triplets
In this work we develop exact formulas to the number of solutions of $ax+by+cz=n$ in some special cases. In 2020, Binner gave a formula for the number of non negative integer solutions, $N(a,b,c;n)$ in non-negative integer pairs $(x,y,z),$ of the equation $ax+by+cz=n$ assuming that $a,b,c$ and $n$ are natural numbers. However, his formula was in summations of floor functions. Moreover, he gave a reciprocity relation to solve these sums by generalising the Gauss reciprocity relation. Until now no exact formula has been found to solve these sums. We notice that these sums can be completely solved in some special cases, which lead us to find the number of solutions of the above equation in case of Fibonacci and Lucas triplets. In other words; If $a,b\ and\ c$ are chosen to be three consecutive Fibonacci or Lucas numbers then we determine the exact formula to the number of non-negative integer solutions $(x,y,z)$ of the equation $F_ix+F_{i+1}y+F_{i+2}z=n$ and $L_ix+L_{i+1}y+L_{i+2}z=n$ where i is fixed.
Species, Symmetric Functions, and Kronecker Product
Published
• View Publication
• BIB
We study two new families of symmetric functions arising from a species-theoretic construction motivated by cycle structure. For each partition of $n$, we define two combinatorial species that decompose into molecules indexed by the same partition, giving rise to two corresponding basis of the homogeneous symmetric functions of degree $n$. We prove that each of these families forms a basis by exhibiting explicit cycle-index formulas and triangular transition matrices to the power-sum basis. Using these constructions, we generalize a classical result describing the Kronecker (Hadamard) product in the homogeneous basis to the two new settings. In particular, we show that the categories generated by these species are closed under the Kronecker product, and that the product of two basis elements expands with nonnegative integer coefficients. Our results provide a new combinatorial framework for studying the Kronecker product and suggest avenues toward interpreting its structure constants
Necklace Games
We define and give results on the game NecklaceNim NN($n$,$k$) which is PathNim PN($n$,$k$) with an additional move allowed on the end vertices. This game arises as a sub-game in the context of solving CircularNim CN($n$,$k$) when $k-2$ consecutive stacks have been depleted, therefore its solution is critical to solving CircularNim. We solve the infinite families of NN($n$,$k$) when play is allowed on at least half the stacks.
On the growth of friezes via theta functions
We prove that the infinite friezes arising from the tubes of a given cluster algebra of acyclic affine type all have the same growth coefficients. Our proof uses identities satisfied by theta functions. This generalizes previous results in affine types~$ADE$ by several groups of authors.
Asymptotic enumeration of admixed arrays and a different independence heuristic
We introduce a class of paired binary matrices called admixed arrays, which arise in analyses of large-scale genetic data and can be viewed as weighted edge colorings of complete bipartite graphs. This combinatorial structure gives rise to two natural families of marginal constraints: a row-sum constraint and a paired column-sum constraint, the latter inducing an inequality among entries of the matrix pair. We study the enumeration of admixed arrays under these constraints in dense regimes. First, we obtain exact formulas for the sizes of the families defined by each constraint in isolation and derive a finite-size criterion characterizing when one constraint is more restrictive than the other. In the large-dimension limit, this comparison simplifies to an entropy inequality, yielding an information-theoretic interpretation and a quantifiable error bound in the semi-regular case. We then analyze the asymptotic enumeration of the doubly constrained family in a semi-regular setting. Using saddle-point approximation and probabilistic techniques, we derive a detailed asymptotic expansion for the logarithm of the count, isolating an explicit fourth-moment contribution and establishing quantitative control of the higher-order remainder. A consequence of this analysis is a phenomenon absent from classical binary and integer matrix models: in the regime $N=Θ(P)$ with uniform margins and density bounded away from zero, the two constraint families obey the independence heuristic with a correction factor $1/\sqrt[4]{e}$ rather than the familiar $e^{\pm1/2}$. Numerical experiments corroborate the analytical approximations, and we implement and extend an algorithm of Miller and Harrison (2013) as open-source software to enumerate constrained admixed arrays.