f71a30f0b00a2f8a.tex
1: \begin{abstract}
2:   A Dirichlet $k$-partition of a domain $U \subseteq \RR^d$ is a collection of
3:   $k$ pairwise disjoint open subsets such that the sum of their first
4:   Laplace-Dirichlet eigenvalues is minimal. A discrete version of Dirichlet
5:   partitions has been posed on graphs with applications in data analysis. Both
6:   versions admit variational formulations: solutions are characterized by
7:   minimizers of the Dirichlet energy of mappings from $U$ into a singular space
8:   $\Sigma_k \subseteq \RR^k$. In this paper, we extend results of N.\ Garc\'ia
9:   Trillos and D.\ Slep\v{c}ev to show that there exist solutions of the
10:   continuum problem arising as limits to solutions of a sequence of discrete
11:   problems. Specifically, a sequence of points $\{x_i\}_{i \in \NN}$ from $U$
12:   is sampled i.i.d.\ with respect to a given probability measure $\nu$ on $U$
13:   and for all $n \in \NN$, a geometric graph $\GGG_n$ is constructed from the
14:   first $n$ points $x_1, x_2, \ldots, x_n$ and the pairwise distances between
15:   the points. With probability one with respect to the choice of points
16:   $\{x_i\}_{i \in \NN}$, we show that as $n \to \infty$ the discrete Dirichlet
17:   energies for functions $\GGG_n \to \Sigma_k$ $\Gamma$-converge to (a scalar
18:   multiple of) the continuum Dirichlet energy for functions $U \to \Sigma_k$
19:   with respect to a metric coming from the theory of optimal transport. This,
20:   along with a compactness property for the aforementioned energies that we
21:   prove, implies the convergence of minimizers. When $\nu$ is the uniform
22:   distribution, our results also imply the statistical consistency statement
23:   that Dirichlet partitions of geometric graphs converge to partitions of the
24:   sampled space in the Hausdorff sense.
25: \end{abstract}
26: