Error Performance of Amplitude Shift Keying-Type Asymmetric Quantum Communication Systems

We propose an amplitude shift keying-type asymmetric quantum communication (AQC) system that uses an entangled state. As a first step toward development of this system, we evaluated and considered the communication performance of the proposed receiver when applied to the AQC system using a two-mode squeezed vacuum state (TSVS), the maximum quasi-Bell state, and the non-maximum quasi-Bell state, along with an asymmetric classical communication (ACC) system using the coherent state. Specifically, we derived an analytical expression for the error probability of the AQC system using the quasi-Bell state. Comparison of the error probabilities of the ACC system and the AQC systems when using the TSVS and the quasi-Bell state shows that the AQC system using the quasi-Bell state offers a clear performance advantage under specific conditions. Additionally, it was clarified that there are cases where the universal lower bound on the error probability for the AQC system was almost achieved when using the quasi-Bell state, unlike the case in which the TSVS was used.

that the quasi-Bell state is superior to both the TSVS and conventional laser radar in terms of its performance for quantum illumination with attenuation (i.e., the model used in this paper with R 0 = 0) [16][17][18][19].
Based on the discussion above, we aim to clarify Bob's communication performance based on the error probability criterion as a first step toward development of an ASK-type AQC system (hereinafter referred to simply as the AQC system). Specifically, by using the Schrödinger picture to describe the time evolution of both the quasi-Bell state and the TSVS, we evaluate and compare the error probabilities that occur when using these states, and thus consider the basic characteristics, i.e., the error performance, of the AQC system. We also compare these results with the error probability characteristics of an ACC system which was constructed using a coherent state source and an optimum classical measurement approach, along with the universal lower bound on the error probability when the use of any multimode quantum state is allowed. As the main results of this analysis, we derive an analytical expression for the error probability of the AQC system when using the quasi-Bell state. Then, by investigating the numerical characteristics of the system using this analytical expression with various reflectivities and the average number of photons, we demonstrate that the AQC system using the quasi-Bell state is not only always superior to the ACC system, but also is asymptotically superior to the same AQC system using the TSVS. Additionally, in contrast to reference [9], which shows that using the EPR state asymptotically outperforms using the coherent state, this paper shows that the ACC system asymptotically outperforms the AQC system when using the TSVS. Finally, we show that the AQC system using the quasi-Bell state may almost reach the universal lower bound on the error probability, unlike the AQC system using the TSVS.
The rest of this paper is organized as follows. Section 2 describes the TSVS, the quasi-Bell state, and the ACC system. Section 3 describes the model of the AQC system when using the entangled states, and also provides a description of Bob's received quantum states in the AQC system. Section 4 presents an analytical expression for the error probability of the AQC system when using the quasi-Bell state. In Section 5, by using the analytical expression obtained in Section 4, the system error performance is given and is compared numerically with the error probabilities of both the ACC system and the AQC system when using the TSVS and the universal lower bound on the error probability.

Quantum State
The state of a quantum system (i.e., the quantum state ρ) is expressed using a density operator. This density operator is a nonnegative Hermitian operator on Hilbert space and satisfies ρ ≥ 0, Tr ρ = 1. (1) Originally, ρ was called the density operator of the quantum state, but it has become customary for ρ also to be called a quantum state.

Photon Number State
The most typical quantum state of light is the photon number state |n , which represents a state in which the number of photons is n, and it forms the following orthonormal basis: where I is the identity operator on Hilbert space, and δ mn is the Kronecker delta.

Coherent State
This paper considers a quasi-Bell state that has been constructed using coherent states that are nonorthogonal quantum states. The coherent state is known as the most fundamental quantum state of light, and this state is very important because it can be realized approximately using laser light. The coherent state is expressed as where α is the complex amplitude of the coherent state, and the average number of photons of the state is n Coh = |α| 2 . The inner product of the two coherent states corresponding to the amplitudes α and β is If both α and β are real numbers, then the value of α|β is also a real number. In addition, the coherent state that is reflected from a beam splitter with reflectivity R is subjected to energy attenuation, causing it to become another coherent state, represented by | √ Rα .

Quasi-Bell State
The quasi-Bell state [12] is an entangled state that is constructed using nonorthogonal quantum states but has maximum entanglement. The two modes of the quasi-Bell state can be labeled S and A. In this paper, we use two coherent states as the nonorthogonal quantum states, where the coherent states with amplitudes α and β are denoted by |α and |β . The quasi-Bell states are represented as the quantum states of the composite system SA as follows: where and α and β are nonnegative real numbers. |Ψ 2 SA has the maximum entanglement, and the amount of entanglement is 1 ebit when α = β. Therefore, we treat |Ψ 2 SA with α = β as the maximum quasi-Bell state in this paper. The average number of photons in mode S is n Max = |α| 2 coth(2|α| 2 ), and the minimum average number of photons is 0.5 because n Max → 0.5 when α → 0. Additionally, we treat |Ψ 1 SA with α = β as the non-maximum quasi-Bell state in this paper. Note that the amount of entanglement in this case is smaller than 1 ebit. The average number of photons in mode S is n NonMax = |α| 2 tanh(2|α| 2 ), and the minimum average number of photons is 0 because n NonMax → 0 when α → 0.

TSVS
In reference [9], an m-fold tensor product of the following TSVS was used as an EPR state: where n TSVS = N S represents the average number of photons in mode S. In this paper, we set m = 1 and analyze the TSVS. The TSVS is one of the most important entangled states and has been discussed in numerous studies as a basic quantum state in both quantum illumination [20] and quantum reading [6] protocols. In particular, the amount of entanglement of the TSVS, which is given by can exceed 1 ebit. A larger average number of photons causes a greater amount of entanglement because lim N S →∞ E TSVS = ∞.

Asymmetric Classical Communication
In this paper, we also compare the proposed system with an ACC system that has no mode A-mode A can be considered to be the vacuum state |0 A in an AQC system without entanglement. Here, the coherent state |α is prepared by Bob as the light source and is directed toward one of the two beam splitters operated by Alice. By switching the two beam splitters with their reflectivities of R 0 and R 1 (R 0 < R 1 ), Alice encodes binary information using the different reflectivities. The reflected light collected by Bob thus becomes the binary coherent state signal {| √ R 0 α , | √ R 1 α }, and this can be considered to be an ASK modulation scheme. Assuming that the binary signal has equal a priori probabilities and that the measurement in Bob's detector, which we call an optimum classical receiver, is a homodyne measurement, the error probability for Bob is then given as follows:

Model of an ASK-Type AQC System
In this section, we describe the model of the AQC system that is constructed using the entangled states and the description of Bob's received quantum states in the AQC system.
A diagram of the model of the AQC system using the entangled state is shown in Figure 1. Binary information is sent from Alice to Bob. The dashed and solid arrows in the figure represent mode S and mode A of the entangled state, respectively. The AQC system protocol is given as follows: Protocol of an AQC system (Figure 1).

1.
Bob (receiver) inputs the light corresponding to mode A directly into their detector.

2.
Bob radiates the light corresponding to mode S toward one of the two beam splitters operated by Alice (sender); Alice then switches the two beam splitters with reflectivities of R 0 and R 1 (R 0 < R 1 ) to encode the binary information. 3.
The subsequently reflected light with reflectivity of either R 0 or R 1 is then collected by Bob's detector.

4.
Bob decodes the binary information received at their detector by performing an optimum quantum measurement, i.e., a joint measurement of both light beams. In this paper, we use the same model for a different purpose than that of reference [9], and therefore must first clarify the differences in this case when compared with the basic characteristics presented in [9]. We focus on investigation of Bob's error performance as the basic characteristic of the ASK-type AQC system. In addition, the AQC system is characterized as an "ASK-type" system because Alice encodes information using different reflectivities, i.e., the differences in the amplitude of the reflected light corresponding to mode S.

Description of Received Quantum State
In this section, we describe the received quantum state corresponding to each entangled state. However, based on consideration of the prospect of the discussion, we analyze the quasi-Bell state using a Stinespring representation, and analyze the TSVS using a Kraus representation. Note that the light that corresponds to mode A is assumed to pass through an ideal channel because it is propagating inside Bob.

Quasi-Bell State with Stinespring Representation
When a Stinespring representation is used, the loss incurred by an attenuated channel can be expressed using the interaction with the vacuum field as an environment mode E. In other words, the unitary evolution of the composite system SE can be described by applying the unitary operator U (η) SE to the SE, where the results represent the interaction between modes S and E: where η is the energy transmissivity. The reduced state of the composite system SAE on SA, i.e., the received quantum state, can be acquired by performing a partial trace over mode E, because only the composite system SA is actually measured by the detector.
For the case where b ∈ {0, 1}, we now consider the received quantum states Ψ (b) SA when the binary information that was recorded using the reflectivities R b is denoted by "0" and "1". Suppose that the transmitted quantum state at the light source is the maximum quasi-Bell state. Then, the received quantum state Ψ (b) SA can be represented by The same supposition can be applied to the non-maximum quasi-Bell state.

TSVS with Kraus Representation
In the TSVS case, a Kraus representation is used to express the attenuation channel. This Kraus representation allows us to describe the relationship between the transmitted and received quantum states, and can be expressed without use of an external system, unlike the Stinespring representation. If the transmitted and received quantum states are ρ (in) and ρ (out) , respectively, then the Kraus representation of the attenuation channel is given as follows: where E (η) is the Kraus operator [21] for the attenuation channel with respect to the energy transmissivity η.
For the case where b ∈ {0, 1}, we now consider the received quantum states ψ SA when the binary information recorded using the reflectivities R b is denoted by "0" and "1". The SA can then be represented by

Error Probability Determined by Optimum Quantum Measurement
The error probability is an important performance evaluation index for communication systems. In this paper, it is assumed that Bob has no information about the a priori probabilities ξ b ∈ {ξ 0 , ξ 1 } that correspond to the binary information b ∈ {0, 1}. If the a priori probabilities of the quantum states are unknown, it is known that use of the Bayes decision criterion with equal a priori probabilities under the quantum minimax criterion is the optimum approach from quantum detection theory [22]. If we suppose that the received quantum states are ρ (0) SA and ρ (1) SA , and that the corresponding a priori probabilities are equal, i.e., ξ 0 = ξ 1 = 1/2, then the error probability given by the optimum quantum measurement [23] is where {λ i } are the eigenvalues of ρ (0) SA .

Derivation of Analytical Expression for the Error Probability of the Quasi-Bell State
In this section, we derive an analytical expression for the error probability of the AQC system when using the quasi-Bell state. As an example of the quasi-Bell state, we consider the case where the maximum quasi-Bell state is used. To calculate the error probability of given by Equation (22), it is necessary to obtain eigenvalues for the difference between the two received quantum states Ψ (0) SA . The coherent state is represented using either an infinite dimensional vector or an infinite matrix (i.e., the density operator). The maximum quasi-Bell state used here is constructed from the coherent states, and its density operator is SA also take the form of an infinite matrix and are generally difficult to calculate. However, in this paper, we find that the received quantum states Ψ (0) SA and Ψ (1) SA can be represented by an 8 × 8 matrix when a special orthonormal basis is used. Additionally, by deriving the eigenvalues for the 8 SA , we can also derive an analytical expression for the error probability of the AQC system using the quasi-Bell state.
There are four steps that must be considered in the derivation of this analytical expression. Each step is explained individually below. SA , we can see that the mode is constructed using the two coherent states {|±α A }. In the twodimensional subspace of a Hilbert space that is spanned by {|±α }, the orthonormal basis {|ω 0 , |ω 1 } used in references [24,25] is the measurement state of the square-root measurement (SRM) [26], which is often applied to the representation of the numerical vector of the quasi-Bell state and to the representation of its density operator. It is known that this approach improves the prospects of the discussion (e.g., [27]). The SRM for {|±α A } is an optimum quantum measurement that minimizes the error probability, and use of these measurement states means that {|±α A } can be expressed as: Therefore, {|±α A } can be represented by a two-dimensional vector, as follows: where κ A = κ S =: κ and ε ± is given as follows: Next, if we focus on mode A in the received quantum states Ψ SA , we can see that the mode is constructed using the following four coherent states: In the four-dimensional subspace of a Hilbert space that is spanned by these coherent states, we also consider the measurement state of the SRM to be an orthonormal basis. The representation of a four-dimensional vector of these coherent states in the four-dimensional subspace can be obtained immediately from the square root of their Gram matrix. In general, the Gram matrix for {|α 0 , |α 1 , |α 2 , |α 3 } is constructed as follows [28]: where However, because the representation of the square root of the Gram matrix is complicated, the method described in references [29][30][31] is applied in this paper. In references [29][30][31], the order of these coherent states was rearranged to be {|− {|α 0 , |α 1 , |α 2 , |α 3 )} to take advantage of the partial symmetry of the coherent state signal, and the Gram matrix Γ then became as follows: Through observation of Γ, we found that it can be divided into four blocks using a 2 × 2 real symmetric matrix with the common structure of The eigenvalues and corresponding orthonormal eigenvectors of M (2) (u, v) are given by and respectively (Although |x 1 and |x 2 are not vectors in the Hilbert space of a quantum system, and in fact are numerical vectors, we use Dirac's notation for convenience). We then obtain the spectral decomposition form of M (2) (u, v), which is expressed as Using M (2) (u, v), Γ can then be divided into blocks, as follows: By substituting the spectral decomposition form into the equation above, we obtain where Both M (+) and M (−) have the common structure of and the eigenvalues λ ± (p, q, r) and the corresponding orthonormal eigenvectors |λ ± (p, q, r) of this structure can be expressed as: and |λ ± (p, q, r) = |λ ± (p, q, r) respectively, where Based on the derivation above, the analytical expressions for the eigenvalues {λ i } and the corresponding orthonormal eigenvectors {λ i } of Γ can be expressed as and respectively. Therefore, the spectral decomposition form of Γ is given as follows: Here, {|λ i } forms an orthonormal basis, which means that the square root of the Gram matrix, Γ 1 2 , can be derived immediately as: where each element of the 4 × 4 matrix Γ 1 2 can be obtained directly via substitution of Finally, by substituting Equations (24) and (50) into Equation (18), we obtain and by taking the difference between the two received quantum states, Ψ SA (=: U), we then obtain an 8 × 8 matrix that can be expressed as: (52) The 8 × 8 matrix U is a real symmetric matrix, and each element of this matrix can be obtained directly by substituting Equations (24) and (50)

4.2.
Step 2: Similar Transformation of 8 × 8 Matrix Next, we consider the derivation of the eigenvalues of the 8 × 8 real symmetric matrix U. In this paper, we derive the eigenvalues for the 8 × 8 real symmetry matrix U by using its symmetrical structure, although there is no general solution for the eigenvalues of a square matrix with an order of five or more because of the Abel-Ruffini theorem. To use the symmetrical structure of U, we must first convert U into a more tractable form.
When the eigenvalues of U and U become equal when U is converted into V −1 UV := U using a regular matrix V; this is known as similarity transformation. Here, if such a similarity transformation of U is performed using the regular matrix we then obtain the matrix U after the similarity transformation as follows: (54)

Step 3: Spectral Decomposition Form of the 8 × 8 Matrix
Through observation of U , we see that this matrix can be divided into 16 blocks using the 2 × 2 real symmetric matrix (29). We perform a spectral decomposition operation on U in the same manner as Equation (34), and we then obtain where are also real symmetric matrices. Let the eigenvalues and eigenvectors of U (+) and U (−) be written as {τ }, respectively; then, we obtain: because any real symmetric matrix can be spectrally decomposed. Substitution of these expressions into U allows the spectral decomposition form of U to be expressed as where the eigenvalues of U are given as follows:

Step 4: Eigenvalues of 4 × 4 Matrix
To determine the eigenvalues given by Equation (59) where U (+) ij is element (i, j) of U (+) , and We confirm directly that two of the eigenvalues {τ = B < 0 (see Appendix C for this proof), and we then know that these two eigenvalues have opposite signs: τ Note that the corresponding eigenvalues {τ can be obtained in the same manner.

Derivation of Analytical Expression
The eigenvalues {τ , U) that were obtained from the analysis above can be substituted into Equation (22). Here, it can be confirmed that τ and thus the error probability P (Max) e of the AQC system when using the maximum quasi-Bell state is finally given as follows: The error probability P (NonMax) e for the AQC system when using the non-maximum quasi-Bell state can also be obtained using steps 1 to 4 as per the case for the maximum quasi-Bell state. As a result, the corresponding probability is given by: where

Error Performance
In this section, we present the results that were obtained numerically when using the error probability (15) for the ACC system and the analytical expression for the error probabilities (63) and (66) for the AQC system when using the quasi-Bell states. When using the TSVS, the calculation of the error probability P (TSVS) e in the case in which the average number of photons is small ( n TSVS ≤ 5) is performed based on the conventional numerical calculation method, i.e., using an equation that approximates Equation (13) to a finite value of n. In other words, as described in references [32,33], the calculation should be performed after suitable truncation of the Hilbert space by taking both the average number of photons and the order of the error probability into consideration. However, in the case where the average number of photons is large (i.e., n TSVS > 5), it is difficult to treat the eigenvalue problem in Equation (22) numerically because the dimensions of the received quantum state (i.e., its density operator) are large. Therefore, the AQC system's performance is evaluated using the upper bound P given in reference [9] when the TSVS is used, as follows: where This paper also provides a comparison with the universal lower bound P U−LB on error probability given in reference [9] when the use of any multimode pure input state is permitted, as follows: where n U−LB = N S is the average number of photons in mode S. Figure 2 plots the error probabilities for the AQC system versus the reflectivities R 0 and R 1 (R 0 < R 1 ), which are changed from 0 to 1 when the transmitted average number of photons in the maximum and non-maximum quasi-Bell states is fixed at n Max = n NonMax = 1. The error probability when the maximum quasi-Bell state is used is represented by the green curved surface, and the error probability when the non-maximum quasi-Bell state is used is represented by the orange curved surface. Figure 2 shows that the error probability P (Max) e when the maximum quasi-Bell state is used tends to decrease when R 1 − R 0 increases. In particular, the figure shows reasonable results that confirm that the maximum error probability is achieved when R 0 ≈ R 1 , and that the minimum error probability is achieved when R 0 = 0 and R 1 = 1. Comparison of the error probabilities of the AQC system when using the maximum and non-maximum quasi-Bell states shows that the maximum quasi-Bell state is superior in most cases, but there is no significant difference between the two cases. Furthermore, use of the maximum quasi-Bell state does not always provide superior results, because the AQC system using the non-maximum quasi-Bell state is superior to the corresponding system using the maximum quasi-Bell state in the extreme case in which R 1 − R 0 is very small and R 0 ≈ 1 or R 0 ≈ 0. The details can be seen in Figure 3 regarding the contour plot of the ratio, P (NonMax) e /P (Max) e , of the error probability when using the non-maximum state to that when using the maximum quasi-Bell state. Figure 3 shows that the ratio is between 1 and 1.1 in most cases, but the ratio may be less than 1 in the extreme case.  Actually, there are several studies comparing the performance between the maximum and non-maximum quasi-Bell states, such as quantum teleportation [15], quantum superdense coding [34], quantum reading [33], and quantum illumination [18,19]. Reference [15] showed that the non-maximum quasi-Bell state offers an advantage over the maximum quasi-Bell state at small coherent amplitudes, and may offer more resistance to attenuation than the maximum quasi-Bell state. References [18,19,33,34] showed that the non-maximum quasi-Bell state offers more resistance to attenuation and phase noise than the maximum quasi-Bell state, in some special cases, and the result of this paper is one more piece of evidence in terms of that. That evidence also reveals a fact that the maximum quasi-Bell state offers better performance than the non-maximum quasi-Bell state in ideal cases, such as cases with large coherent amplitudes or environments without noise, but the opposite may be true in some unideal cases. Therefore, for some applications using the quasi-Bell state at small coherent amplitudes or environments with noise, the non-maximum quasi-Bell state which offers more resistance to noise may play an important role. We must be careful not to dismiss the value of using the non-maximum quasi-Bell state, although the reason in terms of its superiority has not yet been elucidated. We consider the issue to be an interesting topic that has value as a future subject. Figure 4a,c,e,g shows the error probabilities obtained when the average number of photons n (:= n U−LB = n TSVS = n Max = n NonMax = n Coh ), which is regarded as the signal energy, is varied from 0.5 to 5 for the AQC system when using the TSVS, the maximum quasi-Bell state, and the non-maximum quasi-Bell state, and the ACC system using the coherent state, for which the reflectivities {R 0 , R 1 } were fixed at  Figure 4b,d,f,h shows the error performances corresponding to those shown in Figure 4a,c,e,g, respectively, when the average number of photons n is increased from 0.5 to 100.

Performance Comparison Using Each Quantum State
These figures confirm that the AQC system using the quasi-Bell state always maintains a clear performance advantage over the ACC system, despite increases in the average number of photons n . Although the error probability of the AQC system when using the quasi-Bell state is similar to that of the ACC system, in that it decreases exponentially in tandem with the increase in n , the AQC system can achieve the same error probability when using only half of the average number of photons used by the ACC system. Conversely, Figure 4b,d,f,h shows the error probability for the AQC system using the TSVS approaches that of the ACC system with increasing n . In particular, as shown in Figure 4f, the ACC system provides superior performance to the AQC system using the TSVS when n > 35. Figure 4g,h shows that the performance of the ACC system exceeds that of the AQC system using the TSVS when the average number of photons is smaller, i.e., when n ≈ 5. This is contrary to the results presented in reference [9], which indicated that the performance obtained when using the m-shot EPR state exceeds that of the coherent state as the average number of photons increases, and this performance is considered to be a characteristic unique to the one-shot pulse case. Consideration of these figures together with Figure 4b,d shows that the ACC system exceeds the performance of the AQC system using the TSVS with smaller average number of photons when R 0 is small or when R 1 − R 0 is large. Otherwise, the latter system can maintain its performance superiority over the former within the range of the small average number of photons. In addition, as shown in Figure 4f, the AQC system using the quasi-Bell state demonstrates superior performance to the same system using the TSVS when n > 10. Figure 4g,h shows that the AQC system using the quasi-Bell state has an error probability that is the same as or lower than that of the system using the TSVS. Consideration of these figures together with Figure 4b,d shows that the performance of the AQC system using the quasi-Bell state exceeds that of the system using the TSVS with smaller average number of photons when R 0 is small or when R 1 − R 0 is large. Otherwise, the former system requires a larger average number of photons to surpass the performance of the latter.

Performance Comparison with Universal Lower Bound
Finally, we consider a performance comparison with the universal lower bound on the error probability. For example, when the average number of photons is small, the AQC system using the TSVS almost reaches the universal lower bound, as illustrated in Figure 4c. However, as Figure 4d shows, the gap between the lower bound on the error probability for the TSVS and the universal lower bound increases when the average number of photons increases. This differs from the results reported in reference [9], which stated that when the m-shot EPR state is used, the universal lower bound is almost always reached, and this is considered to be a characteristic unique to the one-shot pulse case. The characteristics of Figure 4b,f,h become more outstanding and the gap between the lower bound on the error probability for the TSVS and the universal lower bound increases rapidly as the average number of photons increases. In addition, Figure 4b shows that gap between the error probability for the AQC system using the quasi-Bell state and the universal lower bound may also increase rapidly in the same manner as the TSVS. However, Figure 4f shows that the error probability of the AQC system using the quasi-Bell state differs from that of the system using the TSVS in that the gap with respect to the universal lower bound only increases slowly as the average number of photons increases. Furthermore, as shown in Figure 4h, the error probability for the AQC system using the quasi-Bell state almost reaches the universal lower bound even when the average number of photons increases in the case where both R 0 and R 1 are small.
To see these details of this characteristics in greater detail, Figure 5 shows the error performance when {R 0 , R 1 } = {0, 0.08}, {0, 0.03} in addition to that when {R 0 , R 1 } = {0, 0.3}. As shown in Figure 5, R 0 is fixed at 0, and as R 1 decreases, the error probability for the AQC system using the quasi-Bell state becomes closer to the universal lower bound. To clearly demonstrate the trend of the gap between the error probability when using the quasi-Bell state and the universal lower bound, Figure 6 shows the ratio P U−LB /P (Max) e with respect to R 1 when fixing R 0 at 0. (Note the special case where the maximum quasi-Bell state becomes a Bell state when n Max = 0.5 [13].) As is evident in Figure 6, the ratio approaches 1 as R 1 decreases in spite of increasing n . This performance characteristic makes it possible to use the quasi-Bell state to almost reach the universal lower bound in the AQC system, even if severe attenuation-where energy attenuation in the channel can be considered to be included in R 1 -occurs in an ultra-long distance channel. (If energy attenuation associated with energy transmissivity η occurs in the channel, then just substitute ηR b into R b in the results. For an example, Figure 4c expresses the error performance when R 0 = 0.3, R 1 = 0.6, and η = 1; and when R 0 = 0.5, R 1 = 0.75, and η = 0.8.)

Conclusions
In this paper, we have proposed an ASK-type AQC system as a step toward development of a new asymmetric communication system. In this AQC system, Bob, who has a high transmission capability, transmits one of the entangled light beams, which acts as a communication medium, to Alice, who has a low transmission capability; Alice operates on the light beam to encode the information that she wants to send to Bob, and then sends the light beam back to Bob. Bob then decodes the information received from Alice by performing an optimum quantum measurement (i.e., a joint measurement) of the other entangled light beam and the light beam that returned from Alice.
As a first step toward evaluation of the system performance, we focused on the communication performance from Alice to Bob, and investigated the basic performance characteristics based on the error probability criterion. First, using the quasi-Bell state as the light source, we derived an analytical expression for the error probability by using an 8 × 8 matrix representation to express the density operators of the two received quantum states affected by the reflectivities {R 0 , R 1 }, which corresponded to the binary information that Alice wants to send. Then, using this analytical expression, we compared the superior performances of the AQC systems using the TSVS, the maximum quasi-Bell state, and the non-maximum quasi-Bell state with that of the asymmetric classical communication (ACC) system in terms of their error probabilities. As a result, it was clarified that the error probabilities of the AQC systems using the maximum and non-maximum quasi-Bell states differed only slightly. In addition, the error probability of the AQC system using the quasi-Bell state is always lower than that of the ACC system, regardless of the reflectivity setting, and the AQC system using the quasi-Bell state also shows a clear performance advantage over the system using the TSVS when a sufficiently large average number of photons is used. In fact, as described in Section 2, when the average number of photons is large, the amount of entanglement of the TSVS is overwhelmingly greater than that of the quasi-Bell state, but the results in this paper show that the performance of the AQC system using the quasi-Bell state is overwhelmingly better than that of the same system using the TSVS. Therefore, the performance of the AQC system should be determined by selecting a type of entangled state that is suitable for the system, rather than by considering the amount of entanglement. The conclusion above is strengthened by the fact that the performance of the ACC system surpassed that of the AQC system using the TSVS when the average number of photons was sufficiently large. What causes quasi-Bell state to work better than the TSVS? Unfortunately, as far as we know, there are no studies in terms of the comparison between the quasi-Bell state and the TSVS, except for references [18,19], although the reason for the superiority of the quasi-Bell state and some related potential properties of that have not been elucidated. These studies also reveal the fact that there are some entanglement-based systems or protocols that require a suitable entangled state rather than a large amount of entanglement to improve its performance. Additionally, we believe the advantage of the quasi-Bell state over the TSVS comes from the robustness of coherent states against attenuation. However, a perfect explanation is not yet available. We consider the issue to be a very challenging topic that has value as a future subject. Getting back to the main topic, when R 0 is small or when R 1 − R 0 is large, the AQC system using the quasi-Bell states shows a clear advantage when only a small average number of photons is used. In particular, when R 0 = 0, the AQC system using the quasi-Bell state has the same or a lower error probability than the corresponding system using the TSVS. However, when R 1 = 1, a large average number of photons is required to enable the AQC system using the quasi-Bell state to exceed the performance of the system using the TSVS. Finally, we compared the error probability for the AQC system using the quasi-Bell state, the lower bound on the error probability for the AQC system using the TSVS, and the universal lower bound on the error probability, and found that performance closer to the universal lower bound was achieved using the quasi-Bell state when compared with the system with TSVS in the case when R 0 and R 1 are very small. As a result, it is expected that the AQC system using the quasi-Bell state will be applicable even in ultra-long distance channels, in which severe attenuation can occur.
In this paper, we evaluated the performance based on the error probability results for the AQC system and clarified the basic performance characteristics. In fact, if an eavesdropper Eve was present between Alice and Bob, one of the simplest attack methods for Eve would be to intercept the light corresponding to mode S, which is reflected from Alice. However, Eve cannot access the light corresponding to mode A, which remains inside Bob, and thus there would be a difference in reception performance between Eve and Bob. This reception performance difference creates the security of the AQC system. In addition, the AQC system discussed in this paper is expected to have various security applications, e.g., quantum cryptographic conferencing [35]. Future work will include security evaluation of this system, including the case of information leakage when an eavesdropper is present, and security enhancement for this system by performing some quantum communication protocols.