Searcharxiv⌕ Search

arXiv subjects

M. E. Shirokov

Publications and source records attributed to M. E. Shirokov.

At least 73 records · Page 4Linked to original sources
arXiv2013

On singular Bosonic linear channels

Properties of Bosonic linear (quasi-free) channels, in particular, Bosonic Gaussian channels with two types of degeneracy are considered. The first type of degeneracy can be interpreted as existence of noise-free canonical variables (for Gaussian channels it means that $\detα=0$). It is shown that this degeneracy implies existence of (infinitely many) "direct sum decompositions" of Bosonic linear channel, which clarifies reversibility properties of this channel (described in arXiv:1212.2354) and provides explicit construction of reversing channels. The second type of degeneracy consists in rank deficiency of the operator describing transformations of canonical variables. It is shown that this degeneracy implies existence of (infinitely many) decompositions of input space into direct sum of orthogonal subspaces such that the restriction of Bosonic linear channel to each of these subspaces is a discrete classical-quantum channel.

math-ph↗
arXiv2013

On equalities in two entropic inequalities

A simple criterion for local equality between the constrained Holevo capacity and the quantum mutual information of a quantum channel is obtained. It implies that the set of all states for which this equality holds is determined by the kernel of the channel (as a linear map). Applications to Bosonic Gaussian channels are considered. It is shown that for a Gaussian channel having no completely depolarizing components the above characteristics may coincide only at non-Gaussian mixed states and a criterion of existence of such states is given. All the obtained results may be reformulated as conditions for equality between the constrained Holevo capacity of a quantum channel and the input von Neumann entropy.

quant-ph↗
arXiv2012

Conditions for equality between entanglement-assisted and unassisted classical capacities of a quantum channel

Several relations between the Holevo capacity and the entanglement-assisted classical capacity of a quantum channel are proved, necessary and sufficient conditions for their coincidence are obtained. In particular, it is shown that these capacities coincide if (correspondingly, only if) the channel (correspondingly, the $χ$--essential part of the channel) belongs to the class of classical-quantum channels (the $χ$-essential part is a restriction of a channel obtained by discarding all states useless for transmission of classical information). The obtained conditions and their corollaries are generalized to channels with linear constraints. By using these conditions it is shown that the question of coincidence of the Holevo capacity and the entanglement-assisted classical capacity depends on the constraint (even for classical-quantum channels). Properties of the difference between the quantum mutual information and the $χ$-function (constrained Holevo capacity) of a quantum channel are explored.

quant-ph↗
arXiv2012

A criterion for coincidence of the entanglement-assisted classical capacity and the Holevo capacity of a quantum channel

It is easy to show coincidence of the entanglement-assisted classical capacity and the Holevo capacity for any c-q channel between finite dimensional quantum systems. In this paper we prove the converse assertion: coincidence of the above-mentioned capacities of a quantum channel implies that the $χ$-essential part of this channel is a c-q channel (the $χ$-essential part is a restriction of a channel obtained by discarding all input states useless for transmission of classical information). The above observations are generalized to infinite dimensional quantum channels with linear constraints by using the obtained conditions for coincidence of the quantum mutual information and the constrained Holevo capacity.

quant-ph↗
arXiv2012

On a conjectured property of the von Neumann entropy valid in the commutative case

It is well known that the von Neumann entropy is continuous on a subset of quantum states with bounded energy provided the Hamiltonian $H$ of the system satisfies the condition $\Tr\exp(-cH)<+\infty$ for any $c>0$. In this note we consider the following conjecture: every closed convex subset of quantum states, on which the von Neumann entropy is continuous, consists of states with bounded energy with respect to a particular Hamiltonian $H$ satisfying the above condition. It is shown that the classical analog of this conjecture is valid (i.e. it is valid for the Shannon entropy). It is also shown that this conjecture holds for some types of subsets consisting of non-commuting states, but its validity for all subsets of quantum states remains an open question.

quant-ph↗
arXiv2011

On properties of the space of quantum states and their application to construction of entanglement monotones

