1 Introduction
A biclique of a graph is a vertex set that induces a maximal complete bipartite subgraph. The biclique graph of a graph , denoted by , is the intersection graph of the bicliques of . The biclique graph was introduced by Groshaus and Szwarcfiter [11], based on the concept of clique graphs. They gave a characterization of biclique graphs (in general) and a characterization of biclique graphs of bipartite graphs. The time complexity of the problem of recognizing biclique graphs remains open.
Bicliques in graphs have applications in various fields, for example, biology: proteinprotein interaction networks [4], social networks: web community discovery [15], genetics [1], medicine [20], information theory [14]. More applications (including some of these) can be found in the work of Liu, Sim and Li [18].
The biclique graph can be considered as a graph operator: given a graph , the operator returns the biclique graph of , [9, 8, 13]. Some problems related to graph operators are studied in relation to some classes of graphs. Given a graph operator and a class , it is studied the problem of recognizing the class , or the problem of recognizing the class . These problems have been studied in the context of the clique graph, (clique operator). There are works about , where is cliqueHelly, chordal, interval, split, diamondfree, dismantable graphs, arccircular graphs etc [2, 6, 16, 17, 21].
There are few works in the literature about recognizing the biclique graphs of some graph classes [5, 7, 12, 22].
In this work we prove that every biclique graph of a free graph (trianglefree) is the square of some graph, that is, free, where denote the class of all graphs and denote the class of the square graphs of the graphs of the class . This result gives a tool for studying other classes of biclique graphs. Known results on square graphs follow directly for biclique graphs (using known properties of square graphs). Also, some results on biclique graphs of graphs, when restricted to free graphs, can be easily proven using the fact that it is a square graph. For example, the fact that every is contained in a diamond or a fan [11], the fact that the number of vertices of degree is at most and the fact that the family of neighbourhoods of vertices of degree 2 satisfy the Helly property [10].
Groshaus and Montero presented a conjecture stating that a certain structure is forbidden in biclique graphs [10, Conjecture 6.2]. We prove that this conjecture holds when is a free graph, using the fact that is the square of some particular graph.
Conjecture 1 ([10]).
If for some graph , where is not isomorphic to the diamond then there do not exist such that and their neighbours are contained in a for .
A comparability graph is such that there is a partially ordered set (poset) where if and only if and are comparable by [3]. We define a subclass of comparability graphs, the class of interval intersection closed comparability (IICcomparability) graphs, and we prove that the class of biclique graphs of bipartite graphs is equal to the class of the square graphs of IICcomparability graphs, that is, bipartiteIICcomparability, giving another characterization of biclique graphs of bipartite graphs.
1.1 Some Definitions and Notations
Let be a graph with vertex set and edge set . Denote the set of neighbours of a vertex as . Let and define to be the set of vertices of that are incident to every vertex of . That is, Note that if , .
Given a poset and , let and be, respectively, the predecessors interval and successors interval of in . We say that a poset is interval intersection closed (IIC) if the sets and are closed under intersection. That is, for every pair , , the following sentences are true:

if then there is a such that );

