Related papers: The Green--Schwarz Superstring in Extended Configu…
We present initial limit Datalog, a new extensible class of constrained Horn clauses for which the satisfiability problem is decidable. The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types)…
We study the problem of covariant separation between first and second class constraints for the $D=10$ Brink-Schwarz superparticle. Opposite to the supersymmetric light-cone frame separation, we show here that there is a Lorentz covariant…
A manifestly Poincare invariant formulations for $SO(1,10)$ and SO(2,9) superstring actions are proposed. The actions are invariant under a local fermionic $\kappa$-symmetry as well as under a number of global symmetries, which turn out to…
Embedding of a Green-Schwarz superbrane into a generic curved target space in a general covariant way is considered. It is demonstrated explicitely, that the customary superbrane formulation based on finite-component spinors extends to a…
This paper tackles the problem of the existence of solutions for recursive systems of Horn clauses with second-order variables interpreted as integer relations, and harnessed by quantifier-free difference bounds arithmetic. We start by…
Four-dimensional strings with the standard model gauge group $SU(3)\times SU(2)\times U(1)$ give model-dependent predictions for the tree level weak mixing-angle. In the presence of an extra pseudo-anomalous gauged- ${U(1)}_X$, the value of…
By use of geometrical methods of surface theory we demonstrate links of Green-Schwarz superstring dynamics with supersymmetric exactly-solvable nonlinear systems and super-WZNW models reduced in an appropriate way.
How to make compatible both boundary and gauge conditions for generally covariant theories using the gauge symmetry generated by first class constraints is studied. This approach employs finite gauge transformations in contrast with…
The perturbative analysis of models of open and closed superstrings presents a number of surprises. For instance, variable numbers of antisymmetric tensors ensure their consistency via generalized Green-Schwarz cancellations and a novel…
One of the fundamental challenges in string theory is to derive realistic four-dimensional cosmological backgrounds from it despite strict consistency conditions that constrain its possible low-energy backgrounds. In this work, we focus on…
We derive the complete covariant action for the type IIA superstring in a simple D=10 background which represents a 7-brane with a magnetic Ramond-Ramond vector field (and is U-dual to the Kaluza-Klein Melvin solution). This curved…
We study the satisfiability of string constraints where context-free membership constraints may be imposed on variables. Additionally a variable may be constrained to be a subword of a word obtained by shuffling variables and their…
The gauging of axionic, Stueckelberg-type, shift symmetries with generalized Chern-Simons terms and the Green-Schwarz mechanism of anomaly cancellation has recently been studied in the context of certain string compactifications and with…
We ask to what extent are the higher-derivative corrections of string theory constrained by T-duality. The seminal early work by Meissner tests T-duality by reduction to one dimension using a distinguished choice of field variables in which…
The finite satisfiability problem for the two-variable fragment of first-order logic interpreted over trees was recently shown to be ExpSpace-complete. We consider two extensions of this logic. We show that adding either additional binary…
A systematic approach to the study of semiclassical fluctuations of strings in AdS_5 x S^5 based on the Green-Schwarz formalism is developed. We show that the string partition function is well defined and finite. Issues related to different…
A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed…
Considered is the formulation for the superstring action in 6 and 10 dimensions involving supertwistor variables that appropriately generalize 4-dimensional Ferber supertwistors. Equations of motion and kappa-symmetry transformations in…
We consider N=1 supersymmetric U(N), SO(N), and Sp(N) gauge theories, with two-index tensor matter and added tree-level superpotential, for general breaking patterns of the gauge group. By considering the string theory realization and…
It is shown that order-invariance of two-variable first-logic is decidable in the finite. This is an immediate consequence of a decision procedure obtained for the finite satisfiability problem for existential second-order logic with two…