We consider two properties of the set of quantum states as a convex topological space and some their implications concerning the notions of a convex hull and of a convex roof of a function defined on a subset of quantum states. By using these results we analyze two infinite-dimensional versions (discrete and continuous) of the convex roof construction of entanglement monotones, which is widely used in finite dimensions. It is shown that the discrete version may be 'false' in the sense that the resulting functions may not possess the main property of entanglement monotones while the continuous version can be considered as a 'true' generalized convex roof construction. We give several examples of entanglement monotones produced by this construction. In particular, we consider an infinite-dimensional generalization of the notion of Entanglement of Formation and study its properties.

math-ph↗
arXiv2011

The Schmidt number and partially entanglement breaking channels in infinite dimensions

A definition of the Schmidt number of a state of an infinite dimensional bipartite quantum system is given and properties of the corresponding family of Schmidt classes are considered. The existence of states with a given Schmidt number such that any their countable convex decomposition does not contain pure states with finite Schmidt rank is established. Partially entanglement breaking channels in infinite dimensions are studied. Several properties of these channels well known in finite dimensions are generalized to the infinite dimensional case. At the same time, the existence of partially entanglement breaking channels (in particular, entanglement breaking channels) such that all operators in any their Kraus representations have infinite rank is proved.

quant-ph↗
arXiv2011

Generalized compactness in linear spaces and its applications

The class of subsets of locally convex spaces called $μ$-compact sets is considered. This class contains all compact sets as well as several noncompact sets widely used in applications. It is shown that many results well known for compact sets can be generalized to $μ$-compact sets. Several examples are considered. The main result of the paper is a generalization to $μ$-compact convex sets of the Vesterstrom-O'Brien theorem showing equivalence of the particular properties of a compact convex set (s.t. openness of the mixture map, openness of the barycenter map and of its restriction to maximal measures, continuity of a convex hull of any continuous function, continuity of a convex hull of any concave continuous function). It is shown that the Vesterstrom-O'Brien theorem does not hold for pointwise $μ$-compact convex sets defined by the slight relaxing of the $μ$-compactness condition. Applications of the obtained results to quantum information theory are considered.

math.FA↗
arXiv2010

Entropy reduction of quantum measurements

It is observed that the entropy reduction (the information gain in the initial terminology) of an efficient (ideal or pure) quantum measurement coincides with the generalized quantum mutual information of a q-c channel mapping an a priori state to the corresponding posteriori probability distribution of the outcomes of the measurement. This observation makes it possible to define the entropy reduction for arbitrary a priori states (not only for states with finite von Neumann entropy) and to study its analytical properties by using general properties of the quantum mutual information. By using this approach one can show that the entropy reduction of an efficient quantum measurement is a nonnegative lower semicontinuous concave function on the set of all a priori states having continuous restrictions to subsets on which the von Neumann entropy is continuous. Monotonicity and subadditivity of the entropy reduction are also easily proved by this method. A simple continuity condition for the entropy reduction and for the mean posteriori entropy considered as functions of a pair (a priori state, measurement) is obtained. A characterization of an irreducible measurement (in the Ozawa sense) which is not efficient is considered in the Appendix.

quant-ph↗
arXiv2010

Mutual and coherent informations for infinite-dimensional quantum channels

The work is devoted to study of quantum mutual information and coherent information -- the two important characteristics of quantum communication channel. Appropriate definitions of these quantities in the infinite-dimensional case are given and their properties are studied in detail. Basic identities relating quantum mutual information and coherent information of a pair of complementary channels are proved. An unexpected continuity property of quantum mutual information and coherent information following from the above identities is observed. An upper bound for the coherent information is obtained.

math-ph↗
arXiv2010

Continuity condition for concave functions on convex $μ$-compact sets and its applications in quantum physics

A method of proving local continuity of concave functions on convex set possessing the $μ$-compactness property is presented. This method is based on a special approximation of these functions. The class of $μ$-compact sets can be considered as a natural extension of the class of compact metrizable subsets of locally convex spaces, to which particular results well known for compact sets can be generalized. Applications of the obtained continuity conditions to analysis of different entropic characteristics of quantum systems and channels are considered.

