Showing 1–16 of 16 results for author: Mason, I

Planet Hunters TESS V: a planetary system around a binary star, including a mini-Neptune in the habitable zone

Authors: Nora L. Eisner, Samuel K. Grunblatt, Oscar Barragán, Thea H. Faridani, Chris Lintott, Suzanne Aigrain, Cole Johnston, Ian R. Mason, Keivan G. Stassun, Megan Bedell, Andrew W. Boyle, David R. Ciardi, Catherine A. Clark, Guillaume Hebrard, David W. Hogg, Steve B. Howell, Baptiste Klein, Joe Llama, Joshua N. Winn, Lily L. Zhao, Joseph M. Akana Murphy, Corey Beard, Casey L. Brinkman, Ashley Chontos, Pia Cortes-Zuleta , et al. (39 additional authors not shown)

Abstract: We report on the discovery and validation of a transiting long-period mini-Neptune orbiting a bright (V = 9.0 mag) G dwarf (TOI 4633; R = 1.05 RSun, M = 1.10 MSun). The planet was identified in data from the Transiting Exoplanet Survey Satellite by citizen scientists taking part in the Planet Hunters TESS project. Modeling of the transit events yields an orbital period of 271.9445 +/- 0.0040 days… ▽ More We report on the discovery and validation of a transiting long-period mini-Neptune orbiting a bright (V = 9.0 mag) G dwarf (TOI 4633; R = 1.05 RSun, M = 1.10 MSun). The planet was identified in data from the Transiting Exoplanet Survey Satellite by citizen scientists taking part in the Planet Hunters TESS project. Modeling of the transit events yields an orbital period of 271.9445 +/- 0.0040 days and radius of 3.2 +/- 0.20 REarth. The Earth-like orbital period and an incident flux of 1.56 +/- 0.2 places it in the optimistic habitable zone around the star. Doppler spectroscopy of the system allowed us to place an upper mass limit on the transiting planet and revealed a non-transiting planet candidate in the system with a period of 34.15 +/- 0.15 days. Furthermore, the combination of archival data dating back to 1905 with new high angular resolution imaging revealed a stellar companion orbiting the primary star with an orbital period of around 230 years and an eccentricity of about 0.9. The long period of the transiting planet, combined with the high eccentricity and close approach of the companion star makes this a valuable system for testing the formation and stability of planets in binary systems. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 24 pages, 16 figures, 4 tables

Journal ref: Published in AJ, 2024

Towards immersive generosity: The need for a novel framework to explore large audiovisual archives through embodied experiences in immersive environments

Authors: Giacomo Alliata, Sarah Kenderdine, Lily Hibberd, Ingrid Mason

Abstract: This article proposes an innovative framework to explore large audiovisual archives using Immersive Environments to place users inside a dataset and create an embodied experience. It starts by outlining the need for such a novel interface to meet the needs of archival scholars and the GLAM sector, and discusses issues in the current modes of access, mostly restrained to traditional information ret… ▽ More This article proposes an innovative framework to explore large audiovisual archives using Immersive Environments to place users inside a dataset and create an embodied experience. It starts by outlining the need for such a novel interface to meet the needs of archival scholars and the GLAM sector, and discusses issues in the current modes of access, mostly restrained to traditional information retrieval systems based on metadata. The paper presents the concept of ``generous interfaces" as a preliminary approach to address these issues, and argues some of the key reasons why employing Immersive Visual Storytelling might benefit such frameworks. The theory of embodiment is leveraged to justify this claim, showing how a more embodied understanding of a collection can result in a stronger engagement for the public. By placing users as actors in the experience rather than mere spectators, the emergence of narrative is driven by their interactions, with benefits in terms of engagement with the public and understanding of the cultural component. The framework we propose is applied to two existing installations to analyze them in-depth and critique them, highlighting the key directions to pursue for further development. △ Less

Submitted 10 October, 2023; originally announced October 2023.

Comments: This is the pre-published version (after peer-review)

Journal ref: PRESENCE: Virtual and Augmented Reality (2021) Volume 30

Global MHD Simulations of the Time-Dependent Corona

Authors: Roberto Lionello, Cooper Downs, Emily I. Mason, Jon A. Linker, Ronald M. Caplan, Pete Riley, Viacheslav S. Titov, Marc L. DeRosa

Abstract: We describe, test, and apply a technique to incorporate full-sun, surface flux evolution into an MHD model of the global solar corona. Requiring only maps of the evolving surface flux, our method is similar to that of Lionello et al. (2013), but we introduce two ways to correct the electric field at the lower boundary to mitigate spurious currents. We verify the accuracy of our procedures by compa… ▽ More We describe, test, and apply a technique to incorporate full-sun, surface flux evolution into an MHD model of the global solar corona. Requiring only maps of the evolving surface flux, our method is similar to that of Lionello et al. (2013), but we introduce two ways to correct the electric field at the lower boundary to mitigate spurious currents. We verify the accuracy of our procedures by comparing to a reference simulation, driven with known flows and electric fields. We then present a thermodynamic MHD calculation lasting one solar rotation driven by maps from the magnetic flux evolution model of Schrijver & DeRosa (2003). The dynamic, time-dependent nature of the model corona is illustrated by examining the evolution of the open flux boundaries and forward modeled EUV emission, which evolve in response to surface flows and the emergence and cancellation flux. Although our main goal is to present the method, we briefly investigate the relevance of this evolution to properties of the slow solar wind, examining the map** of dipped field lines to the topological signatures of the "S-Web" and comparing charge state ratios computed in the time-dependently driven run to a steady state equivalent. Interestingly, we find that driving on its own does not significantly improve the charge states ratios, at least in this modest resolution run that injects minimal helicity. Still, many aspects of the time-dependently driven model cannot be captured with traditional steady-state methods, and such a technique may be particularly relevant for the next generation of solar wind and CME models. △ Less

Submitted 10 October, 2023; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: Accepted for publication on ApJ

Time-Dependent Dynamics of the Corona

Authors: Emily I. Mason, Roberto Lionello, Cooper Downs, Jon A. Linker, Ronald M. Caplan

Abstract: We present in this Letter the first global comparison between traditional line-tied steady state magnetohydrodynamic models and a new, fully time-dependent thermodynamic magnetohydrodynamic simulation of the global corona. The maps are scaled to the approximate field distributions and magnitudes around solar minimum using the Lockheed Evolving Surface-Flux Assimilation Model to incorporate flux em… ▽ More We present in this Letter the first global comparison between traditional line-tied steady state magnetohydrodynamic models and a new, fully time-dependent thermodynamic magnetohydrodynamic simulation of the global corona. The maps are scaled to the approximate field distributions and magnitudes around solar minimum using the Lockheed Evolving Surface-Flux Assimilation Model to incorporate flux emergence and surface flows over a full solar rotation, and include differential rotation and meridional flows. Each time step evolves the previous state of the plasma with a new magnetic field input boundary condition. We find that this method is a significant improvement over steady-state models, as it closely mimics the constant photospheric driving on the Sun. The magnetic energy levels are higher in the time-dependent model, and coronal holes evolve more along the following edge than they do in steady-state models. Coronal changes, as illustrated with forward-modeled emission maps, evolve on longer timescales with time-dependent driving. We discuss implications for active and quiet Sun scenarios, solar wind formation, and widely-used steady state assumptions like potential field source surface calculations. △ Less

Submitted 20 June, 2023; originally announced June 2023.

Comments: 9 pages, 4 figures

Modularity Trumps Invariance for Compositional Robustness

Authors: Ian Mason, Anirban Sarkar, Tomotake Sasaki, Xavier Boix

Abstract: By default neural networks are not robust to changes in data distribution. This has been demonstrated with simple image corruptions, such as blurring or adding noise, degrading image classification performance. Many methods have been proposed to mitigate these issues but for the most part models are evaluated on single corruptions. In reality, visual space is compositional in nature, that is, that… ▽ More By default neural networks are not robust to changes in data distribution. This has been demonstrated with simple image corruptions, such as blurring or adding noise, degrading image classification performance. Many methods have been proposed to mitigate these issues but for the most part models are evaluated on single corruptions. In reality, visual space is compositional in nature, that is, that as well as robustness to elemental corruptions, robustness to compositions of corruptions is also needed. In this work we develop a compositional image classification task where, given a few elemental corruptions, models are asked to generalize to compositions of these corruptions. That is, to achieve compositional robustness. We experimentally compare empirical risk minimization with an invariance building pairwise contrastive loss and, counter to common intuitions in domain generalization, achieve only marginal improvements in compositional robustness by encouraging invariance. To move beyond invariance, following previously proposed inductive biases that model architectures should reflect data structure, we introduce a modular architecture whose structure replicates the compositional nature of the task. We then show that this modular approach consistently achieves better compositional robustness than non-modular approaches. We additionally find empirical evidence that the degree of invariance between representations of 'in-distribution' elemental corruptions fails to correlate with robustness to 'out-of-distribution' compositions of corruptions. △ Less

Submitted 15 June, 2023; originally announced June 2023.

Small Platforms, High Return: The Need to Enhance Investment in Small Satellites for Focused Science, Career Development, and Improved Equity

Authors: James Paul Mason, Robert G. Begbie, Maitland Bowen, Amir Caspi, Phillip C. Chamberlin, Amal Chandran, Ian Cohen, Edward E. DeLuca, Alfred G. de Wijn, Karin Dissauer, Francis Eparvier, Rachael Filwett, Sarah Gibson, Chris R. Gilly, Vicki Herde, George Ho, George Hospodarsky, Allison Jaynes, Andrew R. Jones, Justin C. Kasper, Rick Kohnert, Zoe Lee, E. I. Mason, Aimee Merkel, Rafael Mesquita , et al. (11 additional authors not shown)

Abstract: In the next decade, there is an opportunity for very high return on investment of relatively small budgets by elevating the priority of smallsat funding in heliophysics. We've learned in the past decade that these missions perform exceptionally well by traditional metrics, e.g., papers/year/\$M (Spence et al. 2022 -- arXiv:2206.02968). It is also well established that there is a "leaky pipeline" r… ▽ More In the next decade, there is an opportunity for very high return on investment of relatively small budgets by elevating the priority of smallsat funding in heliophysics. We've learned in the past decade that these missions perform exceptionally well by traditional metrics, e.g., papers/year/\$M (Spence et al. 2022 -- arXiv:2206.02968). It is also well established that there is a "leaky pipeline" resulting in too little diversity in leadership positions (see the National Academies Report at https://www.nationalacademies.org/our-work/increasing-diversity-in-the-leadership-of-competed-space-missions). Prioritizing smallsat funding would significantly increase the number of opportunities for new leaders to learn -- a crucial patch for the pipeline and an essential phase of career development. At present, however, there are far more proposers than the available funding can support, leading to selection ratios that can be as low as 6% -- in the bottom 0.5th percentile of selection ratios across the history of ROSES. Prioritizing SmallSat funding and substantially increasing that selection ratio are the fundamental recommendations being made by this white paper. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: White paper submitted to the Decadal Survey for Solar and Space Physics (Heliophysics) 2024-2033; 6 pages, 1 figure

Journal ref: Bulletin of the AAS, Vol. 55, Issue 3, Whitepaper #268 (6pp); 2023 July 31

Deephys: Deep Electrophysiology, Debugging Neural Networks under Distribution Shifts

Authors: Anirban Sarkar, Matthew Groth, Ian Mason, Tomotake Sasaki, Xavier Boix

Abstract: Deep Neural Networks (DNNs) often fail in out-of-distribution scenarios. In this paper, we introduce a tool to visualize and understand such failures. We draw inspiration from concepts from neural electrophysiology, which are based on inspecting the internal functioning of a neural networks by analyzing the feature tuning and invariances of individual units. Deep Electrophysiology, in short Deephy… ▽ More Deep Neural Networks (DNNs) often fail in out-of-distribution scenarios. In this paper, we introduce a tool to visualize and understand such failures. We draw inspiration from concepts from neural electrophysiology, which are based on inspecting the internal functioning of a neural networks by analyzing the feature tuning and invariances of individual units. Deep Electrophysiology, in short Deephys, provides insights of the DNN's failures in out-of-distribution scenarios by comparative visualization of the neural activity in in-distribution and out-of-distribution datasets. Deephys provides seamless analyses of individual neurons, individual images, and a set of set of images from a category, and it is capable of revealing failures due to the presence of spurious features and novel features. We substantiate the validity of the qualitative visualizations of Deephys thorough quantitative analyses using convolutional and transformers architectures, in several datasets and distribution shifts (namely, colored MNIST, CIFAR-10 and ImageNet). △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 12 pages, 8 figures

The Equilibrium of Coronal Loops Near Separatrices

Authors: Emily I Mason, Spiro K Antiochos, Stephen Bradshaw

Abstract: We present numerical models from the field-aligned Hydrodynamics and Radiation Code (HYDRAD) of a highly asymmetric closed coronal loop with near-singular expansion factor. This loop was chosen to simulate a coronal magnetic flux tube that passes close to a null point, as in the last set of closed loops under the fan surface of a coronal jet or a pseudostreamer. The loop has a very large cross-sec… ▽ More We present numerical models from the field-aligned Hydrodynamics and Radiation Code (HYDRAD) of a highly asymmetric closed coronal loop with near-singular expansion factor. This loop was chosen to simulate a coronal magnetic flux tube that passes close to a null point, as in the last set of closed loops under the fan surface of a coronal jet or a pseudostreamer. The loop has a very large cross-section localized near the coronal null. The coronal heating was assumed to be uniform and steady. A siphon flow establishes itself within 4 hours of simulation time, flowing from the smaller-area footpoint to the larger-area footpoint, with high initial speeds drop** rapidly as the plasma approaches the null region. Observationally, this would translate to strong upflows on the order of 10 km s$^{-1}$ from the footpoint rooted in the localized minority polarity, and weak downflows from the fan-surface footpoint on the order of a few km s$^{-1}$, along with near stationary plasma near the null region. We present the model results for two heating rates. In addition, we analyzed analogous Hinode EIS observations of null-point topologies, which show associated Doppler shifts in the plasma that correlate well with the simulation results in both direction and magnitude of the bulk velocity. We discuss the implications of our results for determining observationally the topology of the coronal magnetic field. △ Less

Submitted 16 December, 2022; originally announced December 2022.

Comments: 14 pages, 5 figures

To Rain or Not to Rain: Correlating GOES Flare Class and Coronal Rain Statistics

Authors: Emily I. Mason, Kara L. Kniezewski

Abstract: Post-flare arcades are well-known components of solar flare evolution, which have been observed for several decades. Coronal rain, cascades of catastrophically-cooled plasma, outline the loops and provide eye-catching evidence of the recent flare. These events are acknowledged to be common, but the scientific literature does not include any statistical overview documenting just how common the phen… ▽ More Post-flare arcades are well-known components of solar flare evolution, which have been observed for several decades. Coronal rain, cascades of catastrophically-cooled plasma, outline the loops and provide eye-catching evidence of the recent flare. These events are acknowledged to be common, but the scientific literature does not include any statistical overview documenting just how common the phenomenon actually is. This study reviews Solar Dynamics Observatory Atmospheric Imaging Assembly (SDO AIA) observations of 241 flares collected from the Space Weather Prediction Center (SWPC) database between 2011 and 2018. The flares cover the entire strength range of the C, M, and X GOES classes, and are distributed evenly across the SDO-observed majority of Solar Cycle 24. We find that post-flare arcade rain occurs for nearly all X and most M-class flares, but that it tapers off rapidly within C-class flares. There appears to be a cut-off point around C5, below which the occurrence of post-flare arcade rain drops significantly. There is also a general positive correlation between GOES class and the average duration of post-flare rain events. Post-flare arcade rain events in C-class flares appear to track with the sunspot number, providing a potential new tool for estimating, if not predicting, solar cycle strength. Furthermore, condensations appear to be suppressed in the shortest-length arcade loops of any class observed, suggesting that active region heating is height-constrained. These results open up further avenues for future research, including new methods to estimate energy deposition and to gain greater insight into steady active region heating. △ Less

Submitted 22 September, 2022; originally announced September 2022.

Statistical Evidence for Small-Scale Interchange Reconnection at a Coronal Hole Boundary

Authors: Emily I. Mason, Vadim M. Uritsky

Abstract: Much of coronal hole (CH) research is focused upon determining the boundary and calculating the open flux as accurately as possible. However, the observed boundary itself is worthy of investigation, and holds important clues to the physics transpiring at the interface between the open and closed fields. This Letter reports a powerful new method, an application of the correlation integral which we… ▽ More Much of coronal hole (CH) research is focused upon determining the boundary and calculating the open flux as accurately as possible. However, the observed boundary itself is worthy of investigation, and holds important clues to the physics transpiring at the interface between the open and closed fields. This Letter reports a powerful new method, an application of the correlation integral which we call correlation dimension map** (CDM), by which the irregularity of a CH boundary can be objectively quantified. This method highlights the most important spatial scales involved in boundary dynamics, and also allows for easy temporal analysis of the boundary. We apply this method to an equatorial CH bounded on two sides by helmet streamers and on the third by a small pseudostreamer, which we observed at maximum cadence for an hour on 2015 June 4. We argue that the relevant spatial scales are in the range of $\sim 5-20$ Mm, and we find that boundary complexity depends measurably upon the nature of the neighboring closed structure. The boundary along the pseudostreamer shows signs of highly-localized, intermittent complexity variability, likely associated with abrupt changes in the magnetic topology, which would be elegantly explained by interchange reconnection. By contrast, the helmet streamer boundary supports long-lived high-complexity regions. These findings support the recent predictions of interchange reconnection occurring at very small scales in the corona. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Comments: 10 pages, 5 figures

Real-Time Style Modelling of Human Locomotion via Feature-Wise Transformations and Local Motion Phases

Authors: Ian Mason, Sebastian Starke, Taku Komura

Abstract: Controlling the manner in which a character moves in a real-time animation system is a challenging task with useful applications. Existing style transfer systems require access to a reference content motion clip, however, in real-time systems the future motion content is unknown and liable to change with user input. In this work we present a style modelling system that uses an animation synthesis… ▽ More Controlling the manner in which a character moves in a real-time animation system is a challenging task with useful applications. Existing style transfer systems require access to a reference content motion clip, however, in real-time systems the future motion content is unknown and liable to change with user input. In this work we present a style modelling system that uses an animation synthesis network to model motion content based on local motion phases. An additional style modulation network uses feature-wise transformations to modulate style in real-time. To evaluate our method, we create and release a new style modelling dataset, 100STYLE, containing over 4 million frames of stylised locomotion data in 100 different styles that present a number of challenges for existing systems. To model these styles, we extend the local phase calculation with a contact-free formulation. In comparison to other methods for real-time style modelling, we show our system is more robust and efficient in its style representation while improving motion quality. △ Less

Submitted 12 January, 2022; originally announced January 2022.

An Analysis of Spikes in Atmospheric Imaging Assembly (AIA) Data

Authors: Peter R. Young, Nicholeen M. Viall, Michael S. Kirk, Emily I. Mason, Lakshmi Pradeep Chitta

Abstract: The Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) returns high-resolution images of the solar atmosphere in seven extreme ultraviolet (EUV) wavelength channels. The images are processed on the ground to remove intensity spikes arising from energetic particles hitting the instrument, and the despiked images are provided to the community. In this article a three-hou… ▽ More The Atmospheric Imaging Assembly (AIA) onboard the Solar Dynamics Observatory (SDO) returns high-resolution images of the solar atmosphere in seven extreme ultraviolet (EUV) wavelength channels. The images are processed on the ground to remove intensity spikes arising from energetic particles hitting the instrument, and the despiked images are provided to the community. In this article a three-hour series of images from the 171 A channel obtained on 28 February 2017 was studied to investigate how often the despiking algorithm gave false positives caused by compact brightenings in the solar atmosphere. The latter were identified through spikes appearing in the same detector pixel for three consecutive frames. 1096 examples were found from the 900 image frames. These "three-spikes" were assigned to 126 dynamic solar features, and it is estimated that the three-spike method identifies 20% of the total number of features affected by despiking. For any ten-minute sequence of AIA 171 A images there are therefore around 35 solar features that have their intensity modified by despiking. The features are found in active regions, quiet Sun, and coronal holes and, in relation to solar surface area, there is a greater proportion within coronal holes. In 96% of the cases, the despiked structure is a compact brightening of size two arcsec or less and the remaining 4% have narrow, elongated structures. By applying an EUV burst detection algorithm, we found that 96% of the events could be classed as EUV bursts. None of the spike events are} rendered invisible by the AIA processing pipeline, but the total intensity over an event's lifetime can be reduced by up to 67%. Users are recommended to always restore the original intensities to AIA data when studying short-lived or rapidly evolving features that exhibit fine-scale structure. △ Less

