组合数学

Let $P_k$ denote the path with $k$ vertices, and $\mathrm{ex}_{\mathcal{OP}}(n,H^{\mathrm{ind}},\emptyset)$ be the maximum number of induced copies of $H$ in an $n$-vertex outerplanar graph. In this paper, we determine the exact value of…

Let $n, r, s$ be three positive integers such that $n\geq 2s+5$. Let $K_r$ denote the complete graph of order $r$. Given a graph $F$, the anti-Ramsey number $ar(n,F)$ is defined as the minimum number $C$ such that any edge-coloring of $K_n$…

We say a hypergraph $\mathcal{H}$ contains a hypergraph $\mathcal{G}$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = |V(\mathcal{G})|$ and $\{e \cap S: e \in E(\mathcal{H})\}$ contains $\mathcal{G}$…

Let $tK_4$ denote the family of all graphs consisting of $t$ copies of $K_4$ that are allowed to share vertices and $t\mathcal{K}_{4}^{-}$ be the set of all unbalanced signed graphs whose underlying graphs are elements of $tK_4$. In this…

Let $C_k$ denote the cycle of length $k$, $S_t$ be a star with $t$ edges. And let $B_t$ be the graph consisting of $t$ copies of $C_4$ sharing one fixed edge. Equivalently, $B_t=K_2 \mathbin{\square} S_t$, which is the Cartesian product of…

Fat minors are a coarse analogue of graph minors where the subgraphs modeling vertices and edges of the embedded graph are required to be distant from each other, instead of just being disjoint. In this paper, we give a coarse analogue of…

For an integer $t \geq 3$, let $\mathcal{L}(t)$ denote the linear equation $x_1 + x_2 + \cdots + x_{t-1} = x_t,$ where all variables are positive integers. For integers $k \geq 1$ and $t_0,t_1,\dots,t_{k-1} \geq 3$, the generalized Schur…

A central theme in extremal combinatorics is the study of the maximum number of edges in an $r$-uniform hypergraph ($r$-graph) with matching number at most $s$ (the Erd\H{o}s Matching Conjecture) or with pairwise intersection at least $t$…

The Cohn-Elkies linear programming (LP) bound for sphere packing is known to be sharp in dimensions 8 and 24 but in no other dimension above 2. We investigate why by examining three independent necessary conditions for LP sharpness, drawn…

Let $p$ be a prime number and let $G$ be a graph on $n$ vertices and $m$ edges. The zero-sum Ramsey number of $G$ over $\mathbb{Z}_p$, denoted by $R(G, \mathbb{Z}_p)$, is the minimum $\ell\in \mathbb{N}$ such that for any edge-coloring…

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}$…

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…

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…

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}…

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…

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$…

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…

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…

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…

For any positive integer $r$ and real number $\alpha>1$, let ${\mathscr L}_r(\alpha)$ denote the set of positive real numbers defined recursively: $\alpha-1\in {\mathscr L}_r(\alpha)$, and for any multi-subset $\{q_1,q_2,\dots,q_s\}$ of…