Showing 1–50 of 255 results for author: Levine, M

Continuum Attention for Neural Operators

Authors: Edoardo Calvello, Nikola B. Kovachki, Matthew E. Levine, Andrew M. Stuart

Abstract: Transformers, and the attention mechanism in particular, have become ubiquitous in machine learning. Their success in modeling nonlocal, long-range correlations has led to their widespread adoption in natural language processing, computer vision, and time-series problems. Neural operators, which map spaces of functions into spaces of functions, are necessarily both nonlinear and nonlocal if they a… ▽ More Transformers, and the attention mechanism in particular, have become ubiquitous in machine learning. Their success in modeling nonlocal, long-range correlations has led to their widespread adoption in natural language processing, computer vision, and time-series problems. Neural operators, which map spaces of functions into spaces of functions, are necessarily both nonlinear and nonlocal if they are universal; it is thus natural to ask whether the attention mechanism can be used in the design of neural operators. Motivated by this, we study transformers in the function space setting. We formulate attention as a map between infinite dimensional function spaces and prove that the attention mechanism as implemented in practice is a Monte Carlo or finite difference approximation of this operator. The function space formulation allows for the design of transformer neural operators, a class of architectures designed to learn map**s between function spaces, for which we prove a universal approximation result. The prohibitive cost of applying the attention operator to functions defined on multi-dimensional domains leads to the need for more efficient attention-based architectures. For this reason we also introduce a function space generalization of the patching strategy from computer vision, and introduce a class of associated neural operators. Numerical results, on an array of operator learning problems, demonstrate the promise of our approaches to function space formulations of attention and their use in neural operators. △ Less

Submitted 10 June, 2024; originally announced June 2024.

Distinguishing Internally Club and Approachable on an Infinite Interval

Authors: Hannes Jakob, Maxwell Levine

Abstract: Krueger showed that PFA implies that for all regular $Θ\ge \aleph_2$, there are stationarily many $[H(Θ)]^{\aleph_1}$ that are internally club but not internally approachable. From countably many Mahlo cardinals, we force a model in which, for all positive $n<ω$ and $Θ\ge \aleph_{n+1}$, there is a stationary subset of $[H(Θ)]^{\aleph_n}$ consisting of sets that are internally club but not internal… ▽ More Krueger showed that PFA implies that for all regular $Θ\ge \aleph_2$, there are stationarily many $[H(Θ)]^{\aleph_1}$ that are internally club but not internally approachable. From countably many Mahlo cardinals, we force a model in which, for all positive $n<ω$ and $Θ\ge \aleph_{n+1}$, there is a stationary subset of $[H(Θ)]^{\aleph_n}$ consisting of sets that are internally club but not internally approachable. The theorem is obtained using a new variant of Mitchell forcing. This answers questions of Krueger. △ Less

Submitted 23 April, 2024; originally announced April 2024.

MSC Class: 03E35; 03E55

NGTS-30 b/TOI-4862 b: An 1 Gyr old 98-day transiting warm Jupiter

Authors: M. P. Battley, K. A. Collins, S. Ulmer-Moll, S. N. Quinn, M. Lendl, S. Gill, R. Brahm, M. J. Hobson, H. P. Osborn, A. Deline, J. P. Faria, A. B. Claringbold, H. Chakraborty, K. G. Stassun, C. Hellier, D. R. Alves, C. Ziegler, D. R. Anderson, I. Apergis, D. J. Armstrong, D. Bayliss, Y. Beletsky, A. Bieryla, F. Bouchy, M. R. Burleigh , et al. (41 additional authors not shown)

Abstract: Long-period transiting exoplanets bridge the gap between the bulk of transit- and Doppler-based exoplanet discoveries, providing key insights into the formation and evolution of planetary systems. The wider separation between these planets and their host stars results in the exoplanets typically experiencing less radiation from their host stars; hence, they should maintain more of their original a… ▽ More Long-period transiting exoplanets bridge the gap between the bulk of transit- and Doppler-based exoplanet discoveries, providing key insights into the formation and evolution of planetary systems. The wider separation between these planets and their host stars results in the exoplanets typically experiencing less radiation from their host stars; hence, they should maintain more of their original atmospheres, which can be probed during transit via transmission spectroscopy. Although the known population of long-period transiting exoplanets is relatively sparse, surveys performed by the Transiting Exoplanet Survey Satellite (TESS) and the Next Generation Transit Survey (NGTS) are now discovering new exoplanets to fill in this crucial region of the exoplanetary parameter space. This study presents the detection and characterisation of NGTS-30 b/TOI-4862 b, a new long-period transiting exoplanet detected by following up on a single-transit candidate found in the TESS mission. Through monitoring using a combination of photometric instruments (TESS, NGTS, and EulerCam) and spectroscopic instruments (CORALIE, FEROS, HARPS, and PFS), NGTS-30 b/TOI-4862 b was found to be a long-period (P = 98.29838 day) Jupiter-sized (0.928 RJ; 0.960 MJ) planet transiting a 1.1 Gyr old G-type star. With a moderate eccentricity of 0.294, its equilibrium temperature could be expected to vary from 274 K to 500 K over the course of its orbit. Through interior modelling, NGTS-30 b/TOI-4862 b was found to have a heavy element mass fraction of 0.23 and a heavy element enrichment (Zp/Z_star) of 20, making it metal-enriched compared to its host star. NGTS-30 b/TOI-4862 b is one of the youngest well-characterised long-period exoplanets found to date and will therefore be important in the quest to understanding the formation and evolution of exoplanets across the full range of orbital separations and ages. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 18 pages, 14 figures, accepted for publication in A&A

The WMDP Benchmark: Measuring and Reducing Malicious Use With Unlearning

Authors: Nathaniel Li, Alexander Pan, Anjali Gopal, Summer Yue, Daniel Berrios, Alice Gatti, Justin D. Li, Ann-Kathrin Dombrowski, Shashwat Goel, Long Phan, Gabriel Mukobi, Nathan Helm-Burger, Rassin Lababidi, Lennart Justen, Andrew B. Liu, Michael Chen, Isabelle Barrass, Oliver Zhang, Xiaoyuan Zhu, Rishub Tamirisa, Bhrugu Bharathi, Adam Khoja, Zhenqi Zhao, Ariel Herbert-Voss, Cort B. Breuer , et al. (32 additional authors not shown)

Abstract: The White House Executive Order on Artificial Intelligence highlights the risks of large language models (LLMs) empowering malicious actors in develo** biological, cyber, and chemical weapons. To measure these risks of malicious use, government institutions and major AI labs are develo** evaluations for hazardous capabilities in LLMs. However, current evaluations are private, preventing furthe… ▽ More The White House Executive Order on Artificial Intelligence highlights the risks of large language models (LLMs) empowering malicious actors in develo** biological, cyber, and chemical weapons. To measure these risks of malicious use, government institutions and major AI labs are develo** evaluations for hazardous capabilities in LLMs. However, current evaluations are private, preventing further research into mitigating risk. Furthermore, they focus on only a few, highly specific pathways for malicious use. To fill these gaps, we publicly release the Weapons of Mass Destruction Proxy (WMDP) benchmark, a dataset of 3,668 multiple-choice questions that serve as a proxy measurement of hazardous knowledge in biosecurity, cybersecurity, and chemical security. WMDP was developed by a consortium of academics and technical consultants, and was stringently filtered to eliminate sensitive information prior to public release. WMDP serves two roles: first, as an evaluation for hazardous knowledge in LLMs, and second, as a benchmark for unlearning methods to remove such hazardous knowledge. To guide progress on unlearning, we develop RMU, a state-of-the-art unlearning method based on controlling model representations. RMU reduces model performance on WMDP while maintaining general capabilities in areas such as biology and computer science, suggesting that unlearning may be a concrete path towards reducing malicious use from LLMs. We release our benchmark and code publicly at https://wmdp.ai △ Less

Submitted 15 May, 2024; v1 submitted 5 March, 2024; originally announced March 2024.

Comments: See the project page at https://wmdp.ai

Hybrid$^2$ Neural ODE Causal Modeling and an Application to Glycemic Response

Authors: Bob Junyi Zou, Matthew E. Levine, Dessi P. Zaharieva, Ramesh Johari, Emily B. Fox

Abstract: Hybrid models composing mechanistic ODE-based dynamics with flexible and expressive neural network components have grown rapidly in popularity, especially in scientific domains where such ODE-based modeling offers important interpretability and validated causal grounding (e.g., for counterfactual reasoning). The incorporation of mechanistic models also provides inductive bias in standard blackbox… ▽ More Hybrid models composing mechanistic ODE-based dynamics with flexible and expressive neural network components have grown rapidly in popularity, especially in scientific domains where such ODE-based modeling offers important interpretability and validated causal grounding (e.g., for counterfactual reasoning). The incorporation of mechanistic models also provides inductive bias in standard blackbox modeling approaches, critical when learning from small datasets or partially observed, complex systems. Unfortunately, as the hybrid models become more flexible, the causal grounding provided by the mechanistic model can quickly be lost. We address this problem by leveraging another common source of domain knowledge: \emph{ranking} of treatment effects for a set of interventions, even if the precise treatment effect is unknown. We encode this information in a \emph{causal loss} that we combine with the standard predictive loss to arrive at a \emph{hybrid loss} that biases our learning towards causally valid hybrid models. We demonstrate our ability to achieve a win-win, state-of-the-art predictive performance \emph{and} causal validity, in the challenging task of modeling glucose dynamics post-exercise in individuals with type 1 diabetes. △ Less

Submitted 11 June, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

The TESS-Keck Survey XXI: 13 New Planets and Homogeneous Properties for 21 Subgiant Systems

Authors: Ashley Chontos, Daniel Huber, Samuel K. Grunblatt, Nicholas Saunders, Joshua N. Winn, Mason McCormack, Emil Knudstrup, Simon H. Albrecht, Ian J. M. Crossfield, Joseph E. Rodriguez, David R. Ciardi, Karen A. Collins, Jon M. Jenkins, Allyson Bieryla, Natalie M. Batalha, Corey Beard, Fei Dai, Paul A. Dalba, Tara Fetherolf, Steven Giacalone, Michelle L. Hill, Andrew W. Howard, Howard Isaacson, Stephen R. Kane, Jack Lubin , et al. (45 additional authors not shown)

Abstract: We present a dedicated transit and radial velocity survey of planets orbiting subgiant stars observed by the TESS Mission. Using $\sim$$16$ nights on Keck/HIRES, we confirm and characterize $12$ new transiting planets -- $\rm TOI-329\,b$, $\rm HD\,39688\,b$ ($\rm TOI-480$), $\rm TOI-603\,b$, $\rm TOI-1199\,b$, $\rm TOI-1294\,b$, $\rm TOI-1439\,b$, $\rm TOI-1605\,b$, $\rm TOI-1828\,b$,… ▽ More We present a dedicated transit and radial velocity survey of planets orbiting subgiant stars observed by the TESS Mission. Using $\sim$$16$ nights on Keck/HIRES, we confirm and characterize $12$ new transiting planets -- $\rm TOI-329\,b$, $\rm HD\,39688\,b$ ($\rm TOI-480$), $\rm TOI-603\,b$, $\rm TOI-1199\,b$, $\rm TOI-1294\,b$, $\rm TOI-1439\,b$, $\rm TOI-1605\,b$, $\rm TOI-1828\,b$, $\rm HD\,148193\,b$ ($\rm TOI-1836$), $\rm TOI-1885\,b$, $\rm HD\,83342\,b$ ($\rm TOI-1898$), $\rm TOI-2019\,b$ -- and provide updated properties for 9 previously confirmed TESS subgiant systems ($\rm TOI-197$, $\rm TOI-954$, $\rm TOI-1181$, $\rm TOI-1296$, $\rm TOI-1298$, $\rm TOI-1601$, $\rm TOI-1736$, $\rm TOI-1842$, $\rm TOI-2145$). We also report the discovery of an outer, non-transiting planet, $\rm TOI-1294\,c$ ($P=160.1\pm2.5$ days, $M_{\mathrm{p}}=148.3^{+18.2}_{-16.4} \,M_{\oplus}$), and three additional stars with long-term RV trends. We find that at least $19\pm8\%$ of subgiants in our sample of $21$ stars have outer companions, comparable to main-sequence stars. We perform a homogeneous analysis of the stars and planets in the sample, with median uncertainties of $3\%$, $8\%$ and $15\%$ for planet radii, masses and ages, doubling the number of known planets orbiting subgiant stars with bulk densities measured to better than $10\%$. We observe a dearth of giant planets around evolved stars with short orbital periods, consistent with tidal dissipation theories that predict the rapid inspiral of planets as their host stars leave the main sequence. We note the possible evidence for two distinct classes of hot Jupiter populations, indicating multiple formation channels to explain the observed distributions around evolved stars. Finally, continued RV monitoring of planets in this sample will provide a more comprehensive understanding of demographics for evolved planetary systems. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 22 pages, 9 figures, 9 tables

