From combinators and zippers to interaction graphs (part I)

In the post Combinators and zippers I gave a description of the SKI combinators and their fundamental relations in terms of zippers.  See the tutorial page on graphic lambda calculus for background.

As a conclusion of the post  on combinators and zippers, let me mention that the and combinators appear as “half” of the 1-zipper and 2-zipper respectively, with some wires and termination gates added. The combinator appears as a half of the 3-zipper with a “diamond” added, which in fact serves to generate more zippers when composed with other combinators.

Looks like gibberish? Here is for example the relation , as deduced in graphic lambda calculus, by using zippers:

Looks like I did it without using GLOBAL FAN-OUT! The point is that we may transform combinatory logic into a calculus with zippers, half-zippers (see how the left half zipper from the expression of , made by two gates, couples to form a 2-zipper with the right-half zipper made by two gates from the “diamond”) and some wires and termination gates.

Here comes the more interesting part: could we do it with zippers written in terms of emergent algebras and by using the dual of the graphic beta move instead?

I shall first explain what a zipper in emergent algebra is. Look at the next figure to see one:

This is 3-zipper written with the help of the emergent algebra crossing macro. It unzips by using three moves.

The problem with this zipper is that it is not at all clear what a half of it might be. Related to this is the fact that we can “unzip” independently each of the parts of the zipper, there is no order of zipping-unzipping, because we already have all the patterns needed to apply the dual of the graphic beta move. This is a different situation, compared to the one of the usual zipper. In the usual zipper case, that zipper is in fact made by two halves, one containing the gates, the other half containing the   gates; there is only one place where we can apply the graphic beta move and after the application of this move appears a new pattern proper for the application of the next graphic beta move and so on, until the zipper becomes unzipped.

In the extreme case of the 1-zipper, which is nothing but the pattern for the application of the graphic beta move, we can identify the   gate with the left half of the zipper and the gate with the right half of the zipper. On the contrary, we can’t do anything comparable to this for the 1-zipper from emergent algebras.

A solution which could get us out of this problem (and therefore one which would allow to do combinatory logic in the realm of emergent algebra) is to introduce “interaction graphs”, which form a new sector of the graphic lambda calculus.  These interaction graphs look (superficially) a bit alike Feynman trivalent diagrams, with “interaction  nodes” decorated either with or with , and wires corresponding to “particles” or . This is for the next time, I have to play a bit more with those before showing them.
{"cc_re__cc_re__cc_by_4_0": [" />\n<p style=\"display: none;\"><input type=\"hidden\" id=\"ak_js\" name=\"ak_js\" value=\"161\"/></p>\t\t\t</form>\n\t\t\t</div><!-- #respond -->\n\t<div style=\"clear: both\"></div>\n</div><!-- #comments -->\n\t\t</div><!-- #content -->\n\t</div><!-- #primary -->\n\n<div id=\"secondary\">\n\t\t\t<h2 class=\"site-description\">computing with space | open notebook</h2>\n\t\n\t\n\t\t<div id=\"primary-sidebar\" class=\"primary-sidebar widget-area\" role=\"complementary\">\n\t\t<aside id=\"text-3\" class=\"widget widget_text\">\t\t\t<div class=\"textwidget\"><a rel=\"license\" href=\"http://creativecommons.org/licenses/by/4.0/\"><img alt=\"Creative Commons License\" style=\"border-width:0;\" src=\"https://i.creativecommons.org/l/by/4.0/88x31.png\" /></a><br />This work is licensed under a <a rel=\"license\" href=\"http://creativecommons.org/licenses/by/4.0/\">Creative Commons Attribution 4.0 International License</a>.\r\n</div>\n\t\t</aside><aside id=\"blog_subscription-3\" class=\"widget widget_blog_subscription jetpack_subscription_widget\"><h1 class=\"widget-title\"><label for=\"subscribe-field\">Follow Blog via Email</label></h1>\n        ", " #primary -->\n\n<div id=\"secondary\">\n\t\t\t<h2 class=\"site-description\">computing with space | open notebook</h2>\n\t\n\t\n\t\t<div id=\"primary-sidebar\" class=\"primary-sidebar widget-area\" role=\"complementary\">\n\t\t<aside id=\"text-3\" class=\"widget widget_text\">\t\t\t<div class=\"textwidget\"><a rel=\"license\" href=\"http://creativecommons.org/licenses/by/4.0/\"><img alt=\"Creative Commons License\" style=\"border-width:0;\" src=\"https://i.creativecommons.org/l/by/4.0/88x31.png\" /></a><br />This work is licensed under a <a rel=\"license\" href=\"http://creativecommons.org/licenses/by/4.0/\">Creative Commons Attribution 4.0 International License</a>.\r\n</div>\n\t\t</aside><aside id=\"blog_subscription-3\" class=\"widget widget_blog_subscription jetpack_subscription_widget\"><h1 class=\"widget-title\"><label for=\"subscribe-field\">Follow Blog via Email</label></h1>\n            <form action=\"https://subscribe.wordpress.com\" method=\"post\" accept-charset=\"utf-8\"\n                  id=\"subscribe-blog\">\n\t\t\t\t\t\t\t\t\t<p>Enter your email address to follow this blog and receive notifications of new posts by"], "copyright__copyright__copyright": ["hich could get us out of this problem (and therefore one which would allow to do combinatory logic in the realm of emergent algebra) is to introduce \u201cinteraction graphs\u201d, which form a new sector of the graphic lambda calculus.\u00a0 These interaction graphs look (superficially) a bit alike Feynman trivalent diagrams, with \u201cinteraction\u00a0 nodes\u201d decorated either with or with , and wires corresponding to \u201cparticles\u201d or . This is for the next time, I have to play a bit more with those before showing them.", "hich could get us out of this problem (and therefore one which would allow to do combinatory logic in the realm of emergent algebra) is to introduce \u201cinteraction graphs\u201d, which form a new sector of the graphic lambda calculus.\u00a0 These interaction graphs look (superficially) a bit alike Feynman trivalent diagrams, with \u201cinteraction\u00a0 nodes\u201d decorated either with or with , and wires corresponding to \u201cparticles\u201d or . This is for the next time, I have to play a bit more with those before showing them.", "hich could get us out of this problem (and therefore one which would allow to do combinatory logic in the realm of emergent algebra) is to introduce \u201cinteraction graphs\u201d, which form a new sector of the graphic lambda calculus.\u00a0 These interaction graphs look (superficially) a bit alike Feynman trivalent diagrams, with \u201cinteraction\u00a0 nodes\u201d decorated either with or with , and wires corresponding to \u201cparticles\u201d or . This is for the next time, I have to play a bit more with those before showing them.", "hich could get us out of this problem (and therefore one which would allow to do combinatory logic in the realm of emergent algebra) is to introduce \u201cinteraction graphs\u201d, which form a new sector of the graphic lambda calculus.\u00a0 These interaction graphs look (superficially) a bit alike Feynman trivalent diagrams, with \u201cinteraction\u00a0 nodes\u201d decorated either with or with , and wires corresponding to \u201cparticles\u201d or . This is for the next time, I have to play a bit more with those before showing them.", "hich could get us out of this problem (and therefore one which would allow to do combinatory logic in the realm of emergent algebra) is to introduce \u201cinteraction graphs\u201d, which form a new sector of the graphic lambda calculus.\u00a0 These interaction graphs look (superficially) a bit alike Feynman trivalent diagrams, with \u201cinteraction\u00a0 nodes\u201d decorated either with or with , and wires corresponding to \u201cparticles\u201d or . This is for the next time, I have to play a bit more with those before showing them."]}