组合数学

A strong edge-coloring of a graph $G$ is an edge-coloring such that any two edges of distance at most two receive distinct colors. The minimum number of colors we need in order to give $G$ a strong edge-coloring is called the strong…

A $\Gamma$\emph{-distance magic labeling} of a graph $G = (V, E)$ with $|V| = n$ is a bijection $\ell$ from $V$ to an Abelian group $\Gamma$ of order $n$, for which there exists $\mu \in \Gamma$, such that the weight $w(x) =\sum_{y\in…

In this paper, we show that any maximal IC-plane graph of order $n$ has at least $\left\lceil\frac{7}{3}n-\frac{14}{3}\right\rceil$ edges, and any maximal NIC-plane graph of order $n$ has at least…

A proper vertex coloring of a graph is equitable if the sizes of all color classes differ by at most $1$. For a list assignment $L$ of $k$ colors to each vertex of an $n$-vertex graph $G$, an equitable $L$-coloring of $G$ is a proper…

The definition of Ricci curvature on graphs was given in Lin-Lu-Yau, Tohoku Math., 2011, which is a variation of Ollivier, J. Funct. Math., 2009. Recently, a powerful limit-free formulation of Lin-Lu-Yau curvature using the graph Laplacian…

For a graph $G$, and a nonnegative integer $g$, let $a_g(G)$ be the number of $2$-cell embeddings of $G$ in an orientable surface of genus $g$ (counted up to the combinatorial homeomorphism equivalence). In 1989, Gross, Robbins, and Tucker…

We consider structural properties of $\mathcal{L}$-polymatroids, especially those defined on a finite complemented modular lattice $\mathcal{L}$. We introduce a set of cover-weight axioms and establish a cryptomorphism between these axioms…

The containment game is a full information game for two players, initialised with a set of occupied vertices in an infinite connected graph $G$. On the $t$-th turn, the first player, called Spreader, extends the occupied set to $g(t)$…

We study $g$-vector cones in a cluster algebra defined from a weighted orbifold of rank $n$ introduced by Felikson, Shapiro and Tumarkin. We determine the closure of the union of the $g$-vector cones. It is equal to $\mathbb{R}^n$ except…

Fermat-Weber points with respect to an asymmetric tropical distance function are studied. It turns out that they correspond to the optimal solutions of a transportation problem. The results are applied to obtain a new method for computing…

We study $T$-designs in the nonbinary Johnson scheme. This scheme generalizes both the Johnson and Hamming schemes and admits a bivariate $Q$-polynomial structure. Zhu (2021) provided a combinatorial characterization of $T$-designs in this…

For an integer $s\geq1$ and a graph $\Gamma$, a path $(u_0, u_1, \ldots, u_{s})$ composed of vertices of $\Gamma$ is called an {\em $s$-geodesic} if it is a shortest path between $u_0$ and $u_s$. We say that $\Gamma$ is {\em $s$-geodesic…

For a digraph $G$, let $f(G)$ be the maximum chromatic number of an acyclic subgraph of $G$. For an $n$-vertex digraph $G$ it is proved that $f(G) \ge n^{5/9-o(1)}s^{-14/9}$ where $s$ is the bipartite independence number of $G$, i.e., the…

Quasi-isometry is a measure of how similar two graphs are at `large-scale'. Nguyen, Scott, and Seymour [arXiv:2501.09839] and Hickingbotham [arXiv:2501.10840] independently gave a characterisation of graphs quasi-isometric to graphs of…

An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel,…

In this paper, we identify a new family of $e$-positive graphs, called the trinacria graphs $T_{(b+2)b2}$, thereby providing a partial answer to Stanley's question on which graphs are $e$-positive. The trinacria graph $T_{abc}$ is the graph…

The closed form for the hyper-Catalan number C[m2,m3,m4,...], which counts the number of subdivisions of a roofed polygon into m2 triangles, m3 quadrilaterals, m4 pentagons, etc., has been known since 1940. In 2025, Wildberger and Rubine…

For edge-ordered graphs $G^{\prec}$ and $H^{\prec}$, the size edge-ordered Ramsey number $\hat{r}_{\text{edge}}(G^{\prec}, H^{\prec})$ is defined as the smallest integer $m$ for which there exists an edge-ordered graph $F^{\prec}$ (with…

We study the $g$-fan associated with a skew-symmetrizable matrix in the sense of cluster algebras. We show that a skew-symmetrizable matrix is of finite type if and only if its $g$-fan is complete; equivalently (as we show), its support…

For a graph $H$, we say that $H$ has the Erd\H{o}s-P\'osa property for subdivisions with function $f$, if for every graph $G$, either $G$ contains (as a subgraph) $k+1$ pairwise disjoint subdivisions of $H$ or there exists a set $X\subseteq…