Search

The North Dakota Department of Public Instruction (NDDPI) uses a three-pillar approach to school renewal efforts: build relationships, cultivate opportunity, and inspire growth. A key product of this approach is the North Dakota School Renewal Guide, which includes practitioner-friendly school improvement strategies grounded in evidence-based improvement practices for schools identified as Targeted Support and Improvement (TSI) or Comprehensive Support and Improvement (CSI). The guide, now in its third edition, is updated annually based on feedback from the NDDPI, the North Dakota Regional Education Association (REA), and the TSI and CSI schools and districts using the guide. This report tells the story of how the NDDPI project team created and tested a calibration activity to increase inter-rater reliability ratings among REA staff, NDDPI representatives, and schools. By using procedures for consistent and accurate ratings, REA liaisons can provide schools with tailored coaching to support their improvement journeys, help schools track progress on goals and initiatives, and help schools collect the evidence required for them to exit TSI and CSI status. The report is intended as a resource for school leaders working to implement short-cycle school improvement goals.

The Kuramoto model (KM) of $n$ coupled phase-oscillators is analyzed in this work. The KM on a Cayley graph possesses a family of steady state solutions called twisted states. Topologically distinct twisted states are distinguished by the winding number $q\in\mathbb{Z}$. These states are known to be stable for small enough $q$. In the presence of small noise, the KM exhibits metastable transitions between $q$-twisted states: A typical trajectory remains in the basin of attraction of a given $q$-twisted state for an exponentially long time, but eventually transitions to the vicinity of another such state. In the course of this transition, it passes in close proximity of a saddle of Morse index $1$, called a relevant saddle. In this work, we provide an exhaustive analysis of metastable transitions in the stochastic KM with nearest-neighbor coupling. We start by analyzing the equilibria and their stability. First, we identify all equilibria in this model. Using the discrete Fourier transform and eigenvalue estimates for rank-1 perturbations of symmetric matrices, we classify the equilibria by their Morse indices. In particular, we identify all stable equilibria and all relevant saddles involved in the metastable transitions. Further, we use Freidlin-Wentzell theory and the potential-theoretic approach to metastability to establish the metastable hierarchy and sharp estimates of Eyring-Kramers type for the transition times. The former determines the precise order, in which the metastable transitions occur, while the latter characterizes the times between successive transitions. The theoretical estimates are complemented by numerical simulations and a careful numerical verification of the transition times. Finally, we discuss the implications of this work for the KM with other coupling types including nonlocal coupling and the continuum limit as $n$ tends to infinity., Comment: 37 pages, 15 figures

A 200-member ensemble developed at the Center for Western Weather and Water Extremes based on the Weather Research and Forecast atmospheric model tailored for the prediction of atmospheric rivers and associated heavy-to-extreme precipitation events over the Western US (West-WRF) is presented. The ensemble (WW200En) is generated with initial and boundary conditions from the US National Center for Environmental Prediction's Global Ensemble Forecast System (GEFS) and the European Centre for Medium-Range Weather Forecasts' Ensemble Prediction System (EPS), 100 unique combinations of microphysics, planetary boundary layer, and cumulus schemes, as well as perturbations applied to each of the 200 members based on the stochastic kinetic-energy backscatter scheme. Each member is run with 9-km horizontal increments and 60 vertical levels for a 10-month period spanning two winters. The performance of WW200En is compared to GEFS and EPS for probabilistic forecasts of 24-h precipitation, integrated water vapor transport (IVT), and for several thresholds including high percentiles of the observed climatological distribution. The WW200En precipitation forecast skill is better than GEFS at nearly all thresholds and lead times, and comparable or better than the EPS. For larger rainfall thresholds WW200En typically exhibits the best forecast skill. Additionally, WW200En has a better spread-skill relationship than the global systems, and an improved overall reliability and resolution of the probabilistic prediction. The results for IVT are qualitatively similar to those for precipitation forecasts. A sensitivity analysis of the physics parameterizations and the number of ensemble members provides insights into possible future developments of WW200En., Comment: This work has been submitted to Monthly Weather Review

The Gemini High-resolution Optical SpecTrograph (GHOST) at Gemini South started regular queue operations in early 2024, bringing a long-sought open-access capability to the astronomy community. This research note briefly describes an effort to provide easy-to-access reduced spectra for GHOST programs from all Gemini partner countries and encourage prompt data exploration and analysis. Since March 2024, over 4500 spectra have been reduced and made available to principal investigators (PIs). The aim is to increase demand for GHOST and expedite the publication of scientific results., Comment: 3 pages, 1 figure, accepted for publication on RNAAS

We prove that if a continuous piecewise-smooth map on $\mathbb{R}^n$ is comprised of two linear functions, has a bounded orbit, and satisfies a certain non-degeneracy condition, then it has a fixed point. The result has important consequences to the bifurcation theory of nonsmooth dynamical systems, yet the proof requires only elementary linear algebra.

For dynamical systems that switch between different modes of operation, parameter variation can cause periodic solutions to lose or acquire new switching events. When this causes the eigenvalues (stability multipliers) associated with the solution to change discontinuously, we show that if one eigenvalue remains continuous then all local invariant sets of the leading-order approximation to the system occur on a lower dimensional manifold. This allows us to analyse the dynamics with fewer variables, which is particularly helpful when the dynamics is chaotic. We compare this to two other codimension-two scenarios for which dimension reduction can be achieved.

