How contextuality and antidistinguishability are related

Extracted source text · arXiv 2411.09919

% ****** Start of file apssamp.tex ******
%
%   This file is part of the APS files in the REVTeX 4.2 distribution.
%   Version 4.2a of REVTeX, December 2014
%
%   Copyright (c) 2014 The American Physical Society.
%
%   See the REVTeX 4 README file for restrictions and more information.
%
% TeX'ing this file requires that you have AMS-LaTeX 2.0 installed
% as well as the rest of the prerequisites for REVTeX 4.2
%
% See the REVTeX 4 README file
% It also requires running BibTeX. The commands are as follows:
%
%  1)  latex apssamp.tex
%  2)  bibtex apssamp
%  3)  latex apssamp.tex
%  4)  latex apssamp.tex
%
\documentclass[%
 reprint,
superscriptaddress, 
%groupedaddress,
%unsortedaddress,
%runinaddress,
%frontmatterverbose, 
%preprint,
%preprintnumbers,
%nofootinbib,
%nobibnotes,
%bibnotes,
 amsmath,amssymb,
 aps,
%pra,
%prb,
%rmp,
%prstab,
%prstper,
%floatfix,
]{revtex4-2}

\usepackage{graphicx}% Include figure files
\usepackage{dcolumn}% Align table columns on decimal point
\usepackage{bm}% bold math
\usepackage{braket}
\usepackage{mathrsfs}  
\DeclareMathOperator{\Tr}{Tr}
\usepackage{multirow}
\usepackage{relsize}
% \usepackage{hyperref}% add hypertext capabilities
\usepackage[colorlinks=true, linkcolor=blue, citecolor=blue, urlcolor=black
]{hyperref}%
\usepackage{amsthm}
\usepackage{enumitem} 
\usepackage{xcolor}
\theoremstyle{definition}
\newtheorem{definition}{Definition}
\newtheorem{remark}{Remark}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{corollary}{Corollary}
\newtheorem{game}{Game}


\DeclareMathOperator*{\argmax}{arg\,max}
\DeclareMathOperator*{\argmin}{arg\,min}
%\usepackage[mathlines]{lineno}% Enable numbering of text and display math
%\linenumbers\relax % Commence numbering lines

%\usepackage[showframe,%Uncomment any one of the following lines to test 
%%scale=0.7, marginratio={1:1, 2:3}, ignoreall,% default settings
%%text={7in,10in},centering,
%%margin=1.5in,
%%total={6.5in,8.75in}, top=1.2in, left=0.9in, includefoot,
%%height=10in,a5paper,hmargin={3cm,0.8in},
%]{geometry}

\begin{document}

\preprint{APS/123-QED}

% \title{Contextuality and antidistinguishability are closely related}

% \title{Equivalence between contextuality and weak antidistinguishability}

\title{How contextuality and antidistinguishability are related}
% Specify affiliations first to customise order.

\author{Maiyuren Srikumar}
\email{msri0669@uni.sydney.edu.au}
\affiliation{Centre for Engineered Quantum Systems, School of Physics, University of Sydney, Sydney, NSW 2006, Australia.}
\affiliation{Sydney Quantum Academy, Sydney, NSW, Australia.}


\author{Stephen D. Bartlett}
\affiliation{Centre for Engineered Quantum Systems, School of Physics, University of Sydney, Sydney, NSW 2006, Australia.}

\author{Angela Karanjai}
\affiliation{Centre for Engineered Quantum Systems, School of Physics, University of Sydney, Sydney, NSW 2006, Australia.}

\date{\today}

\begin{abstract}

Contextuality is a key characteristic that separates quantum from classical phenomena and an important tool in understanding the potential advantage of quantum computation. 
However, when assessing the quantum resources available for quantum information processing, there is no formalism to determine whether a set of states can exhibit contextuality and whether such proofs of contextuality indicate anything about the resourcefulness of that set.  
Introducing a well-motivated notion of what it means for a set of states to be contextual, we establish a relationship between contextuality and antidistinguishability of sets of states. We go beyond the traditional notions of contextuality and antidistinguishability and treat both properties as resources, demonstrating that the degree of contextuality within a set of states has a direct connection to its level of antidistinguishability.
If a set of states is contextual, then it must be weakly antidistinguishable and vice-versa. However, maximal contextuality emerges as a stronger property than traditional antidistinguishability.

\footnotetext{
$^\dag$Author@Author.unimelb.edu.au\\
$^\ddagger$Author@Author.edu.au\\
$^\S$Author@Author.edu.au}

% \begin{description}
% \item[Usage]
% Secondary publications and information retrieval purposes.
% \item[Structure]
% You may use the \texttt{description} environment to structure your abstract;
% use the optional argument of the \verb+\item+ command to give the category of each item. 
% \end{description}
\end{abstract}

%\keywords{Suggested keywords}%Use showkeys class option if keyword
                              %display desired
\maketitle

%\tableofcontents
% \onecolumngrid

\section{\label{sec:intro}Introduction} 
 

Understanding what separates quantum from classical theory has become of paramount importance in the context of recent developments in quantum computing. Though there have been many attempts to leverage the rich literature in quantum foundations \cite{AnatoleKenfack_2004, PhysRevA.71.042302, Kleinmann_2011, 10.1088/1367-2630/16/1/013009, 10.1088/1367-2630/14/11/113011,10.1103/physrevlett.115.070501, 10.1103/physrevlett.119.050504, 10.1103/physrevx.8.011015, 10.48550/arxiv.1802.07744}, we are only beginning to understand how distinctly quantum features, such as contextuality, produce advantage.


Contextuality, which has its inception in the works of Bell \cite{RevModPhys.38.447}, Kochen and Specker \cite{10.1512/iumj.1968.17.17004}, captures the inability of explaining quantum mechanics through hidden variable theories that assign values to observables independently of other simultaneously measured properties. As it is a prime indicator of non-classical behaviour and subsumes well-known phenomena such as Bell non-locality and measurement incompatibility, there has been been great interest in the consideration of contextuality as a resource in quantum information processing \cite{10.1038/nature13460, 10.1103/physrevlett.119.120505, 10.1103/physreva.95.052334,PhysRevA.101.012350, 10.1103/physreva.101.012120}.

Antidistinguishability was first introduced as \textit{Post-Peierls (PP) incompatibility} \cite{10.1103/physreva.66.062111} and became of great interest in quantum foundations with its use in the seminal Pusey-Barrett-Rudolph (PBR) Theorem \cite{10.1038/nphys2309}.
Antidistinguishability is an attribute given to a set of quantum states that is equivalent to the viability of \textit{unambiguous state exclusion} \cite{10.1103/physreva.89.022336},  where there exists a single measurement, for which each outcome conclusively rules out one state from the given set. 
This is in contrast to the well-known \textit{distinguishability} criterion that requires the existence of a single measurement that determines the state with certainty. Though it is known that only orthogonal sets of states can be distinguishable \cite{Nielsen_Chuang_2010}, non-orthogonal states can in fact still be antidistinguishable -- a fact that has been experimentally demonstrated~\cite{PhysRevResearch.5.023094}.

The concept of antidistinguishable states has been used in a number of areas including quantum communication tasks \cite{10.1103/physrevlett.115.030504, 10.48550/arxiv.1903.04899, 10.1103/physrevresearch.2.013326, PhysRevA.109.032627} with demonstrations of exponential separation between classical and quantum communication \cite{10.1103/physrevresearch.2.013326, 10.1103/physrevresearch.2.013326}, in quantum cryptography with the realisation of quantum digital signatures \cite{10.1103/physrevlett.113.040502}, and more recently in demonstrating polynomial separations in memory requirements in quantum machine learning algorithms \cite{10.48550/arxiv.2402.08606}. In quantum resource theories it has been demonstrated that certain measures of resources can be identified with advantages in state exclusion tasks \cite{10.1103/physrevlett.125.110401, 10.1103/physrevlett.125.110402}. From a quantum foundational perspective, antidistinguishability has played a critical role in the debate between epistemic and ontic interpretations of the quantum state \cite{10.1038/nphys2309, 10.12743/quanta.v3i1.22, 10.1103/physrevlett.112.250403, 10.48550/arxiv.2401.17980}.
Many of these works show that antidistinguishability has the ability to demonstrate differences between aspects of quantum and classical theory, and has therefore led to numerous investigations into the conditions under which a set of states is antidistinguishable \cite{10.1103/physreva.66.062111, 10.1103/physreva.89.022336, 10.1103/physrevresearch.2.013326, 10.1103/physreva.107.l030202, 10.48550/arxiv.1804.10457, 10.48550/arxiv.2309.03723, 10.48550/arxiv.2311.17047}.

Both contextuality and antidistinguishability reveal non-classical characteristics of quantum theory, however their relationship has thus far only been partially explored, and a direct link has remained elusive.
A possible connection was first suggested in Ref.~\cite{10.48550/arxiv.1802.07744} through the concept of a \textit{partitioning measurement}; such a measurement was guaranteed to exist when contextuality is present in associated observables. 
More recently, aspects of the relationship have been further developed by establishing a method that employs antidistinguishability to construct noncontextual inequalities~\cite{10.1103/physreva.101.062113}.  This was shown through finding pairwise \textit{antisets} that require triples of states to be antidistinguishable. We further explore the connection between contextuality and antidistinguishability to establish an explicit relationship between the two. 

In this work, we show an explicit equivalence between the contextuality of a set of states and weak antidistinguishability. This notion of weak antidistinguishability has recently been used to characterise the Choi-rank of quantum channels \cite{stratton2024operationalinterpretationchoirank}. 
Considering Kochen-Specker (KS) proofs of contextuality in the hypergraph framework of contextuality scenarios \cite{10.1103/physrevlett.112.040401, 10.1007/s00220-014-2260-1}, we show that a set of projectors that generate a KS proof of contextuality must necessarily be weakly antidistinguishable and a set of weakly antidistinguishable states must exhibit contextuality. 
We then consider the extent of contextuality of a set of states, specifically if it is maximally contextual or not. A set of states is maximally contextual if the removal of one state from the set renders the remaining set non-contextual. Maximal contextuality emerges as a much stronger criterion than antidistinguishability. All maximally contextual sets are antidistinguishable, however we find examples of antidistinguishable sets that are not maximally contextual. Maximal contextuality also implies a stronger notion of antidistinguishability, where there exists an exclusive outcome for each state in the set that rules it out. We refer to this as strong antidistinguishability and conjecture that it implies maximal contextuality. 
By establishing an equivalence between two well-studied concepts in quantum foundations that have thus far been obscurely related, we facilitate the exploration of one concept with the tools employed in the other.


