arxiv: v1 [math.co] 12 May 2013

Transcription

1 EMBEDDING CYCLES IN FINITE PLANES FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA arxiv: v1 [math.c] 12 May 2013 Abstract. We define and study embeddings of cyces in finite affine and projective panes. We show that for a k, 3 k q 2, a k-cyce can be embedded in any affine pane of order q. We aso prove a simiar resut for finite projective panes: for a k, 3 k q 2 + q + 1, a k-cyce can be embedded in any projective pane of order q. 1. Introduction ur work concerns substructures in finite affine and projective panes. In order to expain the questions we consider, we wi need the foowing definitions and notations. Any graph-theoretic notion not defined here may be found in Boobás [1]. A of our graphs are finite, simpe and undirected. If G = (V, E) = (V (G), E(G)) is a graph, then the order of G is v(g) = V, the number of vertices of G, and the size of G is e(g) = E, the number of edges in G. Each edge of G is thought as a 2-subset of V. An edge {x, y} wi be denoted by xy or yx. A vertex v is incident with an edge e if v e. We say that a graph G = (V, E ) is a subgraph of G, and denote it by G G, if V V and E E. If G G, we wi aso say that G contains G. For a vertex v V, N(v) = N G (v) = {u V : uv E} denotes the neighborhood of v, and deg(v) = deg G (v) = N(v), the degree of v. If the degrees of a vertices of G are equa to d, then G is caed d-reguar. For a graph F, we say that G is F -free if G contains no subgraph isomorphic to F. For k 2, any graph isomorphic to the graph with a vertex-set {x 1,..., x k } and an edge-set {x 1 x 2, x 2 x 3,..., x k 1 x k } is caed an x 1 x k -path, or a k-path, and we denote it by P k. The ength of a path is its number of edges. For k 3, the graph with a vertex-set {x 1,..., x k } and edge-set {x 1 x 2, x 2 x 3,..., x k 1 x k, x k x 1 } is caed a k-cyce, and it is often denoted by C or C k. Any subgraph of G isomorphic to a k-cyce is caed a k-cyce in G. The girth of a graph G containing cyces, denoted by g = g(g), is the ength of a shortest cyce in G. Let V (G) = A B be a partition of V (G), and et every edge of G have one endpoint in A and another in B. Then G is caed bipartite and we denote it by G(A, B; E). If A = m and B = n, then we refer to G as an (m, n)-bipartite graph. A notions of incidence geometry not defined here may be found in [2]. A partia pane π = (P, L; I) is an incidence structure with a set of points P, a set of ines L, and a symmetric binary reation of incidence I (P L) (L P) such that any two distinct points are on at most one ine, and every ine contains at east two points (note that we have used P for two different object as of now: to denote a path 2000 Mathematics Subject Cassification. Primary 05, 51; Secondary 20. Key words and phrases. Graph embeddings, finite affine pane, finite projective pane, cyce, hamitonian, pancycic graph. 1

2 2 FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA and to denote the points on a partia pane. The usage of this symbo shoud be cear from the context). The definition impies that any two ines share at most one point. We wi often identify ines with the sets of points on them. We say that a partia pane π = (P, L ; I ) is a subpane of π, denoted π π, if P P, L L, and I I. If there is a ine containing two distinct points X and Y, we denote it by XY or Y X. For k 3, we define a k-gon as a partia pane with k distinct points {P 1, P 2,... P k }, with k distinct ines {P 1 P 2, P 2 P 3,..., P k 1 P k, P k P 1 }, and with point and ine being incident if and ony if the point is on the ine. A subpane of π isomorphic to a k-gon is caed a k-gon in π. The Levi graph of a partia pane π is its point-ine bipartite incidence graph Levi(π) = Levi(P, L; E), where P E if and ony if point P is on ine. The Levi graph of any partia pane is 4-cyce-free. Ceary, there exists a bijection between the set of a k-gons in π and the set of 2k-cyces in Levi(π). A projective pane of order q 2, denoted π q, is a partia pane with every point on exacty q + 1 ines, every ine containing exacty q + 1 points, and having four points such that no three of them are coinear. It is easy to argue that π q contains q 2 + q + 1 points and q 2 + q + 1 ines. Let n q = q 2 + q + 1. It is easy to show that a partia pane is a projective pane of order q if and ony if its Levi graph is a (q + 1)-reguar graph of girth 6 and diameter 3. Projective panes π q are known to exist ony when the order q is a prime power. If q 9 is a prime power but not a prime, there are aways non-isomorphic panes of order q, and their number grows fast with q. Let P G(2, q) denote the cassica projective pane of prime power order q which can be modeed as foows: points of P G(2, q) are 1-dimensiona subspaces in the 3-dimensiona vector space over the finite fied of q eements, ines of P G(2, q) are 2-dimensiona subspaces of the vector space, and a point is incident to a ine if it is a subspace of it. Removing a ine from a projective pane, and removing its points from a other ines, yieds a partia pane known as an affine pane. The ine removed is often referred to as the ine at infinity, and it is denoted by. Conversey, a projective pane of order q can be obtained from an affine pane of order q (i.e. having q+1 ines through each point) by adding a ine at infinity to it, which can be thought of as a set of q +1 new points, caed points at infinity, which is in bijective correspondence with the set of parae casses (aso caed the set of a sopes) of ines in the affine pane. We wi use π q to denote a projective pane of order q, and α q for affine panes of order q. The foowing probem, stated in terms of set systems, appears in Erdős [5]: Probem 1. pane? Is every finite partia inear space embedded in a finite projective It is possibe that the question was asked before, as it was we known that every partia inear space embeds in some infinite projective pane, by a process of free cosure due to Ha [10]. For recent resuts reated to the question, see Moorhouse and Wiiford [16]. Rephrased in terms of graphs, Probem 1 is the foowing: Probem 1. Is every finite bipartite graph without 4-cyces a subgraph of the Levi graph of a finite projective pane? Thinking about cyces in Levi graphs of projective panes, we introduced the foowing notion of embedding of a graph into a partia pane, and found it usefu.

3 EMBEDDING CYCLES IN FINITE PLANES 3 Let G be a graph and et π = (P, L; I) be a partia pane. Let f : V (G) E(G) P L be an injective map such that f(v (G)) P, f(e(g)) L, and for every vertex x and edge e of G, their incidence in G impies the incidence of point f(x) and ine f(e) in π. We ca such a map f an embedding of G in π, and if it exists we say that G embeds in π and write G π. If G π, then adjacent vertices of G are mapped to coinear points of π. Note that if G π q, then v(g) n q, e(g) n q, and deg G (x) q + 1 for a x V (G). A cyce containing a vertices of a graph is caed a hamitonian cyce of the graph, and if such exists, the graph is caed a hamitonian graph. Simiary, if π q contains an n q -gon, we ca it hamitonian. A graph G containing k-cyces of a possibe engths, 3 k v(g), is caed pancycic. Simiary, we say that π q is pangona, if it contains k-gons for a 3 k n q. The atter is equivaent to Levi(π q ) containing a 2k-cyces for 3 k n q. Ceary, if G π q, a k-cyce in G corresponds to a k-gon in π q, which, in turn, corresponds to a 2k-cyce in Levi(π q ). From now on we choose to be ess pedantic, and wi fee free to use graph theoretic and geometric terms interchangeaby. For exampe, we wi say point for a vertex of a graph, vertex for a point of a partia pane, and we wi speak about path and cyce in a pane, etc. Determining whether a graph is hamitonian, or, more generay, understanding what cyces it contains, is one of the centra probems in graph theory, and it has been a subject of active research for many years. The existence of hamitonian cyces in π q (or Levi(π q )), or its pancycicity, was addressed by severa researchers. The presence of k-gons of some sma engths in π q is easy to estabish. In [14], the authors presented expicit formui for the numbers of distinct k-gons in every projective pane of order q for k = 3, 4, 5, 6. Very recenty, and in a very impressive way, Voropaev [21] extended this ist to k = 7, 8, 9, 10. The existence of very specia hamitonian cyces in P G(2, q) is a ceebrated resut of Singer [19]. These cyces are often referred to as the Singer cyces in P G(2, q). For q = p (prime) Schmeiche [18] showed by expicit constructions that P G(2, p) is pancycic, and that the hamitonian cyces he constructed were different from Singer cyces. DeMarco and Lazebnik [4] constructed a hamitonian cyce in a Ha pane of order p 2. Most of the known sufficient conditions for the existence of hamitonian cyces in graphs are effective for rather dense graphs: graphs of order n and size greater that cn 2 for some positive constant c (see a survey by Goud [9]). Levi graphs of projective panes are much sparser; being (q + 1)-reguar, their size is (1/(2 2) + o(1))n 3/2 for n, and that is why most techniques of proving hamitonicity of graphs do not appy to them. For the same reason, upper bounds on the Turán number of a 2k-cyce, see, e.g., Pikhurko [17] and and references therein, are not effective for proving the existence of 2k-cyces in Levi graphs of projective panes for most vaues of k (as k may depend on q). A new approach for estabishing hamitonicity and the existence of shorter cyces came from probabiistic techniques and studies of cyces in random and pseudorandom graphs (we omit the definition). See, e.g., Thomasson [20], Chung, Graham and Wison [3], Frieze [7], and Frieze and Kriveevich [8]. In [12], Kriveevich and Sudakov expored reations between pseudo-randomness and hamitonicity in reguar non-bipartite graphs. Some other resuts reated to

