Showing 1–50 of 79 results for author: Rivkin, A

Data Petri Nets meet Probabilistic Programming (Extended version)

Authors: Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin

Abstract: Probabilistic programming (PP) is a programming paradigm that allows for writing statistical models like ordinary programs, performing simulations by running those programs, and analyzing and refining their statistical behavior using powerful inference engines. This paper takes a step towards leveraging PP for reasoning about data-aware processes. To this end, we present a systematic translation o… ▽ More Probabilistic programming (PP) is a programming paradigm that allows for writing statistical models like ordinary programs, performing simulations by running those programs, and analyzing and refining their statistical behavior using powerful inference engines. This paper takes a step towards leveraging PP for reasoning about data-aware processes. To this end, we present a systematic translation of Data Petri Nets (DPNs) into a model written in a PP language whose features are supported by most PP systems. We show that our translation is sound and provides statistical guarantees for simulating DPNs. Furthermore, we discuss how PP can be used for process mining tasks and report on a prototype implementation of our translation. We also discuss further analysis scenarios that could be easily approached based on the proposed translation and available PP tools. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Shaking and Tumbling: Short- and Long-Timescale Mechanisms for Resurfacing of Near-Earth Asteroid Surfaces from Planetary Tides and Predictions for the 2029 Earth Encounter by (99942) Apophis

Authors: R. -L. Ballouz, H. Agrusa, O. S. Barnouin, K. J. Walsh, Y. Zhang, R. P. Binzel, V. J. Bray, D. N. DellaGiustina, E. R. Jawin, J. V. DeMartini, A. Marusiak, P. Michel, N. Murdoch, D. C. Richardson, E. Rivera-Valentin, A. S. Rivkin, Y. Tang

Abstract: Spectral characterization of near-Earth asteroids (NEAs) has revealed a continuum of space-weathered states for the surfaces of S-complex NEAs, with Q-class NEAs, an S-complex subclass, most closely matching the un-weathered surfaces of ordinary chondrite meteorites. Dynamical calculations of the orbital evolution of S-complex NEAs revealed that Q-class NEAs tend to have close encounters with terr… ▽ More Spectral characterization of near-Earth asteroids (NEAs) has revealed a continuum of space-weathered states for the surfaces of S-complex NEAs, with Q-class NEAs, an S-complex subclass, most closely matching the un-weathered surfaces of ordinary chondrite meteorites. Dynamical calculations of the orbital evolution of S-complex NEAs revealed that Q-class NEAs tend to have close encounters with terrestrial planets, suggesting that planetary tides may play a role in refreshing NEA surfaces. However, the exact physical mechanism(s) that drive resurfacing through tidal encounters and the encounter distance at which these mechanisms are effective, has remained unclear. Through the lens of the upcoming (99942) Apophis encounter with Earth in 2029, we investigate the potential for surface mobilization through tidally-driven seismic shaking over short-timescales during encounter and subsequent surface slope evolution over longer-timescales driven by tumbling. We perform multi-scale numerical modeling and find that the 2029 encounter will induce short-term tidally-driven discrete seismic events that lead to high-frequency (greater than 0.1 Hzへるつ) surface accelerations that reach magnitudes similar to Apophis' gravity, and that may be detectable by modern seismometers. It is still unclear if the shaking we model translates to widespread particle mobilization and/or lofting. We also find there will be a significant change in Apophis' tumbling spin state that could lead to longer-term surface refreshing in response to tumbling-induced surface slope changes. We propose that through these mechanisms, space-weathered S-class asteroid surfaces may become refreshed through the exposure of unweathered underlying material. These results will be tested by the future exploration of Apophis by NASA's OSIRIS-APEX. △ Less

Submitted 7 June, 2024; originally announced June 2024.

Comments: 34 pages, 7 figures, submitted to The Planetary Science Journal

Impact disruption of Bjurböle porous chondritic projectile

Authors: Tomas Kohout, Maurizio Pajola, Assi-Johanna Soini, Alice Lucchetti, Arto Luttinen, Alexia Duchêne, Naomi Murdoch, Robert Luther, Nancy L. Chabot, Sabina D. Raducan, Paul Sánchez, Olivier S. Barnouin, Andrew S. Rivkin

Abstract: The ~200 m/s impact of a single 400-kg Bjurböle L/LL ordinary chondrite meteorite onto sea ice resulted in the catastrophic disruption of the projectile. This resulted in a significant fraction of decimeter-sized fragments that exhibit power law cumulative size and mass distributions. This size range is underrepresented in impact experiments and asteroid boulder studies. The Bjurböle projectile fr… ▽ More The ~200 m/s impact of a single 400-kg Bjurböle L/LL ordinary chondrite meteorite onto sea ice resulted in the catastrophic disruption of the projectile. This resulted in a significant fraction of decimeter-sized fragments that exhibit power law cumulative size and mass distributions. This size range is underrepresented in impact experiments and asteroid boulder studies. The Bjurböle projectile fragments share similarities in shape (sphericity, and roughness at small and large scale) with asteroid boulders. However, the mean aspect ratio (3D measurement) and apparent aspect ratio (2D measurement) of Bjurböle fragment is 0.83 and 0.77, respectively, indicating that Bjurböle fragments are more equidimensional compared to both fragments produced in smaller scale impact experiments and asteroid boulders. These differences may be attributed either to the fragment source (projectile vs. target), to the high porosity and low strength of Bjurböle, to the lower impact velocity compared with typical asteroid collision velocities, or potentially to fragment erosion during sea sediment penetration or cleaning. △ Less

Submitted 1 June, 2024; originally announced June 2024.

Comments: Data repository https://www.doi.org/10.5281/zenodo.10062980

Journal ref: The Planetary Science Journal, 5, 128 (2024)

Mach-Zehnder Interferometer for spin waves: computing applications

Authors: Kirill A. Rivkin

Abstract: Interferometers are some of the most important optical devices, yet their spin wave based analogues so far received limited attention. In this work we demonstrate how one can design Mach-Zehnder Interferometer (MZI) operating on spin waves, and use to construct a spin wave version of a well known1 MZI based AI computing device. Modeling, performed both micromagnetically and by using a novel, finit… ▽ More Interferometers are some of the most important optical devices, yet their spin wave based analogues so far received limited attention. In this work we demonstrate how one can design Mach-Zehnder Interferometer (MZI) operating on spin waves, and use to construct a spin wave version of a well known1 MZI based AI computing device. Modeling, performed both micromagnetically and by using a novel, finite difference based method, shows that some of the achievable operational parameters are orders of magnitude superior to both optical and CMOS based implementations. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 9 pages, 4 figures

Spin Wave Optics

Authors: Kirill A. Rivkin

Abstract: Similarity between Walker and Helmholtz equations encouraged many to search for analogies between optical and spin wave phenomena. In the present article we demonstrate that one to one relationship can be established by formalizing the concept of magnetic refractive index and deriving on its basis Eikonal equations for magnetic media, formally proving that a very substantial portion of optical dev… ▽ More Similarity between Walker and Helmholtz equations encouraged many to search for analogies between optical and spin wave phenomena. In the present article we demonstrate that one to one relationship can be established by formalizing the concept of magnetic refractive index and deriving on its basis Eikonal equations for magnetic media, formally proving that a very substantial portion of optical devices: lenses, mirrors, waveguides and so on, can be implemented as magnetic devices operating on spin waves instead of optical radiation. Controlling the refractive index is accomplished by changing the environmental variables such as magnetic bias field or temperature. Functionality of the above mentioned devices is confirmed with micromagnetic simulations, which also demonstrate a substantial agreement with the analytical model introduced in the present manuscript. △ Less

Submitted 23 April, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: 11 pages, 6 figures

Physical properties of asteroid Dimorphos as derived from the DART impact

Authors: S. D. Raducan, M. Jutzi, A. F. Cheng, Y. Zhang, O. Barnouin, G. S. Collins, R. T. Daly, T. M. Davison, C. M. Ernst, T. L. Farnham, F. Ferrari, M. Hirabayashi, K. M. Kumamoto, P. Michel, N. Murdoch, R. Nakano, M. Pajola, A. Rossi, H. F. Agrusa, B. W. Barbee, M. Bruck Syal, N. L. Chabot, E. Dotto, E. G. Fahnestock, P. H. Hasselmann , et al. (17 additional authors not shown)

Abstract: On September 26, 2022, NASA's Double Asteroid Redirection Test (DART) mission successfully impacted Dimorphos, the natural satellite of the binary near-Earth asteroid (65803) Didymos. Numerical simulations of the impact provide a means to explore target surface material properties and structures, consistent with the observed momentum deflection efficiency, ejecta cone geometry, and ejected mass. O… ▽ More On September 26, 2022, NASA's Double Asteroid Redirection Test (DART) mission successfully impacted Dimorphos, the natural satellite of the binary near-Earth asteroid (65803) Didymos. Numerical simulations of the impact provide a means to explore target surface material properties and structures, consistent with the observed momentum deflection efficiency, ejecta cone geometry, and ejected mass. Our simulation, which best matches observations, indicates that Dimorphos is weak, with a cohesive strength of less than a few pascals (Pa), similar to asteroids (162173) Ryugu and (101955) Bennu. We find that a bulk density of Dimorphos, rhoB, lower than 2400 kg/m3, and a low volume fraction of boulders (<40 vol%) on the surface and in the shallow subsurface, are consistent with measured data from the DART experiment. These findings suggest Dimorphos is a rubble pile that might have formed through rotational mass shedding and re-accumulation from Didymos. Our simulations indicate that the DART impact caused global deformation and resurfacing of Dimorphos. ESA's upcoming Hera mission may find a re-shaped asteroid, rather than a well-defined crater. △ Less

Submitted 1 March, 2024; originally announced March 2024.

VLT/MUSE Characterisation of Dimorphos Ejecta from the DART Impact

Authors: Brian P. Murphy, Cyrielle Opitom, Colin Snodgrass, Matthew M. Knight, Jian-Yang Li, Nancy L. Chabot, Andrew S. Rivkin, Simon F. Green, Paloma Guetzoyan, Daniel Gardener, Julia de León

Abstract: We have observed the Didymos-Dimorphos binary system with the MUSE integral field unit spectrograph mounted at the Very Large Telescope (VLT) pre and post-DART impact, and captured the ensuing ejecta cone, debris cloud, and tails at sub-arcsecond resolutions. We targeted the Didymos system over 11 nights from 26 September to 25 October 2022, and utilized both narrow and wide-field observations wit… ▽ More We have observed the Didymos-Dimorphos binary system with the MUSE integral field unit spectrograph mounted at the Very Large Telescope (VLT) pre and post-DART impact, and captured the ensuing ejecta cone, debris cloud, and tails at sub-arcsecond resolutions. We targeted the Didymos system over 11 nights from 26 September to 25 October 2022, and utilized both narrow and wide-field observations with and without adaptive optics, respectively. We took advantage of the spectral-spatial coupled measurements and produced both white-light images and spectral maps of the dust reflectance. We identified and characterized numerous dust features, such as the ejecta cone, spirals, wings, clumps, and tails. We found that the base of the Sunward edge of the wings, from 03 to 19 October, consistent with maximum grain sizes on the order of 0.05-0.2 mm, and that the earliest detected clumps have the highest velocities on the order of 10 m/s. We also see that three clumps in narrow-field mode (8x8'') exhibit redder colors and slower speeds, around 0.09 m/s, than the surrounding ejecta, likely indicating that the clump is comprised of larger, slower grains. We measured the properties of the primary tail, and resolved and measured the properties of the secondary tail earlier than any other published study, with first retrieval on 03 October. Both tails exhibit similarities in curvature and relative flux, however, the secondary tail appears thinner, which may be caused by lower energy ejecta and possibly a low energy formation mechanism such as secondary impacts. △ Less

Submitted 16 November, 2023; originally announced November 2023.

Comments: 22 pages, 14 figures, accepted for publication in the Planetary Science Journal

Photometry of the Didymos system across the DART impact apparition

Authors: Nicholas Moskovitz, Cristina Thomas, Petr Pravec, Tim Lister, Tom Polakis, David Osip, Theodore Kareta, Agata Rożek, Steven R. Chesley, Shantanu P. Naidu, Peter Scheirich, William Ryan, Eileen Ryan, Brian Skiff, Colin Snodgrass, Matthew M. Knight, Andrew S. Rivkin, Nancy L. Chabot, Vova Ayvazian, Irina Belskaya, Zouhair Benkhaldoun, Daniel N. Berteşteanu, Mariangela Bonavita, Terrence H. Bressi, Melissa J. Brucker , et al. (56 additional authors not shown)

Abstract: On 26 September 2022, the Double Asteroid Redirection Test (DART) spacecraft impacted Dimorphos, the satellite of binary near-Earth asteroid (65803) Didymos. This demonstrated the efficacy of a kinetic impactor for planetary defense by changing the orbital period of Dimorphos by 33 minutes (Thomas et al. 2023). Measuring the period change relied heavily on a coordinated campaign of lightcurve phot… ▽ More On 26 September 2022, the Double Asteroid Redirection Test (DART) spacecraft impacted Dimorphos, the satellite of binary near-Earth asteroid (65803) Didymos. This demonstrated the efficacy of a kinetic impactor for planetary defense by changing the orbital period of Dimorphos by 33 minutes (Thomas et al. 2023). Measuring the period change relied heavily on a coordinated campaign of lightcurve photometry designed to detect mutual events (occultations and eclipses) as a direct probe of the satellite's orbital period. A total of 28 telescopes contributed 224 individual lightcurves during the impact apparition from July 2022 to February 2023. We focus here on decomposable lightcurves, i.e. those from which mutual events could be extracted. We describe our process of lightcurve decomposition and use that to release the full data set for future analysis. We leverage these data to place constraints on the post-impact evolution of ejecta. The measured depths of mutual events relative to models showed that the ejecta became optically thin within the first ~1 day after impact, and then faded with a decay time of about 25 days. The bulk magnitude of the system showed that ejecta no longer contributed measurable brightness enhancement after about 20 days post-impact. This bulk photometric behavior was not well represented by an HG photometric model. An HG1G2 model did fit the data well across a wide range of phase angles. Lastly, we note the presence of an ejecta tail through at least March 2023. Its persistence implied ongoing escape of ejecta from the system many months after DART impact. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: 52 pages, 5 tables, 9 figures, accepted to PSJ

Near-IR Spectral Observations of the Didymos System -- Daily Evolution Before and After the DART Impact, Indicates Dimorphos Originated from Didymos

Authors: David Polishook, Francesca E. DeMeo, Brian J. Burt, Cristina . A. Thomas, Andrew . S. Rivkin, Juan . A. Sanchez, Vishnu Reddy

Abstract: Ejecta from Dimorphos following the DART mission impact, significantly increased the brightness of the Didymos-Dimorphos system, allowing us to examine sub-surface material. We report daily near-IR spectroscopic observations of the Didymos system using NASA's IRTF, that follow the evolution of the spectral signature of the ejecta cloud over one week, from one day before the impact. Overall, the sp… ▽ More Ejecta from Dimorphos following the DART mission impact, significantly increased the brightness of the Didymos-Dimorphos system, allowing us to examine sub-surface material. We report daily near-IR spectroscopic observations of the Didymos system using NASA's IRTF, that follow the evolution of the spectral signature of the ejecta cloud over one week, from one day before the impact. Overall, the spectral features remained fixed (S-type classification) while the ejecta dissipated, confirming both Didymos and Dimorphos are constructed from the same silicate material. This novel result strongly supports binary asteroid formation models that include breaking up of a single body, due to rotational breakup of km-wide bodies. At impact time +14 and +38 hours, the spectral slope decreased, but following nights presented increasing spectral slope that almost returned to the pre-impact slope. However, the parameters of the $1~μみゅーm$ band remained fixed, and no "fresh" / Q-type-like spectrum was measured. We interpret these as follow: 1. The ejecta cloud is the main contributor ($60-70\%$) to the overall light during the $\sim40$ hours after impact. 2. Coarser debris ($\geq 100~μみゅーm$) dominated the ejecta cloud, decreasing the spectral slope (after radiation pressure removed the fine grains at $\leq10$ hours after impact); 3. after approximately one week, the ejecta cloud dispersed enough to make the fine grains on Didymos surface the dominating part of the light, increasing the spectral slope to pre-impact level. 4. a negligible amount of non-weathered material was ejected from Dimorphos' sub-surface, suggesting Dimorphos was accumulated from weathered material, ejected from Didymos surface. △ Less

Submitted 1 November, 2023; originally announced November 2023.

Comments: 10 pages, 8 figures, accepted for publication on PSJ

The DECam Ecliptic Exploration Project (DEEP) II. Observational Strategy and Design

Authors: Chadwick A. Trujillo, Cesar Fuentes, David W. Gerdes, Larissa Markwardt, Scott S. Sheppard, Ryder Strauss, Colin Orion Chandler, William J. Oldroyd, David E. Trilling, Hsing Wen Lin, Fred C. Adams, Pedro H. Bernardinelli, Matthew J. Holman, Mario Juric, Andrew McNeill, Michael Mommert, Kevin J. Napier, Matthew J. Payne, Darin Ragozzine, Andrew S. Rivkin, Hilke Schlichting, Hayden Smotherman

Abstract: We present the DECam Ecliptic Exploration Project (DEEP) survey strategy including observing cadence for orbit determination, exposure times, field pointings and filter choices. The overall goal of the survey is to discover and characterize the orbits of a few thousand Trans-Neptunian Objects (TNOs) using the Dark Energy Camera (DECam) on the Cerro Tololo Inter-American Observatory (CTIO) Blanco 4… ▽ More We present the DECam Ecliptic Exploration Project (DEEP) survey strategy including observing cadence for orbit determination, exposure times, field pointings and filter choices. The overall goal of the survey is to discover and characterize the orbits of a few thousand Trans-Neptunian Objects (TNOs) using the Dark Energy Camera (DECam) on the Cerro Tololo Inter-American Observatory (CTIO) Blanco 4 meter telescope. The experiment is designed to collect a very deep series of exposures totaling a few hours on sky for each of several 2.7 square degree DECam fields-of-view to achieve a magnitude of about 26.2 using a wide VR filter which encompasses both the V and R bandpasses. In the first year, several nights were combined to achieve a sky area of about 34 square degrees. In subsequent years, the fields have been re-visited to allow TNOs to be tracked for orbit determination. When complete, DEEP will be the largest survey of the outer solar system ever undertaken in terms of newly discovered object numbers, and the most prolific at producing multi-year orbital information for the population of minor planets beyond Neptune at 30 au. △ Less

Submitted 30 October, 2023; originally announced October 2023.

Comments: 29 pages, 4 figures and 4 tables

Ejecta Evolution Following a Planned Impact into an Asteroid: The First Five Weeks

Authors: Theodore Kareta, Cristina Thomas, Jian-Yang Li, Matthew M. Knight, Nicholas Moskovitz, Agata Rozek, Michele T. Bannister, Simone Ieva, Colin Snodgrass, Petr Pravec, Eileen V. Ryan, William H. Ryan, Eugene G. Fahnestock, Andrew S. Rivkin, Nancy Chabot, Alan Fitzsimmons, David Osip, Tim Lister, Gal Sarid, Masatoshi Hirabayashi, Tony Farnham, Gonzalo Tancredi, Patrick Michel, Richard Wainscoat, Rob Weryk , et al. (63 additional authors not shown)

Abstract: The impact of the DART spacecraft into Dimorphos, moon of the asteroid Didymos, changed Dimorphos' orbit substantially, largely from the ejection of material. We present results from twelve Earth-based facilities involved in a world-wide campaign to monitor the brightness and morphology of the ejecta in the first 35 days after impact. After an initial brightening of ~1.4 magnitudes, we find consis… ▽ More The impact of the DART spacecraft into Dimorphos, moon of the asteroid Didymos, changed Dimorphos' orbit substantially, largely from the ejection of material. We present results from twelve Earth-based facilities involved in a world-wide campaign to monitor the brightness and morphology of the ejecta in the first 35 days after impact. After an initial brightening of ~1.4 magnitudes, we find consistent dimming rates of 0.11-0.12 magnitudes/day in the first week, and 0.08-0.09 magnitudes/day over the entire study period. The system returned to its pre-impact brightness 24.3-25.3 days after impact through the primary ejecta tail remained. The dimming paused briefly eight days after impact, near in time to the appearance of the second tail. This was likely due to a secondary release of material after re-impact of a boulder released in the initial impact, through movement of the primary ejecta through the aperture likely played a role. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Comments: 16 pages, 5 Figures, accepted in the Astrophysical Journal Letters (ApJL) on October 16, 2023

Near to Mid-Infrared Spectroscopy of (65803) Didymos as observed by JWST: Characterization Observations Supporting the Double Asteroid Redirection Test

Authors: Andrew S. Rivkin, Cristina A. Thomas, Ian Wong, Benjamin Rozitis, Julia de León, Bryan Holler, Stefanie N. Milam, Ellen S. Howell, Heidi B. Hammel, Anicia Arredondo, John R. Brucato, Elena M. Epifani, Simone Ieva, Fiorangela La Forgia, Michael P. Lucas, Alice Lucchetti, Maurizio Pajola, Giovanni Poggiali, Jessica N. Sunshine, Josep M. Trigo-Rodríguez

Abstract: The Didymos binary asteroid was the target of the Double Asteroid Redirection Test (DART) mission, which intentionally impacted Dimorphos, the smaller member of the binary system. We used the Near-Infrared Spectrograph (NIRSpec) and Mid-Infrared Instrument (MIRI) instruments on JWST to measure the 0.6-5 $μみゅー$m and 5-20 $μみゅー$m spectra of Didymos approximately two months after the DART impact. These obs… ▽ More The Didymos binary asteroid was the target of the Double Asteroid Redirection Test (DART) mission, which intentionally impacted Dimorphos, the smaller member of the binary system. We used the Near-Infrared Spectrograph (NIRSpec) and Mid-Infrared Instrument (MIRI) instruments on JWST to measure the 0.6-5 $μみゅー$m and 5-20 $μみゅー$m spectra of Didymos approximately two months after the DART impact. These observations confirm that Didymos belongs to the S asteroid class and is most consistent with LL chondrite composition as was previously determined from its 0.6-2.5-$μみゅー$m reflectance spectrum. Measurements at wavelengths $>$ 2.5 $μみゅー$m show Didymos to have thermal properties typical for an S-complex asteroid of its size and to be lacking absorptions deeper than $\sim$2\% due to OH or H2O. Didymos' mid-infrared emissivity spectrum is within the range of what has been observed on S-complex asteroids observed with Spitzer Space Telescope and is most consistent with emission from small ($<$ 25 $μみゅー$m) surface particles. We conclude that the observed reflectance and physical properties make the Didymos system a good proxy for the type of ordinary chondrite asteroids that cross near-Earth space, and a good representative of likely future impactors. △ Less

Submitted 17 October, 2023; originally announced October 2023.

Comments: Accepted by the Planetary Science Journal, 16 October 2023 Paper has 29 pages, 13 figures, 1 table

The DECam Ecliptic Exploration Project (DEEP) VI: first multi-year observations of trans-Neptunian objects

Authors: Hayden Smotherman, Pedro H. Bernardinelli, Stephen K. N. Portillo, Andrew J. Connolly, J. Bryce Kalmbach, Steven Stetzler, Mario Juric, Dino Bektesvic, Zachary Langford, Fred C. Adams, William J. Oldroyd, Matthew J. Holman, Colin Orion Chandler, Cesar Fuentes, David W. Gerdes, Hsing Wen Lin, Larissa Markwardt, Andrew McNeill, Michael Mommert, Kevin J. Napier, Matthew J. Payne, Darin Ragozzine, Andrew S. Rivkin, Hilke Schlichting, Scott S. Sheppard , et al. (3 additional authors not shown)

Abstract: We present the first set of trans-Neptunian objects (TNOs) observed on multiple nights in data taken from the DECam Ecliptic Exploration Project (DEEP). Of these 110 TNOs, 105 do not coincide with previously known TNOs and appear to be new discoveries. Each individual detection for our objects resulted from a digital tracking search at TNO rates of motion, using two to four hour exposure sets, and… ▽ More We present the first set of trans-Neptunian objects (TNOs) observed on multiple nights in data taken from the DECam Ecliptic Exploration Project (DEEP). Of these 110 TNOs, 105 do not coincide with previously known TNOs and appear to be new discoveries. Each individual detection for our objects resulted from a digital tracking search at TNO rates of motion, using two to four hour exposure sets, and the detections were subsequently linked across multiple observing seasons. This procedure allows us to find objects with magnitudes $m_{VR} \approx 26$. The object discovery processing also included a comprehensive population of objects injected into the images, with a recovery and linking rate of at least $94\%$. The final orbits were obtained using a specialized orbit fitting procedure that accounts for the positional errors derived from the digital tracking procedure. Our results include robust orbits and magnitudes for classical TNOs with absolute magnitudes $H \sim 10$, as well as a dynamically detached object found at 76 au (semi-major axis $a\approx 77 \, \mathrm{au}$). We find a disagreement between our population of classical TNOs and the CFEPS-L7 three component model for the Kuiper belt. △ Less

Submitted 5 October, 2023; originally announced October 2023.

Comments: Accepted to AJ, companion paper do DEEP III. Objects will be released in the journal version (or contacting the authors)

The DECam Ecliptic Exploration Project (DEEP) III: Survey characterization and simulation methods

Authors: Pedro H. Bernardinelli, Hayden Smotherman, Zachary Langford, Stephen K. N. Portillo, Andrew J. Connolly, J. Bryce Kalmbach, Steven Stetzler, Mario Juric, William J. Oldroyd, Hsing Wen Lin, Fred C. Adams, Colin Orion Chandler, Cesar Fuentes, David W. Gerdes, Matthew J. Holman, Larissa Markwardt, Andrew McNeill, Michael Mommert, Kevin J. Napier, Matthew J. Payne, Darin Ragozzine, Andrew S. Rivkin, Hilke Schlichting, Scott S. Sheppard, Ryder Strauss , et al. (2 additional authors not shown)

Abstract: We present a detailed study of the observational biases of the DECam Ecliptic Exploration Project's (DEEP) B1 data release and survey simulation software that enables direct statistical comparisons between models and our data. We inject a synthetic population of objects into the images, and then subsequently recover them in the same processing as our real detections. This enables us to characteriz… ▽ More We present a detailed study of the observational biases of the DECam Ecliptic Exploration Project's (DEEP) B1 data release and survey simulation software that enables direct statistical comparisons between models and our data. We inject a synthetic population of objects into the images, and then subsequently recover them in the same processing as our real detections. This enables us to characterize the survey's completeness as a function of apparent magnitudes and on-sky rates of motion. We study the statistically optimal functional form for the magnitude, and develop a methodology that can estimate the magnitude and rate efficiencies for all survey's pointing groups simultaneously. We have determined that our peak completeness is on average 80\% in each pointing group, and our magnitude drops to $25\%$ of this value at $m_{25} = 26.22$. We describe the freely available survey simulation software and its methodology. We conclude by using it to infer that our effective search area for objects at 40 au is $14.8°^2$, and that our lack of dynamically cold distant objects means that there at most $8\times 10^3$ objects with $60 < a < 80$ au and absolute magnitudes $H \leq 8$. △ Less

Submitted 5 October, 2023; originally announced October 2023.

Comments: Accepted to AJ, companion paper to DEEP VI

The DECam Ecliptic Exploration Project (DEEP) IV: Constraints on the shape distribution of bright TNOs

Authors: R. Strauss, D. E. Trilling, P. H. Bernardinelli, C. Beach, W. J. Oldroyd, S. S. Sheppard, H. E. Schlichting, D. W. Gerdes, F. C. Adams, C. O. Chandler, C. Fuentes, M. J. Holman, M. Jurić, H. W. Lin, L. Markwardt, A. McNeill, M. Mommert, K. J. Napier, M. J. Payne, D. Ragozzine, A. S. Rivkin, H. Smotherman, C. A. Trujillo

