Notes on the Combinatorial Nullstellensatz
|
|
- Rosa Austin
- 5 years ago
- Views:
Transcription
1 Notes o the Combiatorial Nullstellesatz Costructive ad Nocostructive Methods i Combiatorics ad TCS U. Chicago, Sprig 2018 Istructor: Adrew Drucker Scribe: Roberto Ferádez For the followig theorems ad examples we let F be a field ad P[x 1,..., x ] be a formal polyomial over F. Note that i our defiitio of formal polyomials we cosider a polyomial as beig uiquely defied by its coefficiets. 1 Schwartz-Zippel Lemma The Schwartz-Zippel lemma [4, 6] provides us with sufficiet coditios uder which we ca boud the probability that a specific evaluatio of a polyomial vaishes, ad thus allows us to make statemets about whether a polyomial is idetically zero. Theorem 1 (Schwartz-Zippel Lemma). Let P F[x 1,..., x ] be a o-zero polyomial with deg(p) = d 0. We the cosider a fiite subset S F. If we radomly ad idepedetly sample r 1,..., r from S the P[P(r 1,..., r ) = 0] d S. Proof. We prove this by iductio o. The base case is immediate sice = 1 gives us a uivariate polyomial, for which we kow deg(p) = d implies at most d roots. Now we assume it holds for all polyomials with degree 1. Give that P / 0 we ca, without loss of geerality, assume that x 1 occurs i some ozero moomial. We ca the cosider each moomial ad factor out this x 1 compoet so that we ca write P as a polyomial i x 1 : P(x 1,..., x ) = d x i 1 Q i(x 2,..., x ). By our assumptio that x 1 occurs i a ozero moomial we kow that, for some i, we have Q i / 0, let k deote such moomial with the highest degree. We kow that deg(x1 kq k(x 2,..., x )) d ad thus deg(q k ) d k. Now let A deote the evet that Q k (y 2,..., y ) = 0, where y 2,..., y is radomly sampled from S 1. It follows by our iductive hypothesis that P[A] d k S. If we the have such y y 2,..., y with Q k (y) / 0 the it follows that P(x 1, y 2,..., y ) is uivariate i x 1, ozero, ad of degree k. If we the coditio this polyomial o y we ca use the base case ad get that P[P(x 1, y 2,..., y ) = 0 (y 2,..., y )] k S. Ultimately, we ca write: P[P 0] (1 P(A)) (1 k S ) = (1 d k ) (1 k S S ) 1 d k k S S = 1 d S. It the clearly follows that P[P 0] = 1 (1 d S ) = d S, just as desired. 1
2 The above theorem thus tells us that, if applicable, we ca fid a x S such that P(X) 0 with high probability after O ( S d ) trials. We ow cosider our first applicatio of the Schwartz-Zippel Lemma, Polyomial Idetity Testig (PIT): Example. Let our iput be a arithmetic circuit represetig a formal polyomial over variables x 1,..., x i a field F. We are the iterested o whether P 0. This ca be used to test the equivalece of two polyomials P 1, P 2 over this same field sice we ca simply write Q = P 2 P 2 ad test whether Q 0. Give our above result we ca provide a algorithm which shows that PIT co-rp, at least i cases where our polyomial has bouded degree. If we have P(x 1,..., x ) over our field F such that deg(p) we ca use the followig algorithm. 1. Radomly ad uiformly sample y y 1,..., y from F. 2. If P(y) 0 the coclude P is ot idetically 0 ad coclude executio. 3. If P(y) = 0 retur that P is idetically zero with a probability error of at most d < 1, due to Schwartz-Zippel. We ca thus repeat this procedure util this error has reached a appropriate boud. This boud o our error gives us, eve i the worst case uder our assumptios of d = 1, that our boud decreases by ( 1 ) (1 1 ) = e 1. We ca ow look at aother applicatio of the Schwartz-Zippel Lemma: checkig for the existece of perfect matches i bipartite graphs. [5] Example. Let G = (U, V, E) be a bipartite graph with V = U = ad E U V. We thus wat to check if there exists a set of edges M E such that every vertex is cotaied i exactly oe edge of M. We call such a subset M a perfect matchig of G. Defiitio 2. Let G = (U, V, E) be a bipartite graph. We the defie the tutte matrix, M G, of our graph as follows: x i,j (i, j) E M i,j = 0 (i, j) / E where x i,j is a fresh symbolic variable at each iteratio (i.e. each x i,j value is uique.) Lemma 3. The determiat of M G, which is a polyomial i (x i,j ) with degree at most, is ozero as a formal polyomial if ad oly if G has a perfect matchig. Proof. We ca use the Leibiz Formula for the determiat: det(m G ) = (sg(σ) M i,σ(i) ) σ S ad we the have a 1-1 correspodece betwee σ S ad the possible perfect matchigs i G which ca be writte as {(u 1, v σ(1) ),..., (u, v σ() }. By the defiitio of the tutte matrix we ca see 2
3 that if for some i we have (u i, v σ(i) ) (i.e. the possible perfect matchig is ot i G) the that term of our summatio will be 0 sice M i,σ(i) = 0. We ca the restrict our summatio rage to solely cosider σ P, where P is the set of perfect matchigs i G. We thus write det(m G ) = (sg(σ) M i,σ(i) ) = (sg(σ) x i,σ(i) ) σ P σ P ad usig this expressio we ca show the lemma. If the determiat is 0 the it is clear that P = ad thus G has o perfect matchig. If P, however, we kow that for σ P we have sg(σ) M i,σ(i) = sg(σ) x i,σ(i) 0 ad by our defiitio of x i,σ(i) always beig a fresh variable we kow that there does ot exist aother term i our sum that has the same set of variables ad thus this value is ot cacelled out ad we must have a o-zero determiat. Give the above result ad the PIT algorithm we ca defie a algorithm, i RP, for determiig whether G has a perfect matchig. Furthermore, we ca also desig a algorithm to retur a perfect matchig. Oe major advatage of this tutte matrix approach compared to the traditioal max flow approach is that of easy parallelizatio. Refer to [3]. 2 Combiatorial Nullstellesatz We ow move o to the related Combiatorial Nullstellesatz, [1, 2] which gives us coditios uder which we are assured a poit withi a defied sub-cube for which our polyomial does t vaish. Theorem 4 (Combiatorial Nullstellesatz). Let P(x 1,..., x ) be a polyomial i F[x 1,..., x ] with deg(p) = k i where each k i N ad suppose that the coefficiet x k 1 1 xk 2 2 xk i P is o-zero. The for ay collectio of subsets S 1,..., S F such that S i > k i for all i we have that there exists x S 1 S such that P(x) 0. Proof. We show the above result through iductio o d deg(p). The base case of d = 1 is trivial sice a polyomial of degree d will have at most d roots. Now let d > 1 ad for cotradictio s sake assume that P satisfies all of our theorem s assumptios ad yet P 0 o S 1 S 2 S. We ca assume without loss of geerality that α 1 > 0. Now fix ay s S 1. We ca the use the divisio algorithm to give us the followig polyomial: P(x 1,..., x ) = (x 1 s)q(x 1,..., x ) + R(x 2,..., x ). Now let x {s} S 2 S. We the have that P(x) = 0 implies that R(x) = 0. Sice R does ot cotai x 1 we ca also say that R vaishes o (S 1 {s}) S 2 S. Now if we fix x (S 1 {s}) S 2 S it follows that x 1 s is o-zero but sice we assumed the polyomial vaishes it must be true that Q(x) = 0 ad we thus have that Q vaishes o (S 1 {s} S 2 S. Sice we also have deg(q) = deg(p) 1 this vaishig implies a smaller couterexample which cotradicts our iductive hypothesis. We ow look at some possible applicatios of the above result, startig with the Cauchy- Daveport Theorem. 3
4 Theorem 5 (Cauchy-Daveport). Let p be a prime ad A, B be two o-empty subsets of F p ad defie A + B = {a + b a A, b B}. The, A + B mi{p, A + B 1}. Proof. The A + B > p case is straightforward sice for ay x F p there are p distict expressios of the form a + b that equal x. Sice the sum of elemets i our sets is greater tha p we must the have that these expressios overlap ad thus A + B = F p. Now we cosider the A + B p case. Assume for cotradictio s sake that A + B A + B 2 ad let C F p such that A + B C ad C = A + B 2. Now defie P(x, y) = c C (x + y c) be a polyomial over F p. (Note that P(a, b) = 0 for all a A, b B a + b C.) Now let S 1 A, S 2 B ad sice the coefficiet of x A 1 y B 1 is give by ( A + B 2 ) ad sice p is a prime by assumptio we kow that this coefficiet is ozero i F p ad thus by the CNSS we have that there exists (x, y) A B such that P(x, y) 0. Sice A 1 our polyomial was costructed such that it vaishes for all poits i C we reach a cotradictio sice A + B / C. Now we look at the Chevalley-Warig Theorem, which cocers algebraic varieties i F p. Defiitio 6. Let P 1,..., P m be a collectio of polyomials i F p. We the defie the vaishig set: V({P i } i ) {x F p P i (x) = 0 for all i}. Give the above defiitio, however, we ote that differet collectios ca have the same vaishig set, e.g. for c = {c 1,..., c } we could cosider A = {x c 1, x c 2,..., x c }, B = (x c i ) ad it is clear that V(A) = V(B) = c. We ca thus associate a cost measure to the collectios of polyomials, amely the sum of the degrees of each polyomial i the collectio, which defie a sigleto vaishig set. Further, we ca boud the miimum of this cost measure required to specify such a vaishig set. Theorem 7 (Chevalley-Warig Theorem). Let P 1,..., P m F[x 1,..., x ] ad assume that V({P i } i ) = {c} where c F p. The, m deg(p i ). Proof. Assume for sake of cotradictio that we have the desired sigleto vaishig set but d i <. Let P m [1 P p 1 ] δ (x j a) a c j where we choose δ such that P(c) = 0. (Note that the LHS evaluates to 1 o c so δ 0.) Let S i = F for all i ad defie α (p 1, p 2,..., p ) ad cosider x α. We claim that F 0 o S 1 S ad to show this we will prove the existece of some leadig term with degree p 1 i x 1,... x. I the x = c case it is clear that P 0 by defiitio. Now we cosider the x c ad assume WLOG that x k c k. I this case we ote that x c implies that for some i we have P i (x) 0 which implies that the LHS evaluates to 0 sice 1 P i (x) p 1 = 0 ad we must also have that the RHS evaluates to 0 sice by our assumptio x k c k ad thus a ck (x k a) will have a zero term. Sice the degree of the LHS is (p 1) d i < (p 1) but it has a o-zero coefficiet of the term x p 1 i it thus gives us a cotradictio through CNSS, which assures us a o-zero value of F. 4 j=1
5 Our fial applicatio is that of coverig the boolea cube, C {0, 1}, with hyperplaes. We defie a hyperplae, H, as follows: H { x a, x = b} for a give a, b Theorem 8. Let H 1,..., H m cover all of C except for oe poit. The we have that m. Proof. Assume without loss of geerality that the oe poit ot covered by our hyperplaes is 0 ad let our collectio of hyperplaes, {H i }, be defied such that H i = { a i, x = b i }. For cotradictio s sake assume that m < ad cosider P(x) ( 1) +m+1 m b j ( j=1 (x i 1)) m ( a i, x b i ). From the left term we clearly have that deg(p) = ad the coefficiet of it is ( 1) m++1 m j=1 b j 0. By CNSS we the have that there exists x {0, 1} such that P( x) 0. This poit x, however, is ot 0 sice the LHS of our polyomial is desiged to cacel the RHS uder 0, ad thus P( 0) = 0. We kow that our LHS vaishes for x 0 ad thus P( x) 0 implies that the RHS does t vaish. We thus have a i, x b i 0 for all i ad thus x is ot i ay H i, givig us the desired cotradictio. 5
6 Refereces [1] Noga Alo. Combiatorial ullstellesatz. Comb. Probab. Comput., 8(1-2):7 29, Jauary [2] M. Michalek. A short proof of Combiatorial Nullstellesatz. ArXiv e-prits, April [3] Keta Mulmuley, Umesh V. Vazirai, ad Vijay V. Vazirai. Matchig is as easy as matrix iversio. I Proceedigs of the Nieteeth Aual ACM Symposium o Theory of Computig, STOC 87, pages , New York, NY, USA, ACM. [4] J. T. Schwartz. Fast probabilistic algorithms for verificatio of polyomial idetities. J. ACM, 27(4): , October [5] W. T. Tutte. The factorizatio of liear graphs. Joural of the Lodo Mathematical Society, s1-22(2): [6] Richard Zippel. Probabilistic algorithms for sparse polyomials. I Edward W. Ng, editor, Symbolic ad Algebraic Computatio, pages , Berli, Heidelberg, Spriger Berli Heidelberg. 6
Polynomial identity testing and global minimum cut
CHAPTER 6 Polyomial idetity testig ad global miimum cut I this lecture we will cosider two further problems that ca be solved usig probabilistic algorithms. I the first half, we will cosider the problem
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 informationLecture 14: Randomized Computation (cont.)
CSE 200 Computability ad Complexity Wedesday, May 15, 2013 Lecture 14: Radomized Computatio (cot.) Istructor: Professor Shachar Lovett Scribe: Dogcai She 1 Radmized Algorithm Examples 1.1 The k-th Elemet
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 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 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 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 informationM A T H F A L L CORRECTION. Algebra I 1 4 / 1 0 / U N I V E R S I T Y O F T O R O N T O
M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #4 CORRECTION Algebra I 1 4 / 1 0 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O P r o f e s s o r : D r o r B a r - N a t a Correctio Homework Assigmet
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 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, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018
CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical
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 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 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 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 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 informationLECTURE NOTES, 11/10/04
18.700 LECTURE NOTES, 11/10/04 Cotets 1. Direct sum decompositios 1 2. Geeralized eigespaces 3 3. The Chiese remaider theorem 5 4. Liear idepedece of geeralized eigespaces 8 1. Direct sum decompositios
More informationLecture 4: April 10, 2013
TTIC/CMSC 1150 Mathematical Toolkit Sprig 01 Madhur Tulsiai Lecture 4: April 10, 01 Scribe: Haris Agelidakis 1 Chebyshev s Iequality recap I the previous lecture, we used Chebyshev s iequality to get a
More informationFermat s Little Theorem. mod 13 = 0, = }{{} mod 13 = 0. = a a a }{{} mod 13 = a 12 mod 13 = 1, mod 13 = a 13 mod 13 = a.
Departmet of Mathematical Scieces Istructor: Daiva Puciskaite Discrete Mathematics Fermat s Little Theorem 43.. For all a Z 3, calculate a 2 ad a 3. Case a = 0. 0 0 2-times Case a 0. 0 0 3-times a a 2-times
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 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 informationAlgebraic Geometry I
6.859/15.083 Iteger Programmig ad Combiatorial Optimizatio Fall 2009 Lecture 14: Algebraic Geometry I Today... 0/1-iteger programmig ad systems of polyomial equatios The divisio algorithm for polyomials
More informationMa 4121: Introduction to Lebesgue Integration Solutions to Homework Assignment 5
Ma 42: Itroductio to Lebesgue Itegratio Solutios to Homework Assigmet 5 Prof. Wickerhauser Due Thursday, April th, 23 Please retur your solutios to the istructor by the ed of class o the due date. You
More informationFundamental Theorem of Algebra. Yvonne Lai March 2010
Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex
More informationCourse : Algebraic Combinatorics
Course 8.32: Algebraic Combiatorics Lecture Notes # Addedum by Gregg Musier February 4th - 6th, 2009 Recurrece Relatios ad Geeratig Fuctios Give a ifiite sequece of umbers, a geeratig fuctio is a compact
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 informationMath 25 Solutions to practice problems
Math 5: Advaced Calculus UC Davis, Sprig 0 Math 5 Solutios to practice problems Questio For = 0,,, 3,... ad 0 k defie umbers C k C k =! k!( k)! (for k = 0 ad k = we defie C 0 = C = ). by = ( )... ( k +
More informationCS / MCS 401 Homework 3 grader solutions
CS / MCS 401 Homework 3 grader solutios assigmet due July 6, 016 writte by Jāis Lazovskis maximum poits: 33 Some questios from CLRS. Questios marked with a asterisk were ot graded. 1 Use the defiitio of
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 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 informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
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 informationTopic 9: Sampling Distributions of Estimators
Topic 9: Samplig Distributios of Estimators Course 003, 2016 Page 0 Samplig distributios of estimators Sice our estimators are statistics (particular fuctios of radom variables), their distributio ca be
More informationLecture 16: Monotone Formula Lower Bounds via Graph Entropy. 2 Monotone Formula Lower Bounds via Graph Entropy
15-859: Iformatio Theory ad Applicatios i TCS CMU: Sprig 2013 Lecture 16: Mootoe Formula Lower Bouds via Graph Etropy March 26, 2013 Lecturer: Mahdi Cheraghchi Scribe: Shashak Sigh 1 Recap Graph Etropy:
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 informationLecture 5: April 17, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 5: April 7, 203 Scribe: Somaye Hashemifar Cheroff bouds recap We recall the Cheroff/Hoeffdig bouds we derived i the last lecture idepedet
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 informationLecture 23: Minimal sufficiency
Lecture 23: Miimal sufficiecy Maximal reductio without loss of iformatio There are may sufficiet statistics for a give problem. I fact, X (the whole data set) is sufficiet. If T is a sufficiet statistic
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More informationn=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n
Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio
More informationStochastic Matrices in a Finite Field
Stochastic Matrices i a Fiite Field Abstract: I this project we will explore the properties of stochastic matrices i both the real ad the fiite fields. We first explore what properties 2 2 stochastic matrices
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 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 informationChapter 2. Periodic points of toral. automorphisms. 2.1 General introduction
Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad
More informationLecture 7: Properties of Random Samples
Lecture 7: Properties of Radom Samples 1 Cotiued From Last Class Theorem 1.1. Let X 1, X,...X be a radom sample from a populatio with mea µ ad variace σ
More informationLesson 10: Limits and Continuity
www.scimsacademy.com Lesso 10: Limits ad Cotiuity SCIMS Academy 1 Limit of a fuctio The cocept of limit of a fuctio is cetral to all other cocepts i calculus (like cotiuity, derivative, defiite itegrals
More informationLecture 9: Pseudo-random generators against space bounded computation,
Lecture 9: Pseudo-radom geerators agaist space bouded computatio, Primality Testig Topics i Pseudoradomess ad Complexity (Sprig 2018) Rutgers Uiversity Swastik Kopparty Scribes: Harsha Tirumala, Jiyu Zhag
More informationInduction: Solutions
Writig Proofs Misha Lavrov Iductio: Solutios Wester PA ARML Practice March 6, 206. Prove that a 2 2 chessboard with ay oe square removed ca always be covered by shaped tiles. Solutio : We iduct o. For
More informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More informationLecture 4: Grassmannians, Finite and Affine Morphisms
18.725 Algebraic Geometry I Lecture 4 Lecture 4: Grassmaias, Fiite ad Affie Morphisms Remarks o last time 1. Last time, we proved the Noether ormalizatio lemma: If A is a fiitely geerated k-algebra, the,
More informationHomework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is
Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of
More informationLECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK)
LECTURE 8: ORTHOGONALITY (CHAPTER 5 IN THE BOOK) Everythig marked by is ot required by the course syllabus I this lecture, all vector spaces is over the real umber R. All vectors i R is viewed as a colum
More informationMATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)
MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The
More informationTopic 9: Sampling Distributions of Estimators
Topic 9: Samplig Distributios of Estimators Course 003, 2018 Page 0 Samplig distributios of estimators Sice our estimators are statistics (particular fuctios of radom variables), their distributio ca be
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty
More informationMath 609/597: Cryptography 1
Math 609/597: Cryptography 1 The Solovay-Strasse Primality Test 12 October, 1993 Burt Roseberg Revised: 6 October, 2000 1 Itroductio We describe the Solovay-Strasse primality test. There is quite a bit
More information3.2 Properties of Division 3.3 Zeros of Polynomials 3.4 Complex and Rational Zeros of Polynomials
Math 60 www.timetodare.com 3. Properties of Divisio 3.3 Zeros of Polyomials 3.4 Complex ad Ratioal Zeros of Polyomials I these sectios we will study polyomials algebraically. Most of our work will be cocered
More informationUnit 4: Polynomial and Rational Functions
48 Uit 4: Polyomial ad Ratioal Fuctios Polyomial Fuctios A polyomial fuctio y px ( ) is a fuctio of the form p( x) ax + a x + a x +... + ax + ax+ a 1 1 1 0 where a, a 1,..., a, a1, a0are real costats ad
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 informationM17 MAT25-21 HOMEWORK 5 SOLUTIONS
M17 MAT5-1 HOMEWORK 5 SOLUTIONS 1. To Had I Cauchy Codesatio Test. Exercise 1: Applicatio of the Cauchy Codesatio Test Use the Cauchy Codesatio Test to prove that 1 diverges. Solutio 1. Give the series
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 informationComplex Numbers Solutions
Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i
More informationMcGill University Math 354: Honors Analysis 3 Fall 2012 Solutions to selected problems
McGill Uiversity Math 354: Hoors Aalysis 3 Fall 212 Assigmet 3 Solutios to selected problems Problem 1. Lipschitz fuctios. Let Lip K be the set of all fuctios cotiuous fuctios o [, 1] satisfyig a Lipschitz
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 informationb i u x i U a i j u x i u x j
M ath 5 2 7 Fall 2 0 0 9 L ecture 1 9 N ov. 1 6, 2 0 0 9 ) S ecod- Order Elliptic Equatios: Weak S olutios 1. Defiitios. I this ad the followig two lectures we will study the boudary value problem Here
More informationLemma Let f(x) K[x] be a separable polynomial of degree n. Then the Galois group is a subgroup of S n, the permutations of the roots.
15 Cubics, Quartics ad Polygos It is iterestig to chase through the argumets of 14 ad see how this affects solvig polyomial equatios i specific examples We make a global assumptio that the characteristic
More informationIn number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.
Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers
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 informationCHAPTER 5. Theory and Solution Using Matrix Techniques
A SERIES OF CLASS NOTES FOR 2005-2006 TO INTRODUCE LINEAR AND NONLINEAR PROBLEMS TO ENGINEERS, SCIENTISTS, AND APPLIED MATHEMATICIANS DE CLASS NOTES 3 A COLLECTION OF HANDOUTS ON SYSTEMS OF ORDINARY DIFFERENTIAL
More informationCourse : Algebraic Combinatorics
Course 18.312: Algebraic Combiatorics Lecture Notes # 18-19 Addedum by Gregg Musier March 18th - 20th, 2009 The followig material ca be foud i a umber of sources, icludig Sectios 7.3 7.5, 7.7, 7.10 7.11,
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 5: SINGULARITIES. ANDREW SALCH 1. The Jacobia criterio for osigularity. You have probably oticed by ow that some poits o varieties are smooth i a sese somethig
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 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 informationLecture 1: Basic problems of coding theory
Lecture 1: Basic problems of codig theory Error-Correctig Codes (Sprig 016) Rutgers Uiversity Swastik Kopparty Scribes: Abhishek Bhrushudi & Aditya Potukuchi Admiistrivia was discussed at the begiig of
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 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 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 information11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.
11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although
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 N-POINT FUNCTIONS FOR INTERSECTION NUMBERS ON MODULI SPACES OF CURVES
THE N-POINT FUNTIONS FOR INTERSETION NUMBERS ON MODULI SPAES OF URVES KEFENG LIU AND HAO XU Abstract. We derive from Witte s KdV equatio a simple formula of the -poit fuctios for itersectio umbers o moduli
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 informationHomework 2. Show that if h is a bounded sesquilinear form on the Hilbert spaces X and Y, then h has the representation
omework 2 1 Let X ad Y be ilbert spaces over C The a sesquiliear form h o X Y is a mappig h : X Y C such that for all x 1, x 2, x X, y 1, y 2, y Y ad all scalars α, β C we have (a) h(x 1 + x 2, y) h(x
More informationDiscrete mathematics , Fall Instructor: prof. János Pach. 1 Counting problems and the inclusion-exclusion principle
Discrete mathematics 014-015, Fall Istructor: prof Jáos Pach - covered material - Special thaks to Jaa Cslovjecsek, Kelly Fakhauser, ad Sloboda Krstic for sharig their lecture otes If you otice ay errors,
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 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 informationThe Rand and block distances of pairs of set partitions
The Rad ad block distaces of pairs of set partitios Frak Ruskey 1 ad Jeifer Woodcock 1 Dept. of Computer Sciece, Uiversity of Victoria, CANADA Abstract. The Rad distaces of two set partitios is the umber
More informationMath 299 Supplement: Real Analysis Nov 2013
Math 299 Supplemet: Real Aalysis Nov 203 Algebra Axioms. I Real Aalysis, we work withi the axiomatic system of real umbers: the set R alog with the additio ad multiplicatio operatios +,, ad the iequality
More informationA collocation method for singular integral equations with cosecant kernel via Semi-trigonometric interpolation
Iteratioal Joural of Mathematics Research. ISSN 0976-5840 Volume 9 Number 1 (017) pp. 45-51 Iteratioal Research Publicatio House http://www.irphouse.com A collocatio method for sigular itegral equatios
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 informationA NOTE ON LEBESGUE SPACES
Volume 6, 1981 Pages 363 369 http://topology.aubur.edu/tp/ A NOTE ON LEBESGUE SPACES by Sam B. Nadler, Jr. ad Thelma West Topology Proceedigs Web: http://topology.aubur.edu/tp/ Mail: Topology Proceedigs
More informationTopic 9: Sampling Distributions of Estimators
Topic 9: Samplig Distributios of Estimators Course 003, 2018 Page 0 Samplig distributios of estimators Sice our estimators are statistics (particular fuctios of radom variables), their distributio ca be
More informationMATH 304: MIDTERM EXAM SOLUTIONS
MATH 304: MIDTERM EXAM SOLUTIONS [The problems are each worth five poits, except for problem 8, which is worth 8 poits. Thus there are 43 possible poits.] 1. Use the Euclidea algorithm to fid the greatest
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 informationEDGE AND SECANT IDEALS OF SHARED-VERTEX GRAPHS
EDGE AND SECANT IDEALS OF SHARED-VERTEX GRAPHS ZVI ROSEN Abstract. We examie miimal free resolutios ad Betti diagrams of the edge ad secat ideals of oe family of graphs. We demostrate how splittig 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 informationThe Discrete Fourier Transform
The Discrete Fourier Trasform Complex Fourier Series Represetatio Recall that a Fourier series has the form a 0 + a k cos(kt) + k=1 b k si(kt) This represetatio seems a bit awkward, sice it ivolves two
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 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 informationSome special clique problems
Some special clique problems Reate Witer Istitut für Iformatik Marti-Luther-Uiversität Halle-Witteberg Vo-Seckedorff-Platz, D 0620 Halle Saale Germay Abstract: We cosider graphs with cliques of size k
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 information