We study non-Gaussianity induced by a pseudo Nambu-Goldstone boson with a cosine-type scalar potential. We focus on how the non-Gaussianity is affected when the pseudo Nambu-Goldstone boson rolls down from near the top of the scalar potential where the deviation from a quadratic potential is large. We find that the resultant non-Gaussianity is similar to that obtained in the quadratic potential...

Exploiting linear type structure, we introduce a new theory of weak bisimilarity for the π-calculus in which we abstract away not only τ -actions but also non-τ actions which do not affect well-typed observers. This gives a congruence far larger than the standard bisimilarity while retaining semantic soundness. The framework is smoothly extendible to other settings involving nondeterminism and ...