On Mixing Eventual and Strong Consistency: Bayou Revisited

Author(s):  
Maciej Kokociński ◽  
Tadeusz Kobus ◽  
Paweł T. Wojciechowski
Keyword(s):  
2020 ◽  
Vol 2020 (9) ◽  
Author(s):  
Cesar Ayala ◽  
Xabier Lobregat ◽  
Antonio Pineda

Abstract We give the hyperasymptotic expansion of the energy of a static quark-antiquark pair with a precision that includes the effects of the subleading renormalon. The terminants associated to the first and second renormalon are incorporated in the analysis when necessary. In particular, we determine the normalization of the leading renormalon of the force and, consequently, of the subleading renormalon of the static potential. We obtain $$ {Z}_3^F $$ Z 3 F (nf = 3) = $$ 2{Z}_3^V $$ 2 Z 3 V (nf = 3) = 0.37(17). The precision we reach in strict perturbation theory is next-to-next-to-next-to-leading logarithmic resummed order both for the static potential and for the force. We find that the resummation of large logarithms and the inclusion of the leading terminants associated to the renormalons are compulsory to get accurate determinations of $$ {\Lambda}_{\overline{\mathrm{MS}}} $$ Λ MS ¯ when fitting to short-distance lattice data of the static energy. We obtain $$ {\Lambda}_{\overline{\mathrm{MS}}}^{\left({n}_f=3\right)} $$ Λ MS ¯ n f = 3 = 338(12) MeV and α(Mz) = 0.1181(9). We have also MS found strong consistency checks that the ultrasoft correction to the static energy can be computed at weak coupling in the energy range we have studied.


Statistics ◽  
2004 ◽  
Vol 38 (6) ◽  
pp. 483-496 ◽  
Author(s):  
Jacobo de Uña-Álvarez ◽  
M. Celia Rodríguez-Campos

2013 ◽  
Vol 78 (3) ◽  
pp. 837-872 ◽  
Author(s):  
Łukasz Czajka

AbstractWe show a model construction for a system of higher-order illative combinatory logic thus establishing its strong consistency. We also use a variant of this construction to provide a complete embedding of first-order intuitionistic predicate logic with second-order propositional quantifiers into the system of Barendregt, Bunder and Dekkers, which gives a partial answer to a question posed by these authors.


Sign in / Sign up

Export Citation Format

Share Document