arXiv:2004.01327v2 [math.CO] 21 May 2020 ugaho e fmr hnhl t etcshsmxmmdegree maximum has vertices its half than have more graphs of set hypercube a that on proving subgraph by [5] Conjecture Sensitivity fadol ftecrepnigsbesaedson.FreapeO example For disjoint. are subsets corresponding the if only and if eesngah oeta hr sa biu cinof action obvious an is there that Note graph. Petersen u h nue ugahon subgraph induced the but p aiis h nue ugahi usini acig hti,each is, that matching, a is question Conjectur de in [6, groups to subgraph on counterexamples induced thus Cayley the are are families, families which latter groups valency othe the dihedral unbounded the Both on of On graphs graphs Cayley sense. of 3-regular strong family very some unboun a of has in mo consists family of property this family that set required Note a the on have graphs. 1 to odd valency of maximum family of well-known subgraph the induced an admits gra families vertex-transitive all resu even their whether that asked conjectured and also 1] They Conjecture non-involutions.) of number fO of n rus[] yrpaigthe replacing investig by to [6], interesting groups be o would point it they o groups. that remarks, other graph but concluding on Cayley groups, their graphs every In other that F¨ured to [1]. Chung, proved directly property by who shown same Zheng as the and has possible, Alon best by is This generalised hypercube. the of htd o contain not do that ≥ x l rpsadgop nti ae r nt.Rcnl,Hag[]g [4] Huang Recently, finite. are paper this in groups and graphs All For nti hr oe egv he nnt aiiso vertex-transitiv of families infinite three give we note, short this In eyrcnl,Ptci n sn rvdsc naaoosresu analogous an such proved Tsang and Potechin recently, Very ONEEAPE O“ OJCUEO NUE UGAH OF SUBGRAPHS INDUCED ON CONJECTURE “A TO COUNTEREXAMPLES + 3.I ses ocekta O that check to easy is It [3]. 2 n oteegah r etxtastv.O h te ad the hand, other the On vertex-transitive. are graphs these so , x n ′ a aiu erea least at degree induce maximum every has property: following the have graphs hypercube hc di nidcdsbrp fmxmmvlny1o e o set a on 1 valency maximum p of subgraph analogous induced the an have admit infini an which graphs including Cayley counterexamples, various all constructing that resul elementary analogous conjectured an an on proved also graph Tsang Cayley and Potechin every recently, that Very proved who Zheng and Abstract. / ≥ ,where 2, ,the 1, d graph odd eety un aeavr lgn ro fteSensitivity the of proof elegant very a gave Huang Recently, x ω stenme fivltosi h oncinsto h alygraph Cayley the of set connection the in involutions of number the is oethat Note . O √ U n d a etxstthe vertex-set has LRA ENRADGBILVERRET GABRIEL AND LEHNER FLORIAN s1-regular. is on by bound √ d n where , | V(O s( is | U ALYGRAPHS” CAYLEY | n n ) p d )rglr Let 1)-regular. + | 1. 2. stevlnyo h yecb.Ti a eeaie yAlon by generalised was This hypercube. the of valency the is d/ = Introduction .(oepeiey hypoeterrsl ihtebound the with result their prove they precisely, (More 2. d graphs Odd 2 n 2 n n n +1 n sbeso (2 a of -subsets
1
S = 2 efml fCye rpso none valency unbounded of graphs Cayley of family te n 2 ugaho e fmr hnhl t vertices its half than more of set a on subgraph d +1 n n sfrCye rpso bla rus They groups. abelian on graphs Cayley for ts 1 + 1 + ω savre-rniiegopo automorphism of group vertex-transitive a as h ih aeti property. this have might phs oet.W ipoeti ojcueby conjecture this disprove We roperty. ∈ bla -ru a h aeproperty. same the has 2-group abelian > ad hyaentCye.Tesecond The Cayley. not are they hand, r n let and Ω oeta afisvertices. its half than more f ] W lont ht norfis two first our in that, note also (We 1]. e n tsol odfralCye rps[6, graphs Cayley all for hold should lt h atfml ossso ninfinite an of consists family last The . h olwn rpry vr induced every property: following the ,Gaa n emu 2.Ti was This [2]. Seymour and Graham i, 2 1 1 rp uhta vr rp nthese in graph every that such graph e )stΩ ihtovrie adjacent vertices two with Ω, 1)-set + , egah r o alygah for graphs Cayley not are graphs se tta hsrsl antgeneralise cannot result this that ut = ∼ t h osbeaaosfrCayley for analogs possible the ate tfrCye rpso l abelian all on graphs Cayley for lt e aec n oteegah fail graphs these so and valency ded tleast at etxhsvlny1.) valency has vertex products. wreath iterated via fined K neeetr bla 2-group abelian elementary an n ojcueb rvn that proving by Conjecture 3 v eyeeatpofo the of proof elegant very a ave eta afisvrie.Frtis First vertices. its half than re hl O while , U etestof set the be √ d where , 2 sioopi othe to isomorphic is d n stevalency the is sbeso Ω of -subsets and , x ′ the 2 FLORIAN LEHNER AND GABRIEL VERRET

