Showing 51–100 of 195 results for author: Lynch, J

The Computational Complexity of Finding Arithmetic Expressions With and Without Parentheses

Authors: Jayson Lynch, Yan, Weng

Abstract: We show NP-completeness for various problems about the existence of arithmetic expression trees. When given a set of operations, inputs, and a target value does there exist an expression tree with those inputs and operations that evaluates to the target? We consider the variations where the structure of the tree is also given and the variation where no parentheses are allowed in the expression. We show NP-completeness for various problems about the existence of arithmetic expression trees. When given a set of operations, inputs, and a target value does there exist an expression tree with those inputs and operations that evaluates to the target? We consider the variations where the structure of the tree is also given and the variation where no parentheses are allowed in the expression. △ Less

Submitted 27 January, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

Comments: 15 pages, 1 figure, writing and presentation edited

Understanding the Origins of Problem Geomagnetic Storms Associated With "Stealth" Coronal Mass Ejections

Authors: Nariaki V. Nitta, Tamitha Mulligan, Emilia K. J. Kilpua, Benjamin J. Lynch, Marilena Mierla, Jennifer O'Kane, Paolo Pagano, Erika Palmerio, Jens Pomoell, Ian G. Richardson, Luciano Rodriguez, Alexis P. Rouillard, Suvadip Sinha, Nandita Srivastava, Dana-Camelia Talpeanu, Stephanie L. Yardley, Andrei N. Zhukov

Abstract: Geomagnetic storms are an important aspect of space weather and can result in significant impacts on space- and ground-based assets. The majority of strong storms are associated with the passage of interplanetary coronal mass ejections (ICMEs) in the near-Earth environment. In many cases, these ICMEs can be traced back unambiguously to a specific coronal mass ejection (CME) and solar activity on t… ▽ More Geomagnetic storms are an important aspect of space weather and can result in significant impacts on space- and ground-based assets. The majority of strong storms are associated with the passage of interplanetary coronal mass ejections (ICMEs) in the near-Earth environment. In many cases, these ICMEs can be traced back unambiguously to a specific coronal mass ejection (CME) and solar activity on the frontside of the Sun. Hence, predicting the arrival of ICMEs at Earth from routine observations of CMEs and solar activity currently makes a major contribution to the forecasting of geomagnetic storms. However, it is clear that some ICMEs, which may also cause enhanced geomagnetic activity, cannot be traced back to an observed CME, or, if the CME is identified, its origin may be elusive or ambiguous in coronal images. Such CMEs have been termed "stealth CMEs." In this review, we focus on these "problem" geomagnetic storms in the sense that the solar/CME precursors are enigmatic and stealthy. We start by reviewing evidence for stealth CMEs discussed in past studies. We then identify several moderate to strong geomagnetic storms (minimum Dst < -50 nT) in solar cycle 24 for which the related solar sources and/or CMEs are unclear and apparently stealthy. We discuss the solar and in situ circumstances of these events and identify several scenarios that may account for their elusive solar signatures. These range from observational limitations (e.g., a coronagraph near Earth may not detect an incoming CME if it is diffuse and not wide enough) to the possibility that there is a class of mass ejections from the Sun that have only weak or hard-to-observe coronal signatures. In particular, some of these sources are only clearly revealed by considering the evolution of coronal structures over longer time intervals than is usually considered. We also review a variety of numerical modelling approaches... △ Less

Submitted 15 October, 2021; originally announced October 2021.

Comments: 60 pages, 25 figures, 5 tables. Accepted for publication in Space Science Reviews

Journal ref: Space Sci Rev 217, 82 (2021)

Linking the Sun to the Heliosphere Using Composition Data and Modelling. A Test Case with a Coronal Jet

Authors: Susanna Parenti, Iulia Chifu, Giulio Del Zanna, Justin Edmondson, Alessandra Giunta, Viggo H. Hansteen, Aleida Higginson, J. Martin Laming, Susan T. Lepri, Benjamin J. Lynch, Yeimy J. Rivera, Rudolf von Steiger, Thomas Wiegelmann, Robert F. Wimmer-Schweingruber, Natalia Zambrana Prado, Gabriel Pelouze

Abstract: Our understanding of the formation and evolution of the corona and the heliosphere is linked to our capability of properly interpreting the data from remote sensing and in-situ observations. In this respect, being able to correctly connect in-situ observations with their source regions on the Sun is the key for solving this problem. In this work we aim at testing a diagnostics method for this conn… ▽ More Our understanding of the formation and evolution of the corona and the heliosphere is linked to our capability of properly interpreting the data from remote sensing and in-situ observations. In this respect, being able to correctly connect in-situ observations with their source regions on the Sun is the key for solving this problem. In this work we aim at testing a diagnostics method for this connectivity. This paper makes use of a coronal jet observed on 2010 August 2nd in active region 11092 as a test for our connectivity method. This combines solar EUV and in-situ data together with magnetic field extrapolation, large scale MHD modeling and FIP (First Ionization Potential) bias modeling to provide a global picture from the source region of the jet to its possible signatures at 1AU. Our data analysis reveals the presence of outflow areas near the jet which are within open magnetic flux regions and which present FIP bias consistent with the FIP model results. In our picture, one of these open areas is the candidate jet source. Using a back-map** technique we identified the arrival time of this solar plasma at the ACE spacecraft. The in-situ data show signatures of changes in the plasma and magnetic field parameters, with FIP bias consistent with the possible passage of the jet material. Our results highlight the importance of remote sensing and in-situ coordinated observations as a key to solve the connectivity problem. We discuss our results in view of the recent Solar Orbiter launch which is currently providing such unique data. △ Less

Submitted 12 October, 2021; originally announced October 2021.

Comments: 53 pages, 15 figures, 5 tables, accepted for publication in Space Science Reviews

Journal ref: Space Sci Rev 217, 78 (2021)

Multidimensional Scaling: Approximation and Complexity

Authors: Erik Demaine, Adam Hesterberg, Frederic Koehler, Jayson Lynch, John Urschel

Abstract: Metric Multidimensional scaling (MDS) is a classical method for generating meaningful (non-linear) low-dimensional embeddings of high-dimensional data. MDS has a long history in the statistics, machine learning, and graph drawing communities. In particular, the Kamada-Kawai force-directed graph drawing method is equivalent to MDS and is one of the most popular ways in practice to embed graphs into… ▽ More Metric Multidimensional scaling (MDS) is a classical method for generating meaningful (non-linear) low-dimensional embeddings of high-dimensional data. MDS has a long history in the statistics, machine learning, and graph drawing communities. In particular, the Kamada-Kawai force-directed graph drawing method is equivalent to MDS and is one of the most popular ways in practice to embed graphs into low dimensions. Despite its ubiquity, our theoretical understanding of MDS remains limited as its objective function is highly non-convex. In this paper, we prove that minimizing the Kamada-Kawai objective is NP-hard and give a provable approximation algorithm for optimizing it, which in particular is a PTAS on low-diameter graphs. We supplement this result with experiments suggesting possible connections between our greedy approximation algorithm and gradient-based methods. △ Less

Submitted 23 September, 2021; originally announced September 2021.

Predicting the Magnetic Fields of a Stealth CME Detected by Parker Solar Probe at 0.5 AU

Authors: Erika Palmerio, Christina Kay, Nada Al-Haddad, Benjamin J. Lynch, Wenyuan Yu, Michael L. Stevens, Sanchita Pal, Christina O. Lee

Abstract: Stealth coronal mass ejection (CMEs) are eruptions from the Sun that are not associated with appreciable low-coronal signatures. Because they often cannot be linked to a well-defined source region on the Sun, analysis of their initial magnetic configuration and eruption dynamics is particularly problematic. In this manuscript, we address this issue by undertaking the first attempt at predicting th… ▽ More Stealth coronal mass ejection (CMEs) are eruptions from the Sun that are not associated with appreciable low-coronal signatures. Because they often cannot be linked to a well-defined source region on the Sun, analysis of their initial magnetic configuration and eruption dynamics is particularly problematic. In this manuscript, we address this issue by undertaking the first attempt at predicting the magnetic fields of a stealth CME that erupted in 2020 June from the Earth-facing Sun. We estimate its source region with the aid of off-limb observations from a secondary viewpoint and photospheric magnetic field extrapolations. We then employ the Open Solar Physics Rapid Ensemble Information (OSPREI) modelling suite to evaluate its early evolution and forward-model its magnetic fields up to Parker Solar Probe, which detected the CME in situ at a heliocentric distance of 0.5 AU. We compare our hindcast prediction with in-situ measurements and a set of flux rope reconstructions, obtaining encouraging agreement on arrival time, spacecraft crossing location, and magnetic field profiles. This work represents a first step towards reliable understanding and forecasting of the magnetic configuration of stealth CMEs and slow, streamer-blowout events. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Comments: 9 pages, 4 figures, 1 table, accepted for publication in The Astrophysical Journal

Optimal-area visibility representations of outer-1-plane graphs

Authors: Therese Biedl, Giuseppe Liotta, Jayson Lynch, Fabrizio Montecchiani

Abstract: This paper studies optimal-area visibility representations of $n$-vertex outer-1-plane graphs, i.e. graphs with a given embedding where all vertices are on the boundary of the outer face and each edge is crossed at most once. We show that any graph of this family admits an embedding-preserving visibility representation whose area is $O(n^{1.5})$ and prove that this area bound is worst-case optimal… ▽ More This paper studies optimal-area visibility representations of $n$-vertex outer-1-plane graphs, i.e. graphs with a given embedding where all vertices are on the boundary of the outer face and each edge is crossed at most once. We show that any graph of this family admits an embedding-preserving visibility representation whose area is $O(n^{1.5})$ and prove that this area bound is worst-case optimal. We also show that $O(n^{1.48})$ area can be achieved if we represent the vertices as L-shaped orthogonal polygons or if we do not respect the embedding but still have at most one crossing per edge. We also extend the study to other representation models and, among other results, construct asymptotically optimal $O(n\, pw(G))$ area bar-1-visibility representations, where $pw(G)\in O(\log n)$ is the pathwidth of the outer-1-planar graph $G$. △ Less

