arXiv++ Combinatorics

Researchers have repeatedly found that the ends of an RNA sequence are significantly closer than expected for a random linear chain. However, we prove that the ends of a branched structure are almost certainly close. Our results are obtained via combinatorial branching models of increasing complexity using tools from multivariate analytic combinatorics. We completely characterize parameters tracking end-to-end distance, including means and variances. Then, we compare to existing datasets of known RNA structures, as well as the minimum free-energy structures of randomized shuffles. We find that the shuffled structures resemble our theoretical distributions while the known RNA structures have similar parameter values but are more concentrated.

The online Ramsey game for graphs $G$ and $H$ is played on the infinite complete graph $K_\mathbb{N}$. Each round, Builder chooses an edge, and Painter colors it red or blue. The online Ramsey number $\tilde{r}(G,H)$ is the smallest integer $t$ for which Builder has a strategy that guarantees a red copy of $G$ or a blue copy of $H$ in at most $t$ rounds. In this paper, we prove that for every positive integer $k$, there is a constant $L$ such that $\lim_{n\to\infty}\frac{\tilde{r}(P_k,P_n)}{n}=\lim_{n\to\infty}\frac{\tilde{r}(P_k,C_n)}{n}=L$.

It is proved that for a graph of order $n$, where $n\ge 6$, if the signless Laplacian index is larger than or equal to certain value depending on $n$, then the graph contains a trebly chorded cycle, where the chords incident to a common vertex, unless it is one of two specified graphs.

For a simple graph $G$ with $n$ vertices, let $A_G$ denote the adjacency matrix of $G$, and let $λ_1(G) \geq λ_2(G) \geq \dots \geq λ_n(G)$ be its eigenvalues. For an integer $p \geq 2$, the positive $p$-energy and negative $p$-energy of $G$, denoted $\mathcal{E}^+_p(G)$ and $\mathcal{E}^-_p(G)$, are defined as follows: $\mathcal{E}^+_p(G) = \sum_{λ_i(G) > 0} |λ_i(G)|^p$ and $\mathcal{E}^-_p(G) = \sum_{λ_i(G) < 0} |λ_i(G)|^p,$ respectively. Tang, Liu, and Wang proposed a conjecture that, for any integer $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^+_p(G) \geq \mathcal{E}^+_p(P_n)$. Akbari, Kumar, Mohar, and Pragada conjectured that, for any $p \geq 2$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, and they proved this conjecture for $p \geq 4$. In this paper, we prove that every connected $n$-vertex graph, except for $K_1$, $K_2$, and $P_3$, satisfies $\mathcal{E}^+_3(G) \geq \frac{\sqrt{5}}{2}n$. Moreover, we show that for any integer $p \geq 3$, every connected $n$-vertex graph $G$ satisfies $\mathcal{E}^-_p(G) \geq \mathcal{E}^-_p(K_n)$, which improves upon the previously known result.

The Turán number of a graph $F$, $ex(n,F)$, is the maximum number of edges in a graph on $n$ vertices which does not contain $F$ as a subgraph. Let $S_{a,b}$ denote a double star with a central edge $uv$, $a$ leaves connected to $u$ and $b$ leaves connected to $v$. The function $ex(n,S_{a,b})$ has been studied for $a=1,2$, their extremal graphs are disjoint copies of $K_{a+b+1}$ and either a small clique or a near $b$-regular graph. In this paper, we further study $ex(n,S_{3,b})$ and determine the extremal graphs, which have more structures than those of $a=1,2$.

An {\em odd subgraph} of a graph is a subgraph in which every vertex has odd degree. A graph $G$ is said to be {\em odd $k$-edge-colorable} if there exists an edge-coloring $E(G) \rightarrow \{1,2, \ldots, k\}$ such that each non-empty color class induces an odd subgraph of $G$. The {\em odd chromatic index} of $G$, denoted by $χ'_o(G)$, is the minimum $k$ for which $G$ is odd $k$-edge-colorable. In this paper, we prove that every $4$-connected simple graph of odd order is odd 3-edge-colorable, and show that the $4$-connectedness assumption is necessary. We also prove that for a connected Eulerian graph $G$ of odd order, there exists an edge $e$ such that $G-e$ is odd $2$-edge-colorable.

We prove a uniform upper and lower bound for Delannoy numbers. This is achieved by using the representation of Delannoy numbers as the number of lattice points in high-dimensional cross-polytopes (also known as hyper-octahedrons or $\ell^1$ balls) and proving a uniform (dimension-free) count for these lattice points. Using this count, we establish dimension-free estimates for discrete maximal functions over cross-polytopes. By proving a comparison principle with the continuous setting, we obtain a dimension-free estimate on all $\ell^p(\mathbb{Z}^d)$ spaces for radii $R>C d^{3/2}.$ We also treat the full maximal function on $\ell^2(\mathbb{Z}^d)$ for small radii $R\le d^{1-\varepsilon}$ and the dyadic maximal function for any radii.

The general position number for graphs ask for largest vertex subsets $S$ such that no three vertices are contained on a common shortest path. We examine this problem in the setting of directed graphs. We provide bounds for the general position number of digraphs, show that the problem is NP-complete for oriented graphs, investigate the problem for some important families of digraphs such as circulant digraphs, Kautz digraphs and permutation digraphs, and study the general position numbers obtained from all orientations of an undirected graph.

In 1981, Erdős and Faudree asked whether there exists an infinite family of graphs $G_N$ on $N$ vertices with $Δ(G_N)<N-1$ and $\sri(G_N)=1$, and whether every family with $|V(G_N)|=N$ and $Δ(G_N)<c$ for some fixed constant $c$ must satisfy $\sri(G_N)\to 0$. We show first that the literal forms of the two questions are controlled entirely by isolated vertices: for every nonempty graph $G$, the whole sequence $\bigl(\sr(tK_2,G)\bigr)_{t\ge 1}$ depends only on the isolate-free core $\core(G)$. Consequently, Problem 1 has a positive answer and Problem~2 has a negative answer in exactly their original form. We then turn to the genuine content behind the two problems. For Problem 1 we study connected graphs and prove a complete limit theorem: for every $α\in[0,1]$ there exists a family of connected bipartite graphs $G_N$ with $|V(G_N)|=N$ and $\sri(G_N)\toα$; in particular there are connected graphs with $Δ(G_N)=N-2$ and $\sri(G_N)\to 1$. For Problem~2 we prove a strengthened positive statement: if $Δ(G_N)<c$ for a fixed constant $c$ and the isolate-free core of $G_N$ has order tending to infinity, then $\sri(G_N)\to 0$. In particular every connected bounded-degree family satisfies $\sri(G_N)\to 0$. Thus the original Erdős-Faudree questions are resolved in their literal form, and the mechanism behind their connected and disconnected behavior is identified precisely.

We introduce a colorful version of separating path systems, in which two edges can only be separated from each other by two paths of distinct colors. We calculate the minimum sizes of such systems for various standard classes of graphs and numbers of colors. With respect to this setup, we identify three possible asymptotic behaviors for a class of graphs as the number of colors goes to infinity, and we find a wide range of examples that display each of these behaviors.

In this article, we derive explicit combinatorial formulas, depending only on $q$, for the Wedderburn decomposition of the rational group algebras of the finite linear groups $\operatorname{SL}_2(q)$ and $\operatorname{PSL}_2(q)$. Furthermore, we also determine the number of pairwise non-isomorphic simple $\mathbb Q G$-modules of each possible dimension for $G$ being either $\operatorname{SL}_2(q)$ or $\operatorname{PSL}_2(q)$.

Using the LP algebraic toolkit, Conway's original topograph is rethought of as a cluster construction, paving the way for a wider topography based on mutation-type local rules. As a remarkable application of such cluster-driven upgrade, both the process of analytic continuation for Painlevé VI and the reduction algorithm for quadratic forms are endowed with the Laurent phenomenon. En passant, the rattlesnake is defined so to complete the bijection between snake graphs and rationals to the whole of $\mathbb{Q}$.

The binding number $b(G)$ of a graph, introduced by Woodall [J. Combin. Theory, Ser. B, 1973], is a central topic of both structural and extremal graph theory. It is closely related to fundamental combinatorial and structural properties of graphs. The graphs with $b(G)\geq1$ exhibit strong expansion properties and a highly connected global structure. In contrast, the structure for graphs with $b(G)<1$ remains far less well understood. Kane et al. [J. Graph Theory, 1981] proved that if $b(G)<1$, then every binding set of $G$ is independent. Goddard and Swart [Quaest. Math., 1990] showed that if $b(G)\leq1$, then the toughness $τ(G)\leq b(G).$ This makes it particularly interesting to investigate extremal problems for graphs with \(b(G)<1\). For any integer $r\geq1,$ we completely characterize the unique extremal graph that maximizes the size (spectral radius) among all graphs of order $n$ satisfying $b(G)<\frac{1}{r}.$ For any bipartite graph $G=(X,Y)$ on $n$ vertices, it is readily seen that $b(G)\leq\min\{|X|/|Y|,|Y|/|X|\}\leq1.$ Notably, the complete balanced bipartite graph $K_{\frac{n}{2}, \frac{n}{2}}$ achieves the maximum size (spectral radius) among all bipartite graphs with $b(G)=1$. In this paper, we completely determine the extremal graphs maximizing the size or the spectral radius among all bipartite graphs with $b(G)<\frac{1}{r}$, where $r\geq1$ is an integer.

