Showing 51–82 of 82 results for author: Leonard, E

Reverse isolation and backaction of the SLUG microwave amplifier

Authors: T. Thorbeck, S. Zhu, E. Leonard Jr., R. Barends, J. Kelly, John M. Martinis, R. McDermott

Abstract: An ideal preamplifier for qubit measurement must not only provide high gain and near quantum-limited noise performance, but also isolate the delicate quantum circuit from noisy downstream measurement stages while producing negligible backaction. Here we use a Superconducting Low-inductance Undulatory Galvanometer (SLUG) microwave amplifier to read out a superconducting transmon qubit, and we chara… ▽ More An ideal preamplifier for qubit measurement must not only provide high gain and near quantum-limited noise performance, but also isolate the delicate quantum circuit from noisy downstream measurement stages while producing negligible backaction. Here we use a Superconducting Low-inductance Undulatory Galvanometer (SLUG) microwave amplifier to read out a superconducting transmon qubit, and we characterize both reverse isolation and measurement backaction of the SLUG. For appropriate dc bias, the SLUG achieves reverse isolation that is better than that of a commercial cryogenic isolator. Moreover, SLUG backaction is dominated by thermal emission from dissipative elements in the device. When the SLUG is operated in pulsed mode, it is possible to characterize the transmon qubit using a measurement chain that is free from cryogenic isolators or circulators with no measurable degradation of qubit performance. △ Less

Submitted 3 May, 2017; originally announced May 2017.

Comments: 5 pages, 4 figures

Journal ref: Phys. Rev. Applied 8, 054007 (2017)

Distributed Cooperative Decision-Making in Multiarmed Bandits: Frequentist and Bayesian Algorithms

Authors: Peter Landgren, Vaibhav Srivastava, Naomi Ehrich Leonard

Abstract: We study distributed cooperative decision-making under the explore-exploit tradeoff in the multiarmed bandit (MAB) problem. We extend the state-of-the-art frequentist and Bayesian algorithms for single-agent MAB problems to cooperative distributed algorithms for multi-agent MAB problems in which agents communicate according to a fixed network graph. We rely on a running consensus algorithm for eac… ▽ More We study distributed cooperative decision-making under the explore-exploit tradeoff in the multiarmed bandit (MAB) problem. We extend the state-of-the-art frequentist and Bayesian algorithms for single-agent MAB problems to cooperative distributed algorithms for multi-agent MAB problems in which agents communicate according to a fixed network graph. We rely on a running consensus algorithm for each agent's estimation of mean rewards from its own rewards and the estimated rewards of its neighbors. We prove the performance of these algorithms and show that they asymptotically recover the performance of a centralized agent. Further, we rigorously characterize the influence of the communication graph structure on the decision-making performance of the group. △ Less

Submitted 17 September, 2019; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: This revision provides a correction to the original paper, which appeared in the Proceedings of the 2016 IEEE Conference on Decision and Control (CDC). The second statement of Proposition 1 and Theorem 1 are new from arXiv:1512.06888v3 and Lemma 1 is new. These are used to prove regret bounds in Theorems 2 and 3

Satisficing in multi-armed bandit problems

Authors: Paul Reverdy, Vaibhav Srivastava, Naomi Ehrich Leonard

Abstract: Satisficing is a relaxation of maximizing and allows for less risky decision making in the face of uncertainty. We propose two sets of satisficing objectives for the multi-armed bandit problem, where the objective is to achieve reward-based decision-making performance above a given threshold. We show that these new problems are equivalent to various standard multi-armed bandit problems with maximi… ▽ More Satisficing is a relaxation of maximizing and allows for less risky decision making in the face of uncertainty. We propose two sets of satisficing objectives for the multi-armed bandit problem, where the objective is to achieve reward-based decision-making performance above a given threshold. We show that these new problems are equivalent to various standard multi-armed bandit problems with maximizing objectives and use the equivalence to find bounds on performance. The different objectives can result in qualitatively different behavior; for example, agents explore their options continually in one case and only a finite number of times in another. For the case of Gaussian rewards we show an additional equivalence between the two sets of satisficing objectives that allows algorithms developed for one set to be applied to the other. We then develop variants of the Upper Credible Limit (UCL) algorithm that solve the problems with satisficing objectives and show that these modified UCL algorithms achieve efficient satisficing performance. △ Less

Submitted 19 December, 2016; v1 submitted 23 December, 2015; originally announced December 2015.

Comments: To appear in IEEE Transactions on Automatic Control

On Distributed Cooperative Decision-Making in Multiarmed Bandits

Authors: Peter Landgren, Vaibhav Srivastava, Naomi Ehrich Leonard

Abstract: We study the explore-exploit tradeoff in distributed cooperative decision-making using the context of the multiarmed bandit (MAB) problem. For the distributed cooperative MAB problem, we design the cooperative UCB algorithm that comprises two interleaved distributed processes: (i) running consensus algorithms for estimation of rewards, and (ii) upper-confidence-bound-based heuristics for selection… ▽ More We study the explore-exploit tradeoff in distributed cooperative decision-making using the context of the multiarmed bandit (MAB) problem. For the distributed cooperative MAB problem, we design the cooperative UCB algorithm that comprises two interleaved distributed processes: (i) running consensus algorithms for estimation of rewards, and (ii) upper-confidence-bound-based heuristics for selection of arms. We rigorously analyze the performance of the cooperative UCB algorithm and characterize the influence of communication graph structure on the decision-making performance of the group. △ Less

Submitted 16 September, 2019; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: This revision provides a correction to the original paper, which appeared in the Proceedings of the 2016 European Control Conference (ECC). The second statement of Proposition 1, Theorem 1 and their proofs are new. The new Theorem 1 is used to prove the regret bounds in Theorem 2

A martingale analysis of first passage times of time-dependent Wiener diffusion models

Authors: Vaibhav Srivastava, Samuel F. Feng, Jonathan D. Cohen, Naomi Ehrich Leonard, Amitai Shenhav

Abstract: Research in psychology and neuroscience has successfully modeled decision making as a process of noisy evidence accumulation to a decision bound. While there are several variants and implementations of this idea, the majority of these models make use of a noisy accumulation between two absorbing boundaries. A common assumption of these models is that decision parameters, e.g., the rate of accumula… ▽ More Research in psychology and neuroscience has successfully modeled decision making as a process of noisy evidence accumulation to a decision bound. While there are several variants and implementations of this idea, the majority of these models make use of a noisy accumulation between two absorbing boundaries. A common assumption of these models is that decision parameters, e.g., the rate of accumulation (drift rate), remain fixed over the course of a decision, allowing the derivation of analytic formulas for the probabilities of hitting the upper or lower decision threshold, and the mean decision time. There is reason to believe, however, that many types of behavior would be better described by a model in which the parameters were allowed to vary over the course of the decision process. In this paper, we use martingale theory to derive formulas for the mean decision time, hitting probabilities, and first passage time (FPT) densities of a Wiener process with time-varying drift between two time-varying absorbing boundaries. This model was first studied by Ratcliff (1980) in the two-stage form, and here we consider the same model for an arbitrary number of stages (i.e. intervals of time during which parameters are constant). Our calculations enable direct computation of mean decision times and hitting probabilities for the associated multistage process. We also provide a review of how martingale theory may be used to analyze similar models employing Wiener processes by re-deriving some classical results. In concert with a variety of numerical tools already available, the current derivations should encourage mathematical analysis of more complex models of decision making with time-varying evidence. △ Less

Submitted 30 September, 2016; v1 submitted 13 August, 2015; originally announced August 2015.

Correlated Multiarmed Bandit Problem: Bayesian Algorithms and Regret Analysis

Authors: Vaibhav Srivastava, Paul Reverdy, Naomi Ehrich Leonard

Abstract: We consider the correlated multiarmed bandit (MAB) problem in which the rewards associated with each arm are modeled by a multivariate Gaussian random variable, and we investigate the influence of the assumptions in the Bayesian prior on the performance of the upper credible limit (UCL) algorithm and a new correlated UCL algorithm. We rigorously characterize the influence of accuracy, confidence,… ▽ More We consider the correlated multiarmed bandit (MAB) problem in which the rewards associated with each arm are modeled by a multivariate Gaussian random variable, and we investigate the influence of the assumptions in the Bayesian prior on the performance of the upper credible limit (UCL) algorithm and a new correlated UCL algorithm. We rigorously characterize the influence of accuracy, confidence, and correlation scale in the prior on the decision-making performance of the algorithms. Our results show how priors and correlation structure can be leveraged to improve performance. △ Less

Submitted 7 July, 2015; v1 submitted 4 July, 2015; originally announced July 2015.

A Realization Theory for Bio-inspired Collective Decision-Making

Authors: Alessio Franci, Vaibhav Srivastava, Naomi Ehrich Leonard

Abstract: The collective decision-making exhibited by animal groups provides enormous inspiration for multi-agent control system design as it embodies several features that are desirable in engineered networks, including robustness and adaptability, low computational effort, and an intrinsically decentralized architecture. However, many of the mechanistic models for collective decision-making are described… ▽ More The collective decision-making exhibited by animal groups provides enormous inspiration for multi-agent control system design as it embodies several features that are desirable in engineered networks, including robustness and adaptability, low computational effort, and an intrinsically decentralized architecture. However, many of the mechanistic models for collective decision-making are described at the population-level abstraction and are challenging to implement in an engineered system. We develop simple and easy-to-implement models of opinion dynamics that realize the empirically observed collective decision-making behavior as well as the behavior predicted by existing models of animal groups. Using methods from Lyapunov analysis, singularity theory, and monotone dynamical systems, we rigorously investigate the steady-state decision-making behavior of our models. △ Less

Submitted 30 November, 2017; v1 submitted 29 March, 2015; originally announced March 2015.

Parameter estimation in softmax decision-making models with linear objective functions

Authors: Paul Reverdy, Naomi E. Leonard

Abstract: With an eye towards human-centered automation, we contribute to the development of a systematic means to infer features of human decision-making from behavioral data. Motivated by the common use of softmax selection in models of human decision-making, we study the maximum likelihood parameter estimation problem for softmax decision-making models with linear objective functions. We present conditio… ▽ More With an eye towards human-centered automation, we contribute to the development of a systematic means to infer features of human decision-making from behavioral data. Motivated by the common use of softmax selection in models of human decision-making, we study the maximum likelihood parameter estimation problem for softmax decision-making models with linear objective functions. We present conditions under which the likelihood function is convex. These allow us to provide sufficient conditions for convergence of the resulting maximum likelihood estimator and to construct its asymptotic distribution. In the case of models with nonlinear objective functions, we show how the estimator can be applied by linearizing about a nominal parameter value. We apply the estimator to fit the stochastic UCL (Upper Credible Limit) model of human decision-making to human subject data. We show statistically significant differences in behavior across related, but distinct, tasks. △ Less

Submitted 29 August, 2015; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: In press

MSC Class: 93E10

Joint Centrality Distinguishes Optimal Leaders in Noisy Networks

Authors: Katherine E. Fitch, Naomi Ehrich Leonard

Abstract: We study the performance of a network of agents tasked with tracking an external unknown signal in the presence of stochastic disturbances and under the condition that only a limited subset of agents, known as leaders, can measure the signal directly. We investigate the optimal leader selection problem for a prescribed maximum number of leaders, where the optimal leader set minimizes total system… ▽ More We study the performance of a network of agents tasked with tracking an external unknown signal in the presence of stochastic disturbances and under the condition that only a limited subset of agents, known as leaders, can measure the signal directly. We investigate the optimal leader selection problem for a prescribed maximum number of leaders, where the optimal leader set minimizes total system error defined as steady-state variance about the external signal. In contrast to previously established greedy algorithms for optimal leader selection, our results rely on an expression of total system error in terms of properties of the underlying network graph. We demonstrate that the performance of any given set of leaders depends on their influence as determined by a new graph measure of centrality of a set. We define the $joint \; centrality$ of a set of nodes in a network graph such that a leader set with maximal joint centrality is an optimal leader set. In the case of a single leader, we prove that the optimal leader is the node with maximal information centrality. In the case of multiple leaders, we show that the nodes in the optimal leader set balance high information centrality with a coverage of the graph. For special cases of graphs, we solve explicitly for optimal leader sets. We illustrate with examples. △ Less

Submitted 15 June, 2015; v1 submitted 6 July, 2014; originally announced July 2014.

Comments: Conditionally accepted to IEEE TCNS

Representing the Graviton Self-Energy on de Sitter Background

Authors: Katie E. Leonard, Sohyun Park, Tomislav Prokopec, R. P. Woodard

Abstract: We derive a noncovariant but simple representation for the self-energy of a conformally transformed graviton field on the cosmological patch of de Sitter. Our representation involves four structure functions, as opposed to the two that would be necessary for a manifestly de Sitter invariant representation. We work out what the four structure functions are for the one loop correction due to a massl… ▽ More We derive a noncovariant but simple representation for the self-energy of a conformally transformed graviton field on the cosmological patch of de Sitter. Our representation involves four structure functions, as opposed to the two that would be necessary for a manifestly de Sitter invariant representation. We work out what the four structure functions are for the one loop correction due to a massless, minimally coupled scalar. And we employ the result to work out what happens to dynamical gravitons. △ Less

Submitted 17 July, 2014; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: 38 pages, no figures, uses LaTeX2e, version 2 (39 pages) revised for publication with many errors corrected

Journal ref: Phys. Rev. D 90, 024032 (2014)

Collective Decision-Making in Ideal Networks: The Speed-Accuracy Tradeoff

Authors: Vaibhav Srivastava, Naomi Ehrich Leonard

Abstract: We study collective decision-making in a model of human groups, with network interactions, performing two alternative choice tasks. We focus on the speed-accuracy tradeoff, i.e., the tradeoff between a quick decision and a reliable decision, for individuals in the network. We model the evidence aggregation process across the network using a coupled drift diffusion model (DDM) and consider the free… ▽ More We study collective decision-making in a model of human groups, with network interactions, performing two alternative choice tasks. We focus on the speed-accuracy tradeoff, i.e., the tradeoff between a quick decision and a reliable decision, for individuals in the network. We model the evidence aggregation process across the network using a coupled drift diffusion model (DDM) and consider the free response paradigm in which individuals take their time to make the decision. We develop reduced DDMs as decoupled approximations to the coupled DDM and characterize their efficiency. We determine high probability bounds on the error rate and the expected decision time for the reduced DDM. We show the effect of the decision-maker's location in the network on their decision-making performance under several threshold selection criteria. Finally, we extend the coupled DDM to the coupled Ornstein-Uhlenbeck model for decision-making in two alternative choice tasks with recency effects, and to the coupled race model for decision-making in multiple alternative choice tasks. △ Less

Submitted 14 February, 2014; originally announced February 2014.

Comments: to appear in IEEE TCNS

A New Notion of Effective Resistance for Directed Graphs-Part II: Computing Resistances

Authors: George Forrest Young, Luca Scardovi, Naomi Ehrich Leonard

Abstract: In Part I of this work we defined a generalization of the concept of effective resistance to directed graphs, and we explored some of the properties of this new definition. Here, we use the theory developed in Part I to compute effective resistances in some prototypical directed graphs. This exploration highlights cases where our notion of effective resistance for directed graphs behaves analogous… ▽ More In Part I of this work we defined a generalization of the concept of effective resistance to directed graphs, and we explored some of the properties of this new definition. Here, we use the theory developed in Part I to compute effective resistances in some prototypical directed graphs. This exploration highlights cases where our notion of effective resistance for directed graphs behaves analogously to our experience from undirected graphs, as well as cases where it behaves in unexpected ways. △ Less

Submitted 21 October, 2013; v1 submitted 18 October, 2013; originally announced October 2013.

A New Notion of Effective Resistance for Directed Graphs-Part I: Definition and Properties

Authors: George Forrest Young, Luca Scardovi, Naomi Ehrich Leonard

Abstract: The graphical notion of effective resistance has found wide-ranging applications in many areas of pure mathematics, applied mathematics and control theory. By the nature of its construction, effective resistance can only be computed in undirected graphs and yet in several areas of its application, directed graphs arise as naturally (or more naturally) than undirected ones. In part I of this work,… ▽ More The graphical notion of effective resistance has found wide-ranging applications in many areas of pure mathematics, applied mathematics and control theory. By the nature of its construction, effective resistance can only be computed in undirected graphs and yet in several areas of its application, directed graphs arise as naturally (or more naturally) than undirected ones. In part I of this work, we propose a generalization of effective resistance to directed graphs that preserves its control-theoretic properties in relation to consensus-type dynamics. We proceed to analyze the dependence of our algebraic definition on the structural properties of the graph and the relationship between our construction and a graphical distance. The results make possible the calculation of effective resistance between any two nodes in any directed graph and provide a solid foundation for the application of effective resistance to problems involving directed graphs. △ Less

Submitted 21 October, 2013; v1 submitted 18 October, 2013; originally announced October 2013.

Nonuniform Line Coverage from Noisy Scalar Measurements

Authors: P. Davison, N. E. Leonard, A. Olshevsky, M. Schwemmer

Abstract: We study the problem of distributed coverage control in a network of mobile agents arranged on a line. The goal is to design distributed dynamics for the agents to achieve optimal coverage positions with respect to a scalar density field that measures the relative importance of each point on the line. Unlike previous work, which has implicitly assumed the agents know this density field, we only as… ▽ More We study the problem of distributed coverage control in a network of mobile agents arranged on a line. The goal is to design distributed dynamics for the agents to achieve optimal coverage positions with respect to a scalar density field that measures the relative importance of each point on the line. Unlike previous work, which has implicitly assumed the agents know this density field, we only assume that each agent can access noisy samples of the field at points close to its current location. We provide a simple randomized protocol wherein every agent samples the scalar field at three nearby points at each step and which guarantees convergence to the optimal positions. We further analyze the convergence time of this protocol and show that, under suitable assumptions, the squared distance to the optimal coverage configuration decays as $O(1/t)$ with the number of iterations $t$, where the constant scales polynomially with the number of agents $n$. We illustrate these results with simulations. △ Less

Submitted 21 November, 2014; v1 submitted 15 October, 2013; originally announced October 2013.

Modeling Human Decision-making in Generalized Gaussian Multi-armed Bandits

Authors: Paul Reverdy, Vaibhav Srivastava, Naomi E. Leonard

Abstract: We present a formal model of human decision-making in explore-exploit tasks using the context of multi-armed bandit problems, where the decision-maker must choose among multiple options with uncertain rewards. We address the standard multi-armed bandit problem, the multi-armed bandit problem with transition costs, and the multi-armed bandit problem on graphs. We focus on the case of Gaussian rewar… ▽ More We present a formal model of human decision-making in explore-exploit tasks using the context of multi-armed bandit problems, where the decision-maker must choose among multiple options with uncertain rewards. We address the standard multi-armed bandit problem, the multi-armed bandit problem with transition costs, and the multi-armed bandit problem on graphs. We focus on the case of Gaussian rewards in a setting where the decision-maker uses Bayesian inference to estimate the reward values. We model the decision-maker's prior knowledge with the Bayesian prior on the mean reward. We develop the upper credible limit (UCL) algorithm for the standard multi-armed bandit problem and show that this deterministic algorithm achieves logarithmic cumulative expected regret, which is optimal performance for uninformative priors. We show how good priors and good assumptions on the correlation structure among arms can greatly enhance decision-making performance, even over short time horizons. We extend to the stochastic UCL algorithm and draw several connections to human decision-making behavior. We present empirical data from human experiments and show that human performance is efficiently captured by the stochastic UCL algorithm with appropriate parameters. For the multi-armed bandit problem with transition costs and the multi-armed bandit problem on graphs, we generalize the UCL algorithm to the block UCL algorithm and the graphical block UCL algorithm, respectively. We show that these algorithms also achieve logarithmic cumulative expected regret and require a sub-logarithmic expected number of transitions among arms. We further illustrate the performance of these algorithms with numerical examples. NB: Appendix G included in this version details minor modifications that correct for an oversight in the previously-published proofs. The remainder of the text reflects the published work. △ Less

Submitted 20 December, 2019; v1 submitted 23 July, 2013; originally announced July 2013.

Comments: 25 pages. Appendix G included in this version details minor modifications that correct for an oversight in the previously-published proofs. The remainder of the text reflects the previously-published version

Journal ref: Proceedings of the IEEE, vol. 102, iss. 4, p. 544-571, 2014

Graviton Corrections to Vacuum Polarization during Inflation

Authors: Katie E. Leonard, R. P. Woodard

Abstract: We use dimensional regularization to compute the one loop quantum gravitational contribution to the vacuum polarization on de Sitter background. Adding the appropriate BPHZ counterterms gives a fully renormalized result which can be used to quantum correct Maxwell's equations. We use the Hartree approximation to argue that the electric field strengths of photons experience a secular suppression du… ▽ More We use dimensional regularization to compute the one loop quantum gravitational contribution to the vacuum polarization on de Sitter background. Adding the appropriate BPHZ counterterms gives a fully renormalized result which can be used to quantum correct Maxwell's equations. We use the Hartree approximation to argue that the electric field strengths of photons experience a secular suppression during inflation. △ Less

Submitted 19 June, 2014; v1 submitted 26 April, 2013; originally announced April 2013.

Comments: 36 pages, 1 figure, uses LaTeX 2e, version 2 corrects a number of significant errors, version 3 corrects a number of typos and presents the (unchanged) final result in a more compact form

