Showing 51–100 of 145 results for author: Severini, S

Graph-Theoretic Approach to Quantum Correlations

Authors: Adan Cabello, Simone Severini, Andreas Winter

Abstract: Correlations in Bell and noncontextuality inequalities can be expressed as a positive linear combination of probabilities of events. Exclusive events can be represented as adjacent vertices of a graph, so correlations can be associated to a subgraph. We show that the maximum value of the correlations for classical, quantum, and more general theories is the independence number, the Lovász number, a… ▽ More Correlations in Bell and noncontextuality inequalities can be expressed as a positive linear combination of probabilities of events. Exclusive events can be represented as adjacent vertices of a graph, so correlations can be associated to a subgraph. We show that the maximum value of the correlations for classical, quantum, and more general theories is the independence number, the Lovász number, and the fractional packing number of this subgraph, respectively. We also show that, for any graph, there is always a correlation experiment such that the set of quantum probabilities is exactly the Grötschel-Lovász-Schrijver theta body. This identifies these combinatorial notions as fundamental physical objects and provides a method for singling out experiments with quantum correlations on demand. △ Less

Submitted 27 January, 2014; originally announced January 2014.

Comments: REVTeX4, 6 pages, 1 figure. See also arXiv:1010.2163

Journal ref: Phys. Rev. Lett. 112 (2014) 040401

Bounds on entanglement assisted source-channel coding via the Lovasz theta number and its variants

Authors: Toby Cubitt, Laura Mancinska, David Roberson, Simone Severini, Dan Stahlke, Andreas Winter

Abstract: We study zero-error entanglement assisted source-channel coding (communication in the presence of side information). Adapting a technique of Beigi, we show that such coding requires existence of a set of vectors satisfying orthogonality conditions related to suitably defined graphs $G$ and $H$. Such vectors exist if and only if $\vartheta(\overline{G}) \le \vartheta(\overline{H})$ where… ▽ More We study zero-error entanglement assisted source-channel coding (communication in the presence of side information). Adapting a technique of Beigi, we show that such coding requires existence of a set of vectors satisfying orthogonality conditions related to suitably defined graphs $G$ and $H$. Such vectors exist if and only if $\vartheta(\overline{G}) \le \vartheta(\overline{H})$ where $\vartheta$ represents the Lovász number. We also obtain similar inequalities for the related Schrijver $\vartheta^-$ and Szegedy $\vartheta^+$ numbers. These inequalities reproduce several known bounds and also lead to new results. We provide a lower bound on the entanglement assisted cost rate. We show that the entanglement assisted independence number is bounded by the Schrijver number: $α^*(G) \le \vartheta^-(G)$. Therefore, we are able to disprove the conjecture that the one-shot entanglement-assisted zero-error capacity is equal to the integer part of the Lovász number. Beigi introduced a quantity $β$ as an upper bound on $α^*$ and posed the question of whether $β(G) = \lfloor \vartheta(G) \rfloor$. We answer this in the affirmative and show that a related quantity is equal to $\lceil \vartheta(G) \rceil$. We show that a quantity $χ_{\textrm{vect}}(G)$ recently introduced in the context of Tsirelson's conjecture is equal to $\lceil \vartheta^+(\overline{G}) \rceil$. In an appendix we investigate multiplicativity properties of Schrijver's and Szegedy's numbers, as well as projective rank. △ Less

Submitted 7 August, 2014; v1 submitted 26 October, 2013; originally announced October 2013.

Comments: Fixed proof of multiplicativity; more connections to prior work in conclusion; many changes in exposition

Journal ref: IEEE Trans. Inf. Theory 60(11):7330-7344 (2014)

Cellular network entropy as the energy potential in Waddington's differentiation landscape

Authors: Christopher R. S. Banerji, Diego Miranda-Saavedra, Simone Severini, Martin Widschwendter, Tariq Enver, Joseph X. Zhou, Andrew E. Teschendorff

Abstract: Differentiation is a key cellular process in normal tissue development that is significantly altered in cancer. Although molecular signatures characterising pluripotency and multipotency exist, there is, as yet, no single quantitative mark of a cellular sample's position in the global differentiation hierarchy. Here we adopt a systems view and consider the sample's network entropy, a measure of si… ▽ More Differentiation is a key cellular process in normal tissue development that is significantly altered in cancer. Although molecular signatures characterising pluripotency and multipotency exist, there is, as yet, no single quantitative mark of a cellular sample's position in the global differentiation hierarchy. Here we adopt a systems view and consider the sample's network entropy, a measure of signaling pathway promiscuity, computable from a sample's genome-wide expression profile. We demonstrate that network entropy provides a quantitative, in-silico, readout of the average undifferentiated state of the profiled cells, recapitulating the known hierarchy of pluripotent, multipotent and differentiated cell types. Network entropy further exhibits dynamic changes in time course differentiation data, and in line with a sample's differentiation stage. In disease, network entropy predicts a higher level of cellular plasticity in cancer stem cell populations compared to ordinary cancer cells. Importantly, network entropy also allows identification of key differentiation pathways. Our results are consistent with the view that pluripotency is a statistical property defined at the cellular population level, correlating with intra-sample heterogeneity, and driven by the degree of signaling promiscuity in cells. In summary, network entropy provides a quantitative measure of a cell's undifferentiated state, defining its elevation in Waddington's landscape. △ Less

Submitted 26 October, 2013; originally announced October 2013.

Comments: 27 pages, 5 figures

Journal ref: Scientific Reports (2013) 3, 3039

A mathematical model of kinetoplastid mitochondrial gene scrambling advantage

Authors: Harry Buhrman, Peter van der Gulik, Simone Severini, David Speijer

Abstract: We model and discuss advantages of pan-editing, the complex way of expressing mitochondrial genes in kinetoplastids. The rapid spread and preservation of pan-editing seems to be due to its concomitant fragment dispersal. Such dispersal prevents losing temporarily non expressed mitochondrial genes upon intense intraspecific competition, by linking non expressed fragments to parts which are still ne… ▽ More We model and discuss advantages of pan-editing, the complex way of expressing mitochondrial genes in kinetoplastids. The rapid spread and preservation of pan-editing seems to be due to its concomitant fragment dispersal. Such dispersal prevents losing temporarily non expressed mitochondrial genes upon intense intraspecific competition, by linking non expressed fragments to parts which are still needed. We mathematically modelled protection against gene loss, due to the absence of selection, by this kind of fragment association. This gives ranges of values for parameters like scrambling extent, population size, and number of generations still retaining full genomes despite limited selection. Values obtained seem consistent with those observed. We find a quasi-linear correlation between dispersal and number of generations after which populations lose genes, showing that pan-editing can be selected to effectively limit gene loss under relaxed selective pressure. △ Less

Submitted 3 July, 2013; originally announced July 2013.

Comments: 22 pages, 2 figures

Hearing the Shape of the Ising Model with a Programmable Superconducting-Flux Annealer

Authors: Walter Vinci, Klas Markström, Sergio Boixo, Aidan Roy, Federico M. Spedalieri, Paul A. Warburton, Simone Severini

Abstract: Two objects can be distinguished if they have different measurable properties. Thus, distinguishability depends on the Physics of the objects. In considering graphs, we revisit the Ising model as a framework to define physically meaningful spectral invariants. In this context, we introduce a family of refinements of the classical spectrum and consider the quantum partition function. We demonstrate… ▽ More Two objects can be distinguished if they have different measurable properties. Thus, distinguishability depends on the Physics of the objects. In considering graphs, we revisit the Ising model as a framework to define physically meaningful spectral invariants. In this context, we introduce a family of refinements of the classical spectrum and consider the quantum partition function. We demonstrate that the energy spectrum of the quantum Ising Hamiltonian is a stronger invariant than the classical one without refinements. For the purpose of implementing the related physical systems, we perform experiments on a programmable annealer with superconducting flux technology. Departing from the paradigm of adiabatic computation, we take advantage of a noisy evolution of the device to generate statistics of low energy states. The graphs considered in the experiments have the same classical partition functions, but different quantum spectra. The data obtained from the annealer distinguish non-isomorphic graphs via information contained in the classical refinements of the functions but not via the differences in the quantum spectra. △ Less

Submitted 16 September, 2014; v1 submitted 3 July, 2013; originally announced July 2013.

Comments: 13 pages, 10 figures

alpha-Kuramoto partitions: graph partitions from the frustrated Kuramoto model generalise equitable partitions

Authors: Stephen Kirkland, Simone Severini

Abstract: The Kuramoto model describes the collective dynamics of a system of coupled oscillators. An alpha-Kuramoto partition is a graph partition induced by the Kuramoto model, when the oscillators include a phase frustration parameter. We prove that every equitable partition is an alpha-Kuramoto partition, but that the converse does necessarily not hold. We give an exact characterisation of alpha-Kuramot… ▽ More The Kuramoto model describes the collective dynamics of a system of coupled oscillators. An alpha-Kuramoto partition is a graph partition induced by the Kuramoto model, when the oscillators include a phase frustration parameter. We prove that every equitable partition is an alpha-Kuramoto partition, but that the converse does necessarily not hold. We give an exact characterisation of alpha-Kuramoto bipartitions. △ Less

Submitted 18 June, 2013; originally announced June 2013.

Comments: 7 pages, 3 EPS figures

Sabidussi Versus Hedetniemi for Three Variations of the Chromatic Number

Authors: Chris Godsil, David Roberson, Robert Šámal, Simone Severini

Abstract: We investigate vector chromatic number, Lovasz theta of the complement, and quantum chromatic number from the perspective of graph homomorphisms. We prove an analog of Sabidussi's theorem for each of these parameters, i.e. that for each of the parameters, the value on the Cartesian product of graphs is equal to the maximum of the values on the factors. We also prove an analog of Hedetniemi's conje… ▽ More We investigate vector chromatic number, Lovasz theta of the complement, and quantum chromatic number from the perspective of graph homomorphisms. We prove an analog of Sabidussi's theorem for each of these parameters, i.e. that for each of the parameters, the value on the Cartesian product of graphs is equal to the maximum of the values on the factors. We also prove an analog of Hedetniemi's conjecture for Lovasz theta of the complement, i.e. that its value on the categorical product of graphs is equal to the minimum of its values on the factors. We conjecture that the analogous results hold for vector and quantum chromatic number, and we prove that this is the case for some special classes of graphs. △ Less

Submitted 23 May, 2013; originally announced May 2013.

Comments: 18 pages

MSC Class: 05C60; 05C15

Interpreting the von Neumann entropy of graph Laplacians, and coentropic graphs

Authors: Niel de Beaudrap, Vittorio Giovannetti, Simone Severini, Richard Wilson

Abstract: For any graph, we define a rank-1 operator on a bipartite tensor product space, with components associated to the set of vertices and edges respectively. We show that the partial traces of the operator are the Laplacian and the edge-Laplacian. This provides an interpretation of the von Neumann entropy of the (normalized)\ Laplacian as the amount of quantum entanglement between two systems correspo… ▽ More For any graph, we define a rank-1 operator on a bipartite tensor product space, with components associated to the set of vertices and edges respectively. We show that the partial traces of the operator are the Laplacian and the edge-Laplacian. This provides an interpretation of the von Neumann entropy of the (normalized)\ Laplacian as the amount of quantum entanglement between two systems corresponding to vertices and edges. In this framework, cospectral graphs correspond exactly to local unitarily equivalent pure states. Finally, we introduce the notion of coentropic graphs, that is, graphs with equal von Neumann entropy. The smallest coentropic (but not cospectral) graphs that we are able to construct have 8 vertices. The number of equivalence classes of coentropic graphs with n vertices and m edges is a lower bound to the number of (pure) bipartite entanglement classes with subsystems of corresponding dimension. △ Less

Submitted 30 April, 2013; originally announced April 2013.

Comments: 7 pages, 1 figure

A notion of graph likelihood and an infinite monkey theorem

Authors: Christopher R. S. Banerji, Toufik Mansour, Simone Severini

Abstract: We play with a graph-theoretic analogue of the folklore infinite monkey theorem. We define a notion of graph likelihood as the probability that a given graph is constructed by a monkey in a number of time steps equal to the number of vertices. We present an algorithm to compute this graph invariant and closed formulas for some infinite classes. We have to leave the computational complexity of the… ▽ More We play with a graph-theoretic analogue of the folklore infinite monkey theorem. We define a notion of graph likelihood as the probability that a given graph is constructed by a monkey in a number of time steps equal to the number of vertices. We present an algorithm to compute this graph invariant and closed formulas for some infinite classes. We have to leave the computational complexity of the likelihood as an open problem. △ Less

Submitted 12 April, 2013; originally announced April 2013.

Comments: 6 pages, 1 EPS figure

Network Transfer Entropy and Metric Space for Causality Inference

Authors: Christopher R. S. Banerji, Simone Severini, Andrew E. Teschendorff

Abstract: A measure is derived to quantify directed information transfer between pairs of vertices in a weighted network, over paths of a specified maximal length. Our approach employs a general, probabilistic model of network traffic, from which the informational distance between dynamics on two weighted networks can be naturally expressed as a Jensen Shannon Divergence (JSD). Our network transfer entropy… ▽ More A measure is derived to quantify directed information transfer between pairs of vertices in a weighted network, over paths of a specified maximal length. Our approach employs a general, probabilistic model of network traffic, from which the informational distance between dynamics on two weighted networks can be naturally expressed as a Jensen Shannon Divergence (JSD). Our network transfer entropy measure is shown to be able to distinguish and quantify causal relationships between network elements, in applications to simple synthetic networks and a biological signalling network. We conclude with a theoretical extension of our framework, in which the square root of the JSD induces a metric on the space of dynamics on weighted networks. We prove a convergence criterion, demonstrating that a form of convergence in the structure of weighted networks in a family of matrix metric spaces implies convergence of their dynamics with respect to the square root JSD metric. △ Less

Submitted 2 November, 2013; v1 submitted 1 March, 2013; originally announced March 2013.

Comments: 14 pages, 5 figures

Journal ref: Phys. Rev. E 87, 052814 (2013)

A universal, memory-assisted entropic uncertainty relation

Authors: Z. -H. Ma, C. -M. Yao, Z. -H. Chen, S. Severini, A. Serafini

