Introduces the theory of multivariate generating functions, with new exercises, computational examples, and a conceptual overview chapter.

This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theory can help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text.

Analytic Combinatorics: A Multidimensional Approach is written in a reader-friendly fashion to better facilitate the understanding of the subject. Naturally, it is a firm introduction to the concept of analytic combinatorics and is a valuable tool to help readers better understand the structure and large-scale behavior of discrete objects. Primarily, the textbook is a gateway to the interactions between complex analysis and combinatorics. The study will lead readers through connections to number theory, algebraic geometry, probability and formal language theory. The textbook starts by discussing objects that can be enumerated using generating functions, such as tree classes and lattice walks. It also introduces multivariate generating functions including the topics of the kernel method, and diagonal constructions. The second part explains methods of counting these objects, which involves deep mathematics coming from outside combinatorics, such as complex analysis and geometry. Features Written with combinatorics-centric exposition to illustrate advanced analytic techniques Each chapter includes problems, exercises, and reviews of the material discussed in them Includes a comprehensive glossary, as well as lists of figures and symbols About the author Marni Mishna is a professor of mathematics at Simon Fraser University in British Columbia. Her research investigates interactions between discrete structures and many diverse areas such as representation theory, functional equation theory, and algebraic geometry. Her specialty is the development of analytic tools to study the large-scale behavior of discrete objects.

Analytic combinatorics aims to enable precise quantitative predictions of the properties of large combinatorial structures. The theory has emerged over recent decades as essential both for the analysis of algorithms and for the study of scientific models in many disciplines, including probability theory, statistical physics, computational biology, and information theory. With a careful combination of symbolic enumeration methods and complex analysis, drawing heavily on generating functions, results of sweeping generality emerge that can be applied in particular to fundamental structures such as permutations, sequences, strings, walks, paths, trees, graphs and maps. This account is the definitive treatment of the topic. The authors give full coverage of the underlying mathematics and a thorough treatment of both classical and modern applications of the theory. The text is complemented with exercises, examples, appendices and notes to aid understanding. The book can be used for an advanced undergraduate or a graduate course, or for self-study.

This volume contains the proceedings of the AMS Special Sessions on Algorithmic Probability and Combinatories held at DePaul University on October 5-6, 2007 and at the University of British Columbia on October 4-5, 2008. This volume collects cutting-edge research and expository on algorithmic probability and combinatories. It includes contributions by well-established experts and younger researchers who use generating functions, algebraic and probabilistic methods as well as asymptotic analysis on a daily basis. Walks in the quarter-plane and random walks (quantum, rotor and self-avoiding), permutation tableaux, and random permutations are considered. In addition, articles in the volume present a variety of saddle-point and geometric methods for the asymptotic analysis of the coefficients of single-and multivariable generating functions associated with combinatorial objects and discrete random structures. The volume should appeal to pure and applied mathematicians, as well as mathematical physicists; in particular, anyone interested in computational aspects of probability, combinatories and enumeration. Furthermore, the expository or partly expository papers included in this volume should serve as an entry point to this literature not only to experts in other areas, but also to graduate students.

Handbook of Discrete and Combinatorial Mathematics provides a comprehensive reference volume for mathematicians, computer scientists, engineers, as well as students and reference librarians. The material is presented so that key information can be located and used quickly and easily. Each chapter includes a glossary. Individual topics are covered in sections and subsections within chapters, each of which is organized into clearly identifiable parts: definitions, facts, and examples. Examples are provided to illustrate some of the key definitions, facts, and algorithms. Some curious and entertaining facts and puzzles are also included. Readers will also find an extensive collection of biographies. This second edition is a major revision. It includes extensive additions and updates. Since the first edition appeared in 1999, many new discoveries have been made and new areas have grown in importance, which are covered in this edition.

