Semigroups of matrices with dense orbits (revised version)
For $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$ and every $n\ge 1$ we construct two $n\times n$ matrices $A$ and $B$ such that the orbit of every vector $p\in\mathbb{K}^n$ with $p_1\ne 0$ under the semigroup generated by $A$ and $B$ is dense in $\mathbb{K}^n$; the remaining vectors lie in an invariant hyperplane, so the set of vectors with dense orbit is exactly the complement of a hyperplane. Thus two generators always suffice for a hypercyclic semigroup of matrices, in contrast with the commutative case, where $n+1$ generators are needed on $\mathbb{C}^n$. We give a transparent reformulation of the hypotheses, a criterion for the density of $\{a^mb^n\}$ that makes them checkable, and explicit examples with complete proofs. As applications we obtain affine pairs on $\mathbb{K}^n$ all of whose orbits are dense, and, for every $n$, a pair of real matrices with an orbit that is somewhere…