-
Partons from stabilizer codes
Authors:
Rafael A. Macedo,
Carlo C. Bellinati,
Weslei B. Fontana,
Eric C. Andrade,
Rodrigo G. Pereira
Abstract:
The Gutzwiller projection of fermionic wave functions is a well-established method for generating variational wave functions describing exotic states of matter, such as quantum spin liquids. We investigate the conditions under which a projected wave function constructed from fermionic partons can be rigorously shown to possess topological order. We demonstrate that these conditions can be precisel…
▽ More
The Gutzwiller projection of fermionic wave functions is a well-established method for generating variational wave functions describing exotic states of matter, such as quantum spin liquids. We investigate the conditions under which a projected wave function constructed from fermionic partons can be rigorously shown to possess topological order. We demonstrate that these conditions can be precisely determined in the case of projected Majorana stabilizer codes. We then use matrix product states to study states that interpolate between two distinct Majorana fermion codes, one yielding a $\mathbb Z_2$ spin liquid and the other a trivial polarized state upon projection. While the free-fermion states are adiabatically connected, we find that the projected states undergo a phase transition detected by the topological entanglement entropy. Our work underscores the profound impact of the Gutzwiller projection and cautions against inferring properties of quantum spin liquids solely from their unprojected counterparts.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
The spin-orbital Kitaev model: from kagome spin ice to classical fractons
Authors:
Weslei B. Fontana,
Fabrizio G. Oliviero,
Rodrigo G. Pereira,
Willian M. H. Natori
Abstract:
We study an exactly solvable spin-orbital model that can be regarded as a classical analogue of the celebrated Kitaev honeycomb model and describes interactions between Rydberg atoms on the ruby lattice. We leverage its local and nonlocal symmetries to determine the exact partition function and the static structure factor. A mapping between $S=3/2$ models on the honeycomb lattice and kagome spin H…
▽ More
We study an exactly solvable spin-orbital model that can be regarded as a classical analogue of the celebrated Kitaev honeycomb model and describes interactions between Rydberg atoms on the ruby lattice. We leverage its local and nonlocal symmetries to determine the exact partition function and the static structure factor. A mapping between $S=3/2$ models on the honeycomb lattice and kagome spin Hamiltonians allows us to interpret the thermodynamic properties in terms of a classical kagome spin ice. Partially lifting the symmetries associated with line operators, we obtain a model characterized by immobile excitations, called classical fractons, and a ground state degeneracy that increases exponentially with the length of the system. We formulate a continuum theory that reveals the underlying gauge structure and conserved charges. Extensions of our theory to other lattices and higher-spin systems are suggested.
△ Less
Submitted 22 April, 2025; v1 submitted 28 January, 2025;
originally announced January 2025.
-
Automated Inference of Graph Transformation Rules
Authors:
Jakob L. Andersen,
Akbar Davoodi,
Rolf Fagerberg,
Christoph Flamm,
Walter Fontana,
Juri Kolčák,
Christophe V. F. P. Laurent,
Daniel Merkle,
Nikolai Nøjgaard
Abstract:
The explosion of data available in life sciences is fueling an increasing demand for expressive models and computational methods. Graph transformation is a model for dynamic systems with a large variety of applications. We introduce a novel method of the graph transformation model construction, combining generative and dynamical viewpoints to give a fully automated data-driven model inference meth…
▽ More
The explosion of data available in life sciences is fueling an increasing demand for expressive models and computational methods. Graph transformation is a model for dynamic systems with a large variety of applications. We introduce a novel method of the graph transformation model construction, combining generative and dynamical viewpoints to give a fully automated data-driven model inference method.
The method takes the input dynamical properties, given as a "snapshot" of the dynamics encoded by explicit transitions, and constructs a compatible model. The obtained model is guaranteed to be minimal, thus framing the approach as model compression (from a set of transitions into a set of rules). The compression is permissive to a lossy case, where the constructed model is allowed to exhibit behavior outside of the input transitions, thus suggesting a completion of the input dynamics.
The task of graph transformation model inference is naturally highly challenging due to the combinatorics involved. We tackle the exponential explosion by proposing a heuristically minimal translation of the task into a well-established problem, set cover, for which highly optimized solutions exist. We further showcase how our results relate to Kolmogorov complexity expressed in terms of graph transformation.
△ Less
Submitted 18 December, 2024; v1 submitted 3 April, 2024;
originally announced April 2024.
-
Majorana Fermi surface state in a network of quantum spin chains
Authors:
Fabrizio G. Oliviero,
Weslei B. Fontana,
Rodrigo G. Pereira
Abstract:
We use junctions of critical spin-1 chains as the basic elements to construct a honeycomb network that harbors a gapless chiral spin liquid phase. The low-energy modes are described by spin-1 Majorana fermions that form a two-dimensional Fermi surface when the interactions at the junctions are tuned to the vicinity of chiral fixed points with staggered chirality. We discuss the physical properties…
▽ More
We use junctions of critical spin-1 chains as the basic elements to construct a honeycomb network that harbors a gapless chiral spin liquid phase. The low-energy modes are described by spin-1 Majorana fermions that form a two-dimensional Fermi surface when the interactions at the junctions are tuned to the vicinity of chiral fixed points with staggered chirality. We discuss the physical properties and the stability of this chiral spin liquid phase against perturbations from the point of view of the effective field theory for the network. We find clear connections with the excitation spectrum obtained in parton constructions on the kagome lattice.
△ Less
Submitted 19 February, 2024; v1 submitted 14 October, 2023;
originally announced October 2023.
-
Boundary Modes in the Chamon Model
Authors:
Weslei B. Fontana,
Rodrigo G. Pereira
Abstract:
We study the fracton phase described by the Chamon model in a manifold with a boundary. The new processes and excitations emerging at the boundary can be understood by means of a diagrammatic framework. From a continuum perspective, the boundary theory is described by a set of scalar fields in similarity with the standard $K$-matrix Chern-Simons theory. The continuum theory recovers the gapped bou…
▽ More
We study the fracton phase described by the Chamon model in a manifold with a boundary. The new processes and excitations emerging at the boundary can be understood by means of a diagrammatic framework. From a continuum perspective, the boundary theory is described by a set of scalar fields in similarity with the standard $K$-matrix Chern-Simons theory. The continuum theory recovers the gapped boundaries of the lattice model once we include sufficiently strong interactions that break charge conservation. The analysis of the perturbative relevance of the leading interactions reveals a regime in which the Chamon model can have a stable gapless fractonic phase at its boundary.
△ Less
Submitted 21 April, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Translation of a 1971 paper by Otto Rössler with added margin notes and a commentary
Authors:
Walter Fontana,
Philipp Honegger
Abstract:
Some time ago we came across a rather unknown and, in our opinion, intriguing paper by Otto Rössler on autocatalysis. That the paper is written in German might be one reason for having spent 50 years below the radar despite being of potential interest to many people in the field (as we found anecdotally). We felt it is time to translate it. We provide some margin notes and a commentary/introductio…
▽ More
Some time ago we came across a rather unknown and, in our opinion, intriguing paper by Otto Rössler on autocatalysis. That the paper is written in German might be one reason for having spent 50 years below the radar despite being of potential interest to many people in the field (as we found anecdotally). We felt it is time to translate it. We provide some margin notes and a commentary/introduction that has been solicited for a book project aimed at a general scientific audience.
△ Less
Submitted 10 September, 2022;
originally announced September 2022.
-
Effective Fractonic Behavior in a Two-Dimensional Exactly Solvable Spin Liquid
Authors:
Guilherme Delfino,
Weslei B. Fontana,
Pedro R. S. Gomes,
Claudio Chamon
Abstract:
In this work we propose a $\mathbb{Z}_N$ clock model which is exactly solvable on the lattice. We find exotic properties for the low-energy physics, such as UV/IR mixing and excitations with restricted mobility, that resemble fractonic physics from higher dimensional models. We then study the continuum descriptions for the lattice system in two distinct regimes and find two qualitative distinct fi…
▽ More
In this work we propose a $\mathbb{Z}_N$ clock model which is exactly solvable on the lattice. We find exotic properties for the low-energy physics, such as UV/IR mixing and excitations with restricted mobility, that resemble fractonic physics from higher dimensional models. We then study the continuum descriptions for the lattice system in two distinct regimes and find two qualitative distinct field theories for each one of them. A characteristic time scale that grows exponentially fast with $N^2$ (and diverges rapidly as a function of system parameters) separates these two regimes. For times below this scale, the system is described by an effective fractonic Chern-Simons-like action, where higher-form symmetries prevent quasiparticles from hoping. In this regime, the system behaves effectively as a fracton as isolated particles, in practice, never leave their original position. Beyond the large characteristic time scale, the excitations are mobile and the effective field theory is given by a pure mutual Chern-Simons action. In this regime, the UV/IR properties of the system are captured by a peculiar realization of the translation group.
△ Less
Submitted 6 October, 2022; v1 submitted 1 July, 2022;
originally announced July 2022.
-
Representing catalytic mechanisms with rule composition
Authors:
Jakob L. Andersen,
Rolf Fagerberg,
Christoph Flamm,
Walter Fontana,
Juri Kolčák,
Christophe V. F. P. Laurent,
Daniel Merkle,
Nikolai Nøjgaard
Abstract:
Reaction mechanisms are often presented as sequences of elementary steps, such as codified by arrow pushing. We propose an approach for representing such mechanisms using graph transformation. In this framework, each elementary step is a rule for modifying a molecular graph and a mechanism is a sequence of such rules. To generate a compact representation of a multi-step reaction, we compose the ru…
▽ More
Reaction mechanisms are often presented as sequences of elementary steps, such as codified by arrow pushing. We propose an approach for representing such mechanisms using graph transformation. In this framework, each elementary step is a rule for modifying a molecular graph and a mechanism is a sequence of such rules. To generate a compact representation of a multi-step reaction, we compose the rules of individual steps into a composite rule, providing a rigorous and fully automated approach to coarse-graining. While the composite rule retains the graphical conditions necessary for the execution of a mechanism, it also records information about transient changes not visible by comparing educts and products. By projecting the rule onto a single "overlay graph", we generalize Fujita's idea of an Imaginary Transition Structure from elementary reactions to composite reactions. The utility of the overlay graph construct is exemplified in the context of enzyme-catalyzed reactions. In a first application, we exploit mechanistic information in the Mechanism and Catalytic Site Atlas to construct overlay graphs of hydrolase reactions listed in the database. These graphs point at a spectrum of catalytic entanglement of enzyme and substrate, de-emphasizing the notion of a singular catalyst in favor of a collection of catalytic sites that can be distributed across enzyme and substrate. In a second application, we deploy composite rules to search the Rhea database for reactions of known or unknown mechanism that are, in principle, compatible with the mechanisms implied by the composite rules. We believe this work adds to the utility of graph-transformation formalisms in representing and reasoning about chemistry in an automated yet insightful fashion.
△ Less
Submitted 25 August, 2022; v1 submitted 12 January, 2022;
originally announced January 2022.
-
Cayley Graphs of Semigroups Applied to Atom Tracking in Chemistry
Authors:
Nikolai Nøjgaard,
Walter Fontana,
Marc Hellmuth,
Daniel Merkle
Abstract:
While atom tracking with isotope-labeled compounds is an essential and sophisticated wet-lab tool in order to, e.g., illuminate reaction mechanisms, there exists only a limited amount of formal methods to approach the problem. Specifically when large (bio-)chemical networks are considered where reactions are stereo-specific, rigorous techniques are inevitable. We present an approach using the righ…
▽ More
While atom tracking with isotope-labeled compounds is an essential and sophisticated wet-lab tool in order to, e.g., illuminate reaction mechanisms, there exists only a limited amount of formal methods to approach the problem. Specifically when large (bio-)chemical networks are considered where reactions are stereo-specific, rigorous techniques are inevitable. We present an approach using the right Cayley graph of a monoid in order to track atoms concurrently through sequences of reactions and predict their potential location in product molecules. This can not only be used to systematically build hypothesis or reject reaction mechanisms (we will use the ANRORC mechanism "Addition of the Nucleophile, Ring Opening, and Ring Closure" as an example), but also to infer naturally occurring subsystems of (bio-)chemical systems. Our results include the analysis of the carbon traces within the TCA cycle and infer subsystems based on projections of the right Cayley graph onto a set of relevant atoms.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Field Theories for type-II fractons
Authors:
Weslei B. Fontana,
Pedro R. S. Gomes,
Claudio Chamon
Abstract:
We derive an effective field theory for a type-II fracton starting from the Haah code on the lattice. The effective topological theory is not given exclusively in terms of an action; it must be supplemented with a condition that selects physical states. Without the constraint, the action only describes a type-I fracton. The constraint emerges from a condition that cube operators multiply to the id…
▽ More
We derive an effective field theory for a type-II fracton starting from the Haah code on the lattice. The effective topological theory is not given exclusively in terms of an action; it must be supplemented with a condition that selects physical states. Without the constraint, the action only describes a type-I fracton. The constraint emerges from a condition that cube operators multiply to the identity, and it cannot be consistently implemented in the continuum theory at the operator level, but only in a weaker form, in terms of matrix elements of physical states. Informed by these studies and starting from the opposite end, i.e., the continuum, we discuss a Chern-Simons-like theory that does not need a constraint or projector, and yet has no mobile excitations. Whether this continuum theory admits a lattice counterpart remains unanswered.
△ Less
Submitted 16 February, 2022; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Graph Transformation for Enzymatic Mechanisms
Authors:
Jakob L. Andersen,
Rolf Fagerberg,
Christoph Flamm,
Walter Fontana,
Juraj Kolčák,
Christophe V. F. P. Laurent,
Daniel Merkle,
Nikolai Nøjaard
Abstract:
Motivation: The design of enzymes is as challenging as it is consequential for making chemical synthesis in medical and industrial applications more efficient, cost-effective and environmentally friendly. While several aspects of this complex problem are computationally assisted, the drafting of catalytic mechanisms, i.e. the specification of the chemical steps-and hence intermediate states-that t…
▽ More
Motivation: The design of enzymes is as challenging as it is consequential for making chemical synthesis in medical and industrial applications more efficient, cost-effective and environmentally friendly. While several aspects of this complex problem are computationally assisted, the drafting of catalytic mechanisms, i.e. the specification of the chemical steps-and hence intermediate states-that the enzyme is meant to implement, is largely left to human expertise. The ability to capture specific chemistries of multi-step catalysis in a fashion that enables its computational construction and design is therefore highly desirable and would equally impact the elucidation of existing enzymatic reactions whose mechanisms are unknown. Results: We use the mathematical framework of graph transformation to express the distinction between rules and reactions in chemistry. We derive about 1000 rules for amino acid side chain chemistry from the M-CSA database, a curated repository of enzymatic mechanisms. Using graph transformation we are able to propose hundreds of hypothetical catalytic mechanisms for a large number of unrelated reactions in the Rhea database. We analyze these mechanisms to find that they combine in chemically sound fashion individual steps from a variety of known multi-step mechanisms, showing that plausible novel mechanisms for catalysis can be constructed computationally.
△ Less
Submitted 26 March, 2021; v1 submitted 5 February, 2021;
originally announced February 2021.
-
Balancing conservative and disruptive growth in the voter model
Authors:
Robert J. H. Ross,
Walter Fontana
Abstract:
We are concerned with how the implementation of growth determines the expected number of state-changes in a growing self-organizing process. With this problem in mind, we examine two versions of the voter model on a one-dimensional growing lattice. Our main result asserts that the expected number of state-changes before an absorbing state is found can be controlled by balancing the conservative an…
▽ More
We are concerned with how the implementation of growth determines the expected number of state-changes in a growing self-organizing process. With this problem in mind, we examine two versions of the voter model on a one-dimensional growing lattice. Our main result asserts that the expected number of state-changes before an absorbing state is found can be controlled by balancing the conservative and disruptive forces of growth. This is because conservative growth preserves the self-organization of the voter model as it searches for an absorbing state, whereas disruptive growth undermines this self-organization. In particular, we focus on controlling the expected number of state-changes as the rate of growth tends to zero or infinity in the limit. These results illustrate how growth can affect the costs of self-organization and so are pertinent to the physics of growing active matter.
△ Less
Submitted 20 March, 2021; v1 submitted 21 October, 2020;
originally announced November 2020.
-
Lattice Clifford fractons and their Chern-Simons-like theory
Authors:
Weslei B. Fontana,
Pedro R. S. Gomes,
Claudio Chamon
Abstract:
We use Dirac matrix representations of the Clifford algebra to build fracton models on the lattice and their effective Chern-Simons-like theory. As an example we build lattice fractons in odd $D$ spatial dimensions and their $(D+1)$ effective theory. The model possesses an anti-symmetric $K$ matrix resembling that of hierarchical quantum Hall states. The gauge charges are conserved in sub-dimensio…
▽ More
We use Dirac matrix representations of the Clifford algebra to build fracton models on the lattice and their effective Chern-Simons-like theory. As an example we build lattice fractons in odd $D$ spatial dimensions and their $(D+1)$ effective theory. The model possesses an anti-symmetric $K$ matrix resembling that of hierarchical quantum Hall states. The gauge charges are conserved in sub-dimensional manifolds which ensures the fractonic behavior. The construction extends to any lattice fracton model built from commuting projectors and with tensor products of spin-$1/2$ degrees of freedom at the sites.
△ Less
Submitted 14 April, 2021; v1 submitted 17 June, 2020;
originally announced June 2020.
-
RuleVis: Constructing Patterns and Rules for Rule-Based Models
Authors:
David Abramov,
Jasmine Otto,
Mahika Dubey,
Cassia Artanegara,
Pierre Boutillier,
Walter Fontana,
Angus G. Forbes
Abstract:
We introduce RuleVis, a web-based application for defining and editing "correct-by-construction" executable rules that model biochemical functionality, which can be used to simulate the behavior of protein-protein interaction networks and other complex systems. Rule-based models involve emergent effects based on the interactions between rules, which can vary considerably with regard to the scale o…
▽ More
We introduce RuleVis, a web-based application for defining and editing "correct-by-construction" executable rules that model biochemical functionality, which can be used to simulate the behavior of protein-protein interaction networks and other complex systems. Rule-based models involve emergent effects based on the interactions between rules, which can vary considerably with regard to the scale of a model, requiring the user to inspect and edit individual rules. RuleVis bridges the graph rewriting and systems biology research communities by providing an external visual representation of salient patterns that experts can use to determine the appropriate level of detail for a particular modeling context. We describe the visualization and interaction features available in RuleVisand provide a detailed example demonstrating how RuleVis can be used to reason about intracellular interactions.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Combinatorial protein-protein interactions on a polymerizing scaffold
Authors:
Andrés Ortiz-Muñoz,
Héctor F. Medina-Abarca,
Walter Fontana
Abstract:
Scaffold proteins organize cellular processes by bringing signaling molecules into interaction, sometimes by forming large signalosomes. Several of these scaffolds are known to polymerize. Their assemblies should therefore not be understood as stoichiometric aggregates, but as combinatorial ensembles. We analyze the combinatorial interaction of ligands loaded on polymeric scaffolds, in both a cont…
▽ More
Scaffold proteins organize cellular processes by bringing signaling molecules into interaction, sometimes by forming large signalosomes. Several of these scaffolds are known to polymerize. Their assemblies should therefore not be understood as stoichiometric aggregates, but as combinatorial ensembles. We analyze the combinatorial interaction of ligands loaded on polymeric scaffolds, in both a continuum and discrete setting, and compare it with multivalent scaffolds with fixed number of binding sites. The quantity of interest is the abundance of ligand interaction possibilities---the catalytic potential $Q$---in a configurational mixture. Upon increasing scaffold abundance, scaffolding systems are known to first increase opportunities for ligand interaction and then to shut them down as ligands become isolated on distinct scaffolds. The polymerizing system stands out in that the dependency of $Q$ on protomer concentration switches from being dominated by a first order to a second order term within a range determined by the polymerization affinity. This behavior boosts $Q$ beyond that of any multivalent scaffold system. In addition, the subsequent drop-off is considerably mitigated in that $Q$ decreases with half the power in protomer concentration than for any multivalent scaffold. We explain this behavior in terms of how the concentration profile of the polymer length distribution adjusts to changes in protomer concentration and affinity. The discrete case turns out to be similar, but the behavior can be exaggerated at small protomer numbers because of a maximal polymer size, analogous to finite-size effects in bond percolation on a lattice.
△ Less
Submitted 23 July, 2019;
originally announced July 2019.
-
From Quantum Wires to the Chern-Simons Description of the Fractional Quantum Hall Effect
Authors:
Weslei B. Fontana,
Pedro R. S. Gomes,
Carlos A. Hernaski
Abstract:
We show the explicit connection between two distinct and complementary approaches to the fractional quantum Hall system (FQHS): the quantum wires formalism and the topological low-energy effective description given in terms of an Abelian Chern-Simons theory. The quantum wires approach provides a description of the FQHS directly in terms of fermions arranged in an array of one-dimensional coupled w…
▽ More
We show the explicit connection between two distinct and complementary approaches to the fractional quantum Hall system (FQHS): the quantum wires formalism and the topological low-energy effective description given in terms of an Abelian Chern-Simons theory. The quantum wires approach provides a description of the FQHS directly in terms of fermions arranged in an array of one-dimensional coupled wires. In this sense it is usually referred to as a microscopic description. On the other hand, the effective theory has no connection with the microscopic modes, involving only the emergent topological degrees of freedom embodied in an Abelian Chern-Simons gauge field, which somehow encodes the collective motion of the strongly correlated electrons. The basic strategy pursued in this work is to bosonize the quantum wires system and then consider the continuum limit. By examining the algebra of the bosonic operators of the Hamiltonian, we are able to identify the bosonized microscopic fields with the components of the field strength (electric and magnetic fields) of the emergent gauge field. Thus our study provides a bridge between the microscopic physical degrees of freedom and the emergent topological ones, without relying on the bulk-edge correspondence.
△ Less
Submitted 1 June, 2019; v1 submitted 6 February, 2019;
originally announced February 2019.
-
Interactions between Causal Structures in Graph Rewriting Systems
Authors:
Ioana Cristescu,
Walter Fontana,
Jean Krivine
Abstract:
Graph rewrite formalisms are a powerful approach to modeling complex molecular systems. They capture the intrinsic concurrency of molecular interactions, thereby enabling a formal notion of mechanism (a partially ordered set of events) that explains how a system achieves a particular outcome given a set of rewrite rules. It is then useful to verify whether the mechanisms that emerge from a given m…
▽ More
Graph rewrite formalisms are a powerful approach to modeling complex molecular systems. They capture the intrinsic concurrency of molecular interactions, thereby enabling a formal notion of mechanism (a partially ordered set of events) that explains how a system achieves a particular outcome given a set of rewrite rules. It is then useful to verify whether the mechanisms that emerge from a given model comply with empirical observations about their mutual interference. In this work, our objective is to determine whether a specific event in the mechanism for achieving X prevents or promotes the occurrence of a specific event in the mechanism for achieving Y. Such checks might also be used to hypothesize rules that would bring model mechanisms in compliance with observations. We define a rigorous framework for defining the concept of interference (positive or negative) between mechanisms induced by a system of graph-rewrite rules and for establishing whether an asserted influence can be realized given two mechanisms as an input.
△ Less
Submitted 2 January, 2019;
originally announced January 2019.
-
Modeling random walkers on growing random networks
Authors:
Robert Ross,
Walter Fontana
Abstract:
We present continuum models that describe the evolution of the position of a random walker on a growing network using four different growth algorithms. Three of these involve a random element, including one in which the motility rate of the random walker controls the network topology. For motility rates in which the position of the walker can be treated as quasi-stationary, we present accurate app…
▽ More
We present continuum models that describe the evolution of the position of a random walker on a growing network using four different growth algorithms. Three of these involve a random element, including one in which the motility rate of the random walker controls the network topology. For motility rates in which the position of the walker can be treated as quasi-stationary, we present accurate approximations to replace pair probabilities that allow us to numerically solve an otherwise intractable system of equations.
△ Less
Submitted 19 April, 2019; v1 submitted 22 December, 2018;
originally announced December 2018.
-
A random walker's view of networks whose growth it shapes
Authors:
Robert J. H. Ross,
Charlotte Strandkvist,
Walter Fontana
Abstract:
We study a simple model in which the growth of a network is determined by the location of one or more random walkers. Depending on walker speed, the model generates a spectrum of structures situated between well-known limiting cases. We demonstrate that the average degree observed by a walker is related to the global variance. Modulating the extent to which the location of node attachment is deter…
▽ More
We study a simple model in which the growth of a network is determined by the location of one or more random walkers. Depending on walker speed, the model generates a spectrum of structures situated between well-known limiting cases. We demonstrate that the average degree observed by a walker is related to the global variance. Modulating the extent to which the location of node attachment is determined by the walker as opposed to random selection is akin to scaling the speed of the walker and generates new limiting behavior. The model raises questions about energetic and computational resource requirements in a physical instantiation.
△ Less
Submitted 24 January, 2020; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Compressibility of random walker trajectories on growing networks
Authors:
Robert J. H. Ross,
Charlotte Strandkvist,
Walter Fontana
Abstract:
We find that the simple coupling of network growth to the position of a random walker on the network generates a traveling wave in the probability distribution of nodes visited by the walker. We argue that the entropy of this probability distribution is bounded as the network size tends to infinity. This means that the growth of a space coupled to a random walker situated in it constrains its dyna…
▽ More
We find that the simple coupling of network growth to the position of a random walker on the network generates a traveling wave in the probability distribution of nodes visited by the walker. We argue that the entropy of this probability distribution is bounded as the network size tends to infinity. This means that the growth of a space coupled to a random walker situated in it constrains its dynamics to a set of typical random walker trajectories, and walker trajectories inside the growing space are compressible.
△ Less
Submitted 4 April, 2019; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Embodying probabilistic inference in biochemical circuits
Authors:
Yarden Katz,
Michael Springer,
Walter Fontana
Abstract:
Probabilistic inference provides a language for describing how organisms may learn from and adapt to their environment. The computations needed to implement probabilistic inference often require specific representations, akin to having the suitable data structures for implementing certain algorithms in computer programming. Yet it is unclear how such representations can be instantiated in the stoc…
▽ More
Probabilistic inference provides a language for describing how organisms may learn from and adapt to their environment. The computations needed to implement probabilistic inference often require specific representations, akin to having the suitable data structures for implementing certain algorithms in computer programming. Yet it is unclear how such representations can be instantiated in the stochastic, parallel-running biochemical machinery found in cells (such as single-celled organisms). Here, we show how representations for supporting inference in Markov models can be embodied in cellular circuits, by combining a concentration-dependent scheme for encoding probabilities with a mechanism for directional counting. We show how the logic of protein production and degradation constrains the computation we set out to implement. We argue that this process by which an abstract computation is shaped by its biochemical realization strikes a compromise between "rationalistic" information-processing perspectives and alternative approaches that emphasize embodiment.
△ Less
Submitted 26 June, 2018;
originally announced June 2018.
-
Extended quasilocal Thermodynamics of Schwarzchild-anti de Sitter black holes
Authors:
W. B. Fontana,
M. C. Baldiotti,
R. Fresneda,
C. Molina
Abstract:
In this work we study a homogeneous and quasilocal Thermodynamics associated to the Schwarzschild-anti de Sitter black hole. The usual thermodynamic description is extended within a Hamiltonian approach with the introduction of the cosmological constant in the thermodynamic phase space. The treatment presented is consistent in as much as it respects the laws of black hole Thermodynamics and accept…
▽ More
In this work we study a homogeneous and quasilocal Thermodynamics associated to the Schwarzschild-anti de Sitter black hole. The usual thermodynamic description is extended within a Hamiltonian approach with the introduction of the cosmological constant in the thermodynamic phase space. The treatment presented is consistent in as much as it respects the laws of black hole Thermodynamics and accepts the introduction of any thermodynamic potential. We are able to construct new equations of state that characterize the Thermodynamics. Novel phenomena can be expected from the proposed setup.
△ Less
Submitted 17 October, 2019; v1 submitted 14 June, 2018;
originally announced June 2018.
-
Dynamic Influence Networks for Rule-based Models
Authors:
Angus G. Forbes,
Andrew Burks,
Kristine Lee,
Xing Li,
Pierre Boutillier,
Jean Krivine,
Walter Fontana
Abstract:
We introduce the Dynamic Influence Network (DIN), a novel visual analytics technique for representing and analyzing rule-based models of protein-protein interaction networks. Rule-based modeling has proved instrumental in developing biological models that are concise, comprehensible, easily extensible, and that mitigate the combinatorial complexity of multi-state and multi-component biological mol…
▽ More
We introduce the Dynamic Influence Network (DIN), a novel visual analytics technique for representing and analyzing rule-based models of protein-protein interaction networks. Rule-based modeling has proved instrumental in developing biological models that are concise, comprehensible, easily extensible, and that mitigate the combinatorial complexity of multi-state and multi-component biological molecules. Our technique visualizes the dynamics of these rules as they evolve over time. Using the data produced by KaSim, an open source stochastic simulator of rule-based models written in the Kappa language, DINs provide a node-link diagram that represents the influence that each rule has on the other rules. That is, rather than representing individual biological components or types, we instead represent the rules about them (as nodes) and the current influence of these rules (as links). Using our interactive DIN-Viz software tool, researchers are able to query this dynamic network to find meaningful patterns about biological processes, and to identify salient aspects of complex rule-based models. To evaluate the effectiveness of our approach, we investigate a simulation of a circadian clock model that illustrates the oscillatory behavior of the KaiC protein phosphorylation cycle.
△ Less
Submitted 2 November, 2017;
originally announced November 2017.
-
A knowledge representation meta-model for rule-based modelling of signalling networks
Authors:
Adrien Basso-Blandin,
Walter Fontana,
Russ Harmer
Abstract:
The study of cellular signalling pathways and their deregulation in disease states, such as cancer, is a large and extremely complex task. Indeed, these systems involve many parts and processes but are studied piecewise and their literatures and data are consequently fragmented, distributed and sometimes--at least apparently--inconsistent. This makes it extremely difficult to build significant e…
▽ More
The study of cellular signalling pathways and their deregulation in disease states, such as cancer, is a large and extremely complex task. Indeed, these systems involve many parts and processes but are studied piecewise and their literatures and data are consequently fragmented, distributed and sometimes--at least apparently--inconsistent. This makes it extremely difficult to build significant explanatory models with the result that effects in these systems that are brought about by many interacting factors are poorly understood.
The rule-based approach to modelling has shown some promise for the representation of the highly combinatorial systems typically found in signalling where many of the proteins are composed of multiple binding domains, capable of simultaneous interactions, and/or peptide motifs controlled by post-translational modifications. However, the rule-based approach requires highly detailed information about the precise conditions for each and every interaction which is rarely available from any one single source. Rather, these conditions must be painstakingly inferred and curated, by hand, from information contained in many papers--each of which contains only part of the story.
In this paper, we introduce a graph-based meta-model, attuned to the representation of cellular signalling networks, which aims to ease this massive cognitive burden on the rule-based curation process. This meta-model is a generalization of that used by Kappa and BNGL which allows for the flexible representation of knowledge at various levels of granularity. In particular, it allows us to deal with information which has either too little, or too much, detail with respect to the strict rule-based meta-model. Our approach provides a basis for the gradual aggregation of fragmented biological knowledge extracted from the literature into an instance of the meta-model from which we can define an automated translation into executable Kappa programs.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
Non-equilibrium phase transitions in biomolecular signal transduction
Authors:
Eric Smith,
Supriya Krishnamurthy,
Walter Fontana,
David Krakauer
Abstract:
We study a mechanism for reliable switching in biomolecular signal-transduction cascades. Steady bistable states are created by system-size cooperative effects in populations of proteins, in spite of the fact that the phosphorylation-state transitions of any molecule, by means of which the switch is implemented, are highly stochastic. The emergence of switching is a nonequilibrium phase transition…
▽ More
We study a mechanism for reliable switching in biomolecular signal-transduction cascades. Steady bistable states are created by system-size cooperative effects in populations of proteins, in spite of the fact that the phosphorylation-state transitions of any molecule, by means of which the switch is implemented, are highly stochastic. The emergence of switching is a nonequilibrium phase transition in an energetically driven, dissipative system described by a master equation. We use operator and functional integral methods from reaction-diffusion theory to solve for the phase structure, noise spectrum, and escape trajectories and first-passage times of a class of minimal models of switches, showing how all critical properties for switch behavior can be computed within a unified framework.
△ Less
Submitted 30 August, 2011; v1 submitted 20 August, 2011;
originally announced August 2011.
-
The stochastic behavior of a molecular switching circuit with feedback
Authors:
Supriya Krishnamurthy,
Eric Smith,
David Krakauer,
Walter Fontana
Abstract:
Background: Using a statistical physics approach, we study the stochastic switching behavior of a model circuit of multisite phosphorylation and dephosphorylation with feedback. The circuit consists of a kinase and phosphatase acting on multiple sites of a substrate that, contingent on its modification state, catalyzes its own phosphorylation and, in a symmetric scenario, dephosphorylation. The…
▽ More
Background: Using a statistical physics approach, we study the stochastic switching behavior of a model circuit of multisite phosphorylation and dephosphorylation with feedback. The circuit consists of a kinase and phosphatase acting on multiple sites of a substrate that, contingent on its modification state, catalyzes its own phosphorylation and, in a symmetric scenario, dephosphorylation. The symmetric case is viewed as a cartoon of conflicting feedback that could result from antagonistic pathways impinging on the state of a shared component.
Results: Multisite phosphorylation is sufficient for bistable behavior under feedback even when catalysis is linear in substrate concentration, which is the case we consider. We compute the phase diagram, fluctuation spectrum and large-deviation properties related to switch memory within a statistical mechanics framework. Bistability occurs as either a first-order or second-order non-equilibrium phase transition, depending on the network symmetries and the ratio of phosphatase to kinase numbers. In the second-order case, the circuit never leaves the bistable regime upon increasing the number of substrate molecules at constant kinase to phosphatase ratio.
Conclusions: The number of substrate molecules is a key parameter controlling both the onset of the bistable regime, fluctuation intensity, and the residence time in a switched state. The relevance of the concept of memory depends on the degree of switch symmetry, as memory presupposes information to be remembered, which is highest for equal residence times in the switched states.
Reviewers: This article was reviewed by Artem Novozhilov (nominated by Eugene Koonin), Sergei Maslov, and Ned Wingreen.
△ Less
Submitted 1 October, 2007; v1 submitted 15 December, 2003;
originally announced December 2003.
-
Chance and Necessity in Evolution: Lessons from RNA
Authors:
Peter Schuster,
Walter Fontana
Abstract:
The relationship between sequences and secondary structures or shapes in RNA exhibits robust statistical properties summarized by three notions: (1) the notion of a typical shape (that among all sequences of fixed length certain shapes are realized much more frequently than others), (2) the notion of shape space covering (that all typical shapes are realized in a small neighborhood of any random…
▽ More
The relationship between sequences and secondary structures or shapes in RNA exhibits robust statistical properties summarized by three notions: (1) the notion of a typical shape (that among all sequences of fixed length certain shapes are realized much more frequently than others), (2) the notion of shape space covering (that all typical shapes are realized in a small neighborhood of any random sequence), and (3) the notion of a neutral network (that sequences folding into the same typical shape form networks that percolate through sequence space). Neutral networks loosen the requirements on the mutation rate for selection to remain effective. The original (genotypic) error threshold has to be reformulated in terms of a phenotypic error threshold. With regard to adaptation, neutrality has two seemingly contradictory effects: It acts as a buffer against mutations ensuring that a phenotype is preserved. Yet it is deeply enabling, because it permits evolutionary change to occur by allowing the sequence context to vary silently until a single point mutation can become phenotypically consequential. Neutrality also influences predictability of adaptive trajectories in seemingly contradictory ways. On the one hand it increases the uncertainty of their genotypic trace. At the same time neutrality structures the access from one shape to another, thereby inducing a topology among RNA shapes which permits a distinction between continuous and discontinuous shape transformations. To the extent that adaptive trajectories must undergo such transformations, their phenotypic trace becomes more predictable.
△ Less
Submitted 18 November, 1998;
originally announced November 1998.