Abstract: We derive a new memory-assisted entropic uncertainty relation for non-degenerate Hermitian observables where both quantum correlations, in the form of conditional von Neumann entropy, and quantum discord between system and memory play an explicit role. Our relation is `universal', in the sense that it does not depend on the specific observable, but only on properties of the quantum state. We contr… ▽ More We derive a new memory-assisted entropic uncertainty relation for non-degenerate Hermitian observables where both quantum correlations, in the form of conditional von Neumann entropy, and quantum discord between system and memory play an explicit role. Our relation is `universal', in the sense that it does not depend on the specific observable, but only on properties of the quantum state. We contrast such an uncertainty relation with previously known memory-assisted relations based on entanglement and correlations. Further, we present a detailed comparative study of entanglement- and discord-assisted entropic uncertainty relations for systems of two qubits -- one of which plays the role of the memory -- subject to several forms of independent quantum noise, in both Markovian and non-Markovian regimes. We thus show explicitly that, partly due to the ubiquity and inherent resilience of quantum discord, discord-tightened entropic uncertainty relations often offer a better estimate of the uncertainties in play. △ Less

Submitted 5 February, 2013; originally announced February 2013.

Comments: 24 pages and a few plots, IOP style

Co-evolution of networks and quantum dynamics: a generalization of preferential attachment

Authors: Vincenzo Nicosia, Takuya Machida, Richard Wilson, Edwin Hancock, Norio Konno, Vito Latora, Simone Severini

Abstract: We propose a model of network growth in which the network is co-evolving together with the dynamics of a quantum mechanical system, namely a quantum walk taking place over the network. The model naturally generalizes the Barabási-Albert model of preferential attachment and has a rich set of tunable parameters, such as the initial conditions of the dynamics or the interaction of the system with its… ▽ More We propose a model of network growth in which the network is co-evolving together with the dynamics of a quantum mechanical system, namely a quantum walk taking place over the network. The model naturally generalizes the Barabási-Albert model of preferential attachment and has a rich set of tunable parameters, such as the initial conditions of the dynamics or the interaction of the system with its environment. We show that the model produces networks with two-modal power-law degree distributions, super-hubs, finite clustering coefficient, small-world behaviour and non-trivial degree-degree correlations. △ Less

Submitted 22 July, 2013; v1 submitted 4 February, 2013; originally announced February 2013.

Comments: 8 pages, 2 figures

Journal ref: J. Stat. Mech., P08016 (2013)

Quantum channels from association schemes

Authors: Tao Feng, Simone Severini

Abstract: We propose in this note the study of quantum channels from association schemes. This is done by interpreting the $(0,1)$-matrices of a scheme as the Kraus operators of a channel. Working in the framework of one-shot zero-error information theory, we give bounds and closed formulas for various independence numbers of the relative non-commutative (confusability) graphs, or, equivalently, graphical o… ▽ More We propose in this note the study of quantum channels from association schemes. This is done by interpreting the $(0,1)$-matrices of a scheme as the Kraus operators of a channel. Working in the framework of one-shot zero-error information theory, we give bounds and closed formulas for various independence numbers of the relative non-commutative (confusability) graphs, or, equivalently, graphical operator systems. We use pseudocyclic association schemes as an example. In this case, we show that the unitary entanglement-assisted independence number grows at least quadratically faster, with respect to matrix size, than the independence number. The latter parameter was introduced by Beigi and Shor as a generalization of the one-shot Shannon capacity, in analogy with the corresponding graph-theoretic notion. △ Less

Submitted 7 January, 2013; originally announced January 2013.

Comments: 6 pages

Exclusivity structures and graph representatives of local complementation orbits

Authors: Adan Cabello, Matthew G. Parker, Giannicola Scarpa, Simone Severini

Abstract: We describe a construction that maps any connected graph G on three or more vertices into a larger graph, H(G), whose independence number is strictly smaller than its Lovász number which is equal to its fractional packing number. The vertices of H(G) represent all possible events consistent with the stabilizer group of the graph state associated with G, and exclusive events are adjacent. Mathemati… ▽ More We describe a construction that maps any connected graph G on three or more vertices into a larger graph, H(G), whose independence number is strictly smaller than its Lovász number which is equal to its fractional packing number. The vertices of H(G) represent all possible events consistent with the stabilizer group of the graph state associated with G, and exclusive events are adjacent. Mathematically, the graph H(G) corresponds to the orbit of G under local complementation. Physically, the construction translates into graph-theoretic terms the connection between a graph state and a Bell inequality maximally violated by quantum mechanics. In the context of zero-error information theory, the construction suggests a protocol achieving the maximum rate of entanglement-assisted capacity, a quantum mechanical analogue of the Shannon capacity, for each H(G). The violation of the Bell inequality is expressed by the one-shot version of this capacity being strictly larger than the independence number. Finally, given the correspondence between graphs and exclusivity structures, we are able to compute the independence number for certain infinite families of graphs with the use of quantum non-locality, therefore highlighting an application of quantum theory in the proof of a purely combinatorial statement. △ Less

Submitted 18 July, 2013; v1 submitted 18 November, 2012; originally announced November 2012.

Comments: 20 pages, 1 figure

Journal ref: Journal of Mathematical Physics 54, 072202 (2013)

Estimating entanglement monotones with a generalization of the Wootters formula

Authors: Zhi-Hua Chen, Zhi-Hao Ma, Otfried Gühne, Simone Severini

Abstract: Entanglement monotones, such as the concurrence, are useful tools to characterize quantum correlations in various physical systems. The computation of the concurrence involves, however, difficult optimizations and only for the simplest case of two qubits a closed formula was found by Wootters [Phys. Rev. Lett. 80, 2245 (1998)]. We show how this approach can be generalized, resulting in lower bound… ▽ More Entanglement monotones, such as the concurrence, are useful tools to characterize quantum correlations in various physical systems. The computation of the concurrence involves, however, difficult optimizations and only for the simplest case of two qubits a closed formula was found by Wootters [Phys. Rev. Lett. 80, 2245 (1998)]. We show how this approach can be generalized, resulting in lower bounds on the concurrence for higher dimensional systems as well as for multipartite systems. We demonstrate that for certain families of states our results constitute the strongest bipartite entanglement criterion so far; moreover, they allow to recognize novel families of multiparticle bound entangled states. △ Less

Submitted 18 November, 2012; v1 submitted 12 July, 2012; originally announced July 2012.

Comments: 8 pages, one figure, v2: small changes

Journal ref: Phys. Rev. Lett. 109, 200503 (2012)

A Generalization of Kochen-Specker Sets Relates Quantum Coloring to Entanglement-Assisted Channel Capacity

Authors: Laura Mancinska, Giannicola Scarpa, Simone Severini

Abstract: We introduce two generalizations of Kochen-Specker (KS) sets: projective KS sets and generalized KS sets. We then use projective KS sets to characterize all graphs for which the chromatic number is strictly larger than the quantum chromatic number. Here, the quantum chromatic number is defined via a nonlocal game based on graph coloring. We further show that from any graph with separation between… ▽ More We introduce two generalizations of Kochen-Specker (KS) sets: projective KS sets and generalized KS sets. We then use projective KS sets to characterize all graphs for which the chromatic number is strictly larger than the quantum chromatic number. Here, the quantum chromatic number is defined via a nonlocal game based on graph coloring. We further show that from any graph with separation between these two quantities, one can construct a classical channel for which entanglement assistance increases the one-shot zero-error capacity. As an example, we exhibit a new family of classical channels with an exponential increase. △ Less

Submitted 24 July, 2012; v1 submitted 4 July, 2012; originally announced July 2012.

Comments: 16 pages

Journal ref: IEEE Transactions on Information Theory (Volume:59 , Issue:6), June 2013

An example of graph limits of growing sequences of random graphs

Authors: Svante Janson, Simone Severini