Report number: UFIFT-QG-13-02

Journal ref: Class. Quant. Grav. 31 (2014) 015010

Adaptive Network Dynamics and Evolution of Leadership in Collective Migration

Authors: Darren Pais, Naomi Ehrich Leonard

Abstract: The evolution of leadership in migratory populations depends not only on costs and benefits of leadership investments but also on the opportunities for individuals to rely on cues from others through social interactions. We derive an analytically tractable adaptive dynamic network model of collective migration with fast timescale migration dynamics and slow timescale adaptive dynamics of individua… ▽ More The evolution of leadership in migratory populations depends not only on costs and benefits of leadership investments but also on the opportunities for individuals to rely on cues from others through social interactions. We derive an analytically tractable adaptive dynamic network model of collective migration with fast timescale migration dynamics and slow timescale adaptive dynamics of individual leadership investment and social interaction. For large populations, our analysis of bifurcations with respect to investment cost explains the observed hysteretic effect associated with recovery of migration in fragmented environments. Further, we show a minimum connectivity threshold above which there is evolutionary branching into leader and follower populations. For small populations, we show how the topology of the underlying social interaction network influences the emergence and location of leaders in the adaptive system. Our model and analysis can describe other adaptive network dynamics involving collective tracking or collective learning of a noisy, unknown signal, and likewise can inform the design of robotic networks where agents use decentralized strategies that balance direct environmental measurements with agent interactions. △ Less

Submitted 9 March, 2013; originally announced March 2013.

Comments: Submitted to Physica D: Nonlinear Phenomena

Why multi-tracer surveys beat cosmic variance

Authors: L. Raul Abramo, Katie E. Leonard

Abstract: Galaxy surveys that map multiple species of tracers of large-scale structure can improve the constraints on some cosmological parameters far beyond the limits imposed by a simplistic interpretation of cosmic variance. This enhancement derives from comparing the relative clustering between different tracers of large-scale structure. We present a simple but fully generic expression for the Fisher in… ▽ More Galaxy surveys that map multiple species of tracers of large-scale structure can improve the constraints on some cosmological parameters far beyond the limits imposed by a simplistic interpretation of cosmic variance. This enhancement derives from comparing the relative clustering between different tracers of large-scale structure. We present a simple but fully generic expression for the Fisher information matrix of surveys with any (discrete) number of tracers, and show that the enhancement of the constraints on bias-sensitive parameters are a straightforward consequence of this multi-tracer Fisher matrix. In fact, the relative clustering amplitudes between tracers are eigenvectors of this multi-tracer Fisher matrix. The diagonalized multi-tracer Fisher matrix clearly shows that while the effective volume is bounded by the physical volume of the survey, the relational information between species is unbounded. As an application, we study the expected enhancements in the constraints of realistic surveys that aim at map** several different types of tracers of large-scale structure. The gain obtained by combining multiple tracers is highest at low redshifts, and in one particular scenario we analyzed, the enhancement can be as large as a factor of ~3 for the accuracy in the determination of the redshift distortion parameter, and a factor ~5 for the local non-Gaussianity parameter. Radial and angular distance determinations from the baryonic features in the power spectrum may also benefit from the multi-tracer approach. △ Less

Submitted 28 February, 2013; v1 submitted 21 February, 2013; originally announced February 2013.

Comments: New references included; 9 pages, 9 figures

Starling flock networks manage uncertainty in consensus at low cost

Authors: George Forrest Young, Luca Scardovi, Andrea Cavagna, Irene Giardina, Naomi Ehrich Leonard

Abstract: Flocks of starlings exhibit a remarkable ability to maintain cohesion as a group in highly uncertain environments and with limited, noisy information. Recent work demonstrated that individual starlings within large flocks respond to a fixed number of nearest neighbors, but until now it was not understood why this number is seven. We analyze robustness to uncertainty of consensus in empirical data… ▽ More Flocks of starlings exhibit a remarkable ability to maintain cohesion as a group in highly uncertain environments and with limited, noisy information. Recent work demonstrated that individual starlings within large flocks respond to a fixed number of nearest neighbors, but until now it was not understood why this number is seven. We analyze robustness to uncertainty of consensus in empirical data from multiple starling flocks and show that the flock interaction networks with six or seven neighbors optimize the trade-off between group cohesion and individual effort. We can distinguish these numbers of neighbors from fewer or greater numbers using our systems-theoretic approach to measuring robustness of interaction networks as a function of the network structure, i.e., who is sensing whom. The metric quantifies the disagreement within the network due to disturbances and noise during consensus behavior and can be evaluated over a parameterized family of hypothesized sensing strategies (here the parameter is number of neighbors). We use this approach to further show that for the range of flocks studied the optimal number of neighbors does not depend on the number of birds within a flock; rather, it depends on the shape, notably the thickness, of the flock. The results suggest that robustness to uncertainty may have been a factor in the evolution of flocking for starlings. More generally, our results elucidate the role of the interaction network on uncertainty management in collective behavior, and motivate the application of our approach to other biological networks. △ Less

Submitted 13 February, 2013; originally announced February 2013.

Comments: 19 pages, 3 figures, 9 supporting figures

Journal ref: PLoS Comput. Biol. 9 (2013) 1-e1002894

Representing the Vacuum Polarization on de Sitter

Authors: Katie E. Leonard, T. Prokopec, R. P. Woodard

