Dimension conservation of harmonic measures in products of hyperbolic spaces

We show that the harmonic measure on a product of boundaries satisfies dimension conservation for a random walk with non-elementary marginals on a countable group acting on a product of hyperbolic spaces under the finite first moment condition.