Applications of Measure, Integration and Banach Spaces to Combinatorics - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T21:14:02Z http://mathoverflow.net/feeds/question/36824 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics Applications of Measure, Integration and Banach Spaces to Combinatorics Gordon Craig 2010-08-27T00:30:12Z 2010-08-28T22:28:52Z <p>I'm going to be teaching a Master's level analysis course(measure theory, Lebesgue integration, Banach and Hilbert spaces, and if there's time, some spectral or PDE stuff) in the fall. My problem is that while roughly half of the students will actually be using analysis in their further work, the rest of them are going to specialize in combinatorics, and while I want to convince them that they should know this stuff as part of their general mathematical culture, I'd also like to try to connect it to what they'll be working on. So far, I've found survey articles on applications of Ramsey theory to Banach spaces, and applications of harmonic analysis to additive number theory, but I was wondering whether anyone had some suggestions of references for applications of classical analysis to old-fashioned, classical combinatorics. (I realise that this is a pretty tall order, as on many levels, these two fields are at antipodes.) </p> <p>PS: I'm planning on talking about probability measures on discrete spaces, but I don't think that will convince the combinatorics people that hacking through the construction of the Lebesgue integral could have a practical payoff someday for them.</p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36826#36826 Answer by Gerry Myerson for Applications of Measure, Integration and Banach Spaces to Combinatorics Gerry Myerson 2010-08-27T00:42:51Z 2010-08-27T00:42:51Z <p>Here's a theorem of Weyl: Let $a_1,a_2,\dots$ be a sequence of distinct integers. Then the sequence $a_1x,a_2x,\dots$ is uniformly distributed modulo 1 for almost all real numbers $x$. The theory of uniform distribution of sequences, which you may or may not consider to be combinatorics, relies heavily on estimation of exponential sums, and thus on classical analysis. </p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36828#36828 Answer by Steve Huntsman for Applications of Measure, Integration and Banach Spaces to Combinatorics Steve Huntsman 2010-08-27T00:59:24Z 2010-08-27T00:59:24Z <p>Probability is a thread that can tie analysis and combinatorics together. In particular, Markov processes on various spaces enjoying some nice combinatorial properties have a good many applications (and can also introduce harmonic analysis representation theory of finite groups). A couple of books that look interesting in regard to these sorts of overlaps are <a href="http://books.google.com/books?id=V2BS_Dmp0XoC" rel="nofollow">here</a> and <a href="http://books.google.com/books?id=3trud4weQ3AC" rel="nofollow">here</a>. It is likely that with a bit of browsing you can find better examples. </p> <p>Another related area that may provide fertile ground is statistical physics, though this may require more background than you can afford to provide. On the other hand, the thermodynamic limit is a subtle analytic beast that requires a great deal of care and all the theory they could handle in such a course.</p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36836#36836 Answer by anonnn for Applications of Measure, Integration and Banach Spaces to Combinatorics anonnn 2010-08-27T03:39:18Z 2010-08-27T03:39:18Z <p>Give Flajolet's book "Analytic Combinatorics" a shot. Although I'm still not sure how you would insert a generating function and a saddle-point analysis into your course ...</p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36843#36843 Answer by John Jiang for Applications of Measure, Integration and Banach Spaces to Combinatorics John Jiang 2010-08-27T05:24:00Z 2010-08-27T05:24:00Z <p>Markov chains on symmetric groups converging to various distributions other than uniform provide a fertile ground for the marriage between modern combinatorics such as Macdonald polynomials and hard analysis using ratio test etc. For starters one could look at Diaconis and Shashahani's proof of cutoff convergence rate of random transposition walk. It involves looking at Schur polynomials which encode the eigenfunctions of the markov chain. If one looks at walks converging to so-called ewens sampling measure, or jack measure, then jack polynomials replace Schur polynomials as the relevant objects. Recent Diaconis and Ram have studied an auxilliary variable algorithm markov chain converging to a two parameter family of distributions on the symmetric group that use heavily the theory of Macdonald polynomials. This last one will probably be in print in a few months time.</p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36846#36846 Answer by Pietro Majer for Applications of Measure, Integration and Banach Spaces to Combinatorics Pietro Majer 2010-08-27T06:44:05Z 2010-08-27T06:49:32Z <p>Here's a nice application of measure theory, precisely, of the the theory of orthogonal polynomials, to a classic problem of counting derangements. </p> <p>Problem: <em>How many anagrams with no fixed letters of a given word are there?</em></p> <p>For instance, for a word made of only two different letters, say $n$ letters $A$ and $m$ letters $B$, the answer is, of course, 1 or 0 according whether $n = m$ or not, for the only way to form an anagram without fixed letters is, exchanging all the $A$ with $B$, and this is possible if and only if $n=m$. </p> <p>In the general case, for a word with $n_1$ letters $X_1$, $n_2$ letters $X_2$, ..., $n_r$ letters $X_r$, you will find (after the proper use of the inclusion-exclusion formula) that the answer has the form of a sum of products, that looks very much like the expansion of a product of sums, yet it is not. It is not, exactly because of the presence of terms $k!$, that would formally make a true expansion of a product of sums, if only they where replaced by corresponding terms $x^k$. This suggests to express them with the Eulerian integral $k!=\int_0^\infty x^ke^{-x}dx$, with the effect that the said expression becomes an integral (with the weight $e^{-x}$) of a true product of sums: precisely,</p> <p>$$\int_0^\infty P_{n_1} (x) P_{n_2}(x)\cdots P_{n_r}(x)\, e^{-x}\, dx,$$</p> <p>with a certain sequence of polynomials $P_n$, where $P_n$, has degree $n$. But the above answer for the case $r=2$ gives an orthogonality relation, whence the $P_n$, are the Laguerre polynomials, (up to a sign that is easily decided). Note that in the case with no repeated letters, all $n_i=1$, one finds again the more popular enumeration of permutations without fixed points.</p> <p>Disclaimer: I partially copied this from wikipedia; it's me who wrote it there. The above is my personal amateur's solution, and possibly differs slightly from the vulgata. An on-line reference, with generalizations of the problem, is e.g.</p> <p><em>Weighted derangements and Laguerre polynomials</em>, D.Foata and D.Zeilberger, SIAM J. Discrete Math. 1 (1988) 425-433.</p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36922#36922 Answer by Greg Graviton for Applications of Measure, Integration and Banach Spaces to Combinatorics Greg Graviton 2010-08-27T20:39:10Z 2010-08-27T20:39:10Z <p>If you count additive number theory as combinatorics, there is Fürstenberg's measure theoretic proof of <a href="http://www.scholarpedia.org/article/Szemer%C3%A9di%27s_Theorem" rel="nofollow">Szemerédi's theorem</a> ("Any 'positive fraction' of the natural numbers contains arithmetic progressions of any length."). Presenting the proof is certainly not possible – that's the subject of an entirely different course – but you could do some small talk and prove <em>Poincaré's recurrence theorem</em> instead, which is a trivial special case of Szemerédi's theorem.</p> <p>In that light, another, if elementary, measure theoretic fact is <a href="http://en.wikipedia.org/wiki/Minkowski%27s_theorem" rel="nofollow">Minkowski's theorem</a> about lattice points (vectors with integer coordinates) in convex subsets of $\mathbb{R}^n$. I vaguely remember that it can be used in the proof that every natural number is a sum of four squares (can it?), which could be labeled "combinatorics" with heavy squinting. Since this is about convex sets, there is some connection to norms and functional analysis, too (<a href="http://en.wikipedia.org/wiki/Geometry_of_numbers" rel="nofollow">"Geometry of numbers"</a>).</p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36960#36960 Answer by Tony Huynh for Applications of Measure, Integration and Banach Spaces to Combinatorics Tony Huynh 2010-08-28T11:04:46Z 2010-08-28T11:04:46Z <p>This isn't exactly what you are looking for, but I highly recommend <em>Using the Borsuk-Ulam theorem</em> by Matousek. The Borsuk-Ulam theorem states that any continuous map $f:S^n \to \mathbb{R}^n$ must map some pair of antipodal points to the same point. Surprisingly, this theorem has many applications in combinatorics, including for example graph colouring. </p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36961#36961 Answer by Greg Graviton for Applications of Measure, Integration and Banach Spaces to Combinatorics Greg Graviton 2010-08-28T11:12:36Z 2010-08-28T13:51:55Z <p>There is a direct connection between <a href="http://en.wikipedia.org/wiki/Hall%27s_theorem" rel="nofollow">Hall's marriage theorem</a> (combinatorics) and <a href="http://en.wikipedia.org/wiki/Linear_programming" rel="nofollow">Linear programming</a> (linear inequalities). Of course, the latter is about finite dimensions, but prominently features duality and convexity, two important tools in functional analysis.</p> <p>To elaborate on Hall's marriage theorem, consider the following picture:</p> <p><img src="http://i38.tinypic.com/314tqi0.jpg" alt="Hall's marriage theorem"></p> <p>The dots on the left represent men, the dots on the right represent women and the connecting lines indicate whether this man and woman like each other. The question is whether it is possible to arrange simultaneous, monogamous marriages such that everyone marries someone he or she likes. Hall's theorem gives a necessary and sufficient condition for that: for every subset $M$ of men, the set $$W = \lbrace w \text{ woman}\ |\ w \text{ likes } m, m\in M\rbrace$$ of women liked by these men must fulfill $|M| \le |W|$.</p> <p>This problem is also known as <a href="http://en.wikipedia.org/wiki/Matching_%28graph_theory%29#Maximum_matchings_in_bipartite_graphs" rel="nofollow">perfect matching in a bipartite graph</a>. It turns out that it is equivalent to a <a href="http://en.wikipedia.org/wiki/Maximum_flow_problem" rel="nofollow">maximum flow problem</a>, for which we have the <a href="http://en.wikipedia.org/wiki/Max-flow_min-cut_theorem" rel="nofollow">min-cut max-flow theorem</a>, which is equivalent to the <a href="http://en.wikipedia.org/wiki/Linear_programming#Duality" rel="nofollow">duality theorem</a> for linear programming. The details of this equivalence are not very difficult and can be found here: <a href="http://web.mit.edu/k_lai/www/6.046/r11-handout.pdf" rel="nofollow">http://web.mit.edu/k_lai/www/6.046/r11-handout.pdf</a> .</p> <p>Unfortunately, I haven't found a ready-made proof of Hall's theorem from the duality theorem, you'd have to work that out yourself for your lecture. The intermediate reformulations are bit long, I don't think it's worth spending more than a cursory remark on them; I'd jump right to the reformulation as linear program.</p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/36963#36963 Answer by Paolo Ketter-Umbanza for Applications of Measure, Integration and Banach Spaces to Combinatorics Paolo Ketter-Umbanza 2010-08-28T12:18:39Z 2010-08-28T12:18:39Z <p>Fourier analytic methods can sometimes be useful to proof combinatorical results. A celebrated result which uses fourier analysis on the boolean cube is the KKL (Kahn-Kalai-Linial) -Theorem about the influence of a variable in a Boolean function. <a href="http://www.cs.huji.ac.il/~analyt/" rel="nofollow">Here</a> are lecture notes which cover that subject.<br> As someone else already mentioned, metric embeddings are an interesting topic where analysis and combinatorics intersect. There is a good survey by <a href="http://kam.mff.cuni.cz/~matousek/" rel="nofollow">Matousek</a> on the subject.<br> Finally I would like to remark that a good method to gain the interest of combinatorialists is to give them interesting problems to think about. So a great analysis book for combinatorialists -although a bit too advanced for your course I guess- is Halmos "A Hilbert Space Problem Book"</p> http://mathoverflow.net/questions/36824/applications-of-measure-integration-and-banach-spaces-to-combinatorics/37003#37003 Answer by Asaf for Applications of Measure, Integration and Banach Spaces to Combinatorics Asaf 2010-08-28T22:28:52Z 2010-08-28T22:28:52Z <p>Fourier Analysis is a major tool in Arithmetic combinatorics (see Tao and Vu's book, they have a chapter named L^p theory, i.e. the theorem of Bourgain's about "long APs in sumsets").</p> <p>Moreover, one can show applications in Number Theory and Summability theory (those have combinatorial uses), for example, Hardy-Littlewood's proof of the Prime Number Theorem (based on their Tauberain theorem (or Landau's, they are essentialy the same for this perpose)).</p> <p>If you want to dwelve into Ergodic Theory, there are a lot of uses (as one suggested here, Hillel's proof of Szemeradi's theorem, a generalization concerning forms in the plane (by Furstenberg-Katzenelson-Weiss), there are even previous works, in topological dynamics, of proving for example the van-der-warden theorem. And if one wants to go in other direction, Weil's equidistribution theorem, works of Dani and Margulis about the Oppenheim conjecture, and general work in the geometry of numbers by recent fields medalist Lindenstrauss), but covering all those subjects would require about 2 courses (Ergodic Theory and Homogenuous dynamics, prehepes even a course in topological dynamics).</p> <p>If you want to go purely combinatorial, recently there had been a lot of interest in expanders (see the works of Bourgain and Varju (Princeton)). You can show for example Margulis' construction (altough it will require some Lie groups and Rep. theory).</p> <p>In a totally other direction, you can speak of embedding into metric spaces (that stuff has some application in CS), for example, the Johnson-Lindenstrauss Lemma (this Lindenstrauss is the father of the fields medalist).</p>