Identification Over Quantum Broadcast Channels

Identification over quantum broadcast channels is considered. As opposed to the information transmission task, the decoder only identifies whether a message of his choosing was sent or not. This relaxation allows for a double-exponential code size. An achievable identification region is derived for a quantum broadcast channel, and a full characterization for the class of classical-quantum broadcast channels. The identification capacity region of the single-mode pure-loss bosonic broadcast channel is obtained as a consequence. Furthermore, the results are demonstrated for the quantum erasure broadcast channel, where our region is suboptimal, but improves on the best previously known bounds.


Introduction
Modern data systems have an ever-growing gap between the available information storage and the bit-per-second rates, which are limited by the noisy transmission medium [1].Quantum communication is thus expected to enter the sixth generation of cellular networks (6G) in order to achieve performance gains [2][3][4].
Data volumes are even larger when limiting a system to identifying alerts, rather than recovering information.In Shannon's transmission task [5], a transmitter sends a message over a noisy channel, and the receiver needs to find which message was sent.In some modern event-triggered applications, however, the receiver may simply perform a binary decision on whether a particular message of interest was sent or not.This setting is known as identification via channels [6].Identification (ID) is relevant for various applications such as watermarking [7][8][9] and sensor communication [10].In vehicle-to-X communication [11], a vehicle may announce information about its future movements to the surrounding road users.Every road user is interested in one specific movement that interferes with its plans, and it checks only if this movement is announced or not.
The ID capacity of a classical-quantum channel was determined by Löber [12] and Ahlswede and Winter [13] (see also [14]).The ID capacity turns out to have the same value as the transmission capacity for most classical-input single-user channels that we know of.However, the units are different.Specifically, the ID code size grows doubly exponentially in the block length, provided that the encoder has access to a source of randomness.Thereby, identification codes achieve an exponential advantage in throughput compared to transmission codes.This is attained by letting the encoding and decoding sets overlap.General results for ID are surveyed in [15].Löber [12] considered a simultaneous identification scenario, in which the same measurement is performed in order to perform identification for multiple receivers.This is also relevant to a network that consists of chains [16].In [17], Boche et al. considered identification over the classical-quantum channel under channel uncertainty and secrecy constraints.For quantum-quantum channels, even the single-user identification capacity is unknown so far, except for special channels [14].In general, it can exceed the transmission capacity of a quantum channel [14], and was recently shown to exceed the simultaneous identification capacity [18].For example, the transmission capacity and the simultaneous identification capacity of the noiseless qubit channel are both one [18,19], but the identification capacity of the noiseless qubit channel is 2, and equals the entanglement-assisted transmission capacity [14].The best lower bounds equal the amount of common randomness that can be generated over a channel, and thus entanglement also increases the identification capacity [14].
The broadcast channel is a fundamental multi-user communication model, whereby a single transmitter sends messages to two receivers [20].In the traditional transmission setting, the capacity region of the discrete memoryless broadcast channel is generally unknown, even in the classical case.The best known lower bound is due to Marton [21], and the best known upper bound was proven by Nair and El Gamal [22].The two bounds coincide in special cases such as more capable, less noisy or degraded broadcast channel [23].On the other hand, the ID capacity region of the classical broadcast channel was fully characterized by Bracher and Lapidoth [24,25], for uniformly distributed messages.Namely, the ID capacity region is known for any classical discrete memoryless broadcast channel, without special requirements on the channel.The derivation in [24,25] is based on a pool-selection technique that differs from the standard arguments.Related settings were also considered in [26][27][28].The authors of the present paper have recently considered ID over the classical compound multiple-input multiple-output (MIMO) broadcast channel [29,30].
Optical communication forms the backbone of the Internet [50][51][52][53].The Gaussian bosonic channel is a simple quantum-mechanical model for optical communication over free space or optical fibers [54,55].An optical communication system consists of a modulated source of photons, the optical channel, and an optical detector.For a single-mode bosonic broadcast channel, the channel input is an electromagnetic field mode with annihilation operator â, and the output is a pair of modes with annihilation operators b1 and b2 , corresponding to each receiver.Bosonic broadcast channels are considered in different settings in [56][57][58][59][60][61][62][63].
In this work, we consider identification over the quantum broadcast channel.We derive an achievable ID rate region for the general quantum broadcast channel, and establish full characterization for the classical-quantum broadcast channel under a semi-average error criterion.We demonstrate our results and determine the ID capacity region of the quantum erasure broadcast channel.Furthermore, we establish the capacity region of the single-mode pure-loss bosonic broadcast channel with coherent-state encoding.The ID capacity region of the bosonic broadcast channel is depicted in Figure 1 as the area below the solid blue line.For comparison, the transmission capacity region, as determined by Guha and Shapiro [56] subject to the minimum output-entropy conjecture, is indicated by the red dashed line.It can be seen that the ID capacity region is significantly larger than the transmission counterpart.We note that the ID result does not require the conjecture.
While the properties above are analogous to the classical setting [30], the analysis is more involved.To prove the direct part, we extend the pool-selection method due to Bracher and Lapidoth [24,25] to the quantum setting.On the other hand, our converse proof is based on completely different arguments than in Bracher and Lapidoth's classical proof.Instead, we exploit recent observations made by Boche et al. [17] as they treated the classical-quantum compound channel, combined with the arguments of Ahlswede and Winter [13] in their seminal paper on ID for the single-user classical-quantum channel.
This paper is organized as follows: In Section 2, we introduce the notation, give basic definitions, and introduce the communication model.Section 3 contains our main results.In Section 4, we demonstrate our results for the pureloss bosonic broadcast channel and the erasure broadcast channel.Section 5 provides the achievability proof for identification over the quantum broadcast channel in finite dimensions, and Section 6 provides the proof for the ID capacity region of the classical-quantum broadcast channel.Finally, the results are summarized in Section 7.

