title: Experimental and Theoretical Bulk Phase Diagram and Interfacial Tension of Ouzo

abstract: Ouzo is a well-known drink in Mediterranean countries, with ingredients water, alcohol and trans-anethole oil. The oil is insoluble in water, but completely soluble in alcohol, so when water is added to the spirit, the available alcohol is depleted and the mixture exhibits spontaneous emulsification. This process is commonly known as the louche or Ouzo effect. Although the phase boundaries of this archetypal ternary mixture are well known, the properties of coexisting phases have not previously been studied. Here, we present a detailed experimental investigation into the phase behaviour, including tie-lines connecting coexisting phases, determination of the critical point (also called the plait point in ternary systems) and measurements of the surface tension and density for varying alcohol concentrations. Additionally, we present a theory for the thermodynamics and phase diagram of the system. With suitable selection of the interaction parameters, the theory captures nearly all features of the experimental work. This simple model can be used to determine both bulk and non-uniform (e.g. interfacial) properties, paving the way for a wide range of future applications of the model to ternary mixtures in general. We show how our accurate equilibrium phase diagram can be used to provide improved understanding of non-equilibrium phenomena.


title: Enabling Efficient and Flexible Interpretability of Data-driven Anomaly Detection in Industrial Processes with AcME-AD

abstract: While Machine Learning has become crucial for Industry 4.0, its opaque nature hinders trust and impedes the transformation of valuable insights into actionable decision, a challenge exacerbated in the evolving Industry 5.0 with its human-centric focus. This paper addresses this need by testing the applicability of AcME-AD in industrial settings. This recently developed framework facilitates fast and user-friendly explanations for anomaly detection. AcME-AD is model-agnostic, offering flexibility, and prioritizes real-time efficiency. Thus, it seems suitable for seamless integration with industrial Decision Support Systems. We present the first industrial application of AcME-AD, showcasing its effectiveness through experiments. These tests demonstrate AcME-AD's potential as a valuable tool for explainable AD and feature-based root cause analysis within industrial environments, paving the way for trustworthy and actionable insights in the age of Industry 5.0.


title: Optomechanically Induced Transparency on Exceptional Surfaces

abstract: Exceptional points (EPs) are singularities in non-Hermitian systems, where the system transmission spectrum varies significantly at the phase transition point. Here, we propose a practical scheme to study the changes of the optomechanically induced transparency (OMIT) spectrum on the exceptional surface (ES), which is formed by designing the structure of the waveguide in a non-Hermitian cavity optomechanical system. By comparing the transmission spectra of the system at different normal points, EPs on the same or different ESs, and exceptional derived points, we find that the peak-valley conversion of the system transmission spectra is obtained at the phase transition point and the arbitrary manipulation of the system transmission spectrum can be realized by moving the system on the same or different ESs. Furthermore, the phenomena of conversion and enhancement of the fast-slow light in the system transmission spectra have also been discovered in our researches. Different from the isolated EP, our proposal can discuss the system properties at different EPs, can find a richer transmission spectrum, and can provide more convenient options for experimental implementation, which paves the way for studying the nature of non-Hermitian systems in a higher dimension.


title: Bridging Data Barriers among Participants: Assessing the Potential of Geoenergy through Federated Learning

abstract: Machine learning algorithms emerge as a promising approach in energy fields, but its practical is hindered by data barriers, stemming from high collection costs and privacy concerns. This study introduces a novel federated learning (FL) framework based on XGBoost models, enabling safe collaborative modeling with accessible yet concealed data from multiple parties. Hyperparameter tuning of the models is achieved through Bayesian Optimization. To ascertain the merits of the proposed FL-XGBoost method, a comparative analysis is conducted between separate and centralized models to address a classical binary classification problem in geoenergy sector. The results reveal that the proposed FL framework strikes an optimal balance between privacy and accuracy. FL models demonstrate superior accuracy and generalization capabilities compared to separate models, particularly for participants with limited data or low correlation features and offers significant privacy benefits compared to centralized model. The aggregated optimization approach within the FL agreement proves effective in tuning hyperparameters. This study opens new avenues for assessing unconventional reservoirs through collaborative and privacy-preserving FL techniques.


title: Generation of Uncorrelated Residual Variables for Chemical Process Fault Diagnosis via Transfer Learning-based Input-Output Decoupled Network

abstract: Structural decoupling has played an essential role in model-based fault isolation and estimation in past decades, which facilitates accurate fault localization and reconstruction thanks to the diagonal transfer matrix design. However, traditional methods exhibit limited effectiveness in modeling high-dimensional nonlinearity and big data, and the decoupling idea has not been well-valued in data-driven frameworks. Known for big data and complex feature extraction capabilities, deep learning has recently been used to develop residual generation models. Nevertheless, it lacks decoupling-related diagnostic designs. To this end, this paper proposes a transfer learning-based input-output decoupled network (TDN) for diagnostic purposes, which consists of an input-output decoupled network (IDN) and a pre-trained variational autocoder (VAE). In IDN, uncorrelated residual variables are generated by diagonalization and parallel computing operations. During the transfer learning phase, knowledge of normal status is provided according to VAE's loss and maximum mean discrepancy loss to guide the training of IDN. After training, IDN learns the mapping from faulty to normal, thereby serving as the fault detection index and the estimated fault signal simultaneously. At last, the effectiveness of the developed TDN is verified by a numerical example and a chemical simulation.


title: Qubit encoding for a mixture of localized functions

abstract: One of the crucial generic techniques for quantum computation is the amplitude encoding. Although such techniques have been proposed, each of them often requires exponential classical-computational cost or an oracle whose explicit construction is not provided. Given the recent demands for practical quantum computation, we develop moderately specialized encoding techniques that generate an arbitrary linear combination of localized complex functions. We demonstrate that $n_{\mathrm{loc}}$ discrete Lorentzian functions as an expansion basis set lead to efficient probabilistic encoding, whose computational time is $\mathcal{O} ( \max ( n_{\mathrm{loc}}^2 \log n_{\mathrm{loc}}, n_{\mathrm{loc}}^2 \log n_q, n_q \log n_q ))$ for $n_q$ data qubits equipped with $\log_2 n_{\mathrm{loc}}$ ancillae. Furthermore, amplitude amplification in combination with amplitude reduction renders it deterministic with controllable errors and the computational time is reduced to $\mathcal{O} ( \max ( n_{\mathrm{loc}}^{3/2} \log n_{\mathrm{loc}}, n_{\mathrm{loc}}^{3/2} \log n_q, n_q \log n_q )).$ We provide estimation of required resources for application of our scheme to quantum chemistry in real space. We also show the results on real superconducting quantum computers to confirm the validity of our techniques.


title: Solving Partial Differential Equations with Equivariant Extreme Learning Machines

abstract: We utilize extreme-learning machines for the prediction of partial differential equations (PDEs). Our method splits the state space into multiple windows that are predicted individually using a single model. Despite requiring only few data points (in some cases, our method can learn from a single full-state snapshot), it still achieves high accuracy and can predict the flow of PDEs over long time horizons. Moreover, we show how additional symmetries can be exploited to increase sample efficiency and to enforce equivariance.


title: A Framework to Model ML Engineering Processes

abstract: The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these challenges by standardizing task orchestration, providing a common language to facilitate communication, and nurturing a collaborative environment. Unfortunately, current process modeling languages are not suitable for describing the development of such systems. In this paper, we introduce a framework for modeling ML-based software development processes, built around a domain-specific language and derived from an analysis of scientific and gray literature. A supporting toolkit is also available.


title: MileBench: Benchmarking MLLMs in Long Context

abstract: Despite the advancements and impressive performance of Multimodal Large Language Models (MLLMs) on benchmarks, their effectiveness in real-world, long-context, and multi-image tasks is unclear due to the benchmarks' limited scope. Existing benchmarks often focus on single-image and short-text samples, and when assessing multi-image tasks, they either limit the image count or focus on specific task (e.g time-series captioning), potentially obscuring the performance challenges of MLLMs. To address these limitations, we introduce MileBench, a pioneering benchmark designed to test the MultImodal Long-contExt capabilities of MLLMs. This benchmark comprises not only multimodal long contexts, but also multiple tasks requiring both comprehension and generation. We establish two distinct evaluation sets, diagnostic and realistic, to systematically assess MLLMs' long-context adaptation capacity and their ability to complete tasks in long-context scenarios. Our experimental results, obtained from testing 22 models, revealed that while the closed-source GPT-4o outperforms others, most open-source MLLMs struggle in long-context situations. Interestingly, the performance gap tends to widen with an increase in the number of images. We strongly encourage an intensification of research efforts towards enhancing MLLMs' long-context capabilities, especially in scenarios involving multiple images.


title: Evaluating Concept-based Explanations of Language Models: A Study on Faithfulness and Readability

abstract: Despite the surprisingly high intelligence exhibited by Large Language Models (LLMs), we are somehow intimidated to fully deploy them into real-life applications considering their black-box nature. Concept-based explanations arise as a promising avenue for explaining what the LLMs have learned, making them more transparent to humans. However, current evaluations for concepts tend to be heuristic and non-deterministic, e.g. case study or human evaluation, hindering the development of the field. To bridge the gap, we approach concept-based explanation evaluation via faithfulness and readability. We first introduce a formal definition of concept generalizable to diverse concept-based explanations. Based on this, we quantify faithfulness via the difference in the output upon perturbation. We then provide an automatic measure for readability, by measuring the coherence of patterns that maximally activate a concept. This measure serves as a cost-effective and reliable substitute for human evaluation. Finally, based on measurement theory, we describe a meta-evaluation method for evaluating the above measures via reliability and validity, which can be generalized to other tasks as well. Extensive experimental analysis has been conducted to validate and inform the selection of concept evaluation measures.


title: Evaluating and Mitigating Linguistic Discrimination in Large Language Models

abstract: By training on text in various languages, large language models (LLMs) typically possess multilingual support and demonstrate remarkable capabilities in solving tasks described in different languages. However, LLMs can exhibit linguistic discrimination due to the uneven distribution of training data across languages. That is, LLMs are hard to keep the consistency of responses when faced with the same task but depicted in different languages. In this study, we first explore the consistency in the LLMs' outputs responding to queries in various languages from two aspects: safety and quality. We conduct this analysis with two datasets (AdvBench and NQ) based on four LLMs (Llama2-13b, Gemma-7b, GPT-3.5-turbo and Gemini-pro). The results show that LLMs exhibit stronger human alignment capabilities with queries in English, French, Russian, and Spanish (only 1.04\% of harmful queries successfully jailbreak on average) compared to queries in Bengali, Georgian, Nepali and Maithili (27.7\% of harmful queries jailbreak successfully on average). Moreover, for queries in English, Danish, Czech and Slovenian, LLMs tend to produce responses with a higher quality (with 0.1494 $F_1$ score on average) compared to the other languages. Upon these findings, we propose LDFighter, a similarity-based voting, to mitigate the linguistic discrimination in LLMs. LDFighter ensures consistent service for different language speakers. We evaluate LDFighter with both benign queries and harmful queries. The results show that LDFighter not only significantly reduces the jailbreak success rate but also improve the response quality on average, demonstrating its effectiveness.


title: Adaptive (re)operations facilitate environmental flow maintenance downstream of multi-purpose reservoirs

abstract: Multi-purpose reservoirs support socioeconomic development by providing irrigation, domestic water supply, hydropower, and other services. However, impoundment of water impacts instream aquatic ecosystems. Thus, the concept of minimum environmental flows (MEFs) was established to restore the benefits of naturally flowing rivers by specifying minimum flow rates to be maintained downstream of dams.But varying legislative contexts under which multi-purpose reservoirs operate may not always necessitate MEF releases. To what extent the release of MEF affects other sectoral benefits remains an open-ended and possibly a site-specific inquiry. A related issue is - how does the order in which releases are prioritized influences sectoral performances? We analyse these issues for the Nagarjuna Sagar reservoir, one of the largest multipurpose reservoirs in southern India. We formulate two versions of a multi-objective decision problem. PF_MEF formulation prioritizes MEF releases over releases for water demand satisfaction, followed by hydropower releases. PF_nMEF formulation follows the regional legislative rule releasing first for demand satisfaction, followed by hydropower and MEF releases. Results thus indicate that prioritizing MEF releases improves can meet MEF requirements without significant compromises in other objectives. We hypothesize that similar investigations may reveal how simple modification of release order may improve ability of other reservoirs to meet environmental goals.


title: General Approach on Shadow Radius and Photon Spheres in Asymptotically Flat Spacetimes and the Impact of Mass-Dependent Variations

abstract: Recent observations of black hole shadows have revolutionized our ability to probe gravity in extreme environments. This manuscript presents a novel analytic method to calculate, in leading-order terms, the key parameters of photon sphere and shadow radius. This method offers advantages for complex metrics where traditional approaches are cumbersome. We further explore the impact of black hole mass on the photon sphere radius, providing insights into black hole interactions with their surroundings. Our findings contribute significantly to black hole physics and gravity under extreme conditions. By leveraging future advancements in observations, such as the next-generation Event Horizon Telescope (ngEHT), this work paves the way for even more precise tests of gravity near black holes.


title: Time Series Data Augmentation as an Imbalanced Learning Problem

abstract: Recent state-of-the-art forecasting methods are trained on collections of time series. These methods, often referred to as global models, can capture common patterns in different time series to improve their generalization performance. However, they require large amounts of data that might not be readily available. Besides this, global models sometimes fail to capture relevant patterns unique to a particular time series. In these cases, data augmentation can be useful to increase the sample size of time series datasets. The main contribution of this work is a novel method for generating univariate time series synthetic samples. Our approach stems from the insight that the observations concerning a particular time series of interest represent only a small fraction of all observations. In this context, we frame the problem of training a forecasting model as an imbalanced learning task. Oversampling strategies are popular approaches used to deal with the imbalance problem in machine learning. We use these techniques to create synthetic time series observations and improve the accuracy of forecasting models. We carried out experiments using 7 different databases that contain a total of 5502 univariate time series. We found that the proposed solution outperforms both a global and a local model, thus providing a better trade-off between these two approaches.


title: Symmetry group based domain decomposition to enhance physics-informed neural networks for solving partial differential equations

abstract: Domain decomposition provides an effective way to tackle the dilemma of physics-informed neural networks (PINN) which struggle to accurately and efficiently solve partial differential equations (PDEs) in the whole domain, but the lack of efficient tools for dealing with the interfaces between two adjacent sub-domains heavily hinders the training effects, even leads to the discontinuity of the learned solutions. In this paper, we propose a symmetry group based domain decomposition strategy to enhance the PINN for solving the forward and inverse problems of the PDEs possessing a Lie symmetry group. Specifically, for the forward problem, we first deploy the symmetry group to generate the dividing-lines having known solution information which can be adjusted flexibly and are used to divide the whole training domain into a finite number of non-overlapping sub-domains, then utilize the PINN and the symmetry-enhanced PINN methods to learn the solutions in each sub-domain and finally stitch them to the overall solution of PDEs. For the inverse problem, we first utilize the symmetry group acting on the data of the initial and boundary conditions to generate labeled data in the interior domain of PDEs and then find the undetermined parameters as well as the solution by only training the neural networks in a sub-domain. Consequently, the proposed method can predict high-accuracy solutions of PDEs which are failed by the vanilla PINN in the whole domain and the extended physics-informed neural network in the same sub-domains. Numerical results of the Korteweg-de Vries equation with a translation symmetry and the nonlinear viscous fluid equation with a scaling symmetry show that the accuracies of the learned solutions are improved largely.


title: Enhancing Boundary Segmentation for Topological Accuracy with Skeleton-based Methods

abstract: Topological consistency plays a crucial role in the task of boundary segmentation for reticular images, such as cell membrane segmentation in neuron electron microscopic images, grain boundary segmentation in material microscopic images and road segmentation in aerial images. In these fields, topological changes in segmentation results have a serious impact on the downstream tasks, which can even exceed the misalignment of the boundary itself. To enhance the topology accuracy in segmentation results, we propose the Skea-Topo Aware loss, which is a novel loss function that takes into account the shape of each object and topological significance of the pixels. It consists of two components. First, a skeleton-aware weighted loss improves the segmentation accuracy by better modeling the object geometry with skeletons. Second, a boundary rectified term effectively identifies and emphasizes topological critical pixels in the prediction errors using both foreground and background skeletons in the ground truth and predictions. Experiments prove that our method improves topological consistency by up to 7 points in VI compared to 13 state-of-art methods, based on objective and subjective assessments across three different boundary segmentation datasets. The code is available at https://github.com/clovermini/Skea_topo.


title: Tunable coupling of a quantum phononic resonator to a transmon qubit with flip-chip architecture

abstract: A hybrid system with tunable coupling between phonons and qubits shows great potential for advancing quantum information processing. In this work, we demonstrate strong and tunable coupling between a surface acoustic wave (SAW) resonator and a transmon qubit based on galvanic-contact flip-chip technique. The coupling strength varies from $2\pi\times$7.0 MHz to -$2\pi\times$20.6 MHz, which is extracted from different vacuum Rabi oscillation frequencies. The phonon-induced ac Stark shift of the qubit at different coupling strengths is also shown. Our approach offers a good experimental platform for exploring quantum acoustics and hybrid systems.


title: Machine Learning for Windows Malware Detection and Classification: Methods, Challenges and Ongoing Research

abstract: In this chapter, readers will explore how machine learning has been applied to build malware detection systems designed for the Windows operating system. This chapter starts by introducing the main components of a Machine Learning pipeline, highlighting the challenges of collecting and maintaining up-to-date datasets. Following this introduction, various state-of-the-art malware detectors are presented, encompassing both feature-based and deep learning-based detectors. Subsequent sections introduce the primary challenges encountered by machine learning-based malware detectors, including concept drift and adversarial attacks. Lastly, this chapter concludes by providing a brief overview of the ongoing research on adversarial defenses.


title: OAEI Machine Learning Dataset for Online Model Generation

abstract: Ontology and knowledge graph matching systems are evaluated annually by the Ontology Alignment Evaluation Initiative (OAEI). More and more systems use machine learning-based approaches, including large language models. The training and validation datasets are usually determined by the system developer and often a subset of the reference alignments are used. This sampling is against the OAEI rules and makes a fair comparison impossible. Furthermore, those models are trained offline (a trained and optimized model is packaged into the matcher) and therefore the systems are specifically trained for those tasks. In this paper, we introduce a dataset that contains training, validation, and test sets for most of the OAEI tracks. Thus, online model learning (the systems must adapt to the given input alignment without human intervention) is made possible to enable a fair comparison for ML-based systems. We showcase the usefulness of the dataset by fine-tuning the confidence thresholds of popular systems.


title: Time Machine GPT

abstract: Large language models (LLMs) are often trained on extensive, temporally indiscriminate text corpora, reflecting the lack of datasets with temporal metadata. This approach is not aligned with the evolving nature of language. Conventional methods for creating temporally adapted language models often depend on further pre-training static models on time-specific data. This paper presents a new approach: a series of point-in-time LLMs called Time Machine GPT (TiMaGPT), specifically designed to be nonprognosticative. This ensures they remain uninformed about future factual information and linguistic changes. This strategy is beneficial for understanding language evolution and is of critical importance when applying models in dynamic contexts, such as time-series forecasting, where foresight of future information can prove problematic. We provide access to both the models and training datasets.


title: Equivariant quantizations of the positive nilradical and covariant differential calculi

