The cardinality of Kiselman's semigroups grows double-exponentially (Q6203873)

Kiselman's semigroup \(K_n\) is a generalization by \textit{G. Kudryavtseva} and \textit{V. Mazorchuk} [Yokohama Math. J. 55, No. 1, 21--46 (2009; Zbl 1216.20044)] of a monoid introduced by \textit{C. O. Kiselman} [Trans. Am. Math. Soc. 354, No. 5, 2035--2053 (2002; Zbl 1012.20062)] in a convexity theory setting. In this short note, the authors provide easy double exponential upper and lower bounds for \(|K_n|\) and show that the sequence \(2^{-n/2}\log|K_n|\) has a finite limit when restricted to either even or odd values of \(n\). They prove that \(|K_n|\geq \frac{1}{2}\cdot 2^{2^{\lceil n/2\rceil}}\) and if \(n = 2k\) then \(|K_n|\leq 2^{6\cdot 2^{k}}\) and if \(n = 2k + 1\) then \(|K_n|\leq 2^{c\cdot 2^{n/2}}\), where \(c=\log(432)/\sqrt{2}\).