-
Fundamentals of Compositional Rewriting Theory
Authors:
Nicolas Behr,
Russ Harmer,
Jean Krivine
Abstract:
A foundational theory of compositional categorical rewriting theory is presented, based on a collection of fibration-like properties that collectively induce and intrinsically structure the large collection of lemmata used in the proofs of theorems such as concurrency and associativity. The resulting highly generic proofs of these theorems are given. It is noteworthy that the proof of the concurre…
▽ More
A foundational theory of compositional categorical rewriting theory is presented, based on a collection of fibration-like properties that collectively induce and intrinsically structure the large collection of lemmata used in the proofs of theorems such as concurrency and associativity. The resulting highly generic proofs of these theorems are given. It is noteworthy that the proof of the concurrency theorem takes only a few lines and, while that of associativity remains somewhat longer, it would be unreadably long if written directly in terms of the basic lemmata. In essence, our framework improves the readability and ease of comprehension of these proofs by exposing latent modularity. A curated list of known instances of our framework is used to conclude the paper with a detailed discussion of the conditions under which the Double Pushout and Sesqui-Pushout semantics of graph transformation are compositional.
△ Less
Submitted 14 July, 2023; v1 submitted 14 April, 2022;
originally announced April 2022.
-
Stochastic Graph Transformation For Social Network Modeling
Authors:
Nicolas Behr,
Bello Shehu Bello,
Sebastian Ehmes,
Reiko Heckel
Abstract:
Adaptive networks model social, physical, technical, or biological systems as attributed graphs evolving at the level of both their topology and data. They are naturally described by graph transformation, but the majority of authors take an approach inspired by the physical sciences, combining an informal description of the operations with programmed simulations, and systems of ODEs as the only ab…
▽ More
Adaptive networks model social, physical, technical, or biological systems as attributed graphs evolving at the level of both their topology and data. They are naturally described by graph transformation, but the majority of authors take an approach inspired by the physical sciences, combining an informal description of the operations with programmed simulations, and systems of ODEs as the only abstract mathematical description. We show that we can capture a range of social network models, the so-called voter models, as stochastic attributed graph transformation systems, demonstrate the benefits of this representation and establish its relation to the non-standard probabilistic view adopted in the literature. We use the theory and tools of graph transformation to analyze and simulate the models and propose a new variant of a standard stochastic simulation algorithm to recreate the results observed.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics (Long version)
Authors:
Nicolas Behr,
Jean Krivine,
Jakob L. Andersen,
Daniel Merkle
Abstract:
The Kappa biochemistry and the MØD organic chemistry frameworks are amongst the most intensely developed applications of rewriting-based methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity to implement certain structural constraints on the objects to be rewritten (a protein is empirically found to have a certain signature of sites, a carbon…
▽ More
The Kappa biochemistry and the MØD organic chemistry frameworks are amongst the most intensely developed applications of rewriting-based methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity to implement certain structural constraints on the objects to be rewritten (a protein is empirically found to have a certain signature of sites, a carbon atom can form at most four bonds, ...). In this paper, we contribute a number of original developments that permit to implement a universal theory of continuous-time Markov chains (CTMCs) for stochastic rewriting systems. Our core mathematical concepts are a novel rule algebra construction for the relevant setting of rewriting rules with conditions, both in Double- and in Sesqui-Pushout semantics, augmented by a suitable stochastic mechanics formalism extension that permits to derive dynamical evolution equations for pattern-counting statistics. A second main contribution of our paper is a novel framework of restricted rewriting theories, which comprises a rule-algebra calculus under the restriction to so-called constraint-preserving completions of application conditions (for rules considered to act only upon objects of the underlying category satisfying a globally fixed set of structural constraints). This novel framework in turn renders a faithful encoding of bio- and organo-chemical rewriting in the sense of Kappa and MØD possible, which allows us to derive a rewriting-based formulation of reaction systems including a full-fledged CTMC semantics as instances of our universal CTMC framework. While offering an interesting new perspective and conceptual simplification of this semantics in the setting of Kappa, both the formal encoding and the CTMC semantics of organo-chemical reaction systems as motivated by the MØD framework are the first such results of their kind.
△ Less
Submitted 4 June, 2021;
originally announced June 2021.
-
Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)
Authors:
Nicolas Behr,
Joachim Kock
Abstract:
Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, inducing a cocommutative Hopf algebra of tracelets. This Hopf algebra captures important combinatorial and algebraic aspects of rewriting theory, and is motivated by applications of its representation theory to stochastic re…
▽ More
Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, inducing a cocommutative Hopf algebra of tracelets. This Hopf algebra captures important combinatorial and algebraic aspects of rewriting theory, and is motivated by applications of its representation theory to stochastic rewriting systems such as chemical reaction networks.
△ Less
Submitted 3 November, 2022; v1 submitted 13 May, 2021;
originally announced May 2021.
-
Concurrency Theorems for Non-linear Rewriting Theories
Authors:
Nicolas Behr,
Russ Harmer,
Jean Krivine
Abstract:
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no construction of a suitable concurrency theorem was available. The lack of such a theorem, in turn, rendered compositional reasoning for such rewriting systems largely infeasible. We develop in this paper a suitable concurrenc…
▽ More
Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no construction of a suitable concurrency theorem was available. The lack of such a theorem, in turn, rendered compositional reasoning for such rewriting systems largely infeasible. We develop in this paper a suitable concurrency theorem for non-linear SqPO-rewriting in categories that are quasi-topoi (subsuming the example of adhesive categories) and with matches required to be regular monomorphisms of the given category. Our construction reveals an interesting "backpropagation effect" in computing rule compositions. We derive in addition a concurrency theorem for non-linear double pushout (DPO) rewriting in rm-adhesive categories. Our results open non-linear SqPO and DPO semantics to the rich static analysis techniques available from concurrency, rule algebra and tracelet theory.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
On Stochastic Rewriting and Combinatorics via Rule-Algebraic Methods
Authors:
Nicolas Behr
Abstract:
Building upon the rule-algebraic stochastic mechanics framework, we present new results on the relationship of stochastic rewriting systems described in terms of continuous-time Markov chains, their embedded discrete-time Markov chains and certain types of generating function expressions in combinatorics. We introduce a number of generating function techniques that permit a novel form of static an…
▽ More
Building upon the rule-algebraic stochastic mechanics framework, we present new results on the relationship of stochastic rewriting systems described in terms of continuous-time Markov chains, their embedded discrete-time Markov chains and certain types of generating function expressions in combinatorics. We introduce a number of generating function techniques that permit a novel form of static analysis for rewriting systems based upon marginalizing distributions over the states of the rewriting systems via pattern-counting observables.
△ Less
Submitted 3 February, 2021;
originally announced February 2021.
-
Fusion of interfaces in Landau-Ginzburg models: a functorial approach
Authors:
Nicolas Behr,
Stefan Fredenhagen
Abstract:
We investigate the fusion of B-type interfaces in two-dimensional supersymmetric Landau-Ginzburg models. In particular, we propose to describe the fusion of an interface in terms of a fusion functor that acts on the category of modules of the underlying polynomial rings of chiral superfields. This uplift of a functor on the category of matrix factorisations simplifies the actual computation of int…
▽ More
We investigate the fusion of B-type interfaces in two-dimensional supersymmetric Landau-Ginzburg models. In particular, we propose to describe the fusion of an interface in terms of a fusion functor that acts on the category of modules of the underlying polynomial rings of chiral superfields. This uplift of a functor on the category of matrix factorisations simplifies the actual computation of interface fusion. Besides a brief discussion of minimal models, we illustrate the power of this approach in the SU(3)/U(2) Kazama-Suzuki model where we find fusion functors for a set of elementary topological defects from which all rational B-type topological defects can be generated.
△ Less
Submitted 6 January, 2021; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototy**
Authors:
Nicolas Behr,
Reiko Heckel,
Maryam Ghaffari Saadat
Abstract:
Graph transformation theory relies upon the composition of rules to express the effects of sequences of rules. In practice, graphs are often subject to constraints, ruling out many candidates for composed rules. Focusing on the case of sesqui-pushout (SqPO) semantics, we develop a number of alternative strategies for computing compositions, each theoretically and with an implementation via the Pyt…
▽ More
Graph transformation theory relies upon the composition of rules to express the effects of sequences of rules. In practice, graphs are often subject to constraints, ruling out many candidates for composed rules. Focusing on the case of sesqui-pushout (SqPO) semantics, we develop a number of alternative strategies for computing compositions, each theoretically and with an implementation via the Python API of the Z3 theorem prover. The strategies comprise a straightforward generate-and-test strategy based on forbidden graph patterns, a variant with a more implicit logical encoding of the negative constraints, and a modular strategy, where the patterns are decomposed as forbidden relation patterns. For a toy model of polymer formation in organic chemistry, we compare the performance of the three strategies in terms of execution times and memory consumption.
△ Less
Submitted 2 December, 2020; v1 submitted 24 March, 2020;
originally announced March 2020.
-
Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
Authors:
Nicolas Behr,
Jean Krivine
Abstract:
The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity to implement certain structural constraints on the objects to be rewritten (a protein is empirically found to have a certain signature of sites, a c…
▽ More
The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity to implement certain structural constraints on the objects to be rewritten (a protein is empirically found to have a certain signature of sites, a carbon atom can form at most four bonds, ...). In this paper, we contribute to the theoretical foundations of these types of rewriting theory a number of conceptual and technical developments that permit to implement a universal theory of continuous-time Markov chains (CTMCs) for stochastic rewriting systems. Our core mathematical concepts are a novel rule algebra construction for the relevant setting of rewriting rules with conditions, both in Double- and in Sesqui-Pushout semantics, augmented by a suitable stochastic mechanics formalism extension that permits to derive dynamical evolution equations for pattern-counting statistics.
△ Less
Submitted 10 May, 2020; v1 submitted 20 March, 2020;
originally announced March 2020.
-
Dual Numbers and Operational Umbral Methods
Authors:
Nicolas Behr,
Giuseppe Dattoli,
Ambra Lattanzi,
Silvia Licciardi
Abstract:
Dual numbers and their higher order version are important tools for numerical computations, and in particular for finite difference calculus. Based upon the relevant algebraic rules and matrix realizations of dual numbers, we will present a novel point of view, embedding dual numbers within a formalism reminiscent of operational umbral calculus.
Dual numbers and their higher order version are important tools for numerical computations, and in particular for finite difference calculus. Based upon the relevant algebraic rules and matrix realizations of dual numbers, we will present a novel point of view, embedding dual numbers within a formalism reminiscent of operational umbral calculus.
△ Less
Submitted 22 May, 2019;
originally announced May 2019.
-
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems
Authors:
Nicolas Behr
Abstract:
Taking advantage of a recently discovered associativity property of rule compositions, we extend the classical concurrency theory for rewriting systems over adhesive categories. We introduce the notion of tracelets, which are defined as minimal derivation traces that universally encode sequential compositions of rewriting rules. Tracelets are compositional, capture the causality of equivalence cla…
▽ More
Taking advantage of a recently discovered associativity property of rule compositions, we extend the classical concurrency theory for rewriting systems over adhesive categories. We introduce the notion of tracelets, which are defined as minimal derivation traces that universally encode sequential compositions of rewriting rules. Tracelets are compositional, capture the causality of equivalence classes of traditional derivation traces, and intrinsically suggest a clean mathematical framework for the definition of various notions of abstractions of traces. We illustrate these features by introducing a first prototype for a framework of tracelet analysis, which as a key application permits to formulate a first-of-its-kind algorithm for the static generation of minimal derivation traces with prescribed terminal events.
△ Less
Submitted 14 September, 2020; v1 submitted 29 April, 2019;
originally announced April 2019.
-
Compositionality of Rewriting Rules with Conditions
Authors:
Nicolas Behr,
Jean Krivine
Abstract:
We extend the notion of compositional associative rewriting as recently studied in the rule algebra framework literature to the setting of rewriting rules with conditions. Our methodology is category-theoretical in nature, where the definition of rule composition operations encodes the non-deterministic sequential concurrent application of rules in Double-Pushout (DPO) and Sesqui-Pushout (SqPO) re…
▽ More
We extend the notion of compositional associative rewriting as recently studied in the rule algebra framework literature to the setting of rewriting rules with conditions. Our methodology is category-theoretical in nature, where the definition of rule composition operations encodes the non-deterministic sequential concurrent application of rules in Double-Pushout (DPO) and Sesqui-Pushout (SqPO) rewriting with application conditions based upon $\mathcal{M}$-adhesive categories. We uncover an intricate interplay between the category-theoretical concepts of conditions on rules and morphisms, the compositionality and compatibility of certain shift and transport constructions for conditions, and thirdly the property of associativity of the composition of rules.
△ Less
Submitted 21 April, 2021; v1 submitted 19 April, 2019;
originally announced April 2019.
-
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework
Authors:
Nicolas Behr
Abstract:
Sesqui-pushout (SqPO) rewriting is a variant of transformations of graph-like and other types of structures that fit into the framework of adhesive categories where deletion in unknown context may be implemented. We provide the first account of a concurrency theorem for this important type of rewriting, and we demonstrate the additional mathematical property of a form of associativity for these th…
▽ More
Sesqui-pushout (SqPO) rewriting is a variant of transformations of graph-like and other types of structures that fit into the framework of adhesive categories where deletion in unknown context may be implemented. We provide the first account of a concurrency theorem for this important type of rewriting, and we demonstrate the additional mathematical property of a form of associativity for these theories. Associativity may then be exploited to construct so-called rule algebras (of SqPO type), based upon which in particular a universal framework of continuous-time Markov chains for stochastic SqPO rewriting systems may be realized.
△ Less
Submitted 19 December, 2019; v1 submitted 17 April, 2019;
originally announced April 2019.
-
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
Authors:
Nicolas Behr,
Vincent Danos,
Ilias Garnier
Abstract:
We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rule algebra framework and exhibits an intimate relationship between the combinatorics of the rewriting rules (as encoded in the rule algebra) and the dynamics which these rules generate on observables (as encoded in the st…
▽ More
We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rule algebra framework and exhibits an intimate relationship between the combinatorics of the rewriting rules (as encoded in the rule algebra) and the dynamics which these rules generate on observables (as encoded in the stochastic mechanics formalism). We introduce the concept of combinatorial conversion, whereby under certain technical conditions the evolution equation for (the exponential generating function of) the statistical moments of observables can be expressed as the action of certain differential operators on formal power series. This permits us to formulate the novel concept of moment-bisimulation, whereby two dynamical systems are compared in terms of their evolution of sets of observables that are in bijection. In particular, we exhibit non-trivial examples of graphical rewriting systems that are moment-bisimilar to certain discrete rewriting systems (such as branching processes or the larger class of stochastic chemical reaction systems). Our results point towards applications of a vast number of existing well-established exact and approximate analysis techniques developed for chemical reaction systems to the far richer class of general stochastic rewriting systems.
△ Less
Submitted 9 July, 2020; v1 submitted 15 April, 2019;
originally announced April 2019.
-
Operator Ordering and Solution of Pseudo-Evolutionary Equations
Authors:
Nicolas Behr,
Giuseppe Dattoli,
Ambra Lattanzi
Abstract:
The solution of pseudo initial value differential equations, either ordinary or partial (including those of fractional nature), requires the development of adequate analytical methods, complementing those well established in the ordinary differential equation setting. A combination of techniques, involving procedures of umbral and of operational nature, has been demonstrated to be a very promising…
▽ More
The solution of pseudo initial value differential equations, either ordinary or partial (including those of fractional nature), requires the development of adequate analytical methods, complementing those well established in the ordinary differential equation setting. A combination of techniques, involving procedures of umbral and of operational nature, has been demonstrated to be a very promising tool in order to approach within a unifying context non-canonical evolution problems. This article covers the extension of this approach to the solution of pseudo-evolutionary equations. We will comment on the explicit formulation of the necessary techniques, which are based on certain time- and operator ordering tools. We will in particular demonstrate how Volterra-Neumann expansions, Feynman-Dyson series and other popular tools can be profitably extended to obtain solutions of fractional differential equations. We apply the method to a number of examples, in which fractional calculus and a certain umbral image calculus play a role of central importance.
△ Less
Submitted 2 February, 2019;
originally announced February 2019.
-
Operational Methods in the Study of Sobolev-Jacobi Polynomials
Authors:
Nicolas Behr,
Giuseppe Dattoli,
Gérard H. E. Duchamp,
Silvia Licciardi,
Karol A. Penson
Abstract:
Inspired by ideas from umbral calculus and based on the two types of integrals occurring in the defining equations for the gamma and the reciprocal gamma functions, respectively, we develop a multi-variate version of umbral calculus and of the so-called umbral image technique. Besides providing a class of new formulae for generalized hypergeometric functions and an implementation of series manipul…
▽ More
Inspired by ideas from umbral calculus and based on the two types of integrals occurring in the defining equations for the gamma and the reciprocal gamma functions, respectively, we develop a multi-variate version of umbral calculus and of the so-called umbral image technique. Besides providing a class of new formulae for generalized hypergeometric functions and an implementation of series manipulations for computing lacunary generating functions, our main application of these techniques is the study of Sobolev-Jacobi polynomials. Motivated by applications to theoretical chemistry, we moreover present a deep link between generalized normal-ordering techniques introduced by Gurappa and Panigrahi, two-variable Hermite polynomials and our integral-based series transforms. Notably, we thus calculate all K-tuple L-shifted lacunary exponential generating functions for a certain family of SJ polynomials explicitly.
△ Less
Submitted 2 February, 2019; v1 submitted 23 October, 2018;
originally announced October 2018.
-
Rule Algebras for Adhesive Categories
Authors:
Nicolas Behr,
Pawel Sobocinski
Abstract:
We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along an overlap that is associative in a natural sense. Notably, our results hold in the general setting of $\mathcal{M}$-adhesive categories. This observation complements the classical Concurrency Theorem of DPO rewriting. W…
▽ More
We demonstrate that the most well-known approach to rewriting graphical structures, the Double-Pushout (DPO) approach, possesses a notion of sequential compositions of rules along an overlap that is associative in a natural sense. Notably, our results hold in the general setting of $\mathcal{M}$-adhesive categories. This observation complements the classical Concurrency Theorem of DPO rewriting. We then proceed to define rule algebras in both settings, where the most general categories permissible are the finitary (or finitary restrictions of) $\mathcal{M}$-adhesive categories with $\mathcal{M}$-effective unions. If in addition a given such category possess an $\mathcal{M}$-initial object, the resulting rule algebra is unital (in addition to being associative). We demonstrate that in this setting a canonical representation of the rule algebras is obtainable, which opens the possibility of applying the concept to define and compute the evolution of statistical moments of observables in stochastic DPO rewriting systems.
△ Less
Submitted 2 July, 2020; v1 submitted 2 July, 2018;
originally announced July 2018.
-
Explicit formulae for all higher order exponential lacunary generating functions of Hermite polynomials
Authors:
Nicolas Behr,
Gérard H. E. Duchamp,
Karol A. Penson
Abstract:
For a sequence $P=(p_n(x))_{n=0}^{\infty}$ of polynomials $p_n(x)$, we study the $K$-tuple and $L$-shifted exponential lacunary generating functions $\mathcal{G}_{K,L}(λ;x):=\sum_{n=0}^{\infty}\frac{λ^n}{n!} p_{n\cdot K+L}(x)$, for $K=1,2\dotsc$ and $L=0,1,2\dotsc$. We establish an algorithm for efficiently computing $\mathcal{G}_{K,L}(λ;x)$ for generic polynomial sequences $P$. This procedure is…
▽ More
For a sequence $P=(p_n(x))_{n=0}^{\infty}$ of polynomials $p_n(x)$, we study the $K$-tuple and $L$-shifted exponential lacunary generating functions $\mathcal{G}_{K,L}(λ;x):=\sum_{n=0}^{\infty}\frac{λ^n}{n!} p_{n\cdot K+L}(x)$, for $K=1,2\dotsc$ and $L=0,1,2\dotsc$. We establish an algorithm for efficiently computing $\mathcal{G}_{K,L}(λ;x)$ for generic polynomial sequences $P$. This procedure is exemplified by application to the study of Hermite polynomials, whereby we obtain closed-form expressions for $\mathcal{G}_{K,L}(λ;x)$ for arbitrary $K$ and $L$, in the form of infinite series involving generalized hypergeometric functions. The basis of our method is provided by certain resummation techniques, supplemented by operational formulae. Our approach also reproduces all the results previously known in the literature.
△ Less
Submitted 21 June, 2018;
originally announced June 2018.
-
Combinatorics of chemical reaction systems
Authors:
Nicolas Behr,
Gérard H. E. Duchamp,
Karol A. Penson
Abstract:
We propose a concise stochastic mechanics framework for chemical reaction systems that allows to formulate evolution equations for three general types of data: the probability generating functions, the exponential moment generating functions and the factorial moment generating functions. This formulation constitutes an intimate synergy between techniques of statistical physics and of combinatorics…
▽ More
We propose a concise stochastic mechanics framework for chemical reaction systems that allows to formulate evolution equations for three general types of data: the probability generating functions, the exponential moment generating functions and the factorial moment generating functions. This formulation constitutes an intimate synergy between techniques of statistical physics and of combinatorics. We demonstrate how to analytically solve the evolution equations for all six elementary types of single-species chemical reactions by either combinatorial normal-ordering techniques, or, for the binary reactions, by means of Sobolev-Jacobi orthogonal polynomials. The former set of results in particular highlights the relationship between infinitesimal generators of stochastic evolution and parametric transformations of probability distributions.
△ Less
Submitted 22 February, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
The algebras of graph rewriting
Authors:
Nicolas Behr,
Vincent Danos,
Ilias Garnier,
Tobias Heindel
Abstract:
The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\cite{blasiak2010combinatorial} is extended to the case of so-called rule diagrams that present graph rewriting rules and their composites. The resulting rule diagram algebra may then be suitably restricted in four different ways to what we call the rule algebras, which are…
▽ More
The concept of diagrammatic combinatorial Hopf algebras in the form introduced for describing the Heisenberg-Weyl algebra in~\cite{blasiak2010combinatorial} is extended to the case of so-called rule diagrams that present graph rewriting rules and their composites. The resulting rule diagram algebra may then be suitably restricted in four different ways to what we call the rule algebras, which are non-commutative, unital associative algebras that implement the algebra of compositions of graph rewriting rules. Notably, our framework reveals that there exist two more types of graph rewriting systems than previously known in the literature, and we present an analysis of the structure of the rule algebras as well as a form of Poincaré-Birkhoff-Witt theorem for the rule diagram algebra. Our work lays the foundation for a fundamentally new way of analyzing graph transformation systems, and embeds this very important concept from theoretical computer science firmly into the realm of mathematical combinatorics and statistical physics.
△ Less
Submitted 19 December, 2016;
originally announced December 2016.
-
Holography as a highly efficient RG flow II: An explicit construction
Authors:
Nicolas Behr,
Ayan Mukhopadhyay
Abstract:
We complete the reformulation of the holographic correspondence as a \emph{highly efficient RG flow} that can also determine the UV data in the field theory in the strong coupling and large $N$ limit. We introduce a special way to define operators at any given scale in terms of appropriate coarse-grained collective variables, without requiring the use of the elementary fields. The Wilsonian constr…
▽ More
We complete the reformulation of the holographic correspondence as a \emph{highly efficient RG flow} that can also determine the UV data in the field theory in the strong coupling and large $N$ limit. We introduce a special way to define operators at any given scale in terms of appropriate coarse-grained collective variables, without requiring the use of the elementary fields. The Wilsonian construction is generalised by promoting the cut-off to a functional of these collective variables. We impose three criteria to determine the coarse-graining. The first criterion is that the effective Ward identities for local conservation of energy, momentum, etc. should preserve their standard forms, but in new scale-dependent background metric and sources which are functionals of the effective single trace operators. The second criterion is that the scale-evolution equations of the operators in the actual background metric should be state-independent, implying that the collective variables should not explicitly appear in them. The final criterion is that the endpoint of the scale-evolution of the RG flow can be transformed to a fixed point corresponding to familiar non-relativistic equations with a finite number of parameters, such as incompressible non-relativistic Navier-Stokes, under a certain universal rescaling of the scale and of the time coordinate. Using previous work, we explicitly show that in the hydrodynamic limit each such highly efficient RG flow reproduces a unique classical gravity theory with precise UV data that satisfy our IR criterion. We obtain the explicit coarse-graining which reproduces Einstein's equations. In a simple example, we are also able to compute the beta function. Finally, we show how our construction can be interpolated with the traditional Wilsonian RG flow at a suitable scale, and can be used to develop new non-perturbative frameworks for QCD-like theories.
△ Less
Submitted 27 June, 2016; v1 submitted 30 December, 2015;
originally announced December 2015.
-
Holography as a highly efficient RG flow I: Rephrasing gravity
Authors:
Nicolas Behr,
Stanislav Kuperstein,
Ayan Mukhopadhyay
Abstract:
We investigate how the holographic correspondence can be reformulated as a generalisation of Wilsonian RG flow in a strongly interacting large $N$ quantum field theory. We firstly define a \textit{highly efficient RG flow} as one in which the Ward identities related to local conservation of energy, momentum and charges preserve the same form at each scale -- to achieve this it is necessary to rede…
▽ More
We investigate how the holographic correspondence can be reformulated as a generalisation of Wilsonian RG flow in a strongly interacting large $N$ quantum field theory. We firstly define a \textit{highly efficient RG flow} as one in which the Ward identities related to local conservation of energy, momentum and charges preserve the same form at each scale -- to achieve this it is necessary to redefine the background metric and external sources at each scale as functionals of the effective single trace operators. These redefinitions also absorb the contributions of the multi-trace operators to these effective Ward identities. Thus the background metric and external sources become effectively dynamical reproducing the dual classical gravity equations in one higher dimension. Here, we focus on reconstructing the pure gravity sector as a highly efficient RG flow of the energy-momentum tensor operator, leaving the explicit constructive field theory approach for generating such RG flows to the second part of the work. We show that special symmetries of the highly efficient RG flows carry information through which we can decode the gauge fixing of bulk diffeomorphisms in the corresponding gravity equations. We also show that the highly efficient RG flow which reproduces a given classical gravity theory in a given gauge is \textit{unique} provided the endpoint can be transformed to a non-relativistic fixed point with a finite number of parameters under a universal rescaling. The results obtained here are used in the second part of this work, where we do an explicit field-theoretic construction of the RG flow, and obtain the dual classical gravity theory.
△ Less
Submitted 27 June, 2016; v1 submitted 23 February, 2015;
originally announced February 2015.
-
Matrix factorisations for rational boundary conditions by defect fusion
Authors:
Nicolas Behr,
Stefan Fredenhagen
Abstract:
A large class of two-dimensional $\mathcal{N}=(2,2)$ superconformal field theories can be understood as IR fixed-points of Landau-Ginzburg models. In particular, there are rational conformal field theories that also have a Landau-Ginzburg description. To understand better the relation between the structures in the rational conformal field theory and in the Landau-Ginzburg theory, we investigate ho…
▽ More
A large class of two-dimensional $\mathcal{N}=(2,2)$ superconformal field theories can be understood as IR fixed-points of Landau-Ginzburg models. In particular, there are rational conformal field theories that also have a Landau-Ginzburg description. To understand better the relation between the structures in the rational conformal field theory and in the Landau-Ginzburg theory, we investigate how rational B-type boundary conditions are realised as matrix factorisations in the $SU(3)/U(2)$ Grassmannian Kazama-Suzuki model. As a tool to generate the matrix factorisations we make use of a particular interface between the Kazama-Suzuki model and products of minimal models, whose fusion can be realised as a simple functor on ring modules. This allows us to formulate a proposal for all matrix factorisations corresponding to rational boundary conditions in the $SU(3)/U(2)$ model.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
Renormalization and redundancy in 2d quantum field theories
Authors:
Nicolas Behr,
Anatoly Konechny
Abstract:
We analyze renormalization group (RG) flows in two-dimensional quantum field theories in the presence of redundant directions. We use the operator picture in which redundant operators are total derivatives. Our analysis has three levels of generality. We introduce a redundancy anomaly equation which is analyzed together with the RG anomaly equation previously considered by H.Osborn [8] and D.Fried…
▽ More
We analyze renormalization group (RG) flows in two-dimensional quantum field theories in the presence of redundant directions. We use the operator picture in which redundant operators are total derivatives. Our analysis has three levels of generality. We introduce a redundancy anomaly equation which is analyzed together with the RG anomaly equation previously considered by H.Osborn [8] and D.Friedan and A.Konechny [7]. The Wess-Zumino consistency conditions between these anomalies yield a number of general relations which should hold to all orders in perturbation theory. We further use conformal perturbation theory to study field theories in the vicinity of a fixed point when some of the symmetries of the fixed point are broken by the perturbation. We relate various anomaly coefficients to OPE coefficients at the fixed point and analyze which operators become redundant and how they participate in the RG flow. Finally, we illustrate our findings by three explicit models constructed as current-current perturbations of SU(2)_k WZW model. At each generality level we discuss the geometric picture behind redundancy and how one can reduce the number of couplings by taking a quotient with respect to the redundant directions. We point to the special role of polar representations for the redundancy groups.
△ Less
Submitted 14 February, 2014; v1 submitted 15 October, 2013;
originally announced October 2013.
-
Variable transformation defects
Authors:
Nicolas Behr,
Stefan Fredenhagen
Abstract:
We investigate defects between supersymmetric Landau-Ginzburg models whose superpotentials are related by a variable transformation. It turns out that there is one natural defect, which can then be used to relate boundary conditions and defects in the different models. In particular this defect can be used to relate Grassmannian Kazama-Suzuki models and minimal models, and one can generate rationa…
▽ More
We investigate defects between supersymmetric Landau-Ginzburg models whose superpotentials are related by a variable transformation. It turns out that there is one natural defect, which can then be used to relate boundary conditions and defects in the different models. In particular this defect can be used to relate Grassmannian Kazama-Suzuki models and minimal models, and one can generate rational boundary conditions in the Kazama-Suzuki models from those in minimal models. The defects that appear here are closely related to the defects that are used in Khovanov-Rozansky link homology.
△ Less
Submitted 13 February, 2012; v1 submitted 8 February, 2012;
originally announced February 2012.
-
D-branes and matrix factorisations in supersymmetric coset models
Authors:
Nicolas Behr,
Stefan Fredenhagen
Abstract:
Matrix factorisations describe B-type boundary conditions in N=2 supersymmetric Landau-Ginzburg models. At the infrared fixed point, they correspond to superconformal boundary states. We investigate the relation between boundary states and matrix factorisations in the Grassmannian Kazama-Suzuki coset models. For the first non-minimal series, i.e. for the models of type SU(3)_k/U(2), we identify m…
▽ More
Matrix factorisations describe B-type boundary conditions in N=2 supersymmetric Landau-Ginzburg models. At the infrared fixed point, they correspond to superconformal boundary states. We investigate the relation between boundary states and matrix factorisations in the Grassmannian Kazama-Suzuki coset models. For the first non-minimal series, i.e. for the models of type SU(3)_k/U(2), we identify matrix factorisations for a subset of the maximally symmetric boundary states. This set provides a basis for the RR charge lattice, and can be used to generate (presumably all) other boundary states by tachyon condensation.
△ Less
Submitted 12 May, 2010;
originally announced May 2010.