Search

This study investigates the impact of readiness programs on Early Admission (EA) students at a 2-year public college. EA programs allow high school seniors students to enroll full-time in college courses while earning both high school and college credits. However, these students often face challenges in academic success, social-emotional support, and connectivity. The purpose of this mixed-methods study was to examine how different types of readiness programs (full-semester, half-semester, or none) influence EA students' experiences in these areas. The research was guided by the central question: "What type of readiness program has the most impact on EA students?" Four sub-questions explored the differences in academic success, social-emotional support, and connectivity across the three readiness program conditions. The methodology used an explanatory sequential mixed-methods design, beginning with quantitative data collection through pre- and post-surveys, followed by qualitative data from open-ended questions to explain the results further. Thirty EA students from Olivia State College participated, with each assigned to one of three groups: full-semester program, half-semester program, or no program. The findings revealed that the full-semester readiness program had the most significant positive impact on students' academic performance, emotional well-being, and peer connectivity. The half-semester program showed moderate benefits, while students with no readiness program struggled the most across all measured outcomes. The study concluded that continuous and structured support over a full semester is essential for promoting EA students' success in both academic and social-emotional domains. These findings suggest that 2-year public colleges should prioritize implementing comprehensive readiness programs to enhance the academic and personal development of EA students. Future research should explore the long-term effects of such programs and their impact on diverse student populations.

This paper advances a theoretical argument about the role capital plays in structuring CHI research. We introduce the concept of technological capture to theorize the mechanism by which this happens. Using this concept, we decompose the effect on CHI into four broad forms: technological capture creates market-creating, market-expanding, market-aligned, and externality-reducing CHI research. We place different CHI subcommunities into these forms -- arguing that many of their values are inherited from capital underlying the field. Rather than a disciplinary- or conference-oriented conceptualization of the field, this work theorizes CHI as tightly-coupled with capital via technological capture. The paper concludes by discussing some implications for CHI.

From $>1000$ orbits of HST imaging, we present deep homogeneous resolved star color-magnitude diagrams that reach the oldest main sequence turnoff and uniformly measured star formation histories (SFHs) of 36 dwarf galaxies ($-6 \ge M_V \ge -17$) associated with the M31 halo, and for 10 additional fields in M31, M33, and the Giant Stellar Stream. From our SFHs we find: i) the median stellar age and quenching epoch of M31 satellites correlate with galaxy luminosity and galactocentric distance. Satellite luminosity and present-day distance from M31 predict the satellite quenching epoch to within $1.8$ Gyr at all epochs. This tight relationship highlights the fundamental connection between satellite halo mass, environmental history, and star formation duration. ii) There is no difference between the median SFH of galaxies on and off the great plane of Andromeda satellites. iii) $\sim50$\% of our M31 satellites show prominent ancient star formation ($>12$ Gyr ago) followed by delayed quenching ($8-10$ Gyr ago), which is not commonly observed among the MW satellites. iv) A comparison with TNG50 and FIRE-2 simulated satellite dwarfs around M31-like hosts show that some of these trends (dependence of SFH on satellite luminosity) are reproduced in the simulations while others (dependence of SFH on galactocentric distance, presence of the delayed-quenching population) are weaker or absent. We provide all photometric catalogs and SFHs as High-Level Science Products on MAST., Comment: Accepted for publication on ApJ. 47 pages, 24 figures, 12 tables. Corresponding HLSP data can be retrieved at: https://archive.stsci.edu/hlsp/m31-satellites

We present the discovery of 11 new transiting brown dwarfs and low-mass M-dwarfs from NASA's TESS mission: TOI-2844, TOI-3122, TOI-3577, TOI-3755, TOI-4462, TOI-4635, TOI-4737, TOI-4759, TOI-5240, TOI-5467, and TOI-5882. They consist of 5 brown dwarf companions and 6 very low mass stellar companions ranging in mass from $25 M_{\rm J}$ to $128 M_{\rm J}$. We used a combination of photometric time-series, spectroscopic, and high resolution imaging follow-up as a part of the TESS Follow-up Observing Program (TFOP) in order to characterize each system. With over 50 transiting brown dwarfs confirmed, we now have a large enough sample to directly test different formation and evolutionary scenarios. We provide a renewed perspective on the transiting brown dwarf desert and its role in differentiating between planetary and stellar formation mechanisms. Our analysis of the eccentricity distribution for the transiting brown dwarf sample does not support previous claims of a transition between planetary and stellar formation at $\sim42$ $M_{\rm J}$. We also contribute a first look into the metallicity distribution of transiting companions in the range $7 - 150$ $M_{\rm J}$, showing that this too does not support a $\sim42$ $M_{\rm J}$ transition. Finally, we also detect a significant lithium absorption feature in one of the brown dwarf hosts (TOI-5882) but determine that the host star is likely old based on rotation, kinematic, and photometric measurements. We therefore claim that TOI-5882 may be a candidate for planetary engulfment., Comment: Submitted, 32 pages, 16 figures

