You are using a browser not supported by the Wolfram Cloud
Supported browsers include recent versions of Chrome, Edge, Firefox and Safari.
I understand and wish to continue anyway »
WOLFRAM NOTEBOOK
Gleason’s theorem
Gleason’s theorem
State is determined by a collection of bits that represent results of yes-no orthogonal projections
In[]:=
ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA"},{"A"},3,"StatesGraph"]
Out[]=
〈|
|〉
Add completion AAAAABA
In[]:=
ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA","AAA""AABA"},{"A"},3,"StatesGraph"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA","AAA""AABA"},{"A"},4,"StatesGraph"]
Out[]=
In[]:=
ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA"},"CanonicalKnuthBendixCompletion"]
Out[]=
{AAABA,ABAAA}
In[]:=
ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA","AA""ABA","ABA""AA"},{"A"},3,"StatesGraph"]
Out[]=
Measuring expectation value of the operator which projects AA onto ABA (and in this case, vice-versa)
In[]:=
VertexOutComponent[ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA","AA""ABA","ABA""AA"},{"A"},3,"StatesGraph"],{"AA","ABA"},1]
Out[]=
{AA,AAA,AABA,ABA,ABAA,ABABA}
In[]:=
VertexOutComponent[ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA","AA""ABA","ABA""AA"},{"A"},3,"StatesGraph"],{"AA","ABA"},2]
Out[]=
{AA,AAA,AABA,ABA,ABAA,AAAA,AAABA,AABAA,ABAAA,AABABA,ABAABA,ABABA,ABABAA,ABABABA}
In[]:=
VertexOutComponent[ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA"},{"A"},3,"StatesGraph"],{"AA","ABA"},1]
Out[]=
{AA,AAA,AABA,ABAA,ABA,ABABA}
In[]:=
VertexOutComponent[ResourceFunction["MultiwaySystem"][{"A""ABA","A""AA"},{"A"},3,"StatesGraph"],{"AA","ABA"},2]
Out[]=
{AA,AAA,AABA,ABAA,AAAA,AAABA,AABAA,ABAAA,AABABA,ABAABA,ABABAA,ABA,ABABA,ABABABA}
Projections
Projections
In[]:=
Graphics[{Line[{{0,0},{1,2}}],Line[{{0,0},{3,2}}]}]
Out[]=
In[]:=
gg=UndirectedGraph[Rule@@@ResourceFunction["WolframModel"][{{x,y},{x,z}}{{x,z},{x,w},{y,w},{z,w}},{{1,2},{2,3},{3,4},{2,4}},8,"FinalState"]]
Out[]=
In[]:=
HighlightGraph[gg,PathGraph[FindShortestPath[gg,1,20]]]
Out[]=
In[]:=
HighlightGraph[gg,{Style[PathGraph[FindShortestPath[gg,1,20]],Red],Style[PathGraph[FindShortestPath[gg,1,30]],Green]}]
Out[]=
In[]:=
HighlightGraph[gg,{Style[PathGraph[FindShortestPath[gg,10,20]],Red],Style[PathGraph[FindShortestPath[gg,10,30]],Green]}]
One difference between this and ordinary vectors is that here the geodesics are joined at their end, rather than intersecting in the middle.
In a causal invariant system, all geodesics eventually meet in the future
Kochen-Specker
Kochen-Specker
Possible version: there is no string rewriting system that gives you a certain sequence of strings and nothing but those strings. Does there exist a finite local rule that gives you a particular sequence?
Consider all simple multiway systems
Consider all simple multiway systems
For what sequences can one have a rule with a finite number of cases, and limited size strings?
Given that you observe a sequence, what substitution systems are consistent with that sequence?
For what observed sequences does there exist a rule that doesn’t lead to branching?
Single threadedness is possible when:
There is no overlap between strings except for last element
For ST (= Single threadedness) you must have no duplicates unless the tail of the sequence is periodic.
In this case, there is an ST rule:
Is the following an ST rule?
[[ Partly related to unambiguity of CFGs ]]
<< If the sequence is as generated in a regular language, then there exists a DFA that will generate that sequence >>
What are the subrules that lead to:
Is there an easily recognizable regularity of any string sequence that is “ST explainable”
Causal graph case
Causal graph case
What structures of causal graphs can be generated in ST systems vs. can be generated as part of multiway causal graphs?
How does this work when there is causal invariance?
What is wrong with single-threaded physics?
What is wrong with single-threaded physics?
Branchial space is trivial
It is possible to have nontrivial dynamics and be single-threaded: e.g. TM emulator
[ Causal non-invariance is impossible in single-threaded physics ]
Non-locality / Contexuality
Non-locality / Contexuality
Non-locality for strings would be a rule that picks up from multiple parts of the string and/or that allows a LHS of arbitrarily great length
?? Contextuality is the use of a limitingly infinite of LHS strings
Bell’s case
Bell’s case
Do you have to have a branching/merging MW system for your different outcomes, or can you have a “pure octopus” ... i.e. something where each outcome is just a separate branch