The IHX relation in the chemlambda strings

While hunting for RNA graph rewrites in the literature, it dawned on me that some chemlambda strings rewrites have all the ingredients of an IHX relation, only one sign is wrong. But this sign can be corrected by an AS relation. For example the FI-FO rewrite (seen as a chemical reaction) appears like this:


You can see the IHX (related to Jacobi identity) and the AS relation in the wiki page about the Kontsevich invariant.

Compare this image with the FI-FO rewrite as it appears here:


in the Chemlambda strings draft.

Or check out this handmade animation 🙂


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s