Motohisa Fukuda
We simplify some conjectures in quantum information theory; the additivity of minimal output entropy, the multiplicativity of maximal output p-norm and the superadditivity of convex closure of output entropy. We construct a unital channel for a given channel so that they share the above additivity properties; we can reduce the conjectures for all channels to those for unital channels.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
It is known that the additivity conjecture of Holevo capacity, output minimum entoropy, and the entanglement of formation (EoF), are equivalent with each other. Among them, the output minimum entropy is simplest, and hence many researchers are focusing on this quantity. Here, we suggest yet another entanglement measure, whose strong superadditivity and additivity are equivalent to the additivity of the quantities mentioned above. This quantity is as simple as the output minimum entropy, and in existing proofs of additivity conjecture of the output minimum entropy for the specific examples, the…
We consider bistochastic quantum channels generated by unitary representations of the discret group. The proof of the additivity conjecture for the quantum depolarizing channel $Φ$ based on the decreasing property of the relative entropy is given. We show that the additivity conjecture is true for the channel $Ξ=Ψ\circ Φ$, where $Ψ$ is the phase damping.
A conjecture arising naturally in the investigation of additivity of classical information capacity of quantum channels states that the maximal purity of outputs from a quantum channel, as measured by the p-norm, should be multiplicative with respect to the tensor product of channels. We disprove this conjecture for p>4.79. The same example (with p=infinity) also disproves a conjecture for the multiplicativity of the injective norm of Hilbert space tensor products.
Some new examples of quantum channels for which the infimum of the output entropy is additive under taking a tensor product of channels are given.
The additivity of both the entanglement of formation and the classical channel capacity is known to be a consequence of the strong superadditivity conjecture. We show that, conversely, the strong superadditivity conjecture follows from the additivity of the entanglement of formation; this means that the two conjectures are equivalent and that the additivity of the classical channel capacity is a consequence of them.
Hastings recently reported a randomized construction of channels violating the minimum output entropy additivity conjecture. Here we revisit his argument, presenting a simplified proof. In particular, we do not resort to the exact probability distribution of the Schmidt coefficients of a random bipartite pure state, as in the original proof, but rather derive the necessary large deviation bounds by a concentration of measure argument. Furthermore, we prove non-additivity for the overwhelming majority of channels consisting of a Haar random isometry followed by partial trace over the environmen…
Recently Shor proved equivalence of several open (sub)additivity problems related to the Holevo capacity and the entanglement of formation [15]. In our previous note [6] equivalence of these to the additivity of the Holevo capacity for channels with arbitrary linear constraints was shown. This note is the development of the previous one in the direction of channels with general constraints. Introducing input constraints provides greater flexibility in the treatment of the additivity conjecture. The Holevo capacity of arbitrarily constrained channel is considered and the characteristic property…
An example is given of a qubit quantum channel which requires four inputs to maximize the Holevo capacity. The example is one of a family of channels which are related to 3-state channels. The capacity of the product channel is studied and numerical evidence presented which strongly suggests additivity. The numerical evidence also supports a conjecture about the concavity of output entropy as a function of entanglement parameters. However, an example is presented which shows that for some channels this conjecture does not hold for all input states. A numerical algorithm for finding the capacit…
The Amosov-Holevo-Werner conjecture implies the additivity of the minimum Re'nyi entropies at the output of a channel. The conjecture is proven true for all Re'nyi entropies of integer order greater than two in a class of Gaussian bosonic channel where the input signal is randomly displaced or where it is coupled linearly to an external environment.
In this paper we give several equivalent formulations of the additivity conjecture for constrained channels, which formally is substantially stronger than the unconstrained additivity. To this end a characteristic property of the optimal ensemble for such a channel is derived, generalizing the maximal distance property. It is shown that the additivity conjecture for constrained channels holds true for certain nontrivial classes of channels. Recently P. Shor showed that conjectured additivity properties for several quantum information quantities are in fact equivalent. After giving an algebraic…
Hastings recently provided a proof of the existence of channels which violate the additivity conjecture for minimal output entropy. In this paper we present an expanded version of Hastings' proof. In addition to a careful elucidation of the details of the proof, we also present bounds for the minimal dimensions needed to obtain a counterexample.
Hastings disproved additivity conjecture for minimum output entropy by using random unitary channels. In this note, we employ his approach to show that minimum output $p-$Rényi entropy is non-additive for $p\in(0,p_0)\cup(1-p_0,1)$ where $p_0\approx 0.2855$.
We argue that one of the following statements must be true: (a) extensive violations of quantum information theory's additivity conjectures exist or (b) there exists a set of `disentangled' black hole microstates that can account for the entire Bekenstein-Hawking entropy, up to at most a subleading $O(1)$ correction. Possibility (a) would be a significant result in quantum communication theory, demonstrating that entanglement can enhance the ability to transmit information much more than has currently been established. Option (b) would provide new insight into the microphysics of black holes. …
We study a natural generalization of the additivity problem in quantum information theory: given a pair of quantum channels, then what is the set of convex trace functions that attain their maximum on unentangled inputs, if they are applied to the corresponding output state? We prove several results on the structure of the set of those convex functions that are "additive" in this more general sense. In particular, we show that all operator convex functions are additive for the Werner-Holevo channel in 3x3 dimensions, which contains the well-known additivity results for this channel as special …
Complementing recent progress on the additivity conjecture of quantum information theory, showing that the minimum output p-Renyi entropies of channels are not generally additive for p>1, we demonstrate here by a careful random selection argument that also at p=0, and consequently for sufficiently small p, there exist counterexamples. An explicit construction of two channels from 4 to 3 dimensions is given, which have non-multiplicative minimum output rank; for this pair of channels, numerics strongly suggest that the p-Renyi entropy is non-additive for all p < 0.11. We conjecture however that…
We explore complementarity between output and environment of a quantum channel (or, more generally, CP map), making an observation that the output purity characteristics for complementary CP maps coincide. Hence, validity of the mutiplicativity/additivity conjecture for a class of CP maps implies its validity for complementary maps. The class of CP maps complementary to entanglement-breaking ones is described and is shown to contain diagonal CP maps as a proper subclass, resulting in new class of CP maps (channels) for which the multiplicativity/additivity holds. Covariant and Gaussian channel…
A class of problems in quantum information theory, having an elementary formulation but still resisting solution, concerns the additivity properties of various quantities characterizing quantum channels, notably the "classical capacity", and the "maximal output purity". All known results, including extensive numerical work, are consistent with the conjecture that these quantities are indeed additive (resp. multiplicative) with respect to tensor products of channels. A proof of this conjecture would have important consequences in quantum information theory. In particular, according to this conj…
We make a number of simplifications in Gour and Friedland's proof of local additivity of minimum output entropy of a quantum channel. We follow them in reframing the question as one about entanglement entropy of bipartite states associated with a $d_B \times d_E $ matrix. We use a different approach to reduce the general case to that of a square positive definite matrix. We use the integral representation of the log to obtain expressions for the first and second derivatives of the entropy, and then exploit the modular operator and functional calculus to streamline the proof following their und…
Quantum channels can be described via a unitary coupling of system and environment, followed by a trace over the environment state space. Taking the trace instead over the system state space produces a different mapping which we call the conjugate channel. We explore the properties of conjugate channels and describe several different methods of construction. In general, conjugate channels map M_d to M_d' with d < d', and different constructions may differ by conjugation with a partial isometry. We show that a channel and its conjugate have the same minimal output entropy and maximal output p-n…
A conjecture -- \emph{the modified super-additivity inequality} of relative entropy -- was proposed in \cite{Zhang2012}: There exist three unitary operators $U_A\in \unitary{\cH_A},U_B\in \unitary{\cH_B}$, and $U_{AB}\in \unitary{\cH_A\ot \cH_B}$ such that $$ \rS(U_{AB}ρ_{AB}U^\dagger_{AB}||σ_{AB}) \geqslant \rS(U_Aρ_AU^\dagger_A||σ_A) + \rS(U_Bρ_BU^\dagger_B||σ_B), $$ where the reference state $σ$ is required to be full-ranked. A numerical study on the conjectured inequality is conducted in this note. The results obtained indicate that the modified super-additivity inequality of relative entr…
A random unitary channel is one that is given by a convex combination of unitary channels. It is shown that the conjectures on the additivity of the minimum output entropy and the multiplicativity of the maximum output $p$-norm can be equivalently restated in terms of random unitary channels. This is done by constructing a random unitary approximation to a general quantum channel. This approximation can be constructed efficiently, and so it is also applied to the computational problem of distinguishing quantum circuits. It is shown that the problem of distinguishing random unitary circuits is …
Recently Hastings proved the existence of random unitary channels which violate the additivity conjecture. In this paper we use Hastings' method to derive new bounds for the entanglement of random subspaces of bipartite systems. As an application we use these bounds to prove the existence of non-unital channels which violate additivity of minimal output entropy.
The goal of this note is to show that the analysis of the minimum output p-Renyi entropy of a typical quantum channel essentially amounts to applying Milman's version of Dvoretzky's Theorem about almost Euclidean sections of high-dimensional convex bodies. This conceptually simplifies the (nonconstructive) argument by Hayden-Winter disproving the additivity conjecture for the minimal output p-Renyi entropy (for p>1).
We reduce the number of open additivity problems in quantum information theory by showing that four of them are equivalent. We show that the conjectures of additivity of the minimum output entropy of a quantum channel, additivity of the Holevo expression for the classical capacity of a quantum channel, additivity of the entanglement of formation, and strong superadditivity of the entanglement of formation, are either all true or all false.
We give a direct proof of the additivity of the minimum output entropy of a particular quantum channel which breaks the multiplicativity conjecture. This yields additivity of the classical capacity of this channel, a result obtained by a different method by Matsumoto and Yura [quant-ph/0306009]. Our proof relies heavily upon certain concavity properties of the output entropy which are of independent interest.
We prove additivity violation of minimum output entropy of quantum channels by straightforward application of ε-net argument and Lévy's lemma. The additivity conjecture was disproved initially by Hastings. Later, a proof via asymptotic geometric analysis was presented by Aubrun, Szarek and Werner, which uses Dudley's bound on Gaussian process (or Dvoretzky's theorem with Schechtman's improvement). In this paper, we develop another proof along Dvoretzky's theorem in Milman's view showing additivity violation in broader regimes than the existing proofs. Importantly, Dvoretzky's theorem works wel…
Non-additivity is one of the distinctive traits of Quantum Information Theory: the combined use of quantum objects may be more advantageous than the sum of their individual uses. Non-additivity effects have been proven, for example, for quantum channel capacities, entanglement distillation or state estimation. In this work, we consider whether non-additivity effects can be found in Classical Information Theory. We work in the secret-key agreement scenario in which two honest parties, having access to correlated classical data that are also correlated to an eavesdropper, aim at distilling a sec…
The design of error-correcting codes used in modern communications relies on information theory to quantify the capacity of a noisy channel to send information [1]. This capacity can be expressed using the mutual information between input and output for a single use of the channel: although correlations between subsequent input bits are used to correct errors, they cannot increase the capacity. For quantum channels, it has been an open question whether entangled input states can increase the capacity to send classical information [2]. The additivity conjecture [3,4] states that entanglement do…
A counterexample to the strong spin alignment conjecture
本文通过构造三个量子比特的反例，证明强自旋对齐猜想不成立，提出兼容性约束下的新猜想。
Recently, the longstanding Gaussian optimizer conjecture was proven for bosonic Gaussian gauge-covariant or contravariant channels in the work of Giovannetti, Holevo and Garcia-Patron [3]. In the paper of Mari, Giovannetti and Holevo [11] this result was strengthened for one-mode channels by establishing that the output for the vacuum or coherent input majorizes the output for any other input. In the present paper we give the multimode extension of the result of [11], including sufficient conditions under which the coherent states are the only optimizers. We also discuss direct implications of…
A multiplicativity conjecture for quantum communication channels is formulated, validity of which for the values of parameter $p$ close to 1 is related to the solution of the fundamental problem of additivity of the channel capacity in quantum information theory. The proof of the conjecture is given for the case of natural numbers $p$.
The information carrying capacity of the d-dimensional depolarizing channel is computed. It is shown that this capacity can be achieved by encoding messages as products of pure states belonging to an orthonormal basis of the state space, and using measurements which are products of projections onto this same orthonormal basis. In other words, neither entangled signal states nor entangled measurements give any advantage for information capacity. The result follows from an additivity theorem for the capacity of the product of the depolarizing channel with an arbitrary channel. We establish the A…
We show that the minimum von-Neumann entropy output of a quantum channel is locally additive. Hasting's counterexample for the additivity conjecture, makes this result quite surprising. In particular, it indicates that the non-additivity of the minimum entropy output is a global effect of quantum channels.
It is conjectured that the Holevo capacity of a product channel Ω\otimes Φis achieved when product states are used as input. Amosov, Holevo and Werner have also conjectured that the maximal p-norm of a product channel is achieved with product input states. In this paper we establish both of these conjectures in the case that Ωis arbitrary and Φis a CQ or QC channel (as defined by Holevo). We also establish the Amosov, Holevo and Werner conjecture when Ωis arbitrary and either Φis a qubit channel and p=2, or Φis a unital qubit channel and p is integer. Our proofs involve a new conjecture for th…
We show that the minimum Renyi entropy output of a quantum channel is locally additive for Renyi parameter alpha>1. While our work extends the results of [10] (in which local additivity was proven for alpha=1), it is based on several new techniques that incorporate the multiplicative nature of p-norms, in contrast to the additivity property of the von-Neumann entropy. Our results demonstrate that the counterexamples to the Renyi additivity conjectures exhibit global effects of quantum channels. Interestingly, the approach presented here can not be extended to Renyi entropies with parameter alp…
We give a survey of the two remarkable analytical problems of quantum information theory. The main part is a detailed report of the recent (partial) solution of the quantum Gaussian optimizers problem which establishes an optimal property of Glauber's coherent states -- a particular instance of pure quantum Gaussian states. We elaborate on the notion of quantum Gaussian channel as a noncommutative generalization of Gaussian kernel to show that the coherent states, and under certain conditions only they, minimize a broad class of the concave functionals of the output of a Gaussian channel. Thus…
We investigate decoherence induced by a quantum channel in terms of minimal output entropy and of map entropy. The latter is the von Neumann entropy of the Jamiolkowski state of the channel. Both quantities admit q-Renyi versions. We prove additivity of the map entropy for all q. For the case q = 2, we show that the depolarizing channel has the smallest map entropy among all channels with a given minimal output Renyi entropy of order two. This allows us to characterize pairs of channels such that the output entropy of their tensor product acting on a maximally entangled input state is larger t…
Generic nonadditivity of quantum capacity in simple channels
该研究针对量子信道超加性示例稀缺的问题，提出platypus信道族，发现其与不同信道联合时的超加性效应，验证了超加性在大容量信道间的普遍性，拓展了量子信息理论认知。
Regarding the strange properties of quantum entropy and entanglement, e.g., the negative quantum conditional entropy, we revisited the foundations of quantum entropy, namely, von Neumann entropy, and raised the new method of quantum fine-grained entropy. With the applications in entanglement theory, quantum information processing, and quantum thermodynamics, we demonstrated the capability of quantum fine-grained entropy to resolve some notable confusions and problems, including the measure of entanglement and quantumness, the additivity conjecture of entanglement of formation etc, and the defi…
A problem in quantum information theory that has received considerable attention in recent years is the question of multiplicativity of the so-called maximal output purity (MOP) of a quantum channel. This quantity is defined as the maximum value of the purity one can get at the output of a channel by varying over all physical input states, when purity is measured by the Schatten $q$-norm, and is denoted by $ν_q$. The multiplicativity problem is the question whether two channels used in parallel have a combined $ν_q$ that is the product of the $ν_q$ of the two channels. A positive answer would …
The long-standing conjectures of the optimality of Gaussian inputs for Gaussian channel and Gaussian additivity are solved for a broad class of covariant or contravariant Bosonic Gaussian channels (which includes in particular thermal, additive classical noise, and amplifier channels) restricting to the class of states with finite second moments. We show that the vacuum is the input state which minimizes the entropy at the output of such channels. This allows us to show also that the classical capacity of these channels (under the input energy constraint) is additive and is achieved by Gaussia…
For all 1 < p < 2, we demonstrate the existence of quantum channels with non-multiplicative maximal p-norms. Equivalently, the minimum output Renyi entropy of order p of a quantum channel is not additive for all 1 < p < 2. The violations found are large. As p approaches 1, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot …
Doubly minimized Petz and sandwiched Renyi mutual information: Properties
本文研究了双重最小化Petz和沙漏Rényi互信息的性质，证明了Petz情况在α∈[1/2,2]时的可加性，并通过Sion定理建立了沙漏情况在α∈[2/3,∞]的新型对偶关系，从而证明了其可加性。
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics cannot be reconciled with classical models that are noncontextual for ideal measurements. The first explicit derivation by Kochen and Specker was rather complex, but considerable simplifications have been achieved thereafter. We propose a systematic approach to find minimal Hardy-type and Greenberger-Horne-Zeilinger-type (GHZ-type) proofs of the Kochen-Specker theorem, these are characterized by the fact that the predictions of classical models are opposite to the …
We investigate the Weyl channels being covariant with respect to the maximum commutative group of unitary operators. This class includes the quantum depolarizing channel and the "two-Pauli" channel as well. Then, we show that our estimation of the output entropy for a tensor product of the phase damping channel and the identity channel based upon the decreasing property of the relative entropy allows to prove the additivity conjecture for the minimal output entropy for the quantum depolarizing channel in any prime dimesnsion and for the "two Pauli" channel in the qubit case.
Quantum channels, also called quantum operations, are linear, trace preserving and completely positive transformations in the space of quantum states. Such operations describe discrete time evolution of an open quantum system interacting with an environment. The thesis contains an analysis of properties of quantum channels and different entropies used to quantify the decoherence introduced into the system by a given operation. Part I of the thesis provides a general introduction to the subject. In Part II, the action of a quantum channel is treated as a process of preparation of a quantum ense…
For all p > 1, we demonstrate the existence of quantum channels with non-multiplicative maximal output p-norms. Equivalently, for all p >1, the minimum output Renyi entropy of order p of a quantum channel is not additive. The violations found are large; in all cases, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot be pro…
Approximate majorization and high-order capacity of quantum depolarizing channels
本文猜想并近似证明了量子退极化信道输出的主化关系，从而获得经典容量的紧致三阶展开，表明纠缠码字和集体解码最多带来O(log log n)比特的改进。
We define and study the properties of channels which are analogous to unital qubit channels in several ways. A full treatment can be given only when the dimension d is a prime power, in which case each of the (d+1) mutually unbiased bases (MUB) defines an axis. Along each axis the channel looks like a depolarizing channel, but the degree of depolarization depends on the axis. When d is not a prime power, some of our results still hold, particularly in the case of channels with one symmetry axis. We describe the convex structure of this class of channels and the subclass of entanglement breakin…
We present a new application of harmonic analysis to quantum information by constructing intriguing classes of quantum channels stemming from specific representations of multiplier algebras over locally compact groups $G$. Beginning with a representation of the measure algebra $M(G)$, we unify and elaborate on recent counter-examples to fixed point subalgebras in infinite dimensions, as well as present an application to the noiseless subsystems method of quantum error correction. Using a representation of the completely bounded Fourier multiplier algebra $McbA(G)$, we provide a new class of co…
In this paper, we consider the minimal entropy of qubit states transmitted through two uses of a noisy quantum channel, which is modeled by the action of a completely positive trace-preserving (or stochastic) map. We provide strong support for the conjecture that this minimal entropy is additive, namely that the minimum entropy can be achieved when product states are transmitted. Explicitly, we prove that for a tensor product of two unital stochastic maps on qubit states, using an entanglement that involves only states which emerge with minimal entropy cannot decrease the entropy below the min…
We show that it is possible for the so-called weak locking capacity of a quantum channel [Guha et al., PRX 4:011016, 2014] to be much larger than its private capacity. Both reflect different ways of capturing the notion of reliable communication via a quantum system while leaking almost no information to an eavesdropper; the difference is that the latter imposes an intrinsically quantum security criterion whereas the former requires only a weaker, classical condition. The channels for which this separation is most straightforward to establish are the complementary channels of classical-quantum…
In this paper, we present applications of the calculus developed in Collins and Nechita [Comm. Math. Phys. 297 (2010) 345-370] and obtain an exact formula for the moments of random quantum channels whose input is a pure state thanks to Gaussianization methods. Our main application is an in-depth study of the random matrix model introduced by Hayden and Winter [Comm. Math. Phys. 284 (2008) 263-280] and used recently by Brandao and Horodecki [Open Syst. Inf. Dyn. 17 (2010) 31-52] and Fukuda and King [J. Math. Phys. 51 (2010) 042201] to refine the Hastings counterexample to the additivity conject…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。