1: \begin{abstract}

2: We consider two algorithmic problems concerning sub-semigroups of Heisenberg groups and, more generally, two-step nilpotent groups.

3: The first problem is \emph{Intersection Emptiness}, which asks whether a finite number of given finitely generated semigroups have empty intersection.

4: This problem was first studied by Markov in the 1940s.

5: We show that Intersection Emptiness is PTIME decidable in the Heisenberg groups $\operatorname{H}_{n}(\mathbb{K})$ over any algebraic number field $\mathbb{K}$, as well as in direct products of Heisenberg groups.

6: We also extend our decidability result to arbitrary finitely generated 2-step nilpotent groups.

7: 

8: The second problem is \emph{Orbit Intersection}, which asks whether the orbits of two matrices under multiplication by two semigroups intersect with each other.

9: This problem was first studied by Babai \emph{et al}.\ (1996), who showed its decidability within commutative matrix groups.

10: We show that Orbit Intersection is decidable within the Heisenberg group $\operatorname{H}_{3}(\mathbb{Q})$.

11: \end{abstract}

12: