Instructor: Hemanshu Kaul
Office: 125C Rettaliata Engg Center.
E-mail: kaul [at] iit.edu

Time: 11:25am-12:40pm Tuesday and Thursday.
Place: 121 Rettaliata Engg Center

Discussion Forums: Math 554 at Campuswire.

Office Hours: Tuesday and Thursday at 3:05-4pm. And by appointment in-person or through Zoom (send email to setup appointment).
Questions through Campuswire Discussion Forums are strongly encouraged.

• Tuesday, 1/10 : Check this webpage regularly for homework assignments, announcements, etc.

• Mid-term Exam: 4/11, Tuesday. Syllabus: All topics corresponding to HWs#1 to #5.
• Final Exam : 5/1, Monday, 10:30am-12:30pm in RE 121. Syllabus: All topics covered during the semester.

• Problems:
  Extremal and Existential (deterministic) problems (solved using probabilistic methods): Monte Carlo Randomized algorithm for verifying matrix multiplication; Max-Cut/Largest Bipartite subgraph; Ramsey Numbers; Bernstein's Property B and m(k), Hypergraph Coloring; List coloring of graphs; Intersecting family of sets and Erdos-Ko-Rado theorem; Largest Antichain in Boolean lattice and Bollobas' generalization of LYM inequality; Hamiltonian paths in Tournaments; Turan Number for Graphs; Caro-Wei theorem and application to Turan's theorem; Domination Number of graphs; Graphs with high girth and high chromatic number; More list coloring of graphs; Frugal proper colorings of graphs; Hardy-Ramanujan theorem for number of prime factors; Weierstrass Approximation Theorem; Low-distortion embedding of data points in low dimensions and the Johnson-Lindentrauss flattening lemma; Discrepancy of a set system/hypergraph; A counterexample to Hajos' conjecture in graph theory.
  Probabilistic problems (solved using probabilistic methods): Random graph models, particularly Erdos-Renyi Random graphs; Properties of Random graphs that hold "with high probability"; Almost every G(n,p) is connected for a fixed p; Threshold function for a monotone graph property; Threshold for appearance of a Balanced (and non-balanced) subgraph in G(n,p); Sampling multidimensional data and a weak version of VC-dimension bound; Almost orthogonality of any two vectors picked from unit sphere in Euclidean space; Almost all graphs are counterexamples to Hajos' conjecture in graph theory.
  Counting Problems (solved using Entropy): Discrete version of Loomis-Whitney Isoperimetric Inequality; Estimating Binomial coefficients and their sums using binary entropy; Size of the family of graphs with pairwise intersection containing a triangle as progress towards Simonovits-Sos conjecture; the maximum number of copies of a fixed hypergraph H in the family of all hypergraphs with l edges using the fractional cover number of H; the number of independent sets in a regular bipartite graph.
  Counting Problems (solved using Polynomial Method and Vector Space dimension): Size of a 2-distance set in R^n, maximum size of an L-intersecting family of sets, maximum size of a p-modular L-intersecting family of sets, maximum size of an L-intersecting k-uniform family of sets, maximum size of a p-modular L-intersecting k-uniform family of sets; (Hadwiger-Nelson problem in high dimensions, Borsuk Conjecture in high dimensions, Constructive Ramsey graphs).
  Additive Combinatorics Problems (solved using Combinatorial Nullstellensatz): Cauchy-Davenport Theorem on the size of A+B in terms of sizes of A and B subsets of Z_p, Erdos-Heilbronn conjecture for size of sum of distinct elements in A modulo p.
  Graph Theory Problems (solved using Combinatorial Nullstellensatz): Alon-Friedland-Kalai theorem for finding a p-regular subgraph, Shirazi-Verstraete result on finding a subgraph with degree of each vertex guaranteed to be outside a forbidden set, list coloring of graphs, in particular, bipartite planar graphs.
  Approximate Counting Problems (solved using MCMC).
  


• Methods and Connections:
  Probability Theory. Probability and Union Bound; Expectation; Alteration method; Convexity; Estimates on Binomial coefficients and polynomials; AM-GM and Jensen's inequality; Markov Inequality; Alteration method; Dependency graph and various forms of Lovasz Local Lemma; First Moment method; Second Moment method and Chebyshev Inequality; Chernoff-Hoeffding deviation bounds and Concentration of Measure;
  Information Theory. Entropy; Binary Entropy; Conditional Entropy; Uniformity, Subadditivity, Chain rule, and related properties; Shearer's Entropy Lemma.
  Linear Algebra. Multivariable polynomial encoding, Dimension of multivariable polynomial vector spaces over R and finite fields, principle of Multilinearization of polynomials (over finite field of order 2), Blokhius's technique for improving the dimension bound, Frankl-Wilson L-intersecting family theorems as a tool.
  Polynomial Algebra. Combinatorial Nullstellensatz and the polynomial method, Alon-Tarsi Theorem and the orientation method.
  Markov chain Monte Carlo.
  