Abstract: We present the methods and results from the discovery and photometric measurement of 26 bright (VR $>$ 24 trans-Neptunian objects (TNOs) during the first year (2019-20) of the DECam Ecliptic Exploration Project (DEEP). The DEEP survey is an observational TNO survey with wide sky coverage, high sensitivity, and a fast photometric cadence. We apply a computer vision technique known as a progressive… ▽ More We present the methods and results from the discovery and photometric measurement of 26 bright (VR $>$ 24 trans-Neptunian objects (TNOs) during the first year (2019-20) of the DECam Ecliptic Exploration Project (DEEP). The DEEP survey is an observational TNO survey with wide sky coverage, high sensitivity, and a fast photometric cadence. We apply a computer vision technique known as a progressive probabilistic Hough transform to identify linearly-moving transient sources within DEEP photometric catalogs. After subsequent visual vetting, we provide a photometric and astrometric catalog of our TNOs. By modeling the partial lightcurve amplitude distribution of the DEEP TNOs using Monte Carlo techniques, we find our data to be most consistent with an average TNO axis ratio b/a $<$ 0.5, implying a population dominated by non-spherical objects. Based on ellipsoidal gravitational stability arguments, we find our data to be consistent with a TNO population containing a high fraction of contact binaries or other extremely non-spherical objects. We also discuss our data as evidence that the expected binarity fraction of TNOs may be size-dependent. △ Less

Submitted 7 September, 2023; originally announced September 2023.

The DECam Ecliptic Exploration Project (DEEP): I. Survey description, science questions, and technical demonstration

Authors: David E. Trilling, David W. Gerdes, Mario Juric, Chadwick A. Trujillo, Pedro H. Bernardinelli, Kevin J. Napier, Hayden Smotherman, Ryder Strauss, Cesar Fuentes, Matthew J. Holman, Hsing Wen Lin, Larissa Markwardt, Andrew McNeill, Michael Mommert, William J. Oldroyd, Matthew J. Payne, Darin Ragozzine, Andrew S. Rivkin, Hilke Schlichting, Scott S. Sheppard, Fred C. Adams, Colin Orion Chandler

Abstract: We present here the DECam Ecliptic Exploration Project (DEEP), a three year NOAO/NOIRLab Survey that was allocated 46.5 nights to discover and measure the properties of thousands of trans-Neptunian objects (TNOs) to magnitudes as faint as VR~27, corresponding to sizes as small as 20 km diameter. In this paper we present the science goals of this project, the experimental design of our survey, and… ▽ More We present here the DECam Ecliptic Exploration Project (DEEP), a three year NOAO/NOIRLab Survey that was allocated 46.5 nights to discover and measure the properties of thousands of trans-Neptunian objects (TNOs) to magnitudes as faint as VR~27, corresponding to sizes as small as 20 km diameter. In this paper we present the science goals of this project, the experimental design of our survey, and a technical demonstration of our approach. The core of our project is "digital tracking," in which all collected images are combined at a range of motion vectors to detect unknown TNOs that are fainter than the single exposure depth of VR~23 mag. Through this approach we reach a depth that is approximately 2.5 magnitudes fainter than the standard LSST "wide fast deep" nominal survey depth of 24.5 mag. DEEP will more than double the number of known TNOs with observational arcs of 24 hours or more, and increase by a factor of 10 or more the number of known small (<50 km) TNOs. We also describe our ancillary science goals, including measuring the mean shape distribution of very small main belt asteroids, and briefly outline a set of forthcoming papers that present further aspects of and preliminary results from the DEEP program. △ Less

Submitted 6 September, 2023; originally announced September 2023.

Comments: AJ, in press. First in a series of papers

Characterization of the ejecta from NASA/DART impact on Dimorphos: observations and Monte Carlo models

Authors: Fernando Moreno, Adriano Campo Bagatin, Gonzalo Tancredi, Jian-Yang Li, Alessandro Rossi, Fabio Ferrari, Masatoshi Hirabayashi, Eugene Fahnestock, Alain Maury, Robert Sandness, Andrew S. Rivkin, Andy Cheng, Tony L. Farnham, Stefania Soldini, Carmine Giordano, Gianmario Merisio, Paolo Panicucci, Mattia Pugliatti, Alberto J. Castro-Tirado, Emilio Fernandez-Garcia, Ignacio Perez-Garcia, Stavro Ivanovski, Antti Penttila, Ludmilla Kolokolova, Javier Licandro , et al. (4 additional authors not shown)

Abstract: The NASA/DART (Double Asteroid Redirection Test) spacecraft successfully crashed on Dimorphos, the secondary component of the binary (65803) Didymos system. Following the impact, a large dust cloud was released, and a long-lasting dust tail was developed. We have extensively monitored the dust tail from the ground and from the Hubble Space Telescope (HST). We provide a characterization of the ejec… ▽ More The NASA/DART (Double Asteroid Redirection Test) spacecraft successfully crashed on Dimorphos, the secondary component of the binary (65803) Didymos system. Following the impact, a large dust cloud was released, and a long-lasting dust tail was developed. We have extensively monitored the dust tail from the ground and from the Hubble Space Telescope (HST). We provide a characterization of the ejecta dust properties, i.e., particle size distribution and ejection speeds, ejection geometric parameters, and mass, by combining both observational data sets, and by using Monte Carlo models of the observed dust tail. The differential size distribution function that best fits the imaging data was a broken power-law, having a power index of --2.5 for particles of r$\le$ 3 mm, and of --3.7 for larger particles. The particles range in sizes from 1 $μみゅー$m up to 5 cm. The ejecta is characterized by two components, depending on velocity and ejection direction. The northern component of the double tail, observed since October 8th 2022, might be associated to a secondary ejection event from impacting debris on Didymos, although it is also possible that this feature results from the binary system dynamics alone. The lower limit to the total dust mass ejected is estimated at $\sim$6$\times$10$^6$ kg, half of this mass being ejected to interplanetary space. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Comments: Accepted by Planetary Science Journal, July 7th, 2023

ALMA Observations of the DART Impact: Characterizing the Ejecta at Sub-Millimeter Wavelengths

Authors: Nathan X. Roth, Stefanie N. Milam, Anthony J. Remijan, Martin A. Cordiner, Michael W. Busch, Cristina A. Thomas, Andrew S. Rivkin, Arielle Moullet, Ted L. Roush, Mark A. Siebert, Jian-Yang Li, Eugene G. Fahnestock, Josep M. Trigo-Rodriguez, Cyrielle Opitom, Masatoshi Hirabayashi

Abstract: We report observations of the Didymos-Dimorphos binary asteroid system using the Atacama Large Millimeter/Submillimeter Array (ALMA) and the Atacama Compact Array (ACA) in support of the Double Asteroid Redirection Test (DART) mission. Our observations on UT 2022 September 15 provided a pre-impact baseline and the first measure of Didymos-Dimorphos' spectral emissivity at $λらむだ=0.87$ mm, which was co… ▽ More We report observations of the Didymos-Dimorphos binary asteroid system using the Atacama Large Millimeter/Submillimeter Array (ALMA) and the Atacama Compact Array (ACA) in support of the Double Asteroid Redirection Test (DART) mission. Our observations on UT 2022 September 15 provided a pre-impact baseline and the first measure of Didymos-Dimorphos' spectral emissivity at $λらむだ=0.87$ mm, which was consistent with the handful of siliceous and carbonaceous asteroids measured at millimeter wavelengths. Our post-impact observations were conducted using four consecutive executions each of ALMA and the ACA spanning from T$+$3.52 to T$+$8.60 hours post-impact, sampling thermal emission from the asteroids and the impact ejecta. We scaled our pre-impact baseline measurement and subtracted it from the post-impact observations to isolate the flux density of mm-sized grains in the ejecta. Ejecta dust masses were calculated for a range of materials that may be representative of Dimorphos' S-type asteroid material. The average ejecta mass over our observations is consistent with 1.3--6.4$\times10^7$ kg, with the lower and higher values calculated for amorphous silicates and for crystalline silicates, respectively. Owing to the likely crystalline nature of S-type asteroid material, the higher value is favored. These ejecta masses represent 0.3--1.5\% of Dimorphos' total mass and are in agreement with lower limits on the ejecta mass based on measurements at optical wavelengths. Our results provide the most sensitive measure of mm-sized material in the ejecta and demonstrate the power of ALMA for providing supporting observations to spaceflight missions. △ Less

Submitted 27 September, 2023; v1 submitted 9 June, 2023; originally announced June 2023.

On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version)

Authors: Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf

Abstract: A process discovery algorithm aims to construct a model from data generated by historical system executions such that the model describes the system well. Consequently, one desired property of a process discovery algorithm is rediscoverability, which ensures that the algorithm can construct a model that is behaviorally equivalent to the original system. A system often simultaneously executes multi… ▽ More A process discovery algorithm aims to construct a model from data generated by historical system executions such that the model describes the system well. Consequently, one desired property of a process discovery algorithm is rediscoverability, which ensures that the algorithm can construct a model that is behaviorally equivalent to the original system. A system often simultaneously executes multiple processes that interact through object manipulations. This paper presents a framework for developing process discovery algorithms for constructing models that describe interacting processes based on typed Jackson Nets that use identifiers to refer to the objects they manipulate. Typed Jackson Nets enjoy the reconstructability property which states that the composition of the processes and the interactions of a decomposed typed Jackson Net yields a model that is bisimilar to the original system. We exploit this property to demonstrate that if a process discovery algorithm ensures rediscoverability, the system of interacting processes is rediscoverable. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Momentum Transfer from the DART Mission Kinetic Impact on Asteroid Dimorphos

Authors: Andrew F. Cheng, Harrison F. Agrusa, Brent W. Barbee, Alex J. Meyer, Tony L. Farnham, Sabina D. Raducan, Derek C. Richardson, Elisabetta Dotto, Angelo Zinzi, Vincenzo Della Corte, Thomas S. Statler, Steven Chesley, Shantanu P. Naidu, Masatoshi Hirabayashi, Jian-Yang Li, Siegfried Eggl, Olivier S. Barnouin, Nancy L. Chabot, Sidney Chocron, Gareth S. Collins, R. Terik Daly, Thomas M. Davison, Mallory E. DeCoster, Carolyn M. Ernst, Fabio Ferrari , et al. (44 additional authors not shown)

Abstract: The NASA Double Asteroid Redirection Test (DART) mission performed a kinetic impact on asteroid Dimorphos, the satellite of the binary asteroid (65803) Didymos, at 23:14 UTC on September 26, 2022 as a planetary defense test. DART was the first hypervelocity impact experiment on an asteroid at size and velocity scales relevant to planetary defense, intended to validate kinetic impact as a means of… ▽ More The NASA Double Asteroid Redirection Test (DART) mission performed a kinetic impact on asteroid Dimorphos, the satellite of the binary asteroid (65803) Didymos, at 23:14 UTC on September 26, 2022 as a planetary defense test. DART was the first hypervelocity impact experiment on an asteroid at size and velocity scales relevant to planetary defense, intended to validate kinetic impact as a means of asteroid deflection. Here we report the first determination of the momentum transferred to an asteroid by kinetic impact. Based on the change in the binary orbit period, we find an instantaneous reduction in Dimorphos's along-track orbital velocity component of 2.70 +/- 0.10 mm/s, indicating enhanced momentum transfer due to recoil from ejecta streams produced by the impact. For a Dimorphos bulk density range of 1,500 to 3,300 kg/m$^3$, we find that the expected value of the momentum enhancement factor, $βべーた$, ranges between 2.2 and 4.9, depending on the mass of Dimorphos. If Dimorphos and Didymos are assumed to have equal densities of 2,400 kg/m$^3$, $βべーた$= 3.61 +0.19/-0.25 (1 $σしぐま$). These $βべーた$ values indicate that significantly more momentum was transferred to Dimorphos from the escaping impact ejecta than was incident with DART. Therefore, the DART kinetic impact was highly effective in deflecting the asteroid Dimorphos. △ Less

Submitted 6 March, 2023; originally announced March 2023.

Comments: accepted by Nature

Successful Kinetic Impact into an Asteroid for Planetary Defense

Authors: R. Terik Daly, Carolyn M. Ernst, Olivier S. Barnouin, Nancy L. Chabot, Andrew S. Rivkin, Andrew F. Cheng, Elena Y. Adams, Harrison F. Agrusa, Elisabeth D. Abel, Amy L. Alford, Erik I. Asphaug, Justin A. Atchison, Andrew R. Badger, Paul Baki, Ronald-L. Ballouz, Dmitriy L. Bekker, Julie Bellerose, Shyam Bhaskaran, Bonnie J. Buratti, Saverio Cambioni, Michelle H. Chen, Steven R. Chesley, George Chiu, Gareth S. Collins, Matthew W. Cox , et al. (76 additional authors not shown)

Abstract: While no known asteroid poses a threat to Earth for at least the next century, the catalog of near-Earth asteroids is incomplete for objects whose impacts would produce regional devastation. Several approaches have been proposed to potentially prevent an asteroid impact with Earth by deflecting or disrupting an asteroid. A test of kinetic impact technology was identified as the highest priority sp… ▽ More While no known asteroid poses a threat to Earth for at least the next century, the catalog of near-Earth asteroids is incomplete for objects whose impacts would produce regional devastation. Several approaches have been proposed to potentially prevent an asteroid impact with Earth by deflecting or disrupting an asteroid. A test of kinetic impact technology was identified as the highest priority space mission related to asteroid mitigation. NASA's Double Asteroid Redirection Test (DART) mission is the first full-scale test of kinetic impact technology. The mission's target asteroid was Dimorphos, the secondary member of the S-type binary near-Earth asteroid (65803) Didymos. This binary asteroid system was chosen to enable ground-based telescopes to quantify the asteroid deflection caused by DART's impact. While past missions have utilized impactors to investigate the properties of small bodies those earlier missions were not intended to deflect their targets and did not achieve measurable deflections. Here we report the DART spacecraft's autonomous kinetic impact into Dimorphos and reconstruct the impact event, including the timeline leading to impact, the location and nature of the DART impact site, and the size and shape of Dimorphos. The successful impact of the DART spacecraft with Dimorphos and the resulting change in Dimorphos's orbit demonstrates that kinetic impactor technology is a viable technique to potentially defend Earth if necessary. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: Accepted by Nature

Orbital Period Change of Dimorphos Due to the DART Kinetic Impact

Authors: Cristina A. Thomas, Shantanu P. Naidu, Peter Scheirich, Nicholas A. Moskovitz, Petr Pravec, Steven R. Chesley, Andrew S. Rivkin, David J. Osip, Tim A. Lister, Lance A. M. Benner, Marina Brozović, Carlos Contreras, Nidia Morrell, Agata Rożek, Peter Kušnirák, Kamil Hornoch, Declan Mages, Patrick A. Taylor, Andrew D. Seymour, Colin Snodgrass, Uffe G. Jørgensen, Martin Dominik, Brian Skiff, Tom Polakis, Matthew M. Knight , et al. (24 additional authors not shown)

Abstract: The Double Asteroid Redirection Test (DART) spacecraft successfully performed the first test of a kinetic impactor for asteroid deflection by impacting Dimorphos, the secondary of near-Earth binary asteroid (65803) Didymos, and changing the orbital period of Dimorphos. A change in orbital period of approximately 7 minutes was expected if the incident momentum from the DART spacecraft was directly… ▽ More The Double Asteroid Redirection Test (DART) spacecraft successfully performed the first test of a kinetic impactor for asteroid deflection by impacting Dimorphos, the secondary of near-Earth binary asteroid (65803) Didymos, and changing the orbital period of Dimorphos. A change in orbital period of approximately 7 minutes was expected if the incident momentum from the DART spacecraft was directly transferred to the asteroid target in a perfectly inelastic collision, but studies of the probable impact conditions and asteroid properties indicated that a considerable momentum enhancement ($βべーた$) was possible. In the years prior to impact, we used lightcurve observations to accurately determine the pre-impact orbit parameters of Dimorphos with respect to Didymos. Here we report the change in the orbital period of Dimorphos as a result of the DART kinetic impact to be -33.0 +/- 1.0 (3$σしぐま$) minutes. Using new Earth-based lightcurve and radar observations, two independent approaches determined identical values for the change in the orbital period. This large orbit period change suggests that ejecta contributed a significant amount of momentum to the asteroid beyond what the DART spacecraft carried. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: Accepted by Nature

Ejecta from the DART-produced active asteroid Dimorphos

Authors: Jian-Yang Li, Masatoshi Hirabayashi, Tony L. Farnham, Jessica M. Sunshine, Matthew M. Knight, Gonzalo Tancredi, Fernando Moreno, Brian Murphy, Cyrielle Opitom, Steve Chesley, Daniel J. Scheeres, Cristina A. Thomas, Eugene G. Fahnestock, Andrew F. Cheng, Linda Dressel, Carolyn M. Ernst, Fabio Ferrari, Alan Fitzsimmons, Simone Ieva, Stavro L. Ivanovski, Teddy Kareta, Ludmilla Kolokolova, Tim Lister, Sabina D. Raducan, Andrew S. Rivkin , et al. (39 additional authors not shown)

Abstract: Some active asteroids have been proposed to be the result of impact events. Because active asteroids are generally discovered serendipitously only after their tail formation, the process of the impact ejecta evolving into a tail has never been directly observed. NASA's Double Asteroid Redirection Test (DART) mission, apart from having successfully changed the orbital period of Dimorphos, demonstra… ▽ More Some active asteroids have been proposed to be the result of impact events. Because active asteroids are generally discovered serendipitously only after their tail formation, the process of the impact ejecta evolving into a tail has never been directly observed. NASA's Double Asteroid Redirection Test (DART) mission, apart from having successfully changed the orbital period of Dimorphos, demonstrated the activation process of an asteroid from an impact under precisely known impact conditions. Here we report the observations of the DART impact ejecta with the Hubble Space Telescope (HST) from impact time T+15 minutes to T+18.5 days at spatial resolutions of ~2.1 km per pixel. Our observations reveal a complex evolution of ejecta, which is first dominated by the gravitational interaction between the Didymos binary system and the ejected dust and later by solar radiation pressure. The lowest-speed ejecta dispersed via a sustained tail that displayed a consistent morphology with previously observed asteroid tails thought to be produced by impact. The ejecta evolution following DART's controlled impact experiment thus provides a framework for understanding the fundamental mechanisms acting on asteroids disrupted by natural impact. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Comments: accepted by Nature

Reactive Synthesis for DECLARE via symbolic automata

Authors: Luca Geatti, Marco Montali, Andrey Rivkin

Abstract: Given a specification of linear-time temporal logic interpreted over finite traces (LTLf), the reactive synthesis problem asks to find a finitely-representable, terminating controller that reacts to the uncontrollable actions of an environment in order to enforce a desired system specification. In this paper we study, for the first time, the reactive synthesis problem for DECLARE - a fragment of L… ▽ More Given a specification of linear-time temporal logic interpreted over finite traces (LTLf), the reactive synthesis problem asks to find a finitely-representable, terminating controller that reacts to the uncontrollable actions of an environment in order to enforce a desired system specification. In this paper we study, for the first time, the reactive synthesis problem for DECLARE - a fragment of LTLf extensively used both in theory and practice for specifying declarative, constraint-based business processes. We provide a threefold contribution. First, we give a naive, doubly exponential time synthesis algorithm for this problem. Second, we show how an arbitrary DECLARE specification can be compactly encoded into an equivalent pure past one in LTLf, and we exploit this to define an optimized, singly exponential time algorithm for DECLARE synthesis. Third, we derive a symbolic version of this algorithm, by introducing a novel translation of pure-past temporal formulas into symbolic deterministic finite automata. △ Less

Submitted 21 December, 2022; originally announced December 2022.

Correctness Notions for Petri Nets with Identifiers

Authors: Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy

Abstract: A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri nets formalism suitable for describing information systems in which states refer to object instances of predefined types and resources are identified as instances of special object types. Several correctness criteria fo… ▽ More A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri nets formalism suitable for describing information systems in which states refer to object instances of predefined types and resources are identified as instances of special object types. Several correctness criteria for resource- and object-aware information systems models are proposed, supplemented with discussions on their decidability for interesting classes of systems. These new correctness criteria can be seen as generalizations of the classical soundness property of workflow models concerned with process control flow correctness. △ Less

Submitted 18 January, 2024; v1 submitted 14 December, 2022; originally announced December 2022.

Journal ref: Fundamenta Informaticae, Volume 190, issues 2-4: Petri Nets 2022 (February 12, 2024) fi:10489

Anticipating the DART impact: Orbit estimation of Dimorphos using a simplified model

Authors: Shantanu P. Naidu, Steven R. Chesley, Davide Farnocchia, Nick Moskovitz, Petr Pravec, Petr Scheirich, Cristina Thomas, Andrew S. Rivkin

Abstract: We used the times of occultations and eclipses between the components of the 65803 Didymos binary system observed in its lightcurves from 2003-2021 to estimate the orbital parameters of Dimorphos relative to Didymos. We employed a weighted least-squares approach and a modified Keplerian orbit model in order to accommodate the effects from non-gravitational forces such as Binary YORP that could cau… ▽ More We used the times of occultations and eclipses between the components of the 65803 Didymos binary system observed in its lightcurves from 2003-2021 to estimate the orbital parameters of Dimorphos relative to Didymos. We employed a weighted least-squares approach and a modified Keplerian orbit model in order to accommodate the effects from non-gravitational forces such as Binary YORP that could cause a linear change in mean motion over time. We estimate that the period of the mutual orbit at the epoch 2022 September 26.0 TDB, the day of the DART impact, is $11.9214869 \pm 0.000028$~h ($1σしぐま$) and that the mean motion of the orbit is changing at a rate of $(5.0\pm 1.0)\times 10^{-18}$~rad s$^{-2}$ $(1σしぐま$). The formal $3σしぐま$ uncertainty in orbital phase of Dimorphos during the planned Double Asteroid Redirection Test (DART) mission is $5.4^\circ$. Observations from July to September 2022, a few months to days prior to the DART impact, should provide modest improvements to the orbital phase uncertainty and reduce it to about $4.2^\circ$. These results, generated using a relatively simple model, are consistent with those generated using the more sophisticated model of \citet{scheirich22}, which demonstrates the reliability of our method and adds confidence to these mission-critical results. △ Less

Submitted 10 October, 2022; originally announced October 2022.

Comments: Accepted to PSJ

Isolating the mechanisms for asteroid surface refreshing

Authors: F. E. DeMeo, M. Marsset, D. Polishook, B. J. Burt, R. P. Binzel, S. Hasegawa, M. Granvik, N. A. Moskovitz, A. Earle, S. J. Bus, C. A. Thomas, A. S. Rivkin, S. M. Slivan

Abstract: Evidence is seen for young, fresh surfaces among Near-Earth and Main-Belt asteroids even though space-weathering timescales are shorter than the age of the surfaces. A number of mechanisms have been proposed to refresh asteroid surfaces on short timescales, such as planetary encounters, YORP spinup, thermal degradation, and collisions. Additionally, other factors such as grain size effects have be… ▽ More Evidence is seen for young, fresh surfaces among Near-Earth and Main-Belt asteroids even though space-weathering timescales are shorter than the age of the surfaces. A number of mechanisms have been proposed to refresh asteroid surfaces on short timescales, such as planetary encounters, YORP spinup, thermal degradation, and collisions. Additionally, other factors such as grain size effects have been proposed to explain the existence of these "fresh-looking" spectra. To investigate the role each of these mechanisms may play, we collected a sample of visible and near-infrared spectra of 477 near-Earth and Mars Crosser asteroids with similar sizes and compositions - all with absolute magnitude H > 16 and within the S-complex and having olivine to pyroxene (ol/(ol+opx)) ratios > 0.65. We taxonomically classify these objects in the Q (fresh) and S (weathered) classes. We find four trends in the Q/S ratio: 1) previous work demonstrated the Q/S ratio increases at smaller sizes down to H<16, but we find a sharp increase near H=19 after which the ratio decreases monotonically 2) in agreement with many previous studies, the Q/S ratio increases with decreasing perihelion distance, and we find it is non-zero for larger perihelia greater than 1.2AUえーゆー, 3) as a new finding our work reveals the Q/S ratio has a sharp, significant peak near 5 degrees orbital inclination, and 4) we confirm previous findings that the Q/S ratio is higher for objects that have the possibility of encounter with Earth and Venus versus those that don't, however this finding cannot be distinguished from the perihelion trend. No single resurfacing mechanism can explain all of these trends, so multiple mechanisms are required. It is likely that a combination of all four resurfacing mechanisms are needed to account for all observational trends. △ Less

