Certify the classical simulation cost of black-box systems.

This Julia software package is the companion piece to Certifying the Classical Simulation Cost of a Quantum Channel.

Package 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.



Signaling Polytope Data

Our computed facets of the signaling polytope are found in the data/ directory. Please review the Computed Facets section for details regarding individual data sets.

Facet Verifications

This work provides scripts that verify the tightness of the Bell inequalities described in the Bell Inequalities section. These scripts and their results are found in the script/facet_verifications/ directory. Please refer to the Verification of Theoretical Facets section for more details.

Quick Start

julia> using Pkg; Pkg.add("SignalingDimension")
julia> using Pkg; Pkg.add("BellScenario")
julia> using Pkg; Pkg.add("QBase")



To reference this work, see CITATION.bib.


SignalingDimension.jl is released under the MIT License.


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.