DOCSLIB.ORG

Profiles of Large Combinatorial Structures Michael T

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Profiles of Large Combinatorial Structures Michael T View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by ScholarlyCommons@Penn University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations 5-2010 Profiles of Large Combinatorial Structures Michael T. Lugo University of Pennsylvania, [email protected] Follow this and additional works at: http://repository.upenn.edu/edissertations Part of the Discrete Mathematics and Combinatorics Commons, and the Probability Commons Recommended Citation Lugo, Michael T., "Profiles of Large Combinatorial Structures" (2010). Publicly Accessible Penn Dissertations. 127. http://repository.upenn.edu/edissertations/127 This paper is posted at ScholarlyCommons. http://repository.upenn.edu/edissertations/127 For more information, please contact [email protected]. Profiles of Large Combinatorial Structures Abstract We derive limit laws for random combinatorial structures using singularity analysis of generating functions. We begin with a study of the Boltzmann samplers of Flajolet and collaborators, a useful method for generating large discrete structures at random which is useful both for providing intuition and conjecture and as a possible proof technique. We then apply generating functions and Boltzmann samplers to three main classes of objects: permutations with weighted cycles, involutions, and integer partitions. Random permutations in which each cycle carries a multiplicative weight $\sigma$ have probability $(1-\gamma)^\sigma$ of having a random element be in a cycle of length longer than $\gamma n$; this limit law also holds for cycles carrying multiplicative weights depending on their length and averaging $\sigma$. Such permutations have number of cycles asymptotically normally distributed with mean and variance $\sim \sigma \log n$. For permutations with weights $\sigma_k = 1/k$ or $\sigma_k = k$, other limit laws are found; the prior have finitely many cycles in expectation, the latter around $\sqrt{n}$. Compositions of uniformly chosen involutions of $[n]$, on the other hand, have about $\sqrt{n}$ cycles on average. These can be modeled as modified 2-regular graphs. A composition of two random involutions in $S_n$ typically has about $n^{1/2}$ cycles, characteristically of length $n^{1/2}$. The umben r of factorizations of a random permutation into two involutions appears to be asymptotically lognormally distributed, which we prove for a closely related probabilistic model. We also consider connections to pattern avoidance, in particular to the distribution of the number of inversions in involutions. Last, we consider integer partitions. Various results on the shape of random partitions are simple to prove in the Boltzmann model. We give a (conjecturally tight) asymptotic bound on the number of partitions $p_M(n)$ in which all part multiplicities lie in some fixed set $n$, and explore when that asymptotic form satisfies $\log p_M(n) \sim \pi\sqrt{Cn}$ for rational $C$. Finally we give probabilistic interpretations of various pairs of partition identities and study the Boltzmann model of a family of random objects interpolating between partitions and overpartitions. Degree Type Dissertation Degree Name Doctor of Philosophy (PhD) Graduate Group Mathematics First Advisor Robin Pemantle Keywords generating functions, random permutations, Boltzmann samplers, class multiplication problem, singularity analysis, integer partitions This dissertation is available at ScholarlyCommons: http://repository.upenn.edu/edissertations/127 Subject Categories Discrete Mathematics and Combinatorics | Probability This dissertation is available at ScholarlyCommons: http://repository.upenn.edu/edissertations/127 PROFILES OF LARGE COMBINATORIAL STRUCTURES Michael T. Lugo A DISSERTATION in Mathematics Presented to the Faculties of the University of Pennsylvania in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy 2010 Supervisor of Dissertation Robin Pemantle, Merriam Term Professor of Mathematics Graduate Group Chairperson Tony Pantev, Professor of Mathematics Dissertation Committee: Jason Bandlow, Lecturer of Mathematics Philip Gressman, Assistant Professor of Mathematics Robin Pemantle, Merriam Term Professor of Mathematics Acknowledgements First I must thank Robin Pemantle, my advisor. I have greatly enjoyed working with him for the past five years. His advice and encouragement has been crucial to my development as a mathematician. He has given me wide latitude to pursue my own interests but at the same time steered me towards problems that other people might actually care about. He has known when to push me and when to back off, when to let me wander and when to bring me back in. He has explained to me how probabilists think. His door has always been open, even if I didn’t take advantage of that as much as I could have. I am honored to be his student. The various teachers I’ve had in combinatorics and probability courses taught me, if not everything they know, at least large portions thereof. These are Miklos Bona, Count von Count, David Galvin, Marko Petkovsek, Richard Stanley, J. Michael Steele, Balint Virag, Mark Ward, and Herb Wilf. In particular Mark Ward taught a course in analytic combinatorics from Flajolet and Sedgewick’s book in the fall of 2006, which introduced me to the power and beauty of analytic combinatorics and which pointed me in the direction which eventually led to this thesis. (I had also ii just moved at the beginning of the semester and didn’t have Internet access for the first few weeks. I believe this is not a coincidence.) At MIT, Michael Artin’s spring 2004 Project Laboratory in Mathematics (18.821) introduced me to a “toy” version of mathematical research, and Igor Pak was my research advisor for an undergraduate research project the following summer. It was in this period that I realized that I had what it takes to do mathematical research. Finally, Jason Bandlow and Philip Gress- man served ably on my thesis committee, and Angela Gibney advised me through many of the difficulties of the first year of graduate school. As everyone knows, you can’t let mathematicians manage themselves. The staff of the Penn mathematics department – Janet Burns, Monica Pallanti, Paula Scarbor- ough, and Robin Toney – have kept the department moving and been friendly faces who have never been disappointed at me for not having made mathematical progress. Henry Benjamin also deserves thanks, for keeping the computers running. My time at Penn has been enhanced by my fellow graduate students, both for their moral support and encouragement and for their willingness to listen to my mathematical ideas. In particular I’d like to acknowledge Andrew Bressler, Ricky Der, Tim de Vries, Shanshan Ding, Jonathan Kariv, Paul Levande, Alexa Mater, Julius Poh, Andrew Rupinski, Benjamin Schak, Charles Siegel, Michael Thompson, and Mirko Visontai. I had the pleasure of giving a talk on much of this material at the Cornell Univer- sity mathematics department in February of 2010. I’d like to thank Rick Durrett for iii the invitation. Much of the material on partitions in this thesis first began to take shape during the Cornell Probability Summer School in 2009. I’ve also given talks on various portions of this thesis in seminars at Penn, both the graduate student combi- natorics seminar and the “grown-up” combinatorics/probability seminar; I thank the organizers of these seminars for letting me speak and giving me reasonably low-stress forums for shaping these ideas. The material of Sections 4.1 through 4.4 was previously published in the Electronic Journal of Combinatorics. I thank the anonymous referee of that paper for remarks concerning the proof of Theorem 4.2.7. I also thank Mirko Visontai for pointing out that Theorem 4.9.5 was proven in Stanley’s text; in a version of Section 4.9 that I previously circulated I gave a (somewhat unwieldy) proof. Graduate school takes a long time and is a very stressful experience. I’ve had the pleasure of being able to attend graduate school close to my family and having a family that I actually want to be close to. I would like to apologize to my cousin, John DeCaro for not inventing the “Italian restaurant process” or naming any object in this thesis after a type of pasta. I thank my parents, Janis and Albert Lugo. Long ago they tried to teach me what square numbers were by rearranging pennies on a kitchen table; I asked, innocently, if there were “twiangle numbers”. There are, of course; this was just an early example of a seemingly endless stream of questions that they endured for the most part with good humor. They have supported me through good times and bad and have always provided a home for me. This thesis iv is as much their achievement as mine. Finally, my grandmother, Josephine DeCaro, suffers from Alzheimer’s disease, and can no longer fully appreciate the importance of this moment in my life. But I know she would be proud. v ABSTRACT PROFILES OF LARGE COMBINATORIAL STRUCTURES Michael T. Lugo Robin Pemantle, Advisor We derive limit laws for random combinatorial structures using singularity anal- ysis of generating functions. We begin with a study of the Boltzmann samplers of Flajolet and collaborators, a useful method for generating large discrete structures at random which is useful both for providing intuition and conjecture and as a possible proof technique. We then apply generating functions and Boltzmann samplers to three main classes of objects: permutations with weighted cycles, involutions, and integer partitions. Random permutations in which each cycle carries a multiplica- tive weight σ have probability (1 − γ)σ of having a random element be in a cycle of length longer than γn; this limit law also holds for cycles carrying multiplicative weights depending on their length and averaging σ. Such permutations have num- ber of cycles asymptotically normally distributed with mean and variance ∼ σ log n. For permutations with weights σk = 1/k or σk = k, other limit laws are found; the √ prior have finitely many cycles in expectation, the latter around n. Compositions √ of uniformly chosen involutions of [n], on the other hand, have about n cycles on average.
Load more