Submitted 25 September, 2022; originally announced September 2022.

Comments: Accepted for publication in Icarus. 14 pages, 4 figures

After DART: Using the first full-scale test of a kinetic impactor to inform a future planetary defense mission

Authors: Thomas S. Statler, Sabina D. Raducan, Olivier S. Barnouin, Mallory E. DeCoster, Steven R. Chesley, Brent Barbee, Harrison F. Agrusa, Saverio Cambioni, Andrew F. Cheng, Elisabetta Dotto, Siegfried Eggl, Eugene G. Fahnestock, Fabio Ferrari, Dawn Graninger, Alain Herique, Isabel Herreros, Masatoshi Hirabayashi, Stavro Ivanovski, Martin Jutzi, Özgür Karatekin, Alice Lucchetti, Robert Luther, Rahil Makadia, Francesco Marzari, Patrick Michel , et al. (16 additional authors not shown)

Abstract: NASA's Double Asteroid Redirection Test (DART) is the first full-scale test of an asteroid deflection technology. Results from the hypervelocity kinetic impact and Earth-based observations, coupled with LICIACube and the later Hera mission, will result in measurement of the momentum transfer efficiency accurate to ~10% and characterization of the Didymos binary system. But DART is a single experim… ▽ More NASA's Double Asteroid Redirection Test (DART) is the first full-scale test of an asteroid deflection technology. Results from the hypervelocity kinetic impact and Earth-based observations, coupled with LICIACube and the later Hera mission, will result in measurement of the momentum transfer efficiency accurate to ~10% and characterization of the Didymos binary system. But DART is a single experiment; how could these results be used in a future planetary defense necessity involving a different asteroid? We examine what aspects of Dimorphos's response to kinetic impact will be constrained by DART results; how these constraints will help refine knowledge of the physical properties of asteroidal materials and predictive power of impact simulations; what information about a potential Earth impactor could be acquired before a deflection effort; and how design of a deflection mission should be informed by this understanding. We generalize the momentum enhancement factor $βべーた$, showing that a particular direction-specific $βべーた$ will be directly determined by the DART results, and that a related direction-specific $βべーた$ is a figure of merit for a kinetic impact mission. The DART $βべーた$ determination constrains the ejecta momentum vector, which, with hydrodynamic simulations, constrains the physical properties of Dimorphos's near-surface. In a hypothetical planetary defense exigency, extrapolating these constraints to a newly discovered asteroid will require Earth-based observations and benefit from in-situ reconnaissance. We show representative predictions for momentum transfer based on different levels of reconnaissance and discuss strategic targeting to optimize the deflection and reduce the risk of a counterproductive deflection in the wrong direction. △ Less

