diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 863854c40..1af3674c3 100644 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -122,7 +122,7 @@ repos: # Check for spelling - repo: https://github.com/crate-ci/typos - rev: v1.36.3 + rev: v1.37.2 hooks: - id: typos diff --git a/docs/dd_package.md b/docs/dd_package.md index b91cfb8e7..5ff1f2d1e 100644 --- a/docs/dd_package.md +++ b/docs/dd_package.md @@ -375,7 +375,7 @@ If $q_1$ is in the $\ket{0}$ state (following the left successor), then $q_0$ ha If $q_1$ is in the $\ket{1}$ state (following the right successor), it is guaranteed that the remaining qubit is in the $\ket{0}$ state. ```` -Overall, statevectors are represented as decision diagrams conceptionally equivalent to halving the vector in a recursive fashion until it is fully decomposed. +Overall, statevectors are represented as decision diagrams conceptually equivalent to halving the vector in a recursive fashion until it is fully decomposed. The key idea is to exploit the redundancies in the resulting diagrams to create a more compact representation. Some interesting properties that are worth pointing out: diff --git a/docs/refs.bib b/docs/refs.bib index ce7c3bb75..353441b23 100644 --- a/docs/refs.bib +++ b/docs/refs.bib @@ -300,7 +300,7 @@ @article{viamontesImprovingGatelevelSimulation2003 } @article{vinkhuijzenLIMDDDecisionDiagram2021, - title = {{LIMDD}: {A} {D}ecision {D}iagram for {S}imulation of {Q}uantum {C}omputing {I}ncluding {S}tabilizer {S}tates}, + title = {{LIMDD}: {A} {Decision} {Diagram} for {Simulation} of {Quantum} {Computing} {Including} {Stabilizer} {States}}, author = {Vinkhuijzen, Lieuwe and Coopmans, Tim and Elkouss, David and Dunjko, Vedran and Laarman, Alfons}, year = {2023}, journal = {Quantum},