title: Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems

abstract: The rapid advance of deep reinforcement learning techniques enables the oversight of safety-critical systems through the utilization of Deep Neural Networks (DNNs). This underscores the pressing need to promptly establish certified safety guarantees for such DNN-controlled systems. Most of the existing verification approaches rely on qualitative approaches, predominantly employing reachability analysis. However, qualitative verification proves inadequate for DNN-controlled systems as their behaviors exhibit stochastic tendencies when operating in open and adversarial environments. In this paper, we propose a novel framework for unifying both qualitative and quantitative safety verification problems of DNN-controlled systems. This is achieved by formulating the verification tasks as the synthesis of valid neural barrier certificates (NBCs). Initially, the framework seeks to establish almost-sure safety guarantees through qualitative verification. In cases where qualitative verification fails, our quantitative verification method is invoked, yielding precise lower and upper bounds on probabilistic safety across both infinite and finite time horizons. To facilitate the synthesis of NBCs, we introduce their $k$-inductive variants. We also devise a simulation-guided approach for training NBCs, aiming to achieve tightness in computing precise certified lower and upper bounds. We prototype our approach into a tool called $\textsf{UniQQ}$ and showcase its efficacy on four classic DNN-controlled systems.


title: Nanoscale mechanical manipulation of ultrathin SiN membranes enabling infrared near-field microscopy of liquid-immersed samples

abstract: Scattering scanning near-field optical microscopy (s-SNOM) is a powerful technique for mid-infrared spectroscopy at nanometer length scales. By investigating objects in aqueous environments through ultrathin membranes, s-SNOM has recently been extended towards label-free nanoscopy of the dynamics of living cells and nanoparticles, assessing both the optical and the mechanical interactions between the tip, the membrane and the liquid suspension underneath. Here, we report that the tapping AFM tip induces a reversible nanometric deformation of the membrane manifested as either an indentation or protrusion. This mechanism depends on the driving force of the tapping cantilever, which we exploit to minimize topographical deformations of the membrane to improve optical measurements. Furthermore, we show that the tapping phase, or phase delay between driving signal and tip oscillation, is a highly sensitive observable for quantifying the mechanics of adhering objects, exhibiting highest contrast for low tapping amplitudes where the membrane remains nearly flat. We correlate mechanical responses with simultaneously recorded spectroscopy data to reveal the thickness of nanometric water pockets between membrane and adhering objects. Besides a general applicability of depth profiling, our technique holds great promise for studying mechano-active biopolymers and living cells, biomaterials that exhibit complex behaviors when under a mechanical load.


title: On the rings whose injective right modules are max-projective

abstract: Recently, the rings whose injective right modules are R-projective (respectively, max-projective) were investigated and studied in [2]. Such ring are called right almost-QF (respectively, max-QF). In this paper, our aim is to give some further characterization of these rings over more general classes of rings, and address several questions about these rings. We obtain characterizations of max-QF rings over several classes of rings including local, semilocal right semihereditary, right nonsingular right noetherian and right nonsingular right finite dimensional rings. We prove that for a ring R being right almost-QF and right max-QF are not left-right symmetric. We also show that right almost-QF and right max-QF rings are not closed under factor rings. This leads to consider the rings all of whose factor rings are almost-QF and max-QF.


title: A class of globally analytic hypoelliptic operators on compact Lie groups

abstract: We obtain global analytic hypoellipticity for a class of differential operators that can be expressed as a zero-order perturbation of a sum of squares of vector fields with real-analytic coefficients on compact Lie groups. The key conditions are: the vector fields must satisfy H\"ormander's finite type condition; there exists a closed subgroup whose action leaves the vector fields invariant; and the operator must be elliptic in directions transversal to the action of the subgroup. This paves the way for further studies on the regularity of sums of squares on principal fiber bundles.


title: Measurement of the mesonic decay branch of the $\bar{K}\!N\!N$ quasi-bound state

abstract: We conducted measurements of $K^- + {^3{\rm He}} \to \pi \!Y \!N + N'$ reactions using a $1~{\rm GeV}/c$ $K^-$-beam, with the objective of understanding the broad decay width of $\bar{K} \!N \!N$ (approximately twice as broad as that of $\Lambda(1405)$ considered to be the $\bar{K} \!N$ quasi-bound state). We successfully reproduced distributions of the $\pi \! Y \! N$ invariant mass and momentum transfer for $\pi \! Y \! N$ using model fitting functions for $\bar{K} \!N \!N$ formation and quasi-free $\bar{K}$ absorption (${\rm QF}_{\bar{K}-{\rm abs}}$) processes. The model can describe the experimental data quite well, and four $\bar{K} \! N \! N \to \pi \! Y \! N $ cross-sections were obtained. The results indicate that mesonic decay is the dominant decay branch of $\bar{K} \! N \! N$. The results also suggest that $\Gamma_{\pi \Lambda N} \sim \Gamma_{\pi \Sigma N}$, which indicates that the $I_{\bar{K} \! N}=1$ absorption channel, in addition to the $I_{\bar{K} \! N}=0$ absorption channel, substantially contribute to the $\bar{K} \! N \! N$ decay, making the $\bar{K} \! N \! N$ state approximately twice as unstable as $\Lambda$(1405).


title: MHONGOOSE -- A MeerKAT Nearby Galaxy HI Survey

abstract: The MHONGOOSE (MeerKAT HI Observations of Nearby Galactic Objects: Observing Southern Emitters) survey maps the distribution and kinematics of the neutral atomic hydrogen (HI) gas in and around 30 nearby star-forming spiral and dwarf galaxies to extremely low HI column densities. The HI column density sensitivity (3 sigma over 16 km/s) ranges from ~ 5 x 10^{17} cm^{-2} at 90'' resolution to ~4 x 10^{19} cm^{-2} at the highest resolution of 7''. The HI mass sensitivity (3 sigma over 50 km/s) is ~5.5 X 10^5 M_sun at a distance of 10 Mpc (the median distance of the sample galaxies). The velocity resolution of the data is 1.4 km/s. One of the main science goals of the survey is the detection of cold, accreting gas in the outskirts of the sample galaxies. The sample was selected to cover a range in HI masses, from 10^7 M_sun to almost 10^{11} M_sun, to optimally sample possible accretion scenarios and environments. The distance to the sample galaxies ranges from 3 to 23 Mpc. In this paper, we present the sample selection, survey design, and observation and reduction procedures. We compare the integrated HI fluxes based on the MeerKAT data with those derived from single-dish measurement and find good agreement, indicating that our MeerKAT observations are recovering all flux. We present HI moment maps of the entire sample based on the first ten percent of the survey data, and find that a comparison of the zeroth- and second-moment values shows a clear separation between the physical properties of the HI in areas with star formation and areas without, related to the formation of a cold neutral medium. Finally, we give an overview of the HI-detected companion and satellite galaxies in the 30 fields, five of which have not previously been catalogued. We find a clear relation between the number of companion galaxies and the mass of the main target galaxy.


title: A noisy elephant in the room: Is your out-of-distribution detector robust to label noise?

abstract: The ability to detect unfamiliar or unexpected images is essential for safe deployment of computer vision systems. In the context of classification, the task of detecting images outside of a model's training domain is known as out-of-distribution (OOD) detection. While there has been a growing research interest in developing post-hoc OOD detection methods, there has been comparably little discussion around how these methods perform when the underlying classifier is not trained on a clean, carefully curated dataset. In this work, we take a closer look at 20 state-of-the-art OOD detection methods in the (more realistic) scenario where the labels used to train the underlying classifier are unreliable (e.g. crowd-sourced or web-scraped labels). Extensive experiments across different datasets, noise types & levels, architectures and checkpointing strategies provide insights into the effect of class label noise on OOD detection, and show that poor separation between incorrectly classified ID samples vs. OOD samples is an overlooked yet important limitation of existing methods. Code: https://github.com/glhr/ood-labelnoise


title: Diversity in hydrogen-rich envelope mass of type II supernovae (I): $V$-band light curve modeling

abstract: We conduct a systematic study on the light curves of type II supernovae (SNe II) to investigate how they are affected by the physical properties of the progenitor and the nature of the explosion. The calculations of pre-supernova evolution, the launch of the explosion, and the light curve are carried out by \texttt{MESA} and \texttt{STELLA}. Our study encompasses a wide range of zero-age-main-sequence (ZAMS) masses (10 - 20 $M_{\rm \odot}$), wind mass-loss rates (which control the range of hydrogen-rich envelope mass to be 3 - 12 $M_{\rm \odot}$), explosion energies (0.1 - 2.5 $\times$ 10$^{51}$ erg), and $^{56}$Ni masses (0 - 0.15 $M_{\rm \odot}$). Our analyses reveal that when the explosion energy is fixed, the light curve is primarily determined by the properties of the hydrogen-rich envelope, despite the large variation in the ZAMS masses. The dependencies of the light-curve characteristics on the envelope mass, radius, and explosion energy are investigated, and we establish the scaling relations connecting these quantities. We further derive a formula that corrects for effects of the $^{56}$Ni heating based on observables. Using the derived equations, we develop a method that can constrain the envelope mass with uncertainty within 1 $M_{\rm \odot}$ based on photometry. This method is applied to a large sample of $\sim$ 100 SNe II, which reveals a considerably broader range of the envelope masses estimated from observables as compared to those predicted by single star models evolving with standard stellar wind; this finding indicates that a large fraction of SNe II experience substantial mass-loss beyond the standard mass-loss prescription prior to their explosions, highlighting the uncertainties involved in the massive star evolution and pre-SN mass-loss mechanism.


title: A thermionic electron gun to characterize silicon drift detectors with electrons

abstract: The TRISTAN detector is a new detector for electron spectroscopy at the Karlsruhe Tritium Neutrino (KATRIN) experiment. The semiconductor detector utilizes the silicon drift detector technology and will enable the precise measurement of the entire tritium beta decay electron spectrum. Thus, a significant fraction of the parameter space of potential neutrino mass eigenstates in the keV-mass regime can be probed. We developed a custom electron gun based on the effect of thermionic emission to characterize the TRISTAN detector modules with mono-energetic electrons before installation into the KATRIN beamline. The electron gun provides an electron beam with up to 25 keV kinetic energy and an electron rate in the order of 1E5 electrons per second. This manuscript gives an overview of the design and commissioning of the electron gun. In addition, we will shortly discuss a first measurement with the electron gun to characterize the electron response of the TRISTAN detector.


title: Braiding Fibonacci anyons

abstract: Fibonacci anyons provide the simplest possible model of non-Abelian fusion rules: [1] x [1] = [0] + [1]. We propose a conformal field theory construction of topological quantum registers based on Fibonacci anyons realized as quasiparticle excitations in the Z_3 parafermion fractional quantum Hall state. To this end, the results of Ardonne and Schoutens for the correlation function of n = 4 Fibonacci fields are extended to the case of arbitrary n (and 3 r electrons). Special attention is paid to the braiding properties of the obtained correlators. We explain in details the construction of a monodromy representation of the Artin braid group acting on n-point conformal blocks of Fibonacci anyons. For low n (up to n = 8), the matrices of braid group generators are displayed explicitly. A simple recursion formula makes it possible to extend without efforts the construction to any n. Finally, we construct N qubit computational spaces in terms of conformal blocks of 2N + 2 Fibonacci anyons.


title: Diagonal Coset Approach to Topological Quantum Computation with Fibonacci Anyons

abstract: We investigate a promising conformal field theory realization scheme for topological quantum computation based on the Fibonacci anyons, which are believed to be realized as quasiparticle excitations in the $\mathbb{Z}_3$ parafermion fractional quantum Hall state in the second Landau level with filling factor $\nu=12/5$. These anyons are non-Abelian and are known to be capable of universal topological quantum computation. The quantum information is encoded in the fusion channels of pairs of such non-Abelian anyons and is protected from noise and decoherence by the topological properties of these systems.The quantum gates are realized by braiding of these anyons. We propose here an implementation of the $n$-qubit topological quantum register in terms of $2n+2$ Fibonacci anyons. The matrices emerging from the anyon exchanges, i.e. the generators of the braid group for one qubit are derived from the coordinate wave functions of a large number of electron holes and 4 Fibonacci anyons which can furthermore be represented as correlation functions in $\mathbb{Z}_3$ parafermionic two-dimensional conformal field theory. The representations of the braid groups for more than 4 anyons are obtained by fusing pairs of anyons before braiding, thus reducing eventually the system to 4 anyons.


title: CSST Strong Lensing Preparation: a Framework for Detecting Strong Lenses in the Multi-color Imaging Survey by the China Survey Space Telescope (CSST)

abstract: Strong gravitational lensing is a powerful tool for investigating dark matter and dark energy properties. With the advent of large-scale sky surveys, we can discover strong lensing systems on an unprecedented scale, which requires efficient tools to extract them from billions of astronomical objects. The existing mainstream lens-finding tools are based on machine learning algorithms and applied to cut-out-centered galaxies. However, according to the design and survey strategy of optical surveys by CSST, preparing cutouts with multiple bands requires considerable efforts. To overcome these challenges, we have developed a framework based on a hierarchical visual Transformer with a sliding window technique to search for strong lensing systems within entire images. Moreover, given that multi-color images of strong lensing systems can provide insights into their physical characteristics, our framework is specifically crafted to identify strong lensing systems in images with any number of channels. As evaluated using CSST mock data based on an Semi-Analytic Model named CosmoDC2, our framework achieves precision and recall rates of 0.98 and 0.90, respectively. To evaluate the effectiveness of our method in real observations, we have applied it to a subset of images from the DESI Legacy Imaging Surveys and media images from Euclid Early Release Observations. 61 new strong lensing system candidates are discovered by our method. However, we also identified false positives arising primarily from the simplified galaxy morphology assumptions within the simulation. This underscores the practical limitations of our approach while simultaneously highlighting potential avenues for future improvements.


title: An evaluation of CFEAR Radar Odometry

abstract: This article describes the method CFEAR Radar odometry, submitted to a competition at the Radar in Robotics workshop, ICRA 20241. CFEAR is an efficient and accurate method for spinning 2D radar odometry that generalizes well across environments. This article presents an overview of the odometry pipeline with new experiments on the public Boreas dataset. We show that a real-time capable configuration of CFEAR - with its original parameter set - yields surprisingly low drift in the Boreas dataset. Additionally, we discuss an improved implementation and solving strategy that enables the most accurate configuration to run in real-time with improved robustness, reaching as low as 0.61% translation drift at a frame rate of 68 Hz. A recent release of the source code is available to the community https://github.com/dan11003/CFEAR_Radarodometry_code_public, and we publish the evaluation from this article on https://github.com/dan11003/cfear_2024_workshop


title: Multicriteria Analysis Model in Sustainable Corn Farming Area Planning

abstract: This study aims to develop a framework for multicriteria analysis to evaluate alternatives for sustainable corn agricultural area planning, considering the integration of ecological, economic, and social aspects as pillars of sustainability. The research method uses qualitative and quantitative approaches to integrate ecological, economic, and social aspects in the multicriteria analysis. The analysis involves land evaluation, subcriteria identification, and data integration using Multidimensional Scaling and Analytical Hierarchy Process methods to prioritize developing sustainable corn agricultural areas. Based on the results of the RAP-Corn analysis, it indicates that the ecological dimension depicts less sustainability. The AHP results yield weight distribution and highly relevant scores that describe tangible preferences. Priority directions are grouped as strategic steps toward achieving the goals of sustainable corn agricultural area planning.


title: Synchronicity of descent and excedance enumerators in the alternating subgroup

abstract: Generalising the work of Dey, we define the notion of ultra-synchronicity of sequences of real numbers. Let $B_{n,k},C_{n,k},P_{n,k},Q_{n,k}$ be the number of even permutations with $k$ descents, odd permutations with $k$ descents, even permutations with $k$ excedances and odd permutations with $k$ excedances respectively. We show that the four sequences are ultra-synchronised for all $n\ge 5$. This proves a strengthening of two conjectures of Dey.


title: Learning-Based Joint Beamforming and Antenna Movement Design for Movable Antenna Systems

abstract: In this paper, we investigate a multi-receiver communication system enabled by movable antennas (MAs). Specifically, the transmit beamforming and the double-side antenna movement at the transceiver are jointly designed to maximize the sum-rate of all receivers under imperfect channel state information (CSI). Since the formulated problem is non-convex with highly coupled variables, conventional optimization methods cannot solve it efficiently. To address these challenges, an effective learning-based algorithm is proposed, namely heterogeneous multi-agent deep deterministic policy gradient (MADDPG), which incorporates two agents to learn policies for beamforming and movement of MAs, respectively. Based on the offline learning under numerous imperfect CSI, the proposed heterogeneous MADDPG can output the solutions for transmit beamforming and antenna movement in real time. Simulation results validate the effectiveness of the proposed algorithm, and the MA can significantly improve the sum-rate performance of multiple receivers compared to other benchmark schemes.


title: Can Humans Identify Domains?

abstract: Textual domain is a crucial property within the Natural Language Processing (NLP) community due to its effects on downstream model performance. The concept itself is, however, loosely defined and, in practice, refers to any non-typological property, such as genre, topic, medium or style of a document. We investigate the core notion of domains via human proficiency in identifying related intrinsic textual properties, specifically the concepts of genre (communicative purpose) and topic (subject matter). We publish our annotations in *TGeGUM*: A collection of 9.1k sentences from the GUM dataset (Zeldes, 2017) with single sentence and larger context (i.e., prose) annotations for one of 11 genres (source type), and its topic/subtopic as per the Dewey Decimal library classification system (Dewey, 1979), consisting of 10/100 hierarchical topics of increased granularity. Each instance is annotated by three annotators, for a total of 32.7k annotations, allowing us to examine the level of human disagreement and the relative difficulty of each annotation task. With a Fleiss' kappa of at most 0.53 on the sentence level and 0.66 at the prose level, it is evident that despite the ubiquity of domains in NLP, there is little human consensus on how to define them. By training classifiers to perform the same task, we find that this uncertainty also extends to NLP models.


title: Generative AI-Based Text Generation Methods Using Pre-Trained GPT-2 Model

abstract: This work delved into the realm of automatic text generation, exploring a variety of techniques ranging from traditional deterministic approaches to more modern stochastic methods. Through analysis of greedy search, beam search, top-k sampling, top-p sampling, contrastive searching, and locally typical searching, this work has provided valuable insights into the strengths, weaknesses, and potential applications of each method. Each text-generating method is evaluated using several standard metrics and a comparative study has been made on the performance of the approaches. Finally, some future directions of research in the field of automatic text generation are also identified.


title: A Kerr kernel quantum learning machine

abstract: Kernel methods are of current interest in quantum machine learning due to similarities with quantum computing in how they process information in high-dimensional feature (Hilbert) spaces. Kernels are believed to offer particular advantages when they cannot be computed classically, so a kernel matrix with indisputably nonclassical elements is desirable provided it can be generated efficiently in a particular physical machine. Kerr nonlinearities, known to be a route to universal continuous variable (CV) quantum computation, may be able to play this role for quantum machine learning. We propose a quantum hardware kernel implementation scheme based on superconducting quantum circuits. The scheme does not use qubits or quantum circuits but rather exploits the analogue features of Kerr coupled modes. Our approach is more akin to the growing number of analog machine learning schemes based on sampling quantum probabilities directly in an engineered device by stochastic quantum control.


title: Two bijections in the spirit of the transformation fondamentale

abstract: In this short paper, we give bijective proofs of two recent equidistribution results connecting cyclic and linear statistics in the spirit of the Foata's ``transformation fondamentale''.


title: A Feature Dataset of Microservices-based Systems

abstract: Microservice architecture has become a dominant architectural style in the service-oriented software industry. Poor practices in the design and development of microservices are called microservice bad smells. In microservice bad smells research, the detection of these bad smells relies on feature data from microservices. However, there is a lack of an appropriate open-source microservice feature dataset. The availability of such datasets may contribute to the detection of microservice bad smells unexpectedly. To address this research gap, this paper collects a number of open-source microservice systems utilizing Spring Cloud. Additionally, feature metrics are established based on the architecture and interactions of Spring Boot style microservices. And an extraction program is developed. The program is then applied to the collected open-source microservice systems, extracting the necessary information, and undergoing manual verification to create an open-source feature dataset specific to microservice systems using Spring Cloud. The dataset is made available through a CSV file. We believe that both the extraction program and the dataset have the potential to contribute to the study of micro-service bad smells.


title: Super-Resolution Analysis for Landfill Waste Classification

abstract: Illegal landfills are a critical issue due to their environmental, economic, and public health impacts. This study leverages aerial imagery for environmental crime monitoring. While advances in artificial intelligence and computer vision hold promise, the challenge lies in training models with high-resolution literature datasets and adapting them to open-access low-resolution images. Considering the substantial quality differences and limited annotation, this research explores the adaptability of models across these domains. Motivated by the necessity for a comprehensive evaluation of waste detection algorithms, it advocates cross-domain classification and super-resolution enhancement to analyze the impact of different image resolutions on waste classification as an evaluation to combat the proliferation of illegal landfills. We observed performance improvements by enhancing image quality but noted an influence on model sensitivity, necessitating careful threshold fine-tuning.


title: Combinatorial relations among relations of $C_{2}\sp{(1)}$-standard modules for higher levels

abstract: For an affine Lie algebra $\hat{\mathfrak g}$ the coefficients of certain vertex operators which annihilate level $k$ standard $\hat{\mathfrak g}$-modules are the defining relations for level $k$ standard modules. In the paper \cite{PS3} combinatorial structure of the leading terms of mentioned relations for level $k=2$ standard $\hat{\mathfrak g}$-modules and affine Lie algebras of type $C_{n}\sp{(1)}$ is given. The main result of this paper is a construction of combinatorially parameterized relations among relations of $C_{2}\sp{(1)}$-standard modules for all levels.


title: Realizations and star-product of doubly $\kappa$-deformed Yang models

abstract: The Yang algebra was proposed a long time ago as a generalization of the Snyder algebra to the case of curved background spacetime. It includes as subalgebras both the Snyder and the de Sitter algebras and can therefore be viewed as a model of noncommutative curved spacetime. A peculiarity with respect to standard models of noncommutative geometry is that it includes translation and Lorentz generators, so that the definition of a Hopf algebra and the physical interpretation of the variables conjugated to the primary ones is not trivial. In this paper we consider the realizations of the Yang algebra and its $\kappa$-deformed generalization on an extended phase space and in this way we are able to define a Hopf structure and a twist.


title: Search of CP violation in baryons with the LHCb detector

abstract: The latest results from the LHCb collaboration for the search for $CP$ violation in $b$-baryon decays are reported here. The first article presented is the search conducted in the $\Lambda_b^0 \rightarrow p \pi^- \pi^+ \pi^- $ decay, and the subsequent observation of $P$ violation. The following paper describes the search and the first observation of the $\Lambda_b^0 \rightarrow D^0 p K^-$ decay, with $D^0 \rightarrow K \pi$, Cabibbo-favoured and doubly suppressed mode. This proceeding concludes with the first amplitude analysis performed in $\Xi_b^- \rightarrow p K^- K^-$, whose model allows for \textit{CP} violation.


title: Imitation Game: A Model-based and Imitation Learning Deep Reinforcement Learning Hybrid

abstract: Autonomous and learning systems based on Deep Reinforcement Learning have firmly established themselves as a foundation for approaches to creating resilient and efficient Cyber-Physical Energy Systems. However, most current approaches suffer from two distinct problems: Modern model-free algorithms such as Soft Actor Critic need a high number of samples to learn a meaningful policy, as well as a fallback to ward against concept drifts (e. g., catastrophic forgetting). In this paper, we present the work in progress towards a hybrid agent architecture that combines model-based Deep Reinforcement Learning with imitation learning to overcome both problems.


title: Long Time Propagation of Chaos in Total Variation Distance for Mean Field Interacting Particle System

abstract: In this paper, a general result on the long time quantitative propagation of chaos in total variation distance for mean field interacting particle system driven by general L\'{e}vy noise is derived. Moreover, by using the method of coupling, the general result is applied to mean field interacting particle system driven by Brownian motion and $\alpha(\alpha>1)$-stable noise respectively, where the non-interacting drift is assumed to be dissipative in long distance and the initial distribution of interacting particle system converges to that of the limit equation in $L^1$-Wasserstein distance.


title: Open Experimental Measurements of Sub-6GHz Reconfigurable Intelligent Surfaces

abstract: In this paper, we present two datasets that we make publicly available for research. The data is collected in a testbed comprised of a custom-made Reconfigurable Intelligent Surface (RIS) prototype and two regular OFDM transceivers within an anechoic chamber. First, we discuss the details of the testbed and equipment used, including insights about the design and implementation of our RIS prototype. We further present the methodology we employ to gather measurement samples, which consists of letting the RIS electronically steer the signal reflections from an OFDM transmitter toward a specific location. To this end, we evaluate a suitably designed configuration codebook and collect measurement samples of the received power with an OFDM receiver. Finally, we present the resulting datasets, their format, and examples of exploiting this data for research purposes.


title: Excitons, Optical Spectra, and Electronic Properties of Semiconducting Hf-based MXenes

abstract: Semiconducting MXenes are an intriguing two-dimensional (2D) material class with promising electronic and optoelectronic properties. Here, we focused on recently prepared Hf-based MXenes, namely Hf$_3$C$_2$O$_2$ and Hf$_2$CO$_2$. Using the first-principles calculation and excited state corrections, we proved its dynamical stability, reconciled its semiconducting behavior, and obtained fundamental gaps by the many-body GW method (indirect 1.1 eV and 2.2 eV, respectively, direct 1.4 eV and 3.5 eV, respectively). Using the Bethe-Salpeter equation (BSE) we subsequently provided optical gaps (0.9 eV and 2.7eV, respectively), exciton binding energies, absorption spectra, and other properties of excitons in both Hf-based MXenes. The indirect character of both 2D materials further allowed a significant decrease of excitation energies by considering indirect excitons with exciton momentum along the $\Gamma$-M path in the Brillouin zone. The first bright excitons are strongly delocalized in real space while contributed by only a limited number of electron-hole pairs around the M point in the k-space from the valence and conduction band. A diverse range of excitonic states in Hf$_3$C$_2$O$_2$ MXene lead to a 4\% and 13\% absorptance for the first and second peaks in the infrared region of absorption spectra, respectively. In contrast, a prominent 28\% absorptance peak in the visible region appears in Hf$_2$CO$_2$ MXene. Results from radiative lifetime calculations indicate the promising potential of these materials in optoelectric devices requiring sustained and efficient exciton behavior.


title: On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations

abstract: We investigate the problem of recovering coefficients in scalar nonlinear ordinary differential equations that can be exactly linearized. This contribution builds upon prior work by Lyakhov, Gerdt, and Michels, which focused on obtaining a linearizability certificate through point transformations. Our focus is on quasi-linear equations, specifically those solved for the highest derivative with a rational dependence on the variables involved. Our novel algorithm for coefficient recovery relies on basic operations on Lie algebras, such as computing the derived algebra and the dimension of the symmetry algebra. This algorithmic approach is efficient, although finding the linearization transformation necessitates computing at least one solution of the corresponding Bluman-Kumei equation system.


title: PATCH -- Psychometrics-AssisTed benCHmarking of Large Language Models: A Case Study of Mathematics Proficiency

abstract: Many existing benchmarks of large (multimodal) language models (LLMs) focus on measuring LLMs' academic proficiency, often with also an interest in comparing model performance with human test takers. While these benchmarks have proven key to the development of LLMs, they suffer from several limitations, including questionable measurement quality (e.g., Do they measure what they are supposed to in a reliable way?), lack of quality assessment on the item level (e.g., Are some items more important or difficult than others?) and unclear human population reference (e.g., To whom can the model be compared?). In response to these challenges, we propose leveraging knowledge from psychometrics - a field dedicated to the measurement of latent variables like academic proficiency - into LLM benchmarking. We make three primary contributions. First, we introduce PATCH: a novel framework for Psychometrics-AssisTed benCHmarking of LLMs. PATCH addresses the aforementioned limitations, presenting a new direction for LLM benchmark research. Second, we implement PATCH by measuring GPT-4 and Gemini-Pro-Vision's proficiency in 8th grade mathematics against 56 human populations. We show that adopting a psychometrics-based approach yields evaluation outcomes that diverge from those based on existing benchmarking practices. Third, we release 4 datasets to support measuring and comparing LLM proficiency in grade school mathematics and science against human populations.


title: Sentiment Analysis of Citations in Scientific Articles Using ChatGPT: Identifying Potential Biases and Conflicts of Interest

abstract: Scientific articles play a crucial role in advancing knowledge and informing research directions. One key aspect of evaluating scientific articles is the analysis of citations, which provides insights into the impact and reception of the cited works. This article introduces the innovative use of large language models, particularly ChatGPT, for comprehensive sentiment analysis of citations within scientific articles. By leveraging advanced natural language processing (NLP) techniques, ChatGPT can discern the nuanced positivity or negativity of citations, offering insights into the reception and impact of cited works. Furthermore, ChatGPT's capabilities extend to detecting potential biases and conflicts of interest in citations, enhancing the objectivity and reliability of scientific literature evaluation. This study showcases the transformative potential of artificial intelligence (AI)-powered tools in enhancing citation analysis and promoting integrity in scholarly research.


title: EventSleep: Sleep Activity Recognition with Event Cameras

abstract: Event cameras are a promising technology for activity recognition in dark environments due to their unique properties. However, real event camera datasets under low-lighting conditions are still scarce, which also limits the number of approaches to solve these kind of problems, hindering the potential of this technology in many applications. We present EventSleep, a new dataset and methodology to address this gap and study the suitability of event cameras for a very relevant medical application: sleep monitoring for sleep disorders analysis. The dataset contains synchronized event and infrared recordings emulating common movements that happen during the sleep, resulting in a new challenging and unique dataset for activity recognition in dark environments. Our novel pipeline is able to achieve high accuracy under these challenging conditions and incorporates a Bayesian approach (Laplace ensembles) to increase the robustness in the predictions, which is fundamental for medical applications. Our work is the first application of Bayesian neural networks for event cameras, the first use of Laplace ensembles in a realistic problem, and also demonstrates for the first time the potential of event cameras in a new application domain: to enhance current sleep evaluation procedures. Our activity recognition results highlight the potential of event cameras under dark conditions, and its capacity and robustness for sleep activity recognition, and open problems as the adaptation of event data pre-processing techniques to dark environments.


title: Explicit formulas for adiabatic elimination with fast unitary dynamics

abstract: The so-called ``adiabatic elimination'' of fast decaying degrees of freedom in open quantum systems can be performed with a series expansion in the timescale separation. The associated computations are significantly more difficult when the remaining degrees of freedom (center manifold) follow fast unitary dynamics instead of just being slow. This paper highlights how a formulation with Sylvester's equation and with adjoint dynamics leads to systematic, explicit expressions at high orders for settings of physical interest.


title: Systematic Solutions to Login and Authentication Security Problems: A Dual-Password Login-Authentication Mechanism

abstract: Credential theft and remote attacks are the most serious threats to user authentication mechanisms. The crux of these problems is that we cannot control such behaviors. However, if a password does not contain user secrets, stealing it is useless. If unauthorized inputs are invalidated, remote attacks can be disabled. Thus, credential secrets and account input fields can be controlled. Rather than encrypting passwords, we design a dual-password login-authentication mechanism, where a user-selected secret-free login password is converted into an untypable authentication password. Subsequently, the authenticatable functionality of the login password and the typable functionality of the authentication password can be disabled or invalidated to prevent credential theft and remote attacks. Thus, the usability-security tradeoff and password reuse issues are resolved; local authentication password storage is no longer necessary. More importantly, the password converter acts as an open hashing algorithm, meaning that its intermediate elements can be used to define a truly unique identity for the login process to implement a novel dual-identity authentication scheme. In particular, the system-managed elements are concealed, inaccessible, and independent of any personal information and therefore can be used to define a perfect unforgeable process identifier to identify unauthorized inputs.


title: Neuromorphic Wireless Device-Edge Co-Inference via the Directed Information Bottleneck

abstract: An important use case of next-generation wireless systems is device-edge co-inference, where a semantic task is partitioned between a device and an edge server. The device carries out data collection and partial processing of the data, while the remote server completes the given task based on information received from the device. It is often required that processing and communication be run as efficiently as possible at the device, while more computing resources are available at the edge. To address such scenarios, we introduce a new system solution, termed neuromorphic wireless device-edge co-inference. According to it, the device runs sensing, processing, and communication units using neuromorphic hardware, while the server employs conventional radio and computing technologies. The proposed system is designed using a transmitter-centric information-theoretic criterion that targets a reduction of the communication overhead, while retaining the most relevant information for the end-to-end semantic task of interest. Numerical results on standard data sets validate the proposed architecture, and a preliminary testbed realization is reported.


title: Improved Text Emotion Prediction Using Combined Valence and Arousal Ordinal Classification

abstract: Emotion detection in textual data has received growing interest in recent years, as it is pivotal for developing empathetic human-computer interaction systems. This paper introduces a method for categorizing emotions from text, which acknowledges and differentiates between the diversified similarities and distinctions of various emotions. Initially, we establish a baseline by training a transformer-based model for standard emotion classification, achieving state-of-the-art performance. We argue that not all misclassifications are of the same importance, as there are perceptual similarities among emotional classes. We thus redefine the emotion labeling problem by shifting it from a traditional classification model to an ordinal classification one, where discrete emotions are arranged in a sequential order according to their valence levels. Finally, we propose a method that performs ordinal classification in the two-dimensional emotion space, considering both valence and arousal scales. The results show that our approach not only preserves high accuracy in emotion prediction but also significantly reduces the magnitude of errors in cases of misclassification.


title: Hurewicz and Dranishnikov-Smith theorems for asymptotic dimension of countable approximate groups

abstract: We establish two main results for the asymptotic dimension of countable approximate groups. The first one is a Hurewicz type formula for a global morphism of countable approximate groups $f:(\Xi, \Xi^\infty) \to (\Lambda, \Lambda^\infty)$, stating that $\mathrm{asdim} \Xi \leq \mathrm{asdim} \Lambda +\mathrm{asdim} ([\mathrm{ker} f]_c)$. This is analogous to the Dranishnikov-Smith result for groups, and is relying on another Hurewicz type formula we prove, using a 6-local morphism instead of a global one. The second result is similar to the Dranishnikov-Smith theorem stating that, for a countable group $G$, $\mathrm{asdim} G$ is equal to the supremum of asymptotic dimensions of finitely generated subgroups of $G$. Our version states that, if $(\Lambda, \Lambda^\infty)$ is a countable approximate group, then $\mathrm{asdim} \Lambda$ is equal to the supremum of asymptotic dimensions of approximate subgroups of finitely generated subgroups of $\Lambda^\infty$, with these approximate subgroups contained in $\Lambda^2$.


title: Stacking of charge-density waves in 2H-NbSe$_2$ bilayers

abstract: We employ ab-initio electronic structure calculations to investigate the charge-density waves and periodic lattice distortions in bilayer 2H-NbSe$_2$. We demonstrate that the vertical stacking can give rise to a variety of patterns that may lower the symmetry of the CDW exhibited separately by the two composing 1H-NbSe$_2$ monolayers. The general tendency to a spontaneous symmetry breaking observed in the ground state and the first excited states is shown to originate from a non-negligible inter-layer coupling. Simulated images for scanning tunnelling microscopy (STM) as well as diffraction/scattering patterns show signatures of the different stacking orders. This may not only be useful to reinterpret past experiments on surfaces and thin films, but may also be exploited to devise ad-hoc experiments for the investigation of the stacking order in 2H-NbSe$_2$. We anticipate that our analysis does not only apply to the 2H-NbSe$_2$ bilayer, but is also relevant for thin films and bulk, whose smallest centro-symmetric component is indeed the bilayer. Finally, our results illustrate clearly that the vertical stacking is not only important for 1T structures, as exemplified by the metal-to-insulator transition observed in 1T-TaS$_2$, but seems to be a general feature of metallic layered transition metal dichalcogenides as well.


title: Software-Defined Cryptography: A Design Feature of Cryptographic Agility

abstract: Cryptographic agility, or crypto-agility, is a design feature that enables agile updates to new cryptographic algorithms and standards without the need to modify or replace the surrounding infrastructure. This paper examines the prerequisites for crypto-agility and proposes its desired design feature. More specifically, we investigate the design characteristics of widely deployed cybersecurity paradigms, i.e., zero trust, and apply its design feature to crypto-agility, achieving greater visibility and automation in cryptographic management.


title: Spectral Map: Embedding Slow Kinetics in Collective Variables

abstract: The dynamics of physical systems that require high-dimensional representation can often be captured in a few meaningful degrees of freedom called collective variables (CVs). However, identifying CVs is challenging and constitutes a fundamental problem in physical chemistry. This problem is even more pronounced when CVs information about slow kinetics related to rare transitions between long-lived metastable states. To address this issue, we propose an unsupervised deep-learning method called spectral map. Our method constructs slow CVs by maximizing the spectral gap between slow and fast eigenvalues of a transition matrix estimated by an anisotropic diffusion kernel. We demonstrate our method in several high-dimensional reversible folding processes.


title: Surface Reconstruction from Gaussian Splatting via Novel Stereo Views

abstract: The Gaussian splatting for radiance field rendering method has recently emerged as an efficient approach for accurate scene representation. It optimizes the location, size, color, and shape of a cloud of 3D Gaussian elements to visually match, after projection, or splatting, a set of given images taken from various viewing directions. And yet, despite the proximity of Gaussian elements to the shape boundaries, direct surface reconstruction of objects in the scene is a challenge. We propose a novel approach for surface reconstruction from Gaussian splatting models. Rather than relying on the Gaussian elements' locations as a prior for surface reconstruction, we leverage the superior novel-view synthesis capabilities of 3DGS. To that end, we use the Gaussian splatting model to render pairs of stereo-calibrated novel views from which we extract depth profiles using a stereo matching method. We then combine the extracted RGB-D images into a geometrically consistent surface. The resulting reconstruction is more accurate and shows finer details when compared to other methods for surface reconstruction from Gaussian splatting models, while requiring significantly less compute time compared to other surface reconstruction methods. We performed extensive testing of the proposed method on in-the-wild scenes, taken by a smartphone, showcasing its superior reconstruction abilities. Additionally, we tested the proposed method on the Tanks and Temples benchmark, and it has surpassed the current leading method for surface reconstruction from Gaussian splatting models. Project page: https://gs2mesh.github.io/.


title: Multiple scattering suppression for in vivo optical coherence tomography measurement using B-scan-wise multi-focus averaging method

abstract: We demonstrate a method that reduces the noise caused by multi-scattering (MS) photons in an \invivo optical coherence tomography image. This method combines a specially designed image acquisition (i.e., optical coherence tomography scan) scheme and subsequent complex signal processing. For the acquisition, multiple cross-sectional images (frames) are sequentially acquired while the depth position of the focus is altered for each frame by an electrically tunable lens. In the signal processing, the frames are numerically defocus-corrected, and complex averaged. Because of the inconsistency in the MS-photon trajectories among the different electrically tunable lens-induced defocus, this averaging reduces the MS signal. This method was validated using a scattering phantom and in vivo unanesthetized small fish samples, and was found to reduce MS noise even for unanesthetized in vivo measurement.