Abstract: We consider a class of growing random graphs obtained by creating vertices sequentially one by one: at each step, we choose uniformly the neighbours of the newly created vertex; its degree is a random variable with a fixed but arbitrary distribution, depending on the number of existing vertices. Examples from this class turn out to be the ER random graph, a natural random threshold graph, etc. By… ▽ More We consider a class of growing random graphs obtained by creating vertices sequentially one by one: at each step, we choose uniformly the neighbours of the newly created vertex; its degree is a random variable with a fixed but arbitrary distribution, depending on the number of existing vertices. Examples from this class turn out to be the ER random graph, a natural random threshold graph, etc. By working with the notion of graph limits, we define a kernel which, under certain conditions, is the limit of the growing random graph. Moreover, for a subclass of models, the growing graph on any given n vertices has the same distribution as the random graph with n vertices that the kernel defines. The motivation stems from a model of graph growth whose attachment mechanism does not require information about properties of the graph at each iteration. △ Less

Submitted 21 April, 2013; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: 12 pages

Journal ref: Journal of Combinatorics Volume 4 (2013) Number 1, 67-80

Improved lower bounds on genuine-multipartite-entanglement concurrence

Authors: Zhi-Hua Chen, Zhi-Hao Ma, **g-Ling Chen, Simone Severini

Abstract: 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 bet… ▽ More 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. △ Less

Submitted 24 September, 2012; v1 submitted 14 May, 2012; originally announced May 2012.

Comments: 17 pages, 1 EPS figure; v3 is in one column to improve readability of equations

Journal ref: Phys. Rev. A 85, 062320 (2012)

Locality for quantum systems on graphs depends on the number field

Authors: H. Tracy Hall, Simone Severini

Abstract: Adapting a definition of Aaronson and Ambainis [Theory Comput. 1 (2005), 47--79], we call a quantum dynamics on a digraph "saturated Z-local" if the nonzero transition amplitudes specifying the unitary evolution are in exact correspondence with the directed edges (including loops) of the digraph. This idea appears recurrently in a variety of contexts including angular momentum, quantum chaos, and… ▽ More Adapting a definition of Aaronson and Ambainis [Theory Comput. 1 (2005), 47--79], we call a quantum dynamics on a digraph "saturated Z-local" if the nonzero transition amplitudes specifying the unitary evolution are in exact correspondence with the directed edges (including loops) of the digraph. This idea appears recurrently in a variety of contexts including angular momentum, quantum chaos, and combinatorial matrix theory. Complete characterization of the digraph properties that allow such a process to exist is a long-standing open question that can also be formulated in terms of minimum rank problems. We prove that saturated Z-local dynamics involving complex amplitudes occur on a proper superset of the digraphs that allow restriction to the real numbers or, even further, the rationals. Consequently, among these fields, complex numbers guarantee the largest possible choice of topologies supporting a discrete quantum evolution. A similar construction separates complex numbers from the skew field of quaternions. The result proposes a concrete ground for distinguishing between complex and quaternionic quantum mechanics. △ Less

Submitted 11 June, 2013; v1 submitted 16 April, 2012; originally announced April 2012.

Comments: 9 pages

Journal ref: 2013 J. Phys. A: Math. Theor. 46 295301

On dynamic network entropy in cancer

Authors: James West, Ginestra Bianconi, Simone Severini, Andrew Teschendorff

Abstract: The cellular phenotype is described by a complex network of molecular interactions. Elucidating network properties that distinguish disease from the healthy cellular state is therefore of critical importance for gaining systems-level insights into disease mechanisms and ultimately for develo** improved therapies. By integrating gene expression data with a protein interaction network to induce a… ▽ More The cellular phenotype is described by a complex network of molecular interactions. Elucidating network properties that distinguish disease from the healthy cellular state is therefore of critical importance for gaining systems-level insights into disease mechanisms and ultimately for develo** improved therapies. By integrating gene expression data with a protein interaction network to induce a stochastic dynamics on the network, we here demonstrate that cancer cells are characterised by an increase in the dynamic network entropy, compared to cells of normal physiology. Using a fundamental relation between the macroscopic resilience of a dynamical system and the uncertainty (entropy) in the underlying microscopic processes, we argue that cancer cells will be more robust to random gene perturbations. In addition, we formally demonstrate that gene expression differences between normal and cancer tissue are anticorrelated with local dynamic entropy changes, thus providing a systemic link between gene expression changes at the nodes and their local network dynamics. In particular, we also find that genes which drive cell-proliferation in cancer cells and which often encode oncogenes are associated with reductions in the dynamic network entropy. In summary, our results support the view that the observed increased robustness of cancer cells to perturbation and therapy may be due to an increase in the dynamic network entropy that allows cells to adapt to the new cellular stresses. Conversely, genes that exhibit local flux entropy decreases in cancer may render cancer cells more susceptible to targeted intervention and may therefore represent promising drug targets. △ Less

Submitted 18 August, 2012; v1 submitted 14 February, 2012; originally announced February 2012.

Comments: 10 pages, 3 figures, 4 tables. Submitted

Journal ref: Sci Rep. 2012;2:802

Number-Theoretic Nature of Communication in Quantum Spin Systems

Authors: Chris Godsil, Stephen Kirkland, Simone Severini, Jamie Smith

Abstract: 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 t… ▽ More 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 arithmetic structure of integers, and, in this case, primality. △ Less

Submitted 11 August, 2012; v1 submitted 23 January, 2012; originally announced January 2012.

Comments: 6 pages, 1 EPS figure

Journal ref: Phys. Rev. Lett. 109, 050502 (2012)

Approximate entropy of network parameters

Authors: James West, Lucas Lacasa, Simone Severini, Andrew Teschendorff

Abstract: We study the notion of approximate entropy within the framework of network theory. Approximate entropy is an uncertainty measure originally proposed in the context of dynamical systems and time series. We firstly define a purely structural entropy obtained by computing the approximate entropy of the so called slide sequence. This is a surrogate of the degree sequence and it is suggested by the fre… ▽ More We study the notion of approximate entropy within the framework of network theory. Approximate entropy is an uncertainty measure originally proposed in the context of dynamical systems and time series. We firstly define a purely structural entropy obtained by computing the approximate entropy of the so called slide sequence. This is a surrogate of the degree sequence and it is suggested by the frequency partition of a graph. We examine this quantity for standard scale-free and Erdős-Rényi networks. By using classical results of Pincus, we show that our entropy measure converges with network size to a certain binary Shannon entropy. On a second step, with specific attention to networks generated by dynamical processes, we investigate approximate entropy of horizontal visibility graphs. Visibility graphs permit to naturally associate to a network the notion of temporal correlations, therefore providing the measure a dynamical garment. We show that approximate entropy distinguishes visibility graphs generated by processes with different complexity. The result probes to a greater extent these networks for the study of dynamical systems. Applications to certain biological data arising in cancer genomics are finally considered in the light of both approaches. △ Less

Submitted 29 December, 2011; originally announced January 2012.

Comments: 11 pages, 5 EPS figures

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

Authors: Daniel Burgarth, Domenico D'Alessandro, Leslie Hogben, Simone Severini, Michael Young

Abstract: 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 grap… ▽ More 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 phenomena. Additionally, it proposes zero forcing as a new notion in the analysis of complex networks. △ Less

Submitted 6 November, 2011; originally announced November 2011.

Comments: 12 pages, 1 figure

Journal ref: IEEE Transactions on Automatic Control 58, 2349 (2013)

Entropy rate of non-equilibrium growing networks

Authors: Kun Zhao, Arda Halu, Simone Severini, Ginestra Bianconi