4 4 FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA hamitonicity and pancycicity appeared in recent pubications by Keevash and Sudakov [11], Kriveevich, Lee and Sudakov [13], and Lee and Sudakov [15]. It is ikey that proofs in these papers can be modified to give resuts for (bipartite) Levi graphs of projective panes, but the requirement on the order of the graph to be sufficienty arge (as is the case in the aforementioned papers) wi remain. In this paper we estabish the pancycicity of π q and α q, for a q, and our proof is constructive. ur main resuts foow. Theorem 1. Let α q be an affine pane of order q 2. Then C k α q for a k, 3 k q 2. Theorem 2. Let π q be a projective pane of order q 2, and n q = q 2 + q + 1. Then C k π q for a k, 3 k n q. We now proceed to give a construction for paths and cyces in any finite affine or projective pane. We start with a remark that wi be very usefu ater on. Remark 1. Let P 1 P 2 P k and Q 1 Q 2 Q n be two disjoint (in terms of points and ines) paths embedded in π q or α q. Then, if the ine = P k Q n has not been used in these embeddings, we can create the foowing embedding for a path on n + k vertices: P 1 P 2 P k Qn Q n 1 Q 2 Q 1. Here, the symbo P k Qn indicates that the ine joins the points P k and Q n. Moreover, if the ine m = Q 1 P 1 is sti avaiabe, then we get a cyce of ength k + n embedded in π q (or α q ). ur main technique in the next two sections wi be to construct paths that can be combined using Remark 1 to create cyces of any ength. 2. Cyces in Affine Panes Let α q be an affine pane of order q, and et be any point of the pane. We abe the q + 1 ines through by 0, 1,..., q. For any given point Q α q, we use i + Q to denote the ine parae to i that passes through Q. Let a mod q + 1 denote the remainder of the division of a by q + 1. Pick any point P 0 on 0, different from. Let P 1 be the point of intersection of 2 + P 0 and 1. Let P 2 be the point of intersection of 3 + P 1 and 2, etc. In genera, et P i be the point of intersection of i+1 mod q+1 +P i 1 and i, for a i = 1, 2,..., q. Since P i i, for a i = 1, 2,..., q, then a these points are distinct. Simiary, the ines P i 1 P i are in different parae casses, for a i = 1, 2,..., q. It foows that by joining the points P i 1 and P i, for a i = 1, 2,..., q, we obtain a path on q + 1 vertices. Denote this path by P P0.

5 EMBEDDING CYCLES IN FINITE PLANES Q 1 Q 3 Q 0 P 1 Q 2 P 3 Q 4 P 0 P 2 P 4 P Q0 P P0 Figure 1. Two vertex/edge disjoint paths, P P0 and P Q0, for q = 4. Lemma 1. Let P 0 Q 0 0. Then the paths P P0 and P Q0 share neither points nor ines. Proof. Let P P0 : P 0 P 1 P q P Q0 : Q 0 Q 1 Q q Ceary P i Q j, for i j. We aso know that P 0 Q 0. So, assume that P i = Q i, for some i = 1,..., q, so that P j Q j, for a 0 j < i. It foows that ( i+1 mod q+1 + P i 1 ) i = P i = Q i = ( i+1 mod q+1 + Q i 1 ) i which forces i+1 mod q+1 + P i 1 = i+1 mod q+1 + Q i 1, and thus P i 1 = Q i 1, a contradiction. Finay, it is easy to see that if P P0 and P Q0 shared a ine, then they woud aso share a point. Lemma 2. We can partition the points of α q \ {} into s cyces, C 1,..., C s, where the ength of C i is t i (q + 1) for some integer t i, 1 i s q 1, 1 t 1... t s, and t t s = q 1. Proof. If we abe the points on 0 \ {} by x 1, x 2,, x q 1, by Lemma 1, P x1, P x2,..., P xq 1 yieds a partition of the points of α q \ {} into q 1 disjoint paths each having q + 1 vertices. If q 3, then we have at east two such paths, and we may want to connect them to create onger paths and/or cyces. Note that in the paths P xi, no ine parae to 1 has been used. Now, if we consider a path P P0, then the ine 1 + P q intersects 0 at a point Q, which can never be equa to, otherwise 1 + P q = 1, and thus P q 1 q = {}, a contradiction. This point Q is uniquey determined by P 0 (and the way we do this construction, of course). If Q = P 0, then we get a (q + 1)-cyce. If Q P 0, then we re-abe Q = Q 0 and consider the path P Q0. This wi give us a path with 2(q + 1) vertices, namey P 0 P 1 P q Q 0 Q 1 Q q. We then proceed to find R 0 := ( 1 + Q q ) 0. If R 0 = P 0 we get a cyce of ength 2(q + 1). If R 0 = Q 0, then we get that Q 0 is on two ines that are parae to 1, namey 1 +Q q and 1 +P q. This forces P q and Q q to coincide, but this is impossibe because of Lemma 1. It foows that we either get a cyce of ength 2(q + 1) or we can keep extending this path using P R0. Since 0 contains finitey many points this process must end. Moreover, it is impossibe to cose this cyce at any point that