Abstract: Previous studies of the vacuum polarization on de Sitter have demonstrated that there is a simple, noncovariant representation of it in which the physics is transparent. There is also a cumbersome, covariant representation in which the physics is obscure. Despite being unwieldy, the latter form has a powerful appeal for those who are concerned about de Sitter invariance. We show that nothing is lo… ▽ More Previous studies of the vacuum polarization on de Sitter have demonstrated that there is a simple, noncovariant representation of it in which the physics is transparent. There is also a cumbersome, covariant representation in which the physics is obscure. Despite being unwieldy, the latter form has a powerful appeal for those who are concerned about de Sitter invariance. We show that nothing is lost by employing the simple, noncovariant representation because there is a closed form procedure for converting its structure functions to those of the covariant representation. We also present a vastly improved technique for reading off the noncovariant structure functions from the primitive diagrams. And we discuss the issue of representing the vacuum polarization for a general metric background. △ Less

Submitted 6 November, 2012; originally announced November 2012.

Comments: 16 pages, no figures, uses LaTeX 2e

Report number: UFIFT-QG-12-07

Journal ref: J. Math. Phys. 54 (2013) 032301

Covariant Vacuum Polarizations on de Sitter Background

Authors: Katie E. Leonard, T. Prokopec, R. P. Woodard

Abstract: We derive covariant expressions for the one loop vacuum polarization induced by a charged scalar on de Sitter background. Two forms are employed: one in which two covariant derivatives act on de Sitter invariant basis tensors multiplied by scalar structure functions, and the other in which four covariant derivatives act on a single basis tensor times a structure function. The second representation… ▽ More We derive covariant expressions for the one loop vacuum polarization induced by a charged scalar on de Sitter background. Two forms are employed: one in which two covariant derivatives act on de Sitter invariant basis tensors multiplied by scalar structure functions, and the other in which four covariant derivatives act on a single basis tensor times a structure function. The second representation permits the correction to dynamical photons to be expressed as a surface integral, which raises the important question of what sorts of effects can be absorbed into corrections of the initial state. Results are obtained for charged, minimally coupled scalars which are either massless or else light. The former show de Sitter breaking whereas the latter are de Sitter invariant. However, the de Sitter invariant formulation does not seem useful, even when it is possible. Our work has important implications for representations of the graviton self-energy on de Sitter. △ Less

Submitted 25 October, 2012; originally announced October 2012.

Comments: 30 pages, 3 figures, 2 tables, uses LaTeX 2e

Report number: ITP-UU-12/31, SPIN-12/29, UFIFT-QG-12-06

Node Classification in Networks of Stochastic Evidence Accumulators

Authors: Ioannis Poulakakis, Luca Scardovi, Naomi Ehrich Leonard

Abstract: This paper considers a network of stochastic evidence accumulators, each represented by a drift-diffusion model accruing evidence towards a decision in continuous time by observing a noisy signal and by exchanging information with other units according to a fixed communication graph. We bring into focus the relationship between the location of each unit in the communication graph and its certainty… ▽ More This paper considers a network of stochastic evidence accumulators, each represented by a drift-diffusion model accruing evidence towards a decision in continuous time by observing a noisy signal and by exchanging information with other units according to a fixed communication graph. We bring into focus the relationship between the location of each unit in the communication graph and its certainty as measured by the inverse of the variance of its state. We show that node classification according to degree distributions or geodesic distances cannot faithfully capture node ranking in terms of certainty. Instead, all possible paths connecting each unit with the rest in the network must be incorporated. We make this precise by proving that node classification according to information centrality provides a rank ordering with respect to node certainty, thereby affording a direct interpretation of the certainty level of each unit in terms of the structural properties of the underlying communication graph. △ Less

Submitted 15 October, 2012; originally announced October 2012.

Comments: 32 pages

Cooperative learning in multi-agent systems from intermittent measurements

Authors: Naomi Ehrich Leonard, Alex Olshevsky

Abstract: Motivated by the problem of tracking a direction in a decentralized way, we consider the general problem of cooperative learning in multi-agent systems with time-varying connectivity and intermittent measurements. We propose a distributed learning protocol capable of learning an unknown vector $μ$ from noisy measurements made independently by autonomous nodes. Our protocol is completely distribute… ▽ More Motivated by the problem of tracking a direction in a decentralized way, we consider the general problem of cooperative learning in multi-agent systems with time-varying connectivity and intermittent measurements. We propose a distributed learning protocol capable of learning an unknown vector $μ$ from noisy measurements made independently by autonomous nodes. Our protocol is completely distributed and able to cope with the time-varying, unpredictable, and noisy nature of inter-agent communication, and intermittent noisy measurements of $μ$. Our main result bounds the learning speed of our protocol in terms of the size and combinatorial features of the (time-varying) networks connecting the nodes. △ Less

Submitted 15 December, 2014; v1 submitted 10 September, 2012; originally announced September 2012.

Graviton Corrections to Maxwell's Equations

Authors: Katie E. Leonard, R. P. Woodard