In the last decade, both scholars and practitioners have sought novel ways to address the problem of cybersecurity. Innovative outcomes have included applications such as blockchain as well as creative methods for cyber forensics, software development, and intrusion prevention. Accompanying these technological advancements, discussion on cyber matters at national and international levels has focused primarily on the topics of law, policy, and strategy. The objective of these efforts is typically to promote security by establishing agreements among stakeholders on regulatory activities. Varying levels of investment in cyberspace, however, comes with varying levels of risk; in some ways, this can translate directly to the degree of emphasis for pushing substantial change. At the very foundation or root of cyberspace systems and processes are tenets and rules governed by principles in mathematics. Topics such as encrypting or decrypting file transmissions, modeling networks, performing data analysis, quantifying uncertainty, measuring risk, and weighing decisions or adversarial courses of action represent a very small subset of activities highlighted by mathematics. To facilitate education and a greater awareness of the role of mathematics in cyber systems and processes, a description of research in this area is needed. Mathematics in Cyber Research aims to familiarize educators and young researchers with the breadth of mathematics in cyber-related research. Each chapter introduces a mathematical sub-field, describes relevant work in this field associated with the cyber domain, provides methods and tools, as well as details cyber research examples or case studies. Features One of the only books to bring together such a diverse and comprehensive range of topics within mathematics and apply them to cyber research. Suitable for college undergraduate students or educators that are either interested in learning about cyber-related mathematics or intend to perform research within the cyber domain. The book may also appeal to practitioners within the commercial or government industry sectors. Most national and international venues for collaboration and discussion on cyber matters have focused primarily on the topics of law, policy, strategy, and technology. This book is among the first to address the underpinning mathematics.

This edited volume features a curated selection of research in algebraic combinatorics that explores the boundaries of current knowledge in the field. Focusing on topics experiencing broad interest and rapid growth, invited contributors offer survey articles on representation theory, symmetric functions, invariant theory, and the combinatorics of Young tableaux. The volume also addresses subjects at the intersection of algebra, combinatorics, and geometry, including the study of polytopes, lattice points, hyperplane arrangements, crystal graphs, and Grassmannians. All surveys are written at an introductory level that emphasizes recent developments and open problems. An interactive tutorial on Schubert Calculus emphasizes the geometric and topological aspects of the topic and is suitable for combinatorialists as well as geometrically minded researchers seeking to gain familiarity with relevant combinatorial tools. Featured authors include prominent women in the field known for their exceptional writing of deep mathematics in an accessible manner. Each article in this volume was reviewed independently by two referees. The volume is suitable for graduate students and researchers interested in algebraic combinatorics.

Algorithmics of Nonuniformity is a solid presentation about the analysis of algorithms, and the data structures that support them. Traditionally, algorithmics have been approached either via a probabilistic view or an analytic approach. The authors adopt both approaches and bring them together to get the best of both worlds and benefit from the advantage of each approach. The text examines algorithms that are designed to handle general data—sort any array, find the median of any numerical set, and identify patterns in any setting. At the same time, it evaluates "average" performance, "typical" behavior, or in mathematical terms, the expectations of the random variables that describe their operations. Many exercises are presented, which are essential since they convey additional material complementing the content of the chapters. For this reason, the solutions are more than mere answers, but explain and expand upon related concepts, and motivate further work by the reader. Highlights: A unique book that merges probability with analysis of algorithms Approaches analysis of algorithms from the angle of uniformity Non-uniformity makes more realistic models of real-life scenarios possible Results can be applied to many applications Includes many exercises of various levels of difficulty About the Authors: Micha Hofri is a Professor of Computer Science, and former department head at Worcester Polytechnic Institute. He holds a Ph.D. of Industrial Engineering (1972), all from Technion, the Israel Institute of Technology. He has 39 publications in Mathematics. Hosam Mahmoud is a Professor at, the Department of Statistics at George Washington University in Washington D.C., where he used to be the former chair. He holds an Ph.D. in Computer Science from Ohio State University. He is on the editorial board of five academic journals.

​The book shows that the analytic combinatorics (AC) method encodes the combinatorial problems of multiple object tracking—without information loss—into the derivatives of a generating function (GF). The book lays out an easy-to-follow path from theory to practice and includes salient AC application examples. Since GFs are not widely utilized amongst the tracking community, the book takes the reader from the basics of the subject to applications of theory starting from the simplest problem of single object tracking, and advancing chapter by chapter to more challenging multi-object tracking problems. Many established tracking filters (e.g., Bayes-Markov, PDA, JPDA, IPDA, JIPDA, CPHD, PHD, multi-Bernoulli, MBM, LMBM, and MHT) are derived in this manner with simplicity, economy, and considerable clarity. The AC method gives significant and fresh insights into the modeling assumptions of these filters and, thereby, also shows the potential utility of various approximation methods that are well established techniques in applied mathematics and physics, but are new to tracking. These unexplored possibilities are reviewed in the final chapter of the book.