Alexander representation of tangles

A tangle is an oriented 1-submanifold of the cylinder whose endpoints lie on the two disks in the boundary of the cylinder. Using an algebraic tool developed by Lescop, we extend the Burau representation of braids to a functor from the category of oriented tangles to the category of Z[t,t^{-1}]-modules. For (1,1)-tangles (i.e., tangles with one endpoint on each disk) this invariant coincides with the Alexander polynomial of the link obtained by taking the closure of the tangle. We use the notion of plat position of a tangle to give a constructive proof of invariance in this case.Comment: 13 pages, 5 figure

Invariants of 2+1 Quantum Gravity

In [1,2] we established and discussed the algebra of observables for 2+1 gravity at both the classical and quantum level. Here our treatment broadens and extends previous results to any genus $g$ with a systematic discussion of the centre of the algebra. The reduction of the number of independent observables to $6g-6 (g > 1)$ is treated in detail with a precise classification for $g = 1$ and $g = 2$.Comment: 10 pages, plain TEX, no figures, DFTT 46/9

Affine configurations and pure braids

We show that the fundamental group of the space of ordered affine-equivalent configurations of at least five points in the real plane is isomorphic to the pure braid group modulo its centre. In the case of four points this fundamental group is free with eleven generators.Comment: 5 pages, 1 figure, final version; to appear in Discrete & Computational Geometry, available from the publishers at http://www.springerlink.com/content/384516n7q24811ph

Higher Order Terms in the Melvin-Morton Expansion of the Colored Jones Polynomial

We formulate a conjecture about the structure of `upper lines' in the expansion of the colored Jones polynomial of a knot in powers of (q-1). The Melvin-Morton conjecture states that the bottom line in this expansion is equal to the inverse Alexander polynomial of the knot. We conjecture that the upper lines are rational functions whose denominators are powers of the Alexander polynomial. We prove this conjecture for torus knots and give experimental evidence that it is also true for other types of knots.Comment: 21 pages, 1 figure, LaTe

Sturmian morphisms, the braid group B_4, Christoffel words and bases of F_2

We give a presentation by generators and relations of a certain monoid generating a subgroup of index two in the group Aut(F_2) of automorphisms of the rank two free group F_2 and show that it can be realized as a monoid in the group B_4 of braids on four strings. In the second part we use Christoffel words to construct an explicit basis of F_2 lifting any given basis of the free abelian group Z^2. We further give an algorithm allowing to decide whether two elements of F_2 form a basis or not. We also show that, under suitable conditions, a basis has a unique conjugate consisting of two palindromes.Comment: 25 pages, 4 figure

Combinatorial expression for universal Vassiliev link invariant

The most general R-matrix type state sum model for link invariants is constructed. It contains in itself all R-matrix invariants and is a generating function for "universal" Vassiliev link invariants. This expression is more simple than Kontsevich's expression for the same quantity, because it is defined combinatorially and does not contain any integrals, except for an expression for "the universal Drinfeld's associator".Comment: 20 page

Topological entropy and secondary folding

A convenient measure of a map or flow's chaotic action is the topological entropy. In many cases, the entropy has a homological origin: it is forced by the topology of the space. For example, in simple toral maps, the topological entropy is exactly equal to the growth induced by the map on the fundamental group of the torus. However, in many situations the numerically-computed topological entropy is greater than the bound implied by this action. We associate this gap between the bound and the true entropy with 'secondary folding': material lines undergo folding which is not homologically forced. We examine this phenomenon both for physical rod-stirring devices and toral linked twist maps, and show rigorously that for the latter secondary folds occur.Comment: 13 pages, 8 figures. pdfLaTeX with RevTeX4 macro

Making Operation-based CRDTs Operation-based

Conflict-free Replicated Datatypes can simplify the design of predictable eventual consistency. They can be classified into state-based or operation-based. Operation-based approaches have the potential for allowing compact designs in both the sent message and the object state size, but cur- rent approaches are still far from this objective. Here we explore the design space for operation-based solutions, and we leverage the interaction with the middleware by offering a technique that delivers very compact solutions, while only broadcasting operation names and arguments.(undefined)(undefined

Graph Invariants of Vassiliev Type and Application to 4D Quantum Gravity

We consider a special class of Kauffman's graph invariants of rigid vertex isotopy (graph invariants of Vassiliev type). They are given by a functor from a category of colored and oriented graphs embedded into a 3-space to a category of representations of the quasi-triangular ribbon Hopf algebra $U_q(sl(2,\bf C))$. Coefficients in expansions of them with respect to $x$ ($q=e^x$) are known as the Vassiliev invariants of finite type. In the present paper, we construct two types of tangle operators of vertices. One of them corresponds to a Casimir operator insertion at a transverse double point of Wilson loops. This paper proposes a non-perturbative generalization of Kauffman's recent result based on a perturbative analysis of the Chern-Simons quantum field theory. As a result, a quantum group analog of Penrose's spin network is established taking into account of the orientation. We also deal with the 4-dimensional canonical quantum gravity of Ashtekar. It is verified that the graph invariants of Vassiliev type are compatible with constraints of the quantum gravity in the loop space representation of Rovelli and Smolin.Comment: 34 pages, AMS-LaTeX, no figures,The proof of thm.5.1 has been improve

Exotic smooth structures on 4-manifolds with zero signature

For every integer $k\geq 2$, we construct infinite families of mutually nondiffeomorphic irreducible smooth structures on the topological $4$-manifolds $(2k-1)(S^2\times S^2)$ and (2k-1)(\CP#\CPb), the connected sums of $2k-1$ copies of $S^2\times S^2$ and \CP#\CPb.Comment: 6 page