Submitted 23 September, 2022; originally announced September 2022.

Comments: 30 pages, 7 figures. Planetary Science Journal, in press, accepted 2022 September 22

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)

Authors: Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Abstract: Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Database Theory. To make these systems amenable to verification, the amount of information stored in each relational state needs to be bounded, or restrictions are imposed on the preconditions and effects of actions. We int… ▽ More Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Database Theory. To make these systems amenable to verification, the amount of information stored in each relational state needs to be bounded, or restrictions are imposed on the preconditions and effects of actions. We introduce the general framework of relational action bases (RABs), which generalizes existing models by lifting both these restrictions: unbounded relational states can be evolved through actions that can quantify both existentially and universally over the data, and that can exploit numerical datatypes with arithmetic predicates. We then study parameterized safety of RABs via (approximated) SMT-based backward search, singling out essential meta-properties of the resulting procedure, and showing how it can be realized by an off-the-shelf combination of existing verification modules of the state-of-the-art MCMT model checker. We demonstrate the effectiveness of this approach on a benchmark of data-aware business processes. Finally, we show how universal invariants can be exploited to make this procedure fully correct. △ Less

Submitted 11 August, 2023; v1 submitted 12 August, 2022; originally announced August 2022.

Comments: Extended version of the conference paper 'Safety Verification and Universal Invariants for Relational Action Bases' by the same authors, accepted at the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023)

Conformance Checking with Uncertainty via SMT (Extended Version)

Authors: Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler

Abstract: Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain logs against data-aware reference processes. Specifically, we show how to solve it via SMT encodings, lifting previous work on data-aware SMT-based conformance checking to this more sophisticated setting. Our approach is… ▽ More Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain logs against data-aware reference processes. Specifically, we show how to solve it via SMT encodings, lifting previous work on data-aware SMT-based conformance checking to this more sophisticated setting. Our approach is modular, in that it homogeneously accommodates for different types of uncertainty. Moreover, using appropriate cost functions, different conformance checking tasks can be addressed. We show the correctness of our approach and witness feasibility through a proof-of-concept implementation. △ Less

Submitted 26 June, 2022; v1 submitted 15 June, 2022; originally announced June 2022.

Comments: Extended version of a conference paper accepted at the 20th International Conference on Business Process Management (BPM 2022)

The Nature of Low-Albedo Small Bodies from 3-$μみゅー$m Spectroscopy: One Group that Formed Within the Ammonia Snow Line and One that Formed Beyond It

Authors: Andrew S. Rivkin, Joshua P. Emery, Ellen S. Howell, Theodore Kareta, John W. Noonan, Matthew Richardson, Benjamin N. L. Sharkey, Amanda A. Sickafoose, Laura M. Woodney, Richard J. Cartwright, Sean Lindsay, Lucas T. Mcclure

Abstract: We present evidence, via a large survey of 191 new spectra along with previously-published spectra, of a divide in the 3-$μみゅー$m spectral properties of the low-albedo asteroid population. One group ("Sharp-types" or ST, with band centers $<$ 3 $μみゅー$m) has a spectral shape consistent with carbonaceous chondrite meteorites, while the other group ("not-Sharp-types" or NST, with bands centered $>$ 3 $μみゅー$m)… ▽ More We present evidence, via a large survey of 191 new spectra along with previously-published spectra, of a divide in the 3-$μみゅー$m spectral properties of the low-albedo asteroid population. One group ("Sharp-types" or ST, with band centers $<$ 3 $μみゅー$m) has a spectral shape consistent with carbonaceous chondrite meteorites, while the other group ("not-Sharp-types" or NST, with bands centered $>$ 3 $μみゅー$m) is not represented in the meteorite literature but is as abundant as the STs among large objects. Both groups are present in most low-albedo asteroid taxonomic classes, and except in limited cases taxonomic classifications based on 0.5-2.5-$μみゅー$m data alone cannot predict whether an asteroid is ST or NST. Statistical tests show the STs and NSTs differ in average band depth, semi-major axis, and perihelion at confidence levels $\ge$98\%, while not showing significant differences in albedo. We also show that many NSTs have a 3-$μみゅー$m absorption band shape like Comet 67P, and likely represent an important small-body composition throughout the solar system. A simple explanation for the origin of these groups is formation on opposite sides of the ammonia snow line, with the NST group accreting H2O and NH3 and the ST group only accreting H2O, with subsequent thermal and chemical evolution resulting in the minerals seen today. Such an explanation is consistent with recent dynamical modeling of planetesimal formation and delivery, and suggests that much more outer solar system material was delivered to the main asteroid belt than would be thought based on the number of D-class asteroids found today. △ Less

Submitted 18 May, 2022; originally announced May 2022.

Comments: Accepted by Planetary Science Journal, 18 May 2022. 77 total pages, 14 total tables and 14 total figures, including 22 pages of supplementary text, 1 supplementary figure, and 3 supplementary tables

Connecting Asteroids and Meteorites with visible and near-infrared spectroscopy

Authors: Francesca E. DeMeo, Brian J. Burt, Michaël Marsset, David Polishook, Thomas H. Burbine, Benoît Carry, Richard P. Binzel, Pierre Vernazza, Vishnu Reddy, Michelle Tang, Cristina A. Thomas, Andrew S. Rivkin, Nicholas A. Moskovitz, Stephen M. Slivan, Schelte J. Bus

Abstract: We identify spectral similarities between asteroids and meteorites. We identify spectral matches between 500 asteroid spectra and over 1,000 samples of RELAB meteorite spectra over 0.45-2.5 microns. We reproduce many major and previously known meteorite-asteroid connections and find possible new, more rare or less-established connections. Well-established connections include: ordinary chondrites (… ▽ More We identify spectral similarities between asteroids and meteorites. We identify spectral matches between 500 asteroid spectra and over 1,000 samples of RELAB meteorite spectra over 0.45-2.5 microns. We reproduce many major and previously known meteorite-asteroid connections and find possible new, more rare or less-established connections. Well-established connections include: ordinary chondrites (OC) with S-complex asteroids; pristine CM carbonaceous chondrites with Ch-type asteroids and heated CMs with C-type asteroids; HED meteorites with V-types; enstatite chondrites with Xc-type asteroids; CV meteorites with K-type asteroids; Brachinites, Pallasites and R chondrites with olivine-dominated A-type asteroids. We find a trend from Q, Sq, S, Sr to Sv correlates with LL to H, with Q-types matching predominately to L and LL ordinary chondrites, and Sr and Sv matching predominantly with L and H ordinary chondrites. Ordinary chondrite samples that match to the X-complex, all measurements of slabs and many labeled as dark or black (shocked) OCs. We find carbonaceous chondrite samples having spectral slopes large enough to match D-type asteroid spectra. In many cases the asteroid type to meteorite type links are not unique. While there are well established matches between an asteroid class and meteorite class, there are less common but still spectrally compatible matches between many asteroid types and meteorite types. This result emphasizes the diversity of asteroid and meteorite compositions and highlights the degeneracy of classification by spectral features alone. Recent and upcoming spacecraft missions will shed light on the compositions of many of the asteroid classes, particularly those without diagnostic features, (C-, B-, X-, and D-types), with measurements of Ceres, Ryugu, Bennu, Psyche, and C-, P-, and D-types as part of the Lucy mission. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Comments: Accepted for publication in Icarus. 38 pages, 8 figures

The debiased compositional distribution of MITHNEOS: Global match between the near-Earth and main-belt asteroid populations and excess of D-type Near-Earth Objects

Authors: Michaël Marsset, Francesca E. DeMeo, Brian Burt, David Polishook, Richard P. Binzel, Mikael Granvik, Pierre Vernazza, Benoit Carry, Schelte J. Bus, Stephen M. Slivan, Cristina A. Thomas, Nicholas A. Moskovitz, Andrew S. Rivkin

Abstract: We report 491 new near-infrared spectroscopic measurements of 420 near-Earth objects (NEOs) collected on the NASA InfraRed Telescope Facility (IRTF) as part of the MIT-Hawaii NEO Spectroscopic Survey (MITHNEOS). These measurements were combined with previously published data (Binzel et al. 2019) and bias-corrected to derive the intrinsic compositional distribution of the overall NEO population, as… ▽ More We report 491 new near-infrared spectroscopic measurements of 420 near-Earth objects (NEOs) collected on the NASA InfraRed Telescope Facility (IRTF) as part of the MIT-Hawaii NEO Spectroscopic Survey (MITHNEOS). These measurements were combined with previously published data (Binzel et al. 2019) and bias-corrected to derive the intrinsic compositional distribution of the overall NEO population, as well as of subpopulations coming from various escape routes (ERs) in the asteroid belt and beyond. The resulting distributions reflect well the overall compositional gradient of the asteroid belt, with decreasing fractions of silicate-rich (S- and Q-type) bodies and increasing fractions of carbonaceous (B-, C-, D- and P-type) bodies as a function of increasing ER distance from the Sun. The close compositional match between NEOs and their predicted source populations validates dynamical models used to identify ERs and argues against any strong composition change with size in the asteroid belt between ~5 km down to ~100 m. A notable exception comes from the over-abundance of D-type NEOs from the 5:2J and, to a lesser extend, the 3:1J and nu6 ERs, hinting at the presence of a large population of small D-type asteroids in the main belt. Alternatively, this excess may indicate preferential spectral evolution from D-type surfaces to C- and P-types as a consequence of space weathering, or to the fact that D-type objects fragment more often than other spectral types in the NEO space. No further evidence for the existence of collisional families in the main belt, below the detection limit of current main-belt surveys, was found in this work. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Comments: 23 pages, 6 figures, accepted for publication in AJ

Soundness in Object-centric Workflow Petri Nets

Authors: Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin

Abstract: Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution. In this work we build on top of one of such formalisms and introduce the notion of soundness for it. We demonstrate that for nets with non-deterministic synchronization between case objects, the soundness problem is decidable. Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution. In this work we build on top of one of such formalisms and introduce the notion of soundness for it. We demonstrate that for nets with non-deterministic synchronization between case objects, the soundness problem is decidable. △ Less

Submitted 30 December, 2021; originally announced December 2021.

Comments: This is an ongoing work that introduces basic notions and theoretical results needed for establishing the theoretical framework for checking soundness of object-centric Petri nets

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach

Authors: Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin

Abstract: Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is necessary to consider multiple process specifications simultaneously. In addition, these specifications can be procedural, declarative, or a combination of both. For example, in the medical domain, a clinical guideline des… ▽ More Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is necessary to consider multiple process specifications simultaneously. In addition, these specifications can be procedural, declarative, or a combination of both. For example, in the medical domain, a clinical guideline describing the treatment of a specific disease cannot account for all possible co-factors that can coexist for a specific patient and therefore additional constraints may need to be considered. In some cases, these constraints may be incompatible with clinical guidelines, therefore requiring the violation of either the guidelines or the constraints. In this paper, we propose a solution for monitoring the interplay of hybrid process specifications expressed as a combination of (data-aware) Petri nets and temporal logic rules. During the process execution, if these specifications are in conflict with each other, it is possible to violate some of them. The monitoring system is equipped with a violation cost model according to which the system can recommend the next course of actions in a way that would either avoid possible violations or minimize the total cost of violations. △ Less

Submitted 25 November, 2021; originally announced November 2021.

The Reflectance Spectra of CV-CK Carbonaceous chondrites from the Near Infrared to the Visible

Authors: Safoura Tanbakouei, Josep M. Trigo-Rodriguez, J. Llorca, C. E. Moyano-Cambero, I. P. Williams, Andrew S. Rivkin

Abstract: Carbonaceous chondrite meteorites are so far the only available samples representing carbon-rich asteroids and in order to allow future comparison with samples returned by missions such as Hayabusa 2 and OSIRIS-Rex, is important to understand their physical properties. Future characterization of asteroid primitive classes, some of them targeted by sample-return missions, requires a better understa… ▽ More Carbonaceous chondrite meteorites are so far the only available samples representing carbon-rich asteroids and in order to allow future comparison with samples returned by missions such as Hayabusa 2 and OSIRIS-Rex, is important to understand their physical properties. Future characterization of asteroid primitive classes, some of them targeted by sample-return missions, requires a better understanding of their mineralogy, the consequences of the exposure to space weathering, and how both affect the reflectance behavior of these objects. In this paper, the reflectance spectra of two chemically-related carbonaceous chondrites groups, precisely the Vigrano (CVs) and Karoonda (CKs), are measured and compared. The available sample suite includes polished sections exhibiting different petrologic types: from 3 (very low degree of thermal metamorphism) to 5 (high degree of thermal metamorphism). We found that the reflective properties and the comparison with the Cg asteroid reflectance class point toward a common chondritic reservoir from which the CV-CK asteroids collisionally evolved. In that scenario the CV and CK chondrites could be originated from 221 Eos asteroid family, but because of its collisional disruption, both chondrite groups evolved separately, experiencing different stages of thermal metamorphism, annealing and space weathering. △ Less

Submitted 2 August, 2021; v1 submitted 27 July, 2021; originally announced July 2021.

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)

