Showing 1–50 of 163 results for author: Lévine, J

New Limit on Dark Photon Kinetic Mixing in the 0.2-1.2 $\boldsymbolμ$eV Mass Range From the Dark E-Field Radio Experiment

Authors: Joseph Levine, Benjamin Godfrey, J. Anthony Tyson, S. Mani Tripathi, Daniel Polin, Amin Aminaei, Brian H. Kolner, Paul Stucky

Abstract: We report new limits on the kinetic mixing strength of the dark photon spanning the mass range 0.21 -- 1.24 $μ$eV corresponding to a frequency span of 50 -- 300 MHz. The Dark E-Field Radio experiment is a wide-band search for dark photon dark matter. In this paper we detail changes in calibration and upgrades since our proof-of-concept pilot run. Our detector employs a wide bandwidth E-field anten… ▽ More We report new limits on the kinetic mixing strength of the dark photon spanning the mass range 0.21 -- 1.24 $μ$eV corresponding to a frequency span of 50 -- 300 MHz. The Dark E-Field Radio experiment is a wide-band search for dark photon dark matter. In this paper we detail changes in calibration and upgrades since our proof-of-concept pilot run. Our detector employs a wide bandwidth E-field antenna moved to multiple positions in a shielded room, a low noise amplifier, wideband ADC, followed by a $2^{24}$-point FFT. An optimal filter searches for signals with Q $\approx10^6$. In nine days of integration, this system is capable of detecting dark photon signals corresponding to $ε$ several orders of magnitude lower than previous limits. We find a 95% exclusion limit on $ε$ over this mass range between $6\times 10^{-15}$ and $6\times 10^{-13}$, tracking the complex resonant mode structure in the shielded room. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 15 pages, 12 figures, submitted to PRD

Differential Flatness by Pure Prolongation: Necessary and Sufficient Conditions

Authors: Jean Lévine

Abstract: In this article, we introduce the notion of differential flatness by pure prolongation: loosely speaking, a system admits this property if, and only if, there exists a pure prolongation of finite order such that the prolonged system is feedback linearizable. We obtain Lie-algebraic necessary and sufficient conditions for a general nonlinear multi-input system to satisfy this property. These condit… ▽ More In this article, we introduce the notion of differential flatness by pure prolongation: loosely speaking, a system admits this property if, and only if, there exists a pure prolongation of finite order such that the prolonged system is feedback linearizable. We obtain Lie-algebraic necessary and sufficient conditions for a general nonlinear multi-input system to satisfy this property. These conditions are comprised of the involutivity and relative invariance of a pair of filtrations of distributions of vector fields. An algorithm computing the minimal prolongation lengths of the input channels that achieve the system linearization, yielding the associated flat outputs, is deduced. Examples that show the efficiency and computational tractability of the approach are then presented. △ Less

Submitted 16 August, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: Version 2

MSC Class: 34H05; 93C10; 93C35

Journal ref: Communications in Optimization Theory, Special issue on Systems Theory, Control and Related Topics, dedicated to Professor E. Zeheb on the occasion of his 85th birthday, 2024

Why People Skip Music? On Predicting Music Skips using Deep Reinforcement Learning

Authors: Francesco Meggetto, Crawford Revie, John Levine, Yashar Moshfeghi

Abstract: Music recommender systems are an integral part of our daily life. Recent research has seen a significant effort around black-box recommender based approaches such as Deep Reinforcement Learning (DRL). These advances have led, together with the increasing concerns around users' data collection and privacy, to a strong interest in building responsible recommender systems. A key element of a successf… ▽ More Music recommender systems are an integral part of our daily life. Recent research has seen a significant effort around black-box recommender based approaches such as Deep Reinforcement Learning (DRL). These advances have led, together with the increasing concerns around users' data collection and privacy, to a strong interest in building responsible recommender systems. A key element of a successful music recommender system is modelling how users interact with streamed content. By first understanding these interactions, insights can be drawn to enable the construction of more transparent and responsible systems. An example of these interactions is skip** behaviour, a signal that can measure users' satisfaction, dissatisfaction, or lack of interest. In this paper, we study the utility of users' historical data for the task of sequentially predicting users' skip** behaviour. To this end, we adapt DRL for this classification task, followed by a post-hoc explainability (SHAP) and ablation analysis of the input state representation. Experimental results from a real-world music streaming dataset (Spotify) demonstrate the effectiveness of our approach in this task by outperforming state-of-the-art models. A comprehensive analysis of our approach and of users' historical data reveals a temporal data leakage problem in the dataset. Our findings indicate that, overall, users' behaviour features are the most discriminative in how our proposed DRL model predicts music skips. Content and contextual features have a lesser effect. This suggests that a limited amount of user data should be collected and leveraged to predict skip** behaviour. △ Less

Submitted 10 January, 2023; originally announced January 2023.

Comments: Accepted at CHIIR 2023

Computing a Stable Distance on Merge Trees

Authors: Brian Bollen, Pasindu Tennakoon, Joshua A. Levine

Abstract: Distances on merge trees facilitate visual comparison of collections of scalar fields. Two desirable properties for these distances to exhibit are 1) the ability to discern between scalar fields which other, less complex topological summaries cannot and 2) to still be robust to perturbations in the dataset. The combination of these two properties, known respectively as stability and discriminativi… ▽ More Distances on merge trees facilitate visual comparison of collections of scalar fields. Two desirable properties for these distances to exhibit are 1) the ability to discern between scalar fields which other, less complex topological summaries cannot and 2) to still be robust to perturbations in the dataset. The combination of these two properties, known respectively as stability and discriminativity, has led to theoretical distances which are either thought to be or shown to be computationally complex and thus their implementations have been scarce. In order to design similarity measures on merge trees which are computationally feasible for more complex merge trees, many researchers have elected to loosen the restrictions on at least one of these two properties. The question still remains, however, if there are practical situations where trading these desirable properties is necessary. Here we construct a distance between merge trees which is designed to retain both discriminativity and stability. While our approach can be expensive for large merge trees, we illustrate its use in a setting where the number of nodes is small. This setting can be made more practical since we also provide a proof that persistence simplification increases the outputted distance by at most half of the simplified value. We demonstrate our distance measure on applications in shape comparison and on detection of periodicity in the von Kármán vortex street. △ Less

Submitted 16 October, 2022; originally announced October 2022.

Comments: Accepted to IEEE VIS 2022 (IEEE Transactions on Visualization and Computer Graphics, 2022)

Autoencoder-Aided Visualization of Collections of Morse Complexes

Authors: Jixian Li, Danielle Van Boxel, Joshua A. Levine

Abstract: Though analyzing a single scalar field using Morse complexes is well studied, there are few techniques for visualizing a collection of Morse complexes. We focus on analyses that are enabled by looking at a Morse complex as an embedded domain decomposition. Specifically, we target 2D scalar fields, and we encode the Morse complex through binary images of the boundaries of decomposition. Then we use… ▽ More Though analyzing a single scalar field using Morse complexes is well studied, there are few techniques for visualizing a collection of Morse complexes. We focus on analyses that are enabled by looking at a Morse complex as an embedded domain decomposition. Specifically, we target 2D scalar fields, and we encode the Morse complex through binary images of the boundaries of decomposition. Then we use image-based autoencoders to create a feature space for the Morse complexes. We apply additional dimensionality reduction methods to construct a scatterplot as a visual interface of the feature space. This allows us to investigate individual Morse complexes, as they relate to the collection, through interaction with the scatterplot. We demonstrate our approach using a synthetic data set, microscopy images, and time-varying vorticity magnitude fields of flow. Through these, we show that our method can produce insights about structures within the collection of Morse complexes. △ Less

Submitted 18 January, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: Topo In Vis Workshop submission

Reeb Graph Metrics from the Ground Up

Authors: Brian Bollen, Erin Chambers, Joshua A. Levine, Elizabeth Munch

Abstract: The Reeb graph has been utilized in various applications including the analysis of scalar fields. Recently, research has been focused on using topological signatures such as the Reeb graph to compare multiple scalar fields by defining distance metrics on the topological signatures themselves. Here we survey five existing metrics that have been defined on Reeb graphs: the bottleneck distance, the i… ▽ More The Reeb graph has been utilized in various applications including the analysis of scalar fields. Recently, research has been focused on using topological signatures such as the Reeb graph to compare multiple scalar fields by defining distance metrics on the topological signatures themselves. Here we survey five existing metrics that have been defined on Reeb graphs: the bottleneck distance, the interleaving distance, functional distortion distance, the Reeb graph edit distance, and the universal edit distance. Our goal is to (1) provide definitions and concrete examples of these distances in order to develop the intuition of the reader, (2) visit previously proven results of stability, universality, and discriminativity, (3) identify and complete any remaining properties which have only been proven (or disproven) for a subset of these metrics, (4) expand the taxonomy of the bottleneck distance to better distinguish between variations which have been commonly miscited, and (5) reconcile the various definitions and requirements on the underlying spaces for these metrics to be defined and properties to be proven. △ Less

Submitted 19 October, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: 71 pages, 35 figures