Direct observation of proton emission with very small emission energy is often unfeasible due to the long partial half-lives associated with tunneling through the Coulomb barrier. Therefore proton emitters with very small Q-values may require masses of both parent and daughter nuclei to establish them as proton unbound. Nuclear mass models have been used to predict the proton drip-line of the thulium (Tm) isotopic chain ($Z=69$), but up until now the proton separation energy has not been experimentally tested. Mass measurements were therefore performed using a Multiple Reflection Time-Of-Flight Mass Spectrometer (MR-TOF-MS) at TRIUMF's TITAN facility to definitively map the limit of proton-bound Tm. The masses of neutron-deficient, $^{149}$Tm and $^{150}$Tm, combined with measurements of $^{149m,g}$Er (which were found to deviate from literature by $\sim$150 keV), provide the first experimental confirmation that $^{149}$Tm is the first proton-unbound nuclide in the Tm chain. Our measurements also enable the strength of the $N=82$ neutron shell gap to be determined at the Tm proton drip-line, providing evidence supporting its continued existence.

The entanglement of electronic spin and orbital degrees of freedom is often the precursor to emergent behaviors in condensed matter systems. With considerable spin-orbit coupling strength, the cobalt atom on a honeycomb lattice offers a platform that can make accessible the study of novel magnetic ground states. Using temperature-dependent Raman spectroscopy and high-magnetic field Raman and infrared (IR) spectroscopy, we studied the lattice and spin-orbital excitations in CoTiO$_3$, an antiferromagnetic material that exhibits topologically protected magnon Dirac crossings in the Brillouin zone. Under the application of an external magnetic field up to 22 T along the crystal's $c$-axis, we observed the splitting of both the spin-orbital excitations and a phonon nearby in energy. Using density functional theory (DFT), we identify a number of new modes that below the antiferromagnetic (AFM) transition become Raman-active due to the zone-folding of the Brillouin zone caused by the doubling of the magnetic unit cell. We use a model that includes both the spin and orbital degrees of freedom of the Co$^{2+}$ ions to explain the spin-orbital excitation energies and their behavior in an applied field. Our experimental observations along with several deviations from the model behavior point to significant coupling between the spin-orbital and the lattice excitations.

In this work, we address a lack of systematic understanding of fluctuations in food affordability in Canada. Canada's Food Price Report (CPFR) is an annual publication that predicts food inflation over the next calendar year. The published predictions are a collaborative effort between forecasting teams that each employ their own approach at Canadian Universities: Dalhousie University, the University of British Columbia, the University of Saskatchewan, and the University of Guelph/Vector Institute. While the University of Guelph/Vector Institute forecasting team has leveraged machine learning (ML) in previous reports, the most recent editions (2024--2025) have also included a human-in-the-loop approach. For the 2025 report, this focus was expanded to evaluate several different data-centric approaches to improve forecast accuracy. In this study, we evaluate how different types of forecasting models perform when estimating food price fluctuations. We also examine the sensitivity of models that curate time series data representing key factors in food pricing.

A boundary equilibrium bifurcation (BEB) in a hybrid dynamical system occurs when a regular equilibrium collides with a switching surface in phase space. This causes a transition to a pseudo-equilibrium embedded within the switching surface, but limit cycles (LCs) and other invariant sets can also be created and the nature of these is not well understood for systems with more than two dimensions. This work treats two codimension-two scenarios in hybrid systems of any number of dimensions, where the number of small-amplitude limit cycles bifurcating from a BEB changes. The first scenario involves a limit cycle (LC) with a Floquet multiplier $1$ and for nearby parameter values the BEB creates a pair of limit cycles. The second scenario involves a limit cycle with a Floquet multiplier $-1$ and for nearby parameter values the BEB creates a period-doubled solution. Both scenarios are unfolded in a general setting, showing that typical two-parameter bifurcation diagrams have a curve of saddle-node or period-doubling bifurcations emanating transversally from a curve of BEBs at the codimension-two point. The results are illustrated with three-dimensional examples and an eight-dimensional airfoil model. Detailed computational results show excellent agreement to the unfolding theory and reveal further interesting dynamical features that remain to be explored., Comment: 42 pages, 14 figures

The downstream use cases, benefits, and risks of AI systems depend significantly on the access afforded to the system, and to whom. However, the downstream implications of different access styles are not well understood, making it difficult for decision-makers to govern model access responsibly. Consequently, we spotlight Model Access Governance, an emerging field focused on helping organisations and governments make responsible, evidence-based access decisions. We outline the motivation for developing this field by highlighting the risks of misgoverning model access, the limitations of existing research on the topic, and the opportunity for impact. We then make four sets of recommendations, aimed at helping AI evaluation organisations, frontier AI companies, governments and international bodies build consensus around empirically-driven access governance.

Random walks and related spatial stochastic models have been used in a range of application areas including animal and plant ecology, infectious disease epidemiology, developmental biology, wound healing, and oncology. Classical random walk models assume that all individuals in a population behave independently, ignoring local physical and biological interactions. This assumption simplifies the mathematical description of the population considerably, enabling continuum-limit descriptions to be derived and used in model analysis and fitting. However, interactions between individuals can have a crucial impact on population-level behaviour. In recent decades, research has increasingly been directed towards models that include interactions, including physical crowding effects and local biological processes such as adhesion, competition, dispersal, predation and adaptive directional bias. In this article, we review the progress that has been made with models of interacting individuals. We aim to provide an overview that is accessible to researchers in application areas, as well as to specialist modellers. We focus particularly on derivation of asymptotically exact or approximate continuum-limit descriptions and simplified deterministic models of mean-field behaviour and resulting spatial patterns. We provide worked examples and illustrative results of selected models. We conclude with a discussion of current areas of focus and future challenges.

Parameter inference is essential when interpreting observational data using mathematical models. Standard inference methods for differential equation models typically rely on obtaining repeated numerical solutions of the differential equation(s). Recent results have explored how numerical truncation error can have major, detrimental, and sometimes hidden impacts on likelihood-based inference by introducing false local maxima into the log-likelihood function. We present a straightforward approach for inference that eliminates the need for solving the underlying differential equations, thereby completely avoiding the impact of truncation error. Open-access Jupyter notebooks, available on GitHub, allow others to implement this method for a broad class of widely-used models to interpret biological data., Comment: 11 pages, 2 figures

The role of memory and cognition in the movement of individuals (e.g. animals) within a population, is thought to play an important role in population dispersal. In response, there has been increasing interest in incorporating spatial memory effects into classical partial differential equation (PDE) models of animal dispersal. However, the specific detail of the transport terms, such as diffusion and advection terms, that ought to be incorporated into PDE models to accurately reflect the memory effect remains unclear. To bridge this gap, we propose a straightforward lattice-based model where the movement of individuals depends on both crowding effects and the historic distribution within the simulation. The advantage of working with the individual-based model is that it is straightforward to propose and implement memory effects within the simulation in a way that is more biologically intuitive than simply proposing heuristic extensions of classical PDE models. Through deriving the continuum limit description of our stochastic model, we obtain a novel nonlinear diffusion equation which encompasses memory-based diffusion terms. For the first time we reveal the relationship between memory-based diffusion and the individual-based movement mechanisms that depend upon memory effects. Through repeated stochastic simulation and numerical explorations of the mean-field PDE model, we show that the new PDE model accurately describes the expected behaviour of the stochastic model, and we also explore how memory effects impact population dispersal., Comment: 9 figures

This paper is concerned with the problem of counting solutions of stationary nonlinear Partial Differential Equations (PDEs) when the PDE is known to admit more than one solution. We suggest tackling the problem via a sampling-based approach. We test our proposed methodology on the McKean-Vlasov PDE, more precisely on the problem of determining the number of stationary solutions of the McKean-Vlasov (or porous medium) equation.

We treat $n$-dimensional piecewise-linear continuous maps with two pieces, each of which has exactly one unstable direction, and identify an explicit set of sufficient conditions for the existence of a chaotic attractor. The conditions correspond to an open set within the space of all such maps, allow all $n \ge 2$, and allow all possible values for the unstable eigenvalues in the limit that all stable eigenvalues tend to zero. To prove an attractor exists we use the stable manifold of a fixed point to construct a trapping region; to prove the attractor is chaotic we use the unstable directions to construct an invariant expanding cone for the derivatives of the pieces of the map. We also show the chaotic attractor is persistent under nonlinear perturbations, thus when such an attractor is created locally in a border-collision bifurcation of a general piecewise-smooth system, it persists and is chaotic for an interval of parameter values beyond the bifurcation.

This study systematically analyzes the vulnerability of 36 large language models (LLMs) to various prompt injection attacks, a technique that leverages carefully crafted prompts to elicit malicious LLM behavior. Across 144 prompt injection tests, we observed a strong correlation between model parameters and vulnerability, with statistical analyses, such as logistic regression and random forest feature analysis, indicating that parameter size and architecture significantly influence susceptibility. Results revealed that 56 percent of tests led to successful prompt injections, emphasizing widespread vulnerability across various parameter sizes, with clustering analysis identifying distinct vulnerability profiles associated with specific model configurations. Additionally, our analysis uncovered correlations between certain prompt injection techniques, suggesting potential overlaps in vulnerabilities. These findings underscore the urgent need for robust, multi-layered defenses in LLMs deployed across critical infrastructure and sensitive industries. Successful prompt injection attacks could result in severe consequences, including data breaches, unauthorized access, or misinformation. Future research should explore multilingual and multi-step defenses alongside adaptive mitigation strategies to strengthen LLM security in diverse, real-world environments.

We study quasi-periodic eigenvalue problems that arise in the stability analysis of periodic traveling wave solutions to Hamiltonian PDEs. We establish bounds on regions in the complex plane when the eigenvalues may deviate from the imaginary axis, and estimates for the number of such off-axis eigenvalues. These relations hold when the dispersion relation grows sufficiently rapidly in the wavenumber. The proofs involve a Gershgorin disk argument together with the Hamiltonian symmetry of the spectrum. The results are applicable to a broad class of nonlinear dispersive equations including the generalized Korteweg--de Vries, Benjamin--Bona--Mahoney, and Kawanhara equations., Comment: 20 pages; 3 figures

We report here the results obtained from a systematic optical photometric survey aimed at finding new compact binary millisecond pulsars (also known as "spiders"): the COmpact BInary PULsar SEarch (COBIPULSE). We acquired multi-band optical images over one year around $33$ unidentified Fermi-LAT sources, selected as pulsar candidates based on their curved GeV spectra and steady $\gamma$-ray emission. We present the discovery of four optical variables coinciding with the Fermi sources 3FGL J0737.2$-$3233, 3FGL J2117.6$+$3725 (two systems in this field) and 3FGL J2221.6$+$6507, which we propose as new candidate spider systems. Indeed, they all show optical flux modulation consistent with orbital periods of $0.3548(5) \ \mathrm{d}$, $0.25328(6) \ \mathrm{d}$, $0.441961(2) \ \mathrm{d}$, and $0.165(4) \ \mathrm{d}$, respectively, with amplitudes $\gtrsim 0.3 \ \mathrm{mag}$ and colors compatible with companion star temperatures of $5000$--$6000 \ \mathrm{K}$. These properties are consistent with the "redback" sub-class of spider pulsars. If confirmed as a millisecond pulsar, 3FGL J0737.2$-$3233 will be the closest known spider to Earth ($D=659_{-20}^{+16} \ \mathrm{pc}$, from Gaia-DR3 parallax). We searched and did not find any X-ray sources matching our four candidates, placing $3\sigma$ upper limits of $\sim10^{31}$--$10^{32} \ \mathrm{erg} \ \mathrm{s}^{-1}$ ($0.3$--$10 \ \mathrm{keV}$) on their soft X-ray luminosities. We also present and discuss other multi-wavelength information on our spider candidates, from infrared to X-rays., Comment: 38 pages, 93 figures, 4 tables. This paper has been accepted for publication in ApJ

