SignalingDimension.jl
Certify the classical simulation cost of black-box systems.
This Julia package is the software companion piece to Certifying the Classical Simulation Cost of a Quantum Channel.
Features:
- Tools to compute signaling correlations and polytopes.
- Methods to certify the signaling dimension of black-box systems.
- A catalog of Bell inequalities for witnessing signaling dimension.
Overview
The advent of quantum technology requires new figures of merit to compare the performance of quantum and classical systems. The signaling dimension quantifies the classical simulation cost of black-box devices. That is, it specifies the minimum amount of noiseless, classical communication needed to exactly simulate the input-output statistics of the device in question. The signaling dimension is discussed in greater detail in the Background section of this documentation.
Quick Start
- Install Julia: https://julialang.org/downloads/
- Add the SignalingDimension.jl package (run from julia prompt):
julia> using Pkg; Pkg.add("SignalingDimension")
- Add BellScenario.jl and QBase.jl dependencies:
julia> using Pkg; Pkg.add("BellScenario")
julia> using Pkg; Pkg.add("QBase")
Project Structure
data/- Computed facet inequalities for signaling polytopes.docs/- Documentation source code.src/- Software for certifying signaling dimension.test/- Unit tests for code insrc/.script/- Scripts for computing signaling polytopes and verifying tight Bell inequalities.
Citing
To reference this work, see CITATION.bib.
Licensing
SignalingDimension.jl is released under the MIT License.
Acknowledgements
Development of SignalingDimension.jl was made possible by the advisory of Dr. Eric Chitambar and general support from the Physics Department at the University of Illinois Urbana-Champaign. Funding was provided by NSF Award 1914440.