Multiaccess channels in quantum information theory

A quantum channel is investigated that transmits quantum messages from two independent sources to a unique receiver. Several general assertions about the system throughput are proved, and physically important coherent- and squeezed-state transmissions are examined in detail. Some problems of one-source communication in the presence of noise are discussed. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 117, No. 3, pp. 411–426, December, 1998.     

Probabilism,entropies and strictly proper scoring rules

Accuracy arguments are the en vogue route in epistemic justifications of probabilism and further norms governing rational belief. These arguments often depend on the fact that the employed inaccuracy measure is strictly proper. I argue controversially that it is ill-advised to assume that the employed inaccuracy measures are strictly proper and that strictly proper statistical scoring rules are a more natural class of measures of inaccuracy. Building on work in belief elicitation I show how strictly proper statistical scoring rules can be used to give an epistemic justification of probabilism.An agent's evidence does not play any role in these justifications of probabilism. Principles demanding the maximisation of a generalised entropy depend on the agent's evidence. In the second part of the paper I show how to simultaneously justify probabilism and such a principle. I also investigate scoring rules which have traditionally been linked with entropies.     

p-Adic model of quantum mechanics and quantum channels

A p-adic realization of the standard statistical model of quantum mechanics is constructed. Within this realization, a p-adic linear bosonic channel is defined, and its properties are analyzed. In particular, a criterion for the existence of a linear Gaussian bosonic channel is obtained, and its explicit construction is described. It is shown that the p-adic Gaussian bosonic channels possess an additivity property.     

Quantum groups and quantum shuffles

Let U _q ⁺ be the “upper triangular part” of the quantized enveloping algebra associated with a symetrizable Cartan matrix. We show that U _q ⁺ is isomorphic (as a Hopf algebra) to the subalgebra generated by elements of degree 0 and 1 of the cotensor Hopf algebra associated with a suitable Hopf bimodule on the group algebra of Z ⁿ . This method gives supersymetric as well as multiparametric versions of U _q ⁺ in a uniform way (for a suitable choice of the Hopf bimodule). We give a classification result about the Hopf algebras which can be obtained in this way, under a reasonable growth condition. We also show how the general formalism allows to reconstruct higher rank quantized enveloping algebras from U _q sl(2) and a suitable irreducible finite dimensional representation. Oblatum 21-III-1997 & 12-IX-1997     

Classification of subsets of B n and additive channels

The paper deals with the classification problem for subsets of vertices of a unit n-dimensional cube on the basis of “symmetry.” Applications to the study of additive channels are presented.     

Quantum teleportation and quantum epistemic semantics

Quantum information gives rise to some puzzling epistemic problems that can be interestingly investigated from a logical point of view. A characteristic example is represented by teleportation phenomena, where knowledge and actions of observers (epistemic agents) play a relevant role. By abstracting from teleportation, we propose a simplified semantics for a language that consists of two parts:

1. the quantum computational sub-language, whose sentences α represent pieces of quantum information (which are supposed to be stored by some quantum systems)
2. the classical epistemic sub-language, whose atomic sentences have the following forms: agent a has a probabilistic information about the sentence α; agent a knows the sentence α.

Interestingly enough, some conceptual difficulties of standard epistemic logics can be avoided in this framework.     

Quantum families of quantum group homomorphisms

The notion of a quantum family of maps has been introduced in the framework of C*-algebras. As in the classical case, one may consider a quantum family of maps preserving additional structures (e.g. quantum family of maps preserving a state). In this paper, we define a quantum family of homomorphisms of locally compact quantum groups. Roughly speaking, we show that such a family is classical. The purely algebraic counterpart of the discussed notion, i.e. a quantum family of homomorphisms of Hopf algebras, is introduced and the algebraic counterpart of the aforementioned result is proved. Moreover, we show that a quantum family of homomorphisms of Hopf algebras is consistent with the counits and coinverses of the given Hopf algebras. We compare our concept with weak coactions introduced by Andruskiewitsch and we apply it to the analysis of adjoint coaction.     

Quantum stochastic calculus and quantum Gaussian processes

In this lecture we present a brief outline of boson Fock space stochastic calculus based on the creation, conservation and annihilation operators of free field theory, as given in the 1984 paper of Hudson and Parthasarathy [9]. We show how a part of this architecture yields Gaussian fields stationary under a group action. Then we introduce the notion of semigroups of quasifree completely positive maps on the algebra of all bounded operators in the boson Fock space Γ(? ⁿ ) over ? ⁿ . These semigroups are not strongly continuous but their preduals map Gaussian states to Gaussian states. They were first introduced and their generators were shown to be of the Lindblad type by Vanheuverzwijn [19]. They were recently investigated in the context of quantum information theory by Heinosaari et al. [7]. Here we present the exact noisy Schrödinger equation which dilates such a semigroup to a quantum Gaussian Markov process.     

Absolute continuity of information channels

Let [X, v, Y] be an abstract information channel with the input X = (X, ) and the output Y = (Y, ) which are measurable spaces, and denote by L(Y) = L(Y, ) the Banach space of all bounded signed measures with finite total variation as norm. The channel distribution ν(·,·) is considered as a function defined on (X, ) and valued in L(Y). It will be proved that, if the measurable space (Y, ) is countably generated, then the is a strongly measurable function from X into L(Y) if and only if there exists a probability measure μ on (Y, ) which dominates every measure ν(x, ·) (x X). Furthermore, under this condition, the Radon-Nikodym derivative ν(x, dy)/μ(dy) is jointly measurable with respect to the product measure space (X, , m) (Y, , μ) where m is any but fixed probability measure of (X, ). As an application, it will be shown that the channel given as above is uniformly approximated by channels of Hibert-Schmidt type.     

Quantum integrability and quantum chaos in the micromaser

The time-dependent quantum Hamiltonians

Linear preservers and quantum information science

In this article, a brief survey of recent results on linear preserver problems and quantum information science is given. In addition, characterization is obtained for linear operators φ on mn?×?mn Hermitian matrices such that φ(A???B) and A???B have the same spectrum for any m?×?m Hermitian A and n?×?n Hermitian B. Such a map has the form A???B???U(?₁(A)????₂(B))U* for mn?×?mn Hermitian matrices in tensor form A???B, where U is a unitary matrix, and for j?∈?{1,?2}, ? _j is the identity map?X???X or the transposition map?X???X ^t . The structure of linear maps leaving invariant the spectral radius of matrices in tensor form A???B is also obtained. The results are connected to bipartite (quantum) systems and are extended to multipartite systems.     

Uncertainty principle and quantum Fisher information

A family of inequalities, related to the uncertainty principle, has been recently proved by S. Luo, Z. Zhang, Q. Zhang, H. Kosaki, K. Yanagi, S. Furuichi and K. Kuriyama. We show that the inequalities have a geometric interpretation in terms of quantum Fisher information. Using this formulation one may naturally ask if this family of inequalities can be further extendend, for example to the RLD quantum Fisher information. We show that this is impossible by producing a family of counterexamples.     

Capacities of quantum channels and how to find them

 We survey what is known about the information transmitting capacities of quantum channels, and give a proposal for how to calculate some of these capacities using linear programming. Received: March 14, 2003 / Accepted: April 14, 2003 Published online: June 5, 2003     

The capacities of certain special channels with arbitrarily varying channel probability functions

In [5] Ahlswede and Wolfowitz have obtained the capacities of a.v.ch. with binary output in a number of cases, essentially with the aid of a lemma which relates the capacity of the a.v.ch. to that of a suitable (“underlying”) d.m.c. A generalization of this lemma to a special kind of a.v.ch. with output alphabet b>2, has been given by Ahlswede (Lemma 1 of [1]) and used in [1] and [2] to prove the existence of the weak capacities of various channels under different conditions. We give a detailed proof of a weakened version of Ahlswede's lemma and show, in passing, that his lemma is incorrect. We then define certain special types of a.v.ch and, on the basis of the detailed analysis given by us earlier, we prove lemmas of a similar type for these a.v.ch. We are thus able to extend certain results given for binary output a.v.ch. in [4] and [5] to these special a.v.ch. for which b>2.     

Quantum homogeneous spaces,duality and quantum 2-spheres

For a quantum groupG the notion of quantum homogeneousG-space is defined. Two methods to construct such spaces are discussed. The first one makes use of quantum subgroups, the second more general one is based upon the notion of infinitesimal invariance with respect to certain two-sided coideals in the Hopf algebra dual to the Hopf algebra ofG. These methods are applied to the quantum group SU(2). As two-sided coideals we take the subspaces spanned by twisted primitive elements in the sl(2) quantized universal enveloping algebra. A one-parameter series of mutually non-isomorphic quantum 2-spheres is obtained, together with the spectral decomposition of the corresponding right regular representation of quantum SU(2). The link with the quantum spheres defined by Podle is established.     

Quantum generalized cluster algebras and quantum dilogarithms of higher degrees

We extend the notion of quantizing the coefficients of ordinary cluster algebras to the generalized cluster algebras of Chekhov and Shapiro. In parallel to the ordinary case, it is tightly integrated with certain generalizations of the ordinary quantum dilogarithm, which we call the quantum dilogarithms of higher degrees. As an application, we derive the identities of these generalized quantum dilogarithms associated with any period of quantum Y -seeds.     

A note on additive twists,reciprocity laws and quantum modular forms

The Ramanujan Journal - We prove that the central values of additive twists of a cuspidal L-function define a quantum modular form in the sense of Zagier, generalizing recent results of Bettin and...