The Zirconium (Z = 40) isotopic chain has attracted interest for more than four decades. The abrupt lowering of the energy of the first $2^+$ state and the increase in the transition strength B(E2; $2_1^\rightarrow 0_1^+$ going from $^{98}$Zr to $^{100}$Zr has been the first example of "quantum phase transition" in nuclear shapes, which has few equivalents in the nuclear chart. Although a multitude of experiments have been performed to measure nuclear properties related to nuclear shapes and collectivity in the region, none of the measured lifetimes were obtained using the Recoil Distance Doppler Shift method in the $\gamma\gamma$-coincidence mode where a gate on the direct feeding transition of the state of interest allows a strict control of systematical errors. This work reports the results of lifetime measurements for the first yrast excited states in $^{98-104}$Zr carried out to extract reduced transition probabilities. The new lifetime values in $\gamma\gamma$-coincidence and $\gamma$-single mode are compared with the results of former experiments. Recent predictions of the Interacting Boson Model with Configuration Mixing, the Symmetry Conserving Configuration Mixing model based on the Hartree-Fock-Bogoliubov approach and the Monte Carlo Shell Model are presented and compared with the experimental data.

Let $W$ be a finite group generated by reflections of a lattice $M$. If a lattice polytope $P \subset M \otimes_{\mathbb Z}\mathbb R$ is preserved by $W$, then we show that the quotient of the projective toric variety $X_P$ by $W$ is isomorphic to the toric variety $X_{P \cap D}$, where $D$ is a fundamental domain for the action of $W$. This answers a question of Horiguchi-Masuda-Shareshian-Song, and recovers results of Blume, of the second author, and of Gui-Hu-Liu., Comment: comments welcome!

Laser-driven free-electron lasers (LDFELs) replace magnetostatic undulators with the electromagnetic fields of a laser pulse. Because the undulator period is half the wavelength of the laser pulse, LDFELs can amplify x rays using lower electron energies and over shorter interaction lengths than a conventional free-electron laser. Here we show that a flying-focus pulse substantially reduces the energy required to reach high gain in an LDFEL by providing a highly uniform, high-intensity field over the entire interaction length. The flying-focus pulse features an intensity peak that travels in the opposite direction of its phase fronts. This enables an LDFEL configuration where an electron beam collides head-on with the phase fronts and experiences a near-constant undulator strength as it co-propagates with the intensity peak. Three-dimensional simulations of this configuration demonstrate the generation of megawatts of coherent x-ray radiation with 20 times less energy than a conventional laser pulse.

The lattice of flats $\mathcal L_M$ of a matroid $M$ is combinatorially well-behaved and, when $M$ is realizable, admits a geometric model in the form of a "matroid Schubert variety". In contrast, the lattice of flats of a polymatroid exhibits many combinatorial pathologies and admits no similar geometric model. We address this situation by defining the lattice $\mathcal L_P$ of "combinatorial flats" of a polymatroid $P$. Combinatorially, $\mathcal L_P$ exhibits good behavior analogous to that of $\mathcal L_M$: it is graded, determines $P$ when $P$ is simple, and is top-heavy. When $P$ is realizable over a field of characteristic 0, we show that $\mathcal L_P$ is modelled by a "polymatroid Schubert variety". Our work generalizes a number of results of Ardila-Boocher and Huh-Wang on matroid Schubert varieties; however, the geometry of polymatroid Schubert varieties is noticeably more complicated than that of matroid Schubert varieties. Many natural questions remain open., Comment: 24 pages, 3 figures, comments welcome!

In a hierarchically formed Universe, galaxies accrete smaller systems that tidally disrupt as they evolve in the host's potential. We present a complete catalogue of disrupting galaxies accreted onto Milky Way-mass haloes from the Auriga suite of cosmological magnetohydrodynamic zoom-in simulations. We classify accretion events as intact satellites, stellar streams, or phase-mixed systems based on automated criteria calibrated to a visually classified sample, and match accretions to their counterparts in haloes re-simulated at higher resolution. Most satellites with a bound progenitor at the present day have lost substantial amounts of stellar mass -- 67 per cent have $f_\text{bound} < 0.97$ (our threshold to no longer be considered intact), while 53 per cent satisfy a more stringent $f_\text{bound} < 0.8$. Streams typically outnumber intact systems, contribute a smaller fraction of overall accreted stars, and are substantial contributors at intermediate distances from the host centre ($\sim$0.1 to $\sim$0.7$R_\text{200m}$, or $\sim$35 to $\sim$250 kpc for the Milky Way). We also identify accretion events that disrupt to form streams around massive intact satellites instead of the main host. Streams are more likely than intact or phase-mixed systems to have experienced preprocessing, suggesting this mechanism is important for setting disruption rates around Milky Way-mass haloes. All of these results are preserved across different simulation resolutions, though we do find some hints that satellites disrupt more readily at lower resolution. The Auriga haloes suggest that disrupting satellites surrounding Milky Way-mass galaxies are the norm and that a wealth of tidal features waits to be uncovered in upcoming surveys., Comment: 16+4 pages, 13+2 figures, 1+1 tables. Submitted to MNRAS, comments are welcome

Galaxies like the Milky Way are surrounded by complex populations of satellites at all stages of tidal disruption. In this paper, we present a dynamical study of the disrupting satellite galaxies in the Auriga simulations that are orbiting 28 distinct Milky Way-mass hosts across three resolutions. We find that the satellite galaxy populations are highly disrupted. The majority of satellites that remain fully intact at present day were accreted recently without experiencing more than one pericentre ($n_{\rm peri} \lesssim 1$) and have large apocentres ($r_{\rm apo} \gtrsim 200$ kpc) and pericentres ($r_{\rm peri} \gtrsim 50$ kpc). The remaining satellites have experienced significant tidal disruption and, given full knowledge of the system, would be classified as stellar streams. We find stellar streams in Auriga across the range of pericentres and apocentres of the known Milky Way dwarf galaxy streams and, interestingly, overlapping significantly with the Milky Way intact satellite population. We find no significant change in satellite orbital distributions across resolution. However, we do see substantial halo-to-halo variance of $(r_\text{peri}, r_\text{apo})$ distributions across host galaxies, as well as a dependence of satellite orbits on host halo mass - systems disrupt at larger pericentres and apocentres in more massive hosts. Our results suggest that either cosmological simulations (including, but not limited to, Auriga) are disrupting satellites far too readily, or that the Milky Way's satellites are more disrupted than current imaging surveys have revealed. Future observing facilities and careful mock observations of these systems will be key to revealing the nature of this apparent discrepancy., Comment: 16 pages, 10 figures, 1 table, submitted to MNRAS

The novel series of hole-doped quadruple manganite perovskites Hg$_{1-x}$Na$_x$Mn$_3$Mn$_4$O$_{12}$ (HNMO) has been synthesized and its charge and orbital order behavior investigated through high-resolution synchrotron powder x-ray diffraction techniques. Through careful Rietveld refinements of structural models $via$ symmetry-motivated approaches, we show that the ground state of HNMO compositions adopts a polar $G$-type charge and orbital ordered state, which is rare in manganite perovskites, and is robust as a sole phase up to a critical doping level. Upon this critical doping, coincident with that in which colossal magnetoresistance (CMR) is maximal in canonical manganite perovskites, electronic phase separation occurs between $G$-type and orbital order with charge disorder-type states. The latter state has recently been identified in Ca$_{1-x}$Na$_x$Mn$_3$Mn$_4$O$_{12}$ perovskites, and proposed to be the competing insulating state from which CMR phenomena emerges. We show the mechanism for the formation of the $G$-type state is due to charge transfer processes which may occur through a coupling of distortions involving structural and charge and orbital degrees of freedom, ultimately driving the polar ground state through an improper-like ferroelectric polarization mechanism. These results will act as an important recipe for designing novel ferroelectric-active materials, in addition to expanding the richness of charge and orbital ordered states in manganite perovskites., Comment: 11 pages, 8 figures

Importance: Many individuals with drug-resistant epilepsy continue to have seizures after resective surgery. Accurate identification of focal brain abnormalities is essential for successful neurosurgical intervention. Current clinical approaches to identify structural abnormalities for surgical targeting in epilepsy do not use diffusion-weighted MRI (dMRI), despite evidence that dMRI abnormalities are present in epilepsy and may relate to the epileptogenic zone. Objective: To investigate whether surgical resection of diffusion abnormalities relates to post-operative seizure freedom. Design: This retrospective case-control study was conducted between 2009 and 2022. Data were acquired at the National Hospital for Neurology and Neurosurgery, UK. Study participants included 200 individuals with drug-resistant focal epilepsy, who underwent resective surgery, and 97 healthy controls used as a normative baseline. Main Outcomes: Spatial overlap between diffusion abnormality clusters and surgical resection masks, and relation to post-surgical outcome. Results: Surgical resections overlapping with the largest abnormal cluster significantly correlated with sustained seizure freedom at 12 months (83% vs 55%; p<0.0001) and over five years (p<0.0001). Notably, resecting only a small proportion of the largest cluster was associated with better seizure outcomes than cases with no resection of this cluster (p=0.008). Furthermore, sparing the largest cluster but resecting other large clusters still improved seizure freedom rates compared to no overlap (p=0.03). Conclusions: Our results suggest that abnormal clusters, identified using dMRI, are integral to the epileptogenic network, and even a partial removal of such an abnormal cluster is sufficient to achieve seizure freedom. The study highlights the potential of incorporating dMRI into pre-surgical planning to improve outcomes in focal epilepsy.

The stars of the Milky Way carry the chemical history of our Galaxy in their atmospheres as they journey through its vast expanse. Like barcodes, we can extract the chemical fingerprints of stars from high-resolution spectroscopy. The fourth data release (DR4) of the Galactic Archaeology with HERMES (GALAH) Survey, based on a decade of observations, provides the chemical abundances of up to 32 elements for 917 588 stars that also have exquisite astrometric data from the $Gaia$ satellite. For the first time, these elements include life-essential nitrogen to complement carbon, and oxygen as well as more measurements of rare-earth elements critical to modern-life electronics, offering unparalleled insights into the chemical composition of the Milky Way. For this release, we use neural networks to simultaneously fit stellar parameters and abundances across the full spectrum, leveraging synthetic grids computed with Spectroscopy Made Easy. These grids account for atomic line formation in non-local thermodynamic equilibrium for 14 elements. In a two-iteration process, we first fit stellar labels for all 1 085 520 spectra, then co-add repeated observations and refine these labels using astrometric data from $Gaia$ and 2MASS photometry, improving the accuracy and precision of stellar parameters and abundances. Our validation thoroughly assesses the reliability of spectroscopic measurements and highlights key caveats for catalogue users. GALAH DR4 represents yet another milestone in Galactic archaeology, combining detailed chemical compositions from multiple nucleosynthetic channels with kinematic information and age estimates. The resulting dataset, covering nearly a million stars, opens new avenues for understanding not only the chemical and dynamical history of the Milky Way, but also the broader questions of the origin of elements and the evolution of planets, stars, and galaxies., Comment: 43 pages, 38 figures to be submitted to PASA. Accompanying the GALAH Data Release 4, see https://www.galah-survey.org and https://cloud.datacentral.org.au/teamdata/GALAH/public/GALAH_DR4/. All code available on http://github.com/svenbuder/GALAH_DR4/ and https://github.com/svenbuder/galah_dr4_paper. Comments welcome

Medical imaging is spearheading the AI transformation of healthcare. Performance reporting is key to determine which methods should be translated into clinical practice. Frequently, broad conclusions are simply derived from mean performance values. In this paper, we argue that this common practice is often a misleading simplification as it ignores performance variability. Our contribution is threefold. (1) Analyzing all MICCAI segmentation papers (n = 221) published in 2023, we first observe that more than 50% of papers do not assess performance variability at all. Moreover, only one (0.5%) paper reported confidence intervals (CIs) for model performance. (2) To address the reporting bottleneck, we show that the unreported standard deviation (SD) in segmentation papers can be approximated by a second-order polynomial function of the mean Dice similarity coefficient (DSC). Based on external validation data from 56 previous MICCAI challenges, we demonstrate that this approximation can accurately reconstruct the CI of a method using information provided in publications. (3) Finally, we reconstructed 95% CIs around the mean DSC of MICCAI 2023 segmentation papers. The median CI width was 0.03 which is three times larger than the median performance gap between the first and second ranked method. For more than 60% of papers, the mean performance of the second-ranked method was within the CI of the first-ranked method. We conclude that current publications typically do not provide sufficient evidence to support which models could potentially be translated into clinical practice., Comment: Paper accepted at MICCAI 2024 conference

It is no secret that statistical modelling often involves making simplifying assumptions when attempting to study complex stochastic phenomena. Spatial modelling of extreme values is no exception, with one of the most common such assumptions being stationarity in the marginal and/or dependence features. If non-stationarity has been detected in the marginal distributions, it is tempting to try to model this while assuming stationarity in the dependence, without necessarily putting this latter assumption through thorough testing. However, margins and dependence are often intricately connected and the detection of non-stationarity in one feature might affect the detection of non-stationarity in the other. This work is an in-depth case study of this interrelationship, with a particular focus on a spatio-temporal environmental application exhibiting well-documented marginal non-stationarity. Specifically, we compare and contrast four different marginal detrending approaches in terms of our post-detrending ability to detect temporal non-stationarity in the spatial extremal dependence structure of a sea surface temperature dataset from the Red Sea., Comment: 18 pages, 7 figures

Cutting-edge abstractive summarisers generate fluent summaries, but the factuality of the generated text is not guaranteed. Early summary factuality evaluation metrics are usually based on n-gram overlap and embedding similarity, but are reported fail to align with human annotations. Therefore, many techniques for detecting factual inconsistencies build pipelines around natural language inference (NLI) or question-answering (QA) models with additional supervised learning steps. In this paper, we revisit similarity-based metrics, showing that this failure stems from the comparison text selection and its granularity. We propose a new zero-shot factuality evaluation metric, Sentence-BERT Score (SBERTScore), which compares sentences between the summary and the source document. It outperforms widely-used word-word metrics including BERTScore and can compete with existing NLI and QA-based factuality metrics on the benchmark without needing any fine-tuning. Our experiments indicate that each technique has different strengths, with SBERTScore particularly effective in identifying correct summaries. We demonstrate how a combination of techniques is more effective in detecting various types of error.

Band gap energy of an organic molecule can be reduced by intermolecular interaction enhancement, and thus, certain polycyclic aromatic hydrocarbons (PAHs), which are insulators with wide band gaps, are expected to undergo insulator-metal transitions by simple compression. Such a pressure-induced electronic transition can be exploited to transform non-metallic organic materials into states featuring intriguing electronic characteristics such as high-temperature superconductivity. Numerous attempts have been made to metalize various small PAHs, but so far only pressure-induced amorphization well below the megabar region was observed. The wide band gap energy of the small PAHs and low chemical stability under simple compression are the bottlenecks. We have investigated the band gap energy evolution and the crystal structural compression of the large PAH molecules, where the band gap energy is significantly reduced by increasing the number of {\pi}-electrons and improved chemical stability with fully benzenoid molecular structure. Herein, we present a pressure-induced transition in dicoronylene, C48H20, an insulator at ambient conditions that transforms into a semi-metallic state above 23.0 GPa with a three-order-of-magnitude reduction in resistivity. In-situ UV-visible absorption, transport property measurement, Raman spectroscopy, X-ray diffraction and density functional theory calculations were performed to provide tentative explanations to the alterations in its electronic structure at high pressure. The discovery of an electronic transition at pressures well below the megabar is a promising step towards realization of a single component purely hydrocarbon molecular metal in the near future., Comment: 22 pages, 5 figures

We introduce Clerical, a programming language for exact real-number computation that combines first-order imperative-style programming with a limit operator for computation of real numbers as limits of Cauchy sequences. We address the semidecidability of the linear ordering of the reals by incorporating nondeterministic guarded choice, through which decisions based on partial comparison operations on reals can be patched together to give total programs. The interplay between mutable state, nondeterminism, and computation of limits is controlled by the requirement that expressions computing limits and guards modify only local state. We devise a domain-theoretic denotational semantics that uses a variant of Plotkin powerdomain construction tailored to our specific version of nondeterminism. We formulate a Hoare-style specification logic, show that it is sound for the denotational semantics, and illustrate the setup by implementing and proving correct a program for computation of $\pi$ as the least positive zero of $\sin$. The modular character of Clerical allows us to compose the program from smaller parts, each of which is shown to be correct on its own. We provide a proof-of-concept OCaml implementation of Clerical, and formally verify parts of the development, notably the soundness of specification logic, in the Coq proof assistant.

The Gemini South telescope is now equipped with a new high-resolution spectrograph called GHOST (the Gemini High-resolution Optical SpecTrograph). This instrument provides high-efficiency, high-resolution spectra covering 347-1060 nm in a single exposure of either one or two targets simultaneously, along with precision radial velocity spectroscopy utilizing an internal calibration source. It can operate at a spectral element resolving power of either 76000 or 56000, and can reach a SNR$\sim$5 in a 1hr exposure on a V$\sim$20.8 mag target in median site seeing, and dark skies (per resolution element). GHOST was installed on-site in June 2022, and we report performance after full integration to queue operations in November 2023, in addition to scientific results enabled by the integration observing runs. These results demonstrate the ability to observe a wide variety of bright and faint targets with high efficiency and precision. With GHOST, new avenues to explore high-resolution spectroscopy have opened up to the astronomical community. These are described, along with the planned and potential upgrades to the instrument., Comment: Accepted in the Astronomical Journal; 26 pages, 24 figures and 4 tables

We consider the problem of direct data-driven predictive control for unknown stochastic linear time-invariant (LTI) systems with partial state observation. Building upon our previous research on data-driven stochastic control, this paper (i) relaxes the assumption of Gaussian process and measurement noise, and (ii) enables optimization of the gain matrix within the affine feedback policy. Output safety constraints are modelled using conditional value-at-risk, and enforced in a distributionally robust sense. Under idealized assumptions, we prove that our proposed data-driven control method yields control inputs identical to those produced by an equivalent model-based stochastic predictive controller. A simulation study illustrates the enhanced performance of our approach over previous designs., Comment: 8 pages, 1 figure, 2 tables, the extended version of an accepted paper in Conference on Decision and Control (CDC). arXiv admin note: text overlap with arXiv:2312.15177

Thermoelectric materials can be designed to support optical resonances across multiple spectral ranges to enable ultra-wide band photodetection. For instance, antimony telluride (Sb2Te3) chalcogenide exhibits interband plasmonic resonances in the visible range and Mie resonances in the mid-infrared (mid-IR) range, while simultaneously possessing large thermoelectric Seebeck coefficients. In this paper, we designed and fabricated Sb2Te3 metasurface devices to achieve resonant absorption for enabling photodetectors operating across an ultra-wideband spectrum, from visible to mid-IR. Furthermore, relying on asymmetric Sb2Te3 metasurface, we demonstrated the thermoelectric photodetectors with polarization-selectivity. This work provides a potential platform towards the portable ultrawide band spectrometers at room temperature, for environmental sensing applications.

The paper deals with the data-based design of state-feedback controllers that solve the output regulation problem for a class of nonlinear systems. Inspired by recent developments in model-based output regulation design techniques and in data-driven control design for nonlinear systems, we derive a data-dependent semidefinite program that, when solved, directly returns a controller that steers the regulation error to a periodic signal whose Fourier series has identically zero coefficients up to a certain order set by the controller. When specialized to the case of linear systems, the result appears to improve upon existing work. Numerical results illustrate the findings

Detecting out-of-distribution (OOD) data is crucial in machine learning applications to mitigate the risk of model overconfidence, thereby enhancing the reliability and safety of deployed systems. The majority of existing OOD detection methods predominantly address uni-modal inputs, such as images or texts. In the context of multi-modal documents, there is a notable lack of extensive research on the performance of these methods, which have primarily been developed with a focus on computer vision tasks. We propose a novel methodology termed as attention head masking (AHM) for multi-modal OOD tasks in document classification systems. Our empirical results demonstrate that the proposed AHM method outperforms all state-of-the-art approaches and significantly decreases the false positive rate (FPR) compared to existing solutions up to 7.5\%. This methodology generalizes well to multi-modal data, such as documents, where visual and textual information are modeled under the same Transformer architecture. To address the scarcity of high-quality publicly available document datasets and encourage further research on OOD detection for documents, we introduce FinanceDocs, a new document AI dataset. Our code and dataset are publicly available.

We present GTC-OSIRIS phase-resolved optical spectroscopy of three compact binary MSPs, or `spiders': PSR J1048+2339, PSR J1810+1744, and (for the first time) PSR J1908+2105. For the companion in each system, the temperature is traced throughout its orbit, and radial velocities are measured. The radial velocities are found to vary with the absorption features used when measuring them, resulting in a lower radial velocity curve semi-amplitude measured from the day side of two of the systems when compared to the night: for J1048 ($K_\mathrm{day} = 344 \pm 4$ km s$^{-1}$, $K_\mathrm{night} = 372 \pm 3$ km s$^{-1}$) and, tentatively, for J1810 ($K_\mathrm{day} = 448 \pm 19$ km s$^{-1}$, $K_\mathrm{night} = 491 \pm 32$ km s$^{-1}$). With existing inclination constraints, this gives the neutron star (NS) and companion masses $M_\mathrm{NS} = 1.50 - 2.04$ $M_\odot$ and $M_2 = 0.32 - 0.40$ $M_\odot$ for J1048, and $M_\mathrm{NS} > 1.7$ $M_\odot$ and $M_2 = 0.05 - 0.08$ $M_\odot$ for J1810. For J1908, we find an upper limit of $K_2 < 32$ km s$^{-1}$, which constrains its mass ratio $q = M_2 / M_\mathrm{NS} > 0.55$ and inclination $i < 6.0^\circ$, revealing the previously misunderstood system to be the highest mass ratio, lowest inclination redback yet. This raises questions for the origins of its substantial radio eclipses. Additionally, we find evidence of asymmetric heating in J1048 and J1810, and signs of metal enrichment in J1908. We also explore the impact of inclination on spectroscopic temperatures, and demonstrate that the temperature measured at quadrature ($\phi = 0.25, 0.75$) is essentially independent of inclination, and thus can provide additional constraints on photometric modelling., Comment: Submitted to MNRAS. 18 pages, 19 figures

While many capabilities of language models (LMs) improve with increased training budget, the influence of scale on hallucinations is not yet fully understood. Hallucinations come in many forms, and there is no universally accepted definition. We thus focus on studying only those hallucinations where a correct answer appears verbatim in the training set. To fully control the training data content, we construct a knowledge graph (KG)-based dataset, and use it to train a set of increasingly large LMs. We find that for a fixed dataset, larger and longer-trained LMs hallucinate less. However, hallucinating on $\leq5$% of the training data requires an order of magnitude larger model, and thus an order of magnitude more compute, than Hoffmann et al. (2022) reported was optimal. Given this costliness, we study how hallucination detectors depend on scale. While we see detector size improves performance on fixed LM's outputs, we find an inverse relationship between the scale of the LM and the detectability of its hallucinations., Comment: Published at COLM 2024. 16 pages, 11 figures

Certain linear matrix operators arise naturally in systems analysis and design problems involving cascade interconnections of linear time-invariant systems, including problems of stabilization, estimation, and model order reduction. We conduct here a comprehensive study of these operators and their relevant system-theoretic properties. The general theory is then leveraged to delineate both known and new design methodologies for control, estimation, and model reduction. Several entirely new designs arise from this systematic categorization, including new recursive and low-gain design frameworks for observation of cascaded systems. The benefits of the results beyond the linear time-invariant setting are demonstrated through preliminary extensions for nonlinear systems, with an outlook towards the development of a similarly comprehensive nonlinear theory., Comment: 16 pages, 5 figures, submitted for publication