Home > Uncategorized > Emergent sums and differences in graphic lambda calculus

## Emergent sums and differences in graphic lambda calculus

See the page Graphic lambda calculus for background.

Here I want to discuss the treatment of one identity concerning approximate sums and differences in emergent algebras. The identity is the following:

$\Delta^{x}_{\varepsilon}(u, \Sigma^{x}_{\varepsilon}(u,v)) = v$

The approximate sum (maybe emergent sum would be a better name) $\Sigma^{x}_{\varepsilon}(u,w)$ has the following associated graph in $GRAPH$:

The letters in red “$x, u, w, \Sigma$” are there only for the convenience of the reader.

Likewise, the graph in $GRAPH$ which corresponds to the approximate difference (or emergent difference) $\Delta^{x}_{\varepsilon}(u,w)$ is the following:

The graph which corresponds to $\Delta^{x}_{\varepsilon}(u, \Sigma^{x}_{\varepsilon}(u,v))$ is this one:

By a succession of CO-ASSOC moves we arrive to this graph:

We are ready to apply an R2 move to get:

We use now an ext2 move at the node marked by “1″

followed by local pruning

Here comes the funny part! We cannot continue unless we work with a graph where at the edges marked by the red letters “$x, u$” we put two disjoint (not connected by edges) graphs in $GRAPH$, say $X, U$:

Let us suppose that from the beginning we had $X, U$ connected at the edges marked by the red letters $x, u$, and proceed further. My claim is that by three  GLOBAL FAN-OUT  moves we can make the following move

We use this move and we obtain:

As previously, we use an R2 move and another ext2 move to finally obtain this:

which is the answer we were looking for. We could use GLOBAL PRUNING to get rid of the part of the graph which ends by a termination gate.

1. January 7, 2013 at 5:50 pm | #1
2. March 1, 2013 at 2:08 pm | #2
Sauropod Vertebra Picture of the Week #AcademicSpring

SV-POW! ... All sauropod vertebrae, except when we're talking about Open Access

Science to Grok

computing with space

isomorphismes

computing with space

Retraction Watch

Tracking retractions as a window into the scientific process

Shtetl-Optimized

computing with space

Not Even Wrong

computing with space

Theoretical Atlas

He had bought a large map representing the sea, / Without the least vestige of land: / And the crew were much pleased when they found it to be / A map they could all understand.

Gödel's Lost Letter and P=NP

a personal view of the theory of computation

Gowers's Weblog

Mathematics related discussions

Research and Lecture notes

by Fabrice Baudoin

Calculus VII

being boring

The "Putnam Program"

Language & Brains, Machines & Minds

What's new

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao