Subnormality of unbounded composition operators over one-circuit directed graphs: Exotic examples

A recent example of a non-hyponormal injective composition operator in an L2-space generating Stieltjes moment sequences, invented by three of the present authors, was built over a non-locally finite directed tree. The main goal of this paper is to solve the problem of whether there exists such an operator over a locally finite directed graph and, in the affirmative case, to find the simplest possible graph with these properties (simplicity refers to local valency). The problem is solved affirmatively for the locally finite directed graph G2,0, which consists of two branches and one loop. The only simpler directed graph for which the problem remains unsolved consists of one branch and one loop. The consistency condition, the only efficient tool for verifying subnormality of unbounded composition operators, is intensively studied in the context of G2,0, which leads to a constructive method of solving the problem. The method itself is partly based on transforming the Krein and the Friedrichs measures coming either from shifted Al-Salam-Carlitz q-polynomials or from a quartic birth and death process.