arXiv++ Combinatorics

For integers \(r\ge 2\), \(t\ge 1\) and a real number \(a\in(3/2,2]\), we study the typical structure of oriented graphs and digraphs that do not contain a blow-up \(T_{r+1}^t\) of a transitive tournament. We prove that almost every \(T_{r+1}^t\)-free oriented graph on n vertices admits an r-partition \(V_1\cup\cdots\cup V_r\) such that each induced subgraph \(G[V_i]\) is \(T_2^t\)-free, and the same holds for almost every \(T_{r+1}^t\)-free digraph.Consequently, the number \(f(n,T_{r+1}^t)\) of labelled \(T_{r+1}^t\)-free oriented graphs satisfies \(f(n,T_{r+1}^t)=|\mathcal{P}_{n,r,t}|(1+o(1))\), where \(\mathcal{P}_{n,r,t}\) is the family of oriented graphs admitting such an r-partition with each part \(T_2^t\)-free; an analogous statement holds for digraphs.When \(t=1\) this recovers the result of K"uhn, Osthus, Townsend and Zhao (2017) that almost all \(T_{r+1}\)-free oriented graphs (resp. digraphs) are r-partite, thereby confirming a generalised form of Cherlin's conjecture. Our proof combines the hypergraph container method, a weighted Erdős-Stone theorem, and a stability analysis for near-extremal \(T_{r+1}^t\)-free digraphs.

In a seminal work, Kühn, Osthus, Townsend, and Zhao used the hypergraph container method to determine the typical structure of oriented graphs and digraphs avoiding a fixed tournament or cycle. Their main tool, a container theorem for oriented graphs, does not directly extend to all digraphs due to the existence of counterexamples such as the double triangle $DK_3$. In this paper we prove a container theorem for general digraphs under a natural sparsity condition that, for the edge-weight parameter $a=2$, reduces to the oriented case, but for larger $a$ allows digraphs with a controlled density of 2-cycles. As applications, we obtain asymptotic counting results for $H$-free digraphs and describe the typical structure of digraphs avoiding a fixed digraph $H$ satisfying our condition. Our results unify and extend several previous results in the area.

We prove a conjecture of Kühn, Osthus, Townsend and Zhao \cite{kuhn2017structure} stating that almost every $C_k$-free oriented graph on $n$ vertices has $Θ(n)$ backwards edges in a transitive-optimal ordering. The same holds for $C_k$-free digraphs when $k$ is even. Our proof combines the hypergraph container method with a stability analysis and an inductive counting argument. As a byproduct, we also determine the typical structure of oriented graphs and digraphs that avoid the blow-up $C_{k}^t$, extending the main result of \cite{kuhn2017structure} to the blown-up setting.

We study the typical structure of oriented graphs and digraphs that do not contain a blow-up T_{r+1}^t of a transitive tournament. For any integers r >= 2, t >= 1 and any real a in (3/2,2], we prove that almost all T_{r+1}^t-free oriented graphs and almost all T_{r+1}^t-free digraphs are r-partite. This extends the results of Kuhn, Osthus, Townsend and Zhao (2017) on forbidden transitive tournaments to their blow-ups, thereby confirming a generalised form of Cherlin's conjecture. Our proof combines the hypergraph container method, a weighted analogue of the Erdos-Stone theorem for digraphs, and a stability analysis for near-extremal T_{r+1}^t-free digraphs. The core of the proof is the interplay between the directed regularity lemma and an embedding lemma, which together provide a rigorous bridge from macroscopic extremal conditions to microscopic concrete structures.

In this work, we establish an analogue result of the Erdös-Stone theorem of weighted digraphs using Regularity Lemma of digraphs. We give a stability result of oriented graphs and digraphs with forbidden blow-up transitive triangle and show that almost all oriented graphs and almost all digraphs with forbidden blow-up transitive triangle are almost bipartite respectively.

The energy $E$ of a graph is defined to be the sum of the absolute values of its eigenvalues. Nikiforov in {\it ``V. Nikiforov, The energy of $C_4$-free graphs of bounded degree, Lin. Algebra Appl. 428(2008), 2569--2573"} proposed two conjectures concerning the energy of trees with maximum degree $Δ\leq 3$. In this short note, we show that both conjectures are true.