Phillip,
Your essay was interesting. I appreciated the description in the supplement of what is meant by the necklace. Also your discussion on Turing's theorem is a nice compact version of that.
I have some points of difference with it. I would say a departure is with the implication of some sort of infinitude. I think that for any observer the number of quantum states available for observation is finite. We may think of the horizon of a black hole with S = kA/4â„"_p^2 = NK for N the number of Planck unit quantum states. The Bekenstein bound and related results imply the number of quantum states available to an observer is finite. So even if the global Hilbert space is infinite dimensional any observer can witness only a finite subset. That might be where the necklace or enveloping algebra can come it, where this could be some general form of separable set of states in tensor products. This may in principle extend infinitely, but any observer has access to a finite quantity. The existence of horizons is a way that Hilbert space available for measurement is finite but unbounded.
Your approach makes the implicit assumption that action = entropy, which is in a Euclideanized time sense t â†' it = ħβ = ħ/kT.the path integral maps into a partition function, where an energy E of a system is computed according to all possible combinations of microstate energies. This is a form of integer partition function. The only extension I can think of is where the measure μ(U) = e^{-S(U)} needs to be extended to μ(U) â†' μ(U)/diff(G), where G is the group of diffeomorphisms of U. However, this action = entropy or an equivalency between
TdS = dW + dU â†" dS = pdq - Hdt,
links quantum information with entropy
My essay concerns how Gödel incompleteness is associated with different entanglement geometry. A heuristic comparison would be with Nagel and Newman's book on Gödel's theorem and Euclid's fifth axiom. The undecidability of the fifth axiom leads to two possible model systems for geometry, Euclidean flat space vs more general geometries of Gauss, Lobachevski and Riemann. This is a case of consistency and incompleteness vs inconsistency vs completeness. Loosely we can think of the Euclidean case as consistent but incomplete, while the more general geometries are more complete, but not consistent with each other. This without details of ω-completeness/consistency is how different entanglements have different topologies.
Szangolies describes this as an epistemic horizon. His paper is worth reading. This has I think connections with my work through the locality of solutions for Diophantine equations, or equivalently p-adic sets.
At any rate the part about the measure μ(U) â†' μ(U)/diff(G) as mod-diffeomorphisms I think is important. This is in gauge theory these diffeomorphisms are what define a moduli. The moduli space describes the topology such as the ADMH construction. In a duality gauge theory â†" entanglement symmetry, here on the right hand side in a SLOCC meaning, there may be a correspondence between topology of entanglement with gauge fields and topological gauge fields.
Anyway, things to think about. I would like to see what you think of my paper.
Cheers LC