Journal of Integer Sequences, Vol. 28 (2025), Article 25.7.3

Enumeration of Coronas for Lozenge Tilings


Craig Knecht
Harris Lane
Gallatin, TN 37066
USA

Feihu Liu and Guoce Xin
School of Mathematical Sciences
Capital Normal University
Beijing, 100048
China

Abstract:

We study the enumeration of coronas. This counting problem concerns two specific types of lozenge tilings. Exact closed-form formulas for these were conjectured in sequences A380346 and A380416 of the OEIS. We prove these conjectures by employing the weighted adjacency matrix. Furthermore, we extend these results to a general setting.


Full version:  pdf,    ps,    latex    


(Concerned with sequences A380346 A380416.)


Received November 19 2025; revised versions received December 3 2025; December 5 2025. Published in Journal of Integer Sequences, December 5 2025.


Return to Journal of Integer Sequences home page