Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: we choose as the starting point of the present work the fundamental problem of channel simulation . roughly speaking , this problem asks when a communication channel @xmath1 from alice ( a ) to bob ( b ) can be used to simulate another channel @xmath2 , also from a to b ? @xcite this problem has many variants according to the resources available to a and b. in particular , the case when a and b can access unlimited amount of shared entanglement has been completely solved . let @xmath3 denote the entanglement - assisted classical capacity of @xmath1 @xcite . it was shown that , in the asymptotic setting , to optimally simulate @xmath2 , we need to apply @xmath1 at rate @xmath4 @xcite . in other words , the entanglement - assisted classical capacity uniquely determines the properties of the channel in the simulation process . furthermore , even with stronger resources such as no - signalling correlations or feedback , this rate can not be improved  otherwise we would violate causality , see @xcite for a discussion . here we are interested in the zero - error setting @xcite . it is well known that the zero - error communication problem is extremely difficult , already for classical channels . indeed , the single - shot zero - error classical communication capability of a classical noisy channel equals the independence number of the ( classical ) confusability graph induced by the channel , and the latter problem is well - known to be np - complete . the behaviour of quantum channels in zero - error communication is even more complex as striking effects such as super - activation are possible @xcite . the most general zero - error simulation problem remains wide open . to overcome this difficulty , many variants of this problem have been proposed . the most natural way is to introduce some additional resources and see how this changes the capacity . indeed , extra resources such as classical feedback @xcite , entanglement @xcite , and even a small ( constant ) amount of forward communication @xcite , have been introduced . it has been shown these extra resources can increase the capacity , and generally simplify the problem . in particular , it was shown that even for classical communication channel , shared entanglement can strictly increase the asymptotic zero - error classical capacity @xcite . however , determining the entanglement - assisted zero - error classical capacity remains an open problem even for classical channels . more powerful resources are actually required in order to simplify the problem . @xcite introduced classical no - signalling correlations into the zero - error communication for classical channels , and showed that the well - known fractional packing number of the bipartite graph induced by the channel , gives precisely the zero - error classical capacity of the channel . previously , it was known by shannon that this fractional packing number corresponds to the zero - error classical capacity of the channel when assisted with a feedback link from the receiver to the sender and when the unassisted zero - error classical capacity is not vanishing @xcite . for general background on graph theory see @xcite , and for `` fractional graph theory '' the delightful book @xcite . another major motivation for this work is to further explore the connection between quantum information theory and the so - called `` non - commutative graph theory '' suggested in @xcite . such a connection has been well - known in classical information theory . in @xcite , shannon realized that the zero - error capacity of a classical noisy channel only depends on the confusability graph induced by the channel . he further pointed out that in the presence of classical feedback , the zero - error capacity is completely determined by the bipartite graph of possible input - output transitions associated with the channel . thus it makes sense to talk about the zero - error capacity of a ( bipartite ) graph . the notion of non - commutative graph naturally occurs when we use quantum channels for zero - error communication . for any quantum channel , the non - commutative graph associated with the channel captures the zero - error communication properties , thus playing a similar role to confusability graph . most notably , this notion also makes it possible to introduce a quantum lovsz @xmath0 function to upper bound the entanglement - assisted zero - error capacity that has properties quite similar to its classical analogue @xcite . very recently , it was shown that the zero - error classical capacity of a quantum channel in the presence of quantum feedback only depends on the kraus operator space of the channel @xcite . in other words , the kraus operator space plays a role that is quite similar to the bipartite graph . now it becomes clear that any classical channel induces a bipartite graph as well as a confusability graph , while a quantum channel induces a non - commutative bipartite graph and a non - commutative graph . the new insight is that we can simply regard a non - commutative ( bipartite ) graph as a high - level abstraction of all underlying quantum channels , and study its information - theoretic properties , not limited to zero - error setting . this leads us to a very general viewpoint : graphs as communication channels . for instance , we can define the entanglement - assisted classical capacity of a non - commutative bipartite graph as the minimum of the entanglement - assisted classical capacity of quantum channels that induce the given kraus operator space . it was shown that this quantity enjoys a number of interesting properties including additivity under tensor product and an operational interpretation as a sort of entanglement - assisted conclusive capacity of the bipartite graph @xcite . it remains a great challenge to find tractable forms of various capacities for non - commutative ( bipartite ) graphs . in this paper we consider a more general class of quantum no - signalling correlations described by two - input and two - output quantum channels with the no - signalling constraints . this kind of correlations naturally arises in the study of the relativistic causality of quantum operations @xcite ; see also the more recent @xcite . distinguishability of these correlations from an information theoretic viewpoint has also been studied @xcite . we provide a number of new properties of these correlations , and establish several structural theorems of these correlations . then we generalize the approach of @xcite to study the zero - error classical capacity of a noisy quantum channel assisted by quantum no - signalling correlations , and the reverse problem of perfect simulation . we show that both problems can be completely solved in the one - shot scenario , revealing some nice structure :    1 . the answers are given by semidefinite programmes ( sdps , cf . @xcite ) ; 2 . at the same time they generalize the results of cubitt _ et al . _ @xcite ; 3 .   for the simulation , the question is really how to form a constant channel by a convex combination of the one we want to simulate and an arbitrary other quantum channel , and the number of bits needed is just @xmath5 , where @xmath6 is the probability weight of the target channel in the convex combination ( throughout this paper , @xmath7 denotes the binary logarithm ) ; 4 .   for assisted communication , there is an analogous problem of convex - combing a certain channel from b to a which has some kind of orthogonality relation with the given channel from a to b , with another one to form a constant channel . if the target channel has weight @xmath6 , then the number of bits sent is again @xmath5 . most interestingly , the solution to the communication problem only depends on the kraus operator space of the channel , not directly on the channel itself . for the simulation problem , the solution is given by the conditional min - entropy @xcite of the channel s choi - jamiokowski matrix , and is actually additive , thus also gives the asymptotic cost of simulating the channel . if we are interested in simulating the cheapest channel contained in the kraus operator space , we obtain an sdp in terms of the projection of the choi - jamiokowski matrix . both the capacity and the simulation sdps are in general not known to be multiplicative under the tensor product of channels , thus we do not know the optimal asymptotic simulation cost . we then focus on the asymptotic zero - error classical capacity and simulation cost assisted with quantum no - signalling correlations . this requires determining the asymptotic behaviour of a sequence of sdps . in general the one - shot solution does not give the asymptotic result , since the corresponding sdp is not multiplicative with respect to the tensor product of channels . a simple formula for the asymptotic channel capacity remains unknown . however , for the special cases of classical - quantum ( cq ) channels , we find that the zero - error capacity is given by the solution of a rather simple sdp suggested earlier by harrow as a natural generalization of the classical fractional packing number @xcite , which we call _ semidefinite packing number_. this result has two interesting corollaries . first , it implies that the zero - error classical capacity of cq - channels assisted by quantum no - signalling correlations is additive . second , and more importantly , we show that for a classical graph @xmath8 , the celebrated lovsz number @xmath9  @xcite , is actually the minimum zero - error classical capacity of any cq - channel that has the given graph as its confusability graph . in other words , lovsz @xmath0 function is the zero - error classical capacity of a graph assisted by quantum no - signalling correlations . to the best of our knowledge , this is the first information theoretic operational interpretation of the lovsz number since its introduction in 1979 . previously , it was known that it is an upper bound on the entanglement - assisted zero - error classical capacity of a graph @xcite . it remains unknown whether the use of quantum no - signalling correlations could be replaced by shared entanglement . the asymptotic simulation cost for kraus operator spaces associated with cq - channels is rather simpler , and is actually given by the one - shot simulation cost . before we proceed to the technical details , it may be helpful to present an overview of our main results . let @xmath1 be a quantum channel from @xmath10 to @xmath11 , with a kraus operator sum representation @xmath12 where @xmath13 . let @xmath14 denote the kraus operator space of @xmath1 . the choi - jamiokowski matrix of @xmath1 is given by @xmath15 , where @xmath16 and @xmath17 are isomorphic hilbert spaces , @xmath18 ( @xmath19 ) is orthonormal basis over @xmath16 ( @xmath17 , resp . ) , and @xmath20 is the unnormalized maximally entangled state over @xmath21 . recall that @xmath22 . let @xmath23 denote the projection onto the support of @xmath24 , which is the subspace @xmath25 , sometimes called the choi - jamiokowski support of @xmath26 ( or of the channel ) . it is worth noting that many results below can be defined on any matrix subspace @xmath26 , not just those corresponding to a quantum channel @xmath1 . however , we have to make sure that @xmath26 is actually corresponding to some quantum channel @xmath1 . this puts an additional constraint on @xmath26 . more precisely , suppose @xmath27 for some orthonormal basis @xmath28 such that @xmath29 . then we should be able to find a quantum channel @xmath30 such that @xmath31 , for some invertible matrix @xmath32 $ ] and @xmath33 . this is equivalent to @xmath34 if such a positive definite matrix @xmath35 $ ] can not be found , @xmath26 will not correspond to a quantum channel ( nor any @xmath36 for @xmath37 ) . in this case one might still be able to find @xmath38 that is a kraus operator space for some quantum channel @xmath39 . for instance , @xmath40 , and @xmath41 . ( note however that @xmath26 is the limit of the kraus subspaces of genuine quantum channels , namely amplitude damping channels with damping parameter going to @xmath42 ; hence it might still be considered as admissible kraus space of an infinitesimally amplitude damping channel . ) we will , therefore , always assume that @xmath26 corresponds to some quantum channel @xmath1 such that @xmath43 . from now on , any such kraus operator space @xmath26 will be alternatively called `` non - commutative bipartite graph ''  in fact , below we shall argue why it is a natural generalization of bipartite graphs . [ capacity-1-shot ] the one - shot zero - error classical capability , ( quantified as the largest number of messages ) , of @xmath1 assisted by quantum no - signalling correlations depends only on the non - commutative graph @xmath26 , and is given by the integer part of the following sdp : @xmath44 where @xmath23 denotes the projection onto the the subspace @xmath45 . + hence we are motivated to call @xmath46 the _ no - signalling assisted independence number of @xmath26 . _    the proof of this theorem will be given in section [ subsec:1-shot - capacity ] , where we also explore other properties of the above sdp . for another direction of investigation , looking at the specific channel @xmath1 with choi - jamiokowski matrix @xmath47 and trying to minimize the error probability for given number of messages , we refer the reader to the recent and highly relevant work of leung and matthews  @xcite , where exactly this is done in an environment with free no - signalling resources subject to other semidefinite constraints . it is evident from this theorem that the one - shot zero - error classical capacity of @xmath1 only depends on the kraus operator space @xmath26 . that is , any two quantum channels @xmath1 and @xmath2 will have the same capacity if they have the same kraus operator space . for this reason , we usually use @xmath46 to denote @xmath48 . furthermore , we can talk about the capacity of the kraus operator space @xmath26 directly without referring to the underling quantum channel . notice that a classical channel @xmath49 naturally induces a bipartite graph @xmath50 , where the input and output alphabets @xmath51 and @xmath52 are the two sets of vertices , and @xmath53 is the set of edges such that @xmath54 if and only if @xmath55 . we shall also use the notation @xmath56 if @xmath54 , and @xmath57 otherwise . in this case , we have @xmath58 and our notion @xmath59 generalizes this to arbitrary quantum channels . similarly , the simulation cost is given as follows . [ review - simulation-1-shot ] the one - shot zero - error classical simulation cost ( quantified as the minimum number of messages ) of a quantum channel @xmath1 under quantum no - signalling assistance is given by @xmath60 . here , @xmath61 is the choi - jamiokowski matrix of @xmath1 , and @xmath62 is the conditional min - entropy defined as follows @xcite : @xmath63    for example , the asymptotic zero - error classical simulation cost of the cq - channel @xmath64 and @xmath65 , is given by @xmath66 where @xmath67 is the trace distance between @xmath68 and @xmath69 . this gives a new operational interpretation of the trace distance between @xmath68 and @xmath69 as the asymptotic exact simulation cost for the above cq - channel . since there might be more than one channel with kraus operator space included in @xmath26 , we are interested in the exact simulation cost of the `` cheapest '' among these channels . more precisely , the one - shot zero - error classical simulation cost of a kraus operator space @xmath26 is defined as @xmath70 where @xmath71 means that @xmath59 is a subspace of @xmath26 . then it follows immediately from theorem  [ review - simulation-1-shot ] that    [ thm : l-1-shot - cost ] the one - shot zero - error classical simulation cost of a kraus operator space @xmath26 under quantum no - signalling assistance is given by the integer ceiling of @xmath72 where @xmath23 is the projection onto the choi - jamiokowski support of @xmath26 . we will prove these two theorems in section  [ subsec:1-shot - cost ] . we introduce the asymptotic zero - error channel capacity of @xmath26 by considering the number of bits that can be communicated over @xmath73 copies of the channel @xmath1 , i.e.  @xmath74 , having kraus operator space @xmath36 , per channel use as @xmath75 ; we denote it as @xmath76 . likewise , the asymptotic number of bits needed per channel use to simulate @xmath74 as @xmath75 , denoted @xmath77 , and the same minimized over all channels with kraus operator space @xmath36 ( not necessarily product channels ! ) , which we denote @xmath78 .    from these definitions , it is clear that they are given by the regularizations of the respective one - shot quantities : @xmath79 the first one because @xmath80 is additive under tensor products . so far , we are unable to determine closed formulas for the latter two in general . interestingly , the special case of @xmath26 coming from a cq - channel can be solved completely . note that if @xmath26 corresponds to a cq - channel @xmath81 , with @xmath82 the projection over the support of @xmath83 , then @xmath26 can be uniquely identified by a set of projections @xmath84 ( up to a permutation over inputs ) . in this case , @xmath85 any such kraus operator space will be called `` non - commutative bipartite cq - graph '' or simply `` cq - graph '' . the case of assisted communication seems very complicated , and most interesting . we show that the zero - error classical capacity of cq - graphs is given by the solution of the following sdp : @xmath86 this number was suggested by harrow as a natural generalization of the shannon s classical fractional packing number @xcite , and we will refer to it as _ semidefinite ( fractional ) packing number _ associated with a set of projections @xmath84 . our result can be summarized as    [ thm : cq - capacity ] the zero - error classical capacity of a cq - channel @xmath87 assisted by quantum no - signalling correlations is given by the logarithm of the semidefinite packing number @xmath88 , i.e. , @xmath89 to be precise , @xmath90    the proof of this theorem is given in section  [ subsec : asymptotic - capacity - cq ] . the asymptotic zero - error classical simulation cost for cq - graphs @xmath26 is relatively easy and straightforward . indeed , we show that the one - shot zero - error classical simulation cost for cq - channels is multiplicative , _ i.e. _ @xmath91 for cq - graphs @xmath92 and @xmath93 . the equality is proved by simply combining the sub - multiplicativity of the primal sdp and the super - multiplicativity of the dual problem , and then applying strong duality of sdps . it readily follows that the asymptotic simulation cost for any kraus operator @xmath26 corresponding to a cq - channel is given by the one - shot simulation cost , namely @xmath94 it is worth noting that the above equality is valid for many other cases . in particular , it holds when @xmath26 corresponds to a quantum channel that is an extreme point in the set of all quantum channels . it remains unknown whether this is true for more general @xmath26 .    as an unexpected byproduct of our general analysis we obtain the following . to understand it , note that any cq - channel @xmath95 naturally induces a confusability graph @xmath8 on the vertices @xmath96 , by letting @xmath97 if and only if @xmath98 , i.e. inputs @xmath96 and @xmath99 are confusable . [ thm : theta ] for any classical graph @xmath8 , the lovsz number @xmath9 @xcite is the minimum zero - error classical capacity assisted by quantum no - signalling correlations of any cq - channel that induces @xmath8 , _ i.e. _ @xmath100 where the minimization is over cq - graphs @xmath26 and @xmath101 is the non - commutative graph corresponding to @xmath8 ( see eq . ( [ sg - graph ] ) in section v ) .    in particular , equality holds for any cq - channel @xmath102 such that @xmath103 is an optimal orthogonal representation for @xmath8 in the sense of lovsz original definition @xcite . the above result gives the first clear information theoretic interpretion of the lovsz @xmath0 function of a graph @xmath8 , as the zero - error classical capacity of @xmath8 assisted by quantum no - signalling correlations , in the sense of taking the worst cq - channel with confusability graph @xmath8 . its proof will be given in section [ sec : theta ] . in section [ sec : feasibility ] , we provide results which completely characterize the feasibility ( i.e. , positivity ) of zero - error communication with a non - commutative bipartite graph , or a quantum channel , assisted by no - signalling correlations . finally , in section [ sec : conclusion ] , we conclude and propose several open problems for further study . we will provide an intuitive explanation for how the quantum no - signalling correlations naturally arise from the information - theoretic viewpoint . let @xmath2 and @xmath1 be two quantum channels both from a to b , and assume that a and b can access any quantum resources that can not be used for communicating between them directly . an interesting question is to ask when @xmath1 can exactly simulate @xmath2 ? this class of resources clearly includes shared entanglement , and actually has some other more important members that are the central interest of this paper . we will derive some general constraints that all these resources should satisfy . let us start with the one - shot case , that is , a and b can establish quantum channel @xmath2 by using all `` allowable resources '' and one use of channel @xmath1 . we can abstractly represent the whole procedure as in fig . [ fig : simulation ] ; note that it falls within the formalism of `` quantum combs ''  @xcite , but as it is a rather special case we can understand it without explicitly invoking that theory .     using another channel @xmath1 just once , and the correlations between a and b ; b ) . this is just an equivalent way to redraw a ) , and we have highlighted all correlations between a an b , and their pre- and/or post- processing as @xmath104.,width=415 ]    here is how this simulation works . first , a performs some pre - processing on the input quantum system @xmath105 together with all possible resources at her hand , and outputs quantum system @xmath106 as the input of channel @xmath1 . the channel @xmath1 then outputs a quantum system @xmath107 . b will do some post - processing on this system together with all possible resources he has , and finally generates an output @xmath108 . if we remove @xmath1 , we are left with a network with two inputs @xmath105 and @xmath107 , and two outputs @xmath106 and @xmath108 . clearly this represents all possible pre- and/or post - processing that a and b have done and all resources that are available to a and b. in the framework of quantum mechanics , this network can be formulated as a quantum channel @xmath104 with two inputs and two outputs . thus we can redraw the simulation procedure as fig . [ fig : simulation].b . however , as @xmath1 is the only communicating device from a to b , we must have that @xmath104 can not be used to communicate from a to b. furthermore , the output @xmath106 represents the input of a to the channel @xmath1 , and thus can be uniquely determined by @xmath16 , but not @xmath107 , which is the output of @xmath1 . we will see this constraint is equivalent to b can not communicate to a using @xmath104 . these constraints have led us to a fruitful class of resources that a and b could use in communication .    as before , we do nt attempt to solve the most general channel simulation problem . instead , we will focus on two simpler but most interesting cases : i ) . @xmath2 is a noiseless classical channel and @xmath1 is the given noisy channel . the optimal solution to this problem will lead us to the notion of zero - error classical capacity of @xmath1 ; ii ) . @xmath1 is a noiseless classical channel and @xmath2 is the given noisy channel . the optimal solution will lead us to the notion of zero - error classical simulation cost of @xmath2 . in the communication problem , we want to maximize the number of messages we can send exactly by the given channel ; while in the simulation problem , we want to minimize the amount of the noiseless classical communication to simulate the given channel . in the rest of this section , we will study the mathematical structures of quantum no - signalling correlations in detail .      as discussed before , quantum no - signalling correlations are linear maps @xmath109 with additional constraints . first , @xmath104 is required to be completely positive ( cp ) and trace - preserving ( tp ) . this makes @xmath104 a physically realizable quantum operation . furthermore , @xmath104 is a to b no - signalling ( a@xmath110b ) . that is , a can not send classical information to b by using @xmath104 . more precisely , for any density operators @xmath111 and @xmath112 , we have @xmath113 or equivalently , @xmath114 likewise , @xmath104 is required to be b to a no - signalling ( b@xmath110a ) . that is , b can not send classical information to a by using @xmath104 . this constraint can be formulated as the following @xmath115 let the choi - jamiokowski matrix of @xmath104 be @xmath116 where @xmath117 is the identity operator over @xmath118 , @xmath119 , and @xmath120 the un - normalized maximally entangled state . we now show that all above constraints on @xmath104 can be easily reformulated into the semidefinite programming constraints in terms of the choi - jamiokowski matrix @xmath121 . for convenience , we often use unprimed letters such as @xmath105 and @xmath107 to denote the quantum systems inputting to quantum channels , and the primed letters @xmath122 and @xmath123 for the reference systems which are isomorphic to @xmath105 and @xmath107 , respectively . the constraints on @xmath104 can be equivalently formulated in terms of @xmath121 as follows : @xmath124 where @xmath51 and @xmath52 are arbitrary hermitian operators , so the transpose is not really necessary . the first two constraints guarantee that @xmath125 corresponds to a cptp map @xmath104 , while the latter two make sure that @xmath125 can not be used for communicating from a to b and b to a , respectively . both constraints need only be verified on a hermitian matrix basis of @xmath122 , @xmath123 , respectively . the key to deriving the above constraints is the following useful fact : @xmath126 where @xmath17 is an isomorphic copy of @xmath16 . it is worth noting that the class of quantum no - signalling correlations is closed under convex combinations . that is , if @xmath127 and @xmath128 are quantum no - signalling correlations and @xmath129 , then @xmath130 are also no - signalling correlations . furthermore , this class is also stable under the pre- or post - processing by a or b. that is , if @xmath104 is a no - signalling correlation from @xmath131 to @xmath132 . then @xmath133 is also no - signalling , where @xmath134 are cptp maps on suitable hilbert spaces . it is instructive to compare the quantum no - signalling correlations and the classical no - signalling correlations . recall that any classical no - signalling correlations can be described as a classical channel @xmath135 with two classical inputs @xmath136 and @xmath137 , and two classical outputs @xmath138 and @xmath139 , where @xmath140 evidently , @xmath141 can also be represented as a quantum channel in the following way @xmath142 one can easily verify the above constraints are exactly the same as treating @xmath141 a quantum no - signalling correlation . from this viewpoint , quantum no - signalling correlations are natural generalizations of their classical correspondings . finally , we would like to mention another interesting fact . that is , any two - input and two - output quantum channel @xmath104 can be reduced to a two - input and two - output classical channel @xmath141 that has the same signalling property by simply doing pre- or post - processing , and all inputs and outputs of @xmath141 are binary , i.e. , if @xmath104 is a to b ( and/or b to a ) signalling then @xmath141 is also a to b ( resp . b to a ) signalling . due to its significance , we formulate it as    [ binary - signalling ] for any cptp map @xmath104 from @xmath143 to @xmath132 such that @xmath104 is b to a ( and/or a to b ) signalling , one can obtain a classical channel @xmath135 with all @xmath144 , by doing suitable local pre- and post - processing on @xmath104 , such that @xmath141 is also b to a signalling ( resp . a to b ) . assume @xmath104 is both way signalling ( the case that it is one - way signalling is similar , and in fact simpler ) . then we can find a pair of states @xmath145 and @xmath146 , such that the following two maps @xmath147 and @xmath148 are _ non - constant _ cptp maps : @xmath149 i.e. , we can find another two states @xmath150 and @xmath151 such that @xmath152    by helstrom s theorem , for any two different quantum states @xmath153 , we can find a projective measurement @xmath154 to distinguish the given states with equal prior probably with an average success probability @xmath155 as a direct consequence , the cptp map @xmath156 will produce two different classical binary probability distributions @xmath157 and @xmath158 . we will need this fact below . let @xmath159 and @xmath160 be the measurements to optimally distinguish @xmath161 and @xmath162 , respectively . then we can define four cptp maps as follows : @xmath163 using these as pre- and post - processing on @xmath104 , we obtain the desired channel @xmath164 in @xmath141 , if b inputs @xmath42 or @xmath165 , and a inputs @xmath42 , then by the above construction , a must output two binary probability distributions that are different , hence can be used for signalling from b to a. similarly , if a inputs @xmath42 or @xmath165 , and b inputs @xmath42 , then b must output another two different binary probability distributions that can be used for signalling from a to b.      we will establish several structure theorems regarding quantum no - signalling correlations . note that @xmath104 is a two - input and two - output quantum channel . so there are two natural ways to think of @xmath104 according to the relation between the inputs and outputs . the first way is to partition @xmath104 as @xmath166 , so the output of @xmath105 and @xmath107 would be @xmath106 and @xmath108 , respectively ; this is perhaps the most standard way . the second way is to focus on the communication between @xmath16 and @xmath167 and partition @xmath104 as @xmath168 . in this case the output of @xmath105 and @xmath107 will be regarded as @xmath108 and @xmath106 , respectively . this kind of partition is quite useful when we are interested in the communication between @xmath16 and @xmath167 . let us start with the bipartition @xmath166 of @xmath104 . in this case , we can have a full characterization of no - signalling maps . ( bear in mind that we have assumed @xmath104 to be a cptp map in the following discussion ) . [ ns - structure1 ] let @xmath169 be a bipartite cptp map with a decomposition @xmath170 according to bipartition @xmath166 , where @xmath171 , @xmath172 , and @xmath173 are complex numbers . then we have the following :    \i ) @xmath104 is b to a no - signalling iff @xmath174 can be chosen as cptp for any @xmath175 . in this case @xmath176 will be also cptp . \ii ) @xmath104 is a to b no - signalling iff @xmath177 can be chosen as cptp for any @xmath175 . in this case @xmath178 will be also cptp . \iii ) @xmath104 is no - signalling between a and b iff both @xmath177 and @xmath174 can be chosen as cptp maps , @xmath179 , and @xmath173 are real for all @xmath175 . the most interesting part is item iii ) . intuitively , any no - signalling correlation @xmath104 between a and b can be written as a real affine combination of product cptp maps @xmath180 . the proofs are relatively straightforward and we simply leave them to interested readers as exercises .    now we turn to the bipartition @xmath168 of @xmath104 . we do nt have a full characterization of no - signalling correlations in this setting . nevertheless , a simple but extremely useful class of no - signalling correlations can be constructed using the following facts . [ ns - structure2 ] let @xmath169 be a bipartite cptp map with a decomposition @xmath181 according to bipartition @xmath168 , where @xmath182 , @xmath183 , and @xmath184 are complex numbers . then we have the following :    \i ) if @xmath185 is a constant map and @xmath186 is tp for any @xmath175 , then @xmath104 is a to b no - signalling . \ii ) if @xmath187 is a constant map and @xmath188 is tp for any @xmath175 , then @xmath104 is b to a no - signalling . \iii ) if all @xmath188 and @xmath186 are tp and both @xmath185 and @xmath187 are constant maps , then @xmath104 is no - signalling between a and b.    for example , we can choose @xmath189 , where @xmath188 and @xmath186 are cptp maps from @xmath190 to @xmath191 and @xmath192 to @xmath193 , respectively , and @xmath194 is a probability distribution . if we further have that @xmath185 and @xmath187 are constant maps , then we obtain a no - signalling correlation @xmath104 . clearly , for any such @xmath104 , neither of @xmath105 and @xmath107 can send classical information to @xmath106 or @xmath108 . to emphasize this special feature , this class of no - signalling correlations are said to be _ totally no - signalling_. we shall see later even this class of correlations could be very useful in assisting zero - error communication and simulation . in particular , we need the following technical result :    [ rank2-ns ] let @xmath195 and @xmath196 be two cptp maps from @xmath190 to @xmath191 , and let @xmath197 be two cp maps from @xmath192 to @xmath193 . furthermore , assume there is unique @xmath129 such that @xmath198 is a constant channel . then @xmath199 is a no - signalling correlation if and only if both @xmath200 and @xmath201 are cptp maps , and @xmath202 is a constant map . this can be proven by directly applying the definition of quantum no - signalling correlations . two key points are : first , the uniqueness of @xmath6 such that @xmath198 is constant ; secondly , if @xmath203 for any traceless hermitian operator @xmath51 , @xmath204 is a constant map .    a third result about the structure of no - signalling correlations is the following @xcite ( see also @xcite for an alternate proof , and @xcite for more discussions ) :    [ ns - structure3 ] @xmath104 is b@xmath110a iff @xmath205 for two cptp maps @xmath206 and @xmath207 , where @xmath208 is an internal memory . this result is quite intuitive . it says that in the case that b can not communicate to a , we can actually have the output of a before we input to b.      suppose now we are given a no - signalling map @xmath209 and a cptp map @xmath210 . when @xmath211 and @xmath212 , we can construct a new and unique map @xmath213 by feeding the output @xmath106 of @xmath104 into @xmath1 , and use the output @xmath167 of @xmath1 as the input @xmath107 to @xmath104 ( refer to fig . next we will show how to derive more explicit forms of this map . , width=415 ]    let us start by considering the partition according to @xmath166 to look at @xmath104 . if @xmath104 is of product form @xmath214 where @xmath215 and @xmath216 , then clearly the composition must be given by @xmath217 . we can simply extend this construction to the superpositions of these product maps by linearity . i.e. , for a general @xmath218 , we define the new map by composing @xmath1 and @xmath104 as the following @xmath219 and this is clearly well - defined . we can also formulate @xmath2 in another useful way by considering the bipartition @xmath168 . suppose @xmath104 is given in the form of @xmath220 where @xmath182 , @xmath183 . then to compose @xmath104 and @xmath1 , the only thing we need to do is to compose @xmath1 and @xmath186 directly and take trace . that is , we have @xmath221 where the trace of super - operator @xmath222 on @xmath193 is given by @xmath223 for any orthonormal basis @xmath224 on @xmath193 in the sense of @xmath225 . this is just the natural generalization of the trace function of the square matrices to super - operators . it is easy to verify that @xmath226 holds for any @xmath227 and @xmath1 , and the trace is independent of the choice of the orthonormal basis @xmath224 . for instance , for any bipartite classical channel @xmath135 , and another classical channel @xmath228 , we can easily show that the map @xmath229 constructed by composing @xmath141 and @xmath230 is given by @xmath231 which coincides with the discussions in @xcite . note that the above two constructions of the map @xmath2 from @xmath104 and @xmath1 are quite general , and purely mathematical . indeed , we can form a map @xmath2 from any @xmath1 and @xmath104 . an interesting and important question is to ask whether @xmath2 is a cptp map when both @xmath1 and @xmath104 are . it turns out that whenever @xmath1 and @xmath104 are cp maps , @xmath2 should also be cp . this fact is actually a simple corollary of the teleportation protocol . indeed , we can easily see from the fig . 3 that @xmath232(\1_{b_o}\ox\phi_{bb_i'})\},\ ] ] where @xmath211 , and @xmath167 , @xmath107 , and @xmath123 are all isomorphic . the way to get the above equality is to first apply the teleportation protocol to the special case that @xmath233 , and then extend the result to the general case by linearity . the above expression not only provides a proof for the complete positivity of @xmath2 , but also the uniqueness of such @xmath2 .     and @xmath104 from the viewpoint of teleportation.,width=340 ] so we have obtained that for any two maps @xmath234 and @xmath235 , we can uniquely construct a map @xmath236 by composing @xmath104 and @xmath1 , and trace out @xmath106 and @xmath107 . an explicit construction can be equivalently given by any of eqs . ( [ connection-1 ] ) , ( [ connection-2 ] ) , and ( [ connection-3 ] ) . furthermore , if @xmath104 and @xmath1 are cp , so is @xmath2 .    to guarantee that @xmath2 is tp , we have to put further constraints on @xmath104 , but not on @xmath1 except that it is an arbitrary cptp map . we will show that such constraints are precisely the same as the constraints that b to a no - signalling ( b@xmath110 a ) . let @xmath234 and @xmath235 be two cptp maps , and let @xmath236 be the unique cp constructed by composing @xmath104 and @xmath1 . if @xmath104 is cptp and b to a no - signalling , then @xmath2 is also cptp for any cptp map @xmath1 . conversely , if @xmath2 is cptp for any @xmath1 , then @xmath104 has to be b to a no - signalling . the sufficiency is just a direct corollary of item i ) of proposition [ ns - structure1 ] or proposition [ ns - structure3 ] . the later actually provides a physical realization of this map @xmath2 . this constraint is logically reasonable as b to a no - signalling simply means that the input of the channel @xmath1 can not depend on its output ( otherwise we will have a closed loop , against the causality principle ) . now we will prove that the constraint of no - signalling from b to a is also necessary for @xmath2 to be cptp for any cptp @xmath1 . our strategy is to first prove this fact for two - input and two - output binary classical channel @xmath141 . then we can apply proposition [ binary - signalling ] for the general case . we can actually show that if @xmath141 is signalling from b to a , and the composition of @xmath141 and one - bit noiseless classical channel is not a legal classical channel anymore ( the output for some input is not a legal probability distribution ) .    by contradiction , assume that the composition of @xmath104 and any cptp map @xmath1 is always cptp , but that @xmath104 is b to a signalling . applying proposition [ binary - signalling ] , we can find a two - input and two - output binary classical channel @xmath135 such that @xmath141 is constructed from @xmath104 by simply performing pre- and/or post - processing such that i ) @xmath237 ; ii ) @xmath141 is also b to a signalling ; iii ) the composition of @xmath141 and any classical channel @xmath16 to @xmath52 is also a legal classical channel . we will show such @xmath141 does not exist , hence complete the proof . actually , ii ) implies there are @xmath238 , such that @xmath239 w.o.l.g , we can assume @xmath240 , @xmath241 , @xmath242 , and @xmath243 . then the above inequality can be rewritten explicitly as @xmath244 on the other hand , the composition of @xmath141 and a one - bit noiseless classical channel @xmath245 is given by @xmath246 in particular , taking @xmath240 and applying the above inequality , we have @xmath247 this contradicts the fact that @xmath248 is a classical channel .    thus , to guarantee that the composition @xmath2 of a two - input and two - output channel @xmath104 and any quantum channel from a to b is always a cptp map , @xmath104 is only required to be b to a no - signalling . the constraint of no - signalling from a to b is another natural requirement as we have assumed that a can not communicate to b directly , and the given channel @xmath1 is the only directed resource from a to b we can use . these considerations naturally lead us to quantum no - signalling correlations . for any integer @xmath249 , we denote by @xmath250 and @xmath251 classical registers with size @xmath249 . we use @xmath252 to denote the noiseless classical channel that can send @xmath249 messages from @xmath16 to @xmath167 , _ i.e. _ @xmath253 , or equivalenyly , @xmath254    if a channel @xmath1 can simulate @xmath255 , we say that @xmath249 messages can be perfectly transmitted by one use of @xmath1 . the problem we are interested in is to determine the largest possible @xmath249 , which will be called one - shot zero - error classical transmission capability of @xmath1 assisted with no - signalling correlations . we restate here the result that we will prove in this subsection . * theorem  [ capacity-1-shot ] *   _ the one - shot zero - error classical capability ( quantified as the largest number of messages ) of @xmath1 assisted by quantum no - signalling correlations depends only on the non - commutative graph @xmath26 , and is given by the integer part of the following sdp : @xmath44 where @xmath23 denotes the projection onto the the subspace @xmath45 . + hence we are motivated to call @xmath46 the _ no - signalling assisted independence number of @xmath26 . _ _    to make the indices of the choi - jamiokowski matrices more readable , we reserve the unprimed letters such as @xmath105 and @xmath107 for the reference systems ( thus as the indices of choi - jamiokowski matrices ) , and use the primed versions @xmath122 and @xmath123 as the inputs to the quantum channels .    we will use a general no - signalling correlation @xmath104 with choi - jamiokowski matrix @xmath125 and the channel @xmath1 , to exactly simulate a noiseless classical channel @xmath255 . our goal is to determine the maximum integer @xmath249 when such simulation is possible . in this case both @xmath256 and @xmath257 are classical , and @xmath258 , @xmath259 . we will show that @xmath125 can be chosen as the following form : @xmath260 where @xmath261 is the choi - jamiokowski matrix of the noiseless classical channel @xmath255 , and @xmath262 and @xmath263 are positive semidefinite operators . we will show that the no - signalling conditions are translated into @xmath264 with some state @xmath265 . in other words , both @xmath266 and @xmath267 are choi - jamiokowski matrices of channels from @xmath11 to @xmath268 whose weighted sum is equal to a constant channel mapping quantum states in @xmath167 to a fixed state @xmath269 . let us first have a closer look at the the mathematical structure of @xmath125 . rewrite @xmath125 into the following form , @xmath270 where @xmath271 is the choi - jamiokowski matrix of the classical channel @xmath272 that sends each @xmath273 into a uniform distribution of @xmath274 . in other words , the no - signalling correlation @xmath104 should have the following form : @xmath275 and @xmath204 and @xmath227 are cp maps from @xmath167 to @xmath16 corresponding to choi - jamiokowski matrices @xmath266 and @xmath267 , respectively . now we can directly apply lemma [ rank2-ns ] to @xmath104 in eq . ( [ simplified - ns ] ) to obtain the no - signalling constraints in eqs . ( [ ns - condition1 ] ) and ( [ ns - condition2 ] ) . first , the constraints for @xmath276 are automatically satisfied due to the special forms of @xmath255 and @xmath272 , and @xmath277 is the unique number such that @xmath278 is constant . the no - signalling constraint @xmath279 is equivalent to that @xmath204 and @xmath227 are cptp maps , and @xmath280 is some constant channel .    when composing @xmath1 with @xmath104 in eq . ( [ simplified - ns ] ) , we have the following channel @xmath281 the zero - error constraint requires @xmath282 , which is equivalent to @xmath283 , or @xmath284 where @xmath285 is the choi - jamiokowski matrix of @xmath1 ( strictly speaking , this is the complex conjugate of the choi - jamiokowski matrix of @xmath1 , but this does not make any difference to the problem we are studying ) . since @xmath266 and @xmath267 depend on each other , we can eliminate one of them . for instance , we only keep @xmath266 . then the existence of @xmath267 will be equivalent to @xmath286 by absorbing @xmath249 into @xmath269 and introducing @xmath287 , we get @xmath249 as the integer part of @xmath288 which ends the proof . now we provide a detailed derivation of the form ( [ omega - cns0 ] ) of the no - signalling correlation . assume the channel is @xmath289 , and the no - signalling correlation we will use is @xmath290 . suppose we can send @xmath249 messages exactly by one use of the channel @xmath1 when assisted by @xmath104 . then we should have ( refer to fig . 3 and note @xmath291 , @xmath292 , @xmath293 , @xmath294 , and @xmath295 ) @xmath296=\ketbra{m}{m}_{m_b}\ \forall m\in\{1,\ldots , m\}.\ ] ] the choi - jamiokowski matrix of @xmath104 , say @xmath297 , should satisfy the following constraints @xmath298 furthermore , noticing that @xmath299 we have @xmath300 thus the left hand side ( l.h.s ) of eq . ( [ teleportation ] ) gives , for all @xmath301 , @xmath302=\ketbra{m}{m}_{m_b}.\ ] ] in other words , for any @xmath303 , we have @xmath304    the next crucial step is to simplify the form of @xmath125 . we will study all the possible forms of @xmath125 satisfying the above equation . ( any such operator is said to be feasible ) . since both @xmath250 and @xmath251 are classical registers , we can perform the dephasing operation on them and assume @xmath125 has the following form @xmath305 where @xmath306 might not be identical for different pairs @xmath307 .    to further simplify the form of @xmath125 , we next exploit the permutation invariance of @xmath255 . more precisely , for any @xmath308 permutation @xmath309 , if @xmath297 is feasible , then @xmath310 is also feasible . furthermore , if @xmath311 and @xmath312 are feasible , so is any convex combination @xmath313 for @xmath314 . with these two observations , from any feasible @xmath125 that has been dephased , we can always construct a new feasible @xmath315 by performing the following twirling operation @xmath316 by applying schur s lemma to the symmetry group @xmath317 , we can see that @xmath315 can be chosen as the following form @xmath318 which has exactly the same form as eq . ( [ omega - cns0 ] ) .    the sdp characterization of theorem  [ capacity-1-shot ] , @xmath319 has a dual . it is given by @xmath320 which can be derived by the usual means ; by strong duality , which applies here , the values of both the primal and the dual sdp coincide . for an easy example of the evaluation of these sdps , @xmath321 for the cq - graph @xmath322 of the noiseless classical channel @xmath323 of @xmath324 symbols . the kraus operator space of the noiseless @xmath324-level quantum channel @xmath325 is @xmath326 , and has @xmath327 .    by inspection of the primal sdp , for any @xmath92 and @xmath93 , @xmath328 , because the tensor product of feasible solutions of the sdp ( [ eq : upsilon ] ) is feasible for @xmath329 . in particular , we do not know whether equality holds here ( sometimes it does ) ; the most natural way for proving this would be to use the dual sdp ( [ eq : upsilon - dual ] ) , but to use it to show `` @xmath331 '' by tensoring together dual feasible solutions would require that @xmath332 .    leaving this aside , this last observation is why @xmath46 is rightfully called the no - signalling assisted independence number , and not its integer part . indeed , the number of messages we can send via @xmath333 is @xmath334 , for non - integer @xmath46 and sufficiently large @xmath324 .      for convenience we restate here the two theorems already announced in the introduction . * theorem  [ review - simulation-1-shot ] *   _ the one - shot zero - error classical simulation cost ( quantified as the minimum number of messages ) of a quantum channel @xmath1 under quantum no - signalling assistance is given by @xmath60 . here , here , @xmath61 is the choi - jamiokowski matrix of @xmath1 , and @xmath62 is the conditional min - entropy defined as follows @xcite : @xmath63 _    * theorem  [ thm : l-1-shot - cost ] *   _ the one - shot zero - error classical simulation cost of a kraus operator space @xmath26 under quantum no - signalling assistance is given by the integer ceiling of @xmath72 where @xmath23 denotes the projection onto the subspace @xmath45 . _ in this case we have @xmath335 and @xmath336 are classical , @xmath337 , @xmath338 . we will show that w.l.o.g . @xmath339 with positive semidefinite @xmath266 and @xmath267 . then according to lemma [ rank2-ns ] , the no - signalling conditions are equivalent to @xmath340 for a state @xmath341 .    now , there are two variants of the problem . first , to simulate the precise channel @xmath1 , @xmath266 has to be equal to @xmath24 . by identifying @xmath342 and eliminating @xmath267 , we get the solution for the minimal @xmath249 as smallest integer @xmath343 proving theorem  [ review - simulation-1-shot ] . the latter is then also asymptotic cost of simulating many copies of @xmath230 because the conditional min - entropy is additive , eq . ( [ eq : channel - sim ] ) .    furthermore , to simulate the `` cheapest '' @xmath1 with choi - jamiokowski matrix supporting on @xmath23 , we get @xmath344 which is the claim of theorem  [ thm : l-1-shot - cost ] . now we provide a more detailed derivation of the form of no - signalling correlations . suppose we can use a noiseless classical channel @xmath255 to simulate a quantum channel @xmath345 . the no - signalling correlation we will use is @xmath346 . then we have @xmath347.\ ] ] denote the choi - jamiokowski matrix of @xmath104 as @xmath348 thus the choi - jamiokowski matrix of @xmath1 is given by @xmath349 \\           & = \sum_m \tr_{m_am_b}[\ketbra{mm}{mm}_{m_am_b}\o_{m_am_bab } ] \\           & = \tr_{m_am_b } d_{m_am_b}\o_{m_am_bab},\end{aligned}\ ] ] where @xmath350 is the choi - jamiokowski matrix of the noiseless classical channel @xmath351 , as before .    in summary , to simulate @xmath1 exactly , we have @xmath352 and the no - signalling constraints on @xmath125 .    by dephasing and twirling classical registers @xmath250 and @xmath251 ( refer to the case of zero - error communication ) , we can choose w.l.o.g @xmath297 to have the form in eq . ( [ simulation : ns ] ) . we end this subsection , like the previous one , recording the primal and dual sdp form of @xmath353 , again equal by strong duality : @xmath354 its dual sdp is @xmath355    just as for the no - signalling assisted independence number @xmath46 , @xmath356 and hence @xmath357 . for cq - graphs @xmath26 we can say a bit more : since @xmath322 is a cq - graph , too , we find @xmath358 , by proposition  [ prop : sigma - cq - multi ] in section  [ subsec : asymptotic - cost - cq ] below . for a classical channel with bipartite graph @xmath359 , such that @xmath360 is a special type of cq - graph , it was shown in  @xcite that @xmath361 where @xmath362 is the _ fractional packing number _ @xcite ( which is equal to its _ fractional covering number _ ) : @xmath363 in fact , there it was shown ( and one can check immediately from theorems  [ capacity-1-shot ] and [ thm : l-1-shot - cost ] ) that in this case @xmath364 furthermore , to attain the simulation cost @xmath77 , as well as @xmath78 , asymptotically no non - local resources beyond shared randomness are necessary @xcite . we will see in the following that quantum channels exhibit more complexity . indeed , while @xmath365 is clearly multiplicative in the channel ( or equivalently in @xmath47 ) , cf . @xcite , and @xmath362 is well - known to be multiplicative under direct products of graphs , cf . @xcite , by contrast @xmath366 and @xmath367 are only super- and sub - multiplicative , respectively : @xmath368 we know that the first inequality can be strict ( see subsection [ 2-state - example ] below ) , and suspect that the second can be strict , too . thus we are facing a regularization issue to compute the zero - error capacity and the zero - error simulation cost , assisted by no - signalling correlations : @xmath369 a standard causality argument , together with entanglement - assisted coding for the simulation of quantum channels @xcite , implies also @xmath370 where @xmath371 is the minimum of the entanglement - assisted classical capacity of quantum channels @xmath1 such that @xmath71 , i.e. , @xmath59 is a subspace of @xmath26 . with the quantum mutual information @xmath372 of the state @xmath373 , where @xmath374 is a purification of @xmath375 : @xmath376 where the last equality follows from the sion s minimax theorem @xcite . for more properties , including the above minimax formulas , and an operational interpretation of @xmath377 as the entanglement - assisted capacity of @xmath26 ( i.e.  the maximum rate of block codings adapted simultaneously to all channels @xmath378 such that @xmath379 ) , we refer the reader to @xcite .    to put better and easier to use bounds on @xmath380 and @xmath381 , we introduce the semidefinite packing number : @xmath382 which we have given in primal and dual form ; this generalizes the form given in eq . ( [ eq : aram - cq ] ) for cq - graphs . it was suggested to us in the past by aram harrow @xcite for its nice mathematical properties . a slightly modified and more symmetric form is given by @xmath383 again both in primal and dual form . from these it is straightforward to see that @xmath88 and @xmath384 are both sub- and super - multiplicative , and so @xmath385    both definitions reduce to the familiar notion of fractional packing number @xmath362 when @xmath26 is associated to a bipartite graph @xmath359 , coming from a classical channel @xmath1 . furthermore , @xmath88 and @xmath384 are equal for cq - graphs . however , we will see later that in general they are different .      for any non - commutative bipartite graph @xmath386 , @xmath387 consequently , @xmath388 .    from the sdp ( [ eq : sigma ] ) for @xmath353 , we get operators @xmath389 and @xmath267 such that @xmath390 , with @xmath391 and @xmath392 . hence @xmath393 and so @xmath394 i.e.  @xmath395 is feasible for the dual formulation of @xmath384 , hence the result follows .    below we will see that this bound ( both in its one - shot and regularized form ) is in general strict , indeed already for cq - channels it is not a strict equality . we do not know whether @xmath46 is in general related to @xmath88 , but we will show bounds in either direction for cq - channels . suppose that the cq - channel @xmath1 acts as @xmath396 , with support @xmath397 and support projection @xmath82 of @xmath83 . then , the non - commutative bipartite graph @xmath26 associated with @xmath1 is given by @xmath398 , and the projection for the choi - jamiokowski matrix is @xmath399 . the sdp ( [ eq : upsilon ] ) easily simplifies to @xmath400 the semidefinite packing number ( [ eq : aram ] ) , on the other hand , simplifies to @xmath401    as this is an sdp relaxation of the problem ( [ eq : upsilon : cq - channel ] ) , we obtain :    [ lemma : u - aram - bound ] for a non - commutative bipartite cq - graph @xmath386 , @xmath402 consequently , @xmath403 .    in general , @xmath46 can be strictly smaller than @xmath88 , see subsection [ 2-state - example ] below , but we shall prove equality for the regularization , by exhibiting a lower bound @xmath404 the way to do this is to take a feasible solution @xmath405 of the sdp ( [ eq : aram : cq - channel ] ) ; w.l.o.g . its value @xmath406 , otherwise the above statement is trivial . on strings @xmath407 of length @xmath73 this gives a feasible solution @xmath408 for @xmath36 , with value @xmath409 now for @xmath410 different symbols @xmath411 there are at most @xmath412 many types of strings , hence there is one type @xmath413 such that @xmath414 restricting the input of the channel to @xmath415 ( while the output is still @xmath416 ) , we thus loose only a polynomial factor of the semidefinite packing number . what we gain is that the inputs are all of the same type , which means that the output projectors @xmath417 are related to each other by unitaries @xmath418 permuting the @xmath73 @xmath167-systems . note that then also all of the @xmath419 on the left hand side above are the same , say @xmath420 , and hence the left hand side is @xmath421 . abstractly , we are thus in the following situation : assume that there exists a transitive group action by unitary conjugation on the @xmath82 , i.e.  we have a finite group @xmath8 acting transitively on the labels @xmath96 ( running over a set of size @xmath230 ) , and a unitary representation @xmath422 , such that @xmath423 for @xmath424 . in other words , the entire set of @xmath84 is the orbit @xmath425 of a fiducial element @xmath426 under the group action . then we can twirl the sdp ( [ eq : aram : cq - channel ] ) and w.l.o.g . assume that all @xmath405 are identical to @xmath427 , so the constraint reduces to @xmath428 , meaning that the largest admissible @xmath427 is @xmath429 , and the semidefinite packing number @xmath430 .    from this we see that the representation theory of @xmath422 has a bearing on the semidefinite packing number @xmath88 ; cf . @xcite for some basic facts that we shall invoke in the following . indeed , it also governs @xmath46 since we can do the same twirling operation and find that in the sdp ( [ eq : upsilon : cq - channel ] ) we have w.l.o.g .  that all @xmath405 are equal to the same @xmath427 , but also that for @xmath431 , w.l.o.g .  @xmath432 . in particular , in this case @xmath433 let us be a little more explicit in the reduction of the sdp ( [ eq : upsilon : cq - channel ] ) to the above sdp : let @xmath427 and @xmath434 be feasible as above , and denote by @xmath435 the subgroup of @xmath8 leaving @xmath42 invariant , @xmath436 . by lagrange s theorem , @xmath437 . then , @xmath438 is also feasible with the same @xmath427 , using @xmath439 for all @xmath440 . letting @xmath441 for any @xmath442 such that @xmath443 , and @xmath444 , then yields a feasible solution for ( [ eq : upsilon : cq - channel ] )  and this is well - defined . thus @xmath46 is not smaller than the above sdp . in the other direction , let @xmath405 and @xmath445 be feasible for ( [ eq : upsilon : cq - channel ] ) , i.e.  @xmath446 . letting @xmath447 and @xmath448 yields a feasible solution for ( [ eq : upsilon : covariant - cq - channel ] ) . if the representation @xmath422 happens to be irreducible , we are lucky because then the group average in the second line in eq . ( [ eq : upsilon : covariant - cq - channel ] ) is automatically proportional to the identity , by schur s lemma . hence the optimal choice is @xmath449 and we find @xmath450 . in general this wo nt be the case , but if the representation @xmath422 is `` not too far '' from being irreducible , in a sense made precise in the following proposition , then @xmath46 is not too much smaller than @xmath88 :    [ key - lemma ] for a set of projections @xmath82 on @xmath167 with a transitive group action by conjugation under @xmath422 , let @xmath451 be the isotypical decomposition of @xmath167 into irreps @xmath452 of @xmath422 , with multiplicity spaces @xmath453 . denote the number of terms @xmath454 by @xmath455 , and the largest occurring multiplicity by @xmath456 . then , for the corresponding cq - graph @xmath26 , @xmath457 if @xmath458 . assume that we have a feasible @xmath459 for @xmath88 such that @xmath460 . our point of departure is the sdp ( [ eq : upsilon : covariant - cq - channel ] ) : for given @xmath461 and @xmath462 , schur s lemma tells us @xmath463 where @xmath464 is the projection onto the irrep @xmath452 , @xmath465 is a semidefinite operator on @xmath453 . feasibility of @xmath427 and @xmath434 ( to be precise : the equality constraints ) is equivalent to @xmath466 , the projection onto @xmath453 , for all @xmath454 . now , for each @xmath454 choose an orthogonal basis @xmath467 of hermitians over @xmath453 , with @xmath468 and @xmath469 for @xmath470 . then the @xmath471 form a basis of the @xmath422-invariant operators , hence our sdp can be rephrased as @xmath472 notice that here , the semidefinite constraints on @xmath434 leave quite some room , whereas we have `` only '' @xmath473 linear conditions to satisfy . given @xmath459 satisfying the constraint of @xmath88 , our strategy now will be to show that we can construct a @xmath474 such that the above equations are true with @xmath475 on the left hand side , and with a factor @xmath476 on the right hand side . we will choose @xmath477 and thus there is a feasible solution with @xmath478 to ( [ eq : upsilon : covariant - cq - channel-2 ] ) , hence @xmath479 as claimed . in detail , introduce a new variable @xmath480 , with @xmath481 which makes sure that @xmath434 is automatically supported on the orthogonal complement of @xmath426 . rewrite the equations @xmath482 in terms of @xmath51 , introducing the notation @xmath483 this gives , noting @xmath484 for all @xmath96 because of the @xmath422 invariance of @xmath485 , @xmath486 what we need of the coefficients @xmath487 is that they can not be too large : from @xmath488 we get @xmath489    our goal will be to find a `` nice '' dual set @xmath490 to the @xmath491 , i.e.  @xmath492 , with which we can write a solution @xmath493 . to this end , we construct first the dual set @xmath494 of the @xmath495 , which is easy : @xmath496 so that indeed @xmath497 . now , consider the @xmath498-matrix @xmath395 , @xmath499 with the deviation @xmath500 here , @xmath501 using @xmath502 , the unitary invariance of the trace norm , and lemma  [ lemma : tracenorm - trace ] below . since @xmath503 is invariant under the action of @xmath422 , we have @xmath504 for all @xmath96 , and using @xmath505 we get @xmath506 with this we get that @xmath507 if @xmath508 . assuming @xmath509 ( which will be the case with our later choice ) , we thus know that @xmath395 is invertible ; in fact , we have @xmath510 with @xmath511 , hence @xmath512 and so @xmath513 i.e. , writing @xmath514 we get @xmath515 the invertibility of @xmath395 implies that there is a dual set to @xmath491 in @xmath516 . indeed , from the definition of @xmath517 and the dual sets , @xmath518    now we can finally write down our candidate solution to eqs . ( [ eq : x - and - t ] ) : @xmath519 the remainder term `` rest '' can be bounded as follows : @xmath520 using eqs . ( [ eq : t - bound ] ) and ( [ eq : tilde - delta - bound ] ) . thus we find @xmath521 if @xmath522 and @xmath523 . in this case , @xmath524 and we can wrap things up : @xmath525 satisfies @xmath526 as well as @xmath527 i.e. , we get a feasible solution @xmath528 for @xmath46 . [ lemma : tracenorm - trace ] let @xmath375 be a state and @xmath529 a projection in a hilbert space @xmath530 . then , @xmath531 more generally , for @xmath480 and a povm element @xmath532 , @xmath533    we start with the first chain of inequalities . the left hand one follows directly from the definition of the trace norm . for the right hand one , choose a purification of @xmath534 on @xmath535 . now , @xmath536 and @xmath537 . thus , by the monotonicity of the trace norm under partial trace , @xmath538    the second chain is homogenous in @xmath51 , so we may w.l.o.g . assume that @xmath539 , i.e.  @xmath540 is a state . for a general povm element @xmath262 there is an embedding @xmath541 of the hilbert space @xmath530 into a larger hilbert space @xmath542 and a projection @xmath529 in @xmath542 such that @xmath543 . then , @xmath544 as before by the definition of the trace norm , and using the invariance of the trace number under unitaries and the first part , @xmath545 which concludes the proof .    for the permutation action of @xmath546 on @xmath416 , the irreps @xmath454 are labelled by young diagrams with at most @xmath547 rows , hence @xmath548 , and it is well - known that @xmath549  ( * ? ? ? 6.2 ) , @xcite . thus the previous proposition yields directly the following result , observing that @xmath455 and @xmath249 are polynomially bounded in @xmath73 , whilst @xmath550 grows exponentially . [ c - q - capacity - aram ] let @xmath26 be a non - commutative bipartite cq - graph with @xmath551 inputs and output dimension @xmath547 . then for sufficiently large @xmath73 , @xmath552 consequently , @xmath553 . lemma  [ lemma : u - aram - bound ] and proposition  [ c - q - capacity - aram ] together prove theorem  [ thm : cq - capacity ] . [ c - q - capacity - additivity ] for any two non - commutative bipartite cq - graphs @xmath92 and @xmath93 , @xmath554 .      here we study the asymptotic zero - error simulation cost of a non - commutative bipartite cq - graph @xmath398 , where the subspace @xmath397 is the support of the projection @xmath82 . thus , @xmath399 and the sdp ( [ eq : sigma ] ) easily simplifies to @xmath555 similarly , the dual sdp ( [ eq : sigma - dual ] ) simplifies to @xmath556    [ prop : sigma - cq - multi ] for non - commutative bipartite cq - graphs @xmath26 , @xmath353 is multiplicative under tensor products , i.e. @xmath557 where @xmath92 and @xmath93 are arbitrary non - commutative bipartite cq - graphs . the sub - multiplicativity of @xmath353 is evident from ( [ eq : sigma : cq - channel ] ) . we will show that the super - multiplicativity follows from the dual sdp ( [ eq : dual : cq - channel ] ) . indeed , let @xmath92 and @xmath93 correspond to @xmath84 and @xmath558 , respectively , and assume that @xmath559 and @xmath560 are optimal solutions to @xmath561 and @xmath562 in dual sdps , respectively . then we have @xmath563 where @xmath564 denotes the minimal eigenvalue of the linear operator @xmath565 in the support of @xmath82 . similarly , we have @xmath566 clearly , we have @xmath567 so @xmath568 is a feasible solution to the dual sdp for @xmath569 . since the dual sdp takes maximization , we have @xmath570    from the above result we can read off directly    for any non - commutative bipartite cq - graph @xmath386 , @xmath571 in fact , @xmath572 for any two non - commutative bipartite cq - graphs @xmath92 and @xmath93 . this theorem motivates us to call @xmath573 the _ semidefinite covering number _ , at least for cq - graphs @xmath26 , in analogy to a result from @xcite which states that the zero - error simulation rate of a bipartite graph is given by its fractional packing number . note however that while fractional packing and fractional covering number are dual linear programmes and yield the same value , the semidefinite versions @xmath574 are in general distinct ; already in the following subsection  [ 2-state - example ] we will see a simple example for strict inequality .    for general non - commutative bipartite graph @xmath26 , we do not know whether the one - shot simulation cost also gives the asymptotic simulation cost . however , this is true when @xmath575 corresponds to an extremal channel @xmath576 , which is well - known to be equivalent to the set of linear operators @xmath577 being linearly independent @xcite . actually , in this case , there can only be a unique channel @xmath1 such that @xmath43 , and furthermore , a unique channel @xmath578 such that @xmath579 . hence @xmath580 thus we have the following result :    [ extremal - channel - cost ] let @xmath575 be an extremal non - commutative bipartite graph in the sense that @xmath577 is linearly independent . then @xmath581 for the choi - jamiokowski state of the unique channel @xmath1 with @xmath71 . furthermore , @xmath582 if both @xmath92 and @xmath93 are extremal non - commutative bipartite graphs . the fact that the set of extremal non - commutative bipartite graphs has a one - to - one correspondence to the set of extremal quantum channels has greatly simplified the simulation problem . how to use this property to simplify the assisted - communication problem is still unclear .      here we will examine our above findings of one - shot and asymptotic capacities and simulation costs for the simplest possible cq - channel , which has only two inputs and two pure output states @xmath583 , w.l.o.g . @xmath584 with @xmath585 . in fact , we shall assume @xmath586 since the two equality cases are trivial ( noiseless classical channel and completely noisy channel , respectively ) . note @xmath587 ; the non - commutative bipartite cq - graph @xmath588 . we can work out all the optimization problems introduced before : @xmath589    eq . ( [ twostate - cq - n - shot ] ) directly gives us @xmath590 since the signal ensemble is symmetric under the pauli @xmath591 unitary ( which exchanges two output states ) , it is easy to evaluate @xmath592 , eq . ( [ twostate - cq - aram ] ) . also @xmath377 is easy to compute , yielding eq . ( [ twostate - cq - cmine ] ) . for pure state cq - channels @xmath1 , by dephasing the input of any channel with kraus operators in @xmath593 , we get a simulation of @xmath1 itself , hence @xmath594 proving eq . ( [ twostate - cq - cost ] ) . noticing that @xmath1 is the unique extremal channel in @xmath26 , we can also apply theorem [ extremal - channel - cost ] to obtain eqs . ( [ twostate - cq - cmine ] ) and ( [ twostate - cq - cost ] ) directly . so we have @xmath595 and both inequalities become strict when @xmath596 ( refer to fig . ( green ) , @xmath597 ( red ) and @xmath381 ( blue ) for the cq - channel of two pure states , as a function of @xmath598.,width=415 ]    the largest effort goes into calculating or bounding the numbers @xmath599 in eq . ( [ twostate - cq - n - shot ] ) . in this case we can obtain much better lower bounds ( only at most one bit less than optimal value by @xmath73 uses ) compared to theorem  [ thm : cq - capacity ] . _ one copy @xmath600 _ : let @xmath601 be the projection orthogonal to @xmath82 ( which is rank - one ) , so that @xmath602 with a number @xmath603 . because of the @xmath591-symmetry , @xmath604 we can symmetrize any solution and assume @xmath605 and @xmath606 . then the normalization condition reads @xmath607 which implies @xmath608 . hence the maximum value of @xmath609 . _ many copies @xmath610 _ : in this case it is difficult to find the optimum , but it is enough that we show the achievability of @xmath611 for sufficiently large @xmath73 . note that this already implies that the sdp for the zero - error number of messages is not multiplicative ! somehow , what s happening is that the normalization condition of @xmath612 is a non - trivial constraint because @xmath445 has to be supported on the orthogonal complement of @xmath82 ; this hurts us in the case @xmath600 . now in the case of many copies , @xmath82 is a tensor product of single - system projections , hence the orthogonal complement is asymptotically dominating . we have seen how these considerations help in understanding the general case . we have @xmath613 states @xmath614 , indexed by @xmath73-bit strings @xmath615 , which are related by qubit - wise @xmath591-symmetry :    @xmath616 which motivates that we find @xmath617 ( orthogonal to @xmath618 ) and define    @xmath619    let @xmath620 where @xmath621 is the weight ( the number of @xmath165 s ) of the @xmath73-bit string @xmath615 . we also denote @xmath622 which is always a projection for @xmath623 and vanishing for @xmath624 .    for @xmath625 , we have @xmath626    clearly @xmath627 for @xmath628 . now we set all @xmath629 equal to @xmath427 , and propose the following ansatz @xmath630 where @xmath427 and @xmath631 are non - negative eigenvalues to be determined . note that @xmath617 is automatically supported on the orthogonal complement of @xmath618 . we need @xmath632 or equivalently ,    @xmath633    using the @xmath634 symmetry , we can calculate @xmath635 similarly @xmath636 and @xmath637    applying the property that @xmath638 , we can see that ( * ) is equivalent to    @xmath639 and @xmath640 then @xmath641 we need @xmath642 , which is equivalent to @xmath643 , or @xmath644 the first term of the left hand side ( lhs ) of the above inequality achieves the maximum when @xmath645 , and the second term of the lhs reaches the maximum when @xmath646 . so we only need @xmath647 or @xmath648 which is always satisfied when @xmath73 is large enough . note that when @xmath649 , we have @xmath650 the above constraint is tight in the sense @xmath651 if @xmath652 ; otherwise @xmath653 . more precisely , we have @xmath654 when @xmath652 , and @xmath655 when @xmath656 . let us consider now the more general case with two output states @xmath68 and @xmath69 with projections @xmath426 and @xmath657 , respectively . denote @xmath658 @xmath659 is known as the maximal fidelity between @xmath68 and @xmath69 , but depends only on their supports @xmath660 and @xmath92 . a key property of the maximal fidelity is the following @xcite :    there exists a cptp map @xmath661 such that @xmath662 and @xmath663 if and only if @xmath664 .    applying this result , we can show that the case of two general output states @xmath68 and @xmath69 is simply equivalent to the case of two pure output states @xmath665 and @xmath666 such that @xmath667 . thus we have @xmath668 as we have seen , different non - commutative bipartite graphs @xmath26 , even cq - graphs , having the same confusability graph @xmath8 , can have different assisted zero - error capacity @xmath76 and simulation cost @xmath78 ; c.f .  the last subsection [ 2-state - example ] in the previous section . a classical undirected graph is given by @xmath669 , where @xmath670 is the set of vertices , and @xmath671 is the set of edges . as shown in previous work @xcite , @xmath8 is naturally associated with a non - commutative graph , denoted @xmath101 , via the following way : @xmath672 where @xmath673 means confusability : @xmath674 or @xmath675 is an edge of the graph @xcite .    hence the questions we are facing are the maximum and minimum @xmath76 and @xmath78 over all cq - graphs @xmath26 with @xmath676 . while the maximum is clearly @xmath677 for both quantities , the minima turn out to be much more interesting . we restate here the main result we will go on to prove in this section .    * theorem  [ thm : theta ] *   _ for any classical graph @xmath8 , the lovsz number @xmath9 is the minimum zero - error classical capacity assisted by quantum no - signalling correlations of any cq - channels that have @xmath8 as non - commutative graph , _ i.e. _ @xmath100 where the minimization is over cq - graphs @xmath26 . + in particular , equality holds for any cq - channel @xmath102 such that @xmath103 is an optimal orthogonal representation for @xmath8 in the sense of lovsz original definition @xcite . _    the proof of this result is achieved by combining two facts about the semidefinite packing number for cq - channels : 1 ) @xmath88 gives the zero - error classical capacity assisted with no - signaling correlations for a cq - channel ; 2 ) the lovsz number @xmath9 of a graph is given by the minimization of @xmath88 for all non - commutative bipartite graph @xmath26 that generate the same confusability graph @xmath8 . the first fact has been proven in theorem [ c - q - capacity - aram ] , so we focus on the second for the rest of the section . let @xmath678 be a kraus operator space with @xmath679 , and let @xmath680 be the non - normalized maximally entangled state . then @xmath529 , the projection on the support of the choi - jamiokowski state , can be written as @xmath681    we can rewrite the semidefinite packing number @xmath88 using these kraus operators @xmath682 : @xmath683 note that @xmath682 spans a valid kraus operator space of a quantum channel . so @xmath684 ( positive definite ) . the dual sdp is @xmath685 and we can easily verify that both the primal and the dual are strictly feasible by choosing @xmath686 and @xmath687 ( here @xmath688 is sufficiently large ) , respectively . hence strong duality holds . we will start by deriving some minimax representations of @xmath88 . let us introduce @xmath689 where @xmath690 and @xmath691 represent the maximal and the minimal eigenvalues of a hermitian operator @xmath395 , respectively , and @xmath692 , @xmath693 are cp maps ( but not necessarily trace or unit preserving ) ; @xmath375 and @xmath265 range over all density operators , i.e.  @xmath694 and @xmath695 .    in the second and the fourth equalities above , we have employed the following well - known characterizations : @xmath696    in the third equality we have employed the obvious equality @xmath697 , and von neumann s minimax theorem @xcite , since @xmath698 is a linear function with respect to @xmath375 and @xmath265 , and @xmath375 and @xmath265 range over convex compact sets . [ lemma : aram - dual ] under the above definitions , @xmath699 for any non - commutative bipartite graph @xmath26 . suppose that @xmath700 for some @xmath462 . let us construct a density operator @xmath701 . by the assumption @xmath702 , we have @xmath703 or equivalently @xmath704 by the definition of @xmath705 , we have @xmath706 conversely , suppose that @xmath707 for some density operator @xmath68 . then we have @xmath708 , and thus @xmath709 that means @xmath710 is a feasible solution of the sdp defining the semidefinite packing number . by the definition of @xmath88 , we know that @xmath711 concluding the proof . focussing on the special class of cq - channels , which are in some sense the direct quantum generalizations of classical channels , we are now ready for    of theorem  [ thm : theta ] let @xmath26 correspond to a cq - channel @xmath712 , and let @xmath82 be the projection on the support of quantum states @xmath83 . it will be more convenient to study @xmath705 instead of @xmath88 . actually , applying the above minimax representation to this special case , we have @xmath713 where @xmath714 ranges over probability distributions , and @xmath265 ranges over density operators . the right - most expression motivates us to introduce some notations .    by definition , @xmath84 is an orthogonal representation ( or ) of the confusability graph @xmath8 induced by the cq - channel . the value of an or @xmath84 is defined as follows : @xmath715 we introduce the following function of a graph @xmath8 , @xmath716 where the maximization ranges over all possible ors of @xmath8 . clearly , if we require that an or consists of only rank - one projections and @xmath265 takes only rank - one projection , then @xmath717 , the reciprocal of the lovsz number of @xmath8 @xcite . it has been shown in @xcite that even allowing @xmath82 to be general projection but @xmath265 to be rank - one projection , there is no difference between @xmath718 and @xmath719 . however , if @xmath265 is a mixed state , we can only have @xmath720 . interestingly , we can show that equality does hold . in fact , it is evident that if @xmath84 is an or for a graph @xmath8 , then @xmath721 remains an or for the same graph , where @xmath167 is any auxiliary system . now the value of @xmath84 with respect to general mixed states , is the same as the value of @xmath721 with respect to pure states . that is , @xmath722 where @xmath723 . the above equality follows directly from the fact that @xmath724 where @xmath725 is any purification of @xmath265 . summarizing , we have @xmath726 and we are done .    as a final comment on the above proof , note that for a fixed or @xmath84 , we can not always choose the optimal handle @xmath265 as a pure state the restriction to rank - one projectors and pure state handle only emerges as we optimize over both elements . we would like to interpret theorem  [ thm : theta ] to say intuitively that the zero - error capacity of a graph @xmath8 assisted by no - signalling correlations is @xmath9 . the problematic part of such a manner of speaking is that there are many cq - graphs @xmath26 with the same confusability graph @xmath8 , but the no - signalling assisted capacity may vary with these @xmath26 . however , note that for any ( finite ) family of cq - graphs @xmath727 such that @xmath728 , @xmath729 , we can construct a cq - graph @xmath26 that `` dominates '' all of the @xmath727 in the sense that any no - signalling assisted code for @xmath26 can be used directly for @xmath727 because actually @xmath730 : @xmath731 by going from direct sums to direct integrals , we can thus construct a universal cq - graph @xmath732 which dominates _ all _ @xmath727 with confusability graph @xmath8 , in fact contains them up to isomorphism . any no - signalling assisted code for this object will deal in particular with every eligible channel simultaneously . the only caveat is that the @xmath733 are subspaces in an a priori infinite dimensional hilbert space , and all of our proofs ( in particular that of theorem  [ thm : cq - capacity ] ) require finite dimension as a technical condition . we conjecture however that the capacity result of theorem  [ thm : cq - capacity ] still holds in that setting . just as we were looking at the smallest zero - error capacity over all cq - channels with a given confusability graph @xmath8 in this section , we can study the minimum simulation cost over all cq - graphs @xmath26 with @xmath734 . to be precise , we are interested in @xmath735 and the asymptotic simulation cost ( regularization ) @xmath736 where @xmath737 denotes the @xmath73-fold strong graph product . the latter limit exists and equals the infimum because evidently @xmath738 .    for a cq - graph @xmath26 , we have @xmath739 in fact for every eligible cq - channel @xmath1 with non - commutative bipartite graph @xmath26 , @xmath740 the reason is that @xmath741 is the zero - error capacity assisted by no - signalling correlations ( theorem [ thm : cq - capacity ] ) ; while @xmath742 is the holevo ( small - error ) capacity , which is the same as the entanglement - assisted capacity for cq - channels and which is not increased by any other available no - signalling resources because of the quantum reverse shannon theorem @xcite ; and @xmath743 is the perfect simulation cost of the channel when assisted by no - signalling resources , with the choi - jamiokowski matrix @xmath744 , eq . ( [ eq : g0-equals - sigma ] ) .    in eq . ( [ eq : k - chain ] ) , @xmath745 because @xmath26 is a cq - graph , so we only need to consider cq - channels @xmath746 in the minimization , for which @xmath747 letting now @xmath748 we then have the following additivity result .    [ lemma : c - min - add : graph ] for any two graphs @xmath8 and @xmath749 , @xmath750    the subadditivity , @xmath751 , is evident from the definition , because if @xmath752 and @xmath753 , then @xmath754 . it remains to show the opposite inequality `` @xmath755 '' . this relies crucially on the minimax identity @xmath756 where the maximum is over probability distributions @xmath757 and the infimum is over cq - channels @xmath1 with confusability graph contained in @xmath8 . this is a special case of sion s minimax theorem  @xcite , since the holevo mutual information is well - known to be concave in @xmath757 and convex in @xmath1 , while the domain of @xmath757 is the convex compact simplex of finite probability distributions and the domain of @xmath1 is an infinite - dimensional convex set . now , for a cq - channel @xmath758 with confusability graph contained in @xmath759 , and an arbitrary distribution @xmath760 of the two input variables @xmath51 and @xmath52 , we have @xmath761 here , the first term refers to the cq - channel @xmath762 while the @xmath96-th summand in the second term sum refers to the cq - channel @xmath763 note that @xmath764 is eligible for @xmath8 ( since @xmath765 implies @xmath766 for all @xmath767 , hence @xmath768 ) , while similarly for all @xmath96 , @xmath769 is eligible for @xmath749 . thus , in eq . ( [ eq : chain - rule ] ) , we can take the infimum over eligible cq - channels , to obtain @xmath770 where the minimizations are over cq - channels @xmath1 eligible for @xmath759 , @xmath771 eligible for @xmath8 and @xmath772 eligible for @xmath749 , whereas @xmath773 and @xmath774 are independent copies of @xmath51 and @xmath52 , i.e.  they are jointly distributed according to @xmath775 . now , taking the maximum over distributions @xmath760 completes the proof because of the minimax formula ( [ eq : c_min : minimax ] ) .    as a corollary , we get the following chain of inequalities : @xmath776 note that it may be true that @xmath777 , but to prove this we would need to show the additivity relation @xmath778 , which remains unknown . another observation is that if in the respective minimizations , the channels are restricted to classical channels , then the results of @xcite show that @xmath779    we now demonstrate by example that the rightmost inequality in ( [ eq : min - over - graphs ] ) can be strict , when quantum channels are considered . namely , for even @xmath73 let @xmath780 the complement of the hadamard graph @xmath781 , whose vertices are the vectors @xmath782 and two vectors @xmath783 are adjacent in @xmath781 if and only if they are orthogonal in the euclidean sense , @xmath784 . in other words , the cq - channel @xmath785 has confusability graph @xmath8 . since the output dimension is @xmath73 , we see from this that @xmath786 , which happens to coincide with the lovsz number , @xmath787 , hence @xmath788 . on the other hand , the clique number of @xmath8 is known to be upper bounded @xmath789 @xcite , hence @xmath790 , meaning @xmath791 . we think that also the leftmost inequality in ( [ eq : min - over - graphs ] ) can be strict . but although the pentagon @xmath792 seems to be a candidate , for which we conjecture ( based on some ad hoc calculations ) that @xmath793 , whereas @xmath794 , a rigorous proof of this has so far eluded us . whether the other two inequalities can be strict remains an open question . given a non - commutative bipartite graph @xmath26 , it is important to know when @xmath26 is able to send classical information exactly in the presence of quantum no - signalling correlations . it turns out that these channels can be precisely characterized ; we will start with cq - graphs . [ feasibility - cq ] let @xmath26 be a non - commutative bipartite cq - graph specified by a set of projections @xmath795 with supports @xmath796 . then the following are equivalent :    1 . @xmath797 ; 2 . @xmath798 ; 3 . @xmath799 . the equivalence of i ) and ii ) follows directly from proposition [ c - q - capacity - aram ] . the equivalence of ii ) and iii ) is only a simple application of the sdp of @xmath88 for bipartite cq - graphs . first , we show that iii ) implies ii ) . by contradiction , assume that the intersection of supports of @xmath82 is empty while @xmath800 . recall that the dual sdp of @xmath88 is given by @xmath801 then @xmath800 implies that we can find @xmath802 such that @xmath803 and @xmath804 for any @xmath96 . clearly @xmath805 is a density operator , and we should have @xmath806 for any @xmath96 . the only possibility is that @xmath805 is in the intersection of the supports of @xmath82 , which is a contradiction . now we turn to show that ii ) implies iii ) . again by contradiction , assume that @xmath798 while the intersection of supports is nonempty . then we can find a pure state @xmath807 from the intersection such that @xmath808 . so @xmath809 thus any feasible solution should have @xmath810 , which indeed implies that @xmath800 . [ feasibility - k ] let @xmath26 be a non - commutative bipartite graph with choi - jamiokowski projection @xmath23 , and let @xmath811 be the orthogonal complement of @xmath23 . then the following are equivalent :    1 . @xmath797 ; 2 . @xmath798 ; 3 . @xmath812 ; 4 . @xmath813 is positive definite .    as a matter of fact , we have @xmath814    the meaning of i ) and ii ) are very clear , while iii ) and iv ) need some explanation . essentially , iv ) means we can find a cp map from @xmath167 to @xmath16 with choi - jamiokowski matrix @xmath815 supporting on some subset of @xmath816 . note that in the one - shot sdp formulation of @xmath46 , we need @xmath815 to be a cptp map . however , the trace - preserving condition is not necessary for asymptotic case but only @xmath817 is positive definite , which is the most nontrivial part of this theorem . \iii ) is directly equivalent to iv ) as we have @xmath818 , hence @xmath819    in the following we only focus on i ) , ii ) , and iii ) . the equivalence of ii ) and iii ) is straightforward , simply noticing that @xmath820 is a feasible solution to the primal sdp for @xmath88 , where @xmath821 . the equivalence of i ) and iii ) is much more difficult and non - trivial . in the following we want to explain a little bit more about this equivalence as there are some tricky points . first , let s see how to use iii ) to derive i ) . we can apply the standard super - dense coding protocol , and obtain a cq - channel with @xmath822 outputs @xmath823 , and the projections are given by @xmath824 , where @xmath825 are generalized pauli matrices acting on @xmath16 . so we can compute the semidefinite packing number as @xmath826 this is also the zero - error no - signalling assisted classical capacity of this cq - channel . noticing that when @xmath827 strictly holds , the right - hand side of the above equation is strictly larger than @xmath165 . the fact that i ) implies iii ) can be proven by contradiction together with the one - shot sdp formulation for @xmath46 . assume i ) holds but @xmath828 does not have full rank . then we can find a non - zero vector @xmath829 such that @xmath830 . or equivalently , @xmath831 . \i ) means for some @xmath610 we have @xmath832 . by the one - shot sdp formulation of @xmath599 , we can find positive semidefinite operators @xmath833 and @xmath834 , such that @xmath835 so we can find @xmath836 with @xmath837 , with full rank . on the other hand , we also have @xmath838 supported on @xmath839 , and the later is the summation of product terms such as @xmath840 , containing at least one factor @xmath816 each . so we have @xmath841 which immediately implies that @xmath842 is vanishing on the product vector @xmath843 , contradicting the fact that @xmath844 has full rank . the simple bound @xmath845 is very interesting , and in some important cases it is tight , such as the cq - channels with symmetric outputs , and the class of pauli channels . it would be interesting to know whether this kind of `` entanglement - assisted coding '' could provide a possible way to resolve our puzzle between @xmath76 and @xmath88 , eventually . we have shown that there is a meaningful theory of zero - error communication via quantum channels when assisted by quantum no - signalling correlations .    in the terminology of non - commutative graph theory , both the one - shot zero - error classical capacity and simulation cost for non - commutative bipartite graphs assisted by quantum no - signalling correlations have been formulated into feasible sdps . the asymptotic problems for non - commutative bipartite cq - graphs have also been successfully solved , where the capacity turns out to involve a nontrivial regularization of super - multiplicative sdps , which nevertheless leads to another sdp , the semidefinite packing number . we found analogously that the zero - error simulation cost of a cq - graph is given by a semidefinite covering number , which in contrast to the classical case is in general larger than the packing number . the zero - error classical capacity of a classical graph assisted by quantum no - signalling correlations is given precisely by the celebrated lovsz number . for the most general non - commutative bipartite graphs , we are able to provide a necessary and sufficient condition for when these graphs have positive zero - error classical capacity assisted with quantum no - signalling correlations    we know rather little about the asymptotic capacity and simulation cost for non - commutative bipartite graphs that are not classical - quantum , however . a very interesting candidate is the non - commutative bipartite graph @xmath846 associated with the amplitude damping channel @xmath847 , with @xmath848 , @xmath849 and @xmath850 . the extremes @xmath851 and @xmath852 correspond to the noiseless qubit channel and a constant channel , respectively , and are trivial ; we will hence assume @xmath853 . this channel is quite interesting because it gives a separation between the semidefinite packing number and the modified version , and other quantities . it is also interesting because there is only one unique channel @xmath854 which has @xmath855 as the kraus operator space . actually it is a non - unital extreme point of the convex set of cptp maps . this channel is also able to communicate classical information without error when assisted with no - signalling correlations . by applying the above super - dense coding bound , we have @xmath856 by some routine calculation , we can show that the semidefinite packing number is @xmath857 , the revised version @xmath858 , and @xmath859 where @xmath860 is the binary entropy . clearly , @xmath861 , while @xmath862 . this means that the revised semidefinite packing number can not be equal to the zero - error classical capacity assisted by quantum no - signalling correlations . whether the original form has the same problem remains unknown . there are many other interesting open problems , of which we highlight a few here . first , it would be very interesting to explore the mathematical structures of quantum no - signalling correlations in greater detail , and to characterize quantitatively how much non - locality is contained in a quantum no - signalling correlation . second , it is of great importance to solve the general asymptotic capacity and cheapest simulation problems in the zero - error setting when assisted with quantum no - signalling correlations . in particular , are there examples of strict sub - multiplicativity of @xmath573 ?    the third problem of great interest is to explore the relationship between the quantum lovsz @xmath0 function introduced in ref . @xcite for a non - commutative graph @xmath863 , and the zero - error classical capacity of this non - commutative graph assisted with quantum no - signalling correlations , _ i.e. _ of kraus operator spaces @xmath26 with @xmath864 . likewise , what is the minimum simulation cost @xmath573 or @xmath865 over all such @xmath26 ? this latter is open already for a classical graph @xmath8 and cq - graphs @xmath26 with confusability graph @xmath8 , see the end of section  [ sec : theta ] . in any case , it seems that @xmath866 and @xmath867 are two new interesting , multiplicative graph parameters , different from both @xmath9 and @xmath868 . fourth : are no - signalling correlations really necessary to achieve the asymptotic simulation cost @xmath78 , or is perhaps entanglement enough ? the motivation for this question comes from @xcite where it was shown that for classical channels , optimal asymptotic simulation is possible using only shared randomness , no other non - local resources are needed . a nice test case for this question is provided by cq - graphs , for which it is easy to see that @xmath869 . on the other hand , the entanglement - assisted simulation of cq - channels , also known as _ remote state preparation _ @xcite is far harder to understand . indeed , for generic channels the best known protocol requires @xmath870 bits of communication , which is the communication cost of teleportation @xcite . fifth , which no - signalling resources are actually required to achieve the asymptotic zero - error capacity @xmath76 ? this seems an innocuous question  after all , for each channel the sdp @xmath871 tells us precisely which no - signalling correlation achieves the maximum . but looking at the case of classical channels and bipartite graphs @xcite , in the light of a classical result of elias @xcite , shows that there only a very specific resource is required , which is universal for all channels . namely , according to ( * ? ? ? 4 ) , a list size-@xmath455 list code for a bipartite graph @xmath359 can achieve a rate @xmath872 , which is arbitrarily close to @xmath873 for sufficiently large @xmath455 . using such a code , alice can send a message @xmath96 out of @xmath874 over @xmath73 uses of the channel , and bob will end up with a list , i.e.  a subset @xmath875}$ ] of @xmath876 possible messages such that @xmath877 . to resolve the remaining ambiguity , alice and bob now require a no - signalling resource @xmath878 that we call _ subset correlation _ , defined for @xmath879 $ ] , @xmath880\choose l}$ ] , @xmath881 $ ] , with @xmath882 alice will input @xmath96 into the box , bob the set @xmath883 , and then alice will send her output @xmath884 to bob ; since @xmath877 , bob knows that he can recover the index @xmath427 of @xmath885 as @xmath886 . do these or other universal quantum no - signalling correlations allow to achieve the @xmath76 ( or at least @xmath887 for cq - graphs ) ?    finally , in @xcite , the observation was made that the optimal orthogonal representation of a graph @xmath8 in the sense of lovsz ( see theorem  [ thm : theta ] ) seems to satisfy @xmath888 , which was confirmed by direct calculation for several graph families . if this held in general , it would mean that @xmath9 can in a certain sense be achieved by a single channel use , rather than requiring a many - copy limit . it is a pleasure to thank many people for their interests and feedback on the present work , including salman beigi , mick bremner , eric chitambar , min - hsiu hsieh , aram harrow , masahito hayashi , richard jozsa , ching - yi lai , debbie leung , will matthews , jonathan oppenheim , xin wang , and stephanie wehner . further thanks are due to giulio chiribella , marco piani , and john watrous for delightful discussions on quantum no - signalling correlations . rd was supported in part by the australian research council ( arc ) under grant dp120103776 ( with aw ) and by the national natural science foundation of china under grants no . he was also supported in part by an arc future fellowship under grant ft120100449 . aw was supported by the european commission ( streps `` qcs '' and `` raquel '' ) , the european research council ( advanced grant `` irquat '' ) and the philip leverhulme trust . furthermore , by the spanish mineco , projects fis2008 - 01236 and fis2013 - 40627-p , with the support of feder funds , as well as the generalitat de catalunya cirit , project no . 2014 sgr 966 .          c. h. bennett , i. devetak , a. w. harrow , p. w. shor , a. winter , `` the quantum reverse shannon theorem and resource tradeoffs for simulating quantum channels '' , _ ieee trans . inf . theory _ * 60*(3):2926 - 2959 ( 2014 ) ; arxiv[quant - ph]:0912.5537 . t. s. cubitt , j. chen , a. w. harrow , `` superactivation of the asymptotic zero - error classical capacity of a quantum channel '' , _ ieee trans . inf . theory _ * 57*(12):8114 - 8126 ( 2011 ) . arxiv[quant - ph]:0906.2547 . r. duan , s. severini , a. winter , `` zero - error communication via quantum channels , non - commutative graphs and a quantum lovsz number '' , _ ieee trans . inf . theory _ * 59*(2):1164 - 1174 ( 2013 ) . arxiv[quant - ph]:1002.2514 . d. leung , l. maninska , w. matthews , m. ozols , a. roy , `` entanglement can increase asymptotic rates of zero - error classical communication over classical channels '' , _ commun . phys . _ * 311*:97 - 111 ( 2012 ) . t. eggeling , d. schlingemann , r. f. werner , `` semicausal operations are semilocalizable '' , _ europhys . lett . _ * 57*(6):782 - 788 ( 2002 ) . m. piani , m. horodecki , p. horodecki , r. horodecki , `` properties of quantum nonsignaling boxes '' , _ phys . rev . a _ * 74*:012305 ( 2006 ) . m. hayashi , `` exponents of quantum fixed - length pure state source coding '' , arxiv : quant - ph/0202002 ( 2002 ) . choi , `` completely positive linear maps on complex matrices '' , _ lin . alg . appl . _ * 10*(3):285 - 290 ( 1975 ) .                c. h. bennett , g. brassard , c. crpeau , r. jozsa , a. peres , w. k. wootters , `` teleporting an unknown quantum state via dual classical and einstein - podolsky - rosen channels '' , _ phys . * 70*(13):1895 - 1899 ( 1993 ) .
Abstract:

Answer: we study the one - shot zero - error classical capacity of a quantum channel assisted by quantum no - signalling correlations , and the reverse problem of exact simulation of a prescribed channel by a noiseless classical one . quantum no - signalling correlations are viewed as two - input and two - output completely positive and trace preserving maps with linear constraints enforcing that the device can not signal . both problems lead to simple semidefinite programmes ( sdps ) that depend only on the kraus operator space of the channel . in particular , we show that the zero - error classical simulation cost is precisely the conditional min - entropy of the choi - jamiokowski matrix of the given channel . the zero - error classical capacity is given by a similar - looking but different sdp ; the asymptotic zero - error classical capacity is the regularization of this sdp , and in general we do not know of any simple form . interestingly however , for the class of classical - quantum channels , we show that the asymptotic capacity is given by a much simpler sdp , which coincides with a semidefinite generalization of the fractional packing number suggested earlier by aram harrow . this finally results in an operational interpretation of the celebrated lovsz @xmath0 function of a graph as the zero - error classical capacity of the graph assisted by quantum no - signalling correlations , the first information theoretic interpretation of the lovsz number .