Pairs of disjoint q-element subsets far from each other
|
|
- Camron Adams
- 6 years ago
- Views:
Transcription
1 Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, Gyula O.H. Katoa Alfréd Réyi Istitute of Mathematics, HAS, Budapest P.O.B. 127 H-1364 Hugary July 27, 2001 Abstract Let ad q be give itegers ad X a fiite set with elemets. The followig theorem is proved for > 0 (q). The family of all q-elemet subsets of X ca be partitioed ito disjoit pairs (except possibly oe if ( q) is odd), so that A1 A 2 + B 1 B 2 q, A 1 B 2 + B 1 A 2 q holds for ay two such pairs {A 1,B 1 } ad {A 2,B 2 }. This is a sharpeig of a theorem i [2]. It is also show that this is a codig type problem, ad several problems of similar ature are posed. 1 Itroductio The followig theorem was proved i [2]. Theorem 1.1 Let X = ad 2 k>q. The family of all q-elemet subsets of X ca be partitioed ito uordered pairs (except possibly oe if ( ) q is odd), so that paired q-elemet subsets are disjoit ad if A 1,B 1 ad A 2,B 2 are two such pairs with A 1 A 2 k, the B 1 B 2 <k, provided > 0 (k, q). AMS Subject classificatio Primary 05B30, Secodary 05C45, 94B99. Keywords: desig, Hamiltoia cycle, code. The work was supported by the Japa Society for the Promotio of Sciece, Grat-i-Aid for Scietific Research (B), , the Hugaria Natioal Foudatio for Scietific Research grat umbers T029255, DIMACS ad UVO-ROSTE the electroic joural of combiatorics 8 (o. 2) (2001), #R7 1
2 The mai aim of the preset paper is to give a sharpeig of this theorem. Defie the closeess of the pairs {A 1,B 1 } ad {A 2,B 2 } by γ({a 1,B 1 }, {A 2,B 2 })=max{ A 1 A 2 + B 1 B 2, A 1 B 2 + B 1 A 2 } (1.1) It is obvious that A 1 A 2 k ad B 1 B 2 k imply γ((a 1,B 1 ), (A 2,B 2 )) 2k for sets satisfyig A 1 B 1 = A 2 B 2 =, therefore the followig theorem is really a sharpeig of Theorem 1.1. Theorem 1.2 Let X =. The family of all q-elemet subsets of X ca be partitioed ito disjoit pairs (except possibly oe if ( ) q is odd), so that γ({a1,b 1 }, {A 2,B 2 }) q holds for ay two such pairs {A 1,B 1 } ad {A 2,B 2 }, provided > 0 (q). The proof of Theorem 1.1 was based o a Hamiltoia type theorem. Here we will eed aother theorem of the same type. Two edge-disjoit (o-directed) simple graphs G 0 = (V,E 0 )adg 1 =(V,E 1 ) will be give o the same vertex set where V = N, E 0 E 1 =. Let r deote the miimum degree i G 0. The edges of the secod graph are labelled by positive itegers. The label of e E 1 is deoted by l(e). Deote the umber of edges of label i startig from the vertex v by d(v, i) = {e E 1 : v e, l(e) =i}. Let s be the maximum degree i G 1,thatis, s =max v V { i d(v, i)}. (1.2) Aother parameter t is defied by t = t(q) =max v V { i d(v, i)max { w V q+1 i j d(w, j)}}. (1.3) A 4-tuple (x, y, z, v) of vertices is called heavy C 4 iff (x, y), (z, v) E 0, (y,z), (x, v) E 1,l((y, z)) + l((x, v)) q + 1. After these defiitios we are able to formulate our theorem. Theorem 1.3 Suppose, that 2 r 4 t s 1 >N. (1.4) The there is a Hamiltoia cycle i G 0 such that if (a, b) ad (c, d) are both edges of the cycle, the (a, b, c, d) is ot a heavy C 4. Sectio 2 cotais the proofs. I Sectio 3 we will pose a geeral questio to fid the maximum umber of elemets whose paiwise distace is at least d i a fiite space furished with a distace. Theorem 1.2 is the solutio of this questio i a special case. the electroic joural of combiatorics 8 (o. 2) (2001), #R7 2
3 2 Proofs The proof of Theorem 1.3 is based o Dirac s famous theorem o a sufficiet coditio for existece of a Hamiltoia cycle ad o Lemma 2.2. Theorem 2.1 (Dirac [3]) If G is a simple graph o N vertices ad all degrees of G are at least N, the G has a Hamiltoia cycle. 2 Lemma 2.2 Let G 0, G 1, r, s, t ad N satisfy (1.4). Assume that there is a Hamiltoia path from a to b i G 0. The there exist c, c a, ad d, d b, adjacet vertices alog the path, such that c is betwee a ad d o the path, (a, d) E 0, (b, c) E 0, (a, d, b, c) is ot a heavy C 4, ad if (x, y) is a edge of the path, the either (a, d, x, y) or (b, c, x, y) is a heavy C 4. Proof of Lemma 2.2 We call a vertex x V a-bad (b-bad) if there exists a edge (y, z) of the Hamiltoia path such that (a, x, y, z) ((b, x, y, z), respectively) is a heavy C 4. Let t a be the umber of a-bad vertices ad t b be that of the b-bad vertices. Now, t a is bouded from above by the umber of four-tuples (a, z, y, x) such that (y,z) isaedge of the path, (a, z), (y,x) E 1 ad l((a, z)) + l((y,x)) q + 1 holds. There are d(a, i) choices for (a, z) oflabeli. The vertex y ca be chose i two differet ways alog the path, fially the umber of choices for (y, x) withlabelj is d(y,j). Therefore the umber of these paths ca be upperbouded by (see (1.3)). We obtaied 2{ i d(a, i)max { y V q+1 i j d(y, j)}} =2t t a,t b 2t. (2.1) The umber of pairs {c, d} (a c, d b) which are eighbours alog the path, c is betwee a ad d is N 3. At least r 2 of these pairs satisfy (a, d) E 0 ad at least r 2 of them satisfy (c, b) E 0. (The umber of edges i E 0 startig from a (b) isatleast r, three of these edges do ot cout here: the two edges alog the path ad evetually {a, b}.) Cosequetly, there are at least 2r N 1 pairs havig both of the edges i E 0. The pair {c, d} satisfies the coditios of the lemma if it is chose from the above 2r N 1 oes,d is ot a-bad, c is ot b-bad ad (d, b) E 1. (This last coditio implies that (a, d, b, c) isotaheavyc 4.) The umber of pairs {c, d} for which at least oe of these coditios does ot hold is at most t a + t b + s. Therefore if 2r N 1 >t a + t b + s holds the the existece of the pair i the lemma is proved. By (2.1) this is reduced to (1.4). Proof of Theorem 1.3 Let us suppose idirectly, that 2 r 4 t s 1 >N,but the required Hamiltoia cycle does ot exist. We say that K cotais a heavy C 4 if there exists a heavy C 4 whose E 0 edges are edges of K, wherek stads for a path or a cycle i G 0. the electroic joural of combiatorics 8 (o. 2) (2001), #R7 3
4 If E 1 =, thet ad s are zero, the coditio of Dirac s theorem holds for G 0,thusit cotais a Hamiltoia cycle. Furthermore o heavy C 4 could exist. So, we may assume that E 1 is o-empty. Let us drop edges oe-by-oe from E 1 util a required Hamiltoia cycle appears. Cosider the last dropped edge (u, v). Droppig it, a Hamiltoia cycle cotaiig o heavy C 4 appears. This meas, that there was a Hamiltoia cycle C i G 0 before, which cotaied such heavy C 4 s oly that used the edge (u, v) E 1.Letthe eighbours of v alog C be w ad z. A heavy C 4 usig the edge (u, v) must use either (w, v) or(z, v). Thus, the path of N 1 vertices from w to z obtaied by deletig the vertex v from C cotais o heavy C 4. Lemma 2.2 ca be applied for the Hamiltoia path obtaied from C by deletig the edge (z, v), takig a = v ad b = z. Replacig the edges (c, d) (provided by Lemma 2.2) ad (z, v) withedges(v, d) ad(z, c) a ew Hamiltoia cycle C is obtaied, which ca cotai a heavy C 4 oly if that heavy C 4 uses the edge (w, v). Now, a secod applicatio of Lemma 2.2 with a = w ad b = v gives a Hamiltoia cycle C cotaiig o heavy C 4, eve without droppig the edge (u, v), a cotradictio. Proof of Theorem 1.2 We costruct graphs G 0 =(V,E 0 )adg 1 =(V,E 1 )thatsatisfytherequiremetsof Theorem 1.3. The vertex set V cosists of the q-elemet subsets of X, V = ( ) q = N. Two q-elemet subsets are adjacet i G 0 if their itersectio is empty, while two q-elemet subsets are adjacet i G 1 if they have a o-empty itersectio. The label of the edge (A, B) isl((a, B)) = A B. G 0 is regular with degree r = ( ) q q = 1 q! q + O( q 1 ). I G 1 we have ( )( ) q q d(v, i) =d(i) = (1 i<q). (2.2) i q i By (1.2) ad (2.2) we have q 1 s = i=1 ( q i )( q q i O the other had (1.3) ad (2.2) imply t = q+1 i+j d(i)d(j) = ) = q+1 i+j q (q 1)! q 1 + O( q 2 ). (2.3) ( q i )( q q i )( q j )( q q j q 1 ( )( ) = q 1 q q 1 1 i=2 i q +1 i (q i)! (i 1)! + O(q 2 ). It is easy to check that 2 r 4 t s 1 >N= ( ) q = 1 q! q + O( q 1 ), provided > 0 (q). Accordig to Theorem 1.3, there is a Hamiltoia cycle H i G 0 that does ot cotai two disjoit edges that spa a heavy C 4. Now the required partitio of the q-elemet subsets ito disjoit pairs ca be obtaied by goig aroud H, every other edge will form a good pair. The coditio γ({a 1,B 1 }, {A 2,B 2 }) q ca be deduced from (1.1) ad from the fact that H cotais o heavy C 4. ) = the electroic joural of combiatorics 8 (o. 2) (2001), #R7 4
5 3 Geeralized codig problems Defie δ({a 1,B 1 }, {A 2,B 2 })=2q γ({a 1,B 1 }, {A 2,B 2 }). This is a distace i the space of all disjoit pairs of q-elemet subsets of X. Theorem 1.2 aswers a codig type questio, how may elemets ca be chose from this space with large pairwise distaces. I geeral, let Y be a fiite set ad δ(x, y) 0 a real-valued symmetric (δ(x, y) = δ(y, x)) fuctio defied o the pairs x, y Y. Let 0 <dbe a fixed iteger. A subset C = {c 1,...,c m } Y is called a code of distace d if δ(c i,c j ) d holds for i j. The followig (probably too geeral) questio ca be asked. Problem 3.1 Let Y, δ(x, y) ad the real d be give. Determie the maximum size C of a d-distace code. δ(x, y) is called a distace if δ(x, y) =0iffx = y ad the triagle iequality holds: δ(x, y) δ(x, z)+δ(z, y) for ay 3 elemets of Y. Problem 3.1 ca be asked for δ(x, y) ot possessig these coditios, but it is really more atural for distaces. The best kow fiite set with a distace is whe Y is the set of all sequeces of legth, the elemets take from a fiite set, the distace is the Hammig distace. Problem 3.1 leads to traditioal codig theory. There are may kow results of this type i geometry, but there Y is ifiite. Our case whe Y = Y 1 is the set of all disjoit pairs of q-elemet subsets of X ca also be cosidered as a set of sequeces, however the distace is ot a Hammig distace. Still, it is a distace. Propositio 3.2 Let Y 1 be the set of all disjoit pairs {A, B} of q-elemet subsets of a -elemet X. δ 1 ({A 1,B 1 }, {A 2,B 2 })=2q γ({a 1,B 1 }, {A 2,B 2 }) (3.1) is a distace. Proof of Propositio 3.2 It is easy to see that δ 1 ({A 1,B 1 }, {A 2,B 2 })=0iff{A 1,B 1 } = {A 2,B 2 }. So we really have to prove oly the triagle iequality. By (3.1) ad (1.1) this is reduced to Two cases will be distiguished. max{ A 1 A 3 + B 1 B 3, A 1 B 3 + B 1 A 3 }+ +max{ A 2 A 3 + B 2 B 3, A 2 B 3 + B 2 A 3 } 2q +max{ A 1 A 2 + B 1 B 2, A 1 B 2 + B 1 A 2 }. (3.2) the electroic joural of combiatorics 8 (o. 2) (2001), #R7 5
6 Case 1. Either the first or the secod value is larger (or equal) i both terms of the left had side of (3.2). By symmetry it ca be supposed that the first values are the larger oes. The the left had side of (3.2) is A 1 A 3 + B 1 B 3 + A 2 A 3 + B 2 B 3. (3.3) Observe that A 1 A 3 + A 2 A 3 A 3 + A 1 A 2 = q + A 1 A 2. The same holds for the Bs, therefore (3.3) is at most 2q + A 1 A 2 + B 1 B 2,provig (3.2) for this case. Case 2. The first value is larger i the first term, the secod oe i the secod term, or vice versa, o the left had side of (3.2). By symmetry we ca suppose that the left had side of (3.2) is A 1 A 3 + B 1 B 3 + A 2 B 3 + B 2 A 3. (3.4) All these itersectios are subsets of A 3 B 3. Usig the fact that A i B i =, oly the first ad the fourth, the secod ad the third, resp., itersectios ca be o-disjoit, the other pairs are disjoit. Therefore o elemet is i more tha two of the itersectios i (3.4) ad these elemets are all either i A 1 B 2 A 3 or i B 1 A 2 B 3.Thisgivesa upper boud o (3.4): A 3 + B 3 + A 1 B 2 A 3 + B 1 A 2 B 3 2q + A 1 B 2 + B 1 A 2, provig (3.2) for this case, too. The followig special case of Problem 3.1 arises ow aturally. Problem 3.3 Let Y 1, δ 1 (x, y) be the space with distace defied above. Determie the maximum size C of a q-distace code. Ufortuately, Theorem 1.2 is ot a solutio, sice the coditio o the distace permits the existece of a pair {A, B 1 }, {A, B 2 },B 1 B 2 =, which is excluded i Theorem 1.2 by the uique usage of every q-elemet subset. Let us see some other possible special cases of Problem 3.1. Problem 3.4 Let Y be set of all permutatios of elemets ad suppose that δ is the umber of iversios betwee two permutatios (umber of pairs beeig i differet order). Give the iteger 0 <d, determie the largest set of permutatios with pairwise distace at least d. Problem 3.5 Let Y be the set of matrices over a fiite field F ad suppose that the distace δ betwee two such matrices is the rak of the differece (etry by etry) of the matrices. Give the iteger 0 <ddetermie the largest set of matrices with pairwise distace at least d. Fially, let Y be the set of all simple graphs G =(V,E) o the same vertex set V, V =. The distace δ(g 1,G 2 ) betwee the graphs G 1 =(V,E 1 ),G 2 =(V,E 2 )isthesizeofthe largest complete graph i (V,E 1 E 2 )where is the symmetric differece. Some results o this problem will be published i a forthcomig paper [1]. the electroic joural of combiatorics 8 (o. 2) (2001), #R7 6
7 Refereces [1] N. Alo, G.O.H. Katoa, Codes amog graphs, paper uder preparatio. [2] J. Demetrovics, G.O.H. Katoa ad A.Sali, Desig type problems motivated by database theory J. Statist. Plaig ad Iferece 72 (1998) [3] G.A. Dirac, Some theorems o abstract graphs, Proc. Lodo Math. Soc., Ser. 3, 2 (1952), the electroic joural of combiatorics 8 (o. 2) (2001), #R7 7
Largest 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 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 informationOn matchings in hypergraphs
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
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 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 informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
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 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 informationRiemann Sums y = f (x)
Riema Sums Recall that we have previously discussed the area problem I its simplest form we ca state it this way: The Area Problem Let f be a cotiuous, o-egative fuctio o the closed iterval [a, b] Fid
More informationThe Local Harmonious Chromatic Problem
The 7th Workshop o Combiatorial Mathematics ad Computatio Theory The Local Harmoious Chromatic Problem Yue Li Wag 1,, Tsog Wuu Li ad Li Yua Wag 1 Departmet of Iformatio Maagemet, Natioal Taiwa Uiversity
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
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 informationWeakly Connected Closed Geodetic Numbers of Graphs
Iteratioal Joural of Mathematical Aalysis Vol 10, 016, o 6, 57-70 HIKARI Ltd, wwwm-hikaricom http://dxdoiorg/101988/ijma01651193 Weakly Coected Closed Geodetic Numbers of Graphs Rachel M Pataga 1, Imelda
More informationMath 4707 Spring 2018 (Darij Grinberg): homework set 4 page 1
Math 4707 Sprig 2018 Darij Griberg): homewor set 4 page 1 Math 4707 Sprig 2018 Darij Griberg): homewor set 4 due date: Wedesday 11 April 2018 at the begiig of class, or before that by email or moodle Please
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 informationBertrand s Postulate
Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a
More information16 Riemann Sums and Integrals
16 Riema Sums ad Itegrals Defiitio: A partitio P of a closed iterval [a, b], (b >a)isasetof 1 distict poits x i (a, b) togetherwitha = x 0 ad b = x, together with the covetio that i>j x i >x j. Defiitio:
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 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 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 informationCardinality Homework Solutions
Cardiality Homework Solutios April 16, 014 Problem 1. I the followig problems, fid a bijectio from A to B (you eed ot prove that the fuctio you list is a bijectio): (a) A = ( 3, 3), B = (7, 1). (b) A =
More informationMetric Space Properties
Metric Space Properties Math 40 Fial Project Preseted by: Michael Brow, Alex Cordova, ad Alyssa Sachez We have already poited out ad will recogize throughout this book the importace of compact sets. All
More informationZeros of Polynomials
Math 160 www.timetodare.com 4.5 4.6 Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered with fidig the solutios of polyomial equatios of ay degree
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationA 2nTH ORDER LINEAR DIFFERENCE EQUATION
A 2TH ORDER LINEAR DIFFERENCE EQUATION Doug Aderso Departmet of Mathematics ad Computer Sciece, Cocordia College Moorhead, MN 56562, USA ABSTRACT: We give a formulatio of geeralized zeros ad (, )-discojugacy
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 informationarxiv: 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 informationMA131 - Analysis 1. Workbook 2 Sequences I
MA3 - Aalysis Workbook 2 Sequeces I Autum 203 Cotets 2 Sequeces I 2. Itroductio.............................. 2.2 Icreasig ad Decreasig Sequeces................ 2 2.3 Bouded Sequeces..........................
More informationACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory
1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.
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 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 informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More informationConvergence of random variables. (telegram style notes) P.J.C. Spreij
Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space
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 Matrix Rigidity
A Note o Matrix Rigidity Joel Friedma Departmet of Computer Sciece Priceto Uiversity Priceto, NJ 08544 Jue 25, 1990 Revised October 25, 1991 Abstract I this paper we give a explicit costructio of matrices
More informationSequences I. Chapter Introduction
Chapter 2 Sequeces I 2. Itroductio A sequece is a list of umbers i a defiite order so that we kow which umber is i the first place, which umber is i the secod place ad, for ay atural umber, we kow which
More information10.6 ALTERNATING SERIES
0.6 Alteratig Series Cotemporary Calculus 0.6 ALTERNATING SERIES I the last two sectios we cosidered tests for the covergece of series whose terms were all positive. I this sectio we examie series whose
More informationAnalytic Continuation
Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for
More informationNo four subsets forming an N
No four subsets formig a N Jerrold R. Griggs Uiversity of South Carolia Columbia, SC 908 USA griggs@math.sc.edu Gyula O.H. Katoa Réyi Istitute Budapest, Hugary ohkatoa@reyi.hu Rev., May 3, 007 Abstract
More informationAvailable online at J. Math. Comput. Sci. 2 (2012), No. 3, ISSN:
Available olie at http://scik.org J. Math. Comput. Sci. 2 (202, No. 3, 656-672 ISSN: 927-5307 ON PARAMETER DEPENDENT REFINEMENT OF DISCRETE JENSEN S INEQUALITY FOR OPERATOR CONVEX FUNCTIONS L. HORVÁTH,
More informationarxiv: v1 [math.co] 23 Mar 2016
The umber of direct-sum decompositios of a fiite vector space arxiv:603.0769v [math.co] 23 Mar 206 David Ellerma Uiversity of Califoria at Riverside August 3, 208 Abstract The theory of q-aalogs develops
More informationThe value of Banach limits on a certain sequence of all rational numbers in the interval (0,1) Bao Qi Feng
The value of Baach limits o a certai sequece of all ratioal umbers i the iterval 0, Bao Qi Feg Departmet of Mathematical Scieces, Ket State Uiversity, Tuscarawas, 330 Uiversity Dr. NE, New Philadelphia,
More informationDifferent kinds of Mathematical Induction
Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}
More informationABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS
ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio
More informationCSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo
Coutig Methods CSE 191, Class Note 05: Coutig Methods Computer Sci & Eg Dept SUNY Buffalo c Xi He (Uiversity at Buffalo CSE 191 Discrete Structures 1 / 48 Need for Coutig The problem of coutig the umber
More informationBinary codes from graphs on triples and permutation decoding
Biary codes from graphs o triples ad permutatio decodig J. D. Key Departmet of Mathematical Scieces Clemso Uiversity Clemso SC 29634 U.S.A. J. Moori ad B. G. Rodrigues School of Mathematics Statistics
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationProblem Set 2 Solutions
CS271 Radomess & Computatio, Sprig 2018 Problem Set 2 Solutios Poit totals are i the margi; the maximum total umber of poits was 52. 1. Probabilistic method for domiatig sets 6pts Pick a radom subset S
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
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 informationLecture 14: Graph Entropy
15-859: Iformatio Theory ad Applicatios i TCS Sprig 2013 Lecture 14: Graph Etropy March 19, 2013 Lecturer: Mahdi Cheraghchi Scribe: Euiwoog Lee 1 Recap Bergma s boud o the permaet Shearer s Lemma Number
More informationSome remarks for codes and lattices over imaginary quadratic
Some remarks for codes ad lattices over imagiary quadratic fields Toy Shaska Oaklad Uiversity, Rochester, MI, USA. Caleb Shor Wester New Eglad Uiversity, Sprigfield, MA, USA. shaska@oaklad.edu Abstract
More informationThe inverse eigenvalue problem for symmetric doubly stochastic matrices
Liear Algebra ad its Applicatios 379 (004) 77 83 www.elsevier.com/locate/laa The iverse eigevalue problem for symmetric doubly stochastic matrices Suk-Geu Hwag a,,, Sug-Soo Pyo b, a Departmet of Mathematics
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 informationAnother diametric theorem in Hamming spaces: optimal group anticodes
Aother diametric theorem i Hammig spaces: optimal group aticodes Rudolf Ahlswede Departmet of Mathematics Uiversity of Bielefeld POB 003, D-3350 Bielefeld, Germay Email: ahlswede@math.ui-bielefeld.de Abstract
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 information6.3 Testing Series With Positive Terms
6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial
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 information2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.
CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.
More informationHoggatt and King [lo] defined a complete sequence of natural numbers
REPRESENTATIONS OF N AS A SUM OF DISTINCT ELEMENTS FROM SPECIAL SEQUENCES DAVID A. KLARNER, Uiversity of Alberta, Edmoto, Caada 1. INTRODUCTION Let a, I deote a sequece of atural umbers which satisfies
More informationThe Growth of Functions. Theoretical Supplement
The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More informationChapter 4. Fourier Series
Chapter 4. Fourier Series At this poit we are ready to ow cosider the caoical equatios. Cosider, for eample the heat equatio u t = u, < (4.) subject to u(, ) = si, u(, t) = u(, t) =. (4.) Here,
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
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 informationAxioms of Measure Theory
MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that
More informationFirst selection test, May 1 st, 2008
First selectio test, May st, 2008 Problem. Let p be a prime umber, p 3, ad let a, b be iteger umbers so that p a + b ad p 2 a 3 + b 3. Show that p 2 a + b or p 3 a 3 + b 3. Problem 2. Prove that for ay
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 informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
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 informationThe picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled
1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how
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 informationChapter 6 Infinite Series
Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat
More informationIntermediate Math Circles November 4, 2009 Counting II
Uiversity of Waterloo Faculty of Mathematics Cetre for Educatio i Mathematics ad Computig Itermediate Math Circles November 4, 009 Coutig II Last time, after lookig at the product rule ad sum rule, we
More informationHow to Maximize a Function without Really Trying
How to Maximize a Fuctio without Really Tryig MARK FLANAGAN School of Electrical, Electroic ad Commuicatios Egieerig Uiversity College Dubli We will prove a famous elemetary iequality called The Rearragemet
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 informationFind a formula for the exponential function whose graph is given , 1 2,16 1, 6
Math 4 Activity (Due by EOC Apr. ) Graph the followig epoetial fuctios by modifyig the graph of f. Fid the rage of each fuctio.. g. g. g 4. g. g 6. g Fid a formula for the epoetial fuctio whose graph is
More informationSOME GENERALIZATIONS OF OLIVIER S THEOREM
SOME GENERALIZATIONS OF OLIVIER S THEOREM Alai Faisat, Sait-Étiee, Georges Grekos, Sait-Étiee, Ladislav Mišík Ostrava (Received Jauary 27, 2006) Abstract. Let a be a coverget series of positive real umbers.
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 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 informationMA541 : Real Analysis. Tutorial and Practice Problems - 1 Hints and Solutions
MA54 : Real Aalysis Tutorial ad Practice Problems - Hits ad Solutios. Suppose that S is a oempty subset of real umbers that is bouded (i.e. bouded above as well as below). Prove that if S sup S. What ca
More informationSequences of Definite Integrals, Factorials and Double Factorials
47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology
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 informationMath Solutions to homework 6
Math 175 - Solutios to homework 6 Cédric De Groote November 16, 2017 Problem 1 (8.11 i the book): Let K be a compact Hermitia operator o a Hilbert space H ad let the kerel of K be {0}. Show that there
More informationMath 216A Notes, Week 5
Math 6A Notes, Week 5 Scribe: Ayastassia Sebolt Disclaimer: These otes are ot early as polished (ad quite possibly ot early as correct) as a published paper. Please use them at your ow risk.. Thresholds
More informationPROBLEM SET 5 SOLUTIONS 126 = , 37 = , 15 = , 7 = 7 1.
Math 7 Sprig 06 PROBLEM SET 5 SOLUTIONS Notatios. Give a real umber x, we will defie sequeces (a k ), (x k ), (p k ), (q k ) as i lecture.. (a) (5 pts) Fid the simple cotiued fractio represetatios of 6
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 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 informationLecture 2: April 3, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 2: April 3, 203 Scribe: Shubhedu Trivedi Coi tosses cotiued We retur to the coi tossig example from the last lecture agai: Example. Give,
More informationModel Theory 2016, Exercises, Second batch, covering Weeks 5-7, with Solutions
Model Theory 2016, Exercises, Secod batch, coverig Weeks 5-7, with Solutios 3 Exercises from the Notes Exercise 7.6. Show that if T is a theory i a coutable laguage L, haso fiite model, ad is ℵ 0 -categorical,
More informationOn groups of diffeomorphisms of the interval with finitely many fixed points II. Azer Akhmedov
O groups of diffeomorphisms of the iterval with fiitely may fixed poits II Azer Akhmedov Abstract: I [6], it is proved that ay subgroup of Diff ω +(I) (the group of orietatio preservig aalytic diffeomorphisms
More informationLecture Notes for Analysis Class
Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios
More informationMath 113 Exam 3 Practice
Math Exam Practice Exam will cover.-.9. This sheet has three sectios. The first sectio will remid you about techiques ad formulas that you should kow. The secod gives a umber of practice questios for you
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 informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
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 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 informationAbsolutely Harmonious Labeling of Graphs
Iteratioal J.Math. Combi. Vol. (011), 40-51 Absolutely Harmoious Labelig of Graphs M.Seeivasa (Sri Paramakalyai College, Alwarkurichi-6741, Idia) A.Lourdusamy (St.Xavier s College (Autoomous), Palayamkottai,
More information