quantum teleportation is a quantum communication protocol where a sender , alice , aims to transmit to a receiver , bob , an unknown state of a @xmath1-dimensional quantum system ( qudit ) without sending the system itself . in the standard version of the protocol @xcite , alice and bob share two qudits in a pure and maximally entangled state ( the quantum channel ) .
she then performs a joint measurement on her half of the entangled pair and the system carrying the state to be teleported .
after that , she communicates the outcome of her measurement to bob through a classical channel with @xmath2 bits capacity .
once bob learns alice s outcome , he performs a unitary operation on his previously entangled system , which transforms its state into the original one that alice aimed to transmit , and then the teleportation is complete .
the consumption of a pure maximally entangled state and @xmath2 bits of classical communication are both necessary and sufficient conditions for deterministic and faithful teleportation @xcite , which means that alice transmits a quantum state to bob with unit probability of success and unity fidelity .
when alice and bob share a pure but _ nonmaximally _ two - qudit entangled state , deterministic _ and _ faithful teleportation is no longer possible .- dimensional systems with @xmath3 @xcite .
this case will not be addressed here . ]
the best they can do is to teleport in a optimal way according to some figure(s ) of merit ( e.g. , average teleportation fidelity , probability of successful teleportation and classical communication cost ) . in this regard , many optimized schemes have been suggested to implement quantum teleportation @xcite .
for instance , to obtain the optimal average teleportation fidelity deterministically , alice and bob have just to perform the standard protocol @xcite . on the other hand ,
if it is crucial for bob to receive from alice a perfect replica of an unknown qudit state , they can resort to the so - called _ perfect conclusive teleportation _ @xcite . in this scheme ,
faithful teleportation is possible with less than unity probability of success and the optimal protocol is the one that maximizes such probability .
so far , several strategies have been proposed to implement the optimal protocol @xcite . in particular , for the purposes of the present work , we highlight the strategy of ref .
@xcite where it is shown that to accomplish perfect conclusive teleportation in a optimal way , alice must implement an optimized measurement which discriminates unambiguously between a set of linearly _ independent _ and equally likely symmetric states @xcite .
perfect conclusive teleportation applies only for a quantum channel with maximal schmidt rank @xcite - dimensional systems its maximum value is @xmath1 .
[ fn : schmidt ] ] . in this article
we investigate the problem of teleporting via nonmaximally entangled states with _
schmidt rank . since the success probability of faithful teleportation is zero in this case , we design an optimal _ imperfect conclusive teleportation _ protocol which can be summarized as follows : alice tries to teleport an unknown qudit state to bob and succeeds with the maximum achievable probability . when she succeeds , the teleportation fidelity , although less than unit , is also the maximum achievable for their shared quantum channel .
such fidelity depends only on the schmidt rank of this channel and it is larger than the optimal one achieved , deterministically , by the standard protocol @xcite .
this is relevant , for instance , in a scenario where it is sufficient for alice s and bob s purposes to teleport with a fidelity above some threshold and their quantum channel allows this only in a probabilistic way .
similarly to the approach of ref .
@xcite for quantum channels with maximal schmidt rank , we shall see here that if this number is not maximal , in the course of the teleportation process alice is faced with the problem of discriminating among nonorthogonal symmetric states which are linearly _ dependent _ and equally likely .
then , we show that by implementing an optimized maximum - confidence ( mc ) measurement @xcite to accomplish this task , she can perform the optimal imperfect conclusive teleportation as described above .
the mc discrimination for the aforementioned set of states was studied recently @xcite .
specifically , in ref .
@xcite we have found the optimal positive operator valued measure ( povm ) that maximizes our confidence in identifying each state in the set and minimizes the probability of obtaining inconclusive results .
we also showed that after an inconclusive result , the input states are mapped into a new set of equiprobable symmetric states within a lower - dimensional hilbert space .
if such space is not one dimensional , this new set could be submitted to another round of mc measurements , with which we could still gain some information about the input states , although with less confidence than before .
this process can be repeated in as many stages as allowed by the input states , and we called it _ sequential maximum - confidence _ ( smc ) measurements .
applying smc measurements to our imperfect conclusive teleportation protocol , we shall see that the number of stages that alice is allowed to implement , depends on both the schmidt rank and schmidt coefficients of the quantum channel , which she and bob know in advance .
we then show that there are quantum channels for which it is possible to implement a @xmath0-stage smc measurement ( @xmath4 ) such that conclusive events at any stage lead to a teleportation fidelity above the optimal one achieved by the standard protocol @xcite . in this case
, there will be an increase of the overall probability of teleportation with a fidelity above that limit and , consequently , alice and bob will be able to save resources for accomplishing the protocol , as we shall discuss later .
we shall as well discuss some side effects of our protocol , as for instance , the requirement of ancillary systems , the increase in the classical communication cost , and the reduction of the overall teleportation fidelity ( which involves conclusive and inconclusive events ) when compared with the one achieved by the optimal deterministic protocol .
the remainder of this article is organized as follows : in sec .
[ review ] we show how the teleportation process via nonmaximally entangled states can be mapped to the problem of discriminating nonorthogonal symmetric states .
we then discuss the optimal deterministic and perfect conclusive protocols within this context . in sec .
[ results1 ] we briefly review the discrimination of symmetric states via mc measurements and present the optimal imperfect conclusive teleportation protocol .
an explicit example is described to illustrate it . in sec .
[ sec : results2 ] we describe smc measurements and apply such a strategy to the teleportation process .
its benefits as well as its drawbacks are analyzed , and the previous example is used once again to illustrate the protocol .
finally , in sec .  [ summary ] , we summarize the results , discuss possible extensions of our work , and conclude .
in this section we will describe the teleportation protocol within the framework of quantum computing @xcite .
doing so , it will be straightforward to establish its connection with the problem of quantum state discrimination . in this regard
we shall see that an optimal deterministic protocol and a probabilistic and faithful one can be associated with minimum - error and unambiguous discrimination strategies , respectively ( reminding that the latter case is a known result @xcite ) .
this starting point will be important to understand how an optimal probabilistic and unfaithful teleportation protocol is connected with a maximum - confidence discrimination strategy , as we shall see in sec .
[ results1 ] .
suppose that alice wants to teleport to bob an unknown pure state of a qudit given by @xmath5 and the orthonormal set of states @xmath6 forms the computational basis spanning a @xmath1-dimensional hilbert space @xmath7 .
the quantum channel to implement the protocol is given by a pure bipartite entangled state @xmath8 , where system 1 belongs to bob and system 2 to alice .
without loss of generality , we assume that both systems live in a @xmath1-dimensional hilbert space , @xmath9 and @xmath10 , respectively . using the schmidt decomposition the state @xmath8 can be written as @xcite @xmath11 where @xmath12 are strictly positive real numbers satisfying @xmath13 .
for simplicity we also assume that these coefficients are decreasingly ordered , i.e. , @xmath14 .
note that we have included in the sum only the nonvanishing schmidt coefficients , and thereby @xmath15 represents the schmidt rank of the state @xmath8 ( see footnote [ fn : schmidt ] ) , where @xmath16 . as a final assumption ,
let the schmidt basis , which is composed by @xmath1 orthonormal states @xmath17 , coincide with the computational basis spanning @xmath18 for @xmath19 .
if this is not the case in the beginning , alice and bob can apply local unitary rotations to align the schmidt basis with the computational one @xcite .    as we mentioned in the introduction ,
alice must now perform a joint measurement on the quantum systems in her possession , in this case systems 2 and 3 . generalizing the approach of refs .
@xcite for qubits to higher - dimensional spaces , this measurement can be described by a two - step process . in the first step , alice implements a unitary operation given by a generalized controlled - not gate , @xmath20 , having system 2 as the control qudit and system 3 as the target qudit ( see fig .  [
fig : q_circuit1 ] ) .
the action of @xmath20 onto the computational basis is defined by @xcite @xmath21 where @xmath22 denotes subtraction modulo @xmath1 . applying this operator on the initial three - system state @xmath23 and using eqs .
( [ eq : unknown])([eq : gxor ] ) , we obtain @xmath24 where @xmath25 and @xmath26 are the generalized pauli operators , defined by their action on the computational basis as @xmath27 and @xmath28 respectively , where @xmath29 denotes addition modulo @xmath1 .
the states @xmath30 in eq .
( [ base ] ) are given by @xmath31 for @xmath32 .
they form a set of @xmath1 symmetric states , if they satisfy the following conditions : @xmath33 , @xmath34 @xcite .
this is the case for the states in eq .
( [ symmetricstates ] ) with the unitary given by eq .
( [ eq : z ] ) .
] under the action of @xmath35 , and are characterized by the state coefficients @xmath36 defining the quantum channel in eq .
( [ quantumchannel ] ) . additionally , the schmidt rank of this channel , @xmath15 , will determine if the set is linearly independent ( @xmath37 ) or linearly dependent ( @xmath38 ) .
the second step of alice s procedure is to perform measurements on the systems 2 and 3 individually . from eq .
( [ base ] ) we see that the state of system 3 can be perfectly determined by a projective measurement in the computational basis . the measurement of system 2 , however , will depend on the features of the quantum channel [ which defines the features of the set @xmath39 in eq .
( [ symmetricstates ] ) ] and a prearrangement between alice and bob regarding which type of teleportation protocol they want ( or they can ) implement .
therefore , the teleportation process is mapped to the problem of alice s ability to perform an optimized measurement which discriminates @xmath1 symmetric states @xmath39 occurring with equal prior probabilities @xmath40 . in what follows
we discuss the possibilities for teleportation in the context of state discrimination .
maximally entangled , @xmath41 and the teleportation fidelity is 1 .
otherwise , @xmath42 and the maximum fidelity is the one given by eq .
( [ eq : f_opt ] ) . ]    in order to achieve faithful and deterministic teleportation , alice and bob must share a maximally entangled state in the first place . when this is the case , we have in eq .
( [ quantumchannel ] ) @xmath37 and @xmath43 for all @xmath44 . thus , the symmetric states in eq .
( [ symmetricstates ] ) become @xmath45 where @xmath46 is the discrete fourier transform defined by @xmath47 therefore , system 2 is mapped to a set of orthogonal states which can be perfectly and deterministically discriminated . due to this fact
, alice can perform faithful and deterministic teleportation .
the whole process can be understood from eq .
( [ base ] ) and the quantum circuit shown in fig .
[ fig : q_circuit1 ] .
alice applies a @xmath20 between systems 2 and 3 , followed by an inverse fourier transform at 2 .
then she measures both systems in the computational basis and sends a @xmath2-bit message to bob through a classical channel communicating the result @xmath48 that she has obtained .
finally , bob uses this information and apply the unitary transformations @xmath49 on his system whose state becomes a perfect replica of the unknown state @xmath50 .      before proceeding ,
we briefly recall a result that will be useful for the discussions that follow . in ref .
@xcite , horodecki _ et al .
_ demonstrated that for any given initial entangled state @xmath51 ( pure or mixed ) shared between alice and bob , the optimal teleportation fidelity over all possible protocols performed via local operations an classical communication ( locc ) is given by @xmath52 here , the superscript @xmath53 indicates whether the protocol belongs to a class of deterministic or probabilistic protocols .
the parameter @xmath54 , called the _ singlet fraction _ , is defined as @xmath55,\ ] ] and measures the maximum fidelity that can be achieved between @xmath51 and a maximally entangled state @xmath56 when the former is subjected to @xmath53 transformations using locc . in the case of faithful and deterministic teleportation
discussed above , we have that the singlet fraction will be unit , and so will be the fidelity in ( [ eq : horodecki ] ) .    in the remainder of this work we shall associate @xmath53 not only with the class of the protocol but also with a given state discrimination strategy within that class .
in addition , we will see that the singlet fraction is equal to the confidence achieved in the discrimination of the symmetric states in eq .
( [ symmetricstates ] ) when such a strategy is employed .
let us now assume that alice and bob share a nonmaximally entangled pure state and they agree beforehand to implement teleportation deterministically .
following the discussion in sec .
[ subsec : general ] , after applying the @xmath20 , system 2 is mapped to a set of @xmath1 equally likely nonorthogonal symmetric states given by eq .
( [ symmetricstates ] ) .
these states can not be discriminated , simultaneously , in a perfect and deterministic way . due to her prior agreement with bob , alice
must then abandon the requirement for perfection and implement a measurement with @xmath1 possible outcomes where errors are allowed to occur . in this case
, the optimized measurement will be the one that minimizes the probability of making an erroneous identification of the state , which is known as minimum - error ( me ) discrimination @xcite .
it turns out that for the aforementioned set of states of system 2 , the physical implementation of the optimal me measurement follows exactly the same procedure of the standard teleportation protocol ( see fig .
[ fig : q_circuit1 ] ) , that is , an inverse fourier transform followed by a projective measurement on the computational basis @xcite equally likely symmetric states defined by eq .
( [ symmetricstates ] ) is given by the @xmath1-outcome projective measurement @xmath57 .
it applies for both linearly independent and linearly dependent states . in the latter case
, this measurement realizes the optimal povm on the lower - dimensional subspace where the symmetric states are restricted in @xcite .
[ fn : opt_me ] ] .
therefore , when alice applies the @xmath20 , measures system 3 in the computational basis , and implements an optimized me measurement on system 2 , she is just performing the standard teleportation ( which is completed as indicated in the quantum circuit of fig .  [
fig : q_circuit1 ] ) . by performing standard teleportation ,
it is guaranteed by refs .
@xcite that the fidelity between bob s final state and alice s unknown state , averaged over all possible input states @xmath50 , will be the maximum achievable @xmath58\equiv f^{\rm me},\ ] ] where @xmath12 are the schmidt coefficients of the entangled state given by eq .
( [ quantumchannel ] ) .
the superscript `` me '' now indicates the optimal discrimination strategy adopted by alice to achieve this optimal fidelity in a deterministic protocol . comparing eqs .
( [ eq : horodecki ] ) and ( [ eq : f_opt ] ) we find that @xmath59 the quantity on the right - hand side is precisely the probability of correctly discriminating among equally likely symmetric states via me measurements , @xmath60 , which in turn is equal to the maximum confidence achieved by a me measurement in such discrimination,^{\mathcal{s}}$ ] will represent our _ maximum _ confidence in taking a measurement outcome @xmath61 to indicate the input state as @xmath62 , when the discrimination strategy @xmath53 is employed .
[ fn : mc - def ] ] @xmath63^{\rm me}$ ] @xcite , that is , @xmath64^{\rm me}.\ ] ]    the connection between optimal deterministic teleportation and optimal me discrimination established here , will be important to understand how the optimal teleportation via mc measurements works in practice , as we will see in sec .
[ results1 ] .      from the discussion in sec .
[ subsec : general ] , it follows that in order to teleport faithfully via a nonmaximally entangled channel , alice must be able to discriminate @xmath1 nonorthogonal states of system 2 [ @xmath30 in eq .
( [ symmetricstates ] ) ] without error .
this is possible only if inconclusive outcomes are allowed to occur @xcite and the states are linearly independent @xcite , that is , @xmath37 in eq .
( [ symmetricstates ] ) .
the first condition makes the protocol probabilistic , while the second requires the schmidt rank of the channel to be maximal . assuming that the latter condition holds , the optimal teleportation protocol will be the one in which alice s measurement strategy to determine the states @xmath30 minimizes ( maximizes ) the probability of inconclusive ( conclusive ) outcomes .
this strategy is known as optimal unambiguous discrimination ( ud ) , and the optimized measurement that implements it for equally likely symmetric states is known @xcite .
the teleportation protocol via optimal ud of symmetric states has been studied in ref .
it is a perfect conclusive protocol because after a conclusive event in alice s discrimination process , the teleportation proceeds as in the standard scheme and in the end bob receives a perfect replica of the unknown state .
thus , the teleportation fidelity will be @xmath65 where the subscript `` s '' labels conclusive ( or successful ) events . in terms of the singlet fraction , we have from eq .
( [ eq : horodecki ] ) @xmath66^{\rm ud}_{\rm s},\ ] ] where we used the fact that the confidence ( see footnote [ fn : mc - def ] ) achieved in the ud strategy is unity for each conclusive event .
after an inconclusive event , unambiguous discrimination is forbidden @xcite and , accordingly , perfect teleportation .
when it happens , alice and bob just discard the attempt and start the process again with another copy of the shared entangled pair , until she succeeds . in terms of resources
this protocol will be more expensive than a deterministic one since it will require the use of ancillary systems ( ancilla ) , one extra bit of classical communication for each teleportation attempt until the successful one and , in general , more copies of the quantum channel to be efficient .
the quantum circuits for this protocol are shown in figs .
[ fig : q_circuit2](a ) and [ fig : q_circuit2](b ) , and they will be better understood along the discussion of teleportation via mc measurements .
when alice and bob share a quantum channel with nonmaximal schmidt rank , i.e. , @xmath38 in eq .
( [ quantumchannel ] ) , the states @xmath30 in eq .
( [ symmetricstates ] ) become linearly dependent . in this case ,
perfect conclusive teleportation described above is impossible .
it is possible , however , to implement optimal _ imperfect _ conclusive teleportation . as we shall see in this section ,
this is achieved when alice applies mc measurements @xcite to discriminate the states @xmath30 . with such strategy ,
conclusive events in the discrimination process occur with maximum success probability and lead to a teleportation with the maximum achievable fidelity for the quantum channel .
we show that this fidelity depends only on the schmidt rank of the channel and , although less than a unit , it is larger than the one achieved deterministically [ see eq .
( [ eq : f_opt ] ) ] . in the following we shall , first , briefly review mc discrimination for symmetric states @xcite , and then apply this strategy to the teleportation process .
the advantages as well as the drawbacks of the protocol are discussed and an example is presented to illustrate it .
it is worth mentioning that the problem addressed here could equivalently be thought as the teleportation of @xmath1-dimensional qudit states using two entangled @xmath15-dimensional qudits .
in fact , this problem has been discussed in ref .
@xcite from a completely different approach and restricted to maximally entangled states only . in our protocol , however , this is just a special case that occurs when all the schmidt coefficients in ( [ quantumchannel ] ) are equal as will be shown later .      in the problem of quantum state discrimination ,
the mc strategy is implemented through an optimized measurement in which each conclusive outcome leads us to identify each state with the maximum possible confidence , while keeping at the minimum the probability of obtaining inconclusive results @xcite .
in fact , the mc strategy interpolates between me and ud strategies : when the confidence is the same for all states and there is no inconclusive result , mc and me coincide ; when the confidence is equal to unity for each conclusive result mc corresponds to ud strategy .
recently , we have addressed the problem of discriminating with maximum confidence among @xmath1 symmetric states of @xmath15-dimensional qudits ( @xmath38 ) , prepared with equal prior probabilities @xmath40 . for this linearly dependent set ,
defined in eq .
( [ symmetricstates ] ) for @xmath38 , we found the optimal povm and determined its physical implementation @xcite .
the latter is achieved by the following procedure : first , a two - dimensional ancilla , initially prepared in the logical state @xmath67 , is coupled with the qudit ( for convenience labeled as system 2 ) through a unitary operation @xmath68 acting on the tensor product hilbert space @xmath69 .
the optimal unitary , derived in ref .
@xcite , transforms the input states @xmath30 as follows : @xmath70 where @xmath71 ( the role of the subscript will become clear later ) is the minimum probability of obtaining an inconclusive result , given by @xcite @xmath72 where @xmath73 is the minimum coefficient for the states @xmath30 in eq .
( [ symmetricstates ] ) .
the normalized states @xmath74 and @xmath75 can be written as @xmath76 and @xmath77 respectively , with @xmath25 defined in eq .
( [ eq : z ] ) .
note that those states are still symmetric and equally likely .
each @xmath74 ( @xmath75 ) occurs with probability @xmath78 ( @xmath71 ) .    after the unitary coupling , the ancilla is measured on the computational basis , namely @xmath79 .
if it is projected on @xmath67 , the initial states are mapped into @xmath74 .
this outcome is interpreted as conclusive ( or successful ) in the sense that the transformed states can now be subjected to a measurement that will discriminate them  and hence discriminate @xmath30with the maximum achievable confidence . otherwise , if the ancilla is projected on @xmath80 , the initial states are mapped into @xmath75 , and this result is inconclusive ( or a failure ) in the sense that there is no measurement that discriminates them with the maximum achievable confidence . when the result is conclusive , we have shown in ref .
@xcite that the mc and me strategies coincide , and so the optimized measurement for both is the same . as we discussed in sec .
[ subsec : me_telep ] ( see also footnote [ fn : opt_me ] ) , this measurement is performed by , first , applying an inverse fourier transform [ see eq .
( [ eq : fourier ] ) ] acting on a @xmath1-dimensional hilbert space , and then projecting on the computational basis that spans this space . doing so , our confidence in taking an outcome @xmath61 to identify the input state as @xmath30 will be '' ( for @xmath81 `` s '' or `` f '' and @xmath82 a positive integer ) indicate that the quantity ( or operator ) before them is related to a conclusive ( @xmath83 ) or inconclusive ( @xmath84 ) event at the @xmath82th stage of a possible sequential mc measurement , as will be discussed in sec .
[ sec : results2 ] .
[ fn : notation ] ] @xmath85_{{\rm s},\mathbbm{1}}^{\rm mc}=\frac{n}{d},\ ] ] which is the maximum achievable for equally likely symmetric pure states @xcite .
we show now that by applying the mc strategy described above , alice and bob can perform optimal imperfect conclusive teleportation . following the protocol from the beginning
, alice first applies the @xmath20 between systems 2 and 3 in her possession .
she then adds a two - dimensional ancilla prepared in the logical state @xmath67 and applies the unitary transformation @xmath68 [ defined in eq .
( [ mc ] ) ] between this ancilla and system 2 . using eqs .
( [ base ] ) and ( [ mc ] ) it can be shown that the four - system state can be written as @xmath86 & & \text{}+\sqrt{p^?_\mathbbm{1}}|\phi^{\rm fail}\rangle_{123}|1\rangle_{\rm a } , \label{eq : mc_transform}\end{aligned}\ ] ] where @xmath71 is given by eq .
( [ eq : min_p ? ] ) and @xmath87 ( @xmath88 ) denotes the normalized three - system state after a conclusive ( an inconclusive ) outcome in the measurement of the ancilla .
they are given , respectively , by @xmath89 where @xmath74 is defined by eq .
( [ mcu ] ) , and @xmath90 with @xmath75 defined by eq .
( [ mcxi ] ) .
now , alice measures the ancilla on the computational basis and communicates her outcome to bob by sending him one bit of information through a classical channel . the process
so far is depicted in the quantum circuit of fig .
[ fig : q_circuit2](a ) .
each one of the two possible alice s outcomes leads to one of the three - system states above , and each of them allows her to complete the teleportation process with different fidelities as we shall discuss next . in the circuit of fig .
[ fig : q_circuit2](a ) this is represented by the box @xmath91 ( see footnote [ fn : notation ] ) .
\(a ) +     and imperfect when @xmath38 .
( a ) here @xmath92 , where @xmath93 is the identity on the hilbert space of system 3 and the action of @xmath94 is defined by eq .
( [ eq : mc_transform ] ) .
the box @xmath91 represents the quantum circuit that completes the protocol after the outcome @xmath95 in the measurement of the ancilla by alice is communicated to bob .
@xmath96 is the final state of bob s system which depends on operation @xmath91 .
( b ) in case of conclusive events , i.e. , @xmath97 the teleportation is accomplished as in the standard scheme ( see fig .  [
fig : q_circuit1 ] ) .
the final state of system 1 will be either a faithful replica of the unknown state @xmath50 ( perfect protocol ) or an unfaithful one with the optimal fidelity given by eq .
( [ strategy - conclusive ] ) ( imperfect protocol ) .
[ fig : q_circuit2 ] ]    .5 cm ( b ) +     and imperfect when @xmath38 .
( a ) here @xmath92 , where @xmath93 is the identity on the hilbert space of system 3 and the action of @xmath94 is defined by eq .  (
[ eq : mc_transform ] ) .
the box @xmath91 represents the quantum circuit that completes the protocol after the outcome @xmath95 in the measurement of the ancilla by alice is communicated to bob .
@xmath96 is the final state of bob s system which depends on operation @xmath91 .
( b ) in case of conclusive events , i.e. , @xmath97 the teleportation is accomplished as in the standard scheme ( see fig .  [
fig : q_circuit1 ] ) .
the final state of system 1 will be either a faithful replica of the unknown state @xmath50 ( perfect protocol ) or an unfaithful one with the optimal fidelity given by eq .
( [ strategy - conclusive ] ) ( imperfect protocol ) .
[ fig : q_circuit2 ] ]    .5 cm      a conclusive outcome in the measurement of the ancilla makes the transformation @xmath98 [ see eq .
( [ eq : mc_transform ] ) ] or , equivalently , @xmath99 [ see eqs .
( [ symmetricstates ] ) and ( [ mcu ] ) , respectively ] . from eq .
( [ eq : min_p ? ] ) , such event occurs with the maximum success probability @xmath100 .
alice now proceeds with the teleportation process by measuring systems 2 and 3 . as usual , system 3
is subjected to a projective measurement on the computational basis . on the other hand ,
system 2 is subjected to the final measurement that will identify each state @xmath74and accordingly each @xmath30with maximum confidence . as described above and shown in ref .
@xcite , this final measurement is exactly the same as the optimized measurement that discriminates among equally likely symmetric states with the minimum probability of error ( see footnote  [ fn : opt_me ] ) .
therefore , from the discussion in sec .
[ subsec : me_telep ] , this implies that alice performs the same measurement of the standard teleportation protocol , and , doing this , it can be ensured by refs .
@xcite that she will teleport the unknown state to bob with the _ maximum _ achievable fidelity .
this fidelity , denoted by @xmath101 ( see footnote [ fn : notation ] ) , will be given by eq .
( [ eq : f_opt ] ) taking into account that @xmath102 for all @xmath44 .
thus , @xmath103 the complete quantum circuit implementing this protocol is obtained by inserting the circuit of fig .
[ fig : q_circuit2](b ) into the box @xmath91 in fig .
[ fig : q_circuit2](a ) with @xmath104 .
the teleportation fidelity in ( [ strategy - conclusive ] ) depends only on the schmidt rank , @xmath15 , of the quantum channel unlike the deterministic protocol whose fidelity depends on both the schmidt rank and schmidt coefficients of the channel [ see eq .
( [ eq : f_opt ] ) ] .
consequently , for a given @xmath15 , the fidelity achieved by teleporting via mc measurements will be the same for any entangled state shared between alice and bob .
the success probability @xmath105 , on the other hand , depends on the particular quantum channel . in order to compare the fidelities for each protocol
, we first find the singlet fraction for the present case .
comparing eqs .
( [ eq : horodecki ] ) and ( [ strategy - conclusive ] ) and using eq .
( [ eq : mc_probability ] ) we have @xmath106_{{\rm s},\mathbbm{1}}^{\rm mc}.\ ] ] since @xmath63_{{\rm s},\mathbbm{1}}^{\rm mc}\geqslant [ p(\nu_l|l)]^{\rm me}$ ] @xcite , and so @xmath107 we finally obtain @xmath108 therefore , if alice applies the mc strategy instead of me to discriminate the states @xmath30 given by eq .
( [ symmetricstates ] ) , after a conclusive result she will always teleport with a fidelity larger than the optimal one achieved , deterministically , by standard teleportation .
the equality in ( [ eq : fmc - vs - fme ] ) holds only when the entangled state in eq .
( [ quantumchannel])and hence @xmath30 in ( [ symmetricstates])has @xmath109 for all @xmath44 , since in this case mc and me strategies coincide , as discussed above .
( the fidelity for this particular channel has been derived in ref .
@xcite using a different approach . ) the price to pay to teleport with better fidelity is that the protocol becomes probabilistic and the required resources increase in the same way as in the perfect conclusive protocol described in sec .
[ subsec : ud_telep ] .
two extreme cases for the conclusive teleportation fidelity can be seen from eq .
( [ strategy - conclusive ] ) .
first , it reaches its minimum value when @xmath110 , that is , when the quantum channel in eq .
( [ quantumchannel ] ) is separable .
this value is the maximal fidelity of teleportation via classical channel @xcite @xmath111 consequently , as long as @xmath112 , the conclusive teleportation fidelity @xmath101 will always exceed @xmath113 by an amount of @xmath114 . in the second case , the fidelity reaches its maximum value of 1 when @xmath37 , that is , when the quantum channel in eq .
( [ quantumchannel ] ) has maximal schmidt rank , so the imperfect conclusive protocol becomes perfect .
in fact , regarding the success probability and the conclusive teleportation fidelity , the optimal imperfect conclusive protocol presented here interpolates between the optimal deterministic unfaithful ( @xmath115 ) and the perfect conclusive ( @xmath37 ) protocols described in sec .
[ subsec : me_telep ] and sec .
[ subsec : ud_telep ] , respectively .
this is so because , as we mentioned earlier , mc strategy interpolates between me and ud strategies when the above conditions are accomplished .
an inconclusive outcome in the measurement of the ancilla makes the transformation @xmath116 [ see eq .
( [ eq : mc_transform ] ) ] or , equivalently , @xmath117 [ see eqs .
( [ symmetricstates ] ) and ( [ mcxi ] ) , respectively ] . such event occurs with the minimum failure probability given by eq .
( [ eq : min_p ? ] ) . since the @xmath1 states @xmath75 form a new set of equally likely symmetric states restricted to a subspace of an @xmath15-dimensional space
, they could be subjected to a new round of discrimination .
if so , the teleportation process could be completed , although the achieved fidelity would be even lower than the conclusive one , no matter the strategy adopted between alice and bob .
let us assume here that in consequence of a prearrangement with bob , alice applies the me strategy to discriminate the states @xmath75 , after an inconclusive result in the mc measurement . from our discussion in sec .
[ subsec : me_telep ] and using eq .
( [ mcxi ] ) , the fidelity of the teleported state after the protocol is completed will be given by eq .
( [ eq : f_opt ] ) with @xmath118 for all @xmath44 . denoting this fidelity by @xmath119
( see footnote [ fn : notation ] ) we obtain @xmath120 ^ 2}},\nonumber\\ & & \label{eq : f_me_?}\end{aligned}\ ] ] with @xmath113 given by eq .
( [ eq : f_clas ] ) .
the above fidelity is lower than the optimal @xmath121 given by eq .
( [ eq : f_opt ] ) , and accordingly , lower than @xmath101 in eq .
( [ strategy - conclusive ] ) , as expected .
it will be , however , larger than the fidelity of teleportation via classical channel if there exist at least two schmidt coefficients of the entangled state in ( [ quantumchannel ] ) which differ from the minimum .    instead of the me strategy
, alice could also have applied another round of mc measurements to discriminate the states @xmath75 , after an inconclusive event .
this possibility and their consequences will be addressed in sec .
[ sec : results2 ] .
the overall teleportation fidelity is computed by averaging the fidelities of conclusive and inconclusive events with their respective probabilities . denoting this quantity by @xmath122 , we have for the present protocol @xmath123 where @xmath124 represents the average fidelity when the measurement strategy ( or a sequence of strategies ) @xmath53 is applied by alice after obtaining an inconclusive result in the first stage of the mc measurement .
for instance , if alice applies the me strategy as described above we have @xmath125 .
thus , using eqs .
( [ eq : min_p ? ] ) , ( [ strategy - conclusive ] ) , and ( [ eq : f_me _ ? ] ) , the overall teleportation fidelity for this particular case will be given by @xmath126 & = & f^{\rm clas}+na_{n-1}^2\left(\frac{n-1}{d+1}\right)\nonumber\\[2 mm ] & & \text{}+\sum_{\stackrel{\scriptstyle m , m'=0}{m\neq m'}}^{n-1 } \sqrt{\frac{(a^2_m - a^2_{n-1})(a^2_{m'}-a^2_{n-1})}{(d+1)^2}}. \label{f2}\end{aligned}\ ] ] this fidelity generalizes the one obtained previously in refs .
@xcite for perfect conclusive teleportation , i.e. , for @xmath37 . comparing it with the optimal teleportation fidelity achieved by a deterministic protocol
[ see eq .
( [ eq : f_opt ] ) ] , one can show that @xmath127 where , again , the equality holds when the schmidt coefficients of the channel satisfy @xmath109 for all @xmath44 .
more generally , using the fact that the largest average fidelity of transformation of a pure bipartite state into another using locc is achieved deterministically rather than probabilistically @xcite , we can write into a final pure state @xmath128 gives the maximal average fidelity with respect to a given target state @xmath56 ( see lemma 2 of ref .
when the target state is a maximally entangled one , this means that the _ average _ singlet fraction [ the average of eq .
( [ eq : singlet - fraction ] ) ] achieves its maximum deterministically .
therefore , by averaging eq .
( [ eq : horodecki ] ) for deterministic and probabilistic protocols we arrive at eq .
( [ eq : average_fidel_general ] ) .
[ fn : overall_fid ] ] @xmath129 for any @xmath53 .
therefore , the reduction of the overall teleportation fidelity in comparison with the one achieved in a deterministic protocol is another consequence of teleporting with a fidelity larger than the optimal one given by eq .
( [ eq : f_opt ] ) .      to illustrate graphically what has been discussed so far
, we consider the teleportation of a four - dimensional qudit state ( ququart ) through an arbitrary quantum channel with schmidt rank @xmath130 . in the following , we plot the fidelities as a function of the schmidt coefficients ( @xmath131 and @xmath132 ) of the entangled state in eq .
( [ quantumchannel ] ) without assuming any ordering between them .    from eq .
( [ strategy - conclusive ] ) , the conclusive teleportation fidelity will be @xmath133 for any initial entangled state .
this is shown in fig .
[ fig : fidel_n3_d4](a ) ( upper and lower panels ) . the optimal fidelity achieved deterministically , @xmath121 , and given by eq .
( [ eq : f_opt ] ) is shown in fig .
[ fig : fidel_n3_d4](b ) ( upper panel ) .
one clearly observes the relation between those fidelities as established by eq .
( [ eq : fmc - vs - fme ] ) .
the floor of this graphic corresponds to the maximal fidelity of teleportation via classical channel , which from eq .
( [ eq : f_clas ] ) will be @xmath134 .    .
in the upper panel we have : ( a ) the conclusive fidelity @xmath101 given by eq .
( [ strategy - conclusive ] ) , ( b ) the optimal fidelity @xmath121 of a deterministic protocol given by eq .
( [ eq : f_opt ] ) , and ( c ) the conclusive fidelity @xmath135 given by eq .
( [ f_2 ] ) .
the floor of the graphic corresponds to the teleportation fidelity via classical channel , @xmath113 , given by eq .
( [ eq : f_clas ] ) .
the lower panels show the graphics ( a ) and ( c ) viewed from the top . ]    . in the upper panel
we have : ( a ) the conclusive fidelity @xmath101 given by eq .
( [ strategy - conclusive ] ) , ( b ) the optimal fidelity @xmath121 of a deterministic protocol given by eq .
( [ eq : f_opt ] ) , and ( c ) the conclusive fidelity @xmath135 given by eq .
( [ f_2 ] ) .
the floor of the graphic corresponds to the teleportation fidelity via classical channel , @xmath113 , given by eq .
( [ eq : f_clas ] ) .
the lower panels show the graphics ( a ) and ( c ) viewed from the top . ]
the overall teleportation fidelities are shown in fig .
[ fig : overall_fids ] . in fig .
[ fig : overall_fids](a ) we plot the fidelity achieved deterministically , which is given by eq .
( [ eq : f_opt ] ) . figure  [ fig : overall_fids](b ) shows the overall fidelity given by eq .
( [ f2 ] ) , which is obtained when alice applies me discrimination to complete the teleportation , after an inconclusive result in the first stage of the mc measurement .
the relation between these two quantities established in eq .
( [ eq : overall_me ] ) is clearly observed by comparing figs .
[ fig : overall_fids](a ) and [ fig : overall_fids](b ) .
following the discussion initiated in sec .
[ subsub : telep_inc ] , we will consider that after an inconclusive result in the first stage of the mc measurement , alice  in agreement with bob
keep trying to accomplish the teleportation by discriminating the `` failure '' states @xmath75 given by eq .
( [ mcxi ] ) . in that section
we described the case where she applies the me strategy . here
, we will describe the case where she applies another stage(s ) of mc measurements . in this regard
, we say that the teleportation is performed via sequential maximum - confidence ( smc ) measurements @xcite .
next , we briefly describe this measurement strategy and after that we discuss its application on teleportation .
the concept of smc measurement has been introduced in the context of discrimination among linearly dependent and equally likely symmetric pure states @xcite . as we saw in sec .
[ subsec : mc - review ] , when this set of states is subjected to a mc measurement , an inconclusive outcome maps the @xmath1 input states @xmath30 in eq .
( [ symmetricstates ] ) into a new set of @xmath1 linearly dependent and equally likely symmetric states @xmath75 in eq .
( [ mcxi ] ) , with a one - to - one correspondence between them . for convenience
we rewrite the states @xmath75 as @xmath136 denotes the multiplicity of the smallest coefficient of @xmath30 , namely @xmath73 .
therefore , the @xmath1 states @xmath75 are restricted to a @xmath137-dimensional hilbert space . since @xmath138
, we have three possible situations : ( i ) if @xmath139 , mc and me strategies coincide and there is no inconclusive result , so @xmath140 for all @xmath61 .
( ii ) if @xmath141 , the @xmath1 states @xmath75 will be identical , up to a global phase , so no further measurement will allow us to gain information about the input states .
( iii ) if @xmath142 , the mc measurement can be applied again and a conclusive outcome leads us to identify each input state with the confidence @xmath143_{{\rm s},\mathbbm{2}}^{\rm mc}=\frac{n-\mu_1}{d},\ ] ] which is smaller than the one achieved in the first stage [ see eq .
( [ eq : mc_probability ] ) ] , as it should be . on the other hand , following eq .
( [ eq : min_p ? ] ) , an inconclusive outcome occurs with the minimum probability @xmath144 and when it occurs the states @xmath75 are mapped to a new set of equiprobable symmetric states restricted to a ( @xmath145)-dimensional subspace , where @xmath146 accounts for the multiplicity of the second smallest input - state coefficient @xmath36 .
thus , the whole analysis above applies again to this new set , and the process can be iterated in as many stages as allowed by the multiplicities @xmath147 of the coefficients @xmath36 .
as we show in the appendix , if there exist @xmath148 $ ] sets of equal coefficients , the maximum number of conclusive stages , @xmath149 , will be @xmath150 where @xmath151 is the multiplicity of the largest @xmath36 in eq .
( [ symmetricstates ] ) .
this process is referred to as smc measurement @xcite .        back to teleportation ,
let us consider now that after an inconclusive result in the first stage of the mc measurement , alice applies this strategy again to discriminate the states @xmath75 given by eq .
( [ eq : new_xi ] ) . for this
, she needs , first , to add another two - dimensional ancilla prepared in the logical state @xmath67 and to implement the unitary coupling @xmath152 between it and system 2 .
then she measures the ancilla on the computational basis and communicate the outcome to bob by sending him a one - bit message through a classical channel .
this process is depicted in the quantum circuit of fig .
[ fig : q_circuit3 ] .
a conclusive outcome occurs with maximum probability @xmath153 [ see eq .
( [ eq : p?2 ] ) ] and allows alice and bob to complete the teleportation process as in the standard case [ e.g. , see the quantum circuit of fig .
[ fig : q_circuit2](b ) ] . from the discussion of sec .
[ subsec : conc_telep ] and using eq .
( [ strategy - conclusive ] ) , the conclusive teleportation fidelity in the second stage of the smc measurement will be @xmath154 which is smaller than the one achieved in the first stage , as expected . however , by the same reasoning used to demonstrate eq .
( [ eq : fmc - vs - fme ] ) , we have that @xmath155 , where @xmath156 is given by eq .
( [ eq : f_me _ ? ] ) and the equality holds when the coefficients of @xmath75 in eq .
( [ eq : new_xi ] ) satisfy @xmath157 for all @xmath0 .
thus , it is possible to achieve , with certain probability , a better teleportation fidelity by applying a mc strategy rather than me after an inconclusive outcome in the first stage of the mc measurement .     in fig .
[ fig : q_circuit2](a ) with @xmath158
. @xmath88 is given by ( [ s2 ] ) and @xmath159 .
the box @xmath160 represents the quantum circuit that completes the teleportation after the outcome @xmath95 in the measurement of the ancilla by alice is communicated to bob . if @xmath97 , @xmath161 is given by the circuit of fig .
[ fig : q_circuit2](b ) and in the end the teleported state has a fidelity given by eq .
( [ f_2 ] ) .
if @xmath162 , @xmath163 will depend on the strategy between alice and bob : a new stage of mc measurements , an inconclusive event , etc .
, and @xmath164 is the final state of bob s system which depends on @xmath160 . [
fig : q_circuit3 ] ]    let us note that according to the discussion below eq .
( [ eq : new_xi ] ) it can be shown that in order to have at least two stages of mc measurements in the teleportation protocol , the following conditions must hold simultaneously : ( i ) the schmidt rank of the quantum channel in eq .
( [ quantumchannel ] ) must be @xmath165 and ( ii ) the multiplicity of the smallest schmidt coefficient of this channel ( @xmath73 ) must satisfy @xmath142 .
as we are considering teleportation of a qudit state with @xmath166 , the condition ( i ) says that the simplest case where smc measurements can be applied to assist the protocol is when @xmath167 and @xmath130 , if condition ( ii ) holds . this case has been addressed in sec .
[ subsec : examplei ] and we will return to it later .
the @xmath15 schmidt coefficients of the entangled state in eq .
( [ quantumchannel ] ) can be grouped into @xmath148 $ ] sets of equal coefficients .
this means that alice can apply , at most , @xmath149 stages of mc measurements , with @xmath149 given by eq .
( [ eq : max - stages ] ) ( see also the appendix ) . at each stage ,
the procedure is the same described above , and if she gets a conclusive outcome in the @xmath82th one , the teleportation fidelity , after completing the protocol , will be    [ eq : fid_sub_eq ] @xmath168 & = & \frac{1}{d+1}\left(1+\sum_{j=\mathbbm{k}}^{d}\mu_j\right ) ,   \label{eq : fid_con_b}\end{aligned}\ ] ]    where @xmath147 denotes the multiplicity of the @xmath95th smallest schmidt coefficient .
equation  ( [ eq : fid_con_a ] ) shows that the conclusive teleportation fidelity decreases from one stage to the next , which is a consequence of the decrease in the confidence with which alice discriminates the states of system 2 from one stage to the next @xcite .
to arrive at ( [ eq : fid_con_b ] ) we use that @xmath169 . comparing this equation with ( [ eq : horodecki ] )
we find the singlet fraction @xmath170_{{\rm s},\mathbbm{k}}^{\rm mc},\ ] ] where the latter equality follows from @xmath63_{{\rm s},\mathbbm{k}}^{\rm mc}=[p(\nu_l|l)]_{{\rm s},\mathbbm{k}-1}^{\rm mc}-\mu_{\mathbbm{k}-1}/d$ ] @xcite . finally ,
if alice gets a conclusive outcome in the last allowed stage , @xmath149 , the teleportation fidelity will be @xmath171 which is always larger than the maximal one achieved via classical channel and given by eq .
( [ eq : f_clas ] ) .    to account for the required resources to accomplish teleportation via smc measurements ,
let us consider that alice and bob agree beforehand to implement at most @xmath82 among the @xmath149 allowed stages of such strategy ( @xmath172 ) . in the worst case of successful teleportation , alice obtains a conclusive outcome at the @xmath82th stage and the process will consume , in addition to the entangled state and @xmath2 bits of classical communication , another @xmath82 classical bits as well as @xmath82 two - dimensional ancillas . on the other hand , if alice obtains an inconclusive outcome at the @xmath82th stage , all the used resources are lost , i.e. , @xmath82 classical bits and ancillas , the entangled state and the unknown qudit state . in this case , she and bob discard the attempt and start the process again with new copies of the aforementioned resources .
therefore , this protocol is always more expensive than a deterministic one .
however , as we shall see , in some situations the application of more than one stage of mc measurements enable alice and bob to save resources for teleportation .
the probability of teleportation at the @xmath82th stage of a smc measurement , @xmath173 , is given by @xmath174 which takes into account the inconclusive probabilities at all @xmath175 preceding stages .
considering again that alice and bob agree beforehand to implement at most @xmath82 among the @xmath149 allowed stages of a smc measurement ( @xmath172 ) , we can compute the overall probability of teleportation , @xmath176 , just by adding the success probability at each stage .
thus , using eq .
( [ eq : prob_telep_k ] ) , it is easy to show that @xmath177 the overall teleportation fidelity , assuming that alice implements a given strategy or a sequence of strategies @xmath53 after obtaining an inconclusive outcome at the @xmath82th stage , will be @xmath178 which , for @xmath179 becomes @xmath180 with @xmath113 given by eq .
( [ eq : f_clas ] ) .
note that the second term on the right - hand side of eq .
( [ eq : fid_overall_n - stage ] ) contributes only if the multiplicity , @xmath151 , of the largest schmidt coefficient is 1 .    according to the discussion in sec .
[ subsub : overall_fid ] and using eqs .
( [ eq : overall_me ] ) and ( [ eq : average_fidel_general ] ) ( see also footnote [ fn : overall_fid ] ) we can order the overall teleportation fidelities of the protocols described so far as follows @xmath181 therefore , the effect of adding further stages of mc measurements in the teleportation process is a reduction of the overall fidelity .
as discussed so far , in the problem of teleportation via quantum channels with nonmaximal schmidt rank , alice could , in principle , apply an @xmath149-stage smc measurement to assist the protocol . in this case , a conclusive event at any stage @xmath172 leads to a teleportation fidelity @xmath183 given by eq .
( [ eq : fid_sub_eq ] ) . on the other hand , alice  in agreement with bob  could have chosen to apply a me measurement and teleport deterministically with an optimal fidelity @xmath121 given by eq .
( [ eq : f_opt ] ) . however , let us assume that for alice and bob purposes , it is sufficient to accomplish teleportation with a fidelity of transmission better than a threshold set by @xmath121 . if their shared quantum channel enables alice to implement an @xmath149-stage smc measurement , each stage
@xmath82 whose conclusive fidelity fulfills this condition will be useful .
this is always the case for the first stage ( unless @xmath109 for all @xmath44 ) , as shown in eq .
( [ eq : fmc - vs - fme ] ) . for the remaining stages
the condition @xmath184 , obtained from eqs .
( [ eq : f_opt ] ) and ( [ eq : fid_sub_eq ] ) , reads ) and ( [ eq : sing_frac_smc ] ) to write the inequality ( [ eq : ineq ] ) as @xmath63_{{\rm s},\mathbbm{k}}^{\rm mc}>[p(\nu_l|l)]^{\rm me}.$ ] this expression says that the @xmath82th stage of a smc measurement will be useful for teleporting with a fidelity above @xmath121 , whenever a conclusive outcome in that stage makes alice s confidence in identifying the states @xmath30 [ see eq .
( [ symmetricstates ] ) ] larger than the one achieved via the me strategy . ]
@xmath185 given an arbitrary entangled state as in eq .
( [ quantumchannel ] ) , it is not possible to obtain a general expression for the maximum number of useful stages among the @xmath149 allowed ones [ see eq .
( [ eq : max - stages ] ) ] in a smc measurement .
however , since alice and bob have complete knowledge of this state , all the parameters in the above inequality are known beforehand .
thus , before starting the teleportation , they have to verify whether the @xmath82th stage ( @xmath186 ) will be useful and then establish the number of stages to be implemented in the protocol .    assuming that a @xmath82-stage smc measurement enables alice and bob to accomplish teleportation with a fidelity above @xmath121 , the overall probability of success in this case will be given by eq .
( [ eq : probab_overall ] ) . from this equation
, we clearly have @xmath187 where the equality holds for @xmath188 .
therefore , the implementation of further @xmath175 stages , in addition to the first one , increases the chance of teleportation .
this is specially important in a scenario where alice and bob have limited resources , mainly those considered to be more expensive , as for instance , the entangled states .
if so , instead of simply discarding the teleportation attempt after an inconclusive outcome in the first stage , they can keep trying to teleport in one of the remaining @xmath175 stages .
this increases the overall probability of teleportation with a fidelity above the threshold @xmath121 and , consequently , allows them to save resources .
we return now to the example of teleportation of an unknown ququart state through an arbitrary quantum channel with schmidt rank @xmath130 .
as mentioned earlier , this is the simplest case where teleportation via smc measurements may be applied . here
, we have at most two stages , the first of which has been discussed in sec .
[ subsec : examplei ] . if an inconclusive outcome in that stage is followed by a conclusive one in the second , the teleportation fidelity , given by eq .
( [ f_2 ] ) , will be @xmath189 .
this is shown in fig .
[ fig : fidel_n3_d4](c ) ( upper and lower panels ) . in those graphics , the lines where the fidelity is equal to the classical one represents the entangled states whose smallest schmidt coefficient has multiplicity @xmath190 .
the point where the three lines touch each other represents an event that never occurs because @xmath191 , and , hence , there is no inconclusive outcome at the first stage . for the points on the surface [ fig : fidel_n3_d4](b ) that are below the plateau in fig .
[ fig : fidel_n3_d4](c ) , the corresponding entangled states enable conclusive fidelities above @xmath121 at the second stage of the smc measurement . figure  [ fig : overall_fids](c ) shows the overall teleportation fidelity , @xmath192 , obtained from eq .
( [ eq : fid_overall_n - stage ] ) . comparing this graphic with those from figs .
[ fig : overall_fids](a ) and [ fig : overall_fids](b ) , one can verify the relation established in eq .
( [ eq : all_overall ] ) .    in fig .
[ fig : prob_n3](a ) we plot the probability of teleportation at the first stage of the smc measurement , obtained from eq .
( [ eq : min_p ? ] ) . with those probabilities
, we have a teleportation fidelity above @xmath121 for any entangled state [ see eq .
( [ eq : fmc - vs - fme ] ) ] .
figure  [ fig : prob_n3](b ) shows the _ overall _ probability of teleportation [ see eq .
( [ eq : probab_overall ] ) ] with the condition that the conclusive fidelity of transmission be larger than @xmath121 .
the region in this graphic where the probabilities exceeds those ones in fig .
[ fig : prob_n3](a ) represents the entangled states where , in addition to the first , the second stage of the smc measurement also satisfy the condition .
for these states the implementation of a @xmath193-stage smc measurement is clearly advantageous .    .
( a ) probability at the first stage of the smc measurement given by @xmath78 [ see eq .
( [ eq : min_p ? ] ) ] .
( b ) overall probability of teleportation [ see eq .
( [ eq : probab_overall ] ) ] with a fidelity above @xmath121 . ]
to summarize , in this work we have described the quantum teleportation protocol via nonmaximally entangled pure states within the framework of quantum state discrimination .
more specifically , we showed that a crucial step for teleportation is related to the ability of the sending party , alice , to discriminate nonorthogonal symmetric states which are equally likely .
the type of teleportation that she and bob ( the receiving party ) prearrange to implement defines the discrimination strategy that she has to adopt . in this regard
, we have shown that to achieve optimal teleportation fidelity in a deterministic way @xcite , alice must implement an optimized me strategy , which is valid for both linearly dependent and linearly independent symmetric states . on the other hand , to achieve unit teleportation fidelity with maximum success probability , alice has to apply an optimized ud strategy .
this is a known fact since this protocol , called perfect conclusive teleportation , has been conceived @xcite and intensively studied thereafter @xcite .
however , ud applies only for linearly independent states @xcite , which implies that perfect conclusive teleportation is restricted to quantum channels with maximal schmidt rank . here , we investigated the problem where this latter condition does not hold .
it was shown that if alice applies an optimized mc measurement @xcite to assist teleportation in this case , the fidelity of transmission at conclusive events , although less than unit , is the maximum achievable for that channel .
in fact , as can be seen from eqs .
( [ strategy - conclusive ] ) and ( [ eq : fmc - vs - fme ] ) , we found that this fidelity depends only on the schmidt rank of the channel and it is better than the one achieved deterministically via me measurements .
moreover , the probability of successfully teleporting is also maximal .
this optimal imperfect conclusive teleportation was shown to interpolate between the optimal deterministic ( when the schmidt coefficients are all equal ) and the perfect conclusive ( when the schmidt rank is maximal ) protocols .
subsequently , the teleportation via smc measurements , introduced in ref .
@xcite , has also been investigated . in this strategy ,
one takes into account that it might be possible to extract some information about the input states even after an inconclusive result in the mc measurement .
if so , mc can be applied again and the process can be iterated until no further information is available .
we have shown that if the quantum channel allows for the maximum of @xmath149 conclusive stages in the smc measurement , the teleportation fidelity decreases from one stage to the next as can be seen in eq .
( [ eq : fid_con_a ] ) ; at the @xmath149th stage , it is still always larger than the maximal fidelity achieved via classical channel .
an important feature of this scheme is that there are quantum channels for which it is possible to implement @xmath82 among the @xmath149 allowed stages in the smc measurement such that a conclusive event at any stage leads to a teleportation fidelity above the optimal one achieved deterministically . as a consequence , the overall probability of teleportation increases , allowing alice and bob to save the resources used in the protocol .
it is worth noting that smc measurements could also be applied after a failed attempt of perfect conclusive teleportation , since in this case the states to be discriminated becomes linearly dependent and can not be unambiguously identified by any further process .    in this work
we have shown that the singlet fraction of a _ pure _ bipartite quantum channel , defined by eq .
( [ eq : singlet - fraction ] ) , is equal to the maximum confidence with which alice can discriminate equally likely symmetric pure states by applying a given optimized measurement strategy .
this is a direct consequence of the connection between singlet fraction and entanglement concentration procedures @xcite , and the connection between the latter and state discrimination @xcite .
it may be fruitful , somehow , to look at the singlet fraction by this new perspective and , for instance , to extend our study here for teleportation via mixed entangled states .
finally , another possible extension of the results obtained in this work is to investigate other quantum communication protocols performed via quantum channels with nonmaximal schmidt rank .
for instance , perfect conclusive entanglement swapping via ud strategy has been studied in @xcite , and in a forthcoming paper we shall generalize this for an imperfect protocol accomplished via mc measurements .        the maximum number of conclusive stages allowed in the smc measurement , i.e. , the number of stages in which it is possible to gain some information about the input states through a measurement , ranges from 1 to @xmath194 .
it depends on the multiplicities of the input - state coefficients @xmath195 as follows .
the @xmath15 coefficients @xmath36 can be grouped into @xmath196 sets of equal coefficients , where @xmath148 $ ] .
the number of elements in each set gives the multiplicity of the coefficient .
if @xmath147 ( with @xmath197 ) is the multiplicity of the @xmath95th smallest coefficient , then @xmath151 will be the multiplicity of the largest one . as we saw in sec .
[ subsec : smc ] , after each stage of the smc measurement , the dimension of the subspace where the states to be discriminated are restricted , decreases . if there are @xmath196 sets of equal input - state coefficients , the dimension of the hilbert space at each stage will be @xmath198 2^{\rm nd}\ \text{stage } & & \rightarrow & & n-\mu_1 , \\[2 mm ] 3^{\rm rd}\ \text{stage } & & \rightarrow & & n-(\mu_1+\mu_2 ) , \\[2 mm ] \vdots   & & & & \hspace{8mm}\vdots \\[2 mm ] % ( d-1)^{\rm th}\ \text{stage } & & \rightarrow & & n-\displaystyle\sum_{j=1}^{d-2}\mu_j=\mu_{d-1}+\mu_d , \\[3 mm ]   d^{\rm th}\ \text{stage } & & \rightarrow & & n-\displaystyle\sum_{j=1}^{d-1}\mu_j=\mu_d .   \end{array}\ ] ] we note that if @xmath199 the failure states in the last stage will be identical , up to a global phase , so no further measurement allows us to gain information about the input states .
otherwise , if @xmath200 the failure states can be discriminated for the last time .
in this case , mc and me strategies coincide and there is no further inconclusive result .
therefore , the maximum number of conclusive stages in the smc measurement , denoted by @xmath149 , will be @xmath201 \mathbbm{m}=d , & & \text{if } & & \mu_d>1 , \end{array}\ ] ] which , for short , can be written as @xmath202 . in the extreme cases mentioned above
, this will be 1 when @xmath203 ( i.e. , all coefficients @xmath36 are equal ) and @xmath194 when @xmath204 ( i.e. , all coefficients @xmath36 differ ) .