Related papers: String Diagram Rewrite Theory I: Rewriting with Fr…
As was shown by Aharony, Hanany and Kol and independently by Sen, type IIB string theory admits configurations where strings of different charges (p_i, q_i) form so-called string networks. We argue that these networks blow up into…
I review certain aspects of Hanany-Witten setups and other approaches used to embed (and solve) gauge theories in string theory. Applications covered include dualities in 4 and 3 dimensions, fixed points in 6 dimensions, phase transitions…
Exact superstring solutions are constructed in 4-D space-time, with positive curvature and non-trivial dilaton and antisymmetric tensor fields. The full spectrum of string excitations is derived as a function of moduli fields $T^{i}$ and…
The theory of sequences, supported by many SMT solvers, can model program data types including bounded arrays and lists. Sequences are parameterized by the element data type and provide operations such as accessing elements, concatenation,…
This monograph is an updated and extended version of the author's PhD thesis. It consists of an introductory text followed by two separate parts which are loosely related but may be read independently of each other. In Part I we analyze…
String theory is the most promising candidate for the theory unifying all interactions including gravity. It has an extremely difficult dynamics. Therefore, it is useful to study some its simplifications. One of them is non-critical string…
An approach to systematically implement open-closed string duality for free large $N$ gauge theories is summarised. We show how the relevant closed string moduli space emerges from a reorganisation of the Feynman diagrams contributing to…
In the present paper by Frobenius algebra Y we mean a finite dimensional algebra possessing an associative and invertible (nondegenerate) form a scalar product, referred to as the Frobenius structure. The nondegenerate form has an inverse.…
In these lectures I review the progress made over the last few years in the subject of string and string-inspired phenomenology. I take a practical approach, thereby concentrating more on explicit examples rather than on formal…
These are the lecture notes of the introductory String Theory course held by one of the authors for the master program of Theoretical Physics at Turin University. The world-sheet approach to String Theory is pedagogically introduced in the…
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…
Graph rewriting is a popular tool for the optimisation and modification of graph expressions in domains such as compilers, machine learning and quantum computing. The underlying data structures are often port graphs - graphs with labels at…
The worldline formalism shares with string theory the property that it allows one to write down master integrals that effectively combine the contributions of many Feynman diagrams. While at the one-loop level these diagrams differ only by…
String breaking is a fundamental concept in gauge theories, describing the decay of a flux string connecting two charges through the production of particle-antiparticle pairs. This phenomenon is particularly important in particle physics,…
We introduce a new algebraic structure for multi-dimensional compositional embeddings, built on directional non-commutative monoidal operators. The core contribution of this work is this novel framework, which exhibits appealing theoretical…
A closed string worldsheet of genus $g$ with $n$ punctures can be presented as a contact interaction in which $n$ semi-infinite cylinders are glued together in a specific way via the Strebel differential on it, if $n\geq1,\ 2g-2+n>0$. We…
The problem of string reconstruction from substring information has found many applications due to its relevance in DNA- and polymer-based data storage. One practically important and challenging paradigm requires reconstructing mixtures of…
We study the implications of the modeling choice to use a graph, instead of a hypergraph, to represent real-world interconnected systems whose constituent relationships are of higher order by nature. Such a modeling choice typically…
The observation of a scalar resonance at the LHC, compatible with perturbative electroweak symmetry breaking, reinforces the Standard Model parameterisation of all subatomic data. The logarithmic evolution of the SM gauge and matter…
Man-made 3D shapes are naturally organized in parts and hierarchies; such structures provide important constraints for shape reconstruction and generation. Modeling shape structures is difficult, because there can be multiple hierarchies…