6 6 FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA is not P 0, as this woud yied the same contradiction we obtained above when we assumed R 0 = Q 0. Hence, by combining paths we can construct cyces of ength t(q + 1), for some positive integer t, these are the cyces C i we wanted to find. In order to prove Theorem 1 we wi need to construct paths out of the cyces C 1, C 2,..., C s. Firsty, we define terms and set notation that wi be necessary for the rest of this artice. Definition 1. For every i = 1,..., s, et P i,i 1 be an arbitrary point on i 1 C i (note that there are t i such points), and et P i,i be its neighbor on i. We construct two different types of paths in C i : a of them start at P i,i 1 and (1) the next vertex is P i,i. The other vertices in the path are easiy determined from these first two, or (2) the next vertex is the neighbor of P i,i 1 in C i that is on the ine i 2 mod q+1. The other vertices in the path are easiy determined from these first two. We wi say that the first path is a positive path, and that the second is a negative path. Lemma 3. k-cyces can be embedded in α q, for a 3 k t 1 (q + 1). Proof. If q = 2, 3 the resut is immediate. We assume q 4 for the rest of this proof. The cyce C 1 is of ength t 1 (q + 1), and so we ony need to construct k-cyces with 3 k < t 1 (q + 1). If k 1 (mod q + 1), then, since k 3, we consider a positive k-path in C 1 starting at P 1,0. As k 1 (mod q + 1), this path ends at some Q 0 0, and Q 0 P 0. Connect P 0 to Q 0 using 0 to get a k-cyce. If k 2 (mod q + 1) and 2 < k < t 1 (q + 1), then t 1 > 1. Consider a positive (k 2)-path P in C 1 starting at P 1,0. This path ends at a point P q q. Since k < t 1 (q + 1) then there is a 2-path in C 1, disjoint from P, of the form Q q 1 Q q with Q i i, for i = q 1, q. Consider the foowing k cyce 0 P 0 P q 1 in P q 1 Q q 1 Q q q, where P q 1 q 1 was the neighbor of P q in P. If k 1, 2 (mod q + 1), then, since 3 k t 1 (q + 1), take a positive (k 1)-path in C 1 starting at P 1,0. This path wi end on a point P k 2 k 2. Connect P 0 and P k 2 to using 0 and k 2, respectivey, to get a k-cyce. We now focus on the construction of k-cyces for k > t 1 (q + 1). In order to do that we wi use the foowing construction. Construction 1. Let λ m = t 1 + t t m. We wi construct a λ m (q + 1)-path P m out of the cyces C 1, C 2,..., C m, where 2 m s (reca that s q 1). For each i = 1,..., m 1, we connect C i with C i+1 by joining P i,i with P i+1,i using i. Then, for a i = 1,..., m, we take the P i,i 1 P i,i path in C i having t i (q + 1) vertices, and construct the foowing path P 1,0 P 1,1 in C 1 1 P2,1 P 2,2 in C 2 2 m 1 Pm,m 1 P m,m in C m

