Planar antiRamsey numbers of matchings
Abstract
Given a positive integer and a planar graph , let be the family of all plane triangulations on vertices such that contains a subgraph isomorphic to . The planar antiRamsey number of , denoted , is the maximum number of colors in an edgecoloring of a plane triangulation such that contains no rainbow copy of . In this paper we study planar antiRamsey numbers of matchings. For all , let denote a matching of size . We prove that for all and , , which significantly improves the existing lower and upper bounds for . It seems that for each , the lower bound we obtained is the exact value of for sufficiently large . This is indeed the case for . We prove that for all .
1 Introduction
All graphs considered in this paper are finite and simple. For a graph we use and to the number of vertices and number of edges of , respectively. For a vertex , we will use to denote the set of vertices in which are adjacent to . We define . For any , the subgraph of induced by , denoted , is the graph with vertex set and edge set . We denote the subgraph of induced on . If , we simply write . For disjoint subsets of , we use to denote the number of edges in with one end in and the other in . Since every planar bipartite graph on vertices has at most edges, we will frequently use the fact that when is planar and . Given two isomorphic graphs and , we may (with a slight but common abuse of notation) write . For any positive integer , let . We use the convention that “” means that is defined to be the righthand side of the relation.
Motivated by antiRamsey numbers introduced by Erdős, Simonovits and Sós [4] in 1975, we study the antiRamsey problem when host graphs are plane triangulations. A subgraph of an edgecolored graph is rainbow if all of its edges have different colors. Given a planar graph and a positive integer , let be the family of all plane triangulations on vertices such that contains a subgraph isomorphic to . The planar antiRamsey number of , denoted , is the maximum number of colors in an edgecoloring of a plane triangulation such that contains no rainbow copy of . Analogous to the relation between antiRamsey numbers and Turán numbers proved in [4], planar antiRamsey numbers are closely related to planar Turán numbers [13], where the planar Turán number of , denoted , is the maximum number of edges of a planar graph on vertices that contains no subgraph isomorphic to .
Proposition 1.1 ([13])
Given a planar graph and a positive integer ,
where .
Dowden [3] began the study of planar Turán numbers (under the name of “extremal” planar graphs). Results on planar Turán numbers of paths and cycles can be found in [3, 12]. The study of planar antiRamsey numbers was initiated by Horňák, Jendrol, Schiermeyer and Soták [6] (under the name of rainbow numbers). Results on planar antiRamsey numbers of paths and cycles can be found in [6, 13]. Colorings of plane graphs that avoid rainbow faces have also been studied, see, e.g., [5, 7, 17, 18]. Various results on antiRamsey numbers can be found in: [1, 2, 9, 10, 11, 14, 16] to name a few.
Finding exact values of is far from trivial. As observed in [6], an induction argument in general cannot be applied to compute because deleting a vertex from a plane triangulation may result in a graph that is no longer a plane triangulation. In this paper, we study planar antiRamsey numbers of matchings. For all , let denote a matching of size . In [8], the exact value of when was determined, and lower and upper bounds for were also established for all and . Recently, the exact value of was determined in [15] and an improved upper bound for was also obtained in [15]. We summarize the results in [8, 15] below.
Theorem 1.2 ([8])
Let and be positive integers. Then

for all , .

for all , .

for all and , .
Theorem 1.3 ([15])
Let and be positive integers. Then

for all , .

