Positiveness of the permanent of 4-dimensional polystochastic matrices of order 4

A nonnegative multidimensional matrix is called polystochastic if the sum of its entries over each line is equal to $1$. In this paper we overview known results on positiveness of the permanent of polystochastic matrices and prove that the permanent of every $4$-dimensional polystochastic matrix of order $4$ is greater than zero.Comment: This version is expanded by a historical surve

Transversals, plexes, and multiplexes in iterated quasigroups

A $d$-ary quasigroup of order $n$ is a $d$-ary operation over a set of cardinality $n$ such that the Cayley table of the operation is a $d$-dimensional latin hypercube of the same order. Given a binary quasigroup $G$, the $d$-iterated quasigroup $G^{\left[d\right]}$ is a $d$-ary quasigroup that is a $d$-time composition of $G$ with itself. A $k$-multiplex (a $k$-plex) $K$ in a $d$-dimensional latin hypercube $Q$ of order $n$ or in the corresponding $d$-ary quasigroup is a multiset (a set) of $kn$ entries such that each hyperplane and each symbol of $Q$ is covered by exactly $k$ elements of $K$. A transversal is a 1-plex. In this paper we prove that there exists a constant $c(G,k)$ such that if a $d$-iterated quasigroup $G$ of order $n$ has a $k$-multiplex then for large $d$ the number of its $k$-multiplexes is asymptotically equal to $c(G,k) \left(\frac{(kn)!}{k!^n}\right)^{d-1}$. As a corollary we obtain that if the number of transversals in the Cayley table of a $d$-iterated quasigroup $G$ of order $n$ is nonzero then asymptotically it is $c(G,1) n!^{d-1}$. In addition, we provide limit constants and recurrence formulas for the numbers of transversals in two iterated quasigroups of order 5, characterize a typical $k$-multiplex and estimate numbers of partial $k$-multiplexes and transversals in $d$-iterated quasigroups

Transversals, near transversals, and diagonals in iterated groups and quasigroups

Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin hypercube. Transversals and diagonals in multiary quasigroups are defined so as to coincide with those in the corresponding latin hypercube. We prove that if a group $G$ of order $n$ satisfies the Hall--Paige condition, then the number of transversals in $G[d]$ is equal to $\frac{n!}{ |G'| n^{n-1}} \cdot n!^{d} (1 + o(1))$ for large $d$, where $G'$ is the commutator subgroup of $G$. For a general quasigroup $G$, we obtain similar estimations on the numbers of transversals and near transversals in $G[d]$ and develop a method for counting diagonals of other types in iterated quasigroups.Comment: More details are added to proofs and definitions, typos and errors are correcte