The TESS-Keck Survey. XVIII. A sub-Neptune and spurious long-period signal in the TOI-1751 system

Authors: Anmol Desai, Emma V. Turtelboom, Caleb K. Harada, Courtney D. Dressing, David R. Rice, Joseph M. Akana Murphy, Casey L. Brinkman, Ashley Chontos, Ian J. M. Crossfield, Fei Dai, Michelle L. Hill, Tara Fetherolf, Steven Giacalone, Andrew W. Howard, Daniel Huber, Howard Isaacson, Stephen R. Kane, Jack Lubin, Mason G. MacDougall, Andrew W. Mayo, Teo Močnik, Alex S. Polanski, Malena Rice, Paul Robertson, Ryan A. Rubenzahl , et al. (15 additional authors not shown)

Abstract: We present and confirm TOI-1751 b, a transiting sub-Neptune orbiting a slightly evolved, solar-type, metal-poor star ($T_{eff} = 5996 \pm 110$ K, $log(g) = 4.2 \pm 0.1$, V = 9.3 mag, [Fe/H] = $-0.40 \pm 0.06$ dex) every 37.47 d. We use TESS photometry to measure a planet radius of $2.77_{-0.07}^{+0.15}~\rm{R_\oplus}$. We also use both Keck/HIRES and APF/Levy radial velocities (RV) to derive a plan… ▽ More We present and confirm TOI-1751 b, a transiting sub-Neptune orbiting a slightly evolved, solar-type, metal-poor star ($T_{eff} = 5996 \pm 110$ K, $log(g) = 4.2 \pm 0.1$, V = 9.3 mag, [Fe/H] = $-0.40 \pm 0.06$ dex) every 37.47 d. We use TESS photometry to measure a planet radius of $2.77_{-0.07}^{+0.15}~\rm{R_\oplus}$. We also use both Keck/HIRES and APF/Levy radial velocities (RV) to derive a planet mass of $14.5_{-3.14}^{+3.15} ~\rm{M_\oplus}$, and thus a planet density of $3.6 \pm 0.9 \, {\rm g}\,{\rm cm}^{-3}$. There is also a long-period ($\sim400~\rm{d}$) signal that is observed in only the Keck/HIRES data. We conclude that this long-period signal is not planetary in nature, and is likely due to the window function of the Keck/HIRES observations. This highlights the role of complementary observations from multiple observatories to identify and exclude aliases in RV data. Finally, we investigate potential compositions of this planet, including rocky and water-rich solutions, as well as theoretical irradiated ocean models. TOI-1751 b is a warm sub-Neptune, with an equilibrium temperature of $\sim 820$ K. As TOI-1751 is a metal-poor star, TOI-1751 b may have formed in a water-enriched formation environment. We thus favor a volatile-rich interior composition for this planet. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Comments: 30 pages, 9 figures. Accepted for publication in AJ

Learning About Structural Errors in Models of Complex Dynamical Systems

Authors: **-Long Wu, Matthew E. Levine, Tapio Schneider, Andrew Stuart

Abstract: Complex dynamical systems are notoriously difficult to model because some degrees of freedom (e.g., small scales) may be computationally unresolvable or are incompletely understood, yet they are dynamically important. For example, the small scales of cloud dynamics and droplet formation are crucial for controlling climate, yet are unresolvable in global climate models. Semi-empirical closure model… ▽ More Complex dynamical systems are notoriously difficult to model because some degrees of freedom (e.g., small scales) may be computationally unresolvable or are incompletely understood, yet they are dynamically important. For example, the small scales of cloud dynamics and droplet formation are crucial for controlling climate, yet are unresolvable in global climate models. Semi-empirical closure models for the effects of unresolved degrees of freedom often exist and encode important domain-specific knowledge. Building on such closure models and correcting them through learning the structural errors can be an effective way of fusing data with domain knowledge. Here we describe a general approach, principles, and algorithms for learning about structural errors. Key to our approach is to include structural error models inside the models of complex systems, for example, in closure models for unresolved scales. The structural errors then map, usually nonlinearly, to observable data. As a result, however, mismatches between model output and data are only indirectly informative about structural errors, due to a lack of labeled pairs of inputs and outputs of structural error models. Additionally, derivatives of the model may not exist or be readily available. We discuss how structural error models can be learned from indirect data with derivative-free Kalman inversion algorithms and variants, how sparsity constraints enforce a "do no harm" principle, and various ways of modeling structural errors. We also discuss the merits of using non-local and/or stochastic error models. In addition, we demonstrate how data assimilation techniques can assist the learning about structural errors in non-ergodic systems. The concepts and algorithms are illustrated in two numerical examples based on the Lorenz-96 system and a human glucose-insulin model. △ Less

Submitted 28 May, 2024; v1 submitted 29 December, 2023; originally announced January 2024.

Comments: 40 pages, 13 figures

MSC Class: 68T01

Classical Namba forcing can have the weak countable approximation property

Authors: Maxwell Levine

Abstract: We show that it is consistent from an inaccessible cardinal that classical Namba forcing has the weak $ω_1$-approximation property. In fact, this is the case if $\aleph_1$-preserving forcings do not add cofinal branches to $\aleph_1$-sized trees. The exact statement we obtain is similar to Hamkins' Key Lemma. It follows as a corollary that Martin's Maximum implies that there are stationarily many… ▽ More We show that it is consistent from an inaccessible cardinal that classical Namba forcing has the weak $ω_1$-approximation property. In fact, this is the case if $\aleph_1$-preserving forcings do not add cofinal branches to $\aleph_1$-sized trees. The exact statement we obtain is similar to Hamkins' Key Lemma. It follows as a corollary that Martin's Maximum implies that there are stationarily many indestructibly weaky guessing models that are not internally unbounded. This answers questions of Cox and Krueger. Our result on Martin's Maximum shortens the proof of Cox and Krueger's main result by removing their use of higher Namba forcings, but we find another application of their ideas by answering a question of Adolf, Apter, and Koepke on preservation of successive cardinals by singularizing forcings. △ Less

Submitted 21 December, 2023; originally announced December 2023.

MSC Class: 03E35; 03E55

Combing a hedgehog over a field

Authors: Alexey Ananyevskiy, Marc Levine

Abstract: We investigate the question of the existence of a non-vanishing section of the tangent bundle on a smooth affine quadric hypersurface $Q^o$ over a given perfect field $k$. In case $Q^o$ admits a $k$-rational point, we give necessary and sufficient conditions for such existence. We apply these conditions in a number of examples, including the case of the algebraic $n$-sphere over $k$,… ▽ More We investigate the question of the existence of a non-vanishing section of the tangent bundle on a smooth affine quadric hypersurface $Q^o$ over a given perfect field $k$. In case $Q^o$ admits a $k$-rational point, we give necessary and sufficient conditions for such existence. We apply these conditions in a number of examples, including the case of the algebraic $n$-sphere over $k$, $S^n_k\subset \mathbb{A}^{n+1}_k$, defined by the equation $\sum_{i=1}^{n+1}x_i^2=1$. △ Less

Submitted 21 November, 2023; v1 submitted 13 November, 2023; originally announced November 2023.

Comments: added to the introduction information about the origin and atrribution of the main question

MSC Class: 14F42; 14J60

The SPARC Toroidal Field Model Coil Program

Authors: Zachary Hartwig, Rui Vieira, Darby Dunn, Theodore Golfinopoulos, Brian LaBombard, Christopher Lammi, Phil Michael, Susan Agabian, David Arsenault, Raheem Barnett, Mike Barry, Larry Bartoszek, William Beck, David Bellofatto, Daniel Brunner, William Burke, Jason Burrows, William Byford, Charles Cauley, Sarah Chamberlain, David Chavarria, JL Cheng, James Chicarello, Karen Cote, Corinne Cotta , et al. (75 additional authors not shown)

Abstract: The SPARC Toroidal Field Model Coil (TFMC) Program was a three-year effort between 2018 and 2021 that developed novel Rare Earth Yttrium Barium Copper Oxide (REBCO) superconductor technologies and then successfully utilized these technologies to design, build, and test a first-in-class, high-field (~20 T), representative-scale (~3 m) superconducting toroidal field coil. With the principal objectiv… ▽ More The SPARC Toroidal Field Model Coil (TFMC) Program was a three-year effort between 2018 and 2021 that developed novel Rare Earth Yttrium Barium Copper Oxide (REBCO) superconductor technologies and then successfully utilized these technologies to design, build, and test a first-in-class, high-field (~20 T), representative-scale (~3 m) superconducting toroidal field coil. With the principal objective of demonstrating mature, large-scale, REBCO magnets, the project was executed jointly by the MIT Plasma Science and Fusion Center (PSFC) and Commonwealth Fusion Systems (CFS). The TFMC achieved its programmatic goal of experimentally demonstrating a large-scale high-field REBCO magnet, achieving 20.1 T peak field-on-conductor with 40.5 kA of terminal current, 815 kN/m of Lorentz loading on the REBCO stacks, and almost 1 GPa of mechanical stress accommodated by the structural case. Fifteen internal demountable pancake-to-pancake joints operated in the 0.5 to 2.0 nOhm range at 20 K and in magnetic fields up to 12 T. The DC and AC electromagnetic performance of the magnet, predicted by new advances in high-fidelity computational models, was confirmed in two test campaigns while the massively parallel, single-pass, pressure-vessel style coolant scheme capable of large heat removal was validated. The REBCO current lead and feeder system was experimentally qualified up to 50 kA, and the crycooler based cryogenic system provided 600 W of cooling power at 20 K with mass flow rates up to 70 g/s at a maximum design pressure of 20 bar-a for the test campaigns. Finally, the feasibility of using passive, self-protection against a quench in a fusion-scale NI TF coil was experimentally assessed with an intentional open-circuit quench at 31.5 kA terminal current. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: 17 pages 9 figures, overview paper and the first of a six-part series of papers covering the TFMC Program

An M dwarf accompanied by a close-in giant orbiter with SPECULOOS

Authors: Amaury H. M. J. Triaud, Georgina Dransfield, Taiki Kagetani, Mathilde Timmermans, Norio Narita, Khalid Barkaoui, Teruyuki Hirano, Benjamin V. Rackham, Mayuko Mori, Thomas Baycroft, Zouhair Benkhaldoun, Adam J. Burgasser, Douglas A. Caldwell, Karen A. Collins, Yasmin T. Davis, Laetitia Delrez, Brice-Oliver Demory, Elsa Ducrot, Akihiko Fukui, Clàudia Jano Muñoz, Emmanuël Jehin, Lionel J. García, Mourad Ghachoui, Michaël Gillon, Yilen Gómez Maqueo Chew , et al. (18 additional authors not shown)

Abstract: In the last decade, a dozen close-in giant planets have been discovered orbiting stars with spectral types ranging from M0 to M4, a mystery since known formation pathways do not predict the existence of such systems. Here, we confirm TOI-4860 b, a Jupiter-sized planet orbiting an M4.5 host, a star at the transition between fully and partially convective interiors. First identified with TESS data,… ▽ More In the last decade, a dozen close-in giant planets have been discovered orbiting stars with spectral types ranging from M0 to M4, a mystery since known formation pathways do not predict the existence of such systems. Here, we confirm TOI-4860 b, a Jupiter-sized planet orbiting an M4.5 host, a star at the transition between fully and partially convective interiors. First identified with TESS data, we validate the transiting companion's planetary nature through multicolour photometry from the TRAPPIST-South/North, SPECULOOS, and MuSCAT3 facilities. Our analysis yields a radius of $0.76 \pm 0.02~ \rm R_{Jup}$ for the planet, a mass of $0.34~\rm M_\odot$ for the star, and an orbital period of 1.52 d. Using the newly commissioned SPIRIT InGaAs camera at the SPECULOOS-South Observatory, we collect infrared photometry in zYJ that spans the time of secondary eclipse. These observations do not detect a secondary eclipse, placing an upper limit on the brightness of the companion. The planetary nature of the companion is further confirmed through high-resolution spectroscopy obtained with the IRD spectrograph at Subaru Telescope, from which we measure a mass of $0.67 \pm 0.14~\rm M_{Jup}$ . Based on its overall density, TOI-4860 b appears to be rich in heavy elements, like its host star. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Comments: Accepted for publication in MNRAS Letters

Operator Guidance Informed by AI-Augmented Simulations

Authors: Samuel J. Edwards, Michael Levine

Abstract: This paper will present a multi-fidelity, data-adaptive approach with a Long Short-Term Memory (LSTM) neural network to estimate ship response statistics in bimodal, bidirectional seas. The study will employ a fast low-fidelity, volume-based tool SimpleCode and a higher-fidelity tool known as the Large Amplitude Motion Program (LAMP). SimpleCode and LAMP data were generated by common bi-modal, bi-… ▽ More This paper will present a multi-fidelity, data-adaptive approach with a Long Short-Term Memory (LSTM) neural network to estimate ship response statistics in bimodal, bidirectional seas. The study will employ a fast low-fidelity, volume-based tool SimpleCode and a higher-fidelity tool known as the Large Amplitude Motion Program (LAMP). SimpleCode and LAMP data were generated by common bi-modal, bi-directional sea conditions in the North Atlantic as training data. After training an LSTM network with LAMP ship motion response data, a sample route was traversed and randomly sampled historical weather was input into SimpleCode and the LSTM network, and compared against the higher fidelity results. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Comments: Presented at the 22nd Conference on Computer Applications and Information Technology in the Maritime Industries (COMPIT) in Drubeck, Germany on May 25th, 2023

MSC Class: 68T07 ACM Class: J.2

TOI 4201 b and TOI 5344 b: Discovery of Two Transiting Giant Planets Around M Dwarf Stars and Revised Parameters for Three Others

Authors: J. D. Hartman, G. Á. Bakos, Z. Csubry, A. W. Howard, H. Isaacson, S. Giacalone, A. Chontos, N. Narita, A. Fukui, J. P. de Leon, N. Watanabe, M. Mori, T. Kagetani, I. Fukuda, Y. Kawai, M. Ikoma, E. Palle, F. Murgas, E. Esparza-Borges, H. Parviainen, L. G. Bouma, M. Cointepas, X. Bonfils, J. M. Almenara, Karen A. Collins , et al. (40 additional authors not shown)

Abstract: We present the discovery from the TESS mission of two giant planets transiting M dwarf stars: TOI 4201 b and TOI 5344 b. We also provide precise radial velocity measurements and updated system parameters for three other M dwarfs with transiting giant planets: TOI 519, TOI 3629 and TOI 3714. We measure planetary masses of 0.525 +- 0.064 M_J, 0.243 +- 0.020 M_J, 0.689 +- 0.030 M_J, 2.57 +- 0.15 M_J,… ▽ More We present the discovery from the TESS mission of two giant planets transiting M dwarf stars: TOI 4201 b and TOI 5344 b. We also provide precise radial velocity measurements and updated system parameters for three other M dwarfs with transiting giant planets: TOI 519, TOI 3629 and TOI 3714. We measure planetary masses of 0.525 +- 0.064 M_J, 0.243 +- 0.020 M_J, 0.689 +- 0.030 M_J, 2.57 +- 0.15 M_J, and 0.412 +- 0.040 M_J for TOI 519 b, TOI 3629 b, TOI 3714 b, TOI 4201 b, and TOI 5344 b, respectively. The corresponding stellar masses are 0.372 +- 0.018 M_s, 0.635 +- 0.032 M_s, 0.522 +- 0.028 M_s, 0.625 +- 0.033 M_s and 0.612 +- 0.034 M_s. All five hosts have super-solar metallicities, providing further support for recent findings that, like for solar-type stars, close-in giant planets are preferentially found around metal-rich M dwarf host stars. Finally, we describe a procedure for accounting for systematic errors in stellar evolution models when those models are included directly in fitting a transiting planet system. △ Less

Submitted 14 July, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 32 pages, 9 figures, 10 tables, submitted to AAS Journals; revised to add co-author

A relative orientation for the moduli space of stable maps to a del Pezzo surface

Authors: Jesse Leo Kass, Marc Levine, Jake P. Solomon, Kirsten Wickelgren

Abstract: We prove orientation results for evaluation maps of moduli spaces of rational stable maps to del Pezzo surfaces over a field, both in characteristic $0$ and in positive characteristic. These results and the theory of degree developed in a sequel produce quadratically enriched counts of rational curves over non-algebraically closed fields of characteristic not $2$ or $3$. Orientations are construct… ▽ More We prove orientation results for evaluation maps of moduli spaces of rational stable maps to del Pezzo surfaces over a field, both in characteristic $0$ and in positive characteristic. These results and the theory of degree developed in a sequel produce quadratically enriched counts of rational curves over non-algebraically closed fields of characteristic not $2$ or $3$. Orientations are constructed in two steps. First, the ramification locus of the evaluation map is shown to be the divisor in the moduli space of stable maps where image curves have a cusp. Second, this divisor is related to the discriminant of a branched cover of the moduli space given generically by pairs of points on the universal curve with the same image. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Comments: 80 pages

MSC Class: Primary 14H10; Secondary 14N35; 14F42; 53D45

A quadratically enriched count of rational curves

Authors: Jesse Leo Kass, Marc Levine, Jake P. Solomon, Kirsten Wickelgren

Abstract: We define a quadratically enriched count of rational curves in a given divisor class passing through a collection of points on a del Pezzo surface $S$ of degree $\geq 3$ over a perfect field $k$ of characteristic $\neq 2,3.$ When $S$ is $\mathbb{A}^1$-connected, the count takes values in the Grothendieck-Witt group GW(k) of quadratic forms over $k$ and depends only on the divisor class and the fie… ▽ More We define a quadratically enriched count of rational curves in a given divisor class passing through a collection of points on a del Pezzo surface $S$ of degree $\geq 3$ over a perfect field $k$ of characteristic $\neq 2,3.$ When $S$ is $\mathbb{A}^1$-connected, the count takes values in the Grothendieck-Witt group GW(k) of quadratic forms over $k$ and depends only on the divisor class and the fields of definition of the points. More generally, the count is a morphism from the sheaf of connected components of tuples of points on $S$ with given fields of definition to the Grothendieck-Witt sheaf. We also treat del Pezzo surfaces of degree $2$ under certain conditions. The curve count defined in the present work recovers Gromov-Witten invariants when $k = \mathbb{C}$ and Welschinger invariants when $k = \mathbb{R}.$ To obtain an invariant curve count, we define a quadratically enriched degree for an algebraic map $f$ of $n$-dimensional smooth schemes over a field $k$ under appropriate hypotheses. For example, $f$ can be proper, generically finite and oriented over the complement of a subscheme of codimension $2.$ This degree is compatible with F. Morel's GW(k)-valued degree of an $\mathbb{A}^1$-homotopy class of maps between spheres. For $k \subseteq \mathbb{C}$, this produces an enrichment of the topological degree of a map between manifolds of the same dimension. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Comments: 47 pages

MSC Class: Primary 14N35; 14F42; Secondary 53D45; 19G38

TOI-908: a planet at the edge of the Neptune desert transiting a G-type star

Authors: Faith Hawthorn, Daniel Bayliss, David J. Armstrong, Jorge Fernández Fernández, Ares Osborn, Sérgio G. Sousa, Vardan Adibekyan, Jeanne Davoult, Karen A. Collins, Yann Alibert, Susana C. C. Barros, François Bouchy, Matteo Brogi, David R. Ciardi, Tansu Daylan, Elisa Delgado Mena, Olivier D. S. Demangeon, Rodrigo F. Díaz, Tianjun Gan, Keith Horne, Sergio Hoyer, Alan M. Levine, Jorge Lillo-Box, Louise D. Nielsen, Hugh P. Osborn , et al. (14 additional authors not shown)

Abstract: We present the discovery of an exoplanet transiting TOI-908 (TIC-350153977) using data from TESS sectors 1, 12, 13, 27, 28 and 39. TOI-908 is a T = 10.7 mag G-dwarf ($T_{eff}$ = 5626 $\pm$ 61 K) solar-like star with a mass of 0.950 $\pm$ 0.010 $M_{\odot}$ and a radius of 1.028 $\pm$ 0.030 $R_{\odot}$. The planet, TOI-908 b, is a 3.18 $\pm$ 0.16 $R_{\oplus}$ planet in a 3.18 day orbit. Radial veloc… ▽ More We present the discovery of an exoplanet transiting TOI-908 (TIC-350153977) using data from TESS sectors 1, 12, 13, 27, 28 and 39. TOI-908 is a T = 10.7 mag G-dwarf ($T_{eff}$ = 5626 $\pm$ 61 K) solar-like star with a mass of 0.950 $\pm$ 0.010 $M_{\odot}$ and a radius of 1.028 $\pm$ 0.030 $R_{\odot}$. The planet, TOI-908 b, is a 3.18 $\pm$ 0.16 $R_{\oplus}$ planet in a 3.18 day orbit. Radial velocity measurements from HARPS reveal TOI-908 b has a mass of approximately 16.1 $\pm$ 4.1 $M_{\oplus}$ , resulting in a bulk planetary density of 2.7+0.2-0.4 g cm-3. TOI-908 b lies in a sparsely-populated region of parameter space known as the Neptune desert. The planet likely began its life as a sub-Saturn planet before it experienced significant photoevaporation due to X-rays and extreme ultraviolet radiation from its host star, and is likely to continue evaporating, losing a significant fraction of its residual envelope mass. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: 17 pages, 17 figures

Orienting the Hilbert scheme of points on a spin threefold

Authors: Marc Levine

Abstract: We give an algebraic construction of orientation data for the Hilbert scheme of 0-dimensional subschemes of a smooth projective threefold endowed with a choice of square root of the canonical sheaf. We give an algebraic construction of orientation data for the Hilbert scheme of 0-dimensional subschemes of a smooth projective threefold endowed with a choice of square root of the canonical sheaf. △ Less

Submitted 24 May, 2023; originally announced May 2023.

MSC Class: 14N10; 14N35; 14Q30; 14F42

Interpretable Forecasting of Physiology in the ICU Using Constrained Data Assimilation and Electronic Health Record Data

Authors: David Albers, Melike Sirlanci, Matthew Levine, Jan Claassen, Caroline Der Nigoghossian, George Hripcsak

Abstract: Prediction of physiologic states are important in medical practice because interventions are guided by predicted impacts of interventions. But prediction is difficult in medicine because the generating system is complex and difficult to understand from data alone, and the data are sparse relative to the complexity of the generating processes due to human costs of data collection. Computational mac… ▽ More Prediction of physiologic states are important in medical practice because interventions are guided by predicted impacts of interventions. But prediction is difficult in medicine because the generating system is complex and difficult to understand from data alone, and the data are sparse relative to the complexity of the generating processes due to human costs of data collection. Computational machinery can potentially make prediction more accurate, but, working within the constraints of realistic clinical data makes robust inference difficult because the data are sparse, noisy and nonstationary. This paper focuses on prediction given sparse, non-stationary, electronic health record data in the intensive care unit (ICU) using data assimilation, a broad collection of methods that pairs mechanistic models with inference machinery such as the Kalman filter. We find that to make inference with sparse clinical data accurate and robust requires advancements beyond standard DA methods combined with additional machine learning methods. Specifically, we show that combining the newly developed constrained ensemble Kalman filter with machine learning methods can produce substantial gains in robustness and accuracy while minimizing the data requirements. We also identify limitations of Kalman filtering methods that lead to new problems to be overcome to make inference feasible in clinical settings using realistic clinical data. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Learning Absorption Rates in Glucose-Insulin Dynamics from Meal Covariates

Authors: Ke Alexander Wang, Matthew E. Levine, Jiaxin Shi, Emily B. Fox

Abstract: Traditional models of glucose-insulin dynamics rely on heuristic parameterizations chosen to fit observations within a laboratory setting. However, these models cannot describe glucose dynamics in daily life. One source of failure is in their descriptions of glucose absorption rates after meal events. A meal's macronutritional content has nuanced effects on the absorption profile, which is difficu… ▽ More Traditional models of glucose-insulin dynamics rely on heuristic parameterizations chosen to fit observations within a laboratory setting. However, these models cannot describe glucose dynamics in daily life. One source of failure is in their descriptions of glucose absorption rates after meal events. A meal's macronutritional content has nuanced effects on the absorption profile, which is difficult to model mechanistically. In this paper, we propose to learn the effects of macronutrition content from glucose-insulin data and meal covariates. Given macronutrition information and meal times, we use a neural network to predict an individual's glucose absorption rate. We use this neural rate function as the control function in a differential equation of glucose dynamics, enabling end-to-end training. On simulated data, our approach is able to closely approximate true absorption rates, resulting in better forecast than heuristic parameterizations, despite only observing glucose, insulin, and macronutritional information. Our work readily generalizes to meal events with higher-dimensional covariates, such as images, setting the stage for glucose dynamics models that are personalized to each individual's daily life. △ Less

Submitted 27 April, 2023; originally announced April 2023.

Comments: Work presented at NeurIPS 2022 Workshop on Learning from Time Series for Health (TS4H). arXiv admin note: substantial text overlap with arXiv:2302.11939

The James Webb Space Telescope Mission

Authors: Jonathan P. Gardner, John C. Mather, Randy Abbott, James S. Abell, Mark Abernathy, Faith E. Abney, John G. Abraham, Roberto Abraham, Yasin M. Abul-Huda, Scott Acton, Cynthia K. Adams, Evan Adams, David S. Adler, Maarten Adriaensen, Jonathan Albert Aguilar, Mansoor Ahmed, Nasif S. Ahmed, Tanjira Ahmed, Rüdeger Albat, Loïc Albert, Stacey Alberts, David Aldridge, Mary Marsha Allen, Shaune S. Allen, Martin Altenburg , et al. (983 additional authors not shown)

Abstract: Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono… ▽ More Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: Accepted by PASP for the special issue on The James Webb Space Telescope Overview, 29 pages, 4 figures

Non-Steepness and Maximum Likelihood Estimation Properties of the Truncated Multivariate Normal Distributions

Authors: Michael Levine, Donald Richards, Jianxi Su

Abstract: We consider the truncated multivariate normal distributions for which every component is one-sided truncated. We show that this family of distributions is an exponential family. We identify $\mathcal{D}$, the corresponding natural parameter space, and deduce that the family of distributions is not regular. We prove that the gradient of the cumulant-generating function of the family of distribution… ▽ More We consider the truncated multivariate normal distributions for which every component is one-sided truncated. We show that this family of distributions is an exponential family. We identify $\mathcal{D}$, the corresponding natural parameter space, and deduce that the family of distributions is not regular. We prove that the gradient of the cumulant-generating function of the family of distributions remains bounded near certain boundary points in $\mathcal{D}$, and therefore the family also is not steep. We also consider maximum likelihood estimation for $\boldsymbolμ$, the location vector parameter, and $\boldsymbolΣ$, the positive definite (symmetric) matrix dispersion parameter, of a truncated non-singular multivariate normal distribution. We prove that each solution to the score equations for $(\boldsymbolμ,\boldsymbolΣ)$ satisfies the method-of-moments equations, and we obtain a necessary condition for the existence of solutions to the score equations. △ Less

Submitted 17 March, 2023; originally announced March 2023.

Comments: 16 pages

MSC Class: Primary: 62H05; 62H12. Secondary: 62E10

Evaluation of wait time saving effectiveness of triage algorithms

Authors: Yee Lam Elim Thompson, Gary M Levine, Weijie Chen, Berkman Sahiner, Qin Li, Nicholas Petrick, Jana G Delfino, Miguel A Lago, Qian Cao, Qin Li, Frank W Samuelson

Abstract: In the past decade, Artificial Intelligence (AI) algorithms have made promising impacts to transform healthcare in all aspects. One application is to triage patients' radiological medical images based on the algorithm's binary outputs. Such AI-based prioritization software is known as computer-aided triage and notification (CADt). Their main benefit is to speed up radiological review of images wit… ▽ More In the past decade, Artificial Intelligence (AI) algorithms have made promising impacts to transform healthcare in all aspects. One application is to triage patients' radiological medical images based on the algorithm's binary outputs. Such AI-based prioritization software is known as computer-aided triage and notification (CADt). Their main benefit is to speed up radiological review of images with time-sensitive findings. However, as CADt devices become more common in clinical workflows, there is still a lack of quantitative methods to evaluate a device's effectiveness in saving patients' waiting times. In this paper, we present a mathematical framework based on queueing theory to calculate the average waiting time per patient image before and after a CADt device is used. We study four workflow models with multiple radiologists (servers) and priority classes for a range of AI diagnostic performance, radiologist's reading rates, and patient image (customer) arrival rates. Due to model complexity, an approximation method known as the Recursive Dimensionality Reduction technique is applied. We define a performance metric to measure the device's time-saving effectiveness. A software tool is developed to simulate clinical workflow of image review/interpretation, to verify theoretical results, and to provide confidence intervals of the performance metric we defined. It is shown quantitatively that a triage device is more effective in a busy, short-staffed setting, which is consistent with our clinical intuition and simulation results. Although this work is motivated by the need for evaluating CADt devices, the framework we present in this paper can be applied to any algorithm that prioritizes customers based on its binary outputs. △ Less

Submitted 13 March, 2023; originally announced March 2023.

A full transit of $ν^2$ Lupi d and the search for an exomoon in its Hill sphere with CHEOPS

Authors: D. Ehrenreich, L. Delrez, B. Akinsanmi, T. G. Wilson, A. Bonfanti, M. Beck, W. Benz, S. Hoyer, D. Queloz, Y. Alibert, S. Charnoz, A. Collier Cameron, A. Deline, M. Hooton, M. Lendl, G. Olofsson, S. G. Sousa, V. Adibekyan, R. Alonso, G. Anglada, D. Barrado, S. C. C. Barros, W. Baumjohann, T. Beck, A. Bekkelien , et al. (68 additional authors not shown)

Abstract: The planetary system around the naked-eye star $ν^2$ Lupi (HD 136352; TOI-2011) is composed of three exoplanets with masses of 4.7, 11.2, and 8.6 Earth masses. The TESS and CHEOPS missions revealed that all three planets are transiting and have radii straddling the radius gap separating volatile-rich and volatile-poor super-earths. Only a partial transit of planet d had been covered so we re-obser… ▽ More The planetary system around the naked-eye star $ν^2$ Lupi (HD 136352; TOI-2011) is composed of three exoplanets with masses of 4.7, 11.2, and 8.6 Earth masses. The TESS and CHEOPS missions revealed that all three planets are transiting and have radii straddling the radius gap separating volatile-rich and volatile-poor super-earths. Only a partial transit of planet d had been covered so we re-observed an inferior conjunction of the long-period 8.6 Earth-mass exoplanet $ν^2$ Lup d with the CHEOPS space telescope. We confirmed its transiting nature by covering its whole 9.1 h transit for the first time. We refined the planet transit ephemeris to P = 107.1361 (+0.0019/-0.0022) days and Tc = 2,459,009.7759 (+0.0101/-0.0096) BJD_TDB, improving by ~40 times on the previously reported transit timing uncertainty. This refined ephemeris will enable further follow-up of this outstanding long-period transiting planet to search for atmospheric signatures or explore the planet's Hill sphere in search for an exomoon. In fact, the CHEOPS observations also cover the transit of a large fraction of the planet's Hill sphere, which is as large as the Earth's, opening the tantalising possibility of catching transiting exomoons. We conducted a search for exomoon signals in this single-epoch light curve but found no conclusive photometric signature of additional transiting bodies larger than Mars. Yet, only a sustained follow-up of $ν^2$ Lup d transits will warrant a comprehensive search for a moon around this outstanding exoplanet. △ Less

Submitted 3 February, 2023; originally announced February 2023.

Comments: 16 pages, 9 figures. Accepted for publication in Astronomy & Astrophysics

Journal ref: A&A 671, A154 (2023)

HIP 33609 b: An Eccentric Brown Dwarf Transiting a V=7.3 Rapidly Rotating B-Star

Authors: Noah Vowell, Joseph E. Rodriguez, Samuel N. Quinn, George Zhou, Andrew Vanderburg, Andrew W. Mann, Matthew J. Hooton, Keivan G. Stassun, Saburo Howard, Allyson Bieryla, David W. Latham, Steve B. Howell, Tristan Guillot, Carl Ziegler, Karen A. Collins, Theron W. Carmichael, Jon M. Jenkins, Avi Shporer, Lyu ABE, Philippe Bendjoya, Jonathan L. Bush, Marco Buttu, Kevin I. Collins, Jason D. Eastman, Matthew J. Fields , et al. (19 additional authors not shown)

Abstract: We present the discovery and characterization of HIP 33609 b, a transiting warm brown dwarf orbiting a late B star, discovered by NASA's Transiting Exoplanet Survey Satellite TESS as TOI-588 b. HIP 33609 b is a large (R$_{b}$ = 1.580$_{-0.070}^{+0.074}$ R$_{J}$) brown dwarf on a highly eccentric (e = 0.560$_{-0.031}^{+0.029}$) orbit with a 39-day period. The host star is a bright (V = 7.3 mag), T… ▽ More We present the discovery and characterization of HIP 33609 b, a transiting warm brown dwarf orbiting a late B star, discovered by NASA's Transiting Exoplanet Survey Satellite TESS as TOI-588 b. HIP 33609 b is a large (R$_{b}$ = 1.580$_{-0.070}^{+0.074}$ R$_{J}$) brown dwarf on a highly eccentric (e = 0.560$_{-0.031}^{+0.029}$) orbit with a 39-day period. The host star is a bright (V = 7.3 mag), T$_{eff}$ = 10,400$_{-660}^{+800}$ K star with a mass of M$_{*}$ = 2.383$_{-0.095}^{+0.10}$ M$_{\odot}$ and radius of R$_{*}$ = 1.863$_{-0.082}^{+0.087}$ R$_{\odot}$, making it the hottest transiting brown dwarf host star discovered to date. We obtained radial velocity measurements from the CHIRON spectrograph confirming the companion's mass of M$_{b}$ = 68.0$_{-7.1}^{+7.4}$ M$_{J}$ as well as the host star's rotation rate ($vsini_{*} = 55.6 \pm 1.8$ km/s). We also present the discovery of a new comoving group of stars, designated as MELANGE-6, and determine that HIP 33609 is a member. We use a combination of rotation periods and isochrone models fit to the cluster members to estimate an age of 150 $\pm$ 25 Myr. With a measured mass, radius, and age, HIP 33609 b becomes a benchmark for substellar evolutionary models. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Comments: 16 pages, 5 figures, 4 tables, Submitted to AAS Journals