7 EMBEDDING CYCLES IN FINITE PLANES 7 Since no vertices were eiminated or added, and a new ines are distinct and through (none used in the construction of the C i s), this construction yieds a P 1,0 P m,m -path with λ m (q + 1) vertices. P 1,q P1,1 C 1 P 1,0 1 P 2,2 P 2,1 2 C 2 P 3,2 P 3,3 3 C 3 P m,m 1 m 1 P m,m C m Figure 2. Construction of P m Note that has not been used in the construction of P m, and that neither have the ines m,..., q, and 0. Finay, we wi denote the neighbor of P 1,0 in P m, which is a point on q, by P 1,q. We now prove Theorem 1. Proof of Theorem 1. In this proof we foow the notation introduced in Construction 1. If q = 2, the existence of 3- and 4-cyces is obvious. If q = 3, pancycicity can be easiy verified. In what foows we assume q 4, though most arguments hod for q 3. We want to embed a possibe k-cyces in α q that have not been aready discussed in Lemma 3. For any given k, we write it as either k = λ s (q+1), k = λ s (q+1)+1 = q 2, or k = λ m (q + 1) + r, for some m = 1,..., s 1 and 0 r < t m+1 (q + 1). Note that the case m = 0 was taken care of in Lemma 3. Firsty, we can join P 1,0 and P s,s with, using the ines 0 and s respectivey, to obtain a cyce of ength λ s (q+1)+1. Note that this grants hamitonicity. Moreover, if we cut P s short one vertex, and thus we ask it to end at P 1,q, then joining the endpoints of this new path to yieds a λ s (q + 1)-cyce. From now on, et k = λ m (q + 1) + r, for some m = 1,..., s 1 and some 0 r < t m+1 (q + 1). ur strategy for constructing a k-cyce in α q wi be to connect a path on C m+1 (note that m < s) to and P m. The paths on C m+1 we wi consider aways starts at P m+1,m, which wi be connected to P m,m P m by using m. We consider severa cases. (a) If r 3 (mod q + 1) we first get a positive path on r 1 vertices on C m+1 that

8 8 FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA P 1,q P 1,0 P m P m,m m P m+1,m C m+1 Figure 3. Connecting P m and C m+1 ends on a point Q m+1 m+1. We then join P 1,0 with using 0, Q m+1 with using m+1. The resut is a cyce of the desired ength. (b) If r 1 (mod q + 1) we consider a negative (r 2)-path on C m+1 that ends on a point Q m+1 m+1. We finish the construction as in case (a). (c) If r 2 (mod q +1) or r 0 (mod q +1), then we cut P m short one vertex, so it ends at P 1,q. We get the path in C m+1 as in part (a) (for r 2 (mod q + 1)) or (b) (for r 0 (mod q + 1)). We cose the cyce by joining P 1,q with using q, Q m+1 with using m+1. (d) If r i (mod q + 1), where 4 i q. We want to get a positive (r 2)-path on C m+1 starting at P m+1,m. This path woud end at a point on m+i 2 mod q+1. (i) If i q + 2 m, then m + i 2 q, and thus this path on r 1 vertices ends at a point Q m+i 2 m+i 2. We then get a cyce of the desired ength by joining P 1,0 with using 0, Q m+i 2 with using m+i 2. (ii) If i q + 3 m, then m + i 2 q + 1, and thus this path on r 1 vertices ends at a point Q t 2 t 2, where 0 t 2 m 3. We next shift this path to make it start at P m+1,m+1 instead of P m+1,m and add a vertex to make it a path on r vertices. Now this path ends at Q t t, where 2 t m 1. Since the ine t is needed to construct P m we wi need to modify the construction of P m by connecting the cyces C 1, C 2,..., C m+1 in the foowing way C t 2 t 1 t+1 t+2 m+1 C2 Ct 1 Ct Ct+1 Cm+1 Note that this can be done for a 2 t m 1, and that doing this means that P t,t is a oose vertex, not used in P m anymore. Now we connect this path to the path on C m+1 that ends on Q t. The ine t is now free, and thus it can be used to cose the cyce at. We get the cyce This cyce has ength: 0 C 1 1 m m+1 C m Pm+1,m+1 Q t t λ m (q + 1) 1 + r + 1 = λ m (q + 1) + r = k The minus one is because of the oose vertex, the pus one is because of. 3. Cyces in Projective Panes In this section we wi study embeddings of cyces in finite projective panes. Let π q denote a projective pane of order q. We think about π q as obtained from an

