We study free
-pluriharmonic
functions on the noncommutative regular polyball
,
, which is an analogue of the
scalar polyball
. The regular
polyball has a universal model
consisting of left creation operators acting on the tensor product
of full Fock spaces.
We introduce the class
of
-multi-Toeplitz
operators on this tensor product and prove that
, where
is the noncommutative polyball algebra generated by
and the identity. We show that the bounded free
-pluriharmonic
functions on
are precisely the noncommutative Berezin transforms of
-multi-Toeplitz
operators. The Dirichlet extension problem on regular polyballs is also solved. It is proved that a
free
-pluriharmonic
function has continuous extension to the closed polyball
if and only if it is the noncommutative Berezin transform of a
-multi-Toeplitz
operator in
.
We provide a Naimark-type dilation theorem for direct products
of unital free semigroups, and use it to obtain a structure theorem which characterizes
the positive free
-pluriharmonic
functions on the regular polyball with operator-valued coefficients. We define
the noncommutative Berezin (resp. Poisson) transform of a completely bounded
linear map on
,
the
-algebra
generated by
,
and give necessary and sufficient conditions for a function to be the Poisson
transform of a completely bounded (resp. completely positive) map. In the last
section of the paper, we obtain Herglotz–Riesz representation theorems for free
holomorphic functions on regular polyballs with positive real parts, extending the
classical result as well as the Korányi–Pukánszky version in scalar polydisks.