\section{Results}


We start by formally defining antidistinguishability with projective measurements in three different forms:


\begin{definition}\label{def:antidist}
     A finite set of states $\mathcal{S} = \{\rho_i\}_{i=1}^N$ is,
     \begin{enumerate}[label=(\roman*)]
        \item \textit{Weakly Antidistinguishable} (\textbf{WA}) if there exists a projection-valued measure (PVM) $\{\pi_j\}_{j}$ such that, for each $\pi_j$,  $\exists \rho'\in \mathcal{S}$ such that $\Tr(\pi_j \rho')=0$,
         \item \textit{Antidistinguishable} (\textbf{A}) if there exists a PVM $\{\pi_i\}_{i=1}^N$ such that, $\Tr \left( \pi_i \rho_i \right) = 0$ for all $i=1,...,N$, 
         \item \textit{Strongly Antidistinguishable} (\textbf{SA}) if there exists a PVM $\{\pi_j\}_j$ that (1)~weakly antidistinguishes $\mathcal{S}$ and (2)~for each $\rho_i$ there exists a $\pi_i$ such that $\Tr \left( \pi_i \rho_i \right) = 0$ and $\Tr \left( \pi_i \rho_j \right) \neq 0$ for all $i\neq j$. 
     \end{enumerate}
\end{definition}
Operationally, a PVM corresponds to a measurement with each projector corresponding to an outcome of the measurement. When a measurement is conducted on an unknown state from a given set resulting in a specific measurement outcome, any state(s) within that set that is orthogonal to the projector associated with the outcome can be excluded as the initial state. Thus we say that the particular outcome \emph{excludes} the state(s). 
A set of states is weakly antidistinguishable, if there exists a measurement -- which we call a \emph{weakly antidistinguishing measurement} (\textbf{WA-PVM}) -- where every outcome excludes at least one state from the set.
Antidistinguishability of a set of states is a stronger criteria as it requires that there exist a measurement -- which we call an \emph{antidistinguishing measurement} (\textbf{A-PVM}) -- where the number of outcomes is the same as the number of states in the set, and in addition, each state in the set has at least one outcome that excludes it.
In order for a set of states to be strongly antidistinguishable, there must exist a measurement -- which we call a \emph{strongly antidistinguishing measurement} (\textbf{SA-PVM}) -- such that, for each state, there exists an outcome that exclusively excludes that state and no other state in the set.

From the definition of \textbf{SA}, one can see that if the PVM $\Pi=\{\pi_j\}_{j=1}^M$ is an \textbf{SA-PVM} for a set $\mathcal{S} = \{\rho_i\}_{i=1}^N$, $M\geq N$. It is always possible to combine the PVM elements in $\Pi$ to produce a new \textbf{A-PVM} that has the same cardinality as the set. This can be done as follows:\\
Let $\gamma_i=\sum_{\pi_j\in \Pi_i}\pi_j$, where $\Pi_{i}\subset \Pi$ such that $\Tr(\pi_j\rho_i)=0$ and $\Tr(\pi_j\rho_k)\neq 0$ for $k<i$ for all $\pi_j\in \Pi_i$. $\Gamma=\{\gamma_i\}_{i=1}^{N}$ is now an \textbf{A-PVM}, which shows that a strongly antidistinguishable set of states is necessarily antidistinguishable.
We therefore have the following chain of implications for a set of states:
\begin{equation*}
    \textbf{SA} \implies \textbf{A}  \implies \textbf{WA}
\end{equation*}
Antidistinguishability and strong antidistinguishability are, in general, sensitive to the addition of a state to the set, while the weaker attribute is unaffected. 

In order to state the main result of the paper, we need to define the characterisation of contextuality to a set of states, similar to how antidistinguishability is a property of a set. 
We do this by introducing the hypergraph formulation of \textit{contextuality scenarios} and subsequently construct \textit{contextual instances} of scenarios -- which directly correspond to the contextuality of sets of states.

The original proof of contextuality by Kochen and Specker \cite{10.1512/iumj.1968.17.17004} highlights contextuality through logical inconsistencies when assigning truth values to sets of orthogonal projectors that represent sets of measurement outcomes. 
In a $d-$dimensional Hilbert space $\mathcal{H}$, a set of rank-$1$ projectors $\{\sigma_1 , \sigma_2, ..., \sigma_{d}\}$, are considered a \textit{context} if it satisfies the following two criteria \cite{RevModPhys.94.045007}: (i) $\sigma_i \sigma_j = 0$ for all $i\neq j$ \textit{(orthogonality condition)} and (ii) $\sum_{i=1}^{d} \sigma_i = \mathbb{I}$ \textit{(completeness condition)}.
Physically, a context represents a projective measurement. 
The set of all rank-$1$ projectors for a given Hilbert space is denoted as $\mathbb{X}(\mathcal{H})$ and we denote the set of all contexts allowable from a given set of projectors $X\subseteq \mathbb{X}$ as $\mathbb{C}(X)$. 

Any set of projectors $X\subseteq \mathbb{X}(\mathcal{H})$ and their associated contexts $\mathcal{C} \subseteq \mathbb{C}(X)$ made entirely of projectors from $X$,  can be identified with a hypergraph $\mathcal{G}(X, \mathcal{C})$, with vertices being projectors and hyperedges demonstrating the contexts \cite{10.1103/physrevlett.112.040401, 10.1007/s00220-014-2260-1}. We now explicitly describe the framework in which we will discuss contextuality for the remainder of this work.


\begin{definition}
(Ref.~\cite{ 10.1007/s00220-014-2260-1}.)  A contextuality scenario is a hypergraph $\mathcal{G}(X, \mathcal{C})$ with vertices $X$ corresponding to projectors and set of hyperedges $\mathcal{C}\subseteq \mathcal{P}(X)$.
\end{definition}
The construction of a contextuality scenario -- which we will often simple refer to as scenario -- does not necessarily indicate a proof of contextuality. Instead, a KS proof arises from not being able to assign truth values to the projectors (vertices) of a particular graph, independent of context. We can therefore define a contextuality scenario as being \textit{contextual} in the following way:
\begin{definition}\label{def:contextual}
A contextuality scenario $\mathcal{G}(X, \mathcal{C})$ is \textit{noncontextual} if there exists value assignment $\nu : X \rightarrow \{0,1\}$ such that, %$\nu(P_i).\nu(P_j)=0$, if $Tr[P_iP_j]$ and 
    \begin{align}\label{eq:val_assign_def}
    \sum_{\sigma_i\in C} \nu (\sigma_i) = 1  \end{align}
for all contexts $C\in \mathcal{C}$. Otherwise it is \textit{contextual}.
\end{definition}
Any value assignment that obeys \eqref{eq:val_assign_def} for all contexts in $\mathcal{C}$ is referred to as a \emph{noncontextual value assignment}. The existence of a noncontextual value assignment for $\mathcal{G}(X, \mathcal{C})$, corresponds to assigning two colours representing truth values to all vertices in a graph, with the constraint that vertices in a common hyperedge must have one, and only one, true assignment -- that is, only one vertex assigned the value of $1$. This satisfiability task is referred to as the \textit{KS colorability problem} \cite{alma991019892499703276}. Hence, in this picture, a contextuality scenario is contextual if it does not admit a KS-colouring of the graph $\mathcal{G}(X, \mathcal{C})$.

Referring to a scenario as contextual in this way is often known as \textit{state-independent} contextuality. It is further possible to fix the value of a single projector (state) and ask whether it possible to assign values to the remainder of the graph -- which gives a \textit{state-dependent} form of contextuality. In this work, we extend this characteristic to a set of states by fixing the value assigned to a set of projectors and determine whether it is possible to construct a noncontextual value assignment to the remainder of the projectors.
Before we formally define such \textit{contextual instances} of a graph, we construct the projectors that have implied assignments as a result of assigning $1$ to a select set of projectors $\mathcal{S}$. 
The motivation here is to identify projectors for which orthogonality with states in $\mathcal{S}$, necessarily implies the values assigned to them. More specifically, given a set of non-orthogonal projectors $\mathcal{S}=\{\rho_i\}$, we define its \textit{implied projectors} as, 
    \begin{equation}
        \mathcal{I}({\mathcal{S}}) = \{ \sigma\in \mathbb{X}(\mathcal{H}) \vert \exists \rho_i \in \mathcal{S} : \rho_i \sigma=0\} \,.
    \end{equation}
These are implied projectors of $\mathcal{S}$ due to the fact that a value assignment of $1$ to all projectors in $\mathcal{S}$, necessitates an assignment of $0$ to all projectors in $\mathcal{I}({\mathcal{S}})$, as a result of Eq.~\eqref{eq:val_assign_def}. We can now define a contextuality scenario that is constructed through fixed and implied projectors. 
\begin{definition}
    A contextuality scenario $\mathcal{G}(X_\mathcal{S}, \mathcal{C}_\mathcal{S})$ is \textit{generated} (or \textit{implied}) by a set of projectors $\mathcal{S}$ if the following conditions are satisfied: (i) $\mathcal{S} \subset X_{\mathcal{S}}$, (ii) $X_{\mathcal{S}}\backslash \mathcal{S} \subset \mathcal{I}(\mathcal{S})$, and (iii) $\mathcal{C}_{\mathcal{S}}=\mathbb{C}(X_{\mathcal{S}})$. 
\end{definition}
\noindent In other words, $\mathcal{S}$ generates $\mathcal{G}(X_\mathcal{S}, \mathcal{C}_\mathcal{S})$ if all projectors in the hypergraph are either in $\mathcal{S}$ or orthogonal to at least one projector in $\mathcal{S}$ and all possible contexts between projectors in $\mathcal{S}$ is included in the scenario.
For example, the orange projectors in Figure \ref{fig:18_vec_proof} imply all other vertices in the graph and hence generate the 18-vector contextuality scenario presented. 
\begin{definition}\label{def:contextual_scenario}
     A non-orthogonal set of projectors $\mathcal{S}\subset X$ forms a \textit{contextual instance} of the implied scenario $\mathcal{G}(X_\mathcal{S}, \mathcal{C}_\mathcal{S})$ if there exist no  noncontextual value assignment, $\nu$, such that $\nu(\rho_i)=1$ for all $\rho_i \in \mathcal{S}$.
\end{definition}
It is important to note that the contextuality scenario  $\mathcal{G}(X_\mathcal{S}, \mathcal{C}_\mathcal{S})$ may admit a noncontextual value assignment while the set of projectors $\mathcal{S}$ forms a contextual instance. Therefore the contextual attribute of the scenario is stronger than that of the instance.
Nevertheless, the definition of a contextual instance allows us to characterise the contextuality for a given set of states.

\begin{definition}
    A set of pure states $\mathcal{S}=\{\rho_i\}$ is \textit{contextual} if there exists an implied contextuality scenario for which $\mathcal{S}$ is a contextual instance.
\end{definition} 
This definition of contextuality for a set of states has \textit{state-dependent contextuality} as a special case when one considers only a single state in the set, that is, $\vert\mathcal{S}\vert = 1$.
We have chosen to define contexts in the hypergraphs as rank-1 PVMs, however contexts can in general be composed of higher rank PVMs. For the results in this paper, we do not lose any generality by making this choice. This is because fine-graining of a PVM to a rank-1 PVM cannot remove contextuality, that is, if a higher rank PVM forms a contextual instance for a set of states, then any fine-graining of that PVM will also form a contextual instance for the same set of states. Thus when looking for the existence of a contextual instance for a set of states, it is sufficient to restrict to considering only rank-1 projectors. \footnote{It is, important to note that while fine-graining of a PVM  cannot remove contextuality, it may add contextuality. That is, given that a higher rank PVM does not form a contextual instance for a set of states, it is possible that, for some choice of fine-graining, the rank-1 PVM that it is decomposed into, may form a contextual instance for the same state of states. Thus in instances, where one wants to investigate whether a set of states is contextual or not with respect to a restricted set of measurements, consisting of higher rank PVMs, one can relax the condition of only rank-1 projectors forming a context in the hypergraph. One can then represent higher rank projectors as vertices of the hypergraph and define a context as a set of vertices that satisfies the orthogonality and completeness conditions. }



Having defined contextuality and antidistinguishability for a set of states, we can now establish a simple equivalence between the two non-classical properties.

\begin{theorem}\label{theorem:main_proj}
    Let $\mathcal{S}=\{\rho_i\}$ be a set of non-orthogonal pure states. The set $\mathcal{S}$ is  weakly antidistinguishable if and only if $\mathcal{S}$ is contextual.
\end{theorem}
\begin{proof} 
We start with the \textit{if} direction by assuming we have a contextual set $\mathcal{S}$, i.e. we assume the existence of an implied scenario $\mathcal{G}(X_{\mathcal{S}}, \mathcal{C}_{\mathcal{S}})$ for which $\mathcal{S}$ is a contextual instance. Let $\nu:X_{\mathcal{S}} \rightarrow \{0,1\}$ be a value assignment such that, $\nu(\sigma)=1$ for all $\sigma \in \mathcal{S}$ and $\nu(\sigma_{i})\cdot\nu(\sigma_{j})=0$ if $\Tr[\sigma_{i}\sigma_{j}]=0$.
Since  $\mathcal{S}$ is a contextual instance for  $\mathcal{G}(X_{\mathcal{S}},\mathcal{C}_{\mathcal{S}})$, we know that $\nu$ cannot be noncontextual. 
Therefore, because each context can admit at most one projector in $\mathcal{S}$ -- otherwise states in $\mathcal{S}$ would be orthogonal -- there exists a context $\widetilde{C} \in \mathcal{C}_{\mathcal{S}}$ such that,
 \begin{equation}
 \sum_{\sigma\in \widetilde{C}} \nu(\sigma) = 0    
 \end{equation}
where we note that from the definition of $\nu$ we subsequently have that $\mathcal{S}\cap\widetilde{C}=\emptyset$.
Since $\mathcal{G}(X_{\mathcal{S}},\mathcal{C}_{\mathcal{S}}) $ is generated by $\mathcal{S}$, we have that every projector in $\widetilde{C}$ is orthogonal to at least one element in $\mathcal{S}$, that is, $\widetilde{C}\subset \mathcal{I}(\mathcal{S})$. We also have that because $\widetilde{C}$ is a context, it is a PVM and therefore the projectors in $\widetilde{C}$ satisfy the conditions for a \textbf{WA-PVM} for $\mathcal{S}$.
     


To show the reverse implication. we demonstrate that given a weakly antidistinguishing PVM $E=\{e_i\}$ for $\mathcal{S}$, we can construct a weakly antidistinguishing rank-1 PVM which in turn allows us to construct a contextuality scenario for which $\mathcal{S}$ is a contextual instance. Let $\Pi=\{\pi_i\}_i$ be a rank-1 PVM associated with fine graining the elements of $E$ such that every non-rank-1 projector $e_k\in E$ is fine-grained into separate rank-1 projectors in $\Pi$, i.e. $e_k = \sum_{\Pi_{e_k}}\pi_l$ where $\Pi_{e_k} \subset \Pi$. Thus we have that all the projectors in $\Pi_{e_{k}}$ are also orthogonal to the same state(s) as $e_k$. Hence $\Pi$ is also a \textbf{WA-PVM} for $\mathcal{S}$. 

Since all projectors in $\Pi$ are orthogonal to at least one state in $\mathcal{S}$, by definition $\Pi \subset \mathcal{I}(\mathcal{S})$, we can construct a context $C_i$ such that $\pi_i, \rho_{\pi_i} \in C_i$ where $\rho_{\pi_i}\in \mathcal{S}$ is an associated orthogonal state to $\pi_i$. 
Therefore we can construct an implied contextuality scenario $\mathcal{G}(X_{\mathcal{S}}, \mathcal{C}_{\mathcal{S}})$ where $X_{\mathcal{S}} =  \left(\cup_i C_i\right) \cup \mathcal{S}$ and $\mathcal{C}_{\mathcal{S}}=\mathbb{C}(X_{\mathcal{S}})$. Now we attempt to find a noncontextual value assignment $\nu$ for $\mathcal{G}(X_{\mathcal{S}}, \mathcal{C}_{\mathcal{S}})$. However if $\nu$ satisfies the condition that $\nu(\sigma)=1$ for all $\sigma \in \mathcal{S}$, then it cannot simultaneously satisfy  $\sum_{\sigma\in C_{i}}\nu(\sigma)=1$ and $\sum_{\pi_{i}\in \Pi}\nu(\pi_{i})=1$. Since $C_i, \Pi \in \mathcal{C}_{\mathcal{S}}$, we have that $\mathcal{S}$ is a contextual instance for $\mathcal{G}(X_{\mathcal{S}}, \mathcal{C}_{\mathcal{S}})$.
\end{proof}


In order to establish the connection between contextuality and the standard notion of antidistinguishability, we need a stricter form of  contextuality for a set of states. 
\begin{definition}
    A set of pure states $\mathcal{S}=\{\rho_i\}$ is \textit{maximally contextual} if there does not exist a contextual $\mathcal{S}'\subset \mathcal{S}$.
\end{definition}
We find that for any scenario $\mathcal{G}$ generated by a maximally contextual set of states, every context in $\mathcal{G}$ that does not include states in $S$, must strongly antidistinguish $S$. This follows easily from the following Lemma.
\begin{lemma}\label{lemma:maxcontextual_pvm}
    Any PVM $\Pi=\{\pi_i\}$ which weakly antidistinguishes a maximally contextual set $\mathcal {S}$ must also strongly antidistinguish it.
\end{lemma}

\begin{proof}
Let $S_{i}\subset \mathcal{S}$ such that $\Tr\left(\pi_i\rho_k\right)=0$, $\forall \rho_k\in S_i$. We will first prove by contradiction that $\cup_i S_i=\mathcal{S}$, which will show that all states are excluded by some outcome. For this we assume that there exists $\rho\in \mathcal{S}\backslash \{\cup_i S_i\}$. One can remove $\rho$ from $\mathcal{S}$ and the remaining set, that is $\mathcal{S}\backslash\{\rho\}$, is still weakly antidistinguishable by the $\Pi$. This implies from Theorem \ref{theorem:main_proj} that  $\mathcal{S}\backslash\{\rho\}$ is contextual, which in turn leads to a contradiction to $\mathcal{S}$ being maximally contextual.
Thus we have that $\cup_i S_i=\mathcal{S}$, which implies that for every $\rho_k\in \mathcal{S}$, there exists $\pi_k \in \Pi$, such that $\Tr\left(\pi_k\rho_k\right)=0$. Now we assume that $\Pi$ is NOT a strongly antidistinguishing PVM for $\mathcal{S}$ which implies there exists $\rho\in \mathcal{S}$ such that for every $\pi_k \in \Pi$ that is orthogonal to $\rho$, there must also exist another state $\rho_k$ such that $\Tr\left(\pi_k\rho_k\right)=0$. Thus $\mathcal{S}/\{\rho\}$ remains weakly antidistinguishable by $\Pi$, which  again contradicts $\mathcal{S}$ being maximally contextual. 
\end{proof}

We can now state the following important implication: 
\begin{theorem}\label{theorem:max_cont_antidist}
    A non-orthogonal set of pure states is maximally contextual only if it is strongly antidistinguishable and therefore antidistingiushable.
\end{theorem}
\begin{proof}
    We know from Theorem \ref{theorem:main_proj} that a contextual (and thereby maximally contextual) set of states must have a \textbf{WA-PVM} $\Pi$. By Lemma \ref{lemma:maxcontextual_pvm} we know that $\Pi$ must be strongly antidistinguishing. Since strongly antidistinguishable states are also antidistinguishable, we have proven the result. 
\end{proof}

\begin{figure}
    \centering    \includegraphics[width=220pt]{figures/18_vec.png}
    \caption{A contextual scenario with 18 vectors and 9 contexts in dimension $d=4$ \cite{Cabello_1996}. The vertices are projectors (pure states) where $(a,b,c,d)$ is identified with the projector $\ket{a,b,c,d}\bra{a,b,c,d}$ where $\ket{a,b,c,d}=a\ket{00}+b\ket{01}+c\ket{10}+d\ket{11}$. The hyperedges form contexts of mutually orthogonal sets, where for simplicity the hyperedges are illustrated as straight lines and ovals. The scenario is generated by projectors indicated by orange triangles, along with its \textbf{SA} and \textbf{A} context given by the orange, dotted line. The projectors indicated by blue squares do not generate the entire graph -- all but the $(1,0,0,0)$ state -- and therefore demonstrate only a contextual instance with the associated (strongly) antidistinguishing context given by the blue, dash-dotted line.}
    \label{fig:18_vec_proof}
\end{figure}

The relation between contextuality and antidistinguishability is demonstrated in Figure \ref{fig:18_vec_proof}, where we see that any set of projectors that generate a contextual scenario (for example the projectors indicated by orange triangles) must necessarily be at least \textbf{WA} as claimed in Theorem \ref{theorem:main_proj}. 
Hence, choosing a generating set of projectors from a known contextual proof guarantees the existence of a \textbf{WA} measurement. Furthermore, the removal of any one projector allows for a noncontextual scenario as two non-orthogonal states cannot be \textbf{WA} (otherwise they would be distinguishable) and thereby contextual from Theorem \ref{theorem:main_proj}. Hence we have a maximally contextual set of states which, by Theorem \ref{theorem:max_cont_antidist}, are both \textbf{A} and \textbf{SA}.

In the example above, we have used a known contextual scenario to obtain an antidistinguishable set of states. We now look at an example where techniques determining antidistinguishability can be used to establish the contextuality of a particular set of states. 
Namely, we show that the \textit{PBR states} \cite{10.1038/nphys2309}, $\mathcal{S}_{\mathrm{PBR}}= \{\ket{0}\otimes\ket{0}, \ket{0}\otimes\ket{+}, \ket{+}\otimes\ket{0}, \ket{+}\otimes\ket{+}\}$, are maximally contextual. It was shown in \cite{10.1038/nphys2309} that $\mathcal{S}_{\mathrm{PBR}}$ has an \textbf{A-PVM} which projects onto the following states, 
\begin{align*}
    \ket{\xi_1} &= (\ket{0}\otimes\ket{1}+ \ket{1}\otimes\ket{0})/\sqrt{2}  \\
    \ket{\xi_2} &= (\ket{0}\otimes\ket{-} + \ket{1}\otimes\ket{+})/\sqrt{2}  \\
    \ket{\xi_3} &= (\ket{+}\otimes\ket{1} + \ket{-}\otimes\ket{0})/\sqrt{2}  \\
    \ket{\xi_4} &= (\ket{+}\otimes\ket{-} + \ket{-}\otimes\ket{+})/\sqrt{2}  
\end{align*}
In fact, a closer look reveals that this measurement is also an \textbf{SA-PVM}, as every outcome exclusively excludes a state and no other state in the set. From Theorem \ref{theorem:main_proj} we know that $\mathcal{S}_\mathrm{PBR}$ is contextual and we now show that it is also maximally contextual by utilising the following two Lemmas that are specific for a set of three states: 
\begin{lemma}\label{lemma:three_states}
    All non-orthogonal sets of three states that are \textbf{WA}, are necessarily \textbf{A} and \textbf{SA}.
\end{lemma}
\begin{proof}
    This can be shown by contradiction. If we assume a set of three states $\mathcal{S}$ is \textbf{WA} and not \textbf{SA}, then by Theorem \ref{theorem:max_cont_antidist}, $\mathcal{S}$ cannot be maximally contextual. Hence there must exist a maximally contextual subset $\mathcal{S}'\subset\mathcal{S}$ over two states that is \textbf{SA} by Theorem \ref{theorem:max_cont_antidist}. For a set of two states, an \textbf{SA-PVM} is able to distinguish the states in $\mathcal{S}'$. Since non-orthogonal states cannot be distinguished, this is a contradiction. Thus the set must be \textbf{SA} and therefore also \textbf{A}.
\end{proof}
\begin{lemma}\label{lemma:cond_three_states_anti} (Ref. \cite{10.1103/physreva.66.062111})
    Given a set of three states $\mathcal{S}=\{\psi_1, \psi_2, \psi_3\}$, let their pairwise overlaps be $\delta_1 = |\braket{\psi_1|\psi_2}|^2$, $\delta_2 = |\braket{\psi_1|\psi_3}|^2$, $\delta_3 = |\braket{\psi_2|\psi_3}|^2$. The set $\mathcal{S}$ is antidistinguishable if and only if both the following conditions hold,
    \begin{align}
        \delta_1 + \delta_2 + \delta_3 &< 1 \label{eq:condition_pbr}\\
        (\delta_1 + \delta_2 + \delta_3 - 1)^2 &\geq 4\delta_1 \delta_2 \delta_3.
    \end{align}
\end{lemma}
\begin{proof}
    See Ref. \cite{10.1103/physreva.66.062111} for proof
\end{proof}

Pairwise overlaps of states in $\mathcal{S}_{\mathrm{PBR}}$ are either $\frac{1}{2}$ or $\frac{1}{4}$. It can be seen through enumeration over all possible subsets $\mathcal{S}\subset\mathcal{S}_\mathrm{PBR}$ of size three, there is no such subset that satisfies Eq. \eqref{eq:condition_pbr}. Hence there are no subsets of three states that are antidistinguishable. By Lemma \ref{lemma:three_states} and Theorem \ref{theorem:main_proj}, we know that therefore there are no subsets of three states that are contextual. Since subsets of two non-orthogonal states cannot be contextual, we have shown that there are no contextual subsets of $\mathcal{S}_{\mathrm{PBR}}$, implying that $\mathcal{S}_{\mathrm{PBR}}$ is maximally contextual.

The statement of Lemma \ref{lemma:maxcontextual_pvm} illustrates the strength of maximal contextuality as a condition. For a set of states, if one finds a \textbf{WAPVM} that is not also an \textbf{SAPVM}, then one can conclude that the set of states is not maximally contextual. This method of ruling out a set of states as being maximally contextual is potentially much more efficient than considering all possible contextuality instances for a set of states and checking if they remain contextual after the removal of a state from the set. However, due to the one way implication of maximal contextuality implying strong antidistinguishability, the existence of an \textbf{SA-PVM} cannot be used to confirm that a set of states is maximally contextual. 
Maximal contextuality emerges as a stronger property than antidistinguishability.
This can be seen with the example given by a set of states associated with the projectors labelled by blue squares in Figure \ref{fig:18_vec_proof} with the addition of the state associated with $(1,0,0,0)$. The blue dash-dotted hyperedge is therefore an antidistinguishing measurement for this larger set (note the orthogonality between $(1,0,0,0)$ and $(0,1,0,-1)$ projectors), while also being an antidistinguishing measurement for the subset of only those states labelled by blue squares. Theorem \ref{theorem:main_proj} states that the states labelled by blue squares will therefore be contextual, implying that the initial larger antidistinguishable set is not maximally contextual. Although this example shows that antidistinguishability does not imply maximal contextuality, it does not rule out strong antidistinguishability implying maximal contextuality. In fact, we have been unable to find a counter-example to strong antidistinguishability implying maximal contextuality. For example, the PBR measurement is an \textbf{SA-PVM} for the PBR states, and, as we have shown, the PBR states also turn out to be maximally contextual. Similarly, the Lison\v{e}k set \cite{PhysRevA.89.042101} (see Appendix \ref{sec:lisonek}) has a \textbf{SA} set that is also maximally contextual. Hence we conjecture, an equivalence between a set being \textbf{SA} and maximally contextual.



\section{Discussion}

We now consider some of the implications of our results, both for contextuality and antidistinguishability, and point to some future research directions.

In this work, we have defined a natural characterisation of contextuality for a set of pure states $\mathcal{S}$, as the inability to construct a noncontextual value assignment for a contextuality scenario generated by $\mathcal{S}$. The understanding of contextuality as a property of a set of states has implications for understanding contextuality beyond sequential measurements and as a resource that provides exclusionary measurements.
Defining contextuality as a resource for a set requires the natural supposition that contextuality should not disappear with the addition of another state. This property is satisfied by Def. \ref{def:contextual} and it is therefore consistent that Theorem \ref{theorem:main_proj} demonstrates a simple equivalence between the attributes of contextuality and weak antidistinguishability. Conversely, both \textbf{A} and \textbf{SA} properties of a set are sensitive to the addition of states. Hence we are able show that \textbf{A} and \textbf{SA} are related to the similarly sensitive maximally contextual attribute in Theorem \ref{theorem:max_cont_antidist}. 

Here we have specifically looked at KS contextuality but in fact there exists a more general form of contextuality that does not need to present itself as the violation of Eq.~\eqref{eq:val_assign_def}. We present an example that is contextual with regards to a more general form of contextuality through the example of the Yu-Oh set \cite{10.1103/physrevlett.108.030402} in Appendix \ref{sec:yu_oh}. Not only can contextuality be observed in non-deterministic settings (as opposed to the binary assignment of values in Def.~\ref{def:contextual}), but the subtlety in \cite{10.1103/physrevlett.108.030402} highlights that the algebraic conditions of Kochen and Specker do not entirely characterise all types of contextuality. Nevertheless, the proofs we consider account for a large section of contextuality proofs in literature. An interesting future direction is to recast our characterisation of contextual sets of states with the more general algebraic framework developed recently by Frembs \cite{10.48550/arxiv.2408.16764}.

Although it is more natural to look at the way contextuality implies the existence of antidistinguishing measurements, the reverse is also quite useful to consider. It is in this respect Leifer and Duarte show that antidistinguishability characteristics can be employed to construct tighter noncontexuality inequalities \cite{10.1103/physreva.101.062113}. We have shown that it is not possible to have a contextuality proof where the generating set of projectors are not at least \textbf{WA}.
Therefore the characteristics that determine a set of states to not be \textbf{A} can be used in understanding when contextual scenarios are possible. The simplest to consider is one of the first conditions for antidistinguishability for the specific case of three states \cite{10.1103/physreva.66.062111} -- see Lemma \ref{lemma:cond_three_states_anti}. One consequence of such constraints is that a set of three projectors that have large overlaps -- where the sum of pairwise overlaps is greater than one -- can not generate a scenario that demonstrates a proof of contextuality.  We utilised this result to prove that the PBR set of states \cite{10.1038/nphys2309} is maximally contextual.


Additional conditions have been established for states that are antidistinguishable, including more general bounds on the sum of overlaps \cite{10.1103/physreva.89.022336}, conditions on the spectral decomposition of the antidistinguishing measurement and states \cite{10.48550/arxiv.1804.10457}, and recently the incoherence of the Gram matrix associated with the set of states \cite{10.48550/arxiv.2311.17047}. More generally, it is possible to construct a semi-definite program to obtain the antidistinguishing measurement \cite{10.1103/physreva.89.022336}, when possible. 
Therefore the inability to obtain an antidistinguishing solution can also be numerically determined -- though not necessarily efficiently. These tools from antidistinguishability literature offer a clear method for identifying when projectors can generate contextuality proofs -- something that has not been previously known.


\textit{Acknowledgements -- }This work is supported by the Australian Research Council via Discovery Project number DP220101771 and the Centre of Excellence in Engineered Quantum Systems (EQUS) project number CE170100009.


\bibliography{My_Library.bib}

\onecolumngrid
\appendix
% \newpage


\section{Examples}\label{sec:examples}

We provide two examples of strongly antidistinguishable sets that are maximally contextual.



\subsection{ Lison\v ek KS Set}\label{sec:lisonek}

