arxiv: v1 [math.co] 4 Apr 2019

Size: px

Start display at page:

Download "arxiv: v1 [math.co] 4 Apr 2019"

Marian Agnes Lucas
5 years ago
Views:

1 Dieced dominaion in oiened hypegaphs axiv: v1 [mah.co] 4 Ap 2019 Yai Cao Dep. of Mahemaics Univesiy of Haifa-Oanim Tivon 36006, Isael yacao@kvgeva.og.il This pape is dedicaed o Luz Volkmann on he occasion of his 75h bihday. Absac Adiana Hansbeg Insiuo de Maemáicas UNAM Juiquilla Queéao, Mexico ahansbeg@im.unam.mx Edős [On Schüe poblem, Mah. Gaz. 47 (1963)] poved ha evey ounamen on n veices has a dieced dominaing se of a mos log(n+1) veices, whee log is he logaihm o base 2. He also showed ha hee is a ounamen on n veices wih no dieced dominaion se of cadinaliy less han logn 2loglogn+1. This noion of dieced dominaion numbe has been genealized o abiay gaphs by Cao and Henning in [Dieced dominaion in oiened gaphs, Discee Appl. Mah. (2012) 160:7 8.]. Howeve, he genealizaion o dieced -unifom hypegaphs seems o be ae. Among seveal esuls, we pove he following uppe and lowe bounds on Γ 1 (H(n,)), he uppe dieced ( 1)-dominaion numbe of he complee -unifom hypegaph on n veices H(n,), which is he main heoem of his pape: c(lnn) 1 1 Γ 1 (H(n,)) Clnn, whee is a posiive inege and c = c() > 0 and C = C() > 0 ae consans depending on. Keywods: dominaion, dieced dominaion, hypegaph AMS subjec classificaion: 05C69 1 Inoducion Edős [6] poved ha evey ounamen on n veices has a dieced dominaing se of a mos log(n + 1) veices, whee log is he logaihm o base 2. He also showed ha hee is a ounamen on n veices wih no dieced dominaion se of cadinaliy less han logn 2loglogn+1. This noion of dieced dominaion numbe has been genealized o abiay gaphs by Cao and Henning [4, 5] and was ecenly eaed in [8]. A genealizaion o dieced dominaion in dieced -unifom hypegaphs seems o be ae [7]. Fo esuls on dominaion in hypegaphs, see [1, 2, 3]. 1

2 We conside an -unifom hypegaph H = (V,E), whee V is he veex se and E is he edge se consising of -subses of V. An oienaion D of H is an oiened hypegaph D = (V,E(D)), whee he edge se E(D) consiss of all edges in E such ha each of hem is povided wih a linea odeingof is elemens (exacly one of he! possibleodes). Le D be an oienaion of H = H(V,E). Fo 1 p 1, a se S V is called a dieced p-dominaing seofd iffoeveyveex u V \S heeisanodeededgee E(D) wih u E such ha he fis p veices fom E ae in S. Obseve ha he definiion coves he cases when H(V,E) conains isolaed veices o even when H is edgeless, in which case we mus have S = V. A minimum dieced p-dominaing se S is a dieced p-dominaing se of D of minimum cadinaliy and γ p (D) = S. We denoe wih γ p (H) and Γ p (H) he minimum and, especively, he maximum of γ p (D), whee D anges ove all possible oienaions D of H. We will call γ p (H) and Γ p (H) he lowe and, especively, he uppe dieced p-dominaion numbes. An immediae obsevaion is ha fo 1 i < j 1. Back o he seminal esul of Edős, i can be anslaed o Γi (H) Γ j (H) (1) logn 2loglogn+1 Γ 1 (H(n,2)) log(n+1), whee H(n, ) sands fo he complee -unifom hypegaph on n veices. Supisingly, even o pove ha Γ 1 (H(n,3)) is unbounded as a funcion of n (a poblem aised by A. Gyáfás, see [7]) uns o be highly non ivial and i only has been solved ecenly [7] wih a gowh funcion which is poly-logaihmic in log (n). Ou fis aim in his wok is o pove he following heoem. Theoem 3.2 Le n and 2 be posiive ineges. (i) Fo evey inege p wih 1 p 1, Γ p (H(n,)) < ( 1+ln(n+( 1) 2 ) ). (ii) Thee is a consan c = c() > 0 such ha Γ 1 (H(n,)) c (lnn) 1 1. The uppe bound is poved by a sandad applicaion of he so called Geedy Paiion Lemma (GPL), which is developed in [5] in full genealiy. The lowe bound is poved by he pobabilisic mehod via, a bi involved ye, sandad expecaion agumen. Noe ha while, fo = 2, p = 1, he lowe and uppe bounds in Theoem 3.2 have he same ode of magniude (which is weake han he nealy exac esul of Edős), aleady 2

3 fo = 3 and p = 2 he mos we ge is c logn Γ 2 (H(n,3)) Clogn, fo some ohe consan C > 0. Closing he gap fo = 3 and p = 2 is an ineesing poblem in view of he much moe damaic gap in case = 3 and p = 1. Ou second aim in his noe is o genealize a heoem fis poved in [4] fo dieced gaphs o he conex of dieced -unifom hypegaphs using Theoem 3.2. Given a hypegaph H = (V,E), we call a subse S V(H) independen if no edge is fully conained in S, ha is, E\S fo evey edge E E. We denoe wih α(h) he maximum cadinaliy of an independen se of H. A pope coloing of H is a mapping f : V N such ha no edge is monochomaic, ha is, f(e) 2 fo evey edge E E. The minimum numbe of colos ha is needed fo a pope coloing of H is denoed wih χ(h). A clique S V in H is a se of veices such ha evey -se E S is an edge E E. The cadinaliy of a clique of maximum size is called he clique numbe ω(h) of H. Obseve ha, fo he complemenay hypegaph H of H, we have α(h) = ω(h). Moeove, evey pope coloing of H wih k colos induces a paiion of he veex se ino k diffeen colo classes, each being an independen se of H. Hence, α(h) n χ(h), whee n = V. Theoem 3.4 Le 2 and p be ineges such ha 1 p 1. Le H be an -unifom hypegaph. Then ( ( )) n Γ p (H) χ(h) 1+ln +( 1)2. χ(h) 2 Fuhe noaion and definiions We shall now complee he noaion used in his pape. Given a hypegaph H = (V,E), he numbe of veices and edges of H is denoed wih n(h) and e(h), especively. Le E(v) be he se of edges ha conains v and deg(v) = E(v) he degee of v. We denoe wih H(n,) he complee -unifom hypegaph on n veices. Fo a hypegaph H = (V,E) and a subse U V, he induced subhypegaph H[U] of H by U is he hypepgaph wih veex se U and all edges E E such ha E U. Le H = (V,E) be an -unifom hypegaph and le p be an inege such ha 1 p 1. A se S V(H) is called p-dominaing se if fo evey veex u V \S hee is an edge E E(u) such ha E S p. If S is a p-dominaing se of minimum cadinaliy, we call i a minimum p-dominaing se and we se γ p (H) = S. Noe ha γ 1 (H) coincides wih he concep of dominaion sudied in [1, 2, 3]. Le D be an oienaion of H. Fo a se A V wih 1 A 1, define E D (A) as he se of edges E E H whee A occupies he fis A posiions in E unde oienaion D and N D (A) = E ED E \ A. Le deg (A) D (A) = E D (A) and n D (A) = N D (A). Fo simpliciy, we se E D ({v}) = E D (v), N D ({v}) = N D (v), deg D ({v}) = deg D (v) and n D ({v}) = n D (v) fo any veex v V. We denoe p (D) = max deg D (A), among all ses A V wih A = p, and p (H) = max p (D), whee he maximum is aken among all possible oienaions D of H. 3