We present the results of the Distant Giants Survey, a three-year radial velocity (RV) campaign to search for wide-separation giant planets orbiting Sun-like stars known to host an inner transiting planet. We defined a distant giant to have $a$ = 1--10 AU and $M_{p} \sin i = 70-4000$ \mearth~ = 0.2-12.5 \mj, and required transiting planets to have $a<1$ AU and $R_{p} = 1-4$ \rearth. We assembled our sample of 47 stars using a single selection function, and observed each star at monthly intervals to obtain $\approx$30 RV observations per target. The final catalog includes a total of twelve distant companions: four giant planets detected during our survey, two previously known giant planets, and six objects of uncertain disposition identified through RV/astrometric accelerations. Statistically, half of the uncertain objects are planets and the remainder are stars/brown dwarfs. We calculated target-by-target completeness maps to account for missed planets. We found evidence for a moderate enhancement of distant giants (DG) in the presence of close-in small planets (CS), P(DG|CS) = $30^{+14}_{-12}\%$, over the field rate of P(DG) = $16^{+2}_{-2}\%$. No enhancement is disfavored ($p \sim$ 8%). In contrast to a previous study, we found no evidence that stellar metallicity enhances P(DG|CS). We found evidence that distant giant companions are preferentially found in systems with multiple transiting planets and have lower eccentricities than randomly selected giant planets. This points toward dynamically cool formation pathways for the giants that do not disturb the inner systems., Comment: 32 pages, 20 figures, 4 tables. Comments welcome

We report the discovery of BD+05$\,$4868$\,$Ab, a transiting exoplanet orbiting a bright ($V=10.16$) K-dwarf (TIC 466376085) with a period of 1.27 days. Observations from NASA's Transiting Exoplanet Survey Satellite (TESS) reveal variable transit depths and asymmetric transit profiles that are characteristic of comet-like tails formed by dusty effluents emanating from a disintegrating planet. Unique to BD+05$\,$4868$\,$Ab is the presence of prominent dust tails in both the trailing and leading directions that contribute to the extinction of starlight from the host star. By fitting the observed transit profile and analytically modeling the drift of dust grains within both dust tails, we infer large grain sizes ($\sim1-10\,\mu$m) and a mass loss rate of $10\,M_{\rm \oplus}\,$Gyr$^{-1}$, suggestive of a lunar-mass object with a disintegration timescale of only several Myr. The host star is probably older than the Sun and is accompanied by an M-dwarf companion at a projected physical separation of 130 AU. The brightness of the host star, combined with the planet's relatively deep transits ($0.8-2.0\%$), presents BD+05$\,$4868$\,$Ab as a prime target for compositional studies of rocky exoplanets and investigations into the nature of catastrophically evaporating planets., Comment: 24 pages, 17 figures. Submitted to AAS Journals

Tidal synchronization plays a fundamental role in the evolution of binary star systems. However, key details such as the timescale of synchronization, efficiency of tidal dissipation, final rotational period, and dependence on stellar mass are not well constrained. We present a catalog of rotation periods, orbital periods, and eccentricities from eclipsing binaries (EBs) that can be used to study the role of tides in the rotational evolution of low-mass dwarf (FGKM spectral type) binaries. This study presents the largest catalog of EB orbital and rotational periods (Porb and Prot) measured from the Transiting Exoplanet Satellite Survey (TESS). We first classify 4584 light curves from the TESS Eclipsing Binary Catalog according to out-of-eclipse stellar variability type: starspot modulation, ellipsoidal variability, non-periodic variability, and "other" variability (e.g. pulsations). We then manually validate each light curve classification, resulting in a sample of 1039 candidates with 584 high confidence EBs that exhibit detectable star-spot modulation. From there, we measure and compare the rotation period of each starspot-modulated EB using three methods: Lomb-Scargle periodograms, autocorrelation function, and phase dispersion minimization. We find that our period distributions are consistent with previous work that used a sample of 816 starspot EBs from Kepler to identify two populations: a synchronous population (with Porb \approx Prot) and a subsynchronous population (with 8Porb \approx 7Prot). Using Bayesian model comparison, we find that a bimodal distribution is a significantly better fit than a unimodal distribution for Kepler and TESS samples, both individually or combined, confirming that the subsynchronous population is statistically significant., Comment: 27 pages with 21 figures

We report the discovery and characterization of two sub-Saturns from the Transiting Exoplanet Survey Satellite (\textit{TESS}) using high-resolution spectroscopic observations from the MaHPS spectrograph at the Wendelstein Observatory and the SOPHIE spectrograph at the Haute-Provence Observatory. Combining photometry from TESS, KeplerCam, LCOGT, and MuSCAT2 with the radial velocity measurements from MaHPS and SOPHIE we measure precise radii and masses for both planets. TOI-5108 b is a sub-Saturn with a radius of $6.6 \pm 0.1$ $R_\oplus$ and a mass of $32 \pm 5$ $M_\oplus$. TOI-5786 b is similar to Saturn with a radius of $8.54 \pm 0.13$ $R_\oplus$ and a mass of $73 \pm 9$ $M_\oplus$. The host star for TOI-5108 b is a moderately bright (Vmag 9.75) G-type star. TOI-5786 is a slightly dimmer (Vmag 10.2) F-type star. Both planets are close to their host stars with periods of 6.75 days and 12.78 days respectively. This puts TOI-5108 b just inside the bounds of the Neptune desert while TOI-5786 b is right above the upper edge. We estimate hydrogen-helium envelope mass fractions of $38 \%$ for TOI-5108 b and $74 \% $ for TOI-5786 b. However, using a model for the interior structure that includes tidal effects the envelope fraction of TOI-5108 b could be much lower ($\sim 20\,\%$) depending on the obliquity. We estimate mass-loss rates between 1.0 * $10^9$ g/s and 9.8 * $10^9$ g/s for TOI-5108 b and between 3.6 * $10^8$ g/s and 3.5 * $10^9$ g/s for TOI-5786 b. Given their masses, this means that both planets are stable against photoevaporation. We also detect a transit signal for a second planet candidate in the TESS data of TOI-5786 with a period of 6.998 days and a radius of $3.83 \pm 0.16$ $R_\oplus$. Using our RV data and photodynamical modeling, we are able to provide a 3-$\sigma$ upper limit of 26.5 $M_\oplus$ for the mass of the potential inner companion to TOI-5786 b., Comment: 25 pages, 13 figures. Accepted for publication in A&A

This bachelor's thesis examines the capabilities of ChatGPT 4 in code generation across 19 programming languages. The study analyzed solution rates across three difficulty levels, types of errors encountered, and code quality in terms of runtime and memory efficiency through a quantitative experiment. A total of 188 programming problems were selected from the LeetCode platform, and ChatGPT 4 was given three attempts to produce a correct solution with feedback. ChatGPT 4 successfully solved 39.67% of all tasks, with success rates decreasing significantly as problem complexity increased. Notably, the model faced considerable challenges with hard problems across all languages. ChatGPT 4 demonstrated higher competence in widely used languages, likely due to a larger volume and higher quality of training data. The solution rates also revealed a preference for languages with low abstraction levels and static typing. For popular languages, the most frequent error was "Wrong Answer," whereas for less popular languages, compiler and runtime errors prevailed, suggesting frequent misunderstandings and confusion regarding the structural characteristics of these languages. The model exhibited above-average runtime efficiency in all programming languages, showing a tendency toward statically typed and low-abstraction languages. Memory efficiency results varied significantly, with above-average performance in 14 languages and below-average performance in five languages. A slight preference for low-abstraction languages and a leaning toward dynamically typed languages in terms of memory efficiency were observed. Future research should include a larger number of tasks, iterations, and less popular languages. Additionally, ChatGPT 4's abilities in code interpretation and summarization, debugging, and the development of complex, practical code could be analyzed further. ---- Diese Bachelorarbeit untersucht die F\"ahigkeiten von ChatGPT 4 zur Code-Generierung in 19 Programmiersprachen. Betrachtet wurden die L\"osungsraten zwischen drei Schwierigkeitsgraden, die aufgetretenen Fehlerarten und die Qualit\"at des Codes hinsichtlich der Laufzeit- und Speichereffizienz in einem quantitativen Experiment. Dabei wurden 188 Programmierprobleme der Plattform LeetCode entnommen, wobei ChatGPT 4 jeweils drei Versuche hatte, mittels Feedback eine korrekte L\"osung zu generieren. ChatGPT 4 l\"oste 39,67 % aller Aufgaben erfolgreich, wobei die Erfolgsrate mit zunehmendem Schwierigkeitsgrad deutlich abnahm und bei komplexen Problemen in allen Sprachen signifikante Schwierigkeiten auftraten. Das Modell zeigte eine h\"ohere Kompetenz in weit verbreiteten Sprachen, was wahrscheinlich auf eine gr\"o{\ss}ere Menge und h\"ohere Qualit\"at der Trainingsdaten zur\"uckzuf\"uhren ist. Bez\"uglich der L\"osungsraten zeigte das Modell zudem eine Pr\"aferenz f\"ur Sprachen mit niedrigem Abstraktionsniveau und statischer Typisierung. Bei Sprachen hoher Popularit\"at trat der Fehler Wrong Answer am h\"aufigsten auf, w\"ahrend bei weniger popul\"aren Sprachen Compiler- und Laufzeitfehler \"uberwogen, was auf h\"aufige Missverst\"andnisse und Verwechslungen bez\"uglich der spezifischen strukturellen Eigenschaften dieser Sprachen zur\"uckzuf\"uhren ist. ChatGPT 4 demonstrierte in allen Programmiersprachen eine \"uberdurchschnittliche Laufzeiteffizienz und tendierte diesbez\"uglich erneut zu statisch typisierten und niedrig abstrahierten Sprachen. Die Werte zur Speichereffizienz variierten erheblich, wobei in 14 Sprachen \"uberdurchschnittliche und in f\"unf Sprachen unterdurchschnittliche Werte erzielt wurden. Es zeigte sich diesbez\"uglich eine leichte Tendenz zugunsten von niedrig abstrahierten sowie eine Pr\"aferenz zu dynamisch typisierten Sprachen. Zuk\"unftige Forschung sollte eine h\"ohere Anzahl an Aufgaben, Iterationen und unpopul\"aren Sprachen einbeziehen. Dar\"uber hinaus k\"onnten die F\"ahigkeiten von ChatGPT 4 in der Code-Interpretation und -Zusammenfassung, im Debugging und in der Entwicklung komplexer, praxisbezogener Codes analysiert werden., Comment: 65 pages, in German, Bachelor's thesis on the evaluation of ChatGPT 4's code generation capabilities in 19 programming languages, University of Potsdam, June 2024

We provide a possible interpretation of excesses reported by ATLAS and CMS at around 95GeV, 650GeV and possibly 320GeV, in terms of CP-even scalars. In particular, the combined {\sl global} statistical significances of independent indications for a 650GeV object reach the $4\sigma$ level! While this seems sufficient incentive for a further investigation, this object cannot be fitted in tradional singlet or doublet extensions of the Standard Model. It requires by itself a larger extension with doubly-charged scalars, that naturally fits the two other excesses on top of the SM-like 125~GeV Higgs. We describe the minimal model and give some numerical illustrations., Comment: To appear in the proceedings of the 29th International Symposium on Particles, Strings and Cosmology (PASCOS 2024) in Quy Nhon, Vietnam, 7-13 July, 2024

Learning the Individual Treatment Effect (ITE) is essential for personalized decision-making, yet causal inference has traditionally focused on aggregated treatment effects. While integrating conformal prediction with causal inference can provide valid uncertainty quantification for ITEs, the resulting prediction intervals are often excessively wide, limiting their practical utility. To address this limitation, we introduce \underline{S}urrogate-assisted \underline{C}onformal \underline{I}nference for \underline{E}fficient I\underline{N}dividual \underline{C}ausal \underline{E}ffects (SCIENCE), a framework designed to construct more efficient prediction intervals for ITEs. SCIENCE accommodates the covariate shifts between source data and target data and applies to various data configurations, including semi-supervised and surrogate-assisted semi-supervised learning. Leveraging semi-parametric efficiency theory, SCIENCE produces rate double-robust prediction intervals under mild rate convergence conditions, permitting the use of flexible non-parametric models to estimate nuisance functions. We quantify efficiency gains by comparing semi-parametric efficiency bounds with and without the surrogates. Simulation studies demonstrate that our surrogate-assisted intervals offer substantial efficiency improvements over existing methods while maintaining valid group-conditional coverage. Applied to the phase 3 Moderna COVE COVID-19 vaccine trial, SCIENCE illustrates how multiple surrogate markers can be leveraged to generate more efficient prediction intervals.

After a review of the reproducing kernel Banach space framework and semi-inner products, we apply the techniques to the setting of Hardy spaces $H^p$ and Bergman spaces $A^p$, $1

In randomized trials and observational studies, it is often necessary to evaluate the extent to which an intervention affects a time-to-event outcome, which is only partially observed due to right censoring. For instance, in infectious disease studies, it is frequently of interest to characterize the relationship between risk of acquisition of infection with a pathogen and a biomarker previously measuring for an immune response against that pathogen induced by prior infection and/or vaccination. It is common to conduct inference within a causal framework, wherein we desire to make inferences about the counterfactual probability of survival through a given time point, at any given exposure level. To determine whether a causal effect is present, one can assess if this quantity differs by exposure level. Recent work shows that, under typical causal assumptions, summaries of the counterfactual survival distribution are identifiable. Moreover, when the treatment is multi-level, these summaries are also pathwise differentiable in a nonparametric probability model, making it possible to construct estimators thereof that are unbiased and approximately normal. In cases where the treatment is continuous, the target estimand is no longer pathwise differentiable, rendering it difficult to construct well-behaved estimators without strong parametric assumptions. In this work, we extend beyond the traditional setting with multilevel interventions to develop approaches to nonparametric inference with a continuous exposure. We introduce methods for testing whether the counterfactual probability of survival time by a given time-point remains constant across the range of the continuous exposure levels. The performance of our proposed methods is evaluated via numerical studies, and we apply our method to data from a recent pair of efficacy trials of an HIV monoclonal antibody., Comment: 22 pages, 2 figures

M dwarfs have become increasingly important in the detection of exoplanets and the study of Earth-sized planets and their habitability. However, 20-30% of M dwarfs have companions that can impact the formation and evolution of planetary systems. We use high-resolution imaging and Gaia astrometry to detect stellar companions around M dwarf exoplanet hosts discovered by TESS and determine the projected separation and estimated stellar masses for each system. We find 47 companions around 216 M dwarfs and a multiplicity rate of $19.4\pm2.7$% that is consistent with field M dwarfs. The binary projected separation distribution is shifted to larger separations, confirming the lack of close binaries hosting transiting exoplanets seen in previous studies. We correct the radii of planets with nearby companions and examine the properties of planets in M dwarf multi-star systems. We also note three multi-planet systems that occur in close binaries ($\lesssim 50$ au) where planet formation is expected to be suppressed., Comment: 28 pages, 13 figures, 5 tables, accepted for publication in The Astronomical Journal

Direct sum theorems state that the cost of solving $k$ instances of a problem is at least $\Omega(k)$ times the cost of solving a single instance. We prove the first such results in the randomised parity decision tree model. We show that a direct sum theorem holds whenever (1) the lower bound for parity decision trees is proved using the discrepancy method; or (2) the lower bound is proved relative to a product distribution., Comment: 37 pages

Graph machine learning has enjoyed a meteoric rise in popularity since the introduction of deep learning in graph contexts. This is no surprise due to the ubiquity of graph data in large scale industrial settings. Tacitly assumed in all graph learning tasks is the separation of the graph structure and node features: node features strictly encode individual data while the graph structure consists only of pairwise interactions. The driving belief is that node features are (by themselves) insufficient for these tasks, so benchmark performance accurately reflects improvements in graph learning. In our paper, we challenge this orthodoxy by showing that, surprisingly, node features are oftentimes more-than-sufficient for many common graph benchmarks, breaking this critical assumption. When comparing against a well-tuned feature-only MLP baseline on seven of the most commonly used graph learning datasets, one gains little benefit from using graph structure on five datasets. We posit that these datasets do not benefit considerably from graph learning because the features themselves already contain enough graph information to obviate or substantially reduce the need for the graph. To illustrate this point, we perform a feature study on these datasets and show how the features are responsible for closing the gap between MLP and graph-method performance. Further, in service of introducing better empirical measures of progress for graph neural networks, we present a challenging parametric family of principled synthetic datasets that necessitate graph information for nontrivial performance. Lastly, we section out a subset of real-world datasets that are not trivially solved by an MLP and hence serve as reasonable benchmarks for graph neural networks., Comment: Preprint

A metric space $(X,d)$ is said to be $\delta$-hyperbolic if $d(x,y)+d(z,w)$ is at most $\max(d(x,z)+d(y,w), d(x,w)+d(y,z))$ by $2 \delta$. A geodesic space is $\delta$-slim if every geodesic triangle $\Delta(x,y,z)$ is $\delta$-slim. It is well-established that the notions of $\delta$-slimness, $\delta$-hyperbolicity, $\delta$-thinness and similar concepts are equivalent up to a constant factor. In this paper, we investigate these properties under an average-case framework and reveal a surprising discrepancy: while $\mathbb{E}\delta$-slimness implies $\mathbb{E}\delta$-hyperbolicity, the converse does not hold. Furthermore, similar asymmetries emerge for other definitions when comparing average-case and worst-case formulations of hyperbolicity. We exploit these differences to analyze the random Gaussian distribution in Euclidean space, random $d$-regular graph, and the random Erd\H{o}s-R\'enyi graph model, illustrating the implications of these average-case deviations., Comment: 28 pages, 7 figures

Originally motivated for the generation of (Majorana) neutrino masses, the Type 2 Seesaw Model has also a rich extended Higgs sector with, if accessible at the LHC, a distinctive phenomenology of neutral, charged and doubly-charged states. The goal of the work is to present an exhaustive phenomenological study of the most promising production and decay channels of pair or associated scalars, decaying directly or in cascades to Standard Model particles at the LHC. The study is complementary to the literature in that it highlights a previously unnoticed important sensitivity to a mixing angle. The ensuing uncertainty calls for a comprehensive experimental search strategy for the various processes. These processes can be studied within LHC energies reach, by comparing cutflow results for different final states. We carried out prospective search analyses with multi-lepton, jets and missing energy configurations, assuming an ATLAS-like detector at LHC and HL-LHC, for charged, doubly-charged, and for the first time neutral scalar productions. The work is a collaboration between ATLAS experimentalists and theoreticians in continuation of an endeavor that lead to previous published ATLAS analyses for the search of (doubly)charged Higgs bosons, aiming at proposals for future experimental searches., Comment: 6 pages, 2 figures, ICHEP 2024 conference

This report presents a comprehensive response to the United Nation's Interim Report on Governing Artificial Intelligence (AI) for Humanity. It emphasizes the transformative potential of AI in achieving the Sustainable Development Goals (SDGs) while acknowledging the need for robust governance to mitigate associated risks. The response highlights opportunities for promoting equitable, secure, and inclusive AI ecosystems, which should be supported by investments in infrastructure and multi-stakeholder collaborations across jurisdictions. It also underscores challenges, including societal inequalities exacerbated by AI, ethical concerns, and environmental impacts. Recommendations advocate for legally binding norms, transparency, and multi-layered data governance models, alongside fostering AI literacy and capacity-building initiatives. Internationally, the report calls for harmonising AI governance frameworks with established laws, human rights standards, and regulatory approaches. The report concludes with actionable principles for fostering responsible AI governance through collaboration among governments, industry, academia, and civil society, ensuring the development of AI aligns with universal human values and the public good., Comment: Submitted to United Nations. 23 pages. All the Authors Contributed Equally

Sub-Neptunes - volatile-rich exoplanets smaller than Neptune - are intrinsically the most common type of planet known. However, the formation and nature of these objects, as well as the distinctions between sub-classes (if any), remain unclear. Two powerful tools to tease out the secrets of these worlds are measurements of (i) atmospheric composition and structure revealed by transit and/or eclipse spectroscopy, and (ii) mass, radius, and density revealed by transit photometry and Doppler spectroscopy. Here we present OrCAS, a survey to better elucidate the origins, compositions, and atmospheres of sub-Neptunes. This radial velocity survey uses a repeatable, quantifiable metric to select targets suitable for subsequent transmission spectroscopy and address key science themes about the atmospheric & internal compositions and architectures of these systems. Our survey targets 26 systems with transiting sub-Neptune planet candidates, with the overarching goal of increasing the sample of such planets suitable for subsequent atmospheric characterization. This paper lays out our survey's science goals, defines our target prioritization metric, and performs light-curve fits and statistical validation using existing TESS photometry and ground-based follow-up observations. Our survey serves to continue expanding the sample of small exoplanets with well-measured properties orbiting nearby bright stars, ensuring fruitful studies of these systems for many years to come., Comment: 20 pages, 4 figures, 4 tables, 26 sub-Neptunes, 31 TOIs. Accepted to AJ

We exhibit a monotone function computable by a monotone circuit of quasipolynomial size such that any monotone circuit of polynomial depth requires exponential size. This is the first size-depth tradeoff result for monotone circuits in the so-called supercritical regime. Our proof is based on an analogous result in proof complexity: We introduce a new family of unsatisfiable 3-CNF formulas (called bracket formulas) that admit resolution refutations of quasipolynomial size while any refutation of polynomial depth requires exponential size.

There have been indications of several new resonances at the Large Hadron Collider (LHC). Two of them, at about 95 GeV and 650 GeV, have been indicated by more than one experiments and have reached statistical significance worthy of a serious investigation. Conservatively using only the numbers given by the experimental collaborations, we find combined global significances around 3$\sigma$ and 4$\sigma$ respectively for the 95 GeV and 650 GeV putative resonances. There are some more which may soon become very significant. We show that the data on only the 650 GeV resonance, assuming they stand the test of time, predict the existence of a doubly-charged scalar, and make the extensions of the scalar sector like those by gauge singlet scalars, the 2-Higgs doublet models or the Georgi-Machacek model, highly disfavored. We provide the readers with a minimalistic model that can explain all the indications. Such a model can also accommodate the hints of a singly charged scalar at about 375 GeV, and a doubly charged scalar at about 450 GeV, as found by both the major LHC Collaborations, the combined global significance for each of them being above $2.5\sigma$. Our analysis comes with the obvious caveat that the allowed parameter space that we find depends on the available data on all the new resonances, and may change in future., Comment: 24 pages, 14 figure files, uses Revtex

State-of-the-art hardware compilers for FPGAs often fail to find efficient mappings of high-level designs to low-level primitives, especially complex programmable primitives like digital signal processors (DSPs). New approaches apply sketch-guided program synthesis to more optimally map designs. However, this approach has two primary drawbacks. First, sketch-guided program synthesis requires the user to provide sketches, which are challenging to write and require domain expertise. Second, the open-source SMT solvers which power sketch-guided program synthesis struggle with the sorts of operations common in hardware -- namely multiplication. In this paper, we address both of these challenges using an equality saturation (eqsat) framework. By combining eqsat and an existing state-of-the-art program-synthesis-based tool, we produce Churchroad, a technology mapper which handles larger and more complex designs than the program-synthesis-based tool alone, while eliminating the need for a user to provide sketches., Comment: Workshop on Open-Source EDA Technology (WOSET) 2024

Climate change poses an urgent global threat, needing the rapid identification and deployment of innovative solutions. We hypothesise that many of these solutions already exist within scientific literature but remain underutilised. To address this gap, this study employs a curated dataset sourced from OpenAlex, a comprehensive repository of scientific papers. Utilising Large Language Models (LLMs), such as GPT4-o from OpenAI, we evaluate title-abstract pairs from scientific papers on seven dimensions, covering climate change mitigation potential, stage of technological development, and readiness for deployment. The outputs of the language models are then compared with human evaluations to assess their effectiveness in identifying promising yet overlooked climate innovations. Our findings suggest that these LLM-based models can effectively augment human expertise, uncovering climate solutions that are potentially impactful but with far greater speed, throughput and consistency. Here, we focused on UK-based solutions, but the workflow is region-agnostic. This work contributes to the discovery of neglected innovations in scientific literature and demonstrates the potential of AI in enhancing climate action strategies., Comment: 10 pages. Accepted in the LatinX in AI workshop at NeurIPS 2024

User-schedulable languages (USLs) help programmers productively optimize programs by providing safe means of transforming them. Current USLs are designed to give programmers exactly the control they want, while automating all other concerns. However, there is no universal answer for what performance-conscious programmers want to control, how they want to control it, and what they want to automate, even in relatively narrow domains. We claim that USLs should, instead, be designed to grow. We present Exo 2, a scheduling language that enables users to define new scheduling operations externally to the compiler. By composing a set of trusted, fine-grained primitives, users can safely write their own scheduling library to build up desired automation. We identify actions (ways of modifying code), inspection (ways of interrogating code), and references (ways of pointing to code) as essential for any user-extensible USL. We fuse these ideas into a new mechanism called Cursors that enables the creation of scheduling libraries in user code. We demonstrate libraries that amortize scheduling effort across more than 80 high-performance kernels, reducing total scheduling code by an order of magnitude and delivering performance competitive with state-of-the-art implementations on three different platforms., Comment: To appear in ASPLOS 2025. The arXiv version contains full appendices

Recent papers in the graph machine learning literature have introduced a number of approaches for hyperbolic representation learning. The asserted benefits are improved performance on a variety of graph tasks, node classification and link prediction included. Claims have also been made about the geometric suitability of particular hierarchical graph datasets to representation in hyperbolic space. Despite these claims, our work makes a surprising discovery: when simple Euclidean models with comparable numbers of parameters are properly trained in the same environment, in most cases, they perform as well, if not better, than all introduced hyperbolic graph representation learning models, even on graph datasets previously claimed to be the most hyperbolic as measured by Gromov $\delta$-hyperbolicity (i.e., perfect trees). This observation gives rise to a simple question: how can this be? We answer this question by taking a careful look at the field of hyperbolic graph representation learning as it stands today, and find that a number of papers fail to diligently present baselines, make faulty modelling assumptions when constructing algorithms, and use misleading metrics to quantify geometry of graph datasets. We take a closer look at each of these three problems, elucidate the issues, perform an analysis of methods, and introduce a parametric family of benchmark datasets to ascertain the applicability of (hyperbolic) graph neural networks., Comment: Preprint

We show that for a multivariable polynomial $p(z)=p(z_1, \ldots , z_d)$ with a determinantal representation $$ p(z) = p(0) \det (I_n- K (\oplus_{j=1}^d z_j I_{n_j}))$$ the matrix $K$ is structurally similar to a strictly $J$-contractive matrix for some diagonal signature matrix $J$ if and only if the extension of $p(z)$ to a polynomial in $d$-tuples of matrices of arbitrary size given by \[ p(U_1, \ldots , U_d) = p(0,\ldots,0) \det (I_n\otimes I_m- (K\otimes I_m) (\oplus_{j=1}^d I_{n_j}\otimes U_j)), \] where $U_1,\ldots , U_d \in {\mathbb C}^{m \times m}$, $m\in {\mathbb N}$, does not have roots on the noncommutative $d$-torus consisting of $d$-tuples $(U_1, \ldots , U_d)$ of unitary matrices of arbitrary size., Comment: 9 pages

Predictive maintenance has been used to optimize system repairs in the industrial, medical, and financial domains. This technique relies on the consistent ability to detect and predict anomalies in critical systems. AI models have been trained to detect system faults, improving predictive maintenance efficiency. Typically there is a lack of fault data to train these models, due to organizations working to keep fault occurrences and down time to a minimum. For newly installed systems, no fault data exists since they have yet to fail. By using diffusion models for synthetic data generation, the complex training datasets for these predictive models can be supplemented with high level synthetic fault data to improve their performance in anomaly detection. By learning the relationship between healthy and faulty data in similar systems, a diffusion model can attempt to apply that relationship to healthy data of a newly installed system that has no fault data. The diffusion model would then be able to generate useful fault data for the new system, and enable predictive models to be trained for predictive maintenance. The following paper demonstrates a system for generating useful, multivariate synthetic data for predictive maintenance, and how it can be applied to systems that have yet to fail.

One core aspect of immersive visualization labs is to develop and provide powerful tools and applications that allow for efficient analysis and exploration of scientific data. As the requirements for such applications are often diverse and complex, the same applies to the development process. This has led to a myriad of different tools, frameworks, and approaches that grew and developed over time. The steady advance of commercial off-the-shelf game engines such as Unreal Engine has made them a valuable option for development in immersive visualization labs. In this work, we share our experience of migrating to Unreal Engine as a primary developing environment for immersive visualization applications. We share our considerations on requirements, present use cases developed in our lab to communicate advantages and challenges experienced, discuss implications on our research and development environments, and aim to provide guidance for others within our community facing similar challenges., Comment: 11 + 3 pages, 9 figures, 1 table, published in Presence: Virtual and Augmented Reality

In molecular systems, the ultrafast motion of electrons initiates the process of chemical change. Tracking this electronic motion across molecules requires coupling attosecond time resolution to atomic-scale spatial sensitivity. In this work, we employ a pair of attosecond x-ray pulses from an x-ray free-electron laser to follow electron motion resulting from the sudden removal of an electron from a prototypical aromatic system, para-aminophenol. X-ray absorption enables tracking this motion with atomic-site specificity. Our measurements are compared with state-of-the-art computational modeling, reproducing the observed response across multiple timescales. Sub-femtosecond dynamics are assigned to states undergoing non-radiative decay, while few-femtosecond oscillatory motion is associated with electronic wavepacket motion in stable cation states, that will eventually couple to nuclear motion. Our work provides insight on the ultrafast charge motion preceding and initiating chemical transformations in moderately complex systems, and provides a powerful benchmark for computational models of ultrafast charge motion in matter.

For data-constrained, complex and dynamic industrial environments, there is a critical need for transferable and multimodal methodologies to enhance anomaly detection and therefore, prevent costs associated with system failures. Typically, traditional PdM approaches are not transferable or multimodal. This work examines the use of Large Language Models (LLMs) for anomaly detection in complex and dynamic manufacturing systems. The research aims to improve the transferability of anomaly detection models by leveraging Large Language Models (LLMs) and seeks to validate the enhanced effectiveness of the proposed approach in data-sparse industrial applications. The research also seeks to enable more collaborative decision-making between the model and plant operators by allowing for the enriching of input series data with semantics. Additionally, the research aims to address the issue of concept drift in dynamic industrial settings by integrating an adaptability mechanism. The literature review examines the latest developments in LLM time series tasks alongside associated adaptive anomaly detection methods to establish a robust theoretical framework for the proposed architecture. This paper presents a novel model framework (AAD-LLM) that doesn't require any training or finetuning on the dataset it is applied to and is multimodal. Results suggest that anomaly detection can be converted into a "language" task to deliver effective, context-aware detection in data-constrained industrial applications. This work, therefore, contributes significantly to advancements in anomaly detection methodologies.

Multilingual large language models (LLMs) have gained prominence, but concerns arise regarding their reliability beyond English. This study addresses the gap in cross-lingual semantic evaluation by introducing a novel benchmark for cross-lingual sense disambiguation, StingrayBench. In this paper, we demonstrate using false friends -- words that are orthographically similar but have completely different meanings in two languages -- as a possible approach to pinpoint the limitation of cross-lingual sense disambiguation in LLMs. We collect false friends in four language pairs, namely Indonesian-Malay, Indonesian-Tagalog, Chinese-Japanese, and English-German; and challenge LLMs to distinguish the use of them in context. In our analysis of various models, we observe they tend to be biased toward higher-resource languages. We also propose new metrics for quantifying the cross-lingual sense bias and comprehension based on our benchmark. Our work contributes to developing more diverse and inclusive language modeling, promoting fairer access for the wider multilingual community.

The Local Ultraviolet to Infrared Treasury (LUVIT) is a Hubble Space Telescope program that combines newly acquired data in the near ultraviolet (NUV), optical, and near infrared (NIR) with archival optical and NIR imaging to produce multiband panchromatic resolved stellar catalogs for 23 pointings in 22 low-mass, star-forming galaxies ranging in distance from the outskirts of the Local Group to ~3.8 Mpc. We describe the survey design, detail the LUVIT broadband filter observations and the archival datasets included in the LUVIT reductions, and summarize the simultaneous multiband data reduction steps. The spatial distributions and color-magnitude diagrams (CMDs) from the resulting stellar catalogs are presented for each target, from the NUV to the NIR. We demonstrate in which regions of the CMDs stars with NUV and optical, optical and NIR, and NUV through NIR detections reside. For each target, we use the results from artificial star tests to measure representative completeness, bias, and total photometric uncertainty as a function of magnitude in each broadband filter. We also assess which LUVIT targets have significant spatial variation in the fraction of stars recovered at a given magnitude. The panchromatic LUVIT stellar catalogs will provide a rich legacy dataset for a host of resolved stellar population studies., Comment: 48 pages, 14 figures, 8 tables, published in ApJS

By analyzing the spectral energy distributions (SEDs) of resolved stars in nearby galaxies, we can constrain their stellar properties and line-of-sight dust extinction. From the Scylla survey, we obtain ultraviolet to near-infrared photometry from Wide Field Camera 3 onboard the {\it Hubble Space Telescope} for more than 1.5 million stars in the SMC and LMC. We use the Bayesian Extinction and Stellar Tool (BEAST) to analyze the multi-band SEDs of these sources and characterize their initial masses, ages, metallicities, distances, and line-of-sight extinction properties (e.g.~$A_V$, $R_V$). We apply quality cuts and perform validation simulations to construct a catalog of over 550,000 stars with high-reliability SED fits, which we use to analyze the stellar content and extinction properties of the SMC and LMC. We detect stars with masses as low as 0.6 $M_{\odot}$. Observed stellar age distributions show a jump in stars around 6 Gyrs ago, which is in agreement with other star-formation histories. Extinctions ($A_V$) in both galaxies follow a log-normal distribution. We compare $A_V$ with ancillary gas and dust tracers like $HI$, $H_\alpha$, and far infrared (FIR) dust emission and find positive correlations on a field-by-field basis. We convert observed $A_V$ to predicted dust surface densities using the Draine et. al. (2014) model and find $A_V$-based dust surface densities are a factor of $\sim$2.5 lower than observed FIR-based dust surface densities, a correction factor similar to other studies., Comment: Submitted to ApJ, 31 pages

Magnetic Resonance Spectroscopic Imaging (MRSI) is a non-invasive imaging technique for studying metabolism and has become a crucial tool for understanding neurological diseases, cancers and diabetes. High spatial resolution MRSI is needed to characterize lesions, but in practice MRSI is acquired at low resolution due to time and sensitivity restrictions caused by the low metabolite concentrations. Therefore, there is an imperative need for a post-processing approach to generate high-resolution MRSI from low-resolution data that can be acquired fast and with high sensitivity. Deep learning-based super-resolution methods provided promising results for improving the spatial resolution of MRSI, but they still have limited capability to generate accurate and high-quality images. Recently, diffusion models have demonstrated superior learning capability than other generative models in various tasks, but sampling from diffusion models requires iterating through a large number of diffusion steps, which is time-consuming. This work introduces a Flow-based Truncated Denoising Diffusion Model (FTDDM) for super-resolution MRSI, which shortens the diffusion process by truncating the diffusion chain, and the truncated steps are estimated using a normalizing flow-based network. The network is conditioned on upscaling factors to enable multi-scale super-resolution. To train and evaluate the deep learning models, we developed a 1H-MRSI dataset acquired from 25 high-grade glioma patients. We demonstrate that FTDDM outperforms existing generative models while speeding up the sampling process by over 9-fold compared to the baseline diffusion model. Neuroradiologists' evaluations confirmed the clinical advantages of our method, which also supports uncertainty estimation and sharpness adjustment, extending its potential clinical applications., Comment: Accepted by Medical Image Analysis (MedIA)

Advancements in light modulator technology have been driving discoveries and progress across various fields. The problem of large-scale coherent optical control of atomic quantum systems-including cold atoms, ions, and solid-state color centers-presents among the most stringent requirements. This motivates a new generation of high-speed large-scale modulator technology with the following requirements: (R1) operation at a design wavelength of choice in the visible (VIS) to near-infrared (NIR) spectrum, (R2) a scalable technology with a high channel density (> 100mm-2 ), (R3) a high modulation speed (> 100MHz), and (R4) a high extinction ratio (> 20 dB). To fulfill these requirements, we introduce a modulator technology based on piezoelectrically actuated silicon nitride resonant waveguide gratings fabricated on 200mm diameter silicon wafers with CMOS compatible processes. We present a proof-of-concept device with 4 x 4 individually addressable 50 {mu}m x 50 {mu}m pixels or channels, each containing a resonant waveguide grating with a ~ 780 nm design wavelength, supporting > 100MHz modulation speeds, and a spectral response with > 20 dB extinction., Comment: 9 pages + 2 pages supplementary

We present archival HST and JWST ultraviolet through near infrared time series photometric observations of a massive minimal-contact binary candidate in the metal-poor galaxy WLM ($Z = 0.14 Z_{\odot}$). This discovery marks the lowest metallicity contact binary candidate observed to date. We determine the nature of the two stars in the binary by using the eclipsing binary modeling software (PHysics Of Eclipsing BinariEs; PHOEBE) to train a neural network to fit our observed panchromatic multi-epoch photometry. The best fit model consists of two hot MS stars ($T_1=29800^{+2300}_{-1700}$ K, $M_1=16^{+2}_{-3}~M_{\odot}$, and $T_2=18000^{+5000}_{-5000}$ K, $M_2=7^{+5}_{-3}~M_{\odot}$). We discuss plausible evolutionary paths for the system, and suggest the system is likely to be currently in a contact phase before ultimately ending in a merger. Future spectroscopy will help to further narrow down evolutionary pathways. This work showcases a novel use of data of JWST and HST imaging originally taken to characterize RR Lyrae. We expect time series imaging from LSST, BlackGEM, etc. to uncover similar types of objects in nearby galaxies., Comment: comments welcome

The aggressiveness of prostate cancer, the most common cancer in men worldwide, is primarily assessed based on histopathological data using the Gleason scoring system. While artificial intelligence (AI) has shown promise in accurately predicting Gleason scores, these predictions often lack inherent explainability, potentially leading to distrust in human-machine interactions. To address this issue, we introduce a novel dataset of 1,015 tissue microarray core images, annotated by an international group of 54 pathologists. The annotations provide detailed localized pattern descriptions for Gleason grading in line with international guidelines. Utilizing this dataset, we develop an inherently explainable AI system based on a U-Net architecture that provides predictions leveraging pathologists' terminology. This approach circumvents post-hoc explainability methods while maintaining or exceeding the performance of methods trained directly for Gleason pattern segmentation (Dice score: 0.713 $\pm$ 0.003 trained on explanations vs. 0.691 $\pm$ 0.010 trained on Gleason patterns). By employing soft labels during training, we capture the intrinsic uncertainty in the data, yielding strong results in Gleason pattern segmentation even in the context of high interobserver variability. With the release of this dataset, we aim to encourage further research into segmentation in medical tasks with high levels of subjectivity and to advance the understanding of pathologists' reasoning processes., Comment: 58 pages, 15 figures (incl. supplementary)