Showing 1–50 of 66 results for author: Hammer, M

An MHD-based model for wind-driven disc-planet interactions

Authors: Michael Hammer, Min-Kai Lin

Abstract: Hydrodynamic simulations of protoplanetary discs with planets typically assume that the disc is viscously driven, even though magnetic disc winds are now considered the primary driver of angular momentum transport through the disc. Magnetic disc winds are typically left out of hydrodynamic simulations because they require a magneto-hydrodynamic (MHD) treatment and an entire 3D domain, both of whic… ▽ More Hydrodynamic simulations of protoplanetary discs with planets typically assume that the disc is viscously driven, even though magnetic disc winds are now considered the primary driver of angular momentum transport through the disc. Magnetic disc winds are typically left out of hydrodynamic simulations because they require a magneto-hydrodynamic (MHD) treatment and an entire 3D domain, both of which are computationally expensive. Some studies have attempted to incorporate disc winds into disc-planet simulations without full MHD by adding a torque to mimic the effects of a disc wind. However, these studies predate any explicit 3D MHD simulations of planets in the presence of a disc wind. In light of recent MHD studies of disc winds beginning to include a planet, we develop a new disc wind prescription based on these studies and test its efficacy. With three main components, namely (i) excess torque in the planetary gap region, (ii) an MHD-based radial profile for the background torque, and (iii) a moderate level of viscosity, we find that we can essentially reproduce planetary gap profiles for planets above the thermal mass. With lower-mass planets, however, we find it more difficult to reproduce their gap structure. Lastly, we explore the planet's migration path and find that the planet rapidly migrates inwards due to the excess torque in the gap. △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: 20 pages, 22 figures; Accepted to MNRAS

Functional Verification for Endcap Concentrator ASICs in the High-Granularity Calorimeter Upgrade of CMS

Authors: M. Lupi, G. Bergamin, D. Ceresa, D. Coko, G. Cummings, V. Gingu, M. Hammer, J. Hirschauer, J. Hoff, N. Kharwadkar, S. Kulis, C. Mantilla-Suarez, D. Noonan, P. Rubinov, S. Scarfì, A. Shenai, C. Syal, X. Wang, R. Wickwire, J. Wilson

Abstract: The High-Granularity Calorimeter (HGCAL) will replace the current CMS Endcap Calorimeter during Long-Shutdown 3. The Endcap Concentrator (ECON) ASICs represent key elements in the readout chain, processing trigger (ECON-T) and data (ECON-D) streams from the HGCROC to the lpGBT. The ECONs will operate in a radiation environment with a High-Energy Hadron (${E\geq20MeV}$) flux up to… ▽ More The High-Granularity Calorimeter (HGCAL) will replace the current CMS Endcap Calorimeter during Long-Shutdown 3. The Endcap Concentrator (ECON) ASICs represent key elements in the readout chain, processing trigger (ECON-T) and data (ECON-D) streams from the HGCROC to the lpGBT. The ECONs will operate in a radiation environment with a High-Energy Hadron (${E\geq20MeV}$) flux up to $2\cdot10^{7} cm^{-2}s^{-1}$. This contribution describes the Universal Verification Methodology (UVM)-based functional verification of the ECON ASICs focusing on the re-use of existing components to manage the complexity of the verification environment. △ Less

Submitted 15 January, 2025; v1 submitted 5 November, 2024; originally announced November 2024.

Comments: - TWEPP 2024 proceeding - 5 pages + title page, 2 figures

Report number: CMS CR-2024/264

ChatGPT Code Detection: Techniques for Uncovering the Source of Code

Authors: Marc Oedingen, Raphael C. Engelhardt, Robin Denz, Maximilian Hammer, Wolfgang Konen

Abstract: In recent times, large language models (LLMs) have made significant strides in generating computer code, blurring the lines between code created by humans and code produced by artificial intelligence (AI). As these technologies evolve rapidly, it is crucial to explore how they influence code generation, especially given the risk of misuse in areas like higher education. This paper explores this is… ▽ More In recent times, large language models (LLMs) have made significant strides in generating computer code, blurring the lines between code created by humans and code produced by artificial intelligence (AI). As these technologies evolve rapidly, it is crucial to explore how they influence code generation, especially given the risk of misuse in areas like higher education. This paper explores this issue by using advanced classification techniques to differentiate between code written by humans and that generated by ChatGPT, a type of LLM. We employ a new approach that combines powerful embedding features (black-box) with supervised learning algorithms - including Deep Neural Networks, Random Forests, and Extreme Gradient Boosting - to achieve this differentiation with an impressive accuracy of 98%. For the successful combinations, we also examine their model calibration, showing that some of the models are extremely well calibrated. Additionally, we present white-box features and an interpretable Bayes classifier to elucidate critical differences between the code sources, enhancing the explainability and transparency of our approach. Both approaches work well but provide at most 85-88% accuracy. We also show that untrained humans solve the same task not better than random guessing. This study is crucial in understanding and mitigating the potential risks associated with using AI in code generation, particularly in the context of higher education, software development, and competitive programming. △ Less

Submitted 3 July, 2024; v1 submitted 24 May, 2024; originally announced May 2024.

Comments: Accepted for publication in MDPI AI Journal

Journal ref: AI. 2024; 5(3):1066-1094

Assimilation of ground and satellite magnetic measurements: inference of core surface magnetic and velocity field changes

Authors: Olivier Barrois, Magnus D. Hammer, Christopher C. Finlay, Yannick Martin, Nicolas Gillet

Abstract: We jointly invert for magnetic and velocity fields at the core surface over the period 1997-2017, directly using ground-based observatory time series and measurements from the CHAMP and Swarm satellites. Satellite data are reduced to the form of virtual observatory time series distributed on a regular grid in space. Such a sequential storage helps incorporate voluminous modern magnetic data into a… ▽ More We jointly invert for magnetic and velocity fields at the core surface over the period 1997-2017, directly using ground-based observatory time series and measurements from the CHAMP and Swarm satellites. Satellite data are reduced to the form of virtual observatory time series distributed on a regular grid in space. Such a sequential storage helps incorporate voluminous modern magnetic data into a stochastic Kalman filter, whereby spatial constraints are incorporated based on a norm derived from statistics of a numerical geodynamo model. Our algorithm produces consistent solutions both in terms of the misfit to the data and the estimated posterior model uncertainties. We retrieve core flow features previously documented from the analysis of spherical harmonic field models, such as the eccentric anti-cyclonic gyre. We find enhanced diffusion patterns under both Indonesia and Africa. In contrast to a steady flow that is strong under the Atlantic hemisphere but very weak below the Pacific, interannual motions appear evenly distributed over the two hemispheres. Recovered interannual to decadal flow changes are predominantly symmetrical with respect to the equator outside the tangent cylinder. In contrast, under the Northern Pacific we find an intensification of a high latitude jet, but see no evidence for a corresponding feature in the Southern hemisphere. The largest flow accelerations that we isolate over the studied era are associated with meanders, attached to the equatorward meridional branch of the planetary gyre in the Eastern hemisphere, that is l △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: Geophysical Journal International publication; Earth core; Data assimilation; Core flows inversion; 19 pages; 14 figures

Journal ref: GJI, 2018, 215, 695-712

An Exploration of Mars Colonization with Agent-Based Modeling

Authors: Edgar Arguello, Sam Carter, Cristina Grieg, Michael Hammer, Chris Prather, Clark Petri, Anamaria Berea

Abstract: Establishing a human settlement on Mars is an incredibly complex engineering problem. The inhospitable nature of the Martian environment requires any habitat to be largely self-sustaining. Beyond mining a few basic minerals and water, the colonizers will be dependent on Earth resupply and replenishment of necessities via technological means, i.e., splitting Martian water into oxygen for breathing… ▽ More Establishing a human settlement on Mars is an incredibly complex engineering problem. The inhospitable nature of the Martian environment requires any habitat to be largely self-sustaining. Beyond mining a few basic minerals and water, the colonizers will be dependent on Earth resupply and replenishment of necessities via technological means, i.e., splitting Martian water into oxygen for breathing and hydrogen for fuel. Beyond the technical and engineering challenges, future colonists will also face psychological and human behavior challenges. Our goal is to better understand the behavioral and psychological interactions of future Martian colonists through an Agent-Based Modeling (ABM simulation) approach. We seek to identify areas of consideration for planning a colony as well as propose a minimum initial population size required to create a stable colony. Accounting for engineering and technological limitations, we draw on research regarding high performing teams in isolated and high stress environments (ex: submarines, Arctic exploration, ISS, war) to include the 4 basic personality types within the ABM. Interactions between agents with different psychological profiles are modeled at the individual level, while global events such as accidents or delays in Earth resupply affect the colony as a whole. From our multiple simulations and scenarios (up to 28 Earth years), we found that an initial population of 22 was the minimum required to maintain a viable colony size over the long run. We also found that the agreeable personality type was the one more likely to survive. We find, contrary to other literature, that the minimum number of people with all personality types that can lead to a sustainable settlement is in the tens and not hundreds. △ Less

Submitted 10 August, 2023; originally announced August 2023.

How to form compact & other longer-lived planet-induced vortices: VSI, planet migration, or re-triggers, but not feedback

Authors: Michael Hammer, Min-Kai Lin

Abstract: Past computational studies of planet-induced vortices have shown that the dust asymmetries associated with these vortices can be long-lived enough that they should be much more common in mm/sub-mm observations of protoplanetary discs, even though they are quite rare. Observed asymmetries also have a range of azimuthal extents from compact to elongated even though computational studies have shown p… ▽ More Past computational studies of planet-induced vortices have shown that the dust asymmetries associated with these vortices can be long-lived enough that they should be much more common in mm/sub-mm observations of protoplanetary discs, even though they are quite rare. Observed asymmetries also have a range of azimuthal extents from compact to elongated even though computational studies have shown planet-induced vortices should be preferentially elongated. In this study, we use 2-D and 3-D hydrodynamic simulations to test whether those dust asymmetries should really be so long-lived or so elongated. With higher resolution (29 cells radially per scale height) than our previous work, we find that vortices can be more compact by developing compact cores when higher-mass planets cause them to re-form, or if they are seeded by tiny compact vortices from the vertical shear instability (VSI), but not through dust feedback in 3-D as was previously expected in general. Any case with a compact vortex or core(s) also has a longer lifetime. Even elongated vortices can have longer lifetimes with higher-mass planets or if the associated planet is allowed to migrate, the latter of which can cause the dust asymmetry to stop decaying as the planet migrates away from the vortex. These longer dust asymmetry lifetimes are even more inconsistent with observations, perhaps suggesting that discs still have an intermediate amount of effective viscosity. △ Less