Authors: Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler

Abstract: Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes, conformance checking with multi-perspective processes is still at its infancy. In this paper, we attack this challenging problem by considering processes that com… ▽ More Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes, conformance checking with multi-perspective processes is still at its infancy. In this paper, we attack this challenging problem by considering processes that combine the data and control-flow dimensions. In particular, we adopt data Petri nets (DPNs) as the underlying reference formalism, and show how solid, well-established automated reasoning techniques can be effectively employed for computing conformance metrics and data-aware alignments. We do so by introducing the CoCoMoT (Computing Conformance Modulo Theories) framework, with a fourfold contribution. First, we show how SAT-based encodings studied in the pure control-flow setting can be lifted to our data-aware case, using SMT as the underlying formal and algorithmic framework. Second, we introduce a novel preprocessing technique based on a notion of property-preserving clustering, to speed up the computation of conformance checking outputs. Third, we provide a proof-of-concept implementation that uses a state-of-the-art SMT solver and report on preliminary experiments. Finally, we discuss how CoCoMoT directly lends itself to a number of further tasks, like multi- and anti-alignments, log analysis by clustering, and model repair. △ Less

Submitted 19 April, 2021; v1 submitted 18 March, 2021; originally announced March 2021.

Furthering Asteroid Resource Utilization in the Next Decade through Technology Leadership

Authors: Chris Lewicki, Amara Graps, Martin Elvis, Philip Metzger, Andrew Rivkin

Abstract: A significant opportunity for synergy between pure research and asteroid resource research exists. We provide an overview of the state of the art in asteroid resource utilization, and highlight where we can accelerate the closing of knowledge gaps, leading to the utilization of asteroid resources for growing economic productivity in space. A significant opportunity for synergy between pure research and asteroid resource research exists. We provide an overview of the state of the art in asteroid resource utilization, and highlight where we can accelerate the closing of knowledge gaps, leading to the utilization of asteroid resources for growing economic productivity in space. △ Less

Submitted 1 March, 2021; originally announced March 2021.

Comments: 7 page whitepaper submitted to Planetary Science Decadal Survey

Space Weathering within C-Complex Main Belt Asteroid Families

Authors: Cristina A. Thomas, David E. Trilling, Andrew S. Rivkin, Tyler Linder

Abstract: Using data from the Sloan Digital Sky Survey Moving Object Catalog, we study color as a function of size for C-complex families in the Main Asteroid Belt to improve our understanding of space weathering of carbonaceous materials. We find two distinct spectral slope trends: Hygiea-type and Themis-type. The Hygiea-type families exhibit a reduction in spectral slope with increasing object size until… ▽ More Using data from the Sloan Digital Sky Survey Moving Object Catalog, we study color as a function of size for C-complex families in the Main Asteroid Belt to improve our understanding of space weathering of carbonaceous materials. We find two distinct spectral slope trends: Hygiea-type and Themis-type. The Hygiea-type families exhibit a reduction in spectral slope with increasing object size until a minimum slope value is reached and the trend reverses with increasing slope with increasing object size. The Themis family shows an increase in spectral slope with increasing object size until a maximum slope is reached and the spectral slope begins to decrease slightly or plateaus for the largest objects. Most families studied show the Hygiea-type trend. The processes responsible for these distinct changes in spectral slope affect several different taxonomic classes within the C-complex and appear to act quickly to alter the spectral slopes of the family members. △ Less

Submitted 21 January, 2021; originally announced January 2021.

Comments: 13 pages, 6 figures, 1 table, to be published in the Astronomical Journal

Asteroid Resource Utilization: Ethical Concerns and Progress

Authors: Andrew S. Rivkin, Moses Milazzo, Aparna Venkatesan, Elizabeth Frank, Monica R. Vidaurri, Phil Metzger, Chris Lewicki

Abstract: As asteroid mining moves toward reality, the high bar to entering the business may limit participation and increase inequality, reducing or eliminating any benefit gained by marginalized people or developing nations. Consideration of ethical issues is urgently needed, as well as participation in international, not merely multilateral, solutions. As asteroid mining moves toward reality, the high bar to entering the business may limit participation and increase inequality, reducing or eliminating any benefit gained by marginalized people or developing nations. Consideration of ethical issues is urgently needed, as well as participation in international, not merely multilateral, solutions. △ Less

Submitted 6 November, 2020; originally announced November 2020.

Comments: Submitted to Planetary Science Decadal Survey. 19 co-signers, with names listed on cover page

Formalizing Integration Patterns with Multimedia Data (Extended Version)

Authors: Marco Montali, Andrey Rivkin, Daniel Ritter

Abstract: The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI building blocks, in order to facilitate the model-driven development and ensure its correctness. So far, the formalization requirements were focusing on more "conventional" integration scenarios, in which control-flow, tran… ▽ More The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI building blocks, in order to facilitate the model-driven development and ensure its correctness. So far, the formalization requirements were focusing on more "conventional" integration scenarios, in which control-flow, transactional persistent data and time aspects were considered. However, none of these works took into consideration another arising EAI trend that covers social and multimedia computing. In this work we propose a Petri net-based formalism that addresses requirements arising from the multimedia domain. We also demonstrate realizations of one of the most frequently used multimedia patterns and discuss which implications our formal proposal may bring into the area of the multimedia EAI development. △ Less

Submitted 8 April, 2021; v1 submitted 9 September, 2020; originally announced September 2020.

Strength In Diversity: Small Bodies as the Most Important Objects in Planetary Sciences

Authors: Laura M. Woodney, Andrew S. Rivkin, Walter Harris, Barbara A. Cohen, Gal Sarid, Maria Womack, Olivier Barnouin, Kat Volk, Rachel Klima, Yanga R. Fernandez, Jordan K. Steckloff, Paul A. Abell

Abstract: Small bodies, the unaccreted leftovers of planetary formation, are often mistaken for the leftovers of planetary science in the sense that they are everything else after the planets and their satellites (or sometimes just their regular satellites) are accounted for. This mistaken view elides the great diversity of compositions, histories, and present-day conditions and processes found in the small… ▽ More Small bodies, the unaccreted leftovers of planetary formation, are often mistaken for the leftovers of planetary science in the sense that they are everything else after the planets and their satellites (or sometimes just their regular satellites) are accounted for. This mistaken view elides the great diversity of compositions, histories, and present-day conditions and processes found in the small bodies, and the interdisciplinary nature of their study. Understanding small bodies is critical to planetary science as a field, and we urge planetary scientists and our decision makers to continue to support science-based mission selections and to recognize that while small bodies have been grouped together for convenience, the diversity of these objects in terms of composition, mass, differentiation, evolution, activity, dynamical state, physical structure, thermal environment, thermal history, and formation vastly exceeds the observed variability in the major planets and their satellites. Treating them as a monolithic group with interchangeable members does a grave injustice to the range of fundamental questions they address. We advocate for a deep and ongoing program of missions, telescopic observations, R and A funding, and student support that respects this diversity. △ Less

Submitted 14 August, 2020; originally announced August 2020.

Comments: 7 pages, 1 table, 1 figure, Submitted to the National Academy of Sciences Planetary and Astrobiology Decadal Survey 2023-2032

DART Mission Determination of Momentum Transfer: Model of Ejecta Plume Observations

Authors: Andrew F. Cheng, Angela M. Stickle, Eugene G. Fahnestock, Elisabetta Dotto, Vincenzo Della Corte, Nancy L. Chabot, Andrew S. Rivkin

Abstract: The NASA Double Asteroid Redirection Test (DART) spacecraft will impact the secondary member of the [65803] Didymos binary in order to perform the first demonstration of asteroid deflection by kinetic impact. Determination of the momentum transfer to the target body from the kinetic impact is a primary planetary defense objective, using ground-based telescopic observations of the orbital period ch… ▽ More The NASA Double Asteroid Redirection Test (DART) spacecraft will impact the secondary member of the [65803] Didymos binary in order to perform the first demonstration of asteroid deflection by kinetic impact. Determination of the momentum transfer to the target body from the kinetic impact is a primary planetary defense objective, using ground-based telescopic observations of the orbital period change of Didymos and imaging of the DART impact ejecta plume by the LICIACube cubesat, along with modeling and simulation of the DART impact. LICIACube, contributed by the Italian Space Agency, will perform a flyby of Didymos a few minutes after the DART impact, to resolve the ejecta plume spatial structure and to study the temporal evolution. LICIACube ejecta plume images will help determine the vector momentum transfer from the DART impact, by determining or constraining the direction and the magnitude of the momentum carried by ejecta. A model is developed for the impact ejecta plume optical depth, using a point source scaling model of the DART impact. The model is applied to expected LICIACube plume images and shows how plume images enable characterization of the ejecta mass versus velocity distribution. The ejecta plume structure, as it evolves over time, is determined by the amount of ejecta that has reached a given altitude at a given time. The evolution of the plume optical depth profiles determined from LICIACube images can distinguish between strength-controlled and gravity-controlled impacts, by distinguishing the respective mass versus velocity distributions. LICIACube plume images discriminate the differences in plume structure and evolution that result from different target physical properties, mainly strength and porosity, thereby allowing inference of these properties to improve the determination of momentum transfer. △ Less

