1: \begin{abstract}

2: A fundamental question in rough path theory is whether the expected signature of a geometric rough path completely determines the law of signature. One sufficient condition is that the expected signature has infinite radius of convergence, which is satisfied by various stochastic processes on a fixed time interval, including the Brownian motion. In contrast, for the Brownian motion stopped upon the first exit time from a bounded domain $\Omega$, it is only known that the radius of convergence for the expected signature on sufficiently regular $\Omega$ is strictly positive everywhere, and that  the radius of convergence is finite at some point when $\Omega$ is the $2$-dimensional unit disc  (\cite{boedihardjo2021expected}).

3: 

4: 

5: In this paper, we prove that on any bounded $C^{2,\alpha}$-domain $\Omega \subset \R^d$ with $2\leq d \leq 8$, the expected signature of the stopped Brownian motion has finite radius of convergence everywhere. %This provides a complete solution to the question of finiteness for the radius of convergence in dimension $2$. 

6: A key ingredient of our proof is the introduction of a ``domain-averaging hyperbolic development'' (see Definition~\ref{def: domain avg}), which allows us to symmetrize the PDE system for the hyperbolic development of expected signature by averaging over rotated domains. 

7: \end{abstract}

8: