Analogies with Physics [Nik]
Analogies with Physics [Nik]
Events are like unitary operators () or diffs in timeDiffs of spacelike and branchlike separated regions are observables - events that don’t happen (not part of a causal graph) but could be inferred by an observer thanks to universality of U (cf. Knuth-Bendix completion)Inference in space is motion (momentum operator), inference in branchspace is measurementMinimal motion consists of an event destroying and creating space atoms around a region of interest
U
μ
x
In[]:=
ClearAll[f]SetAttributes[f,Flat]f[x,a]:=f[a,x]Trace[f[x,a,a,a,a]]
Out[]=
{f[x,a,a,a,a],f[f[a,x],a,a,a],f[a,x,a,a,a],f[a,f[a,x],a,a],f[a,a,x,a,a],f[a,a,f[a,x],a],f[a,a,a,x,a],f[a,a,a,f[a,x]],f[a,a,a,a,x]}
If states are elements of Hilbert space and events are linear operators then:
∘ - timelike composition of events (Apply/Composition)
⊗ - spacelike composition (List)
+ - branchlike (Multi)
∘ - timelike composition of events (Apply/Composition)
⊗ - spacelike composition (List)
+ - branchlike (Multi)
What’s an adjoint (Hermitian, dagger) operation for a diff? Depends on what’s an inner product of expressions/hypergraphs (Levenshtein distance?).
Can quantum version of the 100 prisoners problem be turned into quantum advantage?
More [SW]
More [SW]
Spacelike merging is straightforward; branchlike merging is a conflict ....
[Git always creates a branch]
There is event separation (e.g. timelike, spacelike, branchlike), and there is whole-rule separation
x->1,x->2
f[_,a]->1,f[b,_]->2
What is the rule schema? ( i.e. patterns )