On disjoint stationary sequences

Authors: Maxwell Levine

Abstract: We answer a question of Krueger by obtaining disjoint stationary sequences on successive cardinals. The main idea is an alternative presentation of a mixed support iteration, using it even more explicitly as a variant of Mitchell forcing. We also use a Mahlo cardinal to obtain a model in which $\aleph_2 \notin I[\aleph_2]$ and there is no disjoint stationary sequence on $\aleph_2$, answering a que… ▽ More We answer a question of Krueger by obtaining disjoint stationary sequences on successive cardinals. The main idea is an alternative presentation of a mixed support iteration, using it even more explicitly as a variant of Mitchell forcing. We also use a Mahlo cardinal to obtain a model in which $\aleph_2 \notin I[\aleph_2]$ and there is no disjoint stationary sequence on $\aleph_2$, answering a question of Gilton. △ Less

Submitted 20 June, 2024; v1 submitted 6 January, 2023; originally announced January 2023.

Comments: Substantial changes to the proof of Theorem 3, which is now only stated for $\aleph_2$. Amendments to the proof of Theorem 2. Other small changes throughout

MSC Class: 03E35; 03E55

The James Webb Space Telescope Mission: Optical Telescope Element Design, Development, and Performance

Authors: Michael W. McElwain, Lee D. Feinberg, Marshall D. Perrin, Mark Clampin, C. Matt Mountain, Matthew D. Lallo, Charles-Philippe Lajoie, Randy A. Kimble, Charles W. Bowers, Christopher C. Stark, D. Scott Acton, Ken Aiello, Charles Atkinson, Beth Barinek, Allison Barto, Scott Basinger, Tracy Beck, Matthew D. Bergkoetter, Marcel Bluth, Rene A. Boucarut, Gregory R. Brady, Keira J. Brooks, Bob Brown, John Byard, Larkin Carey , et al. (104 additional authors not shown)

Abstract: The James Webb Space Telescope (JWST) is a large, infrared space telescope that has recently started its science program which will enable breakthroughs in astrophysics and planetary science. Notably, JWST will provide the very first observations of the earliest luminous objects in the Universe and start a new era of exoplanet atmospheric characterization. This transformative science is enabled by… ▽ More The James Webb Space Telescope (JWST) is a large, infrared space telescope that has recently started its science program which will enable breakthroughs in astrophysics and planetary science. Notably, JWST will provide the very first observations of the earliest luminous objects in the Universe and start a new era of exoplanet atmospheric characterization. This transformative science is enabled by a 6.6 m telescope that is passively cooled with a 5-layer sunshield. The primary mirror is comprised of 18 controllable, low areal density hexagonal segments, that were aligned and phased relative to each other in orbit using innovative image-based wavefront sensing and control algorithms. This revolutionary telescope took more than two decades to develop with a widely distributed team across engineering disciplines. We present an overview of the telescope requirements, architecture, development, superb on-orbit performance, and lessons learned. JWST successfully demonstrates a segmented aperture space telescope and establishes a path to building even larger space telescopes. △ Less

Submitted 4 January, 2023; originally announced January 2023.

Comments: accepted by PASP for JWST Overview Special Issue; 34 pages, 25 figures

A smoothed semiparametric likelihood for estimation of nonparametric finite mixture models with a copula-based dependence structure

Authors: Michael Levine, Gildas Mazo

Abstract: In this manuscript, we consider a finite multivariate nonparametric mixture model where the dependence between the marginal densities is modeled using the copula device. Pseudo EM stochastic algorithms were recently proposed to estimate all of the components of this model under a location-scale constraint on the marginals. Here, we introduce a deterministic algorithm that seeks to maximize a smoot… ▽ More In this manuscript, we consider a finite multivariate nonparametric mixture model where the dependence between the marginal densities is modeled using the copula device. Pseudo EM stochastic algorithms were recently proposed to estimate all of the components of this model under a location-scale constraint on the marginals. Here, we introduce a deterministic algorithm that seeks to maximize a smoothed semiparametric likelihood. No location-scale assumption is made about the marginals. The algorithm is monotonic in one special case, and, in another, leads to ``approximate monotonicity'' -- whereby the difference between successive values of the objective function becomes non-negative up to an additive term that becomes negligible after a sufficiently large number of iterations. The behavior of this algorithm is illustrated on several simulated datasets. The results suggest that, under suitable conditions, the proposed algorithm may indeed be monotonic in general. A discussion of the results and some possible future research directions round out our presentation. △ Less

Submitted 13 December, 2022; originally announced December 2022.

MSC Class: 62G07; 62H30

Unthreadability with Small Conditions

Authors: Maxwell Levine

Abstract: We introduce a forcing that adds a $\square(\aleph_2,\aleph_0)$-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both $\square(\aleph_2,<\!\aleph_0)$ and $\square_{\aleph_1,\aleph_0}$ fail in the forcing extension. We introduce a forcing that adds a $\square(\aleph_2,\aleph_0)$-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both $\square(\aleph_2,<\!\aleph_0)$ and $\square_{\aleph_1,\aleph_0}$ fail in the forcing extension. △ Less

Submitted 25 September, 2022; originally announced September 2022.

MSC Class: 03E35 (Primary); 03E55 (Secondary)

Nonparametric clustering of RNA-sequencing data

Authors: Gabriel Lozano, Nadia Atallah, Michael Levine

Abstract: Identification of clusters of co-expressed genes in transcriptomic data is a difficult task. Most algorithms used for this purpose can be classified into two broad categories: distance-based or model-based approaches. Distance-based approaches typically utilize a distance function between pairs of data objects and group similar objects together into clusters. Model-based approaches are based on us… ▽ More Identification of clusters of co-expressed genes in transcriptomic data is a difficult task. Most algorithms used for this purpose can be classified into two broad categories: distance-based or model-based approaches. Distance-based approaches typically utilize a distance function between pairs of data objects and group similar objects together into clusters. Model-based approaches are based on using the mixture-modeling framework. Compared to distance-based approaches, model-based approaches offer better interpretability because each cluster can be explicitly characterized in terms of the proposed model. However, these models present a particular difficulty in identifying a correct multivariate distribution that a mixture can be based upon. In this manuscript, we review some of the approaches used to select a distribution for the needed mixture model first. Then, we propose avoiding this problem altogether by using a nonparametric MSL (Maximum Smoothed Likelihood) algorithm. This algorithm was proposed earlier in statistical literature but has not been, to the best of our knowledge, applied to transcriptomics data. The salient feature of this approach is that it avoids explicit specification of distributions of individual biological samples altogether, thus making the task of a practitioner easier. When used on a real dataset, the algorithm produces a large number of biologically meaningful clusters and compares favorably to the two other mixture-based algorithms commonly used for RNA-seq data clustering. Our code is publicly available in Github at https://github.com/Matematikoi/non_parametric_clustering. △ Less

Submitted 23 September, 2022; originally announced September 2022.

On compactness of weak square at singulars of uncountable cofinality

Authors: Maxwell Levine

Abstract: Cummings, Foreman, and Magidor proved that Jensen's square principle is non-compact at $\aleph_ω$, meaning that it is consistent that $\square_{\aleph_n}$ holds for all $n<ω$ while $\square_{\aleph_ω}$ fails. We investigate the natural question of whether this phenomenon generalizes to singulars of uncountable cofinality. Surprisingly, we show that under some mild hypotheses, the weak square princ… ▽ More Cummings, Foreman, and Magidor proved that Jensen's square principle is non-compact at $\aleph_ω$, meaning that it is consistent that $\square_{\aleph_n}$ holds for all $n<ω$ while $\square_{\aleph_ω}$ fails. We investigate the natural question of whether this phenomenon generalizes to singulars of uncountable cofinality. Surprisingly, we show that under some mild hypotheses, the weak square principle $\square_κ^*$ is in fact compact at singulars of uncountable cofinality, and that an even stronger version of these hypotheses is not enough for compactness of weak square at $\aleph_ω$. △ Less

Submitted 15 February, 2024; v1 submitted 19 August, 2022; originally announced August 2022.

Comments: Partially revised

MSC Class: 03E04 (Primary) 03E35; 03E55 (Secondary)

TOI-2196 b: Rare planet in the hot Neptune desert transiting a G-type star

Authors: Carina M. Persson, Iskra Y. Georgieva, Davide Gandolfi, Lorena Acuña, Artem Aguichine, Alexandra Muresan, Eike Guenther, John Livingston, Karen A. Collins, Malcolm Fridlund, Elisa Goffo, James S. Jenkins, Petr Kabáth, Judith Korth, Alan M. Levine, Luisa M. Serrano, José Vines, Oscar Barragán, Ilaria Carleo, Knicole D. Colon, William D. Cochran, Jessie L. Christiansen, Hans J. Deeg, Magali Deleuil, Diana Dragomir , et al. (30 additional authors not shown)

Abstract: Highly irradiated planets in the hot Neptune desert are usually either small (R < 2 Rearth) and rocky or they are gas giants with radii of >1 Rjup. Here, we report on the intermediate-sized planet TOI-2196 on a 1.2 day orbit around a G-type star discovered by TESS in sector 27. We collected 42 radial velocity measurements with the HARPS spectrograph to determine the mass. The radius of TOI-2196 b… ▽ More Highly irradiated planets in the hot Neptune desert are usually either small (R < 2 Rearth) and rocky or they are gas giants with radii of >1 Rjup. Here, we report on the intermediate-sized planet TOI-2196 on a 1.2 day orbit around a G-type star discovered by TESS in sector 27. We collected 42 radial velocity measurements with the HARPS spectrograph to determine the mass. The radius of TOI-2196 b is 3.51 +/- 0.15 Rearth, which, combined with the mass of 26.0 +/- 1.3 Mearth, results in a bulk density of 3.31+0.51-0.43 g/cm3. Hence, the radius implies that this planet is a sub-Neptune, although the density is twice than that of Neptune. A significant trend in the HARPS radial velocities points to the presence of a distant companion with a lower limit on the period and mass of 220 days and 0.65 Mjup, respectively, assuming zero eccentricity. The short period of planet b implies a high equilibrium temperature of 1860 +/- 20 K, for zero albedo and isotropic emission. This places the planet in the hot Neptune desert, joining a group of very few planets in this parameter space discovered in recent years. These planets suggest that the hot Neptune desert may be divided in two parts for planets with equilibrium temperatures of > 1800 K: a hot sub-Neptune desert devoid of planets with radii of 1.8-3 Rearth and a sub-Jovian desert for radii of 5-12 Rearth. More planets in this parameter space are needed to further investigate this finding. Planetary interior structure models of TOI-2196 b are consistent with a H/He atmosphere mass fraction between 0.4 % and 3 %, with a mean value of 0.7 % on top of a rocky interior. We estimated the amount of mass this planet might have lost at a young age, and we find that while the mass loss could have been significant, the planet had not changed in terms of character: it was born as a small volatile-rich planet, and it remains one at present. △ Less

Submitted 31 August, 2022; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: 17 pages, 15 figures, 7 tables, accepted 11 July 2022 for publication in Astronomy & Astrophysics

Journal ref: A&A 666, A184 (2022)

The HD 93963 A transiting system: A 1.04d super-Earth and a 3.65 d sub-Neptune discovered by TESS and CHEOPS

Authors: L. M. Serrano, D. Gandolfi, S. Hoyer, A. Brandeker, M. J. Hooton, S. Sousa, F. Murgas, D. R. Ciardi, S. B. Howell, W. Benz, N. Billot, H. -G. Florén, A. Bekkelien, A. Bonfanti, A. Krenn, A. J. Mustill, T. G. Wilson, H. Osborn, H. Parviainen, N. Heidari, E. Pallé, M. Fridlund, V. Adibekyan, L. Fossati, M. Deleuil , et al. (87 additional authors not shown)