Abstract: New entropy measures have been recently introduced for the quantification of the complexity of networks. Most of these entropy measures apply to static networks or to dynamical processes defined on static complex networks. In this paper we define the entropy rate of growing network models. This entropy rate quantifies how many labeled networks are typically generated by the growing network models.… ▽ More New entropy measures have been recently introduced for the quantification of the complexity of networks. Most of these entropy measures apply to static networks or to dynamical processes defined on static complex networks. In this paper we define the entropy rate of growing network models. This entropy rate quantifies how many labeled networks are typically generated by the growing network models. We analytically evaluate the difference between the entropy rate of growing tree network models and the entropy of tree networks that have the same asymptotic degree distribution. We find that the growing networks with linear preferential attachment generated by dynamical models are exponentially less than the static networks with the same degree distribution for a large variety of relevant growing network models. We study the entropy rate for growing network models showing structural phase transitions including models with non-linear preferential attachment. Finally, we bring numerical evidence that the entropy rate above and below the structural phase transitions follow a different scaling with the network size. △ Less

Submitted 20 December, 2011; v1 submitted 5 September, 2011; originally announced September 2011.

Comments: (8 pages, 4 figures)

Journal ref: Phys. Rev. E 84, 066113 (2011)

Logic circuits from zero forcing

Authors: Daniel Burgarth, Vittorio Giovannetti, Leslie Hogben, Simone Severini, Michael Young

Abstract: 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… ▽ More 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. △ Less

Submitted 1 December, 2011; v1 submitted 22 June, 2011; originally announced June 2011.

Comments: 5 pages, 10 EPS figures

Journal ref: Nat Comput 14, 485 (2015)

Kochen-Specker Sets and the Rank-1 Quantum Chromatic Number

Authors: Giannicola Scarpa, Simone Severini

Abstract: The quantum chromatic number of a graph $G$ is sandwiched between its chromatic number and its clique number, which are well known NP-hard quantities. We restrict our attention to the rank-1 quantum chromatic number $χ_q^{(1)}(G)$, which upper bounds the quantum chromatic number, but is defined under stronger constraints. We study its relation with the chromatic number $χ(G)$ and the minimum dimen… ▽ More The quantum chromatic number of a graph $G$ is sandwiched between its chromatic number and its clique number, which are well known NP-hard quantities. We restrict our attention to the rank-1 quantum chromatic number $χ_q^{(1)}(G)$, which upper bounds the quantum chromatic number, but is defined under stronger constraints. We study its relation with the chromatic number $χ(G)$ and the minimum dimension of orthogonal representations $ξ(G)$. It is known that $ξ(G) \leq χ_q^{(1)}(G) \leq χ(G)$. We answer three open questions about these relations: we give a necessary and sufficient condition to have $ξ(G) = χ_q^{(1)}(G)$, we exhibit a class of graphs such that $ξ(G) < χ_q^{(1)}(G)$, and we give a necessary and sufficient condition to have $χ_q^{(1)}(G) < χ(G)$. Our main tools are Kochen-Specker sets, collections of vectors with a traditionally important role in the study of noncontextuality of physical theories, and more recently in the quantification of quantum zero-error capacities. Finally, as a corollary of our results and a result by Avis, Hasegawa, Kikuchi, and Sasaki on the quantum chromatic number, we give a family of Kochen-Specker sets of growing dimension. △ Less

Submitted 3 June, 2011; originally announced June 2011.

Comments: 12 pages

Journal ref: IEEE Transactions on Information Theory, vol. 58, no. 4, April 2012

Solenoidality of a Magnetic Induction Field and Conservation of Total Momentum

Authors: Sergio Severini, Alessandro Settimi

Abstract: This scientific essay proposes to discuss the physical aspects of a system consisting of some non-relativistic massive charged particles, that are the sources in motion of an electromagnetic field (e.m.) propagating through the space, filled by a linear, homogeneous, and isotropic material medium. The physical link between the conservation of total momentum and the solenoidality of a magnetic indu… ▽ More This scientific essay proposes to discuss the physical aspects of a system consisting of some non-relativistic massive charged particles, that are the sources in motion of an electromagnetic field (e.m.) propagating through the space, filled by a linear, homogeneous, and isotropic material medium. The physical link between the conservation of total momentum and the solenoidality of a magnetic induction field is investigated. After a careful review of all the more widely sustained didactic justifications for the solenoidality of magnetic induction, some properties of the Maxwell e.m. stress tensor are defined according to Minkowski. This study presents a new framework wherein the necessary condition for the free-divergence of magnetic induction in the entire space, here named as solenoidality condition, derives directly from the total momentum conservation of the system, i.e. particles plus field. The theoretical treatise generally leads to results that leave some open questions on the existence, or at least the observability, of the magnetic monopoles. Their observability is theoretically plausible only under suitable assumptions of symmetry that, in the opinion of authors, may be in any case an interesting topic of scientific discussion especially in the field of experimental physics. △ Less

Submitted 1 May, 2012; v1 submitted 31 March, 2011; originally announced March 2011.

Comments: This paper has been withdrawn by the author. The submission of v5 version was a negligence of the authors, Sergio Severini and Alessandro Settimi

The Kirchhoff's Matrix-Tree Theorem revisited: counting spanning trees with the quantum relative entropy

Authors: Vittorio Giovannetti, Simone Severini

Abstract: By revisiting the Kirchhoff's Matrix-Tree Theorem, we give an exact formula for the number of spanning trees of a graph in terms of the quantum relative entropy between the maximally mixed state and another state specifically obtained from the graph. We use properties of the quantum relative entropy to prove tight bounds for the number of spanning trees in terms of basic parameters like degrees an… ▽ More By revisiting the Kirchhoff's Matrix-Tree Theorem, we give an exact formula for the number of spanning trees of a graph in terms of the quantum relative entropy between the maximally mixed state and another state specifically obtained from the graph. We use properties of the quantum relative entropy to prove tight bounds for the number of spanning trees in terms of basic parameters like degrees and number of vertices. △ Less

Submitted 11 February, 2011; originally announced February 2011.

Comments: 12 pages

The Shannon and the Von Neumann entropy of random networks with heterogeneous expected degree

Authors: Kartik Anand, Ginestra Bianconi, Simone Severini

Abstract: Entropic measures of complexity are able to quantify the information encoded in complex network structures. Several entropic measures have been proposed in this respect. Here we study the relation between the Shannon entropy and the Von Neumann entropy of networks with a given expected degree sequence. We find in different examples of network topologies that when the degree distribution contains s… ▽ More Entropic measures of complexity are able to quantify the information encoded in complex network structures. Several entropic measures have been proposed in this respect. Here we study the relation between the Shannon entropy and the Von Neumann entropy of networks with a given expected degree sequence. We find in different examples of network topologies that when the degree distribution contains some heterogeneity, an intriguing correlation emerges between the two entropies. This result seems to suggest that this kind of heterogeneity is implying an equivalence between a quantum and a classical description of networks, which respectively correspond to the Von Neumann and the Shannon entropy. △ Less

Submitted 14 November, 2010; v1 submitted 6 November, 2010; originally announced November 2010.

Comments: 10 pages, 4 figures

Journal ref: Phys. Rev. E 83, 036109 (2011)

(Non-)Contextuality of Physical Theories as an Axiom

Authors: Adan Cabello, Simone Severini, Andreas Winter

Abstract: We show that the noncontextual inequality proposed by Klyachko et al. [Phys. Rev. Lett. 101, 020403 (2008)] belongs to a broader family of inequalities, one associated to each compatibility structure of a set of events (a graph), and its independence number. These have the surprising property that the maximum quantum violation is given by the Lovasz theta-function of the graph, which was originall… ▽ More We show that the noncontextual inequality proposed by Klyachko et al. [Phys. Rev. Lett. 101, 020403 (2008)] belongs to a broader family of inequalities, one associated to each compatibility structure of a set of events (a graph), and its independence number. These have the surprising property that the maximum quantum violation is given by the Lovasz theta-function of the graph, which was originally proposed as an upper bound on its Shannon capacity. Furthermore, probabilistic theories beyond quantum mechanics may have an even larger violation, which is given by the so-called fractional packing number. We discuss in detail, and compare, the sets of probability distributions attainable by noncontextual, quantum, and generalized models; the latter two are shown to have semidefinite and linear characterizations, respectively. The implications for Bell inequalities, which are examples of noncontextual inequalities, are discussed. In particular, we show that every Bell inequality can be recast as a noncontextual inequality a la Klyachko et al. △ Less

Submitted 11 October, 2010; originally announced October 2010.

Comments: REVTeX4-1, 8 pages

Report number: Mittag-Leffler-2010fall

A characterization of horizontal visibility graphs and combinatorics on words

Authors: Gregory Gutin, Toufik Mansour, Simone Severini

Abstract: An Horizontal Visibility Graph (for short, HVG) is defined in association with an ordered set of non-negative reals. HVGs realize a methodology in the analysis of time series, their degree distribution being a good discriminator between randomness and chaos [B. Luque, et al., Phys. Rev. E 80 (2009), 046103]. We prove that a graph is an HVG if and only if outerplanar and has a Hamilton path. Theref… ▽ More An Horizontal Visibility Graph (for short, HVG) is defined in association with an ordered set of non-negative reals. HVGs realize a methodology in the analysis of time series, their degree distribution being a good discriminator between randomness and chaos [B. Luque, et al., Phys. Rev. E 80 (2009), 046103]. We prove that a graph is an HVG if and only if outerplanar and has a Hamilton path. Therefore, an HVG is a noncrossing graph, as defined in algebraic combinatorics [P. Flajolet and M. Noy, Discrete Math., 204 (1999) 203-229]. Our characterization of HVGs implies a linear time recognition algorithm. Treating ordered sets as words, we characterize subfamilies of HVGs highlighting various connections with combinatorial statistics and introducing the notion of a visible pair. With this technique we determine asymptotically the average number of edges of HVGs. △ Less

Submitted 9 October, 2010; originally announced October 2010.

Comments: 6 pages

Journal ref: Physica A: Statistical Mechanics and its Applications, Volume 390, Issue 12, 15 June 2011, Pages 2421--2428

Spin systems dynamics and faults detection in threshold networks

Authors: Steve Kirkland, Simone Severini

Abstract: We consider an agent on a fixed but arbitrary node of a known threshold network, with the task of detecting an unknown missing link/node. We obtain analytic formulas for the probability of success, when the agent's tool is the free evolution of a single excitation on an XX spin system paired with the network. We completely characterize the parameters allowing for an advantageous solution. From the… ▽ More We consider an agent on a fixed but arbitrary node of a known threshold network, with the task of detecting an unknown missing link/node. We obtain analytic formulas for the probability of success, when the agent's tool is the free evolution of a single excitation on an XX spin system paired with the network. We completely characterize the parameters allowing for an advantageous solution. From the results emerges an optimal (deterministic) algorithm for quantum search, therefore gaining a quadratic speed-up with respect to the optimal classical analogue, and in line with well-known results in quantum computation. When attempting to detect a faulty node, the chosen setting appears to be very fragile and the probability of success too small to be of any direct use. △ Less

Submitted 25 January, 2011; v1 submitted 17 September, 2010; originally announced September 2010.

Comments: 6 pages

Journal ref: Phys. Rev. A 83, 012310 (2011)

On the degeneracy of $SU(3)_k$ topological phases

Authors: Stephen P. Jordan, Toufik Mansour, Simone Severini

Abstract: The ground state degeneracy of an $SU(N)_k$ topological phase with $n$ quasiparticle excitations is relevant quantity for quantum computation, condensed matter physics, and knot theory. It is an open question to find a closed formula for this degeneracy for any $N > 2$. Here we present the problem in an explicit combinatorial way and analyze the case N=3. While not finding a complete closed-form s… ▽ More The ground state degeneracy of an $SU(N)_k$ topological phase with $n$ quasiparticle excitations is relevant quantity for quantum computation, condensed matter physics, and knot theory. It is an open question to find a closed formula for this degeneracy for any $N > 2$. Here we present the problem in an explicit combinatorial way and analyze the case N=3. While not finding a complete closed-form solution, we obtain generating functions and solve some special cases. △ Less

Submitted 1 September, 2010; originally announced September 2010.

Comments: 5 pages

Increased entropy of signal transduction in the cancer metastasis phenotype

Authors: Andrew Teschendorff, Simone Severini

Abstract: Studies into the statistical properties of biological networks have led to important biological insights, such as the presence of hubs and hierarchical modularity. There is also a growing interest in studying the statistical properties of networks in the context of cancer genomics. However, relatively little is known as to what network features differ between the cancer and normal cell physiologie… ▽ More Studies into the statistical properties of biological networks have led to important biological insights, such as the presence of hubs and hierarchical modularity. There is also a growing interest in studying the statistical properties of networks in the context of cancer genomics. However, relatively little is known as to what network features differ between the cancer and normal cell physiologies, or between different cancer cell phenotypes. Based on the observation that frequent genomic alterations underlie a more aggressive cancer phenotype, we asked if such an effect could be detectable as an increase in the randomness of local gene expression patterns. Using a breast cancer gene expression data set and a model network of protein interactions we derive constrained weighted networks defined by a stochastic information flux matrix reflecting expression correlations between interacting proteins. Based on this stochastic matrix we propose and compute an entropy measure that quantifies the degree of randomness in the local pattern of information flux around single genes. By comparing the local entropies in the non-metastatic versus metastatic breast cancer networks, we here show that breast cancers that metastasize are characterised by a small yet significant increase in the degree of randomness of local expression patterns. We validate this result in three additional breast cancer expression data sets and demonstrate that local entropy better characterises the metastatic phenotype than other non-entropy based measures. We show that increases in entropy can be used to identify genes and signalling pathways implicated in breast cancer metastasis. Further exploration of such integrated cancer expression and protein interaction networks will therefore be a fruitful endeavour. △ Less

Submitted 1 August, 2010; v1 submitted 6 July, 2010; originally announced July 2010.

Comments: 5 figures, 2 Supplementary Figures and Tables

Journal ref: BMC Systems Biology 2010, 4:104

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

Authors: Runyao Duan, Simone Severini, Andreas Winter

Abstract: 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… ▽ More 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 classical case, give several applications, and propose to study the operator spaces associated to channels as "non-commutative graphs", using the language of Hilbert modules. △ Less

Submitted 11 March, 2010; v1 submitted 12 February, 2010; originally announced February 2010.

Comments: 24 pages: v2 has added discussion and more details in section 7.

Journal ref: IEEE Trans. Inf. Theory 59(2):1164-1174, 2013

The 3-dimensional cube is the only periodic, connected cubic graph with perfect state transfer

Authors: Simone Severini