Submitted 5 December, 2023; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: 24 pages, 21 figures; Published in MNRAS

Community-developed checklists for publishing images and image analysis

Authors: Christopher Schmied, Michael Nelson, Sergiy Avilov, Gert-Jan Bakker, Cristina Bertocchi, Johanna Bischof, Ulrike Boehm, Jan Brocher, Mariana Carvalho, Catalin Chiritescu, Jana Christopher, Beth Cimini, Eduardo Conde-Sousa, Michael Ebner, Rupert Ecker, Kevin Eliceiri, Julia Fernandez-Rodriguez, Nathalie Gaudreault, Laurent Gelman, David Grunwald, Tingting Gu, Nadia Halidi, Mathias Hammer, Matthew Hartley, Marie Held , et al. (29 additional authors not shown)

Abstract: Images document scientific discoveries and are prevalent in modern biomedical research. Microscopy imaging in particular is currently undergoing rapid technological advancements. However for scientists wishing to publish the obtained images and image analyses results, there are to date no unified guidelines. Consequently, microscopy images and image data in publications may be unclear or difficult… ▽ More Images document scientific discoveries and are prevalent in modern biomedical research. Microscopy imaging in particular is currently undergoing rapid technological advancements. However for scientists wishing to publish the obtained images and image analyses results, there are to date no unified guidelines. Consequently, microscopy images and image data in publications may be unclear or difficult to interpret. Here we present community-developed checklists for preparing light microscopy images and image analysis for publications. These checklists offer authors, readers, and publishers key recommendations for image formatting and annotation, color selection, data availability, and for reporting image analysis workflows. The goal of our guidelines is to increase the clarity and reproducibility of image figures and thereby heighten the quality of microscopy data is in publications. △ Less

Submitted 14 September, 2023; v1 submitted 14 February, 2023; originally announced February 2023.

Comments: 28 pages, 8 Figures, 3 Supplmentary Figures, Manuscript, Essential recommendations for publication of microscopy image data

Weak optical modes for high-density and low-loss photonic circuit

Authors: Hamed Nikbakht, Bob van Someren, Manfred Hammer, B. Imran Akca

Abstract: Dielectric optical waveguides constitute the main building blocks of photonic integrated circuits (PICs). Channels with high refractive index contrast can provide very compact PIC components whereas structures with lower index exhibit less propagation loss. A hybrid concept that can combine the best of high- and low-index materials is highly required. Here, we devise a new approach to realize comp… ▽ More Dielectric optical waveguides constitute the main building blocks of photonic integrated circuits (PICs). Channels with high refractive index contrast can provide very compact PIC components whereas structures with lower index exhibit less propagation loss. A hybrid concept that can combine the best of high- and low-index materials is highly required. Here, we devise a new approach to realize compact and low-loss hybrid optical waveguides based on the interaction of weak optical modes. This is a rather universal approach that can be applied to a wide range of optical materials. To prove the principle, the hybrid waveguide structure is formed by combining a low-index polymer and a thin layer of silicon nitride. For this material combination, a minimum bending radius of 90 micron (for a bending loss of 0.005 dB/90o ) and an upper limit for the optical loss of 0.7 dB/cm are achieved. The viability of this platform is demonstrated through a series of high-performance novel PIC components. This hybrid waveguide platform enabled by a powerful and simple design concept holds great promise for high-density and low-loss PICs. △ Less

Submitted 30 January, 2023; originally announced January 2023.

Performance of the CMS High Granularity Calorimeter prototype to charged pion beams of 20$-$300 GeV/c

Authors: B. Acar, G. Adamov, C. Adloff, S. Afanasiev, N. Akchurin, B. Akgün, M. Alhusseini, J. Alison, J. P. Figueiredo de sa Sousa de Almeida, P. G. Dias de Almeida, A. Alpana, M. Alyari, I. Andreev, U. Aras, P. Aspell, I. O. Atakisi, O. Bach, A. Baden, G. Bakas, A. Bakshi, S. Banerjee, P. DeBarbaro, P. Bargassa, D. Barney, F. Beaudette , et al. (435 additional authors not shown)

Abstract: The upgrade of the CMS experiment for the high luminosity operation of the LHC comprises the replacement of the current endcap calorimeter by a high granularity sampling calorimeter (HGCAL). The electromagnetic section of the HGCAL is based on silicon sensors interspersed between lead and copper (or copper tungsten) absorbers. The hadronic section uses layers of stainless steel as an absorbing med… ▽ More The upgrade of the CMS experiment for the high luminosity operation of the LHC comprises the replacement of the current endcap calorimeter by a high granularity sampling calorimeter (HGCAL). The electromagnetic section of the HGCAL is based on silicon sensors interspersed between lead and copper (or copper tungsten) absorbers. The hadronic section uses layers of stainless steel as an absorbing medium and silicon sensors as an active medium in the regions of high radiation exposure, and scintillator tiles directly readout by silicon photomultipliers in the remaining regions. As part of the development of the detector and its readout electronic components, a section of a silicon-based HGCAL prototype detector along with a section of the CALICE AHCAL prototype was exposed to muons, electrons and charged pions in beam test experiments at the H2 beamline at the CERN SPS in October 2018. The AHCAL uses the same technology as foreseen for the HGCAL but with much finer longitudinal segmentation. The performance of the calorimeters in terms of energy response and resolution, longitudinal and transverse shower profiles is studied using negatively charged pions, and is compared to GEANT4 predictions. This is the first report summarizing results of hadronic showers measured by the HGCAL prototype using beam test data. △ Less

Submitted 27 May, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: Accepted for publication by JINST

An asymmetric non-uniform 3-dB directional coupler with 300-nm bandwidth

Authors: Hamed Nikbakht, Mohammad Talebi Khoshmehr, Bob Van Someren, Dieter Teichrib, Manfred Hammer, Jens Forstner, B. Imran Akca

Abstract: Here, we demonstrate a new type of 3-dB coupler that has an ultra-broadband operational range starting from 1300 nm to 1600 nm with low fabrication sensitivity. Overall device size is 800 micron including in/out S-bend waveguides. The coupler is an asymmetric non-uniform directional coupler that consists of two tapered waveguides. One of the coupler arms is shifted by 130 micron in the propagation… ▽ More Here, we demonstrate a new type of 3-dB coupler that has an ultra-broadband operational range starting from 1300 nm to 1600 nm with low fabrication sensitivity. Overall device size is 800 micron including in/out S-bend waveguides. The coupler is an asymmetric non-uniform directional coupler that consists of two tapered waveguides. One of the coupler arms is shifted by 130 micron in the propagation direction, which reduces the phase mismatch between the odd and even mode of the coupled system resulting in a better wavelength-flattened response compared to a not shifted coupler. Moreover, compared to a long adiabatic coupler, we achieved a similar wavelength response at 16 times smaller device length. The couplers were fabricated using the silicon nitride platform of Lionix International. We also experimentally demonstrated an optical switch that is made by using two of these couplers in a Mach Zehnder interferometer configuration. According to experimental results, this optical switch exhibits -10 dB of extinction ratio over a 100 nm wavelength range (1500-1600 nm). Our results indicate that the asymmetric non-uniform directional coupler holds great promise for various applications including optical imaging, telecommunications, and reconfigurable photonic processors where compact, fabrication-tolerant and wavelength-insensitive couplers are essential. △ Less

Submitted 24 September, 2022; v1 submitted 25 August, 2022; originally announced August 2022.

A lightweight, user-configurable detector ASIC digital architecture with on-chip data compression for MHz X-ray coherent diffraction imaging

Authors: Sebastian Strempfer, Tao Zhou, Kazutomo Yoshii, Mike Hammer, Anakha Babu, Dawid Bycul, John Weizeorick, Mathew J. Cherukara, Antonino Miceli

Abstract: Today, most X-ray pixel detectors used at light sources transmit raw pixel data off the detector ASIC. With the availability of more advanced ASIC technology nodes for scientific application, more digital functionality from the computing domains (e.g., compression) can be integrated directly into a detector ASIC to increase data velocity. In this paper, we describe a lightweight, user-configurable… ▽ More Today, most X-ray pixel detectors used at light sources transmit raw pixel data off the detector ASIC. With the availability of more advanced ASIC technology nodes for scientific application, more digital functionality from the computing domains (e.g., compression) can be integrated directly into a detector ASIC to increase data velocity. In this paper, we describe a lightweight, user-configurable detector ASIC digital architecture with on-chip compression which can be implemented in \SI{130}{\nm} technologies in a reasonable area on the ASIC periphery. In addition, we present a design to efficiently handle the variable data from the stream of parallel compressors. The architecture includes user-selectable lossy and lossless compression blocks. The impact of lossy compression algorithms is evaluated on simulated and experimental X-ray ptychography datasets. This architecture is a practical approach to increase pixel detector frame rates towards the continuous \SI{1}{\MHz} regime for not only coherent imaging techniques such as ptychography, but also for other diffraction techniques at X-ray light sources. △ Less

Submitted 29 July, 2022; originally announced August 2022.

Secular variation signals in magnetic field gradient tensor elements derived from satellite-based geomagnetic virtual observatories

Authors: Magnus Danel Hammer, Christopher C. Finlay, Nils Olsen

Abstract: We present local time-series of the magnetic field gradient tensor elements at satellite altitude derived using a Geomagnetic Virtual Observatory (GVO) approach. Gradient element timeseries are computed in 4-monthly bins on an approximately equal-area distributed worldwide network. This enables global investigations of spatio temporal variations in the gradient tensor elements. Series are derived… ▽ More We present local time-series of the magnetic field gradient tensor elements at satellite altitude derived using a Geomagnetic Virtual Observatory (GVO) approach. Gradient element timeseries are computed in 4-monthly bins on an approximately equal-area distributed worldwide network. This enables global investigations of spatio temporal variations in the gradient tensor elements. Series are derived from data collected by the Swarm and CHAMP satellite missions, using vector field measurements and their along-track and east-west differences, when available. We find evidence for a regional secular variation impulse (jerk) event in 2017 in the first time derivative of the gradient tensor elements. This event is located at low latitudes in the Pacific region. It has a similar profile and amplitude regardless of the adopted data selection criteria and is well fit by an internal potential field. Spherical harmonic models of the internal magnetic field built from the GVO gradient series show lower scatter in near-zonal harmonics compared with models built using standard GVO vector field series. The GVO gradient element series are an effective means of compressing the spatio temporal information gathered by low-Earth orbit satellites on geomagnetic field variations, which may prove useful for core flow inversions and in geodynamo data assimilation studies. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Journal ref: Geophys. J. Int. (2022) 229, 2096-2114

Rapid Variations of Earth's Core Magnetic Field

