Algebraic Geometry of Quantum Graphical Models
The paper features several algorithms and computational examples that we implemented in Julia using the Oscar computer algebra and the HomotopyContinuation numerical algebraic geometry package.
In Example 3.5, the defining equations of the QCMI variety of the 3-chain graph are computed using Algorithm 1 and have been implemented in Example_3_5.jl
. The resulting 735 equations can be found in QCMI_3_chain.txt
.
As demonstrated in Example 4.2, the Gibbs variety of a linear system of Hamiltonians associated to a graph is a computationally challenging object. In the case of the 3-chain graph, no linear or quadratic forms vanish on it. The code verifying this is Example_4_2.jl
.
In contrast, the Gibbs variety of a unirational variety of decomposable tensors is a more feasible object. In the case of the 3-chain graph (Example 4.5), all its defining equations can be determined using Example_4_5.jl
. The linear and quadratic equations can be found in linear_equations_GV.txt
and quadratic_equations_GV.txt
, respectively.
Algorithm 3 computes defining equations of the Gibbs variety of a family of commuting Hamiltonians. It is implemented in Algorithm_3.jl
. This code also contains the computation from Example 5.7 where the resulting equations can be found in equations_GV_Comm_Hams.txt
, as well as the computation of the quantum information projection from Example 5.12.
Project page created: 15/08/2023.
Project contributors: Eliana Duarte, Dmitrii Pavlov, Maximilian Wiesmann.
Corresponding author of this page: Maximilian Wiesmann, wiesmann@mis.mpg.de.
Code written by: Dmitrii Pavlov, Maximilian Wiesmann
Software used: Julia (Version 1.9.1), Oscar (Version 0.12.1), HomotopyContinuation.jl (Version 2.8.1).
System setup used: MacBook Pro with macOS Monterey 12.5, Processor Apple M1 Pro, Memory 16 GB LPDDR5.
License for code of this project page: MIT License (https://spdx.org/licenses/MIT.html).
License for all other content of this project page (text, images, …): CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/).
Last updated 29/08/2023.