MacMahon's classical theorem on boxed plane partitions states that the generating function of the plane partitions fitting in an a×b×c box is equal to
where Hq(n):=[0]q!⋅[1]q!…[n−1]q! and . By viewing a boxed plane partition as a lozenge tiling of a semi-regular hexagon, MacMahon's theorem yields a natural q-enumeration of lozenge tilings of the hexagon. However, such q-enumerations do not appear often in the domain of enumeration of lozenge tilings. In this paper, we consider a new q-enumeration of lozenge tilings of a hexagon with three bowtie-shaped regions removed from three non-consecutive sides.
The unweighted version of the result generalizes a problem posed by James Propp on enumeration of lozenge tilings of a hexagon of side-lengths 2n , 2n+3, 2n , 2n+3, 2n , 2n+3 (in cyclic order) with the central unit triangles on the 05a96e6" title="Click to view the MathML source">(2n+3)-sides removed. Moreover, our result also implies a q-enumeration of boxed plane partitions with certain constraints.