GReTA seminar #10: "Hypergraph Rewriting and the Wolfram Model"
Speaker: Jonathan Gorard (University of Cambridge and Wolfram Research, UK)
Abstract:
This talk will summarize some recent results obtained in connection with the Wolfram Physics Project: a systematic attempt to reduce fundamental physics to the problem of hypergraph rewriting. Specifically, we will discuss the construction of an efficient hypergraph rewriting scheme using the formalism of Wolfram model multiway systems, with a categorical semantics defined via double-pushout rewrites over selective adhesive categories, and equipped with a dagger-symmetric monoidal structure that exhibits surprising formal connections to categorical quantum mechanics. We will also demonstrate that, by equipping such a multiway system with an additional notion of causal structure (defined via the semantics of precausal categories), we are able to introduce new inference rules of selective resolution, paramodulation and factoring that generalize the standard Knuth-Bendix completion rules for term rewriting systems, and significantly improve the efficiency of automated diagrammatic reasoning algorithms over hypergraphs. Time permitting, we will discuss some near-term practical applications of these methods for quantum information theory (allowing for more efficient diagrammatic simplification of quantum circuits), as well as numerical general relativity (allowing for more explicit numerical simulation of graph-theoretic models of space and time).
About the GReTA seminars:
The GReTA – Graph TRansformation Theory and Applications virtual seminar series aims to serve as a platform for the international graph rewriting community, to promote recent developments and trends in the field, and to permit a regular networking and interaction between members of this community. Seminars are held twice a month in the form of Zoom sessions (some of which will be live-streamed to YouTube). Please refer to http://www.irif.fr/~greta for further details (including information on how to register for participating in the Zoom meetings).
Видео GReTA seminar #10: "Hypergraph Rewriting and the Wolfram Model" канала GReTA Seminar
Abstract:
This talk will summarize some recent results obtained in connection with the Wolfram Physics Project: a systematic attempt to reduce fundamental physics to the problem of hypergraph rewriting. Specifically, we will discuss the construction of an efficient hypergraph rewriting scheme using the formalism of Wolfram model multiway systems, with a categorical semantics defined via double-pushout rewrites over selective adhesive categories, and equipped with a dagger-symmetric monoidal structure that exhibits surprising formal connections to categorical quantum mechanics. We will also demonstrate that, by equipping such a multiway system with an additional notion of causal structure (defined via the semantics of precausal categories), we are able to introduce new inference rules of selective resolution, paramodulation and factoring that generalize the standard Knuth-Bendix completion rules for term rewriting systems, and significantly improve the efficiency of automated diagrammatic reasoning algorithms over hypergraphs. Time permitting, we will discuss some near-term practical applications of these methods for quantum information theory (allowing for more efficient diagrammatic simplification of quantum circuits), as well as numerical general relativity (allowing for more explicit numerical simulation of graph-theoretic models of space and time).
About the GReTA seminars:
The GReTA – Graph TRansformation Theory and Applications virtual seminar series aims to serve as a platform for the international graph rewriting community, to promote recent developments and trends in the field, and to permit a regular networking and interaction between members of this community. Seminars are held twice a month in the form of Zoom sessions (some of which will be live-streamed to YouTube). Please refer to http://www.irif.fr/~greta for further details (including information on how to register for participating in the Zoom meetings).
Видео GReTA seminar #10: "Hypergraph Rewriting and the Wolfram Model" канала GReTA Seminar
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
GReTA seminar: "On Over-Squashing and Expressivity: Can GNNs Mix Variables?"GReTA seminar: A graphical language for programming with graph rewritingGReTA seminar: "Comprehensive Systems for Software Interoperability Problems"GReTA seminar: "Functorial Data Migration"GReTA seminar: "Functional Graph Programs - Foundations and Applications"GReTA seminar: "A Category of Surface-Embedded Graphs"ECMFA Session 5 (Keynote)ICGT Session 8: Tools & ApplicationsICGT Session 7: Keynote & Journal-FirstICGT Session 6: ApplicationsICGT Session 5: Blue Skies & Journal-FirstICGT Session 4: Graph Transformation PropertiesICGT Session 3: TheoryICGT Session 2: Specification and VerificationICGT Session 1 (Keynote)GCM Session 3GCM Session 2GReTA seminar: "Automated generation of domain-specific graph models"GReTA seminar: "Unification of Drags and Confluence of Drag Rewriting"GReTA seminar: "Rewriting for Monoidal Closed Categories"GReTA seminar: "Energy-based modelling"