Abstract: There is perfect state transfer between two vertices of a graph, if a single excitation can travel with fidelity one between the corresponding sites of a spin system modeled by the graph. When the excitation is back at the initial site, for all sites at the same time, the graph is said to be periodic. A graph is cubic if each of its vertices has a neighbourhood of size exactly three. We prove that… ▽ More There is perfect state transfer between two vertices of a graph, if a single excitation can travel with fidelity one between the corresponding sites of a spin system modeled by the graph. When the excitation is back at the initial site, for all sites at the same time, the graph is said to be periodic. A graph is cubic if each of its vertices has a neighbourhood of size exactly three. We prove that the 3-dimensional cube is the only periodic, connected cubic graph with perfect state transfer. We conjecture that this is also the only connected cubic graph with perfect state transfer. △ Less

Submitted 20 October, 2010; v1 submitted 5 January, 2010; originally announced January 2010.

Comments: 15 pages, 5 EPS figures; the main result is now weaker because of an error in the previous version. I would like to thank Matthew Russell for pointing out the error to me

Journal ref: 2010 J. Phys.: Conf. Ser. 254 012012

Entanglement manipulation via dynamics in multiple quantum spin systems

Authors: Andrea Casaccino, Stefano Mancini, Simone Severini

Abstract: We study manipulation of entanglement between two identical networks of quantum mechanical particles. Firstly, we reduce the problem of entanglement transfer to the problem of quantum state transfer. Then, we consider entanglement concentration and purification based on free dynamics on the networks and local measurements on the vertices. By introducing an appropriate measure of efficiency, we c… ▽ More We study manipulation of entanglement between two identical networks of quantum mechanical particles. Firstly, we reduce the problem of entanglement transfer to the problem of quantum state transfer. Then, we consider entanglement concentration and purification based on free dynamics on the networks and local measurements on the vertices. By introducing an appropriate measure of efficiency, we characterize the performance of the protocol. We give evidence that such a measure does not depend on the network topology, and we estimate the contribution given by the number of entangled pairs initially shared by the two networks. △ Less

Submitted 3 May, 2010; v1 submitted 30 December, 2009; originally announced December 2009.

Comments: 7 pages, 2 figures; Major Revisions

Journal ref: Quantum Inf Process (2011) 10, pp.107-121

A quantum Bose-Hubbard model with evolving graph as toy model for emergent spacetime

Authors: Alioscia Hamma, Fotini Markopoulou, Seth Lloyd, Francesco Caravelli, Simone Severini, Klas Markstrom

Abstract: We present a toy model for interacting matter and geometry that explores quantum dynamics in a spin system as a precursor to a quantum theory of gravity. The model has no a priori geometric properties, instead, locality is inferred from the more fundamental notion of interaction between the matter degrees of freedom. The interaction terms are themselves quantum degrees of freedom so that the struc… ▽ More We present a toy model for interacting matter and geometry that explores quantum dynamics in a spin system as a precursor to a quantum theory of gravity. The model has no a priori geometric properties, instead, locality is inferred from the more fundamental notion of interaction between the matter degrees of freedom. The interaction terms are themselves quantum degrees of freedom so that the structure of interactions and hence the resulting local and causal structures are dynamical. The system is a Hubbard model where the graph of the interactions is a set of quantum evolving variables. We show entanglement between spatial and matter degrees of freedom. We study numerically the quantum system and analyze its entanglement dynamics. We analyze the asymptotic behavior of the classical model. Finally, we discuss analogues of trapped surfaces and gravitational attraction in this simple model. △ Less

Submitted 26 July, 2010; v1 submitted 27 November, 2009; originally announced November 2009.

Comments: 23 pages, 6 figures; updated to published version

Journal ref: Phys.Rev.D81:104032,2010

Control by quantum dynamics on graphs

Authors: Chris Godsil, Simone Severini

Abstract: 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… ▽ More 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. △ Less

Submitted 7 January, 2012; v1 submitted 28 October, 2009; originally announced October 2009.

Comments: 5 pages, 1 figure

Journal ref: Phys. Rev. A 81, 052316 (2010)

Tensor 2-sums and entanglement

Authors: Sandi Klavzar, Simone Severini

Abstract: To define a minimal mathematical framework for isolating some of the characteristic properties of quantum entanglement, we introduce a generalization of the tensor product of graphs. Inspired by the notion of a density matrix, the generalization is a simple one: every graph can be obtained by addition modulo two, possibly with many summands, of tensor products of adjacency matrices. In this pict… ▽ More To define a minimal mathematical framework for isolating some of the characteristic properties of quantum entanglement, we introduce a generalization of the tensor product of graphs. Inspired by the notion of a density matrix, the generalization is a simple one: every graph can be obtained by addition modulo two, possibly with many summands, of tensor products of adjacency matrices. In this picture, we are still able to prove a combinatorial analogue of the Peres-Horodecki criterion for testing separability. △ Less

Submitted 17 September, 2009; v1 submitted 5 September, 2009; originally announced September 2009.

Comments: 5 pages, 1 EPS figure

Weight of quadratic forms and graph states

Authors: Alessandro Cosentino, Simone Severini

Abstract: We prove a connection between Schmidt-rank and weight of quadratic forms. This provides a new tool for the classification of graph states based on entanglement. Our main tool arises from a reformulation of previously known results concerning the weight of quadratic forms in terms of graph states properties. As a byproduct, we obtain a straightforward characterization of the weight of functions a… ▽ More We prove a connection between Schmidt-rank and weight of quadratic forms. This provides a new tool for the classification of graph states based on entanglement. Our main tool arises from a reformulation of previously known results concerning the weight of quadratic forms in terms of graph states properties. As a byproduct, we obtain a straightforward characterization of the weight of functions associated with pivot-minor of bipartite graphs. △ Less

Submitted 10 November, 2009; v1 submitted 13 June, 2009; originally announced June 2009.

Comments: 8 pages, 3 eps figure, REVTeX; v2: We have extended the introduction, included extra references and added two figures; v3: small typos fixed

Journal ref: Phys. Rev. A 80, 052309 (2009)

Linking the Quasi-Normal and Natural Modes of an open cavity

Authors: A. Settimi, S. Severini

Abstract: The present paper proposes a comparison between the extinction theorem and the Sturm-Liouville theory approaches for calculating the e.m. field inside an optical cavity. We discuss for the first time to the best of our knowledge, in the framework of classical electrodynamics, a simple link between the Quasi Normal Modes (QNMs) and the Natural Modes (NMs) for one-dimensional (1D), two-sided, open c… ▽ More The present paper proposes a comparison between the extinction theorem and the Sturm-Liouville theory approaches for calculating the e.m. field inside an optical cavity. We discuss for the first time to the best of our knowledge, in the framework of classical electrodynamics, a simple link between the Quasi Normal Modes (QNMs) and the Natural Modes (NMs) for one-dimensional (1D), two-sided, open cavities. The QNM eigenfrequencies and eigenfunctions are calculated for a linear Fabry-Perot (FP) cavity. The first-order Born approximation is applied to the same cavity in order to compare the first-order Born approximated and the actual QNM eigenfunctions of the cavity. We demonstrate that the first-order Born approximation for an FP cavity introduces symmetry breaking: in fact, each Born approximated QNM eigenfunction produces values below or above the actual QNM eigenfunction value on the terminal surfaces of the same cavity. Consequently, the two error-functions for an approximated QNM are not equal in proximity to the two terminal surfaces of the cavity. △ Less

