Showing 1–50 of 93 results for author: Butler, M

Design Considerations for Automatic Musical Soundscapes of Visual Art for People with Blindness or Low Vision

Authors: Stephen James Krol, Maria Teresa Llano, Matthew Butler, Cagatay Goncu

Abstract: Music has been identified as a promising medium to enhance the accessibility and experience of visual art for people who are blind or have low vision (BLV). However, composing music and designing soundscapes for visual art is a time-consuming, resource intensive process - limiting its scalability for large exhibitions. In this paper, we investigate the use of automated soundscapes to increase the… ▽ More Music has been identified as a promising medium to enhance the accessibility and experience of visual art for people who are blind or have low vision (BLV). However, composing music and designing soundscapes for visual art is a time-consuming, resource intensive process - limiting its scalability for large exhibitions. In this paper, we investigate the use of automated soundscapes to increase the accessibility of visual art. We built a prototype system and ran a qualitative study to evaluate the aesthetic experience provided by the automated soundscapes with 10 BLV participants. From the study, we identified a set of design considerations that reveal requirements from BLV people for the development of automated soundscape systems, setting new directions in which creative systems could enrich the aesthetic experience conveyed by these. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: Paper accepted into ICCC 24

A dusty proto-cluster surrounding the binary galaxy HerBS-70 at $z = 2.3$

Authors: Tom J. L. C. Bakx, S. Berta, H. Dannerbauer, P. Cox, K. M. Butler, M. Hagimoto, D. H. Hughes, D. A. Riechers, P. P. van der Werf, C. Yang, A. J. Baker, A. Beelen, G. J. Bendo, E. Borsato, V. Buat, A. R. Cooray, L. Dunne, S. Dye, S. Eales, R. Gavazzi, A. I. Harris, D. Ismail, R. J. Ivison, B. Jones, M. Krips , et al. (16 additional authors not shown)

Abstract: We report on deep SCUBA-2 observations at 850$μ$m and NOEMA spectroscopic measurements at 2 mm of the environment surrounding the luminous, massive ($M_{*} \approx 2 \times 10^{11}$ M$_{\odot}$) Herschel-selected source HerBS-70. This source was revealed by previous NOEMA observations to be a binary system of dusty star-forming galaxies at $z= 2.3$, with the East component (HerBS-70E) hosting an A… ▽ More We report on deep SCUBA-2 observations at 850$μ$m and NOEMA spectroscopic measurements at 2 mm of the environment surrounding the luminous, massive ($M_{*} \approx 2 \times 10^{11}$ M$_{\odot}$) Herschel-selected source HerBS-70. This source was revealed by previous NOEMA observations to be a binary system of dusty star-forming galaxies at $z= 2.3$, with the East component (HerBS-70E) hosting an Active Galactic Nucleus (AGN). The SCUBA-2 observations detected, in addition to the binary system, twenty-one sources at $> 3.5 σ$ over an area of $\sim 25$ square comoving Mpc with a sensitivity of $σ_{850} = 0.75$ mJy. The surface density of continuum sources around HerBS-70 is three times higher than for field galaxies. The NOEMA spectroscopic measurements confirm the protocluster membership of three of the nine brightest sources through their CO(4 - 3) line emission, yielding a volume density 36 times higher than for field galaxies. All five confirmed sub-mm galaxies in the HerBS-70 system have relatively short gas depletion times ($80 - 500$ Myr), indicating the onset of quenching for this protocluster core due to the depletion of gas. The dark matter halo mass of the HerBS-70 system is estimated around $5 \times{} 10^{13}$ M$_{\odot}$, with a projected current-day mass of $10^{15}$ M$_{\odot}$, similar to the local Virgo and Coma clusters. These observations support the claim that DSFGs, in particular the ones with observed multiplicity, can trace cosmic overdensities. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 19 pages, 13 figures, accepted for publication in MNRAS

An AIC-based approach for articulating unpredictable problems in open complex environments

Authors: Haider AL-Shareefy, Michael Butler, Thai Son Hoang

Abstract: This research paper presents an approach to enhancing the predictive capability of architects in the design and assurance of systems, focusing on systems operating in dynamic and unpredictable environments. By adopting a systems approach, we aim to improve architects' predictive capabilities in designing dependable systems (for example, ML-based systems). An aerospace case study is used to illustr… ▽ More This research paper presents an approach to enhancing the predictive capability of architects in the design and assurance of systems, focusing on systems operating in dynamic and unpredictable environments. By adopting a systems approach, we aim to improve architects' predictive capabilities in designing dependable systems (for example, ML-based systems). An aerospace case study is used to illustrate the approach. Multiple factors (challenges) influencing aircraft detection are identified, demonstrating the effectiveness of our approach in a complex operational setting. Our approach primarily aimed to enhance the architect's predictive capability. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: S. Bernardi, T. Zoppi (Editors), "Fast Abstracts and Student Forum Proceedings - EDCC 2024 - 19th European Dependable Computing Conference, Leuven, Belgium, 8-11 April 2024"

Refreshable Tactile Displays for Accessible Data Visualisation

Authors: Leona Holloway, Peter Cracknell, Kate Stephens, Melissa Fanshawe, Samuel Reinders, Kim Marriott, Matthew Butler

Abstract: Refreshable tactile displays (RTDs) are predicted to soon become a viable option for the provision of accessible graphics for people who are blind or have low vision (BLV). This new technology for the tactile display of braille and graphics, usually using raised pins, makes it easier to generate and access a large number of graphics. However, it differs from existing tactile graphics in terms of s… ▽ More Refreshable tactile displays (RTDs) are predicted to soon become a viable option for the provision of accessible graphics for people who are blind or have low vision (BLV). This new technology for the tactile display of braille and graphics, usually using raised pins, makes it easier to generate and access a large number of graphics. However, it differs from existing tactile graphics in terms of scale, height and fidelity. Here, we share the perspectives of four key stakeholders -- blind touch readers, vision specialist teachers, accessible format producers and assistive technology providers -- to explore the potential uses, advantages and needs relating to the introduction of RTDs. We also provide advice on what role the data visualisation community can take to help ensure that people who are BLV are best able to benefit from the introduction of affordable RTDs. △ Less

Submitted 28 January, 2024; originally announced January 2024.

Comments: Poster presented at IEEE VIS 2023 (Best Poster Honorable Mentions)

Slender Phoretic Loops and Knots

Authors: Panayiota Katsamba, Matthew D. Butler, Lyndon Koens, Thomas D. Montenegro-Johnson

Abstract: We present an asymptotic theory for solving the dynamics of slender autophoretic loops and knots. Our formulation is valid for non-intersecting 3D centrelines, with arbitrary chemical patterning and varying (circular) cross-sectional radius, allowing a broad class of slender active loops and knots to be studied. The theory is amenable to closed-form solutions in simpler cases, allowing us to analy… ▽ More We present an asymptotic theory for solving the dynamics of slender autophoretic loops and knots. Our formulation is valid for non-intersecting 3D centrelines, with arbitrary chemical patterning and varying (circular) cross-sectional radius, allowing a broad class of slender active loops and knots to be studied. The theory is amenable to closed-form solutions in simpler cases, allowing us to analytically derive the swimming speed of chemically patterned tori, and the pum** strength (stresslet) of a uniformly active slender torus. Using simple numerical solutions of our asymptotic equations, we then elucidate the behaviour of many exotic active particle geometries, such as a bumpy uniformly active torus that spins and a Janus trefoil knot, which rotates as it swims forwards. △ Less

Submitted 17 April, 2024; v1 submitted 16 October, 2023; originally announced October 2023.

Comments: 24 pages with 7 figures, accepted in Physical Review Fluids

NUT Solutions in Einstein-Maxwell-scalar-Gauss-Bonnet Gravity

Authors: Michael Butler, Masoud Ghezelbash

Abstract: In this article, we consider a class of four-dimensional Einstein-Maxwell theory which is coupled non-minimally to a scalar field and the Gauss-Bonnet invariant. We mainly use the numerical methods to find the solutions to the theory, with the NUT twist. We find explicitly the numerical solutions to all of the field equations. To find the appropriate consistent numerical solutions, we use the the… ▽ More In this article, we consider a class of four-dimensional Einstein-Maxwell theory which is coupled non-minimally to a scalar field and the Gauss-Bonnet invariant. We mainly use the numerical methods to find the solutions to the theory, with the NUT twist. We find explicitly the numerical solutions to all of the field equations. To find the appropriate consistent numerical solutions, we use the the perturbative expansion of the fields asymptotically, as well as near horizon. The solutions describe the NUTty black holes with the scalar charge which also depend explicitly on the values of the non-minimal coupling constants. We provide a detailed numerical analysis of the solutions in terms of all existing parameters of the theory. △ Less

Submitted 22 January, 2024; v1 submitted 6 October, 2023; originally announced October 2023.

Comments: 30 pages, 15 figures, references added

Journal ref: Phys. Rev. D 109, 044018 (2024)

z-GAL -- A NOEMA spectroscopic redshift survey of bright Herschel galaxies: [III] Physical properties

Authors: S. Berta, F. Stanley, D. Ismail, P. Cox, R. Neri, C. Yang, A. J. Young, S. **, H. Dannerbauer, T. J. Bakx, A. Beelen, A. Weiss, A. Nanni, A. Omont, P. van der Werf, M. Krips, A. J. Baker, G. Bendo, E. Borsato, V. Buat, K. M. Butler, N. Chartab, A. Cooray, S. Dye, S. Eales , et al. (13 additional authors not shown)

Abstract: The z-GAL survey observed 137 bright Herschel-selected targets with the IRAM NOrthern Extended Millimeter Array, with the aim to measure their redshift and study their properties. Several of them have been resolved into multiple sources. Consequently, robust spectroscopic redshifts have been measured for 165 individual galaxies in the range 0.8<z<6.5. In this paper we analyse the millimetre spectr… ▽ More The z-GAL survey observed 137 bright Herschel-selected targets with the IRAM NOrthern Extended Millimeter Array, with the aim to measure their redshift and study their properties. Several of them have been resolved into multiple sources. Consequently, robust spectroscopic redshifts have been measured for 165 individual galaxies in the range 0.8<z<6.5. In this paper we analyse the millimetre spectra of the z-GAL sources, using both their continuum and line emission to derive their physical properties. At least two spectral lines are detected for each source, including transitions of 12CO, [CI], and H2O. The observed 12CO line ratios and spectral line energy distributions of individual sources resemble those of local starbursts. In seven sources the para-H2O(2_11-2_02) transition is detected and follows the IR versus H2O luminosity relation of sub-millimetre galaxies. The molecular gas mass of the z-GAL sources is derived from their 12CO, [CI], and sub-millimetre dust continuum emission. The three tracers lead to consistent results, with the dust continuum showing the largest scatter when compared to 12CO. The gas-to-dust mass ratio of these sources was computed by combining the information derived from 12CO and the dust continuum and has a median value of 107, similar to star-forming galaxies of near-solar metallicity. The same combined analysis leads to depletion timescales in the range between 0.1 and 1.0 Gyr, which place the z-GAL sources between the `main sequence' of star formation and the locus of starbursts. Finally, we derived a first estimate of stellar masses - modulo possible gravitational magnification - by inverting known gas scaling relations: the z-GAL sample is confirmed to be mostly composed by starbursts, whereas ~25% of its members lie on the main sequence of star-forming galaxies (within +/- 0.5 dex). △ Less

Submitted 28 July, 2023; originally announced July 2023.

Comments: Accepted for publication on A&A; 26 pages; 12 figures

Journal ref: A&A 678, A28 (2023)

Designing Conversational Multimodal 3D Printed Models with People who are Blind

Authors: Samuel Reinders, Swamy Ananthanarayan, Matthew Butler, Kim Marriott

Abstract: 3D printed models have been used to improve access to graphical information by people who are blind, offering benefits over conventional accessible graphics. Here we investigate an interactive 3D printed model (I3M) that combines a conversational interface with haptic vibration and touch to provide more natural and accessible experiences. Specifically, we co-designed a multimodal model of the Sola… ▽ More 3D printed models have been used to improve access to graphical information by people who are blind, offering benefits over conventional accessible graphics. Here we investigate an interactive 3D printed model (I3M) that combines a conversational interface with haptic vibration and touch to provide more natural and accessible experiences. Specifically, we co-designed a multimodal model of the Solar System with nine blind people and evaluated the prototype with another seven blind participants. We discuss our journey from a design perspective, focusing on touch, conversational and multimodal interactions. Based on our experience, we suggest design recommendations that consider blind users' desire for independence and control, customisation, comfort and use of prior experience △ Less

Submitted 11 June, 2023; originally announced June 2023.

Comments: To appear in ACM Designing Interactive Systems Conference (DIS '23), July 10-14, 2023, Pittsburgh, PA, USA

Neutral outflows in high-z QSOs

Authors: Kirsty M. Butler, Paul P. van der Werf, Alain Omont, Pierre Cox

Abstract: OH+ absorption is a powerful tracer of inflowing and outflowing gas in the predominantly atomic diffuse and turbulent halo surrounding galaxies. In this letter, we present observations of OH+(1_1-1_0), CO(9-8) and the underlying dust continuum in 5 strongly lensed z~2-4 QSOs, using ALMA to detect outflowing neutral gas. Blue-shifted OH+ absorption is detected in 3/5 QSOs and tentatively detected i… ▽ More OH+ absorption is a powerful tracer of inflowing and outflowing gas in the predominantly atomic diffuse and turbulent halo surrounding galaxies. In this letter, we present observations of OH+(1_1-1_0), CO(9-8) and the underlying dust continuum in 5 strongly lensed z~2-4 QSOs, using ALMA to detect outflowing neutral gas. Blue-shifted OH+ absorption is detected in 3/5 QSOs and tentatively detected in a 4th. Absorption at systemic velocities is also detected in one. OH+ emission is observed in 3/5 QSOs at systemic velocities and CO(9-8) is detected in all 5 QSOs at high S/N, providing information on the dense molecular gas within the host galaxy. We compare our sample to high-z far-infrared (FIR) luminous star-forming and active galaxies from the literature. We find no difference in OH+ absorption line properties between active and star-forming galaxies with both samples following the same optical depth-dust temperature relation, suggesting that these observables are driven by the same mechanism in both samples. Similarly, star-forming and active galaxies both follow the same OH+ emission-FIR relation. Obscured QSOs display broader (>800 km/s) emission than the unobscured QSOs and all but one of the high-z star-forming galaxies, likely caused by the warm molecular gas reservoir obscuring the accreting nucleus. Broader CO(9-8) emission (>500 km/s) is found in obscured versus unobscured QSOs, but overall cover a similar range in line widths as the star-forming galaxies and follow the CO(9-8)-FIR luminosity relation found in low-z galaxies. We find that outflows traced by OH+ are only detected in extreme star-forming galaxies (broad CO emission) and in both types of QSOs, which, in turn, display no red-shifted absorption. This suggests that diffuse neutral outflows in galaxy halos may be associated with the most energetic evolutionary phases leading up to and following the obscured QSO phase. △ Less

Submitted 6 May, 2023; originally announced May 2023.

Comments: 8 pages, 3 figures, 4 tables, accepted to A&A letters

Journal ref: A&A 674, L5 (2023)

Bright Extragalactic ALMA Redshift Survey (BEARS) III: Detailed study of emission lines from 71 Herschel targets

Authors: M. Hagimoto, T. J. L. C. Bakx, S. Serjeant, G. J. Bendo, S. A. Urquhart, S. Eales, K. C. Harrington, Y. Tamura, H. Umehata, S. Berta, A. R. Cooray, P. Cox, G. De Zotti, M. D. Lehnert, D. A. Riechers, D. Scott, P. Temi, P. P. van der Werf, C. Yang, A. Amvrosiadis, P. M. Andreani, A. J. Baker, A. Beelen, E. Borsato, V. Buat , et al. (33 additional authors not shown)

Abstract: We analyse the molecular and atomic emission lines of 71 bright Herschel-selected galaxies between redshifts 1.4 to 4.6 detected by the Atacama Large Millimetre/submillimetre Array. These lines include a total of 156 CO, [C I], and H2O emission lines. For 46 galaxies, we detect two transitions of CO lines, and for these galaxies we find gas properties similar to those of other dusty star-forming g… ▽ More We analyse the molecular and atomic emission lines of 71 bright Herschel-selected galaxies between redshifts 1.4 to 4.6 detected by the Atacama Large Millimetre/submillimetre Array. These lines include a total of 156 CO, [C I], and H2O emission lines. For 46 galaxies, we detect two transitions of CO lines, and for these galaxies we find gas properties similar to those of other dusty star-forming galaxy (DSFG) samples. A comparison to photo-dissociation models suggests that most of Herschel-selected galaxies have similar interstellar medium conditions as local infrared-luminous galaxies and high-redshift DSFGs, although with denser gas and more intense far-ultraviolet radiation fields than normal star-forming galaxies. The line luminosities agree with the luminosity scaling relations across five orders of magnitude, although the star-formation and gas surface density distributions (i.e., Schmidt-Kennicutt relation) suggest a different star-formation phase in our galaxies (and other DSFGs) compared to local and low-redshift gas-rich, normal star-forming systems. The gas-to-dust ratios of these galaxies are similar to Milky Way values, with no apparent redshift evolution. Four of 46 sources appear to have CO line ratios in excess of the expected maximum (thermalized) profile, suggesting a rare phase in the evolution of DSFGs. Finally, we create a deep stacked spectrum over a wide rest-frame frequency (220-890 GHz) that reveals faint transitions from HCN and CH, in line with previous stacking experiments. △ Less

Submitted 8 March, 2023; originally announced March 2023.

Comments: 30 pages, 17 figures, accepted for publication in Monthly Notices of the Royal Astronomical Society Main Journal. Comments are warmly welcomed

The Bright Extragalactic ALMA Redshift Survey (BEARS) II: Millimetre photometry of gravitational lens candidates

Authors: G. J. Bendo, S. A. Urquhart, S. Serjeant, T. Bakx, M. Hagimoto, P. Cox, R. Neri, M. D. Lehnert, H. Dannerbauer, A. Amvrosiadis, P. Andreani, A. J. Baker, A. Beelen, S. Berta, E. Borsato, V. Buat, K. M. Butler, A. Cooray, G. De Zotti, L. Dunne, S. Dye, S. Eales, A. Enia, L. Fan, R. Gavazzi , et al. (27 additional authors not shown)

Abstract: We present 101 and 151 GHz ALMA continuum images for 85 fields selected from Herschel observations that have 500 micron flux densities >80 mJy and 250-500 micron colours consistent with z > 2, most of which are expected to be gravitationally lensed or hyperluminous infrared galaxies. Approximately half of the Herschel 500 micron sources were resolved into multiple ALMA sources, but 11 of the 15 br… ▽ More We present 101 and 151 GHz ALMA continuum images for 85 fields selected from Herschel observations that have 500 micron flux densities >80 mJy and 250-500 micron colours consistent with z > 2, most of which are expected to be gravitationally lensed or hyperluminous infrared galaxies. Approximately half of the Herschel 500 micron sources were resolved into multiple ALMA sources, but 11 of the 15 brightest 500 micron Herschel sources correspond to individual ALMA sources. For the 37 fields containing either a single source with a spectroscopic redshift or two sources with the same spectroscopic redshift, we examined the colour temperatures and dust emissivity indices. The colour temperatures only vary weakly with redshift and are statistically consistent with no redshift-dependent temperature variations, which generally corresponds to results from other samples selected in far-infrared, submillimetre, or millimetre bands but not to results from samples selected in optical or near-infrared bands. The dust emissivity indices, with very few exceptions, are largely consistent with a value of 2. We also compared spectroscopic redshifts to photometric redshifts based on spectral energy distribution templates designed for infrared-bright high-redshift galaxies. While the templates systematically underestimate the redshifts by ~15%, the inclusion of ALMA data decreases the scatter in the predicted redshifts by a factor of ~2, illustrating the potential usefulness of these millimetre data for estimating photometric redshifts. △ Less

Submitted 6 January, 2023; originally announced January 2023.

Comments: Accepted for publication in Monthly Notices of the Royal Astronomical Society

Molecular Outflows in z > 6 QSO Hosts Driven by Star Formation

Authors: Kirsty M. Butler, Paul P. van der Werf, Theodoros Topkaras, Matus Rybak, Bram P. Venemans, Fabian Walter, Roberto Decarli

Abstract: Feedback and outflows in galaxies that are associated with a quasar phase are expected to be pivotal in quenching the most massive galaxies. However, observations targeting the molecular outflow phase, which dominates both the mass and momentum and removes the immediate fuel for star formation, are limited in high-z QSO hosts. Massive quiescent galaxies found at z ~ 4 are predicted to have already… ▽ More Feedback and outflows in galaxies that are associated with a quasar phase are expected to be pivotal in quenching the most massive galaxies. However, observations targeting the molecular outflow phase, which dominates both the mass and momentum and removes the immediate fuel for star formation, are limited in high-z QSO hosts. Massive quiescent galaxies found at z ~ 4 are predicted to have already quenched star formation by z ~ 5 and undergone their most intense growth at z > 6. Here, we present two ALMA detections of molecular outflows, traced by blue-shifted absorption of the OH 119 micron doublet, from a sample of three z > 6 infrared luminous QSO hosts: J2310+1855 and P183+05. OH 119 micron is also detected in emission in P183+05, and tentatively in the third source: P036+03. Using similar assumptions as for high-z Dusty Star-Forming Galaxy outflows, we find that our QSOs drive molecular outflows with comparable mass outflow rates, and that are comparably energetic except for J2310+1855's significantly lower outflow energy flux. We do not find evidence, nor require additional input from the central AGN to drive the molecular outflow in J2310+1855 but can not rule out an AGN contribution in P183+05 if a significant AGN contribution to L_FIR is assumed and/or if the outflow covering fraction is high (> 53%), which evidence from the literature suggests is unlikely in these sources. Differences observed in the blue-shifted absorption spectral properties may instead be caused by the QSO hosts' more compact dust continuum, limiting observations to lower altitude and more central regions of the outflow. △ Less

Submitted 24 May, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: Erratum: 4 pages, 3 figures, 1 table Original: 19 pages, 7 figures, 3 tables

The swelling and shrinking of spherical thermo-responsive hydrogels

Authors: Matthew D. Butler, Thomas D. Montenegro-Johnson

Abstract: Thermo-responsive hydrogels are a promising material for creating controllable actuators for use in micro-scale devices, since they expand and contract significantly (absorbing or expelling fluid) in response to relatively small temperature changes. Understanding such systems can be difficult because of the spatially- and temporally-varying properties of the gel, and the complex relationships betw… ▽ More Thermo-responsive hydrogels are a promising material for creating controllable actuators for use in micro-scale devices, since they expand and contract significantly (absorbing or expelling fluid) in response to relatively small temperature changes. Understanding such systems can be difficult because of the spatially- and temporally-varying properties of the gel, and the complex relationships between the fluid dynamics, elastic deformation of the gel and chemical interaction between the polymer and fluid. We address this using a poro-elastic model, considering the dynamics of a thermo-responsive spherical hydrogel after a sudden change in the temperature that should result in substantial swelling or shrinking. We focus on two model examples, with equilibrium parameters extracted from data in the literature. We find a range of qualitatively different behaviours when swelling and shrinking, including cases where swelling and shrinking happen smoothly from the edge, and other situations which result in the formation of an inwards-travelling spherical front that separates a core and shell with markedly different degrees of swelling. We then characterise when each of these scenarios is expected to occur. An approximate analytical form for the front dynamics is developed, with two levels of constant porosity, that well-approximates the numerical solutions. This system can be evolved forward in time, and is simpler to solve than the full numerics, allowing for more efficient predictions to be made, such as when deciding dosing strategies for drug-laden hydrogels. △ Less

Submitted 20 July, 2022; originally announced July 2022.

Comments: Accepted for publication in Journal of Fluid Mechanics

Journal ref: J. Fluid Mech. (2022), vol. 947, A11

The Bright Extragalactic ALMA Redshift Survey (BEARS) I: redshifts of bright gravitationally-lensed galaxies from the Herschel ATLAS

Authors: S. A. Urquhart, G. J. Bendo, S. Serjeant, T. Bakx, M. Hagimoto, P. Cox, R. Neri, M. Lehnert, C. Sedgwick, C. Weiner, H. Dannerbauer, A. Amvrosiadis, P. Andreani, A. J. Baker, A. Beelen, S. Berta, E. Borsato, V. Buat, K. M. Butler, A. Cooray, G. De Zotti, L. Dunne, S. Dye, S. Eales, A. Enia , et al. (31 additional authors not shown)

Abstract: We present spectroscopic measurements for 71 galaxies associated with 62 of the brightest high-redshift submillimeter sources from the Southern fields of the Herschel Astrophysical Terahertz Large Area Survey (H-ATLAS), while targeting 85 sources which resolved into 142. We have obtained robust redshift measurements for all sources using the 12-m Array and an efficient tuning of ALMA to optimise i… ▽ More We present spectroscopic measurements for 71 galaxies associated with 62 of the brightest high-redshift submillimeter sources from the Southern fields of the Herschel Astrophysical Terahertz Large Area Survey (H-ATLAS), while targeting 85 sources which resolved into 142. We have obtained robust redshift measurements for all sources using the 12-m Array and an efficient tuning of ALMA to optimise its use as a redshift hunter, with 73 per cent of the sources having a robust redshift identification. Nine of these redshift identifications also rely on observations from the Atacama Compact Array. The spectroscopic redshifts span a range $1.41<z<4.53$ with a mean value of 2.75, and the CO emission line full-width at half-maxima range between $\rm 110\,km\,s^{-1} < FWHM < 1290\,km\,s^{-1}$ with a mean value of $\sim$ 500kms$^{-1}$, in line with other high-$z$ samples. The derived CO(1-0) luminosity is significantly elevated relative to line-width to CO(1-0) luminosity scaling relation, which is suggestive of lensing magnification across our sources. In fact, the distribution of magnification factors inferred from the CO equivalent widths is consistent with expectations from galaxy-galaxy lensing models, though there is a hint of an excess at large magnifications that may be attributable to the additional lensing optical depth from galaxy groups or clusters. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Comments: 21 pages, 8 figures

Liquid bridge splitting enhances normal capillary adhesion and resistance to shear on rough surfaces

Authors: Matthew D. Butler, Dominic Vella

Abstract: The effect of 'bridge splitting' is considered in the case of capillary adhesion: for a fixed total volume of liquid, does having more capillary bridges increase the total adhesion force? Previous studies have shown that the capillary-induced adhesion force between two planar surfaces is only substantially enhanced by bridge splitting in specific circumstances. Here this previous result is reconsi… ▽ More The effect of 'bridge splitting' is considered in the case of capillary adhesion: for a fixed total volume of liquid, does having more capillary bridges increase the total adhesion force? Previous studies have shown that the capillary-induced adhesion force between two planar surfaces is only substantially enhanced by bridge splitting in specific circumstances. Here this previous result is reconsidered, and it is shown that bridge splitting may significantly increase the adhesion forces when one of the surfaces is rough. The resistance to shear is also examined, and it is shown that bridge splitting on a rough surface can lead to a steady capillary-induced shear force that scales linearly with translation velocity, even in the absence of contact-line pinning. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: M. D. Butler and D. Vella, Journal of Colloid and Interface Science 607 (2022) 514-529

Journal ref: J. Colloid Interf. Sci. 607, 514-529 (2022)

Digital Resilience and the Continuance Use of Mobile Payment Services

Authors: Muftawu Dzang Alhassan, Martin Butler

Abstract: The use of mobile payment services is an essential contributor to financial inclusion in emerging markets. Unfortunately, the service has become a platform for fraud. Mobile payment users need to be digitally resilient to continue using the service after adverse events. However, there is scant literature on users' continuance use of mobile payment services in the post-event of fraud. The focal poi… ▽ More The use of mobile payment services is an essential contributor to financial inclusion in emerging markets. Unfortunately, the service has become a platform for fraud. Mobile payment users need to be digitally resilient to continue using the service after adverse events. However, there is scant literature on users' continuance use of mobile payment services in the post-event of fraud. The focal point of prior literature has been on technology adoption or threat avoidance to implement policies that protect users. Analysing the relationship between individual digital resilience and post-adoption behavioural patterns will enable service providers to support individual digital resilience to promote users' continuance use of the service. This research aims to develop and empirically validate a conceptual model to examine individual digital resilience in the context of the continuance use of mobile payments. The model will be based on protection motivation theory. Survey data will be obtained from victims of mobile payment fraud and other users who continue using the service despite their knowledge of mobile payment fraud. The results from this study are expected to make key contributions to theory, practice, and policy in the areas of digital resilience, mobile payments, and ICT4D. △ Less

Submitted 22 August, 2021; originally announced August 2021.

Comments: In proceedings of the 1st Virtual Conference on Implications of Information and Digital Technologies for Development, 2021

Resolved Neutral Outflow from a Lensed Dusty Star Forming Galaxy at z=2.09

Authors: Kirsty M. Butler, Paul P. van der Werf, Matus Rybak, Tiago Costa, Pierre Cox, Axel Weiß, Michał J. Michałowski, Dominik A. Riechers, Dimitra Rigopoulou, Lucia Marchetti, Stephen Eales, Ivan Valtchanov

Abstract: We report the detection of a massive neutral gas outflow in the z=2.09 gravitationally lensed Dusty Star-Forming Galaxy HATLASJ085358.9+015537 (G09v1.40), seen in absorption with the OH+(1_1-1_0) transition using spatially resolved (0.5"x0.4") Atacama Large Millimeter/submillimeter Array (ALMA) observations. The blueshifted OH+ line is observed simultaneously with the CO(9-8) emission line and und… ▽ More We report the detection of a massive neutral gas outflow in the z=2.09 gravitationally lensed Dusty Star-Forming Galaxy HATLASJ085358.9+015537 (G09v1.40), seen in absorption with the OH+(1_1-1_0) transition using spatially resolved (0.5"x0.4") Atacama Large Millimeter/submillimeter Array (ALMA) observations. The blueshifted OH+ line is observed simultaneously with the CO(9-8) emission line and underlying dust continuum. These data are complemented by high angular resolution (0.17"x0.13") ALMA observations of CH+(1-0) and underlying dust continuum, and Keck 2.2 micron imaging tracing the stellar emission. The neutral outflow, dust, dense molecular gas and stars all show spatial offsets from each other. The total atomic gas mass of the observed outflow is 6.7x10^9 M_sun, >25% as massive as the gas mass of the galaxy. We find that a conical outflow geometry best describes the OH+ kinematics and morphology and derive deprojected outflow properties as functions of possible inclination (0.38 deg-64 deg). The neutral gas mass outflow rate is between 83-25400 M_sun/yr, exceeding the star formation rate (788+/-300 M_sun/yr) if the inclination is >3.6 deg (mass-loading factor = 0.3-4.7). Kinetic energy and momentum fluxes span 4.4-290x10^9 L_sun and 0.1-3.7x10^37 dyne, respectively (energy-loading factor = 0.013-16), indicating that the feedback mechanisms required to drive the outflow depend on the inclination assumed. We derive a gas depletion time between 29 and 1 Myr, but find that the neutral outflow is likely to remain bound to the galaxy, unless the inclination is small, and may be re-accreted if additional feedback processes do not occur. △ Less

Submitted 2 July, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 33 pages, 20 figures

Technology Developments in Touch-Based Accessible Graphics: A Systematic Review of Research 2010-2020

Authors: Matthew Butler, Leona Holloway, Samuel Reinders, Cagatay Goncu, Kim Marriott

Abstract: This paper presents a systematic literature review of 292 publications from 97 unique venues on touch-based graphics for people who are blind or have low vision, from 2010 to mid-2020. It is the first review of its kind on touch-based accessible graphics. It is timely because it allows us to assess the impact of new technologies such as commodity 3D printing and low-cost electronics on the product… ▽ More This paper presents a systematic literature review of 292 publications from 97 unique venues on touch-based graphics for people who are blind or have low vision, from 2010 to mid-2020. It is the first review of its kind on touch-based accessible graphics. It is timely because it allows us to assess the impact of new technologies such as commodity 3D printing and low-cost electronics on the production and presentation of accessible graphics. As expected our review shows an increase in publications from 2014 that we can attribute to these developments. It also reveals the need to: broaden application areas, especially to the workplace; broaden end-user participation throughout the full design process; and conduct more in situ evaluation. This work is linked to an online living resource to be shared with the wider community. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: To appear in ACM CHI Conference on Human Factors in Computing Systems (CHI '21), May 8-13, 2021, Yokohama, Japan

SeqGenSQL -- A Robust Sequence Generation Model for Structured Query Language

Authors: Ning Li, Bethany Keller, Mark Butler, Daniel Cer

Abstract: We explore using T5 (Raffel et al. (2019)) to directly translate natural language questions into SQL statements. General purpose natural language that interfaces to information stored within databases requires flexibly translating natural language questions into database queries. The best performing text-to-SQL systems approach this task by first converting questions into an intermediate logical f… ▽ More We explore using T5 (Raffel et al. (2019)) to directly translate natural language questions into SQL statements. General purpose natural language that interfaces to information stored within databases requires flexibly translating natural language questions into database queries. The best performing text-to-SQL systems approach this task by first converting questions into an intermediate logical form (LF) (Lyu et al. (2020)). While LFs provide a convenient intermediate representation and simplify query generation, they introduce an additional layer of complexity and annotation requirements. However, weakly supervised modeling that directly converts questions to SQL statements has proven more difficult without the scaffolding provided by LFs (Min et al. (2019)). We approach direct conversion of questions to SQL statements using T5 (Raffel et al. (2019)), a pre-trained textto-text generation model, modified to support pointer-generator style decoding (See et al. (2017)). We explore using question augmentation with table schema information and the use of automatically generated silver training data. The resulting model achieves 90.5% execution accuracy on the WikiSQL (Zhong et al. (2017)) test data set, a new state-of-the-art on weakly supervised SQL generation. The performance improvement is 6.6% absolute over the prior state-of-the-art (Min et al. (2019)) and approaches the performance of state-ofthe-art systems making use of LFs. △ Less

Submitted 7 November, 2020; originally announced November 2020.

Comments: 6 pages, 7 figures, 2 tables

Model-Based Machine Learning for Joint Digital Backpropagation and PMD Compensation

Authors: Rick M. Bütler, Christian Häger, Henry D. Pfister, Gabriele Liga, Alex Alvarado

Abstract: In this paper, we propose a model-based machine-learning approach for dual-polarization systems by parameterizing the split-step Fourier method for the Manakov-PMD equation. The resulting method combines hardware-friendly time-domain nonlinearity mitigation via the recently proposed learned digital backpropagation (LDBP) with distributed compensation of polarization-mode dispersion (PMD). We refer… ▽ More In this paper, we propose a model-based machine-learning approach for dual-polarization systems by parameterizing the split-step Fourier method for the Manakov-PMD equation. The resulting method combines hardware-friendly time-domain nonlinearity mitigation via the recently proposed learned digital backpropagation (LDBP) with distributed compensation of polarization-mode dispersion (PMD). We refer to the resulting approach as LDBP-PMD. We train LDBP-PMD on multiple PMD realizations and show that it converges within 1% of its peak dB performance after 428 training iterations on average, yielding a peak effective signal-to-noise ratio of only 0.30 dB below the PMD-free case. Similar to state-of-the-art lumped PMD compensation algorithms in practical systems, our approach does not assume any knowledge about the particular PMD realization along the link, nor any knowledge about the total accumulated PMD. This is a significant improvement compared to prior work on distributed PMD compensation, where knowledge about the accumulated PMD is typically assumed. We also compare different parameterization choices in terms of performance, complexity, and convergence behavior. Lastly, we demonstrate that the learned models can be successfully retrained after an abrupt change of the PMD realization along the fiber. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: 10 pages, 11 figures, to appear in the IEEE/OSA Journal of Lightwave Technology

"Hey Model!" - Natural User Interactions and Agency in Accessible Interactive 3D Models

Authors: Samuel Reinders, Matthew Butler, Kim Marriott

Abstract: While developments in 3D printing have opened up opportunities for improved access to graphical information for people who are blind or have low vision (BLV), they can provide only limited detailed and contextual information. Interactive 3D printed models (I3Ms) that provide audio labels and/or a conversational agent interface potentially overcome this limitation. We conducted a Wizard-of-Oz explo… ▽ More While developments in 3D printing have opened up opportunities for improved access to graphical information for people who are blind or have low vision (BLV), they can provide only limited detailed and contextual information. Interactive 3D printed models (I3Ms) that provide audio labels and/or a conversational agent interface potentially overcome this limitation. We conducted a Wizard-of-Oz exploratory study to uncover the multi-modal interaction techniques that BLV people would like to use when exploring I3Ms, and investigated their attitudes towards different levels of model agency. These findings informed the creation of an I3M prototype of the solar system. A second user study with this model revealed a hierarchy of interaction, with BLV users preferring tactile exploration, followed by touch gestures to trigger audio labels, and then natural language to fill in knowledge gaps and confirm understanding. △ Less

Submitted 29 January, 2024; v1 submitted 1 September, 2020; originally announced September 2020.

Comments: Paper presented at ACM CHI 2020: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, ACM, New York, April 2020; Replacement: typos corrected, character encoding

Revisiting Efficient Multi-Step Nonlinearity Compensation with Machine Learning: An Experimental Demonstration

Authors: Vinícius Oliari, Sebastiaan Goossens, Christian Häger, Gabriele Liga, Rick M. Bütler, Menno van den Hout, Sjoerd van der Heide, Henry D. Pfister, Chigo Okonkwo, Alex Alvarado

Abstract: Efficient nonlinearity compensation in fiber-optic communication systems is considered a key element to go beyond the "capacity crunch''. One guiding principle for previous work on the design of practical nonlinearity compensation schemes is that fewer steps lead to better systems. In this paper, we challenge this assumption and show how to carefully design multi-step approaches that provide bette… ▽ More Efficient nonlinearity compensation in fiber-optic communication systems is considered a key element to go beyond the "capacity crunch''. One guiding principle for previous work on the design of practical nonlinearity compensation schemes is that fewer steps lead to better systems. In this paper, we challenge this assumption and show how to carefully design multi-step approaches that provide better performance--complexity trade-offs than their few-step counterparts. We consider the recently proposed learned digital backpropagation (LDBP) approach, where the linear steps in the split-step method are re-interpreted as general linear functions, similar to the weight matrices in a deep neural network. Our main contribution lies in an experimental demonstration of this approach for a 25 Gbaud single-channel optical transmission system. It is shown how LDBP can be integrated into a coherent receiver DSP chain and successfully trained in the presence of various hardware impairments. Our results show that LDBP with limited complexity can achieve better performance than standard DBP by using very short, but jointly optimized, finite-impulse response filters in each step. This paper also provides an overview of recently proposed extensions of LDBP and we comment on potentially interesting avenues for future work. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Comments: 10 pages, 5 figures. Author version of a paper published in the Journal of Lightwave Technology. OSA/IEEE copyright may apply

Journal ref: Journal of Lightwave Technology, vol. 38, no. 12, pp. 3114-3124, 15 June, 2020

Tactile Presentation of Network Data: Text, Matrix or Diagram?

Authors: Yalong Yang, Kim Marriott, Matthew Butler, Cagatay Goncu, Leona Holloway

Abstract: Visualisations are commonly used to understand social, biological and other kinds of networks. Currently, we do not know how to effectively present network data to people who are blind or have low-vision (BLV). We ran a controlled study with 8 BLV participants comparing four tactile representations: organic node-link diagram, grid node-link diagram, adjacency matrix and braille list. We found that… ▽ More Visualisations are commonly used to understand social, biological and other kinds of networks. Currently, we do not know how to effectively present network data to people who are blind or have low-vision (BLV). We ran a controlled study with 8 BLV participants comparing four tactile representations: organic node-link diagram, grid node-link diagram, adjacency matrix and braille list. We found that the node-link representations were preferred and more effective for path following and cluster identification while the matrix and list were better for adjacency tasks. This is broadly in line with findings for the corresponding visual representations. △ Less

Submitted 31 March, 2020; originally announced March 2020.

Comments: To appear in the ACM CHI Conference on Human Factors in Computing Systems (CHI 2020)

Model-Based Machine Learning for Joint Digital Backpropagation and PMD Compensation

Authors: Christian Häger, Henry D. Pfister, Rick M. Bütler, Gabriele Liga, Alex Alvarado

Abstract: We propose a model-based machine-learning approach for polarization-multiplexed systems by parameterizing the split-step method for the Manakov-PMD equation. This approach performs hardware-friendly DBP and distributed PMD compensation with performance close to the PMD-free case. We propose a model-based machine-learning approach for polarization-multiplexed systems by parameterizing the split-step method for the Manakov-PMD equation. This approach performs hardware-friendly DBP and distributed PMD compensation with performance close to the PMD-free case. △ Less

Submitted 25 January, 2020; originally announced January 2020.

Comments: 3 pages, 2 figures

The AGORA high-resolution galaxy simulations comparison project: Public data release

Authors: Santi Roca-Fàbrega, Ji-hoon Kim, Joel R. Primack, Michael J. Butler, Daniel Ceverino, Jun-Hwan Choi, Robert Feldmann, Ben W. Keller, Alessandro Lupi, Kentaro Nagamine, Thomas R. Quinn, Yves Revaz, Romain Teyssier, Spencer C. Wallace

Abstract: As part of the AGORA High-resolution Galaxy Simulations Comparison Project (Kim et al. 2014, 2016) we have generated a suite of isolated Milky Way-mass galaxy simulations using 9 state-of-the-art gravito-hydrodynamics codes widely used in the numerical galaxy formation community. In these simulations we adopted identical galactic disk initial conditions, and common physics models (e.g., radiative… ▽ More As part of the AGORA High-resolution Galaxy Simulations Comparison Project (Kim et al. 2014, 2016) we have generated a suite of isolated Milky Way-mass galaxy simulations using 9 state-of-the-art gravito-hydrodynamics codes widely used in the numerical galaxy formation community. In these simulations we adopted identical galactic disk initial conditions, and common physics models (e.g., radiative cooling and ultraviolet background by a standardized package). Subgrid physics models such as Jeans pressure floor, star formation, supernova feedback energy, and metal production were carefully constrained. Here we release the simulation data to be freely used by the community. In this release we include the disk snapshots at 0 and 500Myr of evolution per each code as used in Kim et al. (2016), from simulations with and without star formation and feedback. We encourage any member of the numerical galaxy formation community to make use of these resources for their research - for example, compare their own simulations with the AGORA galaxies, with the common analysis yt scripts used to obtain the plots shown in our papers, also available in this release. △ Less

Submitted 16 January, 2020; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: AGORA links: http://www.AGORAsimulations.org/ and http://sites.google.com/site/santacruzcomparisonproject/blogs/quicklinks/

The Geometry of $H_4$ Polytopes

Authors: Tomme Denney, Da'Shay Hooker, De'Janeke Johnson, Tianna Robinson, Majid Butler, Sandernisha Claiborne

Abstract: We describe the geometry of an arrangement of 24-cells inscribed in the 600-cell. In $§$7 we apply our results to the even unimodular lattice $E_8$ and show how the 600-cell transforms $E_8$/2$E_8$, an 8-space over the field $\bf{F}$$_2$, into a 4-space over $\bf{F}$$_4$ whose points, lines and planes are labeled by the geometric objects of the 600-cell. We describe the geometry of an arrangement of 24-cells inscribed in the 600-cell. In $§$7 we apply our results to the even unimodular lattice $E_8$ and show how the 600-cell transforms $E_8$/2$E_8$, an 8-space over the field $\bf{F}$$_2$, into a 4-space over $\bf{F}$$_4$ whose points, lines and planes are labeled by the geometric objects of the 600-cell. △ Less

Submitted 12 December, 2019; originally announced December 2019.

Comments: 18 pages

Revisiting Multi-Step Nonlinearity Compensation with Machine Learning

Authors: Christian Häger, Henry D. Pfister, Rick M. Bütler, Gabriele Liga, Alex Alvarado

Abstract: For the efficient compensation of fiber nonlinearity, one of the guiding principles appears to be: fewer steps are better and more efficient. We challenge this assumption and show that carefully designed multi-step approaches can lead to better performance-complexity trade-offs than their few-step counterparts. For the efficient compensation of fiber nonlinearity, one of the guiding principles appears to be: fewer steps are better and more efficient. We challenge this assumption and show that carefully designed multi-step approaches can lead to better performance-complexity trade-offs than their few-step counterparts. △ Less

Submitted 22 April, 2019; originally announced April 2019.

Comments: 4 pages, 3 figures, This is a preprint of a paper submitted to the 2019 European Conference on Optical Communication

Elasto-capillary adhesion: The effect of deformability on adhesion strength and detachment

Authors: Matthew Butler, Finn Box, Thomas Robert, Dominic Vella

Abstract: We study the interaction between capillary forces and deformation in the context of a deformable capillary adhesive: a clamped, tense membrane is adhered to a rigid substrate by the surface tension of a liquid droplet. We find that the equilibrium adhesive force for this elastocapillary adhesive is significantly enhanced in comparison to the capillary adhesion between rigid plates. In particular,… ▽ More We study the interaction between capillary forces and deformation in the context of a deformable capillary adhesive: a clamped, tense membrane is adhered to a rigid substrate by the surface tension of a liquid droplet. We find that the equilibrium adhesive force for this elastocapillary adhesive is significantly enhanced in comparison to the capillary adhesion between rigid plates. In particular, the equilibrium adhesion force is orders of magnitude greater when the membrane is sufficiently deformed to contact the substrate. From a dynamic perspective, however, the formation of a fluid-filled dimple slows this approach to contact and means that stable attachment is only achieved if adhesion is maintained for a minimum time. The inclusion of a variable membrane tension (as a means of modifying the deformability) gives additional control over the system, allowing new detachment strategies to be explored. △ Less

Submitted 12 February, 2019; originally announced February 2019.

Comments: 18 pages, accepted for publication in Phys. Rev. Fluids

Journal ref: Phys. Rev. Fluids 4, 033601 (2019)

DeepSaucer: Unified Environment for Verifying Deep Neural Networks

Authors: Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael Butler

Abstract: In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of verification methods should be applied to a developed DNN. To apply a number of methods to the DNN, it is necessary to translate either the implementation of the DNN or the verification method so that one runs in the sam… ▽ More In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of verification methods should be applied to a developed DNN. To apply a number of methods to the DNN, it is necessary to translate either the implementation of the DNN or the verification method so that one runs in the same environment as the other. Since those translations are time-consuming, a utility tool, named DeepSaucer, which helps to retain and reuse implementations of DNNs, verification methods, and their environments, is proposed. In DeepSaucer, code snippets of loading DNNs, running verification methods, and creating their environments are retained and reused as software assets in order to reduce cost of verifying DNNs. The feasibility of DeepSaucer is confirmed by implementing it on the basis of Anaconda, which provides virtual environment for loading a DNN and running a verification method. In addition, the effectiveness of DeepSaucer is demonstrated by usecase examples. △ Less

Submitted 8 November, 2018; originally announced November 2018.

Minimal Surfaces and Generalized Einstein-Maxwell-dilaton Theory

Authors: Michael Butler, A. Masoud Ghezelbash

Abstract: We present novel classes of non-stationary solutions to the five-dimensional generalized Einstein-Maxwell-dilaton theory with cosmological constant, in which the Maxwell's filed and the cosmological constant couple to the dilaton field. In the first class of solutions, the two non-zero coupling constants are different while in the second class of solutions, the two coupling constants are equal to… ▽ More We present novel classes of non-stationary solutions to the five-dimensional generalized Einstein-Maxwell-dilaton theory with cosmological constant, in which the Maxwell's filed and the cosmological constant couple to the dilaton field. In the first class of solutions, the two non-zero coupling constants are different while in the second class of solutions, the two coupling constants are equal to each other. We find consistent cosmological solutions with positive, negative or zero cosmological constant, where the cosmological constant depends on the value of one coupling constant in the theory. Moreover, we discuss the physical properties of the five-dimensional solutions and the uniqueness of the solutions in five dimensions by showing the solutions with different coupling constants, can't be uplifted to any Einstein-Maxwell theory in higher dimensions. △ Less

Submitted 7 December, 2018; v1 submitted 30 October, 2018; originally announced October 2018.

Comments: 23 pages, 12 figures. References added. Typos corrected. This article inspired with the method developed in arXiv:1701.01489 and so may have minor text overlap

Journal ref: International Journal of Modern Physics A, 34 (2019) 1950061

Atiyah-Hitchin in Five Dimensional Einstein-Gauss-Bonnet Gravity

Authors: Michael Butler, Masoud Ghezelbash, Erfan Massaeli, Maysam Motaharfar

Abstract: We construct a new class of stationary exact solutions to five-dimensional Einstein-Gauss-Bonnet gravity. The solutions are based on four-dimensional self-dual Atiyah-Hitchin geometry. We find analytical solutions to the five-dimensional metric function that are regular everywhere. We find some constraints on the possible physical solutions by investigating the solutions numerically. We also study… ▽ More We construct a new class of stationary exact solutions to five-dimensional Einstein-Gauss-Bonnet gravity. The solutions are based on four-dimensional self-dual Atiyah-Hitchin geometry. We find analytical solutions to the five-dimensional metric function that are regular everywhere. We find some constraints on the possible physical solutions by investigating the solutions numerically. We also study the behavior of the solutions in the extremal limits of the Atiyah-Hitchin geometry. In the extremal limits, the Atiyah-Hitchin metric reduces to a bolt structure and Euclidean Taub-NUT space, respectively. In these limits, the five-dimensional metric function approaches to a constant value and infinity, respectively. We find the asymptotic metrics are regular everywhere. △ Less

Submitted 12 August, 2018; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: 16 pages, 5 figures

Journal ref: Modern Physics Letters A 33 (2019) 1950232

Monte Carlo Methods for the Game Kingdomino

Authors: Magnus Gedda, Mikael Z. Lagerkvist, Martin Butler

Abstract: Kingdomino is introduced as an interesting game for studying game playing: the game is multiplayer (4 independent players per game); it has a limited game depth (13 moves per player); and it has limited but not insignificant interaction among players. Several strategies based on locally greedy players, Monte Carlo Evaluation (MCE), and Monte Carlo Tree Search (MCTS) are presented with variants.… ▽ More Kingdomino is introduced as an interesting game for studying game playing: the game is multiplayer (4 independent players per game); it has a limited game depth (13 moves per player); and it has limited but not insignificant interaction among players. Several strategies based on locally greedy players, Monte Carlo Evaluation (MCE), and Monte Carlo Tree Search (MCTS) are presented with variants. We examine a variation of UCT called progressive win bias and a playout policy (Player-greedy) focused on selecting good moves for the player. A thorough evaluation is done showing how the strategies perform and how to choose parameters given specific time constraints. The evaluation shows that surprisingly MCE is stronger than MCTS for a game like Kingdomino. All experiments use a cloud-native design, with a game server in a Docker container, and agents communicating using a REST-style JSON protocol. This enables a multi-language approach to separating the game state, the strategy implementations, and the coordination layer. △ Less

Submitted 15 July, 2018; v1 submitted 12 July, 2018; originally announced July 2018.

Comments: To be published in IEEE Conference on Computational Intelligence and Games 2018 (IEEE CIG 2018)

Incremental Database Design using UML-B and Event-B

Authors: Ahmed Al-Brashdi, Michael Butler, Abdolbaghi Rezazadeh

Abstract: Correct operation of many critical systems is dependent on the data consistency and integrity properties of underlying databases. Therefore, a verifiable and rigorous database design process is highly desirable. This research aims to investigate and deliver a comprehensive and practical approach for modelling databases in formal methods through layered refinements. The methodology is being guided… ▽ More Correct operation of many critical systems is dependent on the data consistency and integrity properties of underlying databases. Therefore, a verifiable and rigorous database design process is highly desirable. This research aims to investigate and deliver a comprehensive and practical approach for modelling databases in formal methods through layered refinements. The methodology is being guided by a number of case studies, using abstraction and refinement in UML-B and verification with the Rodin tool. UML-B is a graphical representation of the Event-B formalism and the Rodin tool supports verification for Event-B and UML-B. Our method guides developers to model relational databases in UML-B through layered refinement and to specify the necessary constraints and operations on the database. △ Less

Submitted 14 May, 2018; originally announced May 2018.

Comments: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636

ACM Class: D.2 SOFTWARE ENGINEERING; F.3 LOGICS AND MEANINGS OF PROGRAMS

Journal ref: EPTCS 271, 2018, pp. 34-47

Core Emergence in a Massive Infrared Dark Cloud: A Comparison Between Mid-IR Extinction and 1.3 mm Emission

Authors: Shuo Kong, Jonathan C. Tan, Héctor G. Arce, Paola Caselli, Francesco Fontani, Michael J. Butler

Abstract: Stars are born from dense cores in molecular clouds. Observationally, it is crucial to capture the formation of cores in order to understand the necessary conditions and rate of the star formation process. The {\it Atacama Large Mm/sub-mm Array} (ALMA) is extremely powerful for identifying dense gas structures, including cores, at mm wavelengths via their dust continuum emission. Here we use ALMA… ▽ More Stars are born from dense cores in molecular clouds. Observationally, it is crucial to capture the formation of cores in order to understand the necessary conditions and rate of the star formation process. The {\it Atacama Large Mm/sub-mm Array} (ALMA) is extremely powerful for identifying dense gas structures, including cores, at mm wavelengths via their dust continuum emission. Here we use ALMA to carry out a survey of dense gas and cores in the central region of the massive ($\sim10^5\:M_\odot$) Infrared Dark Cloud (IRDC) G28.37+0.07. The observation consists of a mosaic of 86 pointings of the 12m-array and produces an unprecedented view of the densest structures of this IRDC. In this first paper about this data set, we focus on a comparison between the 1.3 mm continuum emission and a mid-infrared (MIR) extinction map of the IRDC. This allows estimation of the "dense gas" detection probability function (DPF), i.e., as a function of the local mass surface density, $Σ$, for various choices of thresholds of mm continuum emission to define "dense gas". We then estimate the dense gas mass fraction, $f_{\rm dg}$, in the central region of the IRDC and, via extrapolation with the DPF and the known $Σ$ probability distribution function, to the larger-scale surrounding regions, finding values of about 5\% to 15\% for the fiducial choice of threshold. We argue that this observed dense gas is a good tracer of the protostellar core population and, in this context, estimate a star formation efficiency per free-fall time in the central IRDC region of $ε_{\rm ff}\sim$10\%, with approximately a factor of two systematic uncertainties. △ Less

Submitted 20 February, 2018; originally announced February 2018.

Comments: 11 pages, 4 figures, 1 table, accepted by ApJL, comments welcome

The Unknown Subgroup of $Aut(E_8)$

Authors: Majid Butler, De'janeke Johnson, Tomme Denney, Sandernisha Claiborne, Tianna Robinson

Abstract: The $E_8$ lattice has been thoroughly studied for more than a century and nearly all the maximal subgroups of $W(E_8)$ have been described-all except $2A_9$. We will show that $2A_9$ has simple descriptions from three different perspectives: looking at $E_8/2E_8$; looking at the lattice's norm 2 vectors; and looking at its norm 4 vectors. Two of the three descriptions are especially simple:… ▽ More The $E_8$ lattice has been thoroughly studied for more than a century and nearly all the maximal subgroups of $W(E_8)$ have been described-all except $2A_9$. We will show that $2A_9$ has simple descriptions from three different perspectives: looking at $E_8/2E_8$; looking at the lattice's norm 2 vectors; and looking at its norm 4 vectors. Two of the three descriptions are especially simple: $2A_9$ stabilizes a partition of the 2160 norm 4 vectors into nine scale copies of $E_8$; and $2A_9$ stabilizes a partition of the 135 isotropic points of $E_8/2E_8$ into nine disjoint isotropic 4-spaces of 15 points each (so the well-known known isomorphism $A_8$ $\cong$ $L_4$(2) is visible within $E_8$.) △ Less

Submitted 15 February, 2018; v1 submitted 16 September, 2017; originally announced September 2017.

Comments: 3 pages. The 9*240 norm 4 vectors form 9 scale copies of E8

Kiloparsec-Scale Simulations of Star Formation in Disk Galaxies. IV. Regulation of Galactic Star Formation Rates by Stellar Feedback

Authors: Michael J. Butler, Jonathan C. Tan, Romain Teyssier, Joakim Rosdahl, Sven Van Loo, Sarah Nickerson

Abstract: Star formation from the interstellar medium of galactic disks is a basic process controlling the evolution of galaxies. Understanding the star formation rate in a local patch of a disk with a given gas mass is thus an important challenge for theoretical models. Here we simulate a kiloparsec region of a disk, following the evolution of self-gravitating molecular clouds down to subparsec scales, as… ▽ More Star formation from the interstellar medium of galactic disks is a basic process controlling the evolution of galaxies. Understanding the star formation rate in a local patch of a disk with a given gas mass is thus an important challenge for theoretical models. Here we simulate a kiloparsec region of a disk, following the evolution of self-gravitating molecular clouds down to subparsec scales, as they form stars that then inject feedback energy by dissociating and ionizing UV photons and supernova explosions. We assess the relative importance of each feedback mechanism. We find that $\rm H_2$-dissociating feedback results in the largest absolute reduction in star formation compared to the run with no feedback. Subsequently adding photoionization feedback produces a more modest reduction. Our fiducial models that combine all three feedback mechanisms yield, without fine-tuning, star formation rates that are in excellent agreement with observations, with $\rm H_2$-dissociating photons playing a crucial role. Models that only include supernova feedback---a common method in galaxy evolution simulations---settle to similar star formation rates, but with very different temperature and chemical states of the gas, and with very different spatial distributions of young stars. △ Less

Submitted 28 April, 2017; v1 submitted 13 March, 2017; originally announced March 2017.

Comments: 27 pages, 18 figures, accepted to ApJ

Theory Plug-in for Rodin 3.x

Authors: T. S. Hoang, L. Voisin, A. Salehi, M. Butler, T. Wilkinson, N. Beauger

Abstract: The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous version of the Theory plug-in has been implemented based on Rodin 2.x. This presentation outline the main improvements to the The- ory plug-in, to be compatible with Rodin 3.x, in terms of both reliability and us- ability. We… ▽ More The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous version of the Theory plug-in has been implemented based on Rodin 2.x. This presentation outline the main improvements to the The- ory plug-in, to be compatible with Rodin 3.x, in terms of both reliability and us- ability. We will also present the changes that were needed in the Rodin core to accommodate the Theory plug-in. Finally, we identify future enhancements and research directions for the Theory plug-in. △ Less

Submitted 4 January, 2017; originally announced January 2017.

Comments: Event-B day 2016, Tokyo

ACM Class: D.2.4

Zooming in to Massive Star Birth

Authors: Shuo Kong, Jonathan C. Tan, Paola Caselli, Francesco Fontani, Ke Wang, Michael J. Butler

Abstract: We present high resolution (0.2", 1000 AU) 1.3 mm ALMA observations of massive infrared dark cloud clump, G028.37+00.07-C1, thought to harbor the early stages of massive star formation. Using $\rm N_2D^+$(3-2) we resolve the previously identified C1-S core, separating the bulk of its emission from two nearby protostellar sources. C1-S is thus identified as a massive ($\sim50\:M_\odot$), compact (… ▽ More We present high resolution (0.2", 1000 AU) 1.3 mm ALMA observations of massive infrared dark cloud clump, G028.37+00.07-C1, thought to harbor the early stages of massive star formation. Using $\rm N_2D^+$(3-2) we resolve the previously identified C1-S core, separating the bulk of its emission from two nearby protostellar sources. C1-S is thus identified as a massive ($\sim50\:M_\odot$), compact ($\sim0.1\:$pc diameter) starless core, e.g., with no signs of outflow activity. Being highly deuterated, this is a promising candidate for a pre-stellar core on the verge of collapse. An analysis of its dynamical state indicates a sub-virial velocity dispersion compared to a trans-Alfvénic turbulent core model. However, virial equilibrium could be achieved with sub-Alfvénic conditions involving $\sim2\:$mG magnetic field strengths. △ Less

Submitted 16 August, 2018; v1 submitted 20 January, 2017; originally announced January 2017.

Comments: 19 pages, 15 figures, 4 tables, accepted by ApJ

Angular Momentum of Dwarf Galaxies

Authors: Kirsty M. Butler, Danail Obreschkow, Se-Heon Oh

Abstract: We present measurements of baryonic mass Mb and specific angular momentum (sAM) jb in 14 rotating dwarf Irregular (dIrr) galaxies from the LITTLE THINGS sample. These measurements, based on 21cm kinematic data from the Very Large Array and stellar mass maps from the Spitzer Space Telescope, extend previous AM measurements by more than two orders of magnitude in Mb. The dwarf galaxies show systemat… ▽ More We present measurements of baryonic mass Mb and specific angular momentum (sAM) jb in 14 rotating dwarf Irregular (dIrr) galaxies from the LITTLE THINGS sample. These measurements, based on 21cm kinematic data from the Very Large Array and stellar mass maps from the Spitzer Space Telescope, extend previous AM measurements by more than two orders of magnitude in Mb. The dwarf galaxies show systematically higher jb values than expected from the jb~Mb^{2/3} scaling of spiral galaxies, representative of a scale-free galaxy formation scenario. This offset can be explained by decreasing baryon mass fractions fM=Mb Mdyn (where Mdyn is the dynamical mass) with decreasing Mb (for Mb<10^{11}Msun). We find that the sAM of neutral atomic hydrogen HI alone is about 2.5 times higher than that of the stars. The M-j relation of HI is significantly steeper than that of the stars, as a direct consequence of the systematic variation of the HI fraction with Mb. △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 6 pages, 3 figures, 1 table

The AGORA High-Resolution Galaxy Simulations Comparison Project. II: Isolated Disk Test

Authors: Ji-hoon Kim, Oscar Agertz, Romain Teyssier, Michael J. Butler, Daniel Ceverino, Jun-Hwan Choi, Robert Feldmann, Ben W. Keller, Alessandro Lupi, Thomas Quinn, Yves Revaz, Spencer Wallace, Nickolay Y. Gnedin, Samuel N. Leitner, Si**g Shen, Britton D. Smith, Robert Thompson, Matthew J. Turk, Tom Abel, Kenza S. Arraki, Samantha M. Benincasa, Sukanya Chakrabarti, Colin DeGraf, Avishai Dekel, Nathan J. Goldbaum , et al. (18 additional authors not shown)

Abstract: Using an isolated Milky Way-mass galaxy simulation, we compare results from 9 state-of-the-art gravito-hydrodynamics codes widely used in the numerical community. We utilize the infrastructure we have built for the AGORA High-resolution Galaxy Simulations Comparison Project. This includes the common disk initial conditions, common physics models (e.g., radiative cooling and UV background by the st… ▽ More Using an isolated Milky Way-mass galaxy simulation, we compare results from 9 state-of-the-art gravito-hydrodynamics codes widely used in the numerical community. We utilize the infrastructure we have built for the AGORA High-resolution Galaxy Simulations Comparison Project. This includes the common disk initial conditions, common physics models (e.g., radiative cooling and UV background by the standardized package Grackle) and common analysis toolkit yt, all of which are publicly available. Subgrid physics models such as Jeans pressure floor, star formation, supernova feedback energy, and metal production are carefully constrained across code platforms. With numerical accuracy that resolves the disk scale height, we find that the codes overall agree well with one another in many dimensions including: gas and stellar surface densities, rotation curves, velocity dispersions, density and temperature distribution functions, disk vertical heights, stellar clumps, star formation rates, and Kennicutt-Schmidt relations. Quantities such as velocity dispersions are very robust (agreement within a few tens of percent at all radii) while measures like newly-formed stellar clump mass functions show more significant variation (difference by up to a factor of ~3). Systematic differences exist, for example, between mesh-based and particle-based codes in the low density region, and between more diffusive and less diffusive schemes in the high density tail of the density distribution. Yet intrinsic code differences are generally small compared to the variations in numerical implementations of the common subgrid physics such as supernova feedback. Our experiment reassures that, if adequately designed in accordance with our proposed common parameters, results of a modern high-resolution galaxy formation simulation are more sensitive to input physics than to intrinsic differences in numerical schemes. △ Less

Submitted 8 March, 2018; v1 submitted 10 October, 2016; originally announced October 2016.

Comments: 28 pages, 35 figures, Accepted for publication in the Astrophysical Journal, Image resolution greatly reduced, High-resolution version of this article is available at http://www.jihoonkim.org/agora/AGORA_Paper4_draft.pdf, The first paper of the AGORA Initiative is at http://adsabs.harvard.edu/abs/2014ApJS..210...14K, More information on AGORA is at http://www.AGORAsimulations.org/

Journal ref: Astrophysical Journal, 833, 202, 2016

A Hunt for Massive Starless Cores

Authors: Shuo Kong, Jonathan C. Tan, Paola Caselli, Francesco Fontani, Mengyao Liu, Michael J. Butler

Abstract: We carry out an ALMA $\rm N_2D^+$(3-2) and 1.3~mm continuum survey towards 32 high mass surface density regions in seven Infrared Dark Clouds with the aim of finding massive starless cores, which may be the initial conditions for the formation of massive stars. Cores showing strong $\rm N_2D^+$(3-2) emission are expected to be highly deuterated and indicative of early, potentially pre-stellar stag… ▽ More We carry out an ALMA $\rm N_2D^+$(3-2) and 1.3~mm continuum survey towards 32 high mass surface density regions in seven Infrared Dark Clouds with the aim of finding massive starless cores, which may be the initial conditions for the formation of massive stars. Cores showing strong $\rm N_2D^+$(3-2) emission are expected to be highly deuterated and indicative of early, potentially pre-stellar stages of star formation. We also present maps of these regions in ancillary line tracers, including C$^{18}$O(2-1), DCN(3-2) and DCO$^+$(3-2). Over 100 $\rm N_2D^+$ cores are identified with our newly developed core-finding algorithm based on connected structures in position-velocity space. The most massive core has $\sim70\:M_\odot$ (potentially $\sim170\:M_\odot$) and so may be representative of the initial conditions for massive star formation. The existence and dynamical properties of such cores constrain massive star formation theories. We measure the line widths and thus velocity dispersion of six of the cores with strongest $\rm N_2D^+$(3-2) line emission, finding results that are generally consistent with virial equilibrium of pressure confined cores. △ Less

Submitted 28 November, 2016; v1 submitted 19 September, 2016; originally announced September 2016.

Comments: 27 pages, 16 figures, 4 tables, accepted by ApJ, comments welcome

Neural Discourse Modeling of Conversations

Authors: John M. Pierre, Mark Butler, Jacob Portnoff, Luis Aguilar

Abstract: Deep neural networks have shown recent promise in many language-related tasks such as the modeling of conversations. We extend RNN-based sequence to sequence models to capture the long range discourse across many turns of conversation. We perform a sensitivity analysis on how much additional context affects performance, and provide quantitative and qualitative evidence that these models are able t… ▽ More Deep neural networks have shown recent promise in many language-related tasks such as the modeling of conversations. We extend RNN-based sequence to sequence models to capture the long range discourse across many turns of conversation. We perform a sensitivity analysis on how much additional context affects performance, and provide quantitative and qualitative evidence that these models are able to capture discourse relationships across multiple utterances. Our results quantifies how adding an additional RNN layer for modeling discourse improves the quality of output utterances and providing more of the previous conversation as input also improves performance. By searching the generated outputs for specific discourse markers we show how neural discourse models can exhibit increased coherence and cohesion in conversations. △ Less

Submitted 15 July, 2016; originally announced July 2016.

Mid-J CO Shock Tracing Observations of Infrared Dark Clouds III: SLED fitting

Authors: A. Pon, M. J. Kaufman, D. Johnstone, P. Caselli, F. Fontani, M. J. Butler, I. Jiménez-Serra, A. Palau, J. C. Tan

Abstract: Giant molecular clouds contain supersonic turbulence that can locally heat small fractions of gas to over 100 K. We run shock models for low-velocity, C-type shocks propagating into gas with densities between 10^3 and 10^5 cm^(-3) and find that CO lines are the most important cooling lines. Comparison to photodissociation region (PDR) models indicates that mid-J CO lines (J = 8-7 and higher) shoul… ▽ More Giant molecular clouds contain supersonic turbulence that can locally heat small fractions of gas to over 100 K. We run shock models for low-velocity, C-type shocks propagating into gas with densities between 10^3 and 10^5 cm^(-3) and find that CO lines are the most important cooling lines. Comparison to photodissociation region (PDR) models indicates that mid-J CO lines (J = 8-7 and higher) should be dominated by emission from shocked gas. In Papers I and II we presented CO J = 3-2, 8-7, and 9-8 observations toward four primarily quiescent clumps within infrared dark clouds. Here we fit PDR models to the combined spectral line energy distributions and show that the PDR models that best fit the low-J CO emission underpredict the mid-J CO emission by orders of magnitude, strongly hinting at a hot gas component within these clumps. The low-J CO data clearly show that the integrated intensities of both the CO J = 8-7 and 9-8 lines are anomalously high, such that the line ratio can be used to characterize the hot gas component. Shock models are reasonably consistent with the observed mid-J CO emission, with models with densities near 10^(4.5) cm^(-3) providing the best agreement. Where this mid-J CO is detected, the mean volume filling factor of the hot gas is 0.1%. Much of the observed mid-J CO emission, however, is also associated with known protostars and may be due to protostellar feedback. △ Less

Submitted 25 July, 2016; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: 28 pages, 18 figures, accepted by ApJ, grammatical and typesetting corrections

Journal ref: ApJ 827, 107 (2016)

The Distribution of Mass Surface Densities in a High-Mass Protocluster

Authors: Wanggi Lim, Jonathan C. Tan, Jouni Kainulainen, Bo Ma, Michael J. Butler

Abstract: We study the probability distribution function (PDF) of mass surface densities, $Σ$, of infrared dark cloud (IRDC) G028.37+00.07 and its surrounding giant molecular cloud. This PDF constrains the physical processes, such as turbulence, magnetic fields and self-gravity, that are expected to be controlling cloud structure and star formation activity. The chosen IRDC is of particular interest since i… ▽ More We study the probability distribution function (PDF) of mass surface densities, $Σ$, of infrared dark cloud (IRDC) G028.37+00.07 and its surrounding giant molecular cloud. This PDF constrains the physical processes, such as turbulence, magnetic fields and self-gravity, that are expected to be controlling cloud structure and star formation activity. The chosen IRDC is of particular interest since it has almost 100,000 solar masses within a radius of 8 parsecs, making it one of the most massive, dense molecular structures known and is thus a potential site for the formation of a "super star cluster." We study $Σ$ in two ways. First, we use a combination of NIR and MIR extinction maps that are able to probe the bulk of the cloud structure up to $Σ\sim1\:{\rm{g\:cm}^{-2}}\:$($A_V\simeq200$ mag). Second, we study the FIR and sub-mm dust continuum emission from the cloud utilizing Herschel PACS and SPIRE images and paying careful attention to the effects of foreground and background contamination. We find that the PDFs from both methods, applied over a $\sim20^\prime$(30 pc)-sized region that contains $\simeq1.5\times10^5\:M_\odot$ and encloses a minimum closed contour with $Σ\simeq0.013\:{\rm{g\:cm}^{-2}}\:$($A_V\simeq3$ mag), shows a log-normal shape with the peak measured at $Σ\simeq0.021\:{\rm{g\:cm}^{-2}}\:$($A_V\simeq4.7$ mag). There is tentative evidence for the presence of a high-$Σ$ power law tail that contains from $\sim3\%$ to 8\% of the mass of the cloud material. We discuss the implications of these results for the physical processes occurring in this cloud. △ Less

Submitted 7 September, 2016; v1 submitted 30 May, 2016; originally announced May 2016.

Comments: Accepted for publication in the ApJL. 9 pages, 5 figures

Formal Modelling, Testing and Verification of HSA Memory Models using Event-B

Authors: Ashish Darbari, Iain Singleton, Michael Butler, John Colley

Abstract: The HSA Foundation has produced the HSA Platform System Architecture Specification that goes a long way towards addressing the need for a clear and consistent method for specifying weakly consistent memory. HSA is specified in a natural language which makes it open to multiple ambiguous interpretations and could render bugs in implementations of it in hardware and software. In this paper we presen… ▽ More The HSA Foundation has produced the HSA Platform System Architecture Specification that goes a long way towards addressing the need for a clear and consistent method for specifying weakly consistent memory. HSA is specified in a natural language which makes it open to multiple ambiguous interpretations and could render bugs in implementations of it in hardware and software. In this paper we present a formal model of HSA which can be used in the development and verification of both concurrent software applications as well as in the development and verification of the HSA-compliant platform itself. We use the Event-B language to build a provably correct hierarchy of models from the most abstract to a detailed refinement of HSA close to implementation level. Our memory models are general in that they represent an arbitrary number of masters, programs and instruction interleavings. We reason about such general models using refinements. Using Rodin tool we are able to model and verify an entire hierarchy of models using proofs to establish that each refinement is correct. We define an automated validation method that allows us to test baseline compliance of the model against a suite of published HSA litmus tests. Once we complete model validation we develop a coverage driven method to extract a richer set of tests from the Event-B model and a user specified coverage model. These tests are used for extensive regression testing of hardware and software systems. Our method of refinement based formal modelling, baseline compliance testing of the model and coverage driven test extraction using the single language of Event-B is a new way to address a key challenge facing the design and verification of multi-core systems. △ Less

Submitted 16 May, 2016; originally announced May 2016.

Comments: 9 pages, 10 figures

An Ordered Bipolar Outflow from a Massive Early-Stage Core

Authors: Jonathan C. Tan, Shuo Kong, Yichen Zhang, Francesco Fontani, Paola Caselli, Michael J. Butler

Abstract: We present ALMA follow-up observations of two massive, early-stage core candidates, C1-N & C1-S, in Infrared Dark Cloud (IRDC) G028.37+00.07, which were previously identified by their N2D+(3-2) emission and show high levels of deuteration of this species. The cores are also dark at far infrared wavelengths up to ~100 microns. We detect 12CO(2-1) from a narrow, highly-collimated bipolar outflow tha… ▽ More We present ALMA follow-up observations of two massive, early-stage core candidates, C1-N & C1-S, in Infrared Dark Cloud (IRDC) G028.37+00.07, which were previously identified by their N2D+(3-2) emission and show high levels of deuteration of this species. The cores are also dark at far infrared wavelengths up to ~100 microns. We detect 12CO(2-1) from a narrow, highly-collimated bipolar outflow that is being launched from near the center of the C1-S core, which is also the location of the peak 1.3mm dust continuum emission. This protostar, C1-Sa, has associated dense gas traced by C18O(2-1) and DCN(3-2), from which we estimate it has a radial velocity that is near the center of the range exhibited by the C1-S massive core. A second outflow-driving source is also detected within the projected boundary of C1-S, but appears to be at a different radial velocity. After considering properties of the outflows, we conclude C1-Sa is a promising candidate for an early-stage massive protostar and as such it shows that these early phases of massive star formation can involve highly ordered outflow, and thus accretion, processes, similar to models developed to explain low-mass protostars. △ Less

Submitted 2 March, 2016; v1 submitted 24 January, 2016; originally announced January 2016.

Comments: Accepted to ApJ Letters after minor revisions

Optical measurements of strong microwave fields with Rydberg atoms in a vapor cell

Authors: David A. Anderson, Stephanie A. Miller, Joshua A. Gordon, Miranda L. Butler, Christopher L. Holloway, Georg Raithel

Abstract: We present a spectral analysis of Rydberg atoms in strong microwave fields using electromagnetically induced transparency (EIT) as an all-optical readout. The measured spectroscopic response enables optical, atom-based electric field measurements of high-power microwaves. In our experiments, microwaves are irradiated into a room-temperature rubidium vapor cell. The microwaves are tuned near the tw… ▽ More We present a spectral analysis of Rydberg atoms in strong microwave fields using electromagnetically induced transparency (EIT) as an all-optical readout. The measured spectroscopic response enables optical, atom-based electric field measurements of high-power microwaves. In our experiments, microwaves are irradiated into a room-temperature rubidium vapor cell. The microwaves are tuned near the two-photon 65D-66D Rydberg transition and reach an electric field strength of 230V/m, about 20% of the microwave ionization threshold of these atoms. A Floquet treatment is used to model the Rydberg level energies and their excitation rates. We arrive at an empirical model for the field-strength distribution inside the spectroscopic cell that yields excellent overall agreement between the measured and calculated Rydberg EIT-Floquet spectra. Using spectral features in the Floquet maps we achieve an absolute strong-field measurement precision of 6%. △ Less

Submitted 11 January, 2016; originally announced January 2016.

Journal ref: Phys. Rev. Applied 5, 034003 (2016)

Mid-J CO shock tracing observations of infrared dark clouds II Low-J CO constraints on excitation, depletion, and kinematics

Authors: A. Pon, D. Johnstone, P. Caselli, F. Fontani, A. Palau, M. J. Butler, M. Kaufman, I. Jiménez-Serra, J. C. Tan

Abstract: Infrared dark clouds are kinematically complex molecular structures in the interstellar medium that can host sites of massive star formation. We present 4 square arcminute maps of the 12CO, 13CO, and C18O J = 3 to 2 lines from selected locations within the C and F (G028.37+00.07 and G034.43+00.24) infrared dark clouds (IRDCs), as well as single pointing observations of the 13CO and C18O J = 2 to 1… ▽ More Infrared dark clouds are kinematically complex molecular structures in the interstellar medium that can host sites of massive star formation. We present 4 square arcminute maps of the 12CO, 13CO, and C18O J = 3 to 2 lines from selected locations within the C and F (G028.37+00.07 and G034.43+00.24) infrared dark clouds (IRDCs), as well as single pointing observations of the 13CO and C18O J = 2 to 1 lines towards three cores within these clouds. We derive CO gas temperatures throughout the maps and find that CO is significantly frozen out within these IRDCs. We find that the CO depletion tends to be the highest near column density peaks, with maximum depletion factors between 5 and 9 in IRDC F and between 16 and 31 in IRDC C. We also detect multiple velocity components and complex kinematic structure in both IRDCs. Therefore, the kinematics of IRDCs seem to point to dynamically evolving structures yielding dense cores with considerable depletion factors. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 23 pages, 20 figures, accepted by A&A

Journal ref: A&A 587, A96 (2016)

The Deuterium Fraction in Massive Starless Cores and Dynamical Implications

Authors: Shuo Kong, Jonathan C. Tan, Paola Caselli, Francesco Fontani, Thushara Pillai, Michael J. Butler, Yoshito Shimajiri, Fumitaka Nakamura, Takeshi Sakai

Abstract: We study deuterium fractionation in two massive starless/early-stage cores C1-N and C1-S in Infrared Dark Cloud (IRDC) G028.37+00.07, first identified by Tan et al. (2013) with ALMA. Line emission from multiple transitions of $\rm N_2H^+$ and $\rm N_2D^+$ were observed with the ALMA, CARMA, SMA, JCMT, NRO 45m and IRAM 30m telescopes. By simultaneously fitting the spectra, we estimate the excitatio… ▽ More We study deuterium fractionation in two massive starless/early-stage cores C1-N and C1-S in Infrared Dark Cloud (IRDC) G028.37+00.07, first identified by Tan et al. (2013) with ALMA. Line emission from multiple transitions of $\rm N_2H^+$ and $\rm N_2D^+$ were observed with the ALMA, CARMA, SMA, JCMT, NRO 45m and IRAM 30m telescopes. By simultaneously fitting the spectra, we estimate the excitation conditions and deuterium fraction, $D_{\rm frac}^{\rm N_2H^+} \equiv [\rm N_2D^+]/[N_2H^+]$, with values of $D_{\rm frac}^{\rm N_2H^+} \simeq 0.2$--$0.7$, several orders of magnitude above the cosmic [D]/[H] ratio. Additional observations of o-H$_2$D$^+$ are also presented that help constrain the ortho-to-para ratio of $\rm H_2$, which is a key quantity affecting the degree of deuteration. We then present chemodynamical modeling of the two cores, exploring especially the implications for the collapse rate relative to free-fall, $α_{\rm ff}$. In order to reach the high level of observed deuteration of $\rm N_2H^+$, we find that the most likely evolutionary history of the cores involves collapse at a relatively slow rate, $\lesssim1/10$th of free-fall. △ Less

Submitted 7 May, 2016; v1 submitted 29 September, 2015; originally announced September 2015.

Comments: 22 pages, 19 figures, accepted by ApJ

Detecting adaptive evolution in phylogenetic comparative analysis using the Ornstein-Uhlenbeck model

Authors: Clayton E. Cressler, Marguerite A. Butler, Aaron A. King

Abstract: Phylogenetic comparative analysis is an approach to inferring evolutionary process from a combination of phylogenetic and phenotypic data. The last few years have seen increasingly sophisticated models employed in the evaluation of more and more detailed evolutionary hypotheses, including adaptive hypotheses with multiple selective optima and hypotheses with rate variation within and across lineag… ▽ More Phylogenetic comparative analysis is an approach to inferring evolutionary process from a combination of phylogenetic and phenotypic data. The last few years have seen increasingly sophisticated models employed in the evaluation of more and more detailed evolutionary hypotheses, including adaptive hypotheses with multiple selective optima and hypotheses with rate variation within and across lineages. The statistical performance of these sophisticated models has received relatively little systematic attention, however. We conducted an extensive simulation study to quantify the statistical properties of a class of models toward the simpler end of the spectrum that model phenotypic evolution using Ornstein-Uhlenbeck processes. We focused on identifying where, how, and why these methods break down so that users can apply them with greater understanding of their strengths and weaknesses. Our analysis identifies three key determinants of performance: a discriminability ratio, a signal-to-noise ratio, and the number of taxa sampled. Interestingly, we find that model-selection power can be high even in regions that were previously thought to be difficult, such as when tree size is small. On the other hand, we find that model parameters are in many circumstances difficult to estimate accurately, indicating a relative paucity of information in the data relative to these parameters. Nevertheless, we note that accurate model selection is often possible when parameters are only weakly identified. Our results have implications for more sophisticated methods inasmuch as the latter are generalizations of the case we study. △ Less

Submitted 25 June, 2015; originally announced June 2015.

Comments: 38 pages, in press at Systematic Biology