Set Operads in Combinatorics and Computer Science

Set Operads in Combinatorics and Computer Science PDF

Author: Miguel A. Méndez

Publisher: Springer

Published: 2015-01-08

Total Pages: 139

ISBN-13: 3319117130

DOWNLOAD EBOOK →

This monograph has two main objectives. The first one is to give a self-contained exposition of the relevant facts about set operads, in the context of combinatorial species and its operations. This approach has various advantages: one of them is that the definition of combinatorial operations on species, product, sum, substitution and derivative, are simple and natural. They were designed as the set theoretical counterparts of the homonym operations on exponential generating functions, giving an immediate insight on the combinatorial meaning of them. The second objective is more ambitious. Before formulating it, authors present a brief historic account on the sources of decomposition theory. For more than forty years decompositions of discrete structures have been studied in different branches of discrete mathematics: combinatorial optimization, network and graph theory, switching design or boolean functions, simple multi-person games and clutters, etc.

Nonsymmetric Operads in Combinatorics

Nonsymmetric Operads in Combinatorics PDF

Author: Samuele Giraudo

Publisher: Springer

Published: 2019-01-04

Total Pages: 172

ISBN-13: 3030020746

DOWNLOAD EBOOK →

Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form more complex ones. Coming historically from algebraic topology, operads intervene now as important objects in computer science and in combinatorics. A lot of operads involving combinatorial objects highlight some of their properties and allow to discover new ones. This book portrays the main elements of this theory under a combinatorial point of view and exposes the links it maintains with computer science and combinatorics. Examples of operads appearing in combinatorics are studied. The modern treatment of operads consisting in considering the space of formal power series associated with an operad is developed. Enrichments of nonsymmetric operads as colored, cyclic, and symmetric operads are reviewed.

Combinatorics for Computer Science

Combinatorics for Computer Science PDF

Author: Stanley Gill Williamson

Publisher: Courier Corporation

Published: 2002-01-01

Total Pages: 548

ISBN-13: 9780486420769

DOWNLOAD EBOOK →

Useful guide covers two major subdivisions of combinatorics — enumeration and graph theory — with emphasis on conceptual needs of computer science. Each part is divided into a "basic concepts" chapter emphasizing intuitive needs of the subject, followed by four "topics" chapters that explore these ideas in depth. Invaluable practical resource for graduate students, advanced undergraduates, and professionals with an interest in algorithm design and other aspects of computer science and combinatorics. References for Linear Order & for Graphs, Trees, and Recursions. 219 figures.

Operads of Wiring Diagrams

Operads of Wiring Diagrams PDF

Author: Donald Yau

Publisher: Springer

Published: 2018-09-19

Total Pages: 308

ISBN-13: 3319950010

DOWNLOAD EBOOK →

Wiring diagrams form a kind of graphical language that describes operations or processes with multiple inputs and outputs, and shows how such operations are wired together to form a larger and more complex operation. This monograph presents a comprehensive study of the combinatorial structure of the various operads of wiring diagrams, their algebras, and the relationships between these operads. The book proves finite presentation theorems for operads of wiring diagrams as well as their algebras. These theorems describe the operad in terms of just a few operadic generators and a small number of generating relations. The author further explores recent trends in the application of operad theory to wiring diagrams and related structures, including finite presentations for the propagator algebra, the algebra of discrete systems, the algebra of open dynamical systems, and the relational algebra. A partial verification of David Spivak’s conjecture regarding the quotient-freeness of the relational algebra is also provided. In the final part, the author constructs operad maps between the various operads of wiring diagrams and identifies their images. Assuming only basic knowledge of algebra, combinatorics, and set theory, this book is aimed at advanced undergraduate and graduate students as well as researchers working in operad theory and its applications. Numerous illustrations, examples, and practice exercises are included, making this a self-contained volume suitable for self-study.

Infinity Operads And Monoidal Categories With Group Equivariance

Infinity Operads And Monoidal Categories With Group Equivariance PDF

Author: Donald Yau

Publisher: World Scientific

Published: 2021-12-02

Total Pages: 486

ISBN-13: 9811250944

DOWNLOAD EBOOK →

This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad.In Part 4 we define general monoidal categories equipped with an action operad equivariant structure and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras.

Colored Operads

Colored Operads PDF

Author: Donald Yau

Publisher: American Mathematical Soc.

Published: 2016-02-29

Total Pages: 458

ISBN-13: 1470427230

DOWNLOAD EBOOK →

