arXiv subjects
Publications and source records attributed to Jim McCarthy.
N-PAT is a new model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks. In this paper, we describe its operation and discuss mechanisms that are tailored to the efficient verification of nested-models. Further, we motivate the advantages of N-PAT over traditional model-checking tools through a network security case study.
We compute the effective action for scattering of three well-separated extremal brane solutions, in 11d supergravity, with zero p_ transfer and small transverse velocities. Using an interpretation of the conjecture of Maldacena, following Hyun, this can be viewed as the large N limit of the Matrix theory description of three supergraviton scattering at leading order. The result is consistent with the perturbative supergravity calculation.
We examine the claim that the effective action of four-dimensional SU(2)_L gauge theory at high and low temperature contains a three-dimensional Chern-Simons term with coefficient being the chemical potential for baryon number. We perform calculations in a two-dimensional toy model and find that the existence of the term is rather subtle.
We introduce the notion of a fused quantum superplane by allowing for terms $θθ\sim x$ in the defining relations. We develop the differential calculus for a large class of fused quantum superplanes related to particular solutions of the Yang-Baxter equation.
The noncritical $4D$ $\cW_3$ string is a model of $\cW_3$ gravity coupled to two free scalar fields. In this paper we discuss its BRST quantization in direct analogy with that of the $2D$ (Virasoro) string. The physical operators form a BV-algebra. We model this BV-algebra on that of the polyderivations of a commutative ring on six variables with a quadratic constraint, or, equivalently, on the BV-algebra of (polynomial) polyvector fields on the base affine space of $SL(3,\CC)$. Details have appeared elsewhere. To appear in the proceedings of ``STRINGS '95: Future Perspectives in String Theory,'' USC, March 13--18, 1995
I summarize some recent results obtained in collaboration with P.~Bouwknegt and K.~Pilch on the spectrum of physical states in $\cW_3$ gravity coupled to $c=2$ matter. In particular, it is shown that the algebra of operators corresponding to physical states -- defined as a semi-infinite (or BRST) cohomology of the $\cW_3$ algebra -- carries the structure of a G-algebra. This G-algebra has a quotient which is isomorphic to the G-algebra of polyvector fields on the base affine space of $SL(3,\CC)$. Details have appeared elsewhere. To appear (with title change) in the proceedings of the ``H.S. Green and A. Hurst Festschrift: Confronting the Infinite'' Adelaide, March 1994.
The noncritical $D=4$ $W_3$ string is a model of $W_3$ gravity coupled to two free scalar fields. In this paper we discuss its BRST quantization in direct analogy with that of the $D=2$ (Virasoro) string. In particular, we calculate the physical spectrum as a problem in BRST cohomology. The corresponding operator cohomology forms a BV-algebra. We model this BV-algebra on that of the polyderivations of a commutative ring on six variables with a quadratic constraint, or, equivalently, on the BV-algebra of (polynomial) polyvector fields on the base affine space of $SL(3,C)$. In this paper we attempt to present a complete summary of the progress made in these studies. [...]
We discuss various techniques for computing the semi-infinite cohomology of highest weight modules which arise in the BRST quantization of two dimensional field theories. In particular, we concentrate on two such theories -- the $G/H$ coset models and $2d$ gravity coupled to $c\leq 1$ conformal matter. (to appear in the proceedings of the XXV Karpacz Winter School)
We extend Felder's construction of Fock space resolutions for the Virasoro minimal models to all irreducible modules with $c\leq 1$. In particular, we provide resolutions for the representations corresponding to the boundary and exterior of the Kac table.