Three Theorems on the Uniqueness of the Plancherel Measure from Different Viewpoints

We consider three uniqueness theorems: one from the theory of meromorphic functions, another from asymptotic combinatorics, and the third concerns representations of the infinite symmetric group. The first theorem establishes the uniqueness of the function $\exp z$ in a class of entire functions. The second is about the uniqueness of a random monotone nondegenerate numbering of the two-dimensional lattice $\mathbb Z^2_+$, or of a nondegenerate central measure on the space of infinite Young tableaux. And the third theorem establishes the uniqueness of a representation of the infinite symmetric group $\mathfrak S_\mathbb N$ whose restrictions to finite subgroups have vanishingly few invariant vectors. However, in fact all the three theorems are, up to a nontrivial rephrasing of conditions from one area of mathematics in terms of another area, the same theorem! Up to now, researchers working in each of these areas have not been aware of this equivalence. The parallelism of these uniqueness theorems on the one hand and the difference of their proofs on the other call for a deeper analysis of the nature of uniqueness and suggest transferring the methods of proof between the areas. More exactly, each of these theorems establishes the uniqueness of the so-called Plancherel measure, which is the main object of our paper. In particular, we show that this notion is general for all locally finite groups.