Towards qubits: graphic lambda calculus over conical groups and the barycentric move
In this post I want to pave the way to the application of graphic lambda calculus to the realm of quantum computation. It is not a short, nor too lengthy way, which will be explained in several posts. Also, some experimentation is to be expected.
Disclaimer: For the moment it is not very clear to me which are the exact relations between the approach I am going to explain and linear lambda calculus or the lambda calculus for quantum computation. I expect a certain overlapping, but maybe not as much as expected (by the specialist in the field). The reason is that the instruments and goals which I have come from fields apparently far away from quantum computation, as for example sub-riemannian geometry, which is my main field of interest (however, for an interaction between sub-riemannian geometry and computation see L_p metrics on the Heisenberg group and the Goemans-Linial conjecture, by James R. Lee and Asaf Naor). Therefore, I feel the need to issue such a disclaimer for the narrow specialist.
Background for his post:
- The page Graphic lambda calculus
-  Infinitesimal affine geometry of metric spaces endowed with a dilatation structure, Houston J. Math., 36, 1 (2010), 91-136, arXiv:0804.0135.
-  On graphic lambda calculus and the dual of the graphic beta move, arXiv:1302.0778.
Affine conical spaces. In the article  they appear under the name “normed affine group spaces”, definition 3. We may use the same type of arguments as the ones from emergent algebras in order to get rid of the need to have a norm on such spaces. Instead of anorm we shall put an uniformity on such a space, such that the topology associated to the uniformity makes the space to be locally compact.
Theorem 2.2  characterizes affine conical spaces as self-distributive emergent algebras. The relations satisfied by self-distributive emergent algebras, if graphically represented by gates in graphic lambda calculus, are the following:
- fan-out moves, pruning moves,
- emergent algebra moves
- The Reidemeister move R3a (which represents self-distributivity), described in this post.
Notice that I don’t want to use the dual of the graphic beta move (, section 8), which is simply too powerful in this context (see  section 10). That is why I use instead the move R3a (which is a composite of dual beta moves). Another instance of this choice will be explained in a future post, having to do with the distributivity of the emergent algebra operations with respect to the application and lambda gates.
The barycentric move. In order to obtain usual affine spaces instead of their more general, noncommutative versions (i.e. affine conical spaces), we have to add the barycentric condition. This condition appears as (Af3) in Theorem 2.2 . I shall transform this condition into a move in graphic lambda calculus.
The barycentric move BAR is described by the following figure and explanation. We take the commutative group , which is used to label the emergent algebra gates, as , where is a field. (Therefore .) We have then two operations on the field : multiplication and addition . Because contains also the element , the neutral element for addition, we add a new gate . With these preparations, the BAR move is the following:
Notice that when at the left hand side of the figure appears the gate . This gate corresponds, in the particular case of a vector space, to the usual dilation of coefficient . We don’t need to put this as a sort of an axiom, because we can obtain it as a combination of the BAR move and ext2 moves. Indeed:
Knowing this, we can extend the emergent algebra moves R1a, R1b and R2 to the case . Here is the proof. For R1a we do this:
The move R1b, for the degenerate case , is this:
Finally, for the move R2 we have two cases, corresponding to and . The first case is this:
The second case is this:
Final remark: The move BAR can be seen as analogous of an infinite sequence of moves R3 (but there is no rigorous sense for this in graphic lambda calculus). Indeed, this is related to the fact that . See  section 8 “Noncommutative affine geometry” for the dilation structures correspondent of this equality and also see the post Menelaus theorem by way of Reidemeister move 3.