Disjoint strong transitivity of composition operators

Abstract: A Furstenberg family $\mathcal{F}$ is a collection of infinite subsets of the set of positive integers such that if $A\subset B$ and $A\in \mathcal{F}$, then $B\in \mathcal{F}$. For a Furstenberg family $\mathcal{F}$, finitely many operators $T_1,...,T_N$ acting on a common topological vector space $X$ are said to be disjoint $\mathcal{F}$-transitive if for every non-empty open subsets $U_0,...,U_N$ of $X$ the set ${n\in \mathbb{N}:\ U_0 \cap T_1^{-n}(U_1)\cap...\cap T_N^{-n}(U_N)\neq\emptyset}$ belongs to $\mathcal{F}$. In this paper, depending on the topological properties of $\Omega$, we characterize the disjoint $\mathcal{F}$-transitivity of $N\geq2$ composition operators $C_{\phi_1},\ldots,C_{\phi_N}$ acting on the space $H(\Omega)$ of holomorphic maps on a domain $\Omega\subset \mathbb{C}$ by establishing a necessary and sufficient condition in terms of their symbols $\phi_1,...,\phi_N$.