abstract: Consider a decomposition $\mathfrak{n} = \mathfrak{n}_1 \oplus \cdots \oplus \mathfrak{n}_r$ of the positive nilradical of a complex semisimple Lie algebra of rank $r$, where each $\mathfrak{n}_k$ is a module under an appropriate Levi factor. We show that this can be quantized as a finite-dimensional subspace $\mathfrak{n}^q_k = \mathfrak{n}^q_1 \oplus \cdots \oplus \mathfrak{n}^q_r$ of the positive part of the quantized enveloping algebra, where each $\mathfrak{n}^q_k$ is a module under the left adjoint action of a quantized Levi factor. Furthermore, we show that $\mathbb{C} \oplus \mathfrak{n}^q$ is a left coideal, with the possible exception of components corresponding to some exceptional Lie algebras. Finally we use these quantizations to construct covariant first-order differential calculi on quantum flag manifolds, compatible in a certain sense with the decomposition above, which coincide with those introduced by Heckenberger-Kolb in the irreducible case.


title: Implication of odd-even staggering in the charge radii of calcium isotopes

abstract: Inspired by the evidently observed odd-even staggering and the inverted parabolic-like shape of charge radii along calcium isotopic chain, the ground state properties of calcium isotopes are investigated by constraining the root-mean-square (rms) charge radii under the covariant energy density functionals with effective forces NL3 and PK1. In this work, the pairing correlations are tackled by solving the state-dependent Bardeen-Cooper-Schrieffer equations. The calculated results suggest that the binding energies obtained by constraint method have been reduced less than $0.1\%$. But for charge radii, the corresponding results deriving from NL3 and PK1 forces have been increased by about $1.0\%$ and $2.0\%$, respectively. This means that charge radius is a more sensitive quantity in the calibrated protocol. Meanwhile, it is found that the reproduced charge radii of calcium isotopes is attributed to the rather strong isospin dependence of effective potential. The odd-even oscillation behavior can also be presented in the neutron skin thickness and proton Fermi energy along calcium isotopic chain, but keep opposite trends with respect to the corresponding binding energy and charge radius. As encountered in charge radii, the weakening odd-even oscillation behavior is still emerged from the proton Fermi energies at the neutron numbers $N=20$ and $28$ as well, but not in binding energy and neutron skin thickness.


title: ir_explain: a Python Library of Explainable IR Methods

abstract: While recent advancements in Neural Ranking Models have resulted in significant improvements over traditional statistical retrieval models, it is generally acknowledged that the use of large neural architectures and the application of complex language models in Information Retrieval (IR) have reduced the transparency of retrieval methods. Consequently, Explainability and Interpretability have emerged as important research topics in IR. Several axiomatic and post-hoc explanation methods, as well as approaches that attempt to be interpretable-by-design, have been proposed. This article presents \irexplain, an open-source Python library that implements a variety of well-known techniques for Explainable IR (ExIR) within a common, extensible framework. \irexplain supports the three standard categories of post-hoc explanations, namely pointwise, pairwise, and listwise explanations. The library is designed to make it easy to reproduce state-of-the-art ExIR baselines on standard test collections, as well as to explore new approaches to explaining IR models and methods. To facilitate adoption, \irexplain is well-integrated with widely-used toolkits such as Pyserini and \irdatasets.


title: Light tetraquark states with exotic quantum numbers $J^{PC}=2^{+-}$

abstract: We study the masses of light tetraquark states $ud\bar{u}\bar{d}$ , $us\bar{u}\bar{s}$ and $ss\bar{s}\bar{s}$ with exotic quantum numbers $J^{PC}=2^{+-}$ using the method of QCD sum rules. It is found that there is no tetraquark operator with two Lorentz indices coupling to the $2^{+-}$ quantum numbers. To investigate such tetraquark states, we construct the interpolating tetraquark currents with three Lorentz indices and without derivative operator. We calculate the correlation functions up to dimension 10 condensates, and extract the $2^{+-}$ invariant functions via the projector operator. Our results show that the masses of the $ud\bar{u}\bar{d}$, $us\bar{u}\bar{s}$ and $ss\bar{s}\bar{s}$ tetraquark states with $J^{PC}=2^{+-}$ are about $3.3-3.5 ~\mathrm{GeV}$, $3.5-3.6 ~\mathrm{GeV}$ and $3.6 ~\mathrm{GeV}$, respectively. We further discuss the strong decays of these light tetraquarks into the two-meson and baryon-antibaryon final states, and suggest to search for them in the $\rho\pi, \omega\pi, \phi\pi$, $b_{1}\pi$, $h_{1}\pi$, $K\bar K^\ast, K\bar{K}_{1}$, $\Delta\bar{\Delta}$, $\Sigma^{\ast} \bar{\Sigma }^{\ast}$, $\Xi^{\ast} \bar{\Xi }^{\ast}$, $\Omega\bar{\Omega }$ channels in the future.


title: On the duality in constant-roll inflation

abstract: There is a duality in the observables $n_s$, $r$ and the inflaton potential between large and small $\eta_H$ for the constant-roll inflation if the slow-roll parameter $\epsilon_H$ is negligible. In general, the duality between $\eta_H$ and $\bar{\eta}_H$ does not hold for the background evolution of the inflation. For some particular solutions for the constant-roll inflation with $\eta_H$ being a constant, we find that in the small field approximation, the potential takes the quadratic form and it remains the same when the parameter $\eta_H$ changes to $\bar{\eta}_H=3-\eta_H$. If the scalar field is small and the contribution of $\epsilon_H$ is negligible, we find that there exists the logarithmic duality and the duality between large and small $\eta_H$ for the primordial curvature perturbation in inflationary models with the quadratic potential.


title: High Fidelity simulations of the multi-species Vlasov equation in the electro-static, collisional-less limit

abstract: The accurate prediction of occurrence and strength of kinetic instabilities in plasmas remains a significant challenge in nuclear fusion research. To accurately capture the plasmas dynamics one is required to solve the Vlasov equation for several species which, however, comes with a number of challenges as high dimensionality of the model as well as turbulence and development of fine but relevant structures in the distribution function. The predominantly employed Particle-in-Cell (PIC) method often lacks the accuracy to resolve the dynamics correctly, which can only be remedied by going to higher resolutions but at a prohibitorily high cost due to the high-dimensionality. Thus in this work we discuss the usage of the Numerical Flow Iteration (NuFI) as high fidelity approach, in contrast to e.g. PIC or grid-based approaches, to solve the multi-species Vlasov equation in modes leading to kinetic instabilities.


title: IncidentResponseGPT: Generating Traffic Incident Response Plans with Generative Artificial Intelligence

abstract: Traffic congestion due to road incidents poses a significant challenge in urban environments, leading to increased pollution, economic losses, and traffic congestion. Efficiently managing these incidents is imperative for mitigating their adverse effects; however, the complexity of urban traffic systems and the variety of potential incidents represent a considerable obstacle. This paper introduces IncidentResponseGPT, an innovative solution designed to assist traffic management authorities by providing rapid, informed, and adaptable traffic incident response plans. By integrating a Generative AI platform with real-time traffic incident reports and operational guidelines, our system aims to streamline the decision-making process in responding to traffic incidents. The research addresses the critical challenges involved in deploying AI in traffic management, including overcoming the complexity of urban traffic networks, ensuring real-time decision-making capabilities, aligning with local laws and regulations, and securing public acceptance for AI-driven systems. Through a combination of text analysis of accident reports, validation of AI recommendations through traffic simulation, and implementation of transparent and validated AI systems, IncidentResponseGPT offers a promising approach to optimizing traffic flow and reducing congestion in the face of traffic incidents. The relevance of this work extends to traffic management authorities, emergency response teams, and municipal bodies, all integral stakeholders in urban traffic control and incident management. By proposing a novel solution to the identified challenges, this research aims to develop a framework that not only facilitates faster resolution of traffic incidents but also minimizes their overall impact on urban traffic systems.


title: Absolute light yield measurement of NaI:Tl crystals for dark matter search

abstract: The NaI:Tl crystals were early investigated and used for wide application fields due to high light yield and crystal growth advantages. So far, the absolute light yields of NaI:Tl crystal have typically been known to be 40 ph/keV. However, it varies widely, far from the theoretical estimation. Since the high light yield and better sensitivity of NaI:Tl crystal is important for low mass dark matter search. Therefore, it is necessary to use high light NaI:Tl crystal, and absolute light yield should be measured with accuracy. In this work, we use the single photoelectron technique for measuring the absolute light yield of 35 NaI:Tl crystals with various sizes from different vendors. There are several high-quality crystals from the COSINE-100 experiment and commercial companies in these crystals. The theoretical estimation and GEANT4 optical simulation have been studied to investigate the PMT optics. Results show the essential role of this correction in avoiding overrated light yield values. The SPE technique using different PMT was compared to the photodiode and avalanche photodiode methods. A 10% systematic error was obtained. Our results show the excellent absolute light yield of NaI:Tl, at 59.4 +- 5.9 ph/keV, while the theoretical predicted light yield is around 70 ph/keV. The evaluation with NaI:Tl crystals in the COSINE-100 experiment has been performed. The six crystals in the COSINE-100 experiment have a high light yield. Based on our results, the light loss of encapsulation needs to be improved, especially for the big-size crystals.


title: SIDBench: A Python Framework for Reliably Assessing Synthetic Image Detection Methods

abstract: The generative AI technology offers an increasing variety of tools for generating entirely synthetic images that are increasingly indistinguishable from real ones. Unlike methods that alter portions of an image, the creation of completely synthetic images presents a unique challenge and several Synthetic Image Detection (SID) methods have recently appeared to tackle it. Yet, there is often a large gap between experimental results on benchmark datasets and the performance of methods in the wild. To better address the evaluation needs of SID and help close this gap, this paper introduces a benchmarking framework that integrates several state-of-the-art SID models. Our selection of integrated models was based on the utilization of varied input features, and different network architectures, aiming to encompass a broad spectrum of techniques. The framework leverages recent datasets with a diverse set of generative models, high level of photo-realism and resolution, reflecting the rapid improvements in image synthesis technology. Additionally, the framework enables the study of how image transformations, common in assets shared online, such as JPEG compression, affect detection performance. SIDBench is available on https://github.com/mever-team/sidbench and is designed in a modular manner to enable easy inclusion of new datasets and SID models.


