A reflection principle for nonintersecting paths and lozenge tilings with free boundaries

TL;DR

This paper introduces a new reflection principle for nonintersecting paths that simplifies enumeration problems and applies it to lozenge tilings with free boundaries, yielding new formulas and proofs in combinatorics.

Contribution

It presents a novel reflection principle formula that complements existing Pfaffian formulas, enabling easier enumeration of nonintersecting paths and lozenge tilings with free boundaries.

Findings

Derived a new reflection principle for nonintersecting paths.

Connected enumeration of paths with unfixed endpoints to fixed endpoints.

Provided new formulas and simplified proofs for tiling problems.

Abstract

Okada and Stembridge's Pfaffian formula for the enumeration of families of nonintersecting paths with fixed starting points and unfixed ending points has been widely used to resolve many challenging problems in enumerative combinatorics. In this paper, we present a new formula that complements Okada and Stembridge's Pfaffian formula. The proof is based on a formula for the square of the sum of maximum minors of matrices obtained from Okada's formula. The combinatorial interpretation of the new formula gives a reflection principle for nonintersecting paths. It implies that the enumeration of families of nonintersecting paths with unfixed ending points can be resolved by enumerating families of nonintersecting paths with fixed ending points instead. Using this formula, we also show that the enumeration of lozenge tilings of a large family of regions with free boundaries can be deduced from those without free boundaries. We then provide several applications of this result, including 1) a new family of regions whose tiling generating function is given by a simple product formula, 2) a simpler proof of a factorization theorem for lozenge tilings of hexagons with holes, and 3) new determinant formulas for the volume generating functions of shifted plane partitions of a shifted shape and symmetric plane partitions of a symmetric shape.