4 3 Poofs of he heoems Befoe poving ou main esuls, we need o fomulae he so called Geedy Paiion Lemma o, fo sho, GPL, ha was given in [5] and which will be he main ool in poving uppe bounds on dieced dominaion. Noe ha he auhos of [5] give a much moe geneal vesion of his lemma, hee we will sae i jus in he fom ha we will equie along his pape. The GPL lemma as saed in [5] is jus one of seveal foms suiable o appoximae hough a geedy algoihm ha in each sep delees ceain subse of he veex se of he consideed hypegaph H ha saisfies a paicula popey. Hee his subse consiss of a se A of cadinaliy p and all he veices dieced dominaed by A in ceain oienaion D of he consideed hypegaph, namely N D (A) A. The cucial poin in his lemma and is vaiaions is ha, in each sep, we appoximae fom below he ode of he deleed subse by a funcion f(x) whee x is he cadinaliy of he cuen sucue (fom which hen his veex subse is deleed). So adapaion of he GPL vesion fom [5] is simply done by obseving ha, fo x 21, he dieced dominaing se we emove a each sep has cadinaliy a leas (x +1)/ +p. Theoem 3.1 (Geedy Paiion Lemma (GPL), [5]) Le H be a class of hypegaphs closed unde induced subhypegaphs. Le 2 be an inege and le f : [, ) [1, ) be a posiive nondeceasing coninuous funcion. If fo any hypegaph H H and any oienaion D of H, we have ha max n D(A)+p f( V(H) ), A V(H), A =p hen Γ p (H) + max{ V(H),} 1 f(x) dx. We can now pove ou main esul. Theoem 3.2 Le n and 2 be posiive ineges. (i) Fo evey inege p wih 1 p 1, Γ p (H(n,)) < ( 1+ln(n+( 1) 2 ) ). (ii) Thee is a consan c = c() > 0 such ha Γ 1 (H(n,)) c (lnn) 1 1. Poof. (i) Fo poving he uppe bound, obseve ha, because of he monooniciy (1), i suffices o pove he heoem fo p = 1. We ake an oienaion D of he edges of H(n,). Le A V(H(n,)) be a se of 1 veices such ha deg D (A ) = 1 (D) and obseve ha n D (A ) deg D (A ) = 1 (D). 4

5 On he ohe hand, since A V(D), A = 1 deg D (A) = ( ) n 1 1 (D) 1 ( ) n, we have A V(D), A = 1 ( ) n 1 ( ) n = 1 ( 1)!(n +1)! =!(n )! = n +1. deg D (A) Hence, combining boh inequaliies, we obain n D (A ) n +1 Seing f(x) = x+( 1)2, we have a non-deceasing funcion f wih f(x) 1 fo x 2 1 and such ha f(n) = n+( 1)2 = n +1 Thus, we can apply he GPL, which leads o Γ 1 (H) 2 1+ n n D (A )+ 1. x+( 1) 2dx = 2 1+ln(n+( 1) 2 ) ln(2 1+( 1) 2 ) = 2 1+ln(n+( 1) 2 ) ln( 2 ) ( = 2 1 ) +ln(n+( 1)2 ) ln( 2 ) ( ( )) = 1+ln(n+( 1) 2 e 1 1 )+ln Finally, noing ha e 1 1 < 2 fo 2, we obain 2 Γ 1 (H) < ( 1+ln(n+( 1) 2 ) ). (ii) Le D be a andom oienaion of he edges of H such ha evey edge is given independenly one of he possible! linea odes. Le S V be a se of 1 veices and v V \S a veex no in S. Conside a fixed se A V of 1 veices. Then he pobabiliy ha A occupies he fis 1 posiions in an edge E E(H), say E = A {v}, unde oienaion D is equal o ( 1)!! = 1, namely he numbe of linea odes of he edge E = A {v} whee v appeas las divided by he numbe of all possible linea odes of E = A {v}. Thus he pobabiliy ha A does no ( 1)-dominae v is 1 1 = 1. This implies ha he pobabiliy ha hee is a se A S wih A = 1 ha ( 1)-dominaes v is equal o 1 ( 1 )( 1), namely 1 minus he pobabiliy ha no ( 1)-subse of S 5

6 ( 1)-dominaes v. Theefoe, he pobabiliy ha S ( 1)-dominaes all veices in V \S is equal o ( ( ) 1 ( 1) ) n 1. Le x be he numbe of dieced ( 1)-dominaing ses of cadinaliy in H unde oienaion D. Then we have E[x] = ( ) ( n 1 ( 1 ) ( 1) ) n Noe ha, if E[x] < 1, hen hee is an oienaion of H such ha hee is no dieced ( 1)-dominaion se of cadinaliy. We will now deemine he bes possible, i.e. we will y o find a as lage as possible such ha E[x] < 1. Since E[x] = i is sufficien o solve o, equivalenly, o ahe ( ) ( n 1 ( 1 1 ) ( 1) ) n < ( n e ( n e ) < e (n )( 1 )( 1), ( ) 1 ( 1) lnn+ ln < (n ) ( ) ( 1) ( lnn+ ln) + < n. 1 Since 2 < ln fo > 7, which we may assume fo n lage enough,. ) e (n )( 1 )( 1), ( ) ( ( ) 1) ( 1) ( lnn+ ln) + < ( lnn+2 ln). 1 1 Hence, i is sufficien o solve ( ) ( 1) lnn < n. 1 Moeove, since ( ) 1 < ( e 1 ) 1, i will be enough o solve he inequaliy which is equivalen o e lnn( 1 )( 1 )( 1) < n, ( ) e ( 1) ( ) ln+ln(lnn)+ ln < lnn

7 Fom he uppeboundgiven in (i), we know ha +ln(n +1) = (1+ln(n +1)). Hence, ( ) e ( 1) ( ) ln+ln(lnn)+ ln 1 1 ( ) e ( 1) ( ) ln((1+ln(n +1)))+ ln. 1 1 We may assume ln((1 + ln(n + 1))) + ln(lnn) < lnn 2 fo n lage enough, hus i is sufficien o solve ( ) lnn e ( 1) ( ) 2 + ln < lnn, 1 1 which leads finally o < ( lnn 2ln( 1 ) ) e = c (lnn) 1 1 fo a consan c = c() > 0 depending on. Alogehe i follows ha Γ 1 (H) c (lnn) 1 1. We shall now use Theoem 3.2(i) o ge a geneal uppe bound fo abiay -unifom hypegaphs. Howeve, we fis need a lemma. Lemma 3.3 Le H be a hypegaph and le V 1,V 2,...,V k be subses of V, no necessaily disjoin, such ha k V i = V. Le H i = H[V i ]. Then Γ p (H) k Γ p (H i ). Poof. Conside an abiay oienaion D of H. Fo each i = 1,2,...,k, le D i be he oienaion induced by D on H i and le S i be a dieced p-dominaing se of D i of minimum cadinaliy. Evidenly Γ p (H i ) γ p (D i ) = S i. Moeove, S = k S i is a dieced p-dominaing se of D. This implies γ p (D) k S i = k γ p (D i ) k Γp (H i ). Since D was chosen abiaily, he inequaliy holds also fo Γ p (H) and hus Γ p (H) k Γ p (H i ). 7

