Related papers: Faddeev-Jackiw quantization of four dimensional BF…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
By a series of simple examples, we illustrate how the lack of mathematical concern can readily lead to surprising mathematical contradictions in wave mechanics. The basic mathematical notions allowing for a precise formulation of the theory…
The Theory of Functional Connections (TFC) is a functional interpolation framework founded upon the so-called constrained expression: a functional that expresses the family of all possible functions that satisfy some user-specified, linear…
We perform, in a manifestly $SO(n-1,1)$ [$SO(n)$] covariant fashion, the Hamiltonian analysis of general relativity in $n$ dimensions written as a constrained $BF$ theory. We solve the constraint on the $B$ field in a way naturally adapted…
A compact method for amplitude calculations in theories with Dirac and Majorana effective operators is discussed. Using the renormalizable formalism of Denner et al., [1,2] for propagators, vertices and fermion (number) flow and introducing…
This is a survey on symplectic birational geometry. In arbitrary dimension, this subject is centered around the notion of uniruledness. In low dimensions, we will also discuss Kodaira dimension and minimality.
Recently, we have proposed a new front-form quantization which treated both the $x^{+}$ and the $x^{-}$ coordinates as front-form 'times.' This quantization was found to preserve parity explicitly. In this paper we extend this construction…
We study a series of powerful correspondences among new multi-gravity extensions of the Jackiw-Teitelboim model, multi-SYK models and multi-Schwarzian quantum mechanics, in the $\rm{(A)dS_{2}/CFT}$ arena. Deploying a $BF$-like formulation…
The interactions which preserve the structure of the gauge interactions of the free theory are introduced in terms of the generalized fields method of solving the Batalin-Vilkovisky master equation. It is shown that by virtue of this method…
On a symplectic manifold a family of generalized Poisson brackets associated with powers of the symplectic form is studied. The extreme cases are related to the Hamiltonian and Liouville dynamics. It is shown that the Dirac brackets can be…
The syntactic calculus of Lambek is a deductive system for the multiplicative fragment of intuitionistic non-commutative linear logic. As a fine-grained calculus of resources, it has many applications, mostly in formal computational…
An abelian version of standard general relativity in the Cartan-Palatini gauge-like formulation in four dimensions has been introduced. Traditional canonical analysis utilizing similarities to the akin Husain-Kuchar SU(2) version of gravity…
In the first-order formulation, general relativity could be formally viewed as the topological $BF$ theory with a specific constraint, the Plebanski constraint. $BF$ theory is expected to be the classical limit of the Crane-Yetter~(CY)…
We propose a methodology to address two analysis problems concerning complex systems, namely bounding state functionals of stochastic differential equations (SDEs) and verifying set avoidance of systems described by partial differential…
These notes are intended to provide a self-contained introduction to the basic ideas of finite dimensional Batalin-Vilkovisky (BV) formalism and its applications. A brief exposition of super- and graded geometries is also given. The…
F-theory, as Theory of Everything is compactified on Calabi-Yau threefolds or fourfolds. Using toric approximation of Batyrev and mirror symmetry of Calabi-Yau manifolds it is possible to present Calabi-Yau in the form of dual integer…
This note studies the quantized corner structure of four-dimensional $BF$ theory, classifies the associated free and physical corner algebras and constructs possible representations. In the abelian case, for arbitrary closed oriented…
A review is given of the Peierls bracket formalism in field theory, and of a new, recent application of this concept to the analysis of dissipative systems.
In this paper we extend the geometric formalism of the Hamilton-Jacobi theory for time dependent Mechanics to the case of classical field theories in the k-cosymplectic framework.
In this paper we derive the symplectic framework for field theories defined by higher-order Lagrangians. The construction is based on the symplectic reduction of suitable spaces of iterated jets. The possibility of reducing a higher-order…