3. 3-valent Cayley graphs on dihedral groups For a group G and an inverse-closed and identity-free subset S of G, the Cayley graph Cay(G, S) is the graph with vertex-set G and two vertices g and h adjacent if and only g−1h S. For n 1, we denote by n 2 2 ∈ ≥ D2n the dihedral group a,b a = b = (ab) =1 of order 2n. Let Γ = Cay(D , b,ab,ah | 3b ). There is a set iU of 10 vertices of Γ such that the induced subgraph 18 18 { } 18 18 on U18 is 1-regular, as can be seen on the picture below, where the elements of U18 are coloured gray.

1 ab b a

a8 a2b

a8b a2

a7 a3b

a7b a3

a6 a4b

a6b a4 a5 a5b

Figure 1. Γ = Cay(D , b,ab,a3b ) 18 18 { }

Starting from Γ18, it is easy to get an infinite family of further examples using covers: for m 1, let 3 9 ≥ Γ m = Cay(D m, b,ab,a b ) and let N be the subgroup of D m generated by a . Note that N is a 18 18 { } 18 normal subgroup of D m of order m and D m/N = D . Let ϕ : D m D be the natural projection 18 18 ∼ 18 18 → 18 and let U m be the preimage of U . Now, U m = 10m and, since Γ m is a (normal) cover of Γ , the 18 18 | 18 | 18 18 induced subgraph on U18m is 1-regular.

4. Cayley graphs on iterated wreath products

Let Z2 = 0, 1 denote the cyclic group of order 2, let G be a group with identity element 1G and let G { } G (Z2) denote the set of functions from G to Z2. Note that (Z2) forms a group under pointwise addition. G Let 0 be the identity element of (Z2) (that is, the function mapping every element of G to 0). Note also G G that there is natural action of G on (Z2) . Written in exponential notation, we have that if a (Z2) and g G g −1 ∈ g G, then a is the element of (Z2) defined by a (x)= a(g x) for every x G. ∈ ∈ G The wreath product Z2 G is the group consisting of all pairs (a,g) where a (Z2) and g G, with the group operation given≀ by ∈ ∈ (a,g)(b,h) = (a + bg,gh). G For g G, let ag (Z2) be the function mapping g to 1 and every other element of G to 0. If S is a generating∈ set for G,∈ then

(a , 1G) (0,s) s S { 1 }∪{ | ∈ } is a generating set for Z G which we call the canonical generating set for Z G (with respect to S). 2 ≀ 2 ≀ Lemma 4.1. Let S be a generating set for a group G, let Gˆ = Z G and let Sˆ be the canonical generating 2 ≀ set for Gˆ with respect to S. If Cay(G, S) is bipartite and has an induced subgraph of maximum degree 1 on more than half its vertices, then the same is true for Cay(G,ˆ Sˆ). COUNTEREXAMPLES TO “A CONJECTURE ON INDUCED SUBGRAPHS OF CAYLEY GRAPHS” 3

