Exclusivity structures and graph representatives of local complementation orbits
Abstract
We describe a construction that maps any connected graph on three or more vertices into a larger graph, , whose independence number is strictly smaller than its Lovász number which is equal to its fractional packing number. The vertices of represent all possible events consistent with the stabilizer group of the graph state associated to , and exclusive events are adjacent. Mathematically, the graph corresponds to the orbit of under local complementation. Physically, the construction translates into graphtheoretic terms the connection between a graph state and a Bell inequality maximally violated by quantum mechanics. In the context of zeroerror information theory, the construction suggests a protocol achieving the maximum rate of entanglementassisted capacity, a quantum mechanical analogue of the Shannon capacity, for each . The violation of the Bell inequality is expressed by the oneshot version of this capacity being strictly larger than the independence number. Finally, given the correspondence between graphs and exclusivity structures, we are able to compute the independence number for certain infinite families of graphs with the use of quantum nonlocality, therefore highlighting an application of quantum theory in the proof of a purely combinatorial statement.
1 Introduction
Partitioning a phase space into orbits is a central step in the study of any physical or formal dynamics. Immediately after the introduction of graph (/stabilizer) states in quantum coding theory [8, 14, 32] and in the context of measurementbased quantum computation [27], it was evident that the related task, when considering the dynamics at the subsystems level, requires approaches of combinatorial flavour. While substantial attention has been given to orbits obtained by the application of local unitaries (with a clear motivation coming from the classification of multipartite entanglement [16]), the question to decide whether two graph states are equivalent under the action of the local Clifford group has been settled, by showing [24] that the equivalence classes are in onetoone correspondence with local complementation orbits (also called Kotzig orbits [18]). In other words, the existence of a sequence of local complementations relating the associated graphs guarantees equivalence under local Clifford operations and viz.
Even though this link does not embrace full local unitary equivalence, having now counterexamples to the LULC conjecture [19, 28], it unveils a rich interface between the structure of useful multiqubit systems and a number of mathematical ideas. Indeed, local complementation (or, equivalently, transformation) is a fundamental operation for studying circle graphs [18]. This notion has been instrumental for unifying certain properties of Eulerian tours and matroids via isotropic systems [3], constructs associated to vector spaces over ; and it appears in string reconstruction problems (related to DNA sequencing) and graph polynomials [2].
Given an equivalence class induced by local complementation, in the present work we shall describe a method for constructing a larger graph associated to the equivalence class. The method makes use of the stabilizer group of an arbitrary graph state from the class. Each of these graphs is identified with an exclusivity structure and a related noncontextuality inequality (for short, NC inequality). Such an inequality is an upper bound on the sum of probabilities of a set of events, with some exclusivity constraints (a technical discussion about events and exclusivity will be given in Section 3). NC inequalities are satisfied by any noncontextual hidden variable theory, i.e., any physical theory for which the probability of seeing an event is independent of the choice of measurements. Quantum mechanics or more general theories can violate such inequalities. For more details, see [7]. In this reference, the graph (and more generally an hypergraph), whose vertices are events, is employed to characterize the correlations for classical and general probabilistic theories satisfying that the sum of probabilities of pairwise exclusive events cannot be larger than 1. The maximum values for the three physical theories: classical, general, and quantum, were computed through the three wellknown combinatorial parameters: the independence number, the fractional packing number, and the Lovász number, respectively. As a consequence, it becomes evident that quantum and general probabilistic correlations satisfying that the sum of probabilities of pairwise exclusive events cannot be larger than 1 have semidefinite and linear characterizations, respectively. Quantum mechanics is sandwiched between the other two theories.
The framework introduced in [7] permits to quantitatively discuss classical, quantum, and more general theories through the analysis of a single mathematical object and to have a general technique to single out quantum correlations with ad hoc degree of contextuality. For example, a generic graph with independence number strictly smaller than the Lovász number is associated to a NC inequality violated by quantum mechanics. If, in addition, the graph has equal Lovász and fractional packing number, then it can be associated to a NC inequality that is “maximally violated” by quantum mechanics, meaning that no general probabilistic theory satisfying that the sum of probabilities of pairwise exclusive events cannot be larger than 1 can achieve a larger value. (Of course, there are graphs for which all theories coincide, as, for example, perfect graphs.)
In the present paper, we propose a construction that translates into the combinatorial language developed in [7] the connection between every graph state of three or more qubits and a Bell inequality maximally violated by quantum mechanics found in [15]. Namely, we describe a construction that maps any graph on three or more vertices into a larger graph, , such that its independence number is strictly smaller than its Lovász number which is equal to its fractional packing number. The vertices of represent all possible events consistent with the stabilizer group of the graph state associated to and exclusive events are adjacent.
The construction has also applications in zeroerror information theory. It leads to a straightforward protocol achieving the maximum rate of zeroerror entanglementassisted capacity [9, 12]. We conjecture that this quantity for a graph is always strictly larger than its Shannon capacity. A proof of this statement would possibly require a rank bound a la Haemers. While it is difficult to compute this bound in general, it may be easier in our case, since has a very particular structure because of the connection with the stabilizer group. The violation of the Bell inequality is here expressed by the oneshot version of this capacity being strictly larger than the independence number. The correspondence between graphs and exclusivity structures allows us compute the independence number of the graphs , where is the complete graph, by taking advantage of wellknown techniques used in quantum nonlocality.
Since two graphs yield the same (up to isomorphism) graph in our construction if and only if they are equivalent under local complementation, the construction can be interpreted as a method to represent local complementation orbits. Somehow this is in analogy with the notion of a twograph, a wellstudied mathematical object which represents equivalence classes under the operation of switching (see Ch. 11 of [13]).
Our work is innovative with respect to [7] and [15] in many ways. First, we present a characterization of local complementation orbits, a result of pure combinatorial nature. Our representative graphs are obtained via a construction inspired by quantum mechanics. We find tools to analyze the properties of such graphs in [15]. Second, by using the results in [7], we discover that local complementation orbits are naturally associated to Bell inequalities. We improve the mathematical representation of such Bell inequalities by writing down an explicit operational form, namely, a pseudotelepathy game. The form that we have introduced is often easier to use in both theoretical purposes and the design of laboratory experiments. Third, we introduce a novel connection between the results presented in [7] and [15], and zeroerror information theory. Such a connection is also interesting on its own, since it provides a way to construct families of channels with a separation between classical and quantum capacities starting from any graph.
The remainder of the work is organized as follows. The next section introduces the required terminology and notions: the language of graph theory, nonlocality, and channel capacities. The construction is described in Section 3. Section 4 discusses the relevant graphtheoretic parameters. Section 5 contains examples. We highlight that physical arguments can be useful to consider difficult tasks such as computing the independence number. Section 6 is devoted to zeroerror capacities. We show that our construction produces infinite families of graphs for which the use of entanglement gives the maximum possible zeroerror capacity. Section 7 classifies graphs (or local complementation orbits) according to the objects obtained via the construction. We point out a link with Boolean functions and propose a conjecture about connectedness of the graph representatives.
2 Preliminaries
2.1 Graphs, graph parameters and graph states
A (simple) graph is an ordered pair: is a set whose elements are called vertices; is a set whose elements are called edges. The set does not contain an edge of the form , for every . The vertices forming an edge are said to be adjacent. We denote by the neighbourhood of the vertex , i.e., . An independent set in a graph is a set of mutually nonadjacent vertices. The independence number of a graph , denoted by , is the size of the largest independent set of . A subgraph of a graph , is a graph such that and . An induced subgraph of a graph with respect to is a graph with vertex set and edge set . A clique in a graph is a subgraph whose vertices are all adjacent to each other.
An orthogonal representation of is a map from to for some , such that adjacent vertices are mapped to orthogonal vectors. An orthogonal representation is faithful when vertices and are mapped to orthogonal vectors if and only if . The Lovász number [20] is defined as follows:
(1) 
where the maximum is taken over all unit vectors and all orthogonal representations, , of . The fractional packing number is defined by the following linear program:
(2) 
where the maximum is taken over all under the restriction [30], and for all cliques , where is the set of all cliques of . In this paper, by fractional packing number, we mean and denote it as .
Given a graph , the graph state (see, for example, [16, 32]) associated to is the unique qubit state such that
(3) 
where is the generator labeled by a vertex of the stabilizer group of . A generator for is defined as
(4) 
where , , and denote the Pauli matrices (sometimes denoted as , , and ) acting on the th qubit. Therefore, can be obtained directly and univocally from . The stabilizer group of the state is the set of the stabilizing operators of defined by the product of any number of generators . Note that, for convenience, we shall remove the identity element from . Therefore, the set contains elements.
Given a graph , the operation of local complementation (LC) on transforms into a graph on the same set of vertices. To obtain , we replace the induced subgraph of on by its complement. It is easy to verify that . The set of graphs is partitioned into LC orbits (also known as Kotzig orbits) by the repeated action of local complementation on each graph [3]. The LC orbits are then equivalence classes.
2.2 Nonlocality
We assume familiarity with the basics of quantum information theory. The reader can find a good introduction in [25, Chapter 2]. A nonlocal game is an experimental setup between a referee and two players, Alice and Bob. (It can also be defined with more players, but we do not consider this case here.) The game is not adversarial, but the players collaborate with each other. They are allowed to arrange a strategy beforehand, but they are not allowed to communicate during the game. The referee sends Alice an input and sends Bob an input , according to a fixed and known probability distribution on . Alice and Bob answer with and respectively, and the referee declares the outcome of the game according to a verification function win , lose . So, the nonlocal game is completely specified by the sets , the distribution , and the verification function .
A classical strategy is w.l.o.g. a pair of functions and for Alice and Bob, respectively. A quantum strategy consists of a shared bipartite entangled state and POVMs for every for Alice and for every for Bob. On input , Alice uses the positive operator valued measurement (POVM) to measure her part of the entangled state and Bob does similarly on his input . Alice (resp. Bob) answers with (resp. ) corresponding to the obtained measurement outcome. Therefore, the probability to output given is . The classical and quantum values (or winning probabilities) for the game are:
(5a)  
(5b) 
A Bell inequality for a nonlocal game is a statement of the form for . It is violated by quantum mechanics if . A nonlocal game is called a pseudotelepathy game if , i.e. quantum players win with certainty, while classical players have nonzero probability to lose.
Nonlocal games are a special form of Bell experiment. In general, a Bell operator is a linear combination of observables and a Bell inequality is a statement of the form
(6) 
where the maximum runs over classical states. A quantum state is said to violate the Bell inequality if .
2.3 Channel capacity
Zeroerror information theory was initiated in [29]; a review is [17]. A classical channel with input set and output set is specified by a conditional probability distribution , the probability to produce output upon input . (Precisely this is a discrete, memoryless, stationary channel.) Two inputs are confusable if there exists such that and We then define the confusability graph of channel , , as the graph with vertex set and edge set .
The oneshot zeroerror capacity of , , is the size of a largest set of nonconfusable inputs. This is just the independence number of the confusability graph. In the entanglementassisted setting, the sender (Alice) and receiver (Bob) share an entangled state and can perform local quantum measurements on their part of .
The general form of an entanglementassisted protocol used by Alice to send one out of messages to Bob with a single use of the classical channel can be described as follows (also see [9]). For each message , Alice has a POVM with outputs. To send message , she measures her subsystem using and sends through the channel the observed . Bob receives some with . If the right condition holds (as we will explain below), Bob can recover with certainty using a projective measurement on his subsystem.
It is not hard to state a necessary and sufficient condition for the success of the protocol. If Alice gets outcome upon measuring , Bob’s part of the entangled state collapses to . Given the channel’s output , Bob can recover if and only if
(7) 
Bob can recover the message with a projective measurement on the mutually orthogonal supports of
(8) 
for all messages . In such a case we say that, assisted by the entangled state , Alice can use the POVMs as her strategy for sending one out of messages with a single use of .
The entanglementassisted oneshot zeroerror channel capacity of , , is the maximum integer such that there exists a protocol for which condition (7) holds.
We are now ready to outline the setting where Alice and Bob share a maximally entangled state in the above protocol. We will refer to this particular case later in section 6. Let the (canonical) maximally entangled state of local dimension be defined as follows:
(9) 
where is the standard basis of . When Alice and Bob share a maximally entangled state and Alice performs a projective measurement observing , Bob’s part of the state collapses to . This implies that Bob can distinguish between and perfectly if and only if . Therefore, if Alice uses projective measurement for message and players share a maximally entangled state, then Condition (7) is true if and only if
(10) 
Considering more than a single use of the channel, one can define the asymptotic zeroerror channel capacity and the asymptotic entanglementassisted zeroerror channel capacity by and
Since depends solely on the confusability graph [9], we can talk about for a graph , meaning the entanglementassisted oneshot zeroerror capacity of a channel with confusability graph . Similarly we can talk about quantities and .
3 Construction
Let be a graph on vertices and consider the qubit graph state . Let be the stabilizer group of . For each , with , let be the weight of . Let be the set of the events of , i.e. the measurement outcomes that occur with nonzero probability when the system is in state and the stabilizing operators are measured with singlequbit measurements. The set of all events is . Two events are exclusive if there exists a for which the same singlequbit measurement gives a different outcome.
A graph representing a Kotzig orbit can be naturally defined as follows:
Definition 1
Let be a graph. Let be the stabilizer group of the graph state of . We denote by the graph whose vertices are the events in and the edges are all the pairs of exclusive events.
We give an example for events and exclusiveness. Let and (we omit the superscripts for simplicity). This means that , i.e., if the system is prepared in and is measured by measuring on the first qubit (with possible results or ), on the second qubit, and on the third qubit, then the product of the three results must be . Therefore, , where hereafter denotes the event “the result 1 is obtained when is measured on qubit 1, the result is obtained when is measured on qubit 2, and the result is obtained when is measured on qubit 3”. As another example: if and , then .
We now give an example of a graph representing a Kotzig orbit. Let us consider , the path on three vertices. We construct . The stabilizer group (minus the identity) has the following elements: , , , , , , and . For all , obtain all possible events (i.e., those which can happen with nonzero probability) when three qubits are prepared in the state and three parties measure the observables corresponding to . For instance, when , Alice measures , Bob measures , and Charlie does not perform any measurement . Since the three qubits are in state , there are only two possible outcomes: Alice obtains and Bob obtains , denoted as ; or Alice obtains and Bob obtains , denoted as . For , the only events that can occur are , , , and . The other events for the remaining ’s are obtained in a similar way. Now, let us construct the graph : the vertices represent possible events; two vertices are adjacent if and only events are exclusive (e.g., and ). Notice that each of weight generates vertices. A drawing of is in Fig. 1.
Each can be interpreted as in [7]. Every graph is in fact associated to an NC inequality and is constructed by expressing the linear combination of joint probabilities of events in the NC inequality as a sum . For a graph in [7], an event in is represented by a vertex and exclusive events are represented by edges. Constructing such a graph from the inequality is straightforward, when the absolute values of the coefficients in the linear combination are natural numbers (which, to our knowledge, is always the case for all relevant NC inequalities). As already mentioned in the introduction, this graphtheoretic framework can be used to single out games with ad hoc quantum advantage and quantum correlations with ad hoc degree of contextuality (see [23, 1], respectively).
3.1 Local complementation orbits
If we apply the method to graphs and in the same orbit under local complementation [16, 6] then we obtain the same graph . The reason is that the graph states and share the same set of perfect correlations (up to relabeling), so also share the same graph in which all possible exclusive events are adjacent.
This paper constructs from , as described earlier, where each of the operators, , generated by , in turn generates a clique of size in , where is the weight of operator . In this section, we present a classification of all from all graphs for . This classification is greatly simplified by the fact that if two graphs, and , are in the same local complementation (LC) orbit, then . So we need only classify for one representative from each orbit. A choice of representatives for , for connected graphs only, are listed in the second column of table 1.
The action of local complementation on vertex of graph to yield graph can be realised, in the context of graph states, by a specific local unitary action:
(11) 
where , , and .
Here, is the stabilizer group associated with the graph , where we omit for convenience. Similarly, let be the stabilizer group associated with . We show how to obtain from . Let , where , and .
Define the mapping as follows:
(12) 
Moreover, define . In words, is the total number of matrices at tensor positions of .
Lemma 2
The action of LC at vertex of maps to and to , where
(13) 
This action is a permutation, , of the Pauli matrices at tensor position of each and a permutation, , of the Pauli matrices at tensor positions in of each , followed by a global multiplication by .
For example, consider the graph with two edges and . Then is the graph with edges (so the star and the complete graph
are in the same Kotzig orbit). We have that and that
. For example is mapped to
, where , , and
as occurs
at tensor positions and of , where .
Proof. We use (11). For vertex we replace with , for each of to obtain . Similarly, for vertices in we replace with , for each of to obtain .
Theorem 3
Let be the Kotzig orbit of graphs generated by the action of successive local complementation on . Then
(14) 
Proof. Every vertex in represents a measurement, , of , combined with a certain measurement result, as specified by the bars under , , and , as appropriate. This measurement is equivalent to a measurement, of , where , , and the new measurement results are obtained from and by the same local unitary transform, namely the transform in (11). Since the two measurement scenarios are equivalent, then the edge relationship between vertices in is preserved in , i.e., . The theorem is then extended to any two as can be obtained from by a series of local complementations.
4 Parameters
Theorem 4
Let be a graph representing a Kotzig orbit. Then, for ,
(15) 
We firstly give an intuition of the statement, explaining how the Theorem can be seen as a consequence of the results in [7, 15]. A formal and standalone proof will follow later in this section. Let be the graph state with corresponding graph . It was shown in [15] that the sum of the elements of the stabilizer group of , is a Bell operator such that and when restricting to classical states (where is the stabilizer group defined earlier). In words, the graph state violates the corresponding Bell inequality up to its algebraic maximum. This fact together with [7, Equation 6] enforces that and . The construction in Definition 1 simply transforms the Bell operator, originally written as a sum of mean values, into a sum of probabilities of events, in order to construct the graph associated with the exclusivity structure.
The statement, therefore, combines known facts from quantum information in a novel way in order to prove a purely graph theoretical result.
The proof of Theorem 4 requires the following definition:
Definition 5 (Canonical orthogonal representation)
Let be a graph representing a Kotzig orbit. Let be the event at vertex , where , , and , for each . Let be defined as follows:
(16) 
Here, is an arbitrary ray in and are the eigenvectors of the Pauli matrix with eigenvalue and , respectively. The canonical orthogonal representation of is the set of vectors .
For example, in (see Fig. 1), the element of the canonical orthogonal representation of the vertex labeled by is . Notice that if is chosen to be nonorthogonal to any of the vectors then the representation is faithful.
Proof of Theorem 4. Let be a graph representing a Kotzig orbit of a graph . The proof is structured in three parts: (1) we prove that ; (2) we prove that ; (3) finally, we prove that . The first two parts together prove that , since , for any graph (see, e.g., [7]). We begin with the first part:
(1) It follows directly from Eq. (3) that . We know that the eigenvectors with eigenvalue of each operator are in onetoone correspondence with the vertices of a clique in : . These are elements of the canonical orthogonal representation of . From the definition of the stabilizer group, for all and for all eigenvectors () with eigenvalue , we have , because is in the eigenspace. Now, let be an Hermitian eigendecomposition of . Thus,
(17)  
(18)  
(19)  
(20)  
(21) 
where the inequality in the last line follows because a canonical orthogonal representation of together with the state represents a feasible solution for the semidefinite formulation of the Lovász number in Eq. (1).
(2) From the linear programming formulation of the fractional packing number (see Eq. (2)), it is easy to see that a partition of the set of vertices into cliques gives an upper bound to . To see this choose one vertex, say , per clique and set its weight . We get a partition of into cliques if we consider the events associated with each .
(3) We use an argument very similar to [15, Lemma 1 and Theorem 1]. If the number of vertices of is two then the result does not hold as (by direct calculation). Each connected graph with more than two vertices has a subgraph with three vertices. For each of those we can see (also by direct calculation; see Table 1 of section 3.1) that . Therefore, we just need to show that if is a subgraph of with vertices and , where is the representative of the Kotzig orbit of , then for . Notice that , the stabilizer group of , is a subset of . Therefore, in the graph we find cliques associated with , but containing slightly different events. For each , the corresponding has the same structure, with eventually some additional operators. Let be the subgraph of induced by the vertices in cliques associated with the elements of . We need to show that if in there is no vertex per clique to form a maximal independent set then neither are there in . Therefore, . Towards a contradiction, suppose there is an independent set of such that . We distinguish two cases:

If the events at the vertices in do not have any element then we can map them to an independent set in of size just by ignoring the additional operators. This contradicts the hypothesis that .

If the events at the vertices in do have elements then we can find another independent set with the same cardinality such that the events at its vertices do not have any element. We can find as follows. It is easy to check that an operator has the form if and only if it has an odd number of and , with . Therefore, complementing and all occurrences of and in the events at the vertices of the independent set , we obtain the events in with the desired properties, and so we are back to the previous case.
The Bell inequalities described by the graph are exactly the same as in [15], but in the form of a pseudotelepathy game.
Definition 6
For any graph on vertices, let us define an player game for as follows. The input set for each player is and the output set is . The set of valid inputs is the set of elements of the stabilizer group of . The players win on input if and only if the sign of the product of their outputs equals the sign of .
Corollary 7
The graph game for is a pseudotelepathy game.
Proof. It is easy to see that if the players share the graph state and each player performs the measurement corresponding to her input, then they always win. On the other hand, we show that a classical strategy for the game can be used to construct an independent set of and viz.
We now consider the first direction. If there exists a strategy which answers correctly to questions then there exists an independent set with elements. A classical strategy is w.l.o.g. a set of functions for each player from the input set to the output set. Therefore, for all the winning inputs , there will be a single output , corresponding to a vertex of . It is easy to verify that there cannot be an edge between any pair of these vertices. Since the strategy wins on input pairs, the independent set has elements.
For the other direction, we show that if there exists an independent set of having size , then there exists a strategy for the game on that answers correctly to at least of the questions. By the structure of , the independent set cannot contain vertices such that, for the same input , for some . Hence, we have the following strategy: on input , each player outputs the unique determined by the vertices in the independent set. The size of the independent set implies that the players answer correctly to at least input pairs.
5 Examples
Proposition 8
Let be the complete graph on vertices. Then,
(22) 
Proof. As said before, can be associated to the Bell inequality in which the Bell operator is the sum of all stabilizer operators of [15]. The first observation is that the graph state associated to is the qubit GreenbergerHorneZeilinger (GHZ) state [16]. The second observation is that, in that case, the Bell inequality corresponding to is the sum of a wellknown Bell inequality maximally violated by the qubit GHZ state [22] plus a trivial Bell inequality not violated by quantum mechanics [5]. For example, for , the Bell inequality corresponding to is , where
(23a)  
(23b) 
recall that denotes the mean value of the product of the outcomes of the measurement of on qubit , on qubit , and on qubit . The inequality is the wellknown Bell inequality introduced in [22], while is a trivial inequality not violated by quantum mechanics [15, 5]. The sum has terms, with four terms generating cliques of size and the other three terms generating cliques of size . Then, we can see that is equal to the maximum number of quantum predictions that a deterministic local theory can simultaneously satisfy. By quantum predictions we mean: , , , , , , and . In this case, the maximum number of quantum predictions that a deterministic local theory can simultaneously satisfy is : out of , , , , plus the other (, , and ). Equivalently, is the maximum quantum violation, denoted by , minus the minimum number of quantum predictions which cannot be satisfied by a deterministic local theory. Since the minimum number of quantum predictions which cannot be satisfied by a deterministic local hidden variable theory is minus the maximum value of the Bell operator for a deterministic local theory, denoted by , and all of them divided by two, then
(24) 
This expression is very useful since, for the Bell inequalities for the qubit GHZ states [15],
(25)  
The interesting point is that the values of and are wellknown [22], and
(26) 
(Recall that .) For odd, , and ; for even, and . Inserting these numbers in Eq. (25) and then in Eq. (24), we obtain the statement.
6 Zeroerror capacity
In this section, we show that for every graph on vertices the graph has zeroerror entanglementassisted capacity . Theorem 4 states that . The result gives a separation between and . It is known that for all graphs, the Lovász number upper bounds the entanglementassisted Shannon capacity [12]. Therefore, saturates its upper bound.
There are few (and very recently discovered) classes of graphs for which this separation is known. For example, one is based on the KochenSpecker theorem [9] and other ones are based on variations of orthogonality graphs [4, 21]. Here, we present a new family of graphs and a construction method, which can also be interpreted as a graph theoretic technique of independent interest. The most important point is that every graph gives rise to a member of the family through our construction. This property opens directions for future studies, for example, identifying subclasses or hierarchies where the separation is large or is easy to quantify.
Theorem 9
Let be a graph from a Kotzig orbit. Then .
Proof. From Theorem 4 and [12, Corollary 14] we obtain the upper bound
We need to show a matching lower bound on . We do this by exhibiting a strategy for entangled parties to send one out of messages in the zeroerror setting through a channel with confusability graph . The strategy is as follows. Alice and Bob share a maximally entangled state of local dimension . Observe that can be partitioned into cliques, one for each element of the stabilizer group. The clique corresponding to consists of the vertices associated with the mutually exclusive events in the set ; we denote by the set of events related to as in Section 3. For each , Alice performs a projective measurement on her part of the shared state. The outcomes of the measurement are the elements of . Since the parties share a maximally entangled state, Alice’s strategy has to satisfy two properties to be correct:

For each , the projectors associated to elements of form a projective measurement (because Alice needs to perform a projective measurement for each message to be sent).

For each edge , projectors associated with and must be orthogonal (to satisfy the zeroerror constraint).
The next step is to exhibit projectors in Alice’s strategy and show that both properties are satisfied. In what follows we use the notation in Definition 5.
We begin by examining the case where does not contain any identity operator. In this case, each projective measurement will consist of projectors of rank acting on . Order the elements of arbitrarily. Let be of the form , where . Define for each the occurrence number based on a chosen ordering: if the same eigenvector of occurs in for the th time in the chosen ordering then . Construct projectors starting from the canonical orthogonal representation and an ancillary space of dimension . For , let
(27) 
We show that Property 1 is satisfied. These projectors are mutually orthogonal for all vertices . We need to prove that their sum is the identity. From the structure of the events in we observe that, for each , the eigenvectors with eigenvalue (and ) occur in half of the elements of . Therefore, in the construction of the projectors, a pair of eigenvectors for each is summed for each ancillary subspace. The sum of each subspace is the identity. Hence, the total sum is the identity for the whole space. We show now that also Property 2 is satisfied. If two projectors are in the same clique, orthogonality follows from the discussion above. Consider now two projectors of adjacent vertices from two different cliques that project to the same ancillary subspace. Since we started from an orthogonal representation, those projectors are orthogonal.
Now, consider the more general case where can contain identity operators. Let be of the form , where . We assume that has weight . First consider the case where the first operators are different from identity, . To construct the projective measurement for , we initially construct the projectors for the first operators as in the previous case. We obtain rank projectors acting on . Choose a basis for and let the projectors be