Repository described in the semester thesis "Mapping embedded process matrices to spacetime games" by Florian Pauschitz and supervised by Ghislain Fourny (2023).
Requirements are in the requierements.txt file.
To run the converter place the PMF JSON file in folder "0_Oxygen/EPMF", add the path to this file in main.py and run python main.py.
The ouput is, on one side, the GEFI JSON file in folder "0_Oxygen/GEFI", and on the other side the PMF graph, the causal structure graph as well as the GEFI graph in png format in folder "3_Figures".
Take a look at the results given a quantum experiment defined as:
- Lab A and B both receive an input state from lab Start.
- They both choose a measurement basis and execute a measurement.
- Finally, they send their output states to End.
Process matrix framework graph:
Causal structure graph:
Game in extensive form with imperfect information graph:
