Author

Simone Severini

166 papers · 2002–2026

2002peak 17 in 20082026

Frequent co-authors

Papers

showing 1–25 of 166 RSS

Hierarchical quantum classifiers

Edward Grant, Marcello Benedetti, Shuxiang Cao +5 more

quant-ph · April 2018 · cited 398× · arXiv ↗ · more like this ·

Quantum circuits with hierarchical structure have been used to perform binary classification of classical data encoded in a quantum state. We demonstrate that more expressive circuits in the same family achieve better accuracy and can be used to classify highly entangled quantum states, for which there is no known efficient classical method. We compare performance for several different parameterizations on two classical machine learning datasets, Iris and MNIST, and on a synthetic dataset of quantum states. Finally, we demonstrate that performance is robust to noise and deploy an Iris dataset classifier on the ibmqx4 quantum computer.

Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function

Runyao Duan, Simone Severini, Andreas Winter

quant-ph · February 2010 · cited 198× · arXiv ↗ · more like this ·

We study the quantum channel version of Shannon's zero-error capacity problem. Motivated by recent progress on this question, we propose to consider a certain operator space as the quantum generalisation of the adjacency matrix, in terms of which the plain, quantum and entanglement-assisted capacity can be formulated, and for which we show some new basic properties. Most importantly, we define a quantum version of Lovasz' famous theta function, as the norm-completion (or stabilisation) of a "naive" generalisation of theta. We go on to show that this function upper bounds the number of entanglement-assisted zero-error messages, that it is given by a semidefinite programme, whose dual we write down explicitly, and that it is multiplicative with respect to the natural (strong) graph product. We explore various other properties of the new quantity, which reduces to Lovasz' original theta in…

The laplacian of a graph as a density matrix: a basic combinatorial approach to separability of mixed states

Samuel L. Braunstein, Sibasish Ghosh, Simone Severini

quant-ph · June 2004 · cited 191× · arXiv ↗ · more like this ·

We study entanglement properties of mixed density matrices obtained from combinatorial Laplacians. This is done by introducing the notion of the density matrix of a graph. We characterize the graphs with pure density matrices and show that the density matrix of a graph can be always written as a uniform mixture of pure density matrices of graphs. We consider the von Neumann entropy of these matrices and we characterize the graphs for which the minimum and maximum values are attained. We then discuss the problem of separability by pointing out that separability of density matrices of graphs does not always depend on the labelling of the vertices. We consider graphs with a tensor product structure and simple cases for which combinatorial properties are linked to the entanglement of the state. We calculate the concurrence of all graph on four vertices representing entangled states. It…

On the quantum chromatic number of a graph

Peter J. Cameron, Ashley Montanaro, Michael W. Newman +2 more

quant-ph · August 2006 · cited 135× · arXiv ↗ · more like this ·

We investigate the notion of quantum chromatic number of a graph, which is the minimal number of colours necessary in a protocol in which two separated provers can convince an interrogator with certainty that they have a colouring of the graph. After discussing this notion from first principles, we go on to establish relations with the clique number and orthogonal representations of the graph. We also prove several general facts about this graph parameter and find large separations between the clique number and the quantum chromatic number by looking at random graphs. Finally, we show that there can be no separation between classical and quantum chromatic number if the latter is 2, nor if it is 3 in a restricted quantum model; on the other hand, we exhibit a graph on 18 vertices and 44 edges with chromatic number 5 and quantum chromatic number 4.

Number-Theoretic Nature of Communication in Quantum Spin Systems

Chris Godsil, Stephen Kirkland, Simone Severini +1 more

quant-ph · January 2012 · cited 128× · arXiv ↗ · more like this ·

The last decade has witnessed substantial interest in protocols for transferring information on networks of quantum mechanical objects. A variety of control methods and network topologies have been proposed, on the basis that transfer with perfect fidelity --- i.e. deterministic and without information loss --- is impossible through unmodulated spin chains with more than a few particles. Solving the original problem formulated by Bose [Phys. Rev. Lett. 91, 207901 (2003)], we determine the exact number of qubits in unmodulated chains (with XY Hamiltonian) that permit the transfer with fidelity arbitrarily close to 1, a phenomenon called pretty good state transfer. We prove that this happens if and only if the number of nodes is n=p-1, 2p-1, where p is a prime, or n=2^{m}-1. The result highlights the potential of quantum spin system dynamics for reinterpreting questions about the…

Quantum linear systems algorithms: a primer

Danial Dervovic, Mark Herbster, Peter Mountney +3 more

quant-ph · 22 Feb 2018 · cited 122× · arXiv ↗ · more like this ·

The Harrow-Hassidim-Lloyd (HHL) quantum algorithm for sampling from the solution of a linear system provides an exponential speed-up over its classical counterpart. The problem of solving a system of linear equations has a wide scope of applications, and thus HHL constitutes an important algorithmic primitive. In these notes, we present the HHL algorithm and its improved versions in detail, including explanations of the constituent sub- routines. More specifically, we discuss various quantum subroutines such as quantum phase estimation and amplitude amplification, as well as the important question of loading data into a quantum computer, via quantum RAM. The improvements to the original algorithm exploit variable-time amplitude amplification as well as a method for implementing linear combinations of unitary operations (LCUs) based on a decomposition of the operators using Fourier and…

Parameters of Integral Circulant Graphs and Periodic Quantum Dynamics

Nitin Saxena, Simone Severini, Igor Shparlinski

quant-ph · 26 Mar 2007 · cited 111× · arXiv ↗ · more like this ·

The intention of the paper is to move a step towards a classification of network topologies that exhibit periodic quantum dynamics. We show that the evolution of a quantum system, whose hamiltonian is identical to the adjacency matrix of a circulant graph, is periodic if and only if all eigenvalues of the graph are integers (that is, the graph is integral). Motivated by this observation, we focus on relevant properties of integral circulant graphs. Specifically, we bound the number of vertices of integral circulant graphs in terms of their degree, characterize bipartiteness and give exact bounds for their diameter. Additionally, we prove that circulant graphs with odd order do not allow perfect state transfer.

Quantum Networks on Cubelike Graphs

Anna Bernasconi, Chris Godsil, Simone Severini

quant-ph · 4 Aug 2008 · cited 95× · arXiv ↗ · more like this ·

Cubelike graphs are the Cayley graphs of the elementary abelian group (Z_2)^n (e.g., the hypercube is a cubelike graph). We give conditions for perfect state transfer between two particles in quantum networks modeled by a large class of cubelike graphs. This generalizes results of Christandl et al. [Phys. Rev. Lett. 92, 187902 (2004)] and Facer et al. [Phys. Rev. A 92, 187902 (2008)].

Universal discriminative quantum neural networks

Hongxiang Chen, Leonard Wossnig, Simone Severini +2 more

quant-ph · 22 May 2018 · cited 91× · arXiv ↗ · more like this ·

Quantum mechanics fundamentally forbids deterministic discrimination of quantum states and processes. However, the ability to optimally distinguish various classes of quantum data is an important primitive in quantum information science. In this work, we train near-term quantum circuits to classify data represented by non-orthogonal quantum probability distributions using the Adam stochastic optimization algorithm. This is achieved by iterative interactions of a classical device with a quantum processor to discover the parameters of an unknown non-unitary quantum circuit. This circuit learns to simulates the unknown structure of a generalized quantum measurement, or Positive-Operator-Value-Measure (POVM), that is required to optimally distinguish possible distributions of quantum inputs. Notably we use universal circuit topologies, with a theoretically motivated circuit design, which…

Zero forcing, linear and quantum controllability for systems evolving on networks

Daniel Burgarth, Domenico D'Alessandro, Leslie Hogben +2 more

quant-ph · 7 Nov 2011 · cited 86× · arXiv ↗ · more like this ·

We study the dynamics of systems on networks from a linear algebraic perspective. The control theoretic concept of controllability describes the set of states that can be reached for these systems. Under appropriate conditions, there is a connection between the quantum (Lie theoretic) property of controllability and the linear systems (Kalman) controllability condition. We investigate how the graph theoretic concept of a zero forcing set impacts the controllability property. In particular, we prove that if a set of vertices is a zero forcing set, the associated dynamical system is controllable. The results open up the possibility of further exploiting the analogy between networks, linear control systems theory, and quantum systems Lie algebraic theory. This study is motivated by several quantum systems currently under study, including continuous quantum walks modeling transport…

Adversarial quantum circuit learning for pure state approximation

Marcello Benedetti, Edward Grant, Leonard Wossnig +1 more

quant-ph · June 2018 · cited 84× · arXiv ↗ · more like this ·

Adversarial learning is one of the most successful approaches to modelling high-dimensional probability distributions from data. The quantum computing community has recently begun to generalize this idea and to look for potential applications. In this work, we derive an adversarial algorithm for the problem of approximating an unknown quantum pure state. Although this could be done on universal quantum computers, the adversarial formulation enables us to execute the algorithm on near-term quantum computers. Two parametrized circuits are optimized in tandem: One tries to approximate the target state, the other tries to distinguish between target and approximated state. Supported by numerical simulations, we show that resilient backpropagation algorithms perform remarkably well in optimizing the two circuits. We use the bipartite entanglement entropy to design an efficient heuristic for…

A matrix representation of graphs and its spectrum as a graph invariant

David Emms, Edwin R. Hancock, Simone Severini +1 more

quant-ph · May 2005 · cited 80× · arXiv ↗ · more like this ·

We use the line digraph construction to associate an orthogonal matrix with each graph. From this orthogonal matrix, we derive two further matrices. The spectrum of each of these three matrices is considered as a graph invariant. For the first two cases, we compute the spectrum explicitly and show that it is determined by the spectrum of the adjacency matrix of the original graph. We then show by computation that the isomorphism classes of many known families of strongly regular graphs (up to 64 vertices) are characterized by the spectrum of this matrix. We conjecture that this is always the case for strongly regular graphs and we show that the conjecture is not valid for general graphs. We verify that the smallest regular graphs which are not distinguished with our method are on 14 vertices.

Modelling Non-Markovian Quantum Processes with Recurrent Neural Networks

Leonardo Banchi, Edward Grant, Andrea Rocchetto +1 more

quant-ph · August 2018 · cited 79× · arXiv ↗ · more like this ·

Quantum systems interacting with an unknown environment are notoriously difficult to model, especially in presence of non-Markovian and non-perturbative effects. Here we introduce a neural network based approach, which has the mathematical simplicity of the Gorini-Kossakowski-Sudarshan-Lindblad master equation, but is able to model non-Markovian effects in different regimes. This is achieved by using recurrent neural networks for defining Lindblad operators that can keep track of memory effects. Building upon this framework, we also introduce a neural network architecture that is able to reproduce the entire quantum evolution, given an initial state. As an application we study how to train these models for quantum process tomography, showing that recurrent neural networks are accurate over different times and regimes.

Quantifying Complexity in Networks

Filippo Passerini, Simone Severini

Computational Theory and Mathematics · International Journal of Agent Technologies and Systems · October 2009 · cited 79× · DOI ↗ · more like this ·

The authors introduce a novel entropic notion with the purpose of quantifying disorder/uncertainty in networks. This is based on the Laplacian and it is exactly the von Neumann entropy of certain quantum mechanical states. It is remarkable that the von Neumann entropy depends on spectral properties and it can be computed efficiently. The analytical results described here and the numerical computations lead us to conclude that the von Neumann entropy increases under edge addition, increases with the regularity properties of the network and with the number of its connected components. The notion opens the perspective of a wide interface between quantum information theory and the study of complex networks at the statistical level.

Experimental learning of quantum states

Andrea Rocchetto, Scott Aaronson, Simone Severini +5 more

quant-ph · 30 Nov 2017 · cited 73× · arXiv ↗ · more like this ·

The number of parameters describing a quantum state is well known to grow exponentially with the number of particles. This scaling clearly limits our ability to do tomography to systems with no more than a few qubits and has been used to argue against the universal validity of quantum mechanics itself. However, from a computational learning theory perspective, it can be shown that, in a probabilistic setting, quantum states can be approximately learned using only a linear number of measurements. Here we experimentally demonstrate this linear scaling in optical systems with up to 6 qubits. Our results highlight the power of computational learning theory to investigate quantum information, provide the first experimental demonstration that quantum states can be "probably approximately learned" with access to a number of copies of the state that scales linearly with the number of qubits…

Pretty Good State Transfer in Qubit Chains - The Heisenberg Hamiltonian

Leonardo Banchi, Gabriel Coutinho, Chris Godsil +1 more

quant-ph · August 2016 · cited 69× · arXiv ↗ · more like this ·

Pretty good state transfer in networks of qubits occurs when a continuous-time quantum walk allows the transmission of a qubit state from one node of the network to another, with fidelity arbitrarily close to 1. We prove that in a Heisenberg chain with n qubits there is pretty good state transfer between the nodes at the j-th and (n-j+1)-th position if n is a power of 2. Moreover, this condition is also necessary for j=1. We obtain this result by applying a theorem due to Kronecker about Diophantine approximations, together with techniques from algebraic graph theory.

Nondiscriminatory Propagation on Trees

Simone Severini

math.CO · 2 May 2008 · cited 63× · arXiv ↗ · more like this ·

We consider a discrete-time dynamical process on graphs, firstly introduced in connection with a protocol for controlling large networks of spin 1/2 quantum mechanical particles [Phys. Rev. Lett. 99, 100501 (2007)]. A description is as follows: each vertex of an initially selected set has a packet of information (the same for every element of the set), which will be distributed among vertices of the graph; a vertex v can pass its packet to an adjacent vertex w only if w is its only neighbour without the information. By mean of examples, we describe some general properties, mainly concerning homeomorphism, and redundant edges. We prove that the cardinality of the smallest sets propagating the information in all vertices of a balanced m-ary tree of depth k is exactly (m^{k+1}+(-1)^{k})/(m+1). For binary trees, this number is related to alternating sign matrices.

Communication in XYZ All-to-All Quantum Networks with a Missing Link

Sougato Bose, Andrea Casaccino, Stefano Mancini +1 more

quant-ph · 6 Aug 2008 · cited 60× · arXiv ↗ · more like this ·

We explicitate the relation between Hamiltonians for networks of interacting qubits in the XYZ model and graph Laplacians. We then study evolution in networks in which all sites can communicate with each other. These are modeled by the complete graph K_{n} and called all-to-all networks. It turns out that K_{n} does not exhibit perfect state transfer (PST). However, we prove that deleting an edge in K_{n} allows PST between the two non-adjacent sites, when n is a multiple of four. An application is routing a qubit over n different sites, by switching off the link between the sites that we wish to put in communication. Additionally, we observe that, in certain cases, the unitary inducing evolution in K_{n} is equivalent to the Grover operator.

On the digraph of a unitary matrix

Simone Severini

math.CO · May 2002 · cited 58× · arXiv ↗ · more like this ·

Given a matrix M of size n, a digraph D on n vertices is said to be the digraph of M, when M_{ij} is different from 0 if and only if (v_{i},v_{j}) is an arc of D. We give a necessary condition, called strong quadrangularity, for a digraph to be the digraph of a unitary matrix. With the use of such a condition, we show that a line digraph, LD, is the digraph of a unitary matrix if and only if D is Eulerian. It follows that, if D is strongly connected and LD is the digraph of a unitary matrix then LD is Hamiltonian. We conclude with some elementary observations. Among the motivations of this paper are coined quantum random walks, and, more generally, discrete quantum evolution on digraphs.

Logic circuits from zero forcing