title: Evaluating the effectiveness of predicting covariates in LSTM Networks for Time Series Forecasting

abstract: Autoregressive Recurrent Neural Networks are widely employed in time-series forecasting tasks, demonstrating effectiveness in univariate and certain multivariate scenarios. However, their inherent structure does not readily accommodate the integration of future, time-dependent covariates. A proposed solution, outlined by Salinas et al 2019, suggests forecasting both covariates and the target variable in a multivariate framework. In this study, we conducted comprehensive tests on publicly available time-series datasets, artificially introducing highly correlated covariates to future time-step values. Our evaluation aimed to assess the performance of an LSTM network when considering these covariates and compare it against a univariate baseline. As part of this study we introduce a novel approach using seasonal time segments in combination with an RNN architecture, which is both simple and extremely effective over long forecast horizons with comparable performance to many state of the art architectures. Our findings from the results of more than 120 models reveal that under certain conditions jointly training covariates with target variables can improve overall performance of the model, but often there exists a significant performance disparity between multivariate and univariate predictions. Surprisingly, even when provided with covariates informing the network about future target values, multivariate predictions exhibited inferior performance. In essence, compelling the network to predict multiple values can prove detrimental to model performance, even in the presence of informative covariates. These results suggest that LSTM architectures may not be suitable for forecasting tasks where predicting covariates would typically be expected to enhance model accuracy.


title: Triality over Schemes

abstract: Working over an arbitrary base scheme, we provide an alternative development of triality which does not use Octonion algebras or symmetric composition algebras. Instead, we use the Clifford algebra of the split hyperbolic quadratic form of rank 8 and computations with Chevalley generators of groups of type $D_4$. Following the strategy of The Book of Involutions [KMRT], we then define the stack of trialitarian triples and show it is equivalent to the gerbe of $\mathbf{PGO}_8^+$--torsors. We show it has endomorphisms generating a group isomorphic to $\mathbb{S}_3$ and that several familiar cohomological properties of $\mathbf{PGO}_8^+$ follow in this setting as a result. Next, we define the stack of trialitarian algebras and show it is equivalent to the gerbe of $\mathbf{PGO}_8^+\rtimes \mathbb{S}_3$--torsors. Because of this, it is also equivalent to the gerbes of simply connected, respectively adjoint, groups of type $D_4$. We define $\mathbf{Spin}_\mathcal{T}$ and $\mathbf{PGO}^+_\mathcal{T}$ for a trialitarian algebra and define concrete functors $\mathcal{T} \mapsto \mathbf{Spin}_\mathcal{T}$ and $\mathcal{T} \mapsto \mathbf{PGO}^+_\mathcal{T}$ which realize these equivalences.


title: Machine Learning for Quantum Computing Specialists

abstract: Quantum machine learning (QML) is a promising early use case for quantum computing. There has been progress in the last five years from theoretical studies and numerical simulations to proof of concepts. Use cases demonstrated on contemporary quantum devices include classifying medical images and items from the Iris dataset, classifying and generating handwritten images, toxicity screening, and learning a probability distribution. Potential benefits of QML include faster training and identification of feature maps not found classically. Although, these examples lack the scale for commercial exploitation, and it may be several years before QML algorithms replace the classical solutions, QML is an exciting area. This article is written for those who already have a sound knowledge of quantum computing and now wish to gain a basic overview of the terminology and some applications of classical machine learning ready to study quantum machine learning. The reader will already understand the relevant relevant linear algebra, including Hilbert spaces, a vector space with an inner product.


title: Doubly Adaptive Importance Sampling

abstract: We propose an adaptive importance sampling scheme for Gaussian approximations of intractable posteriors. Optimization-based approximations like variational inference can be too inaccurate while existing Monte Carlo methods can be too slow. Therefore, we propose a hybrid where, at each iteration, the Monte Carlo effective sample size can be guaranteed at a fixed computational cost by interpolating between natural-gradient variational inference and importance sampling. The amount of damping in the updates adapts to the posterior and guarantees the effective sample size. Gaussianity enables the use of Stein's lemma to obtain gradient-based optimization in the highly damped variational inference regime and a reduction of Monte Carlo error for undamped adaptive importance sampling. The result is a generic, embarrassingly parallel and adaptive posterior approximation method. Numerical studies on simulated and real data show its competitiveness with other, less general methods.


title: Can GPT-4 do L2 analytic assessment?

abstract: Automated essay scoring (AES) to evaluate second language (L2) proficiency has been a firmly established technology used in educational contexts for decades. Although holistic scoring has seen advancements in AES that match or even exceed human performance, analytic scoring still encounters issues as it inherits flaws and shortcomings from the human scoring process. The recent introduction of large language models presents new opportunities for automating the evaluation of specific aspects of L2 writing proficiency. In this paper, we perform a series of experiments using GPT-4 in a zero-shot fashion on a publicly available dataset annotated with holistic scores based on the Common European Framework of Reference and aim to extract detailed information about their underlying analytic components. We observe significant correlations between the automatically predicted analytic scores and multiple features associated with the individual proficiency components.


title: LangBiTe: A Platform for Testing Bias in Large Language Models

abstract: The integration of Large Language Models (LLMs) into various software applications raises concerns about their potential biases. Typically, those models are trained on a vast amount of data scrapped from forums, websites, social media and other internet sources, which may instill harmful and discriminating behavior into the model. To address this issue, we present LangBiTe, a testing platform to systematically assess the presence of biases within an LLM. LangBiTe enables development teams to tailor their test scenarios, and automatically generate and execute the test cases according to a set of user-defined ethical requirements. Each test consists of a prompt fed into the LLM and a corresponding test oracle that scrutinizes the LLM's response for the identification of biases. LangBite provides users with the bias evaluation of LLMs, and end-to-end traceability between the initial ethical requirements and the insights obtained.


title: Controlling the Flavour Changing Neutral Couplings of Multi-Higgs Doublets Models through Unitary Matrices

abstract: In this paper, we introduce Unitary Flavour Violation to produce Multi-Higgs Doublets Models where all flavour parameters are contained within three unitary matrices. After that, we identify two of its subclasses, the left and right models, which have naturally suppressed tree-level Flavour Changing Neutral Couplings that easily avoid the experimental constraints derived from neutral meson mixing. Then, we show that left models can accomodate spontaneous CP violation when all quarks have Flavour Changing Neutral Couplings. Finally, we illustrate these concepts by considering a specific implementation with three Higgs doublets.


title: Non-convex Pose Graph Optimization in SLAM via Proximal Linearized Riemannian ADMM

abstract: Pose graph optimization (PGO) is a well-known technique for solving the pose-based simultaneous localization and mapping (SLAM) problem. In this paper, we represent the rotation and translation by a unit quaternion and a three-dimensional vector, and propose a new PGO model based on the von Mises-Fisher distribution. The constraints derived from the unit quaternions are spherical manifolds, and the projection onto the constraints can be calculated by normalization. Then a proximal linearized Riemannian alternating direction method of multipliers (PieADMM) is developed to solve the proposed model, which not only has low memory requirements, but also can update the poses in parallel. Furthermore, we establish the iteration complexity of $O(1/\epsilon^{2})$ of PieADMM for finding an $\epsilon$-stationary solution of our model. The efficiency of our proposed algorithm is demonstrated by numerical experiments on two synthetic and four 3D SLAM benchmark datasets.


title: Social Optima of Linear Forward-Backward Stochastic System

abstract: A linear quadratic (LQ) stochastic optimization system involving large population, which is driven by forward-backward stochastic differential equation (FBSDE), is investigated in this paper. Agents cooperate with each other to minimize the so-called social objective, which is rather different from mean field (MF) game. Employing forward-backward person-by-person optimality principle, we derive an auxiliary LQ control problem by decentralized information. A decentralized strategy is obtained by virtue of an MF-type forward-backward stochastic differential equation consistency condition. Applying Riccati equation decoupling method, we solve the consistency condition system. We also verify the asymptotic social optimality in this framework.


title: Time Reversal for Near-Field Communications on Multi-chip Wireless Networks

abstract: Wireless Network-on-Chip (WNoC) has been proposed as a low-latency, versatile, and broadcast-capable complement to current interconnects in the quest for satisfying the ever-increasing communications needs of modern computing systems. However, to realize the promise of WNoC, multiple wireless links operating at several tens of Gb/s need to be created within a computing package. Unfortunately, the highly integrated and enclosed nature of such computing packages incurs significant Co-Channel Interference (CCI) and Inter-Symbol Interference (ISI), not only preventing the deployment of multiple spatial channels, but also severely limiting the symbol rate of each individual channel. In this work, Time Reversal (TR) is proposed as a means to compensate the channel impairments and enable multiple concurrent high-speed links at the chip scale. We offer evidence, via full-wave simulations at 140 GHz, that TR can increase the symbol rate by an order of magnitude and allow the deployment of multiple concurrent links towards achieving aggregate speeds in excess of 100 Gb/s. Finally, the challenges relative to the realization of TR at the chip scale are analyzed from the implementation, protocol support, and architectural perspectives.


title: Cool matter distribution in inner solar corona from 2023 total solar eclipse observation

abstract: Solar corona has been judged to consist of free electrons and highly ionized ions with extremely high temperature as a widely accepted knowledge. This view is changed by our eclipse observations. Distributions of cool matter represented by neutral iron atoms in hot inner solar corona are presented via derived global maps of solar Fraunhofer(F-) and Emission(E-) coronae, compared with those of continuum(Kontinuierlich, K-) corona formed by free electrons. The maps are obtained from simultaneous observations of dual filtering bands centered respectively at 659.4nm and 660.1nm, performed from twin telescopes during the total solar eclipse on April 20, 2023 at Com town of East Timor, assisted for judgement via spectral images obtained by a portable spectrograph. They show respectively presences of these neutral iron atoms yielding 659.3nm and 659.4nm lines in both the quiet sun and active regions. The distribution of the cool matter in form of line depression forms an inner F-corona, different from that of the cool matter in form of line enhancement. Both the distributions show a crucial difference from that of the free electrons represented by the K-corona map. It is also found that intensities of the F-corona and the E-corona induced by these neutral atoms are only small fractions of the K-corona, and the diffusion can be seen clearly in all these maps. They uncover also that the coronal heating resources do not distribute pervasively but likely form a thermodynamic griddle where minor photospheric neutral atoms can escape from the heating into the corona globally.


title: Injecting Salesperson's Dialogue Strategies in Large Language Models with Chain-of-Thought Reasoning

abstract: Recent research in dialogue systems and corpora has focused on two main categories: task-oriented (TOD) and open-domain (chit-chat) dialogues. TOD systems help users accomplish specific tasks, while open-domain systems aim to create engaging conversations. However, in real-world scenarios, user intents are often revealed during interactions. A recent study introduced SalesBot, which simulates dialogues transitioning from chit-chat to task-oriented scenarios to train sales agents. Unfortunately, the initial data lacked smooth transitions and coherent long-turn dialogues, resulting in poor naturalness in sales-customer interactions. To address these issues, this paper presents SalesBot 2.0, an improved dataset. It leverages commonsense knowledge from large language models (LLMs) through strategic prompting. Additionally, we introduce a novel model called SalesAgent, trained on salesperson's interactions, using chain-of-thought (CoT) reasoning. This model excels in transitioning topics, understanding user intents, and selecting appropriate strategies. Experiments using diverse user simulations validate the effectiveness of our method in controlling dialogue strategies in LLMs. Furthermore, SalesBot 2.0 enhances coherence and reduces aggression, facilitating better model learning for sales-customer interactions.


title: Classification of Affinely Homogeneous Hessian Rank 2 Hypersurfaces S^3 in R^4

abstract: We determine all affinely homogeneous hypersurfaces S^3 in R^4 whose Hessian is (invariantly) of constant rank 2, including the simply transitive ones. We find 34 inequivalent terminal branches yielding each to a nonempty moduli space of homogeneous models of hypersurfaces S^3 in R^4, sometimes parametrized by a certain complicated algebraic variety, especially for the 15 (over 34) families of models which are simply transitive. We employ the power series method of equivalence, which captures invariants at the origin, creates branches, and infinitesimalizes calculations. In Lie's original classification spirit, we describe the found homogeneous models by listing explicit Lie algebras of infinitesimal transformations, sometimes parametrized by absolute invariants satisfying certain algebraic equations.


title: Pre-relaxation in quantum, classical, and quantum-classical two-impurity models

abstract: We numerically study the relaxation dynamics of impurity-host systems, focusing on the presence of long-lived metastable states in the non-equilibrium dynamics after an initial excitation of the impurities. In generic systems, an excited impurity coupled to a large bath at zero temperature is expected to relax and approach its ground state over time. However, certain exceptional cases exhibit metastability, where the system remains in an excited state on timescales largely exceeding the typical relaxation time. We study this phenomenon for three prototypical impurity models: a tight-binding quantum model of independent spinless fermions on a lattice with two stub impurities, a classical-spin Heisenberg model with two weakly coupled classical impurity spins, and a tight-binding quantum model of independent electrons with two classical impurity spins. Through numerical integration of the fundamental equations of motion, we find that all three models exhibit similar qualitative behavior: complete relaxation for nearest-neighbor impurities and incomplete or strongly delayed relaxation for next-nearest-neighbor impurities. The underlying mechanisms leading to this behavior differ between models and include impurity-induced bound states, emergent approximately conserved local observables, and exact cancellation of local and nonlocal dissipation effects.


title: Assessing Cybersecurity Vulnerabilities in Code Large Language Models

abstract: Instruction-tuned Code Large Language Models (Code LLMs) are increasingly utilized as AI coding assistants and integrated into various applications. However, the cybersecurity vulnerabilities and implications arising from the widespread integration of these models are not yet fully understood due to limited research in this domain. To bridge this gap, this paper presents EvilInstructCoder, a framework specifically designed to assess the cybersecurity vulnerabilities of instruction-tuned Code LLMs to adversarial attacks. EvilInstructCoder introduces the Adversarial Code Injection Engine to automatically generate malicious code snippets and inject them into benign code to poison instruction tuning datasets. It incorporates practical threat models to reflect real-world adversaries with varying capabilities and evaluates the exploitability of instruction-tuned Code LLMs under these diverse adversarial attack scenarios. Through the use of EvilInstructCoder, we conduct a comprehensive investigation into the exploitability of instruction tuning for coding tasks using three state-of-the-art Code LLM models: CodeLlama, DeepSeek-Coder, and StarCoder2, under various adversarial attack scenarios. Our experimental results reveal a significant vulnerability in these models, demonstrating that adversaries can manipulate the models to generate malicious payloads within benign code contexts in response to natural language instructions. For instance, under the backdoor attack setting, by poisoning only 81 samples (0.5\% of the entire instruction dataset), we achieve Attack Success Rate at 1 (ASR@1) scores ranging from 76\% to 86\% for different model families. Our study sheds light on the critical cybersecurity vulnerabilities posed by instruction-tuned Code LLMs and emphasizes the urgent necessity for robust defense mechanisms to mitigate the identified vulnerabilities.


title: Multigrid method for nonlinear eigenvalue problems based on Newton iteration

abstract: In this paper, a novel multigrid method based on Newton iteration is proposed to solve nonlinear eigenvalue problems. Instead of handling the eigenvalue $\lambda$ and eigenfunction $u$ separately, we treat the eigenpair $(\lambda, u)$ as one element in a product space $\mathbb R \times H_0^1(\Omega)$. Then in the presented multigrid method, only one discrete linear boundary value problem needs to be solved for each level of the multigrid sequence. Because we avoid solving large-scale nonlinear eigenvalue problems directly, the overall efficiency is significantly improved. The optimal error estimate and linear computational complexity can be derived simultaneously. In addition, we also provide an improved multigrid method coupled with a mixing scheme to further guarantee the convergence and stability of the iteration scheme. More importantly, we prove convergence for the residuals after each iteration step. For nonlinear eigenvalue problems, such theoretical analysis is missing from the existing literatures on the mixing iteration scheme.


title: Exponential Convergence of $hp$-ILGFEM for semilinear elliptic boundary value problems with monomial reaction

abstract: We study the fully explicit numerical approximation of a semilinear elliptic boundary value model problem, which features a monomial reaction and analytic forcing, in a bounded polygon $\Omega\subset\mathbb{R}^2$ with a finite number of straight edges. In particular, we analyze the convergence of $hp$-type iterative linearized Galerkin ($hp$-ILG) solvers. Our convergence analysis is carried out for conforming $hp$-finite element (FE) Galerkin discretizations on sequences of regular, simplicial partitions of $\Omega$, with geometric corner refinement, with polynomial degrees increasing in sync with the geometric mesh refinement towards the corners of $\Omega$. For a sequence of discrete solutions generated by the ILG solver, with a stopping criterion that is consistent with the exponential convergence of the exact $hp$-FE Galerkin solution, we prove exponential convergence in $\mathrm{H}^1(\Omega)$ to the unique weak solution of the boundary value problem. Numerical experiments illustrate the exponential convergence of the numerical approximations obtained from the proposed scheme in terms of the number of degrees of freedom as well as of the computational complexity involved.


title: Analyzing Semantic Change through Lexical Replacements

abstract: Modern language models are capable of contextualizing words based on their surrounding context. However, this capability is often compromised due to semantic change that leads to words being used in new, unexpected contexts not encountered during pre-training. In this paper, we model \textit{semantic change} by studying the effect of unexpected contexts introduced by \textit{lexical replacements}. We propose a \textit{replacement schema} where a target word is substituted with lexical replacements of varying relatedness, thus simulating different kinds of semantic change. Furthermore, we leverage the replacement schema as a basis for a novel \textit{interpretable} model for semantic change. We are also the first to evaluate the use of LLaMa for semantic change detection.


title: Cascading Variants of Internal Approachability

abstract: We construct models in which there are stationarily many structures that exhibit different variants of internal approachability at different levels. This answers a question of Foreman. We also show that the approachability property at $\mu$ is consistent with having a distinction of variants of internal approachability for stationarily many $N\in[H(\mu^+)]^{\mu}$. This is obtained using a new version of Mitchell Forcing.


title: Learning Governing Equations of Unobserved States in Dynamical Systems

abstract: Data-driven modelling and scientific machine learning have been responsible for significant advances in determining suitable models to describe data. Within dynamical systems, neural ordinary differential equations (ODEs), where the system equations are set to be governed by a neural network, have become a popular tool for this challenge in recent years. However, less emphasis has been placed on systems that are only partially-observed. In this work, we employ a hybrid neural ODE structure, where the system equations are governed by a combination of a neural network and domain-specific knowledge, together with symbolic regression (SR), to learn governing equations of partially-observed dynamical systems. We test this approach on two case studies: A 3-dimensional model of the Lotka-Volterra system and a 5-dimensional model of the Lorenz system. We demonstrate that the method is capable of successfully learning the true underlying governing equations of unobserved states within these systems, with robustness to measurement noise.


title: Predicting Safety Misbehaviours in Autonomous Driving Systems using Uncertainty Quantification

abstract: The automated real-time recognition of unexpected situations plays a crucial role in the safety of autonomous vehicles, especially in unsupported and unpredictable scenarios. This paper evaluates different Bayesian uncertainty quantification methods from the deep learning domain for the anticipatory testing of safety-critical misbehaviours during system-level simulation-based testing. Specifically, we compute uncertainty scores as the vehicle executes, following the intuition that high uncertainty scores are indicative of unsupported runtime conditions that can be used to distinguish safe from failure-inducing driving behaviors. In our study, we conducted an evaluation of the effectiveness and computational overhead associated with two Bayesian uncertainty quantification methods, namely MC- Dropout and Deep Ensembles, for misbehaviour avoidance. Overall, for three benchmarks from the Udacity simulator comprising both out-of-distribution and unsafe conditions introduced via mutation testing, both methods successfully detected a high number of out-of-bounds episodes providing early warnings several seconds in advance, outperforming two state-of-the-art misbehaviour prediction methods based on autoencoders and attention maps in terms of effectiveness and efficiency. Notably, Deep Ensembles detected most misbehaviours without any false alarms and did so even when employing a relatively small number of models, making them computationally feasible for real-time detection. Our findings suggest that incorporating uncertainty quantification methods is a viable approach for building fail-safe mechanisms in deep neural network-based autonomous vehicles.


title: GEEvo: Game Economy Generation and Balancing with Evolutionary Algorithms

abstract: Game economy design significantly shapes the player experience and progression speed. Modern game economies are becoming increasingly complex and can be very sensitive to even minor numerical adjustments, which may have an unexpected impact on the overall gaming experience. Consequently, thorough manual testing and fine-tuning during development are essential. Unlike existing works that address algorithmic balancing for specific games or genres, this work adopts a more abstract approach, focusing on game balancing through its economy, detached from a specific game. We propose GEEvo (Game Economy Evolution), a framework to generate graph-based game economies and balancing both, newly generated or existing economies. GEEvo uses a two-step approach where evolutionary algorithms are used to first generate an economy and then balance it based on specified objectives, such as generated resources or damage dealt over time. We define different objectives by differently parameterizing the fitness function using data from multiple simulation runs of the economy. To support this, we define a lightweight and flexible game economy simulation framework. Our method is tested and benchmarked with various balancing objectives on a generated dataset, and we conduct a case study evaluating damage balancing for two fictional economies of two popular game character classes.


title: Comparing Z3 and A3 PKM Heads: Which Is Superior and Why?

abstract: This study presents a comparison between the Sprint Z3 and A3 head parallel kinematics machines, distinguished by their joint sequence. The analysis focuses on performance attributes critical for precision machining specifically, parasitic motion, workspace capability, stiffness performance over the independent and parasitic spaces, and condition number distribution. Although these machines are extensively utilized in precision machining for the aerospace and automotive industries, a definitive superior choice has not been identified for machining large components. Moreover, the distribution of stiffness across the configuration of parasitic space has not previously been addressed for either mechanism. This research reveals that despite identical parameters used and exhibiting similar parasitic motions, the Sprint Z3 demonstrates superior stiffness, workspace volume, and condition number distribution. This performance advantage is attributed to variations in joint and link sequence, which enhance deflection resilience, crucial for manufacturing large-scale components. This also results in a higher condition number and a larger workspace. The result highlights the importance of design architecture in the efficacy of parallel kinematics machines and suggest


title: The catalog of Hvar Observatory solar observations

abstract: We compile the catalog of Hvar Observatory solar observations in the time period corresponding to regular digitally stored chromospheric and photospheric observations 2010-2019. We make basic characterisation of observed phenomena and compare them to catalogs which are based on full disc solar images. We compile a catalog of observed ARs consisting of 1100 entries, where each AR is classified according to McIntosh and Mt Wilson classifications. We find that HVAR observations are biased towards more frequently observing more complex ARs and observing them in longer time periods, likely related to the small FOV not encompassing the whole solar disc. In H$\alpha$ observations we catalog conspicuous filaments/prominences and flares. We characterise filaments according to their location, chirality (if possible) and eruptive signatures. Analysis of the eruptive filaments reveals a slight bias in HVAR catalog towards observation of partial eruptions, possibly related to the observers tendency to observe filament which already showed some activity. In the flare catalog we focus on their observed eruptive signatures (loops or ribbons) and their shape. In addition, we associate them to GOES soft X-ray flares to determine their corresponding class. We find that HVAR observations seem biased towards more frequently observing stronger flares and observing them in longer time periods. We demonstrate the feasibility of the catalog on a case study of the flare detected on 2 August 2011 in HVAR H$\alpha$ observations and related Sun-to-Earth phenomena. Through flare-CME-ICME association we demonstrate the agreement of remote and in situ properties. The data used for this study, as well as the catalog, are made publicly available.


title: Assessing Quality Metrics for Neural Reality Gap Input Mitigation in Autonomous Driving Testing

abstract: Simulation-based testing of automated driving systems (ADS) is the industry standard, being a controlled, safe, and cost-effective alternative to real-world testing. Despite these advantages, virtual simulations often fail to accurately replicate real-world conditions like image fidelity, texture representation, and environmental accuracy. This can lead to significant differences in ADS behavior between simulated and real-world domains, a phenomenon known as the sim2real gap. Researchers have used Image-to-Image (I2I) neural translation to mitigate the sim2real gap, enhancing the realism of simulated environments by transforming synthetic data into more authentic representations of real-world conditions. However, while promising, these techniques may potentially introduce artifacts, distortions, or inconsistencies in the generated data that can affect the effectiveness of ADS testing. In our empirical study, we investigated how the quality of image-to-image (I2I) techniques influences the mitigation of the sim2real gap, using a set of established metrics from the literature. We evaluated two popular generative I2I architectures, pix2pix, and CycleGAN, across two ADS perception tasks at a model level, namely vehicle detection and end-to-end lane keeping, using paired simulated and real-world datasets. Our findings reveal that the effectiveness of I2I architectures varies across different ADS tasks, and existing evaluation metrics do not consistently align with the ADS behavior. Thus, we conducted task-specific fine-tuning of perception metrics, which yielded a stronger correlation. Our findings indicate that a perception metric that incorporates semantic elements, tailored to each task, can facilitate selecting the most appropriate I2I technique for a reliable assessment of the sim2real gap mitigation.


title: Scheme for braiding Majorana zero modes in vortices using an STT-matrix

abstract: Recently conducted experiments on two-dimensional topological superconductors have revealed various indications of Majorana zero modes (MZMs). However, progress in the manipulation of MZM braiding has been limited, impeding the realization of topological quantum computing. In this study, we propose a potential braiding scheme based on a spintronic device matrix. This scheme involves utilizing a matrix composed of spin-transfer torque devices (STT-matrix) alongside a two-dimensional topological superconductor material. By programming the ON/OFF states of the spintronic devices within the STT-matrix, it becomes possible to manipulate vortices hosting MZMs in the two-dimensional topological superconductor. To further investigate this concept, we construct a time-dependent Ginzburg-Landau model and perform numerical simulations to analyze vortex-driving dynamics, MZM braiding processes, and MZM fusion phenomena. Our findings demonstrate that this system exhibits high versatility and flexibility in manipulating vortices. With advancements in spintronic device technology, our proposed scheme offers a feasible and practical method for operating MZMs within vortices present in topological superconductors.


title: Dark energy in light of recent DESI BAO and Hubble tension

abstract: Recently, Dark Energy Spectroscopic Instrument (DESI) collaboration based on their first year data has reported a $\gtrsim 3\sigma$ evidence for an evolving dark energy (DE) against the cosmological constant (CC), so the standard $\Lambda$CDM model. However, it is necessary to access the impact of DESI data on the state equation $w_0$-$w_a$ of DE in the Hubble-tension-free cosmologies, where $w_0$ and $w_a$ is the parameters of state equation of DE. In this paper, using recent DESI BAO measurements combined with Planck CMB and Pantheon Plus dataset, we perform the Monte Carlo Markov Chain (MCMC) analysis for the $w_0w_a$CDM model with possible pre-recombination resolutions of the Hubble tension. It is found that though $w_0>-1$ and $w_a<0$ are still preferred, the CC is also $<2\sigma$ consistent, while the bestfit Hubble constant $H_0$ are higher than those with pre-DESI BAO data but without the further exacerbation of $S_8$ tension. According to our results, the resolutions of Hubble tension are likely to suppress the \textit{preference} of DESI for the evolving DE, thus the claim of ruling out the CC needs to be more cautious regarding not only the recent observational data but also the cosmological tensions.


title: Data-Driven Dynamics Modeling of Miniature Robotic Blimps Using Neural ODEs With Parameter Auto-Tuning

abstract: Miniature robotic blimps, as one type of lighter-than-air aerial vehicles, have attracted increasing attention in the science and engineering community for their enhanced safety, extended endurance, and quieter operation compared to quadrotors. Accurately modeling the dynamics of these robotic blimps poses a significant challenge due to the complex aerodynamics stemming from their large lifting bodies. Traditional first-principle models have difficulty obtaining accurate aerodynamic parameters and often overlook high-order nonlinearities, thus coming to its limit in modeling the motion dynamics of miniature robotic blimps. To tackle this challenge, this letter proposes the Auto-tuning Blimp-oriented Neural Ordinary Differential Equation method (ABNODE), a data-driven approach that integrates first-principle and neural network modeling. Spiraling motion experiments of robotic blimps are conducted, comparing the ABNODE with first-principle and other data-driven benchmark models, the results of which demonstrate the effectiveness of the proposed method.


title: Excitation mechanisms of C II optical permitted lines in ionized nebulae

abstract: Context. Carbon is the fourth most abundant element in the universe and its distribution is critical to understanding stellar evolution and nucleosynthesis. In optical studies of ionized nebulae, the only way to determine the C/H abundance is by using faint CII recombination lines (RLs). However, these lines give systematically higher abundances than their collisionally excited counterparts, observable at ultraviolet (UV) wavelengths. Therefore, a proper understanding of the excitation mechanisms of the faint permitted lines is crucial for addressing this long-standing abundance discrepancy (AD) problem. Aims. In this study, we investigate the excitation mechanisms of CII lines {\lambda}{\lambda}3918, 3920, 4267, 5342, 6151, 6462, 7231, 7236, 7237 and 9903. Methods. We use the DEep Spectra of Ionized REgions Database (DESIRED) that contains spectra of HII regions, planetary nebulae and other objects to analyze the fluorescence contributions to these lines and the accuracy of the atomic recombination data used to model the C+ ion. Results. We find that CII {\lambda}{\lambda}4267, 5342, 6151, 6462 and 9903 arise exclusively from recombinations with no fluorescent contributions. In addition, the recombination theory for these lines is consistent with the observations. Our findings show that the AD problem for C2+ is not due to fluorescence in the widely used CII lines or errors in their atomic parameters, but to other phenomena like temperature variations or chemical inhomogeneities. On the other hand, CII {\lambda}{\lambda}3918, 3920, 6578, 7231, 7236, 7237 have important fluorescent contributions, which are inadvisable for tracing the C2+ abundances. We also discuss the effects of possible inconsistencies in the atomic effective recombination coefficients of CII {\lambda}{\lambda}6578, 7231, 7236 and 7237.


title: Dressing vs. Fixing: On How to Extract and Interpret Gauge-Invariant Content

abstract: There is solid consensus among physicists and philosophers that, in gauge field theory, for a quantity to be physically meaningful or real, it must be gauge-invariant. Yet, every ``elementary" field in the Standard Model of particle physics is actually gauge-variant. This has led a number of researchers to insist that new manifestly gauge-invariant approaches must be established. Indeed, in the foundational literature, dissatisfaction with standard methods for reducing gauge symmetries has been expressed: Spontaneous symmetry breaking is deemed conceptually dubious, while gauge fixing suffers the same limitations and is subject to the same criticisms as coordinate choices in General Relativity. An alternative gauge-invariant proposal was recently introduced in the literature, the so-called ``dressing field method" (DFM). It is a mathematically subtle tool, and unfortunately prone to be confused with simple gauge transformations, hence with standard gauge~fixings. As a matter of fact, in the physics literature the two are often conflated, and in the philosophy community some doubts have been raised about whether there is any substantial difference between them. Clarifying this issue is of special significance for anyone interested in both the foundational issues of gauge theories and their invariant formulation. It is thus our objective to establish as precisely as possible the technical and conceptual distinctions between the DFM and gauge fixing.


title: Context Matters: Leveraging Spatiotemporal Metadata for Semi-Supervised Learning on Remote Sensing Images

abstract: Remote sensing projects typically generate large amounts of imagery that can be used to train powerful deep neural networks. However, the amount of labeled images is often small, as remote sensing applications generally require expert labelers. Thus, semi-supervised learning (SSL), i.e., learning with a small pool of labeled and a larger pool of unlabeled data, is particularly useful in this domain. Current SSL approaches generate pseudo-labels from model predictions for unlabeled samples. As the quality of these pseudo-labels is crucial for performance, utilizing additional information to improve pseudo-label quality yields a promising direction. For remote sensing images, geolocation and recording time are generally available and provide a valuable source of information as semantic concepts, such as land cover, are highly dependent on spatiotemporal context, e.g., due to seasonal effects and vegetation zones. In this paper, we propose to exploit spatiotemporal metainformation in SSL to improve the quality of pseudo-labels and, therefore, the final model performance. We show that directly adding the available metadata to the input of the predictor at test time degenerates the prediction quality for metadata outside the spatiotemporal distribution of the training set. Thus, we propose a teacher-student SSL framework where only the teacher network uses metainformation to improve the quality of pseudo-labels on the training set. Correspondingly, our student network benefits from the improved pseudo-labels but does not receive metadata as input, making it invariant to spatiotemporal shifts at test time. Furthermore, we propose methods for encoding and injecting spatiotemporal information into the model and introduce a novel distillation mechanism to enhance the knowledge transfer between teacher and student. Our framework dubbed Spatiotemporal SSL can be easily combined with several stat...


title: Controller Synthesis in Timed B\"uchi Automata: Robustness and Punctual Guards

abstract: We consider the synthesis problem on timed automata with B\"uchi objectives, where delay choices made by a controller are subjected to small perturbations. Usually, the controller needs to avoid punctual guards, such as testing the equality of a clock to a constant. In this work, we generalize to a robustness setting that allows for punctual transitions in the automaton to be taken by controller with no perturbation. In order to characterize cycles that resist perturbations in our setting, we introduce a new structural requirement on the reachability relation along an accepting cycle of the automaton. This property is formulated on the region abstraction, and generalizes the existing characterization of winning cycles in the absence of punctual guards. We show that the problem remains within PSPACE despite the presence of punctual guards.


title: FREB-TQA: A Fine-Grained Robustness Evaluation Benchmark for Table Question Answering

abstract: Table Question Answering (TQA) aims at composing an answer to a question based on tabular data. While prior research has shown that TQA models lack robustness, understanding the underlying cause and nature of this issue remains predominantly unclear, posing a significant obstacle to the development of robust TQA systems. In this paper, we formalize three major desiderata for a fine-grained evaluation of robustness of TQA systems. They should (i) answer questions regardless of alterations in table structure, (ii) base their responses on the content of relevant cells rather than on biases, and (iii) demonstrate robust numerical reasoning capabilities. To investigate these aspects, we create and publish a novel TQA evaluation benchmark in English. Our extensive experimental analysis reveals that none of the examined state-of-the-art TQA systems consistently excels in these three aspects. Our benchmark is a crucial instrument for monitoring the behavior of TQA systems and paves the way for the development of robust TQA systems. We release our benchmark publicly.


title: How to surpass no-go limits in Gaussian quantum error correction and entangled Gaussian state distillation?

abstract: Gaussian quantum information processing with continuous-variable (CV) quantum information carriers holds significant promise for applications in quantum communication and quantum internet. However, applying Gaussian state distillation and quantum error correction (QEC) faces limitations imposed by no-go results concerning local Gaussian unitary operations and classical communications. This paper introduces a Gaussian QEC protocol that relies solely on local Gaussian resources. A pivotal component of our approach is CV gate teleportation using entangled Gaussian states, which facilitates the implementation of the partial transpose operation on a quantum channel. Consequently, we can efficiently construct a two-mode noise-polarized channel from two noisy Gaussian channels. Furthermore, this QEC protocol naturally extends to a nonlocal Gaussian state distillation protocol.


title: Unlocking Potentials of Near-Field Propagation: ELAA-Empowered Integrated Sensing and Communication

abstract: The exploration of extremely large antenna arrays (ELAAs) using high-frequency spectrum has led to a paradigm shift in electromagnetic radiation field, transitioning from the common use case of far-field propagation to near-field propagation. This shift necessitates the modification of the conventional planar-wavefront approximation to more accurate spherical waves, exerting a profound impact on wireless transmission technologies encompassing communication and sensing. Concurrently, integrated sensing and communication (ISAC) has gained prominence in the context of the sixth-generation (6G) wireless networks owing to its ability to cater to the ever-increasing demands of future networks. In line with this evolving trend, this article presents a systematical investigation on ELAA-empowered near-field ISAC. We begin by introducing the fundamentals of near-field propagation with an emphasis on its double-edged effects to near-field communications. Then, we turn to near-field sensing and expound upon various typical applications. Following the separate elaborations on communications and sensing, we articulate in-depth advantages of ELAA-empowered ISAC in near field, particularly including featured opportunities arising from the dual-functional integrations, potential ISAC applications benefiting from the additional degrees-of-freedom in near field, and enablements of other complementary technologies. Finally, we outline key technical challenges that merit further exploration in the realm of ELAA-empowered near-field ISAC.


title: The link between hyperuniformity, Coulomb energy, and Wasserstein distance to Lebesgue for two-dimensional point processes

abstract: We investigate the interplay between three possible properties of stationary point processes: i) Finite Coulomb energy with short-scale regularization, ii) Finite $2$-Wasserstein transportation distance to the Lebesgue measure and iii) Hyperuniformity. In dimension $2$, we prove that i) implies ii), which is known to imply iii), and we provide simple counter-examples to both converse implications. However, we prove that ii) implies i) for processes with a uniformly bounded density of points, and that i) - finiteness of the regularized Coulomb energy - is equivalent to a certain property of quantitative hyperuniformity that is just slightly stronger than hyperuniformity itself. Our proof relies on the classical link between $H^{-1}$-norm and $2$-Wasserstein distance between measures, on the screening construction for Coulomb gases (of which we present an adaptation to $2$-Wasserstein space which might be of independent interest), and on recent necessary and sufficient conditions for the existence of stationary "electric" fields compatible with a given stationary point process.


title: Higher-spin self-dual General Relativity: 6d and 4d pictures, covariant vs. lightcone

abstract: We study the higher-spin extension of self-dual General Relativity (GR) with cosmological constant, proposed by Krasnov, Skvortsov and Tran. We show that this theory is actually a gauge-fixing of a 6d diffeomorphism-invariant Abelian theory, living on (4d spacetime)x(2d spinor space) modulo a finite group. On the other hand, we point out that the theory respects the 4d geometry of a self-dual GR solution, with no backreaction from the higher-spin fields. We also present a lightcone ansatz that reduces the covariant fields to one scalar field for each helicity. The field equations governing these scalars have only cubic vertices. We compare our lightcone ansatz to Metsaev's lightcone formalism. We conclude with a new perspective on the lightcone formalism in (A)dS spacetime: not merely a complication of its Minkowski-space cousin, it has a built-in Lorentz covariance, and is closely related to Vasiliev's concept of unfolding.


title: A statistical analysis of the first stages of freezing and melting of Lennard-Jones particles: Number and size distributions of transient nuclei

abstract: The freezing/melting transition is at the heart of many natural and industrial processes. In the classical picture, the transition proceeds via the nucleation of the new phase, which has to overcome a barrier associated to the free energy cost of the growing nucleus. The total nucleation rate is also influenced by a kinetic factor which somehow depends on the number of attempts to create a nucleus, that translates into a significant density of proto-nuclei in the system. These transient tiny nuclei are not accessible to experiments, but they can be observed in molecular simulations, and their number and size distributions can be acquired and analysed. The number distributions are carefully characterized as a function of the system size, showing limited finite size effects. It is also shown that the proto-nuclei do exist even in the stable phase, in agreement with the fact that the volume contribution to their free energy is negligible in the first stages of nucleation. Moreover, the number and size distributions vary continuously between the stable and the metastable phases, in particular when crossing the coexistence temperature. The size distributions associated to \emph{any} nucleus and to the \emph{largest} one have also been calculated, and their relation recently established for bubbles in a liquid [J. Puibasset, J. Chem. Phys. 157, 191102 (2022)] has been shown to apply here. This is an important relation for free energy barrier calculations with biased molecular simulations.


title: FashionSD-X: Multimodal Fashion Garment Synthesis using Latent Diffusion

abstract: The rapid evolution of the fashion industry increasingly intersects with technological advancements, particularly through the integration of generative AI. This study introduces a novel generative pipeline designed to transform the fashion design process by employing latent diffusion models. Utilizing ControlNet and LoRA fine-tuning, our approach generates high-quality images from multimodal inputs such as text and sketches. We leverage and enhance state-of-the-art virtual try-on datasets, including Multimodal Dress Code and VITON-HD, by integrating sketch data. Our evaluation, utilizing metrics like FID, CLIP Score, and KID, demonstrates that our model significantly outperforms traditional stable diffusion models. The results not only highlight the effectiveness of our model in generating fashion-appropriate outputs but also underscore the potential of diffusion models in revolutionizing fashion design workflows. This research paves the way for more interactive, personalized, and technologically enriched methodologies in fashion design and representation, bridging the gap between creative vision and practical application.


title: Atomicity in Distributed Quantum Computing

abstract: Atomicity is a ubiquitous assumption in distributed computing, under which actions are indivisible and appear sequential. In classical computing, this assumption has several theoretical and practical guarantees. In quantum computing, although atomicity is still commonly assumed, it has not been seriously studied, and a rigorous basis for it is missing. Classical results on atomicity do not directly carry over to distributed quantum computing, due to new challenges caused by quantum entanglement and the measurement problem from the underlying quantum mechanics. In this paper, we initiate the study of atomicity in distributed quantum computing. A formal model of (non-atomic) distributed quantum system is established. Based on the Dijkstra-Lamport condition, the system dynamics and observable dynamics of a distributed quantum system are defined, which correspond to the quantum state of and classically observable events in the system, respectively. Within this framework, we prove that local actions can be regarded as if they were atomic, up to the observable dynamics of the system.


title: A hybrid prognosis approach for robust lifetime control of commercial wind turbines

abstract: Dynamic fluctuations in the wind field to which a wind turbine (WT) is exposed to are responsible for fatigue loads on its components. To reduce structural loads in WTs, advanced control schemes have been proposed. In recent years, prognosis-based lifetime control of WTs has become increasingly important. In this approach, the prognostic controller gains are adapted based on the stateof-health (SOH) of the WT component to achieve the desired lifetime. However, stochastic wind dynamics complicates estimation of the SOH of a WT. More recently, robust controllers have been combined with real-time damage evaluation models to meet prognosis objectives. Most rely on model-based online load cycle counting algorithms to determine fatigue damage, with analytical models providing the degradation estimate. However, most use load measurements that are either unreliable or unavailable in commercial WTs, limiting their practicality. In this contribution, a hybrid prognosis scheme combining data-driven load prediction and model-based damage estimation models for robust lifetime control of commercial WTs is proposed. A data-driven support vector machine (SVM) regression model is trained using loading data obtained from dynamic simulations using a {\mu}-synthesis robust disturbance accommodating controller (RDAC). The regression model uses available WT measurements to predict tower load. Based on this prediction, an online rain-flow counting (RFC) damage evaluation model estimates the damage level and lifetime of the tower. The RDAC controller gains are dynamically adapted to achieve a predefined damage limit and lifetime. The proposed approach is evaluated on a 5 MW reference WT and its performance is compared with a model-based prognosis scheme using ideal WT tower measurement. Results demonstrate the efficacy of the proposed approach to control the fatigue lifetime in WT components.


title: Two-dimensional correlation propagation dynamics with a cluster discrete phase-space method

abstract: Nonequilibrium dynamics of highly-controlled quantum systems is a challenging issue in statistical physics and quantum many-body physics, relevant to recent experimental developments of analog and digital quantum simulations. In this work, we develop a discrete phase-space approach for general SU($N$) spin systems that utilizes cluster mean field equations, which capture non-trivial quantum correlations inside each cluster, beyond the capability of the standard discrete truncated Wigner approximation for individual classical spins. Our formalism, based on a cluster phase-point operator, makes it possible to realize scalable numerical samplings of cluster phase-space variables, where the total number of noise variables for a direct product state is independent of the choice of the separation into finite regions of clusters. We numerically demonstrate that the cluster discrete truncated Wigner approximation (C-dTWA) method can reproduce key results in a recent experiment on the correlation propagation dynamics in a two dimensional Bose-Hubbard system. We also compare the results of C-dTWA for clusters of $2\times 2$ sites with those of a two-dimensional tensor network method and discuss that both approaches agree very well in a short time region, where the energy is well conserved in the tensor network simulations. Since we formulate the C-dTWA method in a general form, it can be potentially applied to various dynamical problems in isolated and open quantum systems even in higher dimensions.


title: The population of Galactic supernova remnants in the TeV range

abstract: Supernova remnants (SNRs) are likely to be significant sources of cosmic rays up to the knee of the local cosmic-ray (CR) spectrum. They produce gamma-rays in the very-high-energy (VHE) ($E>0.1$ TeV) range via: hadronic interactions with the interstellar medium and leptonic interactions with soft photons. Current observations have lead to the detection of about a dozen of VHE SNRs and future instruments should increase this number. The details of particle acceleration at SNRs, and of the mechanisms producing VHE gamma-rays at SNRs are poorly understood. We aim to study the population of SNRs detected in the TeV range and its properties, and to address fundamental questions of particle acceleration at SNR shocks: What is the spectrum of accelerated particles? What is the efficiency of acceleration? Is the VHE emission dominated by hadronic or leptonic interactions? By means of Monte Carlo methods, we simulate the population of SNRs in the VHE domain and confront our simulations to H.E.S.S. Galactic Plane Survey (HGPS). We explore the parameter space: the slope of accelerated particles $\alpha$, the electron-to-proton ratio $K_{\rm ep}$, and the efficiency of particle acceleration $\xi $. We found sets of parameters for which $\gtrsim 90$\% of realisations are found in agreements with the HGPS data. These parameters are found $ 4.2 \gtrsim \alpha \gtrsim 4.1 $, $10^{-5} \lesssim K_{\rm ep} \lesssim 10^{-4.5}$, and $0.03 \lesssim \xi\lesssim 0.1 $ . We were able to strongly argue against some regions of the parameter space: $\alpha \lesssim 4.05$, $\alpha \gtrsim 4.35$, or $K_{\rm ep} \gtrsim 10^{-3}$. Our model is so far able to explain the SNR population of the HGPS. Our approach, confronted to the results of future systematic surveys, will help remove degeneracy in the solutions, and to better understand particle acceleration at SNR shocks.


title: FauxPy: A Fault Localization Tool for Python

abstract: This paper presents FauxPy, a fault localization tool for Python programs. FauxPy supports seven well-known fault localization techniques in four families: spectrum-based, mutation-based, predicate switching, and stack trace fault localization. It is implemented as plugin of the popular Pytest testing framework, but also works with tests written for Unittest and Hypothesis (two other popular testing frameworks). The paper showcases how to use FauxPy on two illustrative examples, and then discusses its main features and capabilities from a user's perspective. To demonstrate that FauxPy is applicable to analyze Python projects of realistic size, the paper also summarizes the results of an extensive experimental evaluation that applied FauxPy to 135 real-world bugs from the BugsInPy curated collection. To our knowledge, FauxPy is the first open-source fault localization tool for Python that supports multiple fault localization families.


title: Orbital selective commensurate modulations of the local density of states in ScV6Sn6 probed by nuclear spins

abstract: The Kagome network is a unique platform in solid state physics that harbors a diversity of special electronic states due to its inherent band structure features comprising Dirac cones, van-Hove singularities, and flat bands. Some Kagome-based non-magnetic metals have recently been found to exhibit favorable properties, including unconventional superconductivity, charge density waves (CDW), switchable chiral transport, and signatures of an anomalous Hall effect (AHE). The Kagome metal ScV6Sn6 is another promising candidate for studying the emergence of an unconventional CDW and accompanying effects. We use 51V nuclear magnetic resonance (NMR) to study the local properties of the CDW phase in single crystalline ScV6Sn6, aided by density functional theory (DFT). We trace the dynamics of the local magnetic field during the CDW phase transition and determine a loss in the density of states (DOS) by a factor of $\sqrt{2}$, in excellent agreement with DFT. The local charge symmetry of the V surrounding in the CDW phase reflects the commensurate modulation of the charge density with wave vector q=(1/3,1/3,1/3). An unusual orientation dependent change in the NMR shift splitting symmetry, however, reveals orbital selective modulations of the local DOS.