Related papers: BFT Embedding of Second-Class Systems

This paper aims to provide an analysis of what it means when we say that a pair of theories, very generously construed, are equivalent in the sense that they are interdefinable. With regard to theories articulated in first order logic, we…

Second-order Lagrangian densities admitting a first-order Hamiltonian formalism are studied; namely, i) for each second-order Lagrangian density on an arbitrary fibred manifold $p\colon E\to N$ the Poincar\'e-Cartan form of which is…

We have proposed a method in the context of BFFT approach that leads to truncation of the infinite series regarded to constraints in the extended phase space, as well as other physical quantities (such as Hamiltonian). This has been done…

For an arbitrary countable group G = <A|R> given by its generators A and defining relations R we discuss a specific method for embedding of G into a certain 2-generator group T. Our embedding explicitly lists the images of generators from A…

This article describes an evaluation of Automated Theorem Proving (ATP) systems on problems taken from the QMLTP library of first-order modal logic problems. Principally, the problems are translated to both typed first-order and…

We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of…

Let A be an algebra with a countable basis and let B be, say, a Frechet algebra that contains A as a dense subalgebra. This embedding induces a functor from the derived category of B-modules to the derived category of A-modules. In many…

In this work we show that, under certain conditions, parametric Backlund transformations (BTs) for a finite dimensional integrable system can be interpreted as solutions to the equations of motion defined by an associated non-autonomous…

We consider two families of planar self-similar tilings of different nature: the tilings consisting of translated copies of the fractal sets defined by an iterated function system, and the tilings obtained as a geometrical realization of a…

Structure-forming systems are ubiquitous in nature, ranging from atoms building molecules to self-assembly of colloidal amphibolic particles. The understanding of the underlying thermodynamics of such systems remains an important problem.…

In dependent type theory, being able to refer to a type universe as a term itself increases its expressive power, but requires mechanisms in place to prevent Girard's paradox from introducing logical inconsistency in the presence of…

The formal system lambda-delta is a typed lambda calculus that pursues the unification of terms, types, environments and contexts as the main goal. lambda-delta takes some features from the Automath-related lambda calculi and some from the…

Deterministic two-way transducers define the robust class of regular functions which is, among other good properties, closed under composition. However, the best known algorithms for composing two-way transducers cause a double exponential…

The dynamics of a system composed by two pairs of dipolarly coupled two-level atoms is exactly studied. We show that the initial entanglement stored in a couple of atoms not directly interacting is fully transferred to the other pair in a…

The differential capacitance comprises the most relevant thermodynamic information about an electrochemical system. Classical approaches to describe electrochemical capacitance have difficulties to combine the treatment of the ionic…

Multi-class systems having possibly both finite and infinite classes are investigated under a natural partial exchangeability assumption. It is proved that the conditional law of such a system, given the vector of the empirical measures of…

Fluctuation theorems impose constraints on possible work extraction probabilities in thermodynamical processes. These constraints are stronger than the usual second law, which is concerned only with average values. Here, we show that such…

We develop formal theories of conversion for Church-style lambda-terms with Pi-types in first-order syntax using one-sorted variables names and Stoughton's multiple substitutions. We then formalize the Pure Type Systems along some…

We show that in modified Faddeev-Jackiw formalism, first and second class constraints appear at each level, and the whole constraint structure is in exact correspondence with level by level method of Dirac formalism.

Second-order topological insulators and superconductors have a gapped excitation spectrum in bulk and along boundaries, but protected zero modes at corners of a two-dimensional crystal or protected gapless modes at hinges of a…