Notation
We use the following notation conventions.

Quantum Broadcast Channels
A quantum broadcast channel  →12 : D(ℋ  ) → D(ℋ 1 ⊗ ℋ 2 ) corresponds to a quantum physical evolution from the input  to the combined output  1 ,  2 , associated with the transmitter and two receivers, respectively.We assume that the channel is memoryless.That is, if the systems   = ( 1 , . . .,   ) are sent through  channel uses, then the input    undergoes the tensor product mapping    →  1   2 ≡  ⊗ →12 .The marginal channel is defined by  →2 for Receiver 2. The transmitter, Receiver 1, and Receiver 2 are often called Alice, Bob 1, and Bob 2. A classical-quantum (c-q) broadcast channel  c-q →12 is defined, in a similar manner, as a mapping  → D(ℋ  ).

Identification Codes
In the following, we define the communication task of identification over a quantum broadcast channel, where the decoder is not required to recover the sender's message , but simply determines whether a particular message  ′ was sent or not.
1 ,  The ID rates of the code  are defined as   = 1  log log(  ), for  ∈ {1, 2}.In this work, we assume that the ID messages   are uniformly distributed over the set [  ], for  ∈ {1, 2}.Therefore, the error probabilities are defined on average over the messages for the other receiver.Bob 1 makes an error in two cases: (1) He decides that  1 was not sent (missed ID); (2) Bob 1 decides that  ′ 1 was sent, while in fact  1 was sent, and  1 ̸ =  ′ 1 (false ID).The probabilities of these two kinds of error, averaged over  2 ∈ [ 2 ], are defined as for max for  ∈ {1, 2}.An ID rate pair ( 1 ,  2 ) is achievable if for every  1 ,  2 > 0 and sufficiently large , there exists an The ID capacity region C ID ( ) of the quantum broadcast channel  →12 is defined as the set of achievable rate pairs.

