Distributed Testing of Multicomponent Systems

Tyutin, Boris; Nikiforov, Igor; Kotlyarov, Vsevolod

doi:10.15514/syrcose-2012-6-10

Cited by 5 publications

(5 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(4), by the use of a [n, n + 1] Padé approximant 1 to simultaneously interpolate the IR behaviour of those lattice results [31] and express the UV constraint on ∆ F (k 2 ; ζ) given by Eq. (5). The result for the RGI function D(k 2 ) thus obtained appear displayed in Fig.…”

Section: The Computation Of the Pi Effective Couplingmentioning

confidence: 75%

Process-Independent Effective Coupling: From QCD Green’s Functions to Phenomenology

et al. 2018

View full text Add to dashboard Cite

This article reports on a very recent proposal for a new type of process-independent QCD effective charge [1] defined, as an anologue of the Gell-Mann-Low effective charge in QCD, on the ground of nothing but the knowledge of the gauge-field two-point Green's function, albeit modified within a particular computational framework; namely, the combination of pinch technique and background field method which makes possible a systematic rearranging of classes of diagrams in order to redefine the Green's function and have them obey linear QED-like Slavnov-Taylor identities. We have here calculated that effective charge, shown how strikingly well it compares to a processdependent effective charge based on the Bjorken sum rule; and, finally, employed it in an exploratory calculation of the proton electromagnetic form factor in the hard scattering regime.

show abstract

Section: The Computation Of the Pi Effective Couplingmentioning

confidence: 75%

Process-Independent Effective Coupling: From QCD Green’s Functions to Phenomenology

et al. 2018

View full text Add to dashboard Cite

show abstract

“…They match those of [1]. 9 A second gauge choice could have been δφ = ϕ(t, x); δh ij = γ ij ; ∂ i γ ij = 0; γ ii = 0, in which case one immediately obtains δN =φ 2ρ ϕ;…”

Section: Discussionmentioning

confidence: 99%

“…However, from the algebraic point of view the situation does not seem to be very satisfactory. The gauge invariance of the Einstein-Hilbert action coupled to the inflaton field is broken by the gauge-fixing and it should be therefore replaced by the corresponding Becchi-Rouet-Stora-Tyutin (BRST) symmetry [6][7][8][9]. The latter, in turn, should yield a single ST identity [10,11] which is expected to encode all the relevant consistency relations between the correlators of the tensor and scalar gravitational modes.…”

Section: Introductionmentioning

confidence: 99%

The cosmological Slavnov-Taylor identity from BRST symmetry in single-field inflation

Binosi

Quadri

2016

J. Cosmol. Astropart. Phys.

View full text Add to dashboard Cite

The cosmological Slavnov-Taylor (ST) identity of the Einstein-Hilbert action coupled to a single inflaton field is obtained from the Becchi-Rouet-Stora-Tyutin (BRST) symmetry associated with diffeomorphism invariance in the Arnowitt-Deser-Misner (ADM) formalism. The consistency conditions between the correlators of the scalar and tensor modes in the squeezed limit are then derived from the ST identity, together with the softly broken conformal symmetry. Maldacena's original relations connecting the 2-and 3-point correlators at horizon crossing are recovered, as well as the next-to-leading corrections, controlled by the special conformal transformations.

show abstract

“…The quantization procedure involves the construction of gauge invariant observables from the cohomology of the BRST complex [3,16]. Kostant and Sternberg gave a mathematically rigorous description of the theory [12] in the case where the constraints arise from a Hamiltonian group action on phase space.…”

Section: Introductionmentioning

confidence: 99%

The BRST complex of homological Poisson reduction

Müller-Lennert

2016

Lett Math Phys

View full text Add to dashboard Cite

Abstract. BRST complexes are differential graded Poisson algebras. They are associated to a coisotropic ideal J of a Poisson algebra P and provide a description of the Poisson algebra (P/J) J as their cohomology in degree zero. Using the notion of stable equivalence introduced in [6], we prove that any two BRST complexes associated to the same coisotropic ideal are quasi-isomorphic in the case P = R[V ] where V is a finite-dimensional symplectic vector space and the bracket on P is induced by the symplectic structure on V . As a corollary, the cohomology of the BRST complexes is canonically associated to the coisotropic ideal J in the symplectic case. We do not require any regularity assumptions on the constraints generating the ideal J. We finally quantize the BRST complex rigorously in the presence of infinitely many ghost variables and discuss uniqueness of the quantization procedure.

show abstract

Distributed Testing of Multicomponent Systems

Abstract: -This paper features an approach that brings together testing of multicomponent systems, formal requirement specifications and automated test suit generation in a one technology.

Cited by 5 publications

References 4 publications

Process-Independent Effective Coupling: From QCD Green’s Functions to Phenomenology

Process-Independent Effective Coupling: From QCD Green’s Functions to Phenomenology

The cosmological Slavnov-Taylor identity from BRST symmetry in single-field inflation

The BRST complex of homological Poisson reduction

Contact Info

Product

Resources

About