We study applications of spectral positivity and the averaged null energy condition (ANEC) to renormalization group (RG) flows in two-dimensional quantum field theory. We find a succinct new proof of the Zamolodchikov c-theorem, and derive further independ ...
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...
How can we explain consciousness? This question has become a vibrant topic of neuroscience research in recent decades. A large body of empirical results has been accumulated, and many theories have been proposed. Certain theories suggest that consciousness ...
When conformal field theories (CFTs) are perturbed by marginally relevant deformations, renormalization group (RG) flows ensue that can be studied with perturbative methods, at least as long as they remain close to the original CFT. In this work we study s ...