Barriers and Potentially Safe Sets in Hybrid Systems: Pendulum with Non-Rigid Cable

Authors: Willem Esterhuizen, Jean Lévine

Abstract: This paper deals with an application of the notion of barrier in mixed constrained nonlinear systems to an example of a pendulum mounted on a cart with non-rigid cable, whose dynamics may switch to free-fall when the tension of the cable vanishes. We present a direct construction of the boundary of the potentially safe set in which there always exists a control such that the cable never goes slack… ▽ More This paper deals with an application of the notion of barrier in mixed constrained nonlinear systems to an example of a pendulum mounted on a cart with non-rigid cable, whose dynamics may switch to free-fall when the tension of the cable vanishes. We present a direct construction of the boundary of the potentially safe set in which there always exists a control such that the cable never goes slack. A discussion on the dependence of this set with respect to the pendulum and cart masses is then sketched. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Comments: 10 pages, 5 figures, as published in Automatica

MSC Class: 93C10 (Primary); 34A38 (Secondary)

Journal ref: Automatica, 73, pp.248-255 (2016)

Epidemic Management with Admissible and Robust Invariant Sets

Authors: Willem Esterhuizen, Jean Lévine, Stefan Streif

Abstract: We present a detailed set-based analysis of the well-known SIR and SEIR epidemic models subjected to hard caps on the proportion of infective individuals, and bounds on the allowable intervention strategies, such as social distancing, quarantining and vaccination. We describe the admissible and maximal robust positively invariant (MRPI) sets of these two models via the theory of barriers. We show… ▽ More We present a detailed set-based analysis of the well-known SIR and SEIR epidemic models subjected to hard caps on the proportion of infective individuals, and bounds on the allowable intervention strategies, such as social distancing, quarantining and vaccination. We describe the admissible and maximal robust positively invariant (MRPI) sets of these two models via the theory of barriers. We show how the sets may be used in the management of epidemics, for both perfect and imperfect/uncertain models, detailing how intervention strategies may be specified such that the hard infection cap is never breached, regardless of the basic reproduction number. The results are clarified with detailed examples. △ Less

Submitted 13 September, 2021; originally announced September 2021.

Comments: 28 pages, 5 figures, accepted for publication in PLOS ONE

MSC Class: 34H05 (primary); 92D30 (secondary); 37N35; 37N25

STFT-LDA: An Algorithm to Facilitate the Visual Analysis of Building Seismic Responses

Authors: Zhenge Zhao, Danilo Motta, Matthew Berger, Joshua A. Levine, Ismail B. Kuzucu, Robert B. Fleischman, Afonso Paiva, Carlos Scheidegger

Abstract: Civil engineers use numerical simulations of a building's responses to seismic forces to understand the nature of building failures, the limitations of building codes, and how to determine the latter to prevent the former. Such simulations generate large ensembles of multivariate, multiattribute time series. Comprehensive understanding of this data requires techniques that support the multivariate… ▽ More Civil engineers use numerical simulations of a building's responses to seismic forces to understand the nature of building failures, the limitations of building codes, and how to determine the latter to prevent the former. Such simulations generate large ensembles of multivariate, multiattribute time series. Comprehensive understanding of this data requires techniques that support the multivariate nature of the time series and can compare behaviors that are both periodic and non-periodic across multiple time scales and multiple time series themselves. In this paper, we present a novel technique to extract such patterns from time series generated from simulations of seismic responses. The core of our approach is the use of topic modeling, where topics correspond to interpretable and discriminative features of the earthquakes. We transform the raw time series data into a time series of topics, and use this visual summary to compare temporal patterns in earthquakes, query earthquakes via the topics across arbitrary time scales, and enable details on demand by linking the topic visualization with the original earthquake data. We show, through a surrogate task and an expert study, that this technique allows analysts to more easily identify recurring patterns in such time series. By integrating this technique in a prototype system, we show how it enables novel forms of visual interaction. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: 16 pages, 10 figures

Particle Merging-and-Splitting

Authors: Nghia Truong, Cem Yuksel, Chakrit Watcharopas, Joshua A. Levine, Robert M. Kirby

Abstract: Robustly handling collisions between individual particles in a large particle-based simulation has been a challenging problem. We introduce particle merging-and-splitting, a simple scheme for robustly handling collisions between particles that prevents inter-penetrations of separate objects without introducing numerical instabilities. This scheme merges colliding particles at the beginning of the… ▽ More Robustly handling collisions between individual particles in a large particle-based simulation has been a challenging problem. We introduce particle merging-and-splitting, a simple scheme for robustly handling collisions between particles that prevents inter-penetrations of separate objects without introducing numerical instabilities. This scheme merges colliding particles at the beginning of the time-step and then splits them at the end of the time-step. Thus, collisions last for the duration of a time-step, allowing neighboring particles of the colliding particles to influence each other. We show that our merging-and-splitting method is effective in robustly handling collisions and avoiding penetrations in particle-based simulations. We also show how our merging-and-splitting approach can be used for coupling different simulation systems using different and otherwise incompatible integrators. We present simulation tests involving complex solid-fluid interactions, including solid fractures generated by fluid interactions. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: IEEE Trans. Vis. Comput. Graph

Investment AUM Fee Costs: Evaluating a Simple Formula

Authors: Joseph Levine

Abstract: How much do financial management fees cost investors? This article studies an approximate formula for the cumulative costs of annual Assets Under Management (AUM) fees. The formula states that an investment paying an annual fee of $ε$% of AUM over $N$ years loses almost $Nε$% of its value, compared to an investment with the same returns paying no fee. The article explains this formula intuitively,… ▽ More How much do financial management fees cost investors? This article studies an approximate formula for the cumulative costs of annual Assets Under Management (AUM) fees. The formula states that an investment paying an annual fee of $ε$% of AUM over $N$ years loses almost $Nε$% of its value, compared to an investment with the same returns paying no fee. The article explains this formula intuitively, derives it analytically, and studies its approximation error. The article concludes with a discussion of the formula's uses and limitations. △ Less

Submitted 24 October, 2023; v1 submitted 2 July, 2021; originally announced July 2021.

Comments: Updated acknowledgements

Braiding dynamics in semiflexible filament bundles under oscillatory forcing

Authors: Valentin M. Slepukhin, Alex J. Levine

Abstract: We examine the nonequilibrium production of topological defects -- braids -- in semiflexible filament bundles under cycles of compression and tension. During these cycles, the period of compression facilitates the thermally activated pair production of braid/anti-braid pairs, which then may separate when the bundle is under tension. As result, appropriately tuned alternating periods of compression… ▽ More We examine the nonequilibrium production of topological defects -- braids -- in semiflexible filament bundles under cycles of compression and tension. During these cycles, the period of compression facilitates the thermally activated pair production of braid/anti-braid pairs, which then may separate when the bundle is under tension. As result, appropriately tuned alternating periods of compression and extension should lead to the proliferation of braid defects in a bundle so that linear density of these pairs far exceeds that expected in thermal equilibrium. Secondly, we examine the slow extension of braided bundles under tension, showing that their end-to-end length creeps nonmonotonically under a fixed force due to braid deformation and the motion of the braid pair along the bundle. We conclude with a few speculations regarding experiments on semiflexible filament bundles and their networks. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 5 pages, 2 figures

Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake

Authors: Justin Crum, Cyrus Cheng, David A. Ham, Lawrence Mitchell, Robert C. Kirby, Joshua A. Levine, Andrew Gillette

Abstract: We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl, or \hdiv-conforming elements on meshes of squares or cubes. To test how well trimmed serendipity elements perform in comparison to traditional tensor product ele… ▽ More We present an implementation of the trimmed serendipity finite element family, using the open source finite element package Firedrake. The new elements can be used seamlessly within the software suite for problems requiring $H^1$, \hcurl, or \hdiv-conforming elements on meshes of squares or cubes. To test how well trimmed serendipity elements perform in comparison to traditional tensor product elements, we perform a sequence of numerical experiments including the primal Poisson, mixed Poisson, and Maxwell cavity eigenvalue problems. Overall, we find that the trimmed serendipity elements converge, as expected, at the same rate as the respective tensor product elements while being able to offer significant savings in the time or memory required to solve certain problems. △ Less

Submitted 8 October, 2021; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 19 pages, 7 figures, 3 tables, 2 listings

Journal ref: ACM Transactions on Mathematical Software 48(1):8:1-8:19 (2022)

Compressive Neural Representations of Volumetric Scalar Fields

Authors: Yuzhe Lu, Kairong Jiang, Joshua A. Levine, Matthew Berger

Abstract: We present an approach for compressing volumetric scalar fields using implicit neural representations. Our approach represents a scalar field as a learned function, wherein a neural network maps a point in the domain to an output scalar value. By setting the number of weights of the neural network to be smaller than the input size, we achieve compressed representations of scalar fields, thus frami… ▽ More We present an approach for compressing volumetric scalar fields using implicit neural representations. Our approach represents a scalar field as a learned function, wherein a neural network maps a point in the domain to an output scalar value. By setting the number of weights of the neural network to be smaller than the input size, we achieve compressed representations of scalar fields, thus framing compression as a type of function approximation. Combined with carefully quantizing network weights, we show that this approach yields highly compact representations that outperform state-of-the-art volume compression approaches. The conceptual simplicity of our approach enables a number of benefits, such as support for time-varying scalar fields, optimizing to preserve spatial gradients, and random-access field evaluation. We study the impact of network design choices on compression performance, highlighting how simple network architectures are effective for a broad range of volumes. △ Less

