On Erdos-Faber-Lovasz Conjecture
S. M. Hegde, Suresh Dara

TL;DR
This paper investigates the Erdős-Faber-Lovász conjecture, proposing a coloring method based on intersection matrices and clique degrees, and proves the conjecture for specific graph classes under certain conditions.
Contribution
It introduces a new coloring approach using intersection matrices and clique degrees, and provides proof for the conjecture in classes with bounded clique degree vertices.
Findings
Coloring method using intersection matrices and clique degrees.
Proof of the conjecture for graphs with limited high clique degree vertices.
Conditions under which the graph is proven to be n-colorable.
Abstract
In 1972, Erd\"{o}s - Faber - Lov\'{a}sz (EFL) conjectured that, if is a linear hypergraph consisting of edges of cardinality , then it is possible to color the vertices with colors so that no two vertices with the same color are in the same edge. In 1978, Deza, Erd\"{o}s and Frankl had given an equivalent version of the same for graphs: Let denote a graph with complete graphs , each having exactly vertices and have the property that every pair of complete graphs has at most one common vertex, then the chromatic number of is . The clique degree of a vertex in is given by . In this paper we give a method for assigning colors to the graphs satisfying the hypothesis of the Erd\"os - Faber - Lov\'asz conjecture using intersection…
Click any figure to enlarge with its caption.
Figure 1Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLimits and Structures in Graph Theory · Graph Labeling and Dimension Problems · graph theory and CDMA systems
On Erdos-Faber-Lovasz Conjecture
S. M. Hegde, Suresh Dara
Department of Mathematical and Computational Sciences,
National Institute of Technology Karnataka,
Surathkal, Mangalore-575025
E-mail: [email protected], [email protected]
Abstract
In 1972, Erdös - Faber - Lovász (EFL) conjectured that, if H is a linear hypergraph consisting of edges of cardinality , then it is possible to color the vertices with colors so that no two vertices with the same color are in the same edge. In 1978, Deza, Erdös and Frankl had given an equivalent version of the same for graphs: Let denote a graph with complete graphs , each having exactly vertices and have the property that every pair of complete graphs has at most one common vertex, then the chromatic number of is .
The clique degree of a vertex in is given by . In this paper we give a method for assigning colors to the graphs satisfying the hypothesis of the Erdös - Faber - Lovász conjecture using intersection matrix of the cliques ’s of and clique degrees of the vertices of . Also, we give theoretical proof of the conjecture for some class of graphs. In particular we show that:
If is a graph satisfying the hypothesis of the Conjecture 1.2 and every () has at most vertices of clique degree greater than 1, then is -colorable. 2. 2.
If is a graph satisfying the hypothesis of the Conjecture 1.2 and every () has at most vertices of clique degree greater than or equal to (), then is -colorable.
Keyword Chromatic number, Erdös - Faber - Lovász conjecture
MSC[2010]* 05A05, 05B15, 05C15*
1 Introduction
One of the famous conjectures in graph theory is Erdös - Faber - Lovász conjecture. It states that if H is a linear hypergraph consisting of edges of cardinality , then it is possible to color the vertices of H with colors so that no two vertices with the same color are in the same edge [1]. Erdös, in 1975, offered 50 USD [4, 10] and in 1981, offered 500 USD [3, 7] for the proof or disproof of the conjecture. Kahn [8] showed that the chromatic number of H is at most . Jakson et al. [6] proved that the conjecture is true when the partial hypergraph of H determined by the edges of size at least three can be -edge-colored and satisfies . In particular, the conjecture holds when is unimodular and . Sanhez - Arrayo [10] proved the conjecture for dense hypergraphs. Faber [5] proves that for fixed degree, there can be only finitely many counterexamples to EFL on this class (both regular and uniform) of hypergraphs.
Conjecture 1.1
If H is a linear hypergraph consisting of edges of cardinality , then it is possible to color the vertices of H with colors so that no two vertices with the same color are in the same edge.
We consider the equivalent version of the conjecture for graphs given by Deza, Erdös and Frankl in 1978 [2, 10, 7, 9].
Conjecture 1.2
Let denote a graph with complete graphs , each having exactly vertices and have the property that every pair of complete graphs has at most one common vertex, then the chromatic number of is .
Definition 1.3
Let denote a graph with complete graphs , each having exactly vertices and the property that every pair of complete graphs has at most one common vertex. The clique degree of a vertex in is given by . The maximum clique degree of the graph is given by .
From the above definition, one can observe that degree of a vertex in hypergraph is same as the clique degree of a vertex in a graph.
2 Coloring of
Let be the graph satisfying the hypothesis of Conjecture 1.2. Let be the graph obtained by removing the vertices of clique degree one from graph . i.e. is the induced subgraph of having all the common vertices of .
Theorem 2.1
If is a graph satisfying the hypothesis of the Conjecture 1.2 and every () has at most vertices of clique degree greater than 1, then is -colorable.
**Proof: **Let be a graph satisfying the hypothesis of the Conjecture 1.2 and every () has at most vertices of clique degree greater than 1. Let be the induced subgraph of consisting of the vertices of clique degree greater than one in . Define , for .
From [10], it is true that the vertices of clique degree greater than or equal to can be assigned with at most colors. Assign the colors to the vertices of clique degree in non increasing order. Assume we next color a vertex of clique degree . At this point only vertices of clique degree have been assigned colors. By assumption every () has at most vertices of clique degree greater than 1 and clique degree of is (), then for these there are at most vertices have been colored. Therefore, there is an unused color from the set of colors, then that color can be assigned to the vertex .
Theorem 2.2
If is a graph satisfying the hypothesis of the Conjecture 1.2 and every () has at most vertices of clique degree greater than or equal to (), then is -colorable.
**Proof: **Let be a graph satisfying the hypothesis of the Conjecture 1.2 and every () has at most vertices of clique degree greater than or equal to (). Let be the induced subgraph of consisting of the vertices of clique degree greater than one in . Define , for .
Assign the colors to the vertices of clique degree in non increasing order. Assume we next color a vertex of clique degree . At this point only vertices of clique degree have been assigned colors. By assumption every () has at most vertices of clique degree greater than 1 and clique degree of is (), then for these ’s there are at most vertices have been colored. Therefore, there is an unused color from the set of colors, then that color can be assigned to the vertex .
Let be a graph satisfying the hypothesis of the Conjecture 1.2, the intersection matrix is a square matrix such that its element is when otherwise zero for and the diagonal elements of the matrix are all zero.
Given below is a method to color graph satisfying the hypothesis of the Conjecture 1.2 using intersection matrix (color matrix) of the cliques ’s of and clique degrees of the vertices of .
Method for assigning colors to graph :
Let be a graph satisfying the hypothesis of Conjecture 1.2. Let be the induced subgraph of consisting of the vertices of clique degree greater than in . Relable the vertex of clique degree greater than in by , where ; vertex is in . Define , for .
Let be the intersection matrix of the cliques ’s of where if otherwise for and is [math]. Let be the -colors.
Let , and .
If , then the graph has no vertex of clique degree greater than one, which implies has exactly (maximum number) vertices. i.e., is components of . Otherwise, consider the intersection matrix as the color matrix and follow the steps.
Step 1:
If , stop the process. Otherwise, let , for some . Then consider the sets and , go to step 2.
Step 2:
If , go to step 1. Otherwise, choose a vertex from , where and go to Step 3.
Step 3:
Let color appears atleast times in the row of the color matrix , . If , let , and go to Step 4. Otherwise, construct a new color matrix by putting least in , where , , . Then add the vertex to and remove it from , go to Step 2.
Step 4:
Choose a vertex from such that , for some , . Let and go to Step 5.
Step 5:
Let color appears atleast times in the row of the color matrix, for every . If add the vertex to and remove it from , go to Step 4. Otherwise construct a new color matrix by putting in , where , , . Go to Step 3.
Thus, we get the modified color matrix . Then, color the vertex of by of , whenever . Then, extend the coloring of to . Thus is -colorable.
Following is an example illustrating the above method.
Example 2.3
Let be the graph shown in Figure 1a.
*Let , ,
, ,
, .*
Relabel the vertices of clique degree greater than one in by where . The labeled graph is shown in Figure 1b. Figure 2 is the graph , where is obtained by removing the vertices of clique degree 1 from .
Let ,
[TABLE]
*,
,
,
and .*
Let 1, 2, , 6 be the six colors and C=\left(\begin{array}[]{cccccc}0&c&c&c&c&0\\ c&0&c&c&c&c\\ c&c&0&c&c&c\\ c&c&c&0&0&c\\ c&c&c&0&0&c\\ 0&c&c&c&c&0\\ \end{array}\right)
be the intersection matrix of order .
Consider the sets , for and . Then by applying the method given above, we get the following.
Step 1: Since and , then choose the sets and . Go to step 2.
Step 2: Since , choose the vertex from , go to step 3.
Step 3: Since , , , and , choose the minimum color from the set and construct a new color matrix by putting in , , . Add the vertex to and remove it from . Then
C_{1}=\left(\begin{array}[]{cccccc}0&1&1&1&c&0\\ 1&0&1&1&c&c\\ 1&1&0&1&c&c\\ 1&1&1&0&0&c\\ c&c&c&0&0&c\\ 0&c&c&c&c&0\\ \end{array}\right)* ,*
, . Go to step 2.
Step 2: Since , go to step 1.
Step 1: Since and , then choose the sets and . Go to step 2.
Step 2: Since , choose the vertex from , go to step 3.
Step 3: Since , , , and , choose the minimum color from the set and construct a new color matrix by putting in , , . Add the vertex to and remove it from . Then
C_{2}=\left(\begin{array}[]{cccccc}0&1&1&1&c&0\\ 1&0&1&1&c&c\\ 1&1&0&1&2&2\\ 1&1&1&0&0&c\\ c&c&2&0&0&2\\ 0&c&2&c&2&0\\ \end{array}\right),
, . Go to step 2.
Step 2: Since , go to step 1.
Step 1: Since and , then choose the sets and . Go to step 2.
Step 2: Since , choose the vertex from , go to step 3.
Step 3: Since , and , choose the minimum color from the set and construct a new color matrix by putting in , , . Add the vertex to and remove it from . Then
C_{3}=\left(\begin{array}[]{cccccc}0&1&1&1&3&0\\ 1&0&1&1&c&c\\ 1&1&0&1&2&2\\ 1&1&1&0&0&c\\ 3&c&2&0&0&2\\ 0&c&2&c&2&0\\ \end{array}\right),
, . Go to step 2.
Step 2: Since , choose the vertex from , go to step 3.
Step 3: Since , and , choose the minimum color from the set and construct a new color matrix by putting in , , . Add the vertex to and remove it from . Then
C_{4}=\left(\begin{array}[]{cccccc}0&1&1&1&3&0\\ 1&0&1&1&4&c\\ 1&1&0&1&2&2\\ 1&1&1&0&0&c\\ 3&4&2&0&0&2\\ 0&c&2&c&2&0\\ \end{array}\right),
, . Go to step 2.
Step 2: Since , choose the vertex from , go to step 3.
Step 3: Since , and , choose the minimum color from the set and construct a new color matrix by putting in , , . Add the vertex to and remove it from . Then
C_{5}=\left(\begin{array}[]{cccccc}0&1&1&1&3&0\\ 1&0&1&1&4&3\\ 1&1&0&1&2&2\\ 1&1&1&0&0&c\\ 3&4&2&0&0&2\\ 0&3&2&c&2&0\\ \end{array}\right),
, . Go to step 2.
Step 2: Since , choose the vertex from , go to step 3.
Step 3: Since , and , choose the minimum color from the set and construct a new color matrix by putting in , , . Add the vertex to and remove it from . Then
C_{6}=\left(\begin{array}[]{cccccc}0&1&1&1&3&0\\ 1&0&1&1&4&3\\ 1&1&0&1&2&2\\ 1&1&1&0&0&4\\ 3&4&2&0&0&2\\ 0&3&2&4&2&0\\ \end{array}\right),
, . Go to step 2.
Step 2: Since , go to step 1.
Step 1: Since , stop the process.
Assign the colors to the graph using the matrix , i.e., color the vertex by the -th entry of the matrix , whenever (see Figure 3a), where the numbers 1, 2, 3, 4, 5, 6 corresponds to the colors Maroon, Tan, Green, Red, Blue, Cyan respectively. Extend the coloring of to by assigning the remaining colors which are not used for from the set of -colors to the vertices of clique degree one in each , . The colored graph is shown in Figure 3b.
The following results give a relation between the number of complete graphs and clique degrees of a graph.
Theorem 2.4
Let be a graph satisfying the hypothesis of Conjecture 1.2. Then if the intersection of any two ’s is non empty, then
[TABLE]
where is the set of all vertices of clique degree greater than in .
**Proof: **If is isomorphic to the graph for some , then the result is obvious. If not there exists at least one vertex of clique degree greater than . Define then . For every unordered pair of elements of there is a vertex in . Therefore corresponding to the elements of there are vertices in . Since satisfies the hypothesis of Conjecture 1.2, there is no vertex different from in such that where . Therefore for every vertex of clique degree greater than in , there are vertices of clique degree greater than in . As there are vertices of clique degree greater than in , where is the set of all vertices of clique degree greater than in .
Corollary 2.5
If is a graph satisfying the hypothesis of conjecture 1.2, then has at most vertices of clique degree where .
**Proof: **Let be the set of vertices of clique degree greater than in and . We have to prove that has at most vertices of clique degree . Suppose has vertices of clique degree . Then by the definition of , it follows that, vertices are in . Let those vertices be . By Theorem 2.4 we get,
[TABLE]
which is a contradiction. Hence there are at most vertices of clique degree in , where .
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Claude Berge. On two conjectures to generalize Vizing’s theorem. Matematiche (Catania) , 45(1):15–23 (1991), 1990. Graphs, designs and combinatorial geometries (Catania, 1989).
- 2[2] M Deza, P Erdös, and P Frankl. Intersection properties of systems of finite sets. Proceedings of the London Mathematical Society , 3(2):369–384, 1978.
- 3[3] Pál Erdős. On the combinatorial problems which i would most like to see solved. Combinatorica , 1(1):25–42, 1981.
- 4[4] PAUL Erdős. Problems and results in graph theory and combinatorial analysis. Proc. British Combinatorial Conj., 5th , pages 169–192, 1975.
- 5[5] Vance Faber. The Erdős-Faber-Lovász conjecture—the uniform regular case. J. Comb. , 1(2):113–120, 2010.
- 6[6] Bill Jackson, G. Sethuraman, and Carol Whitehead. A note on the Erdős-Farber-Lovász conjecture. Discrete Math. , 307(7-8):911–915, 2007.
- 7[7] Tommy R Jensen and Bjarne Toft. Graph coloring problems , volume 39. John Wiley & Sons, 2011.
- 8[8] Jeff Kahn. Coloring nearly-disjoint hypergraphs with n + o ( n ) 𝑛 𝑜 𝑛 n+o(n) colors. Journal of Combinatorial Theory, Series A , 59(1):31–39, 1992.