9 EMBEDDING CYCLES IN FINITE PLANES 9 affine pane α q by adding a ine, denoted, consisting of points (i), for i = 0,, q. Using the notations from the previous section, each of these points (i) is incident with ony the foowing ines:, ine i of α q, and the q 1 ines of α q parae to i. The next statement foows immediatey from our work in Section 2. Coroary 1. Let π q be a projective pane of order q. Then, a k-cyce can be embedded in π q, for a k = 3,..., q 2. Therefore in order to prove the pancycicity of π q, we need to show that k-cyces can be embedded into π q for a k, q k q 2 + q + 1. At this point one woud expect to use heaviy the pancycicity of α q for the construction of ong cyces in π q, but we coud not make use of this idea. Instead, we base our construction methods on using the cyces C i in simiar ways to that in the proof of Theorem 1. Let W 1 be any of the vertices of C 1 that are on q, and et V 1 = ( 1 + W 1 ) 0. It foows that V 1 is a vertex of C 1, and that 1 + W 1 is an edge of C 1. Simiary, for 2 i s, et W i i 2 be a vertex of C i, and V i = ( i + W i ) i 1. Hence, V i is a vertex of C i, and i + W i is an edge of C i. For each i = 1,, s, et [V i, W i ] denote the V i W i -path in C i, different from the edge V i W i. Next we define U i to be the vertex of C i that is on q and that is the cosest to V i, when we move from V i towards W i aong C i. By [V i U i ] we denote the subpath of [V i, W i ] having q i + 2 vertices and endpoints V i and U i. (0) (i 2) (i 1) (q) W i V i U i [V i U i ] [V i,w i ] Figure 4. Paths [V i, W i ] and [V i U i ] (0) (1) (2) (3) (q 2) (q 1) (q) W3 V 2 V 3 W 2 V 1 W 1 Figure 5. Paths [V 1, W 1 ], [V 2, W 2 ], and [V 3, W 3 ]

10 10 FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA Reca that (i) = i. We now construct a path P (for s 2) by connecting W i with (i) using i + W i (which is not an edge of [V i, W i ]), and connecting (i) with V i+1 using i. Thus P is the path: [V 1, W 1 ] 1+W1 (1) 1 [V 2, W 2 ] 2+W2 (2) (s 1) s 1 [V s, W s ]. For s = 1, P is obtained from the cyce C 1 by removing the edge V 1 W 1. Note that for a s, P has (q 2 1) + (s 1) = q 2 + s 2 vertices. The ines s,, q, 0, s + W s, and have not been used in the construction of P, and neither have the points (s),, (q), (0), and. (0) (1) (2) (3) (q 2) (q 1) (q) W3 V 2 V 3 W 2 V 1 W 1 P Figure 6. Paths [V 1, W 1 ], [V 2, W 2 ], [V 3, W 3 ] joined into a path P. Its endpoints are V 1 and W 3 (0) (s 3) (s 2) (s 1) (s) (q 1) (q) W s V s W s 1 P V 1 Figure 7. A simpe diagram of the path P Now we begin our construction of k-cyces in π q of engths from q 2 +1 to q 2 +q+1 by using the path P and/or modifications of it. Reca that s denotes the number of a cyces C i, or of a paths [V i, W i ], and that 1 s q 1. We wi first construct cyces of ength between q to q 2 + s + 2, and then the ones that are onger than q 2 + s + 2. Lemma 4. Cyces of ength ranging from q to q 2 + s + 2 can be embedded in π q. Proof. Using the path P we can construct

11 EMBEDDING CYCLES IN FINITE PLANES 11 (1) a cyce of ength q 2 + s + 2: V 1 W s+w s s (s) s q (q) (0) 0 V 1, in P (2) a cyce of ength q 2 + s + 1: V 1 W s+w s s (s) (q) q 0 V 1, and in P (3) a cyce of ength q 2 + s: V 1 W s+w s s (s) (0) 0 V 1. in P Note that the ines s,, q have not been used in the construction of this ast cyce, and neither have the points (s + 1),, (q), and. We wi denote this cyce by C. If q + 1 2s, then, for every q s + 1 i s, et us modify C in the foowing way: Deete q i + 1 vertices of the path [V i U i ], a except U i. Connect (i 1) with (reca that (i 1) was connected to V i in C via i 1 ). Connect with U i using q. This yieds the cyce i 1 q U i (i 1) Ui in C which has ength (q 2 + s) (q i + 1) + 1 = q 2 q + s + i. Since q s + 1 i s, the ength of this cyce ranges between q and (q 2 + s) (q s). Note that if q + 1 > 2s, then (q 2 + s) (q s) < q So, for a reevant vaues of s we have been abe to construct cyces with engths ranging from q to (q 2 + s) (q s). Next we want to construct k-cyces for (q 2 + s) (q s) < k < q 2 + s. In order to do that we need to set more notation. Let us reabe the vertices in the path [V s U s ] by V s = P s 1, P s,, P q 1, P q, where P i i, for a i = s,..., q. Note that P q = U s. For s 1 i < q, et [P i P j ] denote the subpath of [V s U s ] joining P i and P j. Note that a cyce of ength (q 2 +s) (q s) vertices may be obtained using i = s in the previous construction. We want to use a simiar construction to get a cyce of ength (q 2 + s) (q s) + 1. We modify C by repacing its subpath [P s 1 P q 1 ] by a path (s 1) s 1 q 1 P q 1 P q eading to the foowing cyce of ength (q 2 + s) (q s) + 1. U s (s 1) in C s 1 q 1 P q 1 P q Note that we are using here that s q 1. Now, to create cyces of ength arger than (q 2 + s) (q s) + 1 we use the foowing strategy.