Submitted 29 November, 2021; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: Accepted by Solar Physics journal; 23 pages

Source-Free Adaptation to Measurement Shift via Bottom-Up Feature Restoration

Authors: Cian Eastwood, Ian Mason, Christopher K. I. Williams, Bernhard Schölkopf

Abstract: Source-free domain adaptation (SFDA) aims to adapt a model trained on labelled data in a source domain to unlabelled data in a target domain without access to the source-domain data during adaptation. Existing methods for SFDA leverage entropy-minimization techniques which: (i) apply only to classification; (ii) destroy model calibration; and (iii) rely on the source model achieving a good level o… ▽ More Source-free domain adaptation (SFDA) aims to adapt a model trained on labelled data in a source domain to unlabelled data in a target domain without access to the source-domain data during adaptation. Existing methods for SFDA leverage entropy-minimization techniques which: (i) apply only to classification; (ii) destroy model calibration; and (iii) rely on the source model achieving a good level of feature-space class-separation in the target domain. We address these issues for a particularly pervasive type of domain shift called measurement shift which can be resolved by restoring the source features rather than extracting new ones. In particular, we propose Feature Restoration (FR) wherein we: (i) store a lightweight and flexible approximation of the feature distribution under the source data; and (ii) adapt the feature-extractor such that the approximate feature distribution under the target data realigns with that saved on the source. We additionally propose a bottom-up training scheme which boosts performance, which we call Bottom-Up Feature Restoration (BUFR). On real and synthetic data, we demonstrate that BUFR outperforms existing SFDA methods in terms of accuracy, calibration, and data efficiency, while being less reliant on the performance of the source model in the target domain. △ Less