Submitted 26 August, 2021; originally announced August 2021.

Comments: Appears in the Proceedings of the 29th International Symposium on Graph Drawing and Network Visualization (GD 2021)

Leveraging Domain Adaptation for Low-Resource Geospatial Machine Learning

Authors: Jack Lynch, Sam Wookey

Abstract: Machine learning in remote sensing has matured alongside a proliferation in availability and resolution of geospatial imagery, but its utility is bottlenecked by the need for labeled data. What's more, many labeled geospatial datasets are specific to certain regions, instruments, or extreme weather events. We investigate the application of modern domain-adaptation to multiple proposed geospatial b… ▽ More Machine learning in remote sensing has matured alongside a proliferation in availability and resolution of geospatial imagery, but its utility is bottlenecked by the need for labeled data. What's more, many labeled geospatial datasets are specific to certain regions, instruments, or extreme weather events. We investigate the application of modern domain-adaptation to multiple proposed geospatial benchmarks, uncovering unique challenges and proposing solutions to them. △ Less

Submitted 11 July, 2021; originally announced July 2021.

Comments: Tackling Climate Change with Machine Learning Workshop at ICML 2021

Solving Machine Learning Problems

Authors: Sunny Tran, Pranav Krishna, Ishan Pakuwal, Prabhakar Kafle, Nikhil Singh, Jayson Lynch, Iddo Drori

Abstract: Can a machine learn Machine Learning? This work trains a machine learning model to solve machine learning problems from a University undergraduate level course. We generate a new training set of questions and answers consisting of course exercises, homework, and quiz questions from MIT's 6.036 Introduction to Machine Learning course and train a machine learning model to answer these questions. Our… ▽ More Can a machine learn Machine Learning? This work trains a machine learning model to solve machine learning problems from a University undergraduate level course. We generate a new training set of questions and answers consisting of course exercises, homework, and quiz questions from MIT's 6.036 Introduction to Machine Learning course and train a machine learning model to answer these questions. Our system demonstrates an overall accuracy of 96% for open-response questions and 97% for multiple-choice questions, compared with MIT students' average of 93%, achieving grade A performance in the course, all in real-time. Questions cover all 12 topics taught in the course, excluding coding questions or questions with images. Topics include: (i) basic machine learning principles; (ii) perceptrons; (iii) feature extraction and selection; (iv) logistic regression; (v) regression; (vi) neural networks; (vii) advanced neural networks; (viii) convolutional neural networks; (ix) recurrent neural networks; (x) state machines and MDPs; (xi) reinforcement learning; and (xii) decision trees. Our system uses Transformer models within an encoder-decoder architecture with graph and tree representations. An important aspect of our approach is a data-augmentation scheme for generating new example problems. We also train a machine learning model to generate problem hints. Thus, our system automatically generates new questions across topics, answers both open-response questions and multiple-choice questions, classifies problems, and generates problem hints, pushing the envelope of AI for STEM education. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: 38 pages, 29 figures

Yin-Yang Puzzles are NP-complete

Authors: Erik D. Demaine, Jayson Lynch, Mikhail Rudoy, Yushi Uno

Abstract: We prove NP-completeness of Yin-Yang / Shiromaru-Kuromaru pencil-and-paper puzzles. Viewed as a graph partitioning problem, we prove NP-completeness of partitioning a rectangular grid graph into two induced trees (normal Yin-Yang), or into two induced connected subgraphs (Yin-Yang without $2 \times 2$ rule), subject to some vertices being pre-assigned to a specific tree/subgraph. We prove NP-completeness of Yin-Yang / Shiromaru-Kuromaru pencil-and-paper puzzles. Viewed as a graph partitioning problem, we prove NP-completeness of partitioning a rectangular grid graph into two induced trees (normal Yin-Yang), or into two induced connected subgraphs (Yin-Yang without $2 \times 2$ rule), subject to some vertices being pre-assigned to a specific tree/subgraph. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Comments: 10 pages, 11 figures. Proceedings of CCCG 2021

Automated triaging of head MRI examinations using convolutional neural networks

Authors: David A. Wood, Sina Kafiabadi, Ayisha Al Busaidi, Emily Guilhem, Antanas Montvila, Siddharth Agarwal, Jeremy Lynch, Matthew Townend, Gareth Barker, Sebastien Ourselin, James H. Cole, Thomas C. Booth

Abstract: The growing demand for head magnetic resonance imaging (MRI) examinations, along with a global shortage of radiologists, has led to an increase in the time taken to report head MRI scans around the world. For many neurological conditions, this delay can result in increased morbidity and mortality. An automated triaging tool could reduce reporting times for abnormal examinations by identifying abno… ▽ More The growing demand for head magnetic resonance imaging (MRI) examinations, along with a global shortage of radiologists, has led to an increase in the time taken to report head MRI scans around the world. For many neurological conditions, this delay can result in increased morbidity and mortality. An automated triaging tool could reduce reporting times for abnormal examinations by identifying abnormalities at the time of imaging and prioritizing the reporting of these scans. In this work, we present a convolutional neural network for detecting clinically-relevant abnormalities in $\text{T}_2$-weighted head MRI scans. Using a validated neuroradiology report classifier, we generated a labelled dataset of 43,754 scans from two large UK hospitals for model training, and demonstrate accurate classification (area under the receiver operating curve (AUC) = 0.943) on a test set of 800 scans labelled by a team of neuroradiologists. Importantly, when trained on scans from only a single hospital the model generalized to scans from the other hospital ($Δ$AUC $\leq$ 0.02). A simulation study demonstrated that our model would reduce the mean reporting time for abnormal examinations from 28 days to 14 days and from 9 days to 5 days at the two hospitals, demonstrating feasibility for use in a clinical triage environment. △ Less

Submitted 28 June, 2022; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: Accepted as an oral presentation at Medical Imaging with Deep Learning (MIDL) 2021

Continuous Flattening of All Polyhedral Manifolds using Countably Infinite Creases

Authors: Zachary Abel, Erik D. Demaine, Martin L. Demaine, Jason S. Ku, Jayson Lynch, **-ichi Itoh, Chie Nara

Abstract: We prove that any finite polyhedral manifold in 3D can be continuously flattened into 2D while preserving intrinsic distances and avoiding crossings, answering a 19-year-old open problem, if we extend standard folding models to allow for countably infinite creases. The most general cases previously known to be continuously flattenable were convex polyhedra and semi-orthogonal polyhedra. For non-or… ▽ More We prove that any finite polyhedral manifold in 3D can be continuously flattened into 2D while preserving intrinsic distances and avoiding crossings, answering a 19-year-old open problem, if we extend standard folding models to allow for countably infinite creases. The most general cases previously known to be continuously flattenable were convex polyhedra and semi-orthogonal polyhedra. For non-orientable manifolds, even the existence of an instantaneous flattening (flat folded state) is a new result. Our solution extends a method for flattening semi-orthogonal polyhedra: slice the polyhedron along parallel planes and flatten the polyhedral strips between consecutive planes. We adapt this approach to arbitrary nonconvex polyhedra by generalizing strip flattening to nonorthogonal corners and slicing along a countably infinite number of parallel planes, with slices densely approaching every vertex of the manifold. We also show that the area of the polyhedron that needs to support moving creases (which are necessary for closed polyhedra by the Bellows Theorem) can be made arbitrarily small. △ Less

Submitted 22 May, 2021; originally announced May 2021.

Comments: 14 pages, 7 figures

Journal ref: Computational Geometry: Theory and Applications, volume 98, October 2021, Article 101773

Snipperclips: Cutting Tools into Desired Polygons using Themselves

Authors: Zachary Abel, Hugo Akitaya, Man-Kwun Chiu, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Matias Korman, Jayson Lynch, André van Renssen, Marcel Roeloffzen

Abstract: We study Snipperclips, a computer puzzle game whose objective is to create a target shape with two tools. The tools start as constant-complexity shapes, and each tool can snip (i.e., subtract its current shape from) the other tool. We study the computational problem of, given a target shape represented by a polygonal domain of $n$ vertices, is it possible to create it as one of the tools' shape vi… ▽ More We study Snipperclips, a computer puzzle game whose objective is to create a target shape with two tools. The tools start as constant-complexity shapes, and each tool can snip (i.e., subtract its current shape from) the other tool. We study the computational problem of, given a target shape represented by a polygonal domain of $n$ vertices, is it possible to create it as one of the tools' shape via a sequence of snip operations? If so, how many snip operations are required? We consider several variants of the problem (such as allowing the tools to be disconnected and/or using an undo operation) and bound the number of operations needed for each of the variants. △ Less

Submitted 18 May, 2021; originally announced May 2021.

Generalized LR-drawings of trees

Authors: Therese Biedl, Giuseppe Liotta, Jayson Lynch, Fabrizio Montecchiani

Abstract: The LR-drawing-method is a method of drawing an ordered rooted binary tree based on drawing one root-to-leaf path on a vertical line and attaching recursively obtained drawings of the subtrees on the left and right. In this paper, we study how to generalize this drawing-method to trees of higher arity. We first prove that (with some careful modifications) the proof of existence of a special root-t… ▽ More The LR-drawing-method is a method of drawing an ordered rooted binary tree based on drawing one root-to-leaf path on a vertical line and attaching recursively obtained drawings of the subtrees on the left and right. In this paper, we study how to generalize this drawing-method to trees of higher arity. We first prove that (with some careful modifications) the proof of existence of a special root-to-leaf path transfers to trees of higher arity. Then we use such paths to obtain generalized LR-drawings of trees of arbitrary arity. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Self-Hybridized Polaritonic Emission from Layered Perovskites

Authors: Surendra B. Anantharaman, Christopher E. Stevens, Jason Lynch, Baokun Song, ** Hou, Huiqin Zhang, Kiyoung Jo, Pawan Kumar, Jean-Christophe Blancon, Aditya D. Mohite, Joshua R. Hendrickson, Deep Jariwala

