A bstract Irrelevant operators in a CFT modify the usual Weyl transformation of metric. metric beta-function turns on, which modifies anomalies as well. In this paper, we study relation between bulk diffeomorphisms and at boundary when massive scalar field, sources irrelevant boundary, is coupled to Considering effect backreaction generated by provide holographic description anomalies. Our resu...

We investigate the stability of a class of derivative theories known as P (X) and Galileons against corrections generated by quantum effects. We use an exact renormalisation group approach to argue that these theories are stable under quantum corrections at all loops in regions where the kinetic term is large compared to the strong coupling scale. This is the regime of interest for screening or...

1 Property-irrelevant predicates Loops (and recursions) are major hurdles in scalability of property verification tools (verifiers). Although slicing removes loops which have no bearing on assert statement in terms of its value and reachability, sliced programs still have loops challenging scale up of the verifiers. If we can transform a program by eliminating some of such loops, it is more lik...