Submitted 17 March, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: ICLR 2022 (Spotlight)

An Observational Study of a "Rosetta-Stone" Solar Eruption

Authors: E I Mason, Spiro Antiochos, Angelos Vourlidas

Abstract: This Letter reports observations of an event that connects all major classes of solar eruptions: those that erupt fully into the heliosphere versus those that fail and are confined to the Sun, and those that eject new flux into the heliosphere, in the form of a flux rope, versus those that eject only new plasma in the form of a jet. The event originated in a filament channel overlying a circular p… ▽ More This Letter reports observations of an event that connects all major classes of solar eruptions: those that erupt fully into the heliosphere versus those that fail and are confined to the Sun, and those that eject new flux into the heliosphere, in the form of a flux rope, versus those that eject only new plasma in the form of a jet. The event originated in a filament channel overlying a circular polarity inversion line (PIL) and occurred on 2013-03-20 during the extended decay phase of the active region designated NOAA 12488/12501. The event was especially well-observed by multiple spacecraft and exhibited the well-studied null-point topology. We analyze all aspects of the eruption using SDO AIA and HMI, STEREO-A EUVI, and SOHO LASCO imagery. One section of the filament undergoes a classic failed eruption with cool plasma subsequently draining onto the section that did not erupt, but a complex structured CME/jet is clearly observed by SOHO LASCO C2 shortly after the failed filament eruption. We describe in detail the slow buildup to eruption, the lack of an obvious trigger, and the immediate reappearance of the filament after the event. The unique mixture of major eruption properties observed during this event places severe constraints on the structure of the filament channel field and, consequently, on the possible eruption mechanism. △ Less

Submitted 19 May, 2021; originally announced May 2021.

Observations of Solar Coronal Rain in Null Point Topologies

Authors: E. I. Mason, S. K. Antiochos, N. M. Viall

Abstract: Coronal rain is the well-known phenomenon in which hot plasma high in the Sun's corona undergoes rapid cooling (from > 10^6 K to < 10^4 K), condenses, and falls to the surface. Coronal rain appears frequently in active region coronal loops and is very common in post-flare loops. This Letter presents discovery observations, which show that coronal rain is ubiquitous in the embedded bipole very near… ▽ More Coronal rain is the well-known phenomenon in which hot plasma high in the Sun's corona undergoes rapid cooling (from > 10^6 K to < 10^4 K), condenses, and falls to the surface. Coronal rain appears frequently in active region coronal loops and is very common in post-flare loops. This Letter presents discovery observations, which show that coronal rain is ubiquitous in the embedded bipole very near a coronal hole boundary. Our observed structures formed when the photospheric decay of active region leading sunspots resulted in a large parasitic polarity embedded in a background unipolar region. We observe coronal rain to appear within the legs of closed loops well under the fan surface, as well as preferentially near separatrices of the resulting coronal topology: the spine lines, null point, and fan surface. We analyze 3 events using SDO Atmospheric Imaging Assembly (AIA) observations in the 304, 171, and 211 {/AA} channels, as well as SDO Helioseismic and Magnetic Imager (HMI) magnetograms. The frequency of rain formation and the ease with which it is observed strongly suggests that this phenomenon is generally present in null-point topologies of this size scale. We argue that these rain events could be explained by the classic process of thermal nonequilibrium or via interchange reconnection at the null; it is also possible that both mechanisms are present. Further studies with higher spatial resolution data and MHD simulations will be required to determine the exact mechanism(s). △ Less

Submitted 18 April, 2019; originally announced April 2019.

Comments: 10 pages, 5 figures

Journal ref: 2019ApJ...874L..33M

Reasoning about effects: from lists to cyber-physical agents

Authors: Ian A. Mason, Carolyn L. Talcott

Abstract: Theories for reasoning about programs with effects initially focused on basic manipulation of lists and other mutable data. The next challenge was to consider higher-order programming, adding functions as first class objects to mutable data. Reasoning about actors added the challenge of dealing with distributed open systems of entities interacting asynchronously. The advent of cyber-physical agent… ▽ More Theories for reasoning about programs with effects initially focused on basic manipulation of lists and other mutable data. The next challenge was to consider higher-order programming, adding functions as first class objects to mutable data. Reasoning about actors added the challenge of dealing with distributed open systems of entities interacting asynchronously. The advent of cyber-physical agents introduces the need to consider uncertainty, faults, physical as well as logical effects. In addition cyber-physical agents have sensors and actuators giving rise to a much richer class of effects with broader scope: think of self-driving cars, autonomous drones, or smart medical devices. This paper gives a retrospective on reasoning about effects highlighting key principles and techniques and closing with challenges for future work. △ Less

Submitted 29 April, 2019; v1 submitted 24 January, 2018; originally announced January 2018.

Journal ref: Logical Methods in Computer Science, Volume 15, Issue 2 (April 30, 2019) lmcs:4239