Submitted 11 April, 2021; originally announced April 2021.

Comments: EuroVis 2021

Thermal Schwinger Effect: Defect Production in Compressed Filament Bundles

Authors: Valentin M Slepukhin, Alex J Levine

Abstract: We discuss the response of biopolymer filament bundles bound by transient cross linkers to compressive loading. These systems admit a mechanical instability at stresses typically below that of traditional Euler buckling. In this instability, there is thermally-activated pair production of topological defects that generate localized regions of bending -- kinks. These kinks shorten the bundle's effe… ▽ More We discuss the response of biopolymer filament bundles bound by transient cross linkers to compressive loading. These systems admit a mechanical instability at stresses typically below that of traditional Euler buckling. In this instability, there is thermally-activated pair production of topological defects that generate localized regions of bending -- kinks. These kinks shorten the bundle's effective length thereby reducing the elastic energy of the mechanically loaded structure. This effect is the thermal analog of the Schwinger effect, in which a sufficiently large electric field causes electron-positron pair production. We discuss this analogy and describe the implications of this analysis for the mechanics of biopolymer filament bundles of various types under compression. △ Less

Submitted 28 July, 2021; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: 16 pages, 8 figures

Journal ref: Phys. Rev. Lett. 127, 157801 (2021)

Search for Dark Photon Dark Matter: Dark E-Field Radio Pilot Experiment

Authors: Benjamin Godfrey, J. Anthony Tyson, Seth Hillbrand, Jon Balajthy, Daniel Polin, S. Mani Tripathi, Shelby Klomp, Joseph Levine, Nate MacFadden, Brian H. Kolner, Molly R. Smith, Paul Stucky, Arran Phipps, Peter Graham, Kent Irwin

Abstract: We are building an experiment to search for dark matter in the form of dark photons in the nano- to milli-eV mass range. This experiment is the electromagnetic dual of magnetic detector dark radio experiments. It is also a frequency-time dual experiment in two ways: We search for a high-Q signal in wide-band data rather than tuning a high-$Q$ resonator, and we measure electric rather than magnetic… ▽ More We are building an experiment to search for dark matter in the form of dark photons in the nano- to milli-eV mass range. This experiment is the electromagnetic dual of magnetic detector dark radio experiments. It is also a frequency-time dual experiment in two ways: We search for a high-Q signal in wide-band data rather than tuning a high-$Q$ resonator, and we measure electric rather than magnetic fields. In this paper we describe a pilot experiment using room temperature electronics which demonstrates feasibility and sets useful limits to the kinetic coupling $ε\sim 10^{-12}$ over 50--300 MHz. With a factor of 2000 increase in real-time spectral coverage, and lower system noise temperature, it will soon be possible to search a wide range of masses at 100 times this sensitivity. We describe the planned experiment in two phases: Phase-I will implement a wide band, 5-million channel, real-time FFT processor over the 30--300 MHz range with a back-end time-domain optimal filter to search for the predicted $Q\sim 10^6$ line using low-noise amplifiers. We have completed spot frequency calibrations using a biconical dipole antenna in a shielded room that extrapolate to a $5 σ$ limit of $ε\sim 10^{-13}$ for the coupling from the dark field, per month of integration. Phase-II will extend the search to 20 GHz using cryogenic preamplifiers and new antennas. △ Less

Submitted 17 November, 2021; v1 submitted 7 January, 2021; originally announced January 2021.

Comments: 11 pages, 13 figures. Updated to published version. Corrected minor error in Fig 12 x-axis; results unchanged

Journal ref: Phys. Rev. D 104, 012013 (2021)

Microcircuit synchronization and heavy tailed synaptic weight distribution in preBötzinger Complex contribute to generation of breathing rhythm

Authors: Valentin M. Slepukhin, Sufyan Ashhad, Jack L. Feldman, Alex J. Levine

Abstract: The preBötzinger Complex, the mammalian inspiratory rhythm generator, encodes inspiratory time as motor pattern. Spike synchronization throughout this sparsely connected network generates inspiratory bursts albeit with variable latencies after preinspiratory activity onset in each breathing cycle. Using preBötC rhythmogenic microcircuit minimal models, we examined the variability in probability an… ▽ More The preBötzinger Complex, the mammalian inspiratory rhythm generator, encodes inspiratory time as motor pattern. Spike synchronization throughout this sparsely connected network generates inspiratory bursts albeit with variable latencies after preinspiratory activity onset in each breathing cycle. Using preBötC rhythmogenic microcircuit minimal models, we examined the variability in probability and latency to burst, mimicking experiments. Among various physiologically plausible graphs of 1000 point neurons with experimentally determined neuronal and synaptic parameters, directed Erdős-Rényi graphs best captured the experimentally observed dynamics. Mechanistically, preBötC (de)synchronization and oscillatory dynamics are regulated by the efferent connectivity of spiking neurons that gates the amplification of modest preinspiratory activity through input convergence. Furthermore, to replicate experiments, a lognormal distribution of synaptic weights was necessary to augment the efficacy of convergent coincident inputs. These mechanisms enable exceptionally robust yet flexible preBötC attractor dynamics that, we postulate, represent universal temporal-processing and decision-making computational motifs throughout the brain. △ Less

Submitted 23 December, 2020; originally announced December 2020.

Comments: 47 pages, 10 figures

Disordered biopolymer filament bundles: Topological defects and kinks

Authors: Valentin M. Slepukhin, Maximilian J. Grill, Qingda Hu, Elliot L. Botvinick, Wolfgang A. Wall, Alex J. Levine

Abstract: Bundles of stiff filaments are ubiquitous in the living world, found both in the cytoskeleton and in the extracellular medium. These bundles are typically held together by smaller cross-linking molecules. We demonstrate analytically, numerically and experimentally that such bundles can be kinked, i.e., have localized regions of high curvature that are long-lived metastable states. We propose three… ▽ More Bundles of stiff filaments are ubiquitous in the living world, found both in the cytoskeleton and in the extracellular medium. These bundles are typically held together by smaller cross-linking molecules. We demonstrate analytically, numerically and experimentally that such bundles can be kinked, i.e., have localized regions of high curvature that are long-lived metastable states. We propose three possible mechanisms of kink stabilization: a difference in trapped length of the filament segments between two cross links; a dislocation where the endpoint of a filament occurs within the bundle, and the braiding of the filaments in the bundle. At a high concentration of cross links, the last two effects lead to the topologically protected kinked states. Finally, we explore numerically and analytically the transition of the metastable kinked state to the stable straight bundle. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 9 pages, 6 figures

Geometrically-induced localization of flexural waves on thin warped physical membranes

Authors: Jonathan Kernes, Alex J. Levine

Abstract: We consider the propagation of flexural waves across a nearly flat, thin membrane, whose stress-free state is curved. The stress-free configuration is specified by a quenched height field, whose Fourier components are drawn from a Gaussian distribution with power law variance. Gaussian curvature couples the in-plane stretching to out-of-plane bending. Integrating out the faster stretching modes yi… ▽ More We consider the propagation of flexural waves across a nearly flat, thin membrane, whose stress-free state is curved. The stress-free configuration is specified by a quenched height field, whose Fourier components are drawn from a Gaussian distribution with power law variance. Gaussian curvature couples the in-plane stretching to out-of-plane bending. Integrating out the faster stretching modes yields a wave equation for undulations in the presence of an effective random potential, determined purely by geometry. We show that at long times/lengths, the undulation intensity obeys a diffusion equation. The diffusion coefficient is found to be frequency dependent and sensitive to the quenched height field distribution. Finally, we consider the effect of coherent backscattering corrections, yielding a weak localization correction that decreases the diffusion coefficient proportional to the logarithm of the system size, and induces a localization transition at large amplitude of the quenched height field. The localization transition is confirmed via a self-consistent extension to the strong disorder regime. △ Less

Submitted 13 November, 2020; originally announced November 2020.

Comments: 26 pages, 13 figures, 6 tables

Journal ref: Phys. Rev. E 103, 053002 (2021)

Helpfulness as a Key Metric of Human-Robot Collaboration

Authors: Richard G. Freedman, Steven J. Levine, Brian C. Williams, Shlomo Zilberstein

Abstract: As robotic teammates become more common in society, people will assess the robots' roles in their interactions along many dimensions. One such dimension is effectiveness: people will ask whether their robotic partners are trustworthy and effective collaborators. This begs a crucial question: how can we quantitatively measure the helpfulness of a robotic partner for a given task at hand? This paper… ▽ More As robotic teammates become more common in society, people will assess the robots' roles in their interactions along many dimensions. One such dimension is effectiveness: people will ask whether their robotic partners are trustworthy and effective collaborators. This begs a crucial question: how can we quantitatively measure the helpfulness of a robotic partner for a given task at hand? This paper seeks to answer this question with regards to the interactive robot's decision making. We describe a clear, concise, and task-oriented metric applicable to many different planning and execution paradigms. The proposed helpfulness metric is fundamental to assessing the benefit that a partner has on a team for a given task. In this paper, we define helpfulness, illustrate it on concrete examples from a variety of domains, discuss its properties and ramifications for planning interactions with humans, and present preliminary results. △ Less

