相关论文: BFT Embedding of Second-Class Systems

The Berezinsky-Kosterlitz-Thouless (BKT) type phase transitions in two-dimensional systems with internal abelian continuous symmetries are investigated. The necessary conditions for they can take place are: 1) conformal invariance of the…

In this paper we study a class of physical systems that combine a finite number of mechanical and thermodynamic observables. We call them finite dimensional thermo-mechanical systems. We introduce these systems by means of simple examples.…

We show that the massive noncommutative U(1) can be embedded in a gauge theory by using the BFFT Hamiltonian formalism. By virtue of the peculiar non-Abelian algebraic structure of the noncommutative massive U(1) theory, several specific…

We quantize the chiral Schwinger Model by using the Batalin-Tyutin formalism. We show that one can systematically construct the first class constraints and the desired involutive Hamiltonian, which naturally generates all secondary…

First class type equalities, in the form of generalized algebraic data types (GADTs), are commonly found in functional programs. However, first-class representations of other relations between types, such as subtyping, are not yet directly…

We systematically embed the SU(2)$\times$U(1) Higgs model in the unitary gauge into a fully gauge-invariant theory by following the generalized BFT formalism. We also suggest a novel path to get a first-class Lagrangian directly from the…

We present a finite-temperature extension of density matrix embedding theory (FT-DMET) for realistic crystalline systems. We describe a practical framework for constructing extended bath orbitals, solving the embedding problem, and…

We newly revisit the gauge non-invariant chiral Schwinger model with a=1 in view of the chain structure. As a result, we show that the Dirac brackets can be easily read off from the exact symplectic algebra of second-class constraints.…

We use the method due to Batalin, Fradkin and Tyutin (BFT) for the quantization of chiral boson theories. We consider the Floreanini-Jackiw (FJ) formulation as well as others with linear constraints.

We consider two disjoint sets of points. If at least one of the sets can be embedded into an Euclidean space, then we provide sufficient conditions for the two sets to be jointly embedded in one Euclidean space. In this joint Euclidean…

In this paper we obtain the necessary and sufficient conditions for embedding results of different function classes. The main result is a criterion for embedding theorems for the so-called generalized Weyl-Nikol'skii class and the…

This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on…

The class of Basic Feasible Functionals BFF is the second-order counterpart of the class of first-order functions computable in polynomial time. We present several implicit characterizations of BFF based on a typed programming language of…

Using a regularization by putting the system in finite volume, we develop a novel approach to form factor perturbation theory for nonintegrable models described as perturbations of integrable ones. This permits to go beyond first order in…

We re-address the problem of construction of new infinite-dimensional completely integrable systems on the basis of known ones, and we reveal a working mechanism for such transitions. By splitting the problem's solution in two steps, we…

Using the procedure of the marked point fusion, there are obtained integrable systems with poles in the matrix of the Lax operator order higher than one, considered Hamiltonians, symplectic structure and symmetries of these systems. Also,…

In a thermodynamical process, the dissipation or production of entropy can only be positive or zero according to the second law of thermodynamics. However the laws of thermodynamics are applicable to large systems in the thermodynamic…

The systematic method for the conversion of first class constraints to the equivalent set of Abelian one based on the Dirac equivalence transformation is developed. The representation for the corresponding matrix performing this…

An irreducible Hamiltonian BRST quantization method for reducible first-class systems is proposed. The general theory is illustrated on a two-stage reducible model, the link with the standard reducible BRST treatment being also emphasized.

It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…