\begin{figure*}
    \centering
    \includegraphics[width=460pt]{figures/yu_oh_proof_and_lisonek.png}
    \vspace{0.2cm}
    \caption{(a) The Lison\v{e}k state-independent proof of contextuality \cite{PhysRevA.89.042101} with 21 projectors and 7 contexts in dimension $d=6$ is the smallest KS set in terms of contexts. The contexts here are given by straight lines and the labelling $10ab10$ denotes the projector associated with the vector $(1,0,a,b,1,0)$, where $a=e^{2\pi i/3}$ and $b=e^{4\pi i/3}$. The three projectors indicated by orange triangles generate the scenario with the associated antidistinguishing context given by the orange, dotted line. (b) Yu and Oh's set \cite{10.1103/physrevlett.108.030402} is the simplest state independent proof of contextuality with the smallest number of projectors in dimension $d=3$. See Appendix \ref{sec:yu_oh} specifying the projectors. Contexts in this figure are illustrated as circles. The orange projectors generate a contextual instance with the \textbf{SA} measurement given by the orange, dotted line. However, the scenario is noncontextual by our definition of contextuality (Def. \ref{def:contextual}) as it admits a consistent value assignment highlighted by the blue squares.}
    \label{fig:yu_oh_proof_and_lisonek}
\end{figure*}


We look at the contextuality scenario presented in Figure \ref{fig:yu_oh_proof_and_lisonek}(a) constructed by Lison\ifmmode \check{e}\else \v{e}\fi{}k et al. \cite{PhysRevA.89.042101}, which has 21 projectors and 7 contexts. The selection of any set of projectors that generate the Lison\v{e}k set is guaranteed to have a weakly antidistinguishing measurement by Theorem \ref{theorem:main_proj}. In fact it is not possible to have greater than 3 projectors generating the set -- as there are 7 contexts and each projector belongs to two -- and no less than three. A generating set of three is represented in orange in Figure \ref{fig:yu_oh_proof_and_lisonek}. There exists an \textbf{SA-PVM} for this set, represented by the orange dotted line. From lemma \ref{lemma:three_states}, we know that this set of states is maximally contextual.


\subsection{Yu-Oh Set}\label{sec:yu_oh}


We now present an example that reveals some subtlety in the way that we have defined contextuality. 
Consider the set of non-orthogonal states $\mathcal{S}=\{ y_1^- , y_2^+ , y^-_3\}$ and the implied set $I=\{y_1^+ ,y_3^+ , y_2^- , h_0, h_1 , h_2, h_3 , z_1 , z_2, z_3\} \subset \mathcal{I}(S)$ where \cite{10.1103/physrevlett.108.030402},
\begin{alignat*}{4}
    & h_1 = P(-1,1,1) \quad\quad && y_1^- = P(0,1,-1) \quad\quad && y_1^+ = P(0,1,1)  \quad\quad && z_1 = P(1,0,0) \\
    & h_2 = P(1,-1,1) \quad\quad && y_2^- = P(-1,0,1) \quad\quad && y_2^+ = P(1,0,1)  \quad\quad && z_2 = P(0,1,0) \\
    & h_3 = P(1,1,-1) \quad\quad && y_3^- = P(1,-1,0) \quad\quad && y_3^+ = P(1,1,0)  \quad\quad && z_3 = P(0,0,1) \\
    & h_0 = P(1,1,1) \quad\quad && \quad\quad &&  \quad\quad && 
\end{alignat*}
with $P(a,b,c):=\ket{a,b,c}\bra{a,b,c}$ such that $\ket{a,b,c}:= a\ket{0} + b\ket{1} + c\ket{2}$. The set of projectors $X:=I \cup \mathcal{S}$ and the associated contexts illustrated in Figure \ref{fig:yu_oh_proof_and_lisonek}(b), form the Yu and Oh's set \cite{10.1103/physrevlett.108.030402}. While this well-known set does not fit the definition of a state-independent proof of contextuality as presented in this paper, there exists a more general definition of state-independent contextuality \cite{RevModPhys.94.045007}, for which this is an example. It is in fact an example of the more general proof of state-independent contextuality with the smallest number of  contexts possible. 



This is an interesting example, as it is an example of when a non-contextual scenario allows a contextual instance. The contextuality scenario in Figure \ref{fig:yu_oh_proof_and_lisonek}(b) does admit a noncontextual value assignment (with projectors coloured blue assigned to 1 and all other projectors assigned zero) and the scenario is therefore noncontextual by our definition. Nevertheless, we have a maximally contextual set given by the orange projectors that generate the scenario, with the \textbf{SA-PVM} highlighted by the context in orange in Figure \ref{fig:yu_oh_proof_and_lisonek}(b).




\end{document}
%apsrev4-2.bst 2019-01-14 (MD) hand-edited version of apsrev4-1.bst
%Control: key (0)
%Control: author (8) initials jnrlst
%Control: editor formatted (1) identically to author
%Control: production of article title (0) allowed
%Control: page (0) single
%Control: year (1) truncated
%Control: production of eprint (0) enabled
\begin{thebibliography}{47}%
\makeatletter
\providecommand \@ifxundefined [1]{%
 \@ifx{#1\undefined}
}%
\providecommand \@ifnum [1]{%
 \ifnum #1\expandafter \@firstoftwo
 \else \expandafter \@secondoftwo
 \fi
}%
\providecommand \@ifx [1]{%
 \ifx #1\expandafter \@firstoftwo
 \else \expandafter \@secondoftwo
 \fi
}%
\providecommand \natexlab [1]{#1}%
\providecommand \enquote  [1]{``#1''}%
\providecommand \bibnamefont  [1]{#1}%
\providecommand \bibfnamefont [1]{#1}%
\providecommand \citenamefont [1]{#1}%
\providecommand \href@noop [0]{\@secondoftwo}%
\providecommand \href [0]{\begingroup \@sanitize@url \@href}%
\providecommand \@href[1]{\@@startlink{#1}\@@href}%
\providecommand \@@href[1]{\endgroup#1\@@endlink}%
\providecommand \@sanitize@url [0]{\catcode `\\12\catcode `\$12\catcode `\&12\catcode `\#12\catcode `\^12\catcode `\_12\catcode `\%12\relax}%
\providecommand \@@startlink[1]{}%
\providecommand \@@endlink[0]{}%
\providecommand \url  [0]{\begingroup\@sanitize@url \@url }%
\providecommand \@url [1]{\endgroup\@href {#1}{\urlprefix }}%
\providecommand \urlprefix  [0]{URL }%
\providecommand \Eprint [0]{\href }%
\providecommand \doibase [0]{https://doi.org/}%
\providecommand \selectlanguage [0]{\@gobble}%
\providecommand \bibinfo  [0]{\@secondoftwo}%
\providecommand \bibfield  [0]{\@secondoftwo}%
\providecommand \translation [1]{[#1]}%
\providecommand \BibitemOpen [0]{}%
\providecommand \bibitemStop [0]{}%
\providecommand \bibitemNoStop [0]{.\EOS\space}%
\providecommand \EOS [0]{\spacefactor3000\relax}%
\providecommand \BibitemShut  [1]{\csname bibitem#1\endcsname}%
\let\auto@bib@innerbib\@empty
%</preamble>
\bibitem [{\citenamefont {Kenfack}\ and\ \citenamefont {Życzkowski}(2004)}]{AnatoleKenfack_2004}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Kenfack}}\ and\ \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Życzkowski}},\ }\bibfield  {title} {\bibinfo {title} {Negativity of the wigner function as an indicator of non-classicality},\ }\href {https://doi.org/10.1088/1464-4266/6/10/003} {\bibfield  {journal} {\bibinfo  {journal} {Journal of Optics B: Quantum and Semiclassical Optics}\ }\textbf {\bibinfo {volume} {6}},\ \bibinfo {pages} {396} (\bibinfo {year} {2004})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Galv\~ao}(2005)}]{PhysRevA.71.042302}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.~F.}\ \bibnamefont {Galv\~ao}},\ }\bibfield  {title} {\bibinfo {title} {Discrete wigner functions and quantum computational speedup},\ }\href {https://doi.org/10.1103/PhysRevA.71.042302} {\bibfield  {journal} {\bibinfo  {journal} {Phys. Rev. A}\ }\textbf {\bibinfo {volume} {71}},\ \bibinfo {pages} {042302} (\bibinfo {year} {2005})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Kleinmann}\ \emph {et~al.}(2011)\citenamefont {Kleinmann}, \citenamefont {Gühne}, \citenamefont {Portillo}, \citenamefont {Åke Larsson},\ and\ \citenamefont {Cabello}}]{Kleinmann_2011}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Kleinmann}}, \bibinfo {author} {\bibfnamefont {O.}~\bibnamefont {Gühne}}, \bibinfo {author} {\bibfnamefont {J.~R.}\ \bibnamefont {Portillo}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Åke Larsson}},\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Cabello}},\ }\bibfield  {title} {\bibinfo {title} {Memory cost of quantum contextuality},\ }\href {https://doi.org/10.1088/1367-2630/13/11/113011} {\bibfield  {journal} {\bibinfo  {journal} {New Journal of Physics}\ }\textbf {\bibinfo {volume} {13}},\ \bibinfo {pages} {113011} (\bibinfo {year} {2011})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Veitch}\ \emph {et~al.}(2014)\citenamefont {Veitch}, \citenamefont {Mousavian}, \citenamefont {Gottesman},\ and\ \citenamefont {Emerson}}]{10.1088/1367-2630/16/1/013009}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Veitch}}, \bibinfo {author} {\bibfnamefont {S.~A.~H.}\ \bibnamefont {Mousavian}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Gottesman}},\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Emerson}},\ }\bibfield  {title} {\bibinfo {title} {{The resource theory of stabilizer quantum computation}},\ }\href {https://doi.org/10.1088/1367-2630/16/1/013009} {\bibfield  {journal} {\bibinfo  {journal} {New Journal of Physics}\ }\textbf {\bibinfo {volume} {16}},\ \bibinfo {pages} {013009} (\bibinfo {year} {2014})},\ \Eprint {https://arxiv.org/abs/1307.7171} {1307.7171} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Veitch}\ \emph {et~al.}(2012)\citenamefont {Veitch}, \citenamefont {Ferrie}, \citenamefont {Gross},\ and\ \citenamefont {Emerson}}]{10.1088/1367-2630/14/11/113011}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Veitch}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Ferrie}}, \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Gross}},\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Emerson}},\ }\bibfield  {title} {\bibinfo {title} {{Negative quasi-probability as a resource for quantum computation}},\ }\href {https://doi.org/10.1088/1367-2630/14/11/113011} {\bibfield  {journal} {\bibinfo  {journal} {New Journal of Physics}\ }\textbf {\bibinfo {volume} {14}},\ \bibinfo {pages} {113011} (\bibinfo {year} {2012})},\ \Eprint {https://arxiv.org/abs/1201.1256} {1201.1256} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Pashayan}\ \emph {et~al.}(2015)\citenamefont {Pashayan}, \citenamefont {Wallman},\ and\ \citenamefont {Bartlett}}]{10.1103/physrevlett.115.070501}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {H.}~\bibnamefont {Pashayan}}, \bibinfo {author} {\bibfnamefont {J.~J.}\ \bibnamefont {Wallman}},\ and\ \bibinfo {author} {\bibfnamefont {S.~D.}\ \bibnamefont {Bartlett}},\ }\bibfield  {title} {\bibinfo {title} {{Estimating Outcome Probabilities of Quantum Circuits Using Quasiprobabilities}},\ }\href {https://doi.org/10.1103/physrevlett.115.070501} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {115}},\ \bibinfo {pages} {070501} (\bibinfo {year} {2015})},\ \Eprint {https://arxiv.org/abs/1503.07525} {1503.07525} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Abramsky}\ \emph {et~al.}(2017)\citenamefont {Abramsky}, \citenamefont {Barbosa},\ and\ \citenamefont {Mansfield}}]{10.1103/physrevlett.119.050504}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Abramsky}}, \bibinfo {author} {\bibfnamefont {R.~S.}\ \bibnamefont {Barbosa}},\ and\ \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Mansfield}},\ }\bibfield  {title} {\bibinfo {title} {{Contextual Fraction as a Measure of Contextuality}},\ }\href {https://doi.org/10.1103/physrevlett.119.050504} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {119}},\ \bibinfo {pages} {050504} (\bibinfo {year} {2017})},\ \Eprint {https://arxiv.org/abs/1705.07918} {1705.07918} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Schmid}\ and\ \citenamefont {Spekkens}(2018)}]{10.1103/physrevx.8.011015}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Schmid}}\ and\ \bibinfo {author} {\bibfnamefont {R.~W.}\ \bibnamefont {Spekkens}},\ }\bibfield  {title} {\bibinfo {title} {{Contextual Advantage for State Discrimination}},\ }\href {https://doi.org/10.1103/physrevx.8.011015} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review X}\ }\textbf {\bibinfo {volume} {8}},\ \bibinfo {pages} {011015} (\bibinfo {year} {2018})},\ \Eprint {https://arxiv.org/abs/1706.04588} {1706.04588} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Karanjai}\ \emph {et~al.}(2018)\citenamefont {Karanjai}, \citenamefont {Wallman},\ and\ \citenamefont {Bartlett}}]{10.48550/arxiv.1802.07744}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Karanjai}}, \bibinfo {author} {\bibfnamefont {J.~J.}\ \bibnamefont {Wallman}},\ and\ \bibinfo {author} {\bibfnamefont {S.~D.}\ \bibnamefont {Bartlett}},\ }\bibfield  {title} {\bibinfo {title} {{Contextuality bounds the efficiency of classical simulation of quantum processes}},\ }\bibfield  {journal} {\bibinfo  {journal} {arXiv}\ }\href {https://doi.org/10.48550/arxiv.1802.07744} {10.48550/arxiv.1802.07744} (\bibinfo {year} {2018}),\ \Eprint {https://arxiv.org/abs/1802.07744} {1802.07744} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bell}(1966)}]{RevModPhys.38.447}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~S.}\ \bibnamefont {Bell}},\ }\bibfield  {title} {\bibinfo {title} {On the problem of hidden variables in quantum mechanics},\ }\href {https://doi.org/10.1103/RevModPhys.38.447} {\bibfield  {journal} {\bibinfo  {journal} {Rev. Mod. Phys.}\ }\textbf {\bibinfo {volume} {38}},\ \bibinfo {pages} {447} (\bibinfo {year} {1966})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Kochen}\ and\ \citenamefont {Specker}(1967)}]{10.1512/iumj.1968.17.17004}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Kochen}}\ and\ \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Specker}},\ }\bibfield  {title} {\bibinfo {title} {{The Problem of Hidden Variables in Quantum Mechanics}},\ }\href {https://doi.org/10.1512/iumj.1968.17.17004} {\bibfield  {journal} {\bibinfo  {journal} {Indiana University Mathematics Journal}\ }\textbf {\bibinfo {volume} {17}},\ \bibinfo {pages} {59} (\bibinfo {year} {1967})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Howard}\ \emph {et~al.}(2014)\citenamefont {Howard}, \citenamefont {Wallman}, \citenamefont {Veitch},\ and\ \citenamefont {Emerson}}]{10.1038/nature13460}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Howard}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Wallman}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Veitch}},\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Emerson}},\ }\bibfield  {title} {\bibinfo {title} {{Contextuality supplies the ‘magic’ for quantum computation}},\ }\href {https://doi.org/10.1038/nature13460} {\bibfield  {journal} {\bibinfo  {journal} {Nature}\ }\textbf {\bibinfo {volume} {510}},\ \bibinfo {pages} {351} (\bibinfo {year} {2014})},\ \Eprint {https://arxiv.org/abs/1401.4174} {1401.4174} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bermejo-Vega}\ \emph {et~al.}(2017)\citenamefont {Bermejo-Vega}, \citenamefont {Delfosse}, \citenamefont {Browne}, \citenamefont {Okay},\ and\ \citenamefont {Raussendorf}}]{10.1103/physrevlett.119.120505}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Bermejo-Vega}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Delfosse}}, \bibinfo {author} {\bibfnamefont {D.~E.}\ \bibnamefont {Browne}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Okay}},\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Raussendorf}},\ }\bibfield  {title} {\bibinfo {title} {{Contextuality as a Resource for Models of Quantum Computation with Qubits}},\ }\href {https://doi.org/10.1103/physrevlett.119.120505} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {119}},\ \bibinfo {pages} {120505} (\bibinfo {year} {2017})},\ \Eprint {https://arxiv.org/abs/1610.08529} {1610.08529} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Raussendorf}\ \emph {et~al.}(2017)\citenamefont {Raussendorf}, \citenamefont {Browne}, \citenamefont {Delfosse}, \citenamefont {Okay},\ and\ \citenamefont {Bermejo-Vega}}]{10.1103/physreva.95.052334}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Raussendorf}}, \bibinfo {author} {\bibfnamefont {D.~E.}\ \bibnamefont {Browne}}, \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Delfosse}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Okay}},\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Bermejo-Vega}},\ }\bibfield  {title} {\bibinfo {title} {{Contextuality and Wigner-function negativity in qubit quantum computation}},\ }\href {https://doi.org/10.1103/physreva.95.052334} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review A}\ }\textbf {\bibinfo {volume} {95}},\ \bibinfo {pages} {052334} (\bibinfo {year} {2017})},\ \Eprint {https://arxiv.org/abs/1511.08506} {1511.08506} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Raussendorf}\ \emph {et~al.}(2020)\citenamefont {Raussendorf}, \citenamefont {Bermejo-Vega}, \citenamefont {Tyhurst}, \citenamefont {Okay},\ and\ \citenamefont {Zurel}}]{PhysRevA.101.012350}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Raussendorf}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Bermejo-Vega}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Tyhurst}}, \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Okay}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Zurel}},\ }\bibfield  {title} {\bibinfo {title} {Phase-space-simulation method for quantum computation with magic states on qubits},\ }\href {https://doi.org/10.1103/PhysRevA.101.012350} {\bibfield  {journal} {\bibinfo  {journal} {Phys. Rev. A}\ }\textbf {\bibinfo {volume} {101}},\ \bibinfo {pages} {012350} (\bibinfo {year} {2020})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Li}\ \emph {et~al.}(2020)\citenamefont {Li}, \citenamefont {Bu},\ and\ \citenamefont {Wu}}]{10.1103/physreva.101.012120}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Li}}, \bibinfo {author} {\bibfnamefont {K.}~\bibnamefont {Bu}},\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Wu}},\ }\bibfield  {title} {\bibinfo {title} {{Contextual robustness: An operational measure of contextuality}},\ }\href {https://doi.org/10.1103/physreva.101.012120} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review A}\ }\textbf {\bibinfo {volume} {101}},\ \bibinfo {pages} {012120} (\bibinfo {year} {2020})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Caves}\ \emph {et~al.}(2002)\citenamefont {Caves}, \citenamefont {Fuchs},\ and\ \citenamefont {Schack}}]{10.1103/physreva.66.062111}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.~M.}\ \bibnamefont {Caves}}, \bibinfo {author} {\bibfnamefont {C.~A.}\ \bibnamefont {Fuchs}},\ and\ \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Schack}},\ }\bibfield  {title} {\bibinfo {title} {{Conditions for compatibility of quantum-state assignments}},\ }\href {https://doi.org/10.1103/physreva.66.062111} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review A}\ }\textbf {\bibinfo {volume} {66}},\ \bibinfo {pages} {062111} (\bibinfo {year} {2002})},\ \Eprint {https://arxiv.org/abs/quant-ph/0206110} {quant-ph/0206110} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Pusey}\ \emph {et~al.}(2012)\citenamefont {Pusey}, \citenamefont {Barrett},\ and\ \citenamefont {Rudolph}}]{10.1038/nphys2309}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.~F.}\ \bibnamefont {Pusey}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Barrett}},\ and\ \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Rudolph}},\ }\bibfield  {title} {\bibinfo {title} {{On the reality of the quantum state}},\ }\href {https://doi.org/10.1038/nphys2309} {\bibfield  {journal} {\bibinfo  {journal} {Nature Physics}\ }\textbf {\bibinfo {volume} {8}},\ \bibinfo {pages} {475} (\bibinfo {year} {2012})},\ \Eprint {https://arxiv.org/abs/1111.3328} {1111.3328} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Bandyopadhyay}\ \emph {et~al.}(2014)\citenamefont {Bandyopadhyay}, \citenamefont {Jain}, \citenamefont {Oppenheim},\ and\ \citenamefont {Perry}}]{10.1103/physreva.89.022336}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Bandyopadhyay}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Jain}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Oppenheim}},\ and\ \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Perry}},\ }\bibfield  {title} {\bibinfo {title} {{Conclusive exclusion of quantum states}},\ }\href {https://doi.org/10.1103/physreva.89.022336} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review A}\ }\textbf {\bibinfo {volume} {89}},\ \bibinfo {pages} {022336} (\bibinfo {year} {2014})},\ \Eprint {https://arxiv.org/abs/1306.4683} {1306.4683} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Nielsen}\ and\ \citenamefont {Chuang}(2010)}]{Nielsen_Chuang_2010}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.~A.}\ \bibnamefont {Nielsen}}\ and\ \bibinfo {author} {\bibfnamefont {I.~L.}\ \bibnamefont {Chuang}},\ }\href@noop {} {\emph {\bibinfo {title} {Quantum Computation and Quantum Information: 10th Anniversary Edition}}}\ (\bibinfo  {publisher} {Cambridge University Press},\ \bibinfo {year} {2010})\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Webb}\ \emph {et~al.}(2023)\citenamefont {Webb}, \citenamefont {Puthoor}, \citenamefont {Ho}, \citenamefont {Crickmore}, \citenamefont {Blakely}, \citenamefont {Fedrizzi},\ and\ \citenamefont {Andersson}}]{PhysRevResearch.5.023094}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.~W.}\ \bibnamefont {Webb}}, \bibinfo {author} {\bibfnamefont {I.~V.}\ \bibnamefont {Puthoor}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Ho}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Crickmore}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Blakely}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Fedrizzi}},\ and\ \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Andersson}},\ }\bibfield  {title} {\bibinfo {title} {Experimental demonstration of optimal unambiguous two-out-of-four quantum state elimination},\ }\href {https://doi.org/10.1103/PhysRevResearch.5.023094} {\bibfield  {journal} {\bibinfo  {journal} {Phys. Rev. Res.}\ }\textbf {\bibinfo {volume} {5}},\ \bibinfo {pages} {023094} (\bibinfo {year} {2023})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Perry}\ \emph {et~al.}(2015)\citenamefont {Perry}, \citenamefont {Jain},\ and\ \citenamefont {Oppenheim}}]{10.1103/physrevlett.115.030504}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Perry}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Jain}},\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Oppenheim}},\ }\bibfield  {title} {\bibinfo {title} {{Communication Tasks with Infinite Quantum-Classical Separation}},\ }\href {https://doi.org/10.1103/physrevlett.115.030504} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {115}},\ \bibinfo {pages} {030504} (\bibinfo {year} {2015})},\ \Eprint {https://arxiv.org/abs/1407.8217} {1407.8217} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Heinosaari}\ and\ \citenamefont {Kerppo}(2019)}]{10.48550/arxiv.1903.04899}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Heinosaari}}\ and\ \bibinfo {author} {\bibfnamefont {O.}~\bibnamefont {Kerppo}},\ }\bibfield  {title} {\bibinfo {title} {{Communication of partial ignorance with qubits}},\ }\bibfield  {journal} {\bibinfo  {journal} {arXiv}\ }\href {https://doi.org/10.48550/arxiv.1903.04899} {10.48550/arxiv.1903.04899} (\bibinfo {year} {2019}),\ \Eprint {https://arxiv.org/abs/1903.04899} {1903.04899} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Havlíček}\ and\ \citenamefont {Barrett}(2020)}]{10.1103/physrevresearch.2.013326}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Havlíček}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Barrett}},\ }\bibfield  {title} {\bibinfo {title} {{Simple communication complexity separation from quantum state antidistinguishability}},\ }\href {https://doi.org/10.1103/physrevresearch.2.013326} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Research}\ }\textbf {\bibinfo {volume} {2}},\ \bibinfo {pages} {013326} (\bibinfo {year} {2020})},\ \Eprint {https://arxiv.org/abs/1911.01927} {1911.01927} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Heinosaari}\ \emph {et~al.}(2024)\citenamefont {Heinosaari}, \citenamefont {Kerppo}, \citenamefont {Lepp\"aj\"arvi},\ and\ \citenamefont {Pl\'avala}}]{PhysRevA.109.032627}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Heinosaari}}, \bibinfo {author} {\bibfnamefont {O.}~\bibnamefont {Kerppo}}, \bibinfo {author} {\bibfnamefont {L.}~\bibnamefont {Lepp\"aj\"arvi}},\ and\ \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Pl\'avala}},\ }\bibfield  {title} {\bibinfo {title} {Simple information-processing tasks with unbounded quantum advantage},\ }\href {https://doi.org/10.1103/PhysRevA.109.032627} {\bibfield  {journal} {\bibinfo  {journal} {Phys. Rev. A}\ }\textbf {\bibinfo {volume} {109}},\ \bibinfo {pages} {032627} (\bibinfo {year} {2024})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Collins}\ \emph {et~al.}(2014)\citenamefont {Collins}, \citenamefont {Donaldson}, \citenamefont {Dunjko}, \citenamefont {Wallden}, \citenamefont {Clarke}, \citenamefont {Andersson}, \citenamefont {Jeffers},\ and\ \citenamefont {Buller}}]{10.1103/physrevlett.113.040502}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.~J.}\ \bibnamefont {Collins}}, \bibinfo {author} {\bibfnamefont {R.~J.}\ \bibnamefont {Donaldson}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Dunjko}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Wallden}}, \bibinfo {author} {\bibfnamefont {P.~J.}\ \bibnamefont {Clarke}}, \bibinfo {author} {\bibfnamefont {E.}~\bibnamefont {Andersson}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Jeffers}},\ and\ \bibinfo {author} {\bibfnamefont {G.~S.}\ \bibnamefont {Buller}},\ }\bibfield  {title} {\bibinfo {title} {{Realization of Quantum Digital Signatures without the Requirement of Quantum Memory}},\ }\href {https://doi.org/10.1103/physrevlett.113.040502} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {113}},\ \bibinfo {pages} {040502} (\bibinfo {year} {2014})},\ \Eprint {https://arxiv.org/abs/1311.5760} {1311.5760} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Anschuetz}\ and\ \citenamefont {Gao}(2024)}]{10.48550/arxiv.2402.08606}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {E.~R.}\ \bibnamefont {Anschuetz}}\ and\ \bibinfo {author} {\bibfnamefont {X.}~\bibnamefont {Gao}},\ }\bibfield  {title} {\bibinfo {title} {{Arbitrary Polynomial Separations in Trainable Quantum Machine Learning}},\ }\bibfield  {journal} {\bibinfo  {journal} {arXiv}\ }\href {https://doi.org/10.48550/arxiv.2402.08606} {10.48550/arxiv.2402.08606} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2402.08606} {2402.08606} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Ducuara}\ and\ \citenamefont {Skrzypczyk}(2020)}]{10.1103/physrevlett.125.110401}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.~F.}\ \bibnamefont {Ducuara}}\ and\ \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Skrzypczyk}},\ }\bibfield  {title} {\bibinfo {title} {{Operational Interpretation of Weight-Based Resource Quantifiers in Convex Quantum Resource Theories}},\ }\href {https://doi.org/10.1103/physrevlett.125.110401} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {125}},\ \bibinfo {pages} {110401} (\bibinfo {year} {2020})},\ \Eprint {https://arxiv.org/abs/1909.10486} {1909.10486} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Uola}\ \emph {et~al.}(2020)\citenamefont {Uola}, \citenamefont {Bullock}, \citenamefont {Kraft}, \citenamefont {Pellonpää},\ and\ \citenamefont {Brunner}}]{10.1103/physrevlett.125.110402}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Uola}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Bullock}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Kraft}}, \bibinfo {author} {\bibfnamefont {J.-P.}\ \bibnamefont {Pellonpää}},\ and\ \bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Brunner}},\ }\bibfield  {title} {\bibinfo {title} {{All Quantum Resources Provide an Advantage in Exclusion Tasks}},\ }\href {https://doi.org/10.1103/physrevlett.125.110402} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {125}},\ \bibinfo {pages} {110402} (\bibinfo {year} {2020})},\ \Eprint {https://arxiv.org/abs/1909.10484} {1909.10484} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Leifer}(2013)}]{10.12743/quanta.v3i1.22}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.~S.}\ \bibnamefont {Leifer}},\ }\bibfield  {title} {\bibinfo {title} {{Is the Quantum State Real? An Extended Review of psi-ontology Theorems}},\ }\href {https://doi.org/10.12743/quanta.v3i1.22} {\bibfield  {journal} {\bibinfo  {journal} {Quanta}\ }\textbf {\bibinfo {volume} {3}},\ \bibinfo {pages} {67} (\bibinfo {year} {2013})},\ \Eprint {https://arxiv.org/abs/1409.1570} {1409.1570} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Barrett}\ \emph {et~al.}(2014)\citenamefont {Barrett}, \citenamefont {Cavalcanti}, \citenamefont {Lal},\ and\ \citenamefont {Maroney}}]{10.1103/physrevlett.112.250403}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Barrett}}, \bibinfo {author} {\bibfnamefont {E.~G.}\ \bibnamefont {Cavalcanti}}, \bibinfo {author} {\bibfnamefont {R.}~\bibnamefont {Lal}},\ and\ \bibinfo {author} {\bibfnamefont {O.~J.~E.}\ \bibnamefont {Maroney}},\ }\bibfield  {title} {\bibinfo {title} {No psi-epistemic model can fully explain the indistinguishability of quantum states},\ }\href {https://doi.org/10.1103/physrevlett.112.250403} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {112}},\ \bibinfo {pages} {250403} (\bibinfo {year} {2014})},\ \Eprint {https://arxiv.org/abs/1310.8302} {1310.8302} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Ray}\ \emph {et~al.}(2024)\citenamefont {Ray}, \citenamefont {R},\ and\ \citenamefont {Saha}}]{10.48550/arxiv.2401.17980}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Ray}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {R}},\ and\ \bibinfo {author} {\bibfnamefont {D.}~\bibnamefont {Saha}},\ }\bibfield  {title} {\bibinfo {title} {{No epistemic model can explain anti-distinguishability of quantum mixed preparations}},\ }\bibfield  {journal} {\bibinfo  {journal} {arXiv}\ }\href {https://doi.org/10.48550/arxiv.2401.17980} {10.48550/arxiv.2401.17980} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2401.17980} {2401.17980} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Russo}\ and\ \citenamefont {Sikora}(2023)}]{10.1103/physreva.107.l030202}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Russo}}\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Sikora}},\ }\bibfield  {title} {\bibinfo {title} {{Inner products of pure states and their antidistinguishability}},\ }\href {https://doi.org/10.1103/physreva.107.l030202} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review A}\ }\textbf {\bibinfo {volume} {107}},\ \bibinfo {pages} {L030202} (\bibinfo {year} {2023})},\ \Eprint {https://arxiv.org/abs/2206.08313} {2206.08313} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Heinosaari}\ and\ \citenamefont {Kerppo}(2018)}]{10.48550/arxiv.1804.10457}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Heinosaari}}\ and\ \bibinfo {author} {\bibfnamefont {O.}~\bibnamefont {Kerppo}},\ }\bibfield  {title} {\bibinfo {title} {{Antidistinguishability of Pure Quantum States}},\ }\bibfield  {journal} {\bibinfo  {journal} {arXiv}\ }\href {https://doi.org/10.48550/arxiv.1804.10457} {10.48550/arxiv.1804.10457} (\bibinfo {year} {2018}),\ \Eprint {https://arxiv.org/abs/1804.10457} {1804.10457} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Mishra}\ \emph {et~al.}(2023)\citenamefont {Mishra}, \citenamefont {Nussbaum},\ and\ \citenamefont {Wilde}}]{10.48550/arxiv.2309.03723}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {H.~K.}\ \bibnamefont {Mishra}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Nussbaum}},\ and\ \bibinfo {author} {\bibfnamefont {M.~M.}\ \bibnamefont {Wilde}},\ }\bibfield  {title} {\bibinfo {title} {{On the optimal error exponents for classical and quantum antidistinguishability}},\ }\bibfield  {journal} {\bibinfo  {journal} {arXiv}\ }\href {https://doi.org/10.48550/arxiv.2309.03723} {10.48550/arxiv.2309.03723} (\bibinfo {year} {2023}),\ \Eprint {https://arxiv.org/abs/2309.03723} {2309.03723} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Johnston}\ \emph {et~al.}(2023)\citenamefont {Johnston}, \citenamefont {Russo},\ and\ \citenamefont {Sikora}}]{10.48550/arxiv.2311.17047}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {N.}~\bibnamefont {Johnston}}, \bibinfo {author} {\bibfnamefont {V.}~\bibnamefont {Russo}},\ and\ \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Sikora}},\ }\bibfield  {title} {\bibinfo {title} {{Tight bounds for antidistinguishability and circulant sets of pure quantum states}},\ }\bibfield  {journal} {\bibinfo  {journal} {arXiv}\ }\href {https://doi.org/10.48550/arxiv.2311.17047} {10.48550/arxiv.2311.17047} (\bibinfo {year} {2023}),\ \Eprint {https://arxiv.org/abs/2311.17047} {2311.17047} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Leifer}\ and\ \citenamefont {Duarte}(2020)}]{10.1103/physreva.101.062113}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Leifer}}\ and\ \bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Duarte}},\ }\bibfield  {title} {\bibinfo {title} {{Noncontextuality inequalities from antidistinguishability}},\ }\href {https://doi.org/10.1103/physreva.101.062113} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review A}\ }\textbf {\bibinfo {volume} {101}},\ \bibinfo {pages} {062113} (\bibinfo {year} {2020})},\ \Eprint {https://arxiv.org/abs/2001.11485} {2001.11485} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Stratton}\ \emph {et~al.}(2024)\citenamefont {Stratton}, \citenamefont {Hsieh},\ and\ \citenamefont {Skrzypczyk}}]{stratton2024operationalinterpretationchoirank}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {B.}~\bibnamefont {Stratton}}, \bibinfo {author} {\bibfnamefont {C.-Y.}\ \bibnamefont {Hsieh}},\ and\ \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Skrzypczyk}},\ }\href {https://arxiv.org/abs/2406.08360} {\bibinfo {title} {Operational interpretation of the choi rank through k-state exclusion}} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2406.08360} {arXiv:2406.08360 [quant-ph]} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Cabello}\ \emph {et~al.}(2014)\citenamefont {Cabello}, \citenamefont {Severini},\ and\ \citenamefont {Winter}}]{10.1103/physrevlett.112.040401}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Cabello}}, \bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Severini}},\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Winter}},\ }\bibfield  {title} {\bibinfo {title} {{Graph-Theoretic Approach to Quantum Correlations}},\ }\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\href {https://doi.org/10.1103/physrevlett.112.040401} {10.1103/physrevlett.112.040401} (\bibinfo {year} {2014}),\ \Eprint {https://arxiv.org/abs/1401.7081} {1401.7081} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Acín}\ \emph {et~al.}(2015)\citenamefont {Acín}, \citenamefont {Fritz}, \citenamefont {Leverrier},\ and\ \citenamefont {Sainz}}]{10.1007/s00220-014-2260-1}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Acín}}, \bibinfo {author} {\bibfnamefont {T.}~\bibnamefont {Fritz}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Leverrier}},\ and\ \bibinfo {author} {\bibfnamefont {A.~B.}\ \bibnamefont {Sainz}},\ }\bibfield  {title} {\bibinfo {title} {{A Combinatorial Approach to Nonlocality and Contextuality}},\ }\href {https://doi.org/10.1007/s00220-014-2260-1} {\bibfield  {journal} {\bibinfo  {journal} {Communications in Mathematical Physics}\ }\textbf {\bibinfo {volume} {334}},\ \bibinfo {pages} {533} (\bibinfo {year} {2015})},\ \Eprint {https://arxiv.org/abs/1212.4084} {1212.4084} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Budroni}\ \emph {et~al.}(2022)\citenamefont {Budroni}, \citenamefont {Cabello}, \citenamefont {G\"uhne}, \citenamefont {Kleinmann},\ and\ \citenamefont {Larsson}}]{RevModPhys.94.045007}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {C.}~\bibnamefont {Budroni}}, \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Cabello}}, \bibinfo {author} {\bibfnamefont {O.}~\bibnamefont {G\"uhne}}, \bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Kleinmann}},\ and\ \bibinfo {author} {\bibfnamefont {J.-A.}\ \bibnamefont {Larsson}},\ }\bibfield  {title} {\bibinfo {title} {Kochen-specker contextuality},\ }\href {https://doi.org/10.1103/RevModPhys.94.045007} {\bibfield  {journal} {\bibinfo  {journal} {Rev. Mod. Phys.}\ }\textbf {\bibinfo {volume} {94}},\ \bibinfo {pages} {045007} (\bibinfo {year} {2022})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Belinfante}(1973)}]{alma991019892499703276}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {F.~J.}\ \bibnamefont {Belinfante}},\ }\href@noop {} {\emph {\bibinfo {title} {A survey of hidden-variables theories}}},\ International series of monographs in natural philosophy\ (\bibinfo  {publisher} {Pergamon Press},\ \bibinfo {address} {Oxford},\ \bibinfo {year} {1973})\BibitemShut {NoStop}%
\bibitem [{Note1()}]{Note1}%
  \BibitemOpen
  \bibinfo {note} {It is, important to note that while fine-graining of a PVM cannot remove contextuality, it may add contextuality. That is, given that a higher rank PVM does not form a contextual instance for a set of states, it is possible that, for some choice of fine-graining, the rank-1 PVM that it is decomposed into, may form a contextual instance for the same state of states. Thus in instances, where one wants to investigate whether a set of states is contextual or not with respect to a restricted set of measurements, consisting of higher rank PVMs, one can relax the condition of only rank-1 projectors forming a context in the hypergraph. One can then represent higher rank projectors as vertices of the hypergraph and define a context as a set of vertices that satisfies the orthogonality and completeness conditions.}\BibitemShut {Stop}%
\bibitem [{\citenamefont {Cabello}\ \emph {et~al.}(1996)\citenamefont {Cabello}, \citenamefont {Estebaranz},\ and\ \citenamefont {García-Alcaine}}]{Cabello_1996}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Cabello}}, \bibinfo {author} {\bibfnamefont {J.}~\bibnamefont {Estebaranz}},\ and\ \bibinfo {author} {\bibfnamefont {G.}~\bibnamefont {García-Alcaine}},\ }\bibfield  {title} {\bibinfo {title} {Bell-kochen-specker theorem: A proof with 18 vectors},\ }\href {https://doi.org/10.1016/0375-9601(96)00134-x} {\bibfield  {journal} {\bibinfo  {journal} {Physics Letters A}\ }\textbf {\bibinfo {volume} {212}},\ \bibinfo {pages} {183–187} (\bibinfo {year} {1996})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Lison\ifmmode~\check{e}\else \v{e}\fi{}k}\ \emph {et~al.}(2014)\citenamefont {Lison\ifmmode~\check{e}\else \v{e}\fi{}k}, \citenamefont {Badzia\ifmmode~\mbox{\c{}}\else \c{}\fi{}g}, \citenamefont {Portillo},\ and\ \citenamefont {Cabello}}]{PhysRevA.89.042101}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Lison\ifmmode~\check{e}\else \v{e}\fi{}k}}, \bibinfo {author} {\bibfnamefont {P.}~\bibnamefont {Badzia\ifmmode~\mbox{\c{}}\else \c{}\fi{}g}}, \bibinfo {author} {\bibfnamefont {J.~R.}\ \bibnamefont {Portillo}},\ and\ \bibinfo {author} {\bibfnamefont {A.}~\bibnamefont {Cabello}},\ }\bibfield  {title} {\bibinfo {title} {Kochen-specker set with seven contexts},\ }\href {https://doi.org/10.1103/PhysRevA.89.042101} {\bibfield  {journal} {\bibinfo  {journal} {Phys. Rev. A}\ }\textbf {\bibinfo {volume} {89}},\ \bibinfo {pages} {042101} (\bibinfo {year} {2014})}\BibitemShut {NoStop}%
\bibitem [{\citenamefont {Yu}\ and\ \citenamefont {Oh}(2012)}]{10.1103/physrevlett.108.030402}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {S.}~\bibnamefont {Yu}}\ and\ \bibinfo {author} {\bibfnamefont {C.~H.}\ \bibnamefont {Oh}},\ }\bibfield  {title} {\bibinfo {title} {{State-Independent Proof of Kochen-Specker Theorem with 13 Rays}},\ }\href {https://doi.org/10.1103/physrevlett.108.030402} {\bibfield  {journal} {\bibinfo  {journal} {Physical Review Letters}\ }\textbf {\bibinfo {volume} {108}},\ \bibinfo {pages} {030402} (\bibinfo {year} {2012})},\ \Eprint {https://arxiv.org/abs/1109.4396} {1109.4396} \BibitemShut {NoStop}%
\bibitem [{\citenamefont {Frembs}(2024)}]{10.48550/arxiv.2408.16764}%
  \BibitemOpen
  \bibfield  {author} {\bibinfo {author} {\bibfnamefont {M.}~\bibnamefont {Frembs}},\ }\bibfield  {title} {\bibinfo {title} {{An algebraic characterisation of Kochen-Specker contextuality}},\ }\bibfield  {journal} {\bibinfo  {journal} {arXiv}\ }\href {https://doi.org/10.48550/arxiv.2408.16764} {10.48550/arxiv.2408.16764} (\bibinfo {year} {2024}),\ \Eprint {https://arxiv.org/abs/2408.16764} {2408.16764} \BibitemShut {NoStop}%
\end{thebibliography}%