Related papers: String chopping and time-ordered products of linea…
We discuss time-dependent perturbations (induced by matter fields) of a black-hole background in tree-level two-dimensional string theory. We analyse the linearized case and show the possibility of having black-hole solutions with…
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) verification and…
We construct analytic solutions of open bosonic string field theory for any exactly marginal deformation in any boundary conformal field theory when properly renormalized operator products of the marginal operator are given. We explicitly…
String field theories exhibit exponential suppression of interactions among the component fields at high energies due to infinite-derivative factors such as $e^{\ell^2 \Box / 2}$ in the vertices. This nonlocality has hindered the…
Lattice-based string formation algorithms can, at least in principle, be reduced to the study of the statistics of the corresponding aperiodic random walk. Since in three or more dimensions such walks are transient this approach necessarily…
We demonstrate how the matrix-product state formalism provides a flexible structure to solve the constrained optimization problem associated with the sequential generation of entangled multiqubit states under experimental restrictions. We…
We formulate here a new world-sheet renormalization-group technique for the bosonic string, which is non-perturbative in the Regge slope alpha' and based on a functional method for controlling the quantum fluctuations, whose magnitudes are…
Suffix trees are an important data structure at the core of optimal solutions to many fundamental string problems, such as exact pattern matching, longest common substring, matching statistics, and longest repeated substring. Recent lines…
Even at tree level, the first quantized string theory suffers from apparent short distance singularities associated with collision of vertex operators that prevent us from straightforward numerical computation of various quantities.…
We study the synthesis problem for systems with a parameterized number of processes. As in the classical case due to Church, the system selects actions depending on the program run so far, with the aim of fulfilling a given specification.…
The category of modules over a string algebra is equipped with a tensor product defined point-wise and arrow-wise in terms of the underlying quiver. In the present article we investigate how this tensor product interacts with the…
We reformulate dimensional regularization as a regularization method in position space and show that it can be used to give a closed expression for the renormalized time-ordered products as solutions to the induction scheme of…
Time crystals are many-body systems that spontaneously break time-translation symmetry, and thus exhibit long-range spatiotemporal order and robust periodic motion. Recent results have demonstrated how to build time-crystal phases in driven…
We show that the Nambu-Goto string, and its higher dimensional generalizations, can be quantized, in the sense of an effective theory, in any dimension of the target space. The crucial point is to consider expansions around classical string…
String breaking is an intriguing phenomenon crucial to the understanding of lattice gauge theories (LGTs), with strong relevance to both condensed matter and high-energy physics (HEP). Recent experiments investigating string breaking in…
String Theory is the result of the conjunction of three conceptually independent elements: (i) the metaphysical idea of a nomological unity of the forces, (ii) the model-theoretical paradigm of Quantum Field Theory, and (iii) the conflict…
We study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain which can be compared wrt. equality. As the satisfiability problem for this logic is undecidable in general, in…
At the quantization of fields, due to the non-linear character of the time reversal, the creation-annihilation operators for the negative frequency modes should be replaced to the operators of antiparticles not directly in the field…
We study the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems are modeled by data words, and specifications are given as…
Field Theory on Event Symmetric space-time is constructed using the gauge group of discrete open strings. Models with invariant actions can be viewed as natural extensions of Matrix Models. The objective is to find a fundamental…