title: Uncertainty-aware Active Learning of NeRF-based Object Models for Robot Manipulators using Visual and Re-orientation Actions

abstract: Manipulating unseen objects is challenging without a 3D representation, as objects generally have occluded surfaces. This requires physical interaction with objects to build their internal representations. This paper presents an approach that enables a robot to rapidly learn the complete 3D model of a given object for manipulation in unfamiliar orientations. We use an ensemble of partially constructed NeRF models to quantify model uncertainty to determine the next action (a visual or re-orientation action) by optimizing informativeness and feasibility. Further, our approach determines when and how to grasp and re-orient an object given its partial NeRF model and re-estimates the object pose to rectify misalignments introduced during the interaction. Experiments with a simulated Franka Emika Robot Manipulator operating in a tabletop environment with benchmark objects demonstrate an improvement of (i) 14% in visual reconstruction quality (PSNR), (ii) 20% in the geometric/depth reconstruction of the object surface (F-score) and (iii) 71% in the task success rate of manipulating objects a-priori unseen orientations/stable configurations in the scene; over current methods. The project page can be found here: https://actnerf.github.io.


title: Superhard lon C5 and derived carbon nitrides: C4N and C2N2. Crystal chemistry and first principles DFT studies

abstract: Super-hard C5 with lon topology (lon: Lonsdaleite hexagonal diamond) and characterized by the presence of sp3 and sp2 -like carbon sites is devised from crystal chemistry and used as template matrix structure for identifying original carbonitrides C4N and C2N2 with lon topology except for the equiatomic belonging to a new topology (3,4L147). The steric effect of N(2s2) lone pair is highlighted in C2N2 in inducing an original structure of largely separated two-layered stacking of tetrahedra. The investigations based on crystal chemistry were backed by computations within the quantum density functional theory DFT. All systems were found cohesive and both mechanically (elastic constants) and dynamically (phonons band structures) stable. Super hardness characterizes the carbon allotrope C5 and the nitrides C4N and C2N2. Metallic-like conductivities and insulating characters were identified.


title: A neural network-based approach to hybrid systems identification for control

abstract: We consider the problem of designing a machine learning-based model of an unknown dynamical system from a finite number of (state-input)-successor state data points, such that the model obtained is also suitable for optimal control design. We propose a specific neural network (NN) architecture that yields a hybrid system with piecewise-affine dynamics that is differentiable with respect to the network's parameters, thereby enabling the use of derivative-based training procedures. We show that a careful choice of our NN's weights produces a hybrid system model with structural properties that are highly favourable when used as part of a finite horizon optimal control problem (OCP). Specifically, we show that optimal solutions with strong local optimality guarantees can be computed via nonlinear programming, in contrast to classical OCPs for general hybrid systems which typically require mixed-integer optimization. In addition to being well-suited for optimal control design, numerical simulations illustrate that our NN-based technique enjoys very similar performance to state-of-the-art system identification methodologies for hybrid systems and it is competitive on nonlinear benchmarks.


title: Neuromorphic Split Computing with Wake-Up Radios: Architecture and Design via Digital Twinning

abstract: Neuromorphic computing leverages the sparsity of temporal data to reduce processing energy by activating a small subset of neurons and synapses at each time step. When deployed for split computing in edge-based systems, remote neuromorphic processing units (NPUs) can reduce the communication power budget by communicating asynchronously using sparse impulse radio (IR) waveforms. This way, the input signal sparsity translates directly into energy savings both in terms of computation and communication. However, with IR transmission, the main contributor to the overall energy consumption remains the power required to maintain the main radio on. This work proposes a novel architecture that integrates a wake-up radio mechanism within a split computing system consisting of remote, wirelessly connected, NPUs. A key challenge in the design of a wake-up radio-based neuromorphic split computing system is the selection of thresholds for sensing, wake-up signal detection, and decision making. To address this problem, as a second contribution, this work proposes a novel methodology that leverages the use of a digital twin (DT), i.e., a simulator, of the physical system, coupled with a sequential statistical testing approach known as Learn Then Test (LTT) to provide theoretical reliability guarantees. The proposed DT-LTT methodology is broadly applicable to other design problems, and is showcased here for neuromorphic communications. Experimental results validate the design and the analysis, confirming the theoretical reliability guarantees and illustrating trade-offs among reliability, energy consumption, and informativeness of the decisions.


title: Rethinking Annotator Simulation: Realistic Evaluation of Whole-Body PET Lesion Interactive Segmentation Methods

abstract: Interactive segmentation plays a crucial role in accelerating the annotation, particularly in domains requiring specialized expertise such as nuclear medicine. For example, annotating lesions in whole-body Positron Emission Tomography (PET) images can require over an hour per volume. While previous works evaluate interactive segmentation models through either real user studies or simulated annotators, both approaches present challenges. Real user studies are expensive and often limited in scale, while simulated annotators, also known as robot users, tend to overestimate model performance due to their idealized nature. To address these limitations, we introduce four evaluation metrics that quantify the user shift between real and simulated annotators. In an initial user study involving four annotators, we assess existing robot users using our proposed metrics and find that robot users significantly deviate in performance and annotation behavior compared to real annotators. Based on these findings, we propose a more realistic robot user that reduces the user shift by incorporating human factors such as click variation and inter-annotator disagreement. We validate our robot user in a second user study, involving four other annotators, and show it consistently reduces the simulated-to-real user shift compared to traditional robot users. By employing our robot user, we can conduct more large-scale and cost-efficient evaluations of interactive segmentation models, while preserving the fidelity of real user studies. Our implementation is based on MONAI Label and will be made publicly available.


title: Tensorized NeuroEvolution of Augmenting Topologies for GPU Acceleration

abstract: The NeuroEvolution of Augmenting Topologies (NEAT) algorithm has received considerable recognition in the field of neuroevolution. Its effectiveness is derived from initiating with simple networks and incrementally evolving both their topologies and weights. Although its capability across various challenges is evident, the algorithm's computational efficiency remains an impediment, limiting its scalability potential. In response, this paper introduces a tensorization method for the NEAT algorithm, enabling the transformation of its diverse network topologies and associated operations into uniformly shaped tensors for computation. This advancement facilitates the execution of the NEAT algorithm in a parallelized manner across the entire population. Furthermore, we develop TensorNEAT, a library that implements the tensorized NEAT algorithm and its variants, such as CPPN and HyperNEAT. Building upon JAX, TensorNEAT promotes efficient parallel computations via automated function vectorization and hardware acceleration. Moreover, the TensorNEAT library supports various benchmark environments including Gym, Brax, and gymnax. Through evaluations across a spectrum of robotics control environments in Brax, TensorNEAT achieves up to 500x speedups compared to the existing implementations such as NEAT-Python. Source codes are available at: https://github.com/EMI-Group/tensorneat.


title: Analyzing the inter-domain vs intra-domain knowledge flows

abstract: Similar to how innovations often find success in fields other than their original domains, in this study we explore whether the same holds true for scientific discoveries. We investigate the flow of knowledge across scientific disciplines, focusing on connections between citing and cited publications. Specifically, we analyze the connections among cited publications from 2015 indexed in the Web of Science and their citing counterparts to measure rates of knowledge dissemination within and across different fields. Our study aims to address key research questions concerning the disparities between inter- and intra-domain knowledge dissemination rates, the correlation between knowledge dissemination types and scholarly impact, as well as the evolution of knowledge dissemination patterns over time. These findings deepen our understanding of knowledge flows and offer practical insights with significant implications for evaluative bibliometrics.


title: Sparse Semi-DETR: Sparse Learnable Queries for Semi-Supervised Object Detection

abstract: In this paper, we address the limitations of the DETR-based semi-supervised object detection (SSOD) framework, particularly focusing on the challenges posed by the quality of object queries. In DETR-based SSOD, the one-to-one assignment strategy provides inaccurate pseudo-labels, while the one-to-many assignments strategy leads to overlapping predictions. These issues compromise training efficiency and degrade model performance, especially in detecting small or occluded objects. We introduce Sparse Semi-DETR, a novel transformer-based, end-to-end semi-supervised object detection solution to overcome these challenges. Sparse Semi-DETR incorporates a Query Refinement Module to enhance the quality of object queries, significantly improving detection capabilities for small and partially obscured objects. Additionally, we integrate a Reliable Pseudo-Label Filtering Module that selectively filters high-quality pseudo-labels, thereby enhancing detection accuracy and consistency. On the MS-COCO and Pascal VOC object detection benchmarks, Sparse Semi-DETR achieves a significant improvement over current state-of-the-art methods that highlight Sparse Semi-DETR's effectiveness in semi-supervised object detection, particularly in challenging scenarios involving small or partially obscured objects.


title: Model Predictive Control of District Heating Grids Using Stabilizing Terminal Ingredients

abstract: The transformation of fossil fuel-based district heating grids (DHGs) to CO$_2$-neutral DHGs requires the development of novel operating strategies. Model predictive control (MPC) is a promising approach, as knowledge about future heat demand and heat supply can be incorporated into the control, operating constraints can be ensured and the stability of the closed-loop system can be guaranteed. In this paper, we employ MPC for DHGs to control the system mass flows and injected heat flows. Following common practice, we derive terminal ingredients to stabilize given steady state temperatures and storage masses in the DHG. To apply MPC with terminal ingredients, it is crucial that the system under control is stabilizable. By exploiting the particular system structure, we give a sufficient condition for the stabilizability in terms of the grid topology and hence, for the applicability of the MPC scheme to DHGs. Furthermore, we demonstrate the practicability of the application of MPC to an exemplary DHG in a numerical case study.


title: Young's Orthogonal Form for Brauer's Centralizer Algebra

abstract: This paper was written in 1994 and has attracted a large number of citations since then. The main result was a definition of what is called the affine Brauer algebra in the present version. It is now posted to affirm this terminology.


title: A (More) Realistic Evaluation Setup for Generalisation of Community Models on Malicious Content Detection

abstract: Community models for malicious content detection, which take into account the context from a social graph alongside the content itself, have shown remarkable performance on benchmark datasets. Yet, misinformation and hate speech continue to propagate on social media networks. This mismatch can be partially attributed to the limitations of current evaluation setups that neglect the rapid evolution of online content and the underlying social graph. In this paper, we propose a novel evaluation setup for model generalisation based on our few-shot subgraph sampling approach. This setup tests for generalisation through few labelled examples in local explorations of a larger graph, emulating more realistic application settings. We show this to be a challenging inductive setup, wherein strong performance on the training graph is not indicative of performance on unseen tasks, domains, or graph structures. Lastly, we show that graph meta-learners trained with our proposed few-shot subgraph sampling outperform standard community models in the inductive setup. We make our code publicly available.


title: Mathematical modeling and numerical multigoal-oriented a posteriori error control and adaptivity for a stationary, nonlinear, coupled flow temperature model with temperature dependent density

abstract: In this work, we develop adaptive schemes using goal-oriented error control for a highly nonlinear flow temperature model with temperature dependent density. The dual-weighted residual method for computing error indicators to steer mesh refinement and solver control is employed. The error indicators are used to employ adaptive algorithms, which are substantiated with several numerical tests. Therein, error reductions and effectivity indices are consulted to establish the robustness and efficiency of our framework.


title: Stability and Bifurcation Analysis of Two-Term Fractional Differential Equation with Delay

abstract: This manuscript deals with the stability and bifurcation analysis of the equation $D^{2\alpha}x(t)+c D^{\alpha}x(t)=a x(t)+b x(t-\tau)$, where $0<\alpha<1$ and $\tau>0$. We sketch the boundaries of various stability regions in the parameter plane under different conditions on $\alpha$ and $b$. First, we provide the stability analysis of this equation with $\tau=0$. Change in the stability of the delayed counterpart is possible only when the characteristic roots cross the imaginary axis. This leads to various delay-independent as well as delay-dependent stability results. The stability regions are bifurcated on the basis of the following behaviors with respect to the delay $\tau$ viz. stable region for all $\tau>0$, unstable region, single stable region, stability switch, and instability switch.


title: Degree $p$ Extensions of Arbitrary Valuation Rings and "Best $f$"

abstract: We prove the explicit characterization of the so-called "best f" for degree $p$ Artin-Schreier and degree $p$ Kummer extensions of Henselian valuation rings in residue characteristic $p$. This characterization is mentioned briefly in [Th16, Th18]. Existence of best $f$ is closely related to the defect of such extensions and this characterization plays a crucial role in understanding their intricate structure. We also treat degree $p$ Artin-Schreier defect extensions of higher rank valuation rings, extending the results in [Th16], and thus completing the study of degree $p$ extensions that are the building blocks of the general theory.


title: The new $K_S \rightarrow \pi e \nu$ branching fraction measurement at KLOE

abstract: A new measurement of the branching fraction for the decay $K_S \rightarrow \pi e \nu$ is presented, based on a sample of 300 million $K_S$ mesons recorded by the KLOE experiment at the DA$\Phi$NE $e^+e^-$ collider. A two-step signal selection strategy is used, exploiting first kinematic variables and then time-of-flight measurements. Data control samples of $K_S \rightarrow \pi e \nu$ decays are used to evaluate signal selection efficiencies. Normalizing the selected sample to the number of $K_S \rightarrow \pi^+ \pi^-$ decay events the result for the branching fraction is $B(K_S \rightarrow \pi e \nu)=(7.211 \pm 0.046 \pm 0.052)\times 10^-4$. The combination with our previous measurement gives $B(K_S \rightarrow \pi e \nu)=(7.153 \pm 0.037 \pm 0.043)\times 10^-4 =(7.153 \pm 0.057)\times 10^-4$. From this value we derive $f^+(0)|Vus|=0.2170 \pm 0.0009$.


title: Solving a Class of Nonconvex Quadratic Programs by Inertial DC Algorithms

abstract: Two inertial DC algorithms for indefinite quadratic programs under linear constraints (IQPs) are considered in this paper. Using a qualification condition related to the normal cones of unbounded pseudo-faces of the polyhedral convex constraint set, the recession cones of the corresponding faces, and the quadratic form describing the objective function, we prove that the iteration sequences in question are bounded if the given IQP has a finite optimal value. Any cluster point of such a sequence is a KKT point. The convergence of the members of a DCA sequence produced by one of the two inertial algorithms to just one connected component of the KKT point set is also obtained. To do so, we revisit the inertial algorithm for DC programming of de Oliveira and Tcheou [de Oliveira, W., Tcheou, M.P.: An inertial algorithm for DC programming, Set-Valued and Variational Analysis 2019; 27: 895--919] and give a refined version of Theorem 1 from that paper, which can be used for IQPs with unbounded constraint sets. An illustrative example is proposed.


title: Defense without Forgetting: Continual Adversarial Defense with Anisotropic & Isotropic Pseudo Replay

abstract: Deep neural networks have demonstrated susceptibility to adversarial attacks. Adversarial defense techniques often focus on one-shot setting to maintain robustness against attack. However, new attacks can emerge in sequences in real-world deployment scenarios. As a result, it is crucial for a defense model to constantly adapt to new attacks, but the adaptation process can lead to catastrophic forgetting of previously defended against attacks. In this paper, we discuss for the first time the concept of continual adversarial defense under a sequence of attacks, and propose a lifelong defense baseline called Anisotropic \& Isotropic Replay (AIR), which offers three advantages: (1) Isotropic replay ensures model consistency in the neighborhood distribution of new data, indirectly aligning the output preference between old and new tasks. (2) Anisotropic replay enables the model to learn a compromise data manifold with fresh mixed semantics for further replay constraints and potential future attacks. (3) A straightforward regularizer mitigates the 'plasticity-stability' trade-off by aligning model output between new and old tasks. Experiment results demonstrate that AIR can approximate or even exceed the empirical performance upper bounds achieved by Joint Training.


title: Synthesizing Control Lyapunov-Value Functions for High-Dimensional Systems Using System Decomposition and Admissible Control Sets

abstract: Control Lyapunov functions (CLFs) play a vital role in modern control applications, but finding them remains a problem. Recently, the control Lyapunov-value function (CLVF) and robust CLVF have been proposed as solutions for nonlinear time-invariant systems with bounded control and disturbance. However, the CLVF suffers from the ''curse of dimensionality,'' which hinders its application to practical high-dimensional systems. In this paper, we propose a method to decompose systems of a particular coupled nonlinear structure, in order to solve for the CLVF in each low-dimensional subsystem. We then reconstruct the full-dimensional CLVF and provide sufficient conditions for when this reconstruction is exact. Moreover, a point-wise optimal controller can be obtained using a quadratic program. We also show that when the exact reconstruction is impossible, the subsystems' CLVFs and their ``admissible control sets'' can be used to generate a Lipschitz continuous CLF. We provide several numerical examples to validate the theory and show computational efficiency.


title: Doubly-Robust Off-Policy Evaluation with Estimated Logging Policy

abstract: We introduce a novel doubly-robust (DR) off-policy evaluation (OPE) estimator for Markov decision processes, DRUnknown, designed for situations where both the logging policy and the value function are unknown. The proposed estimator initially estimates the logging policy and then estimates the value function model by minimizing the asymptotic variance of the estimator while considering the estimating effect of the logging policy. When the logging policy model is correctly specified, DRUnknown achieves the smallest asymptotic variance within the class containing existing OPE estimators. When the value function model is also correctly specified, DRUnknown is optimal as its asymptotic variance reaches the semiparametric lower bound. We present experimental results conducted in contextual bandits and reinforcement learning to compare the performance of DRUnknown with that of existing methods.


title: Sub-Riemannian optimal synthesis for Carnot groups with the structure of a path geometry

abstract: This paper explicitly constructs the complete set of optimal sub-Riemannian geodesics starting from a point for certain Carnot groups of step two. These are groups of dimension 2n+1 equipped with a left-invariant distribution of dimension n+1 such that at each point, there is a unique direction defining a nontrivial Lie bracket. A suitable explicit expression of geodesics, together with symmetries of the structure, allows us to identify the cut time and the cut locus by applying the so-called extended Hadamard technique.


title: When does Subagging Work?

abstract: We study the effectiveness of subagging, or subsample aggregating, on regression trees, a popular non-parametric method in machine learning. First, we give sufficient conditions for pointwise consistency of trees. We formalize that (i) the bias depends on the diameter of cells, hence trees with few splits tend to be biased, and (ii) the variance depends on the number of observations in cells, hence trees with many splits tend to have large variance. While these statements for bias and variance are known to hold globally in the covariate space, we show that, under some constraints, they are also true locally. Second, we compare the performance of subagging to that of trees across different numbers of splits. We find that (1) for any given number of splits, subagging improves upon a single tree, and (2) this improvement is larger for many splits than it is for few splits. However, (3) a single tree grown at optimal size can outperform subagging if the size of its individual trees is not optimally chosen. This last result goes against common practice of growing large randomized trees to eliminate bias and then averaging to reduce variance.


title: Great, Now Write an Article About That: The Crescendo Multi-Turn LLM Jailbreak Attack

abstract: Large Language Models (LLMs) have risen significantly in popularity and are increasingly being adopted across multiple applications. These LLMs are heavily aligned to resist engaging in illegal or unethical topics as a means to avoid contributing to responsible AI harms. However, a recent line of attacks, known as "jailbreaks", seek to overcome this alignment. Intuitively, jailbreak attacks aim to narrow the gap between what the model can do and what it is willing to do. In this paper, we introduce a novel jailbreak attack called Crescendo. Unlike existing jailbreak methods, Crescendo is a multi-turn jailbreak that interacts with the model in a seemingly benign manner. It begins with a general prompt or question about the task at hand and then gradually escalates the dialogue by referencing the model's replies, progressively leading to a successful jailbreak. We evaluate Crescendo on various public systems, including ChatGPT, Gemini Pro, Gemini-Ultra, LlaMA-2 70b Chat, and Anthropic Chat. Our results demonstrate the strong efficacy of Crescendo, with it achieving high attack success rates across all evaluated models and tasks. Furthermore, we introduce Crescendomation, a tool that automates the Crescendo attack, and our evaluation showcases its effectiveness against state-of-the-art models.