Proof. We first show that Cay(G,ˆ Sˆ) is bipartite. Call an element of G even if it lies in the same part of G the bipartition of Cay(G, S) as1G, and odd otherwise. Call an element a of (Z2) even if a maps an even number of elements of G to 1, and call a odd otherwise. Finally, call an elementg ˆ = (a,g) Gˆ even if a and g are either both even or both odd, and callg ˆ odd otherwise. It is straightforward to check∈ that if sˆ Sˆ, theng ˆ is even if and only ifg ˆsˆ is odd. Thus the partition of Gˆ into even and odd elements is a ∈ bipartition of Cay(G,ˆ Sˆ). Let H G be such that H > G /2 and the subgraph of Cay(G, S) induced by H has maximum degree 1. Denote⊆ by G and G | |the| set| of even and odd elements of G, respectively. For each a (Z )G, let even odd ∈ 2 [a]= (a,g) g G Gˆ and define a subset Ha of G as follows: { | ∈ }⊆ H if a = 0,  Ha = G if a = ag for some g G ,  odd ∈ even Geven otherwise.  G Let Hˆ = (a,h) a (Z ) ,h Ha Gˆ. Clearly, Hˆ [0] = H > G /2 while, for a = 0, we { | ∈ 2 ∈ } ⊆ | ∩ | | | | | 6 have Hˆ [a] = G /2. It follows that Hˆ > Gˆ /2. Let (a,h) Hˆ . We show that (a,h) has at most one | ∩ | | | | | | | ∈ neighbour in Hˆ . By definition, h Ha. a 0 ∈ If = , then h H. Note that, if g Geven, then Hag = Godd, whereas if g Godd, then Hag = Geven. ∈ ∈ h ∈ In particular, for every g G, (ag ,g) / Hˆ . It follows that (0,h)(a , 1G) = (a ,h) = (ah,h) / Hˆ . On the ∈ ∈ 1 1 ∈ other hand, for s S, (0,h)(0,s) = (0,hs) Hˆ if and only if hs H. This shows that the number of ∈ ∈ ∈ neighbours of (0,h) in Hˆ is the same as the number of neighbours of h in H and therefore at most 1 (with equality reached for some h H). ∈ Assume now a = 0. Since the partition of Gˆ into even and odd elements is a bipartition of Cay(G,ˆ Sˆ), it 6 follows from the definition of Ha that there are no two adjacent elements in Hˆ [a]. Since (a,h) has exactly ∩ one neighbour outside of [a] (namely (a,h)(a1, 1G)), it follows that (a,h) has at most one neighbour in Hˆ . This concludes the proof that the subgraph induced by Hˆ has maximum degree 1. 

By starting with, say (G, S) = (Z2, 1 ) and applying Lemma 4.1 repeatedly, one obtains an infinite family of Cayley graphs of unbounded{ valency} such that every graph in the family admits an induced subgraph of maximum degree 1 on a set of more than half its vertices, as claimed.

5. Concluding remarks (1) Recall that a covering map f from a graph Γˆ to a graph Γ is a surjective map that is a local isomorphism. If such a map exists, then Γˆ is a covering graph of Γ. It is easy to see that if Γ is a d-regular graph admitting an induced subgraph of maximum degree 1 on a set of more than half its vertices, then Γˆ has the same property. (It is well known that all the vertex-fibers have the same cardinality, so one can simply take the preimage of the set of more than half the vertices of Γ.) Starting from one example, one can thus construct infinitely many having the same valency, vertex-transitivity, Cayleyness, etc. (2) As a consequence of the above remark, we can construct infinite families of d-regular Cayley graphs 1+ε(d) of order n admitting induced subgraphs of maximum degree 1 on 2 n vertices. (3) It is an easy exercise that if Γ is a d-regular graph of order n admitting a subset X of vertices such that the induced graph on X has maximum valency at most 1, then X /n d . Note | | ≤ 2d−1 that the Odd graph Od−1 attains this bound and so is extremal from this perspective. It would be interesting to know if this bound can be achieved by Cayley graphs. (4) In light of the results from [1, 6] on Cayley graphs of abelian groups, it seems natural ask if there is a natural family of nonabelian groups having the same property. In Sections 3 and 4, we give examples of Cayley graphs on some dihedral groups and some 2-groups that do not have this property. Given that both these families of groups are in some sense close to being abelian (dihedral groups have a cyclic subgroup of index 2, while 2-groups are nilpotent), the question of determining whether any natural family of nonabelian groups has this property seems even more interesting. 4 FLORIAN LEHNER AND GABRIEL VERRET

Acknowledgements Florian Lehner acknowledges the support of the Austrian Science Fund (FWF), grant J 3850-N32 and grant P 31889-N35. Gabriel Verret is grateful to the N.Z. Marsden Fund for its support (via grant UOA1824). References n [1] N. Alon and K. Zheng, Unitary signings and induced subgraphs of Cayley graphs of Z2 , arXiv:2003.04926. [2] F. Chung, Z. F¨uredi, R. Graham and P. Seymour, On induced subgraphs of the cube, J. Comb. Theory, Ser. A 49 (1988) 180–187. [3] C. D. Godsil, More odd graph theory, Discrete Math. 32 (1980), 205–207. [4] H. Huang, Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture, Annals Math. 190 (2019) 949–955. [5] N. Nisan and M. Szegedy, On the degree of boolean functions as real polynomials, Comput. Complexity 4 (1994) 301–313. [6] A. Potechin and H. Y. Tsang, A Conjecture on Induced Subgraphs of Cayley Graphs, arXiv:2003.13166.

Florian Lehner, Institute of Discrete Mathematics, Graz University of Technology, Steyrergasse 30, 8010 Graz, Austria. E-mail address: [email protected]

Gabriel Verret, Department of Mathematics, The University of Auckland, Private Bag 92019, Auckland 1142, New Zealand. E-mail address: [email protected]