Showing 151–200 of 1,011 results for author: Muller, S

Volume density structure of the NGC253 CMZ through ALCHEMI excitation analysis

Authors: Kunihiko Tanaka, Jeffrey G. Mangum, Serena Viti, Sergio Martin, Nanase Harada, Kazushi Sakamoto, Sebastien Muller, Yuki Yoshimura, Kouichiro Nakanishi, Ruben Herrero Illana, Kimberly L. Emig, S. Muhle, Hiroyuki Kaneko, Tomoka Tosaki, Erica Behrens, Victor M. Rivilla, Laura Colzi, Yuri Nishimura, P. K. Humire, Mathilde Bouvier, Ko-Yun Huang, Joshua Butterworth, David S. Meier, Paul P. van der Werf

Abstract: We present a spatially-resolved excitation analysis for the central molecular zone (CMZ) of the starburst galaxy NGC 253 using the data from the ALMA Large program ALCHEMI, whereby we explore parameters distinguishing NGC 253 from the quiescent Milky Way's Galactic Center (GC). Non-LTE analyses employing a hierarchical Bayesian framework are applied to Band 3-7 transitions from nine molecular spec… ▽ More We present a spatially-resolved excitation analysis for the central molecular zone (CMZ) of the starburst galaxy NGC 253 using the data from the ALMA Large program ALCHEMI, whereby we explore parameters distinguishing NGC 253 from the quiescent Milky Way's Galactic Center (GC). Non-LTE analyses employing a hierarchical Bayesian framework are applied to Band 3-7 transitions from nine molecular species to delineate the position-position-velocity distributions of column density ($N_\mathrm{H_2}$), volume density ($n_\mathrm{H_2}$), and temperature ($T_\mathrm{kin}$) at 27 pc resolution. Two distinct components are detected: a low-density component with $(n_\mathrm{H_2},\ T_\mathrm{kin})\sim(10^{3.3}\ \mathrm{cm}^{-3}, 85 K)$ and a high-density component with $(n_\mathrm{H_2},\ T_\mathrm{kin})\sim (10^{4.4}\ \mathrm{cm}^{-3}, 110\ \mathrm{K})$, separated at $n_\mathrm{H_2}\sim10^{3.8}\ \mathrm{cm}^{-3}$. NGC 253 has $\sim10$ times the high-density gas mass and $\sim3$ times the dense-gas mass fraction of the GC. These properties are consistent with their HCN/CO ratio but cannot alone explain the factor of $\sim30$ difference in their star formation efficiencies (SFEs), contradicting the dense-gas mass to star formation rate scaling law. The $n_\mathrm{H_2}$ histogram toward NGC 253 exhibits a shallow declining slope up to $n_\mathrm{H_2}\sim10^6\ \mathrm{cm}^{-3}$, while that of the GC steeply drops in $n_\mathrm{H_2}\gtrsim10^{4.5}\ \mathrm{cm}^{-3}$ and vanishes at $10^5\ \mathrm{cm}^{-3}$. Their dense-gas mass fraction ratio becomes consistent with their SFEs when the threshold $n_\mathrm{H_2}$ for the dense gas is taken at $\sim 10^{4.2\mbox{-}4.6}\ \mathrm{cm}^{-3}$. The rich abundance of gas above this density range in the NGC 253 CMZ, or its scarcity in the GC, is likely to be the critical difference characterizing the contrasting star formation in the centers of the two galaxies. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Comments: 49 pages, 27 figures, 7 tables, accepted for publication in the Astrophysical Journal

On the hypothesis of an inverted Z-gradient inside Jupiter

Authors: Saburo Howard, Tristan Guillot, Steve Markham, Ravit Helled, Simon Müller, David J. Stevenson, Jonathan I. Lunine, Yamila Miguel, Nadine Nettelmann

Abstract: Models of Jupiter s interior struggle to agree with measurements of the atmospheric composition. Interior models favour a subsolar or solar abundance of heavy elements Z while atmospheric measurements suggest a supersolar abundance. One potential solution may be the presence of an inverted Z-gradient, namely an inward decrease of Z, which implies a larger heavy element abundance in the atmosphere… ▽ More Models of Jupiter s interior struggle to agree with measurements of the atmospheric composition. Interior models favour a subsolar or solar abundance of heavy elements Z while atmospheric measurements suggest a supersolar abundance. One potential solution may be the presence of an inverted Z-gradient, namely an inward decrease of Z, which implies a larger heavy element abundance in the atmosphere than in the outer envelope. We investigate two scenarios in which the inverted Z gradient is located either where helium rain occurs (Mbar level) or at upper levels (kbar level) where a radiative region could exist. We aim to assess how plausible these scenarios are. We calculate interior and evolution models of Jupiter with such inverted Z-gradient and use constraints on the stability and the formation of an inverted Z-gradient. We find that an inverted Z-gradient at the location of helium rain cannot work as it requires a late accretion and of too much material. We find interior models with an inverted Z-gradient at upper levels, due to a radiative zone preventing downward mixing, that could satisfy the present gravity field of the planet. However, our evolution models suggest that this second scenario might not be in place. An inverted Z-gradient in Jupiter could be stable. Yet, its presence either at the Mbar level or kbar level is rather unlikely. △ Less

Submitted 13 November, 2023; originally announced November 2023.

Comments: Accepted for publication in A&A

Pipelines and Beyond: Graph Types for ADTs with Futures

Authors: Francis Rinaldi, june wunder, Arthur Aevedo De Amorim, Stefan K. Muller

Abstract: Parallel programs are frequently modeled as dependency or cost graphs, which can be used to detect various bugs, or simply to visualize the parallel structure of the code. However, such graphs reflect just one particular execution and are typically constructed in a post-hoc manner. Graph types, which were introduced recently to mitigate this problem, can be assigned statically to a program by a ty… ▽ More Parallel programs are frequently modeled as dependency or cost graphs, which can be used to detect various bugs, or simply to visualize the parallel structure of the code. However, such graphs reflect just one particular execution and are typically constructed in a post-hoc manner. Graph types, which were introduced recently to mitigate this problem, can be assigned statically to a program by a type system and compactly represent the family of all graphs that could result from the program. Unfortunately, prior work is restricted in its treatment of futures, an increasingly common and especially dynamic form of parallelism. In short, each instance of a future must be statically paired with a vertex name. Previously, this led to the restriction that futures could not be placed in collections or be used to construct data structures. Doing so is not a niche exercise: such structures form the basis of numerous algorithms that use forms of pipelining to achieve performance not attainable without futures. All but the most limited of these examples are out of reach of prior graph type systems. In this paper, we propose a graph type system that allows for almost arbitrary combinations of futures and recursive data types. We do so by indexing datatypes with a type-level vertex structure, a codata structure that supplies unique vertex names to the futures in a data structure. We prove the soundness of the system in a parallel core calculus annotated with vertex structures and associated operations. Although the calculus is annotated, this is merely for convenience in defining the type system. We prove that it is possible to annotate arbitrary recursive types with vertex structures, and show using a prototype inference engine that these annotations can be inferred from OCaml-like source code for several complex parallel algorithms. △ Less

Submitted 12 November, 2023; originally announced November 2023.

Comments: 65 pages, 41 figures, submitted to POPL 2024

Numerical schemes for coupled systems of nonconservative hyperbolic equations

Authors: Niklas Kolbe, Michael Herty, Siegfried Müller

Abstract: A new linear relaxation system for nonconservative hyperbolic systems is introduced, in which a nonlocal source term accounts for the nonconservative product of the original system. Using an asymptotic analysis the relaxation limit and its stability are investigated. It is shown that the path-conservative Lax-Friedrichs scheme arises from a discrete limit of an implicit-explicit scheme for the rel… ▽ More A new linear relaxation system for nonconservative hyperbolic systems is introduced, in which a nonlocal source term accounts for the nonconservative product of the original system. Using an asymptotic analysis the relaxation limit and its stability are investigated. It is shown that the path-conservative Lax-Friedrichs scheme arises from a discrete limit of an implicit-explicit scheme for the relaxation system. The relaxation approach is further employed to couple two nonconservative systems at a static interface. A coupling strategy motivated from conservative Kirchhoff conditions is introduced and a corresponding Riemann solver provided. A fully discrete scheme for coupled nonconservative products is derived and studied in terms of path-conservation. Numerical experiments applying the approach to a coupled model of vascular blood flow are presented. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 27 pages, 4 figures, 2 tables

MSC Class: 35L65; 35R02; 65M08

Efficient Bayesian Learning Curve Extrapolation using Prior-Data Fitted Networks

Authors: Steven Adriaensen, Herilalaina Rakotoarison, Samuel Müller, Frank Hutter

Abstract: Learning curve extrapolation aims to predict model performance in later epochs of training, based on the performance in earlier epochs. In this work, we argue that, while the inherent uncertainty in the extrapolation of learning curves warrants a Bayesian approach, existing methods are (i) overly restrictive, and/or (ii) computationally expensive. We describe the first application of prior-data fi… ▽ More Learning curve extrapolation aims to predict model performance in later epochs of training, based on the performance in earlier epochs. In this work, we argue that, while the inherent uncertainty in the extrapolation of learning curves warrants a Bayesian approach, existing methods are (i) overly restrictive, and/or (ii) computationally expensive. We describe the first application of prior-data fitted neural networks (PFNs) in this context. A PFN is a transformer, pre-trained on data generated from a prior, to perform approximate Bayesian inference in a single forward pass. We propose LC-PFN, a PFN trained to extrapolate 10 million artificial right-censored learning curves generated from a parametric prior proposed in prior art using MCMC. We demonstrate that LC-PFN can approximate the posterior predictive distribution more accurately than MCMC, while being over 10 000 times faster. We also show that the same LC-PFN achieves competitive performance extrapolating a total of 20 000 real learning curves from four learning curve benchmarks (LCBench, NAS-Bench-201, Taskset, and PD1) that stem from training a wide range of model architectures (MLPs, CNNs, RNNs, and Transformers) on 53 different datasets with varying input modalities (tabular, image, text, and protein data). Finally, we investigate its potential in the context of model selection and find that a simple LC-PFN based predictive early stopping criterion obtains 2 - 6x speed-ups on 45 of these datasets, at virtually no overhead. △ Less

Submitted 31 October, 2023; originally announced October 2023.

Coleman-Gross Heights and $p$-adic Néron Functions on Jacobians of Genus $2$ Curves

Authors: Francesca Bianchi, Enis Kaya, J. Steffen Müller

Abstract: We develop a theory of $p$-adic Néron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$-adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$-adic Néron functions if the same auxiliary choices are made. We also decompose the $p$-adic height constructed by Coleman and Gross, and extended to arbitrary reduction by C… ▽ More We develop a theory of $p$-adic Néron functions on abelian varieties, depending on various auxiliary choices, and show that the global $p$-adic height functions constructed by Mazur and Tate can be decomposed into a sum of $p$-adic Néron functions if the same auxiliary choices are made. We also decompose the $p$-adic height constructed by Coleman and Gross, and extended to arbitrary reduction by Colmez and Besser, into a sum of local height functions for Jacobians of odd degree genus $2$ curves. We show that this local height function is equal to the $p$-adic Néron function with the same auxiliary choices, regardless of the reduction type of the curve. This extends work of Balakrishnan and Besser for elliptic curves. When the curve has semistable reduction and the reduction of the Jacobian is ordinary, we also describe the $p$-adic Néron function that arises from the canonical Mazur-Tate splitting explicitly in terms of a generalisation of the $p$-adic sigma function constructed by Blakestad. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 38 pages

MSC Class: Primary: 11G50; 14G40. Secondary: 14H42; 14K25; 11S40; 11S80

Likelihood-based surrogate dimension reduction

Authors: Linh H. Nghiem, Francis K. C. Hui, Samuel Mueller, A. H. Welsh

Abstract: We consider the problem of surrogate sufficient dimension reduction, that is, estimating the central subspace of a regression model, when the covariates are contaminated by measurement error. When no measurement error is present, a likelihood-based dimension reduction method that relies on maximizing the likelihood of a Gaussian inverse regression model on the Grassmann manifold is well-known to h… ▽ More We consider the problem of surrogate sufficient dimension reduction, that is, estimating the central subspace of a regression model, when the covariates are contaminated by measurement error. When no measurement error is present, a likelihood-based dimension reduction method that relies on maximizing the likelihood of a Gaussian inverse regression model on the Grassmann manifold is well-known to have superior performance to traditional inverse moment methods. We propose two likelihood-based estimators for the central subspace in measurement error settings, which make different adjustments to the observed surrogates. Both estimators are computed based on maximizing objective functions on the Grassmann manifold and are shown to consistently recover the true central subspace. When the central subspace is assumed to depend on only a few covariates, we further propose to augment the likelihood function with a penalty term that induces sparsity on the Grassmann manifold to obtain sparse estimators. The resulting objective function has a closed-form Riemann gradient which facilitates efficient computation of the penalized estimator. We leverage the state-of-the-art trust region algorithm on the Grassmann manifold to compute the proposed estimators efficiently. Simulation studies and a data application demonstrate the proposed likelihood-based estimators perform better than inverse moment-based estimators in terms of both estimation and variable selection accuracy. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Shocking Sgr B2(N1) with its own outflow: A new perspective on segregation between O- and N-bearing molecules

Authors: Laura A. Busch, Arnaud Belloche, Robin T. Garrod, Holger S. P. Müller, Karl M. Menten

Abstract: We want to investigate the influence of the powerful outflow driven by the hot core Sgr B2(N1) on the gas molecular inventory of the surrounding medium. We used the data taken as part of the 3 mm imaging spectral-line survey ReMoCA (Re-exploring Molecular Complexity with ALMA). Integrated intensity maps of SO and SiO emission reveal a bipolar structure with blue-shifted emission dominantly extendi… ▽ More We want to investigate the influence of the powerful outflow driven by the hot core Sgr B2(N1) on the gas molecular inventory of the surrounding medium. We used the data taken as part of the 3 mm imaging spectral-line survey ReMoCA (Re-exploring Molecular Complexity with ALMA). Integrated intensity maps of SO and SiO emission reveal a bipolar structure with blue-shifted emission dominantly extending to the SE from the centre of the hot core and red-shifted emission to the NW. This is also prominently observed in emission of other S-bearing molecules and species that only contain N as a heavy element, including COMs, but also CH3OH, CH3CHO, HNCO, and NH2CHO. For a selection of COMs and simpler species, spectra were modelled under the assumption of LTE and population diagrams were derived at two positions, one in each outflow lobe. From this analysis, we obtained rotational temperatures, which are in a range of ~100-200K, and column densities. Abundances were subsequently compared to predictions of astrochemical models and to observations of L1157-B1, a position located in the well-studied outflow of the low-mass protostar L1157, and the source G+0.693-0.027, located in the Sgr B2 molecular cloud complex. Given the short distance of the analysed outflow positions to the centre of Sgr B2(N1), we propose a scenario in which a phase of hot-core chemistry (i.e. thermal desorption of ice species and high-temperature gas-phase chemistry) preceded a shock wave. The subsequent compression and further heating of the material resulted in the accelerated destruction of (mainly O-bearing) molecules. Gas-phase formation of cyanides seems to be able to compete with their destruction in the post-shock gas. Abundances of HCnN (n=3,5) are enhanced in the outflow component pointing to (additional) gas-phase formation. To confirm such a scenario, appropriate chemical shock models need to be run. △ Less

Submitted 17 October, 2023; originally announced October 2023.

Comments: Accepted for publication in A&A

Journal ref: Astron. Astrophys. 681 (2024) A104

Finite groups of symplectic birational transformations of IHS manifolds of $OG10$ type

Authors: Lisa Marquand, Stevell Muller

Abstract: We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of OG10 type. In particular, if X is an IHS manifold of OG10 type and G a finite subgroup of symplectic birational transformations of X, then the action of G on H2(X, Z) is conjugate to a subgroup of one of 375 groups of isometries. We prove a criterion for… ▽ More We classify finite groups that act faithfully by symplectic birational transformations on an irreducible holomorphic symplectic (IHS) manifold of OG10 type. In particular, if X is an IHS manifold of OG10 type and G a finite subgroup of symplectic birational transformations of X, then the action of G on H2(X, Z) is conjugate to a subgroup of one of 375 groups of isometries. We prove a criterion for when such a group is determined by a group of automorphisms acting on a cubic fourfold, and apply it to our classification. Our proof is computer aided and our results are available in a Zenodo dataset. △ Less

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

Comments: Final version, accepted for publication in Forum Math., Sigma. Few improvements and typos corrected. 43 pages, 4 appendices, 3 tables + 2 tables in ancillary files. Tables 4 and 5 as well as computational data and some notebooks are included in a Zenodo database

MSC Class: 14J42; 14Q15; 14E07; 14J50; 11H56

A multi-institutional pediatric dataset of clinical radiology MRIs by the Children's Brain Tumor Network

Authors: Ariana M. Familiar, Anahita Fathi Kazerooni, Hannah Anderson, Aliaksandr Lubneuski, Karthik Viswanathan, Rocky Breslow, Nastaran Khalili, Sina Bagheri, Debanjan Haldar, Meen Chul Kim, Sherjeel Arif, Rachel Madhogarhia, Thinh Q. Nguyen, Elizabeth A. Frenkel, Zeinab Helili, Jessica Harrison, Keyvan Farahani, Marius George Linguraru, Ulas Bagci, Yury Velichko, Jeffrey Stevens, Sarah Leary, Robert M. Lober, Stephani Campion, Amy A. Smith , et al. (15 additional authors not shown)

Abstract: Pediatric brain and spinal cancers remain the leading cause of cancer-related death in children. Advancements in clinical decision-support in pediatric neuro-oncology utilizing the wealth of radiology imaging data collected through standard care, however, has significantly lagged other domains. Such data is ripe for use with predictive analytics such as artificial intelligence (AI) methods, which… ▽ More Pediatric brain and spinal cancers remain the leading cause of cancer-related death in children. Advancements in clinical decision-support in pediatric neuro-oncology utilizing the wealth of radiology imaging data collected through standard care, however, has significantly lagged other domains. Such data is ripe for use with predictive analytics such as artificial intelligence (AI) methods, which require large datasets. To address this unmet need, we provide a multi-institutional, large-scale pediatric dataset of 23,101 multi-parametric MRI exams acquired through routine care for 1,526 brain tumor patients, as part of the Children's Brain Tumor Network. This includes longitudinal MRIs across various cancer diagnoses, with associated patient-level clinical information, digital pathology slides, as well as tissue genotype and omics data. To facilitate downstream analysis, treatment-naïve images for 370 subjects were processed and released through the NCI Childhood Cancer Data Initiative via the Cancer Data Service. Through ongoing efforts to continuously build these imaging repositories, our aim is to accelerate discovery and translational AI models with real-world data, to ultimately empower precision medicine for children. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Millimetre and submillimetre spectroscopy of isobutene and its detection in the molecular cloud G+0.693

Authors: Mariyam Fatima, Holger S. P. Müller, Oliver Zingsheim, Frank Lewen, Víctor M. Rivilla, Izaskun Jiménez-Serra, Jesús Martín-Pintado, Stephan Schlemmer

Abstract: Isobutene ((CH$_3$)$_2$C=CH$_2$) is one of the four isomers of butene (C$_4$H$_8$). Given the detection of propene (CH$_3$CH=CH$_2$) toward TMC-1, and also in the warmer environment of the solar-type protostellar system IRAS 16293$-$2422, one of the next alkenes, isobutene, is a promising candidate to be searched for in space. We aim to extend the limited line lists of the main isotopologue of iso… ▽ More Isobutene ((CH$_3$)$_2$C=CH$_2$) is one of the four isomers of butene (C$_4$H$_8$). Given the detection of propene (CH$_3$CH=CH$_2$) toward TMC-1, and also in the warmer environment of the solar-type protostellar system IRAS 16293$-$2422, one of the next alkenes, isobutene, is a promising candidate to be searched for in space. We aim to extend the limited line lists of the main isotopologue of isobutene from the microwave to the millimetre region in order to obtain a highly precise set of rest frequencies and to facilitate its detection in the interstellar medium. We investigated the rotational spectrum of isobutene in the 35$-$370 GHz range using absorption spectroscopy at room temperature. Quantum-chemical calculations were carried out to evaluate vibrational frequencies. We determined new or improved spectroscopic parameters for isobutene up to a sixth-order distortion constant. These new results enabled its detection in the G+0.693 molecular cloud for the first time, where propene was also recently found. The propene to isobutene column density ratio was determined to be about 3:1. The observed spectroscopic parameters for isobutene are sufficiently accurate that calculated transition frequencies should be reliable up to 700 GHz. This will further help in observing this alkene in other, warmer regions of the ISM. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Comments: 11 pages including figures, tables, references, and appendix; Accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 680, A25 (2023)

PanopticNDT: Efficient and Robust Panoptic Mapping

Authors: Daniel Seichter, Benedict Stephan, Söhnke Benedikt Fischedick, Steffen Müller, Leonard Rabes, Horst-Michael Gross

Abstract: As the application scenarios of mobile robots are getting more complex and challenging, scene understanding becomes increasingly crucial. A mobile robot that is supposed to operate autonomously in indoor environments must have precise knowledge about what objects are present, where they are, what their spatial extent is, and how they can be reached; i.e., information about free space is also cruci… ▽ More As the application scenarios of mobile robots are getting more complex and challenging, scene understanding becomes increasingly crucial. A mobile robot that is supposed to operate autonomously in indoor environments must have precise knowledge about what objects are present, where they are, what their spatial extent is, and how they can be reached; i.e., information about free space is also crucial. Panoptic mapping is a powerful instrument providing such information. However, building 3D panoptic maps with high spatial resolution is challenging on mobile robots, given their limited computing capabilities. In this paper, we propose PanopticNDT - an efficient and robust panoptic mapping approach based on occupancy normal distribution transform (NDT) mapping. We evaluate our approach on the publicly available datasets Hypersim and ScanNetV2. The results reveal that our approach can represent panoptic information at a higher level of detail than other state-of-the-art approaches while enabling real-time panoptic mapping on mobile robots. Finally, we prove the real-world applicability of PanopticNDT with qualitative results in a domestic application. △ Less

Submitted 29 June, 2024; v1 submitted 24 September, 2023; originally announced September 2023.

Comments: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023. This version includes some minor fixes, see: https://github.com/TUI-NICR/panoptic-mapping#changelog

Rotational spectroscopy of the thioformaldehyde isotopologues H$_2$CS and H$_2$C$^{34}$S in four interacting excited vibrational states and an account on the rotational spectrum of thioketene, H$_2$CCS

Authors: Holger S. P. Müller, Atsuko Maeda, Frank Lewen, Stephan Schlemmer, Ivan R. Medvedev, Eric Herbst

Abstract: An investigation of the rotational spectrum of the interstellar molecule thioformaldehyde between 110 and 377 GHz through a pyrolysis reaction revealed a multitude of absorption lines assignable to H$_2$CS and H$_2$C$^{34}$S in their lowest four excited vibrational states besides lines of numerous thioformaldehyde isotopologues in their ground vibrational states reported earlier as well as lines p… ▽ More An investigation of the rotational spectrum of the interstellar molecule thioformaldehyde between 110 and 377 GHz through a pyrolysis reaction revealed a multitude of absorption lines assignable to H$_2$CS and H$_2$C$^{34}$S in their lowest four excited vibrational states besides lines of numerous thioformaldehyde isotopologues in their ground vibrational states reported earlier as well as lines pertaining to several by-products. Additional transitions of H$_2$CS in its lowest four excited vibrational states were recorded in selected regions between 571 and 1386 GHz. Slight to strong Coriolis interactions occur between all four vibrational states with the exception of the two highest lying states because both are totally symmetric vibrations. We present combined analyses of the ground and the four interacting states for our rotational data of H$_2$CS and H$_2$C$^{34}$S. The H$_2$CS data were supplemented with two sets of high-resultion IR data in two separate analyses. The $v_2 = 1$ state has been included in analyses of Coriolis interactions of low-lying fundamental states of H$_2$CS for the first time and this improved the quality of the fits substantially. We extended furthermore assignments in $J$ of transition frequencies of thioketene in its ground vibrational state. △ Less

Submitted 23 September, 2023; v1 submitted 16 September, 2023; originally announced September 2023.

Comments: 23 pages including figures, tables, and references; Mol. Phys., accepted (for the Tim Lee memorial issue)

Journal ref: Mol. Phys. 122 (2024) e2262057

Style2Fab: Functionality-Aware Segmentation for Fabricating Personalized 3D Models with Generative AI

Authors: Faraz Faruqi, Ahmed Katary, Tarik Hasic, Amira Abdel-Rahman, Nayeemur Rahman, Leandra Tejedor, Mackenzie Leake, Megan Hofmann, Stefanie Mueller

Abstract: With recent advances in Generative AI, it is becoming easier to automatically manipulate 3D models. However, current methods tend to apply edits to models globally, which risks compromising the intended functionality of the 3D model when fabricated in the physical world. For example, modifying functional segments in 3D models, such as the base of a vase, could break the original functionality of t… ▽ More With recent advances in Generative AI, it is becoming easier to automatically manipulate 3D models. However, current methods tend to apply edits to models globally, which risks compromising the intended functionality of the 3D model when fabricated in the physical world. For example, modifying functional segments in 3D models, such as the base of a vase, could break the original functionality of the model, thus causing the vase to fall over. We introduce a method for automatically segmenting 3D models into functional and aesthetic elements. This method allows users to selectively modify aesthetic segments of 3D models, without affecting the functional segments. To develop this method we first create a taxonomy of functionality in 3D models by qualitatively analyzing 1000 models sourced from a popular 3D printing repository, Thingiverse. With this taxonomy, we develop a semi-automatic classification method to decompose 3D models into functional and aesthetic elements. We propose a system called Style2Fab that allows users to selectively stylize 3D models without compromising their functionality. We evaluate the effectiveness of our classification method compared to human-annotated data, and demonstrate the utility of Style2Fab with a user study to show that functionality-aware segmentation helps preserve model functionality. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Workshop on a future muon program at FNAL

Authors: S. Corrodi, Y. Oksuzian, A. Edmonds, J. Miller, H. N. Tran, R. Bonventre, D. N. Brown, F. Meot, V. Singh, Y. Kolomensky, S. Tripathy, L. Borrel, M. Bub, B. Echenard, D. G. Hitlin, H. Jafree, S. Middleton, R. Plestid, F. C. Porter, R. Y. Zhu, L. Bottura, E. Pinsard, A. M. Teixeira, C. Carelli, D. Ambrose , et al. (68 additional authors not shown)

Abstract: The Snowmass report on rare processes and precision measurements recommended Mu2e-II and a next generation muon facility at Fermilab (Advanced Muon Facility) as priorities for the frontier. The Workshop on a future muon program at FNAL was held in March 2023 to discuss design studies for Mu2e-II, organizing efforts for the next generation muon facility, and identify synergies with other efforts (e… ▽ More The Snowmass report on rare processes and precision measurements recommended Mu2e-II and a next generation muon facility at Fermilab (Advanced Muon Facility) as priorities for the frontier. The Workshop on a future muon program at FNAL was held in March 2023 to discuss design studies for Mu2e-II, organizing efforts for the next generation muon facility, and identify synergies with other efforts (e.g., muon collider). Topics included high-power targetry, status of R&D for Mu2e-II, development of compressor rings, FFA and concepts for muon experiments (conversion, decays, muonium and other opportunities) at AMF. This document summarizes the workshop discussions with a focus on future R&D tasks needed to realize these concepts. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Comments: 68 pages, 36 figures

Report number: FERMILAB-CONF-23-464-PPD, CALT-TH-2023-036

The P$^3$ Experiment: A Positron Source Demonstrator for Future Lepton Colliders

Authors: Nicolas Vallis, Paolo Craievich, Mattia Schär, Riccardo Zennaro, Bernard Auchmann, Hans-Heinrich Braun, Maria Ilaria Besana, Michal Duda, Reto Fortunati, Henrique Garcia Rodrigues, Dominique Hauenstein, Rasmus Ischebeck Rasmus, Pavle Juranić, Jaap Kosse, Fabio Marcellini, Thomas Uli Michlmayr, Stefan Müller, Marco Pedrozzi, Renzo Rotundo, Gian Luca Orlandi, Mike Seidel, Nick Parsifal Strohmaier, Mariia Zykova

Abstract: The PSI Positron Production (P$^3$ or P-cubed) experiment is a demonstrator for a e+ source and capture system with potential to improve the state-of-the-art e+ yield by an order of magnitude. The experiment is driven by the FCC-ee injector study and will be hosted in the SwissFEL facility at the Paul Scherrer Institute in Switzerland. This paper is an overview of the P$^3$ design at an advanced s… ▽ More The PSI Positron Production (P$^3$ or P-cubed) experiment is a demonstrator for a e+ source and capture system with potential to improve the state-of-the-art e+ yield by an order of magnitude. The experiment is driven by the FCC-ee injector study and will be hosted in the SwissFEL facility at the Paul Scherrer Institute in Switzerland. This paper is an overview of the P$^3$ design at an advanced stage, with a particular emphasis on a novel e+ capture system and its associated beam dynamics. Additionally, a concept for the experiment diagnostics is presented, as well as the key points of the ongoing installation works. △ Less

Submitted 1 September, 2023; v1 submitted 31 August, 2023; originally announced August 2023.

The MeerKAT Absorption Line Survey (MALS) data release I: Stokes I image catalogs at 1-1.4 GHz

Authors: P. P. Deka, N. Gupta, P. Jagannathan, S. Sekhar, E. Momjian, S. Bhatnagar, J. Wagenveld, H. -R. Klöckner, J. Jose, S. A. Balashev, F. Combes, M. Hilton, D. Borgaonkar, A. Chatterjee, K. L. Emig, A. N. Gaunekar, G. I. G. Józsa, D. Y. Klutse, K. Knowles, J-. K. Krogager, A. Mohapatra, K. Moodley, Sébastien Muller, P. Noterdaeme, P. Petitjean , et al. (2 additional authors not shown)

Abstract: The MeerKAT Absorption Line Survey (MALS) has observed 391 telescope pointings at L-band (900 - 1670 MHz) at $δ\lesssim$ $+20°$. We present radio continuum images and a catalog of 495,325 (240,321) radio sources detected at a signal-to-noise ratio (SNR) $>$5 over an area of 2289 deg$^2$ (1132 deg$^2$) at 1006 MHz (1381 MHz). Every MALS pointing contains a central bright radio source (… ▽ More The MeerKAT Absorption Line Survey (MALS) has observed 391 telescope pointings at L-band (900 - 1670 MHz) at $δ\lesssim$ $+20°$. We present radio continuum images and a catalog of 495,325 (240,321) radio sources detected at a signal-to-noise ratio (SNR) $>$5 over an area of 2289 deg$^2$ (1132 deg$^2$) at 1006 MHz (1381 MHz). Every MALS pointing contains a central bright radio source ($S_{1\,\mathrm{GHz}} \gtrsim 0.2$ Jy). The median spatial resolution is $12^{\prime\prime}$ ($8^{\prime\prime}$). The median rms noise away from the pointing center is 25 $μ$Jy beam$^{-1}$ (22 $μ$Jy beam$^{-1}$) and is within $\sim$ 15% of the achievable theoretical sensitivity. The flux density scale ratio and astrometric accuracy deduced from multiply observed sources in MALS are less than 1% (8% scatter) and $1^{\prime\prime}$, respectively. Through comparisons with NVSS and FIRST at 1.4 GHz, we establish the catalog's accuracy in the flux density scale and astrometry to be better than 6% (15% scatter) and $0.8^{\prime\prime}$, respectively. The median flux density offset is higher (9%) for an alternate beam model based on holographic measurements. The MALS radio source counts at 1.4 GHz are in agreement with literature. We estimate spectral indices ($α$) of a subset of 125,621 sources (SNR$>$8), confirm the flattening of spectral indices with decreasing flux density and identify 140 ultra steep-spectrum ($α<-1.3$) sources as prospective high-$z$ radio galaxies ($z>2$). We have identified 1308 variable and 122 transient radio sources comprising primarily of AGN that demonstrate long-term (26 years) variability in their observed flux densities. The MALS catalogs and images are publicly available at https://mals.iucaa.in. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: 64 pages, 25 figures, accepted for publication in the ApJS (full version of the paper with complete tables is available at DR1 release notes)

SUNRISE: The rich molecular inventory of high-redshift dusty galaxies revealed by broadband spectral line surveys

Authors: Chentao Yang, Alain Omont, Sergio Martín, Thomas G. Bisbas, Pierre Cox, Alexandre Beelen, Eduardo González-Alfonso, Raphaël Gavazzi, Susanne Aalto, Paola Andreani, Cecilia Ceccarelli, Yu Gao, Mark Gorski, Michel Guélin, Hai Fu, R. J. Ivison, Kirsten K. Knudsen, Matthew Lehnert, Hugo Messias, Sebastien Muller, Roberto Neri, Dominik Riechers, Paul van der Werf, Zhi-Yu Zhang

Abstract: Understanding the nature of high-$z$ dusty galaxies requires a comprehensive view of their ISM and molecular complexity. However, the molecular ISM at high-$z$ is commonly studied using only a few species beyond CO, limiting our understanding. In this paper, we present the results of deep 3 mm spectral line surveys using the NOEMA targeting two lensed dusty galaxies: APM 08279+5255 (APM), a quasar… ▽ More Understanding the nature of high-$z$ dusty galaxies requires a comprehensive view of their ISM and molecular complexity. However, the molecular ISM at high-$z$ is commonly studied using only a few species beyond CO, limiting our understanding. In this paper, we present the results of deep 3 mm spectral line surveys using the NOEMA targeting two lensed dusty galaxies: APM 08279+5255 (APM), a quasar at redshift $z=3.911$, and NCv1.143 (NC), a $z=3.565$ starburst galaxy. The spectral line surveys cover rest-frame frequencies from about 330-550 GHz. We report the detection of 38 and 25 emission lines in APM and NC, respectively. The spectra reveal the chemical richness and the complexity of the physical properties of the ISM. By comparing the spectra of the two sources and combining the gas excitation analysis, we find that the physical properties and the chemical imprints of the ISM are different between them: the molecular gas is more excited in APM, exhibiting higher molecular-gas temperatures and densities compared to NC; the chemical abundances in APM are akin to the values of local AGN, showing boosted relative abundances of the dense gas tracers that might be related to high-temperature chemistry and/or XDRs, while NC more closely resembles local starburst galaxies. The most significant differences are found in H2O, where the 448GHz H2O line is significantly brighter in APM, likely linked to the intense far-infrared radiation from the dust powered by AGN. Our astrochemical model suggests that at such high column densities, FUV radiation is less important in regulating the ISM, while CRs (X-rays/shocks) are the key players in shaping the abundance of the molecules and the initial conditions of star formation. Such deep spectral line surveys open a new window to study the physical and chemical properties of the ISM and the radiation field of galaxies in the early Universe. (abridged) △ Less

Submitted 22 October, 2023; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: Accepted for publication in A&A. 39 pages (including 9 pages of Appendix). Updated after language editing

Journal ref: A&A 680, A95 (2023)

Fairness Notions in DAG-based DLTs

Authors: Mayank Raikwar, Nikita Polyanskii, Sebastian Müller

Abstract: This paper investigates the issue of fairness in Distributed Ledger Technology (DLT), specifically focusing on the shortcomings observed in current blockchain systems due to Miner Extractable Value (MEV) phenomena and systemic centralization. We explore the potential of Directed Acyclic Graphs (DAGs) as a solution to address or mitigate these fairness concerns. Our objective is to gain a comprehen… ▽ More This paper investigates the issue of fairness in Distributed Ledger Technology (DLT), specifically focusing on the shortcomings observed in current blockchain systems due to Miner Extractable Value (MEV) phenomena and systemic centralization. We explore the potential of Directed Acyclic Graphs (DAGs) as a solution to address or mitigate these fairness concerns. Our objective is to gain a comprehensive understanding of fairness in DAG-based DLTs by examining its different aspects and measurement metrics. We aim to establish a shared knowledge base that facilitates accurate fairness assessment and allows for an evaluation of whether DAG-based DLTs offer a more equitable design. We describe the various dimensions of fairness and conduct a comparative analysis to examine how they relate to different components of DLTs. This analysis serves as a catalyst for further research, encouraging the development of cryptographic systems that promote fairness. △ Less

Submitted 21 April, 2025; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: 8 Pages, Accepted in 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS 2023)

Confidence Interval and Uncertainty Propagation Analysis of SAFT-type Equations of State

Authors: Pierre J. Walker, Simon Mueller, Irina Smirnova

Abstract: Thermodynamic models and, in particular, SAFT-type equations are vital in characterizing complex systems. This paper presents a framework for sampling parameter distributions in PC-SAFT and SAFT-VR Mie equations of state to understand parameter confidence intervals and correlations. We identify conserved quantities contributing to significant correlations. Comparing the equations of state, we find… ▽ More Thermodynamic models and, in particular, SAFT-type equations are vital in characterizing complex systems. This paper presents a framework for sampling parameter distributions in PC-SAFT and SAFT-VR Mie equations of state to understand parameter confidence intervals and correlations. We identify conserved quantities contributing to significant correlations. Comparing the equations of state, we find that additional parameters introduced in the SAFT-VR Mie equation increase relative uncertainties (1\%-2\% to 3\%-4\%) and introduce more correlations. When incorporating association through additional parameters, relative uncertainties increase, but correlations slightly decrease. We investigate how uncertainties propagate to derived properties and observe small uncertainties for that data with which the parameters were regressed, especially for saturated-liquid volumes. However, extrapolating to saturated-vapour volumes yields larger uncertainties due to the larger isothermal compressibility. Near the critical point, uncertainties in saturated volumes diverge due to increased sensitivity of the isothermal compressibility to parameter uncertainties. This effect significantly impacts bulk properties, particularly isobaric heat capacity, where uncertainties near the critical point become extremely large, even when these uncertainties are small. We emphasize that even small uncertainties near the critical point lead to divergences in predicted properties. △ Less

Submitted 31 July, 2023; originally announced August 2023.

Computing p-adic heights on hyperelliptic curves

Authors: Stevan Gajović, J. Steffen Müller

Abstract: We describe an algorithm to compute the local Coleman-Gross p-adic height at p on a hyperelliptic curve. Previously, this was only possible using an algorithm due to Balakrishnan and Besser, which was limited to odd degree. While we follow their general strategy, our algorithm is significantly faster and simpler and works for both odd and even degree. We discuss a precision analysis and an impleme… ▽ More We describe an algorithm to compute the local Coleman-Gross p-adic height at p on a hyperelliptic curve. Previously, this was only possible using an algorithm due to Balakrishnan and Besser, which was limited to odd degree. While we follow their general strategy, our algorithm is significantly faster and simpler and works for both odd and even degree. We discuss a precision analysis and an implementation in SageMath. Our work has several applications, also discussed in this article. These include various versions of the quadratic Chabauty method, and numerical evidence for a p-adic version of the conjecture of Birch and Swinnerton-Dyer in cases where this was not previously possible. △ Less

Submitted 12 November, 2024; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: This is a new version; changes were made following the referees' comments, and the paper was restructured

Linear quadratic Chabauty

Authors: Stevan Gajović, J. Steffen Müller

Abstract: We present a new quadratic Chabauty method to compute the integral points on certain even degree hyperelliptic curves. Our approach relies on a nontrivial degree zero divisor supported at the two points at infinity to restrict the $p$-adic height to a linear function; we can then express this restriction in terms of holomorphic Coleman integrals under the standard quadratic Chabauty assumption. Th… ▽ More We present a new quadratic Chabauty method to compute the integral points on certain even degree hyperelliptic curves. Our approach relies on a nontrivial degree zero divisor supported at the two points at infinity to restrict the $p$-adic height to a linear function; we can then express this restriction in terms of holomorphic Coleman integrals under the standard quadratic Chabauty assumption. Then we use this linear relation to extract the integral points on the curve. We also generalize our method to integral points over number fields. Our method is significantly simpler and faster than all other existing versions of the quadratic Chabauty method. We give examples over $\Q$ and $\Q(\sqrt{7})$. △ Less

Submitted 2 August, 2023; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: 20 pages

Chang models over derived models with supercompact measures

Authors: Takehiko Gappo, Sandra Müller, Grigor Sargsyan

Abstract: Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $δ$ that is both a limit of Woodin cardinals and a limit of ${<}δ$-strong cardinals. The existence of such a hod mouse is consistent relative to a Woodin cardinal that is a limit of Woodin cardinals. We argue that our Chang-typ… ▽ More Based on earlier work of the third author, we construct a Chang-type model with supercompact measures extending a derived model of a given hod mouse with a regular cardinal $δ$ that is both a limit of Woodin cardinals and a limit of ${<}δ$-strong cardinals. The existence of such a hod mouse is consistent relative to a Woodin cardinal that is a limit of Woodin cardinals. We argue that our Chang-type model satisfies $\mathsf{AD}_{\mathbb{R}} + Θ$ is regular + $ω_1$ is ${<}δ_{\infty}$-supercompact for some regular cardinal $δ_{\infty}>Θ$. This complements Woodin's generalized Chang model, which satisfies $\mathsf{AD}_{\mathbb{R}}+ω_1$ is supercompact, assuming a proper class of Woodin cardinals that are limits of Woodin cardinals. △ Less

Submitted 13 February, 2025; v1 submitted 17 July, 2023; originally announced July 2023.

Comments: 22 pages

An extended low-density atmosphere around the Jupiter-sized planet WASP-193 b

Authors: Khalid Barkaoui, Francisco J. Pozuelos, Coel Hellier, Barry Smalley, Louise D. Nielsen, Prajwal Niraula, Michaël Gillon, Julien de Wit, Simon Müller, Caroline Dorn, Ravit Helled, Emmanuel Jehin, Brice-Olivier Demory, V. Van Grootel, Abderahmane Soubkiou, Mourad Ghachoui, David. R. Anderson, Zouhair Benkhaldoun, Francois Bouchy, Artem Burdanov, Laetitia Delrez, Elsa Ducrot, Lionel Garcia, Abdelhadi Jabiri, Monika Lendl , et al. (10 additional authors not shown)

Abstract: Gas giants transiting bright nearby stars provide crucial insights into planetary system formation and evolution mechanisms. Most of these planets exhibit certain average characteristics, serving as benchmarks for our understanding of planetary systems. However, outliers like the planet we present in this study, WASP-193b, offer unique opportunities to explore unconventional formation and evolutio… ▽ More Gas giants transiting bright nearby stars provide crucial insights into planetary system formation and evolution mechanisms. Most of these planets exhibit certain average characteristics, serving as benchmarks for our understanding of planetary systems. However, outliers like the planet we present in this study, WASP-193b, offer unique opportunities to explore unconventional formation and evolution processes. This planet completes an orbit around its Vmag=12.2 F9 main-sequence host star every 6.25 d. Our analyses found that WASP-193b has a mass of Mp=0.139+/-0.029 MJup and a radius of Rp=1.464+/-0.058 RJup, translating into an extremely low density of rho_p = 0.059+/-0.014 g/cm^3, at least one order of magnitude less than standard gas giants like Jupiter. Typical gas giants such as Jupiter have densities that range between 0.2 and 2 g/cm^3. The combination of its large transit depth (dF~1.4%), its extremely-low density, its high-equilibrium temperature (Teq = 1254+/-31 K), and the infrared brightness of its host star (magnitude Kmag=10.7) makes WASP-193b an exquisite target for characterization by transmission spectroscopy (transmission spectroscopy metric: TSM~600). One single JWST transit observation would yield detailed insights into its atmospheric properties and planetary mass, providing a unique window to explore the mechanisms behind its exceptionally low density and shed light on giant planets' diverse nature. △ Less

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

Comments: 10 figures and 35 pages

Investigation of the rotational spectrum of CD$_3$OD and an astronomical search toward IRAS 16293$-$2422

Authors: V. V. Ilyushin, H. S. P. Müller, J. K. Jørgensen, S. Bauerecker, C. Maul, R. Porohovoi, E. A. Alekseev, O. Dorovskaya, F. Lewen, S. Schlemmer, R. M. Lees

Abstract: Solar-type prestellar cores and protostars display large amounts of deuterated organic molecules. Recent findings on CHD$_2$OH and CD$_3$OH toward IRAS 16293-2422 suggest that even fully deuterated methanol, CD$_3$OD, may be detectable as well. However, searches for CD$_3$OD are hampered in particular by the lack of intensity information from a spectroscopic model. The objective of the present inv… ▽ More Solar-type prestellar cores and protostars display large amounts of deuterated organic molecules. Recent findings on CHD$_2$OH and CD$_3$OH toward IRAS 16293-2422 suggest that even fully deuterated methanol, CD$_3$OD, may be detectable as well. However, searches for CD$_3$OD are hampered in particular by the lack of intensity information from a spectroscopic model. The objective of the present investigation is to develop a spectroscopic model of CD$_3$OD in low-lying torsional states that is sufficiently accurate to facilitate searches for this isotopolog in space. We carried out a new measurement campaign for CD$_3$OD involving two spectroscopic laboratories that covers the 34 GHz-1.1 THz range. A torsion-rotation Hamiltonian model based on the rho-axis method was employed for our analysis. Our resulting model describes the ground and first excited torsional states of CD$_3$OD well up to quantum numbers $J \leq 51$ and $K_a \leq 23$. We derived a line list for radio-astronomical observations from this model that is accurate up to at least 1.1 THz and should be sufficient for all types of radio-astronomical searches for this methanol isotopolog. This line list was used to search for CD$_3$OD in data from the Protostellar Interferometric Line Survey of IRAS 16293$-$2422 obtained with the Atacama Large Millimeter/submillimeter Array. While we found several emission features that can be attributed largely to CD$_3$OD, their number is still not sufficiently high enough to establish a clear detection. Nevertheless, the estimate of 2$\times 10^{15}$ cm$^{-2}$ derived for the CD$_3$OD column density may be viewed as an upper limit that can be compared to column densities of CD$_3$OH, CH$_3$OD, and CH$_3$OH. The comparison indicates that the CD$_3$OD column density toward IRAS 16293-2422 is in line with the enhanced D/H ratios observed for multiply deuterated complex organic molecules. △ Less

Submitted 15 July, 2023; originally announced July 2023.

Comments: 10 pages total, including figures, tables, and references; abstract slightly shortened; Astron. Astrophys., accepted

Journal ref: A&A 677, A49 (2023)

5-12 pc resolution ALMA imaging of gas and dust in the obscured compact nucleus of IRAS 17578-0400

Authors: Chentao Yang, Susanne Aalto, Sabine König, Santiago Del Palacio, Mark Gorski, Sean Linden, Sebastien Muller, Kyoko Onishi, Mamiko Sato, Clare Wethers

Abstract: We here present 0.02-0.04'' resolution ALMA observation of the compact obscured nucleus (CON) of IRAS17578-0400. A dusty torus within the nucleus, approximately 4 pc in radius, has been uncovered, exhibiting a usually flat spectral index at ALMA band 3, likely due to the millimeter corona emission from the central supermassive black hole (SMBH). The dense gas disk, traced by $^{13}$CO(1-0), spans… ▽ More We here present 0.02-0.04'' resolution ALMA observation of the compact obscured nucleus (CON) of IRAS17578-0400. A dusty torus within the nucleus, approximately 4 pc in radius, has been uncovered, exhibiting a usually flat spectral index at ALMA band 3, likely due to the millimeter corona emission from the central supermassive black hole (SMBH). The dense gas disk, traced by $^{13}$CO(1-0), spans 7 pc in radius and suggests an outflow driven by a disk wind due to its asymmetrical structure along the minor axis. Collimated molecular outflows (CMO), traced by the low-velocity components of the HCN(3-2) and HCO$^+$(3-2) lines, align with the minor axis gas disk. Examination of position-velocity plots of HCN(3-2) and HCO$^+$(3-2) reveals a flared dense gas disk extended a radius of $\sim$ 60 pc, infalling and rotating at speeds of about 200 km/s and 300 km/s, respectively. A centrifugal barrier, located around 4 pc from the dynamical center, implies an SMBH mass of approximately 10$^8$ $M_\odot$, consistent with millimeter corona emission estimates. The CMO maintains a steady rotation speed of 200 km/s over the 100 pc scale along the minor axis. The projected speed of the CMO is about 80 km/s, corresponding to around $\sim$ 500 km/s, assuming an inclination angle of 80$^\circ$. Such a kinematics structure of disk-driven collimated rotating molecular outflow with gas supplies from a falling rotating disk indicates that the feedback of the compact obscured nucleus is likely regulated by the momentum transfer of the molecular gas that connects to both the feeding of the nuclear starburst and supermassive black hole. △ Less

Submitted 14 July, 2023; originally announced July 2023.

Comments: To be published on "Proceedings of the International Astronomical Union", IAU symposium #378: "Black hole winds at all scales"

TOI-4201: An Early M-dwarf Hosting a Massive Transiting Jupiter Stretching Theories of Core-Accretion

Authors: Megan Delamer, Shubham Kanodia, Caleb I. Cañas, Simon Müller, Ravit Helled, Andrea S. J. Lin, Jessica E. Libby-Roberts, Arvind F. Gupta, Suvrath Mahadevan, Johanna Teske, R. Paul Butler, Samuel W. Yee, Jeffrey D. Crane, Stephen Shectman, David Osip, Yuri Beletsky, Andrew Monson, Jaime A. Alvarado-Montes, Chad F. Bender, Jiayin Dong, Te Han, Joe P. Ninan, Paul Robertson, Arpita Roy, Christian Schwab , et al. (2 additional authors not shown)

Abstract: We confirm TOI-4201 b as a transiting Jovian mass planet orbiting an early M dwarf discovered by the Transiting Exoplanet Survey Satellite. Using ground based photometry and precise radial velocities from NEID and the Planet Finder Spectrograph, we measure a planet mass of 2.59$^{+0.07}_{-0.06}$ M$_{J}$, making this one of the most massive planets transiting an M-dwarf. The planet is $\sim$0.4\% t… ▽ More We confirm TOI-4201 b as a transiting Jovian mass planet orbiting an early M dwarf discovered by the Transiting Exoplanet Survey Satellite. Using ground based photometry and precise radial velocities from NEID and the Planet Finder Spectrograph, we measure a planet mass of 2.59$^{+0.07}_{-0.06}$ M$_{J}$, making this one of the most massive planets transiting an M-dwarf. The planet is $\sim$0.4\% the mass of its 0.63 M$_{\odot}$ host and may have a heavy element mass comparable to the total dust mass contained in a typical Class II disk. TOI-4201 b stretches our understanding of core-accretion during the protoplanetary phase, and the disk mass budget, necessitating giant planet formation to either take place much earlier in the disk lifetime, or perhaps through alternative mechanisms like gravitational instability. △ Less

Submitted 13 July, 2023; originally announced July 2023.

Comments: To be submitted to AAS journals on 14th July 2023

CR-Lasso: Robust cellwise regularized sparse regression

Authors: Peng Su, Garth Tarr, Samuel Muller, Suojin Wang

Abstract: Cellwise contamination remains a challenging problem for data scientists, particularly in research fields that require the selection of sparse features. Traditional robust methods may not be feasible nor efficient in dealing with such contaminated datasets. We propose CR-Lasso, a robust Lasso-type cellwise regularization procedure that performs feature selection in the presence of cellwise outlier… ▽ More Cellwise contamination remains a challenging problem for data scientists, particularly in research fields that require the selection of sparse features. Traditional robust methods may not be feasible nor efficient in dealing with such contaminated datasets. We propose CR-Lasso, a robust Lasso-type cellwise regularization procedure that performs feature selection in the presence of cellwise outliers by minimising a regression loss and cell deviation measure simultaneously. To evaluate the approach, we conduct empirical studies comparing its selection and prediction performance with several sparse regression methods. We show that CR-Lasso is competitive under the settings considered. We illustrate the effectiveness of the proposed method on real data through an analysis of a bone mineral density dataset. △ Less

Submitted 1 March, 2024; v1 submitted 11 July, 2023; originally announced July 2023.

Near-field coded-mask technique and its potential for proton therapy monitoring

Authors: Ronja Hetzel, Vitalii Urbanevych, Andreas Bolke, Jonas Kasper, Magdalena Kołodziej, Monika Kercz, Andrzej Magiera, Florian Mueller, Sara Müller, Magdalena Rafecas, Katarzyna Rusiecka, David Schug, Volkmar Schulz, Achim Stahl, Bjoern Weissler, Ming-Liang Wong, Aleksandra Wrońska

Abstract: Objective. Prompt-gamma imaging encompasses several approaches for online monitoring of beam range or deposited dose distribution in proton therapy. We test one of the imaging techniques - a coded mask approach - both experimentally and via simulations. Approach. Two imaging setups have been investigated experimentally. Each of them comprised a structured tungsten collimator in a form of a MURA ma… ▽ More Objective. Prompt-gamma imaging encompasses several approaches for online monitoring of beam range or deposited dose distribution in proton therapy. We test one of the imaging techniques - a coded mask approach - both experimentally and via simulations. Approach. Two imaging setups have been investigated experimentally. Each of them comprised a structured tungsten collimator in a form of a MURA mask and a LYSO:Ce scintillation detector of fine granularity. The setups differed in the detector dimensions and the operation mode (1D or 2D imaging). A series of measurements with radioactive sources have been conducted, testing the setups' performance of near-field gamma imaging. Additionally, Monte Carlo simulations of a larger setup of the same type were conducted, investigating its performance with a realistic gamma source distribution occurring during proton therapy. Main results. The images of point-like sources reconstructed from two smallscale prototypes' data using the MLEM algorithm constitute the experimental proof of principle for the near-field coded-mask imaging modality, both in the 1D and the 2D mode. Their precision allowed us to calibrate out certain systematic offsets appearing due to the misalignment of setup elements. The simulation of the full-scale setup yielded a mean distal falloff retrieval precision of 0.72 mm in the studies for beam energy range 89.5-107.9 MeV and with 1x10^8 protons (typical number for single distal spots). The implemented algorithm of image reconstruction is relatively fast - a typical procedure needs several seconds. Significance. Coded-mask imaging appears a valid option for proton therapy monitoring. The results of simulations let us conclude that the proposed fullscale setup is competitive to the knife-edge-shaped and the multiparalell slit cameras investigated by other groups. △ Less

Submitted 22 June, 2023; originally announced July 2023.

An Empirical Evaluation of the Rashomon Effect in Explainable Machine Learning

Authors: Sebastian Müller, Vanessa Toborek, Katharina Beckh, Matthias Jakobs, Christian Bauckhage, Pascal Welke

Abstract: The Rashomon Effect describes the following phenomenon: for a given dataset there may exist many models with equally good performance but with different solution strategies. The Rashomon Effect has implications for Explainable Machine Learning, especially for the comparability of explanations. We provide a unified view on three different comparison scenarios and conduct a quantitative evaluation a… ▽ More The Rashomon Effect describes the following phenomenon: for a given dataset there may exist many models with equally good performance but with different solution strategies. The Rashomon Effect has implications for Explainable Machine Learning, especially for the comparability of explanations. We provide a unified view on three different comparison scenarios and conduct a quantitative evaluation across different datasets, models, attribution methods, and metrics. We find that hyperparameter-tuning plays a role and that metric selection matters. Our results provide empirical support for previously anecdotal evidence and exhibit challenges for both scientists and practitioners. △ Less

Submitted 29 June, 2023; v1 submitted 27 June, 2023; originally announced June 2023.

Parametrized systems of generalized polynomial inequalitites via linear algebra and convex geometry

Authors: Stefan Müller, Georg Regensburger

Abstract: We provide fundamental results on positive solutions to parametrized systems of generalized polynomial $\textit{inequalities}$ (with real exponents and positive parameters), including generalized polynomial $\textit{equations}$. In doing so, we also offer a new perspective on fewnomials and (generalized) mass-action systems. We find that geometric objects, rather than matrices, determine general… ▽ More We provide fundamental results on positive solutions to parametrized systems of generalized polynomial $\textit{inequalities}$ (with real exponents and positive parameters), including generalized polynomial $\textit{equations}$. In doing so, we also offer a new perspective on fewnomials and (generalized) mass-action systems. We find that geometric objects, rather than matrices, determine generalized polynomial systems: a bounded set/"polytope" $P$ (arising from the coefficient matrix) and two subspaces representing monomial differences and dependencies (arising from the exponent matrix). The dimension of the latter subspace, the monomial dependency $d$, is crucial. As our main result, we rewrite $\textit{polynomial inequalities}$ in terms of $d$ $\textit{binomial equations}$ on $P$, involving $d$ monomials in the parameters. In particular, we establish an explicit bijection between the original solution set and the solution set on $P$ via exponentiation. (i) Our results apply to any generalized polynomial system. (ii) The dependency $d$ and the dimension of $P$ indicate the complexity of a system. (iii) Our results are based on methods from linear algebra and convex/polyhedral geometry, and the solution set on $P$ can be further studied using methods from analysis such as sign-characteristic functions (introduced in this work). We illustrate our results (in particular, the relevant geometric objects) through three examples from real fewnomial and reaction network theory. For two mass-action systems, we parametrize the set of equilibria and the region for multistationarity, respectively, and even for univariate trinomials, we offer new insights: We provide a "solution formula" involving discriminants and "roots". △ Less

Submitted 4 October, 2024; v1 submitted 24 June, 2023; originally announced June 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2304.05273. author note: this manuscript and arXiv:2304.05273 are parallel works; there is no overlap regarding examples. there is overlap in the outline of the underlying theory for a self-contained presentation

Collective States in Molecular Monolayers on 2D Materials

Authors: Sabrina Juergensen, Moritz Kessens, Charlotte Berrezueta-Palacios, Nikolai Severin, Sumaya Ifland, Jürgen P. Rabe, Niclas S. Mueller, Stephanie Reich

Abstract: Collective excited states form in organic two-dimensional layers through the Coulomb coupling of the molecular transition dipole moments. They manifest as characteristic strong and narrow peaks in the excitation and emission spectra that are shifted to lower energies compared to the monomer transition. We study experimentally and theoretically how robust the collective states are against homogeneo… ▽ More Collective excited states form in organic two-dimensional layers through the Coulomb coupling of the molecular transition dipole moments. They manifest as characteristic strong and narrow peaks in the excitation and emission spectra that are shifted to lower energies compared to the monomer transition. We study experimentally and theoretically how robust the collective states are against homogeneous and inhomogeneous broadening as well as spatial disorder that occur in real molecular monolayers. Using a microscopic model for a two-dimensional dipole lattice in real space we calculate the properties of collective states and their extinction spectra. We find that the collective states persist even for 1-10% random variation in the molecular position and in the transition frequency, with similar peak position and integrated intensity as for the perfectly ordered system. We measure the optical response of a monolayer of the perylene-derivative MePTCDI on two-dimensional materials. On the wide band-gap insulator hexagonal boron nitride it shows strong emission from the collective state with a line width that is dominated by the inhomogeneous broadening of the molecular state. When using the semimetal graphene as a substrate, however, the luminescence is completely quenched. By combining optical absorption, luminescence, and multi-wavelength Raman scattering we verify that the MePTCDI molecules form very similar collective monolayer states on hexagonal boron nitride and graphene substrates, but on graphene the line width is dominated by non-radiative excitation transfer from the molecules to the substrate. Our study highlights the transition from the localized molecular state of the monomer to a delocalized collective state in the two-dimensional molecular lattice that is entirely based on Coulomb coupling between optically active excitations of the electrons or molecular vibrations. △ Less

Submitted 14 August, 2023; v1 submitted 18 June, 2023; originally announced June 2023.

PFNs4BO: In-Context Learning for Bayesian Optimization

Authors: Samuel Müller, Matthias Feurer, Noah Hollmann, Frank Hutter

Abstract: In this paper, we use Prior-data Fitted Networks (PFNs) as a flexible surrogate for Bayesian Optimization (BO). PFNs are neural processes that are trained to approximate the posterior predictive distribution (PPD) through in-context learning on any prior distribution that can be efficiently sampled from. We describe how this flexibility can be exploited for surrogate modeling in BO. We use PFNs to… ▽ More In this paper, we use Prior-data Fitted Networks (PFNs) as a flexible surrogate for Bayesian Optimization (BO). PFNs are neural processes that are trained to approximate the posterior predictive distribution (PPD) through in-context learning on any prior distribution that can be efficiently sampled from. We describe how this flexibility can be exploited for surrogate modeling in BO. We use PFNs to mimic a naive Gaussian process (GP), an advanced GP, and a Bayesian Neural Network (BNN). In addition, we show how to incorporate further information into the prior, such as allowing hints about the position of optima (user priors), ignoring irrelevant dimensions, and performing non-myopic BO by learning the acquisition function. The flexibility underlying these extensions opens up vast possibilities for using PFNs for BO. We demonstrate the usefulness of PFNs for BO in a large-scale evaluation on artificial GP samples and three different hyperparameter optimization testbeds: HPO-B, Bayesmark, and PD1. We publish code alongside trained models at github.com/automl/PFNs4BO. △ Less

Submitted 22 July, 2023; v1 submitted 27 May, 2023; originally announced May 2023.

Comments: In: Proceedings of the 40th International Conference on Machine Learning (ICML'23), PMLR 202:25444-25470, 2023

Rotation-tunneling spectrum and astrochemical modeling of dimethylamine, CH$_3$NHCH$_3$, and searches for it in space

Authors: H. S. P. Müller, R. T. Garrod, A. Belloche, V. M. Rivilla, K. M. Menten, I. Jiménez-Serra, J. Martín-Pintado, F. Lewen, S. Schlemmer

Abstract: Methylamine has been the only simple alkylamine detected in the interstellar medium for a long time. With the recent secure and tentative detections of vinylamine and ethylamine, respectively, dimethylamine has become a promising target for searches in space. Its rotational spectrum, however, has been known only up to 45 GHz until now. Here we investigate the rotation-tunneling spectrum of dimethy… ▽ More Methylamine has been the only simple alkylamine detected in the interstellar medium for a long time. With the recent secure and tentative detections of vinylamine and ethylamine, respectively, dimethylamine has become a promising target for searches in space. Its rotational spectrum, however, has been known only up to 45 GHz until now. Here we investigate the rotation-tunneling spectrum of dimethylamine in selected regions between 76 and 1091 GHz using three different spectrometers in order to facilitate its detection in space. The quantum number range is extended to $J = 61$ and $K_a = 21$, yielding an extensive set of accurate spectroscopic parameters. To search for dimethylamine, we refer to the spectral line survey ReMoCA carried out with the Atacama Large Millimeter/submillimeter Array toward the high-mass star-forming region Sagittarius B2(N) and a spectral line survey of the molecular cloud G+0.693$-$0.027 employing the IRAM 30 m and Yebes 40 m radio telescopes. We report nondetections of dimethylamine toward the hot molecular cores Sgr B2(N1S) and Sgr B2(N2b) as well as G+0.693$-$0.027 which imply that dimethylamine is at least 14, 4.5 and 39 times less abundant than methylamine toward these sources, respectively. The observational results are compared to computational results from a gas-grain astrochemical model. The modeled methylamine to dimethylamine ratios are compatible with the observational lower limits. However, the model produces too much ethylamine compared with methylamine which could mean that the already fairly low levels of dimethylamine in the models may also be too high. △ Less

Submitted 31 May, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: Mon. Not. R. Astron. Soc., accepted. 33 pages including tables, figures, and appendix

Journal ref: Mon. Not. R. Astron. Soc., 523, 2887-2917 (2023)

Mechanical complexity of living cells can be mapped onto simple homogeneous equivalents

Authors: Sebastian Wohlrab, Sebastian J. Müller, Stephan Gekle

Abstract: Biological cells are built up from many different constituents of varying size and stiffness which all contribute to the cell's mechanical properties. Despite this heterogeneity, in the analysis of experimental measurements such as atomic force microscopy or microfluidic characterisation a strongly simplified homogeneous cell is typically assumed and a single elastic modulus is assigned to the ent… ▽ More Biological cells are built up from many different constituents of varying size and stiffness which all contribute to the cell's mechanical properties. Despite this heterogeneity, in the analysis of experimental measurements such as atomic force microscopy or microfluidic characterisation a strongly simplified homogeneous cell is typically assumed and a single elastic modulus is assigned to the entire cell. This ad-hoc simplification has so far mostly been used without proper justification. Here, we use computer simulations to show that indeed a heterogeneous cell can effectively be replaced by a homogeneous equivalent cell with a volume averaged elastic modulus. To study the validity of this approach, we investigate a hyperelastic cell with a heterogeneous interior under compression as well as in shear and channel flow, mimicking atomic force and microfluidic measurements, respectively. We find that the homogeneous equivalent cell reproduces quantitatively the behavior of its inhomogeneous counterpart, and that this equality is largely independent of the stiffness or spatial distribution of the heterogeneity. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Large Language Models for Automated Data Science: Introducing CAAFE for Context-Aware Automated Feature Engineering

Authors: Noah Hollmann, Samuel Müller, Frank Hutter

Abstract: As the field of automated machine learning (AutoML) advances, it becomes increasingly important to incorporate domain knowledge into these systems. We present an approach for doing so by harnessing the power of large language models (LLMs). Specifically, we introduce Context-Aware Automated Feature Engineering (CAAFE), a feature engineering method for tabular datasets that utilizes an LLM to itera… ▽ More As the field of automated machine learning (AutoML) advances, it becomes increasingly important to incorporate domain knowledge into these systems. We present an approach for doing so by harnessing the power of large language models (LLMs). Specifically, we introduce Context-Aware Automated Feature Engineering (CAAFE), a feature engineering method for tabular datasets that utilizes an LLM to iteratively generate additional semantically meaningful features for tabular datasets based on the description of the dataset. The method produces both Python code for creating new features and explanations for the utility of the generated features. Despite being methodologically simple, CAAFE improves performance on 11 out of 14 datasets -- boosting mean ROC AUC performance from 0.798 to 0.822 across all dataset - similar to the improvement achieved by using a random forest instead of logistic regression on our datasets. Furthermore, CAAFE is interpretable by providing a textual explanation for each generated feature. CAAFE paves the way for more extensive semi-automation in data science tasks and emphasizes the significance of context-aware solutions that can extend the scope of AutoML systems to semantic AutoML. We release our $\href{https://github.com/automl/CAAFE}{code}$, a simple $\href{https://colab.research.google.com/drive/1mCA8xOAJZ4MaB_alZvyARTMjhl6RZf0a}{demo}$ and a $\href{https://pypi.org/project/caafe/}{python\ package}$. △ Less

Submitted 28 September, 2023; v1 submitted 5 May, 2023; originally announced May 2023.

ATOMIUM: Probing the inner wind of evolved O-rich stars with new, highly excited H$_2$O and OH lines

Authors: A. Baudry, K. T. Wong, S. Etoka, A. M. S. Richards, H. S. P. Muller, F. Herpin, T. Danilovich, M. D. Gray, S. Wallstrom, D. Gobrecht, T. Khouri, L. Decin, C. A. Gottlieb, K. M. Menten, W. Homan, T. J. Millar, M. Montarges, B. Pimpanuwat, J. M. C. Plane, P. Kervella

Abstract: Water and the hydroxyl radical are major constituents of the envelope of O-rich late-type stars. Transitions involving energy levels that are highly excited have been observed in both H$_2$O and OH. These and more recently discovered transitions can now be observed at a high sensitivity and angular resolution with the ALMA Array. Spectra and maps of H$_2$O and OH observed with an angular resolutio… ▽ More Water and the hydroxyl radical are major constituents of the envelope of O-rich late-type stars. Transitions involving energy levels that are highly excited have been observed in both H$_2$O and OH. These and more recently discovered transitions can now be observed at a high sensitivity and angular resolution with the ALMA Array. Spectra and maps of H$_2$O and OH observed with an angular resolution of 20 to $\sim$200 mas were obtained at two epochs with the ALMA array. Observations with the Compact Array were also used to check for time variability of water transitions. Radiative transfer models of water were revisited to characterize masing conditions and up-to-date chemical models were used for comparison with our observations. Ten rotational transitions of H$_2$O with energies up to 9000 K were observed in various vibrational states. All but one are new detections in space, and from these we have derived accurate rest frequencies. Hyperfine split $Λ$-doubling transitions in v = 0, J = 27/2 and 29/2 levels of the $^2Π_{3/2}$ state and, $J = 33/2$ and 35/2 of the $^2Π_{1/2}$ state of OH with excitation energies up to 8900 K were also observed. Four of these transitions are new detections in space. Combining our measurements with earlier observations of OH, the v = 0 and v = 1 $Λ$-doubling frequencies have been improved. Our H$_2$O maps show compact emission and extensions up to twelve stellar radii or more. The 268.149 GHz emission line of water in the v$_2$ = 2 state is time variable, tends to be masing with dominant radiative pumping, and is widely excited. The widespread but weaker 262.898 GHz water line in v$_2$ = 1 also shows signs of maser emission. Emission and absorption of both H$_2$O and OH reveal an infall of matter and complex kinematics influenced by binarity. From our observed column densities, we derived OH/H$_2$O abundance ratios in a few stars. △ Less

Submitted 4 May, 2023; originally announced May 2023.

Comments: 41 pages with references and 25 figures in main text. 4 Tables in Appendix A. 10 figures in Appendix B. 2 figures in Appendix C. 14 figures in Appendix D. 5 figures in Appendix E. 2 figures in Appendix F

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

TangleSim: An Agent-based, Modular Simulator for DAG-based Distributed Ledger Technologies

Authors: Bing-Yang Lin, Daria Dziubałtowska, Piotr Macek, Andreas Penzkofer, Sebastian Müller

Abstract: DAG-based DLTs allow for parallel, asynchronous writing access to a ledger. Consequently, the perception of the most recent blocks may differ considerably between nodes, and the underlying network properties of the P2P layer have a direct impact on the performance of the protocol. Moreover, the stronger inter-dependencies of several core components demand a more complex and complete approach to st… ▽ More DAG-based DLTs allow for parallel, asynchronous writing access to a ledger. Consequently, the perception of the most recent blocks may differ considerably between nodes, and the underlying network properties of the P2P layer have a direct impact on the performance of the protocol. Moreover, the stronger inter-dependencies of several core components demand a more complex and complete approach to studying such DLTs. This paper presents an agent-based, open-sourced simulator for large-scale networks that implement the leaderless Tangle 2.0 consensus protocol. Its scope includes modelling the underlying peer-to-peer communication with network topology, package loss, heterogeneous latency, the gossip protocol with reliable broadcast qualities, the underlying DAG-based data structure, and the consensus protocol. The simulator allows us to explore the performance of the protocol in different network environments, as well as different attack scenarios. △ Less

Submitted 2 May, 2023; originally announced May 2023.

Comments: IEEE ICBC 2023, short paper

Mitigation of liveness attacks in DAG-based ledgers

Authors: Darcy Camargo, Andreas Penzkofer, Sebastian Müller, William Sanders

Abstract: The robust construction of the ledger data structure is an essential ingredient for the safe operation of a distributed ledger. While in traditional linear blockchain systems, permission to append to the structure is leader-based, in Directed Acyclic Graph-based ledgers, the writing access can be organised leaderless. However, this leaderless approach relies on fair treatment of non-referenced blo… ▽ More The robust construction of the ledger data structure is an essential ingredient for the safe operation of a distributed ledger. While in traditional linear blockchain systems, permission to append to the structure is leader-based, in Directed Acyclic Graph-based ledgers, the writing access can be organised leaderless. However, this leaderless approach relies on fair treatment of non-referenced blocks, i.e. tips, by honest block issuers. We study the impact of a deviation from the standard tip selection by a subset of block issuers with the aim of halting the confirmation of honest blocks entirely. We provide models on this so-called orphanage of blocks and validate these through open-sourced simulation studies. A critical threshold for the adversary issuance rate is shown to exist, above which the tip pool becomes unstable, while for values below the orphanage decrease exponentially. We study the robustness of the protocol with an expiration time on tips, also called garbage collection, and modification of the parent references per block. △ Less

Submitted 2 May, 2023; originally announced May 2023.

Comments: IEEE ICBC 2023

More than technical support: the professional contexts of physics instructional labs

Authors: LM Dana, Benjamin Pollard, Sara Mueller

Abstract: Most, if not all, physics undergraduate degree programs include instructional lab experiences. Physics lab instructors, both faculty and staff, are instrumental to student learning in instructional physics labs. However, the faculty-staff dichotomy belies the complex, varied, and multifaceted landscape of positions that lab instructors hold in the fabrics of physics departments. Here we present th… ▽ More Most, if not all, physics undergraduate degree programs include instructional lab experiences. Physics lab instructors, both faculty and staff, are instrumental to student learning in instructional physics labs. However, the faculty-staff dichotomy belies the complex, varied, and multifaceted landscape of positions that lab instructors hold in the fabrics of physics departments. Here we present the results of a mixed methods study of the people who teach instructional labs and their professional contexts. Recruiting physics lab instructors across the US, we collected 84 survey responses and conducted 12 in-depth interviews about their job characteristics, professional identities, resources, and experiences. Our investigation reveals that lab instructors vary in terms of their official titles, job descriptions, formal duties, personal agency, and access to resources. We also identified common themes around the value of instructional labs, mismatched job descriptions, and a broad set of necessary skills and expertise. Our results suggest that instructors often occupy overlapping roles that fall in between more canonical jobs in physics departments. By understanding the professional contexts of physics lab instructors, the rest of the physics community can better promote and engage with their critical work, improving laboratory learning both for students and for the lab instructors who teach and support them. △ Less

Submitted 1 May, 2023; originally announced May 2023.

A central scheme for coupled hyperbolic systems

Authors: Michael Herty, Niklas Kolbe, Siegfried Müller

Abstract: A novel numerical scheme to solve coupled systems of conservation laws is introduced. The scheme is derived based on a relaxation approach and does not require information on the Lax curves of the coupled systems, which simplifies the computation of suitable coupling data. The coupling condition for the underlying relaxation system plays a crucial role as it determines the behavior of the scheme i… ▽ More A novel numerical scheme to solve coupled systems of conservation laws is introduced. The scheme is derived based on a relaxation approach and does not require information on the Lax curves of the coupled systems, which simplifies the computation of suitable coupling data. The coupling condition for the underlying relaxation system plays a crucial role as it determines the behavior of the scheme in the zero relaxation limit. The role of this condition is discussed, a consistency concept with respect to the original problem is introduced, well-posedness is analyzed and explicit, nodal Riemann solvers are provided. Based on a case study considering the p-system of gas dynamics a strategy for the design of the relaxation coupling condition within the new scheme is provided. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Comments: 26 pages, 6 figures, 2 tables

MSC Class: 35L65; 35R02; 65M08

Warm giant exoplanet characterisation: current state, challenges and outlook

Authors: Simon Müller, Ravit Helled

Abstract: The characterisation of giant exoplanets is crucial to constrain giant planet formation and evolution theory and for putting the solar-system's giant planets in perspective. Typically, mass-radius (M-R) measurements of moderately irradiated warm Jupiters are used to estimate the planetary bulk composition, which is an essential quantity for constraining giant planet formation, evolution and struct… ▽ More The characterisation of giant exoplanets is crucial to constrain giant planet formation and evolution theory and for putting the solar-system's giant planets in perspective. Typically, mass-radius (M-R) measurements of moderately irradiated warm Jupiters are used to estimate the planetary bulk composition, which is an essential quantity for constraining giant planet formation, evolution and structure models. The successful launch of the James Webb Space Telescope (JWST) and the upcoming ARIEL mission open a new era in giant exoplanet characterisation as atmospheric measurements provide key information on the composition and internal structure of giant exoplanets. In this review, we discuss how giant planet evolution models are used to infer the planetary bulk composition, and the connection between the compositions of the interior and atmosphere. We identify the important theoretical uncertainties in evolution models including the equations of state, atmospheric models, chemical composition, interior structure and main energy transport processes. Nevertheless, we show that that atmospheric measurements by JWST and ARIEL and the accurate determination of stellar ages by PLATO can significantly reduce the degeneracy in the inferred bulk composition. Furthermore, we discuss the importance of evolution models for the characterisation of direct-imaged planets. We conclude that giant planet theory has a critical role in the interpretation of observation and emphasise the importance of advancing giant planet theory. △ Less

Submitted 28 April, 2023; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: 15 pages, 2 figures, accepted for publication in Frontiers in Astronomy and Space Sciences; grammar corrected and additional references added

Rotational spectroscopy of oxirane-\textit{2,2}-$d_2$, $c$-CD$_2$CH$_2$O, and its tentative detection toward IRAS 16293$-$2422~B

Authors: Holger S. P. Müller, Jes K. Jørgensen, Jean-Claude Guillemin, Frank Lewen, Stephan Schlemmer

Abstract: We prepared a sample of oxirane doubly deuterated at one C atom and studied its rotational spectrum in the laboratory for the first time between 120~GHz and 1094~GHz. Accurate spectroscopic parameters up to eighth order were determined, and the calculated rest frequencies were used to identify $c$-CD$_2$CH$_2$O tentatively in the interstellar medium in the Atacama Large Millimeter/submillimeter Ar… ▽ More We prepared a sample of oxirane doubly deuterated at one C atom and studied its rotational spectrum in the laboratory for the first time between 120~GHz and 1094~GHz. Accurate spectroscopic parameters up to eighth order were determined, and the calculated rest frequencies were used to identify $c$-CD$_2$CH$_2$O tentatively in the interstellar medium in the Atacama Large Millimeter/submillimeter Array Protostellar Interferometric Line Survey (PILS) of the Class 0 protostellar system IRAS 16293$-$2422. The $c$-CD$_2$CH$_2$O to $c$-C$_2$H$_4$O ratio was estimated to be $\sim$0.054 with $T_{\rm rot} = 125$ K. This value translates to a D-to-H ratio of $\sim$0.16 per H atom which is higher by a factor of 4.5 than the $\sim$0.036 per H atom obtained for $c$-C$_2$H$_3$DO. Such increase in the degree of deuteration referenced to one H atom in multiply deuterated isotopologs compared to their singly deuterated variants have been observed commonly in recent years. △ Less

Submitted 24 April, 2023; originally announced April 2023.

Comments: Journal of Molecular Spectroscopy, in press; Per Jensen special issue. 12 pages here

Journal ref: J. Mol. Spectrosc. 394 (2023) 111777

Cosmo-tomography toward PKS1830-211: Variability of the quasar and of its foreground molecular absorption monitored with ALMA

Authors: S. Muller, I. Marti-Vidal, F. Combes, M. Gerin, A. Beelen, C. Horellou, M. Guelin, S. Aalto, J. H. Black, E. van Kampen

Abstract: Time variability of astronomical sources provides crude information on their typical size and on the implied physical mechanisms. PKS1830-211 is a remarkable radio-bright lensed quasar with a foreground molecular absorber at z=0.89. Small-scale morphological changes in the core-jet structure of the quasar -- which is magnified by the lensing -- result in a varying illumination of the absorber scre… ▽ More Time variability of astronomical sources provides crude information on their typical size and on the implied physical mechanisms. PKS1830-211 is a remarkable radio-bright lensed quasar with a foreground molecular absorber at z=0.89. Small-scale morphological changes in the core-jet structure of the quasar -- which is magnified by the lensing -- result in a varying illumination of the absorber screen, which in turn causes variations in the absorption profile. We aim to study the time variations of the system [...] in order to obtain constraints on both the quasar activity and small-scale structures in the ISM of the absorber. We used ALMA to monitor the submm continuum emission, together with the absorption spectra of the H2O and CH molecules, with 17 visits spread over six months in 2016. [...] From the continuum data, we followed the evolution of the flux density, flux-density ratio, spectral index, and differential polarization between the two lensed images of the quasar; all quantities show significant variations related to the intrinsic activity of the quasar. We propose a simple parametric model of a core plus a ballistic plasmon to account for the continuum evolution, from which we constrain a time delay of 25+/-3~days between lensed images. The spectral lines reveal significant variations in the foreground absorption. A PCA highlights apparent wavy time variations, possibly linked to the helical jet precession period of the quasar. From the deep averaged spectra towards the SW image, we detect the absorption of 13CH and estimate an abundance ratio of 12CH/13CH~150. We also measure the oxygen isotopic ratios, 16O/18O=65.3+/-0.7 and 18O/17O=11.5+/-0.5. Finally, we find a remarkable continuous shallow trough in the water absorption spanning a velocity interval of nearly 500 km/s. This broad absorption could be the signature of an extra-planar molecular component. [Abridged] △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: Accepted for publication in A&A

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

Towards a generic absoluteness theorem for Chang models

Authors: Sandra Müller, Grigor Sargsyan

Abstract: Let $Γ^\infty$ be the set of all universally Baire sets of reals. Inspired by recent work of the second author and Nam Trang, we introduce a new technique for establishing generic absoluteness results for models containing $Γ^\infty$. Our main technical tool is an iteration that realizes $Γ^\infty$ as the sets of reals in a derived model of some iterate of $V$. We show, from a supercompact cardi… ▽ More Let $Γ^\infty$ be the set of all universally Baire sets of reals. Inspired by recent work of the second author and Nam Trang, we introduce a new technique for establishing generic absoluteness results for models containing $Γ^\infty$. Our main technical tool is an iteration that realizes $Γ^\infty$ as the sets of reals in a derived model of some iterate of $V$. We show, from a supercompact cardinal $κ$ and a proper class of Woodin cardinals, that whenever $g \subseteq Col(ω, 2^{2^κ})$ is $V$-generic and $h$ is $V[g]$-generic for some poset $\mathbb{P}\in V[g]$, there is an elementary embedding $j: V\rightarrow M$ such that $j(κ)=ω_1^{V[g*h]}$ and $L(Γ^\infty, \mathbb{R})$ as computed in $V[g*h]$ is a derived model of $M$ at $j(κ)$. As a corollary we obtain that $\mathsf{Sealing}$ holds in $V[g]$, which was previously demonstrated by Woodin using the stationary tower forcing. Also, using a theorem of Woodin, we conclude that the derived model of $V$ at $κ$ satisfies $\mathsf{AD}_{\mathbb{R}}+``Θ$ is a regular cardinal". Inspired by core model induction, we introduce the definable powerset $\mathcal{A}^\infty$ of $Γ^\infty$ and use our derived model representation mentioned above to show that the theory of $L(\mathcal{A}^\infty)$ cannot be changed by forcing. Working in a different direction, we also show that the theory of $L(Γ^\infty, \mathbb{R})[\mathcal{C}]$, where $\mathcal{C}$ is the club filter on $\wp_{ω_1}(Γ^\infty)$, cannot be changed by forcing. Proving the two aforementioned results is the first step towards showing that the theory of $L(Ord^ω, Γ^\infty, \mathbb{R})([μ_α: α\in Ord])$, where $μ_α$ is the club filter on $\wp_{ω_1}(α)$, cannot be changed by forcing. △ Less

Submitted 15 April, 2025; v1 submitted 15 April, 2023; originally announced April 2023.

An attack resilient policy on the tip pool for DAG-based distributed ledgers

Authors: Lianna Zhao, Andrew Cullen, Sebastian Müller, Olivia Saa, Robert Shorten

Abstract: This paper discusses congestion control and inconsistency problems in DAG-based distributed ledgers and proposes an additional filter to mitigate these issues. Unlike traditional blockchains, DAG-based DLTs use a directed acyclic graph structure to organize transactions, allowing higher scalability and efficiency. However, this also introduces challenges in controlling the rate at which blocks are… ▽ More This paper discusses congestion control and inconsistency problems in DAG-based distributed ledgers and proposes an additional filter to mitigate these issues. Unlike traditional blockchains, DAG-based DLTs use a directed acyclic graph structure to organize transactions, allowing higher scalability and efficiency. However, this also introduces challenges in controlling the rate at which blocks are added to the network and preventing the influence of spam attacks. To address these challenges, we propose a filter to limit the tip pool size and to avoid referencing old blocks. Furthermore, we present experimental results to demonstrate the effectiveness of this filter in reducing the negative impacts of various attacks. Our approach offers a lightweight and efficient solution for managing the flow of blocks in DAG-based DLTs, which can enhance the consistency and reliability of these systems. Index △ Less

Submitted 10 May, 2023; v1 submitted 13 April, 2023; originally announced April 2023.

Parametrized systems of generalized polynomial equations: first applications to fewnomials

Authors: Stefan Müller, Georg Regensburger

Abstract: We consider positive solutions to parametrized systems of generalized polynomial equations (with real exponents and positive parameters). By a fundamental result obtained in parallel work, polynomial systems are determined by geometric objects, rather than matrices: a polytope $P$ (arising from the coefficient matrix) and two subspaces representing monomial differences and dependencies (arising fr… ▽ More We consider positive solutions to parametrized systems of generalized polynomial equations (with real exponents and positive parameters). By a fundamental result obtained in parallel work, polynomial systems are determined by geometric objects, rather than matrices: a polytope $P$ (arising from the coefficient matrix) and two subspaces representing monomial differences and dependencies (arising from the exponent matrix). The dimension of the latter subspace, the monomial dependency $d$, is crucial. Indeed, we rewrite $\textit{polynomial}$ equations in terms of $d$ $\textit{binomial}$ equations on the coefficient polytope $P$, involving $d$ monomials in the parameters. We further study the solution set on $P$ using methods from analysis such as sign-characteristic functions and Wronskians. In this work, we present first applications to fewnomial systems through five (classes of) examples. In particular, we study (i) $n$ trinomials involving ${n+2}$ monomials in $n$ variables, having dependency $d=1$, and (ii) one trinomial and one $t$-nomial (with $t\ge3$) in two variables, having $d=t-1\ge2$. For (i), we bound the number of positive solutions using the number of roots of a univariate polynomial of degree at most $n$. We also show that this number is always less than or equal to the number of sign changes in an optimal Descartes' rule given in Bihan et al. (2021). For (ii), we improve upper bounds given in Li et al. (2003) and Koiran et al. (2015). Further, for two trinomials ($t=3$), we refine the known upper bound of five in terms of the exponents, and we find an example with five positive solutions that is even simpler than the smallest "Haas system". △ Less

Submitted 4 October, 2024; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: author note: this manuscript and arXiv:2306.13916 are parallel works; there is overlap in the outline of the underlying theory, required for a self-contained presentation. more specifically, in this manuscript, we apply results from arXiv:2306.13916

MSC Class: 14P15; 52B99; 12D10

Responsive Parallelism with Synchronization

Authors: Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar

Abstract: Many concurrent programs assign priorities to threads to improve responsiveness. When used in conjunction with synchronization mechanisms such as mutexes and condition variables, however, priorities can lead to priority inversions, in which high-priority threads are delayed by low-priority ones. Priority inversions in the use of mutexes are easily handled using dynamic techniques such as priority… ▽ More Many concurrent programs assign priorities to threads to improve responsiveness. When used in conjunction with synchronization mechanisms such as mutexes and condition variables, however, priorities can lead to priority inversions, in which high-priority threads are delayed by low-priority ones. Priority inversions in the use of mutexes are easily handled using dynamic techniques such as priority inheritance, but priority inversions in the use of condition variables are not well-studied and dynamic techniques are not suitable. In this work, we use a combination of static and dynamic techniques to prevent priority inversion in code that uses mutexes and condition variables. A type system ensures that condition variables are used safely, even while dynamic techniques change thread priorities at runtime to eliminate priority inversions in the use of mutexes. We prove the soundness of our system, using a model of priority inversions based on cost models for parallel programs. To show that the type system is practical to implement, we encode it within the type systems of Rust and C++, and show that the restrictions are not overly burdensome by writing sizeable case studies using these encodings, including porting the Memcached object server to use our C++ implementation. △ Less

Submitted 7 April, 2023; originally announced April 2023.

Anti-Stokes Photoluminescence in Monolayer WSe$_2$ Activated by Plasmonic Cavities through Resonant Excitation of Dark Excitons

Authors: Niclas S. Mueller, Rakesh Arul, Ashley P. Saunders, Amalya C. Johnson, Ana Sánchez-Iglesias, Shu Hu, Lukas A. Jakob, Jonathan Bar-David, Bart de Nijs, Luis M. Liz-Marzán, Fang Liu, Jeremy J. Baumberg

Abstract: Anti-Stokes photoluminescence (PL) is light emission at a higher photon energy than the excitation, with applications in optical cooling, bioimaging, lasing, and quantum optics. Here, we show how plasmonic nano-cavities activate anti-Stokes PL in WSe$_2$ monolayers through resonant excitation of a dark exciton. The tightly confined plasmonic fields excite the out-of-plane transition dipole of the… ▽ More Anti-Stokes photoluminescence (PL) is light emission at a higher photon energy than the excitation, with applications in optical cooling, bioimaging, lasing, and quantum optics. Here, we show how plasmonic nano-cavities activate anti-Stokes PL in WSe$_2$ monolayers through resonant excitation of a dark exciton. The tightly confined plasmonic fields excite the out-of-plane transition dipole of the dark exciton, leading to light emission from the bright exciton at higher energy. Through statistical measurements on hundreds of plasmonic cavities, we show that coupling to the dark exciton is key to achieving a near hundred-fold enhancement of the upconverted PL intensity. This is further corroborated by experiments in which the laser excitation wavelength is tuned across the dark exciton. Finally, we show that an asymmetric nanoparticle shape and precise geometry are key for consistent activation of the dark exciton and efficient PL upconversion. Our work introduces a new excitation channel for anti-Stokes PL in WSe$_2$ and paves the way for large-area substrates providing optical cooling, anti-Stokes lasing, and radiative engineering of excitons. △ Less

Submitted 31 March, 2023; originally announced March 2023.

Impact of extended long-range electrostatics on the correlation of liquid-liquid equilibria in aqueous ionic liquid systems

Authors: Hugo Marques, Andrés González de Castilla, Simon Müller, Irina Smirnova

Abstract: Recently an improved long-range model for electrolyte solutions was developed that is applicable from infinite dilution to pure salt. This paper tests this claim for the first time applying it to the calculation of liquid-liquid equilibria for mixtures of different ionic liquids (ILs) and water. The conventional Pitzer-Debye-Hückel (PDH) equation is compared to two of its new, thermodynamically co… ▽ More Recently an improved long-range model for electrolyte solutions was developed that is applicable from infinite dilution to pure salt. This paper tests this claim for the first time applying it to the calculation of liquid-liquid equilibria for mixtures of different ionic liquids (ILs) and water. The conventional Pitzer-Debye-Hückel (PDH) equation is compared to two of its new, thermodynamically consistent extensions. Both development stages, the extended PDH term and the modified-extended PDH, account for concentration dependent mixture properties instead of using solvent properties. The latter one additionally introduces a modified parameter of closest approach which improves the overall performance of the model for high electrolyte concentrations in systems with variable or low permittivities. To account for the short-range interactions, these long-range models are coupled with the UNIversal QUAsi-Chemical (UNIQUAC) model. Three modeling strategies were tested for the short-range contribution. First, the UNIQUAC parameters were adjusted to each system individually, then the binary interaction parameters were the same for each binary interaction type for all the systems and lastly a linear function of the carbon number was used where possible. For all systems and all modeling strategies tested, the predictive performance increased from PDH to E-PDH and then to ME-PDH. Overall, an introduction of concentration dependent properties and the modification added to ME-PDH enhanced modeling performance when describing these systems, showing the general applicability of this novel long-range term. △ Less

Submitted 4 April, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

Journal ref: Fluid Phase Equilib. 569, 113765 (2023)