title: Asymptotic decay and quasinormal frequencies of scalar and Dirac fields around dilaton-de Sitter black holes

abstract: We study the decay of Dirac and massive scalar fields at asymptotically late times in the background of the charged asymptotically de Sitter dilatonic black holes. It is shown that the asymptotic decay is exponential and oscillatory for large and intermediate mass of the field, while for zero and small mass it is pure exponential without oscillations. This reflects the dominance of quasinormal modes of the empty de Sitter spacetime at asymptotically late times. We also show that the earlier WKB calculation of the massive scalar field spectrum %[S. Fernando, Gen.Rel.Grav. 48 (2016) 3, 24] does not allow one to find the fundamental mode with reasonable accuracy.


title: Artin formalism for $p$-adic $L$-functions of modular forms at non-ordinary primes

abstract: Let $p$ be an odd prime number. Let $f$ be a normalized Hecke eigen-cuspform that is non-ordinary at $p$. Let $K$ be an imaginary quadratic field in which $p$ splits. We study the Artin formalism for the two-variable signed $p$-adic $L$-functions attached to $f$ over $K$. In particular, we give evidence of a prediction made by Castella--Ciperiani--Skinner--Sprung.


title: CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS

abstract: Future mobility systems and their components are increasingly defined by their software. The complexity of these cooperative intelligent transport systems (C-ITS) and the everchanging requirements posed at the software require continual software updates. The dynamic nature of the system and the practically innumerable scenarios in which different software components work together necessitate efficient and automated development and testing procedures that use simulations as one core methodology. The availability of such simulation architectures is a common interest among many stakeholders, especially in the field of automated driving. That is why we propose CARLOS - an open, modular, and scalable simulation framework for the development and testing of software in C-ITS that leverages the rich CARLA and ROS ecosystems. We provide core building blocks for this framework and explain how it can be used and extended by the community. Its architecture builds upon modern microservice and DevOps principles such as containerization and continuous integration. In our paper, we motivate the architecture by describing important design principles and showcasing three major use cases - software prototyping, data-driven development, and automated testing. We make CARLOS and example implementations of the three use cases publicly available at github.com/ika-rwth-aachen/carlos


title: Anisotropic Hartle-Thorne formalism in Rastall gravity

abstract: In this work, we extend the Hartle-Thorne formalism for anisotropic pressure condition in Rastall gravity. As an implication, Tolman-Oppeneimer-Volkoff equation in anisotropic form is modified. The equations in anisotropic Hartle-Thorne formalism are also modified due to the appearance of $\lambda$, i.e. a constant that quantifies the deviation of Rastall gravity from general relativity. However, our results do not cover $\kappa\lambda=1/4$ and $\lambda=1/6$, since both would mathematically give singularity in the calculation.


title: Fourier-Matsubara series expansion for imaginary-time correlation functions

abstract: A Fourier-Matsubara series expansion is derived for imaginary-time correlation functions that constitutes the imaginary-time generalization of the infinite Matsubara series for equal-time correlation functions. The expansion is consistent with all known exact properties of imaginary-time correlation functions and opens up new avenues for the utilization of quantum Monte Carlo simulation data. Moreover, the expansion drastically simplifies the computation of imaginary-time density-density correlation functions with the finite temperature version of the self-consistent dielectric formalism. Its existence underscores the utility of imaginary-time as a complementary domain for many-body physics.


title: Hypergraphs of girth 5 and 6 and coding theory

abstract: In this paper, we study the maximum number of edges in an $N$-vertex $r$-uniform hypergraph with girth $g$ where $g \in \{5,6 \}$. Writing $\textrm{ex}_r ( N, \mathcal{C}_{<g} )$ for this maximum, it is shown that $\textrm{ex}_r ( N , \mathcal{C}_{ < 5} ) = \Omega_r ( N^{3/2 - o(1)} )$ for $r \in \{4,5,6 \}$. We address an unproved claim from [31] asserting a technique of Ruzsa can be used to show that this lower bound holds for all $r \geq 3$. We carefully explain one of the main obstacles that was overlooked at the time the claim from [31] was made, and show that this obstacle can be overcome when $r\in \{4,5,6\}$. We use constructions from coding theory to prove nontrivial lower bounds that hold for all $r \geq 3$. Finally, we use a recent result of Conlon, Fox, Sudakov, and Zhao to show that the sphere packing bound from coding theory may be improved when upper bounding the size of linear $q$-ary codes of distance $6$.


title: Particle Creation in a Linear Gravitational Wave Background

abstract: Inspired by the pioneering 1968 work of L Parker, demonstrating matter quanta production in a dynamical spacetime background, we consider production of scalar quanta in a gravitational wave background. Choosing the spacetime to be a flat spacetime perturbed linearly by a linear gravitational wave, we show that scalar particles may indeed be produced in a perturbative manner. Our formulation is valid for any linear gravitational wave background profile, and is by no means restricted to monochromatic plane waves, in contrast to much of the earlier work on this topic. Thus, our work is directly applicable to gravitational wave signals from compact binary coalescence detected at LIGO, where they are of a pulsed character rather than monochromatic plane waves. We also briefly outline generalizing our approach for photon creation in a gravitational wave background. In this aspect, irrespective of the astrophysical nature of the binary merger sourcing the gravitational wave signal, one expects the dynamical nature of the spacetime to produce all species of light particles. Thus, any binary coalescence is in effect a source of multimessenger astrophysics.


title: A zonogon approach for computing small polygons of maximum perimeter

abstract: We derive a mixed integer nonlinear programming formulation for the problem of finding a convex polygon with a given number of vertices that is small (diameter at most one) and has maximum perimeter. The formulation is based on a geometric construction using zonogons. The resulting zonogons can be characterized by an integer code and we study the number of codes that are distinct under the symmetries of the problem. We propose a two-phase computational approach. Phase I comprises the solution of a purely combinatorial problem. Under assumption of Mossinghoff's conjecture, the Phase I problem can be reduced to a Subset-Sum Problem. Without Mossinghoff's conjecture, a generalized Subset-Sum Problem needs to be solved, which consists of picking $n$ non-opposing $2n$-th roots of unity such that their sum is as small as possible. Phase II consists of a non-combinatorial Nonlinear Programming Problem, which can be solved to high accuracy with arbitrary precision Newton-type methods. We provide extensive numerical results including highly accurate solutions for polygons with 64 and 128 vertices.


title: Semi-Supervised Domain Adaptation for Wildfire Detection

abstract: Recently, both the frequency and intensity of wildfires have increased worldwide, primarily due to climate change. In this paper, we propose a novel protocol for wildfire detection, leveraging semi-supervised Domain Adaptation for object detection, accompanied by a corresponding dataset designed for use by both academics and industries. Our dataset encompasses 30 times more diverse labeled scenes for the current largest benchmark wildfire dataset, HPWREN, and introduces a new labeling policy for wildfire detection. Inspired by CoordConv, we propose a robust baseline, Location-Aware Object Detection for Semi-Supervised Domain Adaptation (LADA), utilizing a teacher-student based framework capable of extracting translational variance features characteristic of wildfires. With only using 1% target domain labeled data, our framework significantly outperforms our source-only baseline by a notable margin of 3.8% in mean Average Precision on the HPWREN wildfire dataset. Our dataset is available at https://github.com/BloomBerry/LADA.


title: Sketch3D: Style-Consistent Guidance for Sketch-to-3D Generation

abstract: Recently, image-to-3D approaches have achieved significant results with a natural image as input. However, it is not always possible to access these enriched color input samples in practical applications, where only sketches are available. Existing sketch-to-3D researches suffer from limitations in broad applications due to the challenges of lacking color information and multi-view content. To overcome them, this paper proposes a novel generation paradigm Sketch3D to generate realistic 3D assets with shape aligned with the input sketch and color matching the textual description. Concretely, Sketch3D first instantiates the given sketch in the reference image through the shape-preserving generation process. Second, the reference image is leveraged to deduce a coarse 3D Gaussian prior, and multi-view style-consistent guidance images are generated based on the renderings of the 3D Gaussians. Finally, three strategies are designed to optimize 3D Gaussians, i.e., structural optimization via a distribution transfer mechanism, color optimization with a straightforward MSE loss and sketch similarity optimization with a CLIP-based geometric similarity loss. Extensive visual comparisons and quantitative analysis illustrate the advantage of our Sketch3D in generating realistic 3D assets while preserving consistency with the input.


title: Generalized Calogero-Moser system and supergroup gauge origami

abstract: We study the integrability and the Bethe/Gauge correspondence of the Generalized Calogero-Moser system proposed by Berntson, Langmann and Lenells which we call the elliptic quadruple Calogero-Moser system (eqCM). We write down the Dunkl operators which give commuting Hamiltonians of the quantum integrable system. We identify the gauge theory in correspondence is a supergroup version of the gauge origami, from which we construct the transfer matrix of the eqCM system.


title: Unmasking the Nuances of Loneliness: Using Digital Biomarkers to Understand Social and Emotional Loneliness in College Students

abstract: Background: Loneliness among students is increasing across the world, with potential consequences for mental health and academic success. To address this growing problem, accurate methods of detection are needed to identify loneliness and to differentiate social and emotional loneliness so that intervention can be personalized to individual need. Passive sensing technology provides a unique technique to capture behavioral patterns linked with distinct loneliness forms, allowing for more nuanced understanding and interventions for loneliness. Methods: To differentiate between social and emotional loneliness using digital biomarkers, our study included statistical tests, machine learning for predictive modeling, and SHAP values for feature importance analysis, revealing important factors in loneliness classification. Results: Our analysis revealed significant behavioral differences between socially and emotionally lonely groups, particularly in terms of phone usage and location-based features , with machine learning models demonstrating substantial predictive power in classifying loneliness levels. The XGBoost model, in particular, showed high accuracy and was effective in identifying key digital biomarkers, including phone usage duration and location-based features, as significant predictors of loneliness categories. Conclusion: This study underscores the potential of passive sensing data, combined with machine learning techniques, to provide insights into the behavioral manifestations of social and emotional loneliness among students. The identification of key digital biomarkers paves the way for targeted interventions aimed at mitigating loneliness in this population.