Previous Results
In the traditional transmission setting [5], the decoder Bob is required to find an estimate î of Alice's message.This is a more stringent requirement than identification and it results in exponentially slower communication.Specifically, the number of messages scales as exp() for transmission, whereas exp(  ) for identification.While the transmission rate is measured in units of information bits per channel use, the identification rate has different units.Nonetheless, for the classical-quantum single-user channel, it turns out that the identification and transmission capacities have the same value.
In the single-user setting, the ID capacity of the classical-quantum channel was determined by Löber [12] and Ahlswede and Winter [13].Let  → be a single-user c-q channel.The ID capacity  ID () is then defined, in a similar manner, as the supremum of achievable ID rates over the c-q channel  → .
Theorem 1 (see [12,13][64, Theorem 4]).The ID capacity of a single-user classical-quantum channel  → is given by where While the single-user achievability proof in [6,12] employs a random binning scheme based on transmission codes [65], we will see that the broadcast coding methods are significantly more involved and do not follow from the transmission characterization.

Results
Our results are presented below.Consider the quantum broadcast channel  →12 , as defined in Subsection 2.1.3.Define the rate region R( ) as with Theorem 2.
1.The region R( ) is achievable for identification over the quantum broadcast channel  →12 .That is, 2. The identification capacity region of a classical-quantum broadcast channel  c-q →12 is given by with The proof of part 1 is given in Section 5, where we show that all rate pairs in the interior of the region R( ) are achievable.In Section 6, we prove part 2 and show the classical-quantum converse part, i.e. that no rate pair outside the region above can be achieved for identification over the classical-quantum broadcast channel.In the proof of part 1, we use the pool-selection method by Bracher and Lapidoth [24,25].This will enable the same extension to the broadcast setting as in [24,25].On the other hand, in the converse proof, we used a different approach exploiting recent observations by Boche et al. [17] along with the methods of Ahlswede and Winter [13].
Remark 1.As mentioned in Subsection 2.3, in the classical-quantum singleuser setting, the ID and transmission capacity characterizations are identical.
On the other hand, in the broadcast ID setting, we see a departure from this equivalence [24,25,28].The examples in the following section demonstrate this departure in a more explicit manner, showing that the ID capacity region can be strictly larger than the transmission capacity region.
Remark 2. Consider the classical-quantum broadcast channel.In general, the rate   of User  must be limited by the ID capacity of the single-user channel from  to   , for  ∈ {1, 2}.This observation leads to the following rectangular upper bound, where () ID = max   (;   )  .However, in identification over the broadcast channel, the users cannot necessarily achieve the full capacity of each marginal channel simultaneously, since both marginal channels must share the same input distribution in the capacity formula on the right hand side of (6).Equality holds in (7)

Examples
As examples, we consider the pure-loss bosonic broadcast channel and the erasure broadcast channel.

