arXiv++ Combinatorics

One of the classical topics in graph Ramsey theory is the study of which $n$-vertex graphs have Ramsey numbers that are linear in $n$. In this paper, we consider this problem in the context of directed graphs. The oriented Ramsey number of a digraph $G$ is the smallest integer $N$ such that every $N$-vertex tournament contains a copy of $G$. We prove that every bounded-degree acyclic digraph with a ``local edge structure'' has a linear oriented Ramsey number. More precisely, we say that a digraph $G$ has graded bandwidth $w$ if its vertices can be partitioned into sets $V_1, \dots, V_H$ such that all edges $uv \in E(G)$ with $u \in V_i$ and $v \in V_j$ satisfy $1 \leq j - i \leq w$. We prove that $\vec{r}(G) \leq 3^{57Δw} |V(G)|$ for any acyclic $G$ with graded bandwidth $w$ and maximum degree $Δ$. This provides a common generalization of several prior results, including on digraphs of bounded height, of digraphs of bounded bandwidth, and blowups of bounded-degree oriented trees. This notion also captures a wide variety of natural digraphs, such as oriented grids and hypercubes.

It is well known that in games with imperfect information, such as poker, bluffing with some probability can be a component of the optimal strategy. However, as far as we know, nobody has ever exhibited a Scrabble position in which the optimal strategy involves bluffing, or even a Scrabble position in which the optimal strategy is a mixed (i.e., randomized) strategy. We present a carefully constructed Scrabble position, that could actually arise in a tournament game with no invalid words played, in which the optimal strategy (assuming that a tied score leads to the point being split equally, with no recourse to so-called "spread points" as a tie-breaking mechanism) is to make Move A with probability 1/3 and to make Move B with probability 2/3. Move B can reasonably be called a bluff, in the sense that it sets up a threat which the player cannot in fact execute, but which the opponent may not be able to rule out.

In this paper, we investigate the structural properties of trees and bipartite graphs through the lens of topological indices and combinatorial graph theory. We focus on the First and Second Hyper-Zagreb indices, $HM_1(G)$ and $HM_2(G)$, for trees $T \in T(n, Δ)$ with $n$ vertices and maximum degree $Δ$. Key propositions demonstrate that the presence of end-support or support vertices of degree at least three, distinct from a vertex of maximum degree, implies the existence of another tree $T' \in T(n, Δ)$ with strictly smaller Hyper-Zagreb indices. These results are extended to exponential forms, highlighting the influence of high-degree vertices. Additionally, we explore structural characterizations of trees via degree sequence majorization and $S$-order, establishing conditions for the first and last trees in specific classes. For bipartite graphs, we examine equitable coloring, cycle lengths, and $k$-redundant tree embeddings, supported by theorems on connectivity and minimum degree constraints. The paper also addresses the independence number of bipartite graphs, exterior covers, and competition numbers of complete $r$-partite graphs, providing bounds and structural insights. Finally, we discuss Markov-chain algorithms for generating bipartite graphs and tournaments with prescribed degree sequences, analyzing their mixing times and convergence properties. These results contribute to the understanding of extremal properties and combinatorial structures in graph theory, with applications in chemical graph theory and network analysis.

The determinant of a tournament $T$ is defined as the determinant of the skew-adjacency matrix of $T$. For a positive odd integer $k$, let $\mathcal{D}_k$ be the set of tournaments whose all subtournaments have determinant at most $k^2$. Some existing results show that, for $k \in \{1,3,5\}$, a tournament $T \in \mathcal{D}_k \backslash \mathcal{D}_{k-2}$ ($T \in \mathcal{D}_1$ when $k=1$) if and only if $T$ is switching equivalent to a transitive blowup of $L_{k+1}$, where $L_{k+1}$ is a tournament of order $k+1$ with a specific structure. There exist some tournaments with the special property that adding any vertex that does not conform to their structure increases the maximum value of determinants among their subtournaments. We define these tournaments as CR tournaments. In this paper, we introduce CR tournaments, strong CR tournaments and basic tournaments, and show some properties and conclusions on these tournaments. For a basic strong CR tournament $H \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$, we show that if $T$ contains a subtournament which is switching isomorphic to $H$, then $T \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$ if and only if $T$ is switching equivalent to a transitive blowup of $H$. Moreover, we demonstrate that all $L_n$ are strong CR tournaments, and based on this conclusion, we answer a question posed in [J. Zeng, L. You, On determinants of tournaments and $\mathcal{D}_k$, arXiv:2408.06992, 2024.], and propose some questions for further research.

