Given a family {A x m } m∈Z d + x∈X (X is a non-empty set) of bounded linear operators between the complex inner product space D and the complex Hilbert space H we characterize the existence of completely hyperexpansive dtuples T = (T1, . . . , T d ) on H such that A x m = T m A x 0 for all m ∈ Z d + and x ∈ X. 1. From now on D stands for a complex inner product space and H for a complex Hilbert space. Let us denote by L(D, H) (resp. B(D, H)) the set of all linear (resp. bounded linear) operators from D to H. For simplicity we write L(H), B(H) instead of B(H, H); I D stands for the identity operator on D. For T ∈ L(D, H), we set R(T ) = T (D). Denote by Z the additive group of all integers. Let Z + stand for the set of all nonnegative integers and let Z d + = Z + × · · · × Z + (d-times) for the Abelian semigroup under coordinatewise addition with the identity element 0 = (0, . . . , 0). For m = (m 1 , . . . , m d ) and n = (n 1 , . . . , n d ) in Z d + we write m n if m i n i for all i ∈ {1, . . . , d} and use |m| to denote m 1 + · · · + m d . Let e d j = (δ j,1 , . . . , δ j,d ), where δ k,l stands for the Kronecker symbol * This work was supported by the MNiSzW grant N201 026 32/1350.