if then there is a such that ).
Let the graph class IICcomparability (Interval Intersection Closed Comparability) be the class of comparability graphs with posets that are IIC.
2 Mutually Included Biclique Graph
Denote a biclique of , with bipartition , as . That is, . Given a biclique and a vertex then (i) or (ii) there are vertices and such that . Note that in case (ii) the vertices , and form a . So, if is a free graph (ii) is always false and if then (i) holds.
Observation 1.
Given a free graph , two independent sets, and , of form a biclique of iff and .
Note that no part of a biclique intersects both parts of another biclique. That is, if and are two bicliques of a graph , or . So, assume that and . We say that and are mutually included if and . See Figure 0(a).
Define , the mutually included biclique graph of , as the graph with the bicliques of as its vertex set and is an edge iff and are mutually included. Note that (with the same vertex set).
Lemma 1.
If and are two bicliques of a free graph , that are not mutually included, such that then there is a biclique such that and .
Proof.
Let be a free graph and let and be two bicliques of that are not mutually included and that . Let , . Note that is an independent set (as is a free graph) and that (by definition of ). See Figure 0(b).
Suppose is not a biclique of . Then, by Observation 1, . By definition, , so there is a vertex . As is neighbour of every vertex of , it is also neighbour of every vertex of , then induces a complete bipartite subgraph and is not a biclique. So, there is no such vertex , and is a biclique of . ∎∎
Corollary 1.
If and are two intersecting bicliques of a free graph then and are mutually included or there is a biclique that is mutually included both with and .
Lemma 2.
If and are two bicliques such that there is a biclique mutually included with both and , then .
Proof.
Suppose and . Let be a biclique mutually include with and . Suppose w.l.o.g. that and . Also suppose that . If , then and . On the other hand, if , then and and also . ∎∎
Theorem 1.
If is a free graph, then .
Proof.
Let be a free graph and let and be two bicliques.
If and intersect, by Corollary 1, and are mutually included or there is a biclique that is mutually included with both. That is, and are at distance at most in .
If and do not intersect, by Lemma 2 there is no biclique that is mutually included with both. That is, and are at distance at least in .
So . ∎∎
Corollary 2.
free.
Proof.
By Theorem 1, free.
3 Properties
In this section we present properties of mutually included biclique graphs, square graphs, and therefore, for biclique graphs of trianglefree graphs.
Lemma 3.
Let and be two bicliques of a free graph such that . and are mutually included iff or .
Proof.
Let and be two bicliques such that .
By definition if and are mutually included then or .
Now suppose . Then , by the definition. By Observation 1, , and . So, . Consequently and are mutually included.
Changing roles of and , we conclude that and are also mutually included in the case when . ∎∎
Note that, for any graph, the union of two mutually included bicliques induces a bipartite graph and a set of mutually included bicliques are “nested”. In Figure 3 are presented a set of “nested” mutually included bicliques.
Lemma 4.
For any graph , and a set of bicliques of such that every two of them are mutually included, then there is an ordering of , such that (and ), assuming that , for .
Proof.
Let be any graph and be a set of bicliques of such that every two of them are mutually included. Recall that the relation is a partial order and note that the bicliques of has parts , , that are all comparable under that partial order. So there is an ordering of , such that (and ), assuming that , for . ∎∎
Any other biclique that is mutually included with , for some is also mutually included with , for every or every .
Theorem 2.
For every graph and for every clique of there is an ordering of the vertices of such that for every vertex , with , the vertices of are consecutive in that ordering and include the first or the last vertex of that ordering.
Proof.
Let be a graph and a clique of . That is, is a set of bicliques of such that every two of them are mutually included. By Lemma 4, there is an ordering of the bicliques of . Let , such that . Suppose that and , for .
Suppose that for some and that is minimum. Then for every . That is, is mutually included with , for .
Now suppose that for some and that is maximum. By the same argument, is mutually included with , for . ∎∎
Using Theorem 2 can be proved that some structures do not occur in .
Let be the vertices of the triangle of the net graph (Figure 1(a)) and let be the other vertices such that each is an edge. Let be any graph generated by a net graph with 0 or more edges added connecting only vertices of . See Figure 4.
Corollary 3.
For every graph , does not contain a as an induced subgraph.
Proof.
Let be a graph and . Suppose there is a graph as an induced subgraph of . As each vertex of is adjacent to only one vertex of , and is a triangle, by Theorem 2 there is an ordering of . Considering the neighbourhoods of and , and are the first and the last (or the inverse) of that ordering. Also by Theorem 2, the neighbourhood of should include or , but . Therefore does not contain a as an induced subgraph. ∎∎
Now we present a property about square graphs that implies in a property of biclique graphs of trianglefree graphs.
Call “old” edges the edges of (for some graph ) that are also edges of and call the other edges of as “new” edges. That is, “new” edges are the edges that are in and do not exist in .
Theorem 3.
Let for some graph . Then, every induced of is contained in a or a .
Proof.
Let for some graph . Suppose induces a in . Observe first that can contain at most one old edge. If is a new edge, then there is a vertex of that is adjacent in to and to . Observe that can not be adjacent to any , in . Then, for every new edge of there is in a (different) vertex adjacent to and .
If all edges of are new edges, vertices , , induce a in . Consequently is contained in .
Otherwise, w.l.o.g. suppose is an old edge of . Then, , , is isomorphic to and is included in . ∎∎
That property (of biclique graphs of trianglefree graphs) is a generalization of a very used property involving in biclique graphs. Also, we think that this new property can be a useful tool for solving the biclique graph recognition problem.
Corollary 4.
Every induced of a biclique graph of trianglefree graph is contained in a or a .
Note that a is a , is a fan and is a diamond. Then, the fact that every is contained in a diamond or a fan [11], when restricted to biclique graphs of trianglefree graphs, is a particular case of Corollary 4.
We present the following result which generalizes the Conjecture 1 when restrict to biclique graph of trianglefree graphs.
Theorem 4.
Let be a biclique graph of a trianglefree graph. If there exists an independent set in with , such that . Then .
Proof.
By Theorem 1, for some trianglefree graph . Suppose there is an independent set in with , such that .
Consider vertex . We affirm that there exists an old edge , . Let be a neighbour of . If is not an old edge, there exists such that , are edges in , that is and are old edges. Observe that when , since two vertices of does not have a common neighbour in , otherwise they would be adjacent in . Therefore .
Suppose there are only one old edge incident to each vertex of , otherwise . Suppose w.l.o.g. that . That is, , and are old edges. Since exists and is a new edge then, there exists a vertex such that and are old edges. Note that as is the unique old edge incident to and we conclude that is an old edge. Now following the same arguments for edges and we obtain that , and are old edges. Finally, vertices induce a in what leads to a contradiction according to Corollary 3. Consequently, . ∎∎
Observe that in Theorem 4 we do not ask for vertices to have the same neighbourhood. Finally, we prove the Conjecture 1 for the case of biclique graphs of trianglefree graphs as a corollary of Theorem 4.
Corollary 5.
Let be a graph not isomorphic to the diamond. Suppose , are vertices of with , such that , with , for . Then is not a biclique graph of a trianglefree graph .
4 Mutually Included Biclique Graphs of Bipartite Graphs
In the case of bipartite graphs the parts of the bicliques are also bipartitioned, and we can establish a partial order of the bicliques based on one part of the bipartite graph.
Let be a bipartite graph. Let be the set of bicliques of . Define the relation over such that when . The reflexive closure of is the partial order .
Lemma 5.
For every bipartite graph the poset is IIC.
Proof.
Let be a bipartite graph, with the poset and let and be two different bicliques of .
If then and is the maximum of . Also and is the minimum of .
Now suppose and are not comparable.
If then .
Suppose and there is a biclique . By definition, and , that is, . Then, and . So, if then .
If then, by Lemma 1, there is a biclique such that and is the maximum of . The same for part and .
So, the poset is IIC. ∎∎
We show that bipartite is an IICcomparability graph.
Lemma 6.
If is a bipartite graph then, is an IICcomparability graph.
Proof.
Let be a bipartite graph with the poset . By Lemma 3, two different bicliques, and , of are mutually included iff and are comparable by .
So, is the comparability graph of the poset .
Moreover, as is IIC, by Lemma 5, is an IICcomparability graph. ∎∎
Let be a poset. Define the predecessorssuccessors bipartite graph as follows: ; ; , for .
Let and .
Lemma 7.
Given a poset and its predecessorssuccessors graph . For every , is a biclique of .
Proof.
Let be a poset and its predecessorssuccessors graph .
Let . As for every , and for every , , then and . So induces a complete bipartite subgraph of .
Now suppose is not maximal. Then w.l.o.g. there is a vertex such that induces a complete bipartite subgraph of . By definition, , for every . But , and then . Consequently, and is a biclique of . ∎∎
For every subset , define or to be the base set of .
Lemma 8.
Given an IIC poset and its predecessorssuccessors graph . Every biclique of is equal to for some .
Proof.
Let be an IIC poset and its predecessorssuccessors graph . And let be any biclique of .
Consider the sets and . Suppose do not have a maximum element. Then there are at least two maximal elements in , and . As is IIC and (as and have at least one neighbour in common in ), has a minimum, . As , , consequently . Moreover, and , which implies that and are not maximal elements of . So, has a maximum. Using a similar reasoning we can show that has a minimum. Let be the maximum element of . Then and is the minimum element of . That is, . ∎∎
We show now that the class of IICcomparability is exactly the class of bipartite.
Theorem 5.
bipartite IICcomparability.
Proof.
By Lemma 6, bipartite IICcomparability.
Now let be an IICcomparability graph, , with its IIC poset, , , and its predecessorssuccessors graph . Recall that is a bipartite graph.
By Lemmas 7 and 8, there is a bijection between the vertex set of and the set of bicliques of , given by .
Let , with .
Suppose . Then or (as is a comparability graph with poset ). So or and and are mutually included (by Lemma 3) and then .
Now suppose . Then or . As and , then or and .
So, is an isomorphism and . Consequently IICcomparability bipartite.
Therefore, bipartite IICcomparability. ∎∎
Then, considering Theorems 1 and 5 we conclude the characterization of biclique graphs of bipartite graphs.
Corollary 6.
bipartiteIICcomparability.
5 Final Remarks
In this work we prove that the biclique graph of a free graph is the square of some particular graph called extending all known properties of square graphs to biclique graphs of trianglefree graphs and providing a tool to prove other properties. Some published properties about biclique graphs can be easily proved if we restrict to square graphs.
We prove that and by presenting the graphs wheel (Figure 1(c)), that is the biclique graph of some graph but is not the square of any graph, and the square graph of the net (Figure 1(a)), that is not a biclique graph of any graph. We conclude that the biclique graphs of free graphs are in the intersection , but it is not known if free or free.
Moreover, we give the first known property (which was conjectured by Groshaus and Montero) of biclique graphs that does not hold for square graphs.
We study properties of graphs in terms of ordering of the vertices of their cliques and neighbourhood (Theorem 2). That property lead to a forbidden structure () for mutually included biclique graphs. We need to find other properties of these graphs in order to better understand their square graphs.
We also show that the class of biclique graphs of bipartite graphs are exactly the square of a subclass of comparability graphs (IICcomparability). These characterizations (partial in the case of free graphs) do not lead to polynomial time recognition algorithms. However, it gives another tool to study the problem of recognizing biclique graphs and their properties.
References
 [1] Atluri, G., Bellay, J., Pandey, G., Myers, C., Kumar, V.: Discovering coherent value bicliques in genetic interaction data. In: Proceedings of 9th International Workshop on Data Mining in Bioinformatics (BIOKDD’10). pp. 125–132 (2010)
 [2] Bondy, A., Durán, G., Lin, M., Szwarcfiter, J.: Selfclique graphs and matrix permutations. Journal of Graph Theory 44(3), 178–192 (2003)
 [3] Brandstädt, A., Le, V.B., Spinrad, J.P.: Graph Classes: a Survey. SIAM Monographs on Discrete Mathematics and Applications, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA (1999)
 [4] Bu, D., Zhao, Y., Cai, L., Xue, H., Zhu, X., Lu, H., Zhang, J., Sun, S., Ling, L., Zhang, N., Li, G., Chen, R.: Topological structure analysis of the proteinprotein interaction network in budding yeast. Nucleic Acids Research 31(9), 2443–2450 (2003). https://doi.org/10.1093/nar/gkg340, http://nar.oxfordjournals.org/content/31/9/2443.abstract
 [5] Cruz, E.P., Groshaus, M., Guedes, A.L.P., Puppo, J.P.: Biclique graphs of interval bigraphs. Discrete Applied Mathematics 281, 134 – 143 (2020). https://doi.org/10.1016/j.dam.2020.02.010, http://www.sciencedirect.com/science/article/pii/S0166218X20300755
 [6] Durán, G., Lin, M.C.: Clique graphs of helly circulararc graphs. Ars Combinatoria 60, 255–271 (2001)
 [7] Groshaus, M., Guedes, A., Puppo, J.P.: The biclique graph of a subclass of split graphs. In: Latin American Workshop on cliques in graphs, La Plata, Argentina. p. 22 (2016), http://www.mate.unlp.edu.ar/~liliana/lawclique˙2016/prolist.pdf
 [8] Groshaus, M., Montero, L.: On the iterated biclique operator. Journal of Graph Theory 73(2), 181–190 (2013)
 [9] Groshaus, M., Guedes, A.L.P., Montero, L.: Almost every graph is divergent under the biclique operator. Discrete Applied Mathematics 201, 130–140 (2016). https://doi.org/10.1016/j.dam.2015.07.022
 [10] Groshaus, M., Montero, L.: Distances between bicliques and structural properties of bicliques in graphs. ArXiv abs/1708.09686 (2019)
 [11] Groshaus, M., Szwarcfiter, J.L.: Biclique graphs and biclique matrices. Journal of Graph Theory 63(1), 1–16 (2010). https://doi.org/10.1002/jgt.20442, http://dx.doi.org/10.1002/jgt.20442
 [12] Groshaus, M.E.: Bicliques, cliques, neighborhoods y la propiedad de Helly. Ph.D. thesis, Universidad de Buenos Aires (2006)
 [13] Groshaus, M.E., Montero, L.P.: The number of convergent graphs under the biclique operator with no twin vertices is finite. In: LAGOS’09 – V LatinAmerican Algorithms, Graphs and Optimization Symposium, Electron. Notes Discrete Math., vol. 35, pp. 241–246. Elsevier Sci. B. V., Amsterdam (2009). https://doi.org/10.1016/j.endm.2009.11.040, http://dx.doi.org/10.1016/j.endm.2009.11.040