Submitted 30 July, 2020; originally announced July 2020.

Comments: 45 pages, 16 figures. Accepted by Icarus

Main Belt Asteroid Science in the Decade 2023-2032: Fundamental Science Questions and Recommendations on behalf of the Small Bodies Assessment Group

Authors: Maggie M. McAdam, Andrew S. Rivkin, Lucy F. Lim, Julie Castillo-Rogez, Franck Marchis, Tracy M. Becker

Abstract: Solicited by the Small Bodies Assessment Group, we recommend a balanced program of telescopic observation (ground-based, airborne, and space-based), laboratory studies, theoretical research and missions to Main Belt Asteroids utilizing the full spectral range from ultraviolet to far-infrared to investigate these outstanding fundamental questions in the next decade. Solicited by the Small Bodies Assessment Group, we recommend a balanced program of telescopic observation (ground-based, airborne, and space-based), laboratory studies, theoretical research and missions to Main Belt Asteroids utilizing the full spectral range from ultraviolet to far-infrared to investigate these outstanding fundamental questions in the next decade. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Comments: White Paper submitted to the Planetary Science Decadal Survey

Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)

Authors: Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Abstract: During the last decade, various approaches have been put forward to integrate business processes with different types of data. Each of such approaches reflects specific demands in the whole process-data integration spectrum. One particular important point is the capability of these approaches to flexibly accommodate processes with multiple cases that need to co-evolve. In this work, we introduce a… ▽ More During the last decade, various approaches have been put forward to integrate business processes with different types of data. Each of such approaches reflects specific demands in the whole process-data integration spectrum. One particular important point is the capability of these approaches to flexibly accommodate processes with multiple cases that need to co-evolve. In this work, we introduce and study an extension of coloured Petri nets, called catalog-nets, providing two key features to capture this type of processes. On the one hand, net transitions are equipped with guards that simultaneously inspect the content of tokens and query facts stored in a read-only, persistent database. On the other hand, such transitions can inject data into tokens by extracting relevant values from the database or by generating genuinely fresh ones. We systematically encode catalog-nets into one of the reference frameworks for the (parameterised) verification of data and processes. We show that fresh-value injection is a particularly complex feature to handle, and discuss strategies to tame it. Finally, we discuss how catalog nets relate to well-known formalisms in this area. △ Less

Submitted 11 June, 2020; originally announced June 2020.

Near-infrared observations of active asteroid (3200) Phaethon reveal no evidence for hydration

Authors: Driss Takir, Theodore Kareta, Joshua P. Emery, Josef Hanus, Vishnu Reddy, Ellen S. Howell, Andrew S. Rivkin, Tomoko Arai

Abstract: Asteroid (3200) Phaethon is an active near-Earth asteroid and the parent body of the Geminid Meteor Shower. Because of its small perihelion distance, Phaethon's surface reaches temperatures sufficient to destabilize hydrated materials. We conducted rotationally resolved spectroscopic observations of this asteroid, mostly covering the northern hemisphere and the equatorial region, beyond 2.5-micron… ▽ More Asteroid (3200) Phaethon is an active near-Earth asteroid and the parent body of the Geminid Meteor Shower. Because of its small perihelion distance, Phaethon's surface reaches temperatures sufficient to destabilize hydrated materials. We conducted rotationally resolved spectroscopic observations of this asteroid, mostly covering the northern hemisphere and the equatorial region, beyond 2.5-micron to search for evidence of hydration on its surface. Here we show that the observed part of Phaethon does not exhibit the 3-micron hydrated mineral absorption (within 2-sigma). These observations suggest that Phaethon's modern activity is not due to volatile sublimation or devolatilization of phyllosilicates on its surface. It is possible that the observed part of Phaethon was originally hydrated and has since lost volatiles from its surface via dehydration, supporting its connection to the Pallas family, or it was formed from anhydrous material. △ Less

Submitted 29 April, 2020; originally announced April 2020.

Journal ref: Nat Commun 11, 2050 (2020)

Twenty years of SpeX: Accuracy limits of spectral slope measurements in asteroid spectroscopy

Authors: Michael Marsset, Francesca E. DeMeo, Richard P. Binzel, Schelte J. Bus, Thomas H. Burbine, Brian Burt, Nicholas Moskovitz, David Polishook, Andrew S. Rivkin, Stephen M. Slivan, Cristina Thomas

Abstract: We examined two decades of SpeX/NASA Infrared Telescope Facility observations from the Small Main-Belt Asteroid Spectroscopic Survey (SMASS) and the MIT-Hawaii Near-Earth Object Spectroscopic Survey (MITHNEOS) to investigate uncertainties and systematic errors in reflectance spectral slope measurements of asteroids. From 628 spectra of 11 solar analogs used for calibration of the asteroid spectra,… ▽ More We examined two decades of SpeX/NASA Infrared Telescope Facility observations from the Small Main-Belt Asteroid Spectroscopic Survey (SMASS) and the MIT-Hawaii Near-Earth Object Spectroscopic Survey (MITHNEOS) to investigate uncertainties and systematic errors in reflectance spectral slope measurements of asteroids. From 628 spectra of 11 solar analogs used for calibration of the asteroid spectra, we derived an uncertainty of 4.2%/micron on slope measurements over 0.8 to 2.4 micron. Air mass contributes to -0.92%/micron per 0.1 unit air mass difference between the asteroid and the solar analog, and therefore for an overall 2.8%/micron slope variability in SMASS and MITHNEOS designed to operate within 1.0 to 1.3 air mass. No additional observing conditions (including parallactic angle, seeing and humidity) were found to contribute systematically to slope change. We discuss implications for asteroid taxonomic classification works. Uncertainties provided in this study should be accounted for in future compositional investigation of small bodies to distinguish intrinsic heterogeneities from possible instrumental effects. △ Less

Submitted 10 April, 2020; originally announced April 2020.

Comments: 15 pages, 11 figures, accepted for publication in ApJS

Planetary Science with Astrophysical Assets: Defining the Core Capabilities of Platforms

Authors: James Bauer, Stefanie Milam, Gordon Bjoraker, Sean Carey, Doris Daou, Leigh Fletcher, Walt Harris, Paul Hartogh, Christine Hartzell, Amanda Hendrix, Carrie Nugent, Andy Rivkin, Timothy Swindle, Cristina Thomas, Matthew Tiscareno, Geronimo Villanueva, Scott Wolk

Abstract: We seek to compile a uniform set of basic capabilities and needs to maximize the yield of Solar System science with future Astrophysics assets while allowing those assets to achieve their Astrophysics priorities. Within considerations of cost and complexity, inclusion of capabilities that make a particular platform useable to planetary science provide a critical advantage over platforms lacking su… ▽ More We seek to compile a uniform set of basic capabilities and needs to maximize the yield of Solar System science with future Astrophysics assets while allowing those assets to achieve their Astrophysics priorities. Within considerations of cost and complexity, inclusion of capabilities that make a particular platform useable to planetary science provide a critical advantage over platforms lacking such capabilities. △ Less

Submitted 13 February, 2020; originally announced February 2020.

Comments: Small Bodies Assessment Group Committee on Planetary Science with Astrophysical Assets, submitted to The National Academies of Science, Engineering, and Medicineś Call to the Astronomy and Astrophysics Community for Science White Papers

In-Flight Performance and Calibration of the LOng Range Reconnaissance Imager (LORRI) for the New Horizons Mission

Authors: H. A. Weaver, A. F. Cheng, F. Morgan, H. W. Taylor, S. J. Conard, J. I. Nunez, D. J. Rodgers, T. R. Lauer, W. M. Owen, J. R. Spencer, O. Barnouin, A. S. Rivkin, C. B. Olkin, S. A. Stern, L. A. Young, M. B. Tapley, M. Vincent

Abstract: The LOng Range Reconnaissance Imager (LORRI) is a panchromatic (360--910 nm), narrow-angle (field of view = 0.29 deg), high spatial resolution (pixel scale = 1.02 arcsec) visible light imager used on NASA's New Horizons (NH) mission for both science observations and optical navigation. Calibration observations began several months after the NH launch on 2006 January 19 and have been repeated annua… ▽ More The LOng Range Reconnaissance Imager (LORRI) is a panchromatic (360--910 nm), narrow-angle (field of view = 0.29 deg), high spatial resolution (pixel scale = 1.02 arcsec) visible light imager used on NASA's New Horizons (NH) mission for both science observations and optical navigation. Calibration observations began several months after the NH launch on 2006 January 19 and have been repeated annually throughout the course of the mission, which is ongoing. This paper describes the in-flight LORRI calibration measurements, and the results derived from our analysis of the calibration data. LORRI has been remarkably stable over time with no detectable changes (at the 1% level) in sensitivity or optical performance since launch. By employing 4 by 4 re-binning of the CCD pixels during read out, a special spacecraft tracking mode, exposure times of 30 sec, and co-addition of approximately 100 images, LORRI can detect unresolved targets down to V = 22 (SNR=5). LORRI images have an instantaneous dynamic range of 3500, which combined with exposure time control ranging from 0ms to 64,967 ms in 1ms steps supports high resolution, high sensitivity imaging of planetary targets spanning heliocentric distances from Jupiter to deep in the Kuiper belt, enabling a wide variety of scientific investigations. We describe here how to transform LORRI images from raw (engineering) units into scientific (calibrated) units for both resolved and unresolved targets. We also describe various instrumental artifacts that could affect the interpretation of LORRI images under some observing circumstances. △ Less

Submitted 10 January, 2020; originally announced January 2020.

Comments: Accepted by PASP, January 2020

Combined Covers and Beth Definability (Extended Version)

Authors: Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Abstract: In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exploited it to handle infinite-state model checking problems. Motivated by applications to the verification of data-aware processes, we proved in a previous paper that covers are strictly related to model completions, a well-known topic in model theory. In this paper we investigate cover transfer to theory combinations in the di… ▽ More In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exploited it to handle infinite-state model checking problems. Motivated by applications to the verification of data-aware processes, we proved in a previous paper that covers are strictly related to model completions, a well-known topic in model theory. In this paper we investigate cover transfer to theory combinations in the disjoint signatures case. We prove that for convex theories, cover algorithms can be transferred to theory combinations under the same hypothesis (equality interpolation property aka strong amalgamation property) needed to transfer quantifier-free interpolation. In the non-convex case, we show by a counterexample that covers may not exist in the combined theories, even in case combined quantifier-free interpolants do exist. However, we exhibit a cover transfer algorithm operating also in the non-convex case for special kinds of theory combinations; these combinations (called `tame combinations') concern multi-sorted theories arising in many model-checking applications (in particular, the ones oriented to verification of data-aware processes). △ Less

Submitted 29 June, 2020; v1 submitted 18 November, 2019; originally announced November 2019.