✨ Analog information decoding

.github/codecov.yml

@@ -3,6 +3,8 @@ ignore:
   - "**/python"
   - "test/**/*"
   - "src/mqt/qecc/cc_decoder/plots.py"
+  - "src/mqt/qecc/analog_information_decoding/utils/data_utils.py"
+  - "src/mqt/qecc/analog_information_decoding/code_construction/*"
 
 coverage:
   range: 60..90

.github/workflows/ci.yml

@@ -38,6 +38,8 @@ jobs:
         uses: rui314/setup-mold@v1
       - name: Install Ninja
         run: pipx install ninja
+      - name: Install bposd
+        run: pip install bposd
       - name: Configure CMake
         run: cmake -S . -B build -DCMAKE_BUILD_TYPE=Release
       - name: Build

.pre-commit-config.yaml

@@ -36,7 +36,7 @@ repos:
 
   # Handling unwanted unicode characters
   - repo: https://github.com/sirosen/texthooks
-    rev: 0.6.2
+    rev: 0.6.3
     hooks:
       - id: fix-ligatures
       - id: fix-smartquotes
@@ -51,7 +51,7 @@ repos:
 
   #  Python linting and formatting using ruff
   - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.1.4
+    rev: v0.1.8
     hooks:
       - id: ruff
         args: ["--fix", "--show-fixes"]
@@ -68,27 +68,31 @@ repos:
 
   # Check static types with mypy
   - repo: https://github.com/pre-commit/mirrors-mypy
-    rev: v1.6.1
+    rev: v1.7.1
     hooks:
       - id: mypy
         files: ^(src/mqt|test/python)
+        exclude: "code_construction* | ^data_utils\\.py$"
         args: []
         additional_dependencies:
           - importlib_resources
           - numpy
           - pytest
           - pytest-mock
+          - ldpc
+          - bposd
+          - numba
 
   # Check for spelling
   - repo: https://github.com/codespell-project/codespell
     rev: v2.2.6
     hooks:
       - id: codespell
-        args: ["-L", "wille,linz,applys", "--skip", "*.ipynb"]
+        args: ["-L", "wille,linz,applys,ser", "--skip", "*.ipynb"]
 
   # Clang-format the C++ part of the code base automatically
   - repo: https://github.com/pre-commit/mirrors-clang-format
-    rev: v17.0.4
+    rev: v17.0.6
     hooks:
       - id: clang-format
         types_or: [c++, c, cuda]
@@ -104,7 +108,7 @@ repos:
 
   # Format configuration files with prettier
   - repo: https://github.com/pre-commit/mirrors-prettier
-    rev: v3.0.3
+    rev: v4.0.0-alpha.7
     hooks:
       - id: prettier
         types_or: [yaml, markdown, html, css, scss, javascript, json]
@@ -117,14 +121,3 @@ repos:
         language: pygrep
         entry: PyBind|Numpy|Cmake|CCache|Github|PyTest|Mqt|Tum
         exclude: .pre-commit-config.yaml
-
-  # Checking sdist validity
-  - repo: https://github.com/henryiii/check-sdist
-    rev: v0.1.3
-    hooks:
-      - id: check-sdist
-        args: [--inject-junk]
-        additional_dependencies:
-          - scikit-build-core[pyproject]>=0.5.0,<0.6 # TODO: remove upper cap once scikit-build-core is updated
-          - setuptools-scm>=7
-          - pybind11>=2.11

README.md

@@ -34,6 +34,8 @@ The tool can be used to:
   - The framework allows to apply different QECC schemes to quantum circuits and either exports the resulting
     circuits or simulates them using Qiskit [[4]](https://qiskit.org/). Currently, six different ECCs are supported
     with varying extent of functionality.
+- WIP: Decode bosonic quantum LDPC codes and conduct numerical simulations for analog information decoding under phenomenological
+  (cat qubit) noise.
 
 <p align="center">
   <a href="https://mqt.readthedocs.io/projects/qecc">
@@ -132,6 +134,9 @@ Windows support is currently experimental.
 
 If you use our tool for your research, we will be thankful if you refer to it by citing the appropriate publication:
 
+- [![a](https://img.shields.io/static/v1?label=arXiv&message=2311.01328&color=inactive&style=flat-square)](https://arxiv.org/abs/2311.01328)
+  L. Berent, T. Hillmann, J. Eisert, R. Wille, and J. Roffe, "Analog information decoding of bosonic quantum LDPC codes".
+
 - [![a](https://img.shields.io/static/v1?label=arXiv&message=2303.14237&color=inactive&style=flat-square)](https://arxiv.org/abs/2303.14237)
   L. Berent, L. Burgholzer, P.J. Derks, J. Eisert, and R. Wille, "Decoding quantum color codes with MaxSAT".
 
@@ -144,3 +149,13 @@ If you use our tool for your research, we will be thankful if you refer to it by
   L. Berent, L. Burgholzer, and R.
   Wille, "[Software Tools for Decoding Quantum Low-Density Parity Check Codes](https://arxiv.org/abs/2209.01180),"
   in Asia and South Pacific Design Automation Conference (ASP-DAC), 2023
+
+## Credits
+
+The authors of this software are:
+
+- Lucas Berent
+- Lukas Burgholzer
+- Thomas Grurl
+- Peter-Jan H.S. Derks
+- Timo Hillmann

docs/source/AnalogInfo.rst

@@ -0,0 +1,56 @@
+    Analog Information Decoding
+===========================
+This submodule provides means to conduct decoding simulations for quantum CSS codes with
+analog syndrome information as proposed in the corresponding paper :cite:labelpar:`berent2023analog`.
+Proper integration and setup is a work in progress.
+The main functionality is provided in the :code:`simulators` module, which contains the main classes
+that can be used to conduct several types of simulations:
+
+- :code:`ATD_Simulator`: Analog Tanner graph decoding,
+- :code:`Single-Shot Simulator`: Analog Single-Shot decoding with meta checks.
+- :code:`QSS_Simulator`: Quasi-Single-Shot decoding, and
+
+Moreover, :code:`memory_experiment` contains methods for analog overlapping window decoding, in
+particular the :code:`decode_multiround` method.
+
+Results
+-------
+The :code:`results` directory contains the results used in the paper :cite:labelpar:`berent2023analog`.
+
+Codes
+-----
+
+The :code:`codes` directory contains the parity-check matrices of the codes used in the paper :cite:labelpar:`berent2023analog`.
+Three dimensional toric codes can either be constructed with the hypergraph product construction
+or with a library, e.g., panqec :cite:labelpar:`huang2023panceq`.
+
+Code construction
+-----------------
+
+The :code:`code_construction` directory contains the code used to construct higher-dimensional hypergraph
+product codes and used the :code:`compute_distances.sh` script to automatically compute bounds on the
+distances of the constructed codes using the GAP library QDistRnd :cite:labelpar:`pryadko2023qdistrnd`.
+
+Utils
+-----
+Here we present an overview of the functionality of the utils package.
+
+Plotting
+++++++++
+The :code:`plotting` directory contains the code used to plot the results in the paper :cite:labelpar:`berent2023analog`.
+
+Data Utils
+++++++++++
+
+We have implemented several utility functions as part of this package that might be of independent
+interest for decoding simulations and data analysis. These are provided in the :code:`data_utils` module.
+
+Simulation Utils
+++++++++++++++++
+This module contains functionality needed throughout different simulation types.
+
+Dependencies
+++++++++++++
+
+The used BP+OSD implementation, as well as our implementation of the soft-syndrome minimum-sum decoder are provided
+in the ldpc2 package a preliminary beta version of which is available on github :cite:labelpar:`roffe2023ldpc`.

docs/source/conf.py

@@ -116,7 +116,7 @@
 class CDAStyle(UnsrtStyle):
     """Custom style for including PDF links."""
 
-    def format_url(self, _e: Entry) -> HRef:
+    def format_url(self, _e: Entry) -> HRef:  # noqa: PLR6301
         """Format URL field as a link to the PDF."""
         url = field("url", raw=True)
         return href()[url, "[PDF]"]

docs/source/refs.bib

@@ -108,3 +108,35 @@ @article{FowlerSurfaceCodes
   doi = {10.1103/PhysRevA.80.052312},
   url = {https://link.aps.org/doi/10.1103/PhysRevA.80.052312}
 }
+@article{berent2023analog,
+  title={Analog information decoding of bosonic quantum LDPC codes},
+  author={Berent, Lucas and Hillmann, Timo and Eisert, Jens and Wille, Robert and Roffe, Joschka},
+  journal={arXiv preprint arXiv:2311.01328},
+  year={2023}
+}
+@misc{huang2023panceq,
+  author = {Huang, Eric and Pesah Arthur},
+  title = {PanQEC},
+  year = {2023},
+  publisher = {GitHub},
+  journal = {GitHub repository},
+  howpublished = {\url{https://github.com/panqec/panqec}},
+  commit = {a9dd27e}
+}
+
+@misc{roffe2023ldpc,
+  author = {Roffe Joschka},
+  title = {LDPC},
+  year = {2023},
+  publisher = {GitHub},
+  journal = {GitHub repository},
+  howpublished = {\url{https://github.com/quantumgizmos/ldpc/tree/ldpc_v2}},
+  commit = {9fe6d13}
+}
+
+@article{pryadko2023qdistrnd,
+  title={QDistRnd: A GAP package for computing the distance of quantum error-correcting codes},
+  author={Pryadko, Leonid P and Shabashov, Vadim A and Kozin, Valerii K},
+  journal={arXiv preprint arXiv:2308.15140},
+  year={2023}
+}