arXiv subjects

Davide Pastorello

Publications and source records attributed to Davide Pastorello.

29 records · Page 2Linked to original sources

arXiv2021

A quantum binary classifier based on cosine similarity

We introduce the quantum implementation of a binary classifier based on cosine similarity between data vectors. The proposed quantum algorithm evaluates the classifier on a set of data vectors with time complexity that is logarithmic in the product of the set cardinality and the dimension of the vectors. It is based just on a suitable state preparation like the retrieval from a QRAM, a SWAP test circuit (two Hadamard gates and one Fredkin gate), and a measurement process on a single qubit. Furthermore we present a simple implementation of the considered classifier on the IBM quantum processor ibmq_16_melbourne. Finally we describe the combination of the classifier with the quantum version of a K-nearest neighbors algorithm within a hybrid quantum-classical structure.

quant-ph↗

arXiv2020

Geometric viewpoint on the quantization of a fuzzy logic

Within the Hamiltonian framework, the propositions about a classical physical system are described in the Borel σ-algebra of a symplectic manifold (the phase space) where logical connectives are the standard set operations. Considering the geometric formulation of quantum mechanics we give a description of quantum propositions in terms of fuzzy events in a complex projective space equipped with Kähler structure (the quantum phase space) obtaining a quantized version of a fuzzy logic by deformation of the product t-norm.

quant-ph↗

arXiv2019

Learning adiabatic quantum algorithms for solving optimization problems

An adiabatic quantum algorithm is essentially given by three elements: An initial Hamiltonian with known ground state, a problem Hamiltonian whose ground state corresponds to the solution of the given problem and an evolution schedule such that the adiabatic condition is satisfied. A correct choice of these elements is crucial for an efficient adiabatic quantum computation. In this paper we propose a hybrid quantum-classical algorithm to solve optimization problems with an adiabatic machine assuming restrictions on the class of available problem Hamiltonians. The scheme is based on repeated calls to the quantum machine into a classical iterative structure. In particular we present a technique to learn the encoding of a given optimization problem into a problem Hamiltonian and we prove the convergence of the algorithm. Moreover the output of the proposed algorithm can be used to learn efficient adiabatic algorithms from examples.

quant-ph↗

arXiv2019

Quantum Annealing Learning Search for solving QUBO problems

In this paper we present a novel strategy to solve optimization problems within a hybrid quantum-classical scheme based on quantum annealing, with a particular focus on QUBO problems. The proposed algorithm is based on an iterative structure where the representation of an objective function into the annealer architecture is learned and already visited solutions are penalized by a tabu-inspired search. The result is a heuristic search equipped with a learning mechanism to improve the encoding of the problem into the quantum architecture. We prove the convergence of the algorithm to a global optimum in the case of general QUBO problems. Our technique is an alternative to the direct reduction of a given optimization problem into the sparse annealer graph.

quant-ph↗

arXiv2018

A geometrization of quantum mutual information

It is well known that quantum mechanics admits a geometric formulation on the complex projective space as a Kahler manifold. In this paper we consider the notion of mutual information among continuous random variables in relation to the geometric description of a composite quantum system introducing a new measure of total correlations that can be computed in terms of Gaussian integrals.

math-ph↗

arXiv2017

A quantum key distribution scheme based on tripartite entanglement and violation of CHSH inequality

Entanglement is a well-known resource in quantum information, in particular it can be exploited for quantum key distribution (QKD). In this paper we define a two-way QKD scheme employing GHZ-type states of three qubits obtaining an extension of the standard E91 protocol with a significant increasing of the number of shared bits. Eavesdropping attacks can be detected measuring violation of the CHSH inequality and the secret key rate can be estimated in a device-independent scenario.

quant-ph↗

arXiv2017

Open-loop quantum control as a resource for secure communications

Properties of unitary time evolution of quantum systems can be applied to define quantum cryptographic protocols. Dynamics of a qubit can be exploited as a data encryption/decryption procedure by means of timed measurements, implementation of an open-loop control scheme over a qubit increases robustness of a protocol employing this principle.

physics.gen-ph↗

arXiv2016

A geometric approach to quantum control in projective Hilbert spaces

A quantum theory in a finite-dimensional Hilbert space can be geometrically formulated as a proper Hamiltonian theory as explained in [2, 3, 7, 8]. From this point of view a quantum system can be described in a classical-like framework where quantum dynamics is represented by a Hamiltonian flow in the phase space given by projective Hilbert space. This paper is devoted to investigate how the notion of accessibility algebra from classical control theory can be applied within geometric Hamiltonian formulation of Quanum Mechanics to study controllability of a quantum system. A new characterization of quantum controllability in terms of Killing vector fields w.r.t. Fubini-Study metric on projective space is also discussed.

math-ph↗

arXiv2015

Frame functions in finite-dimensional Quantum Mechanics and its Hamiltonian formulation on complex projective spaces

This work concerns some issues about the interplay of standard and geometric (Hamiltonian) approaches to finite-dimensional quantum mechanics, formulated in the projective space. Our analysis relies upon the notion and the properties of so-called frame functions, introduced by A.M. Gleason to prove his celebrated theorem. In particular, the problem of associating quantum state with positive Liouville densities is tackled from an axiomatic point of view, proving a theorem classifying all possible correspondences. A similar result is established for classical observables representing quantum ones. These correspondences turn out to be encoded in a one-parameter class and, in both cases, the classical objects representing quantum ones result to be frame functions. The requirements of $U(n)$ covariance and (convex) linearity play a central rôle in the proof of those theorems. A new characterization of classical observables describing quantum observables is presented, together with a geometric description of the $C^*$-algebra structure of the set of quantum observables in terms of classical ones.

math-ph↗

arXiv2014

A geometric Hamiltonian description of composite quantum systems and quantum entanglement

Finite-dimensional Quantum Mechanics can be geometrically formulated as a proper classical-like Hamiltonian theory in a projective Hilbert space. The description of composite quantum systems within the geometric Hamiltonian framework is discussed in this paper. As summarized in the first part of this work, in the Hamiltonian formulation the phase space of a quantum system is the Kahler manifold given by the complex projective space P(H) of the Hilbert space H of the considered quantum theory. However the phase space of a bipartite system must be given by the projective space of the tensor product of two Hilbert spaces H and K and not simply by the cartesian product P(H)xP(K) as suggested by the analogy with Classical Mechanics. A part of this paper is devoted to manage this problem. In the second part of the work, a definition of quantum entanglement and a proposal of entanglement measure are given in terms of a geometrical point of view (a rather studied topic in recent literature). Finally two known separability criteria are implemented in the Hamiltonian formalism.

math-ph↗

arXiv2012

Generalized Complex Spherical Harmonics, Frame Functions, and Gleason Theorem

Consider a finite dimensional complex Hilbert space $\cH$, with $dim(\cH) \geq 3$, define $\bS(\cH):= \{x\in \cH \:|\: ||x||=1\}$, and let $ν_\cH$ be the unique regular Borel positive measure invariant under the action of the unitary operators in $\cH$, with $ν_\cH(\bS(\cH))=1$. We prove that if a complex frame function $f : \bS(\cH)\to \bC$ satisfies $f \in \cL^2(\bS(\cH), ν_\cH)$, then it verifies Gleason's statement: There is a unique linear operator $A: \cH \to \cH$ such that $f(u) = < u| A u>$ for every $u \in \bS(\cH)$. $A$ is Hermitean when $f$ is real. No boundedness requirement is thus assumed on $f$ {\em a priori}.

math-ph↗