Abstract:In matching theory, one of the most fundamental and classical branches of combinatorics, canonical decompositions of graphs are powerful and versatile tools that form the basis of this theory. However, the abilities of the known canonical decompositions, that is, the Dulmage–Mendelsohn, Kotzig–Lovász, and Gallai–Edmonds decompositions, are limited because they are only applicable to particular classes of graphs, such as bipartite graphs, or they are too sparse to provide sufficient information. To overcome these limitations, we introduce a new canonical decomposition that is applicable to all graphs and provides much finer information. This decomposition also provides the answer to the longstanding absence of a canonical decomposition that is nontrivially applicable to general graphs with perfect matchings. We focus on the notion of factor‐components as the fundamental building blocks of a graph; through the factor‐components, our new canonical decomposition states how a graph is organized and how it contains all the maximum matchings. The main results that constitute our new theory are the following: (i) a canonical partial order over the set of factor‐components, which describes how a graph is constructed from its factor‐components; (ii) a generalization of the Kotzig–Lovász decomposition, which shows the inner structure of each factor‐component in the context of the entire graph; and (iii) a canonically described interrelationship between (i) and (ii), which integrates these two results into a unified theory of a canonical decomposition. These results are obtained in a self‐contained way, and our proof of the generalized Kotzig–Lovász decomposition contains a shortened and self‐contained proof of the classical counterpart.

Bipartite Graft II: Cathedral Decomposition for Combs

Bipartite Graft I: Dulmage-Mendelsohn Decomposition for Combs

Bipartite Graft III: General Case

Constructive Characterization of Critical Bipartite Grafts

Basilica: New canonical decomposition in matching theory

Charmed roots and the Kroweras complement

Comb And Bottlebrush Graft Copolymers In A Melt

Homology of matching complexes and representations of symmetric groups

An elaborate new proof of Cayley's formula

The Chain Matrix of Bouquets of Geometric Lattices and its Determinant

Induced matching, ordered matching and Castelnuovo-Mumford regularity of bipartite graphs

Matching Theory and Barnette's Conjecture

Decomposition of (infinite) digraphs along directed 1-separations

Distal combinatorial tools for graphs of bounded twin-width

On the topology and combinatorics of decomposable arrangements

Braids and combinatorial knot Floer homology

A Combinatorial Decomposition of Knapsack Cones

Composition closed premodel structures and the Kreweras lattice

Bijections between colored compositions, Dyck paths, and polygon partitions

Noncrossing arithmetics

On Homological Invariants Associated to Multipartite Crown Graphs