• Week #1 : 2 Lectures.
  
  • Topics: Discussion of course structure and purpose. Review of elementary probability theory with an application to Randomized algorithm (Monte Carlo Algo) for verifying matrix multiplication efficiently. Probabilistic Method. Finding a bipartite subgraph with at least half the edges.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the classroom. Notes#1.
  • Homework:
    HW#1 will assigned next week after we have one more lecture completed.
    Till then carefully review Probability theory and Graph theory using the suggested topics and textbooks listed in Course Information Handout.
• Week #2 : 2 Lectures.
  
  • Topics: Basic Ramsey number, Lower bounds on R(k,k) using existential argument and its improvement using the alteration method, Explicit bounds using estimates for binomial coefficients, factorials, etc., Lower bound vs.upper bound for R(k,k), Hypergraph coloring, Property B, m(k) and its values for k=2 and k=3, Fano plane, Lower bound and Upper bound on m(k), Use of convexity and Jensen's inequality, List coloring, Relation between m(k) and non-k-choosable bipartite graphs, the list chromatic number of K_{n,n}.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#2.
  • Homework:
    Follow the detailed instructions and rules for HWs given in the Course Information Handout.
    Homework #1 Due Thursday, 2/2. Extended to Tuesday, 2/7, due to Quals.
    HW solutions distributed in class.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.
• Week #3 : 2 Lectures.
  
  • Topics: Intersecting family of sets, Erdos-Ko-Rado theorem and its probabilistic proof. A more formal write-up of the Erdos-Ko-Rado theorem proof. Using expectation to find a tournament with many Hamiltonian paths, Caro-Wei theorem, its complementary form and application to Turan's theorem, Addition/Deletion method for finding a small dominating set in a graph in terms of n and minimum degree. Markov inequality for non-negative discrete random variables, Erdos-Renyi Random graphs, Existence of a graph with high girth and high chromatic number.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#3.
  • Homework:
    Finish the HW assigned last week. Continue to review Probability theory and Graph theory using the suggested topics and textbooks listed in Course Information Handout and ask for help if you are unsure or have questions.
• Week #4 : 2 Lectures.
  
  • Topics: Markov inequality for non-negative discrete random variables, Erdos-Renyi Random graphs, Existence of a graph with high girth and high chromatic number. Introduction to Lovasz Local Lemma, Event mutually independent of a collection of other events, Dependency graph, Mutual Independence Principle, (Symmetric) Lovasz Local Lemma and its application to improve the lower bound for diagonal Ramsey numbers R(k,k). General Lovasz Local Lemma, its proof and application to Symmetric Local Lemma; Comments on Lopsided Local Lemma and its application to Latin transversals of arrays; Comments on Algorithmic LLL, Moser-Tardos LLL algorithm (Las Vegas vs Monte Carlo algorithms), Applying LLL to the hypergraph coloring problem and its comparison to the basic result obtained earlier using the union bound, Subtlety of defining "bad events" in: Finding an independent transversal in a partitioned graph.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#4.
  • Homework:
    Follow the detailed instructions and rules for HWs given in the Course Information Handout.
    Homework #2 Due Thursday, 2/16.
    HW solutions distributed in class.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.
• Weeks #5 and #6 : 4 Lectures.
  
  • Topics: Subtlety of defining "bad events" in: Finding an independent transversal in a partitioned graph; List coloring a graph with lists of limited overlap (bounded repetitions of a color in a neighborhood). Asymmetric form of LLL and its proof from the general form, example in hypergraph 2-coloring where symmetric LLL doesn't apply but asymmteric LLL does. Frugal proper colorings of graphs and bounding the number of colors in a frugal coloring using asymmetric LLL.
    "almost always"/ "asymptotically almost always"/ "with high probability", Binomial random graph model, Uniform random graph model, Graph property, Convex and Monotone properties, Conditions under which convex property almost always holds in G(n,p) iff it holds in G(n,m) (no proof), For fixed p, almost every G(n,p) is connected. Threshold function for a monotone graph property, Variance, Covariance, Chebyshev's inequality, Second Moment Method using Markov and Chebyshev, Threshold for appearance of a triangle in G(n,p), Balanced graphs - definition and examples, Threshold for appearance of a fixed balanced subgraph in G(n,p), Threshold for appearance of non-balanced subgraph in terms of maximum density, Why threshold for appearance non-balanced subgraph is not the same as the threshold for a balanced subgraph with same number of vertices and edges.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#5. Notes#6.
  • Homework:
    Follow the detailed instructions and rules for HWs given in the Course Information Handout.
    Homework #3 Due Thursday, 3/2.
    HW solutions distributed in class.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.