Submitted 10 September, 2010; v1 submitted 3 June, 2009; originally announced June 2009.

Comments: 38 pages, 3 figures; Earth-prints, http://hdl.handle.net/2122/5993 (2009)

Journal ref: Journal of Modern Optics, Vol. 57, No. 16, 1513-1525 ( 20 September 2010)

A note on observables for counting trails and paths in graphs

Authors: Fotini Markopoulou, Simone Severini

Abstract: We point out that the total number of trails and the total number of paths of given length, between two vertices of a simple undirected graph, are obtained as expectation values of specifically engineered quantum mechanical observables. Such observables are contextual with some background independent theories of gravity and emergent geometry. Thus, we point out yet another situation in which the… ▽ More We point out that the total number of trails and the total number of paths of given length, between two vertices of a simple undirected graph, are obtained as expectation values of specifically engineered quantum mechanical observables. Such observables are contextual with some background independent theories of gravity and emergent geometry. Thus, we point out yet another situation in which the mathematical formalism of a physical theory has some computational aspects involving intractable problems. △ Less

Submitted 29 May, 2009; originally announced June 2009.

Comments: 4 pages

Journal ref: JMMA, Vol. 8, No. 3, 2009

Matrix permanent and quantum entanglement of permutation invariant states

Authors: Tzu-Chieh Wei, Simone Severini

Abstract: 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 st… ▽ More 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. △ Less

Submitted 6 November, 2010; v1 submitted 30 April, 2009; originally announced May 2009.

Comments: 10 pages

Journal ref: J. Math. Phys. 51, 092203 (2010)

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

Authors: Andrea Casaccino, Seth Lloyd, Stefano Mancini, Simone Severini

Abstract: 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… ▽ More 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. △ Less

Submitted 28 April, 2009; originally announced April 2009.

Comments: 6 pages, 3 figures

Journal ref: Int. J. of Quant. Inf. vol. 7 (2009), pp. 1417-1427

Perturbation theory in a pure exchange non-equilibrium economy

Authors: Samuel E. Vazquez, Simone Severini

Abstract: We develop a formalism to study linearized perturbations around the equilibria of a pure exchange economy. With the use of mean field theory techniques, we derive equations for the flow of products in an economy driven by heterogeneous preferences and probabilistic interaction between agents. We are able to show that if the economic agents have static preferences, which are also homogeneous in a… ▽ More We develop a formalism to study linearized perturbations around the equilibria of a pure exchange economy. With the use of mean field theory techniques, we derive equations for the flow of products in an economy driven by heterogeneous preferences and probabilistic interaction between agents. We are able to show that if the economic agents have static preferences, which are also homogeneous in any of the steady states, the final wealth distribution is independent of the dynamics of the non-equilibrium theory. In particular, it is completely determined in terms of the initial conditions, and it is independent of the probability, and the network of interaction between agents. We show that the main effect of the network is to determine the relaxation time via the usual eigenvalue gap as in random walks on graphs. △ Less

Submitted 8 April, 2009; originally announced April 2009.

Comments: 7 pages, 2 figures

Entanglement and area law with a fractal boundary in a topologically ordered phase

Authors: Alioscia Hamma, Daniel A. Lidar, Simone Severini

Abstract: Quantum systems with short range interactions are known to respect an area law for the entanglement entropy: the von Neumann entropy $S$ associated to a bipartition scales with the boundary $p$ between the two parts. Here we study the case in which the boundary is a fractal. We consider the topologically ordered phase of the toric code with a magnetic field. When the field vanishes it is possibl… ▽ More Quantum systems with short range interactions are known to respect an area law for the entanglement entropy: the von Neumann entropy $S$ associated to a bipartition scales with the boundary $p$ between the two parts. Here we study the case in which the boundary is a fractal. We consider the topologically ordered phase of the toric code with a magnetic field. When the field vanishes it is possible to analytically compute the entanglement entropy for both regular and fractal bipartitions $(A,B)$ of the system, and this yields an upper bound for the entire topological phase. When the $A$-$B$ boundary is regular we have $S/p =1$ for large $p$. When the boundary is a fractal of Hausdorff dimension $D$, we show that the entanglement between the two parts scales as $S/p=γ\leq1/D$, and $γ$ depends on the fractal considered. △ Less

Submitted 2 February, 2010; v1 submitted 25 March, 2009; originally announced March 2009.

Comments: 5 pages, 2 figures, updated to published version

Journal ref: Phys. Rev. A 81, 010102(R) (2010)

Rational Orthogonal versus Real Orthogonal

Authors: Dragomir Z. Djokovic, Simone Severini, Ferenc Szollosi

Abstract: The main question we raise here is the following one: given a real orthogonal n by n matrix X, is it true that there exists a rational orthogonal matrix Y having the same zero-pattern? We conjecture that this is the case and prove it for n<=5. We also consider the related problem for symmetric orthogonal matrices. The main question we raise here is the following one: given a real orthogonal n by n matrix X, is it true that there exists a rational orthogonal matrix Y having the same zero-pattern? We conjecture that this is the case and prove it for n<=5. We also consider the related problem for symmetric orthogonal matrices. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: 23 pages

Journal ref: Electronic Journal of Linear Algebra 18 (2009) 649-673

The von Neumann entropy of networks

Authors: Filippo Passerini, Simone Severini

Abstract: We normalize the combinatorial Laplacian of a graph by the degree sum, look at its eigenvalues as a probability distribution and then study its Shannon entropy. Equivalently, we represent a graph with a quantum mechanical state and study its von Neumann entropy. At the graph-theoretic level, this quantity may be interpreted as a measure of regularity; it tends to be larger in relation to the numbe… ▽ More We normalize the combinatorial Laplacian of a graph by the degree sum, look at its eigenvalues as a probability distribution and then study its Shannon entropy. Equivalently, we represent a graph with a quantum mechanical state and study its von Neumann entropy. At the graph-theoretic level, this quantity may be interpreted as a measure of regularity; it tends to be larger in relation to the number of connected components, long paths and nontrivial symmetries. When the set of vertices is asymptotically large, we prove that regular graphs and the complete graph have equal entropy, and specifically it turns out to be maximum. On the other hand, when the number of edges is fixed, graphs with large cliques appear to minimize the entropy. △ Less

Submitted 20 April, 2012; v1 submitted 14 December, 2008; originally announced December 2008.

Comments: 6 pages, 3 figures

Which group velocity of light in a dispersive medium?

Authors: Omar El Gawhary, Sergio Severini, Paolo Christillin

Abstract: The interaction between a light pulse, traveling in air, and a generic linear, non-absorbing and dispersive structure is analyzed. It is shown that energy conservation imposes a constraint between the group velocities of the transmitted and reflected light pulses. It follows that the two fields propagate with group velocities depending on the dispersive properties of the environment (air) and on… ▽ More The interaction between a light pulse, traveling in air, and a generic linear, non-absorbing and dispersive structure is analyzed. It is shown that energy conservation imposes a constraint between the group velocities of the transmitted and reflected light pulses. It follows that the two fields propagate with group velocities depending on the dispersive properties of the environment (air) and on the transmission properties of the optical structure, and are one faster and the other slower than the incident field. In other words, the group velocity of a light pulse in a dispersive medium is reminiscent of previous interactions. One example is discussed in detail. △ Less

Submitted 1 October, 2008; originally announced October 2008.

Comments: To be submitted on PRL

Journal ref: Eur. Phys. J. Plus (2011) 126 : 6