The subject of this book is the theory of operads and colored operads, sometimes called symmetric multicategories. A (colored) operad is an abstract object which encodes operations with multiple inputs and one output and relations between such operations. The theory originated in the early 1970s in homotopy theory and quickly became very important in algebraic topology, algebra, algebraic geometry, and even theoretical physics (string theory). Topics covered include basic graph theory, basic category theory, colored operads, and algebras over colored operads. Free colored operads are discussed in complete detail and in full generality. The intended audience of this book includes students and researchers in mathematics and other sciences where operads and colored operads are used. The prerequisite for this book is minimal. Every major concept is thoroughly motivated. There are many graphical illustrations and about 150 exercises. This book can be used in a graduate course and for independent study.

Extremal Combinatorics

Extremal Combinatorics PDF

Author: Stasys Jukna

Publisher: Springer Science & Business Media

Published: 2001-06-12

Total Pages: 410

ISBN-13: 9783540663133

DOWNLOAD EBOOK →

This is a concise, up-to-date introduction to extremal combinatorics for non-specialists. Strong emphasis is made on theorems with particularly elegant and informative proofs which may be called the gems of the theory. A wide spectrum of the most powerful combinatorial tools is presented, including methods of extremal set theory, the linear algebra method, the probabilistic method and fragments of Ramsey theory. A thorough discussion of recent applications to computer science illustrates the inherent usefulness of these methods.

Bimonoids for Hyperplane Arrangements

Bimonoids for Hyperplane Arrangements PDF

Author: Marcelo Aguiar

Publisher: Cambridge University Press

Published: 2020-03-19

Total Pages: 854

ISBN-13: 1108852785

DOWNLOAD EBOOK →

The goal of this monograph is to develop Hopf theory in a new setting which features centrally a real hyperplane arrangement. The new theory is parallel to the classical theory of connected Hopf algebras, and relates to it when specialized to the braid arrangement. Joyal's theory of combinatorial species, ideas from Tits' theory of buildings, and Rota's work on incidence algebras inspire and find a common expression in this theory. The authors introduce notions of monoid, comonoid, bimonoid, and Lie monoid relative to a fixed hyperplane arrangement. They also construct universal bimonoids by using generalizations of the classical notions of shuffle and quasishuffle, and establish the Borel–Hopf, Poincaré–Birkhoff–Witt, and Cartier–Milnor–Moore theorems in this setting. This monograph opens a vast new area of research. It will be of interest to students and researchers working in the areas of hyperplane arrangements, semigroup theory, Hopf algebras, algebraic Lie theory, operads, and category theory.

Extremal Combinatorics

Extremal Combinatorics PDF

Author: Stasys Jukna

Publisher: Springer

Published: 2011-09-10

Total Pages: 412

ISBN-13: 9783642173653

DOWNLOAD EBOOK →

This book is a concise, self-contained, up-to-date introduction to extremal combinatorics for nonspecialists. There is a strong emphasis on theorems with particularly elegant and informative proofs, they may be called gems of the theory. The author presents a wide spectrum of the most powerful combinatorial tools together with impressive applications in computer science: methods of extremal set theory, the linear algebra method, the probabilistic method, and fragments of Ramsey theory. No special knowledge in combinatorics or computer science is assumed – the text is self-contained and the proofs can be enjoyed by undergraduate students in mathematics and computer science. Over 300 exercises of varying difficulty, and hints to their solution, complete the text. This second edition has been extended with substantial new material, and has been revised and updated throughout. It offers three new chapters on expander graphs and eigenvalues, the polynomial method and error-correcting codes. Most of the remaining chapters also include new material, such as the Kruskal—Katona theorem on shadows, the Lovász—Stein theorem on coverings, large cliques in dense graphs without induced 4-cycles, a new lower bounds argument for monotone formulas, Dvir's solution of the finite field Kakeya conjecture, Moser's algorithmic version of the Lovász Local Lemma, Schöning's algorithm for 3-SAT, the Szemerédi—Trotter theorem on the number of point-line incidences, surprising applications of expander graphs in extremal number theory, and some other new results.

Coxeter Bialgebras

Coxeter Bialgebras PDF

Author: Marcelo Aguiar

Publisher: Cambridge University Press

Published: 2022-10-31

Total Pages: 897

ISBN-13: 100924373X

DOWNLOAD EBOOK →

The goal of this monograph is to develop Hopf theory in the setting of a real reflection arrangement. The central notion is that of a Coxeter bialgebra which generalizes the classical notion of a connected graded Hopf algebra. The authors also introduce the more structured notion of a Coxeter bimonoid and connect the two notions via a family of functors called Fock functors. These generalize similar functors connecting Hopf monoids in the category of Joyal species and connected graded Hopf algebras. This monograph opens a new chapter in Coxeter theory as well as in Hopf theory, connecting the two. It also relates fruitfully to many other areas of mathematics such as discrete geometry, semigroup theory, associative algebras, algebraic Lie theory, operads, and category theory. It is carefully written, with effective use of tables, diagrams, pictures, and summaries. It will be of interest to students and researchers alike.