Submitted 10 October, 2020; originally announced October 2020.

Comments: Accepted for presentation at the AAAI 2020 Fall Symposium Series, in the symposium for Artificial Intelligence for Human-Robot Interaction: Trust & Explainability in Artificial Intelligence for Human-Robot Interaction

Directed force propagation in semiflexible networks

Authors: Maximilian J. Grill, Jonathan Kernes, Valentin M. Slepukhin, Wolfgang A. Wall, Alex J. Levine

Abstract: We consider the propagation of tension along specific filament of a semiflexible filament network in response to the application of a point force using a combination of numerical simulations and analytic theory. We find the distribution of force within the network is highly heterogenous, with a small number of fibers supporting a significant fraction of the applied load over distances of multiple… ▽ More We consider the propagation of tension along specific filament of a semiflexible filament network in response to the application of a point force using a combination of numerical simulations and analytic theory. We find the distribution of force within the network is highly heterogenous, with a small number of fibers supporting a significant fraction of the applied load over distances of multiple mesh sizes surrounding the point of force application. We suggest that these structures may be thought of as tensile force chains, whose structure we explore via simulation. We develop self-consistent calculations of the point-force response function and introduce a transfer matrix approach to explore the decay of tension (into bending) energy and the branching of tensile force chains in the network. △ Less

Submitted 26 June, 2020; originally announced June 2020.

Comments: 17 pages, 13 figures

The effects of curvature on the propagation of undulatory waves in lower dimensional elastic materials

Authors: Jonathan Kernes, Alex J. Levine

Abstract: The mechanics of lower dimensional elastic structures depends strongly on the geometry of their stress-free state. Elastic deformations separate into in-plane stretching and lower energy out-of-plane bending deformations. For elastic structures with a curved stress-free state, these two elastic modes are coupled within linear elasticity. We investigate the effect of that curvature-induced coupling… ▽ More The mechanics of lower dimensional elastic structures depends strongly on the geometry of their stress-free state. Elastic deformations separate into in-plane stretching and lower energy out-of-plane bending deformations. For elastic structures with a curved stress-free state, these two elastic modes are coupled within linear elasticity. We investigate the effect of that curvature-induced coupling on wave propagation in lower dimensional elastic structures, focusing on the simplest example -- a curved elastic rod. We find that the dispersion relation of the waves becomes gapped in the presence of finite curvature; bending modes are absent below a frequency proportional to the curvature of the rod. By studying the scattering of undulatory waves off regions of uniform curvature, we find that undulatory waves with frequencies in the gap associated with the curved region tunnel through that curved region via conversion into compression waves. These results should be directly applicable to the spectrum and spatial distribution of phonon modes in a number of curved rod-like elastic solids, including carbon nanotubes and biopolymer filaments. △ Less

Submitted 23 June, 2020; originally announced June 2020.

Comments: 9 pages, 7 figures

Journal ref: Phys. Rev. E 103, 013002 (2021)

Dynamics of undulatory fluctuations of semiflexible filaments in a network

Authors: Jonathan Kernes, Alex J. Levine

Abstract: We study the dynamics of a single semiflexible filament coupled to a Hookean spring at its boundary. The spring produces a fluctuating tensile force on the filament, whose value depends on the filament's instantaneous end-to-end length. The spring thereby introduces a nonlinearity, which mixes the undulatory normal modes of the filament and changes their dynamics. We study these dynamics using the… ▽ More We study the dynamics of a single semiflexible filament coupled to a Hookean spring at its boundary. The spring produces a fluctuating tensile force on the filament, whose value depends on the filament's instantaneous end-to-end length. The spring thereby introduces a nonlinearity, which mixes the undulatory normal modes of the filament and changes their dynamics. We study these dynamics using the Martin-Siggia-Rose-Janssen-de-Domincis formalism, and compute the time-dependent correlation functions of transverse undulations and of the filament's end-to-end distance. The relaxational dynamics of the modes below a characteristic wavelength $\sqrt{κ/τ_R}$, set by the filament's bending modulus $κ$ and spring-renormalized tension $τ_{R}$, are changed by the boundary spring. This occurs near the cross-over frequency between tension- and bending-dominated modes of the system. The boundary spring can be used to represent the linear elastic compliance of the rest of the filament network to which the filament is cross-linked. As a result, we predict that this nonlinear effect will be observable in the dynamical correlations of constituent filaments of networks and in the networks' collective shear response. The system's dynamic shear modulus is predicted to exhibit the well-known crossover with increasing frequency from $ω^{1/2}$ to $ω^{3/4}$, but the inclusion of the the network's compliance in the analysis of the individual filament dynamics shifts this transition to a higher frequency. △ Less

Submitted 17 June, 2020; originally announced June 2020.

Comments: 20 pages, 11 figures

Visualization of Unsteady Flow Using Heat Kernel Signatures

Authors: Kairong Jiang, Matthew Berger, Joshua A. Levine

Abstract: We introduce a new technique to visualize complex flowing phenomena by using concepts from shape analysis. Our approach uses techniques that examine the intrinsic geometry of manifolds through their heat kernel, to obtain representations of such manifolds that are isometry-invariant and multi-scale. These representations permit us to compute heat kernel signatures of each point on that manifold, a… ▽ More We introduce a new technique to visualize complex flowing phenomena by using concepts from shape analysis. Our approach uses techniques that examine the intrinsic geometry of manifolds through their heat kernel, to obtain representations of such manifolds that are isometry-invariant and multi-scale. These representations permit us to compute heat kernel signatures of each point on that manifold, and we can use these signatures as features for classification and segmentation that identify points that have similar structural properties. Our approach adapts heat kernel signatures to unsteady flows by formulating a notion of shape where pathlines are observations of a manifold living in a high-dimensional space. We use this space to compute and visualize heat kernel signatures associated with each pathline. Besides being able to capture the structural features of a pathline, heat kernel signatures allow the comparison of pathlines from different flow datasets through a shape matching pipeline. We demonstrate the analytic power of heat kernel signatures by comparing both (1) different timesteps from the same unsteady flow as well as (2) flow datasets taken from ensemble simulations with varying simulation parameters. Our analysis only requires the pathlines themselves, and thus it does not utilize the underlying vector field directly. We make minimal assumptions on the pathlines: while we assume they are sampled from a continuous, unsteady flow, our computations can tolerate pathlines that have varying density and potential unknown boundaries. We evaluate our approach through visualizations of a variety of two-dimensional unsteady flows. △ Less

Submitted 28 April, 2020; originally announced April 2020.

Comments: Topic: Visualization, Topic: Heat Kernel, Topic: Flow Visualization, Topic: Heat Kernel Signatures

Maintaining Hard Infection Caps in Epidemics via the Theory of Barriers

Authors: Willem Esterhuizen, Tim Aschenbruck, Jean Lévine, Stefan Streif

Abstract: Research in epidemiology often focusses on designing interventions that result in the number of infected individuals asymptotically approaching zero, without considering that this number may peak at high values during transients. Recent research has shown that a set-based approach could be used to address the problem, and we build on this idea by applying the theory of barriers to construct admiss… ▽ More Research in epidemiology often focusses on designing interventions that result in the number of infected individuals asymptotically approaching zero, without considering that this number may peak at high values during transients. Recent research has shown that a set-based approach could be used to address the problem, and we build on this idea by applying the theory of barriers to construct admissible and invariant sets for an epidemic model. We describe how these sets may be used to choose intervention strategies that maintain infection caps during epidemics. We also derive algebraic conditions of the model parameters that classify a system as being either comfortable, comfortable-viable, viable, or desperate. △ Less

Submitted 23 March, 2020; originally announced March 2020.

Comments: 6 pages, 3 figures

MSC Class: 92D30 (primary); 93C15 (secondary)

Dynamical phase separation on rhythmogenic neuronal networks

Authors: Mihai Bibireata, Valentin M. Slepukhin, Alex J. Levine

Abstract: We explore the dynamics of the preBötzinger complex, the mammalian central pattern generator with $N \sim 10^3$ neurons, which produces a collective metronomic signal that times the inspiration. Our analysis is based on a simple firing-rate model of excitatory neurons with dendritic adaptation (the Feldman Del Negro model [Nat. Rev. Neurosci. 7, 232 (2006), Phys. Rev. E 2010 :051911]) interacting… ▽ More We explore the dynamics of the preBötzinger complex, the mammalian central pattern generator with $N \sim 10^3$ neurons, which produces a collective metronomic signal that times the inspiration. Our analysis is based on a simple firing-rate model of excitatory neurons with dendritic adaptation (the Feldman Del Negro model [Nat. Rev. Neurosci. 7, 232 (2006), Phys. Rev. E 2010 :051911]) interacting on a fixed, directed Erdős-Rényi network. In the all-to-all coupled variant of the model, there is spontaneous symmetry breaking in which some fraction of the neurons become stuck in a high firing-rate state, while others become quiescent. This separation into firing and non-firing clusters persists into more sparsely connected networks, and is partially determined by $k$-cores in the directed graphs. The model has a number of features of the dynamical phase diagram that violate the predictions of mean-field analysis. In particular, we observe in the simulated networks that stable oscillations do not persist in the large-N limit, in contradiction to the predictions of mean-field theory. Moreover, we observe that the oscillations in these sparse networks are remarkably robust in response to killing neurons, surviving until only $\approx 20 \%$ of the network remains. This robustness is consistent with experiment. △ Less