math.FA↗
arXiv2010

Characterization of convex $μ$-compact sets

The class of $μ$-compact sets can be considered as a natural extension of the class of compact metrizable subsets of locally convex spaces, to which the particular results well known for compact sets can be generalized. This class contains all compact sets as well as many noncompact sets widely used in applications. In this paper we give a characterization of a convex $μ$-compact set in terms of properties of functions defined on this set. Namely, we prove that the class of convex $μ$-compact sets can be characterized by continuity of the operation of convex closure of a function (= the double Fenchel transform) with respect to monotonic pointwise converging sequences of continuous bounded and of lower semicontinuous lower bounded functions.

math.FA↗
arXiv2010

The output entropy of quantum channels and operations

Continuity properties of the output entropy of positive linear maps between Banach spaces of trace class operators are investigated with the special attention to the classes of quantum channels and operations. It is shown that finiteness of the output entropy of a positive map on the whole input state space implies its continuity. Sufficient conditions for this property expressed in terms of the Kraus representation of quantum channels and operations are presented. The characterization of a positive map "preserving continuity of the entropy" (in the sense that continuity of the entropy on a set of input states implies continuity of its output entropy on this set) is obtained and its applications to the class of quantum operations are considered. The special relation between continuity properties of the output entropies of complementary quantum operations is established and its corollaries are discussed. Continuity conditions for the output entropy of positive maps considered as a function of a pair (map, input state) are also obtained. Several applications to the quantum information theory are presented in the last part of the paper.

quant-ph↗
arXiv2009

Continuity of the von Neumann entropy

A general method for proving continuity of the von Neumann entropy on subsets of positive trace-class operators is considered. This makes it possible to re-derive the known conditions for continuity of the entropy in more general forms and to obtain several new conditions. The method is based on a particular approximation of the von Neumann entropy by an increasing sequence of concave continuous unitary invariant functions defined using decompositions into finite rank operators. The existence of this approximation is a corollary of a general property of the set of quantum states as a convex topological space called the strong stability property. This is considered in the first part of the paper.

math-ph↗
arXiv2007

On approximation of quantum channels

We develop an approximation approach to infinite dimensional quantum channels based on detailed investigation of the continuity properties of entropic characteristics of quantum channels and operations (trace-nonincreasing completely positive maps) as functions of a pair ``channel, input state''. The obtained results are then applied to the following problems: continuity of the $χ$-capacity as function of a channel; strong additivity of the $χ$-capacity for infinite dimensional channels; the analytical expression for the convex closure of the output entropy of arbitrary quantum channel.

quant-ph↗
arXiv2006

The Convex Closure of the Output Entropy of Infinite Dimensional Channels and the Additivity Problem

The continuity properties of the convex closure of the output entropy of infinite dimensional channels and their applications to the additivity problem are considered. The main result of this paper is the statement that the superadditivity of the convex closure of the output entropy for all finite dimensional channels implies the superadditivity of the convex closure of the output entropy for all infinite dimensional channels, which provides the analogous statements for the strong superadditivity of the EoF and for the additivity of the minimal output entropy. The above result also provides infinite dimensional generalization of Shor's theorem stated equivalence of different additivity properties. The superadditivity of the convex closure of the output entropy (and hence the additivity of the minimal output entropy) for two infinite dimensional channels with one of them a direct sum of noiseless and entanglement-breaking channels are derived from the corresponding finite dimensional results. In the context of the additivity problem some observations concerning complementary infinite dimensional channels are considered.

quant-ph↗
arXiv2006

On channels with finite Holevo capacity

We consider a nontrivial class of infinite dimensional quantum channels characterized by finiteness of the Holevo capacity. Some general properties of channels of this class are described. In particular, a special sufficient condition of existence of an optimal measure is obtained and examples of channels with no optimal measure are constructed. It is shown that each channel with finite Holevo capacity has a natural extension to the set of all positive normalized functionals on the algebra of all bounded operators. General properties of such an extension are described. The class of infinite dimensional channels, for which the Holevo capacity can be explicitly determined, is considered.

quant-ph↗