Let $G$ be a Dirac graph, and let $S$ be a vertex subset of $G$, chosen uniformly at random. How likely is the induced subgraph $G[S]$ to be Hamiltonian? This question, proposed by Erdős and Faudree in 1996, was recently resolved by Draganić, Keevash and Müyesser, in the setting of graphs. In this paper, we study a similar question for tournaments -- if $T$ is a tournament of high minimum degree, how likely is it for a random induced subtournament of $T$ to be Hamiltonian? We prove an optimal bound on this probability, and extend the results to the regime where the subset is not sampled uniformly at random, but according to a $p$-biased measure.

A digraph $D$ is $k$-linked if for every $2k$ distinct vertices $ x_1,\ldots , x_k, y_1, \ldots , y_k$ in $D$, there exist $k$ pairwise vertex-disjoint paths $P_1,\ldots, P_k$ such that $P_i$ starts at $x_i$ and ends at $y_i$ for each $i\in [k]$. In 2021, Girão, Popielarz, and Snyder [Combinatorica 41 (2021) 815--837] conjectured that there exists a constant $C >0$ such that every $(2k+1)$-connected tournament with minimum out-degree at least $Ck$ is $k$-linked. In this paper, we disprove this conjecture by constructing a family of counterexamples with minimum out-degree at least $\frac{k^2+11k}{26}$ (for $k\geq 42$). Further, we prove that every $(2k+1)$-connected semicomplete digraph $D$ with minimum out-degree at least $ 7k^2 + 36k$ is $k$-linked. This result is optimal in terms of both connectivity and minimum out-degree (up to a multiplicative factor), which refines and generalizes the earlier result of Girão, Popielarz, and Snyder.

An oriented graph $H$ is Turánable (resp. tileable) if there exist $n_0 \in \mathbb{N}$ such that every regular tournament on $n \ge n_0$ vertices contains a copy of $H$ (resp. a perfect $H$-tiling). We disprove a conjectured characterization of Turánable oriented graphs by DeBiasio, Han, Lo, Molla, Piga, and Treglown, show that there are Turánable oriented graphs which are not tileable, and provide a new example of tileable oriented graph.

Kühn and Osthus conjectured in 2013 that regular tripartite tournaments are decomposable into Hamilton cycles. Somewhat surprisingly, Granet gave a simple counterexample to this conjecture almost 10 years later. In this paper, we show that the conjecture of Kühn and Osthus nevertheless holds in an approximate sense, by proving that every regular tripartite tournament admits an approximate decomposition into Hamilton cycles. We also study Hamilton cycle packings of directed graphs in the same regime, and show that for large $n$, every balanced tripartite digraph on $3n$ vertices which is $d$-regular for $d\ge (1+o(1))n$ admits a Hamilton decomposition.

A digraph $D$ is called \emph{path extendable} if for every nonhamiltonian (directed) path $P$ in $D$, there exists another path $P^\prime$ with the same initial and terminal vertices as $P$, and $V(P^\prime) = V (P)\cup \{w\}$ for a vertex $w \in V(D)\setminus V(P)$. Hence, path extendability implies paths of continuous lengths between every vertex pair. In earlier works of C. Thomassen and K. Zhang, it was shown that the condition of small $i(T)$ or positive $π_2(T)$ implies paths of continuous lengths between every vertex pair in a tournament $T$, where $i(T)$ is the irregularity of $T$ and $π_2(T)$ denotes for the minimum number of paths of length $2$ from $u$ to $v$ among all vertex pairs $\{u,v\}$. Motivated by these results, we study sufficient conditions in terms of $i(T)$ and $π_2(T)$ that guarantee a tournament $T$ is path extendable. We prove that (1) a tournament $T$ is path extendable if $i(T)< 2π_2(T)-(|T|+8)/6$, and (2) a tournament $T$ is path extendable if $π_2(T) > (7|T|-10)/36$. As an application, we deduce that almost all random tournaments are path extendable.