Let $G = V, E$ be a simple connected undirected graph. A set $X \subseteq V$ is \emph{geodesically convex} if for any pair of vertices $x, y \in X$, all vertices on all shortest paths in $G$ from $x$ to $y$ are contained in $X$. A set $H \subseteq V$ is said to be a {halfspace} if both $H$ and its complement (denoted by $H^c$) are convex. Given two sets $A, B \subseteq V$, the { halfspace separation} problem asks if there exist complementary halfspaces $H, H^c$ such that $A \subseteq H$ and $B \subseteq H^c$. The halfspace separation problem is known to be NP-complete for the geodesic convexity of general graphs. We show that geodesic halfspace separation is polynomial for weakly bridged graphs, pseudo-modular graphs, and the basis graphs of matroids.

Let $k \in \mathbb{N}$ and let $H_1, H_2, \ldots, H_k$ be simple graphs such that for each $j \in \{ 1, 2, \ldots, k \}$, the vertex set of $H_j$ is $\{ 0, 1, 2, \ldots, n_j - 1 \}$ for some $n_j \in \mathbb{N}$. The ordered Ramsey number $R_\mathrm{ord}(H_1, H_2, \ldots, H_k)$ is the smallest $n \in \mathbb{N}$ for which every $k$-edge-coloring of the complete graph on the vertex set $\{ 0, 1, 2, \ldots, n - 1 \}$ contains $H_j$ as a monochromatic subgraph of color $j$ for some $j \in \{ 1, 2, \ldots, k \}$, with the vertices appearing in the same order as in $H_j$. Inspired by the work of Poljak, we apply the Kissat SAT solver to determine new small two-color ordered Ramsey numbers of various classes of graphs: monotone paths, monotone cycles, alternating paths, stars, complete graphs and nested matchings. In addition, we introduce the cyclic Ramsey numbers $R_\mathrm{cyc}(H_1, H_2, \ldots, H_k)$ as a natural relaxation of the ordered Ramsey numbers, and once again use Kissat to determine various such numbers for the two-color case. By observing structural patterns in the computational results, we determine all ordered or cyclic Ramsey numbers for several pairs of classes of graphs. Furthermore, we obtain some bounds on ordered and cyclic Ramsey numbers where one argument is a connected graph, while the other is a monotone path or a monotone cycle. We also explore how reinforcement learning can be used through the recently developed Reinforcement Learning for Graph Theory (RLGT) framework to obtain lower bounds on ordered and cyclic Ramsey numbers. Finally, we introduce the permutational Ramsey numbers to show how the different Ramsey-type formulations involving standard, ordered and cyclic Ramsey numbers can be unified within a group-theoretic framework.

We identify a universal finite-$N$ structure underlying Wilson loop expectations in lattice Yang-Mills, in any dimension $d\geq 2$, for gauge group $\mathrm{U}(N)$, and for arbitrary smooth central plaquette actions. The starting point is a state-sum expansion in plaquette labels by irreducible representations, in which each term factorizes into an action-dependent spectral weight and an action-independent topological coefficient. We then analyze these coefficients in three exact ways: as a gauge/string expansion over decorated spanning surfaces, as a local spin-foam/channel model on the dual incidence graph, and as a universal finite-$N$ master loop equation that closes on the coefficient side. As a consequence, several recent Wilson-action results are recovered as specializations of our broader action-agnostic framework.

The study of spanning trees and related structures is central in graph theory, closely connected to understanding functions between finite sets. This paper generalizes the established relationship between rooted trees and eventually constant endomorphisms to a wider context including $k$-tuples of functions among $k$ disjoint vertex sets. We derive a weighted count of eventually constant $k$-tuples, which are characterized by their stabilization to constancy upon iterated composition. This construction is the set-theoretic analogue of the nilpotent cone and offers new insight into the combinatorial structure of cyclic digraphs. By identifying these $k$-tuples with their induced digraphs, we construct explicit formulas for their generating polynomials and analyze the cardinality of the set of eventually constant $k$-tuples. These polynomials are multisymmetric in $k$ sets of variables and can be re-expressed as the character of a representation of the product of general linear groups. We extend the ideas to the more general structures of eventually $N$-cyclic and $λ$-cyclic $k$-tuples, which we define and provide similar theorems for their generating functions and cardinality.

We provide a method for parallelizing the branch-and-bound with isomorphism pruning algorithm developed by Margot [Symmetric ILP: Coloring and small integers, Discrete Optimization (4) (2007), 40-62]. We apply our method to classify orthogonal arrays. For classifying all non-OD- equivalent OA(128, 9, 2, 4) and OA(144, 9, 2, 4) our method results in linear speedups. Finally, our method enables classifying all non-OD-equivalent OA(192, k, 2, 4) for k = 9, 10, 11 for the first time.