I’ve now finished revising the paper that Dan Piponi and I had accepted to MPC 2015; you can find a PDF here:

Polynomial Functors Constrained by Regular Expressions

Here’s the 2-minute version: certain operations or restrictions on functors can be described by regular expressions, where the elements of the alphabet correspond to type arguments. The idea is to restrict to only those structures for which an inorder traversal yields a sequence of types matching the regular expression. For example, gives you even-size things; gives you the derivative (the structure has a bunch of values of type , a single hole of type , and then more values of type ), and the dissection.

The punchline is that we show how to use the machinery of semirings, finite automata, and some basic matrix algebra to automatically derive an algebraic description of any functor constrained by any regular expression. This gives a nice unified way to view differentiation and dissection; we also draw some connections to the theory of divided differences.

I’m still open to discussion, suggestions, typo fixes, etc., though at this point they won’t make it into the proceedings. There’s certainly a lot more that could be said or ways this could be extended further.

##
About Brent

Assistant Professor of Computer Science at Hendrix College. Functional programmer, mathematician, teacher, pianist, follower of Jesus.

Beautiful!

Don’t have many suggestions yet since I only skimmed it quickly. The one I have: on the dissection of 1 + XL you should add the proof that L a \times L b indeed satisfies the same equation as the disection. It’s not at all clear at first and I’d argue that it’s certainly more non-trivial than the other steps of the derivation (which are after all just mechanical applications of the dissection rules).

First glance I had flashbacks to the transfer matrix method that Stanley talks about in volume I of his enumerative combinatorics books to crank generating functions (species).

Thanks for this reference! The movers finally delivered our belongings (3.5 weeks late) including my copy of Stanley, so I was finally able to look this up. And you’re absolutely right, there is a strong connection there.

Pingback: The blog lives! and Secrets of Creation Trilogy | The Math Less Traveled

Pingback: Rethinking Inheritance with Algebraic Ornaments | Categorical Imperative

Pingback: The divided difference track | blog :: Brent -> [String]