8 Now we can sae and pove ou second main esul. In [4], Cao and Henning pove ha, fo a gaph G of ode n, ) n Γ p (G) χ(g) log( χ(g) +1 holds. Inspied by his esul, we give in he nex heoem a simila saemen fo hypegaphs. Theoem 3.4 Le 2 and p be ineges such ha 1 p 1. Le H be an -unifom hypegaph. Then ( ( )) n Γ p (H) χ(h) 1+ln +( 1)2. χ(h) Poof. Le = χ(h) and conside a pope coloing of H ino colo classes Q 1,Q 2,...,Q wih Q i = q i fo 1 i. Since evey colo class is an independen se, we obseve ha he ses Q 1,Q 2,...,Q coespond o cliques in H o o ivial ses if 1 q i 1. Le D be an abiay oienaion of H and le D i = D[Q i ] denoe he oienaion of H[Q i ] induced by D. Then, by Lemma 3.3, γ p (D) γ p (D i ) Γ p (H[Q i ]) = Γ p (H(q i,)). If q i 1 fo some i {1,2,...,}, hen Γ p (H(q i,)) = q i < ( 1+ln(q i +( 1) 2 ) ). On he ohe hand, if q i, hen Theoem 3.2 yields Γ p (H(q i,)) < ( 1+ln(q i +( 1) 2 ) ). Hence, since D was abiaily chosen and Γ p (H(q i,)) = q i ( 1+ln(q i +( 1) 2 ) ) fo all 1 i by he above discussion, we obain Γp (H) Γp (H(q i,)) ( 1+ln(q i +( 1) 2 ) ). Since n = q i, i follows, by Jensen s inequaliy applied on he concave funcion lnx, ha Γ p (H) ( 1+ln(q i +( 1) 2 ) ) = + ln(q i +( 1) 2 ) ( n+( 1) 2) +ln ( n = 1+ln( +( 1)2)). 8

9 Hence, we have poved ha Γ p (H) χ(h) ( ( )) n 1+ln +( 1)2. χ(h) Using GPL has he advanage of geing a once a geneal uppe bound fo evey choice of n and fo he dieced dominaion numbe of H(n,). The disadvanage of using GPL is ha i is known no o give he bes possible leading consan. Sill, fo ou main pupose, which is o ge he logaihmic uppe bound in Theoem 3.2 (i) fo evey choice of and n, GPL suffices. The mehod also leads o slighly weake esuls in Theoem 3.4 fo he case = 2 in compaison wih he bound in [4] deived diecly fom Edős uppe bound fo he case = 2. Howeve, geing bee leading consans aleady fo 3 seems less impoan as long as he ode of magniude of even Γ 1 (H(n,)) is no known. 4 Open poblems We close his pape wih a few poblems. Poblem 1 Ceainly he mos challenging poblem is o y o deemine he coec ode of Γ p (H(n,)) fo 3 and 1 p 1. Poblem 2 Is i ue ha Γ 2 (H(n,3)) = Θ( logn)? Poblem 3 Is i ue ha, fo some posiive consans c and α, Γ 1 (H(n,3)) c(logn) α? Poblem 4 Le, p be posiive ineges such ha 1 p 1. Is i ue ha, fo an abiay -unifom hypegaph H of ode n, hee is a consan c(,p) > 0 such ha Γ p (H) c(,p)α(h)lnn? Dedicaion This pape is dedicaed o Luz Volkmann on he occasion of his 75h bihday. He was my (A.H.) Ph.D. adviso and my fomaion and success as a combinaoialis ae deeply gounded in wha he augh me, fo which I am pofoundly hankful o him. Since my wok wih Volkmann is ceneed on dominaion and he is also vey fond of dieced gaphs, specially ounamens, we chose his paicula opic fo him. Acknowledgmens We would like o hank he anonymous efeee who helped impove he pesenaion of his pape. The second auho was paially suppoed by PAPIIT IA103217, PAPIIT IN111819, and CONACyT pojec

10 Refeences [1] B. D. Achaya, Dominaion in hypegaphs. AKCE J. Combin., 4:2 (2007), [2] B. D. Achaya, Dominaion in hypegaphs II. New diecions. Advances in discee mahemaics and applicaions: Mysoe (2008), 1 18, Ramanujan Mah. Soc. Lec. Noes Se., 13, Ramanujan Mah. Soc., Mysoe, [3] K. J. Bibin, Z. Tuza, Hypegaph dominaion and song independence, Appl. Anal. Discee Mah. 3 (2009), [4] Y. Cao, M. A. Henning, Dieced dominaion in oiened gaphs, Discee Appl. Mah. 160:7 8 (2012), [5] Y. Cao, M. A. Henning, A geedy paiion lemma fo dieced dominaion, Discee Opim. 8:3 (2011), [6] P. Edős, On Schüe poblem, Mah. Gaz. 47 (1963), [7] D. Koándi, B. Sudakov, dominaion in 3-ounamens, J. Combin. Theoy Se. A, 146 (2017), [8] A. Hauyunyan, T.-N. Le, A. Newman, S. Thomassé, Dominaion and facional dominaion in digaphs, Elec. J. Combin. 25:3 (2018), pape P3.32, 9 pp. 10

Extremal problems for t-partite and t-colorable hypergraphs

Extremal problems for t-partite and t-colorable hypergraphs Exemal poblems fo -paie and -coloable hypegaphs Dhuv Mubayi John Talbo June, 007 Absac Fix ineges and an -unifom hypegaph F. We pove ha he maximum numbe of edges in a -paie -unifom hypegaph on n veices