12 12 FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA For every i = s,, q 1, we modify C, by connecting P i with, and with P q to get the cyce P q P i q i Pq, in C which has ength (q 2 +s) (q i 1)+1 = (q 2 +s) (q i 2). Since i = s,, q 1, then the ength of this cyce ranges from (q 2 + s) (q s) + 2 to (q 2 + s) + 1. Coroary 2. With the same notation used in Lemma 4, if s = q 1, then π q is pancycic. Now we want to construct cyces onger than q 2 + s + 2 for when 1 s < q 1. Lemma 5. For every 1 s < q 1, cyces of ength ranging from q 2 + s + 3 to q 2 + q + 1 can be embedded in π q. Proof. Just as we did in the proof of Lemma 4, the idea is to modify the path P to get the desired cyces. Hence, we wi use the same notation introduced earier in this section, incuding that used in the proof of Lemma 4. We first eiminate the edge s+1 + V s from P, and connect W s with V s using s + W s. This gives us a path P that has the same ength of P (q 2 + s 2 vertices) with endpoints V 1 and P s. (0) (s 3) (s 2) (s 1) (s) (q 1) (q) W s V s P s P W s 1 V 1 Figure 8. The path P Note that the ines s,, q, 0, s+1 + V s, and have not been used, neither have the points (s),, (q), (0), and. If we now eiminate the edge s+2 + P s and, instead, connect P s with P s+1 using P s s+1+v s s+1 (s + 1) P s+1, we get a path G 1 in (q 2 + s 2) + 1 vertices (one more than P ). We may cose this path into a cyce by V 0 1 (0) (s) s s+1+v s s+1 P s (s + 1) P s+1 V 1 which has ength (q 2 + s 1) + 2 = q 2 + s + 1. in P

13 EMBEDDING CYCLES IN FINITE PLANES 13 Now we eiminate the edge s+3 P s+1 with P s+2 using mod q+1 + P s+1 from G 1 and instead connect P s+1 s+2+p s s+2 (s + 2) P s+2. This yieds a path G 2 in (q 2 + s 2) + 2 vertices (two more than P). We may cose this path into a cyce by using P as above V 0 1 (0) (s) s P s s+1 +V s (s+1) s+1 P s+1 s+2 +P s (s+2) s+2 P s+2 V 1 which has ength (q 2 + s) + 2 = q 2 + s + 2. In genera, for 1 i < q s (and thus s+i+1 < q +1), given a path G i of ength (q 2 +s 2)+i constructed as above we can eiminate the edge s+i+2 mod q+1 +P s+i from G i and instead connect P s+i with P s+i+1 using P s+i s+i+1+p s+i 1 s+i+1 (s + i + 1) Ps+i+1 this yieds a path G i+1 in (q 2 + s 2) + i + 1 vertices (i + 1 more than P). We may cose this path into a cyce as we did above V 0 1 (0) (s) s P s s+1+v s s+1 (s+1) P s+1 s+2+p s (s+2) s+i+1+p s+i 1 s+i+1 P s+i (s+i+1) Ps+i+1 V 1 which has ength q 2 + s + i + 1. This wi yied cyces of ength up to q 2 +q. The ine not used in the (q 2 +q)-cyce Q is 0 + P q 1, and the point not used is. Figure 9 gives an idea of what Q ooks ike. in in P P (0) (s 3) (s 2) (s 1) (s) (q 1) (q) V s W s P q 1Pq W s 1 Q V 1 Figure 9. Cyce Q In order to construct a (q 2 + q + 1)-cyce we use Q and modified it as foows. eiminate, which connected 0 and s. eiminate q 1, which connected (q 1) and P q 1. eiminate q, which connected (q) and P q. connect (s) and (q) using.