Submitted 9 January, 2020; originally announced January 2020.

Comments: 14 pages, 15 figures

Journal ref: Phys. Rev. E 101, 062307 (2020)

The equilibrium fluctuations of a semiflexible filament cross linked into a network

Authors: Jonathan Kernes, Alex J. Levine

Abstract: We examine the equilibrium fluctuation spectrum of a constituent semiflexible filament segment in a network. The effect of this cross linking is to modify the mechanical boundary conditions at the end of the filament. We consider the effect of both tensile stress in the network, and its elastic compliance. Most significantly, the network's compliance introduces a nonlinear term into the filament H… ▽ More We examine the equilibrium fluctuation spectrum of a constituent semiflexible filament segment in a network. The effect of this cross linking is to modify the mechanical boundary conditions at the end of the filament. We consider the effect of both tensile stress in the network, and its elastic compliance. Most significantly, the network's compliance introduces a nonlinear term into the filament Hamiltonian even in the small-bending approximation. We analyze the effect of this nonlinearity upon the filament's fluctuation profile. We also find that there are three principal fluctuation regimes dominated by one of the following: (i) network tension, (ii) filament bending stiffness, or (iii) network compliance. We propose that one can use observed filament fluctuations as a noninvasive probe of network tension, and we provide the necessary response function to quantitatively analyze this sort of "tension microrheology" in cross linked semiflexible filament networks. △ Less

Submitted 4 September, 2019; originally announced September 2019.

Comments: 10 pages, 8 figures

Journal ref: Phys. Rev. E 101, 012408 (2020)

The Effect of Data Transformations on Scalar Field Topological Analysis of High-Order FEM Solutions

Authors: Ashok Jallepalli, Joshua A. Levine, Robert M. Kirby

Abstract: High-order finite element methods (HO-FEM) are gaining popularity in the simulation community due to their success in solving complex flow dynamics. There is an increasing need to analyze the data produced as output by these simulations. Simultaneously, topological analysis tools are emerging as powerful methods for investigating simulation data. However, most of the current approaches to topologi… ▽ More High-order finite element methods (HO-FEM) are gaining popularity in the simulation community due to their success in solving complex flow dynamics. There is an increasing need to analyze the data produced as output by these simulations. Simultaneously, topological analysis tools are emerging as powerful methods for investigating simulation data. However, most of the current approaches to topological analysis have had limited application to HO-FEM simulation data for two reasons. First, the current topological tools are designed for linear data (polynomial degree one), but the polynomial degree of the data output by these simulations is typically higher (routinely up to polynomial degree six). Second, the simulation data and derived quantities of the simulation data have discontinuities at element boundaries, and these discontinuities do not match the input requirements for the topological tools. One solution to both issues is to transform the high-order data to achieve low-order, continuous inputs for topological analysis. Nevertheless, there has been little work evaluating the possible transformation choices and their downstream effect on the topological analysis. We perform an empirical study to evaluate two commonly used data transformation methodologies along with the recently introduced L-SIAC filter for processing high-order simulation data. Our results show diverse behaviors are possible. We offer some guidance about how best to consider a pipeline of topological analysis of HO-FEM simulations with the currently available implementations of topological analysis. △ Less

Submitted 16 July, 2019; originally announced July 2019.

Comments: 11 pages, Accepted to IEEEVIS

Demonstration of a time scale based on a stable optical carrier

Authors: William R. Milner, John M. Robinson, Colin J. Kennedy, Tobias Bothwell, Dhruv Kedar, Dan G. Matei, Thomas Legero, Uwe Sterr, Fritz Riehle, Holly Leopardi, Tara M. Fortier, Jeffrey A. Sherman, Judah Levine, Jian Yao, Jun Ye, Eric Oelker

Abstract: We demonstrate a time scale based on a phase stable optical carrier that accumulates an estimated time error of $48\pm94$ ps over 34 days of operation. This all-optical time scale is formed with a cryogenic silicon cavity exhibiting improved long-term stability and an accurate $^{87}$Sr lattice clock. We show that this new time scale architecture outperforms existing microwave time scales, even wh… ▽ More We demonstrate a time scale based on a phase stable optical carrier that accumulates an estimated time error of $48\pm94$ ps over 34 days of operation. This all-optical time scale is formed with a cryogenic silicon cavity exhibiting improved long-term stability and an accurate $^{87}$Sr lattice clock. We show that this new time scale architecture outperforms existing microwave time scales, even when they are steered to optical frequency standards. Our analysis indicates that this time scale is capable of reaching a stability below $1\times10^{-17}$ after a few months of averaging, making timekee** at the $10^{-18}$ level a realistic prospect. △ Less

Submitted 6 July, 2019; originally announced July 2019.

Comments: 13 pages, 12 Figures

Journal ref: Phys. Rev. Lett. 123, 173201 (2019)

Ensemble Decision Systems for General Video Game Playing

Authors: Damien Anderson, Cristina Guerrero-Romero, Diego Perez-Liebana, Philip Rodgers, John Levine

Abstract: Ensemble Decision Systems offer a unique form of decision making that allows a collection of algorithms to reason together about a problem. Each individual algorithm has its own inherent strengths and weaknesses, and often it is difficult to overcome the weaknesses while retaining the strengths. Instead of altering the properties of the algorithm, the Ensemble Decision System augments the performa… ▽ More Ensemble Decision Systems offer a unique form of decision making that allows a collection of algorithms to reason together about a problem. Each individual algorithm has its own inherent strengths and weaknesses, and often it is difficult to overcome the weaknesses while retaining the strengths. Instead of altering the properties of the algorithm, the Ensemble Decision System augments the performance with other algorithms that have complementing strengths. This work outlines different options for building an Ensemble Decision System as well as providing analysis on its performance compared to the individual components of the system with interesting results, showing an increase in the generality of the algorithms without significantly impeding performance. △ Less

Submitted 26 May, 2019; originally announced May 2019.

Comments: 8 Pages, Accepted at COG2019

Solving zero-sum extensive-form games with arbitrary payoff uncertainty models

Authors: Juan Leni, John Levine, John Quigley

Abstract: Modeling strategic conflict from a game theoretical perspective involves dealing with epistemic uncertainty. Payoff uncertainty models are typically restricted to simple probability models due to computational restrictions. Recent breakthroughs Artificial Intelligence (AI) research applied to Poker have resulted in novel approximation approaches such as counterfactual regret minimization, that can… ▽ More Modeling strategic conflict from a game theoretical perspective involves dealing with epistemic uncertainty. Payoff uncertainty models are typically restricted to simple probability models due to computational restrictions. Recent breakthroughs Artificial Intelligence (AI) research applied to Poker have resulted in novel approximation approaches such as counterfactual regret minimization, that can successfully deal with large-scale imperfect games. By drawing from these ideas, this work addresses the problem of arbitrary continuous payoff distributions. We propose a method, Harsanyi-Counterfactual Regret Minimization, to solve two-player zero-sum extensive-form games with arbitrary payoff distribution models. Given a game $Γ$, using a Harsanyi transformation we generate a new game $Γ^\#$ to which we later apply Counterfactual Regret Minimization to obtain $\varepsilon$-Nash equilibria. We include numerical experiments showing how the method can be applied to a previously published problem. △ Less

Submitted 24 April, 2019; originally announced May 2019.

Comments: Preprint. License: CC-BY-NC-ND

Extending discrete exterior calculus to a fractional derivative

Authors: Justin Crum, Joshua A. Levine, Andrew Gillette

Abstract: Fractional partial differential equations (FDEs) are used to describe phenomena that involve a "non-local" or "long-range" interaction of some kind. Accurate and practical numerical approximation of their solutions is challenging due to the dense matrices arising from standard discretization procedures. In this paper, we begin to extend the well-established computational toolkit of Discrete Exteri… ▽ More Fractional partial differential equations (FDEs) are used to describe phenomena that involve a "non-local" or "long-range" interaction of some kind. Accurate and practical numerical approximation of their solutions is challenging due to the dense matrices arising from standard discretization procedures. In this paper, we begin to extend the well-established computational toolkit of Discrete Exterior Calculus (DEC) to the fractional setting, focusing on proper discretization of the fractional derivative. We define a Caputo-like fractional discrete derivative, in terms of the standard discrete exterior derivative operator from DEC, weighted by a measure of distance between $p$-simplices in a simplicial complex. We discuss key theoretical properties of the fractional discrete derivative and compare it to the continuous fractional derivative via a series of numerical experiments. △ Less

