Related papers: First-order formalism for Alice string

In this paper, a well-posed simultaneous space-time First Order System Least Squares formulation is constructed of the instationary incompressible Stokes equations with slip boundary conditions. As a consequence of this well-posedness, the…

Gauge theories that have been first quantized using the Hamiltonian BRST operator formalism are described as classical Hamiltonian BRST systems with a BRST charge of the form <\Psi,\Omega\Psi>_{even} and with natural ghost and parity…

We obtain the effective action for the bosonic string with arbitrary Yang-Mills fields, up to the \alpha' order, in general dimensions. The form of the action is determined by the requirement that the action admit well-defined Killing…

We present an extensive analysis on several string solutions in AdS_5 x Ypq and find some interesting properties of their energy-spin relations. Their energy depends always on the parameter a(p,q) which characterizes these manifolds. The…

We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and comes with a complete axiomatisation. The axioms are obtained…

The use of the umbral formalism allows a significant simplification of the derivation of sum rules involving products of special functions and polynomials. We rederive in this way known sum rules and addition theorems for Bessel functions.…

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…

We study extremal black hole solutions to four dimensional N=2 supergravity based on a cubic symmetric scalar manifold. Using the coset construction available for these models, we define the first order flow equations implied by the…

We argue that the obstacles to having a first-order formalism for odd-derivative actions presented in a pedagogical note by Deser are based on examples which are not first-order forms of the original actions. The general derivation of an…

A choice of first-order variables for the characteristic problem of the linearized Einstein equations is found which casts the system into manifestly well-posed form. The concept of well-posedness for characteristic problems invoked is that…

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 define an iterative procedure to obtain a non-abelian generalization of the Born-Infeld action. This construction is made possible by the use of the severe restrictions imposed by kappa-symmetry. We have calculated all bosonic terms in…

In this paper, we derive an optimal first-order Taylor-like formula. In a seminal paper [14], we introduced a new first-order Taylor-like formula that yields a reduced remainder compared to the classical Taylor's formula. Here, we relax the…

We introduce a new class of "filtered" schemes for some first order non-linear Hamilton-Jacobi-Bellman equations. The work follows recent ideas of Froese and Oberman (SIAM J. Numer. Anal., Vol 51, pp.423-444, 2013). The proposed schemes are…

We present a framework for synthesising formulas in first-order logic (FOL) from examples, which unifies and advances state-of-the-art approaches for inference of transition system invariants. To do so, we study and categorise the existing…

We find a one-parameter family of variables which recast the 3+1 Einstein equations into first-order symmetric-hyperbolic form for any fixed choice of gauge. Hyperbolicity considerations lead us to a redefinition of the lapse in terms of an…

In this paper we consider perturbation theory in generic two-dimensional sigma models in the so-called first-order formalism, using the coordinate regularization approach. Our goal is to analyze the first-order formalism in application to…

In this paper we give explicit first order Lagrangian formulation for mixed symmetry tensor fields \Phi_{[\mu\nu],\alpha}, T_{[\mu\nu\alpha],\beta} and R_{[\mu\nu],[\alpha\beta]}. We show that such Lagrangians could be written in a very…

We review the construction of gauge field theories from BRST first-quantized systems and its relation to the unfolded formalism. In particular, the BRST extension of the non linear unfolded formalism is discussed in some details.

A method is presented to calculate from first principles the higher-order elastic constants of a solid material. The method relies on finite strain deformations, a density functional theory approach to calculate the Cauchy stress tensor,…