Authors: V. Lesur, N. Gillet, M. D. Hammer, M. Mandea

Abstract: Evidence of fast variations in the Earth's core field are seen both in magnetic observatory and satellite records. We present here how they have been identified at the Earth's surface from ground-based observatory records and how their spatio-temporal structure is now characterised by satellite data. It is shown how their properties at the core mantle boundary are extracted through localised and g… ▽ More Evidence of fast variations in the Earth's core field are seen both in magnetic observatory and satellite records. We present here how they have been identified at the Earth's surface from ground-based observatory records and how their spatio-temporal structure is now characterised by satellite data. It is shown how their properties at the core mantle boundary are extracted through localised and global modelling processes, paying particular attention to their time scales. Finally are listed possible types of waves in the liquid outer core, together with their main properties, that may give rise to these observed fast variations. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Journal ref: Surveys in Geophysics 2022

Applications for CryoSat2 satellite magnetic data in studies of Earth's core field variations

Authors: Magnus Danel Hammer, Christopher C. Finlay, Nils Olsen

Abstract: We use 20 years of magnetic field measurements from the Oersted, CHAMP and Swarm satellite missions, supplemented by calibrated platform magnetometer data from the CryoSat2 satellite, to study time variations of the Earth's core field at satellite altitude and at the core-mantle boundary (CMB). From the satellite data we derive composite time series of the core field secular variation (SV) with 4m… ▽ More We use 20 years of magnetic field measurements from the Oersted, CHAMP and Swarm satellite missions, supplemented by calibrated platform magnetometer data from the CryoSat2 satellite, to study time variations of the Earth's core field at satellite altitude and at the core-mantle boundary (CMB). From the satellite data we derive composite time series of the core field secular variation (SV) with 4month cadence, at 300 globally distributed Geomagnetic Virtual Observatories (GVO). GVO radial SV series display regional fluctuations with 5-10 years duration and amplitudes reaching 20 nT/yr, most notably at low latitudes over Indonesia (2014), over South America and the South Atlantic (2007, 2011 and 2014), and over the central Pacific (2017). Applying the Subtractive Optimally Localized Averages (SOLA) method, we map the SV at the CMB as a collection of locally averaged SV estimates. We demonstrate that using 2-year windows of CryoSat2 data, it is possible to reliably estimate the SV and its time derivative, the secular acceleration (SA), at the CMB, with a spatial resolution, corresponding to spherical harmonic degree 10. Along the CMB geographic equator, we find strong SA features under Indonesia from 2011-2014, under central America from 2015 to 2019, and sequences of SA with alternating sign under the Atlantic during 2004-2019. We find that data from CryoSat2 make a valuable contribution to the emerging picture of sub-decadal core field variations. Using 1 year windows of data from the Swarm satellites, it is possible to study SA changes at low latitudes on timescales down to 1 year, with spatial resolution corresponding to spherical harmonic degree 10. We find strong positive and negative SA features appearing side-by-side in the Pacific in 2017, and thereafter drift westward. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Journal ref: Planets and Space (2021) 73:73

Response of a CMS HGCAL silicon-pad electromagnetic calorimeter prototype to 20-300 GeV positrons

Authors: B. Acar, G. Adamov, C. Adloff, S. Afanasiev, N. Akchurin, B. Akgün, F. Alam Khan, M. Alhusseini, J. Alison, A. Alpana, G. Altopp, M. Alyari, S. An, S. Anagul, I. Andreev, P. Aspell, I. O. Atakisi, O. Bach, A. Baden, G. Bakas, A. Bakshi, S. Bannerjee, P. Bargassa, D. Barney, F. Beaudette , et al. (364 additional authors not shown)

Abstract: The Compact Muon Solenoid Collaboration is designing a new high-granularity endcap calorimeter, HGCAL, to be installed later this decade. As part of this development work, a prototype system was built, with an electromagnetic section consisting of 14 double-sided structures, providing 28 sampling layers. Each sampling layer has an hexagonal module, where a multipad large-area silicon sensor is glu… ▽ More The Compact Muon Solenoid Collaboration is designing a new high-granularity endcap calorimeter, HGCAL, to be installed later this decade. As part of this development work, a prototype system was built, with an electromagnetic section consisting of 14 double-sided structures, providing 28 sampling layers. Each sampling layer has an hexagonal module, where a multipad large-area silicon sensor is glued between an electronics circuit board and a metal baseplate. The sensor pads of approximately 1 cm$^2$ are wire-bonded to the circuit board and are readout by custom integrated circuits. The prototype was extensively tested with beams at CERN's Super Proton Synchrotron in 2018. Based on the data collected with beams of positrons, with energies ranging from 20 to 300 GeV, measurements of the energy resolution and linearity, the position and angular resolutions, and the shower shapes are presented and compared to a detailed Geant4 simulation. △ Less

Submitted 31 March, 2022; v1 submitted 12 November, 2021; originally announced November 2021.

A Hardware Co-design Workflow for Scientific Instruments at the Edge

Authors: Kazutomo Yoshii, Rajesh Sankaran, Sebastian Strempfer, Maksim Levental, Mike Hammer, Antonino Miceli

Abstract: As spatial and temporal resolutions of scientific instruments improve, the explosion in the volume of data produced is becoming a key challenge. It can be a critical bottleneck for integration between scientific instruments at the edge and high-performance computers/emerging accelerators. Placing data compression or reduction logic close to the data source is a possible approach to solve the bottl… ▽ More As spatial and temporal resolutions of scientific instruments improve, the explosion in the volume of data produced is becoming a key challenge. It can be a critical bottleneck for integration between scientific instruments at the edge and high-performance computers/emerging accelerators. Placing data compression or reduction logic close to the data source is a possible approach to solve the bottleneck. However, the realization of such a solution requires the development of custom ASIC designs, which is still challenging in practice and tends to produce one-off implementations unusable beyond the initial intended scope. Therefore, as a feasibility study, we have been investigating a design workflow that allows us to explore algorithmically complex hardware designs and develop reusable hardware libraries for the needs of scientific instruments at the edge. Our vision is to cultivate our hardware development capability for streaming/dataflow hardware components that can be placed close to the data source to enable extreme data-intensive scientific experiments or environmental sensing. Furthermore, reducing data movement is essential to improving computing performance in general. Therefore, our co-design efforts on streaming hardware components can benefit computing applications other than scientific instruments. This vision paper discusses hardware specialization needs in scientific instruments and briefly reviews our progress leveraging the Chisel hardware description language and emerging open-source hardware ecosystems, including a few design examples. △ Less

Submitted 2 November, 2021; originally announced November 2021.

Comments: Smoky Mountains Computational Sciences and Engineering Conference (SMC2021)

Flexible source of correlated photons based on LNOI rib waveguides

Authors: L. Ebers, A. Ferreri, M. Hammer, M. Albert, C. Meier, J. Förstner, P. R. Sharapova

Abstract: Lithium niobate on insulator (LNOI) has a great potential for photonic integrated circuits, providing substantial versatility in design of various integrated components. To properly use these components in the implementation of different quantum protocols, photons with different properties are required. In this paper, we theoretically demonstrate a flexible source of correlated photons built on th… ▽ More Lithium niobate on insulator (LNOI) has a great potential for photonic integrated circuits, providing substantial versatility in design of various integrated components. To properly use these components in the implementation of different quantum protocols, photons with different properties are required. In this paper, we theoretically demonstrate a flexible source of correlated photons built on the LNOI waveguide of a special geometry. This source is based on the parametric down-conversion (PDC) process, in which the signal and idler photons are generated at the telecom wavelength and have different spatial profiles and polarizations, but the same group velocities. Such features facilitate electro-optical manipulations with photons and, at the same time, do not require an additional compensation for the time delay. We show how the spectral properties of the generated photons and the number of their frequency modes can be controlled depending on the pump characteristics and the waveguide length. Finally, we discuss a special regime, in which narrowband light with strong frequency correlations is generated at the telecom wavelength. △ Less

Submitted 20 October, 2021; originally announced October 2021.

Designing a Streaming Data Coalescing Architecture for Scientific Detector ASICs with Variable Data Velocity

Authors: Sebastian Strempfer, Kazutomo Yoshii, Mike Hammer, Dawid Bycul, Antonino Miceli

Abstract: Scientific detectors are a key technological enabler for many disciplines. Application-specific integrated circuits (ASICs) are used for many of these scientific detectors. Until recently, pixel detector ASICs have been used mainly for analog signal processing of the charge from the sensor layer and the transmission of raw pixel data off the detector ASIC. However, with the availability of more ad… ▽ More Scientific detectors are a key technological enabler for many disciplines. Application-specific integrated circuits (ASICs) are used for many of these scientific detectors. Until recently, pixel detector ASICs have been used mainly for analog signal processing of the charge from the sensor layer and the transmission of raw pixel data off the detector ASIC. However, with the availability of more advanced ASIC technology nodes for scientific application, more digital functionality from the computing domains (e.g., compression) can be integrated directly into the detector ASIC to increase data velocity. However, these computing functionalities often have high and variable latency, whereas scientific detectors must operate in real-time (i.e., stall-free) to support continuous streaming of sampled data. This paper presents an example from the domain of pixel detectors with on-chip data compression for X-ray science applications. To address the challenges of variable-sized data from a parallel stream of compressors, we present an ASIC design architecture to coalesce variable-length data for transmission over a fixed bit-width network interface. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: Workshop on Extreme-Scale Experiment-in-the-Loop Computing (XLOOP), Supercomputing 2021

How the interplay of dormancy and selection affects the wave of advance of an advantageous gene

Authors: Jochen Blath, Matthias Hammer, Dave Jacobi, Florian Nie

Abstract: In this paper we investigate the spread of advantageous genes in two variants of the F-KPP model with dormancy. The first variant, in which dormant individuals do not move in space and instead form "localized seed banks", has recently been introduced in Blath, Hammer and Nie (2020). However, there, only a relatively crude upper bound for the critical speed of potential travelling wave solutions ha… ▽ More In this paper we investigate the spread of advantageous genes in two variants of the F-KPP model with dormancy. The first variant, in which dormant individuals do not move in space and instead form "localized seed banks", has recently been introduced in Blath, Hammer and Nie (2020). However, there, only a relatively crude upper bound for the critical speed of potential travelling wave solutions has been provided. The second model variant is new and describes a situation in which the dormant forms of individuals are subject to motion, while the "active" individuals remain spatially static instead. This can be motivated e.g. by spore dispersal of fungi, where the "dormant" spores are distributed by wind, water or insects, while the "active" fungi are locally fixed. For both models, we establish the existence of monotone travelling wave solutions, determine the corresponding critical wave speed in terms of the model parameters, and characterize aspects of the asymptotic shape of the waves depending on the decay properties of the initial condition. Interestingly, the slow-down effect of dormancy on the speed of propagation of beneficial alleles is often more serious in model variant II (the "spore model") than in variant I (the "seed bank model"), and this can be understood mathematically via probabilistic representations of solutions in terms of (two variants of) "on/off branching Brownian motions". Our proofs make rather heavy use of probabilistic tools in the tradition of Watanabe (1967), McKean (1975), Bramson (1978), Neveu (1987), Lalley and Sellke (1987), Champneys et al (1995) and others. However, the two-compartment nature of the model and the special forms of dormancy also pose obstacles to the classical formalism, giving rise to a variety of open research questions that we briefly discuss at the end of the paper. △ Less

Submitted 26 October, 2023; v1 submitted 16 June, 2021; originally announced June 2021.

MSC Class: 92D25; 60H30; 35K57

MODISSA: a multipurpose platform for the prototypical realization of vehicle-related applications using optical sensors

Authors: Björn Borgmann, Volker Schatz, Marcus Hammer, Marcus Hebel, Michael Arens, Uwe Stilla

Abstract: We present the current state of development of the sensor-equipped car MODISSA, with which Fraunhofer IOSB realizes a configurable experimental platform for hardware evaluation and software development in the context of mobile mapping and vehicle-related safety and protection. MODISSA is based on a van that has successively been equipped with a variety of optical sensors over the past few years, a… ▽ More We present the current state of development of the sensor-equipped car MODISSA, with which Fraunhofer IOSB realizes a configurable experimental platform for hardware evaluation and software development in the context of mobile mapping and vehicle-related safety and protection. MODISSA is based on a van that has successively been equipped with a variety of optical sensors over the past few years, and contains hardware for complete raw data acquisition, georeferencing, real-time data analysis, and immediate visualization on in-car displays. We demonstrate the capabilities of MODISSA by giving a deeper insight into experiments with its specific configuration in the scope of three different applications. Other research groups can benefit from these experiences when setting up their own mobile sensor system, especially regarding the selection of hardware and software, the knowledge of possible sources of error, and the handling of the acquired sensor data. △ Less

Submitted 28 May, 2021; originally announced May 2021.

Comments: Authors' version of an article accepted for publication in Applied Optics, 9 May 2021

Journal ref: Applied Optic 60(22), pp. F50-F65, 2021

Integrated superconducting nanowire single-photon detectors on titanium in-diffused lithium niobate waveguides

Authors: Jan Philipp Höpker, Varun B. Verma, Maximilian Protte, Raimund Ricken, Viktor Quiring, Christof Eigner, Lena Ebers, Manfred Hammer, Jens Foerstner, Christine Silberhorn, Richard P. Mirin, Sae Woo Nam, Tim J. Bartley

Abstract: We demonstrate the integration of amorphous tungsten silicide superconducting nanowire single-photon detectors on titanium in-diffused lithium niobate waveguides. We show proof-of-principle detection of evanescently-coupled photons of 1550nm wavelength using bidirectional waveguide coupling for two orthogonal polarization directions. We investigate the internal detection efficiency as well as dete… ▽ More We demonstrate the integration of amorphous tungsten silicide superconducting nanowire single-photon detectors on titanium in-diffused lithium niobate waveguides. We show proof-of-principle detection of evanescently-coupled photons of 1550nm wavelength using bidirectional waveguide coupling for two orthogonal polarization directions. We investigate the internal detection efficiency as well as detector absorption using coupling-independent characterization measurements. Furthermore, we describe strategies to improve the yield and efficiency of these devices. △ Less

Submitted 26 April, 2021; originally announced April 2021.

Comments: 7 pages, 6 figures

Journal ref: J. Phys. Photonics 3 034022 (2021)

Which planets trigger longer-lived vortices: low-mass or high-mass?

Authors: Michael Hammer, Min-Kai Lin, Kaitlin M. Kratter, Paola Pinilla

Abstract: Recent ALMA observations have found many protoplanetary discs with rings that can be explained by gap-opening planets less massive than Jupiter. Meanwhile, recent studies have suggested that protoplanetary discs should have low levels of turbulence. Past computational work on low-viscosity discs has hinted that these two developments might not be self-consistent because even low-mass planets can b… ▽ More Recent ALMA observations have found many protoplanetary discs with rings that can be explained by gap-opening planets less massive than Jupiter. Meanwhile, recent studies have suggested that protoplanetary discs should have low levels of turbulence. Past computational work on low-viscosity discs has hinted that these two developments might not be self-consistent because even low-mass planets can be accompanied by vortices instead of conventional double rings. We investigate this potential discrepancy by conducting hydrodynamic simulations of growing planetary cores in discs with various aspect ratios ($H/r=0.04$, 0.06, 0.08) and viscosities ($1.5 \times 10^{-5} \lesssim α\lesssim 3 \times 10^{-4}$), having these cores accrete their gas mass directly from the disc. With $α< 10^{-4}$, we find that sub-Saturn-mass planets in discs with $H/r \le 0.06$ are more likely to be accompanied by dust asymmetries compared to Jupiter-mass planets because they can trigger several generations of vortices in succession. We also find that vortices with $H/r = 0.08$ survive $>6000$ planet orbits regardless of the planet mass or disc mass because they are less affected by the planet's spiral waves. We connect our results to observations and find that the outward migration of vortices with $H/r \ge 0.08$ may be able to explain the cavity in Oph IRS 48 or the two clumps in MWC 758. Lastly, we show that the lack of observed asymmetries in the disc population in Taurus is unexpected given the long asymmetry lifetimes in our low viscosity simulations ($α\sim 2 \times 10^{-5}$), a discrepancy we suggest is due to these discs having higher viscosities. △ Less

Submitted 9 May, 2021; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: 24 pages, 20 figures, 2 tables; Accepted to MNRAS

Construction and commissioning of CMS CE prototype silicon modules

Authors: B. Acar, G. Adamov, C. Adloff, S. Afanasiev, N. Akchurin, B. Akgün, M. Alhusseini, J. Alison, G. Altopp, M. Alyari, S. An, S. Anagul, I. Andreev, M. Andrews, P. Aspell, I. A. Atakisi, O. Bach, A. Baden, G. Bakas, A. Bakshi, P. Bargassa, D. Barney, E. Becheva, P. Behera, A. Belloni , et al. (307 additional authors not shown)

Abstract: As part of its HL-LHC upgrade program, the CMS Collaboration is developing a High Granularity Calorimeter (CE) to replace the existing endcap calorimeters. The CE is a sampling calorimeter with unprecedented transverse and longitudinal readout for both electromagnetic (CE-E) and hadronic (CE-H) compartments. The calorimeter will be built with $\sim$30,000 hexagonal silicon modules. Prototype modul… ▽ More As part of its HL-LHC upgrade program, the CMS Collaboration is developing a High Granularity Calorimeter (CE) to replace the existing endcap calorimeters. The CE is a sampling calorimeter with unprecedented transverse and longitudinal readout for both electromagnetic (CE-E) and hadronic (CE-H) compartments. The calorimeter will be built with $\sim$30,000 hexagonal silicon modules. Prototype modules have been constructed with 6-inch hexagonal silicon sensors with cell areas of 1.1~$cm^2$, and the SKIROC2-CMS readout ASIC. Beam tests of different sampling configurations were conducted with the prototype modules at DESY and CERN in 2017 and 2018. This paper describes the construction and commissioning of the CE calorimeter prototype, the silicon modules used in the construction, their basic performance, and the methods used for their calibration. △ Less

Submitted 10 December, 2020; originally announced December 2020.

Comments: 35 pages, submitted to JINST

The DAQ system of the 12,000 Channel CMS High Granularity Calorimeter Prototype

Authors: B. Acar, G. Adamov, C. Adloff, S. Afanasiev, N. Akchurin, B. Akgün, M. Alhusseini, J. Alison, G. Altopp, M. Alyari, S. An, S. Anagul, I. Andreev, M. Andrews, P. Aspell, I. A. Atakisi, O. Bach, A. Baden, G. Bakas, A. Bakshi, P. Bargassa, D. Barney, E. Becheva, P. Behera, A. Belloni , et al. (307 additional authors not shown)

Abstract: The CMS experiment at the CERN LHC will be upgraded to accommodate the 5-fold increase in the instantaneous luminosity expected at the High-Luminosity LHC (HL-LHC). Concomitant with this increase will be an increase in the number of interactions in each bunch crossing and a significant increase in the total ionising dose and fluence. One part of this upgrade is the replacement of the current endca… ▽ More The CMS experiment at the CERN LHC will be upgraded to accommodate the 5-fold increase in the instantaneous luminosity expected at the High-Luminosity LHC (HL-LHC). Concomitant with this increase will be an increase in the number of interactions in each bunch crossing and a significant increase in the total ionising dose and fluence. One part of this upgrade is the replacement of the current endcap calorimeters with a high granularity sampling calorimeter equipped with silicon sensors, designed to manage the high collision rates. As part of the development of this calorimeter, a series of beam tests have been conducted with different sampling configurations using prototype segmented silicon detectors. In the most recent of these tests, conducted in late 2018 at the CERN SPS, the performance of a prototype calorimeter equipped with ${\approx}12,000\rm{~channels}$ of silicon sensors was studied with beams of high-energy electrons, pions and muons. This paper describes the custom-built scalable data acquisition system that was built with readily available FPGA mezzanines and low-cost Raspberry PI computers. △ Less

Submitted 8 December, 2020; v1 submitted 7 December, 2020; originally announced December 2020.

The CHAOS-7 geomagnetic field model and observed changes in the South Atlantic Anomaly

Authors: Christopher C. Finlay, Clemens Kloss, Nils Olsen, Magnus D. Hammer, Lars Tøffner-Clausen, Alexander Grayver, Alexey Kuvshinov