Submitted 16 July, 2019; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: 18 pages, 11 figures. Work is to be presented at Solid and Physical Modeling 2019

Journal ref: Computer-Aided Design 114 (2019) 64-72

On Singularities of Flat Affine Systems With $n$ States and $n-1$ Controls

Authors: Yirmeyahu J. Kaminski, Jean Lévine, François Ollivier

Abstract: We study the set of intrinsic singularities of flat affine systems with $n-1$ controls and $n$ states using the notion of Lie-Bäcklund atlas, previously introduced by the authors. For this purpose, we prove two easily computable sufficient conditions to construct flat outputs as a set of independent first integrals of distributions of vector fields, the first one in a generic case, namely in a nei… ▽ More We study the set of intrinsic singularities of flat affine systems with $n-1$ controls and $n$ states using the notion of Lie-Bäcklund atlas, previously introduced by the authors. For this purpose, we prove two easily computable sufficient conditions to construct flat outputs as a set of independent first integrals of distributions of vector fields, the first one in a generic case, namely in a neighborhood of a point where the $n-1$ control vector fields are independent, and the second one at a degenerate point where $p-1$ control vector fields are dependent of the $n-p$ others, with $p>1$. We show that the set of intrinsic singularities includes the set of points where the system does not satisfy the strong accessibility rank condition and is included in the set where the distribution of vector fields, introduced in the generic case, is singular. We conclude this analysis by three examples of apparent singularites of flat systems in generic and non generic degenerate cases. △ Less

Submitted 15 May, 2020; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: 24 pages

MSC Class: 93B05

Journal ref: International Journal of Robust and Nonlinear Control, volume 30, Issue 9, p. 3547-3565, Wiley, 2020

Optical-Clock-Based Time Scale

Authors: Jian Yao, Jeff A. Sherman, Tara Fortier, Holly Leopardi, Thomas Parker, William McGrew, Xiaogang Zhang, Daniele Nicolodi, Robert Fasano, Stefan Schäffer, Kyle Beloy, Joshua Savory, Stefania Romisch, Chris Oates, Scott Diddams, Andrew Ludlow, Judah Levine

Abstract: A time scale is a procedure for accurately and continuously marking the passage of time. It is exemplified by Coordinated Universal Time (UTC), and provides the backbone for critical navigation tools such as the Global Positioning System (GPS). Present time scales employ microwave atomic clocks, whose attributes can be combined and averaged in a manner such that the composite is more stable, accur… ▽ More A time scale is a procedure for accurately and continuously marking the passage of time. It is exemplified by Coordinated Universal Time (UTC), and provides the backbone for critical navigation tools such as the Global Positioning System (GPS). Present time scales employ microwave atomic clocks, whose attributes can be combined and averaged in a manner such that the composite is more stable, accurate, and reliable than the output of any individual clock. Over the past decade, clocks operating at optical frequencies have been introduced which are orders of magnitude more stable than any microwave clock. However, in spite of their great potential, these optical clocks cannot be operated continuously, which makes their use in a time scale problematic. In this paper, we report the development of a hybrid microwave-optical time scale, which only requires the optical clock to run intermittently while relying upon the ensemble of microwave clocks to serve as the flywheel oscillator. The benefit of using clock ensemble as the flywheel oscillator, instead of a single clock, can be understood by the Dick-effect limit. This time scale demonstrates for the first time sub-nanosecond accuracy for a few months, attaining a fractional frequency uncertainty of 1.45*10-16 at 30 days and reaching the 10-17 decade at 50 days, with respect to UTC. This time scale significantly improves the accuracy in timekee** and could change the existing time-scale architectures. △ Less

Submitted 10 April, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

Journal ref: Phys. Rev. Applied 12, 044069 (2019)

The conformation of a semiflexible filament in a quenched random potential

Authors: Valentin M. Slepukhin, Maximilian J. Grill, Kei W. Müller, Wolfgang A. Wall, Alex J. Levine

Abstract: Motivated by the observation of the storage of excess elastic free energy - (prestress) -- in cross linked semiflexible networks, we consider the problem of the conformational statistics of a single semiflexible polymer in a quenched random potential. The random potential, which represents the effect of cross linking to other filaments is assumed to have a finite correlation length $ξ$ and mean st… ▽ More Motivated by the observation of the storage of excess elastic free energy - (prestress) -- in cross linked semiflexible networks, we consider the problem of the conformational statistics of a single semiflexible polymer in a quenched random potential. The random potential, which represents the effect of cross linking to other filaments is assumed to have a finite correlation length $ξ$ and mean strength $V_{0}$. We examine statistical distribution of curvature in filament with thermal persistence length $\ell_{P}$ and length $L_0$ in the limit that $\ell_{P} \gg L_0$. We compare our theoretical predictions to finite element Brownian dynamics simulations. Lastly we comment on the validity of replica field techniques in addressing these questions. △ Less

Submitted 14 January, 2019; originally announced January 2019.

Journal ref: Phys. Rev. E 99, 042501 (2019)

Seq2Seq Mimic Games: A Signaling Perspective

Authors: Juan Leni, John Levine, John Quigley

Abstract: We study the emergence of communication in multiagent adversarial settings inspired by the classic Imitation game. A class of three player games is used to explore how agents based on sequence to sequence (Seq2Seq) models can learn to communicate information in adversarial settings. We propose a modeling approach, an initial set of experiments and use signaling theory to support our analysis. In a… ▽ More We study the emergence of communication in multiagent adversarial settings inspired by the classic Imitation game. A class of three player games is used to explore how agents based on sequence to sequence (Seq2Seq) models can learn to communicate information in adversarial settings. We propose a modeling approach, an initial set of experiments and use signaling theory to support our analysis. In addition, we describe how we operationalize the learning process of actor-critic Seq2Seq based agents in these communicational games. △ Less

Submitted 15 November, 2018; originally announced November 2018.

Comments: NIPS 2018 Workshop on Emergent Communication (accepted)

A Continuous Information Gain Measure to Find the Most Discriminatory Problems for AI Benchmarking

Authors: Matthew Stephenson, Damien Anderson, Ahmed Khalifa, John Levine, Jochen Renz, Julian Togelius, Christoph Salge

Abstract: This paper introduces an information-theoretic method for selecting a subset of problems which gives the most information about a group of problem-solving algorithms. This method was tested on the games in the General Video Game AI (GVGAI) framework, allowing us to identify a smaller set of games that still gives a large amount of information about the abilities of different game-playing agents. T… ▽ More This paper introduces an information-theoretic method for selecting a subset of problems which gives the most information about a group of problem-solving algorithms. This method was tested on the games in the General Video Game AI (GVGAI) framework, allowing us to identify a smaller set of games that still gives a large amount of information about the abilities of different game-playing agents. This approach can be used to make agent testing more efficient. We can achieve almost as good discriminatory accuracy when testing on only a handful of games as when testing on more than a hundred games, something which is often computationally infeasible. Furthermore, this method can be extended to study the dimensions of the effective variance in game design between these games, allowing us to identify which games differentiate between agents in the most complementary ways. △ Less

Submitted 18 May, 2020; v1 submitted 8 September, 2018; originally announced September 2018.

Comments: 8 pages, 1 figure, 2 tables

Journal ref: IEEE Congress on Evolutionary Computation (IEEE CEC), Special Session on Games, Glasgow, UK, 2020

NeuralCubes: Deep Representations for Visual Data Exploration

Authors: Zhe Wang, Dylan Cashman, Mingwei Li, Jixian Li, Matthew Berger, Joshua A. Levine, Remco Chang, Carlos Scheidegger

Abstract: Visual exploration of large multidimensional datasets has seen tremendous progress in recent years, allowing users to express rich data queries that produce informative visual summaries, all in real time. Techniques based on data cubes are some of the most promising approaches. However, these techniques usually require a large memory footprint for large datasets. To tackle this problem, we present… ▽ More Visual exploration of large multidimensional datasets has seen tremendous progress in recent years, allowing users to express rich data queries that produce informative visual summaries, all in real time. Techniques based on data cubes are some of the most promising approaches. However, these techniques usually require a large memory footprint for large datasets. To tackle this problem, we present NeuralCubes: neural networks that predict results for aggregate queries, similar to data cubes. NeuralCubes learns a function that takes as input a given query, for instance, a geographic region and temporal interval, and outputs the result of the query. The learned function serves as a real-time, low-memory approximator for aggregation queries. NeuralCubes models are small enough to be sent to the client side (e.g. the web browser for a web-based application) for evaluation, enabling data exploration of large datasets without database/network connection. We demonstrate the effectiveness of NeuralCubes through extensive experiments on a variety of datasets and discuss how NeuralCubes opens up opportunities for new types of visualization and interaction. △ Less

Submitted 10 July, 2019; v1 submitted 27 August, 2018; originally announced August 2018.

Topological Data Analysis Made Easy with the Topology ToolKit

Authors: Guillaume Favelier, Charles Gueunet, Attila Gyulassy, Julien Kitware, Joshua Levine, Jonas Lukasczyk, Daisuke Sakurai, Maxime Soler, Julien Tierny, Will Usher, Qi Wu

