SearcharxivSearch

arXiv subjects

Paolo Aniello

Publications and source records attributed to Paolo Aniello.

At least 19 recordsLinked to original sources

The cross states of a composite quantum system: separability and entanglement in any Hilbert space dimension

We introduce a class of states of a composite quantum system, the so-called cross states, that turn out to play a major role in the theory of entanglement for a genuinely infinite-dimensional bipartite system. In the case where at least one of the Hilbert spaces of the bipartition is finite-dimensional, all states are cross states, whereas, in the genuinely infinite-dimensional setting where the dimension of both Hilbert spaces is not finite, the cross states form a trace-norm dense, convex, proper subset of the set of all states. In the latter case, the cross states can be regarded as those physical states that possess a finite amount of entanglement; accordingly, all separable states are of this kind. We prove that, for any Hilbert space dimension, the separable states can be characterized as those cross states that minimize a suitable norm, i.e., the projective norm associated with the projective tensor product of two trace classes; all other cross states are density operators belonging to the projective tensor product space. This is a generalization of the classical cross norm criterion of separability. Finally, we define an extended real-valued entanglement function and study its main properties. Coherently with the interpretation of cross states as finitely entangled states, this function is finite, and coincides with the projective norm, precisely on the cross states of the system.

math-ph

The tensor product of p-adic Hilbert spaces

In the framework of quantum mechanics over a quadratic extension of the ultrametric field of p-adic numbers, we introduce a notion of tensor product of p-adic Hilbert spaces. To this end, following a standard approach, we first consider the algebraic tensor product of p-adic Hilbert spaces. We next define a suitable norm on this linear space. It turns out that, in the p-adic framework, this norm is the analogue of the projective norm associated with the tensor product of real or complex normed spaces. Eventually, by metrically completing the resulting p-adic normed space, and equipping it with a suitable inner product, we obtain the tensor product of p-adic Hilbert spaces. That this is indeed the correct p-adic counterpart of the tensor product of complex Hilbert spaces is also certified by establishing a natural isomorphism between this p-adic Hilbert space and the corresponding Hilbert-Schmidt class. Since the notion of subspace of a p-adic Hilbert space is highly nontrivial, we finally study the tensor product of subspaces, stressing both the analogies and the significant differences with respect to the standard complex case. These findings should provide us with the mathematical foundations necessary to explore quantum entanglement in the p-adic setting, with potential applications in the emerging field of p-adic quantum information theory.

math-ph

Characterising the Haar measure on the $p$-adic rotation groups via inverse limits of measure spaces

We determine the Haar measure on the compact $p$-adic special orthogonal groups of rotations $\mathrm{SO}(d)_p$ in dimension $d=2,3$, by exploiting the machinery of inverse limits of measure spaces, for every prime $p>2$. We characterise $\mathrm{SO}(d)_p$ as inverse limits of finite groups, of which we provide parametrisations and orders, together with an equivalent description through a multivariable Hensel lifting. Supplying these finite groups with their normalised counting measures, we get an inverse family of Haar measure spaces for each $\mathrm{SO}(d)_p$. Finally, we constructively prove the existence of the so-called inverse limit measure of these inverse families, which is explicitly computable, and prove that it gives the Haar measure on $\mathrm{SO}(d)_p$. Our results pave the way towards the study of the irreducible projective unitary representations of the $p$-adic rotation groups, with potential applications to the recently proposed $p$-adic quantum information theory.

math-ph

Invariant measures on p-adic Lie groups: the p-adic quaternion algebra and the Haar integral on the p-adic rotation groups

We provide a general expression of the Haar measure $-$ that is, the essentially unique translation-invariant measure $-$ on a $p$-adic Lie group. We then argue that this measure can be regarded as the measure naturally induced by the invariant volume form on the group, as it happens for a standard Lie group over the reals. As an important application, we next consider the problem of determining the Haar measure on the $p$-adic special orthogonal groups in dimension two, three and four (for every prime number $p$). In particular, the Haar measure on $\mathrm{SO}(2,\mathbb{Q}_p)$ is obtained by a direct application of our general formula. As for $\mathrm{SO}(3,\mathbb{Q}_p)$ and $\mathrm{SO}(4,\mathbb{Q}_p)$, instead, we show that Haar integrals on these two groups can conveniently be lifted to Haar integrals on certain $p$-adic Lie groups from which the special orthogonal groups are obtained as quotients. This construction involves a suitable quaternion algebra over the field $\mathbb{Q}_p$ and is reminiscent of the quaternionic realization of the real rotation groups. Our results should pave the way to the development of harmonic analysis on the $p$-adic special orthogonal groups, with potential applications in $p$-adic quantum mechanics and in the recently proposed $p$-adic quantum information theory.

math-ph

Trace class operators and states in p-adic quantum mechanics

Within the framework of quantum mechanics over a quadratic extension of the non-Archimedean field of p-adic numbers, we provide a definition of a quantum state relying on a general algebraic approach and on a p-adic model of probability theory. As in the standard complex case, a distinguished set of physical states are related to a notion of trace for a certain class of bounded operators and, in fact, we show that one can define a suitable space of trace class operators in the non-Archimedean setting, as well. The analogies, but also the several (highly non-trivial) differences, with respect to the case of standard quantum mechanics in a complex Hilbert space are analyzed.

math-ph

A class of stochastic products on the convex set of quantum states

We introduce the notion of stochastic product as a binary operation on the convex set of quantum states (the density operators) that preserves the convex structure, and we investigate its main consequences. We consider, in particular, stochastic products that are covariant wrt a symmetry action of a locally compact group. We then construct an interesting class of group-covariant, associative stochastic products, the so-called twirled stochastic products. Every binary operation in this class is generated by a triple formed by a square integrable projective representation of a locally compact group, by a probability measure on that group and by a fiducial density operator acting in the carrier Hilbert space of the representation. The salient properties of such a product are studied. It is argued, in particular, that, extending this binary operation from the density operators to the whole Banach space of trace class operators, this space becomes a Banach algebra, a so-called twirled stochastic algebra. This algebra is shown to be commutative in the case where the relevant group is abelian. In particular, the commutative stochastic products generated by the Weyl system are treated in detail. Finally, the physical interpretation of twirled stochastic products and various interesting connections with the literature are discussed.

math-ph

Discovering the manifold facets of a square integrable representation: from coherent states to open systems

Group representations play a central role in theoretical physics. In particular, in quantum mechanics unitary --- or, in general, projective unitary --- representations implement the action of an abstract symmetry group on physical states and observables. More specifically, a major role is played by the so-called square integrable representations. Indeed, the properties of these representations are fundamental in the definition of certain families of generalized coherent states, in the phase-space formulation of quantum mechanics and the associated star product formalism, in the definition of an interesting notion of function of quantum positive type, and in some recent applications to the theory of open quantum systems and to quantum information.

math-ph

Quantum entropy and non-Markovian evolution

Entropy, and its temporal evolution, play a central role in the foundations of quantum theory and in modern quantum technologies. Here we study, in particular, the relations between the --- in general, non-Markovian --- evolution of an open quantum system, the notions of divisibility of a dynamical map and of distinguishability of quantum states, and the temporal behaviour of various entropy-related quantities such as the Renyi (and sandwiched Renyi) divergences, and the so-called min- and max- conditional entropies. This, in turn, gives rise to an operational meaning of (non-)Markovianity.

quant-ph

Symmetry witnesses

A symmetry witness is a suitable subset of the space of selfadjoint trace class operators that allows one to determine whether a linear map is a symmetry transformation, in the sense of Wigner. More precisely, such a set is invariant with respect to an injective densely defined linear operator in the Banach space of selfadjoint trace class operators (if and) only if this operator is a symmetry transformation. According to a linear version of Wigner's theorem, the set of pure states, the rank-one projections, is a symmetry witness. We show that an analogous result holds for the set of projections with a fixed rank (with some mild constraint on this rank, in the finite-dimensional case). It turns out that this result provides a complete classification of the set of projections with a fixed rank that are symmetry witnesses. These particular symmetry witnesses are projectable; i.e., reasoning in terms of quantum states, the sets of uniform density operators of corresponding fixed rank are symmetry witnesses too.

quant-ph

Time, classical and quantum

We propose a new point of view regarding the problem of time in quantum mechanics, based on the idea of replacing the usual time operator $\mathbf{T}$ with a suitable real-valued function $T$ on the space of physical states. The proper characterization of the function $T$ relies on a particular relation with the dynamical evolution of the system rather than with the infinitesimal generator of the dynamics (Hamiltonian). We first consider the case of classical Hamiltonian mechanics, where observables are functions on phase space and the tools of differential geometry can be applied. The idea is then extended to the case of the unitary evolution of pure states of finite-level quantum systems by means of the geometric formulation of quantum mechanics. It is found that $T$ is a function on the space of pure states which is not associated to any self-adjoint operator. The link between $T$ and the dynamical evolution is interpreted as defining a simultaneity relation for the states of the system with respect to the dynamical evolution itself. It turns out that different dynamical evolutions lead to different notions of simultaneity, i.e., the notion of simultaneity is a dynamical notion.

quant-ph

Characterizing the dynamical semigroups that do not decrease a quantum entropy

In finite dimensions, we provide characterizations of the quantum dynamical semigroups that do not decrease the von Neumann, the Tsallis and the Renyi entropies, as well as a family of functions of density operators strictly related to the Schatten norms. A few remarkable consequences --- in particular, a description of the associated infinitesimal generators --- are derived, and some significant examples are discussed. Extensions of these results to semigroups of trace-preserving positive (i.e., not necessarily completely positive) maps and to a more general class of quantum entropies are also considered.

quant-ph

