English
Related papers

Related papers: String Diagram Rewrite Theory II: Rewriting with S…

200 papers

We argue that apart from the standard closed and open strings one may consider a third possibility that we call monodromic strings. The monodromic string propagating on a target looks like an ordinary open string (a mapping from a segment…

High Energy Physics - Theory · Physics 2010-11-29 C. Klimcik , S. Parkhomenko

The syntactic monoid of a language is generalized to the level of a symmetric monoidal closed category $\mathcal D$. This allows for a uniform treatment of several notions of syntactic algebras known in the literature, including the…

Logic in Computer Science · Computer Science 2023-06-22 Jiří Adamek , Stefan Milius , Henning Urbat

We discuss the target-space interpretation of the world-sheet logarithmic operators in string theory. These operators generate the normalizable zero modes (discrete states) in target space, which restore the symmetries of the theory broken…

High Energy Physics - Theory · Physics 2011-05-05 Ian I. Kogan , Nick E. Mavromatos

Dominant sequence models like the Transformer represent structure implicitly through dense attention weights, incurring quadratic complexity. We propose RewriteNets, a novel neural architecture built on an alternative paradigm: explicit,…

Machine Learning · Computer Science 2026-01-14 Harshil Vejendla

Taking the N=2 strings as the starting point, we discuss the equivalent self-dual field theories and analyse their symmetry structure in 2+2 dimensions. Restoring the full `Lorentz' invariance in the target space necessarily leads to an…

High Energy Physics - Theory · Physics 2009-10-30 Sergei V. Ketov

The notion of directed treewidth was introduced by Johnson, Robertson, Seymour and Thomas [Journal of Combinatorial Theory, Series B, Vol 82, 2001] as a first step towards an algorithmic metatheory for digraphs. They showed that some…

Data Structures and Algorithms · Computer Science 2015-10-09 Mateus de Oliveira Oliveira

The doubled formulation of string theory, which is T-duality covariant and enlarges spacetime with extra coordinates conjugate to winding number, is reformulated and its geometric and topological features examined. It is used to formulate…

High Energy Physics - Theory · Physics 2008-11-26 C M Hull

Choices in the semantics and the signature of a theory are integral in determining how the theory is used and how challenging it is to reason over it. Our interest in this paper lies in the SMT theory of sequences. Various versions of it…

Logic in Computer Science · Computer Science 2024-11-05 Hichem Rami Ait El Hara , François Bobot , Guillaume Bury

We revisit the fermionic string theory on $AdS_3\times \mathcal{N}$ with $k=1$, and its single-trace $T\bar T$ deformation, with a focus on the $(2,2)$ superstring on (deformed) $AdS_3\times \mathbb{T}^3$. In a certain limit, it is dual to…

High Energy Physics - Theory · Physics 2025-07-23 Soumangsu Chakraborty , Amit Giveon

In string theory it is known that abelian isometries in the sigma model lead to target space duality. We generalize this duality to backgrounds with non--abelian isometries. The procedure we follow consists of gauging the isometries of the…

High Energy Physics - Theory · Physics 2009-10-22 Xenia C. de la Ossa , Fernando Quevedo

We derive loop equations in a scalar matrix field theory. We discuss their solutions in terms of simplicial string theory -- the theory describing embeddings of two--dimensional simplicial complexes into the space--time of the matrix field…

High Energy Physics - Theory · Physics 2009-11-11 Emil T. Akhmedov

Motivated by mass-spectrometry protein sequencing, we consider a simply-stated problem of reconstructing a string from the multiset of its substring compositions. We show that all strings of length 7, one less than a prime, or one less than…

Discrete Mathematics · Computer Science 2014-03-12 Jayadev Acharya , Hirakendu Das , Olgica Milenkovic , Alon Orlitsky , Shengjun Pan

Topological string theory partition function gives rise to Gromov-Witten invariants, Donaldson-Thomas invariants and 5D BPS indices. Using the remodeling conjecture, which connects Topological Recursion with topological string theory for…

Mathematical Physics · Physics 2026-01-23 Sibasish Banerjee , Alexander Hock , Olivier Marchal

We introduce a comprehensive theoretical and algorithmic framework that bridges formal group theory and group entropies with modern machine learning, paving the way for an infinite, flexible family of Mirror Descent (MD) optimization…

Machine Learning · Computer Science 2026-03-10 Andrzej Cichocki , Piergiulio Tempesta

Strategic term rewriting and attribute grammars are two powerful programming techniques widely used in language engineering. The former, relies on strategies to apply term rewrite rules in defining language transformations, while the latter…

Programming Languages · Computer Science 2021-10-22 José Nuno Macedo , Marcos Viera , João Saraiva

We investigate whether the symmetry transformations of a bosonic string are connected by T-duality. We start with a standard closed string theory. We continue with a modified open string theory, modified to preserve the symmetry…

High Energy Physics - Theory · Physics 2018-10-09 Lj. Davidović , B. Sazdović

Semantic communication initiates a new direction for future communication. In this paper, we aim to establish a systematic framework of semantic information theory (SIT). First, we propose a semantic communication model and define the…

Information Theory · Computer Science 2024-01-26 Kai Niu , Ping Zhang

Recently, Gavazzo has developed a relational theory of symbolic manipulation, that allows to study syntax-based rewriting systems without relying on specific notions of syntax. This theory was obtained by extending the algebra of relations…

Logic in Computer Science · Computer Science 2023-12-07 Lorenzo Pace

In phylogenetics, a central problem is to infer the evolutionary relationships between a set of species $X$; these relationships are often depicted via a phylogenetic tree -- a tree having its leaves univocally labeled by elements of $X$…

Data Structures and Algorithms · Computer Science 2016-04-12 Julien Baste , Christophe Paul , Ignasi Sau , Celine Scornavacca

This paper aims to provide an unsupervised modelling approach that allows for a more flexible representation of text embeddings. It jointly encodes the words and the paragraphs as individual matrices of arbitrary column dimension with unit…

Computation and Language · Computer Science 2022-12-01 Souvik Banerjee , Bamdev Mishra , Pratik Jawanpuria , Manish Shrivastava
‹ Prev 1 8 9 10 Next ›