Abstract: We present the CHAOS-7 model of the time-dependent near-Earth geomagnetic field between 1999 and 2020 based on magnetic field observations collected by the low-Earth orbit satellites {\it Swarm}, CryoSat-2, CHAMP, SAC-C and Ørsted, and on annual differences of monthly means of ground observatory measurements. The CHAOS-7 model consists of a time-dependent internal field up to spherical harmonic de… ▽ More We present the CHAOS-7 model of the time-dependent near-Earth geomagnetic field between 1999 and 2020 based on magnetic field observations collected by the low-Earth orbit satellites {\it Swarm}, CryoSat-2, CHAMP, SAC-C and Ørsted, and on annual differences of monthly means of ground observatory measurements. The CHAOS-7 model consists of a time-dependent internal field up to spherical harmonic degree 20, a static internal field which merges to the LCS-1 lithospheric field model above degree 25, a model of the magnetospheric field and its induced counterpart, estimates of Euler angles describing the alignment of satellite vector magnetometers, and magnetometer calibration parameters for CryoSat-2. Only data from dark regions satisfying strict geomagnetic quiet-time criteria (including conditions on IMF $B_z$ and $B_y$ at all latitudes) were used in the field estimation. Model parameters were estimated using an iteratively-reweighted regularized least-squares procedure; regularization of the time-dependent internal field was relaxed at high spherical harmonic degree compared with previous versions of the CHAOS model. We use CHAOS-7 to investigate recent changes in the geomagnetic field, studying the evolution of the South Atlantic weak field anomaly and rapid field changes in the Pacific region since 2014. At Earth's surface a secondary minimum of the South Atlantic Anomaly is now evident to the south west of Africa. Green's functions relating the core-mantle boundary radial field to the surface intensity show this feature is connected with the movement and evolution of a reversed flux feature under South Africa. The continuing growth in size and weakening of the main anomaly is linked to the westward motion and gathering of reversed flux under South America. △ Less

Submitted 21 October, 2020; originally announced October 2020.

Journal ref: Earth Planets and Space 72 (2020)

Strategies for on-chip digital data compression for X-ray pixel detectors

Authors: Mike Hammer, Kazutomo Yoshii, Antonino Miceli

Abstract: The continued desire for X-ray pixel detectors with higher frame rates will stress the ability of application-specific integrated circuit (ASIC) designers to provide sufficient off-chip bandwidth to reach continuous frame rates in the 1 MHz regime. To move from the current 10 kHz to the 1 MHz frame rate regime, ASIC designers will continue to pack as many power-hungry high-speed transceivers at th… ▽ More The continued desire for X-ray pixel detectors with higher frame rates will stress the ability of application-specific integrated circuit (ASIC) designers to provide sufficient off-chip bandwidth to reach continuous frame rates in the 1 MHz regime. To move from the current 10 kHz to the 1 MHz frame rate regime, ASIC designers will continue to pack as many power-hungry high-speed transceivers at the periphery of the ASIC as possible. In this paper, however, we present new strategies to make the most efficient use of the off-chip bandwidth by utilizing data compression schemes for X-ray photon-counting and charge-integrating pixel detectors. In particular, we describe a novel in-pixel compression scheme that converts from analog to digital converter units to encoded photon counts near the photon Poisson noise level and achieves a compression ratio of $>\!1.5\times$ independent of the dataset. In addition, we describe a simple yet efficient zero-suppression compression scheme called ``zeromask'' (ZM) located at the ASIC's edge before streaming data off the ASIC chip. ZM achieves average compression ratios of $>\!4\times$, $>\!7\times$, and $>\!8\times$ for high-energy X-ray diffraction, ptychography, and X-ray photon correlation spectroscopy datasets, respectively. We present the conceptual designs, register-transfer level block diagrams, and the physical ASIC implementation of these compression schemes in 65-nm CMOS. When combined, these two digital compression schemes could increase the effective off-chip bandwidth by a factor of 6-12$\times$. △ Less

Submitted 1 August, 2020; v1 submitted 4 June, 2020; originally announced June 2020.

Comments: Revised version after referee comments (Journal of Instrumentation)

The stochastic Fisher-KPP Equation with seed bank and on/off-branching-coalescing Brownian motion

Authors: Jochen Blath, Matthias Hammer, Florian Nie

Abstract: We introduce a new class of stochastic partial differential equations (SPDEs) with seed bank modeling the spread of a beneficial allele in a spatial population where individuals may switch between an active and a dormant state. Incorporating dormancy and the resulting seed bank leads to a two-type coupled system of equations with migration between both states. We first discuss existence and unique… ▽ More We introduce a new class of stochastic partial differential equations (SPDEs) with seed bank modeling the spread of a beneficial allele in a spatial population where individuals may switch between an active and a dormant state. Incorporating dormancy and the resulting seed bank leads to a two-type coupled system of equations with migration between both states. We first discuss existence and uniqueness of seed bank SPDEs and provide an equivalent delay representation that allows a clear interpretation of the age structure in the seed bank component. The delay representation will also be crucial in the proofs. Further, we show that the seed bank SPDEs give rise to an interesting class of "on/off" moment duals. In particular, in the special case of the F-KPP Equation with seed bank, the moment dual is given by an "on/off-branching Brownian motion". This system differs from a classical branching Brownian motion in the sense that independently for all individuals, motion and branching may be "switched off" for an exponential amount of time after which they get "switched on" again. Here, as an application of our duality, we show that the spread of a beneficial allele, which in the classical F-KPP Equation, started from a Heaviside intial condition, evolves as a pulled traveling wave with speed $\sqrt{2}$, is slowed down significantly in the corresponding seed bank F-KPP model. In fact, by computing bounds on the position of the rightmost particle in the dual on/off-branching Brownian motion, we obtain an upper bound for the speed of propagation of the beneficial allele given by $\sqrt{\sqrt{5}-1}\approx 1.111$ under unit switching rates. This shows that seed banks will indeed slow down fitness waves and preserve genetic variability, in line with intuitive reasoning from population genetics and ecology. △ Less

Submitted 11 November, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

MSC Class: 60H15; 92D25

A combined fluid-dynamic and thermodynamic model to predict the onset of rapid phase transitions in LNG spills

Authors: Karl Yngve Lervåg, Hans L. Skarsvåg, Eskil Aursand, Jabir Ali Ouassou, Morten Hammer, Gunhild Reigstad, Åsmund Ervik, Eirik Holm Fyhn, Magnus Aa. Gjennestad, Peder Aursand, Øivind Wilhelmsen

Abstract: Transport of liquefied natural gas (LNG) by ship occurs globally on a massive scale. The large temperature difference between LNG and water means LNG will boil violently if spilled onto water. This may cause a physical explosion known as rapid phase transition (RPT). Since RPT results from a complex interplay between physical phenomena on several scales, the risk of its occurrence is difficult to… ▽ More Transport of liquefied natural gas (LNG) by ship occurs globally on a massive scale. The large temperature difference between LNG and water means LNG will boil violently if spilled onto water. This may cause a physical explosion known as rapid phase transition (RPT). Since RPT results from a complex interplay between physical phenomena on several scales, the risk of its occurrence is difficult to estimate. In this work, we present a combined fluid-dynamic and thermodynamic model to predict the onset of delayed RPT. On the basis of the full coupled model, we derive analytical solutions for the location and time of delayed RPT in an axisymmetric steady-state spill of LNG onto water. These equations are shown to be accurate when compared to simulation results for a range of relevant parameters. The relative discrepancy between the analytic solutions and predictions from the full coupled model is within 2% for the RPT position and within 8% for the time of RPT. This provides a simple procedure to quantify the risk of occurrence for delayed RPT for LNG on water. Due to its modular formulation, the full coupled model can straightforwardly be extended to study RPT in other systems. △ Less

Submitted 19 November, 2020; v1 submitted 19 February, 2020; originally announced February 2020.

Comments: 22 pages, 11 figures

A perspective on Microscopy Metadata: data provenance and quality control

Authors: Maximiliaan Huisman, Mathias Hammer, Alex Rigano, Ulrike Boehm, James J. Chambers, Nathalie Gaudreault, Alison J. North, Jaime A. Pimentel, Damir Sudar, Peter Bajcsy, Claire M. Brown, Alexander D. Corbett, Orestis Faklaris, Judith Lacoste, Alex Laude, Glyn Nelson, Roland Nitschke, David Grunwald, Caterina Strambio-De-Castillia

Abstract: The application of microscopy in biomedical research has come a long way since Antonie van Leeuwenhoek discovered unicellular organisms. Countless innovations have positioned light microscopy as a cornerstone of modern biology and a method of choice for connecting omics datasets to their biological and clinical correlates. Still, regardless of how convincing published imaging data looks, it does n… ▽ More The application of microscopy in biomedical research has come a long way since Antonie van Leeuwenhoek discovered unicellular organisms. Countless innovations have positioned light microscopy as a cornerstone of modern biology and a method of choice for connecting omics datasets to their biological and clinical correlates. Still, regardless of how convincing published imaging data looks, it does not always convey meaningful information about the conditions in which it was acquired, processed, and analyzed. Adequate record-keeping, reporting, and quality control are therefore essential to ensure experimental rigor and data fidelity, allow experiments to be reproducibly repeated, and promote the proper evaluation, interpretation, comparison, and re-use. To this end, microscopy images should be accompanied by complete descriptions detailing experimental procedures, biological samples, microscope hardware specifications, image acquisition parameters, and image analysis procedures, as well as metrics accounting for instrument performance and calibration. However, universal, community-accepted Microscopy Metadata standards and reporting specifications that would result in Findable Accessible Interoperable and Reproducible (FAIR) microscopy data have not yet been established. To understand this shortcoming and to propose a way forward, here we provide an overview of the nature of microscopy metadata and its importance for fostering data quality, reproducibility, scientific rigor, and sharing value in light microscopy. The proposal for tiered Microscopy Metadata Specifications that extend the OME Data Model put forth by the 4D Nucleome Initiative and by Bioimaging North America [1-3] as well as a suite of three complementary and interoperable tools are being developed to facilitate the process of image data documentation and are presented in related manuscripts [4-6]. △ Less

Submitted 31 May, 2021; v1 submitted 24 October, 2019; originally announced October 2019.

Thermodynamic properties of the 3D Lennard-Jones/spline model

Authors: Bjørn Hafskjold, Karl Patrick Travis, Amanda Bailey Hass, Morten Hammer, Ailo Aasen, Øivind Wilhelmsenc

Abstract: The Lennard-Jones (LJ) spline potential is a truncated LJ potential such that both the pair potential and the force continuously approach zero at $r_c \approx 1.74σ$. We present a systematic map of the thermodynamic properties of the LJ spline model from molecular dynamics and Gibbs ensemble Monte Carlo simulations. Results are presented for gas/liquid, liquid/solid and gas/solid coexistence curve… ▽ More The Lennard-Jones (LJ) spline potential is a truncated LJ potential such that both the pair potential and the force continuously approach zero at $r_c \approx 1.74σ$. We present a systematic map of the thermodynamic properties of the LJ spline model from molecular dynamics and Gibbs ensemble Monte Carlo simulations. Results are presented for gas/liquid, liquid/solid and gas/solid coexistence curves, the Joule-Thomson inversion curve, and several other thermodynamic properties. The critical point for the model is estimated to be $T_c^*=0.885 \pm 0.002$ and $P_c^*=0.075 \pm 0.001$, respectively. The triple point is estimated to be $T_{tp}^*=0.547 \pm 0.005$ and $P_{tp}^*=0.0016 \pm 0.0002$. The coexistence densities, saturation pressure, and supercritical isotherms of the LJ/s model were fairly well represented by the Peng-Robison equation of state. We find that Barker-Henderson perturbation theory works less good for the LJ spline than for the LJ model. The first-order perturbation theory overestimates the critical temperature and pressure by about 10% and 90%, respectively. A second-order perturbation theory is not much better. Our assessment is that mean compressibility approximation gives a poor representation of the second-order perturbation term. Our main conclusion is that we at the moment do not have a theory or model that adequately represents the thermodynamic properties of the LJ spline system. △ Less

