On matchings in hypergraphs
|
|
- Adelia Austin
- 6 years ago
- Views:
Transcription
1 O matchigs i hypergraphs Peter Frakl Tokyo, Japa peter.frakl@gmail.com Tomasz Luczak Adam Mickiewicz Uiversity Faculty of Mathematics ad CS Pozań, Polad ad Emory Uiversity Departmet of Mathematics ad CS Atlata, USA tomasz@amu.edu.pl Katarzya Mieczkowska Adam Mickiewicz Uiversity Faculty of Mathematics ad CS Pozań, Polad kaska@amu.edu.pl Submitted: Mar 30, 2012; Accepted: Ju 3, 2012; Published: Ju 13, 2012 Mathematics Subject Classificatios: 05C35, 05C65, 05C70. Abstract We show that if the largest matchig i a k-uiform hypergraph G o vertices has precisely s edges, ad > 3k 2 s/2 log k, the H has at most ( ( k s k edges ad this upper boud is achieved oly for hypergraphs i which the set of edges cosists of all k-subsets which itersect a give set of s vertices. A k-uiform hypergraph G = (V, E is a set of vertices V N together with a family E of k-elemet subsets of V, which are called edges. I this ote by v(g = V ad e(g = E we deote the umber of vertices ad edges of G = (V, E, respectively. By a matchig we mea ay family of disjoit edges of G, ad we deote by µ(g the size of the largest matchig cotaied i E. Moreover, by ν k (, s we mea the largest possible umber of edges i a k-uiform hypergraph G with v(g = ad µ(g, ad by M k (, s we deote the family of the extremal hypergraphs for this problems, i.e. H M k (, s if v(h =, µ(h, ad e(h = ν k (, s. I 1965 Erdős [2] cojectured that, uless = 2k ad s = 1, all graphs from M k (, s are either cliques, or belog to the family Cov k (, s of hypergraphs o vertices i which the set of edges cosists of Partially supported by the Foudatio for Polish Sciece ad NSF grat DMS the electroic joural of combiatorics 19(2 (2012, #P42 1
2 all k-subsets which itersect a give subset S V, with S. This cojecture, which is a atural geeralizatio of Erdős-Gallai result [3] for graphs, has bee verified oly for k = 3 (see [5] ad [8]. For geeral k there have bee series of results which state that M k (, s = Cov k (, s for g(ks, (1 where g(k is some fuctio of k. The existece of such g(k was show by Erdős [2], the Bollobás, Dayki ad Erdős [1] proved that (1 holds wheever g(k 2k 3 ; Frakl ad Füredi [6] showed that (1 is true for g(k 100k 2 ad recetly, Huag, Loh, ad Sudakov [7] verified (1 for g(k 3k 2. The mai result of this ote slightly improves these bouds ad cofirms (1 for g(k 2k 2 /log k. Theorem 1. If k 3 ad the M k (, s = Cov k (, s. > 2k2 s log k, (2 I the proof we use the techique of shiftig (for details see [4]. Let G = (V, E be a hypergraph with vertex set V = {1, 2,..., }, ad let 1 i < j. The hypergraph sh i,j (G is obtaied from G by replacig each edge e E such that j e, i / e ad e ij = e \ {j} {i} / E, by e ij. Let Sh(G deote the hypergraph obtaied from G by the maximum sequece of shifts, such that for all possible i, j we have sh ij (Sh(G = Sh(G. It is well kow ad ot hard to prove that the followig holds (e.g. see [4] or [8]. Lemma 2. G M k (, s if ad oly if Sh(G M k (, s. Lemma 3. Let G M k (, s ad 2k + 1. Sh(G Cov k (, s. The G Cov k (, s if ad oly if Thus, it is eough to show Theorem 1 for hypergraphs G for which Sh(G = G. Let us start with the followig observatio. Lemma 4. If G is a hypergraph o vertex set [] such that Sh(G = G ad µ(g, the G A 1 A 2 A k, where for i = 1, 2,..., k. A i = {A [] : A = k, A {1, 2,..., i(s + 1 1} i}, Proof. Note that the set e 0 = {s + 1, 2s + 2,..., ks + k} is ot a edge of G. Ideed, i such a case each of the edges {i, i + s + 1,..., i + (k 1(s + 1}, i = 1, 2,..., s + 1, belogs to G due to the fact that G = Sh(G ad, clearly, they form a matchig of size s + 1. Now it is eough to observe that all sets which do ot domiate e 0 must belog to k A i. The followig umerical cosequece of the above result is crucial for our argumet. the electroic joural of combiatorics 19(2 (2012, #P42 2
3 Lemma 5. Let G be a hypergraph with vertex set {1, 2,..., } such that Sh(G = G ad µ(g, where k(s+1 1. The all except at most s(s+1 ( 1 2 k 2 edges of G itersect {1, 2,..., s}. Proof. Let A = k A i. Observe first that A (, for k(s Ideed, it follows from a easy iductio o k, ad the o. For k = 1 it is obvious. For k 1 ad = k(s we have clearly A = ( ( k. Now let k 2, k(s + 1 ad split all the sets of A ito those which cotai ad those which do ot. The, the iductioal hypothesis gives ( ( ( 1 1 A + s. k 1 k 1 Observe also that ( k = s ( i ( k 1 + s k, which is a direct cosequece of the idetity ( ( k = 1 ( k k. Thus, usig Lemma 4 ad the above observatio, the umber of edges of G which do ot itersect {1, 2,..., s} ca be bouded i the followig way. ( [( ( ] s G G A 1 A A 1 k 1 k k [ ( ( ] i s + k 1 k 1 s i j j=1 (i 1 i=2 ( 1 = (s i + 1 i ( s(s =. 2 Proof of Theorem 1. Let us assume that (2 holds for G M k (, s. The, by Lemma 2, the hypergraph H = Sh(G belogs to M k (, s. We shall show that H Cov k (, s which, due to Lemma 3, would imply that G Cov k (, s. Our argumet is based o the followig two observatios. Here ad below by the degree deg(i of a vertex i we mea the umber of edges cotaiig i, ad by V ad E we deote the sets of vertices ad edges of H respectively. Claim 6. If s 2, the {1, ks + 2, ks + 3,..., ks + k} E. the electroic joural of combiatorics 19(2 (2012, #P42 3
4 Proof. Let us assume that the assertio does ot hold. We shall show that the H has fewer edges tha the graph H = (V, E whose edge set cosists of all k-subsets itersectig {1, 2,..., s}. Let E i = {{i} e : e {ks + 2,..., }, e = k 1}, i [s] ad observe that the sets E i are pairwise disjoit ad E i = ( ks 1 k 1 for every i [s]. Moreover, sice H = Sh(H ad {1, ks + 2, ks + 3,..., ks + k} / E, E 1 E =, ad so E i E = for every i [s]. Thus, ( ks 1 E \ E s k 1 s( 1 ( k 1, (3 1 (k 1! k + 1 while from Lemma 5 we get Thus, E \ E s(s s( 1 k 1 (k 1! ( 1 ( 1 k 1 (k 1! ks k + 1. (s + 1(k 1 2( k + 1 e(h e(h s( 1 ( ( 1. (k 1! k + 1 k + 1 Let x = ks/( k + 1. It is easy to check that for all k 3 ad x (0, 0.7 log k/k we have (1 x k 1 > x. Thus, e(h e(h > 0 provided k 2 s < 0.7 log k( k + 1, which holds wheever 2sk 2 / log k. Thus, sice clearly µ(h, we arrive at cotradictio with the assumptio that H M k (, s. Claim 7. If s 2 the deg(1 = ( 1. I particular, the hypergraph H, obtaied from H by deletig the vertex 1 together with all edges it is cotaied i, belogs to M k ( 1, s 1. Proof. Let us assume that there is a k-subset of V, which cotais 1 ad is ot a edge i H. The, i particular, e = {1, k + 2,..., } / E. Let us cosider hypergraph H obtaied from H by addig e to its edge set. Sice H M k (, s, there is a matchig of size s + 1 i H cotaiig e. Hece, as H = Sh(H, there exists a matchig M i H such that M {2,..., ks + 1}. Note however that, by Claim 6, f = {1, ks + 2, ks + 3,..., ks + k} E. But the M = M {f} is a matchig of size s + 1 i H, cotradictig the fact that H M k (, s. Hece, we must have deg(1 = ( 1. Sice ks, the secod part of the assertio is obvious. Now Theorem 1 follows easily from Claim 7 ad the observatio that, sice s 1 1 s, if (2 holds the it holds also whe is replaced by 1 ad s is replaced by s 1. Thus, we ca reduce the problem to the case whe s = 1 ad use Erdős-Ko-Rado theorem (ote that the > 2k 2 / log k > 2k + 1. (4 the electroic joural of combiatorics 19(2 (2012, #P42 4
5 Refereces [1] B. Bollobás, E. Dayki, ad P. Erdős, Sets of idepedet edges of a hypergraph, Quart. J. Math. Oxford Ser. (2, 27:25 32, [2] P. Erdős, A problem o idepedet r-tuples, A. Uiv. Sci. Budapest. Eötvös Sect. Math., 8:93 95, [3] P. Erdős ad T. Gallai, O maximal paths ad circuits of graphs, Acta Math. Acad. Sci. Hugar. 10: , [4] P. Frakl, The shiftig techique i extremal set theory. I Surveys i Combiatorics, volume 123 of Lod. Math. Soc. Lect. Note Ser., pages Cambridge, [5] P. Frakl, O the maximum umber of edges i a hypergraph with give matchig umber, arxiv: [6] P. Frakl ad Z. Füredi, upublished. [7] H. Huag, P. Loh, ad B. Sudakov, The size of a hypergraph ad its matchig umber, Combiatorics, Probability & Computig, 21: , [8] T. Luczak, K. Mieczkowska, O Erdős extremal problem o matchigs i hypergraphs, arxiv: the electroic joural of combiatorics 19(2 (2012, #P42 5
arxiv: v3 [math.co] 6 Aug 2014
NEAR PERFECT MATCHINGS IN -UNIFORM HYPERGRAPHS arxiv:1404.1136v3 [math.co] 6 Aug 2014 JIE HAN Abstract. Let H be a -uiform hypergraph o vertices where is a sufficietly large iteger ot divisible by. We
More informationDisjoint Systems. Abstract
Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio
More informationAn exact result for hypergraphs and upper bounds for the Turán density of K r r+1
A exact result for hypergraphs ad upper bouds for the Turá desity of K r r+1 Liyua Lu Departmet of Mathematics Uiversity of outh Carolia Columbia, C 908 Yi Zhao Departmet of Mathematics ad tatistics Georgia
More information# fixed points of g. Tree to string. Repeatedly select the leaf with the smallest label, write down the label of its neighbour and remove the leaf.
Combiatorics Graph Theory Coutig labelled ad ulabelled graphs There are 2 ( 2) labelled graphs of order. The ulabelled graphs of order correspod to orbits of the actio of S o the set of labelled graphs.
More informationKatarzyna Mieczkowska
Katarzyna Mieczkowska Uniwersytet A. Mickiewicza w Poznaniu Erdős conjecture on matchings in hypergraphs Praca semestralna nr 1 (semestr letni 010/11 Opiekun pracy: Tomasz Łuczak ERDŐS CONJECTURE ON MATCHINGS
More informationPairs of disjoint q-element subsets far from each other
Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd
More informationA Hypergraph Extension. Bipartite Turán Problem
A Hypergraph Extesio of the Bipartite Turá Problem Dhruv Mubayi 1 Jacques Verstraëte Abstract. Let t, be itegers with t. For t, we prove that i ay family of at least t 4( ) triples from a -elemet set X,
More informationDECOMPOSITIONS OF COMPLETE UNIFORM HYPERGRAPHS INTO HAMILTON BERGE CYCLES
DECOMPOSITIONS OF COMPLETE UNIFORM HYPERGRAPHS INTO HAMILTON BERGE CYCLES DANIELA KÜHN AND DERYK OSTHUS Abstract. I 1973 Bermod, Germa, Heydema ad Sotteau cojectured that if divides (, the the complete
More informationDECOMPOSITIONS OF COMPLETE UNIFORM HYPERGRAPHS INTO HAMILTON BERGE CYCLES
DECOMPOSITIONS OF COMPLETE UNIFORM HYPERGRAPHS INTO HAMILTON BERGE CYCLES DANIELA KÜHN AND DERYK OSTHUS Abstract. I 1973 Bermod, Germa, Heydema ad Sotteau cojectured that if divides (, the the complete
More informationLecture 2. The Lovász Local Lemma
Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio
More informationAlmost intersecting families of sets
Almost itersectig families of sets Dáiel Gerber a Natha Lemos b Cory Palmer a Balázs Patkós a, Vajk Szécsi b a Hugaria Academy of Scieces, Alfréd Réyi Istitute of Mathematics, P.O.B. 17, Budapest H-1364,
More informationIndependence number of graphs with a prescribed number of cliques
Idepedece umber of graphs with a prescribed umber of cliques Tom Bohma Dhruv Mubayi Abstract We cosider the followig problem posed by Erdős i 1962. Suppose that G is a -vertex graph where the umber of
More informationON MONOTONICITY OF SOME COMBINATORIAL SEQUENCES
Publ. Math. Debrece 8504, o. 3-4, 85 95. ON MONOTONICITY OF SOME COMBINATORIAL SEQUENCES QING-HU HOU*, ZHI-WEI SUN** AND HAOMIN WEN Abstract. We cofirm Su s cojecture that F / F 4 is strictly decreasig
More informationMa/CS 6b Class 19: Extremal Graph Theory
/9/05 Ma/CS 6b Class 9: Extremal Graph Theory Paul Turá By Adam Sheffer Extremal Graph Theory The subfield of extremal graph theory deals with questios of the form: What is the maximum umber of edges that
More informationOn size multipartite Ramsey numbers for stars versus paths and cycles
Electroic Joural of Graph Theory ad Applicatios 5 (1) (2017), 4 50 O size multipartite Ramsey umbers for stars versus paths ad cycles Aie Lusiai 1, Edy Tri Baskoro, Suhadi Wido Saputro Combiatorial Mathematics
More informationDense H-free graphs are almost (χ(h) 1)-partite
Dese H-free graphs are almost χh) 1)-partite Peter Alle arxiv:0907.815v1 [math.co] 22 Jul 2009 July 22, 2009 Abstract By usig the Szemerédi Regularity Lemma [9], Alo ad Sudakov [1] recetly exteded the
More informationUniversity of Colorado Denver Dept. Math. & Stat. Sciences Applied Analysis Preliminary Exam 13 January 2012, 10:00 am 2:00 pm. Good luck!
Uiversity of Colorado Dever Dept. Math. & Stat. Scieces Applied Aalysis Prelimiary Exam 13 Jauary 01, 10:00 am :00 pm Name: The proctor will let you read the followig coditios before the exam begis, ad
More informationLarge holes in quasi-random graphs
Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,
More informationProof of a conjecture of Amdeberhan and Moll on a divisibility property of binomial coefficients
Proof of a cojecture of Amdeberha ad Moll o a divisibility property of biomial coefficiets Qua-Hui Yag School of Mathematics ad Statistics Najig Uiversity of Iformatio Sciece ad Techology Najig, PR Chia
More informationA REMARK ON A PROBLEM OF KLEE
C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 1 A REMARK ON A PROBLEM OF KLEE BY N. J. K A L T O N (COLUMBIA, MISSOURI) AND N. T. P E C K (URBANA, ILLINOIS) This paper treats a property
More informationOn Algorithm for the Minimum Spanning Trees Problem with Diameter Bounded Below
O Algorithm for the Miimum Spaig Trees Problem with Diameter Bouded Below Edward Kh. Gimadi 1,2, Alexey M. Istomi 1, ad Ekateria Yu. Shi 2 1 Sobolev Istitute of Mathematics, 4 Acad. Koptyug aveue, 630090
More informationA note on log-concave random graphs
A ote o log-cocave radom graphs Ala Frieze ad Tomasz Tocz Departmet of Mathematical Scieces, Caregie Mello Uiversity, Pittsburgh PA53, USA Jue, 08 Abstract We establish a threshold for the coectivity of
More informationV low. e H i. V high
ON SIZE RAMSEY NUMBERS OF GRAPHS WITH BOUNDED DEGREE VOJT ECH R ODL AND ENDRE SZEMER EDI Abstract. Aswerig a questio of J. Beck [B2], we prove that there exists a graph G o vertices with maximum degree
More informationLONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES
J Lodo Math Soc (2 50, (1994, 465 476 LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES Jerzy Wojciechowski Abstract I [5] Abbott ad Katchalski ask if there exists a costat c >
More informationk-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c 1. Introduction
Acta Math. Uiv. Comeiaae Vol. LXXXVI, 2 (2017), pp. 279 286 279 k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c N. IRMAK ad M. ALP Abstract. The k-geeralized Fiboacci sequece { F (k)
More informationFINITE GROUPS WITH THREE RELATIVE COMMUTATIVITY DEGREES. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulleti of the Iraia Mathematical Society Vol. 39 No. 2 203), pp 27-280. FINITE GROUPS WITH THREE RELATIVE COMMUTATIVITY DEGREES R. BARZGAR, A. ERFANIAN AND M. FARROKHI D. G. Commuicated by Ali Reza Ashrafi
More informationThe 4-Nicol Numbers Having Five Different Prime Divisors
1 2 3 47 6 23 11 Joural of Iteger Sequeces, Vol. 14 (2011), Article 11.7.2 The 4-Nicol Numbers Havig Five Differet Prime Divisors Qiao-Xiao Ji ad Mi Tag 1 Departmet of Mathematics Ahui Normal Uiversity
More informationLecture 2 Long paths in random graphs
Lecture Log paths i radom graphs 1 Itroductio I this lecture we treat the appearace of log paths ad cycles i sparse radom graphs. will wor with the probability space G(, p) of biomial radom graphs, aalogous
More informationOn Summability Factors for N, p n k
Advaces i Dyamical Systems ad Applicatios. ISSN 0973-532 Volume Number 2006, pp. 79 89 c Research Idia Publicatios http://www.ripublicatio.com/adsa.htm O Summability Factors for N, p B.E. Rhoades Departmet
More informationThe spectral radius and the maximum degree of irregular graphs arxiv:math/ v1 [math.co] 22 Feb 2007
The spectral radius ad the maximum degree of irregular graphs arxiv:math/0702627v1 [math.co] 22 Feb 2007 Sebastia M. Cioabă Departmet of Mathematics Uiversity of Califoria, Sa Diego La Jolla, CA 92093-0112
More informationON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX0000-0 ON MEAN ERGODIC CONVERGENCE IN THE CALKIN ALGEBRAS MARCH T. BOEDIHARDJO AND WILLIAM B. JOHNSON 2
More informationBI-INDUCED SUBGRAPHS AND STABILITY NUMBER *
Yugoslav Joural of Operatios Research 14 (2004), Number 1, 27-32 BI-INDUCED SUBGRAPHS AND STABILITY NUMBER * I E ZVEROVICH, O I ZVEROVICH RUTCOR Rutgers Ceter for Operatios Research, Rutgers Uiversity,
More informationBETWEEN QUASICONVEX AND CONVEX SET-VALUED MAPPINGS. 1. Introduction. Throughout the paper we denote by X a linear space and by Y a topological linear
BETWEEN QUASICONVEX AND CONVEX SET-VALUED MAPPINGS Abstract. The aim of this paper is to give sufficiet coditios for a quasicovex setvalued mappig to be covex. I particular, we recover several kow characterizatios
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationDedicated to the memory of Lev Meshalkin.
A Meshalki Theorem for Projective Geometries Matthias Beck ad Thomas Zaslavsky 2 Departmet of Mathematical Scieces State Uiversity of New York at Bighamto Bighamto, NY, U.S.A. 3902-6000 matthias@math.bighamto.edu
More informationResolution Proofs of Generalized Pigeonhole Principles
Resolutio Proofs of Geeralized Pigeohole Priciples Samuel R. Buss Departmet of Mathematics Uiversity of Califoria, Berkeley Győrgy Turá Departmet of Mathematics, Statistics, ad Computer Sciece Uiversity
More informationEdge Disjoint Hamilton Cycles
Edge Disjoit Hamilto Cycles April 26, 2015 1 Itroductio l +l l +c I the late 70s, it was show by Komlós ad Szemerédi ([7]) that for p =, the limit probability for G(, p) to cotai a Hamilto cycle equals
More informationDANIELL AND RIEMANN INTEGRABILITY
DANIELL AND RIEMANN INTEGRABILITY ILEANA BUCUR We itroduce the otio of Riema itegrable fuctio with respect to a Daiell itegral ad prove the approximatio theorem of such fuctios by a mootoe sequece of Jorda
More informationAlliance Partition Number in Graphs
Alliace Partitio Number i Graphs Lida Eroh Departmet of Mathematics Uiversity of Wiscosi Oshkosh, Oshkosh, WI email: eroh@uwoshedu, phoe: (90)44-7343 ad Ralucca Gera Departmet of Applied Mathematics Naval
More informationDisjoint set (Union-Find)
CS124 Lecture 7 Fall 2018 Disjoit set (Uio-Fid) For Kruskal s algorithm for the miimum spaig tree problem, we foud that we eeded a data structure for maitaiig a collectio of disjoit sets. That is, we eed
More informationIt is often useful to approximate complicated functions using simpler ones. We consider the task of approximating a function by a polynomial.
Taylor Polyomials ad Taylor Series It is ofte useful to approximate complicated fuctios usig simpler oes We cosider the task of approximatig a fuctio by a polyomial If f is at least -times differetiable
More informationLargest families without an r-fork
Largest families without a r-for Aalisa De Bois Uiversity of Salero Salero, Italy debois@math.it Gyula O.H. Katoa Réyi Istitute Budapest, Hugary ohatoa@reyi.hu Itroductio Let [] = {,,..., } be a fiite
More informationw (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.
2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For
More informationJournal of Mathematical Analysis and Applications 250, doi: jmaa , available online at http:
Joural of Mathematical Aalysis ad Applicatios 5, 886 doi:6jmaa766, available olie at http:wwwidealibrarycom o Fuctioal Equalities ad Some Mea Values Shoshaa Abramovich Departmet of Mathematics, Uiersity
More informationA constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference
MPRA Muich Persoal RePEc Archive A costructive aalysis of covex-valued demad correspodece for weakly uiformly rotud ad mootoic preferece Yasuhito Taaka ad Atsuhiro Satoh. May 04 Olie at http://mpra.ub.ui-mueche.de/55889/
More informationA NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS
Acta Math. Hugar., 2007 DOI: 10.1007/s10474-007-7013-6 A NOTE ON INVARIANT SETS OF ITERATED FUNCTION SYSTEMS L. L. STACHÓ ad L. I. SZABÓ Bolyai Istitute, Uiversity of Szeged, Aradi vértaúk tere 1, H-6720
More informationOn Divisibility concerning Binomial Coefficients
A talk give at the Natioal Chiao Tug Uiversity (Hsichu, Taiwa; August 5, 2010 O Divisibility cocerig Biomial Coefficiets Zhi-Wei Su Najig Uiversity Najig 210093, P. R. Chia zwsu@ju.edu.c http://math.ju.edu.c/
More informationTRIGONOMETRIC POLYNOMIALS WITH MANY REAL ZEROS AND A LITTLEWOOD-TYPE PROBLEM. Peter Borwein and Tamás Erdélyi. 1. Introduction
TRIGONOMETRIC POLYNOMIALS WITH MANY REAL ZEROS AND A LITTLEWOOD-TYPE PROBLEM Peter Borwei ad Tamás Erdélyi Abstract. We examie the size of a real trigoometric polyomial of degree at most havig at least
More informationAn analog of the arithmetic triangle obtained by replacing the products by the least common multiples
arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;
More informationLinear chord diagrams with long chords
Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;
More informationHomework 1 Solutions. The exercises are from Foundations of Mathematical Analysis by Richard Johnsonbaugh and W.E. Pfaffenberger.
Homewor 1 Solutios Math 171, Sprig 2010 Hery Adams The exercises are from Foudatios of Mathematical Aalysis by Richard Johsobaugh ad W.E. Pfaffeberger. 2.2. Let h : X Y, g : Y Z, ad f : Z W. Prove that
More informationMDIV. Multiple divisor functions
MDIV. Multiple divisor fuctios The fuctios τ k For k, defie τ k ( to be the umber of (ordered factorisatios of ito k factors, i other words, the umber of ordered k-tuples (j, j 2,..., j k with j j 2...
More informationA Hadamard-type lower bound for symmetric diagonally dominant positive matrices
A Hadamard-type lower boud for symmetric diagoally domiat positive matrices Christopher J. Hillar, Adre Wibisoo Uiversity of Califoria, Berkeley Jauary 7, 205 Abstract We prove a ew lower-boud form of
More informationDominating Sets and Domination Polynomials of Square Of Cycles
IOSR Joural of Mathematics IOSR-JM) ISSN: 78-78. Volume 3, Issue 4 Sep-Oct. 01), PP 04-14 www.iosrjourals.org Domiatig Sets ad Domiatio Polyomials of Square Of Cycles A. Vijaya 1, K. Lal Gipso 1 Assistat
More informationON STATISTICAL CONVERGENCE AND STATISTICAL MONOTONICITY
Aales Uiv. Sci. Budapest., Sect. Comp. 39 (203) 257 270 ON STATISTICAL CONVERGENCE AND STATISTICAL MONOTONICITY E. Kaya (Mersi, Turkey) M. Kucukasla (Mersi, Turkey) R. Wager (Paderbor, Germay) Dedicated
More informationMathematical Induction
Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a
More informationA Note on the Kolmogorov-Feller Weak Law of Large Numbers
Joural of Mathematical Research with Applicatios Mar., 015, Vol. 35, No., pp. 3 8 DOI:10.3770/j.iss:095-651.015.0.013 Http://jmre.dlut.edu.c A Note o the Kolmogorov-Feller Weak Law of Large Numbers Yachu
More informationThe log-behavior of n p(n) and n p(n)/n
Ramauja J. 44 017, 81-99 The log-behavior of p ad p/ William Y.C. Che 1 ad Ke Y. Zheg 1 Ceter for Applied Mathematics Tiaji Uiversity Tiaji 0007, P. R. Chia Ceter for Combiatorics, LPMC Nakai Uivercity
More informationRegression with an Evaporating Logarithmic Trend
Regressio with a Evaporatig Logarithmic Tred Peter C. B. Phillips Cowles Foudatio, Yale Uiversity, Uiversity of Aucklad & Uiversity of York ad Yixiao Su Departmet of Ecoomics Yale Uiversity October 5,
More informationGENERALIZED HARMONIC NUMBER IDENTITIES AND A RELATED MATRIX REPRESENTATION
J Korea Math Soc 44 (2007), No 2, pp 487 498 GENERALIZED HARMONIC NUMBER IDENTITIES AND A RELATED MATRIX REPRESENTATION Gi-Sag Cheo ad Moawwad E A El-Miawy Reprited from the Joural of the Korea Mathematical
More informationON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS
ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary
More informationMath 475, Problem Set #12: Answers
Math 475, Problem Set #12: Aswers A. Chapter 8, problem 12, parts (b) ad (d). (b) S # (, 2) = 2 2, sice, from amog the 2 ways of puttig elemets ito 2 distiguishable boxes, exactly 2 of them result i oe
More informationA Note on the Symmetric Powers of the Standard Representation of S n
A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,
More informationAverage time of computing Boolean operators
Discrete Applied Mathematics 135 (2004 41 54 www.elsevier.com/locate/dam Average time of computig Boolea operators A.V. Chashki 1 Faculty of Mechaics ad Mathematics, Moscow State Uiversity, Vorob evy Gory,
More informationMi-Hwa Ko and Tae-Sung Kim
J. Korea Math. Soc. 42 2005), No. 5, pp. 949 957 ALMOST SURE CONVERGENCE FOR WEIGHTED SUMS OF NEGATIVELY ORTHANT DEPENDENT RANDOM VARIABLES Mi-Hwa Ko ad Tae-Sug Kim Abstract. For weighted sum of a sequece
More informationLecture 12: November 13, 2018
Mathematical Toolkit Autum 2018 Lecturer: Madhur Tulsiai Lecture 12: November 13, 2018 1 Radomized polyomial idetity testig We will use our kowledge of coditioal probability to prove the followig lemma,
More information1+x 1 + α+x. x = 2(α x2 ) 1+x
Math 2030 Homework 6 Solutios # [Problem 5] For coveiece we let α lim sup a ad β lim sup b. Without loss of geerality let us assume that α β. If α the by assumptio β < so i this case α + β. By Theorem
More informationRegular Elements and BQ-Elements of the Semigroup (Z n, )
Iteratioal Mathematical Forum, 5, 010, o. 51, 533-539 Regular Elemets ad BQ-Elemets of the Semigroup (Z, Ng. Dapattaamogko ad Y. Kemprasit Departmet of Mathematics, Faculty of Sciece Chulalogkor Uiversity,
More informationOn the Inverse of a Certain Matrix Involving Binomial Coefficients
It. J. Cotemp. Math. Scieces, Vol. 3, 008, o. 3, 5-56 O the Iverse of a Certai Matrix Ivolvig Biomial Coefficiets Yoshiari Iaba Kitakuwada Seior High School Keihokushimoyuge, Ukyo-ku, Kyoto, 60-0534, Japa
More informationlim za n n = z lim a n n.
Lecture 6 Sequeces ad Series Defiitio 1 By a sequece i a set A, we mea a mappig f : N A. It is customary to deote a sequece f by {s } where, s := f(). A sequece {z } of (complex) umbers is said to be coverget
More informationSequences and Series of Functions
Chapter 6 Sequeces ad Series of Fuctios 6.1. Covergece of a Sequece of Fuctios Poitwise Covergece. Defiitio 6.1. Let, for each N, fuctio f : A R be defied. If, for each x A, the sequece (f (x)) coverges
More informationFactors of sums and alternating sums involving binomial coefficients and powers of integers
Factors of sums ad alteratig sums ivolvig biomial coefficiets ad powers of itegers Victor J. W. Guo 1 ad Jiag Zeg 2 1 Departmet of Mathematics East Chia Normal Uiversity Shaghai 200062 People s Republic
More informationAlmost-spanning universality in random graphs
Almost-spaig uiversality i radom graphs David Colo Asaf Ferber Rajko Neadov Nemaja Škorić Abstract A graph G is said to be H(, )-uiversal if it cotais every graph o vertices with maximum degree at most.
More informationCitation for the original published paper (version of record): N.B. When citing this work, cite the original published paper.
http://www.diva-portal.org This is the published versio of a paper published i The Electroic Joural of Combiatorics. Citatio for the origial published paper (versio of record: Falgas-Ravry, V., Lo, A.
More informationCommon Coupled Fixed Point of Mappings Satisfying Rational Inequalities in Ordered Complex Valued Generalized Metric Spaces
IOSR Joural of Mathematics (IOSR-JM) e-issn: 78-578, p-issn:319-765x Volume 10, Issue 3 Ver II (May-Ju 014), PP 69-77 Commo Coupled Fixed Poit of Mappigs Satisfyig Ratioal Iequalities i Ordered Complex
More informationLovász Local Lemma a new tool to asymptotic enumeration?
Lovász Local Lemma a ew tool to asymptotic eumeratio? Liyua Licol Lu László Székely Uiversity of South Carolia Supported by NSF DMS Overview LLL ad its geeralizatios LLL a istace of the Poisso paradigm
More informationAn elementary proof that almost all real numbers are normal
Acta Uiv. Sapietiae, Mathematica, 2, (200 99 0 A elemetary proof that almost all real umbers are ormal Ferdiád Filip Departmet of Mathematics, Faculty of Educatio, J. Selye Uiversity, Rolícej šoly 59,
More informationIT is well known that Brouwer s fixed point theorem can
IAENG Iteratioal Joural of Applied Mathematics, 4:, IJAM_4 0 Costructive Proof of Brouwer s Fixed Poit Theorem for Sequetially Locally No-costat ad Uiformly Sequetially Cotiuous Fuctios Yasuhito Taaka,
More informationON THE NUMBER OF LAPLACIAN EIGENVALUES OF TREES SMALLER THAN TWO. Lingling Zhou, Bo Zhou* and Zhibin Du 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol 19, No 1, pp 65-75, February 015 DOI: 1011650/tjm190154411 This paper is available olie at http://jouraltaiwamathsocorgtw ON THE NUMBER OF LAPLACIAN EIGENVALUES OF
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More informationAPPROXIMATION BY BERNSTEIN-CHLODOWSKY POLYNOMIALS
Hacettepe Joural of Mathematics ad Statistics Volume 32 (2003), 1 5 APPROXIMATION BY BERNSTEIN-CHLODOWSKY POLYNOMIALS E. İbili Received 27/06/2002 : Accepted 17/03/2003 Abstract The weighted approximatio
More informationChapter 0. Review of set theory. 0.1 Sets
Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.
More informationSOME SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS
ARCHIVU ATHEATICU BRNO Tomus 40 2004, 33 40 SOE SEQUENCE SPACES DEFINED BY ORLICZ FUNCTIONS E. SAVAŞ AND R. SAVAŞ Abstract. I this paper we itroduce a ew cocept of λ-strog covergece with respect to a Orlicz
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationApplication to Random Graphs
A Applicatio to Radom Graphs Brachig processes have a umber of iterestig ad importat applicatios. We shall cosider oe of the most famous of them, the Erdős-Réyi radom graph theory. 1 Defiitio A.1. Let
More informationCompositions of Random Functions on a Finite Set
Compositios of Radom Fuctios o a Fiite Set Aviash Dalal MCS Departmet, Drexel Uiversity Philadelphia, Pa. 904 ADalal@drexel.edu Eric Schmutz Drexel Uiversity ad Swarthmore College Philadelphia, Pa., 904
More informationAppendix to Quicksort Asymptotics
Appedix to Quicksort Asymptotics James Alle Fill Departmet of Mathematical Scieces The Johs Hopkis Uiversity jimfill@jhu.edu ad http://www.mts.jhu.edu/~fill/ ad Svate Jaso Departmet of Mathematics Uppsala
More informationMATH 324 Summer 2006 Elementary Number Theory Solutions to Assignment 2 Due: Thursday July 27, 2006
MATH 34 Summer 006 Elemetary Number Theory Solutios to Assigmet Due: Thursday July 7, 006 Departmet of Mathematical ad Statistical Scieces Uiversity of Alberta Questio [p 74 #6] Show that o iteger of the
More informationRandomized Algorithms I, Spring 2018, Department of Computer Science, University of Helsinki Homework 1: Solutions (Discussed January 25, 2018)
Radomized Algorithms I, Sprig 08, Departmet of Computer Sciece, Uiversity of Helsiki Homework : Solutios Discussed Jauary 5, 08). Exercise.: Cosider the followig balls-ad-bi game. We start with oe black
More informationSection 5.1 The Basics of Counting
1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of
More informationAlmost-spanning universality in random graphs
Almost-spaig uiversality i radom graphs David Colo Asaf Ferber Rajko Neadov Nemaja Škorić Abstract A graph G is said to be H(, )-uiversal if it cotais every graph o at most vertices with maximum degree
More informationOptimal Littlewood-Offord inequalities in groups
Optimal Littlewood-Offord iequalities i groups T. Juškevičius 1, G. Šemetulskis arxiv:1707.01085v [math.pr] Apr 018 Abstract We prove several Littlewood-Offord type iequalities for arbitrary groups. I
More informationCS 171 Lecture Outline October 09, 2008
CS 171 Lecture Outlie October 09, 2008 The followig theorem comes very hady whe calculatig the expectatio of a radom variable that takes o o-egative iteger values. Theorem: Let Y be a radom variable that
More informationOn two Hamilton cycle problems in random graphs
O two Hamilto cycle problems i radom graphs Ala Frieze Michael Krivelevich November 16, 2006 Abstract We study two problems related to the existece of Hamilto cycles i radom graphs. The first questio relates
More informationSolutions to Math 347 Practice Problems for the final
Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is
More informationON BLEIMANN, BUTZER AND HAHN TYPE GENERALIZATION OF BALÁZS OPERATORS
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume XLVII, Number 4, December 2002 ON BLEIMANN, BUTZER AND HAHN TYPE GENERALIZATION OF BALÁZS OPERATORS OGÜN DOĞRU Dedicated to Professor D.D. Stacu o his 75
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationRiesz-Fischer Sequences and Lower Frame Bounds
Zeitschrift für Aalysis ud ihre Aweduge Joural for Aalysis ad its Applicatios Volume 1 (00), No., 305 314 Riesz-Fischer Sequeces ad Lower Frame Bouds P. Casazza, O. Christese, S. Li ad A. Lider Abstract.
More informationCentral limit theorem and almost sure central limit theorem for the product of some partial sums
Proc. Idia Acad. Sci. Math. Sci. Vol. 8, No. 2, May 2008, pp. 289 294. Prited i Idia Cetral it theorem ad almost sure cetral it theorem for the product of some partial sums YU MIAO College of Mathematics
More information