• Week #7 : 2 Lectures.
  
  • Topics: Some examples and conjectures for sharp thresholds and suggestions fro further reading. Application of Second Moment method (Chebyshev's inequality) in Number Theory (Hardy-Ramanujan theorem for number of prime factors) and Analysis (Weierstrass Approximation Theorem). What is concentration of measure phenomenon?, various methods to derive large deviation bounds, Bernstein's idea to use Moment generating function, how it generalizes to Chernoff and Chernoff-Hoeffding inequalities and their variants. An exponentially decaying bound for Chernoff and Chernoff-Hoeffding, CH-bounds for independent random variables on general and distinct intervals, CH-bound with variance, Applications of CH-bounds: Sampling multidimensional data and a weak version of VC-dimension bound, discrepancy of a set system/hypergraph, Any two vectors picked from unit sphere in Euclidean space are almost orthogonal, Low-distortion embedding of data points in low dimensions and the Johnson-Lindentrauss flattening lemma, Hajos and Hadwiger's conjectures in graph theory, almost all graphs are counterexamples to Hajos' conjecture.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#7.
  • Homework:
    Finish the HW assigned last week.
    Read supplemental topics, etc. to make a short list for your project topic. Then discuss with me.
• Week #8 : 2 Lectures.
  
  • Topics: Hajos and Hadwiger's conjectures in graph theory, almost all graphs are counterexamples to Hajos' conjecture.
    Shannon Entropy. Entropy of a random variable with finite range, Characterizing properties of the Entropy function, Binary entropy function, Interpretation of entropy as information content, Jensen's Inequality, Uniform bound for Entropy and its connection with counting. Properties of Entropy - Subadditivity, Monotonicity, Conditional Entropy, Chain rule, Dropping Conditioning; Discrete version of Loomis-Whitney Isoperimetric Inequality; Binary Entropy and Binomial coefficients.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#8. Notes#9.
  • Homework:
    Follow the detailed instructions and rules for HWs given in the Course Information Handout.
    Homework #4 Due Tuesday, 3/21.
    HW solutions distributed in class.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.
• Week #9 and #10 : 2 Lectures and 2 Spring break holidays.
  
  • Topics: Properties of Entropy - Subadditivity, Monotonicity, Conditional Entropy, Chain rule, Dropping Conditioning; Discrete version of Loomis-Whitney Isoperimetric Inequality; Binary Entropy and Binomial coefficients; Bounding the size of a set system in terms of binary entropy; Shearer's Lemma and Combinatorial version of Shearer's Lemma; Bounding the size of an Intersecting family with pairwise intersection containing consecutive numbers; Bounding the family of graphs with pairwise intersection containing a triangle as progress towards Simonovits-Sos conjecture. Bounding the maximum number of copies of a fixed hypergraph H in the family of all hypergraphs with l edges in terms of the fractional cover number of H, discussion of various definitions of "subhypergraphs", independent sets and edge covers in hypergraphs, A brief discussion of - Linear Optimization, duality theory, 0-1 integer program, LP relaxation of an 0-1 integer program, fractional cover number and fractional independence number of a hypergraph as dual LP relaxations of their 0-1 integer programs. [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#10.
  • Homework:
    Follow the detailed instructions and rules for HWs given in the Course Information Handout.
    Homework #5 Due Thursday, 3/30
    HW solutions distributed in class.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.
• Weeks #11 and #12 : 4 Lectures.
  
  • Topics: Proof for bounding N(H,l)= the maximum number of copies of a fixed hypergraph H in the family of all hypergraphs with l edges: upper bound using fractional cover number, lower bound using a blow-up of H and fractional independence number. Enumerative problems for Homomorphisms of graphs, Kahn's sharp bound on the number of independent sets in a regular bipartite graph.
    Linear Algebra Method. Eventown and Oddtown, using dot product of incidence vectors of sets to show their independence over the finite field of order 2, the diagonal criterion and the trianglular criterion for linear independence of polynomials, k-distance set, a bound on the size of a 2-distance set in R^n and how to improve this bound, the outline of the linear algebra/ dimension/ polynomial method and its variation. L-intersecting family of sets, Frankl-Wilson bound on the maximum size of an L-intersecting family on [n] with |L|=s, Multilinear Reduction principle, Frankl-Wilson bound on the maximum size of an L-intersecting family on [n] with |L|=s, Modular Frankl-Wilson: p-modular L-intersecting family of sets and a bound on its size, Applications of Frankl-Wilson Theorems to Ray-Chaudhuri-Wilson Theorem, Generalized Fisher Inequality, Chromatic Number of the Unit-distance graph in R^d, Counterexample to Borsuk conjecture (no proof), Constructive Ramsey graphs; Frankl-Furedi conjecture for L-intersecting family with L without 0, Snevily's Theorem for size of p-modular L-intersecting family, Ray-Chaudhuri-Wilson Theorem for size of L-intersecting k-uniform family of sets.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#11. Notes#12.
  • Homework:
    Follow the detailed instructions and rules for HWs given in the Course Information Handout.
    Homework #6 Due Thursday, 4/20
    HW solutions distributed in class.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.
• Weeks #13 and #14 : 3 Lectures and 1 Exam.
  
  • Topics: Combinatorial Nullstellensatz. Fundamental Theorem of Algebra, Number of roots of a non-zero multivariable polynomial, (Total) degree of a polynomial, Combinatorial Nullstellensatz, Comparison of the generalization of Fundamental theorem of Algebra and the Combinatorial Nullstellenstz, Cauchy-Davenport Theorem on the size of A+B in terms of sizes of A and B subsets of Z_p, Erdos-Heilbronn conjecture for size of sum of distinct elements in A modulo p and its proof, Applications of C-N to graph theory - Alon-Friedland-Kalai theorem for finding a p-regular subgraph. Finding subgraphs with restricted degree sets, Shirazi-Verstraete result on finding a subgraph with degree of each vertex guaranteed to be outside a forbidden set. [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#13. Notes#14.
  • Homework:
    Follow the detailed instructions and rules for HWs given in the Course Information Handout.
    Homework #7 Due Thursday, 4/27
    Homework solutions to be distributed in class.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.
• Week #15 : 2 Lectures.
  
  • Topics: Distribution and Discussion of Exam#1.
    Proof of the Combinatorial Nullstellenstz using the multivariable generalization of Fundamental theorem of Algebra. Graph polynomial and colorings, List coloring using the graph polynomial, Alon-Tarsi Condition as a corollary to the CN applied to the graph polynomial, Application of A-T to cycles, and bipartite planar graphs, Alon-Tarsi number of a graph.
    Overview of Markov Chain Monte Carlo. Monte Carlo principle and combinatorial counting. Fundamentals of Homogenous Discrete Time Markov Chains: Definition, Transition Matrix, Transition Graph, Ergodicity - Irreducible and Aperiodic, Stationary Distributions, Stationary Distribution for Ergodic MC, Reversible Distribution. Lemma for Designing a HDTMC with uniform distribution as the stationary distribution.
    [Comment: See below for some relevant supplemental readings.]
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#14. Notes#15.
  • Homework:
    Finish previously assigned HW#7.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.
• Week #16 : 2 Lectures.
  
  • Topics: Overview of Markov Chain Monte Carlo. Monte Carlo principle and combinatorial counting. Fundamentals of Homogenous Discrete Time Markov Chains: Definition, Transition Matrix, Transition Graph, Ergodicity - Irreducible and Aperiodic, Stationary Distributions, Stationary Distribution for Ergodic MC, Reversible Distribution. Lemma for Designing a HDTMC with uniform distribution as the stationary distribution. Two methods for creating HDMTC - Gibbs sampler and Metropolis process; Gibbs sampler Markov chain for sampling Independent sets, and its ergodicity/ reversibility/ stationary distribution. Markov Chain for sampling q-colorings. TV Distance between distributions and mixing time of MC, Definition of Relation between exact counting, exact sampling, approximate sampling (FPAUS) and approximate counting (FPRAS) (equivalence for reducible problems; without proof). How to set up a FPRAS using a FPAUS- example from counting proper q-colorings of a Graph. Overview of the whole MCMC paradigm leading to mixing time analysis. Eigenvalues of the Transition matrix of an Ergodic and reversible MC, Cheeger and Spectral bounds on mixing time, Conductance and min-cut - bounds on second largest eigenvalue.
    [Comment: See below for some relevant supplemental readings.]
    Student project presentations.
  • Lecture Notes: Outlines of lectures without all the details as discussed in the live classroom. Notes#15.
  • Homework:
    Submit your project report by Saturday, 4/29.
    Questions? Ask on Campuswire. Or, send email. Plus Office hours as announced above.

• For textbooks for each topic, refer to the course information sheet, and ask me for specific recommendations and advice based on the topic and your interests. Here I will mostly list relevant research papers and problems that can serve as starting points to learn more.
• Max-Cut at wikipedia gives a good overview of the problem and relevant references for better bounds than what we proved in class, the best approximation algorithms, and connections to statistical physics, amongst other things.
• Regarding Ramsey problems.
  A short essay I wrote for a general audience that uses Ramsey theory as an example.
  If you want to learn more about Ramsey Theory systematically, the following books are easy to read at an undergrad level: An Introduction to Ramsey Theory: Fast Functions, Infinity, and Metamathematics and Ramsey Theory on the Integers; while Rudiments of Ramsey Theory: Second Edition is nice introductory survey.
  A collection of recent articles on Ramsey theory related results in Quanta magazine.
  Survey on small Ramsey numbers.
  Survey on Applications of Ramsey theory.
  An overview of Euclidean Ramsey Theory, which I find fascinating.
• Regarding Turan-type problems.
  Wikipedia article gives an overview of five different proofs of Turan's theorem (I strongly recommend buying the book "Proofs from the BOOK" by Aigner and Ziegler for these and many many more beautiful mathematical arguments; its a book for a lifetime of enjoyment).
  Survey on Turan-type problems on graphs.
  Survey on Turan-type problems on Hypergraphs.
  Survey on Turan-type problems on set systems in the language of matrices.
• Regarding the Probabilistic Method overall, to learn more start with the Alon and Spencer's classic textbook. Please discuss with me if you want specific suggestions of topics, or a study plan, following what cover in class.
• Regarding Random graphs, Random graph and network models, and their properties, I recommend the following three textbooks to dive deeper into these topics:
  Frieze, Karonski, Introduction to Random Graphs.
  Janson, Rucinski, Luczak, Random Graphs.
  van der Hofstad, Random Graphs and Complex Networks.
• A couple of classic papers by Michel Talagrand on concentration of measure and probability.
  A new look at independence.
  Concentration of measure and isoperimetric inequalities in product spaces
• The seminal paper of Shannon that introduced Information Entropy and much more.
  Also look up Mutual Information; Shannon capacity of a (confusability) graph, Lovasz Theta function (proof for 5-cycle in the chapter on communicating without errors in Proofs from THE BOOK.
• Regarding Bregman's bound on the permanent of a 0-1 matrix (and equivalently the number of perfect matchings in a bipartite graph). Read Radhakrishnan's Entropy based proof together with the connection between perfect matchings and the permanent.
• Regarding the connection between Entropy and classical inequalities like AM-GM, Cauchy-Schwartz, Holder, etc., (HW#5 problem#5) read the paper on Hypergraphs, Entropy and Inequalities.
• Regarding the Simonovits-Sos conjecture for triangle-intersecting family of graphs. You can look up the original paper by Chung et al. at Fan Chung, R.L. Graham, P. Frankl, and J.B. Shearer, J. Combin. Theory Ser. (A) 43 (1986), no. 1, 23--37. You can see that the proof they give in the paper is for n even. How can we modify the same argument to make it work for n odd?
  The Simonovits-Sos conjecture (along with some more general results) has been proved in David Ellis, Yuval,Filmus, and Ehud Friedgut, J of European Mathematical Society 14:3, 2012, 841–885 The techniques used are Fourier-analytic in nature.
• Regarding the problem of counting all homomorphisms, |Hom(G,H)|. See Galvin and Tetali's 2004 paper extending Kahn's Entropy based arguments.
• Regarding Alon's conjecture about counting the number of independent sets in a regular graph. See Yufei Zhao's extension of Kahn's result from bipartite regular graphs to all regular graphs.
• See a subtle use of blow-up of a graph to give a sharp construction for Long local search for a large bipartite subgraph.
• Here is an interesting simulation problem for you to think about. If you go through to the end, you will find a connection to Entropy!
  The overall question is "How can we simulate an unbiased coin flip using a biased coin? And what is the most efficient way of doing this?"
  Question 1: You are given a biased coin that comes up heads with some probability greater than 1/2. Can you come up with a procedure using this coin, so that the outcome of this procedure allows us to simulate an unbiased coin toss?
  Question 2: TBA. Think about Question 1 first and then ask me for the next question.
  Question 3: TBA. Think about Question 1-2 first.
  Question 4: TBA. Think about Question 1-3 first.
  Question 5: TBA. Think about Question 1-4 first.
  Question 6: TBA. Think about Question 1-5 first.
  
• Regarding the Linear Algebra Method.
  Start with the seminal Alon, Babai, Suzuki paper from 1991, and then look up the papers that cite it.
  Another worthwhile read is Snevily's 1994 paper.
  Also see this proof of Frankl-Furedi conjecture along the lines of our proof of Snevily's theorem: by Sankar and Vishwanathan 1999.
• Regarding the Hadwiger-Nelson unit-distance graph problem,
  see a basic introduction, and an overview of the recent improvement in the lower bound to 5.
  You can read the mathematical details of this improvement in De Grey's 2018 paper.
• How is the answer to the Chromatic number of the plane dependent on the which axioms we assume are true?
  See this fascinating paper by Shelah and Soifer from 2003.
  Reverse Mathematics is the field within mathematical logic that studies which axioms are essential for the proof of a theorem. Starting from a base axiom system that is strong enough to develop the definitions underlying a theory but not strong enough to prove the theory itself, we look for a minimal set of axioms to add to the base axioms so that theorem can be proved. In a sense, this shows the equivalence of the extended axiom system and the theorem (one implication is the usual proof of a theorem using axioms, while the other implication is the identification of axioms necessary for the proof of the theorem). If this intrigues you, then look up the book: J. Stillwell (2018), Reverse Mathematics, proofs from the inside out.
• In Math 553 you saw a bit of spectral methods (methods based on eigenvalues and vectors of the matrices associated with a graph, such as the adjacency matrix and the Laplacian) and their applications to chromatic number, etc., but we won't have time do more of those methods in this course.
  However, here is a short, elegant and very famous application of these methods from 2019, that you can read and understand in 30 minutes, Hao Huang's resolution of the Sensitivity conjecture and a general overview of why this is such a big deal!
  How about a couple of elementary graph theory problems that can be solved elegantly using appropriate matrices and their properties:
  (1) Prove that the (45) edges of the complete graph on 10 vertices can not be covered by the (15 each) edges of three Petersen graphs. Tedious case analysis is not an acceptable proof here.
  (2) Does a given graph G on n vertices contain a triangle? We can check this by procedure that checks all possible triples for edges, for a total of (n choose 3) i.e. O(n^3) steps. Can you give a much faster procedure (say with O(n^(2.37)) steps)?
• For the extensions of the ideas underlying Combinatorial Nullstellensatz, see Terry Tao's Survey article on the general polynomial method.
  You can follow this with looking through Guth's Polynomial Methods in Combinatorics which describes applications of algebraic geometry to combinatorial problems, as distinct from CN.
• To learn more about the Alon-Tarsi number look up AT number of Cartesian products of graphs, and AT number of a planar graph which generalizes Thomassen's proof for list chromatic number of planar graphs, followed by the related paper on AT number of planar graph minus a matching
• What can we do if Alon-Tarsi is not applicable to a coloring problem? See how we can apply CN directly to such a coloring problem in CN for DP-coloring of graphs
• Interested in the History of the MCMC idea - look up The Evolution of Markov Chain Monte Carlo Methods and hear about beginnings of MCMC mixing time theory in the first part of this interview with Persi Diaconis. (If you don't know who Persi Diaconis is, then look up this.)
• Diaconis writes about MCMC revolution in applied math
• One of the beautiful applications of the MCMC idea Dyer, Frieze and Kannan's Approximating the volume of a convex body.
• Curious about connections between Physics and Combinatorics/Grpah Theory, look up this survey.

• Wikipedia: Combinatorics
• Mathpages: Combinatorics
• Mathworld : Combinatorics Dictionary
• Glossary of terms in combinatorics
• Wikipedia: Graph Theory
• Mathworld : Graph Theory Dictionary
• Dynamic Surveys in Combinatorics
• Combinatorial Software and Databases
• Combinatorial Object Server


• Journals (etc.) in Discrete Mathematics and related fields