Institute Output

Hypergraph rewriting and Causal structure of $\lambda$-calculus
Research Paper Utkarsh Bajaj Research Paper Utkarsh Bajaj

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.

Read More
Computational General Relativity in the Wolfram Language using Gravitas II: ADM Formalism and Numerical Relativity
Research Paper Jonathan Gorard Research Paper Jonathan Gorard

Computational General Relativity in the Wolfram Language using Gravitas II: ADM Formalism and Numerical Relativity

Jonathan Gorard

This paper introduces the Gravitas computational general relativity framework's numerical subsystem, emphasizing its ability to perform 3 + 1 spacetime decompositions via the ADM formalism, handle complex simulations of gravitational phenomena like binary black hole mergers, and leverage adaptive refinement algorithms based on hypergraph rewriting within the Wolfram Language.

Read More