A king in a directed graph is a vertex $v$ such that every other vertex is reachable from $v$ via a path of length at most $2$. It is well known that every tournament (a complete graph where each edge has a direction) has at least one king. Our contributions in this work are: - We show that the query complexity of determining existence of a king in arbitrary $n$-vertex digraphs is $Θ(n^2)$. This is in stark contrast to the case where the input is a tournament, where Shen, Sheng, and Wu [SICOMP'03] showed that a king can be found in $O(n^{3/2})$ queries. - In an attempt to increase the "fairness" in the definition of tournament winners, Ho and Chang [IPL'03] defined a strong king to be a king $k$ such that, for every $v$ that dominates $k$, the number of length-$2$ paths from $k$ to $v$ is strictly larger than the number of length-$2$ paths from $v$ to $k$. We show that the query complexity of finding a strong king in a tournament is $Θ(n^2)$. This answers a question of Biswas, Jayapaul, Raman, and Satti [DAM'22] in the negative. A key component in our proofs is the design of specific tournaments where every vertex is a king, and analyzing certain properties of these tournaments. We feel these constructions and properties are independently interesting and may lead to more interesting results about tournament solutions.

We resolve a question of Gillespie, Griffin, and Levinson that asks for a combinatorial bijection between two classes of trivalent trees, tournament trees and slide trees, that both naturally arise in the intersection theory of the moduli space $\overline{M}_{0,n+3}$ of stable genus zero curves with $n+3$ marked points. Each set of trees enumerates the same intersection product of certain pullbacks of $ψ$ classes under forgetting maps. We give an explicit combinatorial bijection between these two sets of trees using an insertion algorithm. We also classify the words that appear on the slide trees of caterpillar shape via pattern avoidance conditions.

In its Euclidean form, the Dense Neighborhood Lemma (DNL) asserts that if $V$ is a finite set of points of $\mathbb{R}^N$ such that for each $v \in V$ the ball $B(v,1)$ intersects $V$ on at least $δ|V|$ points, then for every $\varepsilon >0$, the points of $V$ can be covered with $f(δ,\varepsilon)$ balls $B(v,1+\varepsilon)$ with $v \in V$. DNL also applies to other metric spaces and to abstract set systems, where elements are compared pairwise with respect to (near) disjointness. In its strongest form, DNL provides an $\varepsilon$-clustering with size exponential in $\varepsilon^{-1}$, which amounts to a Regularity Lemma with 0/1 densities of some trigraph. Trigraphs are graphs with additional red edges. They are natural instances of partial concept classes, introduced by Alon, Hanneke, Holzman and Moran [FOCS 2021]. This paper is mainly a combinatorial study of the generalization of Vapnik-Cervonenkis dimension to partial concept classes. The main point is to show how trigraphs can sometimes explain the success of random sampling even though the VC-dimension of the underlying graph is unbounded. All the results presented here are effective in the sense of computation: they primarily rely on uniform sampling with the same success rate as in classical VC-dimension theory. Among some applications of DNL, we show that $\left(\frac{3t-8}{3t-5}+\varepsilon\right)\cdot n$-regular $K_t$-free graphs have bounded chromatic number. Similarly, triangle-free graphs with minimum degree $n/3-n^{1-\varepsilon}$ have bounded chromatic number (this does not hold with $n/3-n^{1-o(1)}$). For tournaments, DNL implies that the domination number is bounded in terms of the fractional chromatic number. Also, $(1/2-\varepsilon)$-majority digraphs have bounded domination, independently of the number of voters.

We study the $b$-biased Oriented-cycle game where two players, OMaker and OBreaker, take turns directing the edges of $K_n$ (the complete graph on $n$ vertices). In each round, OMaker directs one previously undirected edge followed by OBreaker directing between one and $b$ previously undirected edges. The game ends once all edges have been directed, and OMaker wins if and only if the resulting tournament contains a directed cycle. Bollobás and Szabó asked the following question: what is the largest value of the bias $b$ for which OMaker has a winning strategy? Ben-Eliezer, Krivelevich and Sudakov proved that OMaker has a winning strategy for $b \leq n/2 - 2$. In the other direction, Clemens and Liebenau proved that OBreaker has a winning strategy for $b \geq 5n/6+2$. Inspired by their approach, we propose a significantly stronger strategy for OBreaker which we prove to be winning for $b \geq 0.7845n + O(1)$.

We study oriented graphs whose Hermitian adjacency matrices of the second kind have few eigenvalues. We give a complete characterization of the oriented graphs with two distinct eigenvalues, showing that there are only four such graphs. We extend this result to mixed graphs. We show that there are infinitely many regular tournaments with three distinct eigenvalues. We extend our main results to Hermitian adjacency matrices defined over other roots of unity.

A directed graph (digraph) $ D $ is $ k $-linked if $ |D| \geq 2k $, and for any $ 2k $ distinct vertices $ x_1, \ldots, x_k, y_1, \ldots, y_k $ of $ D $, there exist vertex-disjoint paths $ P_1, \ldots, P_k $ such that $ P_i $ is a path from $ x_i $ to $ y_i $ for each $ i \in [k] $. In 1980, Thomassen conjectured that there exists a function $ f(k) $ such that every $ f(k) $-strong digraph is $ k $-linked. He later disproved this conjecture by showing that $ f(2) $ does not exist for general digraphs and proved that the function $f(k)$ exists for the class of tournaments. In this paper we consider a large class $\mathcal{ D} $ of digraphs which includes all semicomplete digraphs (digraphs with no pair of non-adjacent vertices) and all quasi-transitive digraphs (a digraph $D$ is quasi-transitive if for any three vertices $x, y, z$ of $D$, whenever $xy$ and $yz$ are arcs, then $x$ and $z$ are adjacent). We prove that every $ 3k $-strong digraph $D\in \mathcal{D}$ with minimum out-degree at least $ 23k $ is $ k $-linked. A digraph $D$ is $l$-quasi-transitive if whenever there is a path of length $l$ between vertices $u$ and $v$ in $D$ the vertices $u$ and $v$ are adjacent. Hence 2-quasi-transitive digraphs are exactly the quasi-transitive digraphs. We prove that there is a function $f(k,l)$ so that every $f(k,l)$-strong $l$-quasi-transitive digraph is $k$-linked. The main new tool in our proofs significantly strengthens an important property of vertices with maximum in-degree in a tournament. While Landau in 1953 already proved that such a vertex $v$ is reachable by all other vertices by paths of length at most 2, we show that, in fact, the structure of these paths is much richer. In general there are many such paths for almost all out-neighbours of $v$ and this property is crucial in our proofs.

In a digraph $D$, an arc $e=(x,y) $ in $D$ is considered transitive if there is a path from $x$ to $y$ in $D- e$. A digraph is transitive-free if it does not contain any transitive arc. In the Transitive-free Vertex Deletion (TVD) problem, the goal is to find at most $k$ vertices $S$ such that $D-S$ has no transitive arcs. In our work, we study a more general version of the TVD problem, denoted by $\ell$-Relaxed Transitive-free Vertex Deletion ($\ell$-RTVD), where we look for at most $k$ vertices $S$ such that $D-S$ has no more than $\ell$ transitive arcs. We explore $\ell$-RTVD on various well-known graph classes of digraphs such as directed acyclic graphs (DAGs), planar DAGs, $α$-bounded digraphs, tournaments, and their multiple generalizations such as in-tournaments, out-tournaments, local tournaments, acyclic local tournaments, and obtain the following results. Although the problem admits polynomial-time algorithms in tournaments, $α$-bounded digraphs, and acyclic local tournaments for fixed values of $\ell$, it remains NP-hard even in planar DAGs with maximum degree 6. In the parameterized realm, for $\ell$-RTVD on in-tournaments and out-tournaments, we obtain polynomial kernels parameterized by $k+\ell$ for bounded independence number. But the problem remains fixed-parameter intractable on DAGs when parameterized by $k$.

In the Subset Feedback Arc Set in Tournaments, Subset-FAST problem we are given as input a tournament $T$ with a vertex set $V(T)$ and an arc set $A(T)$, along with a terminal set $S \subseteq V(T)$, and an integer $ k$. The objective is to determine whether there exists a set $ F \subseteq A(T) $ with $|F| \leq k$ such that the resulting graph $T-F $ contains no cycle that includes any vertex of $S$. When $S=V(T)$ this is the classic Feedback Arc Set in Tournaments (FAST) problem. We obtain the first polynomial kernel for this problem parameterized by the solution size. More precisely, we obtain an algorithm that, given an input instance $(T, S, k)$, produces an equivalent instance $(T',S',k')$ with $k'\leq k$ and $V(T')=O(k^2)$. It was known that FAST admits a simple quadratic vertex kernel and a non-trivial linear vertex kernel. However, no such kernel was previously known for Subset-FAST. Our kernel employs variants of the most well-known reduction rules for FAST and introduces two new reduction rules to identify irrelevant vertices. As a result of our kernelization, we also obtain the first sub-exponential time FPT algorithm for Subset-FAST.

In 1974, Erdős asked the following question: given a graph $G$ and a directed graph $\vec{H}$, how many ways are there to orient the edges of $G$ such that it does not contain $\vec{H}$ as a subgraph? We denote this value by $D(G, \vec{H})$. Further, we let $D(n, \vec{H})$ denote the maximum of $D(G, \vec{H})$ over all graphs $G$ on $n$ vertices. In 2006, Alon and Yuster gave an exact answer when $\vec{H}$ is a tournament. In 2023, Bucić, Janzer, and Sudakov gave asymptotic answers for all directed graphs $\vec{H}$, and in the same paper, they gave an exact answer when $\vec{H}$ is a directed cycle. In this paper, we give a better bound for some specific non-bipartite directed graphs. Further, we obtain exact values of $D(G, \vec{H})$ for some small non-edge-critical directed graphs $\vec{H}$. Finally, for these graphs, we classify all graphs $G$ that attain the bound $D(G, \vec{H}) = D(n, \vec{H})$.

In recent years, much attention has been placed on the complexity of graph homomorphism problems when the input is restricted to ${\mathbb P}_k$-free and ${\mathbb P}_k$-subgraph-free graphs. We consider the directed version of this research line, by addressing the questions, is it true that digraph homomorphism problems CSP$({\mathbb H})$ have a P versus NP-complete dichotomy when the input is restricted to $\vec{\mathbb P}_k$-free (resp.\ $\vec{\mathbb P}_k$-subgraph-free) digraphs? Our main contribution in this direction shows that if CSP$({\mathbb H})$ is NP-complete, then there is a positive integer $N$ such that CSP$({\mathbb H})$ remains NP-hard even for $\vec{\mathbb P}_N$-subgraph-free digraphs. Moreover, it remains NP-hard for acyclic $\vec{\mathbb P}_N$-subgraph-free digraphs, and becomes polynomial-time solvable for $\vec{\mathbb P}_{N-1}$-subgraph-free acyclic digraphs. We then verify the questions above for digraphs on three vertices and a family of smooth tournaments. We prove these results by establishing a connection between $\mathbb F$-(subgraph)-free algorithmics and constraint satisfaction theory. On the way, we introduce restricted CSPs, i.e., problems of the form CSP$({\mathbb H})$ restricted to yes-instances of CSP$({\mathbb H}')$ -- these were called restricted homomorphism problems by Hell and Nešetřil. Another main result of this paper presents a P versus NP-complete dichotomy for these problems. Moreover, this complexity dichotomy is accompanied by an algebraic dichotomy in the spirit of the finite domain CSP dichotomy.

Nearly-doubly-regular tournaments have played significant roles in extremal graph theory. In this note, we construct new cyclotomic nearly-doubly-regular tournaments and determine their spectrum by establishing a new connection between cyclotomic nearly-doubly-regular tournaments and almost difference sets from combinatorial design theory. Furthermore, under the celebrated Hardy-Littlewood conjecture F in analytic number theory, our results confirm the conjecture due to Sergey Savchenko (J. Graph Theory {\bf 83} (2016), 44--77) on the existence of infinitely many nearly-doubly-regular tournaments with the canonical spectrum.