Daniel Burgarth, Vittorio Giovannetti, Leslie Hogben +2 more

cs.DM · June 2011 · cited 54× · arXiv ↗ · more like this ·

We design logic circuits based on the notion of zero forcing on graphs; each gate of the circuits is a gadget in which zero forcing is performed. We show that such circuits can evaluate every monotone Boolean function. By using two vertices to encode each logical bit, we obtain universal computation. We also highlight a phenomenon of "back forcing" as a property of each function. Such a phenomenon occurs in a circuit when the input of gates which have been already used at a given time step is further modified by a computation actually performed at a later stage. Finally, we point out that zero forcing can be also used to implement reversible computation. The model introduced here provides a potentially new tool in the analysis of Boolean functions, with particular attention to monotonicity.

Improved lower bounds on genuine-multipartite-entanglement concurrence

Zhi-Hua Chen, Zhi-Hao Ma, Jing-Ling Chen +1 more

quant-ph · May 2012 · cited 47× · arXiv ↗ · more like this ·

Genuine-multipartite-entanglement (GME) concurrence is a measure of genuine multipartite entanglement that generalizes the well-known notion of concurrence. We define an observable for GME concurrence. The observable permits us to avoid full state tomography and leads to different analytic lower bounds. By means of explicit examples we show that entanglement criteria based on the bounds have a better performance with respect to the known methods.

Control by quantum dynamics on graphs

Chris Godsil, Simone Severini

quant-ph · October 2009 · cited 46× · arXiv ↗ · more like this ·

We address the study of controllability of a closed quantum system whose dynamical Lie algebra is generated by adjacency matrices of graphs. We characterize a large family of graphs that renders a system controllable. The key property is a novel graph-theoretic feature consisting of a particularly disordered cycle structure. Disregarding efficiency of control functions, but choosing subfamilies of sparse graphs, the results translate into continuous-time quantum walks for universal computation.

Entangling Power of Permutations

Lieven Clarisse, Sibasish Ghosh, Simone Severini +1 more

quant-ph · February 2005 · cited 46× · arXiv ↗ · more like this ·

The notion of entangling power of unitary matrices was introduced by Zanardi, Zalka and Faoro [PRA, 62, 030301]. We study the entangling power of permutations, given in terms of a combinatorial formula. We show that the permutation matrices with zero entangling power are, up to local unitaries, the identity and the swap. We construct the permutations with the minimum nonzero entangling power for every dimension. With the use of orthogonal latin squares, we construct the permutations with the maximum entangling power for every dimension. Moreover, we show that the value obtained is maximum over all unitaries of the same dimension, with possible exception for 36. Our result enables us to construct generic examples of 4-qudits maximally entangled states for all dimensions except for 2 and 6. We numerically classify, according to their entangling power, the permutation matrices of dimension…

Matrix permanent and quantum entanglement of permutation invariant states

Tzu-Chieh Wei, Simone Severini

quant-ph · May 2009 · cited 45× · arXiv ↗ · more like this ·

We point out that a geometric measure of quantum entanglement is related to the matrix permanent when restricted to permutation invariant states. This connection allows us to interpret the permanent as an angle between vectors. By employing a recently introduced permanent inequality by Carlen, Loss and Lieb, we can prove explicit formulas of the geometric measure for permutation invariant basis states in a simple way.

Quantum state transfer through a qubit network with energy shifts and fluctuations

Andrea Casaccino, Seth Lloyd, Stefano Mancini +1 more

quant-ph · 28 Apr 2009 · cited 41× · arXiv ↗ · more like this ·

We study quantum state transfer through a qubit network modeled by spins with XY interaction, when relying on a single excitation. We show that it is possible to achieve perfect transfer by shifting (adding) energy to specific vertices. This technique appears to be a potentially powerful tool to change, and in some cases improve, transfer capabilities of quantum networks. Analytical results are presented for all-to-all networks and all-to-all networks with a missing link. Moreover, we evaluate the effect of random fluctuations on the transmission fidelity.