Bosonic Broadcast Channel
To demonstrate our results, consider the single-mode bosonic broadcast channel.We extend the finite-dimension result in Theorem 2 to the bosonic channel with infinite-dimension Hilbert spaces based on the discretization limiting argument by Guha et al. [57].A detailed description of (continuousvariable) bosonic systems can be found in [54].Here, we only define the notation for the quantities that we use.We use hat-notation, e.g.â, b1 , b2 , ê, to denote annihilation operators that act on a quantum state.A thermal state  ( ) is a Gaussian mixture of coherent states, where
Consider a bosonic broadcast channel, whereby the channel input is an electromagnetic field mode with annihilation operator â, and the output is a pair of modes with annihilation operators b1 and b2 .The annihilation operators correspond to Alice, Bob 1, and Bob 2, respectively.The input-output relation of the pure-loss bosonic broadcast channel in the Heisenberg picture [66] is given by b1 Figure 3 The beam splitter relation of the single-mode bosonic broadcast channel.The channel input is an electromagnetic field mode with annihilation operator â, and the output is a pair of modes with annihilation operators b1 and b2 , corresponding to each receiver.The mode ê is associated with the environment noise in the pure-loss setting, the environment is in the vaccuum state, i.e., ê = |0⟩.The parameter  is the transmissivity, which captures the length of the optical fiber and its absorption length.
where ê is associated with the environment noise and  is the transmissivity, 0 ≤  ≤ 1, which captures, for instance, the length of the optical fiber and its absorption length [67].The relations above correspond to the outputs of a beam splitter, as illustrated in Figure 3.In the pure-loss setting, the environment is in the vacuum state, i.e., ê = |0⟩.It is assumed that the encoder uses a coherent state protocol with an input constraint.That is, the input state is a coherent state |⟩,  ∈ C, such that each codeword satisfies Based on part 1 of Theorem 2, the ID capacity region of the pure-loss bosonic broadcast channel with coherent encoding and average photon number at most   is given by where ( ) = ( + 1) log( + 1) −  log( ) is the entropy of a thermal state with mean photon number  , with 0 log 0 := 0. See Figure 1.The converse part immediately follows from the single-user capacity characterization.To show achievability, set the input to be an ensemble of coherent states, |⟩, with a circularly-symmetric Gaussian distribution with zero mean and variance E[|| 2 ] =   .As mentioned in Remark 2, the users cannot necessarily achieve the marginal capacity.Nevertheless, for the bosonic broadcast channel, each user achieves the full capacity of the respective marginal channel.
On the other hand, the transmission capacity region of the single-mode pure-loss bosonic broadcast channel is [56,57], where the subscript 'T' stands for 'Transmission', under the assumption that the minimum output-entropy conjecture holds (see Strong Conjecture 2 in [57]).The transmission capacity region and the ID capacity region are depicted in Figure 1 as the light gray area (T) and additionally the dark gray area (ID), respectively.The converse part for the transmission result on the pure-loss bosonic broadcast channel relies on the strong minimum output-entropy conjecture [56], as stated below.Let the noise modes {ê  }  =1 be in a product state ⊗ of  vacuum states, and assume that (  )  = (  ).Then, the strong minimum output-entropy conjecture states that [56] (  )  ≥ (  ) . ( We note that in the single-user case, the conjecture is not required for neither identification nor transmission [68][69][70]

Erasure Broadcast Channel
We consider the qubit erasure broadcast channel, specified by where the erasure state |⟩ is orthogonal to the qubit space, and 0 ≤  ≤ 1 2 is a given parameter.Hence, the marginal channels to Bob 1 and Bob 2 are standard quantum erasure channels, with erasure parameters  and 1 − , respectively.Specifically, The ID capacity region of the erasure broadcast channel  →12 satisfies This result is obtained in a straightforward manner.To show achievability, we apply part 1 of Theorem 2 and set )︀ over the ensemble {|0⟩, |1⟩}.First, consider the symmetric case of  = 1 2 .Our achievable region R( ) is then the best known bound on the ID capacity region.Whereas, for  < 1  2 , we can improve upon our bound.
For a single-user quantum erasure channel ℒ → with a parameter , Winter established achievability of the identification rate  = 2(1 − ) for  < 1  2 , and  = 1 −  for  ≥ 1 2 [14, Section 4], where   is a classical state.If  = 1 2 , then Achievable regions for ID over the qubit erasure broadcast channel  with erasure probability  = 1  4 .The transmission capacity region C T ( ) corresponds to the light gray area.The region T achievable by time-division between single-user identification codes comprises additionally the middle gray area.The rectangle indicated by the dark gray area corresponds to our lower bound R( ).
this yields the rate pair )︀ , which is the corner of our region in (17).On the other hand, for  < 1  2 , the rate pairs ( 1 ,  2 ) = (2(1−), 0) and ( 1 ,  2 ) = (0, ) are achievable.Hence, by time division, i.e. coding for User 1 over a sub-block of length , and for User 2 over the remaining sub-block of (1 − ) channel uses, we have that the ID capacity region is lower-bounded by The transmission capacity region C T ( ) of the quantum erasure broadcast channel is also achieved by time-division.It is given by the rate pairs ( 1 ,  2 ) satisfying  1 ≤ (1 − ) and  2 ≤ (1 − ), for some 0 ≤  ≤ 1, as can be shown using the same methods used in [73, Example 3.2 and Section 5.4.1] and [19,Section 20.4.3].Clearly, C T ( ) is contained in either of the regions R( ), T .We deduce that for an erasure channel that is not symmetric, our achievable region R( ) in Theorem 2 is suboptimal, but improves on the best previously known bound in the interval 0 <  1 ≤ 1 − . Figure 4 shows the regions C T ( ), T and R( ) for a quantum erasure broadcast channel  with  = 1 4 .