14 14 FELIX LAZEBNIK, KEITH E. MELLINGER, AND SCAR VEGA connect (q 1) and using q 1 connect P q and using q connect (q 1) and (0) using 0 + P q 1 We get the foowing hamitonian cyce: (0) (s 3) (s 2) (s 1) (s) (q 1) (q) V s W P s q 1 P q W s 1 V 1 Figure 10. A hamitonian cyce Proof of Theorem 2. It foows from Lemmas 4 and 5. We wish to concude this paper with a conjecture. Let s 1 and n 2. A finite partia pane G = (P, L; I) is caed a generaized n-gon of order s if its Levi graph is (s + 1)-reguar, has diameter n, and has girth 2n. It is known that a generaized n-gons of order s exists ony for n = 2, 3, 4, 6, see Feit and Higman [6]. It is easy to argue that the number of points and the number of ines in the generaized n-gon is p (n) s := s n 1 + s n s + 1. Note that a projective pane of order q is a generaized 3-gon (generaized triange) of order q, and so p (3) q = q 2 + q + 1 = n q the notation used in this paper earier. Conjecture 1. Let s 2 and n 3. Then C k G for a k, n k p (n) s. Acknowedgement: The authors are thankfu to Benny Sudakov for the carification of reated resuts obtained by probabiistic methods. References [1] B. Boobás, Modern Graph Theory, Springer-Verag New York, Inc. (1998). [2] F. Buekenhout (editor), Handbook of Incidence Geometry: Buidings and Foundations, Esevier Science, North-Hoand (1995). [3] F. Chung, R.L. Graham and R.M. Wison, Quasi-random graphs, Combinatorica 9 (1989), [4] B. DeMarco and F. Lazebnik, Ha panes of order p 2 are Hamitonian. Unpubished manuscript, 2008.

15 EMBEDDING CYCLES IN FINITE PLANES 15 [5] P. Erdős, Some od and new probems in various branches of combinatorics, Proceedings of the Tenth Southeastern Conference in Combinatorics, Graph Theory, and Computing, Forida Atantic Univ., Boca Raton, Fa. (1979) [6] W. Feit and G. Higman, The nonexistence of certain generaized poygons, J. Agebra 1, 1964, [7] A. M. Frieze, n the number of perfect matchings and Hamiton cyces in reguar nonbipartite graphs. Eectronic J Combinatorics Vo. 7 (2000), pub. R57. [8] A. M. Frieze and M. Kriveevich, Hamiton cyces in random subgraphs of pseudo-random graphs. Discrete Mathematics, 256, (2002) [9] R.J. Goud, Advances on the hamitonian probem: A survey. Graphs and Combinatorics, 19 (2003), No. 1, [10] M. Ha, Projective panes. Trans. Amer. Math. Soc. 54 (1943), [11] P. Keevash and B. Sudakov, Pancycicity of Hamitonian and highy connected graphs. J. Combinatoria Theory Ser. B 100 (2010), [12] M. Kriveevich and B. Sudakov, Sparse pseudo-random graphs are Hamitonian. J. Graph Theory 42 (2003), [13] M. Kriveevich, C. Lee and B. Sudakov, Resiient pancycicity of random and pseudo-random graphs. SIAM J. of Discrete Math. 24 (2010), [14] F. Lazebnik, K. E. Meinger, and. Vega, n the number of k-gons in finite projective panes. Note Mat., vo 29 supp. 1 (2009) [15] C. Lee and B. Sudakov, Hamitonicity, independence number, and pancycicity. European Journa of Combinatorics 33 (2012), [16] G.E. Moorhouse and J. Wiiford, Embedding Partia Linear Spaces in Finite Transation Nets, Journa of Geometry 91 no.1-2 (2009), [17]. Pikhurko, A Note on the Turán Function of Even Cyces. Proc. Amer. Math. Soc., 140 (2012) [18] E. Schmeiche, n the cyce structure of finite projective panes. Combinatoria Mathematics: Proceedings of the Third Internationa Conference (New York, 1985), Ann. New York Acad. Sci., 555, New York Acad. Sci., New York, (1989) [19] J. Singer, A theorem in finite projective geometry and some appications to number theory, Trans. Amer. Math. Soc., 43 (1938), [20] A. Thomason, Pseudorandom graphs, In: Random graphs 85 (Poznán, 1985), North-Hoand Math Stud 144, North Hoand, Amsterdam (1987) [21] A.N. Voropaev, Counting k-gons in finite projective panes. Siberian Eectronic Mathematica Reports. Vo 10 (2013), (In Russian.) Department of Mathematica Sciences, University of Deaware, Newark, DE E-mai address: azebnik@math.ude.edu Department of Mathematics, University of Mary Washington, Fredericksburg, VA E-mai address: kmeing@umw.edu Department of Mathematics, Caifornia State University, Fresno, Fresno, CA E-mai address: ovega@csufresno.edu