# Typical Structure of Oriented Graphs and Digraphs with Forbidden Blow-Up Transitive Triangles

^{*}

## Abstract

**:**

## 1. Introduction

## 2. Notations, Tools and Results

**Theorem**

**1**

**.**Let H be an oriented graph with $h:=v\left(H\right)$ and $e\left(H\right)\ge 2$, and let $a\in \mathbb{R}$ with $a\ge 1$. For every $\u03f5>0$, there exists $c>0$ such that for all sufficiently large N, there exists a collection $\mathcal{C}$ of digraphs on the vertex set $\left[n\right]$ with the following properties.

- (a)
- For every H-free digraph I on $\left[N\right]$ there exists $G\in \mathcal{C}$ such that $I\subset G$.
- (b)
- Every digraph $G\in \mathcal{C}$ contains at most $\u03f5{N}^{h}$ copies of H, and ${e}_{a}\left(G\right)\le e{x}_{a}(N,H)+\u03f5{N}^{2}$.
- (c)
- $log\left|\mathcal{C}\right|\le c{N}^{2-1/m\left(H\right)}logN$.

**Lemma**

**1**

**.**Let $a\in (\frac{3}{2},2]$ be a real number and let $r,n\in \mathbb{N}$. Then $e{x}_{a}(n,{T}_{r+1})=a\xb7{t}_{r}\left(n\right)$, and $D{T}_{r}\left(n\right)$ is the unique extremal ${T}_{r+1}$-free digraph on n vertices.

**Theorem**

**2.**

**Example**

**1.**

**Theorem**

**3.**

- (i)
- All but at most $f(n,{T}_{3}^{t}){2}^{-\u03f5{n}^{2}}$${T}_{3}^{t}$-free oriented graphs on n vertices can be made bipartite by changing at most $\alpha {n}^{2}$ edges.
- (ii)
- All but at most ${f}^{*}(n,{T}_{3}^{t}){2}^{-\u03f5{n}^{2}}$${T}_{3}^{t}$-free digraphs on n vertices can be made bipartite by changing at most $\alpha {n}^{2}$ edges.

## 3. The Regularity Lemma and the Proof of Theorem 2

**Lemma**

**2**

**.**For every $\u03f5\in (0,1)$ and all integers ${M}^{\prime},{M}^{\u2033}$ there are integers M and ${n}_{0}$ such that if

- G is a digraph on $n\ge {n}_{0}$ vertices,
- ${U}_{0},\dots ,{U}_{{M}^{\u2033}}$ is a partition of the vertex set of G,
- $d\in [0,1]$ is any real number,

- (1)
- ${M}^{\prime}\le k\le M$,
- (2)
- $|{V}_{0}|\le \u03f5\xb7n$,
- (3)
- $|{V}_{1}|=\dots =|{V}_{k}|=\ell $,
- (4)
- ${V}_{0},\dots ,{V}_{k}$ refines the partition ${U}_{0},\dots ,{U}_{{M}^{\u2033}}$,
- (5)
- ${d}_{{G}^{\prime}}^{+}\left(x\right)>{d}_{G}^{+}\left(x\right)-(d+\u03f5)n$ for all vertices x of G,
- (6)
- ${d}_{{G}^{\prime}}^{-}\left(x\right)>{d}_{G}^{-}\left(x\right)-(d+\u03f5)n$ for all vertices x of G,
- (7)
- ${G}^{\prime}\left[{V}_{i}\right]$ is empty for all $i=1,\dots ,k$,
- (8)
- the bipartite oriented graph ${({V}_{i},{V}_{j})}_{{G}^{\prime}}$ is ϵ-regular and has density either 0 or density at least d for all $1\le i,j\le k$ and $i\ne j$.

**Lemma**

**3.**

**Proof.**

**Lemma**

**4.**

**Proof.**

- Case (i):
- ${u}_{i}$ are both out-neighbor and in-neighbor of ${u}_{j}$ in H, we delete all those vertices from ${Y}_{i}$ that are not adjacent to ${v}_{j}$ with double edges.
- Case (ii):
- ${u}_{i}$ is just the out-neighbor of ${u}_{j}$ in H, we delete all those vertices from ${Y}_{i}$ that are not the out-neighbor of ${v}_{j}$.
- Case (iii):
- ${u}_{i}$ is just the in-neighbour of ${u}_{j}$ in H, we delete all those vertices from ${Y}_{i}$ that are not the in-neighbour of ${v}_{j}$.

**Proof of Theorem**

**2.**

**Corollary**

**1.**

**Proof of Corollary**

**1.**

## 4. Stability of Digraphs and Proof of Theorem 3

**Lemma**

**5.**

**Proof.**

**Theorem**

**4.**

**Proof.**

**Theorem**

**of**

**Stability.**

**Lemma**

**6.**

**Proof of Theorem**

**3.**

## 5. Concluding Remarks

**Conjecture**

**2.**

- (i)
- Almost all ${T}_{r+1}^{t}$-free oriented graph are r-partite.
- (ii)
- Almost all ${T}_{r+1}^{t}$-free digraph are r-partite.

## Author Contributions

## Funding

## Data Availability Statement

## Acknowledgments

## Conflicts of Interest

## References