Abstract: We use dimensional regularization to compute the one loop quantum gravitational contribution to the vacuum polarization on flat space background. Adding the appropriate BPHZ counterterm gives a fully renormalized result which we employ to quantum correct Maxwell's equations. These equations are solved to show that dynamical photons are unchanged, provided the free state wave functional is appropri… ▽ More We use dimensional regularization to compute the one loop quantum gravitational contribution to the vacuum polarization on flat space background. Adding the appropriate BPHZ counterterm gives a fully renormalized result which we employ to quantum correct Maxwell's equations. These equations are solved to show that dynamical photons are unchanged, provided the free state wave functional is appropriately corrected. The response to the instantaneous appearance of a point dipole reveals a perturbative version of the long-conjectured, "smearing of the light-cone". There is no change in the far radiation field produced by an alternating dipole. However, the correction to the static electric field of a point charge shows strengthening at short distances, in contrast to expectations based on the renormalization group. We check for gauge dependence by working out the vacuum polarization in a general 3-parameter family of covariant gauges. △ Less

Submitted 4 June, 2012; v1 submitted 26 February, 2012; originally announced February 2012.

Comments: 34 pages, 4 figures, 2 tables, uses LaTeX2e

Report number: UFIFT-QG-12-02

Journal ref: Phys.Rev.D85:104048,2012

Rearranging trees for robust consensus

Authors: George Forrest Young, Luca Scardovi, Naomi Ehrich Leonard

Abstract: In this paper, we use the H2 norm associated with a communication graph to characterize the robustness of consensus to noise. In particular, we restrict our attention to trees and by systematic attention to the effect of local changes in topology, we derive a partial ordering for undirected trees according to the H2 norm. Our approach for undirected trees provides a constructive method for derivin… ▽ More In this paper, we use the H2 norm associated with a communication graph to characterize the robustness of consensus to noise. In particular, we restrict our attention to trees and by systematic attention to the effect of local changes in topology, we derive a partial ordering for undirected trees according to the H2 norm. Our approach for undirected trees provides a constructive method for deriving an ordering for directed trees. Further, our approach suggests a decentralized manner in which trees can be rearranged in order to improve their robustness. △ Less

Submitted 20 June, 2011; v1 submitted 12 May, 2011; originally announced May 2011.

Comments: Submitted to CDC 2011

Nonuniform Coverage Control on the Line

Authors: Naomi Ehrich Leonard, Alex Olshevsky

Abstract: This paper investigates control laws allowing mobile, autonomous agents to optimally position themselves on the line for distributed sensing in a nonuniform field. We show that a simple static control law, based only on local measurements of the field by each agent, drives the agents close to the optimal positions after the agents execute in parallel a number of sensing/movement/computation rounds… ▽ More This paper investigates control laws allowing mobile, autonomous agents to optimally position themselves on the line for distributed sensing in a nonuniform field. We show that a simple static control law, based only on local measurements of the field by each agent, drives the agents close to the optimal positions after the agents execute in parallel a number of sensing/movement/computation rounds that is essentially quadratic in the number of agents. Further, we exhibit a dynamic control law which, under slightly stronger assumptions on the capabilities and knowledge of each agent, drives the agents close to the optimal positions after the agents execute in parallel a number of sensing/communication/computation/movement rounds that is essentially linear in the number of agents. Crucially, both algorithms are fully distributed and robust to unpredictable loss and addition of agents. △ Less

Submitted 7 November, 2012; v1 submitted 3 April, 2011; originally announced April 2011.

Tensegrity Models and Shape Control of Vehicle Formations

Authors: Benjamin Nabet, Naomi Ehrich Leonard

Abstract: Using dynamic models of tensegrity structures, we derive provable, distributed control laws for stabilizing and changing the shape of a formation of vehicles in the plane. Tensegrity models define the desired, controlled, multi-vehicle system dynamics, where each node in the tensegrity structure maps to a vehicle and each interconnecting strut or cable in the structure maps to a virtual intercon… ▽ More Using dynamic models of tensegrity structures, we derive provable, distributed control laws for stabilizing and changing the shape of a formation of vehicles in the plane. Tensegrity models define the desired, controlled, multi-vehicle system dynamics, where each node in the tensegrity structure maps to a vehicle and each interconnecting strut or cable in the structure maps to a virtual interconnection between vehicles. Our method provides a smooth map from any desired planar formation shape to a planar tensegrity structure. The stabilizing vehicle formation shape control laws are then given by the forces between nodes in the corresponding tensegrity model. The smooth map makes possible provably well behaved changes of formation shape over a prescribed time interval. A designed path in shape space is mapped to a path in the parametrized space of tensegrity structures and the vehicle formation tracks this path with forces derived from the time-varying tensegrity model. By means of examples, we illustrate the influence of design parameters on performance measures. △ Less

Submitted 23 February, 2009; originally announced February 2009.

Comments: 31 pages, 6 figures, Submitted

Ternary cluster decay within the liquid drop model

Authors: G. Royer, K. Degiorgio, M. Dubillot, E. Leonard

Abstract: Longitudinal ternary and binary fission barriers of $^{36}$Ar, $^{56}$Ni and $^{252}$Cf nuclei have been determined within a rotational liquid drop model taking into account the nuclear proximity energy. For the light nuclei the heights of the ternary fission barriers become competitive with the binary ones at high angular momenta since the maximum lies at an outer position and has a much higher… ▽ More Longitudinal ternary and binary fission barriers of $^{36}$Ar, $^{56}$Ni and $^{252}$Cf nuclei have been determined within a rotational liquid drop model taking into account the nuclear proximity energy. For the light nuclei the heights of the ternary fission barriers become competitive with the binary ones at high angular momenta since the maximum lies at an outer position and has a much higher moment of inertia. △ Less

Submitted 27 May, 2008; originally announced May 2008.

