Results 11 to 20 of about 79,255 (279)

A three-loop check of the “a-maximization” in SQCD with adjoint(s) [PDF]

JETP Letters, 2010
5 pages; the title changed, the text improved and ...
D. Anselmi, D. Kutasov, E. Barnes, I. Jack, I. Jack, I. Jack, K. Intriligator, V. L. Chernyak, V. Novikov   +8 more
openaire   +3 more sources

Liouville field theory with heavy charges. II. The conformal boundary case [PDF]

, 2006
We develop a general technique for computing functional integrals with fixed area and boundary length constraints. The correct quantum dimensions for the vertex functions are recovered by properly regularizing the Green function.
A. Erdelyi, A. Prudnikov, A.B. Zamolodchikov, E. Picard, Erik Tonni, J. Teschner, J. Teschner, K. Hosomichi, N. Seiberg, P. Menotti, P.H. Ginsparg, P.R. Garabedian, Pietro Menotti, V. Fateev   +13 more
core   +2 more sources

Termination of derivations for minimal tense logic

Lietuvos Matematikos Rinkinys, 2009
It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj   +1 more source

One loop mass renormalization of massive states using pure spinor formalism

Journal of High Energy Physics, 2023
As a check of the first massive integrated vertex operator in the pure spinor formalism constructed in arXiv:1802.04486 , we compute the one loop 2-point function of the stable non BPS massive states in SO(32) heterotic string theory.
Sitender Pratap Kashyap, Mritunjay Verma
doaj   +1 more source

Redundancy Elimination and Loop Checks for Logic Programs

Information and Computation, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
FERRUCCI, Filomena, PACINI, Giuliano, SESSA, Maria Immacolata   +2 more
openaire   +3 more sources

Evidence for the Strongest Version of the 4d a-Theorem, via a-Maximization Along RG Flows [PDF]

, 2004
In earlier work, we (KI and BW) gave a two line "almost proof" (for supersymmetric RG flows) of the weakest form of the conjectured 4d a-theorem, that a_{IR}
Anselmi, Anselmi, Anselmi, Anselmi, Anselmi, Argyres, Argyres, Brian Wecht, Cappelli, Cardy, Csaki, Edwin Barnes, Forte, Franco, Freedman, Gauntlett, Herzog, Intriligator, Intriligator, Intriligator, Jack, Jack, Jack, Jason Wright, Ken Intriligator, Kogan, Kogan, Kutasov, Kutasov, Kutasov, Novikov, Osborn, Osborn, Osborn, Osborn, Seiberg, Wallace, Wallace, Zamolodchikov   +38 more
core   +3 more sources

Method of marks for propositional linear temporal logic

Lietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj   +1 more source

The l-loop banana amplitude from GKZ systems and relative Calabi-Yau periods

Journal of High Energy Physics, 2020
We use the GKZ description of periods and certain classes of relative periods on families of Barth-Nieto Calabi-Yau (l − 1)-folds in order to solve the l-loop banana amplitudes with their general mass dependence.
Albrecht Klemm, Christoph Nega, Reza Safari   +2 more
doaj   +1 more source

Full-color three-loop three-point form factors in 𝒩 = 4 SYM

Journal of High Energy Physics, 2022
We present the detailed computation of full-color three-loop three-point form factors of both the stress-tensor supermultiplet and a length-three BPS operator in 𝒩 = 4 SYM.
Guanda Lin, Gang Yang, Siyuan Zhang
doaj   +1 more source

Cut, invariant rule, and loop-check free sequent calculus for PLTL

Lietuvos Matematikos Rinkinys, 2011
In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis, Regimantas Pliuškevičius   +1 more
doaj   +1 more source