Here is an overview of nonaxxociators and what might be called quantum homotopies.
The ordered S-matrix defines each vertex, or particle, and its neighbor. In a linear chain a general state is an S-matrix channel of the form
|φ) = |p_1,..., p_i,..., p_j ,..., p_n)
This state or S-matrix channel is related to but distinction from the channel
|φ') = |p_1,..., p_j,..., p_i,..., p_n).
The particles or vertices p_i and p_j have been exchanged, and a certain "relationship" structure to the amplitude has been fundamentally changed. The S-matrix is written according to S = 1 - 2πiT, so two states or channels |p_1,...,p_n) and |q_1,...,q_n) are related to each other by the S-matrix as
(p_1,..., p_n|S|q_,...,q_n) = (p_1,..., p_n|(1 - 2πiT)|q_1,..., q_n)
= (p_1,..., p_n|q_1,...,q_n) - 2πi(p1,..., p_n|T|q_1,..., q_n)
For the (-| the in channel and |+) as the out channel p_n and q_1 are neighbors, and are neighbors through the T-matrix. This eliminates an open vertex in the chain. The vertices or particles p_1 and q_n are the open elements in the chain and defines the "anchor" for the chain, and are thus defined as neighbors in this manner. Hence this process defines a complete linear chain, which is similar in its structure to a gauge-"Moose," which is a cycle of gauge fields on a compactified space, such as a Calabi-Yau space. Each element pi defines a particle or vertex according to a set of quantum numbers. Thus each p_i is defined by a vector space V , which is some Hilbert space. The linear chain here is an ordering on a total Hilbert space H = \otimes Vi. This construction is based upon relationships between p_i and p_{i+1} by bilinear operation of the form [-; -] :V x V - -> V , as a product structure for position exchange. To define physical states this bilinear operation must obey the Jacobi identity. This requires the vector space be k-equipped so the bilinear operation is an isomorphism on the vector space H = k x V, where the modulus |k| is the number of elements in the chain. This gives the isomorphism,
Y:H x H - -> H x H
Y((x; p) otimes (y; q)) = (x; p) otimes (y; q) + (1; 0) otimes (0; [p; q]):
The application of Y otimes id on H x H x H then gives
Y otimes id((x; p) otimes (y; q) otimes (z; r)) = (x; p) otimes (y; q) otimes (z; r) +
(1; 0) otimes (0; [[p; q]; r] + [[q; r]; p] + [[r; p]; q]):
This isomorphism on the three spaces is the Yang-Baxter equation. If the permuted double commutator sum vanishes, which is the Jacobi equation. The elements p; q; r as momentum operators D = ∂ + iA, defines Jacobi identity the conservation law
cycle[[D_a, D_b], D_c] = ε_{abcd}D_eF^de = 0:
The Yang-Baxter relationship is defined in the S-matrix by the following observation. Consider the optical theorem S = 1 - 2πiT and the projection of the density matrix according to
Ρ' = SρS^† = ρ + 2πi[T, ρ],
The neighborhood rule tells us the commutator is between elements of the |-) and the (-| with regards to the transition or T-matrix, which is a neighbor exchange rule. The Yang-Baxter equation describes braids, which are compositions of paths. In general this theory must be extended to compositions of loops. The S-matrix acts upon a loop composed of (-| and |-) to define the composition of two loops (-|-) with 2π(-|T|)i. Homotopy is the mathematical theory for loop topology. For a topological space (X; p) the loop space ΩX is defined by the continuous map
φ:[0; 1] - -> X,
with the compact open-set topology on the endpoints φ(0) = φ(1) = p. Here the vertex or particle p is considered to be the base point of the map. The composition or multiplication of points obeys the rule,
π_1 - -> ΩXxΩX1 - ->ΩX,
Higher homotopies exist for spaces with larger dimensions, where the ordering of homotopies determines the vertices of associahedra. A braid is a (ab) ¡ (ba) edgelink, and an associator is a(bc)¡a(bc) for fields defined on the vertices . The associators with three elements define two hexagons, which link vertices in associator by commutation of the elements in parentheses. Braid links between the commuted vertices defines the general system of associators plus commutators. The associahedra K_4 for four elements is a pentagon. In three dimensions the Stasheff polytope K_5 or associahedra. This polytope is constructed from pairs of three hexagons glued into "tents," which are then attached to form a solid with three squares arranged π/3 radians from each other. This polytope may also be constructed by gluing two tetrahedra together and truncating the vertices in the same plane. Similarly, to the system with three letters copies of these associator exist with commutative links between vertices.
A system of commutators and associators is extended to the K_4 pentagon of associators. At each vertex of the above pentagon with associators for the elements a; b; c; d has six possible commutator variations. This each pentagonal vertex is identified with a hexagon, for a net 30 independent vertices. The convex polyhedron with 12 hexagons, which share a vertex with an adjacent hexagon, and possesses a pentagonal symmetry is the truncated icosahedron: The K_4 elements are mutually related by a braiding (commutation) around alternate hexagon, half of the twelve in total, and are connected by cross links through the polyhedra. This obeys the icosahedral group as an octahedral with quivers of vectors at each vertex. The octahedra has Im(5); m = 3 group structure, which does not tessellate a flat three dimensional space, but will tessellate a hyperbolic space in three dimensions. The four dimensional extension of this is the 120-cell, called the hyperdodecahedron or dodecachoron, which is a polychora with 120 octahedron boundaries, 720 pentagons, 1200 edgelinks and 600 vertices, and Schl¨afli index {5, 3, 3} . The dual is the 600 cell, with 120 vertices which define a group under quaternionic multiplication. This group is sometimes called the binary icosahedral group, which is a double covering of the icoshahedral group. The symmetry group of the 600-cell is the Weyl group H_4 ~ {3, 3, 5}, a group of order 120^2 = 14400.
Cheers LC