Achievability Proof
In this section we prove the lower bound on the capacity region in Theorem 2, i.e. we show that In the classical achievability proof, Bracher and Lapdidoth [24,25] first generate a single-user random code, based on a pool-selection technique, as shown below.Then, a similar pool-selection code is constructed for the BC using a pair of single-user codes, one for each receiver.It is shown in [24,25] that the corresponding ID error probabilities for the BC can be approximated in terms of the error probabilities of the single-user codes.We use a similar approach, and begin with the single-user quantum channel.
We use standard tools of typical space projectors as detailed in Appendix A. In particular,    (  ) denotes the classical -typical set with respect to a given PMF   ∈ ( ) over  .Furthermore, Π   () is the projector onto the -typical subspace of an average state  = ∑︀ ∈   ()|⟩⟨|, and Π   (  |  ) is the conditionally -typical projector for a classical-quantum state   .

Single-User Quantum Channel
First, we construct and analyze an identification code for a single-user quantum channel.In Section 5.2, we will use the single-user code in order to construct a code for the broadcast channel.Let ℒ → be a single-user quantum channel.

Code Construction
Let  = exp   be the code size.Fix a PMF   over  , a pool rate  pool , and a binning rate R, such that We generate the codebook such that all codewords are -typical.Therefore, consider the distribution where the indicator function 1() takes the value 1 if  is true, and 0 otherwise.For every index  ∈  = [  pool ], choose a codeword  () ∼   ′ at random.Then, for every  ∈ [ ], decide whether to add  to the set   by a binary experiment, with probability  − R/| | =  −( pool − R) .That is, decide to include  in   with probability  −( pool − R) , and not to include it with probability 1 −  −( pool − R) .Reveal this construction to all parties.Denote the collection of codewords and index bins by

Encoding
To send an ID Message  ∈ [ ], Alice chooses an index  uniformly at random from   .If   is non-empty, she prepares the state where   () is the -th symbol of the sequence  ().Otherwise, if   = ∅, she prepares | ⟩.Then, Alice transmits the systems   through the channel.Therefore, if   ̸ = ∅, then the average input state ℰ   () is given by

Decoding
Bob receives the output systems   and he would like to determine whether the message  ′ was sent.To this end, he selects any constant  such that where ,  ′ > 0 are constants as in Section A. Then, he performs a series of binary decoding measurements (POVMs) where we denote Π ≡ Π   (  ) and Π  () ≡ Π   (  | ()).Bob obtains a binary sequence of measurement outcomes (()) ∈  ′ .If () = 1 for some  ∈   ′ , then Bob declares that  ′ was sent.Otherwise, he declares that  ′ was not sent.Note that we can also construct one POVM   ′   that is equivalent to the series of measurements.
Thus, the ID code associated with the construction above is denoted by The error analysis for the single-user identification code is delegated to Appendix B.

Broadcast Channel
In this section, we show the direct part for the ID capacity region of the quantum broadcast channel.That is, we show that C ID ( ) ⊇ R( ).The analysis makes use of the our single-user derivation above.

