BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Manoj Gopalkrishnan

Manoj Gopalkrishnan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Molecular Networksmath.DScond-mat.stat-mechInformation TheoryMachine Learningmath.ITSystems and ControlComputational Engineering, Finance, and ScienceComputer Science and Game TheoryCryptography and Securitycs.CYmath-phmath.ACmath.AGmath.MPmath.OCmath.PRQuantitative Methods

Catalog footprint

What is connected

14works
18topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

Detailed Balanced Chemical Reaction Networks as Generalized Boltzmann Machines

Can a micron sized sack of interacting molecules understand, and adapt to a constantly-fluctuating environment? Cellular life provides an existence proof in the affirmative, but the principles that allow for life's existence are far from being proven. One challenge in engineering and understanding biochemical computation is the intrinsic noise due to chemical fluctuations. In this paper, we draw insights from machine learning theory, chemical reaction network theory, and statistical physics to show that the broad and biologically relevant class of detailed balanced chemical reaction networks is capable of representing and conditioning complex distributions. These results illustrate how a biochemical computer can use intrinsic chemical noise to perform complex computations. Furthermore, we use our explicit physical model to derive thermodynamic costs of inference.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Active Inference for Stochastic Control

Active inference has emerged as an alternative approach to control problems given its intuitive (probabilistic) formalism. However, despite its theoretical utility, computational implementations have largely been restricted to low-dimensional, deterministic settings. This paper highlights that this is a consequence of the inability to adequately model stochastic transition dynamics, particularly when an extensive policy (i.e., action trajectory) space must be evaluated during planning. Fortunately, recent advancements propose a modified planning algorithm for finite temporal horizons. We build upon this work to assess the utility of active inference for a stochastic control setting. For this, we simulate the classic windy grid-world task with additional complexities, namely: 1) environment stochasticity; 2) learning of transition dynamics; and 3) partial observability. Our results demonstrate the advantage of using active inference, compared to reinforcement learning, in both deterministic and stochastic settings.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Chemical Boltzmann Machines

How smart can a micron-sized bag of chemicals be? How can an artificial or real cell make inferences about its environment? From which kinds of probability distributions can chemical reaction networks sample? We begin tackling these questions by showing four ways in which a stochastic chemical reaction network can implement a Boltzmann machine, a stochastic neural network model that can generate a wide range of probability distributions and compute conditional probabilities. The resulting models, and the associated theorems, provide a road map for constructing chemical reaction networks that exploit their native stochasticity as a computational resource. Finally, to show the potential of our models, we simulate a chemical Boltzmann machine to classify and generate MNIST digits in-silico.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Cost / Speed / Reliability Trade-off to Erasing

We present a KL-control treatment of the fundamental problem of erasing a bit. We introduce notions of "reliability" of information storage via a reliability timescale $τ_r$, and "speed" of erasing via an erasing timescale $τ_e$. Our problem formulation captures the tradeoff between speed, reliability, and the Kullback-Leibler (KL) cost required to erase a bit. We show that rapid erasing of a reliable bit costs at least $\log 2 - \log\left(1 - \operatorname{e}^{-\frac{τ_e}{τ_r}}\right) > \log 2$, which goes to $\frac{1}{2} \log\frac{2τ_r}{τ_e}$ when $τ_r>>τ_e$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Lyapunov functions, stationary distributions, and non-equilibrium potential for chemical reaction networks

We consider the relationship between stationary distributions for stochastic models of reaction systems and Lyapunov functions for their deterministic counterparts. Specifically, we derive the well known Lyapunov function of reaction network theory as a scaling limit of the non-equilibrium potential of the stationary distribution of stochastically modeled complex balanced systems. We extend this result to general birth-death models and demonstrate via example that similar scaling limits can yield Lyapunov functions even for models that are not complex or detailed balanced, and may even have multiple equilibria.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A coercion-resistant protocol for conducting elections by telephone

We present a protocol that allows voters to phone in their votes. Our protocol makes it expensive for a candidate and a voter to cooperate to prove to the candidate who the voter voted for. When the electoral pool is large enough, the cost to the candidate of manipulating sufficiently many votes to have an influence on the election results becomes impossibly expensive. Hence, the protocol provides candidates no incentive to attempt inducement or coercion of voters, resulting in free and fair elections with the promise of cost savings and higher voter turnout over traditional elections. One major inadequacy with our suggested protocol is that we assume the existence of a trusted election authority to count the votes.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Autocatalysis in Reaction Networks

The persistence conjecture is a long-standing open problem in chemical reaction network theory. It concerns the behavior of solutions to coupled ODE systems that arise from applying mass-action kinetics to a network of chemical reactions. The idea is that if all reactions are reversible in a weak sense, then no species can go extinct. A notion that has been found useful in thinking about persistence is that of "critical siphon." We explore the combinatorics of critical siphons, with a view towards the persistence conjecture. We introduce the notions of "drainable" and "self-replicable" (or autocatalytic) siphons. We show that: every minimal critical siphon is either drainable or self-replicable; reaction networks without drainable siphons are persistent; and non-autocatalytic weakly-reversible networks are persistent. Our results clarify that the difficulties in proving the persistence conjecture are essentially due to competition between drainable and self-replicable siphons.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Playing games in an uncertain world

Traditional game theory assumes that the players in the game are aware of the rules of the game. However, in practice, often the players are unaware or have only partial knowledge about the game they are playing. They may also have knowledge that other players have only partial knowledge of the game they are playing, which they can try to exploit. We present a novel mathematical formulation of such games. We make use of Kripke semantics, which are a way to keep track of what different players know and do not know about the world. We propose a notion of equilibrium for such games, and show that equilibrium always exists.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A geometric approach to the Global Attractor Conjecture

This paper introduces the class of "strongly endotactic networks", a subclass of the endotactic networks introduced by G. Craciun, F. Nazarov, and C. Pantea. The main result states that the global attractor conjecture holds for complex-balanced systems that are strongly endotactic: every trajectory with positive initial condition converges to the unique positive equilibrium allowed by conservation laws. This extends a recent result by D. F. Anderson for systems where the reaction diagram has only one linkage class (connected component). The results here are proved using differential inclusions, a setting that includes power-law systems. The key ideas include a perspective on reaction kinetics in terms of combinatorial geometry of reaction diagrams, a projection argument that enables analysis of a given system in terms of systems with lower dimension, and an extension of Birch's theorem, a well-known result about intersections of affine subspaces with manifolds parameterized by monomials.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Projection Argument for Differential Inclusions, with Applications to Persistence of Mass-Action Kinetics

Motivated by questions in mass-action kinetics, we introduce the notion of vertexical family of differential inclusions. Defined on open hypercubes, these families are characterized by particular good behavior under projection maps. The motivating examples are certain families of reaction networks -- including reversible, weakly reversible, endotactic, and strongly endotactic reaction networks -- that give rise to vertexical families of mass-action differential inclusions. We prove that vertexical families are amenable to structural induction. Consequently, a trajectory of a vertexical family approaches the boundary if and only if either the trajectory approaches a vertex of the hypercube, or a trajectory in a lower-dimensional member of the family approaches the boundary. With this technology, we make progress on the global attractor conjecture, a central open problem concerning mass-action kinetics systems. Additionally, we phrase mass-action kinetics as a functor on reaction networks with variable rates.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Hot Bit I: The Szilard-Landauer Correspondence

We present a precise formulation of a correspondence between information and thermodynamics that was first observed by Szilard, and later studied by Landauer. The correspondence identifies available free energy with relative entropy, and provides a dictionary between information and thermodynamics. We precisely state and prove this correspondence. The paper should be broadly accessible since we assume no prior knowledge of information theory, developing it axiomatically, and we assume almost no thermodynamic background.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Catalysis in Reaction Networks

We define catalytic networks as chemical reaction networks with an essentially catalytic reaction pathway: one which is on in the presence of certain catalysts and off in their absence. We show that examples of catalytic networks include synthetic DNA molecular circuits that have been shown to perform signal amplification and molecular logic. Recall that a critical siphon is a subset of the species in a chemical reaction network whose absence is forward invariant and stoichiometrically compatible with a positive point. Our main theorem is that all weakly-reversible networks with critical siphons are catalytic. Consequently, we obtain new proofs for the persistence of atomic event-systems of Adleman et al., and normal networks of Gnacadja. We define autocatalytic networks, and conjecture that a weakly-reversible reaction network has critical siphons if and only if it is autocatalytic.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

On the Mathematics of the Law of Mass Action

In 1864,Waage and Guldberg formulated the "law of mass action." Since that time, chemists, chemical engineers, physicists and mathematicians have amassed a great deal of knowledge on the topic. In our view, sufficient understanding has been acquired to warrant a formal mathematical consolidation. A major goal of this consolidation is to solidify the mathematical foundations of mass action chemistry -- to provide precise definitions, elucidate what can now be proved, and indicate what is only conjectured. In addition, we believe that the law of mass action is of intrinsic mathematical interest and should be made available in a form that might transcend its application to chemistry alone. We present the law of mass action in the context of a dynamical theory of sets of binomials over the complex numbers.

0 citations0 reviewsNo code linkedOpen access