Institute Output
Hypergraph rewriting and Causal structure of $\lambda$-calculus
Utkarsh Bajaj
Hypergraph rewriting is studied through categorical frameworks to establish foundational concepts of events and causality in graph rewriting systems. Novel concepts are introduced within double-pushout rewriting in adhesive categories. An algorithm is constructed to determine causal relations between events during λ-calculus evaluation, with extensions developed for arbitrary λ-expressions.
A Cosine Rule-Based Discrete Sectional Curvature for Graphs
Xerxes D. Arsiwalla, J.F. Du Plessis
How does one generalize differential geometric constructs such as curvature of a manifold to the discrete world of graphs and other combinatorial structures? This problem carries significant importance for analyzing models of discrete spacetime in quantum gravity; inferring network geometry in network science; and manifold learning in data science. The key contribution of this paper is to introduce and validate a new estimator of discrete sectional curvature for random graphs with low metric-distortion.
Pregeometric Spaces from Wolfram Model Rewriting Systems as Homotopy Types
Xerxes D. Arsiwalla, Jonathan Gorard
The study explores how spatial structures in physics can emerge from pregeometric combinatorial models governed by computational rules, using higher category theory and homotopy types.