Code Construction
We extend Bracher and Lapdioth's [24,25] idea to combine two BL codebooks ℬ (1) , ℬ (1) that share the same pool.Fix a PMF   over  and rates   , R , for  ∈ {1, 2}, that satisfy Let   =    .For every index  ∈  = [  pool ], perform the following.Choose a codeword  () ∼    at random, as in the single-user case.Then, for every   , decide whether to add  to the set  ()   by a binary experiment, with probability  − R /|| =  −( pool − R ) .That is, decide that  is included in  ()   with probability  −( pool − R ) , and not to include with probability 1 −  −( pool − R ) .Finally, for every pair 2 = ∅, then draw  1,2 uniformly from .Reveal this construction to all parties.
Denote the collection of codewords and index bins by Note that, for  ∈ {1, 2}, ℬ  includes all elements of ℬ () = (︀ , { () )︀ , defined for the marginal channels  () →  as in Section 5.1.We denote the corresponding single-user code by

Encoding
To send an ID message pair ⟩︀ and transmits the input system   .

Decoding
Receiver , for  = 1, 2, employs the decoder of the single-user code  ℬ () .Specifically, suppose that Bob  is interested in an ID message  ′  ∈ [  ].Then, he uses the decoding POVM   ′     to decide whether  ′  was sent or not.We denote the broadcast ID code associated with the construction above by

Error Analysis
We show that the semi-average error probabilities of the ID code defined above can be approximately upper-bounded by the respective error probabilities of the single-user ID-codes  ℬ (1) and  ℬ (2) for the respective receivers.
Consider a given pair of codebooks ℬ (1) and ℬ (2) .Conditioned on those codebooks, the input state can be written in terms of an encoding distribution where  1,2 () = 1( =  1,2 ).Similarly, where Q()   () is the respective distribution for the single-user code from Section 5.1, namely We consider now only Receiver 1 and his marginal channel 1→ .Since the code construction is completely symmetric between the two receivers, the same arguments hold for Receiver 2 and (2) 2→ .The missed-ID error probability for  ℬ  and Bob 1 is given by ]︁ (35) and for  ℬ () it is given by By the linearity of the channel and the measurement, we have where (1) 1 is the total variation distance and the inequalities follow from the triangle inequality.The same argument applies to the false-ID error.Hence, →1 , ,  ℬ (1) ,  1 ) + 1 , (39a) Similarly, the error probabilities for the second marginal channel are bounded by where (2)
By (59) for the single-user quantum channel  () →  and  ∈ {1, 2}, the error probabilities  1 ( ,   ) converge in probability to zero with convergence speed exponentially in , for all messages   ,  ′  ∈ [  ] such that   ̸ =  ′  .This completes the proof of the direct part.

