Arity Science

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <title>Arity Science</title> <meta content="width=device-width, initial-scale=1.0" name="viewport"> <meta content="" name="keywords"> <meta content="" name="description">  <link href="../img/SEMFtab.png" rel="icon">  <script src="https://kit.fontawesome.com/df9b89ac6c.js" crossorigin="anonymous"></script>  <link rel="preconnect" href="https://fonts.gstatic.com"> <link href="https://fonts.googleapis.com/css2?family=Belleza&display=swap" rel="stylesheet"> <link href="https://fonts.googleapis.com/css2?family=Quattrocento+Sans&display=swap" rel="stylesheet"> <link href="https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,700,700i|Montserrat:300,400,500,700" rel="stylesheet">  <link href="lib/bootstrap/css/bootstrap.min.css" rel="stylesheet">  <link href="lib/font-awesome/css/font-awesome.min.css" rel="stylesheet"> <link href="lib/animate/animate.min.css" rel="stylesheet"> <link href="lib/ionicons/css/ionicons.min.css" rel="stylesheet"> <link href="lib/owlcarousel/assets/owl.carousel.min.css" rel="stylesheet"> <link href="lib/lightbox/css/lightbox.min.css" rel="stylesheet">  <link href="style.css" rel="stylesheet">  </head> <body>  <section id="intro"> <div class="intro-container"> <div class="carousel-container"> <div class="carousel-content"> </br></br></br></br>  <h1 style="letter-spacing:1px"> Arity Science </h1>  <h2>Compositional Structure of Higher-Order Systems</h2></br></br></br>  <img src="img/borromean.png" height="300" width="500"> <img src="img/HyperMotif.png" height="500" width="500"> <img src="img/fish.png" height="300" width="500">  <p align="justify"> </br></br></br><a href="https://en.wikipedia.org/wiki/Arity" target="_blank">Arity</a> Science is a multi-project research programme that aims to develop novel mathematical and computational frameworks, generalizing existing formalisms such as category theory, relational algebra and network theory, that can accommodate the complexity of higher-order systems while remaining rigorous and computable. Arity Science is a transdisciplinary effort that focuses on the formal investigation of mathematical objects such as n-ary algebras or hypergraphs, and their subsequent application for the modelling of higher-order phenomena across scientific disciplines, including brain connectomics, rewriting and automata, genome topology, art history or molecular computing. </p>  <p style="font-size:120%"> </br></br><i>"The task is not to see what has never been seen before, </br>but to think what has never been thought before about what we see everyday"</br></i> Erwin Schr枚dinger</br></br> </p>  <img src="img/venn.png" height="650" width="900"> </br></br>  <h1></br>Goals</h1></br> <p align="justify"> <b>Characterize Complexity from Arity.</b> Many complex systems such as ecosystems, societies or cells, involve mechanisms that go beyond pairwise interactions leading to higher-order emergent and non-linear phenomena. What is the impact of the arity of interaction on the complex behaviour of a system?</br></br> <b>Survey Irreducible Arity.</b> The Borromean rings, a configuration of three loops in space that are linked while not being pairwise linked, represent the paradigmatic example of an irreducible ternary relation. The phenomenon of irreducible arity is likely ubiquitous across mathematics and science.</br></br> <b>Formalize Hypergraph Adjacency.</b> There is a well-known connection between graph theory and linear algebra, most notably exploited in network theory, based on the concept of adjacency. A hypergraph analogue of such a connection, which would involve hypermatrix algebra, has not been described in full detail and it is likely to prove instrumental in the modelling of higher-order systems.</br></br> <b>Develop Non-Sequential Computation.</b> The notion of sequence, both abstract (a tuple) and practical (processes in minds and machines), dominates the current landscape of mathematical and computational formalisms. Higher-order phenomena call for a systematic framework that implements non-binary and non-sequential notions of operations, transformations and processes.</br></br> <b>Define Higher-Arity Categories.</b> Category theory, with the notion of directed (binary) morphism at the core, is generally regarded to capture fundamental structural features of large areas of mathematics. Surprisingly, very little work exists on the notion of higher-arity morphisms and the use of hypergraphs as models for commutative diagrams. Examples from matrix theory and ternary algebra, however, point towards a rich compositional structure in higher-arity categories.</br></br> <b>Explore Higher Algebra.</b> A vast landscape of n-ary, non-sequential and hypercompositional algebraic structures remains unexplored due to a combination of historical biases, human cognitive limitations and technical challenges. Novel approaches using hypergraphs and computer-aided notation are revealing previously unseen patterns. </p> </br></br></br>  <h1>People</h1></br></br> <div class="row questions-cols"> <div class="col-md-3 wow fadeInUp"> </div> <div class="col-md-2 wow fadeInUp"> <img src="img/Carlos.jpg" class="img-fluid" alt="" width="650px"> <p style="width:100%"></br><a href="https://czapatacarratala.wixsite.com/home" target="_blank">Carlos Zapata-Carratal谩</a></br>(Lead)</p> </div> <div class="col-md-2 wow fadeInUp"> <img src="img/Josh.jpg" class="img-fluid" alt="" width="650px"> <p style="width:100%"></br><a href="https://home.cs.colorado.edu/~jgrochow/index.html" target="_blank">Josh Grochow</a></br>(Lead)</p> </div> <div class="col-md-2 wow fadeInUp"> <img src="img/Bernard.jpg" class="img-fluid" alt="" width="650px"> <p style="width:100%"></br><a href="https://aten.cool/" target="_blank">Charlotte Aten</a></p> </div> <div class="col-md-3 wow fadeInUp"></div> <div class="col-md-3 wow fadeInUp"></div> <div class="col-md-2 wow fadeInUp"> <img src="img/Bernard.jpg" class="img-fluid" alt="" width="385px"> <p style="width:100%"></br><a href="https://www.linkedin.com/in/iridaaltman/" target="_blank">Irida Altman</a></p> </div> <div class="col-md-2 wow fadeInUp"> <img src="img/Max.jpg" class="img-fluid" alt="" width="650px"> <p style="width:100%"></br><a href="https://cudan.tlu.ee/team/max/" target="_blank">Max Schich</a></p> </div> <div class="col-md-2 wow fadeInUp"> <img src="img/Xerxes.jpg" class="img-fluid" alt="" width="650px"> <p style="width:100%"></br><a href="https://www.wolframphysics.org/people/xerxes-arsiwalla/" target="_blank">Xerxes Asiwalla</a></p> </div> <div class="col-md-3 wow fadeInUp"></div> <div class="col-md-3 wow fadeInUp"></div> <div class="col-md-2 wow fadeInUp"> <img src="img/Tali.jpg" class="img-fluid" alt="" width="650px"> <p style="width:100%"></br><a href="https://tali.link/" target="_blank">Taliesin Beynon</a></p> </div> <div class="col-md-2 wow fadeInUp"> <img src="img/Bernard.jpg" class="img-fluid" alt="" width="650px"> <p style="width:100%"></br><a href="https://sites.google.com/view/bernardrybolowicz/" target="_blank">Bernard Rybo艂owicz</a></p> </div> <div class="col-md-2 wow fadeInUp"> <img src="img/Andres.jpg" class="img-fluid" alt="" width="367px"> <p style="width:100%"></br><a href="https://www.santafe.edu/people/profile/andres-ortiz-munoz" target="_blank">Andr茅s Ortiz-Mu帽oz</a></p> </div> </div> </br></br></br>  <h1>Timeline</h1></br></br> <p align="justify"> 21/10/2024 - [Published Article] - <a href="https://www.sciencedirect.com/science/article/abs/pii/S0304397524005322?via%3Dihub" target="_blank">"Diagrammatic calculus and generalized associativity for higher-arity tensor operations"</a> in Theoretical Computer Science, Elsevier.</br></br> 21/06/2024 - [Talk] - <a href="https://www.mathematics.uni-bonn.de/him/programs/past/him-trimester-program-prospects-of-formal-mathematics" target="_blank">"Hypergraph Rewriting Systems for Theory Enumeration and Discovery"</a> at the Bridging Formal and Informal Mathematics conference at the Hausdorff Research Institute, Boon .</br></br> 21/06/2024 - [Talk] - <a href="https://netsci2024.com/" target="_blank">"New Mathematics for Higher-Order Networks"</a> at the Network Science 2024 conference, Quebec.</br></br> 27/05/2024 - [Workshop] - <a href="https://arity.science/2hypermatrixworkshop" target="_blank">HyperMatrix Workshop II</a>, Paris. A gathering of researchers working on different branches of mathematics, computer science and physics united under the theme of generalized matrix algebra and higher-order structures.</br></br> 19/12/2023 - [Meeting] - Carlos and Josh meet to start discussions about the Bhattacharya-Mesner Product.</br></br> 15/09/2023 - [Published Article] - <a href="https://www.worldscientific.com/doi/10.1142/S0219525923500078" target="_blank">"Hypermatrix Algebra and Irreducible Arity in Higher-Order Systems"</a> in Advances in Complex Systems, World Scientific.</br></br> 09/08/2023 - [Published Article] - <a href="https://link.springer.com/article/10.1007/s00233-023-10374-x" target="_blank">"Biunit pairs in semiheaps and associated semigroups"</a> in Semigroup Forum Journal, Springer</br></br> 24/07/2023 - [Course] - <a href="https://semf.org.es/school2023/sessions.html#S2/" target="_blank">"Foundations of Mathematics and Hypernetwork Theory"</a> at the SEMF Interdisciplinary Summer School 2023</br></br> 14/07/2023 - [Talk] - <a href="https://conf.researchr.org/details/staf-2023/gcm-2023-papers/5/Hypergraph-Rewriting-and-Higher-Arity-Algebra" target="_blank">"Hypergraph Rewriting and Higher-Arity Algebra"</a> at the Software Technologies: Applications and Foundations 2023 conference, Leicester.</br></br> 14/07/2023 - [Talk] - <a href="https://easychair.org/smart-program/NetSci2023/2023-07-13.html#talk:224468" target="_blank">"Higher-Arity Algebra for Higher-Order Networks"</a> at the Network Science 2023 conference, Vienna.</br></br> 24/04/2023 - [Workshop] - <a href="https://arity.science/1hypermatrixworkshop" target="_blank">HyperMatrix Workshop I</a>, online. A gathering of researchers working on different branches of mathematics, computer science and physics united under the theme of generalized matrix algebra and higher-order structures.</br></br> 07/02/2023 - [Software] - Carlos begins work with Nik Murzin on the development and implementation of a hypergraph rewriting and hypermatrix algebra function package.</a></br></br> 05/01/2023 - [Paper] - <a href="https://arxiv.org/abs/2301.07494" target="_blank">Beyond Binary: Hypermatrix Algebra and Irreducible Arity in Higher-Order Systems.</a></br></br> 20/12/2022 - [Talk] - <a href="https://www.cl.cam.ac.uk/events/syco/10/" target="_blank">"Chemoids and n-ary associativity"</a> at the 10th Symposium on Compositional Structures, Edinburgh.</br></br> 03/12/2022 - [Workshop] - <a href="https://arity.science/2ternarydayedinburgh" target="_blank"> Ternary Day Edinburgh 2022, 2nd Edition</a> - a workshop on ternary and higher-arity structures in algebra, geometry and category theory bringing together mathematicians, physicists and computer scientists.</br></br> 15/09/2022 - [Paper] - <a href="https://arxiv.org/abs/2209.07203" target="_blank">"Biunit pairs in semiheaps and associated semigroups"</a></br></br> 09/09/2022 - [Talk] - <a href="https://eutopia.unitn.eu/topology-physics-and-chemistry-of-soft-matter-eutopia-iv/" target="_blank">"The Hyperconnected World"</a> at Topology, Physics and Chemistry 2022, EUTOPIA COST Action</br></br> 08/09/2022 - [Meeting] - Carlos, Luca and Gianmarco meet in Trento to begin work on neuron-glia connectivity</br></br> 25/07/2022 - [Meeting] - Carlos and Adr茅s meet in Valencia to begin work on higher-arity categories</br></br> 28/07/2022 - [Talk] - <a href="http://enem.anem.es/2022/enem-2022/charlas/" target="_blank">"Non-Binary Mathematics"</a> at the ENEM Conference 2022</br></br> 18/07/2022 - [Course] - <a href="https://www.youtube.com/watch?v=ktSsksFvwio&list=PLs9IZxHtQQi9UEyoFauoFZubL8GKlrsCt" target="_blank">"Introduction to Hypergraphs and Category Theory"</a> at the SEMF Interdisciplinary Summer School 2022</br></br> 06/07/2022 - [Meeting] - Carlos and Davide meet in Edinburgh to begin work on genome connectivity</br></br> 17/06/2022 - [Workshop] - <a href="https://arity.science/1ternarydayedinburgh" target="_blank"> Ternary Day Edinburgh 2022 1st Edition</a> - a workshop on ternary and higher-arity structures in algebra, geometry and category theory bringing together mathematicians, physicists and computer scientists.</br></br> 01/05/2022 - [Paper] - <a href="https://arxiv.org/abs/2205.05456" target="_blank">"Heaps of Fish: arrays, generalized associativity and heapoids"</a></br></br> 27/04/2022 - [Meeting] - Bernard and Carlos meet for the first time in Edinburgh and begin collaboration on ternary algebra</br></br> 13/04/2022 - [Talk] - <a href="https://www.youtube.com/watch?v=dXFh2fo1djE" target="_blank">"Higher Arity Mathematics"</a> at the Wolfram Physics Seminar</br></br> 23/03/2022 - [Talk] - <a href="https://www.macs.hw.ac.uk/~anatolyk/NBMPS64.html" target="_blank">"3-Lie Algebras, Heaps and the Mystery of Ternary Associativity"</a> at the North British Mathematical Physics Seminar</br></br> 28/02/2022 - [Meeting] - Tali and Carlos meet in Cape Town to work on plex algebra and discuss the Arity Science project at large</br></br> 21/01/2022 - [Paper] - <a href="https://arxiv.org/abs/2201.09738" target="_blank">"An invitation to Higher Arity Science"</a></br></br> 16/12/2021 - [Meeting] - Carlos and Xerxes meet in Barcelona to discuss the fish structure</br></br> 15/07/2021 - [Meeting] - Xerxes, Tali and Carlos meet for the first time at the Wolfram Summer School and <a href="https://community.wolfram.com/groups/-/m/t/2313171" target="_blank">Carlos presents the Arity Science project there</a></br></br> 26/11/2020 - [Talk] - <a href="https://www.youtube.com/watch?v=IOd-sDQ0roA" target="_blank">"The Need for Ternary Categories"</a> at the Edinburgh Category Theory Seminar</br></br> 29/04/2020 - [Origins] - Carlos becomes interested in 3-Lie algebras and ternary associativity following conversations with Jos茅 Figueroa-O'Farrill in Edinburgh </br></br> </p>  <h1></br>Projects</h1></br> <p align="justify"> </br><b>Higher-Order Connectivity in the Kinetoplast Genome</b></br></br> Collaboration: <a href="https://czapatacarratala.wixsite.com/home" target="_blank">C. Zapata-Carratala</a> (SEMF, WI), <a href="https://www2.ph.ed.ac.uk/~dmichiel/" target="_blank">D. Michieletto</a> (U. of Edinburgh)</br></br> Description: Circular DNA has been found in topologically non-trivial configurations both in vivo and in vitro. Higher-order linking structures beyond catenation, such as Borromean or Brunnian, are modelled with hypergraph adjacency. The aim is to investigate to what extent knoting and linking codifies biological information.</br></br> Output: <a href="https://arxiv.org/abs/2301.07494" target="_blank">Beyond Binary</a> [paper], <a href="https://eutopia.unitn.eu/topology-physics-and-chemistry-of-soft-matter-eutopia-iv/" target="_blank">Hyperconnectivity in Topological Genomes</a> [invited talk]</br></br> <b>Hypernetwork Modelling for the Role of Glia in Memory Formation</b></br></br> Collaboration: <a href="https://czapatacarratala.wixsite.com/home" target="_blank">C. Zapata-Carratala</a> (SEMF, WI), <a href="https://webapps.unitn.it/du/en/Persona/PER0214829/Pubblicazioni" target="_blank">L. Tubiana</a> (U. of Trento), <a href="https://www.linkedin.com/in/gianmarcozanardi/" target="_blank">G. Zanardi</a> (U. of Trento)</br></br> Description: Astrocytes in the human brain have been observed to bind several synapses of separate neurons in a biochemically active way. Higher-order modelling is required to perform data analytics on the brain activity patterns that may be affected by the presence of glial cells.</br></br> Output: ~research in progress~</br></br></br> <b>Hypergraph Extension of Assembly Theory</b></br></br> Collaboration: <a href="https://czapatacarratala.wixsite.com/home" target="_blank">C. Zapata-Carratala</a> (SEMF, WI), <a href="http://www.chem.gla.ac.uk/cronin/" target="_blank">L. Cronin</a> (U. of Glasgow)</br></br> Description: Assembly Theory proposes a powerful model of chemical memory in an attept to systematize de biochemistry of the origin of life, among other applications. The original formulation was made in terms of simple directed graphs that were restricted to pair-wise assembly; however, directed hypergraphs were recognized to be more suited to describe assembly and they naturally account for combinations of an arbitrary number of elements.</br></br> Output: <a href="https://arxiv.org/abs/2301.07494" target="_blank">Beyond Binary</a> [paper]</br></br></br> <b>Abstract Chemistries and Higher-Arity Categories</b></br></br> Collaboration: <a href="https://czapatacarratala.wixsite.com/home" target="_blank">C. Zapata-Carratala</a> (SEMF, WI), <a href="https://www.santafe.edu/people/profile/andres-ortiz-munoz" target="_blank">A. Ortiz-Mu帽oz</a> (SFI), <a href="https://www.ntnu.edu/employees/nils.baas" target="_blank">N. Baas</a> (NTNU)</br></br> Description: Based on the diagrammatic approach to category theory, the extension of morphisms to higher-arity bonds and the reformulation of compositional rules in terms of hypergraph rewrites leads to a natural notion of higher-arity category. These objects seem to describe general forms of abstract chemistry, which can be applied to recover concrete forms of realistic molecular reactions. Abstract chemistries are likely to play an important role in the development of the theory of molecular computing.</br></br> Output: <a href="https://www.youtube.com/watch?v=IOd-sDQ0roA" target="_blank">"Ternary Categories"</a> [talk], <a href="https://arxiv.org/abs/2205.05456" target="_blank">"Heaps of Fish: arrays, generalized associativity and heapoids"</a> [paper], <a href="https://arxiv.org/abs/2201.09738" target="_blank">"An invitation to Higher Arity Science"</a> [paper]</br></br></br> <b>Ternary Algebra and Higher Symmetry</b></br></br> Collaboration: <a href="https://czapatacarratala.wixsite.com/home" target="_blank">C. Zapata-Carratala</a> (SEMF, WI), <a href="https://sites.google.com/view/bernardrybolowicz/" target="_blank">B. Rybo艂owicz</a> (Heriot-Watt U.), <a href="https://www.maths.ed.ac.uk/~jmf/" target="_blank">J. Figueroa-O'Farrill</a> (U. of Edinburgh)</br></br> Description: Ternary algebras, such as semiheaps and 3-Lie algebras, are investigated for their purely mathematical properties and the potential to generalize the notion of symmetry in physical theories. This line of research works towards the resolution of the long-standing open problem of integration of n-Leibniz algebras which can lead to insights in the generalization of gauge theories and, in particular, a better understanding of the strong nuclear force.</br></br> Output: <a href="https://www.youtube.com/watch?v=dXFh2fo1djE" target="_blank">"Associativity as Confluence"</a> [invited talk], <a href="https://arxiv.org/abs/2205.05456" target="_blank">"Heaps of Fish: arrays, generalized associativity and heapoids"</a> [paper], <a href="https://arxiv.org/abs/2209.07203" target="_blank">"Biunit pairs in semiheaps and associated semigroups"</a> [paper]</br></br></br> <b>Hypermatrices, Adjacency and Rewrites</b></br></br> Collaboration: <a href="https://czapatacarratala.wixsite.com/home" target="_blank">C. Zapata-Carratala</a> (SEMF, WI), <a href="https://www.wolframphysics.org/people/xerxes-arsiwalla/" target="_blank">X. Arsiwalla</a> (U. Pompeu Fabra), <a href="https://tali.link/" target="_blank">T. Beynon</a> (Wolfram Research), <a href="https://www.linkedin.com/in/iridaaltman/" target="_blank">I. Altman</a> (ETH Zurich)</br></br> Description: The basic mathematical theory for hypergraphs, analogous to classical graph theory, is still in its infancy. This project works towards the generalization of the basic principles of graph theory to hypergraphs and their application to network science. Particularly, higher-order adjacency in hypergraphs is modelled via hypermatrices (multi-index arrays, not to be confused with tensors) and higher-arity algebras.</br></br> Output: <a href="https://www.youtube.com/watch?v=ktSsksFvwio&list=PLs9IZxHtQQi9UEyoFauoFZubL8GKlrsCt" target="_blank">"Introduction to Hypergraphs"</a> [lecture], <a href="https://arxiv.org/abs/2201.09738" target="_blank">"An invitation to Higher Arity Science"</a> [paper], <a href="https://arxiv.org/abs/2205.05456" target="_blank">"Heaps of Fish: arrays, generalized associativity and heapoids"</a> [paper]</br></br></br> <b>Philosophy of Mathematical Creativity</b></br></br> Collaboration: <a href="https://czapatacarratala.wixsite.com/home" target="_blank">C. Zapata-Carratala</a> (SEMF, WI), <a href="https://www.linkedin.com/in/iridaaltman/" target="_blank">I. Altman</a> (ETH Zurich)</br></br> Description: The limitations of human cognition, and a combination of historical biases, have resulted in a landscape of mathematical and computational theories dominated by binary structures. As a consequence, the Arity Science effort requires a great deal of creativity and inventiveness. Philosophical enquiry and discourse that reveals preconceptions and expands methodologies is particularly useful in catalyzing the necessary ideation and imagination of new mathematics.</br></br> Output: <a href="http://enem.anem.es/2022/enem-2022/charlas/" target="_blank">"Non-Binary Mathematics"</a> [invited talk], <a href="https://arxiv.org/abs/2201.09738" target="_blank">"An invitation to Higher Arity Science"</a> [paper]</br> </br></br></br></br></br></br></br></br></br></br></br> </div>  </div>  </div>  </section> </main>  <script src="lib/jquery/jquery.min.js"></script> <script src="lib/jquery/jquery-migrate.min.js"></script> <script src="lib/bootstrap/js/bootstrap.bundle.min.js"></script> <script src="lib/easing/easing.min.js"></script> <script src="lib/superfish/hoverIntent.js"></script> <script src="lib/superfish/superfish.min.js"></script> <script src="lib/wow/wow.min.js"></script> <script src="lib/waypoints/waypoints.min.js"></script> <script src="lib/counterup/counterup.min.js"></script> <script src="lib/owlcarousel/owl.carousel.min.js"></script> <script src="lib/isotope/isotope.pkgd.min.js"></script> <script src="lib/lightbox/js/lightbox.min.js"></script> <script src="lib/touchSwipe/jquery.touchSwipe.min.js"></script>  <script src="js/main.js"></script>  <script>includeHTML();</script> </body> </html>

CINXE.COM

Arity Science