English
Related papers

Related papers: String Diagram Rewrite Theory I: Rewriting with Fr…

200 papers

Graphs are a powerful tool for analyzing large data sets, but many real-world phenomena involve interactions that go beyond the simple pairwise relationships captured by a graph. In this paper we introduce and study a simple combinatorial…

Data Structures and Algorithms · Computer Science 2025-11-25 Elise Tate , Joshua A. Grochow

We introduce nominal string diagrams as, string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartesian product, but with the separated product. To this end, we…

Logic in Computer Science · Computer Science 2019-04-17 Samuel Balco , Alexander Kurz

We show that string-net models provide a novel geometric method to construct invariants of mapping class group actions. Concretely, we consider string-net models for a modular tensor category ${\mathcal C}$. We show that the datum of a…

High Energy Physics - Theory · Physics 2021-04-22 Christoph Schweigert , Yang Yang

The biological process of gene assembly has been modeled based on three types of string rewriting rules, called string pointer rules, defined on so-called legal strings. It has been shown that reduction graphs, graphs that are based on the…

Logic in Computer Science · Computer Science 2008-11-24 Robert Brijder , Hendrik Jan Hoogeboom

Vector representations of graphs and relational structures, whether hand-crafted feature vectors or learned representations, enable us to apply standard data analysis and machine learning techniques to the structures. A wide range of…

Machine Learning · Computer Science 2020-03-31 Martin Grohe

Like termination, confluence is a central property of rewrite systems. Unlike for termination, however, there exists no known complexity hierarchy for confluence. In this paper we investigate whether the decreasing diagrams technique can be…

Logic in Computer Science · Computer Science 2023-06-22 Jörg Endrullis , Jan Willem Klop , Roy Overbeek

In recent years, diagrammatic languages have been shown to be a powerful and expressive tool for reasoning about physical, logical, and semantic processes represented as morphisms in a monoidal category. In particular, categorical quantum…

Artificial Intelligence · Computer Science 2012-04-19 Aleks Kissinger

This paper is a self contained review of the Loop Variable approach to string theory. The Exact Renormalization Group is applied to a world sheet theory describing string propagation in a general background involving both massless and…

High Energy Physics - Theory · Physics 2015-12-09 B. Sathiapalan

String theory one-loop threshold corrections are studied in a background field approach due to Kiritsis and Kounnas which uses space-time curvature as an infrared regulator. We review the conformal field theory aspects using the…

High Energy Physics - Theory · Physics 2014-11-18 Marc Chemtob

We argue that the behavior of string theory at high temperature and high longitudinal boosts, combined with the emergence of p-branes as necessary ingredients in various string dualities, point to a possible reformulation of strings, as…

High Energy Physics - Theory · Physics 2007-05-23 Oren Bergman

The past year has seen enormous progress in string theory. It has become clear that all of the different string theories are different limits of a single theory. Moreover, in certain limits, one obtains a new, eleven-dimensional structure…

High Energy Physics - Theory · Physics 2007-05-23 Michael Dine

String theory developed by demanding consistency with quantum mechanics. In this paper we wish to reverse the reasoning. We pretend open string field theory is a fully consistent definition of the theory - it is at least a self consistent…

High Energy Physics - Theory · Physics 2015-06-22 Itzhak Bars , Dmitry Rychkov

This article is the continuation of a project of investigating planar phi^3 model in various dimensions. The idea is to reformulate them on the world sheet, and then to apply the classical (meanfield) approximation, with two goals: To show…

High Energy Physics - Theory · Physics 2015-05-28 Korkut Bardakci

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

The relationship between Term Graph Rewriting and Term Rewriting is well understood: a single term graph reduction may correspond to several term reductions, due to sharing. It is also known that if term graphs are allowed to contain…

Logic in Computer Science · Computer Science 2011-02-15 Andrea Corradini , Frank Drewes

Rewriting systems are often defined as binary relations over a given set of objects. This simple definition is used to describe various properties of rewriting such as termination, confluence, normal forms etc. In this paper, we introduce a…

Logic in Computer Science · Computer Science 2011-06-01 Dominique Duval , Rachid Echahed , Frédéric Prost

Recent progress in string theory has led to a reformulation of quantum-group polynomial invariants for knots and links into new polynomial invariants whose coefficients can be understood in topological terms. We describe in detail how to…

Quantum Algebra · Mathematics 2007-05-23 Jose M. F. Labastida , Marcos Marino

The spectrum of stable electrically and magnetically charged supersymmetric particles can change discontinuously as one changes the vacuum on the Coulomb branch of gauge theories with extended supersymmetry in four dimensions. We show that…

High Energy Physics - Theory · Physics 2009-11-07 Philip C. Argyres , K. Narayan

This note is supposed to be an introduction to those concepts of toric geometry that are necessary to understand applications in the context of string and F-theory dualities. The presentation is based on the definition of a toric variety in…

High Energy Physics - Theory · Physics 2015-06-26 Harald Skarke

We study rewriting systems whose underlying set of terms is equipped with a vector space structure over a given field. We introduce parallel rewriting relations, which are rewriting relations compatible with the vector space structure, as…

Logic in Computer Science · Computer Science 2020-07-08 Cyrille Chenavier , Maxime Lucas
‹ Prev 1 8 9 10 Next ›