Surveys In Combinatorics 2019

Eight articles provide a valuable survey of the present state of knowledge in combinatorics.

This volume contains surveys of current research directions in combinatorics written by leading researchers in their fields.

This volume contains nine survey articles based on plenary lectures given at the 28th British Combinatorial Conference, hosted online by Durham University in July 2021. This biennial conference is a well-established international event, attracting speakers from around the world. Written by some of the foremost researchers in the field, these surveys provide up-to-date overviews of several areas of contemporary interest in combinatorics. Topics discussed include maximal subgroups of finite simple groups, Hasse–Weil type theorems and relevant classes of polynomial functions, the partition complex, the graph isomorphism problem, and Borel combinatorics. Representing a snapshot of current developments in combinatorics, this book will be of interest to researchers and graduate students in mathematics and theoretical computer science.

These nine articles provide up-to-date surveys of topics of contemporary interest in combinatorics.

Covering, arguably, one of the most attractive and mysterious mathematical objects, the Monster group, this text strives to provide an insightful introduction and the discusses the current state of the field. The Monster group is related to many areas of mathematics, as well as physics, from number theory to string theory. This book cuts through the complex nature of the field, highlighting some of the mysteries and intricate relationships involved. Containing many meaningful examples and a manual introduction to the computer package GAP, it provides the opportunity and resources for readers to start their own calculations. Some 20 experts here share their expertise spanning this exciting field, and the resulting volume is ideal for researchers and graduate students working in Combinatorial Algebra, Group theory and related areas.

Automatic sequences are sequences over a finite alphabet generated by a finite-state machine. This book presents a novel viewpoint on automatic sequences, and more generally on combinatorics on words, by introducing a decision method through which many new results in combinatorics and number theory can be automatically proved or disproved with little or no human intervention. This approach to proving theorems is extremely powerful, allowing long and error-prone case-based arguments to be replaced by simple computations. Readers will learn how to phrase their desired results in first-order logic, using free software to automate the computation process. Results that normally require multipage proofs can emerge in milliseconds, allowing users to engage with mathematical questions that would otherwise be difficult to solve. With more than 150 exercises included, this text is an ideal resource for researchers, graduate students, and advanced undergraduates studying combinatorics, sequences, and number theory.