[14]
Haemers, W.H.: Bicliques and eigenvalues. Journal of Combinatorial Theory, Series B
82(1), 56–66 (2001). https://doi.org/10.1006/jctb.2000.2020, http://www.sciencedirect.com/science/article/pii/S0095895600920203  [15] Kumar, R., Raghavan, P., Rajagopalan, S., Tomkins., A.: Trawling the web for emerging cybercommunities. In: Proceeding of the 8th international conference on World Wide Web. pp. 1481–1493 (1999)
 [16] Larrion, F., NeumannLara, V.: On clique divergent graphs with linear growth. Discrete Math. 245 (1), 139–153 (2002)
 [17] Lin, M., Soulignac, F., Szwarcfiter, J.: The clique operator on circulararc graphs. Discrete Applied Mathematics 158 (12), 1259–1267 (2010)
 [18] Liu, G., Sim, K., Li, J.: Efficient Mining of Large Maximal Bicliques. In: Proceedings of the 8th International Conference on Data Warehousing and Knowledge Discovery. pp. 437–448. DaWaK’06, SpringerVerlag, Berlin, Heidelberg (2006). https://doi.org/10.1007/11823728_42, http://dx.doi.org/10.1007/11823728_42
 [19] Montero, L.: Convergencia y divergencia del grafo biclique iterado. Bachelor’s thesis, Universidad de Buenos Aires (2008)
 [20] Nagarajan, N., Kingsford, C.: Uncovering genomic reassortments among influenza strains by enumerating maximal bicliques. In: 2008 IEEE International Conference on Bioinformatics and Biomedicine. pp. 223–230. IEEE Computer Society (Nov 2008). https://doi.org/10.1109/BIBM.2008.78
 [21] Prisner, E., Szwarcfiter, J.L.: Recognizing clique graphs of directed and rooted path graphs. Discrete Applied Mathematics 94, 321–328 (1999)
 [22] Puppo, J.P.: Estudio del operador biclique aplicado a distintas clases de grafos. Ph.D. thesis, UBA, Buenos Aires, Argentina (2019)
Comments
There are no comments yet.