Submitted 24 September, 2019; v1 submitted 16 July, 2019; originally announced July 2019.

Comments: 38 pages, 12 figures, 3 pages data tables

Ergodic branching diffusions with immigration: properties of invariant occupation measure, identification of particles under high-frequency observation, and estimation of the diffusion coefficient at nonparametric rates

Authors: Matthias Hammer, Reinhard Höpfner, Tobias Berg

Abstract: In branching diffusions with immigration (BDI), particles travel on independent diffusion paths in $\mathbb{R}^d$, branch at position-dependent rates and leave offspring -- randomly scattered around the parent's death position -- according to position-dependent laws. We specify a set of conditions which grants ergodicity such that the invariant occupation measure is of finite total mass and admits… ▽ More In branching diffusions with immigration (BDI), particles travel on independent diffusion paths in $\mathbb{R}^d$, branch at position-dependent rates and leave offspring -- randomly scattered around the parent's death position -- according to position-dependent laws. We specify a set of conditions which grants ergodicity such that the invariant occupation measure is of finite total mass and admits a continuous Lebesgue density. Under discrete-time observation, BDI configurations being recorded at discrete times $iΔ$ only, $i\in\mathbb{N}_0$, we lose information about particle identities between successive observation times. We present a reconstruction algorithm which in a high-frequency setting (asymptotics $Δ\downarrow 0$) allows to reconstruct correctly a sufficiently large proportion of particle identities, and thus allows to recover $Δ$-increments of unobserved diffusion paths on which particles are travelling. Picking some few well-chosen observations we fill regression schemes which, on cubes $A$ where the invariant occupation density is strictly positive, allow to estimate the diffusion coefficient of the one-particle motion at nonparametric rates. △ Less

Submitted 7 May, 2019; originally announced May 2019.

Comments: 60 Pages

MSC Class: 60J25; 62M05; 62G05

Extreme Debris Disk Variability -- Exploring the Diverse Outcomes of Large Asteroid Impacts During the Era of Terrestrial Planet Formation

Authors: Kate Y. L. Su, Alan P. Jackson, Andras Gaspar, George H. Rieke, Ruobing Dong, Johan Olofsson, G. M. Kennedy, Zoe M. Leinhardt, Renu Malhotra, Michael Hammer, Huan Y. A. Meng, W. Rujopakarn, Joseph E. Rodriguez, Joshua Pepper, D. E. Reichart, David James, Keivan G. Stassun

Abstract: The most dramatic phases of terrestrial planet formation are thought to be oligarchic and chaotic growth, on timescales of up to 100-200 Myr, when violent impacts occur between large planetesimals of sizes up to proto-planets. Such events are marked by the production of large amounts of debris as has been observed in some exceptionally bright and young debris disks (termed extreme debris disks). H… ▽ More The most dramatic phases of terrestrial planet formation are thought to be oligarchic and chaotic growth, on timescales of up to 100-200 Myr, when violent impacts occur between large planetesimals of sizes up to proto-planets. Such events are marked by the production of large amounts of debris as has been observed in some exceptionally bright and young debris disks (termed extreme debris disks). Here we report five years of Spitzer measurements of such systems around two young solar-type stars: ID8 and P1121. The short-term (weekly to monthly) and long-term (yearly) disk variability is consistent with the aftermaths of large impacts involving large asteroid-size bodies. We demonstrate that an impact-produced clump of optically thick dust, under the influence of the dynamical and viewing geometry effects, can produce short-term modulation in the disk light curves. The long-term disk flux variation is related to the collisional evolution within the impact-produced fragments once released into a circumstellar orbit. The time-variable behavior observed in the P1121 system is consistent with a hypervelocity impact prior to 2012 that produced vapor condensates as the dominant impact product. Two distinct short-term modulations in the ID8 system argue for two violent impacts at different times and locations. Its long-term variation is consistent with the collisional evolution of two different populations of impact-produced debris dominated by either vapor condensates or escaping boulders. The bright, variable emission from the dust produced in large impacts from extreme debris disks provides a unique opportunity to study violent events during the era of terrestrial planet formation. △ Less

Submitted 19 April, 2019; v1 submitted 25 March, 2019; originally announced March 2019.

Comments: accepted for publication in AJ. typos and latex referencing fixed

Observational diagnostics of elongated planet-induced vortices with realistic planet formation timescales

Authors: Michael Hammer, Paola Pinilla, Kaitlin M. Kratter, Min-Kai Lin

Abstract: Gap-opening planets can generate dust-trapping vortices that may explain some of the latest discoveries of high-contrast crescent-shaped dust asymmetries in transition discs. While planet-induced vortices were previously thought to have concentrated shapes, recent computational work has shown that these features naturally become much more elongated in the gas when simulations account for the relat… ▽ More Gap-opening planets can generate dust-trapping vortices that may explain some of the latest discoveries of high-contrast crescent-shaped dust asymmetries in transition discs. While planet-induced vortices were previously thought to have concentrated shapes, recent computational work has shown that these features naturally become much more elongated in the gas when simulations account for the relatively long timescale over which planets accrete their mass. In this work, we conduct two-fluid hydrodynamical simulations of vortices induced by slowly-growing Jupiter-mass planets in discs with very low viscosity ($α= 3 \times 10^{-5}$). We simulate the dust dynamics for four particle sizes spanning 0.3 mm to 1 cm in order to produce synthetic ALMA images. In our simulations, we find that an elongated vortex still traps dust, but not directly at its center. With a flatter pressure bump and disruptions from the planet's overlapping spiral density waves, the dust instead circulates around the vortex. This motion (1) typically carries the peak off-center, (2) spreads the dust out over a wider azimuthal extent $\geq 180^{\circ}$, (3) skews the azimuthal profile towards the front of the vortex, and (4) can also create double peaks in newly-formed vortices. In particular, we expect that the most defining observational signature, a peak offset of more than $30^{\circ}$, should be detectable $>30\%$ of the time in observations with a beam diameter of at most the planet's separation from its star. △ Less

Submitted 29 October, 2018; v1 submitted 19 September, 2018; originally announced September 2018.

Comments: Accepted to MNRAS. 13 pages, 8 figures. Movies available at: https://lavinia.as.arizona.edu/~mhammer/vortex_signatures.html

Fungi: Typed incremental computation with names

Authors: Matthew A. Hammer, Jana Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou

Abstract: Incremental computations attempt to exploit input similarities over time, reusing work that is unaffected by input changes. To maximize this reuse in a general-purpose programming setting, programmers need a mechanism to identify dynamic allocations (of data and subcomputations) that correspond over time. We present Fungi, a typed functional language for incremental computation with names. Unlike… ▽ More Incremental computations attempt to exploit input similarities over time, reusing work that is unaffected by input changes. To maximize this reuse in a general-purpose programming setting, programmers need a mechanism to identify dynamic allocations (of data and subcomputations) that correspond over time. We present Fungi, a typed functional language for incremental computation with names. Unlike prior general-purpose languages for incremental computing, Fungi's notion of names is formal, general, and statically verifiable. Fungi's type-and-effect system permits the programmer to encode (program-specific) local invariants about names, and to use these invariants to establish global uniqueness for their composed programs, the property of using names correctly. We prove that well-typed Fungi programs respect global uniqueness. We derive a bidirectional version of the type and effect system, and we have implemented a prototype of Fungi in Rust. We apply Fungi to a library of incremental collections, showing that it is expressive in practice. △ Less

Submitted 20 August, 2018; originally announced August 2018.

Live Functional Programming with Typed Holes

Authors: Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew A. Hammer

Abstract: This paper develops a dynamic semantics for incomplete functional programs, starting from the static semantics developed in recent work on Hazelnut. We model incomplete functional programs as expressions with holes, with empty holes standing for missing expressions or types, and non-empty holes operating as membranes around static and dynamic type inconsistencies. Rather than aborting when evaluat… ▽ More This paper develops a dynamic semantics for incomplete functional programs, starting from the static semantics developed in recent work on Hazelnut. We model incomplete functional programs as expressions with holes, with empty holes standing for missing expressions or types, and non-empty holes operating as membranes around static and dynamic type inconsistencies. Rather than aborting when evaluation encounters any of these holes as in some existing systems, evaluation proceeds around holes, tracking the closure around each hole instance as it flows through the remainder of the program. Editor services can use the information in these hole closures to help the programmer develop and confirm their mental model of the behavior of the complete portions of the program as they decide how to fill the remaining holes. Hole closures also enable a fill-and-resume operation that avoids the need to restart evaluation after edits that amount to hole filling. Formally, the semantics borrows machinery from both gradual type theory (which supplies the basis for handling unfilled type holes) and contextual modal type theory (which supplies a logical basis for hole closures), combining these and developing additional machinery necessary to continue evaluation past holes while maintaining type safety. We have mechanized the metatheory of the core calculus, called Hazelnut Live, using the Agda proof assistant. We have also implemented these ideas into the Hazel programming environment. The implementation inserts holes automatically, following the Hazelnut edit action calculus, to guarantee that every editor state has some (possibly incomplete) type. Taken together with this paper's type safety property, the result is a proof-of-concept live programming environment where rich dynamic feedback is truly available without gaps, i.e. for every reachable editor state. △ Less

Submitted 20 November, 2018; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: Published in PACMPL issue POPL 2019. Please cite the conference paper!

Coexistence and duality in competing species models

Authors: Yu-Ting Chen, Matthias Hammer

Abstract: We discuss some stochastic spatial generalizations of the Lotka--Volterra model for competing species. The generalizations take the forms of spin systems on general discrete sets and interacting diffusions on integer lattices. Methods for proving coexistence in these generalizations and some related open questions are discussed. We use duality as the central point of view. It relates coexistence o… ▽ More We discuss some stochastic spatial generalizations of the Lotka--Volterra model for competing species. The generalizations take the forms of spin systems on general discrete sets and interacting diffusions on integer lattices. Methods for proving coexistence in these generalizations and some related open questions are discussed. We use duality as the central point of view. It relates coexistence of the models to survival of their dual processes. △ Less

