-
Thermalization and Criticality on an Analog-Digital Quantum Simulator
Authors:
Trond I. Andersen,
Nikita Astrakhantsev,
Amir H. Karamlou,
Julia Berndtsson,
Johannes Motruk,
Aaron Szasz,
Jonathan A. Gross,
Alexander Schuckert,
Tom Westerhout,
Yaxing Zhang,
Ebrahim Forati,
Dario Rossi,
Bryce Kobrin,
Agustin Di Paolo,
Andrey R. Klots,
Ilya Drozdov,
Vladislav D. Kurilovich,
Andre Petukhov,
Lev B. Ioffe,
Andreas Elben,
Aniket Rath,
Vittorio Vitale,
Benoit Vermersch,
Rajeev Acharya,
Laleh Aghababaie Beni
, et al. (202 additional authors not shown)
Abstract:
Understanding how interacting particles approach thermal equilibrium is a major challenge of quantum simulators. Unlocking the full potential of such systems toward this goal requires flexible initial state preparation, precise time evolution, and extensive probes for final state characterization. We present a quantum simulator comprising 69 superconducting qubits which supports both universal qua…
▽ More
Understanding how interacting particles approach thermal equilibrium is a major challenge of quantum simulators. Unlocking the full potential of such systems toward this goal requires flexible initial state preparation, precise time evolution, and extensive probes for final state characterization. We present a quantum simulator comprising 69 superconducting qubits which supports both universal quantum gates and high-fidelity analog evolution, with performance beyond the reach of classical simulation in cross-entropy benchmarking experiments. Emulating a two-dimensional (2D) XY quantum magnet, we leverage a wide range of measurement techniques to study quantum states after ramps from an antiferromagnetic initial state. We observe signatures of the classical Kosterlitz-Thouless phase transition, as well as strong deviations from Kibble-Zurek scaling predictions attributed to the interplay between quantum and classical coarsening of the correlated domains. This interpretation is corroborated by injecting variable energy density into the initial state, which enables studying the effects of the eigenstate thermalization hypothesis (ETH) in targeted parts of the eigenspectrum. Finally, we digitally prepare the system in pairwise-entangled dimer states and image the transport of energy and vorticity during thermalization. These results establish the efficacy of superconducting analog-digital quantum processors for preparing states across many-body spectra and unveiling their thermalization dynamics.
△ Less
Submitted 8 July, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Mutual information and the encoding of contingency tables
Authors:
Maximilian Jerdee,
Alec Kirkley,
M. E. J. Newman
Abstract:
Mutual information is commonly used as a measure of similarity between competing labelings of a given set of objects, for example to quantify performance in classification and community detection tasks. As argued recently, however, the mutual information as conventionally defined can return biased results because it neglects the information cost of the so-called contingency table, a crucial compon…
▽ More
Mutual information is commonly used as a measure of similarity between competing labelings of a given set of objects, for example to quantify performance in classification and community detection tasks. As argued recently, however, the mutual information as conventionally defined can return biased results because it neglects the information cost of the so-called contingency table, a crucial component of the similarity calculation. In principle the bias can be rectified by subtracting the appropriate information cost, leading to the modified measure known as the reduced mutual information, but in practice one can only ever compute an upper bound on this information cost, and the value of the reduced mutual information depends crucially on how good a bound is established. In this paper we describe an improved method for encoding contingency tables that gives a substantially better bound in typical use cases, and approaches the ideal value in the common case where the labelings are closely similar, as we demonstrate with extensive numerical results.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Overlap Structure and Free Energy Fluctuations in Short-Range Spin Glasses
Authors:
C. M. Newman,
D. L. Stein
Abstract:
We investigate scenarios in which the low-temperature phase of short-range spin glasses comprises thermodynamic states which are nontrivial mixtures of multiple incongruent pure state pairs. We construct a new kind of metastate supported on Gibbs states whose edge overlap values with a reference state fall within a specified range. Using this metastate we show that, in any dimension, the variance…
▽ More
We investigate scenarios in which the low-temperature phase of short-range spin glasses comprises thermodynamic states which are nontrivial mixtures of multiple incongruent pure state pairs. We construct a new kind of metastate supported on Gibbs states whose edge overlap values with a reference state fall within a specified range. Using this metastate we show that, in any dimension, the variance of free energy difference fluctuations between pure states within a single mixed Gibbs state with multiple edge overlap values diverges linearly with the volume. We discuss some implications of these results.
△ Less
Submitted 2 March, 2024; v1 submitted 12 June, 2023;
originally announced June 2023.
-
Measurement-induced entanglement and teleportation on a noisy quantum processor
Authors:
Jesse C. Hoke,
Matteo Ippoliti,
Eliott Rosenberg,
Dmitry Abanin,
Rajeev Acharya,
Trond I. Andersen,
Markus Ansmann,
Frank Arute,
Kunal Arya,
Abraham Asfaw,
Juan Atalaya,
Joseph C. Bardin,
Andreas Bengtsson,
Gina Bortoli,
Alexandre Bourassa,
Jenna Bovaird,
Leon Brill,
Michael Broughton,
Bob B. Buckley,
David A. Buell,
Tim Burger,
Brian Burkett,
Nicholas Bushnell,
Zijun Chen,
Ben Chiaro
, et al. (138 additional authors not shown)
Abstract:
Measurement has a special role in quantum theory: by collapsing the wavefunction it can enable phenomena such as teleportation and thereby alter the "arrow of time" that constrains unitary evolution. When integrated in many-body dynamics, measurements can lead to emergent patterns of quantum information in space-time that go beyond established paradigms for characterizing phases, either in or out…
▽ More
Measurement has a special role in quantum theory: by collapsing the wavefunction it can enable phenomena such as teleportation and thereby alter the "arrow of time" that constrains unitary evolution. When integrated in many-body dynamics, measurements can lead to emergent patterns of quantum information in space-time that go beyond established paradigms for characterizing phases, either in or out of equilibrium. On present-day NISQ processors, the experimental realization of this physics is challenging due to noise, hardware limitations, and the stochastic nature of quantum measurement. Here we address each of these experimental challenges and investigate measurement-induced quantum information phases on up to 70 superconducting qubits. By leveraging the interchangeability of space and time, we use a duality map**, to avoid mid-circuit measurement and access different manifestations of the underlying phases -- from entanglement scaling to measurement-induced teleportation -- in a unified way. We obtain finite-size signatures of a phase transition with a decoding protocol that correlates the experimental measurement record with classical simulation data. The phases display sharply different sensitivity to noise, which we exploit to turn an inherent hardware limitation into a useful diagnostic. Our work demonstrates an approach to realize measurement-induced physics at scales that are at the limits of current NISQ processors.
△ Less
Submitted 17 October, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
Hierarchical core-periphery structure in networks
Authors:
Austin Polanco,
M. E. J. Newman
Abstract:
We study core-periphery structure in networks using inference methods based on a flexible network model that allows for traditional onion-like cores within cores, but also for hierarchical tree-like structures and more general non-nested types of structure. We propose an efficient Monte Carlo scheme for fitting the model to observed networks and report results for a selection of real-world data se…
▽ More
We study core-periphery structure in networks using inference methods based on a flexible network model that allows for traditional onion-like cores within cores, but also for hierarchical tree-like structures and more general non-nested types of structure. We propose an efficient Monte Carlo scheme for fitting the model to observed networks and report results for a selection of real-world data sets. Among other things, we observe an empirical distinction between networks showing traditional core-periphery structure with a dense core weakly connected to a sparse periphery, and an alternative structure in which the core is strongly connected both within itself and to the periphery. Networks vary in whether they are better represented by one type of structure or the other. We also observe structures that are a hybrid between core-periphery structure and community structure, in which networks have a set of non-overlap** cores that correspond roughly to communities, surrounded by a single undifferentiated periphery. Computer code implementing our methods is available.
△ Less
Submitted 9 January, 2023;
originally announced January 2023.
-
Message passing methods on complex networks
Authors:
M. E. J. Newman
Abstract:
Networks and network computations have become a primary mathematical tool for analyzing the structure of many kinds of complex systems, ranging from the Internet and transportation networks to biochemical interactions and social networks. A common task in network analysis is the calculation of quantities that reside on the nodes of a network, such as centrality measures, probabilities, or model st…
▽ More
Networks and network computations have become a primary mathematical tool for analyzing the structure of many kinds of complex systems, ranging from the Internet and transportation networks to biochemical interactions and social networks. A common task in network analysis is the calculation of quantities that reside on the nodes of a network, such as centrality measures, probabilities, or model states. In this review article we discuss message passing methods, a family of techniques for performing such calculations, based on the propagation of information between the nodes of a network. We introduce the message passing approach with a series of examples, give some illustrative applications and results, and discuss the deep connections between message passing and phase transitions in networks. We also point out some limitations of the message passing approach and describe some recently-introduced methods that address these limitations.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Non-Abelian braiding of graph vertices in a superconducting processor
Authors:
Trond I. Andersen,
Yuri D. Lensky,
Kostyantyn Kechedzhi,
Ilya Drozdov,
Andreas Bengtsson,
Sabrina Hong,
Alexis Morvan,
Xiao Mi,
Alex Opremcak,
Rajeev Acharya,
Richard Allen,
Markus Ansmann,
Frank Arute,
Kunal Arya,
Abraham Asfaw,
Juan Atalaya,
Ryan Babbush,
Dave Bacon,
Joseph C. Bardin,
Gina Bortoli,
Alexandre Bourassa,
Jenna Bovaird,
Leon Brill,
Michael Broughton,
Bob B. Buckley
, et al. (144 additional authors not shown)
Abstract:
Indistinguishability of particles is a fundamental principle of quantum mechanics. For all elementary and quasiparticles observed to date - including fermions, bosons, and Abelian anyons - this principle guarantees that the braiding of identical particles leaves the system unchanged. However, in two spatial dimensions, an intriguing possibility exists: braiding of non-Abelian anyons causes rotatio…
▽ More
Indistinguishability of particles is a fundamental principle of quantum mechanics. For all elementary and quasiparticles observed to date - including fermions, bosons, and Abelian anyons - this principle guarantees that the braiding of identical particles leaves the system unchanged. However, in two spatial dimensions, an intriguing possibility exists: braiding of non-Abelian anyons causes rotations in a space of topologically degenerate wavefunctions. Hence, it can change the observables of the system without violating the principle of indistinguishability. Despite the well developed mathematical description of non-Abelian anyons and numerous theoretical proposals, the experimental observation of their exchange statistics has remained elusive for decades. Controllable many-body quantum states generated on quantum processors offer another path for exploring these fundamental phenomena. While efforts on conventional solid-state platforms typically involve Hamiltonian dynamics of quasi-particles, superconducting quantum processors allow for directly manipulating the many-body wavefunction via unitary gates. Building on predictions that stabilizer codes can host projective non-Abelian Ising anyons, we implement a generalized stabilizer code and unitary protocol to create and braid them. This allows us to experimentally verify the fusion rules of the anyons and braid them to realize their statistics. We then study the prospect of employing the anyons for quantum computation and utilize braiding to create an entangled state of anyons encoding three logical qubits. Our work provides new insights about non-Abelian braiding and - through the future inclusion of error correction to achieve topological protection - could open a path toward fault-tolerant quantum computing.
△ Less
Submitted 31 May, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Thermodynamic limit of the first Lee-Yang zero
Authors:
Jian** Jiang,
Charles M. Newman
Abstract:
We complete the verification of the 1952 Yang and Lee proposal that thermodynamic singularities are exactly the limits in ${\mathbb R}$ of finite-volume singularities in ${\mathbb C}$. For the Ising model defined on a finite $Λ\subset\mathbb{Z}^d$ at inverse temperature $β\geq0$ and external field $h$, let $α_1(Λ,β)$ be the modulus of the first zero (that closest to the origin) of its partition fu…
▽ More
We complete the verification of the 1952 Yang and Lee proposal that thermodynamic singularities are exactly the limits in ${\mathbb R}$ of finite-volume singularities in ${\mathbb C}$. For the Ising model defined on a finite $Λ\subset\mathbb{Z}^d$ at inverse temperature $β\geq0$ and external field $h$, let $α_1(Λ,β)$ be the modulus of the first zero (that closest to the origin) of its partition function (in the variable $h$). We prove that $α_1(Λ,β)$ decreases to $α_1(\mathbb{Z}^d,β)$ as $Λ$ increases to $\mathbb{Z}^d$ where $α_1(\mathbb{Z}^d,β)\in[0,\infty)$ is the radius of the largest disk centered at the origin in which the free energy in the thermodynamic limit is analytic. We also note that $α_1(\mathbb{Z}^d,β)$ is strictly positive if and only if $β$ is strictly less than the critical inverse temperature.
△ Less
Submitted 19 October, 2022; v1 submitted 7 October, 2022;
originally announced October 2022.
-
Motion of Lee-Yang zeros
Authors:
Qi Hou,
Jian** Jiang,
Charles M. Newman
Abstract:
We consider the zeros of the partition function of the Ising model with ferromagnetic pair interactions and complex external field. Under the assumption that the graph with strictly positive interactions is connected, we vary the interaction (denoted by $t$) at a fixed edge. It is already known that each zero is monotonic (either increasing or decreasing) in $t$; we prove that its motion is local:…
▽ More
We consider the zeros of the partition function of the Ising model with ferromagnetic pair interactions and complex external field. Under the assumption that the graph with strictly positive interactions is connected, we vary the interaction (denoted by $t$) at a fixed edge. It is already known that each zero is monotonic (either increasing or decreasing) in $t$; we prove that its motion is local: the entire trajectories of any two distinct zeros are disjoint. If the underlying graph is a complete graph and all interactions take the same value $t\geq 0$ (i.e., the Curie-Weiss model), we prove that all the principal zeros (those in $i[0,π/2)$) decrease strictly in $t$.
△ Less
Submitted 1 August, 2022;
originally announced August 2022.
-
Proof of single-replica equivalence in short-range spin glasses
Authors:
C. M. Newman,
N. Read,
D. L. Stein
Abstract:
We consider short-range Ising spin glasses in equilibrium at infinite system size, and prove that, for fixed bond realization and a given Gibbs state drawn from a suitable metastate, each translation- and locally-invariant function (for example, self-overlaps) of a single pure state in the decomposition of the Gibbs state takes the same value for all the pure states in that Gibbs state. We describ…
▽ More
We consider short-range Ising spin glasses in equilibrium at infinite system size, and prove that, for fixed bond realization and a given Gibbs state drawn from a suitable metastate, each translation- and locally-invariant function (for example, self-overlaps) of a single pure state in the decomposition of the Gibbs state takes the same value for all the pure states in that Gibbs state. We describe several significant applications to spin glasses.
△ Less
Submitted 25 February, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Formation of robust bound states of interacting microwave photons
Authors:
Alexis Morvan,
Trond I. Andersen,
Xiao Mi,
Charles Neill,
Andre Petukhov,
Kostyantyn Kechedzhi,
Dmitry Abanin,
Rajeev Acharya,
Frank Arute,
Kunal Arya,
Abraham Asfaw,
Juan Atalaya,
Ryan Babbush,
Dave Bacon,
Joseph C. Bardin,
Joao Basso,
Andreas Bengtsson,
Gina Bortoli,
Alexandre Bourassa,
Jenna Bovaird,
Leon Brill,
Michael Broughton,
Bob B. Buckley,
David A. Buell,
Tim Burger
, et al. (125 additional authors not shown)
Abstract:
Systems of correlated particles appear in many fields of science and represent some of the most intractable puzzles in nature. The computational challenge in these systems arises when interactions become comparable to other energy scales, which makes the state of each particle depend on all other particles. The lack of general solutions for the 3-body problem and acceptable theory for strongly cor…
▽ More
Systems of correlated particles appear in many fields of science and represent some of the most intractable puzzles in nature. The computational challenge in these systems arises when interactions become comparable to other energy scales, which makes the state of each particle depend on all other particles. The lack of general solutions for the 3-body problem and acceptable theory for strongly correlated electrons shows that our understanding of correlated systems fades when the particle number or the interaction strength increases. One of the hallmarks of interacting systems is the formation of multi-particle bound states. In a ring of 24 superconducting qubits, we develop a high fidelity parameterizable fSim gate that we use to implement the periodic quantum circuit of the spin-1/2 XXZ model, an archetypal model of interaction. By placing microwave photons in adjacent qubit sites, we study the propagation of these excitations and observe their bound nature for up to 5 photons. We devise a phase sensitive method for constructing the few-body spectrum of the bound states and extract their pseudo-charge by introducing a synthetic flux. By introducing interactions between the ring and additional qubits, we observe an unexpected resilience of the bound states to integrability breaking. This finding goes against the common wisdom that bound states in non-integrable systems are unstable when their energies overlap with the continuum spectrum. Our work provides experimental evidence for bound states of interacting photons and discovers their stability beyond the integrability limit.
△ Less
Submitted 21 December, 2022; v1 submitted 10 June, 2022;
originally announced June 2022.
-
Noise-resilient Edge Modes on a Chain of Superconducting Qubits
Authors:
Xiao Mi,
Michael Sonner,
Murphy Yuezhen Niu,
Kenneth W. Lee,
Brooks Foxen,
Rajeev Acharya,
Igor Aleiner,
Trond I. Andersen,
Frank Arute,
Kunal Arya,
Abraham Asfaw,
Juan Atalaya,
Ryan Babbush,
Dave Bacon,
Joseph C. Bardin,
Joao Basso,
Andreas Bengtsson,
Gina Bortoli,
Alexandre Bourassa,
Leon Brill,
Michael Broughton,
Bob B. Buckley,
David A. Buell,
Brian Burkett,
Nicholas Bushnell
, et al. (103 additional authors not shown)
Abstract:
Inherent symmetry of a quantum system may protect its otherwise fragile states. Leveraging such protection requires testing its robustness against uncontrolled environmental interactions. Using 47 superconducting qubits, we implement the one-dimensional kicked Ising model which exhibits non-local Majorana edge modes (MEMs) with $\mathbb{Z}_2$ parity symmetry. Remarkably, we find that any multi-qub…
▽ More
Inherent symmetry of a quantum system may protect its otherwise fragile states. Leveraging such protection requires testing its robustness against uncontrolled environmental interactions. Using 47 superconducting qubits, we implement the one-dimensional kicked Ising model which exhibits non-local Majorana edge modes (MEMs) with $\mathbb{Z}_2$ parity symmetry. Remarkably, we find that any multi-qubit Pauli operator overlap** with the MEMs exhibits a uniform late-time decay rate comparable to single-qubit relaxation rates, irrespective of its size or composition. This characteristic allows us to accurately reconstruct the exponentially localized spatial profiles of the MEMs. Furthermore, the MEMs are found to be resilient against certain symmetry-breaking noise owing to a prethermalization mechanism. Our work elucidates the complex interplay between noise and symmetry-protected edge modes in a solid-state environment.
△ Less
Submitted 8 December, 2022; v1 submitted 24 April, 2022;
originally announced April 2022.
-
Metastates and Replica Symmetry Breaking
Authors:
C. M. Newman,
N. Read,
D. L. Stein
Abstract:
In this review we define and discuss metastates, mathematical tools with general applicability to thermodynamic systems which are particularly useful when working with disordered or inhomogeneous short-range systems. In an infinite such system there may be many competing thermodynamic states, which can lead to the absence of a straightforward thermodynamic limit of local correlation functions. A m…
▽ More
In this review we define and discuss metastates, mathematical tools with general applicability to thermodynamic systems which are particularly useful when working with disordered or inhomogeneous short-range systems. In an infinite such system there may be many competing thermodynamic states, which can lead to the absence of a straightforward thermodynamic limit of local correlation functions. A metastate is a probability measure on the infinite-volume thermodynamic states that restores the connection between those states and the Gibbs states observed in finite volumes. After introducing the basic metastates and discussing their properties, we present possible scenarios for the spin-glass phase and discuss what the metastate approach reveals about how replica symmetry breaking would manifest itself in finite-dimensional short-range spin glasses.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
Ground State Stability and the Nature of the Spin Glass Phase
Authors:
C. M. Newman,
D. L. Stein
Abstract:
We propose an approach toward understanding the spin glass phase at zero and low temperature by studying the stability of a spin glass ground state against perturbations of a single coupling. After reviewing the concepts of flexibility, critical droplet, and related quantities for both finite- and infinite-volume ground states, we study some of their properties and review three models in which the…
▽ More
We propose an approach toward understanding the spin glass phase at zero and low temperature by studying the stability of a spin glass ground state against perturbations of a single coupling. After reviewing the concepts of flexibility, critical droplet, and related quantities for both finite- and infinite-volume ground states, we study some of their properties and review three models in which these quantities are partially or fully understood. We also review a recent result showing the connection between our approach and that of disorder chaos. We then view four proposed scenarios for the low-temperature spin glass phase -- replica symmetry breaking, scaling-droplet, TNT and chaotic pairs -- through the lens of the predictions of each scenario for the lowest energy large-lengthscale excitations above the ground state. Using a new concept called sigma-criticality, which quantifies the sensitivity of ground states to single-bond coupling variations, we show that each of these four pictures can be identified with different critical droplet geometries and energies. We also investigate necessary and sufficient conditions for the existence of multiple incongruent ground states.
△ Less
Submitted 21 October, 2021;
originally announced October 2021.
-
Observation of Time-Crystalline Eigenstate Order on a Quantum Processor
Authors:
Xiao Mi,
Matteo Ippoliti,
Chris Quintana,
Ami Greene,
Zijun Chen,
Jonathan Gross,
Frank Arute,
Kunal Arya,
Juan Atalaya,
Ryan Babbush,
Joseph C. Bardin,
Joao Basso,
Andreas Bengtsson,
Alexander Bilmes,
Alexandre Bourassa,
Leon Brill,
Michael Broughton,
Bob B. Buckley,
David A. Buell,
Brian Burkett,
Nicholas Bushnell,
Benjamin Chiaro,
Roberto Collins,
William Courtney,
Dripto Debroy
, et al. (80 additional authors not shown)
Abstract:
Quantum many-body systems display rich phase structure in their low-temperature equilibrium states. However, much of nature is not in thermal equilibrium. Remarkably, it was recently predicted that out-of-equilibrium systems can exhibit novel dynamical phases that may otherwise be forbidden by equilibrium thermodynamics, a paradigmatic example being the discrete time crystal (DTC). Concretely, dyn…
▽ More
Quantum many-body systems display rich phase structure in their low-temperature equilibrium states. However, much of nature is not in thermal equilibrium. Remarkably, it was recently predicted that out-of-equilibrium systems can exhibit novel dynamical phases that may otherwise be forbidden by equilibrium thermodynamics, a paradigmatic example being the discrete time crystal (DTC). Concretely, dynamical phases can be defined in periodically driven many-body localized systems via the concept of eigenstate order. In eigenstate-ordered phases, the entire many-body spectrum exhibits quantum correlations and long-range order, with characteristic signatures in late-time dynamics from all initial states. It is, however, challenging to experimentally distinguish such stable phases from transient phenomena, wherein few select states can mask typical behavior. Here we implement a continuous family of tunable CPHASE gates on an array of superconducting qubits to experimentally observe an eigenstate-ordered DTC. We demonstrate the characteristic spatiotemporal response of a DTC for generic initial states. Our work employs a time-reversal protocol that discriminates external decoherence from intrinsic thermalization, and leverages quantum typicality to circumvent the exponential cost of densely sampling the eigenspectrum. In addition, we locate the phase transition out of the DTC with an experimental finite-size analysis. These results establish a scalable approach to study non-equilibrium phases of matter on current quantum processors.
△ Less
Submitted 11 August, 2021; v1 submitted 28 July, 2021;
originally announced July 2021.
-
Realizing topologically ordered states on a quantum processor
Authors:
K. J. Satzinger,
Y. Liu,
A. Smith,
C. Knapp,
M. Newman,
C. Jones,
Z. Chen,
C. Quintana,
X. Mi,
A. Dunsworth,
C. Gidney,
I. Aleiner,
F. Arute,
K. Arya,
J. Atalaya,
R. Babbush,
J. C. Bardin,
R. Barends,
J. Basso,
A. Bengtsson,
A. Bilmes,
M. Broughton,
B. B. Buckley,
D. A. Buell,
B. Burkett
, et al. (73 additional authors not shown)
Abstract:
The discovery of topological order has revolutionized the understanding of quantum matter in modern physics and provided the theoretical foundation for many quantum error correcting codes. Realizing topologically ordered states has proven to be extremely challenging in both condensed matter and synthetic quantum systems. Here, we prepare the ground state of the toric code Hamiltonian using an effi…
▽ More
The discovery of topological order has revolutionized the understanding of quantum matter in modern physics and provided the theoretical foundation for many quantum error correcting codes. Realizing topologically ordered states has proven to be extremely challenging in both condensed matter and synthetic quantum systems. Here, we prepare the ground state of the toric code Hamiltonian using an efficient quantum circuit on a superconducting quantum processor. We measure a topological entanglement entropy near the expected value of $\ln2$, and simulate anyon interferometry to extract the braiding statistics of the emergent excitations. Furthermore, we investigate key aspects of the surface code, including logical state injection and the decay of the non-local order parameter. Our results demonstrate the potential for quantum processors to provide key insights into topological quantum matter and quantum error correction.
△ Less
Submitted 2 April, 2021;
originally announced April 2021.
-
Information Scrambling in Computationally Complex Quantum Circuits
Authors:
Xiao Mi,
Pedram Roushan,
Chris Quintana,
Salvatore Mandra,
Jeffrey Marshall,
Charles Neill,
Frank Arute,
Kunal Arya,
Juan Atalaya,
Ryan Babbush,
Joseph C. Bardin,
Rami Barends,
Andreas Bengtsson,
Sergio Boixo,
Alexandre Bourassa,
Michael Broughton,
Bob B. Buckley,
David A. Buell,
Brian Burkett,
Nicholas Bushnell,
Zijun Chen,
Benjamin Chiaro,
Roberto Collins,
William Courtney,
Sean Demura
, et al. (68 additional authors not shown)
Abstract:
Interaction in quantum systems can spread initially localized quantum information into the many degrees of freedom of the entire system. Understanding this process, known as quantum scrambling, is the key to resolving various conundrums in physics. Here, by measuring the time-dependent evolution and fluctuation of out-of-time-order correlators, we experimentally investigate the dynamics of quantum…
▽ More
Interaction in quantum systems can spread initially localized quantum information into the many degrees of freedom of the entire system. Understanding this process, known as quantum scrambling, is the key to resolving various conundrums in physics. Here, by measuring the time-dependent evolution and fluctuation of out-of-time-order correlators, we experimentally investigate the dynamics of quantum scrambling on a 53-qubit quantum processor. We engineer quantum circuits that distinguish the two mechanisms associated with quantum scrambling, operator spreading and operator entanglement, and experimentally observe their respective signatures. We show that while operator spreading is captured by an efficient classical model, operator entanglement requires exponentially scaled computational resources to simulate. These results open the path to studying complex and practically relevant physical observables with near-term quantum processors.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
Belief propagation for networks with loops
Authors:
Alec Kirkley,
George T. Cantwell,
M. E. J. Newman
Abstract:
Belief propagation is a widely used message passing method for the solution of probabilistic models on networks such as epidemic models, spin models, and Bayesian graphical models, but it suffers from the serious shortcoming that it works poorly in the common case of networks that contain short loops. Here we provide a solution to this long-standing problem, deriving a belief propagation method th…
▽ More
Belief propagation is a widely used message passing method for the solution of probabilistic models on networks such as epidemic models, spin models, and Bayesian graphical models, but it suffers from the serious shortcoming that it works poorly in the common case of networks that contain short loops. Here we provide a solution to this long-standing problem, deriving a belief propagation method that allows for fast calculation of probability distributions in systems with short loops, potentially with high density, as well as giving expressions for the entropy and partition function, which are notoriously difficult quantities to compute. Using the Ising model as an example, we show that our approach gives excellent results on both real and synthetic networks, improving significantly on standard message passing methods. We also discuss potential applications of our method to a variety of other problems.
△ Less
Submitted 24 April, 2021; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Ground state stability in two spin glass models
Authors:
L. -P. Arguin,
C. M. Newman,
D. L. Stein
Abstract:
An important but little-studied property of spin glasses is the stability of their ground states to changes in one or a finite number of couplings. It was shown in earlier work that, if multiple ground states are assumed to exist, then fluctuations in their energy differences --- and therefore the possibility of multiple ground states --- are closely related to the stability of their ground states…
▽ More
An important but little-studied property of spin glasses is the stability of their ground states to changes in one or a finite number of couplings. It was shown in earlier work that, if multiple ground states are assumed to exist, then fluctuations in their energy differences --- and therefore the possibility of multiple ground states --- are closely related to the stability of their ground states. Here we examine the stability of ground states in two models, one of which is presumed to have a ground state structure that is qualitatively similar to other realistic short-range spin glasses in finite dimensions.
△ Less
Submitted 17 January, 2020;
originally announced January 2020.
-
Local minima in disordered mean-field ferromagnets
Authors:
Eric Yilun Song,
Reza Gheissari,
Charles M. Newman,
Daniel L. Stein
Abstract:
We consider the complexity of random ferromagnetic landscapes on the hypercube $\{\pm 1\}^N$ given by Ising models on the complete graph with i.i.d. non-negative edge-weights. This includes, in particular, the case of Bernoulli disorder corresponding to the Ising model on a dense random graph $\mathcal G(N,p)$. Previous results had shown that, with high probability as $N\to\infty$, the gradient se…
▽ More
We consider the complexity of random ferromagnetic landscapes on the hypercube $\{\pm 1\}^N$ given by Ising models on the complete graph with i.i.d. non-negative edge-weights. This includes, in particular, the case of Bernoulli disorder corresponding to the Ising model on a dense random graph $\mathcal G(N,p)$. Previous results had shown that, with high probability as $N\to\infty$, the gradient search (energy-lowering) algorithm, initialized uniformly at random, converges to one of the homogeneous global minima (all-plus or all-minus). Here, we devise two modified algorithms tailored to explore the landscape at near-zero magnetizations (where the effect of the ferromagnetic drift is minimized). With these, we numerically verify the landscape complexity of random ferromagnets, finding a diverging number of (1-spin-flip-stable) local minima as $N\to\infty$. We then investigate some of the properties of these local minima (e.g., typical energy and magnetization) and compare to the situation where the edge-weights are drawn from a heavy-tailed distribution.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Nature vs. Nurture: Dynamical Evolution in Disordered Ising Ferromagnets
Authors:
Lily Z. Wang,
Reza Gheissari,
Charles M. Newman,
Daniel L. Stein
Abstract:
We study the predictability of zero-temperature Glauber dynamics in various models of disordered ferromagnets. This is analyzed using two independent dynamical realizations with the same random initialization (called twins). We derive, theoretically and numerically, trajectories for the evolution of the normalized magnetization and twin overlap as the system size tends to infinity. The systems we…
▽ More
We study the predictability of zero-temperature Glauber dynamics in various models of disordered ferromagnets. This is analyzed using two independent dynamical realizations with the same random initialization (called twins). We derive, theoretically and numerically, trajectories for the evolution of the normalized magnetization and twin overlap as the system size tends to infinity. The systems we treat include mean-field ferromagnets with light-tailed and heavy-tailed coupling distributions, as well as highly-disordered models with a variety of other geometries. In the mean-field setting with light-tailed couplings, the disorder averages out and the limiting trajectories of the magnetization and twin overlap match those of the homogenous Curie--Weiss model. On the other hand, when the coupling distribution has heavy tails, or the geometry changes, the effect of the disorder persists in the thermodynamic limit. Nonetheless, qualitatively all such random ferromagnets share a similar time evolution for their twin overlap, wherein the two twins initially decorrelate, before either partially or fully converging back together due to the ferromagnetic drift.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
A Relation between Disorder Chaos and Incongruent States in Spin Glasses on ${\mathbb Z}^d$
Authors:
L. -P. Arguin,
C. M. Newman,
D. L. Stein
Abstract:
We derive lower bounds for the variance of the difference of energies between incongruent ground states, i.e., states with edge overlaps strictly less than one, of the Edwards-Anderson model on ${\mathbb Z}^d$. The bounds highlight a relation between the existence of incongruent ground states and the absence of edge disorder chaos. In particular, it suggests that the presence of disorder chaos is…
▽ More
We derive lower bounds for the variance of the difference of energies between incongruent ground states, i.e., states with edge overlaps strictly less than one, of the Edwards-Anderson model on ${\mathbb Z}^d$. The bounds highlight a relation between the existence of incongruent ground states and the absence of edge disorder chaos. In particular, it suggests that the presence of disorder chaos is necessary for the variance to be of order less than the volume. In addition, a relation is established between the scale of disorder chaos and the size of critical droplets. The results imply a long-conjectured relation between the droplet theory of Fisher and Huse and the absence of incongruence.
△ Less
Submitted 29 December, 2018; v1 submitted 6 March, 2018;
originally announced March 2018.
-
A continuum of pure states in the Ising model on a halfplane
Authors:
Douglas Abraham,
Charles M. Newman,
Senya Shlosman
Abstract:
We study the homogeneous nearest-neighbor Ising ferromagnet on the right half plane with a Dobrushin type boundary condition --- say plus on the top part of the boundary and minus on the bottom. For sufficiently low temperature $T$, we completely characterize the pure (i.e., extremal) Gibbs states, as follows. There is exactly one for each angle $θ\in\lbrack-π/2,+π/2]$; here $θ$ specifies the asym…
▽ More
We study the homogeneous nearest-neighbor Ising ferromagnet on the right half plane with a Dobrushin type boundary condition --- say plus on the top part of the boundary and minus on the bottom. For sufficiently low temperature $T$, we completely characterize the pure (i.e., extremal) Gibbs states, as follows. There is exactly one for each angle $θ\in\lbrack-π/2,+π/2]$; here $θ$ specifies the asymptotic angle of the interface separating regions where the spin configuration looks like that of the plus (respectively, minus) full-plane state. Some of these conclusions are extended all the way to $T=T_{c}$ by develo** new Ising exact solution result -- in particular, there is at least one pure state for each $θ$.
△ Less
Submitted 12 November, 2017; v1 submitted 15 October, 2017;
originally announced October 2017.
-
Zero-Temperature Fluctuations in Short-Range Spin Glasses
Authors:
L. -P. Arguin,
C. M. Newman,
D. L. Stein,
J. Wehr
Abstract:
We consider the energy difference restricted to a finite volume for certain pairs of incongruent ground states (if they exist) in the d-dimensional Edwards-Anderson (EA) Ising spin glass at zero temperature. We prove that the variance of this quantity with respect to the couplings grows at least proportionally to the volume in any dimension greater than or equal to two. An essential aspect of our…
▽ More
We consider the energy difference restricted to a finite volume for certain pairs of incongruent ground states (if they exist) in the d-dimensional Edwards-Anderson (EA) Ising spin glass at zero temperature. We prove that the variance of this quantity with respect to the couplings grows at least proportionally to the volume in any dimension greater than or equal to two. An essential aspect of our result is the use of the excitation metastate. As an illustration of potential applications, we use this result to restrict the possible structure of spin glass ground states in two dimensions.
△ Less
Submitted 26 March, 2016; v1 submitted 28 January, 2016;
originally announced January 2016.
-
Long-Time Predictability in Disordered Spin Systems Following a Deep Quench
Authors:
J. Ye,
R. Gheissari,
J. Machta,
C. M. Newman,
D. L. Stein
Abstract:
We study the problem of predictability, or "nature vs. nurture", in several disordered Ising spin systems evolving at zero temperature from a random initial state: how much does the final state depend on the information contained in the initial state, and how much depends on the detailed history of the system? Our numerical studies of the "dynamical order parameter" in Edwards-Anderson Ising spin…
▽ More
We study the problem of predictability, or "nature vs. nurture", in several disordered Ising spin systems evolving at zero temperature from a random initial state: how much does the final state depend on the information contained in the initial state, and how much depends on the detailed history of the system? Our numerical studies of the "dynamical order parameter" in Edwards-Anderson Ising spin glasses and random ferromagnets indicate that the influence of the initial state decays as dimension increases. Similarly, this same order parameter for the Sherrington-Kirkpatrick infinite-range spin glass indicates that this information decays as the number of spins increases. Based on these results, we conjecture that the influence of the initial state on the final state decays to zero in finite-dimensional random-bond spin systems as dimension goes to infinity, regardless of the presence of frustration. We also study the rate at which spins "freeze out" to a final state as a function of dimensionality and number of spins; here the results indicate that the number of "active" spins at long times increases with dimension (for short-range systems) or number of spins (for infinite-range systems). We provide theoretical arguments to support these conjectures, and also study analytically several mean-field models: the random energy model, the uniform Curie-Weiss ferromagnet, and the disordered Curie-Weiss ferromagnet. We find that for these models, the information contained in the initial state does not decay in the thermodynamic limit-- in fact, it fully determines the final state. Unlike in short-range models, the presence of frustration in mean-field models dramatically alters the dynamical behavior with respect to the issue of predictability.
△ Less
Submitted 17 April, 2017; v1 submitted 1 January, 2016;
originally announced January 2016.
-
Thermodynamic Identities and Symmetry Breaking in Short-Range Spin Glasses
Authors:
L. -P. Arguin,
C. M. Newman,
D. L. Stein
Abstract:
We present a technique to generate relations connecting pure state weights, overlaps, and correlation functions in short-range spin glasses. These are obtained directly from the unperturbed Hamiltonian and hold for general coupling distributions. All are satisfied in phases with simple thermodynamic structure, such as the droplet-scaling and chaotic pairs pictures. If instead nontrivial mixed-stat…
▽ More
We present a technique to generate relations connecting pure state weights, overlaps, and correlation functions in short-range spin glasses. These are obtained directly from the unperturbed Hamiltonian and hold for general coupling distributions. All are satisfied in phases with simple thermodynamic structure, such as the droplet-scaling and chaotic pairs pictures. If instead nontrivial mixed-state pictures hold, the relations suggest that replica symmetry is broken as described by a Derrida-Ruelle cascade, with pure state weights distributed as a Poisson-Dirichlet process.
△ Less
Submitted 19 October, 2015; v1 submitted 25 August, 2015;
originally announced August 2015.
-
Multiway spectral community detection in networks
Authors:
Xiao Zhang,
M. E. J. Newman
Abstract:
One of the most widely used methods for community detection in networks is the maximization of the quality function known as modularity. Of the many maximization techniques that have been used in this context, some of the most conceptually attractive are the spectral methods, which are based on the eigenvectors of the modularity matrix. Spectral algorithms have, however, been limited by and large…
▽ More
One of the most widely used methods for community detection in networks is the maximization of the quality function known as modularity. Of the many maximization techniques that have been used in this context, some of the most conceptually attractive are the spectral methods, which are based on the eigenvectors of the modularity matrix. Spectral algorithms have, however, been limited by and large to the division of networks into only two or three communities, with divisions into more than three being achieved by repeated two-way division. Here we present a spectral algorithm that can directly divide a network into any number of communities. The algorithm makes use of a map** from modularity maximization to a vector partitioning problem, combined with a fast heuristic for vector partitioning. We compare the performance of this spectral algorithm with previous approaches and find it to give superior results, particularly in cases where community sizes are unbalanced. We also give demonstrative applications of the algorithm to two real-world networks and find that it produces results in good agreement with expectations for the networks studied.
△ Less
Submitted 22 June, 2015;
originally announced July 2015.
-
Structural inference for uncertain networks
Authors:
Travis Martin,
Brian Ball,
M. E. J. Newman
Abstract:
In the study of networked systems such as biological, technological, and social networks the available data are often uncertain. Rather than knowing the structure of a network exactly, we know the connections between nodes only with a certain probability. In this paper we develop methods for the analysis of such uncertain data, focusing particularly on the problem of community detection. We give a…
▽ More
In the study of networked systems such as biological, technological, and social networks the available data are often uncertain. Rather than knowing the structure of a network exactly, we know the connections between nodes only with a certain probability. In this paper we develop methods for the analysis of such uncertain data, focusing particularly on the problem of community detection. We give a principled maximum-likelihood method for inferring community structure and demonstrate how the results can be used to make improved estimates of the true structure of the network. Using computer-generated benchmark networks we demonstrate that our methods are able to reconstruct known communities more accurately than previous approaches based on data thresholding. We also give an example application to the detection of communities in a protein-protein interaction network.
△ Less
Submitted 17 June, 2015;
originally announced June 2015.
-
Generalized communities in networks
Authors:
M. E. J. Newman,
Tiago P. Peixoto
Abstract:
A substantial volume of research has been devoted to studies of community structure in networks, but communities are not the only possible form of large-scale network structure. Here we describe a broad extension of community structure that encompasses traditional communities but includes a wide range of generalized structural patterns as well. We describe a principled method for detecting this ge…
▽ More
A substantial volume of research has been devoted to studies of community structure in networks, but communities are not the only possible form of large-scale network structure. Here we describe a broad extension of community structure that encompasses traditional communities but includes a wide range of generalized structural patterns as well. We describe a principled method for detecting this generalized structure in empirical network data and demonstrate with real-world examples how it can be used to learn new things about the shape and meaning of networks.
△ Less
Submitted 27 May, 2015;
originally announced May 2015.
-
Identification of core-periphery structure in networks
Authors:
Xiao Zhang,
Travis Martin,
M. E. J. Newman
Abstract:
Many networks can be usefully decomposed into a dense core plus an outlying, loosely-connected periphery. Here we propose an algorithm for performing such a decomposition on empirical network data using methods of statistical inference. Our method fits a generative model of core-periphery structure to observed data using a combination of an expectation--maximization algorithm for calculati…
▽ More
Many networks can be usefully decomposed into a dense core plus an outlying, loosely-connected periphery. Here we propose an algorithm for performing such a decomposition on empirical network data using methods of statistical inference. Our method fits a generative model of core-periphery structure to observed data using a combination of an expectation--maximization algorithm for calculating the parameters of the model and a belief propagation algorithm for calculating the decomposition itself. We find the method to be efficient, scaling easily to networks with a million or more nodes and we test it on a range of networks, including real-world examples as well as computer-generated benchmarks, for which it successfully identifies known core-periphery structure with low error rate. We also demonstrate that the method is immune from the detectability transition observed in the related community detection problem, which prevents the detection of community structure when that structure is too weak. There is no such transition for core-periphery structure, which is detectable, albeit with some statistical error, no matter how weak it is.
△ Less
Submitted 16 September, 2014;
originally announced September 2014.
-
Nature versus Nurture in Complex and Not-So-Complex Systems
Authors:
D. L. Stein,
C. M. Newman
Abstract:
Understanding the dynamical behavior of many-particle systems both in and out of equilibrium is a central issue in both statistical mechanics and complex systems theory. One question involves "nature versus nurture": given a system with a random initial state evolving through a well-defined stochastic dynamics, how much of the information contained in the state at future times depends on the initi…
▽ More
Understanding the dynamical behavior of many-particle systems both in and out of equilibrium is a central issue in both statistical mechanics and complex systems theory. One question involves "nature versus nurture": given a system with a random initial state evolving through a well-defined stochastic dynamics, how much of the information contained in the state at future times depends on the initial condition ("nature") and how much on the dynamical realization ("nurture")? We discuss this question and present both old and new results for low-dimensional Ising spin systems.
△ Less
Submitted 29 May, 2014;
originally announced May 2014.
-
Equitable random graphs
Authors:
M. E. J. Newman,
Travis Martin
Abstract:
Random graph models have played a dominant role in the theoretical study of networked systems. The Poisson random graph of Erdos and Renyi, in particular, as well as the so-called configuration model, have served as the starting point for numerous calculations. In this paper we describe another large class of random graph models, which we call equitable random graphs and which are flexible enough…
▽ More
Random graph models have played a dominant role in the theoretical study of networked systems. The Poisson random graph of Erdos and Renyi, in particular, as well as the so-called configuration model, have served as the starting point for numerous calculations. In this paper we describe another large class of random graph models, which we call equitable random graphs and which are flexible enough to represent networks with diverse degree distributions and many nontrivial types of structure, including community structure, bipartite structure, degree correlations, stratification, and others, yet are exactly solvable for a wide range of properties in the limit of large graph size, including percolation properties, complete spectral density, and the behavior of homogeneous dynamical systems, such as coupled oscillators or epidemic models.
△ Less
Submitted 6 May, 2014;
originally announced May 2014.
-
Percolation on sparse networks
Authors:
Brian Karrer,
M. E. J. Newman,
Lenka Zdeborová
Abstract:
We study percolation on networks, which is used as a model of the resilience of networked systems such as the Internet to attack or failure and as a simple model of the spread of disease over human contact networks. We reformulate percolation as a message passing process and demonstrate how the resulting equations can be used to calculate, among other things, the size of the percolating cluster an…
▽ More
We study percolation on networks, which is used as a model of the resilience of networked systems such as the Internet to attack or failure and as a simple model of the spread of disease over human contact networks. We reformulate percolation as a message passing process and demonstrate how the resulting equations can be used to calculate, among other things, the size of the percolating cluster and the average cluster size. The calculations are exact for sparse networks when the number of short loops in the network is small, but even on networks with many short loops we find them to be highly accurate when compared with direct numerical simulations. By considering the fixed points of the message passing process, we also show that the percolation threshold on a network with few loops is given by the inverse of the leading eigenvalue of the so-called non-backtracking matrix.
△ Less
Submitted 7 October, 2014; v1 submitted 2 May, 2014;
originally announced May 2014.
-
Fluctuation Bounds For Interface Free Energies in Spin Glasses
Authors:
Louis-Pierre Arguin,
Charles M. Newman,
Daniel L. Stein,
Janek Wehr
Abstract:
We consider the free energy difference restricted to a finite volume for certain pairs of incongruent thermodynamic states (if they exist) in the Edwards-Anderson Ising spin glass at nonzero temperature. We prove that the variance of this quantity with respect to the couplings grows proportionally to the volume in any dimension greater than or equal to two. As an illustration of potential applicat…
▽ More
We consider the free energy difference restricted to a finite volume for certain pairs of incongruent thermodynamic states (if they exist) in the Edwards-Anderson Ising spin glass at nonzero temperature. We prove that the variance of this quantity with respect to the couplings grows proportionally to the volume in any dimension greater than or equal to two. As an illustration of potential applications, we use this result to restrict the possible structure of Gibbs states in two dimensions.
△ Less
Submitted 21 April, 2014; v1 submitted 5 March, 2014;
originally announced March 2014.
-
Localization and centrality in networks
Authors:
Travis Martin,
Xiao Zhang,
M. E. J. Newman
Abstract:
Eigenvector centrality is a common measure of the importance of nodes in a network. Here we show that under common conditions the eigenvector centrality displays a localization transition that causes most of the weight of the centrality to concentrate on a small number of nodes in the network. In this regime the measure is no longer useful for distinguishing among the remaining nodes and its effic…
▽ More
Eigenvector centrality is a common measure of the importance of nodes in a network. Here we show that under common conditions the eigenvector centrality displays a localization transition that causes most of the weight of the centrality to concentrate on a small number of nodes in the network. In this regime the measure is no longer useful for distinguishing among the remaining nodes and its efficacy as a network metric is impaired. As a remedy, we propose an alternative centrality measure based on the nonbacktracking matrix, which gives results closely similar to the standard eigenvector centrality in dense networks where the latter is well behaved, but avoids localization and gives useful results in regimes where the standard centrality fails.
△ Less
Submitted 3 January, 2015; v1 submitted 20 January, 2014;
originally announced January 2014.
-
Spectra of random graphs with community structure and arbitrary degrees
Authors:
Xiao Zhang,
Raj Rao Nadakuditi,
M. E. J. Newman
Abstract:
Using methods from random matrix theory researchers have recently calculated the full spectra of random networks with arbitrary degrees and with community structure. Both reveal interesting spectral features, including deviations from the Wigner semicircle distribution and phase transitions in the spectra of community structured networks. In this paper we generalize both calculations, giving a pre…
▽ More
Using methods from random matrix theory researchers have recently calculated the full spectra of random networks with arbitrary degrees and with community structure. Both reveal interesting spectral features, including deviations from the Wigner semicircle distribution and phase transitions in the spectra of community structured networks. In this paper we generalize both calculations, giving a prescription for calculating the spectrum of a network with both community structure and an arbitrary degree distribution. In general the spectrum has two parts, a continuous spectral band, which can depart strongly from the classic semicircle form, and a set of outlying eigenvalues that indicate the presence of communities.
△ Less
Submitted 30 September, 2013;
originally announced October 2013.
-
Spectral community detection in sparse networks
Authors:
M. E. J. Newman
Abstract:
Spectral methods based on the eigenvectors of matrices are widely used in the analysis of network data, particularly for community detection and graph partitioning. Standard methods based on the adjacency matrix and related matrices, however, break down for very sparse networks, which includes many networks of practical interest. As a solution to this problem it has been recently proposed that we…
▽ More
Spectral methods based on the eigenvectors of matrices are widely used in the analysis of network data, particularly for community detection and graph partitioning. Standard methods based on the adjacency matrix and related matrices, however, break down for very sparse networks, which includes many networks of practical interest. As a solution to this problem it has been recently proposed that we focus instead on the spectrum of the non-backtracking matrix, an alternative matrix representation of a network that shows better behavior in the sparse limit. Inspired by this suggestion, we here make use of a relaxation method to derive a spectral community detection algorithm that works well even in the sparse regime where other methods break down. Interestingly, however, the matrix at the heart of the method, it turns out, is not exactly the non-backtracking matrix, but a variant of it with a somewhat different definition. We study the behavior of this variant matrix for both artificial and real-world networks and find it to have desirable properties, especially in the common case of networks with broad degree distributions, for which it appears to have a better behaved spectrum and eigenvectors than the original non-backtracking matrix.
△ Less
Submitted 29 August, 2013;
originally announced August 2013.
-
Spectral methods for network community detection and graph partitioning
Authors:
M. E. J. Newman
Abstract:
We consider three distinct and well studied problems concerning network structure: community detection by modularity maximization, community detection by statistical inference, and normalized-cut graph partitioning. Each of these problems can be tackled using spectral algorithms that make use of the eigenvectors of matrix representations of the network. We show that with certain choices of the fre…
▽ More
We consider three distinct and well studied problems concerning network structure: community detection by modularity maximization, community detection by statistical inference, and normalized-cut graph partitioning. Each of these problems can be tackled using spectral algorithms that make use of the eigenvectors of matrix representations of the network. We show that with certain choices of the free parameters appearing in these spectral algorithms the algorithms for all three problems are, in fact, identical, and hence that, at least within the spectral approximations used here, there is no difference between the modularity- and inference-based community detection methods, or between either and graph partitioning.
△ Less
Submitted 29 July, 2013;
originally announced July 2013.
-
Nature vs. Nurture: Predictability in Low-Temperature Ising Dynamics
Authors:
J. Ye,
J. Machta,
C. M. Newman,
D. L. Stein
Abstract:
Consider a dynamical many-body system with a random initial state subsequently evolving through stochastic dynamics. What is the relative importance of the initial state ("nature") vs. the realization of the stochastic dynamics ("nurture") in predicting the final state? We examined this question for the two-dimensional Ising ferromagnet following an initial deep quench from $T=\infty$ to $T=0$. We…
▽ More
Consider a dynamical many-body system with a random initial state subsequently evolving through stochastic dynamics. What is the relative importance of the initial state ("nature") vs. the realization of the stochastic dynamics ("nurture") in predicting the final state? We examined this question for the two-dimensional Ising ferromagnet following an initial deep quench from $T=\infty$ to $T=0$. We performed Monte Carlo studies on the overlap between "identical twins" raised in independent dynamical environments, up to size $L=500$. Our results suggest an overlap decaying with time as $t^{-θ_h}$ with $θ_h = 0.22 \pm 0.02$; the same exponent holds for a quench to low but nonzero temperature. This "heritability exponent" may equal the persistence exponent for the 2D Ising ferromagnet, but the two differ more generally.
△ Less
Submitted 23 October, 2013; v1 submitted 15 May, 2013;
originally announced May 2013.
-
Spectra of random graphs with arbitrary expected degrees
Authors:
Raj Rao Nadakuditi,
M. E. J. Newman
Abstract:
We study random graphs with arbitrary distributions of expected degree and derive expressions for the spectra of their adjacency and modularity matrices. We give a complete prescription for calculating the spectra that is exact in the limit of large network size and large vertex degrees. We also study the effect on the spectra of hubs in the network, vertices of unusually high degree, and show tha…
▽ More
We study random graphs with arbitrary distributions of expected degree and derive expressions for the spectra of their adjacency and modularity matrices. We give a complete prescription for calculating the spectra that is exact in the limit of large network size and large vertex degrees. We also study the effect on the spectra of hubs in the network, vertices of unusually high degree, and show that these produce isolated eigenvalues outside the main spectral band, akin to impurity states in condensed matter systems, with accompanying eigenvectors that are strongly localized around the hubs. We also give numerical results that confirm our analytic expressions.
△ Less
Submitted 6 August, 2012;
originally announced August 2012.
-
Spin Glasses: Old and New Complexity
Authors:
D. L. Stein,
C. M. Newman
Abstract:
Spin glasses are disordered magnetic systems that exhibit a variety of properties that are characteristic of complex systems. After a brief review of basic spin glass concepts, their use in areas such as computer science, biology, and other fields will be explored. This use and its underlying basis will be termed old complexity. Newer concepts and ideas flowing from more recent studies of spin gla…
▽ More
Spin glasses are disordered magnetic systems that exhibit a variety of properties that are characteristic of complex systems. After a brief review of basic spin glass concepts, their use in areas such as computer science, biology, and other fields will be explored. This use and its underlying basis will be termed old complexity. Newer concepts and ideas flowing from more recent studies of spin glasses will then be discussed, leading to a proposal for a kind of new complexity.
△ Less
Submitted 15 May, 2012;
originally announced May 2012.
-
Graph spectra and the detectability of community structure in networks
Authors:
Raj Rao Nadakuditi,
M. E. J. Newman
Abstract:
We study networks that display community structure -- groups of nodes within which connections are unusually dense. Using methods from random matrix theory, we calculate the spectra of such networks in the limit of large size, and hence demonstrate the presence of a phase transition in matrix methods for community detection, such as the popular modularity maximization method. The transition separa…
▽ More
We study networks that display community structure -- groups of nodes within which connections are unusually dense. Using methods from random matrix theory, we calculate the spectra of such networks in the limit of large size, and hence demonstrate the presence of a phase transition in matrix methods for community detection, such as the popular modularity maximization method. The transition separates a regime in which such methods successfully detect the community structure from one in which the structure is present but is not detected. By comparing these results with recent analyses of maximum-likelihood methods we are able to show that spectral modularity maximization is an optimal detection method in the sense that no other method will succeed in the regime where the modularity method fails.
△ Less
Submitted 8 May, 2012;
originally announced May 2012.
-
Complex Systems: A Survey
Authors:
M. E. J. Newman
Abstract:
A complex system is a system composed of many interacting parts, often called agents, which displays collective behavior that does not follow trivially from the behaviors of the individual parts. Examples include condensed matter systems, ecosystems, stock markets and economies, biological evolution, and indeed the whole of human society. Substantial progress has been made in the quantitative unde…
▽ More
A complex system is a system composed of many interacting parts, often called agents, which displays collective behavior that does not follow trivially from the behaviors of the individual parts. Examples include condensed matter systems, ecosystems, stock markets and economies, biological evolution, and indeed the whole of human society. Substantial progress has been made in the quantitative understanding of complex systems, particularly since the 1980s, using a combination of basic theory, much of it derived from physics, and computer simulation. The subject is a broad one, drawing on techniques and ideas from a wide range of areas. Here I give a survey of the main themes and methods of complex systems science and an annotated bibliography of resources, ranging from classic papers to recent books and reviews.
△ Less
Submitted 6 December, 2011;
originally announced December 2011.
-
Competing epidemics on complex networks
Authors:
Brian Karrer,
M. E. J. Newman
Abstract:
Human diseases spread over networks of contacts between individuals and a substantial body of recent research has focused on the dynamics of the spreading process. Here we examine a model of two competing diseases spreading over the same network at the same time, where infection with either disease gives an individual subsequent immunity to both. Using a combination of analytic and numerical metho…
▽ More
Human diseases spread over networks of contacts between individuals and a substantial body of recent research has focused on the dynamics of the spreading process. Here we examine a model of two competing diseases spreading over the same network at the same time, where infection with either disease gives an individual subsequent immunity to both. Using a combination of analytic and numerical methods, we derive the phase diagram of the system and estimates of the expected final numbers of individuals infected with each disease. The system shows an unusual dynamical transition between dominance of one disease and dominance of the other as a function of their relative rates of growth. Close to this transition the final outcomes show strong dependence on stochastic fluctuations in the early stages of growth, dependence that decreases with increasing network size, but does so sufficiently slowly as still to be easily visible in systems with millions or billions of individuals. In most regions of the phase diagram we find that one disease eventually dominates while the other reaches only a vanishing fraction of the network, but the system also displays a significant coexistence regime in which both diseases reach epidemic proportions and infect an extensive fraction of the network.
△ Less
Submitted 17 May, 2011;
originally announced May 2011.
-
An efficient and principled method for detecting communities in networks
Authors:
Brian Ball,
Brian Karrer,
M. E. J. Newman
Abstract:
A fundamental problem in the analysis of network data is the detection of network communities, groups of densely interconnected nodes, which may be overlap** or disjoint. Here we describe a method for finding overlap** communities based on a principled statistical approach using generative network models. We show how the method can be implemented using a fast, closed-form expectation-maximizat…
▽ More
A fundamental problem in the analysis of network data is the detection of network communities, groups of densely interconnected nodes, which may be overlap** or disjoint. Here we describe a method for finding overlap** communities based on a principled statistical approach using generative network models. We show how the method can be implemented using a fast, closed-form expectation-maximization algorithm that allows us to analyze networks of millions of nodes in reasonable running times. We test the method both on real-world networks and on synthetic benchmarks and find that it gives results competitive with previous methods. We also show that the same approach can be used to extract nonoverlap** community divisions via a relaxation method, and demonstrate that the algorithm is competitively fast and accurate for the nonoverlap** problem.
△ Less
Submitted 18 April, 2011;
originally announced April 2011.
-
Stochastic blockmodels and community structure in networks
Authors:
Brian Karrer,
M. E. J. Newman
Abstract:
Stochastic blockmodels have been proposed as a tool for detecting community structure in networks as well as for generating synthetic networks for use as benchmarks. Most blockmodels, however, ignore variation in vertex degree, making them unsuitable for applications to real-world networks, which typically display broad degree distributions that can significantly distort the results. Here we demon…
▽ More
Stochastic blockmodels have been proposed as a tool for detecting community structure in networks as well as for generating synthetic networks for use as benchmarks. Most blockmodels, however, ignore variation in vertex degree, making them unsuitable for applications to real-world networks, which typically display broad degree distributions that can significantly distort the results. Here we demonstrate how the generalization of blockmodels to incorporate this missing element leads to an improved objective function for community detection in complex networks. We also propose a heuristic algorithm for community detection using this objective function or its non-degree-corrected counterpart and show that the degree-corrected version dramatically outperforms the uncorrected one in both real-world and synthetic networks.
△ Less
Submitted 23 August, 2010;
originally announced August 2010.
-
Random graphs containing arbitrary distributions of subgraphs
Authors:
Brian Karrer,
M. E. J. Newman
Abstract:
Traditional random graph models of networks generate networks that are locally tree-like, meaning that all local neighborhoods take the form of trees. In this respect such models are highly unrealistic, most real networks having strongly non-tree-like neighborhoods that contain short loops, cliques, or other biconnected subgraphs. In this paper we propose and analyze a new class of random graph…
▽ More
Traditional random graph models of networks generate networks that are locally tree-like, meaning that all local neighborhoods take the form of trees. In this respect such models are highly unrealistic, most real networks having strongly non-tree-like neighborhoods that contain short loops, cliques, or other biconnected subgraphs. In this paper we propose and analyze a new class of random graph models that incorporates general subgraphs, allowing for non-tree-like neighborhoods while still remaining solvable for many fundamental network properties. Among other things we give solutions for the size of the giant component, the position of the phase transition at which the giant component appears, and percolation properties for both site and bond percolation on networks generated by the model.
△ Less
Submitted 10 May, 2010;
originally announced May 2010.
-
A message passing approach for general epidemic models
Authors:
Brian Karrer,
M. E. J. Newman
Abstract:
In most models of the spread of disease over contact networks it is assumed that the probabilities per unit time of disease transmission and recovery from disease are constant, implying exponential distributions of the time intervals for transmission and recovery. Time intervals for real diseases, however, have distributions that in most cases are far from exponential, which leads to disagreements…
▽ More
In most models of the spread of disease over contact networks it is assumed that the probabilities per unit time of disease transmission and recovery from disease are constant, implying exponential distributions of the time intervals for transmission and recovery. Time intervals for real diseases, however, have distributions that in most cases are far from exponential, which leads to disagreements, both qualitative and quantitative, with the models. In this paper, we study a generalized version of the SIR (susceptible-infected-recovered) model of epidemic disease that allows for arbitrary distributions of transmission and recovery times. Standard differential equation approaches cannot be used for this generalized model, but we show that the problem can be reformulated as a time-dependent message passing calculation on the appropriate contact network. The calculation is exact on trees (i.e., loopless networks) or locally tree-like networks (such as random graphs) in the large system size limit. On non-tree-like networks we show that the calculation gives a rigorous bound on the size of disease outbreaks. We demonstrate the method with applications to two specific models and the results compare favorably with numerical simulations.
△ Less
Submitted 22 July, 2010; v1 submitted 29 March, 2010;
originally announced March 2010.
-
Random graph models for directed acyclic networks
Authors:
Brian Karrer,
M. E. J. Newman
Abstract:
We study random graph models for directed acyclic graphs, an important class of networks that includes citation networks, food webs, and feed-forward neural networks among others. We propose two specific models, roughly analogous to the fixed edge number and fixed edge probability variants of traditional undirected random graphs. We calculate a number of properties of these models, including par…
▽ More
We study random graph models for directed acyclic graphs, an important class of networks that includes citation networks, food webs, and feed-forward neural networks among others. We propose two specific models, roughly analogous to the fixed edge number and fixed edge probability variants of traditional undirected random graphs. We calculate a number of properties of these models, including particularly the probability of connection between a given pair of vertices, and compare the results with real-world acyclic network data finding that theory and measurements agree surprisingly well -- far better than the often poor agreement of other random graph models with their corresponding real-world networks.
△ Less
Submitted 24 July, 2009;
originally announced July 2009.
-
Random graphs with clustering
Authors:
M. E. J. Newman
Abstract:
We offer a solution to a long-standing problem in the physics of networks, the creation of a plausible, solvable model of a network that displays clustering or transitivity -- the propensity for two neighbors of a network node also to be neighbors of one another. We show how standard random graph models can be generalized to incorporate clustering and give exact solutions for various properties…
▽ More
We offer a solution to a long-standing problem in the physics of networks, the creation of a plausible, solvable model of a network that displays clustering or transitivity -- the propensity for two neighbors of a network node also to be neighbors of one another. We show how standard random graph models can be generalized to incorporate clustering and give exact solutions for various properties of the resulting networks, including sizes of network components, size of the giant component if there is one, position of the phase transition at which the giant component forms, and position of the phase transition for percolation on the network.
△ Less
Submitted 23 March, 2009;
originally announced March 2009.