Abstract: This tutorial presents topological methods for the analysis and visualization of scientific data from a user's perspective, with the Topology ToolKit (TTK), a recently released open-source library for topological data analysis. Topological methods have gained considerably in popularity and maturity over the last twenty years and success stories of established methods have been documented in a wide… ▽ More This tutorial presents topological methods for the analysis and visualization of scientific data from a user's perspective, with the Topology ToolKit (TTK), a recently released open-source library for topological data analysis. Topological methods have gained considerably in popularity and maturity over the last twenty years and success stories of established methods have been documented in a wide range of applications (combustion, chemistry, astrophysics, material sciences, etc.) with both acquired and simulated data, in both post-hoc and in-situ contexts. While reference textbooks have been published on the topic, no tutorial at IEEE VIS has covered this area in recent years, and never at a software level and from a user's point-of-view. This tutorial fills this gap by providing a beginner's introduction to topological methods for practitioners, researchers, students, and lecturers. In particular, instead of focusing on theoretical aspects and algorithmic details, this tutorial focuses on how topological methods can be useful in practice for concrete data analysis tasks such as segmentation, feature extraction or tracking. The tutorial describes in detail how to achieve these tasks with TTK. First, after an introduction to topological methods and their application in data analysis, a brief overview of TTK's main entry point for end users, namely ParaView, will be presented. Second, an overview of TTK's main features will be given. A running example will be described in detail, showcasing how to access TTK's features via ParaView, Python, VTK/C++, and C++. Third, hands-on sessions will concretely show how to use TTK in ParaView for multiple, representative data analysis tasks. Fourth, the usage of TTK will be presented for developers, in particular by describing several examples of visualization and data analysis projects that were built on top of TTK. Finally, some feedback regarding the usage of TTK as a teaching platform for topological analysis will be given. Presenters of this tutorial include experts in topological methods, core authors of TTK as well as active users, coming from academia, labs, or industry. A large part of the tutorial will be dedicated to hands-on exercises and a rich material package (including TTK pre-installs in virtual machines, code, data, demos, video tutorials, etc.) will be provided to the participants. This tutorial mostly targets students, practitioners and researchers who are not experts in topological methods but who are interested in using them in their daily tasks. We also target researchers already familiar to topological methods and who are interested in using or contributing to TTK. △ Less

Submitted 21 June, 2018; originally announced June 2018.

The Topology ToolKit

Authors: Julien Tierny, Guillaume Favelier, Joshua A. Levine, Charles Gueunet, Michael Michaux

Abstract: This system paper presents the Topology ToolKit (TTK), a software platform designed for topological data analysis in scientific visualization. TTK provides a unified, generic, efficient, and robust implementation of key algorithms for the topological analysis of scalar data, including: critical points, integral lines, persistence diagrams, persistence curves, merge trees, contour trees, Morse-Smal… ▽ More This system paper presents the Topology ToolKit (TTK), a software platform designed for topological data analysis in scientific visualization. TTK provides a unified, generic, efficient, and robust implementation of key algorithms for the topological analysis of scalar data, including: critical points, integral lines, persistence diagrams, persistence curves, merge trees, contour trees, Morse-Smale complexes, fiber surfaces, continuous scatterplots, Jacobi sets, Reeb spaces, and more. TTK is easily accessible to end users due to a tight integration with ParaView. It is also easily accessible to developers through a variety of bindings (Python, VTK/C++) for fast prototy** or through direct, dependence-free, C++, to ease integration into pre-existing complex systems. While develo** TTK, we faced several algorithmic and software engineering challenges, which we document in this paper. In particular, we present an algorithm for the construction of a discrete gradient that complies to the critical points extracted in the piecewise-linear setting. This algorithm guarantees a combinatorial consistency across the topological abstractions supported by TTK, and importantly, a unified implementation of topological data simplification for multi-scale exploration and analysis. We also present a cached triangulation data structure, that supports time efficient and generic traversals, which self-adjusts its memory usage on demand for input simplicial meshes and which implicitly emulates a triangulation for regular grids with no memory overhead. Finally, we describe an original software architecture, which guarantees memory efficient and direct accesses to TTK features, while still allowing for researchers powerful and easy bindings and extensions. TTK is open source (BSD license) and its code, online documentation and video tutorials are available on TTK's website. △ Less

Submitted 16 July, 2019; v1 submitted 22 May, 2018; originally announced May 2018.

Journal ref: IEEE Trans. Vis. Comput. Graph. 24(1) (2018) 832-842

Automatic microtubule tracking in fluorescence images of cells doped with increasing concentrations of taxol and nocodazole

Authors: M. Varrecchia, G. Olmo, J. Levine, M. Grangetto, M. Gai, F. Di Cunto

Abstract: The purpose of this paper is to provide an algorithm for detecting and tracking astral MTs in a fully automated way and supply a description of their dynamic behaviour. For the algorithm testing, a dataset of stacks (i.e. time-lapse image sequences), acquired with a confocal microscope, has been employed. Cells were treated with two different drugs, nocodazole and taxol, in order to explore their… ▽ More The purpose of this paper is to provide an algorithm for detecting and tracking astral MTs in a fully automated way and supply a description of their dynamic behaviour. For the algorithm testing, a dataset of stacks (i.e. time-lapse image sequences), acquired with a confocal microscope, has been employed. Cells were treated with two different drugs, nocodazole and taxol, in order to explore their effect on microtubule dynamic instability. △ Less

Submitted 4 April, 2018; v1 submitted 5 February, 2018; originally announced February 2018.

Deceptive Games

Authors: Damien Anderson, Matthew Stephenson, Julian Togelius, Christian Salge, John Levine, Jochen Renz

Abstract: Deceptive games are games where the reward structure or other aspects of the game are designed to lead the agent away from a globally optimal policy. While many games are already deceptive to some extent, we designed a series of games in the Video Game Description Language (VGDL) implementing specific types of deception, classified by the cognitive biases they exploit. VGDL games can be run in the… ▽ More Deceptive games are games where the reward structure or other aspects of the game are designed to lead the agent away from a globally optimal policy. While many games are already deceptive to some extent, we designed a series of games in the Video Game Description Language (VGDL) implementing specific types of deception, classified by the cognitive biases they exploit. VGDL games can be run in the General Video Game Artificial Intelligence (GVGAI) Framework, making it possible to test a variety of existing AI agents that have been submitted to the GVGAI Competition on these deceptive games. Our results show that all tested agents are vulnerable to several kinds of deception, but that different agents have different weaknesses. This suggests that we can use deception to understand the capabilities of a game-playing algorithm, and game-playing algorithms to characterize the deception displayed by a game. △ Less

Submitted 4 February, 2018; v1 submitted 31 January, 2018; originally announced February 2018.

Comments: 16 pages, accepted at EvoStar2018

A Generative Model for Volume Rendering

Authors: Matthew Berger, Jixian Li, Joshua A. Levine

Abstract: We present a technique to synthesize and analyze volume-rendered images using generative models. We use the Generative Adversarial Network (GAN) framework to compute a model from a large collection of volume renderings, conditioned on (1) viewpoint and (2) transfer functions for opacity and color. Our approach facilitates tasks for volume analysis that are challenging to achieve using existing ren… ▽ More We present a technique to synthesize and analyze volume-rendered images using generative models. We use the Generative Adversarial Network (GAN) framework to compute a model from a large collection of volume renderings, conditioned on (1) viewpoint and (2) transfer functions for opacity and color. Our approach facilitates tasks for volume analysis that are challenging to achieve using existing rendering techniques such as ray casting or texture-based methods. We show how to guide the user in transfer function editing by quantifying expected change in the output image. Additionally, the generative model transforms transfer functions into a view-invariant latent space specifically designed to synthesize volume-rendered images. We use this space directly for rendering, enabling the user to explore the space of volume-rendered images. As our model is independent of the choice of volume rendering process, we show how to analyze volume-rendered images produced by direct and global illumination lighting, for a variety of volume datasets. △ Less

Submitted 16 July, 2019; v1 submitted 26 October, 2017; originally announced October 2017.

Journal ref: IEEE Trans. Vis. Comput. Graph. 25(4) (2019) 1636-1650

Visualizing Time-Varying Particle Flows with Diffusion Geometry

Authors: Matthew Berger, Joshua A. Levine

Abstract: The tasks of identifying separation structures and clusters in flow data are fundamental to flow visualization. Significant work has been devoted to these tasks in flow represented by vector fields, but there are unique challenges in addressing these tasks for time-varying particle data. The unstructured nature of particle data, nonuniform and sparse sampling, and the inability to access arbitrary… ▽ More The tasks of identifying separation structures and clusters in flow data are fundamental to flow visualization. Significant work has been devoted to these tasks in flow represented by vector fields, but there are unique challenges in addressing these tasks for time-varying particle data. The unstructured nature of particle data, nonuniform and sparse sampling, and the inability to access arbitrary particles in space-time make it difficult to define separation and clustering for particle data. We observe that weaker notions of separation and clustering through continuous measures of these structures are meaningful when coupled with user exploration. We achieve this goal by defining a measure of particle similarity between pairs of particles. More specifically, separation occurs when spatially-localized particles are dissimilar, while clustering is characterized by sets of particles that are similar to one another. To be robust to imperfections in sampling we use diffusion geometry to compute particle similarity. Diffusion geometry is parameterized by a scale that allows a user to explore separation and clustering in a continuous manner. We illustrate the benefits of our technique on a variety of 2D and 3D flow datasets, from particles integrated in fluid simulations based on time-varying vector fields, to particle-based simulations in astrophysics. △ Less

