Related papers: First-order formalism for Alice string

Anomalous U(1) gauge symmetries in type II orientifold theories show some unexpected properties. In contrast to the heterotic case, the masses of the gauge bosons are in general of order of the string scale even in the absence of large…

We construct a concise gauge invariant formulation for massless, partially massless, and massive bosonic AdS fields of arbitrary symmetry type at the level of equations of motion. Our formulation admits two equivalent descriptions: in terms…

Classical BRST invariance in the pure spinor formalism for the open superstring is shown to imply the supersymmetric Born-Infeld equations of motion for the background fields. These equations are obtained by requiring that the left and…

Scaling symmetries have previously been examined for classical field theories described by singular Lagrangians; in this article, we apply these results to the first-order formulation of General Relativity. It is shown that the dynamical…

Using a hybrid formalism, superstrings on AdS(3) x S(1) are studied in a manifestly supersymmetric manner. The world-sheet fields in this description including superspace coordinates are obtained through a field redefinition from the…

An effective field approximation, similar to the atomic Thomas-Fermi approach, is proposed for studying non-Abelian gauge theories which includes finite-volume effects. As applications of the formalism the equation of state for an SU(2)…

Exactly solving first-order constraints (i.e., first-order formulas over a certain predefined structure) can be a very hard, or even undecidable problem. In continuous structures like the real numbers it is promising to compute approximate…

We dimensionally reduce the spacetime action of bosonic string theory, and that of the bosonic sector of heterotic string theory after truncating the Yang-Mills gauge fields, on a $d$-dimensional torus including all higher-derivative…

First-order learning involves finding a clause-form definition of a relation from examples of the relation and relevant background information. In this paper, a particular first-order learning system is modified to customize it for finding…

Given a first-order autonomous algebraic ordinary differential equation, we present a method for computing formal power series solutions by means of places. We provide an algorithm for computing a full characterization of possible initial…

Here we present a new approach to deal with first order ordinary differential equations (1ODEs), presenting functions. This method is an alternative to the one we have presented in [1]. In [2], we have establish the theoretical background…

To describe two-place physical problems, many possible models named Alice-Bob (AB) systems are proposed. To find and to solve these systems, the Parity (P), time reversal (T), charge conjugation (C), shifted-parity ($P_s$, parity with a…

We calculate couplings of arbitrary order from correlation functions among twisted strings, using conformal field theory. Twisted strings arise in heterotic string compactified on orbifolds yielding matter fields in the low energy limit. We…

We complete the set of string vertices of non-negative dimension by introducing in a consistent manner those moduli spaces which had previously been excluded. As a consequence we obtain a `geometrised' string action taking the simple form…

A set of Maple V R.3/4 computer algebra routines for the analytical solving of 1st. order ODEs, using Lie group symmetry methods, is presented. The set of commands includes a 1st. order ODE-solver and routines for, among other things: the…

It is shown that new leading ($\al'$) as well as all-order solutions of String theory can be obtained by taking appropriate singular limits of the known solutions. We give several leading order solutions for the bosonic as well as the…

Requiring the existence of certain BPS solutions to the equations of motion, we determine the bosonic part of the non-abelian D-brane effective action through order $\alpha'{}^4$. We also propose an economic organizational principle for the…

We review the Bogomol'nyi equations and investigate an alternative route in obtaining it. It can be shown that the known BPS equations can be derived directly from the corresponding Euler-Lagrange equations via separation of variables,…

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…

The conditions for the existence of the Chapman-Enskog first-order solution to the Boltzmann equation for a dilute gas are examined from two points of view. The traditional procedure is contrasted with a somehow more formal approach based…