Algorithmic aspects of bio-inspired string operations

We present building blocks for algorithms for the efficient reduction of square factor, i.e. direct repetitions in strings. So the basic problem is this: given a string, compute all strings that can be obtained by reducing factors of the form zz to z. Two types of algorithms are treated: an offline algorithm is one that can compute a data structure on the given string in advance before the actual search for the square begins; in contrast, online algorithms receive all input only at the time when a request is made. For offline algorithms we treat the following problem: Let u and w be two strings such that w is obtained from u by reducing a square factor zz to only z. If we further are given the suffix table of u, how can we derive the suffix table for w without computing it from scratch? As the suffix table plays a key role in online algorithms for the detection of squares in a string, this derivation can make the iterated reduction of squares more efficient. On the other hand, we also show how a suffix array, used for the offline detection of squares, can be adapted to the new string resulting from the deletion of a square. Because the deletion is a very local change, this adaption is more eficient than the computation of the new suffix array from scratch.

Derivation of the gauge-invariant action for open and closed free bosonic string field theories

The gauge-invariant actions for open and closed free bosonic string field theories are obtained from the string field equations in the conformal gauge using the cohomology operations of Banks and Peskin. For the closed-string theory no restrictions are imposed on the gauge parameters.

Hamiltonian and Lagrangian constraints of the bosonic string

We study the Hamiltonian and Lagrangian constraints of the Polyakov string. The gauge fixing at the Hamiltonian and Lagrangian level is also studied.

Exotic nonrelativistic string

We construct a classical nonrelativistic string model in 3+1 dimensions. The model contains a spurion tensor field that is responsible for the noncommutative structure of the model. Under double-dimensional reduction the model reduces to the exotic nonrelativistic particle in 2+1 dimensions.

D-String on near horizon geometries and infinite conformal symmetry

We show that the symmetries of effective D-string actions in constant dilaton backgrounds are directly related to homothetic motions of the background metric. In the presence of such motions, there are infinitely many nonlinearly realized rigid symmetries forming a loop (or looplike) algebra. Near horizon (antideSitter) D3 and D1+D5 backgrounds are discussed in detail and shown to provide 2D interacting field theories with infinite conformal symmetry.

Noether's theorem and gauge transformations. Application to the bosonic string and CP(2,n-1) model

New results on the theory of constrained systems are applied to characterize the generators of Noethers symmetry transformations. As a byproduct, an algorithm to construct gauge transformations in Hamiltonian formalism is derived. This is illustrated with two relevant examples.

Semiclassical back reaction in the formation of a straight cosmic string

We derive the back reaction on the gravitational field of a straight cosmic string during its formation due to the gravitational coupling of the string to quantum matter fields. A very simple model of string formation is considered. The gravitational field of the string is computed in the linear approximation. The vacuum expectation value of the stress tensor of a massless scalar quantum field coupled to the string gravitational field is computed to one loop order. Finally, the back-reaction effect is obtained by solving perturbatively the semiclassical Einsteins equations.

Correlations between black holes formed in cosmic string breaking

An analysis of cosmic string breaking with the formation of black holes attached to the ends reveals a remarkable feature: the black holes can be correlated or uncorrelated. We find that, as a consequence, the number-of-states enhancement factor in the action governing the formation of uncorrelated black holes is twice the one for a correlated pair. We argue that when an uncorrelated pair forms at the ends of the string, the physics involved is more analogous to thermal nucleation than to particle-antiparticle creation. Also, we analyze the process of intercommuting strings induced by black hole annihilation and merging. Finally, we discuss the consequences for grand unified strings. The process whereby uncorrelated black holes are formed yields a rate which significantly improves over those previously considered, but still not enough to modify string cosmology. 1995 The American Physical Society.

Finite energy Dirac-Born-Infeld monopoles and string junctions

It is shown that the world volume field theory of a single D3-brane in a supergravity D3-brane background admits finite energy, and non-singular, Abelian monopoles and dyons preserving 1/2 or 1/4 of the N=4 supersymmetry and saturating a Bogomolnyi-type bound. The 1/4 supersymmetric solitons provide a world volume realization of string-junction dyons. We also discuss the dual M-theory realization of the 1/2 supersymmetric dyons as finite tension self-dual strings on the M5-brane, and of the 1/4 supersymmetric dyons as their intersections.

Particle and string fluid interpretation for the scalar sector of Kaluza-Klein theories

The scalar sector of the effective low-energy six-dimensional Kaluza-Klein theory is seen to represent an anisotropic fluid composed of two perfect fluids if the extra space metric has a Euclidean signature, or a perfect fluid of geometric strings if it has an indefinite signature. The Einstein field equations with such fluids can be explicitly integrated when the four-dimensional space-time has two commuting Killing vectors.

String theory dualities and supergravity divergences

We demonstrate how duality invariance of the low energy expansion of the four-supergraviton amplitude in type II string theory determines the precise coefficients of multiloop logarithmic ultraviolet divergences of maximal supergravity in various dimensions. This is illustrated by the explicit moduli-dependence of terms of the form ¿2k R4, with k ¿ 3, in the effective action. Furthermore, we show that in the supergravity limit the perturbative contributions are swamped by an accumulation of non-perturbative effects of zero-action instantons.

Generador de compiladores basado en analizadores ascendentes

El objetivo fundamental de este proyecto consiste en crear un generador de compilador, basado en analizadores ascendentes. Como base para hacer este analizador se usará el lenguaje Cosel y el módulo Com, que es un generador de compiladores basado en analizadores descendentes y que actualmente se está utilizando en las prácticas de la asignatura de Compiladores I. El nuevo generador, que tiene como entrada una gramática, ha de comprobar si es una gramática ascendente LALR (1) y analizar una cadena de entrada de símbolos usando dicha gramática.

Bioinformática: identificar genes en una interfaz gráfica vía web para la comparación de genomas

Este trabajo desarrolla el proceso de diseño e implementación de una interfaz web que permite la exploración en detalle de las relaciones entre genomas completos. La interfaz permite la comparación simultánea de nueve genomas, representando en cada gráfica las relaciones entre cada par de genomas junto los genes identificados de cada uno de ellos. Es capaz de trabajar con genomas del dominio Eukaryota y se adapta a la capacidad de cómputo de la máquina cliente. La información representada son MUMs (Maximal Unique Matching, secuencia máxima y única encontrada en ambos genomas) y SuperMUMs (agrupación de MUMs mediante Approximate String Matching). Los datos son previamente calculados y accesibles desde un servidor web.