组合数学

An edge of a graph dominates itself along with any edge that shares an endpoint with it. An efficient edge dominating set (also called a dominating induced matching, DIM) is a subset of edges such that each edge of the graph is dominated by…

In this paper, we obtain upper and lower bounds for the partition function $p(n)$ by using an elementary geometric inequality in Euclidean space, and we extend the method to generalizations of the partition function.

We consider collections of hyperplanes in $\mathbb{R}^n$ covering all vertices of the $n$-dimensional hypercube $\{0,1\}^n$, which satisfy the following nondegeneracy condition: For every $v\in \{0,1\}^n$ and every $i=1,\dots,n$, we demand…

We construct a $2$-distance set with $277$ points in the $23$-dimensional Euclidean space having distances $2$ and $\sqrt{6}$.

Many research works have concerned normality-preserving selection rules and operations on the sequence of digits of a given normal number that maintain or violate normality. This leads us to introduce rearrangement operations on finite…

We study packet routing in the Kautz digraph K(d,D), where every ordered pair of distinct vertices is connected by a unique shortest directed path. The regular routing introduced in earlier work schedules all ordered pairs in tau(d,D) =…

We study paths in the p-Bratteli diagram associated with hook partitions, where p is an odd prime. By comparing blocks along a path, we define inversions and descents. We prove that the sign balance derived from inversions vanishes at every…

Arrow patterns were introduced by Berman and Tenner as a generalization of vincular patterns. They observed that arrow patterns have the potential to bridge the divide between a permutation's cycle notation and its one-line notation; in…

A central objective in Ramsey theory is determining whether restricted families of discrete structures necessarily contain substantially larger homogeneous substructures, compared to the unrestricted structures. In the setting of…

We obtain some properties of the q-Narayana polynomials for q=-1 and compare them to corresponding properties for q=1.

An eigenvalue $\lambda$ of a signed graph $S$ of order $n$ is called a main eigenvalue if its eigenspace is not orthogonal to the all-ones vector $j$. Characterizing signed graphs with exactly $k$ $(1\le k\le n)$ distinct main eigenvalues…

Let $\mathcal{G}=\{G_1, G_2, \ldots , G_k\}$ be a family of bipartite graphs on the same vertex set. A rainbow Hamilton path (cycle) in $\mathcal{G}$ is a path (cycle) that visits each vertex precisely once such that any two edges belong to…

For integers $n \ge 3$ and $r \ge 1$, let $\Gamma_{n,r}$ be the alternating-oriented digraph obtained by gluing $r$ directed $n$-cycles along a single edge in a staircase pattern, and let $A_{n,r}$ be its adjacency matrix. A canonical…

We compute the canonical form of the cosmological polytope for any graph in terms of the dual of the shifted cosmological polytope in two different ways. On the way, we provide an explicit coordinate description of the dual of the…

We resolve a question posed by Benedetti and Sagan by constructing a signreversing involution on Takeuchi's expansion that yields the antipode for the ring of symmetric functions in terms of the Schur basis.

In accordance with the Cameron-Goethals-Seidel-Shult Classification Theorem, we extend the characterization of Hoffman colorability of line graphs from (Abiad, Bosma, Van Veluw, 2025) to all connected graphs with smallest eigenvalue at…

Measures on Fra\"iss\'e classes are a key input in the Harman--Snowden (2022) construction of tensor categories. Treelike Fra\"iss\'e classes provide a particularly tractable source of examples. In this paper, we complete the classification…

We consider isomorphism of controllable graphs and cospectrality of distance-regularized graphs (which are known to be distance-regular or distance-biregular) in relation to logical definability. While most characterizations of these…

Partially ordered patterns (POPs) play an important role in the study of permutation patterns, providing a convenient framework for describing large families of classical patterns. The problem of enumerating permutations that avoid POPs has…

A quick way to compute generating functions related to Pell-Padovan tetranacci numbers and classical sequences of recursions of order two is provided. Eight special instances can be computed at once.