1: \begin{abstract}

2: 

3: This paper studies certain aspects of harmonic analysis on the rank two free group. We focus on the concept of a positive definite function on the free group and our primary goal is to understand how such functions can be extended from balls of finite radius to the entire group. More specifically, we define a concept of `relative energy' which measures the proximity between a pair of positive definite functions, and we ask whether a family of positive definite functions on a finite ball can be extended to the entire group with control on their relative energies. We find that the answer to this question depends on the configuration of relative energies that we seek to control, and that it has deep connections with classical harmonic analysis and with the recent refutation of Connes' embedding conjecture. 

4: 

5: \end{abstract}

6: