Polyakov blocks for the 1D CFT mixed correlator bootstrap

We introduce manifestly crossing-symmetric expansions for arbitrary systems of 1D CFT correlators. These expansions are given in terms of certain Polyakov blocks which we define and show how to compute efficiently. Equality of OPE and Polyakov block expansions leads to sets of sum rules that any mixed correlator system must satisfy. The sum rules are diagonalized by correlators in tensor product theories of generalized free fields. We show that it is possible to do a change of a basis that diagonalizes instead mixed correlator systems involving elementary and composite operators in a single field theory. As an example, we find the first non-trivial examples of optimal bounds, saturated by the mixed correlator system $\phi,\phi^2$ in the theory of a single generalized free field.