Abstract: We present the discovery of two small planets transiting HD 93963A (TOI-1797), a G0\,V star (M$_*$=1.109\,$\pm$\,0.043\,M$_\odot$, R$_*$=1.043\,$\pm$\,0.009\,R$_\odot$) in a visual binary system. We combined TESS and CHEOPS space-borne photometry with data from MuSCAT 2, `Alopeke, PHARO, TRES, FIES, and SOPHIE. We validated and spectroscopically confirmed the outer transiting planet HD 93963 Ac, a… ▽ More We present the discovery of two small planets transiting HD 93963A (TOI-1797), a G0\,V star (M$_*$=1.109\,$\pm$\,0.043\,M$_\odot$, R$_*$=1.043\,$\pm$\,0.009\,R$_\odot$) in a visual binary system. We combined TESS and CHEOPS space-borne photometry with data from MuSCAT 2, `Alopeke, PHARO, TRES, FIES, and SOPHIE. We validated and spectroscopically confirmed the outer transiting planet HD 93963 Ac, a sub-Neptune with an orbital period of P$_c \approx$ 3.65 d, reported as a TESS object of interest (TOI) shortly after the release of Sector 22 data. HD 93963 Ac has a mass of M$_c = 19.2 \pm 4.1$ M$_{\oplus}$ and a radius of R$_c = 3.228 \pm 0.059$ R$_{\oplus}$, implying a mean density of $ρ_c=3.1\pm0.7$ gcm$^{-3}$. The inner object, HD 93963 Ab, is a validated 1.04 d ultra-short period (USP) transiting super-Earth that we discovered in the TESS light curve and that was not listed as a TOI, owing to the low significance of its signal (TESS signal-to-noise ratio $\approx$ 6.7, TESS $+$ CHEOPS combined transit depth D$_b=141.5 \pm 8.5$ ppm). We intensively monitored the star with CHEOPS by performing nine transit observations to confirm the presence of the inner planet and validate the system. HD 93963 Ab is the first small (R$_b = 1.35 \pm 0.042$ R$_{\oplus}$) USP planet discovered and validated by TESS and CHEOPS. Unlike planet c, HD 93963 Ab is not significantly detected in our radial velocities (M$_b = 7.8 \pm 3.2$ M$_{\oplus}$). We also discovered a linear trend in our Doppler measurements, suggesting the possible presence of a long-period outer planet. With a V-band magnitude of 9.2, HD 93963 A is among the brightest stars known to host a USP planet, making it one of the most favourable targets for precise mass measurement via Doppler spectroscopy and an important laboratory to test formation, evolution, and migration models of planetary systems hosting ultra-short period planets. △ Less

Submitted 28 July, 2022; originally announced July 2022.

Comments: Accepted in Astronomy & Astrophysics

Journal ref: A&A 667, A1 (2022)

The Science Performance of JWST as Characterized in Commissioning

Authors: Jane Rigby, Marshall Perrin, Michael McElwain, Randy Kimble, Scott Friedman, Matt Lallo, René Doyon, Lee Feinberg, Pierre Ferruit, Alistair Glasse, Marcia Rieke, George Rieke, Gillian Wright, Chris Willott, Knicole Colon, Stefanie Milam, Susan Neff, Christopher Stark, Jeff Valenti, Jim Abell, Faith Abney, Yasin Abul-Huda, D. Scott Acton, Evan Adams, David Adler , et al. (601 additional authors not shown)

Abstract: This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries f… ▽ More This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries for which it was built. Moreover, almost across the board, the science performance of JWST is better than expected; in most cases, JWST will go deeper faster than expected. The telescope and instrument suite have demonstrated the sensitivity, stability, image quality, and spectral range that are necessary to transform our understanding of the cosmos through observations spanning from near-earth asteroids to the most distant galaxies. △ Less

Submitted 10 April, 2023; v1 submitted 12 July, 2022; originally announced July 2022.

Comments: 5th version as accepted to PASP; 31 pages, 18 figures; https://iopscience.iop.org/article/10.1088/1538-3873/acb293

Journal ref: PASP 135 048001 (2023)

An Asymmetric Sparse Telescope

Authors: B. Martin Levine, Michael Kaplun, Erez N. Ribak

Abstract: We designed and built a novel model of a deployed space telescope which can reliably align its segments to achieve the finest possible resolution. An asymmetric design of both the segment shapes and their pupil locations were tested in simulation and experiment. We optimised the sparse aperture for better spatial frequency coverage and for smoother images with less artifacts. The unique segment sh… ▽ More We designed and built a novel model of a deployed space telescope which can reliably align its segments to achieve the finest possible resolution. An asymmetric design of both the segment shapes and their pupil locations were tested in simulation and experiment. We optimised the sparse aperture for better spatial frequency coverage and for smoother images with less artifacts. The unique segment shapes allow for an easier identification and alignment, and the feedback is based only upon the focal image. The autonomous alignment and fine tuning are governed by mechanical simplicity and reliability. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 10 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:1912.00709

On Specifying for Trustworthiness

Authors: Dhaminda B. Abeywickrama, Amel Bennaceur, Greg Chance, Yiannis Demiris, Anastasia Kordoni, Mark Levine, Luke Moffat, Luc Moreau, Mohammad Reza Mousavi, Bashar Nuseibeh, Subramanian Ramamoorthy, Jan Oliver Ringert, James Wilson, Shane Windsor, Kerstin Eder

Abstract: As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first need to specify what is required for an AS to be considered trustworthy. This roadmap paper identifies key challenges for specifying for trustworthiness in AS, as identified during the "Specifying for Trustworthiness" work… ▽ More As autonomous systems (AS) increasingly become part of our daily lives, ensuring their trustworthiness is crucial. In order to demonstrate the trustworthiness of an AS, we first need to specify what is required for an AS to be considered trustworthy. This roadmap paper identifies key challenges for specifying for trustworthiness in AS, as identified during the "Specifying for Trustworthiness" workshop held as part of the UK Research and Innovation (UKRI) Trustworthy Autonomous Systems (TAS) programme. We look across a range of AS domains with consideration of the resilience, trust, functionality, verifiability, security, and governance and regulation of AS and identify some of the key specification challenges in these domains. We then highlight the intellectual challenges that are involved with specifying for trustworthiness in AS that cut across domains and are exacerbated by the inherent uncertainty involved with the environments in which AS need to operate. △ Less

Submitted 20 August, 2023; v1 submitted 22 June, 2022; originally announced June 2022.

Comments: Accepted version of paper. 13 pages, 1 table, 1 figure

ACM Class: D.2.1; I.2

Quadratic Counts of Twisted Cubics

Authors: Marc Levine, Sabrina Pauli

Abstract: Using a quadratic version of the Bott residue theorem, we give a quadratic refinement of the count of twisted cubic curves on hypersurfaces and complete intersections in a projective space. Using a quadratic version of the Bott residue theorem, we give a quadratic refinement of the count of twisted cubic curves on hypersurfaces and complete intersections in a projective space. △ Less

Submitted 14 June, 2022; v1 submitted 12 June, 2022; originally announced June 2022.

Comments: thanks to J.C. Ottem and R. Parimala that were inadvertently omitted in the first version were added to the introduction

MSC Class: Primary 14N10; 14N35; Secondary 14Q30; 14F42

The TESS Grand Unified Hot Jupiter Survey. I. Ten TESS Planets

Authors: Samuel W. Yee, Joshua N. Winn, Joel D. Hartman, Joseph E. Rodriguez, George Zhou, Samuel N. Quinn, David W. Latham, Allyson Bieryla, Karen A. Collins, Brett C. Addison, Isabel Angelo, Khalid Barkaoui, Paul Benni, Andrew W. Boyle, Rafael Brahm, R. Paul Butler, David R. Ciardi, Kevin I. Collins, Dennis M. Conti, Jeffrey D. Crane, Fei Dai, Courtney D. Dressing, Jason D. Eastman, Zahra Essack, Raquel Forés-Toribio , et al. (47 additional authors not shown)

Abstract: We report the discovery of ten short-period giant planets (TOI-2193A b, TOI-2207 b, TOI-2236 b, TOI-2421 b, TOI-2567 b, TOI-2570 b, TOI-3331 b, TOI-3540A b, TOI-3693 b, TOI-4137 b). All of the planets were identified as planet candidates based on periodic flux dips observed by NASA's Transiting Exoplanet Survey Satellite (TESS). The signals were confirmed to be from transiting planets using ground… ▽ More We report the discovery of ten short-period giant planets (TOI-2193A b, TOI-2207 b, TOI-2236 b, TOI-2421 b, TOI-2567 b, TOI-2570 b, TOI-3331 b, TOI-3540A b, TOI-3693 b, TOI-4137 b). All of the planets were identified as planet candidates based on periodic flux dips observed by NASA's Transiting Exoplanet Survey Satellite (TESS). The signals were confirmed to be from transiting planets using ground-based time-series photometry, high angular resolution imaging, and high-resolution spectroscopy coordinated with the TESS Follow-up Observing Program. The ten newly discovered planets orbit relatively bright F and G stars ($G < 12.5$,~$T_\mathrm{eff}$ between 4800 and 6200 K). The planets' orbital periods range from 2 to 10~days, and their masses range from 0.2 to 2.2 Jupiter masses. TOI-2421 b is notable for being a Saturn-mass planet and TOI-2567 b for being a ``sub-Saturn'', with masses of $0.322\pm 0.073$ and $0.195\pm 0.030$ Jupiter masses, respectively. In most cases, we have little information about the orbital eccentricities. Two exceptions are TOI-2207 b, which has an 8-day period and a detectably eccentric orbit ($e = 0.17\pm0.05$), and TOI-3693 b, a 9-day planet for which we can set an upper limit of $e < 0.052$. The ten planets described here are the first new planets resulting from an effort to use TESS data to unify and expand on the work of previous ground-based transit surveys in order to create a large and statistically useful sample of hot Jupiters. △ Less

Submitted 19 May, 2022; originally announced May 2022.

Comments: 44 pages, 15 tables, 21 figures; revised version submitted to AJ

Koopman pose predictions for temporally consistent human walking estimations

Authors: Marc Mitjans, David M. Levine, Louis N. Awad, Roberto Tron

Abstract: We tackle the problem of tracking the human lower body as an initial step toward an automatic motion assessment system for clinical mobility evaluation, using a multimodal system that combines Inertial Measurement Unit (IMU) data, RGB images, and point cloud depth measurements. This system applies the factor graph representation to an optimization problem that provides 3-D skeleton joint estimatio… ▽ More We tackle the problem of tracking the human lower body as an initial step toward an automatic motion assessment system for clinical mobility evaluation, using a multimodal system that combines Inertial Measurement Unit (IMU) data, RGB images, and point cloud depth measurements. This system applies the factor graph representation to an optimization problem that provides 3-D skeleton joint estimations. In this paper, we focus on improving the temporal consistency of the estimated human trajectories to greatly extend the range of operability of the depth sensor. More specifically, we introduce a new factor graph factor based on Koopman theory that embeds the nonlinear dynamics of several lower-limb movement activities. This factor performs a two-step process: first, a custom activity recognition module based on spatial temporal graph convolutional networks recognizes the walking activity; then, a Koopman pose prediction of the subsequent skeleton is used as an a priori estimation to drive the optimization problem toward more consistent results. We tested the performance of this module on datasets composed of multiple clinical lowerlimb mobility tests, and we show that our approach reduces outliers on the skeleton form by almost 1 m, while preserving natural walking trajectories at depths up to more than 10 m. △ Less

Submitted 5 November, 2022; v1 submitted 5 May, 2022; originally announced May 2022.

Comments: 8 pages, 6 figures, accepted to IROS 2022

Virtual Localization in equivariant Witt cohomology

Authors: Marc Levine

