On the number of multidimensional monotone extensive mappings (Q1607486)

Let \(E_k\) denote a set of \(k\) elements with some partial order \(\geq\). Let \(E_k^n\) be its Cartesian power with the pointwise partial order \[ x\geq y \quad \Longleftrightarrow \quad \forall i \quad x_i\geq y_i \] A monotone map \(f:E_k^n\to E_k^n\) is called extensive, if it does not decrease the preimage. The number \(V_n^{1,2}\) of all monotone extensive maps depends on the properties of the initial partial order \(\geq\). It is shown that under some assumptions, the asymptotics of \(V_n^{1,2}\) is \[ \log_k V_n^{1,2}\sim C k^{n-1}\sqrt{n} . \]