for all and , .
In this paper, we further improve the existing lower and upper bounds for .
Theorem 1.4
For all and , .
Theorem 1.4 significantly improves the lower bound in Theorem 1.2(c) and the new upper bound in Theorem 1.3(b). We believe that for each , the lower bound we obtained in Theorem 1.4 is the exact value of for sufficiently large . This is indeed the case for .
Theorem 1.5
For all , .
2 Proof of Theorem 1.4
We are ready to prove Theorem 1.4. Let be given as in the statement. We first prove that . Let be a path with vertices in order. Let be the plane triangulation obtained from by adding two adjacent vertices and joining each of and to all the vertices on with the outer face of having vertices on its boundary. Then and is hamiltonian. Let be the plane triangulation obtained from by adding a new vertex to each face of and then joining it to all vertices on the boundary of . Then is a plane triangulation on vertices. Let be the new vertex added to the outerface of . Let be the plane triangulation on vertices obtained from by adding vertices, say , to the face of containing , such that , and for all , is adjacent to in . The construction of when and is depicted in Figure 1. Clearly, . Let be an edgecoloring of by first coloring all the edges by color and then all the remaining edges of by distinct colors other than . It can be easily checked that has no rainbow under the coloring and the total number of colors used by is . This proves that , as desired.
It remains to prove that .
Suppose for some and . Then there exists a such that has no rainbow copy of under some onto mapping , where . We choose such a with minimum. Let be a rainbow spanning subgraph of with edges. Then does not contain because has no rainbow copy of . By minimality of and Theorem 1.3(a) (when ), contains a copy of .
Let be a matching of size in , and let . Let . For each , we may assume that . Since is the largest matching in , we see that has no augmenting path. It follows that has no edges, and for each ,
either or with . We may further assume that are such that for all , and for all , where . Then . Let . Then when , and when because is a planar bipartite graph on vertices. Since is planar and , we have . Thus, , contrary to . This completes the proof of Theorem 1.4.
Remark. For , the condition “” in the statement of Theorem 1.4 can be replaced by “”.
3 Proof of Theorem 1.5
We need to introduce more notation that shall be used in this section only. For , let be the set of all plane triangulations on vertices, and let be the set of all planar graphs with vertices and edges. Clearly, every graph in is isomorphic to a plane triangulation on vertices with one edge removed. By abusing notation, let and . It is known that every plane triangulation on vertices is connected. It is also known that every plane triangulation on vertices has a Hamilton cycle and every plane triangulation on vertices does not necessarily have a Hamilton cycle^{1}^{1}1The third author would like to thank Jason Bentley, a Ph.D. student at the University of Central Florida, for his help in carefully verifying these facts with her.. We summarize these facts as follows.
Observation 3.1
Let be a planar triangulation on vertices. Then

is connected.

for every , has a Hamilton cycle.