Abstract: We prove an analog of the virtual localization theorem of Graber-Pandharipande, in the setting of an action by the normalizer of the torus in $\text{SL}_2$, and with the Chow groups replaced by the cohomology of a suitably twisted sheaf of Witt groups. We prove an analog of the virtual localization theorem of Graber-Pandharipande, in the setting of an action by the normalizer of the torus in $\text{SL}_2$, and with the Chow groups replaced by the cohomology of a suitably twisted sheaf of Witt groups. △ Less

Submitted 30 June, 2024; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: Details were added to some proofs and some errors corrected. Inconsistencies in the notation were corrected

MSC Class: 14F42; 14L30

Atiyah-Bott localization in equivariant Witt cohomology

Authors: Marc Levine

Abstract: Let $N$ be a normalizer of the diagonal torus $T_1\cong \mathbb{G}_m$ in $\text{SL}_2$. We prove localization theorems for $\text{SL}_2^n$ and $N^n$ for equivariant cohomology with coefficients in the (twisted) Witt sheaf, along the lines of the classical Atiyah-Bott localization theorems for equivariant cohomology for a torus action. We also have an analog of the Bott residue formula for… ▽ More Let $N$ be a normalizer of the diagonal torus $T_1\cong \mathbb{G}_m$ in $\text{SL}_2$. We prove localization theorems for $\text{SL}_2^n$ and $N^n$ for equivariant cohomology with coefficients in the (twisted) Witt sheaf, along the lines of the classical Atiyah-Bott localization theorems for equivariant cohomology for a torus action. We also have an analog of the Bott residue formula for $\text{SL}_2^n$ and $N$. In the case of an $\text{SL}_2^n$-action, there is a rather serious restriction on the orbit type. For an $N$-action, there is no restriction for the localization result, but for the Bott residue theorem, one requires a certain type of decomposition of the fixed points for the $T_1$-action. △ Less

Submitted 9 April, 2022; v1 submitted 25 March, 2022; originally announced March 2022.

Comments: We altered the definition of equivariant Borel-Moore homology by a twist to make it compatible with the "forget the group" morphism to the non-equivariant Borel-Moore homology, and to agree with the definition used in the companion paper "Virtual localization in equivariant Witt cohomology". We corrected typos and made a number of stylistic and organizational changes. ERC logo added

MSC Class: 14F42

TOI-1670 b and c: An Inner Sub-Neptune with an Outer Warm Jupiter Unlikely to have Originated from High-Eccentricity Migration

Authors: Quang H. Tran, Brendan P. Bowler, Michael Endl, William D. Cochran, Phillip J. MacQueen, Davide Gandolfi, Carina M. Persson, Malcolm Fridlund, Enric Palle, Grzegorz Nowak, Hans J. Deeg, Rafael Luque, John H. Livingston, Petr Kabáth, Marek Skarka, Ján Šubjak, Steve B. Howell, Simon H. Albrecht, Karen A. Collins, Massimiliano Esposito, Vincent Van Eylen, Sascha Grziwa, Elisa Goffo, Chelsea X. Huang, Jon M. Jenkins , et al. (16 additional authors not shown)

Abstract: We report the discovery of two transiting planets around the bright ($V=9.9$ mag) main sequence F7 star TOI-1670 by the Transiting Exoplanet Survey Satellite. TOI-1670 b is a sub-Neptune ($R_\mathrm{b} = 2.06_{-0.15}^{+0.19}$ $R_\oplus$) on a 10.9-day orbit and TOI-1670 c is a warm Jupiter ($R_\mathrm{c} = 0.987_{-0.025}^{+0.025}$ $R_\mathrm{Jup}$) on a 40.7-day orbit. Using radial velocity observ… ▽ More We report the discovery of two transiting planets around the bright ($V=9.9$ mag) main sequence F7 star TOI-1670 by the Transiting Exoplanet Survey Satellite. TOI-1670 b is a sub-Neptune ($R_\mathrm{b} = 2.06_{-0.15}^{+0.19}$ $R_\oplus$) on a 10.9-day orbit and TOI-1670 c is a warm Jupiter ($R_\mathrm{c} = 0.987_{-0.025}^{+0.025}$ $R_\mathrm{Jup}$) on a 40.7-day orbit. Using radial velocity observations gathered with the Tull coudé Spectrograph on the Harlan J. Smith telescope and HARPS-N on the Telescopio Nazionale Galileo, we find a planet mass of $M_\mathrm{c} = 0.63_{-0.08}^{+0.09}$ $M_\mathrm{Jup}$ for the outer warm Jupiter, implying a mean density of $ρ_c = 0.81_{-0.11}^{+0.13}$ g cm$^{-3}$. The inner sub-Neptune is undetected in our radial velocity data ($M_\mathrm{b} < 0.13$ $M_\mathrm{Jup}$ at the 99% confidence level). Multi-planet systems like TOI-1670 hosting an outer warm Jupiter on a nearly circular orbit ($e_\mathrm{c} = 0.09_{-0.04}^{+0.05}$) and one or more inner coplanar planets are more consistent with "gentle" formation mechanisms such as disk migration or $in$ $situ$ formation rather than high-eccentricity migration. Of the 11 known systems with a warm Jupiter and a smaller inner companion, 8 (73%) are near a low-order mean-motion resonance, which can be a signature of migration. TOI-1670 joins two other systems (27% of this subsample) with period commensurabilities greater than 3, a common feature of $in$ $situ$ formation or halted inward migration. TOI-1670 and the handful of similar systems support a diversity of formation pathways for warm Jupiters. △ Less

Submitted 8 March, 2022; originally announced March 2022.

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

Towards Safe, Real-Time Systems: Stereo vs Images and LiDAR for 3D Object Detection

Authors: Matthew Levine

Abstract: As object detectors rapidly improve, attention has expanded past image-only networks to include a range of 3D and multimodal frameworks, especially ones that incorporate LiDAR. However, due to cost, logistics, and even some safety considerations, stereo can be an appealing alternative. Towards understanding the efficacy of stereo as a replacement for monocular input or LiDAR in object detectors, w… ▽ More As object detectors rapidly improve, attention has expanded past image-only networks to include a range of 3D and multimodal frameworks, especially ones that incorporate LiDAR. However, due to cost, logistics, and even some safety considerations, stereo can be an appealing alternative. Towards understanding the efficacy of stereo as a replacement for monocular input or LiDAR in object detectors, we show that multimodal learning with traditional disparity algorithms can improve image-based results without increasing the number of parameters, and that learning over stereo error can impart similar 3D localization power to LiDAR in certain contexts. Furthermore, doing so also has calibration benefits with respect to image-only methods. We benchmark on the public dataset KITTI, and in doing so, reveal a few small but common algorithmic mistakes currently used in computing metrics on that set, and offer efficient, provably correct alternatives. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Comments: Submitted to IROS RA-L

TESS Giants Transiting Giants II: The hottest Jupiters orbiting evolved stars

Authors: Samuel K. Grunblatt, Nicholas Saunders, Meng Sun, Ashley Chontos, Melinda Soares-Furtado, Nora Eisner, Filipe Pereira, Thaddeus Komacek, Daniel Huber, Karen Collins, Gavin Wang, Chris Stockdale, Samuel N. Quinn, Rene Tronsgaard, George Zhou, Grzegorz Nowak, Hans J. Deeg, David R. Ciardi, Andrew Boyle, Malena Rice, Fei Dai, Sarah Blunt, Judah Van Zandt, Corey Beard, Joseph M. Akana Murphy , et al. (20 additional authors not shown)

Abstract: Giant planets on short-period orbits are predicted to be inflated and eventually engulfed by their host stars. However, the detailed timescales and stages of these processes are not well known. Here we present the discovery of three hot Jupiters (P $<$ 10 d) orbiting evolved, intermediate-mass stars ($M_\star$ $\approx$ 1.5 M$_\odot$, 2 R$_\odot$ $<$ $R_\star < $ 5 R$_\odot$). By combining \tess p… ▽ More Giant planets on short-period orbits are predicted to be inflated and eventually engulfed by their host stars. However, the detailed timescales and stages of these processes are not well known. Here we present the discovery of three hot Jupiters (P $<$ 10 d) orbiting evolved, intermediate-mass stars ($M_\star$ $\approx$ 1.5 M$_\odot$, 2 R$_\odot$ $<$ $R_\star < $ 5 R$_\odot$). By combining \tess photometry with ground-based photometry and radial velocity measurements, we report masses and radii for these three planets between 0.4 and 1.8 M$_\mathrm{J}$ and 0.8 and 1.8 R$_\mathrm{J}$. \planet has the shortest period (P=\period) of any planet discovered around a red giant star to date. Both \planettwo and \planetthree appear to be inflated, but \planet does not show any sign of inflation. The large radii and relatively low masses of \planettwo and \planetthree place them among the lowest density hot Jupiters currently known, while \planet is conversely one of the highest. All three planets have orbital eccentricities below 0.2. The large spread in radii for these systems implies that planet inflation has a complex dependence on planet mass, radius, incident flux, and orbital properties. We predict that \planet has the shortest orbital decay timescale of any planet currently known, but do not detect any orbital decay in this system. Transmission spectroscopy of \planettwo would provide a favorable opportunity for the detection of water, carbon dioxide and carbon monoxide features in the atmosphere of a planet orbiting an evolved star, and could yield new information about planet formation and atmospheric evolution. △ Less

Submitted 11 January, 2022; originally announced January 2022.

Comments: 22 pages, 15 figures, accepted for publication in the Astronomical Journal

A pair of Sub-Neptunes transiting the bright K-dwarf TOI-1064 characterised with CHEOPS

Authors: Thomas G. Wilson, Elisa Goffo, Yann Alibert, Davide Gandolfi, Andrea Bonfanti, Carina M. Persson, Andrew Collier Cameron, Malcolm Fridlund, Luca Fossati, Judith Korth, Willy Benz, Adrien Deline, Hans-Gustav Florén, Pascal Guterman, Vardan Adibekyan, Matthew J. Hooton, Sergio Hoyer, Adrien Leleu, Alexander James Mustill, Sébastien Salmon, Sérgio G. Sousa, Olga Suarez, Lyu Abe, Abdelkrim Agabi, Roi Alonso , et al. (110 additional authors not shown)

Abstract: We report the discovery and characterisation of a pair of sub-Neptunes transiting the bright K-dwarf TOI-1064 (TIC 79748331), initially detected in TESS photometry. To characterise the system, we performed and retrieved CHEOPS, TESS, and ground-based photometry, HARPS high-resolution spectroscopy, and Gemini speckle imaging. We characterise the host star and determine… ▽ More We report the discovery and characterisation of a pair of sub-Neptunes transiting the bright K-dwarf TOI-1064 (TIC 79748331), initially detected in TESS photometry. To characterise the system, we performed and retrieved CHEOPS, TESS, and ground-based photometry, HARPS high-resolution spectroscopy, and Gemini speckle imaging. We characterise the host star and determine $T_{\rm eff, \star}=4734\pm67$ K, $R_{\star}=0.726\pm0.007$ $R_{\odot}$, and $M_{\star}=0.748\pm0.032$ $M_{\odot}$. We present a novel detrending method based on PSF shape-change modelling and demonstrate its suitability to correct flux variations in CHEOPS data. We confirm the planetary nature of both bodies and find that TOI-1064 b has an orbital period of $P_{\rm b}=6.44387\pm0.00003$ d, a radius of $R_{\rm b}=2.59\pm0.04$ $R_{\oplus}$, and a mass of $M_{\rm b}=13.5_{-1.8}^{+1.7}$ $M_{\oplus}$, whilst TOI-1064 c has an orbital period of $P_{\rm c}=12.22657^{+0.00005}_{-0.00004}$ d, a radius of $R_{\rm c}=2.65\pm0.04$ $R_{\oplus}$, and a 3$σ$ upper mass limit of 8.5 ${\rm M_{\oplus}}$. From the high-precision photometry we obtain radius uncertainties of $\sim$1.6%, allowing us to conduct internal structure and atmospheric escape modelling. TOI-1064 b is one of the densest, well-characterised sub-Neptunes, with a tenuous atmosphere that can be explained by the loss of a primordial envelope following migration through the protoplanetary disc. It is likely that TOI-1064 c has an extended atmosphere due to the tentative low density, however further RVs are needed to confirm this scenario and the similar radii, different masses nature of this system. The high-precision data and modelling of TOI-1064 b are important for planets in this region of mass-radius space, and it allows us to identify a trend in bulk density-stellar metallicity for massive sub-Neptunes that may hint at the formation of this population of planets. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Comments: 30 pages, 24 figures, 6 tables including the Appendix; accepted for publication in MNRAS

Distributivity and Minimality in Perfect Tree Forcings for Singular Cardinals

Authors: Maxwell Levine, Heike Mildenberger

Abstract: Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_κ$ consisting of perfect trees of height $λ$ and width $κ$ where $κ$ is a singular $ω$-strong limit of cofinality $λ$. They showed that if $κ$ is singular of countable cofinality, then $\mathbb{P}_κ$ is minimal for $ω$-sequences assuming that $κ$ is a supremum of a sequence of measurable cardinals. We obtain this result without the measur… ▽ More Dobrinen, Hathaway and Prikry studied a forcing $\mathbb{P}_κ$ consisting of perfect trees of height $λ$ and width $κ$ where $κ$ is a singular $ω$-strong limit of cofinality $λ$. They showed that if $κ$ is singular of countable cofinality, then $\mathbb{P}_κ$ is minimal for $ω$-sequences assuming that $κ$ is a supremum of a sequence of measurable cardinals. We obtain this result without the measurability assumption. Prikry proved that $\mathbb{P}_κ$ is $(ω,ν)$-distributive for all $ν<κ$ given a singular $ω$-strong limit cardinal $κ$ of countable cofinality, and Dobrinen et al$.$ asked whether this result generalizes if $κ$ has uncountable cofinality. We answer their question in the negative by showing that $\mathbb{P}_κ$ is not $(λ,2)$-distributive if $κ$ is a $λ$-strong limit of uncountable cofinality $λ$ and we obtain the same result for a range of similar forcings, including one that Dobrinen et al$.$ consider that consists of pre-perfect trees. We also show that $\mathbb{P}_κ$ in particular is not $(ω,\cdot,λ^+)$-distributive under these assumptions. While develo** these ideas, we address natural questions regarding minimality and collapses of cardinals. △ Less

Submitted 7 October, 2021; originally announced October 2021.

MSC Class: 03E40

The TESS Mission Target Selection Procedure

Authors: Michael Fausnaugh, Ed Morgan, Roland Vanderspek, Joshua Pepper, Christopher J. Burke, Alan M. Levine, Alexander Rudat, Jesus Noel S. Villaseñor, Michael Vezie, Robert F. Goeke, George R. Ricker, David W. Latham, S. Seager, Joshua N. Winn, Jon M. Jenkins, G. A. Bakos, Thomas Barclay, Zachory K. Berta-thompson, Luke G. Bouma, Patricia T. Boyd, C. E. Brasseur, Jennifer Burt, Douglas A. Caldwell, David Charbonneau, J. Christensen-dalsgaard , et al. (39 additional authors not shown)

Abstract: We describe the target selection procedure by which stars are selected for 2-minute and 20-second observations by TESS. We first list the technical requirements of the TESS instrument and ground systems processing that limit the total number of target slots. We then describe algorithms used by the TESS Payload Operation Center (POC) to merge candidate targets requested by the various TESS mission… ▽ More We describe the target selection procedure by which stars are selected for 2-minute and 20-second observations by TESS. We first list the technical requirements of the TESS instrument and ground systems processing that limit the total number of target slots. We then describe algorithms used by the TESS Payload Operation Center (POC) to merge candidate targets requested by the various TESS mission elements (the Target Selection Working Group, TESS Asteroseismic Science Consortium, and Guest Investigator office). Lastly, we summarize the properties of the observed TESS targets over the two-year primary TESS mission. We find that the POC target selection algorithm results in 2.1 to 3.4 times as many observed targets as target slots allocated for each mission element. We also find that the sky distribution of observed targets is different from the sky distributions of candidate targets due to technical constraints that require a relatively even distribution of targets across the TESS fields of view. We caution researchers exploring statistical analyses of TESS planet-host stars that the population of observed targets cannot be characterized by any simple set of criteria applied to the properties of the input Candidate Target Lists. △ Less

Submitted 6 September, 2021; originally announced September 2021.

Comments: 15 pages, 6 figures, accepted for publication in PASP

A 20-Second Cadence View of Solar-Type Stars and Their Planets with TESS: Asteroseismology of Solar Analogs and a Re-characterization of pi Men c

Authors: Daniel Huber, Timothy R. White, Travis S. Metcalfe, Ashley Chontos, Michael M. Fausnaugh, Cynthia S. K. Ho, Vincent Van Eylen, Warrick Ball, Sarbani Basu, Timothy R. Bedding, Othman Benomar, Diego Bossini, Sylvain Breton, Derek L. Buzasi, Tiago L. Campante, William J. Chaplin, Joergen Christensen-Dalsgaard, Margarida S. Cunha, Morgan Deal, Rafael A. Garcia, Antonio Garcia Munoz, Charlotte Gehan, Lucia Gonzalez-Cuesta, Chen Jiang, Cenk Kayhan , et al. (28 additional authors not shown)

Abstract: We present an analysis of the first 20-second cadence light curves obtained by the TESS space telescope during its extended mission. We find a precision improvement of 20-second data compared to 2-minute data for bright stars when binned to the same cadence (~10-25% better for T<~8 mag, reaching equal precision at T~13 mag), consistent with pre-flight expectations based on differences in cosmic ra… ▽ More We present an analysis of the first 20-second cadence light curves obtained by the TESS space telescope during its extended mission. We find a precision improvement of 20-second data compared to 2-minute data for bright stars when binned to the same cadence (~10-25% better for T<~8 mag, reaching equal precision at T~13 mag), consistent with pre-flight expectations based on differences in cosmic ray mitigation algorithms. We present two results enabled by this improvement. First, we use 20-second data to detect oscillations in three solar analogs (gamma Pav, zeta Tuc and pi Men) and use asteroseismology to measure their radii, masses, densities and ages to ~1%, ~3%, ~1% and ~20% respectively, including systematic errors. Combining our asteroseismic ages with chromospheric activity measurements we find evidence that the spread in the activity-age relation is linked to stellar mass and thus convection-zone depth. Second, we combine 20-second data and published radial velocities to re-characterize pi Men c, which is now the closest transiting exoplanet for which detailed asteroseismology of the host star is possible. We show that pi Men c is located at the upper edge of the planet radius valley for its orbital period, confirming that it has likely retained a volatile atmosphere and that the "asteroseismic radius valley" remains devoid of planets. Our analysis favors a low eccentricity for pi Men c (<0.1 at 68% confidence), suggesting efficient tidal dissipation (Q/k <~ 2400) if it formed via high-eccentricity migration. Combined, these early results demonstrate the strong potential of TESS 20-second cadence data for stellar astrophysics and exoplanet science. △ Less

Submitted 13 October, 2021; v1 submitted 20 August, 2021; originally announced August 2021.

Comments: 17 pages (excluding references), 13 figures, 6 tables; accepted for publication in AJ. Data and scripts to reproduce results are archived at https://zenodo.org/record/5555456

A Framework for Machine Learning of Model Error in Dynamical Systems

Authors: Matthew E. Levine, Andrew M. Stuart

Abstract: The development of data-informed predictive models for dynamical systems is of widespread interest in many disciplines. We present a unifying framework for blending mechanistic and machine-learning approaches to identify dynamical systems from noisily and partially observed data. We compare pure data-driven learning with hybrid models which incorporate imperfect domain knowledge. Our formulation i… ▽ More The development of data-informed predictive models for dynamical systems is of widespread interest in many disciplines. We present a unifying framework for blending mechanistic and machine-learning approaches to identify dynamical systems from noisily and partially observed data. We compare pure data-driven learning with hybrid models which incorporate imperfect domain knowledge. Our formulation is agnostic to the chosen machine learning model, is presented in both continuous- and discrete-time settings, and is compatible both with model errors that exhibit substantial memory and errors that are memoryless. First, we study memoryless linear (w.r.t. parametric-dependence) model error from a learning theory perspective, defining excess risk and generalization error. For ergodic continuous-time systems, we prove that both excess risk and generalization error are bounded above by terms that diminish with the square-root of T, the time-interval over which training data is specified. Secondly, we study scenarios that benefit from modeling with memory, proving universal approximation theorems for two classes of continuous-time recurrent neural networks (RNNs): both can learn memory-dependent model error. In addition, we connect one class of RNNs to reservoir computing, thereby relating learning of memory-dependent error to recent work on supervised learning between Banach spaces using random features. Numerical results are presented (Lorenz '63, Lorenz '96 Multiscale systems) to compare purely data-driven and hybrid approaches, finding hybrid methods less data-hungry and more parametrically efficient. Finally, we demonstrate numerically how data assimilation can be leveraged to learn hidden dynamics from noisy, partially-observed data, and illustrate challenges in representing memory by this approach, and in the training of such models. △ Less

Submitted 17 August, 2022; v1 submitted 14 July, 2021; originally announced July 2021.

TOI-1749: an M dwarf with a Trio of Planets including a Near-Resonant Pair

Authors: A. Fukui, J. Korth, J. H. Livingston, J. D. Twicken, M. R. Zapatero Osorio, J. M. Jenkins, M. Mori, F. Murgas, M. Ogihara, N. Narita, E. Pallé, K. G. Stassun, G. Nowak, D. R. Ciardi, L. Alvarez-Hernandez, V. J. S. Béjar, N. Casasayas-Barris, N. Crouzet, J. P. de Leon, E. Esparza-Borges, D. Hidalgo Soto, K. Isogai, K. Kawauchi, P. Klagyivik, T. Kodama , et al. (43 additional authors not shown)

Abstract: We report the discovery of one super-Earth- (TOI-1749b) and two sub-Neptune-sized planets (TOI-1749c and TOI-1749d) transiting an early M dwarf at a distance of 100~pc, which were first identified as planetary candidates using data from the TESS photometric survey. We have followed up this system from the ground by means of multiband transit photometry, adaptive-optics imaging, and low-resolution… ▽ More We report the discovery of one super-Earth- (TOI-1749b) and two sub-Neptune-sized planets (TOI-1749c and TOI-1749d) transiting an early M dwarf at a distance of 100~pc, which were first identified as planetary candidates using data from the TESS photometric survey. We have followed up this system from the ground by means of multiband transit photometry, adaptive-optics imaging, and low-resolution spectroscopy, from which we have validated the planetary nature of the candidates. We find that TOI-1749b, c, and d have orbital periods of 2.39, 4.49, and 9.05 days, and radii of 1.4, 2.1, and 2.5 $R_\oplus$, respectively. We also place 95\% confidence upper limits on the masses of 57, 14, and 15 $M_\oplus$ for TOI-1749b, c, and d, respectively, from transit timing variations. The periods, sizes, and tentative masses of these planets are in line with a scenario in which all three planets initially had a hydrogen envelope on top of a rocky core, and only the envelope of the innermost planet has been stripped away by photoevaporation and/or core-powered mass loss mechanisms. These planets are similar to other planetary trios found around M dwarfs, such as TOI-175b,c,d and TOI-270b,c,d, in the sense that the outer pair has a period ratio within 1\% of 2. Such a characteristic orbital configuration, in which an additional planet is located interior to a near 2:1 period-ratio pair, is relatively rare around FGK dwarfs. △ Less

Submitted 28 September, 2021; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 30 pages, 19 figures, published in AJ

Journal ref: Astronomical Journal, 162, 167 (2021)