组合数学

Let $\mathcal{T}$ be a finite nonempty set of $3$-element subsets of a totally ordered set $V$. We view $\mathcal{T}$ as the set of triangles in the support graph. Let $\delta_{1,\mathcal{T}}$ be the signed edge-triangle incidence matrix,…

We prove the finite abelian two-generator conjecture of Darijani--Miraftab--Witte Morris: every directed Cayley digraph on a finite abelian group with two distinct nonzero generators has two arc-disjoint Hamiltonian paths. The proof uses a…

Problem 8.1 in Astaiza et. al. asks about the relationship between the cycle decomposition of a permutation $\sigma$ and that of its symmetric tensor power $\sigma ^{\odot k}$. In this paper, we investigate this question and give formulas…

This paper investigates the new notion of $2$-word-$\pi$-repre\-sentable graphs: the nodes of the graph correspond to the letters of the two words and there exists an edge between two nodes if the projections of any two letters of both…

A graph $G$ is called $k$-factor-critical if after deleting any $k$ vertices the remaining subgraph still has a perfect matching. Fan and Lin [Adv. in Appl. Math. 174 (2026) 103019] posed an adjacency spectral condition for a graph with…

Let $r$ be a positive integer and $G$ be a graph. The list $r$-hued chromatic number of $G$, denoted by $\chi_{L,r}(G)$, is the smallest integer $k$, such that for each $k$-list $L$ of $G$, $G$ has an $(L,r)$-coloring. It is proved in…

We study a family of above-below Ramsey functions $\operatorname{AB}^{(d)}(k)$ defined for sequences of points in $\mathbb R^d$ whose projections to $\mathbb R^{d-1}$ have cyclic order type. The case $d=3$ is the above-below function…

Given an acyclic directed graph (DAG), the space of strength one flows is a lattice polytope called the flow polytope of the DAG. If the DAG admits an ample framing, then the flow polytope is Gorenstein and it linearly projects onto a…

Preorder polytopes, defined from preorders on finite sets, are introduced and studied from a lattice point enumeration point of view. They naturally generalize arbor polytopes, recently introduced and studied by the second named author.…

For graph $G$, a connected graph $H$ of order $n$ is said to be $G$-good if $r(G,H)=(\chi(G)-1)(n-1)+s(G)$, where $\chi(G)$ is the chromatic number of $G$ and $s(G)$ is the minimum size of a color class in a $\chi(G)$-coloring of $G$. Let…

We study an opinion dynamics model in which $n$ agents hold directed trust or distrust opinions about one another, represented as a matrix $M \in \{0,1\}^{n \times n}$ in which 1 represents trust and 0 represents distrust. A gossip event…

We generalize and prove the recursive relation \[ S_{\lambda}(V) = \sum_{L\subseteq V\text{ line}} S_{\lambda}(V \mathbin{/\mkern-5mu/} L) \] conjectured by I. G. Macdonald for his "7th variation" of the Schur functions. This variation is a…

This paper establishes new upper bounds for the sum of the $k$ largest eigenvalues of symmetric matrices. When applied to the adjacency matrix of a graph, our results improve upon a related bound due to Mohar {\bf [On the sum of k largest…

We propose a degree-preserving variant of the Builder--Chooser clique game of Pettie, Tardos, and Walczak. In each round, Builder chooses a matching, performs a degree-preserving growth (DPG) step by replacing the chosen edges with edges…

We develop a spectral approach to Sidorenko-type inequalities and apply it to establish sharp edge-spectral supersaturation results. Let $H$ be a bipartite graph with $v$ vertices and $e$ edges, where $v\le e$, and write $M(G)=2e(G)$. We…

We use the connective formal group law to define a one-parameter ($\beta$-)deformation of the motivic Segre classes of Schubert cells in the $d$-step flag variety. This $\beta$-deformation specializes to the motivic Segre classes of…

In 1994, Frieze and Teng proposed an integer linear programming formulation of the NP-Complete Exact Partition problem, whose LP-relaxation they claimed was non-degenerate. Contrary to their claim, we show how an instance of Exact Partition…

In 1980, Paul Erd\H{o}s posed the following problem: For every positive integer $n,$ determine a nonhamiltonian graph of order $n$ having the maximum number of Hamilton paths. We solve the more general problem of determining the…

Mixed radial Moore graphs are approximations of mixed Moore graphs that preserve the distance-preserving spanning tree for some vertices. One way to measure their resemblance to a mixed Moore graph is using the status measure. The status of…

We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate…