arXiv++ Combinatorics

A graph $G$ is $k$-factor-critical if $G-S$ has a perfect matching for every subset $S \subseteq V(G)$ with $|S|=k$. A spanning subgraph $H$ of $G$ is called a $[1,b]$-odd factor if $b \equiv 1 \pmod{2}$ and $d_{H}(v) \in\left\lbrace 1, 3, \ldots, b\right\rbrace$ for every $v\in V(G),$ where $d_{H}(v)$ denotes the degree of vertex $v$ in $H$. Moreover, $G$ is said to be $k$-critical with respect to $[1,b]$-odd factors if $G-X$ contains a $[1,b]$-odd factor for every subset $X \subseteq V(G)$ with $|X|=k$. In this paper, we provide some sufficient conditions based on the distance spectral radius and the distance signless Laplacian spectral radius for a graph with minimum degree to be $k$-critical with respect to $[1,b]$-odd factors.

The purpose of this note is to explain the structure, general strategy, and main ideas of the proof in the work of Huang, McKenzie, and Yau (2024) on the Ramanujan property and edge universality of random regular graphs. The core of the argument is the derivation of self-consistent equations and a microscopic version of the loop equations for random $d$-regular graphs. We first recall the local law for random $d$-regular graphs, and then illustrate the main ideas behind the derivation of the self-consistent equations and the first loop equation.

Let $n\ge 2$ and $q\ge 2$ be given. The set $X = \mathbb Z_q^n$ is a metric space of diameter $n$ under the Hamming metric $d(\cdot,\cdot)$. We seek a smallest set $S\subseteq X$ that ``skirts'' every $q$-ary $n$-tuple in the sense that every $x\in X$ is at distance $n$ from at least one element of $S$. Thus we aim to compute the total domination number $f(n,q)$ of the graph $G(n,q)$ with vertex set $X$ and edge set $\{ xy \, \| \, d(x,y)=n\}$. We provide constructions and bounds for this number, establishing $f(n,q) = C_q^{(1+o(1))n}$ for some constants $2=C_2>C_3 \geq \cdots$ which we are only able to estimate at the present time.

We characterise sets of points of exceptional Lie incidence geometries, that is, the natural geometries arising from spherical buildings of exceptional types $\mathsf{F_4}$, $\mathsf{E_6}$, $\mathsf{E_7}$, $\mathsf{E_8}$ and $\mathsf{G_2}$, that form a line using the opposition relation. With that, we obtain a classification of so-called ``geometric lines'' in many of these geometries. Furthermore, our results lead to a characterisation of geometric lines in finite exceptional Lie incidence geometries as minimal blocking sets, that is, point sets of the size of a line admitting no object opposite to all of their members, in most cases, and we classify all exceptions. As a further consequence, we obtain a characterisation of automorphisms of exceptional spherical buildings as certain opposition preserving maps.

An $r$-rooted (possibly infinite) digraph $ D=(V,E) $ is a flame if for every $ v\in V\setminus \{ r \} $ there exists a set of edge-disjoint paths from $r$ to $v$ in $D$ that covers all ingoing edges of $ v $. Flames were first studied by Lovász in his investigation of edge-minimal subgraphs of a rooted digraph that preserve all the local edge-connectivities from the root. He showed that these subgraphs are always flames. Szeszlér later proved a common generalisation of Lovász' result and Edmonds' disjoint arborescence theorem. In this paper we focus on infinite flames and prove the following constructive characterisation. Every (possibly infinite) flame can be constructed transfinitely, starting from the empty edge set and adding a single edge at each step in such a way that every intermediate digraph is again a flame.

We say that a plane set $A$ is {\it graph-null,} if there is a function $g\colon [0,1] \to \mathbb{R}$ such that $λ_2 (A+{\rm graph}\, g)=0$. A plane set $A$ has the {\it translational Kakeya property} if, for every translated copy $A'$ of $A$ and for every $ε>0$, there is a finite sequence of vertical and horizontal translations bringing $A$ to $A'$ such that the area touched during the horizontal translations is less than $ε$. These properties are equivalent if $A$ is compact. We show that the graph of every absolutely continuous function is graph-null. Also, the graph of a typical continuous function is graph-null. Therefore, there are nowhere differentiable continuous functions whose graphs are graph-null. Still, we show that there exists a continuous function whose graph is not graph-null.

The sigma-irregularity index $σ(G) = \sum_{uv \in E(G)} (d_G(u) - d_G(v))^2$ measures the total degree imbalance along the edges of a graph. We study extremal problems for $σ(T)$ within the class of trees of fixed order $n$ and bounded maximum degree $Δ= 6$. Using a penalty-function framework combined with handshake identities and congruence arguments, we determine the exact maximum value of $σ(T)$ for every residue class of $n$ modulo $6$, showing that the possible minimum values of the penalty function are $0, 10, 20, 22, 30,$ and $40$. For each case, we provide a complete characterization of all maximizing trees in terms of degree counts and edge multiplicities. In five of the six residue classes, all extremal trees contain only vertices of degrees $1, 2,$ and $6$, while for $n \equiv 3 \pmod{6}$ an additional exceptional family arises involving vertices of degree $3$. These results extend earlier work on sigma-irregularity for smaller degree bounds and illustrate the rapidly growing combinatorial complexity of the problem as the maximum degree increases.

We investigate the combinatorial structure of unrefinable partitions through their correspondence with numerical sets and Young diagrams. Building on the bijection introduced by Keith and Nath, we apply a general geometric criterion that links the unrefinability of a partition directly to the hook lengths of its associated Young diagram. This criterion provides a structural method for the characterization of any unrefinable partition. Using this general framework, we revisit the correspondence results between maximal unrefinable partitions and partitions into distinct parts, previously established using enumerative methods. We provide alternative and purely combinatorial proofs of these bijections, focusing on the rigid symmetry structures of the Young diagrams. In the triangular weight case, we show that the corresponding diagrams are quasi-symmetric, i.e. symmetric up to a single extra column. We extend this analysis to the nontriangular case, showing that the diagrams either exhibit this same quasi-symmetric structure or are perfectly self-conjugate, depending on the maximal part.

We prove that a 3-regular penny graph has at least 16 vertices and show that such a graph with 16 vertices exists.

Set partitions are arrangements of distinct objects into groups. The problem of listing all set partitions arises in a variety of settings, in particular in combinatorial optimization tasks. After a brief review, we give practical approximate formulas for determining the number of set partitions, both for small and large set sizes. Several algorithms for enumerating all set partitions are reviewed, and benchmarking tests were conducted. The algorithm of Djokic et al. is recommended for practical use.

Minimal prime graphs (MPGs) are a special class of prime graphs (also known as Gruenberg-Kegel graphs) associated with finite solvable groups. A graph is an MPG if it has at least two vertices, is connected, its complement is triangle-free and 3-colorable, and the addition of an edge to the complement will violate triangle-freeness or 3-colorability. In this paper, we continue the study of the complements of MPGs focusing on their cycle structure. Our main result establishes that every edge in the complement of an MPG is contained in a 5-cycle. This finding is a much stronger form of an older result stating that every minimal prime graph complement contains at least one induced 5-cycle.

Let $\mathcal{F}$ be a family of $k$-sized subsets of $[n]$ that does not contain $s$ pairwise disjoint subsets. The Erdős Matching Conjecture, a celebrated and long-standing open problem in extremal combinatorics, asserts the maximum cardinality of $\mathcal{F}$ is upper bounded by $\max\left\{\binom{sk-1}{k}, \binom{n}{k}-\allowbreak \binom{n-s+1}{k}\right\}$. These two bounds correspond to the sizes of two canonical extremal families: one in which all subsets are contained within a ground set of $sk-1$ elements, and one in which every subset intersects a fixed set of $s-1$ elements. In this paper, we prove the conjecture.