Algebraic Representations of Unique Bipartite Perfect Matching

Abstract

We obtain complete characterizations of the Unique Bipartite Perfect Matching function, and of its Boolean dual, using multilinear polynomials over the reals. Building on previous results [Ben20, BN21], we show that, surprisingly, the dual description is sparse and has low ℓ1-normonly exponential in Θ(n log n), and this result extends even to other families of matching-related functions. Our approach relies on the matching-covered lattice and on properties of upper-sums of its Möbius numbers, and a key ingredient in our proof is Möbius inversion formula.These polynomial representations yield complexity-theoretic results. We show that unique bipartite matching is evasive for classical decision trees, and nearly evasive for generalized query models. We also obtain a tight Θ(n log n) bound on the log-rank of the associated two-party communication task.