Submitted 23 November, 2018; v1 submitted 28 February, 2018; originally announced February 2018.

Comments: 27 pages. This article is based on lecture notes for the learning session 'Competing species models' given by the authors and held during July and August, 2017 in the Institute for Mathematical Sciences at the National University of Singapore

Entrance laws for annihilating Brownian motions and the continuous-space voter model

Authors: Matthias Hammer, Marcel Ortgiese, Florian Völlering

Abstract: Consider a system of particles moving independently as Brownian motions until two of them meet, when the colliding pair annihilates instantly. The construction of such a system of annihilating Brownian motions (aBMs) is straightforward as long as we start with a finite number of particles, but is more involved for infinitely many particles. In particular, if we let the set of starting points becom… ▽ More Consider a system of particles moving independently as Brownian motions until two of them meet, when the colliding pair annihilates instantly. The construction of such a system of annihilating Brownian motions (aBMs) is straightforward as long as we start with a finite number of particles, but is more involved for infinitely many particles. In particular, if we let the set of starting points become increasingly dense in the real line it is not obvious whether the resulting systems of aBMs converge and what the possible limit points (entrance laws) are. In this paper, we show that aBMs arise as the interface model of the continuous-space voter model. This link allows us to provide a full classification of entrance laws for aBMs. We also give some examples showing how different entrance laws can be obtained via finite approximations. Further, we discuss the relation of the continuous-space voter model to the stepping stone and other related models. Finally, we obtain an expression for the $n$-point densities of aBMs starting from an arbitrary entrance law. △ Less

Submitted 6 March, 2019; v1 submitted 18 January, 2018; originally announced January 2018.

Comments: 26 pages, 2 figures

MSC Class: 60K35 (Primary); 60J68; 60H15 (Secondary)

The Coronal Analysis of SHocks and Waves (CASHeW) Framework

Authors: K. Kozarev, A. Davey, A. Kendrick, M. Hammer, C. Keith

Abstract: Coronal Bright Fronts (CBF) are large-scale wavelike disturbances in the solar corona, related to solar eruptions. They are observed in extreme ultraviolet (EUV) light as transient bright fronts of finite width, propagating away from the eruption source. Recent studies of individual solar eruptive events have used EUV observations of CBFs and metric radio type II burst observations to show the int… ▽ More Coronal Bright Fronts (CBF) are large-scale wavelike disturbances in the solar corona, related to solar eruptions. They are observed in extreme ultraviolet (EUV) light as transient bright fronts of finite width, propagating away from the eruption source. Recent studies of individual solar eruptive events have used EUV observations of CBFs and metric radio type II burst observations to show the intimate connection between low coronal waves and coronal mass ejection (CME)-driven shocks. EUV imaging with the Atmospheric Imaging Assembly(AIA) instrument on the Solar Dynamics Observatory (SDO) has proven particularly useful for detecting CBFs, which, combined with radio and in situ observations, holds great promise for early CME-driven shock characterization capability. This characterization can further be automated, and related to models of particle acceleration to produce estimates of particle fluxes in the corona and in the near Earth environment early in events. We present a framework for the Coronal Analysis of SHocks and Waves (CASHeW). It combines analysis of NASA Heliophysics System Observatory data products and relevant data-driven models, into an automated system for the characterization of off-limb coronal waves and shocks and the evaluation of their capability to accelerate solar energetic particles (SEPs). The system utilizes EUV observations and models written in the Interactive Data Language (IDL). In addition, it leverages analysis tools from the SolarSoft package of libraries, as well as third party libraries. We have tested the CASHeW framework on a representative list of coronal bright front events. Here we present its features, as well as initial results. With this framework, we hope to contribute to the overall understanding of coronal shock waves, their importance for energetic particle acceleration, as well as to the better ability to forecast SEP events fluxes. △ Less

Submitted 15 October, 2017; originally announced October 2017.

Comments: Accepted for publication in the Journal of Space Weather and Space Climate (SWSC)

Computation of three-dimensional three-phase flow of carbon dioxide using a high-order WENO scheme

Authors: Magnus Aa. Gjennestad, Andrea Gruber, Karl Yngve Lervåg, Øyvind Johansen, Åsmund Ervik, Morten Hammer, Svend Tollak Munkejord

Abstract: We have developed a high-order numerical method for the 3D simulation of viscous and inviscid multiphase flow described by a homogeneous equilibrium model and a general equation of state. Here we focus on single-phase, two-phase (gas-liquid or gas-solid) and three-phase (gas-liquid-solid) flow of CO2 whose thermodynamic properties are calculated using the Span-Wagner reference equation of state. T… ▽ More We have developed a high-order numerical method for the 3D simulation of viscous and inviscid multiphase flow described by a homogeneous equilibrium model and a general equation of state. Here we focus on single-phase, two-phase (gas-liquid or gas-solid) and three-phase (gas-liquid-solid) flow of CO2 whose thermodynamic properties are calculated using the Span-Wagner reference equation of state. The governing equations are spatially discretized on a uniform Cartesian grid using the finite-volume method with a fifth-order weighted essentially non-oscillatory (WENO) scheme and the robust first-order centered (FORCE) flux. The solution is integrated in time using a third-order strong-stability-preserving Runge-Kutta method. We demonstrate close to fifth-order convergence for advection-diffusion and for smooth single- and two-phase flows. Quantitative agreement with experimental data is obtained for a direct numerical simulation of an air jet flowing from a rectangular nozzle. Quantitative agreement is also obtained for the shape and dimensions of the barrel shock in two highly underexpanded CO2 jets. △ Less

Submitted 31 July, 2017; originally announced July 2017.

Comments: 22 pages, 16 figures

Journal ref: Journal of Computational Physics, 2017, vol. 348, pp. 1-22

Toward Semantic Foundations for Program Editors

Authors: Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer

Abstract: Programming language definitions assign formal meaning to complete programs. Programmers, however, spend a substantial amount of time interacting with incomplete programs -- programs with holes, type inconsistencies and binding inconsistencies -- using tools like program editors and live programming environments (which interleave editing and evaluation). Semanticists have done comparatively little… ▽ More Programming language definitions assign formal meaning to complete programs. Programmers, however, spend a substantial amount of time interacting with incomplete programs -- programs with holes, type inconsistencies and binding inconsistencies -- using tools like program editors and live programming environments (which interleave editing and evaluation). Semanticists have done comparatively little to formally characterize (1) the static and dynamic semantics of incomplete programs; (2) the actions available to programmers as they edit and inspect incomplete programs; and (3) the behavior of editor services that suggest likely edit actions to the programmer based on semantic information extracted from the incomplete program being edited, and from programs that the system has encountered in the past. As such, each tool designer has largely been left to develop their own ad hoc heuristics. This paper serves as a vision statement for a research program that seeks to develop these "missing" semantic foundations. Our hope is that these contributions, which will take the form of a series of simple formal calculi equipped with a tractable metatheory, will guide the design of a variety of current and future interactive programming tools, much as various lambda calculi have guided modern language designs. Our own research will apply these principles in the design of Hazel, an experimental live lab notebook programming environment designed for data science tasks. We plan to co-design the Hazel language with the editor so that we can explore concepts such as edit-time semantic conflict resolution mechanisms and mechanisms that allow library providers to install library-specific editor services. △ Less

Submitted 25 March, 2017; originally announced March 2017.

Comments: The 2nd Summit on Advances in Programming Languages (SNAPL 2017)

Languages of Play: Towards semantic foundations for game interfaces

Authors: Chris Martens, Matthew A. Hammer

Abstract: Formal models of games help us account for and predict behavior, leading to more robust and innovative designs. While the games research community has proposed many formalisms for both the "game half" (game models, game description languages) and the "human half" (player modeling) of a game experience, little attention has been paid to the interface between the two, particularly where it concerns… ▽ More Formal models of games help us account for and predict behavior, leading to more robust and innovative designs. While the games research community has proposed many formalisms for both the "game half" (game models, game description languages) and the "human half" (player modeling) of a game experience, little attention has been paid to the interface between the two, particularly where it concerns the player expressing her intent toward the game. We describe an analytical and computational toolbox based on programming language theory to examine the phenomenon sitting between control schemes and game rules, which we identify as a distinct player intent language for each game. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Slowly-growing gap-opening planets trigger weaker vortices

Authors: Michael Hammer, Kaitlin M. Kratter, Min-Kai Lin

Abstract: The presence of a giant planet in a low-viscosity disc can create a gap edge in the disc's radial density profile sharp enough to excite the Rossby Wave Instability. This instability may evolve into dust-trapping vortices that might explain the "banana-shaped" features in recently observed asymmetric transition discs with inner cavities. Previous hydrodynamical simulations of planet-induced vortic… ▽ More The presence of a giant planet in a low-viscosity disc can create a gap edge in the disc's radial density profile sharp enough to excite the Rossby Wave Instability. This instability may evolve into dust-trapping vortices that might explain the "banana-shaped" features in recently observed asymmetric transition discs with inner cavities. Previous hydrodynamical simulations of planet-induced vortices have neglected the timescale of hundreds to thousands of orbits to grow a massive planet to Jupiter-size. In this work, we study the effect of a giant planet's runaway growth timescale on the lifetime and characteristics of the resulting vortex. For two different planet masses (1 and 5 Jupiter masses) and two different disc viscosities ($α$=3$\times 10^{-4}$ and 3$\times10^{-5}$), we compare the vortices induced by planets with several different growth timescales between 10 and 4000 planet orbits. In general, we find that slowly-growing planets create significantly weaker vortices with lifetimes and surface densities reduced by more than $50\%$. For the higher disc viscosity, the longest growth timescales in our study inhibit vortex formation altogether. Additionally, slowly-growing planets produce vortices that are up to twice as elongated, with azimuthal extents well above $180^{\circ}$ in some cases. These unique, elongated vortices likely create a distinct signature in the dust observations that differentiates them from the more concentrated vortices that correspond to planets with faster growth timescales. Lastly, we find that the low viscosities necessary for vortex formation likely prevent planets from growing quickly enough to trigger the instability in self-consistent models. △ Less

Submitted 19 January, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: 12 pages, 7 figures, Accepted by MNRAS

Refinement types for precisely named cache locations

Authors: Matthew A. Hammer, Jana Dunfield, Dimitrios J. Economou, Monal Narasimhamurthy

