Ambarzumyan-type theorem for the Sturm-Liouville operator on the lasso graph

We consider the Sturm-Liouville operator on the lasso graph with a segment and a loop joined at one point, which has arbitrary length. The Ambarzumyan's theorem for the operator is proved, which says that if the eigenvalues of the operator coincide with those of the zero potential, then the potential is zero