Submitted 11 August, 2017; originally announced August 2017.

Comments: 14 pages, 16 figures, under review

Ensemble Framework for Real-time Decision Making

Authors: Philip Rodgers, John Levine

Abstract: This paper introduces a new framework for real-time decision making in video games. An Ensemble agent is a compound agent composed of multiple agents, each with its own tasks or goals to achieve. Usually when dealing with real-time decision making, reactive agents are used; that is agents that return a decision based on the current state. While reactive agents are very fast, most games require mor… ▽ More This paper introduces a new framework for real-time decision making in video games. An Ensemble agent is a compound agent composed of multiple agents, each with its own tasks or goals to achieve. Usually when dealing with real-time decision making, reactive agents are used; that is agents that return a decision based on the current state. While reactive agents are very fast, most games require more than just a rule-based agent to achieve good results. Deliberative agents---agents that use a forward model to search future states---are very useful in games with no hard time limit, such as Go or Backgammon, but generally take too long for real-time games. The Ensemble framework addresses this issue by allowing the agent to be both deliberative and reactive at the same time. This is achieved by breaking up the game-play into logical roles and having highly focused components for each role, with each component disregarding anything outwith its own role. Reactive agents can be used where a reactive agent is suited to the role, and where a deliberative approach is required, branching is kept to a minimum by the removal of all extraneous factors, enabling an informed decision to be made within a much smaller time-frame. An Arbiter is used to combine the component results, allowing high performing agents to be created from simple, efficient components. △ Less

Submitted 21 June, 2017; originally announced June 2017.

Comments: 7 pages, 6 figures

Encoding Mechano-Memories in Actin Networks

Authors: Sayantan Majumdar, Louis C. Foucard, Alex J. Levine, Margaret L. Gardel

Abstract: Understanding the response of complex materials to external force is central to fields ranging from materials science to biology. Here, we describe a novel type of mechanical adaptation in cross-linked networks of F-actin, a ubuiquitous protein found in eukaryotic cells. We show that shear stress changes its nonlinear mechanical response even long after that stress is removed. The duration, magnit… ▽ More Understanding the response of complex materials to external force is central to fields ranging from materials science to biology. Here, we describe a novel type of mechanical adaptation in cross-linked networks of F-actin, a ubuiquitous protein found in eukaryotic cells. We show that shear stress changes its nonlinear mechanical response even long after that stress is removed. The duration, magnitude and direction of forcing history all impact changes in mechanical response. The `memory' of the forcing history is long-lived, but can be erased by force application in the opposite direction. We further show that the observed mechanical adaptation is consistent with stress-dependent changes in the nematic order of the constituent filaments. Thus, this mechano-memory is a type of nonlinear hysteretic response in which an applied, "training" strain modifies the nonlinear elasticity. This demonstrates that F-actin networks can encode analog read-write mechano-memories, which can be used for adaptation to mechanical stimuli. △ Less

Submitted 16 June, 2017; originally announced June 2017.

Comments: 18 pages, under review

Incorporating an Optical Clock into a Time Scale

Authors: Jian Yao, Thomas Parker, Neil Ashby, Judah Levine

Abstract: This paper discusses how to build a time scale with an intermittently-operated optical clock. In particular, it gives suggestions on how long and how often to run an optical clock. It also explores the benefits of having an optical clock in a time scale, by comparing with the current UTC(NIST) performance and the time scale with a continuously-operated Cs fountain. This paper discusses how to build a time scale with an intermittently-operated optical clock. In particular, it gives suggestions on how long and how often to run an optical clock. It also explores the benefits of having an optical clock in a time scale, by comparing with the current UTC(NIST) performance and the time scale with a continuously-operated Cs fountain. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Comments: 11 pages, 10 figures

Abortive Initiation as a Bottleneck for Transcription in the Early Drosophila Embryo

Authors: Alexander S. Serov, Alexander J. Levine, Madhav Mani

Abstract: Gene transcription is a critical step in gene expression. The currently accepted physical model of transcription predicts the existence of a physical limit on the maximal rate of transcription, which does not depend on the transcribed gene. This limit appears as a result of polymerase "traffic jams" forming in the bulk of the 1D DNA chain at high polymerase concentrations. Recent experiments have,… ▽ More Gene transcription is a critical step in gene expression. The currently accepted physical model of transcription predicts the existence of a physical limit on the maximal rate of transcription, which does not depend on the transcribed gene. This limit appears as a result of polymerase "traffic jams" forming in the bulk of the 1D DNA chain at high polymerase concentrations. Recent experiments have, for the first time, allowed one to access live gene expression dynamics in the Drosophila fly embryo in vivo under the conditions of heavy polymerase load and test the predictions of the model. Our analysis of the data shows that the maximal rate of transcription is indeed the same for the Hunchback, Snail and Knirps gap genes, and modified gene constructs in nuclear cycles 13, 14, but the experimentally observed value of the maximal transcription rate corresponds to only 40 % of the one predicted by this model. We argue that such a decrease must be due to a slower polymerase elongation rate in the vicinity of the promoter region. This effectively shifts the bottleneck of transcription from the bulk to the promoter region of the gene. We suggest a quantitative explanation of the difference by taking into account abortive transcription initiation. Our calculations based on the independently measured abortive initiation constant in vitro confirm this hypothesis and find quantitative agreement with MS2 fluorescence live imaging data in the early fruit fly embryo. If our explanation is correct, then the transcription rate cannot be increased by replacing "slow codons" in the bulk with synonymous codons, and experimental efforts must be focused on the promoter region instead. This study extends our understanding of transcriptional regulation, re-examines physical constraints on the kinetics of transcription and re-evaluates the validity of the standard TASEP model of transcription. △ Less

Submitted 21 January, 2017; originally announced January 2017.

Comments: 11 pages, 6 figures. Keywords: transcription, Drosophila fly embryonic development, pattern formation, k-TASEP, extended particles

Intrinsic and Apparent Singularities in Flat Differential Systems

Authors: Y. J. Kaminski, J. Levine, F. Ollivier

Abstract: In this paper, we study the singularities of locally flat systems, motivated by the solution, if it exists, of the global motion planning problem for such systems, in the spirit of \cite{CE_14}. More precisely, flat outputs may be only locally defined because of the existence of points where they are singular (a notion that will be made clear later), thus preventing from planning trajectories cros… ▽ More In this paper, we study the singularities of locally flat systems, motivated by the solution, if it exists, of the global motion planning problem for such systems, in the spirit of \cite{CE_14}. More precisely, flat outputs may be only locally defined because of the existence of points where they are singular (a notion that will be made clear later), thus preventing from planning trajectories crossing these points. Such points are of different types. Some of them can be easily ruled out by considering another non singular flat output, defined on an open set intersecting the domain of the former one and well defined at the point in question. However, it might happen that no well-defined flat outputs exist at all at some points. We call these points \emph{intrinsic} singularities and the other ones \emph{apparent}. A rigorous defintion of these points is introduced in terms of atlas and charts in the framework of the differential geometry of jets of infinite order and Lie-Bäcklund isomorphisms (see \cite{FLMR_99,Levine-09}). We then give a criterion allowing to effectively compute intrinsic singularities. Finally, we show how our results apply to global motion planning of the well-known example of non holonomic car. △ Less

Submitted 14 May, 2018; v1 submitted 3 January, 2017; originally announced January 2017.

Journal ref: Systems & Control Letters, 113, pp. 117-124, 2018

Using an ion trap with two temperature reservoirs to explore nonequilibrium physics

Authors: Christian Vaca, Kuang Chen, Eric Hudson, Alex J. Levine

Abstract: Using a combination of molecular dynamics simulations and fundamental statistical mechanics, we analyze the position and velocity distribution of a trapped ion immersed in two ideal gases at differing temperatures. Such a system has been realized in the recently developed MOTion trap architecture. This system has the potential to serve as platform for studying nonequilibrium statistical mechanics… ▽ More Using a combination of molecular dynamics simulations and fundamental statistical mechanics, we analyze the position and velocity distribution of a trapped ion immersed in two ideal gases at differing temperatures. Such a system has been realized in the recently developed MOTion trap architecture. This system has the potential to serve as platform for studying nonequilibrium statistical mechanics in a controlled environment. As examples, we demonstrate a non-Maxwell Boltzmann velocity ionic distribution in the trap, the breakdown of the fluctuation-dissipation theorem, and position-velocity sorting, wherein high-velocity ionic states are over represented at points of high potential energy. We propose experiments to test these predictions. △ Less

Submitted 21 October, 2015; originally announced October 2015.

Comments: 5 pages, 4 figures