Comments: Talk presented at the 9th International Conference on Clustering Aspects of Nuclear Structure and Dynamics (CLUSTERS'07)

Journal ref: Dans Journal of Physics: Conference Series - 9TH INTERNATIONAL CONFERENCE ON CLUSTERING ASPECTS OF NUCLEAR STRUCTURE AND DYNAMICS (CLUSTERS'07), Stratford upon Avon : Royaume-Uni (2007)

Heterogeneous animal group models and their group-level alignment dynamics; an equation-free approach

Authors: Sung Joon Moon, B. Nabet, Naomi E. Leonard, Simon A. Levin, I. G. Kevrekidis

Abstract: We study coarse-grained (group-level) alignment dynamics of individual-based animal group models for {\it heterogeneous} populations consisting of informed (on preferred directions) and uninformed individuals. The orientation of each individual is characterized by an angle, whose dynamics are nonlinearly coupled with those of all the other individuals, with an explicit dependence on the differen… ▽ More We study coarse-grained (group-level) alignment dynamics of individual-based animal group models for {\it heterogeneous} populations consisting of informed (on preferred directions) and uninformed individuals. The orientation of each individual is characterized by an angle, whose dynamics are nonlinearly coupled with those of all the other individuals, with an explicit dependence on the difference between the individual's orientation and the instantaneous average direction. Choosing convenient coarse-grained variables (suggested by uncertainty quantification methods) that account for rapidly develo** correlations during initial transients, we perform efficient computations of coarse-grained steady states and their bifurcation analysis. We circumvent the derivation of coarse-grained governing equations, following an equation-free computational approach. △ Less

Submitted 15 December, 2006; v1 submitted 16 June, 2006; originally announced June 2006.

Comments: final form; accepted for publication in Journal of Theoretical Biology

Singular trajectories in multi-input time-optimal problems: Application to controlled mechanical systems

Authors: M. Chyba, N. E. Leonard, E. D. Sontag

Abstract: This paper addresses the time-optimal control problem for a class of control systems which includes controlled mechanical systems with possible dissipation terms. The Lie algebras associated with such mechanical systems enjoy certain special properties. These properties are explored and are used in conjunction with the Pontryagin maximum principle to determine the structure of singular extremals… ▽ More This paper addresses the time-optimal control problem for a class of control systems which includes controlled mechanical systems with possible dissipation terms. The Lie algebras associated with such mechanical systems enjoy certain special properties. These properties are explored and are used in conjunction with the Pontryagin maximum principle to determine the structure of singular extremals and, in particular, time-optimal trajectories. The theory is illustrated with an application to a time-optimal problem for a class of underwater vehicles △ Less

Submitted 2 May, 2002; originally announced May 2002.

Comments: See http://www.math.rutgers.edu/~sontag for related work

MSC Class: 93B05;57R27;37N05

A linear programming approach to inhomogeneous primordial nucleosynthesis

Authors: Richard E. Leonard, Robert J. Scherrer

Abstract: We examine inhomogeneous primordial nucleosynthesis for {\it arbitrary} distributions $f$ of the baryon-to-photon ratio $η$, in the limit where neither particle diffusion nor gravitational collapse is important. By discretizing $f(η)$ and using linear programming, we show that for a set of $m$ constraints on the primordial element abundances, the maximum and minimum possible values of $\bar η$ (… ▽ More We examine inhomogeneous primordial nucleosynthesis for {\it arbitrary} distributions $f$ of the baryon-to-photon ratio $η$, in the limit where neither particle diffusion nor gravitational collapse is important. By discretizing $f(η)$ and using linear programming, we show that for a set of $m$ constraints on the primordial element abundances, the maximum and minimum possible values of $\bar η$ (the final mean value of $η$) are given when $f(η)$ is a sum of at most $m+1$ delta functions. Our linear programming results indicate that when $f$ is taken to be an arbitrary function, there is no lower bound on $\bar η$, while the upper bound is essentially the homogeneous upper bound. △ Less

Submitted 25 October, 1995; originally announced October 1995.

Comments: 9 pages, latex, no figures

Report number: OSU-TA-22/95

Journal ref: Astrophys.J. 463 (1996) 420-423

Differential neutrino heating and reduced $^4$He production from decaying particles in the early universe

Authors: Richard E. Leonard, Robert J. Scherrer

Abstract: A decaying particle that dominates the energy density of the universe and then decays with a lifetime $\sim 10^{-1}$ sec into electromagnetically-interacting particles can heat the background electron neutrinos more than the $μ$ and $τ$ neutrinos, resulting in a decrease in the primordial $^4$He abundance. Previous calculations of this effect assumed sudden decoupling of the neutrinos from the e… ▽ More A decaying particle that dominates the energy density of the universe and then decays with a lifetime $\sim 10^{-1}$ sec into electromagnetically-interacting particles can heat the background electron neutrinos more than the $μ$ and $τ$ neutrinos, resulting in a decrease in the primordial $^4$He abundance. Previous calculations of this effect assumed sudden decoupling of the neutrinos from the electromagnetic plasma. Here we repeat this calculation using an improved (although still approximate) treatment of the energy flow from the blackbody radiation into the various neutrino components. We find that with our improved calculation, the reduction in the primordial $^4$He is not as large as had been previously thought, but it occurs over a larger range in decaying particle lifetime $τ$. The reduction in $^4$He can be as large as $ΔY = -0.01$ for $τ= 0.1 - 0.7$ sec. △ Less

Submitted 26 September, 1995; originally announced September 1995.

Comments: Latex, 13 pages, 4 uuencoded figures appended

Report number: OSU-TA-17/95