Abstract: Light-matter coupling in excitonic materials has been the subject of intense investigation due to emergence of new excitonic materials. Two-dimensional layered hybrid organic/inorganic perovskites (2D HOIPs) support strongly bound excitons at room-temperatures with some of the highest oscillator strengths and electric loss tangents among the known excitonic materials. Here, we report strong light-… ▽ More Light-matter coupling in excitonic materials has been the subject of intense investigation due to emergence of new excitonic materials. Two-dimensional layered hybrid organic/inorganic perovskites (2D HOIPs) support strongly bound excitons at room-temperatures with some of the highest oscillator strengths and electric loss tangents among the known excitonic materials. Here, we report strong light-matter coupling in Ruddlesden-Popper phase 2D-HOIPs crystals without the necessity of an external cavity. We report concurrent occurrence of multiple-orders of hybrid light-matter states via both reflectance and luminescence spectroscopy in thick (> 100 nm) crystals and near-unity absorption in thin (< 20 nm) crystals. We observe resonances with quality factors > 250 in hybridized exciton-polaritons and identify a linear correlation between exciton-polariton mode splitting and extinction coefficient of the various 2D-HOIPs. Our work opens the door to studying polariton dynamics in self-hybridized and open cavity systems with broad applications in optoelectronics and photochemistry. △ Less

Submitted 13 May, 2021; originally announced May 2021.

Journal ref: Nano Letters 2021

Modeling a Coronal Mass Ejection from an Extended Filament Channel. I. Eruption and Early Evolution

Authors: Benjamin J. Lynch, Erika Palmerio, C. Richard DeVore, Maria D. Kazachenko, Joel T. Dahlin, Jens Pomoell, Emilia K. J. Kilpua

Abstract: We present observations and modeling of the magnetic field configuration, morphology, and dynamics of a large-scale, high-latitude filament eruption observed by the Solar Dynamics Observatory. We analyze the 2015 July 9-10 filament eruption and the evolution of the resulting coronal mass ejection (CME) through the solar corona. The slow streamer-blowout CME leaves behind an elongated post-eruption… ▽ More We present observations and modeling of the magnetic field configuration, morphology, and dynamics of a large-scale, high-latitude filament eruption observed by the Solar Dynamics Observatory. We analyze the 2015 July 9-10 filament eruption and the evolution of the resulting coronal mass ejection (CME) through the solar corona. The slow streamer-blowout CME leaves behind an elongated post-eruption arcade above the extended polarity inversion line that is only poorly visible in extreme ultraviolet (EUV) disk observations and does not resemble a typical bright flare-loop system. Magnetohydrodynamic (MHD) simulation results from our data-inspired modeling of this eruption compare favorably with the EUV and white-light coronagraph observations. We estimate the reconnection flux from the simulation's flare-arcade growth and examine the magnetic-field orientation and evolution of the erupting prominence, highlighting the transition from an erupting sheared-arcade filament channel into a streamer-blowout flux-rope CME. Our results represent the first numerical modeling of a global-scale filament eruption where multiple ambiguous and complex observational signatures in EUV and white light can be fully understood and explained with the MHD simulation. In this context, our findings also suggest that the so-called "stealth CME" classification, as a driver of unexpected or "problem" geomagnetic storms, belongs more to a continuum of observable/non-observable signatures than to separate or distinct eruption processes. △ Less

Submitted 17 April, 2021; originally announced April 2021.

Comments: 22 pages, 14 figures, 2 tables, accepted for publication in ApJ

Journal ref: Astrophys J., 914, 39, 2021

Current Overview of Statistical Fiber Bundles Model and Its Application to Physics-based Reliability Analysis of Thin-film Dielectrics

Authors: James U. Gleaton, David Han, James D. Lynch, Hon Keung Tony Ng, Fabrizio Ruggeri

Abstract: In this paper, we present a critical overview of statistical fiber bundles models. We discuss relevant aspects, like assumptions and consequences stemming from models in the literature and propose new ones. This is accomplished by concentrating on both the physical and statistical aspects of a specific load-sharing example, the breakdown (BD) for circuits of capacitors and related dielectrics. For… ▽ More In this paper, we present a critical overview of statistical fiber bundles models. We discuss relevant aspects, like assumptions and consequences stemming from models in the literature and propose new ones. This is accomplished by concentrating on both the physical and statistical aspects of a specific load-sharing example, the breakdown (BD) for circuits of capacitors and related dielectrics. For series and parallel/series circuits (series/parallel reliability systems) of ordinary capacitors, the load-sharing rules are derived from the electrical laws. This with the BD formalism is then used to obtain the BD distribution of the circuit. The BD distribution and Gibbs measure are given for a series circuit and the size effects are illustrated for simulations of series and parallel/series circuits. This is related to the finite weakest link adjustments for the BD distribution that arise in large series/parallel reliability load-sharing systems, such as dielectric BD, from their extreme value approximations. An elementary but in-depth discussion of the physical aspects of SiO$_2$ and HfO$_2$ dielectrics and cell models is given. This is used to study a load-sharing cell model for the BD of HfO$_2$ dielectrics and the BD formalism. The latter study is based on an analysis of Kim and Lee (2004)'s data for such dielectrics. Here, several BD distributions are compared in the analysis and proportional hazard regression models are used to study the BD formalism. In addition, some areas of open research are discussed. △ Less

Submitted 25 January, 2023; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: The majority of the materials in the paper has been published as a book

Light-Matter Coupling in Scalable Van der Waals Superlattices

Authors: Pawan Kumar, Jason Lynch, Baokun Song, Haonan Ling, Francisco Barrera, Huiqin Zhang, Surendra B. Anantharaman, Jagrit Digani, Haoyue Zhu, Tanushree H. Choudhury, Clifford McAleese, Xiaochen Wang, Ben R. Conran, Oliver Whear, Michael J. Motala, Michael Snure, Christopher Muratore, Joan M. Redwing, Nicholas R. Glavin, Eric A. Stach, Artur R. Davoyan, Deep Jariwala

Abstract: Two-dimensional (2D) crystals have renewed opportunities in design and assembly of artificial lattices without the constraints of epitaxy. However, the lack of thickness control in exfoliated van der Waals (vdW) layers prevents realization of repeat units with high fidelity. Recent availability of uniform, wafer-scale samples permits engineering of both electronic and optical dispersions in stacks… ▽ More Two-dimensional (2D) crystals have renewed opportunities in design and assembly of artificial lattices without the constraints of epitaxy. However, the lack of thickness control in exfoliated van der Waals (vdW) layers prevents realization of repeat units with high fidelity. Recent availability of uniform, wafer-scale samples permits engineering of both electronic and optical dispersions in stacks of disparate 2D layers with multiple repeating units. We present optical dispersion engineering in a superlattice structure comprised of alternating layers of 2D excitonic chalcogenides and dielectric insulators. By carefully designing the unit cell parameters, we demonstrate > 90 % narrowband absorption in < 4 nm active layer excitonic absorber medium at room temperature, concurrently with enhanced photoluminescence in cm2 samples. These superlattices show evidence of strong light-matter coupling and exciton-polariton formation with geometry-tunable coupling constants. Our results demonstrate proof of concept structures with engineered optical properties and pave the way for a broad class of scalable, designer optical metamaterials from atomically-thin layers. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Comments: 4 figures + supporting

Hardness of Token Swap** on Trees

Authors: Oswin Aichholzer, Erik D. Demaine, Matias Korman, Jayson Lynch, Anna Lubiw, Zuzana Masárová, Mikhail Rudoy, Virginia Vassilevska Williams, Nicole Wein

Abstract: Given a graph where every vertex has exactly one labeled token, how can we most quickly execute a given permutation on the tokens? In (sequential) token swap**, the goal is to use the shortest possible sequence of swaps, each of which exchanges the tokens at the two endpoints of an edge of the graph. In parallel token swap**, the goal is to use the fewest rounds, each of which consists of one… ▽ More Given a graph where every vertex has exactly one labeled token, how can we most quickly execute a given permutation on the tokens? In (sequential) token swap**, the goal is to use the shortest possible sequence of swaps, each of which exchanges the tokens at the two endpoints of an edge of the graph. In parallel token swap**, the goal is to use the fewest rounds, each of which consists of one or more swaps on the edges of a matching. We prove that both of these problems remain NP-hard when the graph is restricted to be a tree. These token swap** problems have been studied by disparate groups of researchers in discrete mathematics, theoretical computer science, robot motion planning, game theory, and engineering. Previous work establishes NP-completeness on general graphs (for both problems); polynomial-time algorithms for simple graph classes such as cliques, stars, paths, and cycles; and constant-factor approximation algorithms in some cases. The two natural cases of sequential and parallel token swap** in trees were first studied over thirty years ago (as "sorting with a transposition tree") and over twenty-five years ago (as "routing permutations via matchings"), yet their complexities were previously unknown. We also show limitations on approximation of sequential token swap** on trees: we identify a broad class of algorithms that encompass all three known polynomial-time algorithms that achieve the best known approximation factor (which is $2$) and show that no such algorithm can achieve an approximation factor less than $2$. △ Less

Submitted 10 August, 2022; v1 submitted 11 March, 2021; originally announced March 2021.

A Model for the Coupled Eruption of a Pseudostreamer and Helmet Streamer

Authors: P. F. Wyper, S. K. Antiochos, C. R. DeVore, B. J. Lynch, J. T. Karpen, P. Kumar

Abstract: A highly important aspect of solar activity is the coupling between eruptions and the surrounding coronal magnetic-field topology, which determines the trajectory and morphology of the event and can even lead to sympathetic eruptions from multiple sources. In this paper, we report on a numerical simulation of a new type of coupled eruption, in which a coronal jet initiated by a large pseudostreame… ▽ More A highly important aspect of solar activity is the coupling between eruptions and the surrounding coronal magnetic-field topology, which determines the trajectory and morphology of the event and can even lead to sympathetic eruptions from multiple sources. In this paper, we report on a numerical simulation of a new type of coupled eruption, in which a coronal jet initiated by a large pseudostreamer filament eruption triggers a streamer-blowout coronal mass ejection (CME) from the neighboring helmet streamer. Our configuration has a large opposite-polarity region positioned between the polar coronal hole and a small equatorial coronal hole, forming a pseudostreamer flanked by the coronal holes and the helmet streamer. Further out, the pseudostreamer stalk takes the shape of an extended arc in the heliosphere. We energize the system by applying photospheric shear along a section of the polarity inversion line within the pseudostreamer. The resulting sheared-arcade filament channel develops a flux rope that eventually erupts as a classic coronal-hole-type jet. However, the enhanced breakout reconnection above the channel as the jet is launched progresses into the neighboring helmet streamer, partially launching the jet along closed helmet streamer field lines and blowing out the streamer top to produce a classic bubble-like CME. This CME is strongly deflected from the jet's initial trajectory and contains a mixture of open and closed magnetic field lines. We present the detailed dynamics of this new type of coupled eruption, its underlying mechanisms and the implications of this work for the interpretation of in-situ and remote-sensing observations. △ Less

