Epic: Unitary Fund Grant Plan

[gwwatkin]

The plan with which we applied for the Unitary Fund micro grant (which we've now received):

Roadmap

Note: We are still creating issues for some of the tasks

General

• Project name and Logo
• Publishing the package to PyPI
  • Add a License to the project  lattice-surgery-compiler#113
  • Move the Web GUI to it's own repo lattice-surgery-compiler#99
  • Reorganize the compiler directory lattice-surgery-compiler#114
  • Setting up documentation with Sphinx and ReadTheDocs lattice-surgery-compiler#115
  • Create Issue Templates lattice-surgery-compiler#118
  • Add Code of Conduct lattice-surgery-compiler#119
  • Add proper setup configuration lattice-surgery-compiler#120

Separate the GUI + Deployment

• Lattice view JSON api lattice-surgery-compiler#109
• Host compilation on serverless computing resources compiler-lambda#3
• Move the Web GUI to it's own repo lattice-surgery-compiler#99
• Make Website Static lattice-surgery-compiler#111
  • Setup basic React page web-ui#5
• Automation milestone
  • Write proper unit tests lattice-surgery-compiler#100
  • Implement stylechecks lattice-surgery-compiler#101
  • Adding dev branch lattice-surgery-compiler#121
  • Implement Automate Testing  lattice-surgery-compiler#122
  • Adding codecov lattice-surgery-compiler#123
  • Add pre-commit hook lattice-surgery-compiler#124
  • Auto deploy dev to beta.latticesurgery.com and master to latticesurgery.com lattice-surgery-compiler#125
  • [Feature Request] api.latticesurgery.com API doc lattice-surgery-compiler#158
• Automation of the GUI
  • Setting up CI/CD with Github Actions  web-ui#19
• Auto deploy updates to LSC's main branch to the lambda code
• Setup Continuous Deployment with Github Actions compiler-lambda#5

Correctness

• [BUG] Take in account isNegative during simulation of measurements lattice-surgery-compiler#164
• Write proper unit tests lattice-surgery-compiler#100
• Check correcteness of the removal of Y operators from measurements lattice-surgery-compiler#44
• Check the correctness of correction conditions in logical_lattice_ops.py lattice-surgery-compiler#48
• Integration Tests lattice-surgery-compiler#127
• Support of equality in Circuit and Lattice classes lattice-surgery-compiler#140
• [BUG] Commutations between PauliRotation and Measurement lattice-surgery-compiler#156
• [BUG] Take in account isNegative during simulation of measurements lattice-surgery-compiler#164
• Test dependency_graph.py lattice-surgery-compiler#172
• Add tests __str__ and to_latex tests for the Pauli rotation classes lattice-surgery-compiler#167

Scaling

• [Feature Request] Make the visualization work for 100s of patches at a time web-ui#77
• Refactoring remove_y_operators_from_circuit  lattice-surgery-compiler#184
• [Feature Request] Speed up simulation by removing patches that are not on the lattice from the state vector  lattice-surgery-compiler#138
• Add support for simple conditional operations of QASM lattice-surgery-compiler#50
  • Add support for parsing if statements in QASM lattice-surgery-compiler#107
• Speed up simulation
• Benchmark: Removing the Stabilizer vs not Removing Stabilizer Operations
• Benchmark: Y-Op removal vs Y-state distillation. Depends on
  • Y Eigenstate Distillation Boxes lattice-surgery-compiler#73
  • Distillation of Y eigenstates details lattice-surgery-compiler#68
• Benchmark: Litinski vs Non-Litinski Compilation lattice-surgery-compiler#96
• Internal Support for Classical Registers lattice-surgery-compiler#126

UI Refinements

• Epic: Epic: UI Refinements web-ui#48

Simulation with Error Model

• Ideas:
  • Simple error model with random X and Z flips to patches
  • Look into whether switching to density matrix simulation can help us make better error models (Varun)
  • Ideas for papers that might have some data on error behaviour for patches
    • https://arxiv.org/pdf/2110.05854.pdf
    • https://arxiv.org/pdf/2101.07285.pdf
    • https://arxiv.org/abs/1901.10847

Resource Estimation:

• Integration with OpenSurgery/zxQentiana/Quantify

Additional Enhancements

• Compile circuits with PyZX directly to lattice surgery lattice-surgery-compiler#116
• Integration with a Solovay-Kiatev implementation lattice-surgery-compiler#128
• Set up an organizational AWS account
  Some other ideas:
• Error decoding with PyMatching
• Completely remove dependency on Qiskit
  • Parsing directly into PyZX (need to add parsing non unitaries)
  • Simulate without Qiskit operators (maybe even make a C++ module)