# Brownian centroids

$$\def\Real{\mathbb{R}}\def\Z{\mathcal{Z}}\def\sg{\mathfrak{S}}\def\B{\mathbf{B}}\def\xx{\mathbf{x}}\def\ex{\mathbb{E}}$$

Consider $$n$$ points in Euclidean space, $$\xx={x_1,\ldots, x_n}, x_k\in \Real^d, n\leq d+1$$.

Generically, there is a unique sphere in the affine space spanned by those points, containing all of them. This centroid (which we will denote as $$o(x_1,\ldots,x_n)$$) lies at the intersection of the bisectors $$H_{kl}, 1\leq k\lt l\leq n$$, hyperplanes of points equidistant from $$x_k, x_l$$.

Assume now that the points $$x_k,k=1,\ldots,n$$ are independent standard $$d$$-dimensional Brownian motions. What is the law of the centroid?

It quite easy to see that it is a continuous martingale. What is the quadratic variation of $$o$$?

If the directions orthogonal to the affine span $$L(\xx)$$ of the tuple, the answer is immediate: it is proportional to
$$\sum_{k=1}^n p^2_k,$$
where $$p_k$$ are the barycentric coordinates of $$o$$ with respect to $$x_1,\ldots,x_n$$. Indeed, it is immediate that if $$dx_k^\perp$$ are the components of the Brownian increments orthogonal to $$L(\xx)$$, then
$$do^\perp(\xx)=\sum_k p_k dx_k^\perp.$$
It follows -as $$dx_k^\perp$$ are independent and uncorrelated) that the component of $$o$$ orthogonal to $$L(\xx)$$ is a martingale with variation equal to (Euclidean norm on $$L(\xx)^\perp$$ times) $$\sum_k p_k^2$$.

Let’s turn to the motion of $$o(\xx)$$ inside $$L(\xx)$$. Let $$S(\xx)\subset L(\xx)$$ be the sphere centered at the centroid and containing all the points of the sample. Let $$dx_k^\parallel=\xi_k+\eta_k$$ be the decomposition of the $$L(\xx)$$ component of $$dx_k$$ into the vector in the tangent space $$\xi_k\in T_{x_k}S(\xx)$$, and the vector orthogonal to it. If we denote by $$n_k=(x_k-o(\xx))/|x_k-o(\xx)|$$ the unit norm vector from the centroid to $$k$$-th point of the sample, then $$\eta_k=s_k\cdot n_k$$, where $$s_k$$ is the increment of a Brownian motion independent of all all other components (as follows from the orthogonalities hardwired in the construction).

Now, the condition that as the points of the sample move, the distances to the centroid remain constant is equivalent to
$$\langle \eta_k-\nu,n_k\rangle=\langle \eta_l-\nu,n_l\rangle,$$
for all $$1\leq l,k\leq n$$. (Here we denote by
$$\nu:=do(\xx)^\parallel$$
the $$L(\xx)$$-component of $$do(\xx)$$.)
Equivalently, this means that $$\langle \nu, n_k-n_l\rangle=s_k-s_l$$.
As $$s_k, s_l$$ are independent, with unit quadratic variation, we conclude that
$$\langle (n_k-n_l),C (n_k-n_l)\rangle=2$$
for all $$k,l$$, – here
$$C:=\ex \nu\otimes\nu’$$
is the quadratic variation of the centroid in the affine plane spanned by the sample.

Geometrically, an equivalent description is that $$C=AA’$$, where $$A$$ is the linear part of the affine transformation taking the points of the sample to the regular $$n$$-simplex with sides $$\sqrt{2}$$.]