Search

Current and future surveys rely on machine learning classification to obtain large and complete samples of transients. Many of these algorithms are restricted by training samples that contain a limited number of spectroscopically confirmed events. Here, we present the first real-time application of Active Learning to optimise spectroscopic follow-up with the goal of improving training sets of early type Ia supernovae (SNe Ia) classifiers. Using a photometric classifier for early SN Ia, we apply an Active Learning strategy for follow-up optimisation using the real-time FINK broker processing of the ZTF public stream. We perform follow-up observations at the ANU 2.3m telescope in Australia and obtain 92 spectroscopic classified events that are incorporated in our training set. We show that our follow-up strategy yields a training set that, with 25% less spectra, improves classification metrics when compared to publicly reported spectra. Our strategy selects in average fainter events and, not only supernovae types, but also microlensing events and flaring stars which are usually not incorporated on training sets. Our results confirm the effectiveness of active learning strategies to construct optimal training samples for astronomical classifiers. With the Rubin Observatory LSST soon online, we propose improvements to obtain earlier candidates and optimise follow-up. This work paves the way to the deployment of real-time AL follow-up strategies in the era of large surveys., Comment: Accepted for publication in PASA. 14 pages, 6 figures

We study a new class of McKean-Vlasov stochastic differential equations (SDEs), possibly with common noise, applying the theory of time-inhomogeneous polynomial processes. The drift and volatility coefficients of these SDEs depend on the state variables themselves as well as their conditional moments in a way that mimics the standard polynomial structure. Our approach leads to new results on the existence and uniqueness of solutions to such conditional McKean-Vlasov SDEs which are, to the best of our knowledge, not obtainable using standard methods. Moreover, we show in the case without common noise that the moments of these McKean-Vlasov SDEs can be computed by non-linear ODEs. As a by-product, this also yields new results on the existence and uniqueness of global solutions to certain ODEs.

Recently, Cuntz and K\"uhne introduced a particular class of hyperplane arrangements stemming from a given graph $G$, so called connected subgraph arrangements $A_G$. In this note we strengthen some of the result from their work and prove new ones for members of this class. For instance, we show that aspherical members withing this class stem from a rather restricted set of graphs. Specifically, if $A_G$ is an aspherical connected subgraph arrangement, then $A_G$ is free with the unique possible exception when the underlying graph $G$ is the complete graph on $4$ nodes., Comment: 30 pages. arXiv admin note: text overlap with arXiv:2502.02274

Moller and Randrup presented a comprehensive calculation, based on the Brownian shape motion (BSM) method, of fission-fragment charge distributions [Phys. Rev. C 91 (2015) 044316 ] which obtained that ``a new region of asymmetry'' appeared for approximately $95 \le N \le 115$ and $ 75 \le Z \le 94 $. Available experimental results at the time, except for the observation of symmetric fission of $^{187}$Ir by Itkis et al. [Yad. Fiz. 52 (1990) 944], agreed with these predictions apart for minor differences in the transition regions between predicted symmetric and asymmetric fission. It was argued [Phys. Rev. C 91 (2015) 044316 ] that the inaccurate results for $^{187}$Ir were related to inaccuracies in the calculated potential-energy surface and that such inaccuracies are related to the (in)accuracies of the calculated ground-state masses for the corresponding mass splits. We present here more detailed discussions and investigate if differences between the fission-fragment mass yields presented in [Phys. Rev. C 91 (2015) 044316 ] and experiment can occur in other regions of fissioning nuclei., Comment: 7 pages, 7 figures

Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core to our approach is the set of axioms underlying a setting for stability, which give the necessary ingredients for ``doing Lyapunov theory'' in a category of interest. With these minimal assumptions, we define the stability of equilibria, formulate Lyapunov morphisms, and demonstrate that the existence of Lyapunov morphisms is necessary and sufficient for establishing the stability of flows. To illustrate these constructions, we show how classical notions of stability, e.g., for continuous and discrete time dynamical systems, are captured by this categorical framework for Lyapunov theory. Finally, to demonstrate the extensibility of our framework, we illustrate how enriched categories, e.g., Lawvere metric spaces, yield settings for stability enabling one to ``do Lyapunov theory'' in enriched categories., Comment: 31 pages

Text embeddings and text embedding models are a backbone of many AI and NLP systems, particularly those involving search. However, interpretability challenges persist, especially in explaining obtained similarity scores, which is crucial for applications requiring transparency. In this paper, we give a structured overview of interpretability methods specializing in explaining those similarity scores, an emerging research area. We study the methods' individual ideas and techniques, evaluating their potential for improving interpretability of text embeddings and explaining predicted similarities.

Volume Interpolated Breath-Hold Examination (VIBE) MRI generates images suitable for water and fat signal composition estimation. While the two-point VIBE provides water-fat-separated images, the six-point VIBE allows estimation of the effective transversal relaxation rate R2* and the proton density fat fraction (PDFF), which are imaging markers for health and disease. Ambiguity during signal reconstruction can lead to water-fat swaps. This shortcoming challenges the application of VIBE-MRI for automated PDFF analyses of large-scale clinical data and of population studies. This study develops an automated pipeline to detect and correct water-fat swaps in non-contrast-enhanced VIBE images. Our three-step pipeline begins with training a segmentation network to classify volumes as "fat-like" or "water-like," using synthetic water-fat swaps generated by merging fat and water volumes with Perlin noise. Next, a denoising diffusion image-to-image network predicts water volumes as signal priors for correction. Finally, we integrate this prior into a physics-constrained model to recover accurate water and fat signals. Our approach achieves a < 1% error rate in water-fat swap detection for a 6-point VIBE. Notably, swaps disproportionately affect individuals in the Underweight and Class 3 Obesity BMI categories. Our correction algorithm ensures accurate solution selection in chemical phase MRIs, enabling reliable PDFF estimation. This forms a solid technical foundation for automated large-scale population imaging analysis.

We discuss the preordering problem, a joint relaxation of the correlation clustering problem and the partial ordering problem. We show that preordering remains NP-hard even for values in $\{-1,0,1\}$. We introduce a linear-time $4$-approximation algorithm and a local search technique. For an integer linear program formulation, we establish a class of non-canonical facets of the associated preorder polytope. By solving a non-canonical linear program relaxation, we obtain non-trivial upper bounds on the objective value. We provide implementations of the algorithms we define, apply these to published social networks and compare the output and efficiency qualitatively and quantitatively., Comment: Source code: https://github.com/JannikIrmai/preordering-problem

Sharing sensitive texts for scientific purposes requires appropriate techniques to protect the privacy of patients and healthcare personnel. Anonymizing textual data is particularly challenging due to the presence of diverse unstructured direct and indirect identifiers. To mitigate the risk of re-identification, this work introduces a schema of nine categories of indirect identifiers designed to account for different potential adversaries, including acquaintances, family members and medical staff. Using this schema, we annotate 100 MIMIC-III discharge summaries and propose baseline models for identifying indirect identifiers. We will release the annotation guidelines, annotation spans (6,199 annotations in total) and the corresponding MIMIC-III document IDs to support further research in this area.

Objective speech quality models aim to predict human-perceived speech quality using automated methods. However, cross-lingual generalization remains a major challenge, as Mean Opinion Scores (MOS) vary across languages due to linguistic, perceptual, and dataset-specific differences. A model trained primarily on English data may struggle to generalize to languages with different phonetic, tonal, and prosodic characteristics, leading to inconsistencies in objective assessments. This study investigates the cross-lingual performance of two speech quality models: NISQA, a CNN-based model, and a Transformer-based Audio Spectrogram Transformer (AST) model. Both models were trained exclusively on English datasets containing over 49,000 speech samples and subsequently evaluated on speech in German, French, Mandarin, Swedish, and Dutch. We analyze model performance using Pearson Correlation Coefficient (PCC) and Root Mean Square Error (RMSE) across five speech quality dimensions: coloration, discontinuity, loudness, noise, and MOS. Our findings show that while AST achieves a more stable cross-lingual performance, both models exhibit noticeable biases. Notably, Mandarin speech quality predictions correlate highly with human MOS scores, whereas Swedish and Dutch present greater prediction challenges. Discontinuities remain difficult to model across all languages. These results highlight the need for more balanced multilingual datasets and architecture-specific adaptations to improve cross-lingual generalization.

With the 4-meter Multi-Object Spectroscopic Telescope (4MOST) expected to provide an influx of transient spectra when it begins observations in early 2026 we consider the potential for real-time classification of these spectra. We investigate three extant spectroscopic transient classifiers: the Deep Automated Supernova and Host classifier (DASH), Next Generation SuperFit (NGSF) and SuperNova IDentification (SNID), with a focus on comparing the efficiency and purity of the transient samples they produce. We discuss our method for simulating realistic, 4MOST-like, host-galaxy contaminated spectra and determining quality cuts for each classifier used to ensure pure SN Ia samples while maintaining efficient classification in other transient classes. We investigate the classifiers individually and in combinations. We find that a combination of DASH and NGSF can produce a SN Ia sample with a purity of 99.9% while successfully classifying 70% of SNe Ia. However, it struggles to classify non-SN Ia transients. We investigate photometric cuts to transient magnitude and transient flux fraction, finding that both can be used to improve transient classification efficiencies by 7--25% depending on the transient subclass. Finally, we present an example classification plan for live classification and the predicted purities and efficiencies across five transient classes: Ia, Ibc, II, superluminous and non-supernova transients., Comment: Submitted to MNRAS

We discuss how desirable it is that Large Language Models (LLMs) be able to adapt or align their language behavior with users who may be diverse in their language use. User diversity may come about among others due to i) age differences; ii) gender characteristics, and/or iii) multilingual experience, and associated differences in language processing and use. We consider potential consequences for usability, communication, and LLM development.

In this study, we explore the application of Large Language Models (LLMs) for generating synthetic users and simulating user conversations with a task-oriented dialogue system and present detailed results and their analysis. We propose a comprehensive novel approach to user simulation technique that uses LLMs to create diverse user profiles, set goals, engage in multi-turn dialogues, and evaluate the conversation success. We employ two proprietary LLMs, namely GPT-4o and GPT-o1 (Achiam et al., 2023), to generate a heterogeneous base of user profiles, characterized by varied demographics, multiple user goals, different conversational styles, initial knowledge levels, interests, and conversational objectives. We perform a detailed analysis of the user profiles generated by LLMs to assess the diversity, consistency, and potential biases inherent in these LLM-generated user simulations. We find that GPT-o1 generates more heterogeneous user distribution across most user attributes, while GPT-4o generates more skewed user attributes. The generated set of user profiles are then utilized to simulate dialogue sessions by interacting with a task-oriented dialogue system.

A common paradigm for improving fuzzing performance is to focus on selected regions of a program rather than its entirety. While previous work has largely explored how these locations can be reached, their selection, that is, the where, has received little attention so far. A common paradigm for improving fuzzing performance is to focus on selected regions of a program rather than its entirety. While previous work has largely explored how these locations can be reached, their selection, that is, the where, has received little attention so far. In this paper, we fill this gap and present the first comprehensive analysis of target selection methods for fuzzing. To this end, we examine papers from leading security and software engineering conferences, identifying prevalent methods for choosing targets. By modeling these methods as general scoring functions, we are able to compare and measure their efficacy on a corpus of more than 1,600 crashes from the OSS-Fuzz project. Our analysis provides new insights for target selection in practice: First, we find that simple software metrics significantly outperform other methods, including common heuristics used in directed fuzzing, such as recently modified code or locations with sanitizer instrumentation. Next to this, we identify language models as a promising choice for target selection. In summary, our work offers a new perspective on directed fuzzing, emphasizing the role of target selection as an orthogonal dimension to improve performance.

Fact-checking is necessary to address the increasing volume of misinformation. Traditional fact-checking relies on manual analysis to verify claims, but it is slow and resource-intensive. This study establishes baseline comparisons for Automated Fact-Checking (AFC) using Large Language Models (LLMs) across multiple labeling schemes (binary, three-class, five-class) and extends traditional claim verification by incorporating analysis, verdict classification, and explanation in a structured setup to provide comprehensive justifications for real-world claims. We evaluate Llama-3 models of varying sizes (3B, 8B, 70B) on 17,856 claims collected from PolitiFact (2007-2024) using evidence retrieved via restricted web searches. We utilize TIGERScore as a reference-free evaluation metric to score the justifications. Our results show that larger LLMs consistently outperform smaller LLMs in classification accuracy and justification quality without fine-tuning. We find that smaller LLMs in a one-shot scenario provide comparable task performance to fine-tuned Small Language Models (SLMs) with large context sizes, while larger LLMs consistently surpass them. Evidence integration improves performance across all models, with larger LLMs benefiting most. Distinguishing between nuanced labels remains challenging, emphasizing the need for further exploration of labeling schemes and alignment with evidences. Our findings demonstrate the potential of retrieval-augmented AFC with LLMs.

RuCl$_3$ was likely the first ever deliberately synthesized ruthenium compound, following the discovery of the $_{44}$Ru element in 1844. For a long time it was known as an oxidation catalyst, with its physical properties being discrepant and confusing, until a decade ago when its allotropic form $\alpha$-RuCl$_3$ rose to exceptional prominence. This "re-discovery" of $\alpha$-RuCl$_3$ has not only reshaped the hunt for a material manifestation of the Kitaev spin liquid, but it has opened the floodgates of theoretical and experimental research in the many unusual phases and excitations that the anisotropic-exchange magnets as a class of compounds have to offer. Given its importance for the field of Kitaev materials, it is astonishing that the low-energy spin model that describes this compound and its possible proximity to the much-desired spin-liquid state is still a subject of significant debate ten years later. In the present study, we argue that the existing key phenomenological observations put strong natural constraints on the effective microscopic spin model of $\alpha$-RuCl$_3$, and specifically on its spin-orbit-induced anisotropic-exchange parameters that are responsible for the non-trivial physical properties of this material. These constraints allow one to focus on the relevant region of the multi-dimensional phase diagram of the $\alpha$-RuCl$_3$ model, suggest an intuitive description of it via a different parametrization of the exchange matrix, offer a unifying view on the earlier assessments of its parameters, and bring closer together several approaches to the derivation of anisotropic-exchange models. We explore extended phase diagrams relevant to the $\alpha$-RuCl$_3$ parameter space using quasi-classical, Luttinger-Tisza, exact diagonalization, and density-matrix renormalization group methods, demonstrating a remarkably c... (arxiv cutoff; for the rest, see the paper), Comment: 39 pages, 28 Figures. Text of immense pedagogical power. Fixed Ref. [1]

Cross-Site Scripting (XSS) is a prevalent and well known security problem in web applications. Numerous methods to automatically analyze and detect these vulnerabilities exist. However, all of these methods require that either code or feedback from the application is available to guide the detection process. In larger web applications, inputs can propagate from a frontend to an internal backend that provides no feedback to the outside. None of the previous approaches are applicable in this scenario, known as blind XSS (BXSS). In this paper, we address this problem and present the first comprehensive study on BXSS. As no feedback channel exists, we verify the presence of vulnerabilities through blind code execution. For this purpose, we develop a method for synthesizing polyglots, small XSS payloads that execute in all common injection contexts. Seven of these polyglots are already sufficient to cover a state-of-the-art XSS testbed. In a validation on real-world client-side vulnerabilities, we show that their XSS detection rate is on par with existing taint tracking approaches. Based on these polyglots, we conduct a study of BXSS vulnerabilities on the Tranco Top 100,000 websites. We discover 20 vulnerabilities in 18 web-based backend systems. These findings demonstrate the efficacy of our detection approach and point at a largely unexplored attack surface in web security., Comment: USENIX Security 2024

African American English (AAE) presents unique challenges in natural language processing (NLP). This research systematically compares the performance of available NLP models--rule-based, transformer-based, and large language models (LLMs)--capable of identifying key grammatical features of AAE, namely Habitual Be and Multiple Negation. These features were selected for their distinct grammatical complexity and frequency of occurrence. The evaluation involved sentence-level binary classification tasks, using both zero-shot and few-shot strategies. The analysis reveals that while LLMs show promise compared to the baseline, they are influenced by biases such as recency and unrelated features in the text such as formality. This study highlights the necessity for improved model training and architectural adjustments to better accommodate AAE's unique linguistic characteristics. Data and code are available., Comment: 13 pages, Accepted to "Findings of the Association for Computational Linguistics: NAACL 2025"

Most existing Knowledge Graph Question Answering (KGQA) approaches are designed for a specific KG, such as Wikidata, DBpedia or Freebase. Due to the heterogeneity of the underlying graph schema, topology and assertions, most KGQA systems cannot be transferred to unseen Knowledge Graphs (KGs) without resource-intensive training data. We present OntoSCPrompt, a novel Large Language Model (LLM)-based KGQA approach with a two-stage architecture that separates semantic parsing from KG-dependent interactions. OntoSCPrompt first generates a SPARQL query structure (including SPARQL keywords such as SELECT, ASK, WHERE and placeholders for missing tokens) and then fills them with KG-specific information. To enhance the understanding of the underlying KG, we present an ontology-guided, hybrid prompt learning strategy that integrates KG ontology into the learning process of hybrid prompts (e.g., discrete and continuous vectors). We also present several task-specific decoding strategies to ensure the correctness and executability of generated SPARQL queries in both stages. Experimental results demonstrate that OntoSCPrompt performs as well as SOTA approaches without retraining on a number of KGQA datasets such as CWQ, WebQSP and LC-QuAD 1.0 in a resource-efficient manner and can generalize well to unseen domain-specific KGs like DBLP-QuAD and CoyPu KG Code: \href{https://github.com/LongquanJiang/OntoSCPrompt}{https://github.com/LongquanJiang/OntoSCPrompt}, Comment: Accepted By ICSC 2025

This paper conducts a comprehensive layer-wise analysis of self-supervised learning (SSL) models for audio deepfake detection across diverse contexts, including multilingual datasets (English, Chinese, Spanish), partial, song, and scene-based deepfake scenarios. By systematically evaluating the contributions of different transformer layers, we uncover critical insights into model behavior and performance. Our findings reveal that lower layers consistently provide the most discriminative features, while higher layers capture less relevant information. Notably, all models achieve competitive equal error rate (EER) scores even when employing a reduced number of layers. This indicates that we can reduce computational costs and increase the inference speed of detecting deepfakes by utilizing only a few lower layers. This work enhances our understanding of SSL models in deepfake detection, offering valuable insights applicable across varied linguistic and contextual settings. Our trained models and code are publicly available: https://github.com/Yaselley/SSL_Layerwise_Deepfake., Comment: Accepted to NAACL Findings 2025

Identifying quantum spin liquids, magnon breakdown, or fractionalized excitations in quantum magnets is an ongoing challenge due to the ambiguity of possible origins of excitation continua occurring in linear response probes. Recently, it was proposed that techniques measuring higher-order response, such as two-dimensional coherent spectroscopy (2DCS), could resolve such ambiguities. Numerically simulating nonlinear response functions can, however, be computationally very demanding. We present an efficient Lanczos-based method to compute second-order susceptibilities $\chi^{2}\omega_t,\omega_\tau)$ directly in the frequency domain. Applying this to extended Kitaev models describing $\alpha$-RuCl$_3$, we find qualitatively different nonlinear responses between intermediate magnetic field strengths and the high-field regime. To put these results into context, we derive the general 2DCS response of partially-polarized magnets within the linear spin-wave approximation, establishing that $\chi^2(\omega_t,\omega_\tau)$ is restricted to a distinct universal form if the excitations are conventional magnons. Deviations from this form, as predicted in our (Lanczos-based) simulations for $\alpha$-RuCl$_3$, can hence serve in 2DCS experiments as direct criteria to determine whether an observed excitation continuum is of conventional two-magnon type or of different nature., Comment: 8 pages, 5 figures

In this work, we reimagine classical probing to evaluate knowledge transfer from simple source to more complex target tasks. Instead of probing frozen representations from a complex source task on diverse simple target probing tasks (as usually done in probing), we explore the effectiveness of embeddings from multiple simple source tasks on a single target task. We select coreference resolution, a linguistically complex problem requiring contextual understanding, as focus target task, and test the usefulness of embeddings from comparably simpler tasks tasks such as paraphrase detection, named entity recognition, and relation extraction. Through systematic experiments, we evaluate the impact of individual and combined task embeddings. Our findings reveal that task embeddings vary significantly in utility for coreference resolution, with semantic similarity tasks (e.g., paraphrase detection) proving most beneficial. Additionally, representations from intermediate layers of fine-tuned models often outperform those from final layers. Combining embeddings from multiple tasks consistently improves performance, with attention-based aggregation yielding substantial gains. These insights shed light on relationships between task-specific representations and their adaptability to complex downstream tasks, encouraging further exploration of embedding-level task transfer.

The weak gravitational lensing magnification of Type Ia supernovae (SNe Ia) is sensitive to the matter power spectrum on scales $k>1 h$ Mpc$^{-1}$, making it unwise to interpret SNe Ia lensing in terms of power on linear scales. We compute the probability density function of SNe Ia magnification as a function of standard cosmological parameters, plus an empirical parameter $A_{\rm mod}$ which describes the suppression or enhancement of matter power on non-linear scales compared to a cold dark matter only model. While baryons are expected to enhance power on the scales relevant to SN Ia lensing, other physics such as neutrino masses or non-standard dark matter may suppress power. Using the Dark Energy Survey Year-5 sample, we find $A_{\rm mod} = 0.77^{+0.69}_{-0.40}$ (68\% credible interval around the median). Although the median is consistent with unity there are hints of power suppression, with $A_{\rm mod} < 1.09$ at 68\% credibility., Comment: 12 pages, submitted to MNRAS. arXiv admin note: text overlap with arXiv:2410.07956

The Time Domain Extragalactic Survey (TiDES) conducted on the 4-metre Multi-Object Spectroscopic Telescope (4MOST) will perform spectroscopic follow-up of extragalactic transients discovered in the era of the NSF-DOE Vera C. Rubin Observatory. TiDES will conduct a 5-year survey, covering ${>}14\,000\,\mathrm{square\, degrees}$, and use around 250 000 fibre hours to address three main science goals: (i) spectroscopic observations of ${>}30 000$ live transients, (ii) comprehensive follow-up of ${>}200 000$ host galaxies to obtain redshift measurements, and (iii) repeat spectroscopic observations of Active Galactic Nuclei to enable reverberation mapping studies. The live spectra from TiDES will be used to reveal the diversity and astrophysics of both normal and exotic supernovae across the luminosity-timescale plane. The extensive host-galaxy redshift campaign will allow exploitation of the larger sample of supernovae and improve photometric classification, providing the largest-ever sample of spec-confirmed type Ia supernovae, capable of a sub-2 per cent measurement of the equation-of-state of dark energy. Finally, the TiDES reverberation mapping experiment of 700--1\,000 AGN will complement the SN Ia sample and extend the Hubble diagram to $z\sim2.5$, Comment: 18 pages, 14 figures, submitted to MNRAS

Chronic rhinosinusitis (CRS) is a common and persistent sinus imflammation that affects 5 - 12\% of the general population. It significantly impacts quality of life and is often difficult to assess due to its subjective nature in clinical evaluation. We introduce PARASIDE, an automatic tool for segmenting air and soft tissue volumes of the structures of the sinus maxillaris, frontalis, sphenodalis and ethmoidalis in T1 MRI. By utilizing that segmentation, we can quantify feature relations that have been observed only manually and subjectively before. We performed an exemplary study and showed both volume and intensity relations between structures and radiology reports. While the soft tissue segmentation is good, the automated annotations of the air volumes are excellent. The average intensity over air structures are consistently below those of the soft tissues, close to perfect separability. Healthy subjects exhibit lower soft tissue volumes and lower intensities. Our developed system is the first automated whole nasal segmentation of 16 structures, and capable of calculating medical relevant features such as the Lund-Mackay score.

Machine learning-based classifiers are commonly evaluated by metrics like accuracy, but deeper analysis is required to understand their strengths and weaknesses. MLMC is a visual exploration tool that tackles the challenge of multi-label classifier comparison and evaluation. It offers a scalable alternative to confusion matrices which are commonly used for such tasks, but don't scale well with a large number of classes or labels. Additionally, MLMC allows users to view classifier performance from an instance perspective, a label perspective, and a classifier perspective. Our user study shows that the techniques implemented by MLMC allow for a powerful multi-label classifier evaluation while preserving user friendliness., Comment: 12 pages

Benchmarks are important tools for tracking the rapid advancements in large language model (LLM) capabilities. However, benchmarks are not keeping pace in difficulty: LLMs now achieve over 90\% accuracy on popular benchmarks like MMLU, limiting informed measurement of state-of-the-art LLM capabilities. In response, we introduce Humanity's Last Exam (HLE), a multi-modal benchmark at the frontier of human knowledge, designed to be the final closed-ended academic benchmark of its kind with broad subject coverage. HLE consists of 2,700 questions across dozens of subjects, including mathematics, humanities, and the natural sciences. HLE is developed globally by subject-matter experts and consists of multiple-choice and short-answer questions suitable for automated grading. Each question has a known solution that is unambiguous and easily verifiable, but cannot be quickly answered via internet retrieval. State-of-the-art LLMs demonstrate low accuracy and calibration on HLE, highlighting a significant gap between current LLM capabilities and the expert human frontier on closed-ended academic questions. To inform research and policymaking upon a clear understanding of model capabilities, we publicly release HLE at https://lastexam.ai., Comment: 27 pages, 6 figures

During the past decade, state-of-the-art planet-finder instruments like SPHERE@VLT, coupling coronagraphic devices and extreme adaptive optics systems, unveiled, thanks to large surveys, around 20 planetary mass companions at semi-major axis greater than 10 astronomical units. Direct imaging being the only detection technique to be able to probe this outer region of planetary systems, the SPHERE infrared survey for exoplanets (SHINE) was designed and conducted from 2015 to 2021 to study the demographics of such young gas giant planets around 400 young nearby solar-type stars. In this paper, we present the observing strategy, the data quality, and the point sources analysis of the full SHINE statistical sample as well as snapSHINE. Both surveys used the SPHERE@VLT instrument with the IRDIS dual band imager in conjunction with the integral field spectrograph IFS and the angular differential imaging observing technique. All SHINE data (650 datasets), corresponding to 400 stars, including the targets of the F150 survey, are processed in a uniform manner with an advanced post-processing algorithm called PACO ASDI. An emphasis is put on the classification and identification of the most promising candidate companions. Compared to the previous early analysis SHINE F150, the use of advanced post-processing techniques significantly improved by one or 2 magnitudes (x3-x6) the contrast detection limits, which will allow us to put even tighter constraints on the radial distribution of young gas giants. This increased sensitivity directly places SHINE as the largest and deepest direct imaging survey ever conducted. We detected and classified more than 3500 physical sources. One additional substellar companion has been confirmed during the second phase of the survey (HIP 74865 B), and several new promising candidate companions are awaiting second epoch confirmations., Comment: Accepted for publication in A&A. 19 pages, 19 figures. Abstract shortened to comply with ArxiV standards. Data ingestion at the CDS is ongoing

We report on an experimental study of spin and valley blockade in two-electron bilayer graphene (BLG) double quantum dots (DQDs) and explore the limits set by asymmetric orbitals and electronelectron interactions. The results obtained from magnetotransport measurements on two-electron BLG DQDs, where the resonant tunneling transport involves both orbital symmetric and antisymmetric two-particle states, show a rich level spectrum. We observe a magnetic field tunable spin and valley blockade, which is limited by the orbital splitting, the strength of the electron-electron interaction and the difference in the valley g-factors between the symmetric and antisymmetric twoparticle orbital states. Our conclusions are supported by simulations based on rate equations, which allow the identification of prominent interdot transitions associated with the transition from single to two-particle states observed in the experiment., Comment: 16 pages, 11 figures

Recent cosmological analyses measuring distances of Type Ia Supernovae (SNe Ia) and Baryon Acoustic Oscillations (BAO) have all given similar hints at time-evolving dark energy. To examine whether underestimated SN Ia systematics might be driving these results, Efstathiou (2024) compared overlapping SN events between Pantheon+ and DES-SN5YR (20% SNe are in common), and reported evidence for a $\sim$0.04 mag offset between the low and high-redshift distance measurements of this subsample of events. If these offsets are arbitrarily subtracted from the entire DES-SN5YR sample, the preference for evolving dark energy is reduced. In this paper, we reproduce this offset and show that it has two sources. First, 43% of the offset is due to DES-SN5YR improvements in the modelling of supernova intrinsic scatter and host galaxy properties. These are scientifically-motivated modelling updates implemented in DES-SN5YR and their associated uncertainties are captured within the DES-SN5YR systematic error budget. Even if the less accurate scatter model and host properties from Pantheon+ are used instead, the DES-SN5YR evidence for evolving dark energy is only reduced from 3.9$\sigma$ to 3.3$\sigma$. Second, 38% of the offset is due to a misleading comparison because different selection functions characterize the DES subsets included in Pantheon+ and DES-SN5YR and therefore individual SN distance measurements are expected to be different because of different bias corrections. In conclusion, we confirm the validity of the published DES-SN5YR results., Comment: 9 pages, 5 figures

In three-dimensional space an electron moving in the field of a magnetic monopole has no bound states. In this paper we explore the physics when the electron is restricted to a two-dimensional plane adjacent to a magnetic monopole. We find bound states in the classical version of the problem and quasi-bound states in the quantum one, in addition to a continuum of scattering states. We calculate the lifetimes of the quasi-bound states using several complementary approximate methods, which agree well in the cases where the lifetimes are relatively short. The threshold monopole magnetic charge required to realise a single quasi-bound state is approximately $18Q_D$, where $Q_D$ is the magnetic charge of a Dirac monopole. We examine the feasibility of achieving this magnetic charge in currently available monopole analogues: spin ice, artificial spin ice, and magnetic needles., Comment: 26 pages

Counterfactual examples are widely used in natural language processing (NLP) as valuable data to improve models, and in explainable artificial intelligence (XAI) to understand model behavior. The automated generation of counterfactual examples remains a challenging task even for large language models (LLMs), despite their impressive performance on many tasks. In this paper, we first introduce ZeroCF, a faithful approach for leveraging important words derived from feature attribution methods to generate counterfactual examples in a zero-shot setting. Second, we present a new framework, FitCF, which further verifies aforementioned counterfactuals by label flip verification and then inserts them as demonstrations for few-shot prompting, outperforming two state-of-the-art baselines. Through ablation studies, we identify the importance of each of FitCF's core components in improving the quality of counterfactuals, as assessed through flip rate, perplexity, and similarity measures. Furthermore, we show the effectiveness of LIME and Integrated Gradients as backbone attribution methods for FitCF and find that the number of demonstrations has the largest effect on performance. Finally, we reveal a strong correlation between the faithfulness of feature attribution scores and the quality of generated counterfactuals., Comment: In submission

In this article we prove results about finite soluble groups that act with fixity 2 or 3.

Recently, a direct connection between static structure factors and quantum ground states for two-spin interaction Hamiltonians was proven. This suggests the possibility of quantum state tomography from neutron scattering. Here, we investigate the associated fitness landscape numerically. We find a linear relationship between the mean square distances of the structure factors and the associated state overlaps, implying a well-behaved fitness landscape. Furthermore, we find evidence suggesting that the approach can be generalized to thermal equilibrium states. We also extend the arguments to the cases of applied magnetic fields and finite clusters., Comment: 9 pages, 3 figures, to be submitted to the Physical Review Letters

Being able to reconstruct training data from the parameters of a neural network is a major privacy concern. Previous works have shown that reconstructing training data, under certain circumstances, is possible. In this work, we analyse such reconstructions empirically and propose a new formulation of the reconstruction as a solution to a bilevel optimisation problem. We demonstrate that our formulation as well as previous approaches highly depend on the initialisation of the training images $x$ to reconstruct. In particular, we show that a random initialisation of $x$ can lead to reconstructions that resemble valid training samples while not being part of the actual training dataset. Thus, our experiments on affine and one-hidden layer networks suggest that when reconstructing natural images, yet an adversary cannot identify whether reconstructed images have indeed been part of the set of training samples.

As humanoid service robots are becoming more and more perceptible in public service settings for instance as a guide to welcome visitors or to explain a procedure to follow, it is desirable to improve the comprehensibility of complex issues for human customers and to adapt the level of difficulty of the information provided as well as the language used to individual requirements. This work examines a case study using a humanoid social robot Pepper performing support for customers in a public service environment offering advice and information. An application architecture is proposed that improves the intelligibility of the information received by providing the possibility to translate this information into easy language and/or into another spoken language.

Different hybrid quantum-classical algorithms have recently been developed as a near-term way to solve linear systems of equations on quantum devices. However, the focus has so far been mostly on the methods, rather than the problems that they need to tackle. In fact, these algorithms have been run on real hardware only for problems in quantum physics, such as Hamiltonians of a few qubits systems. These problems are particularly favorable for quantum hardware, since their matrices are the sum of just a few unitary terms and since only shallow quantum circuits are required to estimate the cost function. However, for many interesting problems in linear algebra, it appears far less trivial to find an efficient decomposition and to trade it off with the depth of the cost quantum circuits. A first simple yet interesting instance to consider are tridiagonal systems of equations. These arise, for instance, in the discretization of one-dimensional finite element analyses. This work presents a method to solve a class of tridiagonal systems of equations with the variational quantum linear solver (VQLS), a recently proposed variational hybrid algorithm for solving linear systems. In particular, we present a new decomposition for this class of matrices based on both Pauli strings and multi--qubit gates, resulting in less terms than those obtained by just using Pauli gates. Based on this decomposition, we discuss the tradeoff between the number of terms and the near-term implementability of the quantum circuits. Furthermore, we present the first simulated and real-hardware results obtained by solving tridiagonal linear systems with VQLS, using the decomposition proposed., Comment: 7 pages, 2 figures, 2 tables

The giant molecular cloud complex Sagittarius B2 (Sgr~B2) in the central molecular zone of our Galaxy hosts several high-mass star formation sites, with Sgr~B2(M) and Sgr~B2(N) being the main centers of activity. This analysis aims to comprehensively model each core spectrum, considering molecular lines, dust attenuation, and free-free emission interactions. We describe the molecular content analysis of each hot core and identify the chemical composition of detected sources. Using ALMA's high sensitivity, we aim to characterize the hot core population in Sgr~B2(M) and N, gaining a better understanding of the different evolutionary phases of star formation processes in this complex. We conducted an unbiased ALMA spectral line survey of 47 sources in band 6 (211-275 GHz). Chemical composition and column densities were derived using XCLASS, assuming local thermodynamic equilibrium. Quantitative descriptions for each molecule were determined, considering all emission and absorption features across the spectral range. Temperature and velocity distributions were analyzed, and derived abundances were compared with other spectral line surveys. We identified 65 isotopologs from 41 different molecules, ranging from light molecules to complex organic compounds, originating from various environments. Most sources in the Sgr~B2 complex were assigned different evolutionary phases of high-mass star formation. Sgr~B2(N) hot cores show more complex molecules such as CH$_3$OH, CH$_3$OCHO, and CH$_3$OCH$_3$, while M cores contain lighter molecules such as SO$_2$, SO, and NO. Some sulfur-bearing molecules are more abundant in N than in M. The derived molecular abundances can be used for comparison and to constrain astrochemical models. Inner sources in both regions were generally more developed than outer sources, with some exceptions.

Object pose estimation from a single view remains a challenging problem. In particular, partial observability, occlusions, and object symmetries eventually result in pose ambiguity. To account for this multimodality, this work proposes training a diffusion-based generative model for 6D object pose estimation. During inference, the trained generative model allows for sampling multiple particles, i.e., pose hypotheses. To distill this information into a single pose estimate, we propose two novel and effective pose selection strategies that do not require any additional training or computationally intensive operations. Moreover, while many existing methods for pose estimation primarily focus on the image domain and only incorporate depth information for final pose refinement, our model solely operates on point cloud data. The model thereby leverages recent advancements in point cloud processing and operates upon an SE(3)-equivariant latent space that forms the basis for the particle selection strategies and allows for improved inference times. Our thorough experimental results demonstrate the competitive performance of our approach on the Linemod dataset and showcase the effectiveness of our design choices. Code is available at https://github.com/zitronian/6DPoseDiffusion .

We present qlbm, a Python software package designed to facilitate the development, simulation, and analysis of Quantum Lattice Boltzmann Methods (QBMs). qlbm is a modular framework that introduces a quantum component abstraction hierarchy tailored to the implementation of novel QBMs. The framework interfaces with state-of-the-art quantum software infrastructure to enable efficient simulation and validation pipelines, and leverages novel execution and pre-processing techniques that significantly reduce the computational resources required to develop quantum circuits. We demonstrate the versatility of the software by showcasing multiple QBMs in 2D and 3D with complex boundary conditions, integrated within automated benchmarking utilities. Accompanying the source code are extensive test suites, thorough online documentation resources, analysis tools, visualization methods, and demos that aim to increase the accessibility of QBMs while encouraging reproducibility and collaboration. The source code of qlbm is publicly available under a permissive MPL 2.0 license at \url{https://github.com/QCFD-Lab/qlbm}., Comment: 31 pages, 19 figures

Compact binary mergers detectable in gravitational waves can be accompanied by a kilonova, an electromagnetic transient powered by radioactive decay of newly synthesised r-process elements. A few kilonova candidates have been observed during short gamma-ray burst follow-up, and one found associated with a gravitational wave detection, GW170817. However, robust kilonova candidates are yet to be found in un-triggered, wide-field optical surveys, that is, a search not requiring an initial gravitational wave or gamma-ray burst trigger. Here we present the first observing run for the Kilonova and Transients Program (KNTraP) using the Dark Energy Camera. The first KNTraP run ran for 11 nights, covering 31 fields at a nightly cadence in two filters. The program can detect transients beyond the LIGO/Virgo/KAGRA horizon, be agnostic to the merger orientation, avoid the Sun and/or Galactic plane, and produces high cadence multi-wavelength light curves. The data were processed nightly in real-time for rapid identification of transient candidates, allowing for follow-up of interesting candidates before they faded away. Three fast-rising candidates were identified in real-time, however none had the characteristics of the kilonova AT2017gfo associated with GW170817 or with the expected evolution for kilonovae from our fade-rate models. After the run, the data were reprocessed, then subjected to stringent filtering and model fitting to search for kilonovae offline. Multiple KNTraP runs (3+) are expected to detect kilonovae via this optical-only search method. No kilonovae were detected in this first KNTraP run using our selection criteria, constraining the KN rate to $R < 1.8\times10^{5}$ Gpc$^{-3}$ yr$^{-1}$., Comment: 17 pages, 6 figures, 3 tables, submitted to MNRAS

GRB$\,$220831A is a gamma-ray burst (GRB) with a duration and spectral peak energy that places it at the interface between the distribution of long-soft and short-hard GRBs. In this paper, we present the multi-wavelength follow-up campaign to GRB$\,$220831A and its optical, near-infrared, X-ray and radio counterparts. Our deep optical and near-infrared observations do not reveal an underlying host galaxy, and establish that GRB$\,$220831A is observationally hostless to depth, $m_i\gtrsim26.6$ AB mag. Based on the Amati relation and the non-detection of an accompanying supernova, we find that this GRB is most likely to have originated from a collapsar at $z>2$, but it could also possibly be a compact object merger at $z<0.4$ with a large separation distance from its host galaxy. Regardless of its origin, we show that its optical and near-infrared counterpart departs from the evolution expected from a forward shock dominated synchrotron afterglow, exhibiting a steep post-break temporal powerlaw index of $-3.83^{+0.62}_{-0.79}$, too steep to be the jet-break. By analysing a range of models, we find that the observed steep departure from forward shock closure relations is likely due to an internal process producing either a flare or a plateau., Comment: 17 pages, 14 figures, 7 tables, accepted for publication in MNRAS

We explicitly construct nondegenerate braided $\mathbb{Z}_2$-crossed tensor categories of the form $\operatorname{Vect}_\Gamma\oplus\operatorname{Vect}_{\Gamma/2\Gamma}$. They are $\mathbb{Z}_2$-crossed extensions, in the sense of arXiv:0909.3140, of the braided tensor category $\operatorname{Vect}_\Gamma$ with $\mathbb{Z}_2$-action given by $-\mathrm{id}$ on the finite, abelian group $\Gamma$. Thus, we obtain generalisations of the Tambara-Yamagami categories, where now the abelian group $\Gamma$ may have even order and the nontrivial sector $\operatorname{Vect}_{\Gamma/2\Gamma}$ more than one simple object. The idea for this construction comes from a physically motivated approach in arXiv:2409.16357 to construct $\mathbb{Z}_2$-crossed extensions of $\operatorname{Vect}_\Gamma$ for any $\Gamma$ from an infinite Tambara-Yamagami category $\operatorname{Vect}_{\mathbb{R}^d}\oplus\operatorname{Vect}$, which itself is not fully rigorously defined, and then using condensation from $\operatorname{Vect}_{\mathbb{R}^d}$ to $\operatorname{Vect}_\Gamma$, which we prove commutes with crossed extensions. The $\mathbb{Z}_2$-equivariantisation of $\operatorname{Vect}_\Gamma\oplus\operatorname{Vect}_{\Gamma/2\Gamma}$ yields new modular tensor categories, which correspond to the orbifold of an arbitrary lattice vertex operator algebra under a lift of $-\mathrm{id}$, as discussed in arXiv:2409.16357., Comment: 47 pages, LaTeX; the construction in this paper was originally part of a longer paper arXiv:2409.16357, from which it is split off to improve readability

Lifted probabilistic inference exploits symmetries in a probabilistic model to allow for tractable probabilistic inference with respect to domain sizes of logical variables. We found that the current state-of-the-art algorithm to construct a lifted representation in form of a parametric factor graph misses symmetries between factors that are exchangeable but scaled differently, thereby leading to a less compact representation. In this paper, we propose a generalisation of the advanced colour passing (ACP) algorithm, which is the state of the art to construct a parametric factor graph. Our proposed algorithm allows for potentials of factors to be scaled arbitrarily and efficiently detects more symmetries than the original ACP algorithm. By detecting strictly more symmetries than ACP, our algorithm significantly reduces online query times for probabilistic inference when the resulting model is applied, which we also confirm in our experiments., Comment: Accepted to the Proceedings of the 3rd Learning on Graphs Conference (LoG 2024)

XAI research often focuses on settings where people learn about and assess algorithmic systems individually. However, as more public AI systems are deployed, it becomes essential for XAI to facilitate collective understanding and deliberation. We conducted a task-based interview study involving 8 focus groups and 12 individual interviews to explore how explanations can support AI novices in understanding and forming opinions about AI systems. Participants received a collection of explanations organized into four information categories to solve tasks and decide about a system's deployment. These explanations improved or calibrated participants' self-reported understanding and decision confidence and facilitated group discussions. Participants valued both technical and contextual information and the self-directed and modular explanation structure. Our contributions include an explanation approach that facilitates both individual and collaborative interaction and explanation design recommendations, including active and controllable exploration, different levels of information detail and breadth, and adaptations to the needs of decision subjects., Comment: 24 pages main text, 7 figures, 4 tables, supplementary material included

In the last decade, crowdsourcing has become a popular method for conducting quantitative empirical studies in human-machine interaction. The remote work on a given task in crowdworking settings suits the character of typical speech/language-based interactive systems for instance with regard to argumentative conversations and information retrieval. Thus, crowdworking promises a valuable opportunity to study and evaluate the usability and user experience of real humans in interactions with such interactive systems. In contrast to physical attendance in laboratory studies, crowdsourcing studies offer much more flexible and easier access to large numbers of heterogeneous participants with a specific background, e.g., native speakers or domain expertise. On the other hand, the experimental and environmental conditions as well as the participant's compliance and reliability (at least better monitoring of the latter) are much better controllable in a laboratory. This paper seeks to present a (self-)critical examination of crowdsourcing-based studies in the context of complex (spoken) dialogue systems. It describes and discusses observed issues in crowdsourcing studies involving complex tasks and suggests solutions to improve and ensure the quality of the study results. Thereby, our work contributes to a better understanding and what needs to be considered when designing and evaluating studies with crowdworkers for complex dialogue systems., Comment: 14 pages, accepted to 13th International Workshop on Spoken Dialogue Systems (IWSDS), Los Angeles, USA, February 21--24, 2023

We, the QAIMS lab lab at the Aerospace Faculty of TU Delft, participated as finalists in the Airbus/BMW Quantum Computing Challenge 2024. Stacking sequence retrieval, a complex combinatorial task within a bi-level optimization framework, is crucial for designing laminated composites that meet aerospace requirements for weight, strength, and stiffness. This document presents the scientifically relevant sections of our submission, which builds on our prior research on applying quantum computation to this challenging design problem. For the competition, we expanded our previous work in several significant ways. First, we incorporated a full set of manufacturing constraints into our algorithmic framework, including those previously established theoretically but not yet demonstrated, thereby aligning our approach more closely with real-world manufacturing demands. We implemented the F-VQE algorithm, which enhances the probability shaping of optimal solutions, improving on simpler variational quantum algorithms. Our approach also demonstrates flexibility by accommodating diverse objectives as well as finer ply-angle increments alongside the previously demonstrated conventional ply angles. Scalability was tested using the DMRG algorithm, which, despite limitations in entanglement representation, enabled simulations with up to 200 plies. Results were directly compared to conventional stacking sequence retrieval algorithms with DMRG showing high competitiveness. Given DMRG's limited entanglement capabilities, it serves as a conservative baseline, suggesting potential for even greater performance on fully realized quantum systems. This document serves to make our competition results publicly available as we prepare a formal publication on these findings and their implications for aerospace materials design optimization., Comment: Scientifically relevant sections of a submission to 2024 Airbus/BMW Quantum Computing Challenge. 26 pages, 10 figures, 3 tables

This study explored a concept for using Augmented Reality (AR) glasses to customize augmented table setup and lighting in a restaurant. The aim was to provide insights into AR usage in restaurants and contribute to existing research by introducing an extendable and versatile concept for scholars and restaurateurs. A controlled laboratory study, using a within-subjects design, was conducted to investigate the effects of a customizable augmented table setup and lighting on user experience (UX), perceived waiting time, psychological ownership, and social acceptability. A simulated restaurant environment was created using a 360-degree image in Virtual Reality (VR). The study implemented default and customizable table setup and lighting. Results from a paired samples t-test showed a statistically significant effect of table setup and lighting on the pragmatic quality of UX, hedonic quality of UX, overall UX, valence, dominance, psychological ownership, and affect. Furthermore, table setup had a significant effect on arousal and perceived waiting time. Moreover, table setup significantly affected AR interaction, isolation, and safety acceptability, while lighting only affected AR interaction acceptability. Findings suggest that these investigated variables are worth considering for AR applications in a restaurant, especially when offering customizable augmented table setup and lighting., Comment: This paper was accepted as short paper at IEEE ISM 2024, and will be presented on the 13th of December 2024