-
A local-global principle for nonequilibrium steady states
Authors:
Jacob Calvert,
Dana Randall
Abstract:
The global steady state of a system in thermal equilibrium exponentially favors configurations with lesser energy. This principle is a powerful explanation of self-organization because energy is a local property of a configuration. For nonequilibrium systems, there is no such property for which an analogous principle holds, hence no common explanation of the diverse forms of self-organization they…
▽ More
The global steady state of a system in thermal equilibrium exponentially favors configurations with lesser energy. This principle is a powerful explanation of self-organization because energy is a local property of a configuration. For nonequilibrium systems, there is no such property for which an analogous principle holds, hence no common explanation of the diverse forms of self-organization they exhibit. However, a flurry of recent work demonstrates that a local property of configurations called "rattling" predicts the global steady states of a broad class of nonequilibrium systems. We interpret this emerging physical theory in terms of Markov processes to generalize and prove its main claims. Surprisingly, we find that the idea at the core of rattling theory is so general as to apply to equilibrium and nonequilibrium systems alike. Its predictions hold to an extent determined by the relative variance of, and correlation between, the local and global "parts" of an arbitrary steady state. We show how these key quantities characterize the local-global relationships of random walks on random graphs, various spin-glass dynamics, and models of animal collective behavior.
△ Less
Submitted 12 June, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Adaptive Collective Responses to Local Stimuli in Anonymous Dynamic Networks
Authors:
Shunhao Oh,
Dana Randall,
Andréa W. Richa
Abstract:
We develop a framework for self-induced phase changes in programmable matter in which a collection of agents with limited computational and communication capabilities can collectively perform appropriate global tasks in response to local stimuli that dynamically appear and disappear. Agents reside on graph vertices, where each stimulus is only recognized locally, and agents communicate via token p…
▽ More
We develop a framework for self-induced phase changes in programmable matter in which a collection of agents with limited computational and communication capabilities can collectively perform appropriate global tasks in response to local stimuli that dynamically appear and disappear. Agents reside on graph vertices, where each stimulus is only recognized locally, and agents communicate via token passing along edges to alert other agents to transition to an "aware" state when stimuli are present and an "unaware" state when the stimuli disappear. We present an Adaptive Stimuli Algorithm that is robust to competing waves of messages as multiple stimuli change, possibly adversarially. Moreover, in addition to handling arbitrary stimulus dynamics, the algorithm can handle agents reconfiguring the connections (edges) of the graph over time in a controlled way.
As an application, we show how this Adaptive Stimuli Algorithm on reconfigurable graphs can be used to solve the foraging problem, where food sources may be discovered, removed, or shifted at arbitrary times. We would like the agents to consistently self-organize using only local interactions, such that if the food remains in position long enough, the agents transition to a gather phase, collectively forming a single large component with small perimeter around the food. Alternatively, if no food source has existed recently, the agents should self-induce a switch to a search phase in which they distribute themselves randomly throughout the lattice region to search for food. Unlike previous approaches to foraging, this process is indefinitely repeatable. Like a physical phase change, microscopic changes such as the deletion or addition of a single food source triggers these macroscopic, system-wide transitions as agents share information about the environment and respond locally to get the desired collective response.
△ Less
Submitted 26 April, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Heteromated Decision-Making: Integrating Socially Assistive Robots in Care Relationships
Authors:
Richard Paluch,
Tanja Aal,
Katerina Cerna,
Dave Randall,
Claudia Müller
Abstract:
Technological development continues to advance, with consequences for the use of robots in health care. For this reason, this workshop contribution aims at consideration of how socially assistive robots can be integrated into care and what tasks they can take on. This also touches on the degree of autonomy of these robots and the balance of decision support and decision making in different situati…
▽ More
Technological development continues to advance, with consequences for the use of robots in health care. For this reason, this workshop contribution aims at consideration of how socially assistive robots can be integrated into care and what tasks they can take on. This also touches on the degree of autonomy of these robots and the balance of decision support and decision making in different situations. We want to show that decision making by robots is mediated by the balance between autonomy and safety. Our results are based on Design Fiction and Zine-Making workshops we conducted with scientific experts. Ultimately, we show that robots' actions take place in social groups. A robot does not typically decide alone, but its decision-making is embedded in group processes. The concept of heteromation, which describes the interconnection of human and machine actions, offers fruitful possibilities for exploring how robots can be integrated into caring relationships.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Interpretable Symbolic Regression for Data Science: Analysis of the 2022 Competition
Authors:
F. O. de Franca,
M. Virgolin,
M. Kommenda,
M. S. Majumder,
M. Cranmer,
G. Espada,
L. Ingelse,
A. Fonseca,
M. Landajuela,
B. Petersen,
R. Glatt,
N. Mundhenk,
C. S. Lee,
J. D. Hochhalter,
D. L. Randall,
P. Kamienny,
H. Zhang,
G. Dick,
A. Simon,
B. Burlacu,
Jaan Kasak,
Meera Machado,
Casper Wilstrup,
W. G. La Cava
Abstract:
Symbolic regression searches for analytic expressions that accurately describe studied phenomena. The main attraction of this approach is that it returns an interpretable model that can be insightful to users. Historically, the majority of algorithms for symbolic regression have been based on evolutionary algorithms. However, there has been a recent surge of new proposals that instead utilize appr…
▽ More
Symbolic regression searches for analytic expressions that accurately describe studied phenomena. The main attraction of this approach is that it returns an interpretable model that can be insightful to users. Historically, the majority of algorithms for symbolic regression have been based on evolutionary algorithms. However, there has been a recent surge of new proposals that instead utilize approaches such as enumeration algorithms, mixed linear integer programming, neural networks, and Bayesian optimization. In order to assess how well these new approaches behave on a set of common challenges often faced in real-world data, we hosted a competition at the 2022 Genetic and Evolutionary Computation Conference consisting of different synthetic and real-world datasets which were blind to entrants. For the real-world track, we assessed interpretability in a realistic way by using a domain expert to judge the trustworthiness of candidate models.We present an in-depth analysis of the results obtained in this competition, discuss current challenges of symbolic regression algorithms and highlight possible improvements for future competitions.
△ Less
Submitted 3 July, 2023; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Spanning tree methods for sampling graph partitions
Authors:
Sarah Cannon,
Moon Duchin,
Dana Randall,
Parker Rule
Abstract:
In the last decade, computational approaches to graph partitioning have made a major impact in the analysis of political redistricting, including in U.S. courts of law. Mathematically, a districting plan can be viewed as a balanced partition of a graph into connected subsets. Examining a large sample of valid alternative districting plans can help us recognize gerrymandering against an appropriate…
▽ More
In the last decade, computational approaches to graph partitioning have made a major impact in the analysis of political redistricting, including in U.S. courts of law. Mathematically, a districting plan can be viewed as a balanced partition of a graph into connected subsets. Examining a large sample of valid alternative districting plans can help us recognize gerrymandering against an appropriate neutral baseline. One algorithm that is widely used to produce random samples of districting plans is a Markov chain called recombination (or ReCom), which repeatedly fuses adjacent districts, forms a spanning tree of their union, and splits that spanning tree with a balanced cut to form new districts. One drawback is that this chain's stationary distribution has no known closed form when there are three or more districts. In this paper, we modify ReCom slightly to give it a property called reversibility, resulting in a new Markov chain, RevReCom. This new chain converges to the simple, natural distribution that ReCom was originally designed to approximate: a plan's stationary probability is proportional to the product of the number of spanning trees of each district. This spanning tree score is a measure of district "compactness" (or shape) that is also aligned with notions of community structure from network science. After deriving the steady state formally, we present diagnostic evidence that the convergence is efficient enough for the method to be practically useful, giving high-quality samples for full-sized problems within several hours. In addition to the primary application of benchmarking of redistricting plans (i.e., describing a normal range for statistics), this chain can also be used to validate other methods that target the spanning tree distribution.
△ Less
Submitted 4 October, 2022;
originally announced October 2022.
-
Foraging in Particle Systems via Self-Induced Phase Changes
Authors:
Shunhao Oh,
Dana Randall,
Andréa W. Richa
Abstract:
The foraging problem asks how a collective of particles with limited computational, communication and movement capabilities can autonomously compress around a food source and disperse when the food is depleted or shifted, which may occur at arbitrary times. We would like the particles to iteratively self-organize, using only local interactions, to correctly gather whenever a food particle remains…
▽ More
The foraging problem asks how a collective of particles with limited computational, communication and movement capabilities can autonomously compress around a food source and disperse when the food is depleted or shifted, which may occur at arbitrary times. We would like the particles to iteratively self-organize, using only local interactions, to correctly gather whenever a food particle remains in a position long enough and search if no food particle has existed recently. Unlike previous approaches, these search and gather phases should be self-induced so as to be indefinitely repeatable as the food evolves, with microscopic changes to the food triggering macroscopic, system-wide phase transitions. We present a stochastic foraging algorithm based on a phase change in the fixed magnetization Ising model from statistical physics: Our algorithm is the first to leverage self-induced phase changes as an algorithmic tool. A key component of our algorithm is a careful token passing mechanism ensuring a dispersion broadcast wave will always outpace a compression wave. We also present a highly structured alternative algorithm that gathers by incrementally building a spiral tightly wrapped around the food particle.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Local Stochastic Algorithms for Alignment in Self-Organizing Particle Systems
Authors:
Hridesh Kedia,
Shunhao Oh,
Dana Randall
Abstract:
We present local distributed, stochastic algorithms for \emph{alignment} in self-organizing particle systems (SOPS) on two-dimensional lattices, where particles occupy unique sites on the lattice, and particles can make spatial moves to neighboring sites if they are unoccupied. Such models are abstractions of programmable matter, composed of individual computational particles with limited memory,…
▽ More
We present local distributed, stochastic algorithms for \emph{alignment} in self-organizing particle systems (SOPS) on two-dimensional lattices, where particles occupy unique sites on the lattice, and particles can make spatial moves to neighboring sites if they are unoccupied. Such models are abstractions of programmable matter, composed of individual computational particles with limited memory, strictly local communication abilities, and modest computational capabilities. We consider oriented particle systems, where particles are assigned a vector pointing in one of $q$ directions, and each particle can compute the angle between its direction and the direction of any neighboring particle, although without knowledge of global orientation with respect to a fixed underlying coordinate system. Particles move stochastically, with each particle able to either modify its direction or make a local spatial move along a lattice edge during a move. We consider two settings: (a) where particle configurations must remain simply connected at all times and (b) where spatial moves are unconstrained and configurations can disconnect.
Taking inspiration from the Potts and clock models from statistical physics, we prove that for any $q \geq 2,$ these self-organizing particle systems can be made to collectively align along a single dominant direction (analogous to a solid or ordered state) or remain non-aligned, in which case the fraction of particles oriented along any direction is nearly equal (analogous to a gaseous or disordered state). Moreover, we show that with appropriate settings of the input parameters, we can achieve \emph{compression} and \emph{expansion}, controlling how tightly gathered the particles are, as well as \emph{alignment} or \emph{nonalignment}, producing a single dominant orientation or not.
△ Less
Submitted 14 September, 2022; v1 submitted 16 July, 2022;
originally announced July 2022.
-
Mathematically Quantifying Non-responsiveness of the 2021 Georgia Congressional Districting Plan
Authors:
Zhanzhan Zhao,
Cyrus Hettle,
Swati Gupta,
Jonathan Mattingly,
Dana Randall,
Gregory Herschlag
Abstract:
To audit political district maps for partisan gerrymandering, one may determine a baseline for the expected distribution of partisan outcomes by sampling an ensemble of maps. One approach to sampling is to use redistricting policy as a guide to precisely codify preferences between maps. Such preferences give rise to a probability distribution on the space of redistricting plans, and Metropolis-Has…
▽ More
To audit political district maps for partisan gerrymandering, one may determine a baseline for the expected distribution of partisan outcomes by sampling an ensemble of maps. One approach to sampling is to use redistricting policy as a guide to precisely codify preferences between maps. Such preferences give rise to a probability distribution on the space of redistricting plans, and Metropolis-Hastings methods allow one to sample ensembles of maps from the specified distribution. Although these approaches have nice theoretical properties and have successfully detected gerrymandering in legal settings, sampling from commonly-used policy-driven distributions is often computationally difficult. As of yet, there is no algorithm that can be used off-the-shelf for checking maps under generic redistricting criteria. In this work, we mitigate the computational challenges in a Metropolized-sampling technique through a parallel tempering method combined with ReCom[12] and, for the first time, validate that such techniques are effective on these problems at the scale of statewide precinct graphs for more policy informed measures. We develop these improvements through the first case study of district plans in Georgia. Our analysis projects that any election in Georgia will reliably elect 9 Republicans and 5 Democrats under the enacted plan. This result is largely fixed even as public opinion shifts toward either party and the partisan outcome of the enacted plan does not respond to the will of the people. Only 0.12% of the $\sim$160K plans in our ensemble were similarly non-responsive.
△ Less
Submitted 9 October, 2022; v1 submitted 12 March, 2022;
originally announced March 2022.
-
A Heterogeneous Schelling Model for Wealth Disparity and its Effect on Segregation
Authors:
Zhanzhan Zhao,
Dana Randall
Abstract:
The Schelling model of segregation was introduced in economics to show how micro-motives can influence macro-behavior. Agents on a lattice have two colors and try to move to a different location if the number of their neighbors with a different color exceeds some threshold. Simulations reveal that even such mild local color preferences, or homophily, are sufficient to cause segregation. In this wo…
▽ More
The Schelling model of segregation was introduced in economics to show how micro-motives can influence macro-behavior. Agents on a lattice have two colors and try to move to a different location if the number of their neighbors with a different color exceeds some threshold. Simulations reveal that even such mild local color preferences, or homophily, are sufficient to cause segregation. In this work, we propose a stochastic generalization of the Schelling model, based on both race and wealth, to understand how carefully architected placement of incentives, such as urban infrastructure, might affect segregation. In our model, each agent is assigned one of two colors along with a label, rich or poor. Further, we designate certain vertices on the lattice as "urban sites," providing civic infrastructure that most benefits the poorer population, thus incentivizing the occupation of such vertices by poor agents of either color. We look at the stationary distribution of a Markov process reflecting these preferences to understand the long-term effects. We prove that when incentives are large enough, we will have "urbanization of poverty," an observed effect whereby poor people tend to congregate on urban sites. Moreover, even when homophily preferences are very small, if the incentives are large and there is income inequality in the two-color classes, we can get racial segregation on urban sites but integration on non-urban sites. In contrast, we find overall mitigation of segregation when the urban sites are distributed throughout the lattice and the incentives for urban sites exceed the homophily biases. We prove that in this case, no matter how strong homophily preferences are, it will be exponentially unlikely that a configuration chosen from stationarity will have large, homogeneous clusters of agents of either color, suggesting we will have racial integration with high probability.
△ Less
Submitted 9 October, 2022; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Programming Active Cohesive Granular Matter with Mechanically Induced Phase Changes
Authors:
Shengkai Li,
Bahnisikha Dutta,
Sarah Cannon,
Joshua J. Daymude,
Ram Avinery,
Enes Aydin,
Andréa W. Richa,
Daniel I. Goldman,
Dana Randall
Abstract:
Active matter physics and swarm robotics have provided powerful tools for the study and control of ensembles driven by internal sources. At the macroscale, controlling swarms typically utilizes significant memory, processing power, and coordination unavailable at the microscale, e.g., for colloidal robots, which could be useful for fighting disease, fabricating intelligent textiles, and designing…
▽ More
Active matter physics and swarm robotics have provided powerful tools for the study and control of ensembles driven by internal sources. At the macroscale, controlling swarms typically utilizes significant memory, processing power, and coordination unavailable at the microscale, e.g., for colloidal robots, which could be useful for fighting disease, fabricating intelligent textiles, and designing nanocomputers. To develop principles that that can leverage physics of interactions and thus can be utilized across scales, we take a two-pronged approach: a theoretical abstraction of self-organizing particle systems and an experimental robot system of active cohesive granular matter that intentionally lacks digital electronic computation and communication, using minimal (or no) sensing and control, to test theoretical predictions. We consider the problems of aggregation, dispersion, and collective transport. As predicted by the theory, as a parameter representing interparticle attraction increases, the robots transition from a dispersed phase to an aggregated one, forming a dense, compact collective. When aggregated, the collective can transport non-robot "impurities" in their environment, thus performing an emergent task driven by the physics underlying the transition. These results point to a fruitful interplay between algorithm design and active matter robophysics that can result in new nonequilibrium physics and principles for programming collectives without the need for complex algorithms or capabilities.
△ Less
Submitted 2 February, 2021; v1 submitted 11 September, 2020;
originally announced September 2020.
-
Thermodynamic Computing
Authors:
Tom Conte,
Erik DeBenedictis,
Natesh Ganesh,
Todd Hylton,
John Paul Strachan,
R. Stanley Williams,
Alexander Alemi,
Lee Altenberg,
Gavin Crooks,
James Crutchfield,
Lidia del Rio,
Josh Deutsch,
Michael DeWeese,
Khari Douglas,
Massimiliano Esposito,
Michael Frank,
Robert Fry,
Peter Harsha,
Mark Hill,
Christopher Kello,
Jeff Krichmar,
Suhas Kumar,
Shih-Chii Liu,
Seth Lloyd,
Matteo Marsili
, et al. (14 additional authors not shown)
Abstract:
The hardware and software foundations laid in the first half of the 20th Century enabled the computing technologies that have transformed the world, but these foundations are now under siege. The current computing paradigm, which is the foundation of much of the current standards of living that we now enjoy, faces fundamental limitations that are evident from several perspectives. In terms of hard…
▽ More
The hardware and software foundations laid in the first half of the 20th Century enabled the computing technologies that have transformed the world, but these foundations are now under siege. The current computing paradigm, which is the foundation of much of the current standards of living that we now enjoy, faces fundamental limitations that are evident from several perspectives. In terms of hardware, devices have become so small that we are struggling to eliminate the effects of thermodynamic fluctuations, which are unavoidable at the nanometer scale. In terms of software, our ability to imagine and program effective computational abstractions and implementations are clearly challenged in complex domains. In terms of systems, currently five percent of the power generated in the US is used to run computing systems - this astonishing figure is neither ecologically sustainable nor economically scalable. Economically, the cost of building next-generation semiconductor fabrication plants has soared past $10 billion. All of these difficulties - device scaling, software complexity, adaptability, energy consumption, and fabrication economics - indicate that the current computing paradigm has matured and that continued improvements along this path will be limited. If technological progress is to continue and corresponding social and economic benefits are to continue to accrue, computing must become much more capable, energy efficient, and affordable. We propose that progress in computing can continue under a united, physically grounded, computational paradigm centered on thermodynamics. Herein we propose a research agenda to extend these thermodynamic foundations into complex, non-equilibrium, self-organizing systems and apply them holistically to future computing systems that will harness nature's innate computational capacity. We call this type of computing "Thermodynamic Computing" or TC.
△ Less
Submitted 14 November, 2019; v1 submitted 5 November, 2019;
originally announced November 2019.
-
Slow Mixing of Glauber Dynamics for the Six-Vertex Model in the Ordered Phases
Authors:
Matthew Fahrbach,
Dana Randall
Abstract:
The six-vertex model in statistical physics is a weighted generalization of the ice model on $\mathbb{Z}^2$ (i.e., Eulerian orientations) and the zero-temperature three-state Potts model (i.e., proper three-colorings). The phase diagram of the model depicts its physical properties and suggests where local Markov chains will be efficient. In this paper, we analyze the mixing time of Glauber dynamic…
▽ More
The six-vertex model in statistical physics is a weighted generalization of the ice model on $\mathbb{Z}^2$ (i.e., Eulerian orientations) and the zero-temperature three-state Potts model (i.e., proper three-colorings). The phase diagram of the model depicts its physical properties and suggests where local Markov chains will be efficient. In this paper, we analyze the mixing time of Glauber dynamics for the six-vertex model in the ordered phases. Specifically, we show that for all Boltzmann weights in the ferroelectric phase, there exist boundary conditions such that local Markov chains require exponential time to converge to equilibrium. This is the first rigorous result bounding the mixing time of Glauber dynamics in the ferroelectric phase. Our analysis demonstrates a fundamental connection between correlated random walks and the dynamics of intersecting lattice path models (or routings). We analyze the Glauber dynamics for the six-vertex model with free boundary conditions in the antiferroelectric phase and significantly extend the region for which local Markov chains are known to be slow mixing. This result relies on a Peierls argument and novel properties of weighted non-backtracking walks.
△ Less
Submitted 22 December, 2020; v1 submitted 2 April, 2019;
originally announced April 2019.
-
A Local Stochastic Algorithm for Separation in Heterogeneous Self-Organizing Particle Systems
Authors:
Sarah Cannon,
Joshua J. Daymude,
Cem Gokmen,
Dana Randall,
Andréa W. Richa
Abstract:
We present and rigorously analyze the behavior of a distributed, stochastic algorithm for separation and integration in self-organizing particle systems, an abstraction of programmable matter. Such systems are composed of individual computational particles with limited memory, strictly local communication abilities, and modest computational power. We consider heterogeneous particle systems of two…
▽ More
We present and rigorously analyze the behavior of a distributed, stochastic algorithm for separation and integration in self-organizing particle systems, an abstraction of programmable matter. Such systems are composed of individual computational particles with limited memory, strictly local communication abilities, and modest computational power. We consider heterogeneous particle systems of two different colors and prove that these systems can collectively separate into different color classes or integrate, indifferent to color. We accomplish both behaviors with the same fully distributed, local, stochastic algorithm. Achieving separation or integration depends only on a single global parameter determining whether particles prefer to be next to other particles of the same color or not; this parameter is meant to represent external, environmental influences on the particle system. The algorithm is a generalization of a previous distributed, stochastic algorithm for compression (PODC '16), which can be viewed as a special case of separation where all particles have the same color. It is significantly more challenging to prove that the desired behavior is achieved in the heterogeneous setting, however, even in the bichromatic case we focus on. This requires combining several new techniques, including the cluster expansion from statistical physics, a new variant of the bridging argument of Miracle, Pascoe and Randall (RANDOM '11), the high-temperature expansion of the Ising model, and careful probabilistic arguments.
△ Less
Submitted 4 June, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Phototactic Supersmarticles
Authors:
Sarah Cannon,
Joshua J. Daymude,
William Savoie,
Ross Warkentin,
Shengkai Li,
Daniel I. Goldman,
Dana Randall,
Andrea W. Richa
Abstract:
Smarticles, or smart active particles, are small robots equipped with only basic movement and sensing abilities that are incapable of rotating or displacing individually. We study the ensemble behavior of smarticles, i.e., the behavior a collective of these very simple computational elements can achieve, and how such behavior can be implemented using minimal programming. We show that an ensemble o…
▽ More
Smarticles, or smart active particles, are small robots equipped with only basic movement and sensing abilities that are incapable of rotating or displacing individually. We study the ensemble behavior of smarticles, i.e., the behavior a collective of these very simple computational elements can achieve, and how such behavior can be implemented using minimal programming. We show that an ensemble of smarticles constrained to remain close to one another (which we call a supersmarticle), achieves directed locomotion toward or away from a light source, a phenomenon known as phototaxing. We present experimental and theoretical models of phototactic supersmarticles that collectively move with a directed displacement in response to light. The motion of the supersmarticle is approximately Brownian, and is a result of chaotic interactions among smarticles. The system can be directed by introducing asymmetries among the individual smarticle's behavior, in our case by varying activity levels in response to light, resulting in supersmarticle biased motion.
△ Less
Submitted 3 November, 2017;
originally announced November 2017.
-
A Stochastic Approach to Shortcut Bridging in Programmable Matter
Authors:
Marta Andrés Arroyo,
Sarah Cannon,
Joshua J. Daymude,
Dana Randall,
Andréa W. Richa
Abstract:
In a self-organizing particle system, an abstraction of programmable matter, simple computational elements called particles with limited memory and communication self-organize to solve system-wide problems of movement, coordination, and configuration. In this paper, we consider a stochastic, distributed, local, asynchronous algorithm for "shortcut bridging", in which particles self-assemble bridge…
▽ More
In a self-organizing particle system, an abstraction of programmable matter, simple computational elements called particles with limited memory and communication self-organize to solve system-wide problems of movement, coordination, and configuration. In this paper, we consider a stochastic, distributed, local, asynchronous algorithm for "shortcut bridging", in which particles self-assemble bridges over gaps that simultaneously balance minimizing the length and cost of the bridge. Army ants of the genus Eciton have been observed exhibiting a similar behavior in their foraging trails, dynamically adjusting their bridges to satisfy an efficiency trade-off using local interactions. Using techniques from Markov chain analysis, we rigorously analyze our algorithm, show it achieves a near-optimal balance between the competing factors of path length and bridge cost, and prove that it exhibits a dependence on the angle of the gap being "shortcut" similar to that of the ant bridges. We also present simulation results that qualitatively compare our algorithm with the army ant bridging behavior. Our work gives a plausible explanation of how convergence to globally optimal configurations can be achieved via local interactions by simple organisms (e.g., ants) with some limited computational power and access to random bits. The proposed algorithm also demonstrates the robustness of the stochastic approach to algorithms for programmable matter, as it is a surprisingly simple extension of our previous stochastic algorithm for compression.
△ Less
Submitted 18 September, 2018; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Analyzing Boltzmann Samplers for Bose-Einstein Condensates with Dirichlet Generating Functions
Authors:
Megan Bernstein,
Matthew Fahrbach,
Dana Randall
Abstract:
Boltzmann sampling is commonly used to uniformly sample objects of a particular size from large combinatorial sets. For this technique to be effective, one needs to prove that (1) the sampling procedure is efficient and (2) objects of the desired size are generated with sufficiently high probability. We use this approach to give a provably efficient sampling algorithm for a class of weighted integ…
▽ More
Boltzmann sampling is commonly used to uniformly sample objects of a particular size from large combinatorial sets. For this technique to be effective, one needs to prove that (1) the sampling procedure is efficient and (2) objects of the desired size are generated with sufficiently high probability. We use this approach to give a provably efficient sampling algorithm for a class of weighted integer partitions related to Bose-Einstein condensation from statistical physics. Our sampling algorithm is a probabilistic interpretation of the ordinary generating function for these objects, derived from the symbolic method of analytic combinatorics. Using the Khintchine-Meinardus probabilistic method to bound the rejection rate of our Boltzmann sampler through singularity analysis of Dirichlet generating functions, we offer an alternative approach to analyze Boltzmann samplers for objects with multiplicative structure.
△ Less
Submitted 13 November, 2017; v1 submitted 7 August, 2017;
originally announced August 2017.
-
Sampling Biased Monotonic Surfaces using Exponential Metrics
Authors:
Sam Greenberg,
Dana Randall,
Amanda Pascoe Streib
Abstract:
Monotonic surfaces spanning finite regions of $Z^d$ arise in many contexts, including DNA-based self-assembly, card-shuffling and lozenge tilings. One method that has been used to uniformly generate these surfaces is a Markov chain that iteratively adds or removes a single cube below the surface during a step. We consider a biased version of the chain, where we are more likely to add a cube than t…
▽ More
Monotonic surfaces spanning finite regions of $Z^d$ arise in many contexts, including DNA-based self-assembly, card-shuffling and lozenge tilings. One method that has been used to uniformly generate these surfaces is a Markov chain that iteratively adds or removes a single cube below the surface during a step. We consider a biased version of the chain, where we are more likely to add a cube than to remove it, thereby favoring surfaces that are "higher" or have more cubes below it. We prove that the chain is rapidly mixing for any uniform bias in $Z^2$ and for bias $λ> d$ in $Z^d$ when $d>2$. In $Z^2$ we match the optimal mixing time achieved by Benjamini et al. in the context of biased card shuffling, but using much simpler arguments. The proofs use a geometric distance function and a variant of path coupling in order to handle distances that can be exponentially large. We also provide the first results in the case of fluctuating bias, where the bias can vary depending on the location of the tile. We show that the chain continues to be rapidly mixing if the biases are close to uniform, but that the chain can converge exponentially slowly in the general setting.
△ Less
Submitted 3 November, 2017; v1 submitted 24 April, 2017;
originally announced April 2017.
-
Supporting the use of user generated content in journalistic practice
Authors:
Peter Tolmie,
Rob Procter,
David William Randall,
Mark Rouncefield,
Christian Burger,
Geraldine Wong Sak Hoi,
Arkaitz Zubiaga,
Maria Liakata
Abstract:
Social media and user-generated content (UGC) are increasingly important features of journalistic work in a number of different ways. However, their use presents major challenges, not least because information posted on social media is not always reliable and therefore its veracity needs to be checked before it can be considered as fit for use in the reporting of news. We report on the results of…
▽ More
Social media and user-generated content (UGC) are increasingly important features of journalistic work in a number of different ways. However, their use presents major challenges, not least because information posted on social media is not always reliable and therefore its veracity needs to be checked before it can be considered as fit for use in the reporting of news. We report on the results of a series of in-depth ethnographic studies of journalist work practices undertaken as part of the requirements gathering for a prototype of a social media verification 'dashboard' and its subsequent evaluation. We conclude with some reflections upon the broader implications of our findings for the design of tools to support journalistic work.
△ Less
Submitted 21 February, 2017;
originally announced February 2017.
-
Approximately Sampling Elements with Fixed Rank in Graded Posets
Authors:
Prateek Bhakta,
Ben Cousins,
Matthew Fahrbach,
Dana Randall
Abstract:
Graded posets frequently arise throughout combinatorics, where it is natural to try to count the number of elements of a fixed rank. These counting problems are often $\#\textbf{P}$-complete, so we consider approximation algorithms for counting and uniform sampling. We show that for certain classes of posets, biased Markov chains that walk along edges of their Hasse diagrams allow us to approximat…
▽ More
Graded posets frequently arise throughout combinatorics, where it is natural to try to count the number of elements of a fixed rank. These counting problems are often $\#\textbf{P}$-complete, so we consider approximation algorithms for counting and uniform sampling. We show that for certain classes of posets, biased Markov chains that walk along edges of their Hasse diagrams allow us to approximately generate samples with any fixed rank in expected polynomial time. Our arguments do not rely on the typical proofs of log-concavity, which are used to construct a stationary distribution with a specific mode in order to give a lower bound on the probability of outputting an element of the desired rank. Instead, we infer this directly from bounds on the mixing time of the chains through a method we call $\textit{balanced bias}$.
A noteworthy application of our method is sampling restricted classes of integer partitions of $n$. We give the first provably efficient Markov chain algorithm to uniformly sample integer partitions of $n$ from general restricted classes. Several observations allow us to improve the efficiency of this chain to require $O(n^{1/2}\log(n))$ space, and for unrestricted integer partitions, expected $O(n^{9/4})$ time. Related applications include sampling permutations with a fixed number of inversions and lozenge tilings on the triangular lattice with a fixed average height.
△ Less
Submitted 10 November, 2016;
originally announced November 2016.
-
More Than Peer Production: Fanfiction Communities as Sites of Distributed Mentoring
Authors:
Sarah Evans,
Katie Davis,
Abigail Evans,
Julie Ann Campbell,
David P. Randall,
Kodlee Yin,
Cecilia Aragon
Abstract:
From Harry Potter to American Horror Story, fanfiction is extremely popular among young people. Sites such as Fanfiction.net host millions of stories, with thousands more posted each day. Enthusiasts are sharing their writing and reading stories written by others. Exactly how does a generation known more for videogame expertise than long-form writing become so engaged in reading and writing in the…
▽ More
From Harry Potter to American Horror Story, fanfiction is extremely popular among young people. Sites such as Fanfiction.net host millions of stories, with thousands more posted each day. Enthusiasts are sharing their writing and reading stories written by others. Exactly how does a generation known more for videogame expertise than long-form writing become so engaged in reading and writing in these communities? Via a nine-month ethnographic investigation of fanfiction communities that included participant observation, interviews, a thematic analysis of 4,500 reader reviews and an in-depth case study of a discussion group, we found that members of fanfiction communities spontaneously mentor each other in open forums, and that this mentoring builds upon previous interactions in a way that is distinct from traditional forms of mentoring and made possible by the affordances of networked publics. This work extends and develops the theory of distributed mentoring. Our findings illustrate how distributed mentoring supports fanfiction authors as they work to develop their writing skills. We believe distributed mentoring holds potential for supporting learning in a variety of formal and informal learning environments.
△ Less
Submitted 4 November, 2016;
originally announced November 2016.
-
Phase Coexistence for the Hard-Core Model on ${\mathbb Z}^2$
Authors:
Antonio Blanca,
Yuxuan Chen,
David Galvin,
Dana Randall,
Prasad Tetali
Abstract:
The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter $λ$, and an independent set $I$ arises with probability proportional to $λ^{|I|}$. On infinite graphs a Gibbs measure is defined as a suitable limit with the corre…
▽ More
The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter $λ$, and an independent set $I$ arises with probability proportional to $λ^{|I|}$. On infinite graphs a Gibbs measure is defined as a suitable limit with the correct conditional probabilities, and we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs measures.
It has long been conjectured that on ${\mathbb Z}^2$ this model has a critical value $λ_c \approx 3.796$ with the property that if $λ< λ_c$ then it exhibits uniqueness of phase, while if $λ> λ_c$ then there is phase coexistence. Much of the work to date on this problem has focused on the regime of uniqueness, with the state of the art being recent work of Sinclair, Srivastava, Štefankovič and Yin showing that there is a unique Gibbs measure for all $λ< 2.538$. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs measures for all $λ> 5.3506$. There is some potential for lowering this bound, but with the methods we are using we cannot hope to replace $5.3506$ with anything below about $4.8771$.
Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Kotecký and Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of ${\mathbb Z}^2$.
△ Less
Submitted 30 March, 2018; v1 submitted 3 November, 2016;
originally announced November 2016.
-
Total energy and potential enstrophy conserving schemes for the shallow water equations using Hamiltonian methods: Derivation and Properties (Part 1)
Authors:
Christopher Eldred,
David Randall
Abstract:
The shallow water equations provide a useful analogue of the fully compressible Euler equations since they have similar characteristics: conservation laws, inertia-gravity and Rossby waves and a (quasi-) balanced state. In order to obtain realistic simulation results, it is desirable that numerical models have discrete analogues of these properties. Two prototypical examples of such schemes are th…
▽ More
The shallow water equations provide a useful analogue of the fully compressible Euler equations since they have similar characteristics: conservation laws, inertia-gravity and Rossby waves and a (quasi-) balanced state. In order to obtain realistic simulation results, it is desirable that numerical models have discrete analogues of these properties. Two prototypical examples of such schemes are the 1981 Arakawa and Lamb (AL81) C-grid total energy and potential enstrophy conserving scheme, and the 2007 Salmon (S07) Z-grid total energy and potential enstrophy conserving scheme. Unfortunately, the AL81 scheme is restricted to logically square, orthogonal grids; and the S07 scheme is restricted to uniform square grids. The current work extends the AL81 scheme to arbitrary non-orthogonal polygonal grids and the S07 scheme to arbitrary orthogonal spherical polygonal grids in a manner that allows both total energy and potential enstrophy conservation, by combining Hamiltonian methods (work done by Salmon, Gassmann, Dubos and others) and Discrete Exterior Calculus (Thuburn, Cotter, Dubos, Ringler, Skamarock, Klemp and others). Detailed results of the schemes applied to standard test cases are deferred to Part 2 of this series of papers.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.
-
A Markov Chain Algorithm for Compression in Self-Organizing Particle Systems
Authors:
Sarah Cannon,
Joshua J. Daymude,
Dana Randall,
Andréa W. Richa
Abstract:
In systems of programmable matter, we are given a collection of simple computation elements (or particles) with limited (constant-size) memory. We are interested in when they can self-organize to solve system-wide problems of movement, configuration and coordination. Here, we initiate a stochastic approach to develo** robust distributed algorithms for programmable matter systems using Markov cha…
▽ More
In systems of programmable matter, we are given a collection of simple computation elements (or particles) with limited (constant-size) memory. We are interested in when they can self-organize to solve system-wide problems of movement, configuration and coordination. Here, we initiate a stochastic approach to develo** robust distributed algorithms for programmable matter systems using Markov chains. We are able to leverage the wealth of prior work in Markov chains and related areas to design and rigorously analyze our distributed algorithms and show that they have several desirable properties.
We study the compression problem, in which a particle system must gather as tightly together as possible, as in a sphere or its equivalent in the presence of some underlying geometry. More specifically, we seek fully distributed, local, and asynchronous algorithms that lead the system to converge to a configuration with small boundary. We present a Markov chain-based algorithm that solves the compression problem under the geometric amoebot model, for particle systems that begin in a connected configuration. The algorithm takes as input a bias parameter $λ$, where $λ> 1$ corresponds to particles favoring having more neighbors. We show that for all $λ> 2+\sqrt{2}$, there is a constant $α> 1$ such that eventually with all but exponentially small probability the particles are $α$-compressed, meaning the perimeter of the system configuration is at most $α\cdot p_{min}$, where $p_{min}$ is the minimum possible perimeter of the particle system. Surprisingly, the same algorithm can also be used for expansion when $0 < λ< 2.17$, and we prove similar results about expansion for values of $λ$ in this range. This is counterintuitive as it shows that particles preferring to be next to each other ($λ> 1$) is not sufficient to guarantee compression.
△ Less
Submitted 25 February, 2019; v1 submitted 25 March, 2016;
originally announced March 2016.
-
Innovative Science
Authors:
Donald W Braben,
John F Allen,
William Amos,
Richard Ball,
Hagan Bayley,
Tim Birkhead,
Peter Cameron,
Eleanor Campbell,
Richard Cogdell,
David Colquhoun,
Steve Davies,
Rod Dowler,
Peter Edwards,
Irene Engle,
Felipe Fernandez-Armesto,
Desmond Fitzgerald,
Jon Frampton,
Dame Anne Glover,
John Hall,
Pat Heslop-Harrison,
Dudley Herschbach,
Sui Huang,
H Jeff Kimble,
Sir Harry Kroto,
James Ladyman
, et al. (23 additional authors not shown)
Abstract:
Sir, We write as senior scientists about a problem vital to the scientific enterprise and prosperity. Nowadays, funding is a lengthy and complex business. First, universities themselves must approve all proposals for submission. Funding agencies then subject those that survive to peer review, a process by which a few researchers, usually acting anonymously, assess a proposal's chances that it will…
▽ More
Sir, We write as senior scientists about a problem vital to the scientific enterprise and prosperity. Nowadays, funding is a lengthy and complex business. First, universities themselves must approve all proposals for submission. Funding agencies then subject those that survive to peer review, a process by which a few researchers, usually acting anonymously, assess a proposal's chances that it will achieve its goals, is the best value for money, is relevant to a national priority and will impact on a socio-economic problem. Only 25% of proposals received by the funding agencies are funded. These protracted processes force researchers to exploit existing knowledge, severely discourage open-ended studies and are hugely time-consuming. They are also new: before 1970, few researchers wrote proposals. Now they are virtually mandatory.
△ Less
Submitted 23 September, 2015;
originally announced October 2015.
-
Thousands of Positive Reviews: Distributed Mentoring in Online Fan Communities
Authors:
Julie Ann Campbell,
Cecilia Aragon,
Katie Davis,
Sarah Evans,
Abigail Evans,
David P. Randall
Abstract:
Young people worldwide are participating in ever-increasing numbers in online fan communities. Far from mere shallow repositories of pop culture, these sites are accumulating significant evidence that sophisticated informal learning is taking place online in novel and unexpected ways. In order to understand and analyze in more detail how learning might be occurring, we conducted an in-depth nine-m…
▽ More
Young people worldwide are participating in ever-increasing numbers in online fan communities. Far from mere shallow repositories of pop culture, these sites are accumulating significant evidence that sophisticated informal learning is taking place online in novel and unexpected ways. In order to understand and analyze in more detail how learning might be occurring, we conducted an in-depth nine-month ethnographic investigation of online fanfiction communities, including participant observation and fanfiction author interviews. Our observations led to the development of a theory we term distributed mentoring, which we present in detail in this paper. Distributed mentoring exemplifies one instance of how networked technology affords new extensions of behaviors that were previously bounded by time and space. Distributed mentoring holds potential for application beyond the spontaneous mentoring observed in this investigation and may help students receive diverse, thoughtful feedback in formal learning environments as well.
△ Less
Submitted 11 October, 2015; v1 submitted 6 October, 2015;
originally announced October 2015.
-
Simulated Tempering and Swap** on Mean-Field Models
Authors:
Nayantara Bhatnagar,
Dana Randall
Abstract:
Simulated and parallel tempering are families of Markov Chain Monte Carlo algorithms where a temperature parameter is varied during the simulation to overcome bottlenecks to convergence due to multimodality.
In this work we introduce and analyze the convergence for a set of new tempering distributions which we call \textit{entropy dampening}. For asymmetric exponential distributions and the mean…
▽ More
Simulated and parallel tempering are families of Markov Chain Monte Carlo algorithms where a temperature parameter is varied during the simulation to overcome bottlenecks to convergence due to multimodality.
In this work we introduce and analyze the convergence for a set of new tempering distributions which we call \textit{entropy dampening}. For asymmetric exponential distributions and the mean field Ising model with and external field simulated tempering is known to converge slowly. We show that tempering with entropy dampening distributions mixes in polynomial time for these models.
Examining slow mixing times of tempering more closely, we show that for the mean-field 3-state ferromagnetic Potts model, tempering converges slowly regardless of the temperature schedule chosen. On the other hand, tempering with entropy dampening distributions converges in polynomial time to stationarity. Finally we show that the slow mixing can be very expensive practically. In particular, the mixing time of simulated tempering is an exponential factor longer than the mixing time at the fixed temperature.
△ Less
Submitted 19 August, 2015;
originally announced August 2015.
-
Kervaire invariants and selfcoincidences
Authors:
Ulrich Koschorke,
Duane Randall
Abstract:
Minimum numbers decide e.g. whether a given map f: S^m --> S^n/G from a sphere into a spherical space form can be deformed to a map f' such that f(x) not equal f'(x) for all x in S^m. In this paper we compare minimum numbers to (geometrically defined) Nielsen numbers (which are more computable). In the stable dimension range these numbers coincide. But already in the first nonstable range (when m=…
▽ More
Minimum numbers decide e.g. whether a given map f: S^m --> S^n/G from a sphere into a spherical space form can be deformed to a map f' such that f(x) not equal f'(x) for all x in S^m. In this paper we compare minimum numbers to (geometrically defined) Nielsen numbers (which are more computable). In the stable dimension range these numbers coincide. But already in the first nonstable range (when m=2n-2) the Kervaire invariant appears as a decisive additional obstruction which detects interesting geometric coincidence phenomena. Similar results (involving e.g. Hopf invariants, taken mod 4) are obtained in the next seven dimension ranges (when 1<m-2n+3<9). The selfcoincidence context yields also a precise geometric criterion for the open question whether the Kervaire invariant vanishes on the 126-stem or not.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Phase Coexistence and Slow Mixing for the Hard-Core Model on Z^2
Authors:
Antonio Blanca,
David Galvin,
Dana Randall,
Prasad Tetali
Abstract:
In the hard-core model on a finite graph we are given a parameter lambda>0, and an independent set I arises with probability proportional to lambda^|I|. On infinite graphs a Gibbs distribution is defined as a suitable limit with the correct conditional probabilities. In the infinite setting we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existe…
▽ More
In the hard-core model on a finite graph we are given a parameter lambda>0, and an independent set I arises with probability proportional to lambda^|I|. On infinite graphs a Gibbs distribution is defined as a suitable limit with the correct conditional probabilities. In the infinite setting we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs states. On finite graphs we are interested in determining the mixing time of local Markov chains.
On Z^2 it is conjectured that these problems are related and that both undergo a phase transition at some critical point lambda_c approx 3.79. For phase coexistence, much of the work to date has focused on the regime of uniqueness, with the best result being recent work of Restrepo et al. showing that there is a unique Gibbs state for all lambda < 2.3882. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs states for all lambda > 5.3646. Our proof adds two significant innovations to the standard Peierls argument. First, building on the idea of fault lines introduced by Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain vastly improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of Z^2.
We extend our characterization of fault lines to show that local Markov chains will mix slowly when lambda > 5.3646 on lattice regions with periodic (toroidal) boundary conditions and when lambda > 7.1031 with non-periodic (free) boundary conditions. The arguments here rely on a careful analysis that relates contours to taxi walks and represent a sevenfold improvement to the previously best known values of λ.
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
Phase coexistence and torpid mixing in the 3-coloring model on Z^d
Authors:
David Galvin,
Jeff Kahn,
Dana Randall,
Gregory Sorkin
Abstract:
We show that for all sufficiently large d, the uniform proper 3-coloring model (in physics called the 3-state antiferromagnetic Potts model at zero temperature) on Z^d admits multiple maximal-entropy Gibbs measures. This is a consequence of the following combinatorial result: if a proper 3-coloring is chosen uniformly from a box in Z^d, conditioned on color 0 being given to all the vertices on the…
▽ More
We show that for all sufficiently large d, the uniform proper 3-coloring model (in physics called the 3-state antiferromagnetic Potts model at zero temperature) on Z^d admits multiple maximal-entropy Gibbs measures. This is a consequence of the following combinatorial result: if a proper 3-coloring is chosen uniformly from a box in Z^d, conditioned on color 0 being given to all the vertices on the boundary of the box which are at an odd distance from a fixed vertex v in the box, then the probability that v gets color 0 is exponentially small in d.
The proof proceeds through an analysis of a certain type of cutset separating v from the boundary of the box, and builds on techniques developed by Galvin and Kahn in their proof of phase transition in the hard-core model on Z^d.
Building further on these techniques, we study local Markov chains for sampling proper 3-colorings of the discrete torus Z^d_n. We show that there is a constant ρ\approx 0.22 such that for all even n \geq 4 and d sufficiently large, if M is a Markov chain on the set of proper 3-colorings of Z^d_n that updates the color of at most ρn^d vertices at each step and whose stationary distribution is uniform, then the mixing time of M (the time taken for M to reach a distribution that is close to uniform, starting from an arbitrary coloring) is essentially exponential in n^{d-1}.
△ Less
Submitted 15 October, 2012;
originally announced October 2012.
-
Torpid Mixing of Local Markov Chains on 3-Colorings of the Discrete Torus
Authors:
David Galvin,
Dana Randall
Abstract:
We study local Markov chains for sampling 3-colorings of the discrete torus $T_{L,d}={0,..., L-1}^d$. We show that there is a constant $ρ\approx .22$ such that for all even $L \geq 4$ and $d$ sufficiently large, certain local Markov chains require exponential time to converge to equilibrium. More precisely, if $\cM$ is a Markov chain on the set of proper 3-colorings of $T_{L,d}$ that updates the c…
▽ More
We study local Markov chains for sampling 3-colorings of the discrete torus $T_{L,d}={0,..., L-1}^d$. We show that there is a constant $ρ\approx .22$ such that for all even $L \geq 4$ and $d$ sufficiently large, certain local Markov chains require exponential time to converge to equilibrium. More precisely, if $\cM$ is a Markov chain on the set of proper 3-colorings of $T_{L,d}$ that updates the color of at most $ρL^d$ vertices at each step and whose stationary distribution is uniform, then the convergence to stationarity of $\cM$ is exponential in $L^{d-1}$. Our proof is based on a conductance argument that builds on sensitive new combinatorial enumeration techniques.
△ Less
Submitted 14 June, 2012;
originally announced June 2012.
-
Mixing Times of Self-Organizing Lists and Biased Permutations
Authors:
Prateek Bhakta,
Sarah Miracle,
Dana Randall,
Amanda Pascoe Streib
Abstract:
Sampling permutations from S_n is a fundamental problem from probability theory. The nearest neighbor transposition chain \cal{M}}_{nn} is known to converge in time Θ(n^3 \log n) in the uniform case and time Θ(n^2) in the constant bias case, in which we put adjacent elements in order with probability p \neq 1/2 and out of order with probability 1-p. Here we consider the variable bias case where we…
▽ More
Sampling permutations from S_n is a fundamental problem from probability theory. The nearest neighbor transposition chain \cal{M}}_{nn} is known to converge in time Θ(n^3 \log n) in the uniform case and time Θ(n^2) in the constant bias case, in which we put adjacent elements in order with probability p \neq 1/2 and out of order with probability 1-p. Here we consider the variable bias case where we put adjacent elements x<y in order with probability p{x,y} and out of order with probability 1-p_{x,y}. The problem of bounding the mixing rate of M_{nn} was posed by Fill and was motivated by the Move-Ahead-One self-organizing list update algorithm. It was conjectured that the chain would always be rapidly mixing if 1/2 \leq p_{x,y} \leq 1 for all x < y, but this was only known in the case of constant bias or when p_{x,y} is equal to 1/2 or 1, a case that corresponds to sampling linear extensions of a partial order. We prove the chain is rapidly mixing for two classes: "Choose Your Weapon," where we are given r_1,..., r_{n-1} with r_i \geq 1/2 and p_{x,y}=r_x for all x<y (so the dominant player chooses the game, thus fixing his or her probability of winning), and "League Hierarchies," where there are two leagues and players from the A-league have a fixed probability of beating players from the B-league, players within each league are similarly divided into sub-leagues with a possibly different fixed probability, and so forth recursively. Both of these classes include permutations with constant bias as a special case. Moreover, we also prove that the most general conjecture is false by constructing a counterexample where 1/2 \leq p_{x,y} \leq 1 for all x< y, but for which the nearest neighbor transposition chain requires exponential time to converge.
△ Less
Submitted 15 April, 2012;
originally announced April 2012.
-
Algorithms for Sampling 3-Orientations of Planar Triangulations
Authors:
Sarah Miracle,
Dana Randall,
Amanda Pascoe Streib,
Prasad Tetali
Abstract:
Given a planar triangulation, a 3-orientation is an orientation of the internal edges so all internal vertices have out-degree three. Each 3-orientation gives rise to a unique edge coloring known as a Schnyder wood that has proven powerful for various computing and combinatorics applications. We consider natural Markov chains for sampling uniformly from the set of 3-orientations. First, we study a…
▽ More
Given a planar triangulation, a 3-orientation is an orientation of the internal edges so all internal vertices have out-degree three. Each 3-orientation gives rise to a unique edge coloring known as a Schnyder wood that has proven powerful for various computing and combinatorics applications. We consider natural Markov chains for sampling uniformly from the set of 3-orientations. First, we study a "triangle-reversing" chain on the space of 3-orientations of a fixed triangulation that reverses the orientation of the edges around a triangle in each move. It was shown previously that this chain connects the state space and we show that (i) when restricted to planar triangulations of maximum degree six, the Markov chain is rapidly mixing, and (ii) there exists a triangulation with high degree on which this Markov chain mixes slowly. Next, we consider an "edge-flip**" chain on the larger state space consisting of 3-orientations of all planar triangulations on a fixed number of vertices. It was also shown previously that this chain connects the state space and we prove that the chain is always rapidly mixing. The triangle-reversing and edge-flip** Markov chains both arise in the context of sampling other combinatorial structures, such as Eulerian orientations and triangulations of planar point sets, so our results here may shed light on the mixing rate of these related chains as well.
△ Less
Submitted 22 February, 2012;
originally announced February 2012.
-
The On-Orbit Performance of the Galaxy Evolution Explorer
Authors:
P. Morrissey,
D. Schiminovich,
T. A. Barlow,
D. C. Martin,
B. Blakkolb,
T. Conrow,
B. Cooke,
K. Erickson,
J. Fanson,
P. G. Friedman,
R. Grange,
P. N. Jelinsky,
S. C. Lee,
D. Liu,
A. Mazer,
R. McLean,
B. Milliard,
D. Randall,
W. Schmitigal,
A. Sen,
O. H. W. Siegmund,
F. Surber,
A. Vaughan,
M. Viton,
B. Y. Welsh
, et al. (13 additional authors not shown)
Abstract:
We report the first year on-orbit performance results for the Galaxy Evolution Explorer (GALEX), a NASA Small Explorer that is performing a survey of the sky in two ultraviolet bands. The instrument comprises a 50 cm diameter modified Ritchey-Chretien telescope with a 1.25 degree field of view, selectable imaging and objective grism spectroscopic modes, and an innovative optical system with a th…
▽ More
We report the first year on-orbit performance results for the Galaxy Evolution Explorer (GALEX), a NASA Small Explorer that is performing a survey of the sky in two ultraviolet bands. The instrument comprises a 50 cm diameter modified Ritchey-Chretien telescope with a 1.25 degree field of view, selectable imaging and objective grism spectroscopic modes, and an innovative optical system with a thin-film multilayer dichroic beam splitter that enables simultaneous imaging by a pair of photon counting, microchannel plate, delay line readout detectors. Initial measurements demonstrate that GALEX is performing well, meeting its requirements for resolution, efficiency, astrometry, bandpass definition and survey sensitivity.
△ Less
Submitted 11 November, 2004;
originally announced November 2004.
-
Equivalences to the triangulation conjecture
Authors:
Duane Randall
Abstract:
We utilize the obstruction theory of Galewski-Matumoto-Stern to derive equivalent formulations of the Triangulation Conjecture. For example, every closed topological manifold M^n with n > 4 can be simplicially triangulated if and only if the two distinct combinatorial triangulations of RP^5 are simplicially concordant.
We utilize the obstruction theory of Galewski-Matumoto-Stern to derive equivalent formulations of the Triangulation Conjecture. For example, every closed topological manifold M^n with n > 4 can be simplicially triangulated if and only if the two distinct combinatorial triangulations of RP^5 are simplicially concordant.
△ Less
Submitted 20 December, 2002;
originally announced December 2002.
-
Breaking Of Conformal Invariance And Electromagnetic Field Generation In The Universe
Authors:
A. Dolgov Randall
Abstract:
It is shown that the breaking of the conformal invariance in quantum electrodynamics due to the trace anomaly results in the generation of long wave electromagnetic fields during inflationary stage of the universe evolution. If the coefficient of the logarithmic charge renormalization is large (due to a large number of charged particles species), these primordial electromagnetic fields can be st…
▽ More
It is shown that the breaking of the conformal invariance in quantum electrodynamics due to the trace anomaly results in the generation of long wave electromagnetic fields during inflationary stage of the universe evolution. If the coefficient of the logarithmic charge renormalization is large (due to a large number of charged particles species), these primordial electromagnetic fields can be strong enough to create the observed galactic magnetic fields.
△ Less
Submitted 26 January, 1993;
originally announced January 1993.
-
Exotic Differentiable Structures and General Relativity
Authors:
Carl H. Brans,
Duane Randall
Abstract:
We review recent developments in differential topology with special concern for their possible significance to physical theories, especially general relativity. In particular we are concerned here with the discovery of the existence of non-standard (``fake'' or ``exotic'') differentiable structures on topologically simple manifolds such as $S^7$, \R and $S^3\times {\bf R^1}.$ Because of the tech…
▽ More
We review recent developments in differential topology with special concern for their possible significance to physical theories, especially general relativity. In particular we are concerned here with the discovery of the existence of non-standard (``fake'' or ``exotic'') differentiable structures on topologically simple manifolds such as $S^7$, \R and $S^3\times {\bf R^1}.$ Because of the technical difficulties involved in the smooth case, we begin with an easily understood toy example looking at the role which the choice of complex structures plays in the formulation of two-dimensional vacuum electrostatics. We then briefly review the mathematical formalisms involved with differentiable structures on topological manifolds, diffeomorphisms and their significance for physics. We summarize the important work of Milnor, Freedman, Donaldson, and others in develo** exotic differentiable structures on well known topological manifolds. Finally, we discuss some of the geometric implications of these results and propose some conjectures on possible physical implications of these new manifolds which have never before been considered as physical models.
△ Less
Submitted 3 December, 1992;
originally announced December 1992.