-
What would it take to build a thermodynamically reversible Universal Turing machine? Computational and thermodynamic constraints in a molecular design
Authors:
Rory A. Brittain,
Nick S. Jones,
Thomas E. Ouldridge
Abstract:
We outline the construction of a molecular system that could, in principle, implement a thermodynamically reversible Universal Turing Machine (UTM). By proposing a concrete-albeit idealised-design and operational protocol, we reveal fundamental challenges that arise when attempting to implement arbitrary computations reversibly. Firstly, the requirements of thermodynamic reversibility inevitably l…
▽ More
We outline the construction of a molecular system that could, in principle, implement a thermodynamically reversible Universal Turing Machine (UTM). By proposing a concrete-albeit idealised-design and operational protocol, we reveal fundamental challenges that arise when attempting to implement arbitrary computations reversibly. Firstly, the requirements of thermodynamic reversibility inevitably lead to an intricate design. Secondly, thermodynamically reversible UTMs, unlike simpler devices, must also be logically reversible. Finally, implementing multiple distinct computations in parallel is necessary to take the cost of external control per computation to zero, but this approach is complicated the distinct halting times of different computations.
△ Less
Submitted 5 February, 2021;
originally announced February 2021.
-
Influencing dynamics on social networks without knowledge of network microstructure
Authors:
Matthew Garrod,
Nick S. Jones
Abstract:
Social network based information campaigns can be used for promoting beneficial health behaviours and mitigating polarisation (e.g. regarding climate change or vaccines). Network-based intervention strategies typically rely on full knowledge of network structure. It is largely not possible or desirable to obtain population-level social network data due to availability and privacy issues. It is eas…
▽ More
Social network based information campaigns can be used for promoting beneficial health behaviours and mitigating polarisation (e.g. regarding climate change or vaccines). Network-based intervention strategies typically rely on full knowledge of network structure. It is largely not possible or desirable to obtain population-level social network data due to availability and privacy issues. It is easier to obtain information about individuals' attributes (e.g. age, income), which are jointly informative of an individual's opinions and their social network position. We investigate strategies for influencing the system state in a statistical mechanics based model of opinion formation. Using synthetic and data based examples we illustrate the advantages of implementing coarse-grained influence strategies on Ising models with modular structure in the presence of external fields. Our work provides a scalable methodology for influencing Ising systems on large graphs and the first exploration of the Ising influence problem in the presence of ambient (social) fields. By exploiting the observation that strong ambient fields can simplify control of networked dynamics, our findings open the possibility of efficiently computing and implementing public information campaigns using insights from social network theory without costly or invasive levels of data collection.
△ Less
Submitted 27 July, 2021; v1 submitted 11 November, 2020;
originally announced November 2020.
-
Biochemical Szilard engines for memory-limited inference
Authors:
Rory A. Brittain,
Nick S. Jones,
Thomas E. Ouldridge
Abstract:
By developing and leveraging an explicit molecular realisation of a measurement-and-feedback-powered Szilard engine, we investigate the extraction of work from complex environments by minimal machines with finite capacity for memory and decision-making. Living systems perform inference to exploit complex structure, or correlations, in their environment, but the physical limits and underlying cost/…
▽ More
By developing and leveraging an explicit molecular realisation of a measurement-and-feedback-powered Szilard engine, we investigate the extraction of work from complex environments by minimal machines with finite capacity for memory and decision-making. Living systems perform inference to exploit complex structure, or correlations, in their environment, but the physical limits and underlying cost/benefit trade-offs involved in doing so remain unclear. To probe these questions, we consider a minimal model for a structured environment - a correlated sequence of molecules - and explore mechanisms based on extended Szilard engines for extracting the work stored in these non-equilibrium correlations. We consider systems limited to a single bit of memory making binary 'choices' at each step. We demonstrate that increasingly complex environments allow increasingly sophisticated inference strategies to extract more energy than simpler alternatives, and argue that optimal design of such machines should also consider the energy reserves required to ensure robustness against fluctuations due to mistakes.
△ Less
Submitted 17 May, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Large algebraic connectivity fluctuations in spatial network ensembles imply a predictive advantage from node location information
Authors:
Matthew Garrod,
Nick S. Jones
Abstract:
A Random Geometric Graph (RGG) ensemble is defined by the disordered distribution of its node locations. We investigate how this randomness drives sample-to-sample fluctuations in the dynamical properties of these graphs. We study the distributional properties of the algebraic connectivity which is informative of diffusion and synchronization timescales in graphs. We use numerical simulations to p…
▽ More
A Random Geometric Graph (RGG) ensemble is defined by the disordered distribution of its node locations. We investigate how this randomness drives sample-to-sample fluctuations in the dynamical properties of these graphs. We study the distributional properties of the algebraic connectivity which is informative of diffusion and synchronization timescales in graphs. We use numerical simulations to provide the first characterisation of the algebraic connectivity distribution for RGG ensembles. We find that the algebraic connectivity can show fluctuations relative to its mean on the order of $30 \%$, even for relatively large RGG ensembles ($N=10^5$). We explore the factors driving these fluctuations for RGG ensembles with different choices of dimensionality, boundary conditions and node distributions. Within a given ensemble, the algebraic connectivity can covary with the minimum degree and can also be affected by the presence of density inhomogeneities in the nodal distribution. We also derive a closed-form expression for the expected algebraic connectivity for RGGs with periodic boundary conditions for general dimension.
△ Less
Submitted 2 November, 2018; v1 submitted 17 May, 2018;
originally announced May 2018.
-
What we learn from the learning rate
Authors:
Rory A. Brittain,
Nick S. Jones,
Thomas E. Ouldridge
Abstract:
The learning rate is an information-theoretical quantity for bipartite Markov chains describing two coupled subsystems. It is defined as the rate at which transitions in the downstream subsystem tend to increase the mutual information between the two subsystems, and is bounded by the dissipation arising from these transitions. Its physical interpretation, however, is unclear, although it has been…
▽ More
The learning rate is an information-theoretical quantity for bipartite Markov chains describing two coupled subsystems. It is defined as the rate at which transitions in the downstream subsystem tend to increase the mutual information between the two subsystems, and is bounded by the dissipation arising from these transitions. Its physical interpretation, however, is unclear, although it has been used as a metric for the sensing performance of the downstream subsystem. In this paper, we explore the behaviour of the learning rate for a number of simple model systems, establishing when and how its behaviour is distinct from the instantaneous mutual information between subsystems. In the simplest case, the two are almost equivalent. In more complex steady-state systems, the mutual information and the learning rate behave qualitatively distinctly, with the learning rate clearly now reflecting the rate at which the downstream system must update its information in response to changes in the upstream system. It is not clear whether this quantity is the most natural measure for sensor performance, and, indeed, we provide an example in which optimising the learning rate over a region of parameter space of the downstream system yields an apparently sub-optimal sensor.
△ Less
Submitted 3 July, 2017; v1 submitted 20 February, 2017;
originally announced February 2017.
-
Designing the Optimal Bit: Balancing Energetic Cost, Speed and Reliability
Authors:
Abhishek Deshpande,
Manoj Gopalkrishnan,
Thomas E. Ouldridge,
Nick S. Jones
Abstract:
We consider the technologically relevant costs of operating a reliable bit that can be erased rapidly. We find that both erasing and reliability times are non-monotonic in the underlying friction, leading to a trade-off between erasing speed and bit reliability. Fast erasure is possible at the expense of low reliability at moderate friction, and high reliability comes at the expense of slow erasur…
▽ More
We consider the technologically relevant costs of operating a reliable bit that can be erased rapidly. We find that both erasing and reliability times are non-monotonic in the underlying friction, leading to a trade-off between erasing speed and bit reliability. Fast erasure is possible at the expense of low reliability at moderate friction, and high reliability comes at the expense of slow erasure in the underdamped and overdamped limits. Within a given class of bit parameters and control strategies, we define "optimal" designs of bits that meet the desired reliability and erasing time requirements with the lowest operational work cost. We find that optimal designs always saturate the bound on the erasing time requirement, but can exceed the required reliability time if critically damped. The non-trivial geometry of the reliability and erasing time-scales allows us to exclude large regions of parameter space as sub-optimal. We find that optimal designs are either critically damped or close to critical damping under the erasing procedure.
△ Less
Submitted 20 July, 2017; v1 submitted 16 February, 2017;
originally announced February 2017.
-
Biochemical machines for the interconversion of mutual information and work
Authors:
Thomas McGrath,
Nick S. Jones,
Pieter Rein ten Wolde,
Thomas E. Ouldridge
Abstract:
We propose a physically-realisable biochemical device that is coupled to a biochemical reservoir of mutual information, fuel molecules and a chemical bath. Mutual information allows work to be done on the bath even when the fuel molecules appear to be in equilibrium; alternatively, mutual information can be created by driving from the fuel or the bath. The system exhibits diverse behaviour, includ…
▽ More
We propose a physically-realisable biochemical device that is coupled to a biochemical reservoir of mutual information, fuel molecules and a chemical bath. Mutual information allows work to be done on the bath even when the fuel molecules appear to be in equilibrium; alternatively, mutual information can be created by driving from the fuel or the bath. The system exhibits diverse behaviour, including a regime in which the information, despite increasing during the reaction, enhances the extracted work. We further demonstrate that a modified device can function without the need for external manipulation, eliminating the need for a complex and potentially costly control.
△ Less
Submitted 26 November, 2016; v1 submitted 19 April, 2016;
originally announced April 2016.
-
Master-equation analysis of accelerating networks
Authors:
David M. D. Smith,
Jukka-Pekka Onnela,
Nick S. Jones
Abstract:
In many real-world networks, the rates of node and link addition are time dependent. This observation motivates the definition of accelerating networks. There has been relatively little investigation of accelerating networks and previous efforts at analyzing their degree distributions have employed mean-field techniques. By contrast, we show that it is possible to apply a master-equation approac…
▽ More
In many real-world networks, the rates of node and link addition are time dependent. This observation motivates the definition of accelerating networks. There has been relatively little investigation of accelerating networks and previous efforts at analyzing their degree distributions have employed mean-field techniques. By contrast, we show that it is possible to apply a master-equation approach to such network development. We provide full time-dependent expressions for the evolution of the degree distributions for the canonical situations of random and preferential attachment in networks undergoing constant acceleration. These results are in excellent agreement with results obtained from simulations. We note that a growing, non-equilibrium network undergoing constant acceleration with random attachment is equivalent to a classical random graph, bridging the gap between non-equilibrium and classical equilibrium networks.
△ Less
Submitted 6 April, 2009; v1 submitted 22 October, 2008;
originally announced October 2008.
-
Photon Frequency Mode Matching using Acousto-Optic Frequency Beam Splitters
Authors:
Nick S. Jones,
T. M. Stace
Abstract:
It is a difficult engineering task to create distinct solid state single photon sources which nonetheless emit photons at the same frequency. It is also hard to create entangled photon pairs from quantum dots. In the spirit of quantum engineering we propose a simple optical circuit which can, in the right circumstances, make frequency distinguishable photons frequency indistinguishable. Our circ…
▽ More
It is a difficult engineering task to create distinct solid state single photon sources which nonetheless emit photons at the same frequency. It is also hard to create entangled photon pairs from quantum dots. In the spirit of quantum engineering we propose a simple optical circuit which can, in the right circumstances, make frequency distinguishable photons frequency indistinguishable. Our circuit can supply a downstream solution to both problems, opening up a large window of allowed frequency mismatches between physical mechanisms. The only components used are spectrum analysers/prisms and an Acousto-Optic Modulator. We also note that an Acousto-Optic Modulator can be used to obtain Hong-Ou-Mandel two photon interference effects from the frequency distinguishable photons generated by distinct sources.
△ Less
Submitted 21 September, 2005;
originally announced September 2005.