Submitted 6 January, 2021; originally announced January 2021.

Comments: ApJ, in press, 21 pages, 14 figures

Characterizing Universal Reconfigurability of Modular Pivoting Robots

Authors: Hugo A. Akitaya, Erik D. Demaine, Andrei Gonczi, Dylan H. Hendrickson, Adam Hesterberg, Matias Korman, Oliver Korten, Jayson Lynch, Irene Parada, Vera Sacristán

Abstract: We give both efficient algorithms and hardness results for reconfiguring between two connected configurations of modules in the hexagonal grid. The reconfiguration moves that we consider are "pivots", where a hexagonal module rotates around a vertex shared with another module. Following prior work on modular robots, we define two natural sets of hexagon pivoting moves of increasing power: restrict… ▽ More We give both efficient algorithms and hardness results for reconfiguring between two connected configurations of modules in the hexagonal grid. The reconfiguration moves that we consider are "pivots", where a hexagonal module rotates around a vertex shared with another module. Following prior work on modular robots, we define two natural sets of hexagon pivoting moves of increasing power: restricted and monkey moves. When we allow both moves, we present the first universal reconfiguration algorithm, which transforms between any two connected configurations using $O(n^3)$ monkey moves. This result strongly contrasts the analogous problem for squares, where there are rigid examples that do not have a single pivoting move preserving connectivity. On the other hand, if we only allow restricted moves, we prove that the reconfiguration problem becomes PSPACE-complete. Moreover, we show that, in contrast to hexagons, the reconfiguration problem for pivoting squares is PSPACE-complete regardless of the set of pivoting moves allowed. In the process, we strengthen the reduction framework of Demaine et al. [FUN'18] that we consider of independent interest. △ Less

Submitted 14 December, 2020; originally announced December 2020.

Dimensional analysis of spring-wing systems reveals performance metrics for resonant flap**-wing flight

Authors: James Lynch, Jeffrey Gau, Simon Sponberg, Nick Gravish

Abstract: Flap**-wing insects, birds, and robots are thought to offset the high power cost of oscillatory wing motion by using elastic elements for energy storage and return. Insects possess highly resilient elastic regions in their flight anatomy that may enable high dynamic efficiency. However, recent experiments highlight losses due to dam** in the insect thorax that could reduce the benefit of those… ▽ More Flap**-wing insects, birds, and robots are thought to offset the high power cost of oscillatory wing motion by using elastic elements for energy storage and return. Insects possess highly resilient elastic regions in their flight anatomy that may enable high dynamic efficiency. However, recent experiments highlight losses due to dam** in the insect thorax that could reduce the benefit of those elastic elements. We performed experiments on, and simulations of a dynamically-scaled robophysical flap** model with an elastic element and biologically-relevant structural dam** to elucidate the roles of body mechanics, aerodynamics, and actuation in spring-wing energetics. We measured oscillatory flap** wing dynamics and energetics subject to a range of actuation parameters, system inertia, and spring elasticity. To generalize these results, we derive the non-dimensional spring-wing equation of motion and present variables that describe the resonance properties of flap** systems: $N$, a measure of the relative influence of inertia and aerodynamics, and $\hat{K}$, the reduced stiffness. We show that internal dam** scales with $N$, revealing that dynamic efficiency monotonically decreases with increasing $N$. Based on these results, we introduce a general framework for understanding the roles of internal dam**, aerodynamic and inertial forces, and elastic structures within all spring-wing systems. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: 16 pages, 11 figures, plus supplemental material. Submitted to Royal Society Interface

Arithmetic Expression Construction

Authors: Leo Alcock, Sualeh Asif, Jeffrey Bosboom, Josh Brunner, Charlotte Chen, Erik D. Demaine, Rogers Epstein, Adam Hesterberg, Lior Hirschfeld, William Hu, Jayson Lynch, Sarah Scheffler, Lillian Zhang

Abstract: When can $n$ given numbers be combined using arithmetic operators from a given subset of $\{+, -, \times, ÷\}$ to obtain a given target number? We study three variations of this problem of Arithmetic Expression Construction: when the expression (1) is unconstrained; (2) has a specified pattern of parentheses and operators (and only the numbers need to be assigned to blanks); or (3) must match a sp… ▽ More When can $n$ given numbers be combined using arithmetic operators from a given subset of $\{+, -, \times, ÷\}$ to obtain a given target number? We study three variations of this problem of Arithmetic Expression Construction: when the expression (1) is unconstrained; (2) has a specified pattern of parentheses and operators (and only the numbers need to be assigned to blanks); or (3) must match a specified ordering of the numbers (but the operators and parenthesization are free). For each of these variants, and many of the subsets of $\{+,-,\times,÷\}$, we prove the problem NP-complete, sometimes in the weak sense and sometimes in the strong sense. Most of these proofs make use of a "rational function framework" which proves equivalence of these problems for values in rational functions with values in positive integers. △ Less

Submitted 23 November, 2020; originally announced November 2020.

Comments: 36 pages, 5 figures. Full version of paper accepted to 31st International Symposium on Algorithms and Computation (ISAAC 2020)

An Autonomous Approach to Measure Social Distances and Hygienic Practices during COVID-19 Pandemic in Public Open Spaces

Authors: Peng Sun, Gabriel Draughon, Jerome Lynch

Abstract: Coronavirus has been spreading around the world since the end of 2019. The virus can cause acute respiratory syndrome, which can be lethal, and is easily transmitted between hosts. Most states have issued state-at-home executive orders, however, parks and other public open spaces have largely remained open and are seeing sharp increases in public use. Therefore, in order to ensure public safety, i… ▽ More Coronavirus has been spreading around the world since the end of 2019. The virus can cause acute respiratory syndrome, which can be lethal, and is easily transmitted between hosts. Most states have issued state-at-home executive orders, however, parks and other public open spaces have largely remained open and are seeing sharp increases in public use. Therefore, in order to ensure public safety, it is imperative for patrons of public open spaces to practice safe hygiene and take preventative measures. This work provides a scalable sensing approach to detect physical activities within public open spaces and monitor adherence to social distancing guidelines suggested by the US Centers for Disease Control and Prevention (CDC). A deep learning-based computer vision sensing framework is designed to investigate the careful and proper utilization of parks and park facilities with hard surfaces (e.g. benches, fence poles, and trash cans) using video feeds from a pre-installed surveillance camera network. The sensing framework consists of a CNN-based object detector, a multi-target tracker, a map** module, and a group reasoning module. The experiments are carried out during the COVID-19 pandemic between March 2020 and May 2020 across several key locations at the Detroit Riverfront Parks in Detroit, Michigan. The sensing framework is validated by comparing automatic sensing results with manually labeled ground-truth results. The proposed approach significantly improves the efficiency of providing spatial and temporal statistics of users in public open spaces by creating straightforward data visualizations for federal and state agencies. The results can also provide on-time triggering information for an alarming or actuator system which can later be added to intervene inappropriate behavior during this pandemic. △ Less

Submitted 14 November, 2020; originally announced November 2020.

Comments: 11 pages, 9 figures

From Pseudostreamer Jets to CMEs: Observations of the Breakout Continuum

Authors: Pankaj Kumar, Judith T. Karpen, Spiro K. Antiochos, Peter F. Wyper, C. Richard DeVore, Benjamin J. Lynch

Abstract: The magnetic breakout model, in which reconnection in the corona leads to destabilization of a filament channel, explains numerous features of eruptive solar events, from small-scale jets to global-scale coronal mass ejections (CMEs). The underlying multipolar topology, pre-eruption activities, and sequence of magnetic reconnection onsets (first breakout, then flare) of many observed fast CMEs/eru… ▽ More The magnetic breakout model, in which reconnection in the corona leads to destabilization of a filament channel, explains numerous features of eruptive solar events, from small-scale jets to global-scale coronal mass ejections (CMEs). The underlying multipolar topology, pre-eruption activities, and sequence of magnetic reconnection onsets (first breakout, then flare) of many observed fast CMEs/eruptive flares are fully consistent with the model. Recently, we have demonstrated that most observed coronal-hole jets in fan/spine topologies also are induced by breakout reconnection at the null point above a filament channel (with or without a filament). For these two types of eruptions occurring in similar topologies, the key question is, why do some events generate jets while others form CMEs? We focused on the initiation of eruptions in large bright points/small active regions that were located in coronal holes and clearly exhibited null-point (fan/spine) topologies: such configurations are referred to as pseudostreamers. We analyzed and compared SDO/AIA, SOHO/LASCO, and RHESSI observations of three events. Our analysis of the events revealed two new observable signatures of breakout reconnection prior to the explosive jet/CME outflows and flare onset: coronal dimming and the opening-up of field lines above the breakout current sheet. Most key properties were similar among the selected erupting structures, thereby eliminating region size, photospheric field strength, magnetic configuration, and pre-eruptive evolution as discriminating factors between jets and CMEs. We consider the factors that contribute to the different types of dynamic behavior, and conclude that the main determining factor is the ratio of the magnetic free energy associated with the filament channel compared to the energy associated with the overlying flux inside and outside the pseudostreamer dome. △ Less

Submitted 13 November, 2020; originally announced November 2020.

Comments: ApJ (in press), 24 pages, 15 figures

Comparing Workflow Application Designs for High Resolution Satellite Image Analysis

Authors: Aymen Al-Saadi, Ioannis Paraskevakos, Bento Collares Gonçalves, Heather J. Lynch, Shantenu Jha, Matteo Turilli

Abstract: Very High Resolution satellite and aerial imagery are used to monitor and conduct large scale surveys of ecological systems. Convolutional Neural Networks have successfully been employed to analyze such imagery to detect large animals and salient features. As the datasets increase in volume and number of images, utilizing High Performance Computing resources becomes necessary. In this paper, we in… ▽ More Very High Resolution satellite and aerial imagery are used to monitor and conduct large scale surveys of ecological systems. Convolutional Neural Networks have successfully been employed to analyze such imagery to detect large animals and salient features. As the datasets increase in volume and number of images, utilizing High Performance Computing resources becomes necessary. In this paper, we investigate three task-parallel, data-driven workflow designs to support imagery analysis pipelines with heterogeneous tasks on HPC. We analyze the capabilities of each design when processing datasets from two use cases for a total of 4,672 satellite and aerial images, and 8.35 TB of data. We experimentally model the execution time of the tasks of the image processing pipelines. We perform experiments to characterize the resource utilization, total time to completion, and overheads of each design. Based on the model, overhead and utilization analysis, we show which design is best suited to scientific pipelines with similar characteristics. △ Less

Submitted 27 October, 2020; originally announced October 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1905.09766

A Model for Coronal Inflows and In/Out Pairs

Authors: Benjamin J. Lynch

Abstract: This report presents a three-dimensional (3D) numerical magnetohydrodynamics (MHD) model of the white-light coronagraph observational phenomena known as coronal inflows and in/out pairs. Coronal inflows in the LASCO/C2 field of view (approximately 2-6 Rs) were thought to arise from the dynamic and intermittent release of solar wind plasma associated with the helmet streamer belt as the counterpart… ▽ More This report presents a three-dimensional (3D) numerical magnetohydrodynamics (MHD) model of the white-light coronagraph observational phenomena known as coronal inflows and in/out pairs. Coronal inflows in the LASCO/C2 field of view (approximately 2-6 Rs) were thought to arise from the dynamic and intermittent release of solar wind plasma associated with the helmet streamer belt as the counterpart to outward-propagating streamer blobs, formed by magnetic reconnection. This interpretation was essentially confirmed with the subsequent identification of in/out pairs and the multispacecraft observations of their 3D structure. The MHD simulation results show relatively narrow lanes of density depletion form high in the corona and propagate inwards with sinuous motion which has been characterized as `tadpole-like' in coronagraph imagery. The height--time evolution and velocity profiles of the simulation inflows and in/out pairs are compared to their corresponding observations and a detailed analysis of the underlying magnetic field structure associated with the synthetic white-light and mass density evolution is presented. Understanding the physical origin of this structured component of the slow solar wind's intrinsic variability could make a significant contribution to solar wind modeling and the interpretation of remote and in-situ observations from Parker Solar Probe and Solar Orbiter. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Comments: 14 pages, 6 figures, accepted for publication in ApJ

Journal ref: ApJ 905, 139, 2020

Mad Science is Provably Hard: Puzzles in Hearthstone's Boomsday Lab are NP-hard

Authors: Michael Hoffmann, Jayson Lynch, Andrew Winslow

Abstract: We consider the computational complexity of winning this turn (mate-in-1 or "finding lethal") in Hearthstone as well as several other single turn puzzle types introduced in the Boomsday Lab expansion. We consider three natural generalizations of Hearthstone (in which hand size, board size, and deck size scale) and prove the various puzzle types in each generalization NP-hard. We consider the computational complexity of winning this turn (mate-in-1 or "finding lethal") in Hearthstone as well as several other single turn puzzle types introduced in the Boomsday Lab expansion. We consider three natural generalizations of Hearthstone (in which hand size, board size, and deck size scale) and prove the various puzzle types in each generalization NP-hard. △ Less

Submitted 17 October, 2020; originally announced October 2020.

Comments: 17 pages, 4 appendix, 1 figure

Tetris is NP-hard even with $O(1)$ rows or columns

Authors: Sualeh Asif, Michael Coulombe, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Jayson Lynch, Mihir Singhal

Abstract: We prove that the classic falling-block video game Tetris (both survival and board clearing) remains NP-complete even when restricted to 8 columns, or to 4 rows, settling open problems posed over 15 years ago [BDH+04]. Our reduction is from 3-Partition, similar to the previous reduction for unrestricted board sizes, but with a better packing of buckets. On the positive side, we prove that 2-column… ▽ More We prove that the classic falling-block video game Tetris (both survival and board clearing) remains NP-complete even when restricted to 8 columns, or to 4 rows, settling open problems posed over 15 years ago [BDH+04]. Our reduction is from 3-Partition, similar to the previous reduction for unrestricted board sizes, but with a better packing of buckets. On the positive side, we prove that 2-column Tetris (and 1-row Tetris) is polynomial. We also prove that the generalization of Tetris to larger $k$-omino pieces is NP-complete even when the board starts empty, even when restricted to 3 columns or 2 rows or constant-size pieces. Finally, we present an animated Tetris font. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Comments: 25 pages, 29 figures

Electron acceleration and radio emission following the early interaction of two coronal mass ejections

Authors: D. E. Morosan, E. Palmerio, J. E. Räsänen, E. K. J. Kilpua, J. Magdalenić, B. J. Lynch, A. Kumari, J. Pomoell, M. Palmroth

Abstract: Context. Coronal mass ejections (CMEs) are large eruptions of magnetised plasma from the Sun that are often accompanied by solar radio bursts produced by accelerated electrons. Aims. A powerful source for accelerating electron beams are CME-driven shocks, however, there are other mechanisms capable of accelerating electrons during a CME eruption. So far, studies have relied on the traditional clas… ▽ More Context. Coronal mass ejections (CMEs) are large eruptions of magnetised plasma from the Sun that are often accompanied by solar radio bursts produced by accelerated electrons. Aims. A powerful source for accelerating electron beams are CME-driven shocks, however, there are other mechanisms capable of accelerating electrons during a CME eruption. So far, studies have relied on the traditional classification of solar radio bursts into five groups (Type I-V) based mainly on their shapes and characteristics in dynamic spectra. Here, we aim to determine the origin of moving radio bursts associated with a CME that do not fit into the present classification of the solar radio emission. Methods. By using radio imaging from the Nançay Radioheliograph, combined with observations from the Solar Dynamics Observatory, Solar and Heliospheric Observatory, and Solar Terrestrial Relations Observatory spacecraft, we investigate the moving radio bursts accompanying two subsequent CMEs on 22 May 2013. We use three-dimensional reconstructions of the two associated CME eruptions to show the possible origin of the observed radio emission. Results. We identified three moving radio bursts at unusually high altitudes in the corona that are located at the northern CME flank and move outwards synchronously with the CME. The radio bursts correspond to fine-structured emission in dynamic spectra with durations of ~1 s, and they may show forward or reverse frequency drifts. Since the CME expands closely following an earlier CME, a low coronal CME-CME interaction is likely responsible for the observed radio emission. △ Less

Submitted 1 September, 2020; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 14 pages, 13 figures

Journal ref: A&A 642, A151 (2020)

crea.blender: A Neural Network-Based Image Generation Game to Assess Creativity

Authors: Janet Rafner, Arthur Hjorth, Sebastian Risi, Lotte Philipsen, Charles Dumas, Michael Mose Biskjær, Lior Noy, Kristian Tylén, Carsten Bergenholtz, Jesse Lynch, Blanka Zana, Jacob Sherson

Abstract: We present a pilot study on crea.blender, a novel co-creative game designed for large-scale, systematic assessment of distinct constructs of human creativity. Co-creative systems are systems in which humans and computers (often with Machine Learning) collaborate on a creative task. This human-computer collaboration raises questions about the relevance and level of human creativity and involvement… ▽ More We present a pilot study on crea.blender, a novel co-creative game designed for large-scale, systematic assessment of distinct constructs of human creativity. Co-creative systems are systems in which humans and computers (often with Machine Learning) collaborate on a creative task. This human-computer collaboration raises questions about the relevance and level of human creativity and involvement in the process. We expand on, and explore aspects of these questions in this pilot study. We observe participants play through three different play modes in crea.blender, each aligned with established creativity assessment methods. In these modes, players "blend" existing images into new images under varying constraints. Our study indicates that crea.blender provides a playful experience, affords players a sense of control over the interface, and elicits different types of player behavior, supporting further study of the tool for use in a scalable, playful, creativity assessment. △ Less

Submitted 17 August, 2020; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: 4 page, 6 figures, CHI Play

Esca** a Polygon

Authors: Zachary Abel, Hugo Akitaya, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Jason S. Ku, Jayson Lynch

Abstract: Suppose an "esca**" player moves continuously at maximum speed 1 in the interior of a region, while a "pursuing" player moves continuously at maximum speed $r$ outside the region. For what $r$ can the first player escape the region, that is, reach the boundary a positive distance away from the pursuing player, assuming optimal play by both players? We formalize a model for this infinitesimally a… ▽ More Suppose an "esca**" player moves continuously at maximum speed 1 in the interior of a region, while a "pursuing" player moves continuously at maximum speed $r$ outside the region. For what $r$ can the first player escape the region, that is, reach the boundary a positive distance away from the pursuing player, assuming optimal play by both players? We formalize a model for this infinitesimally alternating 2-player game that we prove has a unique winner in any region with locally rectifiable boundary, avoiding pathological behaviors (where both players can have "winning strategies") previously identified for pursuit-evasion games such as the Lion and Man problem in certain metric spaces. For some regions, including both equilateral triangle and square, we give exact results for the critical speed ratio, above which the pursuing player can win and below which the esca** player can win (and at which the pursuing player can win). For simple polygons, we give a simple formula and polynomial-time algorithm that is guaranteed to give a 10.89898-approximation to the critical speed ratio, and we give a pseudopolynomial-time approximation scheme for arbitrarily approximating the critical speed ratio. On the negative side, we prove NP-hardness of the problem for polyhedral domains in 3D, and prove stronger results (PSPACE-hardness and NP-hardness even to approximate) for generalizations to multiple esca** and pursuing players. △ Less

Submitted 11 March, 2021; v1 submitted 17 July, 2020; originally announced July 2020.

Comments: 58 pages, 22 figures. Added figures, simplified model, fixed a proof

Labelling imaging datasets on the basis of neuroradiology reports: a validation study

Authors: David A. Wood, Sina Kafiabadi, Aisha Al Busaidi, Emily Guilhem, Jeremy Lynch, Matthew Townend, Antanas Montvila, Juveria Siddiqui, Naveen Gadapa, Matthew Benger, Gareth Barker, Sebastian Ourselin, James H. Cole, Thomas C. Booth

Abstract: Natural language processing (NLP) shows promise as a means to automate the labelling of hospital-scale neuroradiology magnetic resonance imaging (MRI) datasets for computer vision applications. To date, however, there has been no thorough investigation into the validity of this approach, including determining the accuracy of report labels compared to image labels as well as examining the performan… ▽ More Natural language processing (NLP) shows promise as a means to automate the labelling of hospital-scale neuroradiology magnetic resonance imaging (MRI) datasets for computer vision applications. To date, however, there has been no thorough investigation into the validity of this approach, including determining the accuracy of report labels compared to image labels as well as examining the performance of non-specialist labellers. In this work, we draw on the experience of a team of neuroradiologists who labelled over 5000 MRI neuroradiology reports as part of a project to build a dedicated deep learning-based neuroradiology report classifier. We show that, in our experience, assigning binary labels (i.e. normal vs abnormal) to images from reports alone is highly accurate. In contrast to the binary labels, however, the accuracy of more granular labelling is dependent on the category, and we highlight reasons for this discrepancy. We also show that downstream model performance is reduced when labelling of training reports is performed by a non-specialist. To allow other researchers to accelerate their research, we make our refined abnormality definitions and labelling rules available, as well as our easy-to-use radiology report labelling app which helps streamline this process. △ Less

Submitted 8 March, 2021; v1 submitted 8 July, 2020; originally announced July 2020.

The Coronal Global Evolutionary Model: Using HMI Vector Magnetogram and Doppler Data to Determine Coronal Magnetic Field Evolution

Authors: J. Todd Hoeksema, William P. Abbett, David J. Bercik, Mark C. M. Cheung, Marc L. DeRosa, George H. Fisher, Keiji Hayashi, Maria D. Kazachenko, Yang Liu, Erkka Lumme, Benjamin J. Lynch, Xudong Sun, Brian T. Welsch

Abstract: The Coronal Global Evolutionary Model (CGEM) provides data-driven simulations of the magnetic field in the solar corona to better understand the build-up of magnetic energy that leads to eruptive events. The CGEM project has developed six capabilities. CGEM modules (1) prepare time series of full-disk vector magnetic field observations to (2) derive the changing electric field in the solar photosp… ▽ More The Coronal Global Evolutionary Model (CGEM) provides data-driven simulations of the magnetic field in the solar corona to better understand the build-up of magnetic energy that leads to eruptive events. The CGEM project has developed six capabilities. CGEM modules (1) prepare time series of full-disk vector magnetic field observations to (2) derive the changing electric field in the solar photosphere over active-region scales. This local electric field is (3) incorporated into a surface flux transport model that reconstructs a global electric field that evolves magnetic flux in a consistent way. These electric fields drive a (4) 3D spherical magneto-frictional (SMF) model, either at high-resolution over a restricted range of solid angle or at lower resolution over a global domain, to determine the magnetic field and current density in the low corona. An SMF-generated initial field above an active region and the evolving electric field at the photosphere are used to drive (5) detailed magneto-hydrodynamic (MHD) simulations of active regions in the low corona. SMF or MHD solutions are then used to compute emissivity proxies that can be compared with coronal observations. Finally, a lower-resolution SMF magnetic field is used to initialize (6) a global MHD model that is driven by an SMF electric-field time series to simulate the outer corona and heliosphere, ultimately connecting Sun to Earth. As a demonstration, this report features results of CGEM applied to observations of the evolution of NOAA Active Region 11158 in February 2011. △ Less

Submitted 2 October, 2020; v1 submitted 25 June, 2020; originally announced June 2020.

Comments: 19 pages, 8 figures

Journal ref: Astrophysical Journal Supplement Series 250:28 (15pp), 2020 October

PSPACE-completeness of Pulling Blocks to Reach a Goal

Authors: Hayashi Ani, Sualeh Asif, Erik D. Demaine, Jenny Diomidova, Dylan Hendrickson, Jayson Lynch, Sarah Scheffler, Adam Suhl

Abstract: We prove PSPACE-completeness of all but one problem in a large space of pulling-block problems where the goal is for the agent to reach a target destination. The problems are parameterized by whether pulling is optional, the number of blocks which can be pulled simultaneously, whether there are fixed blocks or thin walls, and whether there is gravity. We show NP-hardness for the remaining proble… ▽ More We prove PSPACE-completeness of all but one problem in a large space of pulling-block problems where the goal is for the agent to reach a target destination. The problems are parameterized by whether pulling is optional, the number of blocks which can be pulled simultaneously, whether there are fixed blocks or thin walls, and whether there is gravity. We show NP-hardness for the remaining problem, Pull?-1FG (optional pulling, strength 1, fixed blocks, with gravity). △ Less

Submitted 25 February, 2022; v1 submitted 7 June, 2020; originally announced June 2020.

Comments: Full version of JCDCGGG2019 paper and now published in Journal of Information Processing 28 (2020), 22 pages, 25 figures; corrections made to Figures 10 and 15

Journal ref: Journal of Information Processing 28 (2020): 929-941

Walking through Doors is Hard, even without Staircases: Proving PSPACE-hardness via Planar Assemblies of Door Gadgets

Authors: Hayashi Ani, Jeffrey Bosboom, Erik D. Demaine, Jenny Diomidova, Dylan Hendrickson, Jayson Lynch

Abstract: A door gadget has two states and three tunnels that can be traversed by an agent (player, robot, etc.): the "open" and "close" tunnel sets the gadget's state to open and closed, respectively, while the "traverse" tunnel can be traversed if and only if the door is in the open state. We prove that it is PSPACE-complete to decide whether an agent can move from one location to another through a plan… ▽ More A door gadget has two states and three tunnels that can be traversed by an agent (player, robot, etc.): the "open" and "close" tunnel sets the gadget's state to open and closed, respectively, while the "traverse" tunnel can be traversed if and only if the door is in the open state. We prove that it is PSPACE-complete to decide whether an agent can move from one location to another through a planar assembly of such door gadgets, removing the traditional need for crossover gadgets and thereby simplifying past PSPACE-hardness proofs of Lemmings and Nintendo games Super Mario Bros., Legend of Zelda, and Donkey Kong Country. Our result holds in all but one of the possible local planar embedding of the open, close, and traverse tunnels within a door gadget; in the one remaining case, we prove NP-hardness. We also introduce and analyze a simpler type of door gadget, called the self-closing door. This gadget has two states and only two tunnels, similar to the "open" and "traverse" tunnels of doors, except that traversing the traverse tunnel also closes the door. In a variant called the symmetric self-closing door, the "open" tunnel can be traversed if and only if the door is closed. We prove that it is PSPACE-complete to decide whether an agent can move from one location to another through a planar assembly of either type of self-closing door. Then we apply this framework to prove new PSPACE-hardness results for eight different 3D Mario games and Sokobond. △ Less

Submitted 1 June, 2020; originally announced June 2020.

Comments: Accepted to FUN2020, 35 pages, 41 figures

Negative Instance for the Edge Patrolling Beacon Problem

Authors: Zachary Abel, Hugo A. Akitaya, Erik D. Demaine, Martin L. Demaine, Adam Hesterberg, Matias Korman, Jason S. Ku, Jayson Lynch

Abstract: Can an infinite-strength magnetic beacon always ``catch'' an iron ball, when the beacon is a point required to be remain nonstrictly outside a polygon, and the ball is a point always moving instantaneously and maximally toward the beacon subject to staying nonstrictly within the same polygon? Kouhestani and Rappaport [JCDCG 2017] gave an algorithm for determining whether a ball-capturing beacon st… ▽ More Can an infinite-strength magnetic beacon always ``catch'' an iron ball, when the beacon is a point required to be remain nonstrictly outside a polygon, and the ball is a point always moving instantaneously and maximally toward the beacon subject to staying nonstrictly within the same polygon? Kouhestani and Rappaport [JCDCG 2017] gave an algorithm for determining whether a ball-capturing beacon strategy exists, while conjecturing that such a strategy always exists. We disprove this conjecture by constructing orthogonal and general-position polygons in which the ball and the beacon can never be united. △ Less

Submitted 1 June, 2020; originally announced June 2020.

Comments: Full version of a JCDCGGG2018 paper, 8 pages, 4 figures

Nanosheet-stabilized emulsions: ultra-low loading segregated networks and surface energy determination of pristine few-layer 2D materials

Authors: Sean P. Ogilvie, Matthew J. Large, Adam J. Cass, Aline Amorim Graf, Anne C. Sehnal, Marcus A. O'Mara, Peter J. Lynch, Jonathan P. Salvage, Marco Alfonso, Philippe Poulin, Alice A. K. King, Alan B. Dalton

Abstract: A framework is developed to allow emulsification to be used to fabricate functional structures from, and study the properties of, pristine layered nanosheets. Liquid-exfoliated few-layer graphene and MoS2 are demonstrated to stablize emulsions which exhibit system-scale electrical conductivity at ultra-low nanosheet volume fractions. When deposited on a substrate, the controlled drying dynamics of… ▽ More A framework is developed to allow emulsification to be used to fabricate functional structures from, and study the properties of, pristine layered nanosheets. Liquid-exfoliated few-layer graphene and MoS2 are demonstrated to stablize emulsions which exhibit system-scale electrical conductivity at ultra-low nanosheet volume fractions. When deposited on a substrate, the controlled drying dynamics of these emulsions facilitates their application as inks where the lack of any coffee ring effect allows manual deposition of high conductivity films. In order to broaden the range of compositions and subsequently applications, an understanding of emulsion stability and orientation in terms of surface energy of the three phases is developed. Importantly, this model facilitates determination of the surface energies of the nanosheets themselves and subsequently allows design of emulsions. Finally, emulsification by surfactant-exfoliated nanosheets and emulsion inversion using basic solution are demonstrated to allow water-based processing where composition and orientation can be tailored to enable applications. △ Less

Submitted 13 May, 2020; originally announced May 2020.

Trains, Games, and Complexity: 0/1/2-Player Motion Planning through Input/Output Gadgets

Authors: Hayashi Ani, Erik D. Demaine, Dylan H. Hendrickson, Jayson Lynch

Abstract: We analyze the computational complexity of motion planning through local "input/output" gadgets with separate entrances and exits, and a subset of allowed traversals from entrances to exits, each of which changes the state of the gadget and thereby the allowed traversals. We study such gadgets in the zero-, one-, and two-player settings, in particular extending past motion-planning-through-gadge… ▽ More We analyze the computational complexity of motion planning through local "input/output" gadgets with separate entrances and exits, and a subset of allowed traversals from entrances to exits, each of which changes the state of the gadget and thereby the allowed traversals. We study such gadgets in the zero-, one-, and two-player settings, in particular extending past motion-planning-through-gadgets work [DGLR18, DHL20] to zero-player games for the first time, by considering "branchless" connections between gadgets that route every gadget's exit to a unique gadget's entrance. Our complexity results include containment in L, NL, P, NP, and PSPACE; as well as hardness for NL, P, NP, and PSPACE. We apply these results to show PSPACE-completeness for certain mechanics in the video games Factorio, [the Sequence], and a restricted version of Trainyard, improving the result of [ALP18a]. This work strengthens prior results on switching graphs, ARRIVAL [DGK+17], and reachability switching games [FGMS21]. △ Less

Submitted 28 May, 2023; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: 37 pages, 42 figures. Presented at WALCOM 2022. Expanded version accepted to Theoretical Computer Science

Tatamibari is NP-complete

Authors: Aviv Adler, Jeffrey Bosboom, Erik D. Demaine, Martin L. Demaine, Quanquan C. Liu, Jayson Lynch

Abstract: In the Nikoli pencil-and-paper game Tatamibari, a puzzle consists of an $m \times n$ grid of cells, where each cell possibly contains a clue among +, -, |. The goal is to partition the grid into disjoint rectangles, where every rectangle contains exactly one clue, rectangles containing + are square, rectangles containing - are strictly longer horizontally than vertically, rectangles containing | a… ▽ More In the Nikoli pencil-and-paper game Tatamibari, a puzzle consists of an $m \times n$ grid of cells, where each cell possibly contains a clue among +, -, |. The goal is to partition the grid into disjoint rectangles, where every rectangle contains exactly one clue, rectangles containing + are square, rectangles containing - are strictly longer horizontally than vertically, rectangles containing | are strictly longer vertically than horizontally, and no four rectangles share a corner. We prove this puzzle NP-complete, establishing a Nikoli gap of 16 years. Along the way, we introduce a gadget framework for proving hardness of similar puzzles involving area coverage, and show that it applies to an existing NP-hardness proof for Spiral Galaxies. We also present a mathematical puzzle font for Tatamibari. △ Less

Submitted 7 May, 2020; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: 26 pages, 21 figures. New discussion of safe placement of wires in Sections 3.2 and 3.5. To appear at the 10th International Conference on Fun with Algorithms (FUN 2020)

The nature of a primary jet within a circumbinary disc outflow in a young stellar system

Authors: Chris J. R. Lynch, Michael D. Smith

Abstract: Most stars form in binaries, and both stars may grow by accreting material from a circumbinary disc onto their personal discs. We suspect that in many cases a wide molecular wind will envelope a collimated atomic jet emanating from close to an orbiting young star. This so-called Circumbinary Scenario is explored here in order to find common identifiable properties. The dynamical set up is studied… ▽ More Most stars form in binaries, and both stars may grow by accreting material from a circumbinary disc onto their personal discs. We suspect that in many cases a wide molecular wind will envelope a collimated atomic jet emanating from close to an orbiting young star. This so-called Circumbinary Scenario is explored here in order to find common identifiable properties. The dynamical set up is studied with three dimensional simulations with chemistry and cooling included. We extract the properties on scales of order 100\,AU and compare to the Co-Orbital Scenario in which the wind and jet sources are in orbit. We find that the rapid orbital motion generates a wide ionised sheath around the jet core with a large opening angle at the base. This is independent of the presence of the surrounding molecular outflow. However, the atomic jet is recollimated beyond ~ 55 AU when the molecular outflow restricts the motion of the ambient medium which, in turn, confines the jet. These physical properties are relayed to the optical H-alpha imaging, providing a means of distinguishing between models. The high excitation sheath and recollimation region can be explored on these scales through the next generation of instruments. However, in general, the amount and location of the ionised material, whether in the knots or the sheath, will depend on several parameters including the orbital period, axis alignment and pulse amplitude. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Comments: 12 pages, 13 figures, submitted to MNRAS

Automated Labelling using an Attention model for Radiology reports of MRI scans (ALARM)

Authors: David A. Wood, Jeremy Lynch, Sina Kafiabadi, Emily Guilhem, Aisha Al Busaidi, Antanas Montvila, Thomas Varsavsky, Juveria Siddiqui, Naveen Gadapa, Matthew Townend, Martin Kiik, Keena Patel, Gareth Barker, Sebastian Ourselin, James H. Cole, Thomas C. Booth

Abstract: Labelling large datasets for training high-capacity neural networks is a major obstacle to the development of deep learning-based medical imaging applications. Here we present a transformer-based network for magnetic resonance imaging (MRI) radiology report classification which automates this task by assigning image labels on the basis of free-text expert radiology reports. Our model's performance… ▽ More Labelling large datasets for training high-capacity neural networks is a major obstacle to the development of deep learning-based medical imaging applications. Here we present a transformer-based network for magnetic resonance imaging (MRI) radiology report classification which automates this task by assigning image labels on the basis of free-text expert radiology reports. Our model's performance is comparable to that of an expert radiologist, and better than that of an expert physician, demonstrating the feasibility of this approach. We make code available online for researchers to label their own MRI datasets for medical imaging applications. △ Less

Submitted 16 February, 2020; originally announced February 2020.

Recursed is not Recursive: A Jarring Result

Authors: Erik Demaine, Justin Kopinsky, Jayson Lynch

Abstract: Recursed is a 2D puzzle platform video game featuring treasure chests that, when jumped into, instantiate a room that can later be exited (similar to function calls), optionally generating a jar that returns back to that room (similar to continuations). We prove that Recursed is RE-complete and thus undecidable (not recursive) by a reduction from the Post Correspondence Problem. Our reduction is "… ▽ More Recursed is a 2D puzzle platform video game featuring treasure chests that, when jumped into, instantiate a room that can later be exited (similar to function calls), optionally generating a jar that returns back to that room (similar to continuations). We prove that Recursed is RE-complete and thus undecidable (not recursive) by a reduction from the Post Correspondence Problem. Our reduction is "practical": the reduction from PCP results in fully playable levels that abide by all constraints governing levels (including the 15x20 room size) designed for the main game. Our reduction is also "efficient": a Turing machine can be simulated by a Recursed level whose size is linear in the encoding size of the Turing machine and whose solution length is polynomial in the running time of the Turing machine. △ Less

Submitted 7 May, 2020; v1 submitted 12 February, 2020; originally announced February 2020.

Comments: Submitted to MFCS2020, 21 pages

Measuring the Utilization of Public Open Spaces by Deep Learning: a Benchmark Study at the Detroit Riverfront

Authors: Peng Sun, Rui Hou, Jerome Lynch

Abstract: Physical activities and social interactions are essential activities that ensure a healthy lifestyle. Public open spaces (POS), such as parks, plazas and greenways, are key environments that encourage those activities. To evaluate a POS, there is a need to study how humans use the facilities within it. However, traditional approaches to studying use of POS are manual and therefore time and labor i… ▽ More Physical activities and social interactions are essential activities that ensure a healthy lifestyle. Public open spaces (POS), such as parks, plazas and greenways, are key environments that encourage those activities. To evaluate a POS, there is a need to study how humans use the facilities within it. However, traditional approaches to studying use of POS are manual and therefore time and labor intensive. They also may only provide qualitative insights. It is appealing to make use of surveillance cameras and to extract user-related information through computer vision. This paper proposes a proof-of-concept deep learning computer vision framework for measuring human activities quantitatively in POS and demonstrates a case study of the proposed framework using the Detroit Riverfront Conservancy (DRFC) surveillance camera network. A custom image dataset is presented to train the framework; the dataset includes 7826 fully annotated images collected from 18 cameras across the DRFC park space under various illumination conditions. Dataset analysis is also provided as well as a baseline model for one-step user localization and activity recognition. The mAP results are 77.5\% for {\it pedestrian} detection and 81.6\% for {\it cyclist} detection. Behavioral maps are autonomously generated by the framework to locate different POS users and the average error for behavioral localization is within 10 cm. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Exploratory data analysis for large-scale multiple testing problems and its application in gene expression studies

Authors: Paramita Chakraborty, Chong Ma, John Grego, James Lynch

Abstract: In large scale multiple testing problems, a two-class empirical Bayes approach can be used to control the false discovery rate (Fdr) for the entire array of hypotheses under study. A sample splitting step is incorporated to modify that approach where one part of the data is used for model fitting and the other part for detecting the significant cases by a screening technique featuring the empirica… ▽ More In large scale multiple testing problems, a two-class empirical Bayes approach can be used to control the false discovery rate (Fdr) for the entire array of hypotheses under study. A sample splitting step is incorporated to modify that approach where one part of the data is used for model fitting and the other part for detecting the significant cases by a screening technique featuring the empirical Bayes mode of Fdr control. Cases with high detection frequency across repeated random sample splits are considered true discoveries. A critical detection frequency is set to control the overall false discovery rate. The proposed method helps to balance out unwanted sources of variation and addresses potential statistical overfitting of the core empirical model by cross-validation through resampling. Further, concurrent detection frequencies are used to provide visual tools to explore the inter-relationship between significant cases. The methodology is illustrated using a microarray data set, RNA-sequencing data set, and several simulation studies. A power analysis is presented to understand the efficiency of the proposed method. △ Less

Submitted 12 December, 2019; originally announced December 2019.

Extended radio emission associated with a breakout eruption from the back side of the Sun

Authors: D. E. Morosan, E. Palmerio, B. J. Lynch, E. K. J. Kilpua

Abstract: Context. Coronal mass ejections (CMEs) on the Sun are the largest explosions in the Solar System that can drive powerful plasma shocks. The eruptions, shocks, and other processes associated to CMEs are efficient particle accelerators and the accelerated electrons in particular can produce radio bursts through the plasma emission mechanism. Aims. Coronal mass ejections and associated radio bursts h… ▽ More Context. Coronal mass ejections (CMEs) on the Sun are the largest explosions in the Solar System that can drive powerful plasma shocks. The eruptions, shocks, and other processes associated to CMEs are efficient particle accelerators and the accelerated electrons in particular can produce radio bursts through the plasma emission mechanism. Aims. Coronal mass ejections and associated radio bursts have been well studied in cases where the CME originates close to the solar limb or within the frontside disc. Here, we study the radio emission associated with a CME eruption on the back side of the Sun on 22 July 2012. Methods. Using radio imaging from the Nançay Radioheliograph, spectroscopic data from the Nançay Decametric Array, and extreme-ultraviolet observations from the Solar Dynamics Observatory and Solar Terrestrial Relations Observatory spacecraft, we determine the nature of the observed radio emission as well as the location and propagation of the CME. Results. We show that the observed low-intensity radio emission corresponds to a type II radio burst or a short-duration type IV radio burst associated with a CME eruption due to breakout reconnection on the back side of the Sun, as suggested by the pre-eruptive magnetic field configuration. The radio emission consists of a large, extended structure, initially located ahead of the CME, that corresponds to various electron acceleration locations. Conclusions. The observations presented here are consistent with the breakout model of CME eruptions. The extended radio emission coincides with the location of the current sheet and quasi-separatrix boundary of the CME flux and the overlying helmet streamer and also with that of a large shock expected to form ahead of the CME in this configuration. △ Less

Submitted 12 December, 2019; originally announced December 2019.

Comments: 7 pages, 5 figures

Journal ref: A&A 633, A141 (2020)

Real-Time Panoptic Segmentation from Dense Detections

Authors: Rui Hou, Jie Li, Arjun Bhargava, Allan Raventos, Vitor Guizilini, Chao Fang, Jerome Lynch, Adrien Gaidon

Abstract: Panoptic segmentation is a complex full scene parsing task requiring simultaneous instance and semantic segmentation at high resolution. Current state-of-the-art approaches cannot run in real-time, and simplifying these architectures to improve efficiency severely degrades their accuracy. In this paper, we propose a new single-shot panoptic segmentation network that leverages dense detections and… ▽ More Panoptic segmentation is a complex full scene parsing task requiring simultaneous instance and semantic segmentation at high resolution. Current state-of-the-art approaches cannot run in real-time, and simplifying these architectures to improve efficiency severely degrades their accuracy. In this paper, we propose a new single-shot panoptic segmentation network that leverages dense detections and a global self-attention mechanism to operate in real-time with performance approaching the state of the art. We introduce a novel parameter-free mask construction method that substantially reduces computational complexity by efficiently reusing information from the object detection and semantic segmentation sub-tasks. The resulting network has a simple data flow that does not require feature map re-sampling or clustering post-processing, enabling significant hardware acceleration. Our experiments on the Cityscapes and COCO benchmarks show that our network works at 30 FPS on 1024x2048 resolution, trading a 3% relative performance degradation from the current state of the art for up to 440% faster inference. △ Less

Submitted 3 April, 2020; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: 12 pages, 6 figures

Binary outflows from young stars: interaction of co-orbital jet and wind

Authors: Chris J. R. Lynch, Michael D. Smith, Simon C. O. Glover

Abstract: Jets from young stellar objects provide insight into the workings of the beating heart at the centre of star forming cores. In some cases, multiple pulsed outflows are detected such as the atomic and molecular jets from a proposed binary system in the T\,Tauri star HH30. We investigate here the development and propagation of duelling atomic and molecular outflows stemming from the two stars in co-… ▽ More Jets from young stellar objects provide insight into the workings of the beating heart at the centre of star forming cores. In some cases, multiple pulsed outflows are detected such as the atomic and molecular jets from a proposed binary system in the T\,Tauri star HH30. We investigate here the development and propagation of duelling atomic and molecular outflows stemming from the two stars in co-orbit. We perform a series of numerical experiments with the {\small ZEUS-MP} code with enhanced cooling and chemistry modules. The aim of this work is to identify signatures on scales of order 100 AU. The jet sources are off the grid domain and so it is the propagation and interaction from ~ 20AU out to 100\,AU simulated here. We find that the molecular flow from the orbiting source significantly disturbs the atomic jet, deflecting and twisting the jet and disrupting the jet knots. Regions of high ionisation are generated as the atomic jet rams through the dense molecular outflow. Synthetic images in atomic and molecular lines are presented which demonstrate identifying signatures. In particular, the structure within the atomic jet is lost and H-alpha may trace the walls of the present CO cavity or where the walls have been recently. These results provide a framework for the interpretation of upcoming high resolution observations. △ Less

Submitted 29 October, 2019; originally announced October 2019.

Comments: 20 page, 16 figures

Hamiltonicity in Semi-Regular Tessellation Dual Graphs

Authors: Divya Gopinath, Rohan Kodialam, Kevin Lu, Jayson Lynch, Santiago Ospina

Abstract: This paper shows NP-completeness for finding Hamiltonian cycles in induced subgraphs of the dual graphs of semi-regular tessilations. It also shows NP-hardness for a new, wide class of graphs called augmented square grids. This work follows up on prior studies of the complexity of finding Hamiltonian cycles in regular and semi-regular grid graphs. This paper shows NP-completeness for finding Hamiltonian cycles in induced subgraphs of the dual graphs of semi-regular tessilations. It also shows NP-hardness for a new, wide class of graphs called augmented square grids. This work follows up on prior studies of the complexity of finding Hamiltonian cycles in regular and semi-regular grid graphs. △ Less

Submitted 30 September, 2019; originally announced September 2019.

The Soft Landing Problem: Minimizing Energy Loss by a Legged Robot Impacting Yielding Terrain

Authors: Daniel J. Lynch, Kevin M. Lynch, Paul B. Umbanhowar

Abstract: Enabling robots to walk and run on yielding terrain is increasingly vital to endeavors ranging from disaster response to extraterrestrial exploration. While dynamic legged locomotion on rigid ground is challenging enough, yielding terrain presents additional challenges such as permanent ground deformation which dissipates energy. In this paper, we examine the soft landing problem: given some impac… ▽ More Enabling robots to walk and run on yielding terrain is increasingly vital to endeavors ranging from disaster response to extraterrestrial exploration. While dynamic legged locomotion on rigid ground is challenging enough, yielding terrain presents additional challenges such as permanent ground deformation which dissipates energy. In this paper, we examine the soft landing problem: given some impact momentum, bring the robot to rest while minimizing foot penetration depth. To gain insight into properties of penetration depth-minimizing control policies, we formulate a constrained optimal control problem and obtain a bang-bang open-loop force profile. Motivated by examples from biology and recent advances in legged robotics, we also examine impedance-control solutions to the dimensionless soft landing problem. Through simulations, we find that optimal impedance reduces penetration depth nearly as much as the open-loop force profile, while remaining robust to model uncertainty. Through simulations and experiments, we find that the solution space is rich, exhibiting qualitatively different relationships between impact velocity and the optimal impedance for small and large dimensionless impact velocities. Lastly, we discuss the relevance of this work to minimum-cost-of-transport locomotion for several actuator design choices. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Modeling a Carrington-scale Stellar Superflare and Coronal Mass Ejection from $κ^{1}Cet$

Authors: Benjamin J. Lynch, Vladimir S. Airapetian, C. Richard DeVore, Maria D. Kazachenko, Teresa Lüftinger, Oleg Kochukhov, Lisa Rosén, William P. Abbett

Abstract: Observations from the Kepler mission have revealed frequent superflares on young and active solar-like stars. Superflares result from the large-scale restructuring of stellar magnetic fields, and are associated with the eruption of coronal material (a coronal mass ejection, or CME) and energy release that can be orders of magnitude greater than those observed in the largest solar flares. These cat… ▽ More Observations from the Kepler mission have revealed frequent superflares on young and active solar-like stars. Superflares result from the large-scale restructuring of stellar magnetic fields, and are associated with the eruption of coronal material (a coronal mass ejection, or CME) and energy release that can be orders of magnitude greater than those observed in the largest solar flares. These catastrophic events, if frequent, can significantly impact the potential habitability of terrestrial exoplanets through atmospheric erosion or intense radiation exposure at the surface. We present results from numerical modeling designed to understand how an eruptive superflare from a young solar-type star, $κ^{1}Cet$, could occur and would impact its astrospheric environment. Our data-inspired, three-dimensional magnetohydrodynamic modeling shows that global-scale shear concentrated near the radial-field polarity inversion line can energize the closed-field stellar corona sufficiently to power a global, eruptive superflare that releases approximately the same energy as the extreme 1859 Carrington event from the Sun. We examine proxy measures of synthetic emission during the flare and estimate the observational signatures of our CME-driven shock, both of which could have extreme space-weather impacts on the habitability of any Earth-like exoplanets. We also speculate that the observed 1986 Robinson-Bopp superflare from $κ^{1}Cet$ was perhaps as extreme for that star as the Carrington flare was for the Sun. △ Less

Submitted 30 July, 2019; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: 16 pages, 12 figures, accepted for publication in ApJ

Journal ref: Astrophys. J., 880, 97, 2019