A graph H is common if the number of monochromatic copies of H in a 2-edge-colouring of the complete graph is minimised by the random colouring. Burr and Rosta, extending a famous conjecture by Erdos, conjectured that every graph is common. The conjectures by Erdos and by Burr and Rosta were disproved by Thomason and by Sidorenko, respectively, in the late 1980s. Collecting new examples for common graphs had not seen much progress since then, although very recently, a few more graphs are verified to be common by the flag algebra method or the recent progress on Sidorenko's conjecture.
Our contribution here is to give a new class of tripartite common graphs. The first example class is so-called triangle-trees, which generalises two theorems by Sidorenko and answers a question by Jagger, Šťovíček, and Thomason from 1996. We also prove that, somewhat surprisingly, given any tree T, there exists a triangle-tree such that the graph obtained by adding T as a pendant tree is still common. Furthermore, we show that adding arbitrarily many apex vertices to any connected bipartite graph on at most five vertices give a common graph.
This paper discusses the enumeration for the total number of all rooted spanning forests of the labeled complete tripartite graph. We enumerate the total number by a combinatorial decomposition.
We determine the minimal density of triangles in a tripartite graph with prescribed edge densities. This extends a previous result of Bondy, Shen, Thomassé and Thomassen characterizing those edge densities guaranteeing the existence of a triangle in a tripartite graph. To be precise we show that a suitably weighted copy of the graph formed by deleting a certain 9-cycle from $K_{3,3,3}$ has minimal triangle density among all weighted tripartite graphs with prescribed edge densities.
The problem of decomposing a complete tripartite graph into 5-cycles was first proposed in 1995 by Mahmoodian and Mirzakhani and since then many attempts have been made to decompose such graphs into 5-cycles. Such attempts were partially successful but parts of the problem still remain open. In this paper, we investigate the problem deeper, decompose more tripartite graphs into 5-cycles, and introduce the Graph Adjacency Matrix (GAM) method for cycle decomposition in general. GAM method transforms the cycle decomposition problem to covering squares with certain polygons. This new formulation i…
Bollobás, Erdős, and Szemerédi [Discrete Math 13 (1975), 97--107] investigated a tripartite generalization of the Zarankiewicz problem: what minimum degree forces a tripartite graph with $n$ vertices in each part to contain an octahedral graph $K_3(2)$? They proved that $n+2^{-1/2}n^{3/4}$ suffices and suggested it could be weakened to $n+cn^{1/2}$ for some constant $c>0$. In this note we show that their method only gives $n+ (1+o(1)) n^{11/12}$ and provide many constructions that show if true, $n+ c n^{1/2}$ is better possible.
For even $n$ we prove that the genus of the complete tripartite graph $K_{n,n,1}$ is $\lceil (n-1) (n-2)/4 \rceil$. This is the least number of bridges needed to build a complete $n$-way road interchange where changing lanes is not allowed. Both the theoretical result, and the surprising link to modelling road intersections are new.
The equitable coloring problem, introduced by Meyer in 1973, has received considerable attention and research. Recently, Wu et al. introduced the concept of equitable (t,k)-tree-coloring, which can be viewed as a generalization of proper equitable t-coloring. The strong equitable vertex k-arboricity of complete bipartite equipartition graphs was investigated in 2013. In this paper, we study the exact value of the strong equitable vertex 3-arboricity of complete equipartition tripartite graphs.
The degree sequence of a graph is the sequence of the degrees of its vertices. If $π$ is a degree sequence of a graph $G$, then $G$ is a realization of $π$ and $G$ realizes $π$. Determining when a sequence of positive integers is realizable as a degree sequence of a simple graph has received much attention. One of the early results, by Erdös and Gallai, characterized degree sequences of graphs. The result was strengthened by Hakimi and Havel. Another generalization is derived by Cai et al. Hoogeveen and Sierksma listed seven criteria and gave a uniform proof. In addition, Gale and Ryser indepe…
Let $P(G, x)$ be the chromatic polynomial of a graph $G$. A graph $G$ is called \textit{chromatically unique} if for any graph $H,\, P(G, x) = P(H, x)$ implies that $G$ and $H$ are isomorphic. In this paper we show that full tripartite graph $K(n_1, n_2, n_3)$ is chromatically unique if $n_1 \geq n_2 \geq n_2 \geq n_3 \geq 2, n_1 - n_3 \leq 5$ and $n_1 + n_2 + n_3 \not \equiv 2 \mod{3}$.
It follows from known results that every regular tripartite hypergraph of positive degree, with $n$ vertices in each class, has matching number at least $n/2$. This bound is best possible, and the extremal configuration is unique. Here we prove a stability version of this statement, establishing that every regular tripartite hypergraph with matching number at most $(1 + \varepsilon)n/2$ is close in structure to the extremal configuration, where "closeness" is measured by an explicit function of $\varepsilon$. We also answer a question of Aharoni, Kotlar and Ziv about matchings in hypergraphs w…
For a fixed integer h>=1, let G be a tripartite graph with N vertices in each vertex class, N divisible by 6h, such that every vertex is adjacent to at least 2N/3+h-1 vertices in each of the other classes. We show that if N is sufficiently large, then G can be tiled perfectly by copies of K_{h,h,h}. This extends the work in [19] and also gives a sufficient condition for tiling by any (fixed) 3-colorable graph. Furthermore, we show that this minimum-degree condition is best possible and provide very tight bounds when N is divisible by h but not by 6h.
Complete tripartite subgraphs of balanced tripartite graphs with large minimum degree
University of Science and Technology of China（中国科学技术大学）；East China Normal University（华东师范大学）；University of Birmingham（伯明翰大学）；Xiangtan University（湘潭大学）；Georgia State University（佐治亚州立大学）
A graph H is called common if the total number of copies of H in every graph and its complement asymptotically minimizes for random graphs. A former conjecture of Burr and Rosta, extending a conjecture of Erdos asserted that every graph is common. Thomason disproved both conjectures by showing that the complete graph of order four is not common. It is now known that in fact the common graphs are very rare. Answering a question of Sidorenko and of Jagger, Stovicek and Thomason from 1996 we show that the 5-wheel is common. This provides the first example of a common graph that is not three-color…
Mantel's theorem says that among all triangle-free graphs of a given order the balanced complete bipartite graph is the unique graph of maximum size. We prove an analogue of this result for 3-graphs. Let $K_4^-=\{123,124,134\}$, $F_6=\{123,124,345,156\}$ and $\mathcal{F}=\{K_4^-,F_6\}$: for $n\neq 5$ the unique $\mathcal{F}$-free 3-graph of order $n$ and maximum size is the balanced complete tripartite 3-graph $S_3(n)$ (for $n=5$ it is $C_5^{(3)}=\{123,234,345,145,125\}$). This extends an old result of Bollobás that $S_3(n) $ is the unique 3-graph of maximum size with no copy of $K_4^-=\{123,1…
The closed neighborhood $N_G[e]$ of an edge $e$ in a graph $G$ is the set consisting of $e$ and of all edges having an end-vertex in common with $e$. Let $f$ be a function on $E(G)$, the edge set of $G$, into the set $\{-1,1\}$. If $\sum_{x\in{N[e]}}f(x)\geq 1$ for each edge $e \in E(G)$, then $f$ is called a signed edge dominating function of $G$. The signed edge domination number of $G$ is the minimum weight of a signed edge dominating function of $G$. In this paper, we find the signed edge domination number of the complete tripartite graph $K_{m,n,p}$, where $1\leq m\leq n$ and $p\geq m+n$.…
Given a connected and bridgeless graph $G$, let $\mathscr{D}(G)$ be the family of strong orientations of $G$. The orientation number of $G$ is defined to be $\bar{d}(G):=min\{d(D)|D\in \mathscr{D}(G)\}$, where $d(D)$ is the diameter of the digraph $D$. In this paper, we focus on the orientation number of complete tripartite graphs. We prove a conjecture raised by Rajasekaran and Sampathkumar. Specifically, for $q\ge p\ge 3$, if $\bar{d}(K(2,p,q))=2$, then $q\le{{p}\choose{\lfloor{p/2}\rfloor}}$. We also present some sufficient conditions on $p$ and $q$ for $\bar{d}(K(p,p,q))=2$.
There is a sufficiently large $N\in h\mathbb{N}$ such that the following holds. If $G$ is a tripartite graph with $N$ vertices in each vertex class such that every vertex is adjacent to at least $2N/3+2h-1$ vertices in each of the other classes, then $G$ can be tiled perfectly by copies of $K_{h,h,h}$. This extends work by two of the authors [Electron. J. Combin, 16(1), 2009] and also gives a sufficient condition for tiling by any fixed 3-colorable graph. Furthermore, we show that $2N/3+2h-1$ in our result can not be replaced by $2N/3+ h-2$ and that if $N$ is divisible by $6h$, then we can rep…
Given graphs $H$ and $F$, a subgraph $G\subseteq H$ is an $F$-saturated subgraph of $H$ if $F\nsubseteq G$, but $F\subseteq G+e$ for all $e\in E(H)\setminus E(G)$. The saturation number of $F$ in $H$, denoted $\text{sat}(H,F)$, is the minimum number of edges in an $F$-saturated subgraph of $H$. In this paper we study saturation numbers of tripartite graphs in tripartite graphs. For $\ell\ge 1$ and $n_1$, $n_2$, and $n_3$ sufficiently large, we determine $\text{sat}(K_{n_1,n_2,n_3},K_{\ell,\ell,\ell})$ and $\text{sat}(K_{n_1,n_2,n_3},K_{\ell,\ell,\ell-1})$ exactly and $\text{sat}(K_{n_1,n_2,n_3…
Let $G$ be a tripartite graph with $N$ vertices in each vertex class. If each vertex is adjacent to at least $(2/3)N$ vertices in each of the other classes, then either $G$ contains a subgraph that consists of $N$ vertex-disjoint triangles or $G$ is a specific graph in which each vertex is adjacent to exactly $(2/3)N$ vertices in each of the other classes.
A $(q,r)$\emph{-tree-coloring} of a graph $G$ is a $q$-coloring of vertices of $G$ such that the subgraph induced by each color class is a forest of maximum degree at most $r.$ An \emph{equitable $(q, r)$-tree-coloring} of a graph $G$ is a $(q,r)$-tree-coloring such that the sizes of any two color classes differ by at most one. Let the \emph{strong equitable vertex $r$-arboricity} be the minimum $p$ such that $G$ has an equitable $(q, r)$-tree-coloring for every $q\geq p.$ In this paper, we find the exact value for each $va^\equiv_2(K_{m,n})$ and $va^\equiv_2(K_{l,m,n}).$
The problem of finding necessary and sufficient conditions to decompose a complete tripartite graph $K_{r,s,t}$ into 5-cycles was first considered by E.S. Mahmoodian and Maryam Mirzakhani (1995). They stated some necessary conditions and conjectured that those conditions are also sufficient. Since then, many cases of the problem have been solved by various authors; however, the case when the partite sets $r\leq s\leq t$ have odd and distinct sizes remained open. We show the conjecture is true when $r$, $s$ and $t$ are all multiples of 5, $t+90 \leq \frac{4rs}{r+s}$, and $t \neq s+10$.
The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an analogous bound A(n_1,n_2,n_3) for the complete tripartite graph K_{n_1,n_2,n_3}, and prove that cr'(K_{n_1,n_2,n_3})\le A({n_1,n_2,n_3}). We also show that for n large enough, 0.973 A(n,n,n) \le cr'(K_{n…
On the maximum number of triangles in tripartite graphs with no $4$-cycles between any two parts
School of Computer Science and Technology, Dongguan University of Technology（东莞理工学院计算机科学与技术学院）；School of Mathematical Sciences, Zhejiang Normal University（浙江师范大学数学科学学院）
Two conjectures on the cospectrality of complete tripartite graphs are false
School of Computing, Union University（Union大学计算学院）；University of Split, Faculty of civil engineering, architecture and geodesy（斯普利特大学土木、建筑与大地测量学院）；Faculty of Information Studies, Novo mesto（诺沃梅斯托信息研究学院）；Faculty of Mathematics and Physics, University of Ljubljana（卢布尔雅那大学数学与物理学院）
A grove is a spanning forest of a planar graph in which every component tree contains at least one of a special subset of vertices on the outer face called nodes. For the natural probability measure on groves, we compute various connection probabilities for the nodes in a random grove. In particular, for "tripartite" pairings of the nodes, the probability can be computed as a Pfaffian in the entries of the Dirichlet-to-Neumann matrix (discrete Hilbert transform) of the graph. These formulas generalize the determinant formulas given by Curtis, Ingerman, and Morrow, and by Fomin, for parallel pa…
The Ramsey multiplicity constant of a graph $H$ is the minimum proportion of copies of $H$ in the complete graph which are monochromatic under an edge-coloring of $K_n$ as $n$ goes to infinity. Graphs for which this minimum is asymptotically achieved by taking a random coloring are called {\em common}, and common graphs have been studied extensively, leading to the Burr-Rosta conjecture and Sidorenko's conjecture. Erdős and Sós asked what the maximum number of rainbow triangles is in a $3$-coloring of the edge set of $K_n$, a rainbow version of the Ramsey multiplicity question. A graph $H$ is …
On the minimum number of triangles in balanced tripartite graphs with large minimum degree
School of Computer Science and Technology, Dongguan University of Technology（东莞理工学院计算机科学与技术学院）；School of Mathematical Sciences, Zhejiang Normal University（浙江师范大学数学科学学院）
Motivated by the question of how macromolecules assemble, the notion of an {\it assembly tree} of a graph is introduced. Given a graph $G$, the paper is concerned with enumerating the number of assembly trees of $G$, a problem that applies to the macromolecular assembly problem. Explicit formulas or generating functions are provided for the number of assembly trees of several families of graphs, in particular for what we call $(H,ϕ)$-graphs. In some natural special cases, we apply powerful recent results of Zeilberger and Apagodu on multivariate generating functions, and results of Wimp and Ze…
The Erdos-Hajnal conjecture states that if a graph on n vertices is H-free, that is, it does not contain an induced copy of a given graph H, then it must contain either a clique or an independent set of size n^{d(H)}, where d(H) > 0 depends only on the graph H. Except for a few special cases, this conjecture remains wide open. However, it is known that a H-free graph must contain a complete or empty bipartite graph with parts of polynomial size. We prove an analogue of this result for 3-uniform hypergraphs, showing that if a 3-uniform hypergraph on n vertices is H-free, for any given H, then i…
For a subgraph $G$ of the blow-up of a graph $F$, we let $δ^*(G)$ be the smallest minimum degree over all of the bipartite subgraphs of $G$ induced by pairs of parts that correspond to edges of $F$. In [Triangle-factors in a balanced blown-up triangle. Discrete Mathematics, 2000], Johansson proved that if $G$ is a spanning subgraph of the blow-up of $C_3$ with parts of size $n$ and $δ^*(G) \ge \frac{2}{3}n + \sqrt{n}$, then $G$ contains $n$ vertex-disjoint triangles, and presented the following conjecture of Häggkvist: If $G$ is a spanning subgraph of the blow-up of $C_k$ with parts of size $n…