- Erdós, P.; Sinomovits, M. Supersaturated graphs and hypergraphs. Combinatorica
**1983**, 3, 181–192. [Google Scholar] [CrossRef] - Erdös, P.; Kleitman, D.; Rothschild, B. Asymptotic enumeration of K
_{n}-free graphs. In Colloquio Internazionale sulle Teorie Combinatorie (Rome, 1973); Atti dei Convegni Lincei 17; Accademia dei Lincei: Rome, Italy, 1976; Volume II, pp. 19–27. [Google Scholar] - Kolaitis, P.; Prömel, H.; Rothschild, B. K
_{ℓ+1}-free graphs: Asymptotic structure and a 0–1 law. Trans. Amer. Math. Soc.**1987**, 303, 637–671. [Google Scholar] - Balogh, J.; Bollobás, B.; Simonovits, M. The number of graphs without forbidden subgraphs. J. Combin. Theory Ser. B
**2004**, 91, 1–24. [Google Scholar] [CrossRef] [Green Version] - Balogh, J.; Bollobás, B.; Simonovits, M. The typical structure of graphs without given excluded subgraphs. Random Struct. Algorithms
**2009**, 34, 305–318. [Google Scholar] [CrossRef] [Green Version] - Balogh, J.; Bollobás, B.; Simonovits, M. The fine structure of octahedron-free graphs. J. Combin. Theory Ser. B
**2011**, 101, 67–84. [Google Scholar] [CrossRef] [Green Version] - Balogh, J.; Morris, R.; Samotij, W. Independent sets in hypergraphs. J. Am. Math. Soc.
**2015**, 28, 669–709. [Google Scholar] [CrossRef] [Green Version] - Balogh, J.; Morris, R.; Samotij, W.; Warnke, L. The typical structure of sparse K
_{r+1}-free graphs. Trans. Am. Math. Soc.**2016**, 368, 6439–6485. [Google Scholar] [CrossRef] [Green Version] - Erdös, P.; Frankl, P.; Rödl, V. The asymptotic number of graphs not containing a fixed subgraph and a problem for hypergraphs having no exponent. Graphs Combin.
**1986**, 2, 113–121. [Google Scholar] [CrossRef] - Prömel, H.; Steger, A. The asymptotic number of graphs not containing a fixed color-critical subgraph. Combinatorica
**1992**, 12, 463–473. [Google Scholar] [CrossRef] - Osthus, D.; Prömel, H.J.; Taraz, A. For which densities are random triangle-free graphs almost surely bipartite? Combinatorica
**2003**, 23, 105–150. [Google Scholar] [CrossRef] - Balogh, J.; Mubayi, D. Almost all triangle-free triple systems are tripartite. Combinatorica
**2012**, 32, 143–169. [Google Scholar] [CrossRef] - Person, Y.; Schacht, M. Almost all hypergraphs without Fano planes are bipartite. In Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA, 2009), New York, NY, USA, 4–6 January 2009; ACM Press: New York, NY, USA, 2009; pp. 217–226. [Google Scholar]
- Brown, W.G.; Harary, F. Extremal digraphs. “Combinatorial theory and its applications”. Colloq. Math. Soc. János Bolyai
**1970**, 4, 135–198. [Google Scholar] - Kühn, D.; Osthus, D.; Townsend, T.; Zhao, Y. On the structure of oriented graphs and digraphs with forbidden tournaments or cycles. J. Combin. Theory Ser. B
**2017**, 124, 88–127. [Google Scholar] [CrossRef] [Green Version] - Cherlin, G. The Classification of Countable Homogeneous Directed Graphs and Countable Homogeneous n-Tournaments; AMS Memoir: Providence, RI, USA, 1998; Volume 131. [Google Scholar]
- Saxton, D.; Thomason, A. Hypergraph containers. Invent. Math.
**2015**, 201, 925–992. [Google Scholar] [CrossRef] [Green Version] - Alon, N.; Shapira, A. Testing subgraphs in directed graphs. J. Comput. Syst. Sci.
**2004**, 69, 354–382. [Google Scholar] [CrossRef] - Komlós, J.; Simonovits, M. Szemerédi’s Regularity Lemma and its applications in graph theory. In Bolyai Society Mathematical Studies 2, Combinatorics, Paul Erdös Is Eighty; Miklós, D., Sós, V.T., Szönyi, T., Eds.; János Bolyai Mathematical Society: Budapest, Hungary, 1996; Volume 2, pp. 295–352. [Google Scholar]
- Diestel, R. Graph Theory, Graduate Texts in Mathematics, 4th ed.; Springer: Berlin/Heidelberg, Germany, 2010; Volume 173. [Google Scholar]

Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |

© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).

## Share and Cite

**MDPI and ACS Style**

Liang, M.; Liu, J.
Typical Structure of Oriented Graphs and Digraphs with Forbidden Blow-Up Transitive Triangles. *Symmetry* **2022**, *14*, 2551.
https://doi.org/10.3390/sym14122551

**AMA Style**

Liang M, Liu J.
Typical Structure of Oriented Graphs and Digraphs with Forbidden Blow-Up Transitive Triangles. *Symmetry*. 2022; 14(12):2551.
https://doi.org/10.3390/sym14122551

**Chicago/Turabian Style**

Liang, Meili, and Jianxi Liu.
2022. "Typical Structure of Oriented Graphs and Digraphs with Forbidden Blow-Up Transitive Triangles" *Symmetry* 14, no. 12: 2551.
https://doi.org/10.3390/sym14122551