Resolution Proofs of Generalized Pigeonhole Principles
|
|
- Earl Thomas
- 5 years ago
- Views:
Transcription
1 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 of Illiois, Chicago ad Automata Theory Research Group Hugaria Academy of Scieces Szeged, Hugary February 1988 Abstract We exted results of A. Hake to give a expoetial lower boud o the size of resolutio proofs for propositioal formulas ecodig a geeralized pigeohole priciple. These propositioal formulas express the fact that there is o oe-oe mappig from c objects to objects whe c > 1. As a corollary, resolutio proof systems do ot p-simulate costat formula depth Frege proof systems. 1. Itroductio S. Cook ad R. Reckhow [] itroduced propositioal formulas ecodig the pigeohole priciple. These propositioal formulas have polyomial size proofs i exteded resolutio proof systems (S. Cook, Reckhow []), i Frege proof systems (Buss [1]) ad i cuttig plae proof systems (W. Cook, Coullard, Turá [3]); however, A. Hake [4] showed they require expoetial size proofs Supported i part by NSF postdoctoral fellowship DMS
2 i a resolutio proof system. The purpose of this paper is to exted Hake s expoetial lower boud; i particular, we address the questio of lower bouds o the size of resolutio proofs of geeralized pigeohole priciples which state that for m >, if m pigeos sit i holes the some hole cotais more tha oe pigeo. For m > + 1 the geeralized pigeohole priciple is more true tha the usual pigeohole priciple (where m = + 1), ad hece might have shorter resolutio proofs. We show below that ay resolutio proof of the geeralized pigeohole priciple with m = c must be expoetial size i (for costat c > 1). This implies (usig results of Paris ad Wilkie [5] ad Paris, Wilkie ad Woods [6]) that resolutio does ot p-simulate costat formula depth Frege proof systems.. Resolutio ad the Pigeohole Priciple We begi by recallig the basic facts about resolutio (see Hake [4] for a more detailed expositio). A propositioal variable rages over the truth values True ad False. A literal is either a variable x or the egatio x of a variable x. A clause is a fiite set of literals; the meaig of a clause is the disjuctio of the variables i the clause. Hece a truth assigmet satisfies a clause if it assigs the value True to some variable i the clause or the value False to a variable whose egatio appears i the clause. The meaig of a set of clauses is the cojuctio of the clauses, so ay cojuctive ormal form formula ca be viewed as a set of clauses. The resolutio rule is a form of modus poes: if C 1 is a clause cotaiig x ad C cotais x the the clause (C 1 \ {x}) (C \ {x}) is iferred by resolvig o the variable x. Resolutio is a refutatio proof system. Give a formula φ i disjuctive ormal form, its egatio ca be expressed i cojuctive ormal form ad the as a set of clauses. A resolutio proof of φ is by defiitio a resolutio proof of the empty clause (a cotradictio) from the set of clauses expressig the egatio of φ. The completeess theorem for resolutio guaratees that every tautology i disjuctio ormal form has a resolutio proof; i.e., from ay set of clauses such that o truth assigmet ca simultaeously satisfy all of them there is a derivatio of the empty clause usig oly the resolutio rule. A resolutio proof ca be viewed as a sequece of clauses; each clause i the sequece is either a iitial clause (a assumptio) or is obtaied by resolutio from two earlier clauses. Alteratively a resolutio proof ca be viewed as a directed acyclic graph with a edge from oe clause to aother if the secod is obtaied by resolutio from the first together with some other clause. We shall use the followig fact: give a resolutio proof ad a truth assigmet α, there is a uique path C 1,C,...,C t through the proof (viewed as a directed acyclic graph) such that C 1 is a iitial clause ad C t is the
3 empty clause ad each C i+1 is iferred by resolutio from C i ad oe other clause. This is proved by workig backwards startig at the root of the tree ad by otig that if α does ot satisfy a clause the α also does ot satisfy exactly oe of the two clauses from which it derived by resolutio. Sice we are workig i a resolutio proof system the geeralized pigeohole priciple PHP m eeds to be expressed as a usatisfiable propositioal formula i cojuctive ormal form. The variables of PHP m are x i,j with 1 i m, 1 j ; the variable x i,j is iteded to deote the coditio that pigeo i is sittig i hole j. The formula PHP m is defied to be m (x i1,j x i,j) i=1 j=1 x i,j j=1 1 i 1<i m where x i,j deotes the egatio of x i,j. The first part of PHP m expresses the coditio that every pigeo sits i oe or more holes; the secod part that o hole is occupied by more tha oe pigeo. It is easy to see that the geeralized pigeohole priciple for m pigeos ad holes is equivalet to PHP m beig usatisfiable. Note that the size of PHP m is O(m ). 3. A Lower Boud for Resolutio I this sectio we prove the mai result: Theorem 1 Every resolutio proof of the usatisfiability of PHP m at least ( ) m has legth Thus, i particular, PHP c requires expoetial legth resolutio proofs for ay costat c > 1. The lower boud is superpolyomial for m = o( /log ). We do ot kow whether PHP has polyomial legth proofs. (By the legth of resolutio proof we mea the umber of lies i the proof; however, this is polyomially related to the umber of symbols i the proof sice each clause i the proof will cotai at most oe istace of each variable.) The proof follows A. Hake s argumet. Although i his proof (ad i the subsequet work of Urquhart [7]) the existece of critical truth assigmets, which satisfy all but oe clause, seems to play a cetral role, it turs out that by suitably modifyig Hake s defiitios his ideas carry over to our case as well although here there are o critical truth assigmets. We shall picture the variables x i,j arraged i a m matrix with i (the pigeo) specifyig the colum ad j (the hole) the row. Each clause 3
4 i the resolutio proof is described by a m matrix partially filled with + s ad s, where a + (respectively, ) i a positio (i,j) meas that x i,j (respectively, x i,j ) occurs i the clause. A truth assigmet is pictured as a m matrix of 0 s ad 1 s which idicate assigig False or True (respectively) to the correspodig variable. Defiitio A truth assigmet α is maximal if it cotais exactly 1 s, all i differet rows ad colums. The m colums which cotai o 1 s (ad hece oly 0 s) are called the 0-colums of α. Note that a maximal truth assigmet assigs of the pigeos to distict holes ad leaves the other m pigeos uassiged. Now suppose we are give a arbitrary resolutio proof of the usatisfiability of PHP m. Recall that such a proof may be viewed either as a sequece of clauses edig with or as a directed acyclic graph with at the root. (The empty clause is ot satisfiable.) Each clause i the proof must either be a clause from PHP m or be deduced from prior clauses by resolutio. The iitial clauses from PHP m cosist either of oe colum filled with + s or of two s i oe row. Lemma For every maximal truth assigmet α there is a clause C i the resolutio proof such that (1) α makes C false, () C cotais at most + s i every 0-colum of α, (3) C cotais + s i exactly oe 0-colum of α. Proof I the resolutio proof there is a uique path of clauses C 1,...,C t such that α makes each C i false, C 1 is a iitial clause ad C t =. Because α is maximal C 1 must cosist of oe colum filled with + s; this will be a 0-colum of α. Let C be the last amog these clauses which cotais at least + s i some 0-colum of α. The C satisfies (1) by defiitio, ad it also satisfies () ad (3) as + s ca disappear from a clause oly oe at a time. If α is a maximal truth assigmet, let C α deote the first clause i the resolutio proof satisfyig the coditios of Lemma. Defie FS1 to be the set {S : S is a set of 4 variables, all i differet rows ad colums}. For S FS1, C S is the first clause i the proof sequece which is of the form C α for some maximal truth assigmet α which assigs 1 s to each variable i S. Ay such C S is called a complex clause. Lemma 3 Every complex clause has at least colums which cotai either a or at least + s. 4
5 Proof Let C S be a complex clause for S FS1 ad α be a maximal truth assigmet assigig 1 s to the variables i S such that C α = C S. Let COL ={l : colum l of C S cotais a }, COL + ={l : colum l of C S cotais at least + s ad o s ad is ot a 0-colum of α}, l 0 =the 0-colum of α which cotais exactly + s i C S, A={x i,j / S : α i,j = 1}. Sice α makes C S false, COL caot cotai ay 0-colum of α; thus COL, COL + ad {l 0 } are pairwise disjoit. By defiitio every 0-colum of α other tha l 0 cotais fewer tha + s i C S. As l 0 satisfies the coditios of the lemma, we have to show that COL + COL + 4. Claim 1: If COL + COL + < 4, the there exists a xi,j A such that (1) either x l0,j or x l0,j occurs i C S ad () i / COL COL +. Ideed, as (1) excludes elemets of A (i fact colum l0 cotais oly + s) ad () excludes < 4 elemets, the coditio A = 3 4 implies the existece of such a variable. To prove Lemma 3, suppose for the sake of a cotradictio that the coditios of Claim 1 hold ad let α be the maximal truth assigmet costructed from α by chagig the value of α i,j to 0 ad α l0,j to 1. Claim : (1) α assigs 1 s to all members of S ad makes C S false. () All 0-colums of α cotai less tha + s i C S. (1) follows by costructio. The 0-colums of α are the 0-colums of α, except l 0 beig replaced by i, but as i / COL +, it cotais less tha + s i C S, provig (). By the method of proof of Lemma, it is clear that C α is a clause precedig C S i the proof sequece which cotradicts the the defiitio of C S. { Proof of Theorem 1. Put g() = max C {S FS1 : C S = C} } ad h() = FS1. The as i [4], h()/g() is a lower boud to the legth of a resolutio proof, sice it is clearly a lower boud o the umber of distict complex clauses i the resolutio proof. Let k = 4. To compute h() ad g() suppose we have a particular complex clause C. By Lemma 3 we ca choose k + 1 colums which cotai a or at least + s. To cout the total umber of S FS1 we let the variable i deote the umber of variables i S i the chose k + 1 colums. The we have: h() = ( )( ) k + 1 m k 1! i k i ( k)! 5
6 Similarly, to get the upper boud g() o the umber of S FS1 such that C S = C we let i be the umber of variables of S i oe of the k + 1 colums. I each of these k + 1 colums there are at most variables which ca be i such a S; this is because a + i C excludes the correspodig variable from S ad a i C implies that if S has a variable from that colum it must be the variable correspodig to the. Thus, ( )( ) k + 1 m k 1 i ( i)! g() i k i ( k)! So, ( )( ) k + 1 m k 1 h() g() i k i ( )( ) k + 1 m k 1 i ( i)! i k i! ( )( ) k + 1 m k 1 sice for i 4, i k i ( )( )( k + 1 m k 1 i k i 3 i ( i)!! ( ) i 3 The ratio of the (i 1)-st term over the i-th term i the summatio i the deomiator is i(m k + i 1) 3 (k i + 1)(k i + ) It is easily verified that this is less tha 1 for i 1 5 m, ad hece the terms i the deomiator are icreasig while i 1 5 m. Thus we ca give a weaker lower boud (with smaller umerator ad larger deomiator): ( )( ) k + 1 m k 1 ) i h() g() 1 i= 1 50 m i= 1 50 m ( ) m i k i ( )( k + 1 m k 1 i k i )( 3 ) i 6
7 which completes the proof of Theorem Resolutio versus Costat Formula Depth Frege Systems The otio of the depth of a formula is defied i terms of the alteratio of s ad s i the formula. A formula is of depth k iff it is i oe of the classes Σ k or Π k : Defiitio Σ k ad Π k are the smallest sets of propositioal formulas which satisfy the followig iductive defiitio: 1. A propositioal variable is i Σ 0 ad i Π 0,. If A ad B are i Σ k (respectively, i Π k ) the A is i Π k (resp., Σ k ), A is i Σ k+1 Π k+1, A B is i Σ k (resp., Σ k+1 ), A B is i Π k+1 (resp., Π k ). For istace, PHP m is i Π. A formula-depth k Frege proof system is a usual Frege proof system (see S. Cook, Reckhow []) with the additioal restrictio that every formula appearig i a proof be of depth k. Paris ad Wilkie [5] established the followig coectio betwee provability i Bouded Arithmetic ad provability i costat formula depth Frege proof systems. Let WPHP(f) be the setece x[x 0 ( y < x)(f(y) < x ) ( y)( z)(y z f(y) = f(z))]. Let I 0 (f)+ω 1 be the theory of arithmetic with iductio o bouded formulas with f a additioal fuctio symbol allowed i iductio formulas ad with a axiom assertig that x log x is a total fuctio; the a slight stregtheig of Theorem 6 of Paris-Wilkie [5] gives: Propositio 4 If I 0 (f) + Ω 1 WPHP(f) the there are costats k 1 ad k such that for all, PHP has Frege proofs of size O( (log 1) )k i which every formula is of depth k. Recetly, Paris, Wilkie ad Woods [6] established that I 0 (f) + Ω 1 does ideed prove WPHP(f). Combiig our Theorem 1 with these results gives: Theorem 5 There is a costat k such that resolutio does ot polyomially simulate formula depth k Frege proof systems. To the best of the authors kowledge, Theorem 5 is the oly kow separatio result applyig to costat formula depth Frege proof systems. 7
8 Refereces [1] S. R. Buss, Polyomial size proofs of the propositioal pigeohole priciple, Joural of Symbolic Logic, 5 (1987), pp [] S. A. Cook ad R. A. Reckhow, The relative efficiecy of propositioal proof systems, Joural of Symbolic Logic, 44 (1979), pp [3] W. Cook, C. R. Coullard, ad G. Turá, O the complexity of cuttig plae proofs, Discrete Applied Mathematics, 18 (1987), pp [4] A. Hake, The itractability of resolutio, Theoretical Computer Sciece, 39 (1985), pp [5] J. B. Paris ad A. J. Wilkie, Coutig problems i bouded arithmetic, i Methods i Mathematical Logic, Lecture Notes i Mathematics #1130, Spriger-Verlag, 1985, pp [6] J. B. Paris, A. J. Wilkie, ad A. R. Woods, Provability of the pigeohole priciple ad the existece of ifiitely may primes, Joural of Symbolic Logic, 53 (1988), pp [7] A. Urquhart, Hard examples for resolutio, J. Assoc. Comput. Mach., 34 (1987), pp
Resolution and the Weak Pigeonhole Principle
Resolutio ad the Weak Pigeohole Priciple Sam Buss 1 ad Toia Pitassi 2 1 Departmets of Mathematics ad Computer Sciece Uiversity of Califoria, Sa Diego, La Jolla, CA 92093-0112. 2 Departmet of Computer Sciece,
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 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 informationA Lower Bound for the Pigeonhole Principle in Tree-like Resolution by Asymmetric Prover-Delayer Games
A Lower Boud for the Pigeohole Priciple i Tree-like Resolutio by Asymmetric Prover-Delayer Games Olaf Beyersdorff Nicola Galesi 2 Massimo Lauria 2 Istitut für Theoretische Iformatik, Leibiz Uiversität
More informationSection 4.3. Boolean functions
Sectio 4.3. Boolea fuctios Let us take aother look at the simplest o-trivial Boolea algebra, ({0}), the power-set algebra based o a oe-elemet set, chose here as {0}. This has two elemets, the empty set,
More informationCSE 1400 Applied Discrete Mathematics Number Theory and Proofs
CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of
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 informationLangford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.
Lagford s Problem Moti Be-Ari Departmet of Sciece Teachig Weizma Istitute of Sciece http://www.weizma.ac.il/sci-tea/beari/ c 017 by Moti Be-Ari. This work is licesed uder the Creative Commos Attributio-ShareAlike
More informationLecture Notes for CS 313H, Fall 2011
Lecture Notes for CS 313H, Fall 011 August 5. We start by examiig triagular umbers: T () = 1 + + + ( = 0, 1,,...). Triagular umbers ca be also defied recursively: T (0) = 0, T ( + 1) = T () + + 1, or usig
More informationChapter IV Integration Theory
Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where
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 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 information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
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 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 informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
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 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 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 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 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 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 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 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 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 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 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 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 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 informationDefinition 4.2. (a) A sequence {x n } in a Banach space X is a basis for X if. unique scalars a n (x) such that x = n. a n (x) x n. (4.
4. BASES I BAACH SPACES 39 4. BASES I BAACH SPACES Sice a Baach space X is a vector space, it must possess a Hamel, or vector space, basis, i.e., a subset {x γ } γ Γ whose fiite liear spa is all of X ad
More informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
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 informationLecture 2 Clustering Part II
COMS 4995: Usupervised Learig (Summer 8) May 24, 208 Lecture 2 Clusterig Part II Istructor: Nakul Verma Scribes: Jie Li, Yadi Rozov Today, we will be talkig about the hardess results for k-meas. More specifically,
More informationThe natural exponential function
The atural expoetial fuctio Attila Máté Brookly College of the City Uiversity of New York December, 205 Cotets The atural expoetial fuctio for real x. Beroulli s iequality.....................................2
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 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 informationLimit superior and limit inferior c Prof. Philip Pennance 1 -Draft: April 17, 2017
Limit erior ad limit iferior c Prof. Philip Peace -Draft: April 7, 207. Defiitio. The limit erior of a sequece a is the exteded real umber defied by lim a = lim a k k Similarly, the limit iferior of a
More information3. Sequences. 3.1 Basic definitions
3. Sequeces 3.1 Basic defiitios Defiitio 3.1 A (ifiite) sequece is a fuctio from the aturals to the real umbers. That is, it is a assigmet of a real umber to every atural umber. Commet 3.1 This is the
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 informationACCESSIBLE INDEPENDENCE RESULTS FOR PEANO ARITHMETIC
ACCESSIBLE INDEPENDENCE RESULTS FOR PEANO ARITHMETIC LAURIE KIRBY AND JEFF PARIS Recetly some iterestig first-order statemets idepedet of Peao Arithmetic (P) have bee foud. Here we preset perhaps the first
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 informationRelations Among Algebras
Itroductio to leee Algebra Lecture 6 CS786 Sprig 2004 February 9, 2004 Relatios Amog Algebras The otio of free algebra described i the previous lecture is a example of a more geeral pheomeo called adjuctio.
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 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 information7.1 Convergence of sequences of random variables
Chapter 7 Limit Theorems Throughout this sectio we will assume a probability space (, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
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 informationMAS111 Convergence and Continuity
MAS Covergece ad Cotiuity Key Objectives At the ed of the course, studets should kow the followig topics ad be able to apply the basic priciples ad theorems therei to solvig various problems cocerig covergece
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationA sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as
More informationThe Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.
Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure
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 informationLecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =
COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.
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 informationsubcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016
subcaptiofot+=small,labelformat=pares,labelsep=space,skip=6pt,list=0,hypcap=0 subcaptio ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, /6/06. Self-cojugate Partitios Recall that, give a partitio λ, we may
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 information} is said to be a Cauchy sequence provided the following condition is true.
Math 4200, Fial Exam Review I. Itroductio to Proofs 1. Prove the Pythagorea theorem. 2. Show that 43 is a irratioal umber. II. Itroductio to Logic 1. Costruct a truth table for the statemet ( p ad ~ r
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 informationand each factor on the right is clearly greater than 1. which is a contradiction, so n must be prime.
MATH 324 Summer 200 Elemetary Number Theory Solutios to Assigmet 2 Due: Wedesday July 2, 200 Questio [p 74 #6] Show that o iteger of the form 3 + is a prime, other tha 2 = 3 + Solutio: If 3 + is a prime,
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 informationMeasure and Measurable Functions
3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies
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 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 informationInjections, Surjections, and the Pigeonhole Principle
Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs
More informationSquare-Congruence Modulo n
Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet
More informationAutocommutator Subgroups of Finite Groups
JOURNAL OF ALGEBRA 90, 556562 997 ARTICLE NO. JA96692 Autocommutator Subgroups of Fiite Groups Peter V. Hegarty Departmet of Mathematics, Priceto Uiersity, Priceto, New Jersey 08544 Commuicated by Gordo
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 informationA Proof of Birkhoff s Ergodic Theorem
A Proof of Birkhoff s Ergodic Theorem Joseph Hora September 2, 205 Itroductio I Fall 203, I was learig the basics of ergodic theory, ad I came across this theorem. Oe of my supervisors, Athoy Quas, showed
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 informationDavenport-Schinzel Sequences and their Geometric Applications
Advaced Computatioal Geometry Sprig 2004 Daveport-Schizel Sequeces ad their Geometric Applicatios Prof. Joseph Mitchell Scribe: Mohit Gupta 1 Overview I this lecture, we itroduce the cocept of Daveport-Schizel
More informationSequences. Notation. Convergence of a Sequence
Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it
More informationAssignment 5: Solutions
McGill Uiversity Departmet of Mathematics ad Statistics MATH 54 Aalysis, Fall 05 Assigmet 5: Solutios. Let y be a ubouded sequece of positive umbers satisfyig y + > y for all N. Let x be aother sequece
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 informationAN INTRODUCTION TO SPECTRAL GRAPH THEORY
AN INTRODUCTION TO SPECTRAL GRAPH THEORY JIAQI JIANG Abstract. Spectral graph theory is the study of properties of the Laplacia matrix or adjacecy matrix associated with a graph. I this paper, we focus
More informationIRRATIONALITY MEASURES, IRRATIONALITY BASES, AND A THEOREM OF JARNÍK 1. INTRODUCTION
IRRATIONALITY MEASURES IRRATIONALITY BASES AND A THEOREM OF JARNÍK JONATHAN SONDOW ABSTRACT. We recall that the irratioality expoet µα ( ) of a irratioal umber α is defied usig the irratioality measure
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 informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More informationMath 4107: Abstract Algebra I Fall Webwork Assignment1-Groups (5 parts/problems) Solutions are on Webwork.
Math 4107: Abstract Algebra I Fall 2017 Assigmet 1 Solutios 1. Webwork Assigmet1-Groups 5 parts/problems) Solutios are o Webwork. 2. Webwork Assigmet1-Subgroups 5 parts/problems) Solutios are o Webwork.
More informationIntroduction to Probability. Ariel Yadin. Lecture 2
Itroductio to Probability Ariel Yadi Lecture 2 1. Discrete Probability Spaces Discrete probability spaces are those for which the sample space is coutable. We have already see that i this case we ca take
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 information7.1 Convergence of sequences of random variables
Chapter 7 Limit theorems Throughout this sectio we will assume a probability space (Ω, F, P), i which is defied a ifiite sequece of radom variables (X ) ad a radom variable X. The fact that for every ifiite
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 informationSRC Technical Note June 17, Tight Thresholds for The Pure Literal Rule. Michael Mitzenmacher. d i g i t a l
SRC Techical Note 1997-011 Jue 17, 1997 Tight Thresholds for The Pure Literal Rule Michael Mitzemacher d i g i t a l Systems Research Ceter 130 Lytto Aveue Palo Alto, Califoria 94301 http://www.research.digital.com/src/
More informationCantor s Set, the Cardinality of the Reals, and the Continuum hypothesis
Gauge Istitute, December 26 Cator s Set, the Cardiality of the Reals, ad the Cotiuum hypothesis vick@adccom Jauary, 26 Abstract: The Cator set is obtaied from the closed uit iterval [,] by a sequece of
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 information7 Sequences of real numbers
40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are
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 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 informationShort Proofs of the Kneser-Lovász Coloring Principle
Short Proofs of the Keser-Lovász Colorig Priciple James Aiseberg 1,, Maria Luisa Boet 2,, Sam Buss 1,, Adria Crãciu 3,, ad Gabriel Istrate 3, 1 Departmet of Mathematics, Uiversity of Califoria, Sa Diego,
More informationTEACHER CERTIFICATION STUDY GUIDE
COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra
More information18th Bay Area Mathematical Olympiad. Problems and Solutions. February 23, 2016
18th Bay Area Mathematical Olympiad February 3, 016 Problems ad Solutios BAMO-8 ad BAMO-1 are each 5-questio essay-proof exams, for middle- ad high-school studets, respectively. The problems i each exam
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 informationEntire Functions That Share One Value with One or Two of Their Derivatives
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 223, 88 95 1998 ARTICLE NO. AY985959 Etire Fuctios That Share Oe Value with Oe or Two of Their Derivatives Gary G. Guderse* Departmet of Mathematics, Ui
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 informationOn a Smarandache problem concerning the prime gaps
O a Smaradache problem cocerig the prime gaps Felice Russo Via A. Ifate 7 6705 Avezzao (Aq) Italy felice.russo@katamail.com Abstract I this paper, a problem posed i [] by Smaradache cocerig the prime gaps
More informationMath 140A Elementary Analysis Homework Questions 3-1
Math 0A Elemetary Aalysis Homework Questios -.9 Limits Theorems for Sequeces Suppose that lim x =, lim y = 7 ad that all y are o-zero. Detarime the followig limits: (a) lim(x + y ) (b) lim y x y Let s
More informationNICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =
AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,
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 informationLecture 10: Mathematical Preliminaries
Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this
More informationThe Structure of Z p when p is Prime
LECTURE 13 The Structure of Z p whe p is Prime Theorem 131 If p > 1 is a iteger, the the followig properties are equivalet (1) p is prime (2) For ay [0] p i Z p, the equatio X = [1] p has a solutio i Z
More informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More information