Playing with functions of positive type, classical and quantum

A function of positive type can be defined as a positive functional on a convolution algebra of a locally compact group. In the case where the group is abelian, by Bochner's theorem a function of positive type is, up to normalization, the Fourier transform of a probability measure. Therefore, considering the group of translations on phase space, a suitably normalized phase-space function of positive type can be regarded as a realization of a classical state. Thus, it may be called a function of classical positive type. Replacing the ordinary convolution on phase space with the twisted convolution, one obtains a noncommutative algebra of functions whose positive functionals we may call functions of quantum positive type. In fact, by a quantum version of Bochner's theorem, a continuous function of quantum positive type is, up to normalization, the (symplectic) Fourier transform of a Wigner quasi-probability distribution; hence, it can be regarded as a phase-space realization of a quantum state. Playing with functions of positive type, classical and quantum, one is led in a natural way to consider a class of semigroups of operators, the classical-quantum semigroups. The physical meaning of these mathematical objects is unveiled via quantization, so obtaining a class of quantum dynamical semigroups that, borrowing terminology from quantum information science, may be called classical-noise semigroups.

math-ph

Operators versus functions: from quantum dynamical semigroups to tomographic semigroups

Quantum mechanics can be formulated in terms of phase-space functions, according to Wigner's approach. A generalization of this approach consists in replacing the density operators of the standard formulation with suitable functions, the so-called generalized Wigner functions or (group-covariant) tomograms, obtained by means of group-theoretical methods. A typical problem arising in this context is to express the evolution of a quantum system in terms of tomograms. In the case of a (suitable) open quantum system, the dynamics can be described by means of a quantum dynamical semigroup 'in disguise', namely, by a semigroup of operators acting on tomograms rather than on density operators. We focus on a special class of quantum dynamical semigroups, the twirling semigroups, that have interesting applications, e.g., in quantum information science. The 'disguised counterparts' of the twirling semigroups, i.e., the corresponding semigroups acting on tomograms, form a class of semigroups of operators that we call tomographic semigroups. We show that the twirling semigroups and the tomographic semigroups can be encompassed in a unique theoretical framework, a class of semigroups of operators including also the probability semigroups of classical probability theory, so achieving a deeper insight into both the mathematical and the physical aspects of the problem.

math-ph

On the classical capacity of quantum Gaussian channels

The set of quantum Gaussian channels acting on one bosonic mode can be classified according to the action of the group of Gaussian unitaries. We look for bounds on the classical capacity for channels belonging to such a classification. Lower bounds can be efficiently calculated by restricting to Gaussian encodings, for which we provide analytical expressions.

quant-ph

On a certain class of semigroups of operators

We define an interesting class of semigroups of operators in Banach spaces, namely, the randomly generated semigroups. This class contains as a remarkable subclass a special type of quantum dynamical semigroups introduced by Kossakowski in the early 1970s. Each randomly generated semigroup is associated, in a natural way, with a pair formed by a representation or an antirepresentation of a locally compact group in a Banach space and by a convolution semigroup of probability measures on this group. Examples of randomly generated semigroups having important applications in physics are briefly illustrated.

math-ph

Star products: a group-theoretical point of view

Adopting a purely group-theoretical point of view, we consider the star product of functions which is associated, in a natural way, with a square integrable (in general, projective) representation of a locally compact group. Next, we show that for this (implicitly defined) star product explicit formulae can be provided. Two significant examples are studied in detail: the group of translations on phase space and the one-dimensional affine group. The study of the first example leads to the Groenewold-Moyal star product. In the second example, the link with wavelet analysis is clarified.

math-ph

Robustness of geometric phase under parametric noise

We study the robustness of geometric phase in the presence of parametric noise. For that purpose we consider a simple case study, namely a semiclassical particle which moves adiabatically along a closed loop in a static magnetic field acquiring the Dirac phase. Parametric noise comes from the interaction with a classical environment which adds a Brownian component to the path followed by the particle. After defining a gauge invariant Dirac phase, we discuss the first and second moments of the distribution of the Dirac phase angle coming from the noisy trajectory.

quant-ph

On the relation between Schmidt coefficients and entanglement

We consider the Schmidt decomposition of a bipartite density operator induced by the Hilbert-Schmidt scalar product, and we study the relation between the Schmidt coefficients and entanglement. First, we define the Schmidt equivalence classes of bipartite states. Each class consists of all the density operators (in a given bipartite Hilbert space) sharing the same set of Schmidt coefficients. Next, we review the role played by the Schmidt coefficients with respect to the separability criterion known as the `realignment' or `computable cross norm' criterion; in particular, we highlight the fact that this criterion relies only on the Schmidt equivalence class of a state. Then, the relevance -- with regard to the characterization of entanglement -- of the `symmetric polynomials' in the Schmidt coefficients and a new family of separability criteria that generalize the realignment criterion are discussed. Various interesting open problems are proposed.

quant-ph