in the context of quantum information and quantum technology the idea of reading classical data by means of quantum states arises quite naturally  @xcite . in general
, the standard implementations of reading are based on optical technologies : the task is the readout of a digital optical memory , where information is stored by means of the optical properties of the memory cells that are in turn probed by shining light , e.g. a laser beam , on them .
the probing light is usually denoted as the _
transmitter_. interesting features arise in the regime in which the transmitter has to be treated quantum mechanically .
the maximum rate of reliable readout defines the quantum reading capacity  @xcite .
the latter can overcome the classical reading capacity , obtained by probing with classical light , in several relevant settings .
the ( possibly quantum ) transmitter that is needed to extract the encoded information is prepared in some initial state . by scanning a particular cell
the transmitter changes its properties in a way depending on the cell .
the task is to recognize which cell occurs based on the output state of the transmitter after it has been detected and measured .
therefore the problem of reading reduces to the problem of distinguishing the output states of the transmitter .    in such optical settings one needs to consider two main coding protocols depending on the trade off between energy and coherence of the transmitters and the channels that are being used
the first protocol is the so - called _ amplitude shift keying _ ( ask ) in which the changes in the state of the transmitter are caused by the cell - dependent losses in the intensity of the transmitted signal  @xcite .
the second main protocol is the so - called _ phase shift keying _ ( psk )  @xcite .
this is a type of coding which does not produce energy dissipation . on the other hand ,
it requires a very high coherence of the transmitter , a feature that might be realized in realistic implementations  @xcite .
if the transmitter is quantum , the cells play the role of effective quantum channels .
the ask protocol then corresponds to a dissipative channel coding , while the psk protocol is a particular case of unitary coding corresponding to a unitary channel . within the ask protocol
, it can be shown that in the low - energy regime there is an energy threshold above which the maximally entangled transmitter , i.e. a two - mode squeezed state , yields a better reading efficiency than any of the classical states with the same energy  @xcite .
the general result is still valid in the presence of some noise - induced decoherence . within the ask protocol ,
coding is then realized by local channels corresponding to cells with different reflectivities .    in the psk protocol ,
the coding is realized by means of local unitary operations , specifically local phase shifts  @xcite . in the ideal , noise - free protocol
the transmitter is taken to be in a pure gaussian quasi - bell state , i.e. a bell - type superposition of quasi - orthogonal coherent states . in this scheme ,
the resulting quantum advantage is absolute , in the sense that quantum reading of the classical information encoded via a phase shift of @xmath0 is achieved with vanishing error , while any classical state of the transmitter always yields a finite error probability .    in both the ask and psk protocols
the transmitter is assumed to be a bipartite system such that only one part of it scans the memory cell .
this choice is motivated by the fact that it maximizes distinguishability at the output when the state of the transmitter is quantum .
as already mentioned , the reading efficiency is characterized by the probability of error .
information is encoded in binary memory cells with indices @xmath1 and @xmath2 .
it is thus written using only two local channels that are assumed to occur with equal _ a priori _ probabilities .
given the bi - partite input transmitter @xmath3 , the two possible output states will be denoted by @xmath4 and @xmath5 .
the probability of error in distinguishing the two output states when reading a memory cell by means of the same input @xmath3 is given by the well - known helstrom formula @xcite : @xmath6 where @xmath7 is the trace distance , with @xmath8 .
with our normalization convention , the trace distance ranges from @xmath1 to a maximum of @xmath9 for orthogonal pure states .    in the original reading protocols the goal is to minimize @xmath10 over the set of possible transmitter states @xmath3 at fixed encoding in the memory cells  @xcite .
the problem is thus dependent on the type of memory device being used .    here
instead we wish to provide a device - independent characterization of a given transmitter by considering the worst - case scenario that maximizes the probability of error @xmath10 over all possible codings .
once the worst - case scenario is identified , one can then compare different classes of transmitter states to identify the ones that minimize the maximum probability of error @xmath11 .
we will show that the maximum probability of error @xmath11 is a monotonically decreasing function of the amount of quantum correlations present in the transmitter state @xmath3 , as quantified by a recently introduced measure of quantum correlations , the so - called discord of response  @xcite in its gaussian version  @xcite ( for general reviews on quantum correlations and distinguishability of quantum states and on discord - like correlations see  @xcite ) . as a consequence ,
every state with non - vanishing discord of response is able to read any type of memory device with maximal @xmath12 .
on the other hand , for each classical transmitter , i.e. for transmitter with vanishing discord of response , there will always exist at least one memory device which is completely invisible , i.e. for which @xmath13 . in these considerations
we exclude the situations when two channels are chosen to be arbitrarily similar . in this case
the probability of error always approaches @xmath14 independently on the chosen transmitter .    in sec .
[ errorprobdiscord ] we derive the exact analytical relation between the maximum probability of error and the gaussian discord of response . in sec .
[ gausstrans ] we discuss the properties of classical and quantum gaussian transmitters , comparing squeezed - thermal , thermal - squeezed and coherent - thermal states ; in subsection [ gausstransa ] we derive upper and lower bounds on the maximum probability of error , and in subsection [ phaseshiftreading ] we identify the unitary coding that maximizes the quantum chernoff bound , namely the upper bound on the maximum probability of error , for the classes of quantum gaussian transmitters considered . the unitary channel which maximizes the bounds on the probability of error turns out to be a particular psk coding , namely the unique traceless one , which is realized for a @xmath15 phase shift .    in sec .
[ comparisonclass ] we compare the performance of gaussian quantum states of light with classical states ( coherent thermal states ) .
we show that strongly discordant squeezed thermal states possess a higher reading efficiency than the corresponding classical states of light , that is non - discordant gaussian coherent thermal transmitters with the same total number of photons ( fixed energy ) .
this realizes an important instance of noise - enhanced quantum advantage over the corresponding noisy classical resources .    in sec .
[ comparisonquant ] we compare different families of discordant gaussian states , the squeezed thermal and the thermal squeezed states at fixed total number of photons or squeezing . while for both classes of states the entanglement obviously decreases with increasing thermal noise ,
we show that for squeezed thermal states the discord is an increasing function of the number of thermal photons at fixed squeezing , while the opposite holds for thermal squeezed states . moreover , for squeezed thermal transmitters , the quantum chernoff bound is independent of thermal noise . as a consequence ,
this type of transmitter plays a privileged role in the considered class of quantum gaussian resources because the associated quantum efficiency is either enhanced or unaffected by increasing the thermal noise .
thus squeezed thermal transmitters realize an instance of noise - enhanced or noise - independent quantum resources at fixed squeezing . both in the classical - to - quantum comparison and in the comparison of different quantum resources , the key enhancement of quantum advantage is realized in the situation of strongest asymmetry of the distribution of thermal noise among the field modes : _ local _ noise enhancement leads to _ global _ enhancement of quantum correlations .    the main results are summarized and some outlook perspectives for future work are discussed in sec .  [ summary ] .
detailed calculations and auxiliary reasonings are reported in four appendixes .
in protocols of quantum reading with unitary coding the two local channels acting on the input probe state @xmath3 are unitary , and denoted as @xmath16 and @xmath17 . therefore , in this type of protocol @xmath18 and @xmath19 , so that the probability of error reads @xmath20 since the trace norm is invariant under local unitary transformations , one has equivalently @xmath21 where @xmath22 and @xmath23 is still a local unitary transformation acting on the transmitted subsystem @xmath24 .
the absolute upper bound for the probability of error is thus @xmath14 , corresponding to a situation in which there is no way to distinguish the two output states and therefore the memory device becomes completely invisible to the transmitter .
in general , computing the trace distance proves to be extremely challenging  @xcite , even more so for gaussian states of infinite - dimensional continuous - variable systems  @xcite .
therefore one has to look for analytically computable _ a priori _ upper and lower bounds . a natural upper bound on the probability of error , eq .
( [ helstrom ] ) , in distinguishing two states @xmath25 and @xmath26 occurring with the same probability is provided by the quantum chernoff bound @xmath27  @xcite : @xmath28 \ ; . \label{qcb}\ ] ] if the states @xmath25 and @xmath26 are not arbitrary , but they are qubit - qudit states related by a local , single - qubit unitary transformation , as in the case of the quantum reading protocol with unitary coding , for which @xmath29 and @xmath30 , then the quantum chernoff bound @xmath27 is achieved for @xmath31 in eq .
( [ qcb ] ) , as discussed in appendix  [ chbm ] : @xmath32 \ ; , \label{qcblu}\ ] ] and its expression coincides with the quantum bhattacharyya coefficient @xcite , which provides an upper bound on @xmath27 for arbitrary quantum states . the same result , eq .
( [ qcblu ] ) , holds for gaussian states related by traceless local symplectic transformations , as discussed in the following sections and in appendix  [ chbm ] .
next , considering the uhlmann fidelity yields a complete hierarchy of lower and upper bounds  @xcite : @xmath33 where the lower bound on the probability of error @xmath34 , and the uhlmann fidelity @xmath35 between two quantum states @xmath36 is defined as @xmath37 . for
the quantum reading protocol with unitary coding , let us consider the maximum probability of error in distinguishing the output of a binary memory cell encoded using one identity and one arbitrary unitary channel @xmath38 chosen in the set of local unitary operations with non - degenerate harmonic spectrum .
the latter is the spectrum of the complex roots of the unity and its choice is motivated by observing that it excludes unambiguously the identity from the set of possible operations : indeed , unitary operations with harmonic spectrum are orthogonal ( in the hilbert - schmidt sense ) to the identity .
we further assume that the coding is unbiased , that is the two channels are equiprobable .
the worst - case scenario is defined by the probability of error eq .
( [ proberr ] ) being the largest possible : @xmath39    let us now consider a recently introduced measure of quantum correlations , the so - called discord of response  @xcite : @xmath40 where the index @xmath41 denotes the possible different types of well behaved , contractive metrics under completely positive and trace - preserving ( cptp ) maps .
the normalization factor @xmath42 depends on the given metrics and is chosen in such a way to assure that @xmath43 varies in the interval @xmath44 $ ] .
finally , the set of local unitary operations @xmath45 includes all and only those local unitaries with harmonic spectrum .    in the following
, we will need to consider both the probability of error and different types of upper and lower bounds on it .
therefore we will be concerned with three different discords of response corresponding to three types of contractive distances : trace , hellinger , and bures .
the trace distance @xmath46 between any two quantum states @xmath25 and @xmath26 is defined as : @xmath47 \ , .
\label{tracedistance}\ ] ] the bures distance , directly related to the fidelity @xmath35 , is defined as : @xmath48 finally , the hellinger distance is defined as : @xmath49 } \ ; \ , .
\label{helldistance}\ ] ] for each discord of response , trace , hellinger , and bures , the normalization factor in eq .
( [ discofresp ] ) is , respectively : @xmath50 , @xmath51 .
if the two states @xmath25 and @xmath26 are bipartite gaussian states related by local traceless symplectic transformations or bipartite qubit - qudit states related by a local single - qubit unitary operation , that is @xmath29 and @xmath52 , then , by exploiting eq .
( [ qcblu ] ) , it is straightforward to show that the quantum chernoff bound is a simple , monotonically non - increasing simple function of the hellinger distance : @xmath53 it is then immediate to show that the maximum of @xmath27 over the set of local unitary operations @xmath54 with completely non - degenerate harmonic spectrum is a simple linear function of the hellinger discord of response : @xmath55 the discord of response quantifies the response of a quantum state to least - disturbing local unitary perturbations and satisfies all the basic axioms that must be obeyed by a _ bona fide _ measure of quantum correlations  @xcite : it vanishes if and only if @xmath3 is a classical - quantum state ; it is invariant under local unitary operations ; by fixing a well - behaved metrics such as trace , bures , or hellinger , it is contractive under cptp maps on subsystem @xmath56 , i.e. the subsystem that is not perturbed by the local unitary operation @xmath57 ; and reduces to an entanglement monotone for pure states , for one of which it also assumes the maximum possible value ( @xmath2 ) .    by comparing eqs .
( [ perrmax ] ) and ( [ discofresp ] ) with @xmath58 , it is immediate to relate the maximum probability of error @xmath59 to the trace discord of response @xmath60 : @xmath61 from eq .
( [ perrdiscord ] ) it follows that half of the square root of the trace discord of response yields the difference between the absolute maximum of the probability of error ( i.e. @xmath14 ) and the maximum probability of error at fixed transmitter state @xmath3 .
a vanishing trace discord of response implies that there exists at least one memory that can not be read by classical - quantum transmitters .
a maximum trace discord of response ( @xmath62 ) implies that , irrespective of the coding , the maximally entangled transmitter will read any memory without errors : indeed , any local unitary operation with harmonic spectrum transforms a maximally entangled state into another maximally entangled state orthogonal to it , and therefore yields perfect distinguishability at the output .
in the following , in order to compare the efficiency of classical ( non - discordant ) and quantum noisy sources of light in reading protocols , we will consider two - mode gaussian states of the electromagnetic field .
the states with vanishing first moments of the quadratures are fully described by their covariance matrix @xmath63  @xcite : @xmath64 the range of values of @xmath65 and @xmath66 for which the corresponding states are physical ( i.e. correspond to positive density matrices ) is determined by the heisenberg uncertainty relation stated in symplectic form : @xmath67 where @xmath68 is the symplectic form . in all the paper , if we refer to the symmetric states we mean @xmath69 . in the following
we will focus on two rather general classes of ( undisplaced ) gaussian states , the squeezed thermal states ( sts ) and the thermal squeezed states ( tss ) .
the former are defined by two - mode squeezing @xmath70 applied on , possibly non - symmetric , two - mode thermal states . notice that the denomination sts is sometimes used in the literature to denote any gaussian states characterized by the covariance matrix eq .
( [ sqthcorm ] ) with @xmath71 .    in the present work
we adopt the convention that stss describe a physically rather frequent situation in which the thermal noise acts possibly non - symmetrically on the two modes , that is @xmath72 , and thus the total number of thermal photons is @xmath73 . here
@xmath74 is the two - mode squeezing parameter and @xmath75 are the annihilation operators in each of the two modes ( @xmath76 ) .
the diagonal and off - diagonal covariance matrix elements for these states , respectively @xmath77 , @xmath78 and @xmath79 , read : where @xmath80 where @xmath81 is the number of squeezed photons . thermal squeezed states ( tsss )
describe the reverse physical situation : an initially two - mode squeezed vacuum is allowed to evolve at later times in a noisy channel and eventually thermalizes with an external environment characterized by a total number of thermal photons @xmath73 .
the covariance matrix elements of tsss , respectively @xmath82 , @xmath83 and @xmath84 , are : @xmath85 the same covariance matrix , eq .
( [ sqthcorm ] ) , also describes classical uncorrelated tensor product states , which we assume to be gaussian .
thermal states are obtained letting @xmath86 , @xmath87 and @xmath88 .
these gaussian states are classical in the sense that they can be written as convex combinations of coherent states and , moreover , they are the only gaussian states with vanishing discord  @xcite .
notice that in the standard quantum optics terminology the wording classical states is used to denote any state with positive glauber - sudarshan @xmath89-representation . in the following , without loss of generality , we will identify party @xmath24 with mode @xmath90 and party @xmath56 with mode @xmath91 .      for unitary - coding protocols with gaussian transmitters ,
gaussian local ( single - mode ) unitary operations acting on an infinite - dimensional hilbert space are implemented by local ( single - mode ) symplectic transformations acting on the covariance matrix @xmath63 of two - mode gaussian input states @xmath92 . in the following
we will consider only traceless transformations .
the traceless condition must be imposed in order to exclude trivial coding by two identical channels , for which the maximum probability of error is always @xmath14 . moreover
, imposing tracelessness allows to investigate and determine the correspondence between reading efficiency and quantum correlations , as will be shown in the following . denoting by @xmath93 the local traceless symplectic transformations acting on mode @xmath24 ,
the two local unitary operations implementing the encodings of the binary memory cells are the identity @xmath94 and @xmath95 .    in order to assess the performance of quantum and classical gaussian resources in the unitary - coding quantum reading protocol we need to evaluate the upper and lower bounds , eqs .
( [ qcb ] ) and ( [ errorineq ] ) , on the maximum probability of error @xmath59 , eqs .
( [ perrmax ] ) and ( [ perrdiscord ] ) , for gaussian two - mode transmitters @xmath92 . to this end , we introduce first the _ gaussian _ discord of response  @xcite , i.e the discord of response obtained by minimizing over local unitaries restricted only to the subset of local symplectic , traceless , transformations @xmath93 : @xmath96 where the index @xmath97 stands for trace , hellinger , or bures distance with the same normalization factors @xmath98 as before , and @xmath99 is the transpose of the symplectic matrix @xmath93 and @xmath100 .
the gaussian discord of response provides an upper bound to the true discord of response of gaussian states and vanishes on and only on gaussian classical states ( subset of separable states that are in product form ) .
the main properties of the gaussian discord of response are reported in appendix  [ appdiscord ] .    in complete analogy with eq .
( [ perrdiscord ] ) the maximum probability of error in discriminating two gaussian transmitters related by a local symplectic transformation can be expressed as a simple function of the trace gaussian discord of response : @xmath101 specializing the bounds given by eq .
( [ errorineq ] ) to the maximum probability of error in distinguishing gaussian states , one has : @xmath102 where the lower bound @xmath103 is a simple monotonically non - increasing function of the bures gaussian discord of response : @xmath104 and the upper bound @xmath27 is a simple linear , monotonically non - increasing function of the hellinger gaussian discord of response : @xmath105 therefore , for increasing gaussian discords of response the bounds on the probability of error decrease correspondingly . the explicit expressions of the quantum chernoff bound @xmath27 , the hellinger gaussian discord of response , the uhlmann fidelity , and the bures gaussian discord of response are derived in appendices  [ uhlmanngaussian ] and [ chernoffgaussian ] .
the probability of error in distinguishing @xmath92 from @xmath100 is given by eq .
( [ proberr ] ) with the local symplectic transformations @xmath93 replacing @xmath38 . among the local unitary operations
@xmath93 which can implement the unitary - coding reading protocol , an important subset includes the single - mode phase shifts @xmath106 acting on mode @xmath90 , parameterized by the angle parameter @xmath107 : @xmath108 .    under a local phase shift the local mode @xmath90 is transformed as follows : @xmath109 , while the two - mode covariance matrix @xmath110 transforms according to @xmath111 , where the symplectic matrix @xmath112 reads @xmath113 for the maximum probability of error , eq .
( [ gaussperrdiscord ] ) , the upper bound is achieved , from eqs .
( [ gaussbounds ] ) and ( [ qcbmax ] ) , in terms of a simple linear function of the hellinger gaussian discord of response .
the latter , in turn , is obtained by minimizing the hellinger distance over the entire set of local unitary operations implemented on the covariance matrix by local symplectic , traceless , transformations . for squeezed thermal and thermal squeezed states one finds that this minimum is realized by the @xmath15 phase shift @xmath114 , that is the only possible traceless phase shift .
therefore the extremal unitary - coding protocol in the ensemble of local traceless symplectic operations is realized by a particular psk coding , the phase shift @xmath15 , which is the only traceless psk coding .
the details of the proof are reported in appendix  [ chbm ] .    on the other hand
the quantity @xmath115 , eq .
( [ lbpmax ] ) , evaluated at @xmath15 , may not be optimal but certainly still provides a lower bound on the maximum probability of error : @xmath116 since for a @xmath15 phase shift the corresponding transformation is implemented by the traceless symplectic matrix @xmath117 , the expectation values of the canonical quadrature operators @xmath41 and @xmath118 transform as follows : @xmath119 and @xmath120 .
therefore , undisplaced thermal gaussian states ( @xmath121 ) are left invariant , and the worst - case psk coding @xmath122 is completely invisible to classical transmitters ( thermal states ) since the @xmath123 shift does not change their covariance matrix .
the probability of error @xmath10 for every such classical transmitter always achieves the absolute maximum @xmath14 .
viceversa , the very same coding can always be read by any quantum gaussian transmitter with nonvanishing gaussian discord of response . as a consequence ,
quantum transmitters always outperform undisplaced classical transmitters in device - independent , worst - case scenario quantum reading .
the situation changes when we consider displaced thermal states , as displacement unavoidably increases distinguishability .
indeed the coherent and thermal coherent states are very efficient in detecting phase shift transformations .
nonetheless , in the next section we will show that thermal coherent transmitters are outperformed by noisy quantum ones provided that the distribution of the thermal noise among the modes in the quantum resource is strongly _ non - symmetric_.
we have seen that without displacement classical transmitters ( thermal states ) are completely blind to reading .
introducing displacement enhances the distinguishability of output states and turns classical states ( thermal coherent states ) in useful transmitters .
it is straightforward to show that distinguishability and the reading efficiency increase by implementing a single - mode displacement rather than a two - mode one with equal single - mode amplitudes .
let us then consider a scenario in which one compares discordant quantum transmitters with displaced classical ones .
we will show that in this case , that is comparing noisy quantum resources with distinguishability - enhanced noisy classical ones , discordant transmitters can outperform classical ones , and that the quantum advantage increases with increasing ( thermal ) noise
.    stated precisely , given the same coding @xmath124 acting locally on the first mode , we want to identify the regimes in which the probability of error associated to a quantum transmitter is smaller than the probability of error associated to a thermal coherent one . from eqs .
( [ qcb ] ) and ( [ errorineq ] ) this is equivalent to identifying the regimes in which the upper bound @xmath27 on the probability of error using squeezed thermal transmitters , denoted by @xmath125 , is smaller than the lower bound @xmath126 using thermal coherent states , that will be denoted by @xmath127 .
obviously , only a constrained comparison at given fixed physical quantities is meaningful .
we will thus compare squeezed thermal states and displaced thermal states at fixed purity and fixed total number of photons .
we will observe that the quantum advantage is achieved provided the covariance matrix is not symmetric with respect to exchange of the modes .    with these notations , the requirement for a _ bona fide _ quantum advantage reads as follows : @xmath128    both the coherent thermal and squeezed thermal states are two extremal classes of the general family of states which can be described as squeezed displaced thermal states ( sdts ) , defined as : @xmath129 where @xmath130 is the two - mode squeezing operator and we assume that squeezing parameter @xmath74 is real . here
@xmath131 is the single - mode displacement operator and @xmath132 is the non - symmetric two - mode thermal state , where @xmath133 .
the purity @xmath134 of the sdts is a function of the covariance matrix @xmath63 and depends only on the number of thermal photons : @xmath135 the total number of photons , @xmath136 , in the sdts reads : @xmath137 where @xmath138 is the number of squeezed photons .    putting @xmath139 , sdtss reduce to thermal coherent states @xmath140 with total number of photons @xmath141 . decreasing the displacement amplitude @xmath142 the distinguishability of coherent thermal transmitters
is reduced .
we want to investigate whether this loss of distinguishability can be compensated by the quantum contribution due to increase of @xmath74 keeping @xmath143 and the purity fixed . in the limiting situation
when @xmath144 the corresponding quantum state @xmath145 is a squeezed thermal state ( sts ) .
in the following we will show that for stss @xmath145 and thermal coherent states @xmath140 with equal total number of photons @xmath143 , ineq .
( [ uplow ] ) is satisfied for some ranges of @xmath146 and @xmath147 .
the condition of equal total number of photons @xmath143 implies @xmath148 .    in order to evaluate the uhlmann fidelity @xmath35 and the quantum chernoff bound @xmath27 in eq .
( [ uplow ] ) we need to know how the phase shift @xmath149 transforms the transmitters that we wish to compare : the squeezed thermal states and the thermal coherent states .
the dependence of @xmath35 and @xmath27 on the displacement vector and on the covariance matrix of general gaussian states is reported in appendices  [ uhlmanngaussian ] and [ chernoffgaussian ] .
the uhlmann fidelity providing the lower bound on @xmath10 for thermal coherent states depends only on the displacement vector , since the covariance matrix of thermal coherent states is unaffected by the action of the symplectic transformation @xmath150 , where @xmath151 . without loss of generality , the displacement vector of a thermal coherent state can be written as @xmath152^t$ ] . under a @xmath15 phase shift the difference @xmath153 between the final and the initial displacement vectors reads as follows : @xmath154 the uhlmann fidelity of a thermal coherent state is then @xmath155 where @xmath156 .
the @xmath27 of non - symmetric , undisplaced squeezed thermal state depends only on the covariance matrix , eq .
( [ sqthcorm ] ) , with entries eqs .
( [ ccvsqth ] ) , and its explicit expression is reported in appendix  [ chernoffgaussian ] .    in fig .
[ boundsenergy ] , upper panel , we report the exact values of @xmath157 for a squeezed vacuum with squeezing @xmath74 , @xmath158 for a coherent state @xmath159 , and @xmath160 for a squeezed displaced vacuum with squeezing @xmath161 and displacement @xmath162 , in the absence of noise , @xmath163 , and at fixed total photon number @xmath164 .
the coherent states outperform the quantum resources given by the undisplaced squeezed vacuum .
the coherent transmitters are then compared with squeezed displaced vacua of the same energy . even if the latter include a classical contribution due to displacement and a quantum contribution due to squeezing they are still outperformed by the classical coherent states .
the quantum efficiency converges to the classical one in the high - energy limit . for completeness , in fig .
[ boundsenergy ] we also report the quantum chernoff bound @xmath165 for the squeezed - vacuum transmitters .    , of the probability of error @xmath10 in the absence of thermal noise ( @xmath163 ) .
blue dotted line : probability of error @xmath157 of squeezed vacuum states .
black dashed line : @xmath158 of coherent states .
green dot - dashed line : @xmath160 of squeezed displaced vacuum states with displacement @xmath166 .
red solid line : quantum chernoff bound @xmath165 of squeezed vacuum states yielding the upper bound on @xmath10 with quantum transmitters .
no quantum gain is not observed in this regime .
central panel : behavior of quantum and classical bounds on @xmath10 as functions of @xmath143 at fixed asymmetric thermal noise : @xmath167 , @xmath168 .
red solid line : quantum upper bound @xmath125 on @xmath10 with undisplaced squeezed thermal states .
black dashed line : classical lower bound @xmath127 on @xmath10 with thermal coherent states .
lower panel : same as central panel , but with stronger thermal noise : @xmath169 , @xmath168 . with increasing @xmath143
the quantum upper bound goes below the corresponding classical figures of merit and quantum transmitters certainly outperform classical ones.,width=264 ]    in the presence of symmetric thermal noise , @xmath170 , there is no improvement in the quantum efficiency relative to the classical one .
introducing non - symmetric thermal noise , e.g. @xmath171 , the gaussian discords of response , that are intrinsically asymmetric quantities with respects to the subsystems in a given bipartition , increase dramatically , and so does the corresponding quantum reading efficiency . as a consequence , for sufficiently strong non - symmetric thermal noise the quantum resources
outperform the classical ones . in the presence of non - symmetric noise exact expressions for @xmath10
are no longer available .
therefore , in the central and lower panels of fig .
[ boundsenergy ] we report the exact lower and upper bounds on @xmath10 based on the uhlmann fidelity @xmath35 and on the quantum chernoff bound @xmath27 .
we observe that at intermediate values of the total number of photons @xmath143 the quantum upper bound @xmath125 on @xmath10 is strictly lower than the classical lower bound @xmath127 , assuring that the quantum resources outperform the classical ones .
the classical transmitters ( thermal coherent states ) recover the quantum efficiency for large values of the total photon number .    moreover , comparing the central and the lower panels in fig .
[ boundsenergy ] , we observe that as the number of thermal photons @xmath146 is increased , the range of values of the total photon number @xmath143 for which one has a quantum advantage increases .    in fig .
[ rconstans ] we provide a plot of the contour lines for the differences @xmath172 for different asymmetries : @xmath168 ( upper panel ) and @xmath173 ( lower panel ) as functions of the total photon number @xmath143 and of the purity ( or , equivalently of the number of thermal photons @xmath146 ) . when these differences become negative , ineq .
( [ uplow ] ) is satisfied and the quantum resources certainly outperform the classical ones .    from the upper panel of fig .
[ rconstans ] , for @xmath168 comparing noisy quantum transmitters with noisy coherent ones , one observes that @xmath174 in a large region of parameters .
fixing the squeezing , so that the change in the total photon number @xmath143 is due only to the change in the number of thermal photons @xmath146 , corresponds to a straight line in the plane ( in the figure , drawn at @xmath175 ) .
remarkably , for these iso - squeezed states the quantum advantage increases with increasing number of thermal photons .
this is an instance of noise - enhanced quantum efficiency that will be discussed further in sec .
[ comparisonquant ] .    in the lower panel of fig .
[ rconstans ] we decrease the asymmetry @xmath176 .
we observe that the quantum gain is also achieved but in the range of much higher @xmath177 .
again , fixing the squeezing , e.g. at @xmath175 , we notice that the quantum advantage increases with thermal noise .
we remark that these results are obtained in a scenario in which we compare the minimum quantum efficiency ( upper bound on the error probability using quantum transmitters ) with the maximum classical efficiency ( lower bound on the error probability using coherent thermal transmitters )
. therefore the actual quantum advantage will be even larger .     for @xmath168 ( upper panel ) and for @xmath173 ( lower panel ) as functions of the total photon number @xmath178 and of the number of thermal photons @xmath146 .
the region in which these quantities assume negative values corresponds to quantum transmitters certainly outperforming coherent thermal ones .
the red dashed curve identifies its boundary .
the straight solid yellow lines in both panels corresponds to a fixed degree of squeezing @xmath175 . moving along this lines in the direction of increasing number of thermal photons @xmath146 one
observes that as noise grows there is a growing advantage in using quantum transmitters over classical ones .
this behavior provides an instance of noise - enhanced quantum performance .
the effect is reduced when the asymmetry @xmath179 decreases.,width=264 ]    the quantum advantage disappears in the symmetric situation @xmath180 .
indeed , the inequality @xmath181 expresses the condition that the mode which passes through the coding channels is more noisy .
this condition is unfavorable for thermal coherent states and favorable for stss .
namely , in stss with fixed finite squeezing , increasing the number of thermal photons in the first mode certainly increases the discord of response and , as a consequence , increases also the reading efficiency for this type of transmitters . this phenomenon is further analyzed in the following sections on the comparison of different quantum transmitters .
these two concatenated effects cause the advantage of quantum states over the classical transmitters in the protocol of quantum reading with noisy transmitters .
the asymmetry between the local thermal noise terms is the crucial element for realizing the enhancement of the reading efficiency . as we will see in the next section , the behavior of stss with increasing number of thermal photons in the symmetric situation @xmath180 , although not sufficient to realize a quantum advantage over classical resources , favors stss among other noisy quantum transmitters
in the previous section we compared classical and quantum transmitters and for worst - case scenario we identified the regimes in which noisy but discordant quantum resources outperform classical thermal coherent ones .
we also observed that the quantum advantage can increase , at fixed squeezing , with increasing thermal noise .
we will now compare the behavior of squeezed - thermal and thermal - squeezed states in order to investigate how thermal noise affects the quantum efficiency of different classes of quantum transmitters .
we shall compare symmetric squeezed thermal and thermal squeezed transmitters either at fixed number of thermal photons or at fixed squeezing .
we will then consider how non - symmetric noise further enhances the quantum efficiency by suppressing the upper bound on the probability of error .
finally , we will investigate how the quantum efficiency of different quantum transmitters improves when multiple reading operations are implemented at fixed thermal noise .
let us start by comparing quantum reading with symmetric squeezed thermal and symmetric thermal squeezed transmitters at fixed number of thermal photons and its performance as a function of the total number of photons .
this comparison is motivated by the fact that the interplay between quantum and thermal fluctuations is very different for these two classes of quantum states . squeezed thermal states ( stss )
are obtained by applying on thermal states , namely states that have already thermalized ( e.g. at the output of a noisy channel ) a purely quantum operation , two - mode squeezing , that can be interpreted as a re - quantization of the thermal vacuum .
viceversa , thermal squeezed states ( tsss ) are realized by letting pure squeezed vacua evolve and eventually thermalize in a noisy channel .
both squeezed thermal and thermal squeezed states are two extremal classes of the very general family of squeezed thermal squeezed displaced states ( stsdss ) which are defined as follows : @xmath182 s(r)^{\dagger } \ , .
\nonumber\end{aligned}\ ] ] here @xmath183 and @xmath184 are two - mode squeezing operators with different squeezing parameters @xmath74 and @xmath161 , @xmath185 is a single - mode displacement operator , @xmath186 is a noisy channel introducing @xmath146 and @xmath147 thermal photons respectively in the first and in the second mode .
the channel acts on a given gaussian state adding the number of thermal photons to the diagonal entries of its covariance matrix .
finally , @xmath187 denotes the two - mode vacuum state .
we study this family of states at constant fixed values of the parameters @xmath146 and @xmath147 .
the total number of photons in a stsds is : @xmath188 consider first the situation without displacement , @xmath144 , and with symmetric thermal noise @xmath189 .
putting @xmath139 , stsdss reduces to thermal squeezed states tsts @xmath190 .
decreasing @xmath161 and correspondingly increasing @xmath74 while keeping @xmath143 and @xmath191 fixed , in the limit @xmath192 one recovers the squeezed thermal states stss @xmath193 .
let us compare these two extremal classes of quantum gaussian transmitters that coincide for @xmath194 and differ for @xmath195 or , in non symmetric situations , when either @xmath196 and/or @xmath197 .    in fig .
[ quantumquantum ] , upper left panel , we observe that for nonvanishing but small number of thermal photons @xmath191 the upper bound on the probability of error @xmath10 using stss still remains above the lower bound on @xmath10 using tsss . by further increasing thermal noise , as shown in the upper right panel of fig .
[ quantumquantum ] , all bounds with stss are below all bounds with tsss and the stss certainly outperform the tsss . due to the different effects of the noise in stss and tsss we observe the clear advantage of using stss over tsss in a quantum reading protocol .
the lower panels of fig .
[ quantumquantum ] show the comparison done for displaced thermal squeezed states @xmath198 and displaced squeezed thermal states @xmath199 . at fixed total number of photons we observe that single - mode displacement always increases the reading efficiency for both classes of states , while decreasing the squeezing reduces and eventually wipes out the quantum advantage of stss over tsss
these two classes of states coincide in the limiting case @xmath200 in which they both recover the classical thermal coherent states . as we have seen in the previous section ,
the advantage of stss over classical states is recovered by considering non - symmetric thermal noise .
, of the upper and lower bounds on the probability of error @xmath10 using either undisplaced squeezed thermal states ( stss ) or undisplaced thermal squeezed states ( tsss ) with fixed , symmetric , thermal noise : @xmath201 .
upper right panel : the same but with @xmath202 . in this case
one observes that beyond a threshold value of @xmath177 the stss certainly outperform the tsss .
lower panels similar to the upper panels but with nonvanishing displacement @xmath203 .
the upper bounds on the probability of error are given here by the quantum bhattacharyya coefficient @xmath204 , which for states that include displacement does not necessary coincide with the quantum chernoff bound @xmath27 .
the displacement increases the efficiency of the reading , however it does not guarantee with certainty the noise - enhanced performance of stss with respect to tsss.,width=340 ]      when comparing the behavior of the uhlmann fidelity , quantum chernoff bound , and the gaussian discords of response under variations of the classical noise at a fixed level of quantum fluctuations ( squeezing ) , we expect a radically diverging behaviors of the stss with respect to the tsss . on intuitive grounds , since fidelity , chernoff bound , and discord are measures of distinguishability between an input state and the corresponding output after a local disturbance , if we compare stss and tsss we notice from the structure of their covariance matrices , see eqs .
( [ cthsq ] ) , that as @xmath191 increases the correlation part of the stss increases , while it remains constant in tsss .
indeed , the quantum chernoff bound @xmath27 and of the uhlmann fidelity @xmath205 for any two gaussian states of the form eq .
( [ sqthcorm ] ) with @xmath69 and @xmath206 , related by a @xmath15 phase shift , take the form : @xmath207    @xmath208^{2 } } \ ; . \label{derivfidel}\ ] ]    in fig .
[ e18 ] we report the behavior of the upper bound on the probability of error @xmath27 , eq .
( [ derivchernoff ] ) , and of the lower bound @xmath126 ( which is a monotonic increasing function of the uhlmann fidelity @xmath205 , eq .
( [ derivfidel ] ) ) for the squeezed thermal and thermal squeezed states as functions of the number of thermal photons at fixed squeezing .
we observe that for tsss @xmath205 and @xmath27 both increase with increasing thermal noise , converging asymptotically to the absolute maximum ( @xmath14 ) of the probability of error . therefore , the quantum efficiency of tsss is suppressed by increasing the thermal noise .    on the contrary , for stss
@xmath27 remains constant and @xmath126 decreases .
this behavior guarantees that the probability of error , at fixed squeezing , is bound to vary in a restricted interval below @xmath209 . in the given example , the squeezing amplitude @xmath74 has been fixed at a relatively low value @xmath210 . increasing the level of squeezing will further reduce the maximum value achievable by the probability of error . in conclusion ,
the quantum advantage associated to squeezed thermal states is paramount at fixed , even moderate , squeezing , and increases monotonically with increasing thermal noise .     and of the lower bound on the probability of error @xmath126 as functions of the number of thermal photons @xmath191 , at fixed number of squeezed photons @xmath211 , for thermal squeezed and squeezed thermal states .
blue dashed line : @xmath27 for thermal squeezed states .
dotted red line : @xmath126 for thermal squeezed states .
solid black line : @xmath27 for squeezed thermal states .
orange dot - dashed line : @xmath126 for squeezed thermal states .
the colored areas between the upper and lower bounds denote the admissible intervals of variation for the probability of error @xmath10 . increasing thermal noise
suppresses the efficiency of thermal squeezed transmitters and increases the efficiency of squeezed thermal ones.,width=298 ]    a more detailed understanding of these opposite behaviors can be gained by looking at the variation of the measures of distinguishability with respect to the variations of the thermal noise and of the parameters of the covariance matrix .
consider a generic measure of distinguishability denoted by @xmath212 where @xmath213 , among others , includes the uhlmann fidelity @xmath205 and the quantum chernoff bound @xmath27 .
consider then the _ total _ derivative of @xmath213 with respect to @xmath191 , keeping @xmath74 constant : @xmath214 specializing to either @xmath205 or @xmath27 we obtain the explicit expressions of their derivatives , as reported in appendix [ derivatives ] .
from these explicit expressions it follows that it is always @xmath215 irrespective of the type of quantum transmitter considered .    hence , if @xmath213 represents either the uhlmann fidelity or the quantum chernoff bound , the derivative @xmath216 .
this behavior agrees with the intuition that the operation of increasing the diagonal entries of the covariance matrix and keeping the off - diagonal entries constant acts like a thermal channel which makes the initial state and the final state after the phase shift less distinguishable .
the behavior @xmath217 for both @xmath205 and @xmath27 is also intuitively clear , since changes in @xmath63 under @xmath149 are the greater the larger the off - diagonal entries when keeping the diagonal @xmath218 constant .
let us now discuss the state - dependent derivatives : for stss and tsss the partial derivatives @xmath219 and @xmath220 are non - negative , therefore they can not oppose the behavior of the state - independent part . for stss
they are given by @xmath221 and @xmath222 respectively , while for tsss @xmath223 and @xmath224 .
the behavior of @xmath225 or @xmath27 with increasing @xmath191 depends then on the ratio of the positive and negative parts on the left hand side of eq .
( [ derivative ] ) .    for tsss
there is only a positive contribution in eq .
( [ derivative ] ) and both @xmath205 and @xmath27 increase with increasing number of thermal photons . as a consequence ,
both the lower and the upper bounds on the probability of error must increase , as observed in fig .
[ e18 ] . on the other hand , for stss
the negative contribution always prevails when considering the uhlmann fidelity , while the positive and negative contributions always cancel exactly when considering the quantum chernoff bound , leading to a constant upper bound on the probability of error , as observed in fig .
[ e18 ] .    the constant behavior of @xmath27 as a function of thermal noise for stss can be also seen directly from eq .
( [ derivchernoff ] ) . this equation can be rewritten straightforwardly only in terms of @xmath226 .
indeed , this ratio for stss does not depend on @xmath191 .    in this section
we have considered reading protocols with binary coding given by the identity and the phase shift @xmath15 , and transmitters implemented by symmetric stss .
this is actually a worst - case scenario in two respects . on the one hand ,
the phase shift @xmath15 provides the worst possible coding among all traceless local symplectic operations ( maximum probability of error , device - independent reading ) . on the other hand ,
the _ symmetric _ stss provide the worst possible transmitters among general stss .    indeed ,
in the next subsection we will show that non - symmetric stss provide much larger quantum efficiencies and even effectively suppress the probability of error .
one might speculate that the increment of the bures discord of response for increasing thermal noise and the corresponding decrement of the lower bound on the probability of error are due to the particular relation with the bures metrics induced by the uhlmann fidelity .
however , this is not the case .
we will now show that if one considers non - symmetric two - mode stss then also the hellinger discord of response increases under increasing local thermal noise and therefore the corresponding upper bound on the probability of error decreases as well .
this is a strong indication that the true probability of error decreases as well with increasing thermal noise and thus that the use of discordant , non - symmetric stss yields an absolute advantage , even over the use of entangled pure states , namely two - mode squeezed vacua with the same amount of squeezing as in the corresponding stss .    the covariance matrix of non - symmetric two - mode stss is given in eq .
( [ sqthcorm ] ) with the parameters given in eqs .
( [ ccvsqth ] ) .
the corresponding @xmath27 achieves its maximum for the @xmath15 phase shift , as proven in appendix  [ chbm ] , and the exact expression of @xmath27 for non - symmetric stss related by a @xmath15 phase shift is : @xmath227    let us consider the variation @xmath228 of the quantum chernoff bound , at constant squeezing @xmath74 and constant number of thermal photons @xmath147 in the second mode , whose analytical expression is provided in appendix  [ derivatives ] . from this expression
it is clear that there is a range of values of @xmath146 and @xmath147 , namely @xmath181 , for which @xmath229 .
therefore , in this regime @xmath27 decreases with increasing @xmath146 . on the other hand , @xmath27 increases with increasing @xmath146 if @xmath230 .
henceforth , in the symmetric situation @xmath189 the quantum chernoff bound is maximum and constant , independent of @xmath191 , as discussed in the previous section .
, as a function of @xmath146 .
in each panel the number of thermal photons @xmath147 in the second mode is fixed at a constant value .
upper left panel : @xmath231 . upper right panel : @xmath232 .
lower left panel : @xmath233 .
lower right panel : @xmath233 and extended range of values of @xmath146 , in order to show the asymptotic vanishing of @xmath27 with increasing local thermal noise .
for all panels the two - mode squeezing is fixed at @xmath234 .
the maximum of @xmath27 is achieved for symmetric stss and provides the upper bound on the maximum probability of error @xmath235 of the worst - case scenario.,width=340 ]    in fig .
[ qcbnth1 ] we report the behavior of @xmath27 as a function of @xmath146 for different fixed values of @xmath147 and fixed squeezing @xmath74 . in this physical situation the quantum chernoff bound decreases with increasing _ local _ thermal noise and vanishes asymptotically for @xmath236 .
therefore the probability of error in a gaussian quantum reading protocol can be made arbitrarily small by using non - symmetric stss transmitters with very large _ local _ thermal noise .
this very remarkable result may look at first quite counter - intuitive .
in fact , the crucial point is that this feature is obtained by the _ global quantum _ operation of two - mode squeezing applied to a two - mode thermal state with very strong asymmetry in the _ local _ thermal noises affecting the two field modes .
it is therefore not entirely unexpected that the consequences can be dramatic .
while entanglement certainly decreases , the operation of squeezing a larger amount of noise can increase quantum state distinguishability by _
`` orthogonalizing '' _ on a larger portion of hilbert space with respect to the thermal states .
collecting all the previous results we are finally in the position to compare the best resources of device - independent gaussian quantum reading , namely the noisy and discordant non - symmetric stss , to the best absolute resources of gaussian quantum reading , namely pure entangled two - mode squeezed vacuum states ( tmsvss ) . in the limit of infinite squeezing the tmsvss
are maximally entangled pure einstein - podolsky - rosen ( epr ) states whose probability of error in a quantum reading protocol vanishes identically . in absolute terms , tmsvss are certainly the best among classical and quantum resources in a reading protocol with continuous variables . indeed , in fig .
[ sqthsqvac ] we report the behavior of the exact probability of error for tmsvss and the lower bound on it for non - symmetric stss as functions of the total number of photons at fixed thermal noise , that is for _ arbitrarily increasing squeezing _ as the total number of photons increases .
one observes that the lower bound on the probability of error for non - symmetric stss is always above the exact probability of error for tmsvss , converging towards it only asymptotically .     of the probability of error @xmath157 for two - mode squeezed vacuum transmitters ( tmsvs ) and of the lower bound on the probability of error @xmath237 for two - mode squeezed thermal transmitters ( stss ) with @xmath238 and @xmath168 .
tmsvs have better reading efficiency than stss .
the squeezing in tmsvs is larger than the one in stss at each fixed value of @xmath143 .
the two efficiencies converge asymptotically with increasing total number of photons.,width=302 ]    on the other hand , it is also important to compare tmsvss and non - symmetric stss in terms of the concrete use of resources in realistically feasible experimental scenarios . in fig .
[ stsvstmsvs ] and fig .
[ stsvstmsvs1 ] we report the behavior of the exact probability of error @xmath157 associated to tmsvs transmitters compared to the upper and lower bounds @xmath125 and @xmath237 for non - symmetric sts transmitters as functions of the total number of photons . in the case of tmsvss the total number of photons obviously depends only on the squeezing and the behavior of the probability of error is the same as the one reported in fig .
[ sqthsqvac ] . however , at variance with fig .
[ sqthsqvac ] , in fig .
[ stsvstmsvs ] and [ stsvstmsvs1 ] we compare it with the lower and upper bounds for st transmitters at a _ fixed _ finite value , low and comparably easy to produce experimentally , of the squeezing . in this case
, the total number of photons in stss varies only with the amount of thermal photons .
[ stsvstmsvs ] shows the behavior of the exact probability of error for tmsvs transmitters and the bounds on the probability of error for non - symmetric stss , as functions of the total number of photons @xmath143 and constant squeezing parameter fixed at @xmath234 . for comparison , in fig .
[ stsvstmsvs1 ] we report the same quantities but for a larger fixed two - mode squeezing @xmath239 . indeed , the higher the squeezing , the better the bounds on the probability of error using sts transmitters approximate the exact probability of error for tmsvs transmitters .
the crucial difference is that in real - world experimental setups it is comparatively much easier and less resource - demanding to implement a scheme relying on non - symmetric stss with enhanced thermal noise and quantum discord than to produce pure ( noise - free ) tmsvss with enhanced squeezing and entanglement .
therefore , at _ fixed _ squeezing , we can compare the two classes of transmitters for _ different _ values of the total number of photons @xmath143 and ask for the threshold value of @xmath146 above which the discordant stss certainly perform better than the entangled tmsvss at the same fixed level of squeezing ( the noise on the second mode being also fixed at a given reference value , say e.g. @xmath168 ) .
this threshold is thus determined by the condition @xmath240 .
we give here two numerical examples for two different realistic values of the two - mode squeezing achievable in the laboratory with current technologies . for @xmath234
, we have that @xmath241 as soon as @xmath242 . for @xmath239
, we have that @xmath241 as soon as @xmath243 .
therefore , the higher the fixed level of squeezing , the lower is the level of thermal noise and quantum discord required to match the performance of pure entangled tmsvss . alternatively , increasing @xmath146 further above the threshold , we can also look for the complementary information on the minimum threshold values of @xmath74 ( more easily realizable in the laboratory ) above which stss match or surpass the performance of tmsvss at higher values of the squeezing ( harder to achieve experimentally ) .
in other words , we can introduce the concept of _ effective _ squeezing @xmath244 associated to the value @xmath245 such that for @xmath246 stss perform better than tmsvss with given squeezing @xmath247 .    in conclusion ,
device - independent quantum reading is a remarkable protocol of quantum technology with noisy resources for which the best transmitters are discordant non - symmetric squeezed thermal states whose performance is optimized by realizing a fine trade - off between increased local thermal noise and fixed global two - mode squeezing , yielding noise - enhanced quantum correlations and state distinguishability .     of the probability of error @xmath157 for two - mode squeezed vacuum transmitters , and of the lower and upper bounds on the probability of error @xmath237 and @xmath125 for non - symmetric two - mode squeezed thermal transmitters .
the latter two quantities are plotted for variable @xmath146 at _ fixed _ squeezing @xmath234 , as well as fixed reference thermal noise in the second field mode @xmath248.,width=302 ]     of the probability of error @xmath157 for two - mode squeezed vacuum transmitters , and of the lower and upper bounds on the probability of error @xmath237 and @xmath125 for non - symmetric two - mode squeezed thermal transmitters .
the latter two quantities are plotted for variable @xmath146 at _ fixed _ squeezing @xmath239 , as well as fixed reference thermal noise in the second field mode @xmath248.,width=302 ]      let us now analyze the case in which the total number of photons can vary by considering many copies of the transmitter , that is repeating the reading protocol many times independently . using @xmath249 copies of the system the uhlmann fidelity and the quantum chernoff bound decrease as powers of @xmath249 .
therefore , the probability of error can decrease both in the case of squeezed thermal and thermal squeezed states .
the interesting question which arises here is how many copies we need in both cases to achieve a given level of probability of error .
the number of copies defines for instance the time needed for reading one bit of information in the given coding .
therefore this process is interesting from the point of view of assessing the reading time and the strength of the sources of squeezed light that one needs .     and @xmath250 .
blue dashed line : @xmath27 for thermal squeezed states .
dotted red line : @xmath126 for thermal squeezed states .
solid black line : @xmath27 for squeezed thermal states .
orange dot - dashed line : @xmath126 for squeezed thermal states . in order to achieve @xmath251
it is enough to take at most @xmath252 copies of stss , while the needed number of copies of tsss is at least @xmath253.,width=302 ]    let us for instance assume that we require a value of the probability of error @xmath254 , having for each copy of the squeezed thermal transmitter the thermal noise fixed at @xmath250 and the weak squeezing fixed at @xmath255 , see fig .
looking at the upper bound ( worst - case scenario ) , the number of copies which are needed , in order to achieve the desired level of probability of error , is at most @xmath252 .
taking instead the thermal squeezed transmitter with the same squeezing and thermal noise in each copy , we see from fig .  [ en ] that one needs , considering the lower bound ( best - case scenario ) , at least @xmath253 copies .
these behaviors illustrate very clearly the advantage of using noise - enhanced quantum correlations . indeed , comparing figs .
[ en ] and [ e18 ] , we see that by keeping a fixed level of squeezing and increasing the thermal noise , the number of copies of squeezed thermal transmitters needed to achieve a given level of precision stays constant , while the number of copies of thermal squeezed transmitters must increase .
we have investigated gaussian quantum reading protocols realized by weak optical sources in the worst - case scenario for quantum transmitters with respect to classical ( thermal coherent ) ones . for protocols that involve local unitary operations in the process of reading by continuous - variable gaussian optical fields , we have showed that the maximum probability of error in reading binary memory cells is directly related to the amount of quantum correlations in a given transmitter , as quantified by the trace gaussian discord of response .
this relation allows to quantify the reading efficiency in terms of quantum correlations , providing a natural operational interpretation to the gaussian discord of response .
indeed , the latter is a well - defined measure of quantum state distinguishability under the action of local unitary operations .
therefore , the more discordant is the transmitter , the smaller is the maximum probability of error when using quantum resources .
this relation then allows to determine the physical regimes of state purity and signal strength for which one has a net advantage in using quantum resources over classical thermal coherent ones .
since the trace distance is in general uncomputable for gaussian states , we have introduced exact upper and lower bounds on the maximum probability of error .
we have showed that these bounds are expressed in terms of other type of quantum discords . in particular , the lower bound is expressed in terms of the bures gaussian discord of response , while the upper bound , provided by the quantum chernoff bound maximized over the set of possible local unitary operations , is expressed in terms of the hellinger gaussian discord of response for squeezed thermal states and thermal squeezed states .    both bounds decrease with an increasing amount of quantum correlations , providing a precise quantitative estimate of the quantum advantage obtained by using discordant resources over the corresponding thermal coherent ones . moreover , the bures and hellinger discords of response are of further independent interest , as they play a central role in other quantum protocols studied recently , ranging from the assessment and use of local quantum uncertainty in optimal phase estimation  @xcite , the efficiency of black - box quantum metrology  @xcite , and the quantum advantage of discordant resources in the protocol of quantum illumination  @xcite .    after comparing quantum and classical resources ,
we have discussed two fundamental classes of gaussian quantum transmitters : symmetric squeezed thermal states ( stss ) and symmetric thermal squeezed states ( tsss ) .
we have shown that the actual beneficial or detrimental effects of environmental noise depend on the type of quantum state being considered .
considering stss as quantum transmitters , the upper and lower bounds on the probability of error decrease with increasing thermal noise and therefore the quantum reading efficiency increases .
the opposite behavior is observed when considering tsss : in this case both the upper and the lower bounds on the maximum probability of error increase and therefore the quantum reading efficiency decreases with increasing thermal noise .
finally , we went a step further and investigated the use of non - symmetric stss .
for such transmitters , also the quantum chernoff bound decreases when the local thermal noise increases in one mode and remains fixed in the second mode .
indeed , the quantum chernoff bound vanishes asymptotically with very large local thermal noise and therefore the probability of error must also vanish .
in other words , non - symmetric two - mode stss with imbalanced thermal noise between the two modes achieve an asymptotically vanishing probability of error for very large values of the noise imbalance . for such asymptotic states
the hellinger and bures gaussian discords of response attain their maximum value , and the quantum chernoff bound and uhlmann fidelity vanish . as a consequence ,
all upper and lower bounds on the probability of error vanish , the probability of error itself vanishes , and perfect reading is approached asymptotically .
since the quantum reading efficiency of non - symmetric two - mode squeezed thermal states is a non - decreasing function of thermal noise , there is no evident advantage in using pure - state squeezed transmitters , the two - mode squeezed vacuum states , or low - noise ones over non - symmetric two - mode stss with large noise imbalance between the field modes , _ as long as _ the squeezing is kept _
fixed _ at a realistic , finite constant value achievable in concrete experiments with currently available technology .
hence , noisy stss transmitters _ can _ provide a better quantum efficiency at _ fixed _ two - mode squeezing , provided thermal noise ( number of thermal photons ) is enhanced beyond the threshold value above which the upper bound on the probability of error ( quantum chernoff bound ) for stss goes below the exact probability of error for tmsvss with the same , fixed level of squeezing .
this remarkable phenomenon of noise - assisted quantum correlations and quantum efficiency is eventually due to the fact that quantum state distinguishability is intimately related to the concept of geometric quantum correlations , as measured by the discords of response , and the observation that the former can increase under increasing thermal noise . in particular , maximum _ local _
noise enhancement leads to maximum _ global _ enhancement of quantum correlations .
in forthcoming studies we will provide a general characterization and quantification of noise - suppressed vs. noise - enhanced quantum correlations for different classes of quantum states  @xcite , and we will investigate the relations between different types of quantum correlations according to states , metrics , and operations  @xcite .
f.i . acknowledges valuable discussions with gerardo adesso .
the authors acknowledge financial support from the italian ministry of scientific and technological research under the prin 2010/2011 research fund , and from the eu fp7 strep projects iqit , g.a .
270843 , and equam , g.a .
here we discuss the gaussian discord of response , given by eq .
( [ intdr ] ) , and prove that it is a _ bona fide _ measure of quantum correlations .
more general discussion can be found in @xcite .
the minimal set of axioms with universal consensus includes the following : @xmath256 invariance under local unitary transformations , @xmath257 contractivity under the action of completely positive and trace preserving ( cptp ) maps acting on mode @xmath56 , @xmath258 vanishing of quantum correlations if and only if the state is classically - quantum correlated , i.e. with block - diagonal covariance matrix , @xmath259 reduction to an entanglement monotone for pure states .
the first condition is guaranteed by unitary invariance of the chosen distance and the procedure of minimization .
the second condition is satisfied due to the fact that we consider only contractive distances in order to define the discord of response .
the third condition is verified as follows .
it is known that classical - quantum two - mode gaussian states are those and only those which can be represented by the tensor product @xmath260 of single - mode gaussian states  @xcite . up to displacements ,
such states are characterized by the block diagonal covariance matrices @xmath261 .
let us consider the local traceless symplectic transformation @xmath93 which can be decomposed as @xmath262 , where @xmath263 and @xmath264 is a symplectic matrix which diagonalize @xmath265 , i.e. @xmath266 . here @xmath267 are two equal symplectic eigenvalues of @xmath265 .
the transformation given by @xmath149 is symmetry - preserving and therefore @xmath262 leaves @xmath265 invariant .
this shows that if the state is classically correlated there exists at least one local traceless transformation @xmath93 that leaves the state invariant .
we now prove the reverse statement that only in the case of classically correlated states there exists such a symplectic traceless transformation that leaves the state invariant .
assume that the covariance matrix left invariant by a traceless transformation @xmath268 has the form @xmath269 .
local symplectic transformation can bring the covariance matrix in the so called normal form in which @xmath270 .
if the state is not changed by the local transformation we have @xmath271 .
since @xmath272 is reversible we obtain that @xmath273 which contradicts the assumption on the spectrum of @xmath93 .
this shows that condition @xmath258 is satisfied .
condition @xmath259 is guaranteed by the fact that for pure states the gaussian discord of response reduces to the gaussian entanglement of response  @xcite ( the gaussian counterpart of the entanglement of response  @xcite ) which is a _ bona fide _ measure of entanglement .
the uhlmann fidelity for two - mode gaussian states can be computed as follows  @xcite .
let us define the matrix of the symplectic form @xmath274 the displacement vector is the vector of the averages of the amplitude and phase field quadratures @xmath41 and @xmath118 i.e. @xmath275 , where @xmath276 stands for transposition . denote the difference of the displacement vectors of two gaussian states @xmath25 and @xmath26 by @xmath277 .
we need also the auxiliary formulas defined using the covariance matrices @xmath278 and @xmath279 of the respective gaussian states : @xmath280 , \\
\lambda & = & 2 ^ 4 \det(\sigma_1+\frac{i}{2}\omega)\det(\sigma_2+\frac{i}{2}\omega).\end{aligned}\ ] ] the uhlmann fidelity for two mode gaussian states is then @xmath281 }   \notag \\ &
\times&\left[(\sqrt{\gamma}+\sqrt{\lambda})-\sqrt{(\sqrt{\gamma}+ \sqrt{\lambda})^2-\delta}\right]^{-1}. \label{gfidelity}\end{aligned}\ ] ]
any @xmath249-mode gaussian state can be represented in its normal mode decomposition parameterized by @xmath282 in which @xmath283 is the vector of the averages of the quadratures and @xmath284u_{{\langle}u{\rangle},s}^{\dagger},\ ] ] where @xmath285 is a thermal state with mean photon number @xmath286 and @xmath287 are the eigenstates of the operator of the number of photons in mode @xmath288 .
the set @xmath289 identifies the symplectic spectrum . in this way
the covariance matrix is decomposed as @xmath290 for two arbitrary gaussian states with normal mode decompositions @xmath291 and @xmath292 , assuming that @xmath293 , we have  @xcite @xmath294^{-1}\delta\ } } ,   \label{appchs}\end{aligned}\ ] ] where @xmath295 } } \label{qubar}\ ] ] and @xmath296 moreover @xmath297s_1^t,\label{v1 } \\
v_2(1-t)&=&s_2\left[\bigoplus_{k=1}^n\lambda_{1-t}(\beta_k)\mathbbm{1}_k\right]s_2^t,\label{v2}\end{aligned}\ ] ] where @xmath298 the quantum chernoff bound for arbitrary states @xmath25 and @xmath26 is @xmath299 which for gaussian states is expressed by means of eq .
( [ appchs ] ) , i.e. @xmath300 .
let us discuss the extremizations of the quantum chernoff bound , @xmath27 , between two states related by a local unitary transformation .
lemma 1 in ref .
@xcite shows that in the finite - dimensional case if @xmath301 , where @xmath302 is a hermitian matrix , the infimum is achieved for @xmath31 in eq .
( [ appchernoff ] ) .
the same proof can be applied as well to @xmath302 one - qubit traceless unitary matrix , since it is hermitian . for gaussian states of infinite - dimensional , continuous - variable systems , we are able to formulate and prove the following theorem :    for two - mode gaussian states @xmath303 with covariance matrix @xmath63 of the form eq .
( [ sqthcorm ] ) with @xmath71 , the @xmath27 for the pair @xmath304 , where @xmath264 is any traceless local symplectic transformation , is achieved for @xmath31 , namely : @xmath305    first let us notice that for any two quantum states @xmath25 and @xmath26 function @xmath306 is convex in @xmath307 , which is proven in  @xcite . we will show that if the two states @xmath25 and @xmath26 satisfy the assumptions of the theorem , @xmath306 is symmetric with respect to exchange @xmath308 .
these two properties imply the theorem .
let us show the symmetry with respect to exchange @xmath308 . from  @xcite
we know that for the states with vanishing first moments @xmath306 is given in eq .
( [ qubar ] ) .
the numerator of this formula is already symmetric with respect to exchange @xmath308 for the states related by any unitary transformation . to proof the theorem we only need to show the symmetry of the determinant in denominator of eq .
( [ qubar ] ) , @xmath309 , for the states which have the covariance matrices @xmath310 and @xmath311 .
consider the determinant from the above formula @xmath312 the last equality is implied by the following argument .
the form of the most general single - mode traceless symplectic transformation ( euler decomposition )  @xcite is : @xmath313 where @xmath314 is positive .
the traceless condition is obtained by imposing @xmath315 .
immediate check gives us that @xmath316 .
the minus sign is irrelevant in expression @xmath317 and can be omitted .
this completes the proof .    to express the upper bound on the maximum probability of error for undisplaced gaussian states of the covariance matrix given in eq .
( [ sqthcorm ] ) with @xmath71 and its counterpart related to it by traceless symplectic transformations @xmath264 we maximize the quantum chernoff bound over the set of these transformations .
formula eq .
( [ appchs ] ) with @xmath31 is maximized if @xmath318}$ ] is minimized over the set @xmath319 .
the most general gaussian single - mode unitary transformation is given in eq .
( [ apps ] ) .
the determinant @xmath318}$ ] does not depend on @xmath320 and achieves its minimum for @xmath321 .
this can be proved by direct check of the first and second derivatives .
substituting @xmath321 in eq .
( [ apps ] ) yields the transformation which maximizes the quantum chernoff bound , namely @xmath322 which is the transformation corresponding to a local @xmath15 phase shift @xmath114 .
here we discuss the derivatives of the distinguishability functions and their behavior .    for the quantum chernoff bound , @xmath27 , the derivatives over the entries of the covariance matrix , eq .  ( [ sqthcorm ] ) , read @xmath323 it is immediate to verify that the partial derivative of @xmath27 , eq .
( [ dqda ] ) , is always positive and the partial derivative , eq .
( [ dqdc ] ) , is always negative .
the derivatives of the uhlmann fidelity are         over the entries @xmath218 and @xmath325 of the covariance matrix , eq .  ( [ sqthcorm ] ) , in the range of values corresponding to physical states , eq .
( [ uncert ] ) .
the partial derivative @xmath326 is always positive while @xmath327 is always negative.,width=188 ]    also in the case of @xmath205 the derivative over the diagonal entry of the covariance matrix at constant off - diagonal elements is positive , while the derivative over the off - diagonal entries at constant diagonal entries is negative .    in the case of non - symmetric @xmath328 discussed in sec .
[ noiseenhancedqcb ] , the partial derivative of @xmath27 , eq .
( [ derivchernoffas ] ) , with respect to @xmath146 at constant @xmath147 and @xmath74 reads @xmath329 where      since @xmath331 the derivative , eq .  ( [ derivovernth1 ] ) , is positive only if @xmath332 , negative only if @xmath181 , and vanishes identically for symmetric stss , namely for @xmath170 , yielding a noise - independent @xmath27 .    from the above results it follows that in the range @xmath181 the @xmath27 is a monotonically decreasing function of the number of thermal photons in the first mode ( increasing local thermal noise ) and vanishes asymptotically , together with the probability of error , as @xmath236