Related papers: Introduction to the BV-BFV formalism

On the basis of the general character and operation of the process of perception, a formalism is sought to mathematically describe the subjective or abstract/mental process of perception. It is shown that the formalism of orthodox quantum…

This is a companion paper of a long work appeared in [1] discussing the super-Chern-Simons theory on supermanifolds. Here, it is emphasized that the BV formalism is naturally formulated using integral forms for any supersymmetric and…

We review the Batalin-Vilkovisky quantization procedure for Yang--Mills theory on a 2-point space.

These lecture notes (from the Second Autumn School in High Energy Physics and Quantum Field Theory, Yerevan 2014) cover a number of topics related to geometric quantization. Most of the material is presented from a physicist's point of…

We study systematically finite BRST-BFV transformations in $Sp(2)$-extended generalized Hamiltonian formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field…

We express covariance of the Batalin-Vilkovisky formalism in classical mechanics by means of the Maurer-Cartan equation in a curved Lie superalgebra, defined using the formal variational calculus and Sullivan's Thom-Whitney construction. We…

We describe gauge-fixing at the level of virtual paths in the path integral as a non-symplectic BRST-type of flow on the path phase space. As a consequence a gauge-fixed, non-local symplectic structure arises. Restoring of locality is…

We construct a formal global quantization of the Poisson Sigma Model in the BV-BFV formalism using the perturbative quantization of AKSZ theories on manifolds with boundary and analyze the properties of the boundary BFV operator. Moreover,…

In a pair of recent papers (one to appear and one forthcoming), the author develops a general version of small cancellation theory applicable in higher dimensions, and then applies this theory to the Burnside groups of sufficiently large…

This is the abstract of a series of lectures given during the XIIIth School on Geometry and Physics, Bialystok (Poland), in July 2024. In this minicourse, we first examine the algebraic aspects of barycentric algebras. Then, we focus on…

We prove that the differential graded Lie algebra of functionals associated to the Chern-Simons theory of a semisimple Lie algebra is homotopy abelian. For a general field theory, we show that the variational complex in the…

We give an introduction to rigid supersymmetry, supergravity and superspace by considering a quantum mechanical model. We analyze the constraints in superspace in this simplified model, and compare the Hamiltonian and Lagrangian BRST…

Of late, the field of BFKL physics has been the subject of significant developments. The calculation of the NLL terms was recently completed, and they turned out to be very large. Techniques have been proposed to resum these corrections.…

This paper introduces a logical system, called BV, which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challenging for the sequent calculus, and so far it is not achieved…

This volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th Symposium on Formal Methods, FM 2012. The focus of the…

A discussion of inhomogeneity is indispensable to understand quantum cosmology, even if one uses the dynamics of homogeneous geometries as a first approximation. While a full quantization of inhomogeneous gravity is not available, a broad…

We show that the Husain-Kuchar model can be described in the framework of BF theories. This is a first step towards its quantization by standard perturbative QFT techniques or the spin-foam formalism introduced in the space-time description…

This tutorial introduces quantum computing with a focus on the applicability of formal methods in this relatively new domain. We describe quantum circuits and convey an understanding of their inherent combinatorial nature and the…

Valuation-Based~System can represent knowledge in different domains including probability theory, Dempster-Shafer theory and possibility theory. More recent studies show that the framework of VBS is also appropriate for representing and…

This document is meant as a pedagogical introduction to the modern language used to talk about quantum theory, especially in the field of quantum information. It assumes that the reader has taken a first traditional course on quantum…