Recommended publications
  • Notes from 2015/16, with Minor Editing for 2016/17
    DISCRETE AND ALGEBRAIC STRUCTURES Master Study Mathematics MAT.402 Winter Semester 2015/2016 & 2016/17 (Due to organisational reasons register for the course at TU and KFU) Parts I & II Contents I Combinatorics and Graph Theory 1 1 Combinatorics 2 1.1 Basics . .2 1.1.1 Binomial Coefficient and Binomial Theorem . .2 1.1.2 Landau- and Asymptotic Notations . .5 1.1.3 Useful Inequalities and Asymptotic Estimates . .6 1.2 Recursions . .7 1.2.1 Recursions . .7 1.2.2 Linear recurrences . .7 1.2.3 Non-linear recurrences . 12 1.3 Generating Functions . 13 1.3.1 Formal Power Series . 13 1.3.2 Ordinary and Exponential Generating Functions . 17 1.4 Symbolic method . 20 1.4.1 Unlabelled combinatorial objects . 20 1.4.2 Labelled combinatorial objects . 25 1.5 Analytic Methods . 28 1.5.1 Analytic functions . 28 1.5.2 Cauchy’s coefficient formula . 29 1.5.3 Lagrange Inversion Theorem . 29 1.5.4 Singularities . 33 1.5.5 Meromorphic functions . 33 1.5.6 Newton’s generalised binomial theorem . 34 1.5.7 Transfer theorem . 35 1.5.8 Multiple singularities . 36 2 Graph Theory 39 2.1 Matchings, Eulerian Tour and Hamiltorian Cycles . 40 2.1.1 Basic Terminologies . 40 2.1.2 Matchings . 42 2.1.3 Eulerian Tours and Hamiltorian Cycles . 44 2.2 Graph Decompositions . 46 2.2.1 Connected Graphs . 46 2.2.2 2-Connected Graphs . 46 i CONTENTS ii 2.2.3 3-Connected Graphs . 48 2.3 Planar Graphs and Trees . 49 2.3.1 Planar and Plane Graphs .
    [Show full text]
  • Lecture Notes for “Enumerative Combinatorics”
    Lecture notes for \Enumerative Combinatorics" Anna de Mier¤ University of Oxford Michaelmas Term 2004y Contents 1 Subsets, multisets, and balls-in-bins 3 1.1 Words and permutations . 3 1.2 Subsets and binomial numbers . 4 1.3 Multisets and integer compositions . 7 1.4 Balls-and-bins and multinomial numbers . 9 1.5 Mappings . 10 2 The Principle of Inclusion and Exclusion 10 3 Integer and set partitions; Stirling numbers 14 3.1 Integer partitions . 14 3.2 Set partitions . 17 3.3 Decomposition of permutations into disjoint cycles . 19 4 Generating functions and recurrences 20 4.1 Formal power series . 24 4.2 Linear recurrences . 26 4.3 A non-linear recurrence: Catalan numbers . 29 4.4 The generating function for integer partitions . 31 ¤Please e-mail any comments or suggestions to [email protected]; thanks to the ones that have already done it. yLast correction: 15 June 2006. 1 5 The symbolic method for unlabelled structures 33 5.1 Constructions . 34 5.2 Compositions revisited . 38 5.3 Rooted plane trees . 39 6 The symbolic method for labelled structures 41 6.1 Constructions . 42 6.2 Labelled graphs . 45 6.3 Set partitions revisited . 46 6.4 Permutation decompositions revisited . 47 2 A good way to convey what an area of Mathematics is about is by giving a list of problems. This is particularly true in Combinatorics. In this course, we attempt to solve problems like: In how many ways... ² can we pick 6 numbers from 1 to 15 so that no two are consecutive? ² can we climb a ladder if we move up either one or two steps at a time? ² can 7 balls be placed in 4 boxes if no box is to be left empty? ² can we give change of a pound? As suggested by the title of the course, we will be mainly concerned with counting problems, although on our way we will encounter algebraic and structural questions.
    [Show full text]
  • Lipics-Aofa-2018-14.Pdf (0.5
    Beyond Series-Parallel Concurrent Systems: The Case of Arch Processes Olivier Bodini Laboratoire d’Informatique de Paris-Nord, CNRS UMR 7030 - Institut Galilée - Université Paris-Nord, 99, avenue Jean-Baptiste Clément, 93430 Villetaneuse, France. [email protected] Matthieu Dien Institute of Statistical Science, Academia Sinica, Taipei 115, Taiwan. [email protected] Antoine Genitrini Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6 -LIP6- UMR 7606, F-75005 Paris, France. [email protected] Alfredo Viola Universidad de la República, Montevideo, Uruguay. viola@fing.edu.uy Abstract In this paper we focus on concurrent processes built on synchronization by means of futures. This concept is an abstraction for processes based on a main execution thread but allowing to delay some computations. The structure of a general concurrent process is a directed acyclic graph (DAG). Since the quantitative study of increasingly labeled DAG (directly related to processes) seems out of reach (this is a ]P-complete problem), we restrict ourselves to the study of arch processes, a simplistic model of processes with futures. They are based on two parameters related to their sizes and their numbers of arches. The increasingly labeled structures seems not to be specifiable in the classical sense of Analytic Combinatorics, but we manage to derive a recurrence equation for the enumeration. For this model we first exhibit an exact and an asymptotic formula for the number of runs of a given process. The second main contribution is composed of a uniform random sampler algorithm and an unranking one that allow efficient generation and exhaustive enumeration of the runs of a given arch process.
    [Show full text]
  • An Invitation to Analytic Combinatorics and Lattice Path Counting
    An invitation to analytic combinatorics and lattice path counting Marie-Louise Lackner Michael Wallner December 9-11, 2015 Abstract The term \Analytic Combinatorics", coined by P. Flajolet and B. Sedgewick [6], com- bines powerful analytic methods from complex analysis with the field of enumerative com- binatorics. The link between these fields is provided by generating functions, which are a priori only defined as formal power series. However, in many applications they can also be interpreted as analytic power series with a non-zero radius of convergence. Analyzing the analytic properties enables us to gain insight into the underlying coefficients. Let (an)n≥0 be a sequence of non-negative integers. The associated generating function P n A(z) = n≥0 anz is a formal power series in N[[z]]. In many applications it can be interpreted as a convergent power series in C(z). In this case methods from analytic combinatorics yield formulae for the asymptotic growth of an for n ! 1 including bounds on the rate of convergence. After a brief introduction into these methods, we will apply them to the classical study of lattice paths. The enumeration of lattice paths is a classical topic in combinatorics which is still a very active field of research. They have many applications in chemistry, physics, mathematics and computer science. For example lattice paths are used as the solution of integer programming problems, in cryptanalysis, in crystallography and as models in queueing theory. A lattice path is a sequence of vectors v = (v1; v2; : : : ; vn), such that vj 2 S, where S is a given, finite set of vectors called the step set.
    [Show full text]
  • Frank Simon Enumerative Combinatorics in the Partition
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Hochschulschriftenserver der Hochschule Mittweida Frank Simon Enumerative Combinatorics in the Partition Lattice MASTERARBEIT Hochschule Mittweida (FH) University of Applied Sciences Mathematik, Physik, Informatik Mittweida, 2009 Frank Simon Enumerative Combinatorics in the Partition Lattice eingereicht als MASTERARBEIT an der Hochschule Mittweida (FH) University of Applied Sciences Mathematik, Physik, Informatik Mittweida, 2009 Erstprufer:¨ Prof. Dr. rer. nat. Peter Tittmann Zweitprufer:¨ Prof. Dr. rer. nat. habil. Eckhard Manthei Vorgelegte Arbeit wurde verteidigt am: 22. Juli 2009 ii Bibliographical description: Simon, Frank: Enumerative Combinatorics in the Partition Lattice. - 2009. - 86S. Mittweida, Hochschule Mittweida, Fachbereich Mathematik, Physik, Informatik, Masterar- beit, 2009 Abstract: The focus of this thesis lies on the application of enumerative combinatorics to the partition lattice Πn. Some ideas beyond enumerative combinatorics are used to examine the lattice properties of Πn. The combinatorial aspects involve the counting of chains in the partition lattice with the associated exponential generat- ing functions and a new derivation of the Mobius¨ function in Πn. Finally different representations of some simple sums ranging over intervals in the partition lattice are discussed. iv Contents 1. Introduction 1 2. Partially ordered sets 3 2.1. Partially ordered sets . 3 2.2. Lattices . 5 2.3. The incidence algebra . 8 3. Combinatorial principles 13 3.1. Set partitions . 13 3.2. Graph theoretic concepts . 20 3.3. Inclusion-Exclusion principle . 23 3.4. Formal power series . 26 3.5. The counting of labelled structures . 29 3.6. Bell polynomials . 41 3.7. Iterates of formal power series .
    [Show full text]
  • Software for Enumerative and Analytic Combinatorics
    Software for enumerative and analytic combinatorics Andrew MacFie 2013 Abstract We survey some general-purpose symbolic software packages that implement algo- rithms from enumerative and analytic combinatorics. Software for the following areas is covered: basic combinatorial objects, symbolic combinatorics, Pólya theory, combi- natorial species, and asymptotics. We describe the capabilities that the packages offer as well as some of the algorithms used, and provide links to original documentation. Most of the packages are freely downloadable from the web. Note: In this document, to refer to webpages we place URL links in footnotes, and for all other types of referent we use standard endnote references. Contents 1 Introduction 3 2 Enumerative and analytic combinatorics 3 2.1 Counting . .4 2.1.1 Exact vs. asymptotic counting . .4 2.1.2 Generating functions vs. their coefficients . .5 2.1.3 Bijective combinatorics vs. manipulatorics . .6 2.2 Enumeration . .7 arXiv:1601.02683v1 [cs.MS] 11 Jan 2016 3 A few notes on the following packages 7 4 Basic combinatorial objects 8 4.1 Mathematical background . .8 4.1.1 Orderings . .9 4.1.2 Gray codes . .9 4.2 Combinat (Maple) . .9 4.3 Combinatorial Object Server . 10 4.4 Combinatorica: basic combinatorial objects . 12 4.5 Sage: basic combinatorial objects . 13 1 5 Symbolic combinatorics 14 5.1 Mathematical background . 14 5.1.1 Unlabeled classes . 15 5.1.2 Labeled classes . 16 5.1.3 Multiple parameters . 17 5.2 Combstruct . 18 5.3 Encyclopedia of Combinatorial Structures . 19 5.4 Lambda-Upsilon-Omega (LUO): symbolic combinatorics . 20 6 Pólya theory 22 6.1 Mathematical background .
    [Show full text]
  • Profiles of Large Combinatorial Structures
    University of Pennsylvania ScholarlyCommons Publicly Accessible Penn Dissertations 2010 Profiles of Large Combinatorial Structures Michael T. Lugo University of Pennsylvania, [email protected] Follow this and additional works at: https://repository.upenn.edu/edissertations Part of the Discrete Mathematics and Combinatorics Commons, and the Probability Commons Recommended Citation Lugo, Michael T., "Profiles of Large Combinatorial Structures" (2010). Publicly Accessible Penn Dissertations. 127. https://repository.upenn.edu/edissertations/127 This paper is posted at ScholarlyCommons. https://repository.upenn.edu/edissertations/127 For more information, please contact [email protected]. Profiles of Large Combinatorial Structures Abstract We derive limit laws for random combinatorial structures using singularity analysis of generating functions. We begin with a study of the Boltzmann samplers of Flajolet and collaborators, a useful method for generating large discrete structures at random which is useful both for providing intuition and conjecture and as a possible proof technique. We then apply generating functions and Boltzmann samplers to three main classes of objects: permutations with weighted cycles, involutions, and integer partitions. Random permutations in which each cycle carries a multiplicative weight $\sigma$ have probability $(1-\gamma)^\sigma$ of having a random element be in a cycle of length longer than $\gamma n$; this limit law also holds for cycles carrying multiplicative weights depending on their length and averaging $\sigma$. Such permutations have number of cycles asymptotically normally distributed with mean and variance $\sim \sigma \log n$. For permutations with weights $\sigma_k = 1/k$ or $\sigma_k = k$, other limit laws are found; the prior have finitely many cycles in expectation, the latter around $\sqrt{n}$.
    [Show full text]
  • On Enumeration Sequences Generalising Catalan and Baxter Numbers
    department of information engineering and mathematics On enumeration sequences generalising Catalan and Baxter numbers Author: Veronica Guerrini Advisor: Prof. Simone Rinaldi, University of Siena Co-advisor: Dr. Mathilde Bouvel, University of Zurich A thesis submitted in fulfilment of the requirements for the degree of Doctor of Philosophy December 13, 2017 Abstract The study carried out along this dissertation fits into the field of enumerative combina- torics. The structures that have been investigated are families of discrete objects which display combinatorial properties. They are mainly subfamilies of well-known combinato- rial structures, such as lattice paths, pattern-avoiding permutations, polyominoes (more specifically, parallelogram polyominoes), or inversion sequences. Furthermore, these combi- natorial families are closely related to two famous number sequences known in the literature as the Catalan and Baxter numbers. We start defining and studying the properties of a combinatorial class whose elements appear as tilings of parallelogram polyominoes, and thus are called slicings of parallelogram polyominoes. This first combinatorial class results to be enumerated by Baxter numbers, and shows relations with Catalan and Schr¨odernumbers. Then, we turn to two families of pattern-avoiding permutations. First, we study the semi-Baxter permutations, which reveal a natural generalisation of the Baxter numbers. Next, we deal with the strong-Baxter permutations, which are defined by restricting the Baxter numbers. Thereafter, some generalisations of Catalan numbers are presented. A first generali- sation involves families of inversion sequences and lattice paths among the combinatorial structures enumerated, and is shown to be related to the sequence of Baxter numbers as well. Meanwhile, the family of fighting fish provide another generalisation of the Catalan numbers that appears to be independent from the Baxter numbers.
    [Show full text]
  • Combinatorial Classes, Generating Functions and a Grothendieck Invariant
    Combinatorial Classes, Generating Functions and a Grothendieck Invariant Laurent Poinsot1 1 Université Paris 13, Sorbonne Paris Cité LIPN, CNRS (UMR 7030) F-93430 Villetaneuse France [email protected] Abstract The symbolic method, introduced by P. Flajolet and R. Sedgewick to compute (ordinary, expo- nential, and multivariate) generating functions in a systematic way, makes use of basic objects and some construction rules – which, for certain of them, are shown to be functorial in the present contribution – to combine them in order to obtain more complex objects of the same kind (combin- atorial classes) so that their generating functions are computed in a way (actually also functorial) that reflects these combinations. In this paper, in which we adopt a functorial point of view, is provided a more general framework to study these objects, allowing transfinite cardinalities. We prove that the functional (actually functorial) association of a class to its generating function is a universal (Grothendieck) invariant. Finally we also present some constructions of (combinatorial or not) classes that extend the known ones by application of universal algebra. MSC 2010 Subject Classification 05A99, 18D35, 03E10 Keywords and phrases Combinatorial class Transfinite cardinal number Internal monoid 1 Introduction As described in [8], a combinatorial class is a collection C of objects of a similar kind (e.g. words, trees, graphs), endowed with a suitable notion of size or weight (whatever it is, for instance p: C → N) in a way that there are only finitely many objects of each size, i.e., −1 |p ({ n })| < ℵ0 for all n ∈ N. These collections are therefore subject to an enumeration: counting the number of objects of size n (to make simpler the presentation), for every integer n, completely describes their combinatorial content which is summarized under the form X of formal power series, traditionally referred to as generating functions, |p−1({ n })|xn.
    [Show full text]
  • Discrete and Algebraic Structures
    DISCRETE AND ALGEBRAIC STRUCTURES Master Study Mathematics MAT.402 Winter Semester 2015/16 (Due to organisational reasons register for the course at TU and KFU) Edited by Mihyun Kang TU Graz Contents I Lectures by Mihyun Kang 0 1 Standard Methods of Enumerative Combinatorics 1 1.1 Basics . .1 1.2 Recursions . .2 1.2.1 Recursions . .2 1.2.2 Linear recurrences . .2 1.2.3 Non-linear recurrences . .6 1.3 Generating Functions . .7 1.3.1 Formal Power Series . .7 1.3.2 Ordinary and Exponential Generating Functions . 11 1.4 Symbolic method . 14 1.4.1 Unlabelled combinatorial objects . 14 1.4.2 Labelled combinatorial objects . 19 1.5 Analytic Methods . 22 1.5.1 Analytic functions . 22 1.5.2 Cauchy’s coefficient formula . 23 1.5.3 Lagrange Inversion Theorem . 23 1.5.4 Singularities . 26 1.5.5 Meromorphic functions . 27 1.5.6 Newton’s generalised binomial theorem . 28 1.5.7 Transfer theorem . 28 1.5.8 Multiple singularities . 30 2 Graph Theory 32 2.1 Matchings, Eulerian Tour and Hamiltorian Cycles . 33 2.1.1 Basic Terminologies . 33 2.1.2 Matchings . 33 2.1.3 Eulerian Tours . 33 2.1.4 Hamiltorian Cycles . 33 2.2 Graph Decompositions . 34 2.2.1 Connected Graphs . 34 2.2.2 2-Connected Graphs . 34 2.2.3 3-Connected Graphs . 34 2.3 Planar Graphs and Trees . 35 i CONTENTS ii 2.3.1 Embedding of Graphs in the Plane . 35 2.3.2 Euler’s Formula and its Applications . 35 2.3.3 Properties of Trees .
    [Show full text]
  • Analytic Combinatorics in Several Variables
    Analytic Combinatorics in Several Variables Robin Pemantle Department of Mathematics, University of Pennsylvania 209 S. 23rd Street Philadelphia, PA 19104 USA [email protected] Mark C. Wilson Department of Computer Science, University of Auckland Private Bag 92019 Auckland, New Zealand [email protected] Preface The term “Analytic Combinatorics” refers to the use of complex analytic meth- ods to solve problems in combinatorial enumeration. Its chief objects of study are generating functions (Flajolet and Sedgewick, 2009, page vii). Generat- ing functions have been used for enumeration for over a hundred years, go- ing back to Hardy and, arguably, to Euler. Their systematic study began in the 1950’s (Hayman, 1956). Much of the impetus for analytic combinatorics comes from the theory of algorithms, arising for example in the work of Knuth (Knuth, 2006). The recent, seminal work Flajolet and Sedgewick (2009) describes the rich univariate theory with literally hundreds of applications. The multivariate theory, as recently as the mid-1990’s, was still in its in- fancy. Techniques for deriving multivariate generating functions have been well understood, sometimes paralleling the univariate theory and sometimes achieving surprising depth (Fayolle et al., 1999). Analytic methods for recov- ering coefficients of generating functions once the functions have been derived have, however, been sorely lacking. A small body of analytic work goes back to the early 1980’s (Bender and Richmond, 1983); however, even by 1995, of 100+ pages in the Handbook of Combinatorics devoted to asymptotic enumer- ation (Odlyzko, 1995), multivariate asymptotics received fewer than six. This book is the result of work spanning nearly 15 years.
    [Show full text]