for every , does not necessarily have a Hamilton cycle.
Let denote the number of odd components in a graph . We shall make use of the following theorem in the proof of Theorem 1.5.
Theorem 3.2 (BergeTutte Formula)
Let be a graph on vertices and let be the size of a maximum matching of . Then there exists an with such that
Moreover, each odd component of is factorcritical.
Proof of Theorem 1.5: Let be an integer. By Theorem 1.4, . We next show that . Suppose . Then there exists a such that has no rainbow under some onto mapping , where . Let be a rainbow spanning subgraph of with edges.
By Theorem 1.3(a), has a copy of . Clearly, has no copy of because has no rainbow copy of under . By Theorem 3.2, there exists an with such that
. Let be all the odd components of . We may assume that . Let . Then . It follows that . Let when and for all . We may further assume that . Let and . Then and when . We next prove several claims.
Claim 1. If has two edgedisjoint matchings of size , say and , then has no edges.
Proof. Suppose has an edge . We may assume that for all . But then is a rainbow in under the coloring , a contradiction.
Claim 2. If , then .
Proof. Suppose . Then has a Hamilton cycle by Observation 3.1(b), and thus has two edgedisjoint matchings of size . By Claim 1, has no edges. But then
which implies that because , contrary to .
Claim 3. .
Proof. Suppose . Then and so . It follows that
which implies that . If , then . But then
which is impossible. Thus , and so and . By Claim 2, . Since , we see that . Thus or . Then , else , a contradiction. Suppose . Then and . It follows that , else . But then , contrary to . This proves that . We may assume that . Then , and , which implies that . If , then , a contradiction. Thus . Furthermore, , else , contrary to . Since , we see that . Then , else , a contradiction. Since does not contain as a subgraph, we may assume that . Then because . Note that . By Observation 3.1(b), has a hamiltonian path with as an end. Since , we see that has two edgedisjoint matchings of size . By Claim 1, has no edges. But then
which implies that , contrary to .
By Claim 3, and . Then , which implies that , with only when .
Claim 4. .
Proof. Suppose . By Claim 3, . Thus . It follows that
which implies that . If , then and so , else , a contradiction. Since does not contain as a subgraph, we see that . By Claim 2, . Thus . Note that . But then
which is impossible. Thus . Then . It follows that and because is factorcritical. Then , else and so , a contradiction. Since , we see that . Thus or . Suppose . Then for all . Since , we see that . But then , contrary to . This proves that . Then , else , a contradiction. Since , we see that . Then because . Since and , we may assume that for some with . Note that does not contain as a subgraph. We may further assume that . Then . By Observation 3.1(b), has a hamiltonian path with as an end. Since , we see that has two edgedisjoint matchings of size . By Claim 1, has no edges. But then
which implies that , contrary to .
By Claim 4, and . Then , which implies that , with only when and . Suppose . Then . By Claim 2, . Since does not contain as a subgraph, we see that . Then and , else either
contrary to in both cases. Let and . Since , we may assume that . It follows that has two edgedisjoint matchings of size , namely, and . By Claim 1, has no edges. But then
which implies that , contrary to . Thus . Then for all and is a vertexcut of because . Then and . But then
which is impossible because and . This completes the proof of Theorem 1.5.
Remark. In the proof of Theorem 1.5, Claim 1 is applied to two vertexdisjoint matchings, instead of edgedisjoint matchings. It seems that the method we developed in the proof of Theorem 1.5 can be used to close the gap in Theorem 1.4.
Acknowledgments. The authors would like to thank Jingmei Zhang for helpful comments.
Gang Chen would like to thank the University of Central Florida for hosting his visit. His research is partially supported by NSFC under the grant number 71561022 and Overseas Training Program for Faculty at Ningxia University.
References
 [1] N. Alon, On a conjecture of Erdős, Simonovits and Sós concerning antiRamsey theorems, J Graph Theory 7 (1983) 91–94.
 [2] M. Axenovich, T. Jiang and A. Kündgen, Bipartite antiRamsey numbers of cycles, J Graph Theory 47 (2004) 9–28.
 [3] C. Dowden, Extremal free/free planar graphs, J Graph Theory 83 (2016) 213–230.
 [4] P. Erdős, M. Simonovits and V.T. Sós, AntiRamsey theorems, Colloq Math Soc Janos Bolyai 10 (1975) 633–643.
 [5] Z. Dvořák, D. Král and R. Škrekovski, Nonrainbow coloring 3, 4 and 5connected plane graphs, J Graph Theory 63 (2010) 129–145.
 [6] M. Horňák, S. Jendrol, I. Schiermeyer and R. Soták, Rainbow numbers for cycles in plane triangulations, J Graph Theory 78 (2015) 248–257.
 [7] S. Jendrol, J. Miškuf, R. Soták and E. Škrabuláková, Rainbow faces in edgecolored plane graphs, J Graph Theory 62 (2009) 84–99.
 [8] S. Jendrol, I. Schiermeyer and J. Tu, Rainbow numbers for matchings in plane triangulations, Discrete Math. 331 (2014) 158–164.
 [9] T. Jiang, AntiRamsey numbers of subdivided graphs, J Combin. Theory Ser. B 85 (2002) 361–366.
 [10] T. Jiang and O. Pikhurko, AntiRamsey numbers of doubly edgecritical graphs, J Graph Theory 61 (2009) 210–218.
 [11] Z. Jin and X. Li, AntiRamsey numbers for graphs with independent cycles, Electron. J Combin. 16 (2009) #R85.
 [12] Y. Lan, Y. Shi and ZX. Song, Planar Turán numbers for Theta graphs and paths of small order, submitted. arXiv:1711.01614.
 [13] Y. Lan, Y. Shi and ZX. Song, Planar antiRamsey numbers for paths and cycles, submitted. arXiv:1709.00970.
 [14] J. J. MontellanoBallesteros and V. NeumannLara, An antiRamsey theorem, Combinatorica 22 (2002) 445–449.
 [15] Z. Qin, Y. Lan and Y. Shi, Improved bounds for rainbow numbers of matchings in plane triangulations, submitted,
 [16] I. Schiermeyer, Rainbow numbers for matchings and complete graphs, Discrete Math. 286 (2004) 157–162.
 [17] R. Ramamurthi and D. B. West, Maximum faceconstrained coloring of plane graphs, Discrete Math. 274 (2004) 233–240.
 [18] A. A. Zykov, Hypergraphs, Uspekhi Mat Nauk 29 (1974) 89–154.