title: Testing Yukawa cosmology at the Milky Way and M31 galactic scales

abstract: We address the galaxy rotation curves through the Yukawa gravitational potential emerging as a correction of the Newtonian potential in extended theories of gravity. On the one hand, we consider the contribution of the galactic bulge, galactic disk, and the dark matter halo of the Navarro-Frenk-White profile, in the framework of the standard $\Lambda$CDM model. On the other hand, we use modified Yukawa gravity to show that the rotational velocity of galaxies can be addressed successfully without the need for dark matter. In Yukawa gravity, we recover MOND and show that dark matter might be seen as an apparent effect due to the modification of the law of gravitation in terms of two parameters: the coupling constant $\alpha $ and the characteristic length $\lambda$. We thus test our theoretical scenario using the Milky Way and M31 rotation velocity curves. In particular, we place observational constraints on the free parameters of Yukawa cosmology through the Monte Carlo method and then compare our results with the predictions of the $\Lambda$CDM paradigm by making use of Bayesian information criteria. Specifically, we find that $\lambda$ is constrained to be of the order of kpc, while cosmological data suggest $\lambda$ of the order of Gpc. To explain this discrepancy, we argue that there is a fundamental limitation in measuring $\lambda$ due to the role of quantum mechanics on cosmological scales.


title: Accelerating Transformer Pre-training with 2:4 Sparsity

abstract: Training large transformers is slow, but recent innovations on GPU architecture give us an advantage. NVIDIA Ampere GPUs can execute a fine-grained 2:4 sparse matrix multiplication twice as fast as its dense equivalent. In the light of this property, we comprehensively investigate the feasibility of accelerating feed-forward networks (FFNs) of transformers in pre-training. First, we define a ``flip rate'' to monitor the stability of a 2:4 training process. Utilizing this metric, we propose three techniques to preserve accuracy: to modify the sparse-refined straight-through estimator by applying the masked decay term on gradients, to determine a feasible decay factor in warm-up stage, and to enhance the model's quality by a dense fine-tuning procedure near the end of pre-training. Besides, we devise two techniques to practically accelerate training: to calculate transposable 2:4 masks by convolution, and to accelerate gated activation functions by reducing GPU L2 cache miss. Experiments show that our 2:4 sparse training algorithm achieves similar convergence to dense training algorithms on several transformer pre-training tasks, while actual acceleration can be observed on different shapes of transformer block apparently. Our toolkit is available at https://github.com/huyz2023/2by4-pretrain.


title: "That's Not Good Science!": An Argument for the Thoughtful Use of Formative Situations in Research through Design

abstract: Most currently accepted approaches to evaluating Research through Design (RtD) presume that design prototypes are finalized and ready for robust testing in laboratory or in-the-wild settings. However, it is also valuable to assess designs at intermediate phases with mid-fidelity prototypes, not just to inform an ongoing design process, but also to glean knowledge of broader use to the research community. We propose 'formative situations' as a frame for examining mid-fidelity prototypes-in-process in this way. We articulate a set of criteria to help the community better assess the rigor of formative situations, in the service of opening conversation about establishing formative situations as a valuable contribution type within the RtD community.


title: EV2Gym: A Flexible V2G Simulator for EV Smart Charging Research and Benchmarking

abstract: As electric vehicle (EV) numbers rise, concerns about the capacity of current charging and power grid infrastructure grow, necessitating the development of smart charging solutions. While many smart charging simulators have been developed in recent years, only a few support the development of Reinforcement Learning (RL) algorithms in the form of a Gym environment, and those that do usually lack depth in modeling Vehicle-to-Grid (V2G) scenarios. To address the aforementioned issues, this paper introduces the EV2Gym, a realistic simulator platform for the development and assessment of small and large-scale smart charging algorithms within a standardized platform. The proposed simulator is populated with comprehensive EV, charging station, power transformer, and EV behavior models validated using real data. EV2Gym has a highly customizable interface empowering users to choose from pre-designed case studies or craft their own customized scenarios to suit their specific requirements. Moreover, it incorporates a diverse array of RL, mathematical programming, and heuristic algorithms to speed up the development and benchmarking of new solutions. By offering a unified and standardized platform, EV2Gym aims to provide researchers and practitioners with a robust environment for advancing and assessing smart charging algorithms.


title: Intelligent Reflecting Surfaces assisted Laser-based Optical Wireless Communication Networks

abstract: The increasing demand for wireless networks of higher capacity requires key-enabling technologies. Optical wireless communication (OWC) arises as a complementary technology to radio frequency (RF) systems that can support high aggregate data rates. However, OWC systems face some challenges including beam-blockage. Intelligent reflecting surfaces (IRSs) can offer alternative pathways for the optical signal, ensuring continuous connectivity. In this work, we investigate the potential of using IRS in an indoor OWC network. In particular, we define a system model of indoor OWC that employs IRS in conjunction with angle diversity transmitters (ADT) using vertical-cavity surface-emitting laser (VCSEL) arrays. The VCSEL beam is narrow, directed, and easy to block, however, it can deliver high data rates under eye safety regulations. Simulation results show that the deployment of IRS can significantly improve the achievable data rates of Laser-based OWC systems.


title: The orbital parameters of the del Cep inner binary system determined using 2019 HARPS-N spectroscopic data

abstract: An inner companion has recently been discovered orbiting the prototype of classical Cepheids, delta Cep, whose orbital parameters are still not fully constrained. We collected new precise radial velocity measurements of delta Cep in 2019 using the HARPS-N spectrograph mounted at the Telescopio Nazionale Galileo. Using these radial velocity measurements, we aimed to improve the orbital parameters of the system. We considered a template available in the literature as a reference for the radial velocity curve of the pulsation of the star. We then calculated the residuals between our global dataset (composed of the new 2019 observations plus data from the literature) and the template as a function of the pulsation phase and the barycentric Julian date. This provides the orbital velocity of the Cepheid component. Using a Bayesian tool, we derived the orbital parameters of the system. Considering priors based on already published Gaia constraints, we find for the orbital period a maximum a posteriori probability of Porb=9.32+/-0.03 years (uncertainties correspond to the 95% highest density probability interval), and we obtain an eccentricity e=0.71+/-0.02, a semimajor axis a=0.029 +/-0.003 arcsecond, and a center-of-mass velocity V0=-17.28+/-0.08 km/s, among other parameters. In this short analysis we derive the orbital parameters of the delta Cep inner binary system and provide a cleaned radial velocity curve of the pulsation of the star, which will be used to study its Baade-Wesselink projection factor in a future publication.


title: Identification and characterization of three-dimensional crack propagation mechanism in the Aluminium alloy AA2024-T3 using high-resolution Digital Image Correlation

abstract: Fatigue crack growth is usually a three-dimensional problem, but it is often simplified to two dimensions to reduce complexity. However, this study investigates the relationships between microscopic effects such as crack kinking, shear lips, and plasticity that are present in reality. Therefore, crack propagation tests were carried out on 2-mm-thick MT-160 specimens of AA2024-T3 sheet material in L-T and T-L orientation. Using high-resolution digital image correlation (DIC), the plastic zone was identified and measured on the samples surface. The fracture surfaces were then digitized and their 3D shape characterized. Finite element simulations confirm the presence of a local mixed-mode I/II/III state along the crack front for a slant or double shear-fracture type. A derived mapping function enables the determination of the fracture type from the surface plastic zone, along with the current crack tip loading during the test. Finally, a transition of the fracture type also leads to a short-term delay in the crack propagation rate. Based on this information crack propagation curves are computed with regards to the local 3D crack orientation.


title: Pairwise Similarity Distribution Clustering for Noisy Label Learning

abstract: Noisy label learning aims to train deep neural networks using a large amount of samples with noisy labels, whose main challenge comes from how to deal with the inaccurate supervision caused by wrong labels. Existing works either take the label correction or sample selection paradigm to involve more samples with accurate labels into the training process. In this paper, we propose a simple yet effective sample selection algorithm, termed as Pairwise Similarity Distribution Clustering~(PSDC), to divide the training samples into one clean set and another noisy set, which can power any of the off-the-shelf semi-supervised learning regimes to further train networks for different downstream tasks. Specifically, we take the pairwise similarity between sample pairs to represent the sample structure, and the Gaussian Mixture Model~(GMM) to model the similarity distribution between sample pairs belonging to the same noisy cluster, therefore each sample can be confidently divided into the clean set or noisy set. Even under severe label noise rate, the resulting data partition mechanism has been proved to be more robust in judging the label confidence in both theory and practice. Experimental results on various benchmark datasets, such as CIFAR-10, CIFAR-100 and Clothing1M, demonstrate significant improvements over state-of-the-art methods.


title: IndoCulture: Exploring Geographically-Influenced Cultural Commonsense Reasoning Across Eleven Indonesian Provinces

abstract: Although commonsense reasoning is greatly shaped by cultural and geographical factors, previous studies on language models have predominantly centered on English cultures, potentially resulting in an Anglocentric bias. In this paper, we introduce IndoCulture, aimed at understanding the influence of geographical factors on language model reasoning ability, with a specific emphasis on the diverse cultures found within eleven Indonesian provinces. In contrast to prior works that relied on templates (Yin et al., 2022) and online scrapping (Fung et al., 2024), we created IndoCulture by asking local people to manually develop the context and plausible options based on predefined topics. Evaluations of 23 language models reveal several insights: (1) even the best open-source model struggles with an accuracy of 53.2%, (2) models often provide more accurate predictions for specific provinces, such as Bali and West Java, and (3) the inclusion of location contexts enhances performance, especially in larger models like GPT-4, emphasizing the significance of geographical context in commonsense reasoning.