Converse Proof
The direct part follows from part 1.Hence, it remains to prove the converse part.To this end, consider an ( 1 ,  2 , ,  1 ,  2 ) ID code,  = (ℰ   ,    1 ,    2 ), for the c-q broadcast channel  →12 .In the case of a classical input, the Identification Over Quantum Broadcast Channels encoder effectively assigns a probability distribution  1,2 to each message pair, i.e.
Thus, the ID code is specified by {︀(︀  1,2 , 1 , )︀ We denote the Holevo information for each c-q channel  () →  with respect to an input distribution   ∈ ( ) by I(  ,  () Following the approach of Boche et al. [17], we prove the converse part in three stages, beginning with a modification of the code.

𝛿-net on 𝒫(𝒳 )
First, we fix a -net  of probability distributions on  .That is, for , there exists  ⊆ ( ) such that   = ⋃︀  ∈   and such that the type of an input sequence   ∈   is -close to  .Hence, where  1,2 is a PMF over  , and   1,2 are PMFs over   .

Rate bounds
Consider the marginal  (1) . Let  2 be uniformly distributed.Then, observe that the randomized-encoder code →1 .Therefore, following the single-user converse proof by Ahlswede and Winter [13] (see also [17, Section III]), where  ∼  * and  1 tends to zero as  → 0. For completeness, we prove the inequality in the appendix.Similarly, we also have  2 < (;  2 )  +  2 .This completes the proof of the ID capacity theorem.

Summary and Outlook
We derive an achievable ID region for the quantum broadcast channel and established full characterization for the classical-quantum broadcst channel.To prove achievability, we extende the classical proof due to Bracher and Lapidoth [24,25] to the quantum setting.On the other hand, in the converse proof, we use the truncation approach by Boche et al. [17] along with the arguments of Ahlswede and Winter [13].
As examples, we derive explicit expressions for the ID capacity regions for the quantum erasure broadcast channel and for the pure-loss bosonic broadcast channel in Section 4. In those examples, each user can achieve the capacity of the respective marginal channel.In particular, the ID capacity region of the pure-loss bosonic broadcast channel is rectangular and strictly larger than the transmission capacity region.In general, the ID capacity region is not necessarily rectangular, as demonstrated for the classical Z-channel [30, Section IV.C] and the classical Gaussian Product channel [30, Section IV.E], [29, Section IV.B].
The ID capacity has a different behavior compared to the single-user setting, in which the ID capacity equals the transmission capacity [74] (see Section 2.3).Here, in the broadcast setting, the ID capacity region can strictly larger than in transmission, since interference between receivers can be seen as part of the randomization of the coding scheme.
Extending the results to more than two receivers remains an open challenge.Upper and lower bounds for such a model may be derived in a similar manner as in the classical setting [24, Section IV.A].To derive the identification capacity of classical-quantum channels, new methods are required.The capacity of quantum-quantum channels is even unknown for general point-to-point discrete memoryless channels [14,18].These are interesting and challenging directions of further research.

B Error Analysis for Single-User Achievability
We show that for some  > 0, the error probabilities of the random code The codebook that is used here is the same as in the classical derivation [24,25].Hence, we can use the cardinality bounds for the index bins {  } ∈[ ] that were established in [24,25].Denote the collection of index bins by Lemma 1 (see [24,Lemma 5]).Given  > 0, let   be the set of all realizations   of   such that for all   ,   ′ ∈   ,  ̸ =  ′ , where   =  −/2 .Then, the probability that   ∈   converges to 1 as  → ∞, i.e.

Missed ID Error
Consider an index bin   ∈   .We bound the probability of the missed-ID error (first kind), given by Note that for   () By the Gentle Operator Lemma [76, Lemma 9.4.2],we have ⃦ ⃦ ⃦  ()

False ID Error
Next, we bound the probability of an error of the second kind.Suppose that the sender sends an ID message  and the receiver is interested in  ′ ̸ = .Recall that we can restrict our attention to realizations   = {  } ∈   , following Lemma 1.Let  ∈   be the index that Alice has chosen.Observe that since any probability is at most 1 and The first term is bounded by (see (60) and ( 62)), where the second inequality holds as   < 1/2, for sufficiently large .
It remains to bound the second term in the right-hand side of (67), for which  ∈   and  / ∈   ′ .For every pair of indices  / ∈   ′ and  ′ ∈   ′ , we have that the codewords  () and  ( ′ ) are statistically independent.
We show now that the false-ID error is small with high probability.Let  satisfy 0 <  < ( R − )/2.
Note that by (67)

C Proof of Inequality (46)
The rate bound is based on the combinatorial argument in the single-user converse proof, due to Ahlswede and Winter [13].First, we define a quantum hypergraph and give the Ahlswede-Winter covering lemma [13].Definition 2. A quantum hypergraph (ℋ, ) is defined by a finite-dimentional Hilbert space ℋ and a finite collection  = {  } ∈ of operators on ℋ, where 0 ⪯   ⪯ 1 for  ∈  .

Figure 1
Figure1The transmission and ID capacity regions of the pure-loss bosonic broadcast channel, with coherent-state encoding, mean photon-number input constraint   = 10, and transmissivity  = 0.8.The transmission capacity region C T corresponds to the light gray area, and the ID capacity region C ID comprises additionally the dark gray rectangular area.
= ( 1 ,  2 , . . .,   ) ∈   sequence of length probability mass function (PMF) of  E[]expectation of a random variable  ( ) set of all PMFs with finite support over a set    (  ) = Definition 1.An ( 1 ,  2 , ) identification (ID) code for the quantum broadcast channel  →12 consists of an encoding channel ℰ   : [ 1 ] × [ 2 ] → Identification over the quantum broadcast channel  ⊗ → 1  2 .Alice chooses a message pair ( 1 ,  2 ).She encodes the messages by preparing an input state ℰ   ( 1 ,  2 ), and sends the input system   through  uses of the quantum broadcast channel  ⊗ → 1  2 .Bob 1 and Bob 2 receive the output systems   1 and   2 , respectively.As Bob  is interested in the message  ′  ∈ [  ], he performs the binary measurement
if the same input distribution  ⋆  maximizes both mutual informations simultaneously, i.e. when (;  1 )  = arg max   (;  2 )  .(8) [71, Sec.VI.B].There are several special cases that are known to hold [72, Sec.III].E.g., it is well known that the conjecture holds for  = 1.However, as pointed out in [70, Sec.V], this is insufficient for the converse proof of the bosonic broadcast channel, which requires the strong minimum output-entropy conjecture stated above.