graph
35436 papers tagged with this keyword
The e-positivity of $\mathrm{rowDiv}_k(e_μ)$
We prove that the partition division operator $\mathrm{rowDiv}_k$ preserves e-positivity, resolving a conjecture of Alexandersson and Dai. For $μ\vdash kn$ and $ν\vdash n$, we express the coefficient of $e_ν$ in $\mathrm{rowDiv}_k(e_μ)$ as a normalized sum of positive rational weights over closed walks on a finite directed graph of $k$-restricted partitions. The proof combines the Pieri rule and a root of unity factorization for Macdonald polynomials.
As a corollary, we recover the h-positivity of the symmetric functions $A_{n,k}$ of Amdeberhan, Shareshian, and Stanley.
There is no $8$-regular $K_3$-irregular graph
A graph is $K_3$-irregular if its vertices belong to pairwise distinct numbers of triangles. We prove that no $8$-regular $K_3$-irregular graph exists, settling the last unresolved case. Following the initial discovery of such graphs for regularities $r \in \{10,11,12\}$ (Stevanović et al., 2024), our previous work (Hak et al., 2025) showed that no such graphs exist for $r \le 7$, provided the first example for $r=9$, and proved that any $8$-regular candidate must have between $17$ and $22$ vertices. We exclude these possible orders for $r=8$ by combining careful analysis of triangle degrees with integer linear programming techniques. Meanwhile, a recent construction (Zhang, 2026) established that regular $K_3$-irregular graphs do exist for all $r \ge 9$. Together with our results, this establishes that an $r$-regular $K_3$-irregular graph exists if and only if $r\geq 9$.
Hull Games of Induced Path Convexities in Graphs
In 1984, Frank Harary introduced the first convexity games in graphs, all of them based on the geodesic convexity, which is the graph convexity related to shortest paths. In 2024, Araújo et al. obtained the first PSPACE-hardness proofs on some of these geodesic games and generalized them to any graph convexity. In this paper, we investigate convexity games on several known induced path convexities: the monophonic $\mathrm{m}$-convexity and the $\ell_k$-convexities, based on induced paths and on induced paths of size at most $k$. We prove that the hull games $\mathrm{CHG}_{\mathrm{m}}$, $\mathrm{CHG}_{\ell_k}$ and their misère variants are PSPACE-complete for every $k\ge2$ even in graphs with diameter at most 3. We also use the Sprague-Grundy Theory to obtain a polynomial time algorithm to decide the winner of the games $\mathrm{CHG}_{\mathrm{m}}$ and $\mathrm{CHG}_{\ell_k}$ for any $k\ge2$ in disjoint unions of paths and cycles. For $k\ge3$ odd, we prove that Alice (1st player) wins $\mathrm{CHG}_{\ell_k}$ in the path $P_n$ if and only if $n$ is odd and she wins in the cycle $C_n$ if and only if $n=3$ or $n=α\cdot (k+1)-1$ with $α\ge2$. For $k\ge2$ even, the only periodic nimber sequences of $\mathrm{CHG}_{\ell_k}$ obtained through extensive computational testing occurred for $k=2^h-4$ with $h\ge3$, e.g, $k\in\{4,12,28,60,\ldots\}$. In this case ($k=2^h-4$ with $h\ge3$), we prove that the nimber sequences of $\mathrm{CHG}_{\ell_k}$ in $P_n$ and in $C_n$ are periodic and Alice loses (resp. wins) in $P_n$ (resp. $C_n$) with $n>k$ only when $n=3k+4$ (resp. $n\in\{2k+1,5k+3\}$). Finally, we show that, for $k=2$, the game $\mathrm{CHG}_{\ell_2}$ in paths $P_n$ is closely related to the classical game Couples-are-Forever of J. H. Conway: it is still an open problem if the nimber sequence is periodic or not and Alice loses only for 12 values of $n$ up to $100$ million.
Two-Sided Dimension Bounds for the Peterson Hit Problem via Projections and Matrix Minors
Let $\mathcal P_k=\mathbb F_2[x_1,\ldots,x_k]$ be the polynomial algebra over the prime field $\mathbb F_2$, viewed as an unstable module over the mod-$2$ Steenrod algebra $\mathcal A$. The well-known Peterson hit problem asks for a minimal set of generators for the $\mathcal A$-module $\mathcal P_k$. This is equivalent to determining the dimension of the cohit space $(Q\mathcal P_k)_d=(\mathcal P_k/\mathcal A^{+}\mathcal P_k)_d$, where $\mathcal A^{+}$ denotes the augmentation ideal of $\mathcal A$, for every $k\geq1$ and positive degree $d$. Although solved in every degree for at most four variables, it remains a difficult open problem in general. Furthermore, given the limitations of current tools, explicitly determining the dimension of $(Q\mathcal P_k)_d$ in the general case appears out of reach. Motivated by these limitations, we establish explicit upper and lower bounds for this dimension for arbitrary positive integers $k$ and $d.$ Our method combines binary combinatorics, linear algebra, and graph and simplicial structures associated with the generating Steenrod squares. We characterize zero rows, count zero columns, and refine rank estimates using Adem relations. Minors and zero rows of the resulting smaller matrix yield further two-sided cohit bounds without determining a complete basis or computing the full hit rank.
The Complexity of Weak Partition Connectivity in Hedgegraphs
We prove that deciding whether the weak partition connectivity (WPC) of an unweighted hedgegraph is at most a given integer is NP-complete, resolving an open question about its computational complexity. Hardness holds even for connected full-support split systems, where each hedge consists of two nonempty, vertex-disjoint hyperedges covering all vertices. We also obtain hardness on connected edge-colored simple graphs in which each color class is a spanning forest with exactly two nontrivial trees. On both classes, exact computation of fractional WPC is NP-hard, whereas hedge connectivity is computable exactly in polynomial time. A binary matrix formulation yields the reduction and a deterministic polynomial-time exact algorithm under a linear intersection condition on row supports after normalization and column compression. In particular, both integer and fractional WPC are computable in polynomial time when these supports have size at most two, whereas NP-hardness holds already when their size is bounded by three. For every fixed $b$, we give deterministic and randomized efficient polynomial-time approximation schemes on hedgegraphs in which each hedge has at most $b$ connected components, counting isolated vertices. Both schemes return one partition that simultaneously approximates integer and fractional WPC. Unless $\mathrm P=\mathrm{NP}$, neither objective admits a deterministic FPTAS, even on the two hard instance classes.
Skeleton Chordalities
We study new higher-dimensional analogs of graph chordality and review the existing ones. Our main results for simplicial complexes are:
(1) $Δ$ skeleton-E-chordal $\Rightarrow$ $Δ^\vee$ vertex-decomposable $\Rightarrow$ $Δ$ skeleton-clique-chordal. Moreover, for subflag complexes, $Δ$ skeleton-E-chordal $\Longleftrightarrow$ $Δ^\vee$ vertex-decomposable. (For $d=1$ this boils down to ``$G$ chordal $\Longleftrightarrow$ $G^\vee$ vertex-decomposable'', a result closely related to Fröberg's theorem.)
(2) For subflag complexes, $Δ$ is skeleton-E-chordal $\Longleftrightarrow$ it splits as $Δ= Δ_1 \cup Δ_2$, with each $Δ_i$ a skeleton-E-chordal induced subcomplex of $Δ$, and with $Δ_1 \cap Δ_2$ a complex whose $1$-skeleton is a clique. (This generalizes ``$G$ chordal $\Longleftrightarrow$ $G$ splits as a union of chordal graphs that intersect in a common clique'').
(3) $Δ$ skeleton-E-chordal $\Longleftrightarrow$ every nonempty induced subcomplex of $Δ$ has a skeleton-E-simplicial vertex. (Generalizes ``$G$ chordal $\Leftrightarrow$ every nonempty induced subgraph has a simplicial vertex''.)
(4) $Δ$ underclosed $\Rightarrow$ $Δ$ skeleton-weakly-chordal and weakly-closed. (Generalizes ``$G$ interval $\Rightarrow$ $G$ chordal and co-comparability''.)
(5) All pure E-chordal complexes are vertex-chordal; all pure mid-chordal complexes are weakly-vertex-chordal; all pure very-weakly-chordal complexes are weakly-ridge-chordal. (This expands Bigdeli, Yazdan-Pour and Zaare-Nahandi's work on ridge-chordality.)
A Littlewood-Richardson Rule for Forest Polynomials
The forest polynomials $\mathfrak{P}_a$ of Nadeau-Tewari form a $\mathbb{Z}$-basis of $\mathbb{Z}[x_1,x_2,\ldots]$ whose role for the cohomology of the quasisymmetric flag variety parallels that of Schubert polynomials for the classical flag variety. Nonnegativity of the structure constants $β_{a,b}^c$ in $\mathfrak{P}_a \mathfrak{P}_b = \sum_c β_{a,b}^c \mathfrak{P}_c$ is known, but no Littlewood-Richardson-style enumerative rule has been available. We give such a rule: $β_{a,b}^c$ counts pairs of forest RC graphs of forest-codes $a$ and $b$ whose lift product lands on a forest RC graph of forest-code and weight both equal to $c$. The same rule descends to the cup product on $H^\bullet(\mathrm{QFl}_n)$. The proof introduces a squash product $\boxtimes$ on RC graphs, which on full Grassmannian RC graphs of a fixed height recovers the plactic monoid, a multiplactic algebra $\mathcal{M}_n$ that models Schubert polynomial multiplication, and a lift product $*$ on RC graphs whose quasi-crystal structure, in the framework of Cain-Guilherme-Malheiro, transports the Nadeau-Tewari forest equivalence through the computation. The row-decomposition machinery on RC graphs that underlies these constructions is developed in a companion paper.
Counting connected multitype graphs with prescribed edge counts
We determine the exponential asymptotics of the number of connected labelled graphs with finitely many vertex types, prescribed numbers of vertices of each type, and prescribed edge counts between each pair of types. Under an irreducibility and strict surplus condition, we express the count for linear surplus of edges as the unrestricted count multiplied by an explicit exponential connectivity factor, up to a multiplicative error \(\exp\{o(n)\}\). The factor is characterized by a finite-dimensional nonlinear system whose solution exists and is unique. We use a probabilistic method, exploiting large-deviation principles and asymptotic estimates for connectedness probabilities to relate the counting problem to the emergence of giant components in suitably tuned supercritical random graphs. For connected bipartite graphs, we determine the exponential rate throughout the regime of positive linear excess and fixed positive limiting proportions of the two vertex classes. In the parameter ranges where the existing upper and lower bounds apply, this identifies the exponential rate left undetermined by those estimates.
The exact Erdős-Ko-Rado Theorem for 3-wise $t$-intersecting uniform families
One of the central problems in extremal set theory is the determination of the maximum size of an $r$-wise $t$-intersecting $k$-graph on $n$ vertices. For $r=2$ after decades of effort, a complete solution was given by the Complete Intersection Theorem (\cite{AK0}). However the case $r\geq 3$ remains wide open. The $t$-star consisting of all $k$-sets containing a fixed $t$-set provides a lower bound. For $r=3$ and $k\geq t+2\geq44$, we determine the exact threshold for which it is optimal for $n>k$. The condition is essentially $n\geq \sqrt{t}k$. For $k\geq t+2\geq47$ and $n\geq\frac{\sqrt{4t+9}-1}{2}k$, we also establish the corresponding Hilton-Milner-type stability result.
Isolation of non-triangle cycles in graphs
Published in Discrete Applied Mathematics 394 (2026), 261-268
• View Publication
• BIB
Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G, \mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood $N[D]$ of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G-N[D]$ contains no $\mathcal{F}$-graph). Let $\mathcal{C}$ be the set of cycles, and let $\mathcal{C}'$ be the set of non-triangle cycles (that is, cycles of length at least $4$). Let $G$ be a connected graph having exactly $n$ vertices and $m$ edges. The first author proved that $ι(G,\mathcal{C}) \leq n/4$ if $G$ is not a triangle. Bartolo and the authors determined a set $\mathcal{E}_4$ of nine graphs such that $ι(G,\{C_4\}) \leq n/5$ if $G$ is not an $\mathcal{E}_4$-graph. Chen and Cui recently strengthened this result by proving that $ι(G, \mathcal{C}') \leq n/5$ if $G$ is not an $\mathcal{E}_4$-graph. This had been proved by Zhang and Wu for the case where $G$ contains no triangle. Various authors proved that $ι(G,\mathcal{C}) \leq (m+1)/5$ if $G$ is not a triangle. We prove that $ι(G,\mathcal{C}') \leq (m+1)/6$ if $G$ is not a $4$-cycle. Zhang and Wu established this for the case where $G$ contains no triangle. Our result yields the inequality $ι(G,\{C_4\}) \leq (m+1)/6$ of Wei, Zhang and Zhao. These bounds are attained by infinitely many (non-isomorphic) graphs. The proof of our inequality hinges on also determining the graphs attaining the bound.
Transience of walks in the countable complete digraph with complex edge weights
We extend a fragment of the symbolic method in enumerative combinatorics by allowing coefficients in generating functions to be defined by infinite series and generalize Pólya's theorem on random walks. Pólya's theorem determines limits of the probabilities that walks in the grid graph on $\mathbb{Z}^d$, starting at the origin $\overline{0}$, visit the given vertex $\overline{v}$. We generalize the grid graph to the countable complete directed graph $\vec{K}_{\mathbb{N}}$ on the vertices $\mathbb{N}=\{1,2,\dots\}$ and weight its edges by complex numbers. We obtain 16 generalizations of Pólya's theorem. Our approach, in fact, generalizes Markov chains on $\mathbb{N}$ starting at $1$.
Integral quasi-strongly regular Cayley graphs
Quasi-strongly regular graphs form a significant generalization of strongly regular graphs. We study the eigenvalues of a family of such graphs, $Γ_H(G)$, constructed from a finite group $G$ and a subgroup $H$. Our main results include a sufficient condition for $Γ_H(G)$ to be integral and an explicit computation of its entire spectrum when $H$ is normal, revealing that the spectrum in this case depends only on $|G|$ and the index $[G:H]$.
Normal approximation for subgraph counts in random intersection graphs: the case of edges
We investigate the subgraph count in the random intersection graph model $\mathcal G(n,m,p)$. Due to substantial edge dependencies, studying even such fundamental statistics is significantly more challenging than in the classical binomial model $\mathcal G(n,p)$. This article establish new normal approximation bounds in both the Wasserstein and Kolmogorov distances for general non-degenerate $U$-statistics. We then illustrate how these results can be potentially applied to the standardized number of subgraphs in the random intersection graph model. Finally, as a basic example, we derive necessary and sufficient conditions for the asymptotic normality of the number of edges in $\mathcal G(n,m,p)$.
Efficient total facial coloring of combinatorial maps
Let $1<k\in\mathbb{Z}$. A total coloring of a connected simple regular graph $G$ via color set $]k]_0=\{0,1,\ldots, k\}$ is efficient if each color yields an efficient dominating set, where efficient domination applies to each color class in $V(G)$. An efficient total coloring of $G$ via $[k]_0$ extends to an efficient total facial coloring $c$ of a map $M(G)$ of $G$ if it assigns a vertex-and-edge $k$-color set to the boundary cycle of each face, with the consequently missing color assigned to the face itself, so that the two adjacent faces along each edge are assigned different colors. Focus is set upon planar and toroidal maps. Modifications of $c$ are also treated by removing a perfect dominating set or a 1-factor from $G$.
The distinguishing number of complete bipartite and crown graphs
The distinguishing number of a permutation group $G\leqslant\Sym(Ω)$ is the minimum number of colours needed to colour $Ω$ in such a way that the only colour preserving element of $G$ is the identity. The distinguishing number of a graph is the distinguishing number of its automorphism group (as a permutation group on vertices). We determine the distinguishing number of the complete bipartite graphs $K_{n,n}$ and the crown graphs $K_{n,n}-nK_2$, as well as the distinguishing number of some `large' subgroups of their automorphism groups, that is, the subgroups that are vertex- and edge-transitive and such that the induced action on each bipart is $\Alt(n)$ or $\Sym(n)$. We show that, if $G$ is a `large' group of automorphisms of $K_{n,n}$, then $n-1\leqslant D(G) \leqslant n+1$. Similarly, if $G$ is a `large' group of automorphisms of a crown graph, then $\lceil \sqrt{n-1}\rceil \leqslant D(G)\leqslant \lfloor \sqrt{n}\rfloor+1$.
\smallskip
\textit{Keywords:} complete bipartite graph; crown graph; distinguishing number; symmetric group; alternating group
An elementary proof of a tight $Δ+1$ bound for the additive chromatic number
An additive coloring assigns positive integer labels to the vertices of a graph so that adjacent vertices have different sums of their neighbors' labels. The additive chromatic number $η(G)$ is the least $k$ for which labels from $[k]$ suffice. We give an elementary orientation argument proving that every finite simple graph $G$ satisfies $η(G) \leq Δ(G) + 1$. This argument yields a $(Δ(G) + 1)$-additive-coloring in polynomial time and improves upon the current best bound of $η(G) \leq Δ(G)^{2} - Δ(G) + 1$, valid for $Δ(G) \geq 2$, from Akbari, Ghanbari, Manaviyat, and Zare.
A Pittel-type limit law for the largest component of random $d$-uniform hypergraphs: enumeration and excursions
Let $H_d(n,M)$ be a $d$-uniform hypergraph with $n$ vertices and $M$ hyperedges. In the critical window $M=\frac{n}{d(d-1)}(1+λn^{-1/3})+O(1)$, its largest component $L_n$ satisfies $$n^{-2/3}L_n\xrightarrow{\mathcal L} \mathcal{F}_{\mathrm{Pit}}\bigl((d-1)^{1/3}a,λ(d-1)^{-2/3}\bigr).$$ (Here $\mathcal{F}_{\mathrm{Pit}}(x,μ)$ denotes the limiting law of the largest component of the critical random graph established by Pittel (2001).) The proof rests on two pillars.
First, a bivariate exponential formula gives the exact finite-size law of $L_n$. Subsequently, cancellation of the orders $n,n^{2/3},n^{1/3}$ in the tree normalization determines the series of rooted hypertrees, then that of unicyclic components and its singular expansions at the radius of convergence $ρ_d$. These calculations are exact; they serve the fixed-excess identities and the cancellation mechanism, and nothing more: no unproved uniformity in the excess enters the proof of the limit law.
Next, by exploration and martingale approximation, the ordered sizes converge unconditionally to the excursion lengths of a Brownian motion with parabolic drift. A monotone coupling transfers the law to $H_d(n,M)$. The limit law is then identified with Pittel's law by a Brownian rescaling: if $h=d-1$, it suffices to multiply lengths by $h^{-1/3}$ and evaluate at parameter $λh^{-2/3}$. The exact Poisson representation dispenses with any separate deconditioning.
We also formulate a two-regime $d$-uniform Bollobas bound (Wright for fixed $\ell$, global combinatorial beyond that), and explicitly indicate why neither regime alone suffices to close the analytic route.
Total $\{k\}$-domination in caterpillars: Structural properties and exact results
The total $\{k\}$-domination problem ($T\{k\}DP$) seeks a minimum-weight function such that the sum of weights in every open neighborhood is at least $k$. While this problem is known to be NP-hard for general graphs, we demonstrate that for the family of caterpillars, it simplifies to the classical total domination number ($k=1$) via the identity $γ^{\{k\}}_t(G) = kγ_t(G)$. This reduction is supported by a general upper bound established for all graphs, which we prove to be tight specifically for caterpillars. The central tool for our analysis is the introduction of a $(T,R)$-representation, a one-to-one mapping that abstracts caterpillar structure into discrete vectors based on support vertex distribution and central path segment lengths. By characterizing these segments through congruence modulo 4, we derive an exact closed-form expression for the total $\{k\}$-domination number of any caterpillar graph.
Central Limit Theorem for continuous $N$-particle systems in fixed- and high-temperature: single level
We characterize central limit theorems for polynomial linear statistics of continuous $N$-particle systems on $\mathbb R$, in both the fixed-temperature regime $θ=β/2>0$ and the high-temperature regime $Nθ\toγ>0$. In each regime, we give necessary and sufficient conditions in terms of the coefficients of the logarithmic Bessel generating function, together with an explicit combinatorial formula for the limiting covariance. At fixed temperature, this formula recovers the classical second-order free moment--cumulant relation, up to the factor $1/θ$; at high temperature, it yields new second-order free $γ$-cumulants and their covariance relations. The proof combines moment extraction through Dunkl operators with a topological expansion of the logarithmic multivariate Bessel function indexed by ribbon graphs on surfaces. This expansion gives a topological interpretation of the free-cumulants: only genus zero contributes at fixed temperature, whereas arbitrarily high genera contribute at high temperature. As applications, we prove that $β$-addition preserves the CLT in both regimes and determine its limiting covariance from the input free cumulants, and establish a suitably rescaled transition from the high-temperature covariance to its fixed-temperature counterpart as $γ\to\infty$.
Normal approximation for subgraph counts in random intersection graphs: the case of cliques
Let $X^{(r)}_n$ denote the number of copies of a complete graph $K_r$ in the random intersection graph model on $n$ vertices. We derive upper bounds on the distance between the standardized version of $X^{(r)}_n$ and the standard normal distribution, measured in both the Kolmogorov and Wasserstein metrics. We complement these results with necessary and sufficient conditions for asymptotic normality. As a byproduct, we provide precise estimates for the variance of $X^{(r)}_n$. In the process, we develop new general techniques for analysing so--called clique covers, which play a crucial role in the study of subgraph probabilities in random intersection graphs.