Abstract: Many programming language techniques for incremental computation employ programmer-specified names for cached information. At runtime, each name identifies a "cache location" for a dynamic data value or a sub-computation; in sum, these cache location choices guide change propagation and incremental (re)execution. We call a cache location name precise when it identifies at most one value or subco… ▽ More Many programming language techniques for incremental computation employ programmer-specified names for cached information. At runtime, each name identifies a "cache location" for a dynamic data value or a sub-computation; in sum, these cache location choices guide change propagation and incremental (re)execution. We call a cache location name precise when it identifies at most one value or subcomputation; we call all other names imprecise, or ambiguous. At a minimum, cache location names must be precise to ensure that change propagation works correctly; yet, reasoning statically about names in incremental programs remains an open problem. As a first step, this paper defines and solves the precise name problem, where we verify that incremental programs with explicit names use them precisely. To do so, we give a refinement type and effect system, and prove it sound (every well-typed program uses names precisely). We also demonstrate that this type system is expressive by verifying example programs that compute over efficient representations of incremental sequences and sets. Beyond verifying these programs, our type system also describes their dynamic naming strategies, e.g., for library documentation purposes. △ Less

Submitted 21 October, 2017; v1 submitted 1 October, 2016; originally announced October 2016.

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme

Authors: Dakota Fisher, Matthew A. Hammer, William Byrd, Matthew Might

Abstract: We describe a complete Scheme implementation of miniAdapton, which implements the core functionality of the Adapton system for incremental computation (also known as self-adjusting computation). Like Adapton, miniAdapton allows programmers to safely combine mutation and memoization. miniAdapton is built on top of an even simpler system, microAdapton. Both miniAdapton and microAdapton are designed… ▽ More We describe a complete Scheme implementation of miniAdapton, which implements the core functionality of the Adapton system for incremental computation (also known as self-adjusting computation). Like Adapton, miniAdapton allows programmers to safely combine mutation and memoization. miniAdapton is built on top of an even simpler system, microAdapton. Both miniAdapton and microAdapton are designed to be easy to understand, extend, and port to host languages other than Scheme. We also present adapton variables, a new interface in Adapton for variables intended to represent expressions. △ Less

Submitted 17 September, 2016; originally announced September 2016.

A Vision for Online Verification-Validation

Authors: Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn

Abstract: Today's programmers face a false choice between creating software that is extensible and software that is correct. Specifically, dynamic languages permit software that is richly extensible (via dynamic code loading, dynamic object extension, and various forms of reflection), and today's programmers exploit this flexibility to "bring their own language features" to enrich extensible languages (e.g.… ▽ More Today's programmers face a false choice between creating software that is extensible and software that is correct. Specifically, dynamic languages permit software that is richly extensible (via dynamic code loading, dynamic object extension, and various forms of reflection), and today's programmers exploit this flexibility to "bring their own language features" to enrich extensible languages (e.g., by using common JavaScript libraries). Meanwhile, such library-based language extensions generally lack enforcement of their abstractions, leading to programming errors that are complex to avoid and predict. To offer verification for this extensible world, we propose online verification-validation (OVV), which consists of language and VM design that enables a "phaseless" approach to program analysis, in contrast to the standard static-dynamic phase distinction. Phaseless analysis freely interposes abstract interpretation with concrete execution, allowing analyses to use dynamic (concrete) information to prove universal (abstract) properties about future execution. In this paper, we present a conceptual overview of OVV through a motivating example program that uses a hypothetical database library. We present a generic semantics for OVV, and an extension to this semantics that offers a simple gradual type system for the database library primitives. The result of instantiating this gradual type system in an OVV setting is a checker that can progressively type successive continuations of the program until a continuation is fully verified. To evaluate the proposed vision of OVV for this example, we implement the VM semantics (in Rust), and show that this design permits progressive typing in this manner. △ Less

Submitted 21 August, 2016; originally announced August 2016.

The Random Access Zipper: Simple, Purely-Functional Sequences

Authors: Kyle Headley, Matthew A. Hammer

Abstract: We introduce the Random Access Zipper (RAZ), a simple, purely-functional data structure for editable sequences. A RAZ combines the structure of a zipper with that of a tree: like a zipper, edits at the cursor require constant time; by leveraging tree structure, relocating the edit cursor in the sequence requires logarithmic time. While existing data structures provide these time bounds, none do so… ▽ More We introduce the Random Access Zipper (RAZ), a simple, purely-functional data structure for editable sequences. A RAZ combines the structure of a zipper with that of a tree: like a zipper, edits at the cursor require constant time; by leveraging tree structure, relocating the edit cursor in the sequence requires logarithmic time. While existing data structures provide these time bounds, none do so with the same simplicity and brevity of code as the RAZ. The simplicity of the RAZ provides the opportunity for more programmers to extend the structure to their own needs, and we provide some suggestions for how to do so. △ Less

Submitted 21 August, 2016; originally announced August 2016.

Hazelnut: A Bidirectionally Typed Structure Editor Calculus

Authors: Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer

Abstract: Structure editors allow programmers to edit the tree structure of a program directly. This can have cognitive benefits, particularly for novice and end-user programmers. It also simplifies matters for tool designers, because they do not need to contend with malformed program text. This paper defines Hazelnut, a structure editor based on a small bidirectionally typed lambda calculus extended with h… ▽ More Structure editors allow programmers to edit the tree structure of a program directly. This can have cognitive benefits, particularly for novice and end-user programmers. It also simplifies matters for tool designers, because they do not need to contend with malformed program text. This paper defines Hazelnut, a structure editor based on a small bidirectionally typed lambda calculus extended with holes and a cursor. Hazelnut goes one step beyond syntactic well-formedness: its edit actions operate over statically meaningful incomplete terms. Naively, this would force the programmer to construct terms in a rigid "outside-in" manner. To avoid this problem, the action semantics automatically places terms assigned a type that is inconsistent with the expected type inside a hole. This safely defers the type consistency check until the term inside the hole is finished. Hazelnut is a foundational type-theoretic account of typed structure editing, rather than an end-user tool itself. To that end, we describe how Hazelnut's rich metatheory, which we have mechanized in Agda, guides the definition of an extension to the calculus. We also discuss various plausible evaluation strategies for terms with holes, and in so doing reveal connections with gradual typing and contextual modal type theory, the Curry-Howard interpretation of contextual modal logic. Finally, we discuss how Hazelnut's semantics lends itself to implementation as a functional reactive program. Our reference implementation is written using js_of_ocaml. △ Less

Submitted 3 February, 2019; v1 submitted 14 July, 2016; originally announced July 2016.

Journal ref: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)

Mass transfer between debris discs during close stellar encounters

Authors: Lucie Jilkova, Adrian S. Hamers, Michael Hammer, Simon Portegies Zwart

Abstract: We study mass transfers between debris discs during stellar encounters. We carried out numerical simulations of close flybys of two stars, one of which has a disc of planetesimals represented by test particles. We explored the parameter space of the encounters, varying the mass ratio of the two stars, their pericentre and eccentricity of the encounter, and its geometry. We find that particles are… ▽ More We study mass transfers between debris discs during stellar encounters. We carried out numerical simulations of close flybys of two stars, one of which has a disc of planetesimals represented by test particles. We explored the parameter space of the encounters, varying the mass ratio of the two stars, their pericentre and eccentricity of the encounter, and its geometry. We find that particles are transferred to the other star from a restricted radial range in the disc and the limiting radii of this transfer region depend on the parameters of the encounter. We derive an approximate analytic description of the inner radius of the region. The efficiency of the mass transfer generally decreases with increasing encounter pericentre and increasing mass of the star initially possessing the disc. Depending on the parameters of the encounter, the transfer particles have a specific distributions in the space of orbital elements (semimajor axis, eccentricity, inclination, and argument of pericentre) around their new host star. The population of the transferred particles can be used to constrain the encounter through which it was delivered. We expect that many stars experienced transfer among their debris discs and planetary systems in their birth environment. This mechanism presents a formation channel for objects on wide orbits of arbitrary inclinations, typically having high eccentricity but possibly also close-to-circular (eccentricities of about 0.1). Depending on the geometry, such orbital elements can be distinct from those of the objects formed around the star. △ Less

Submitted 29 January, 2016; originally announced January 2016.

Comments: 20 pages, 24 figures, accepted for publication in MNRAS

Packing paths in a $(λ+μ)K_{v+u}-λK_v$

Authors: John Asplund, Joe Chaffee, James M. Hammer

Abstract: Following standard terminology, $λK_v$ is a multigraph on $v$ vertices such that $λ$ edges join each pair of vertices. Let $(λ+μ)K_{v+u}-λK_v$ be the graph $(V\cup U,E)$ with $|V|=v$, $|U|=u$, and $(λ+μ)-λ=μ$ edges between the vertices $x$ and $y$ if $x$ and $y$ both lie in $V$ and $λ+μ$ edges between $x$ and $y$ otherwise. The main result of this paper establishes necessary and sufficient conditi… ▽ More Following standard terminology, $λK_v$ is a multigraph on $v$ vertices such that $λ$ edges join each pair of vertices. Let $(λ+μ)K_{v+u}-λK_v$ be the graph $(V\cup U,E)$ with $|V|=v$, $|U|=u$, and $(λ+μ)-λ=μ$ edges between the vertices $x$ and $y$ if $x$ and $y$ both lie in $V$ and $λ+μ$ edges between $x$ and $y$ otherwise. The main result of this paper establishes necessary and sufficient conditions for an $m$-path decomposition of $(λ+μ)K_{v+u}-λK_v$. △ Less

Submitted 15 March, 2016; v1 submitted 3 November, 2015; originally announced November 2015.

Comments: This paper has been withdrawn due to a crucial error in Theorem 28

MSC Class: 05C51

A new look at duality for the symbiotic branching model

Authors: Matthias Hammer, Marcel Ortgiese, Florian Völlering

Abstract: The symbiotic branching model is a spatial population model describing the dynamics of two interacting types that can only branch if both types are present. A classical result for the underlying stochastic partial differential equation identifies moments of the solution via a duality to a system of Brownian motions with dynamically changing colors. In this paper, we revisit this duality and give i… ▽ More The symbiotic branching model is a spatial population model describing the dynamics of two interacting types that can only branch if both types are present. A classical result for the underlying stochastic partial differential equation identifies moments of the solution via a duality to a system of Brownian motions with dynamically changing colors. In this paper, we revisit this duality and give it a new interpretation. This new approach allows us to extend the duality to the limit as the branching rate $γ$ is sent to infinity. This limit is particularly interesting since it captures the large scale behaviour of the system. As an application of the duality, we can explicitly identify the $γ= \infty$ limit when the driving noises are perfectly negatively correlated. The limit is a system of annihilating Brownian motions with a drift that depends on the initial imbalance between the types. △ Less

Submitted 21 September, 2016; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: 49 pages, 1 figure

MSC Class: 60K35 (Primary); 60J80; 60H15 (Secondary)