title: Resonant Solitary States in Complex Networks

abstract: Partially synchronized solitary states occur frequently when a synchronous system of networked oscillators is perturbed locally. Remarkably, several asymptotic states of different frequencies can coexist at the same node. Here, we uncover the mechanism underlying this multistability: The resonant back-reaction of the network's modes on the solitary can lead to a large energy transfer between them, and the solitary's frequency adaptation can tune the system to this resonance. We provide a full analytic analysis of this mechanism, and show which network structures enable its presence.


title: AI-enabled Priority and Auction-Based Spectrum Management for 6G

abstract: In this paper, we present a quality of service (QoS)-aware priority-based spectrum management scheme to guarantee the minimum required bit rate of vertical sector players (VSPs) in the 5G and beyond generation, including the 6th generation (6G). VSPs are considered as spectrum leasers to optimize the overall spectrum efficiency of the network from the perspective of the mobile network operator (MNO) as the spectrum licensee and auctioneer. We exploit a modified Vickrey-Clarke-Groves (VCG) auction mechanism to allocate the spectrum to them where the QoS and the truthfulness of bidders are considered as two important parameters for prioritization of VSPs. The simulation is done with the help of deep deterministic policy gradient (DDPG) as a deep reinforcement learning (DRL)-based algorithm. Simulation results demonstrate that deploying the DDPG algorithm results in significant advantages. In particular, the efficiency of the proposed spectrum management scheme is about %85 compared to the %35 efficiency in traditional auction methods.


title: Contrastive Learning With Audio Discrimination For Customizable Keyword Spotting In Continuous Speech

abstract: Customizable keyword spotting (KWS) in continuous speech has attracted increasing attention due to its real-world application potential. While contrastive learning (CL) has been widely used to extract keyword representations, previous CL approaches all operate on pre-segmented isolated words and employ only audio-text representations matching strategy. However, for KWS in continuous speech, co-articulation and streaming word segmentation can easily yield similar audio patterns for different texts, which may consequently trigger false alarms. To address this issue, we propose a novel CL with Audio Discrimination (CLAD) approach to learning keyword representation with both audio-text matching and audio-audio discrimination ability. Here, an InfoNCE loss considering both audio-audio and audio-text CL data pairs is employed for each sliding window during training. Evaluations on the open-source LibriPhrase dataset show that the use of sliding-window level InfoNCE loss yields comparable performance compared to previous CL approaches. Furthermore, experiments on the continuous speech dataset LibriSpeech demonstrate that, by incorporating audio discrimination, CLAD achieves significant performance gain over CL without audio discrimination. Meanwhile, compared to two-stage KWS approaches, the end-to-end KWS with CLAD achieves not only better performance, but also significant speed-up.


title: Cost-optimal adaptive FEM with linearization and algebraic solver for semilinear elliptic PDEs

abstract: We consider scalar semilinear elliptic PDEs, where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. To linearize the arising discrete nonlinear problem, we employ a damped Zarantonello iteration, which leads to a linear Poisson-type equation that is symmetric and positive definite. The resulting system is solved by a contractive algebraic solver such as a multigrid method with local smoothing. We formulate a fully adaptive algorithm that equibalances the various error components coming from mesh refinement, iterative linearization, and algebraic solver. We prove that the proposed adaptive iteratively linearized finite element method (AILFEM) guarantees convergence with optimal complexity, where the rates are understood with respect to the overall computational cost (i.e., the computational time). Numerical experiments investigate the involved adaptivity parameters.


title: On geometric realizations of the extreme Khovanov homology of pretzel links

abstract: Gonz\'alez-Meneses, Manch\'on, and Silvero showed that the (hypothetical) extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex of its Lando graph. Przytycki and Silvero conjectured that the extreme Khovanov homology of any link is torsion-free. In this paper, we investigate explicit geometric realizations of the real-extreme Khovanov homology of pretzel links. This partially solves the conjecture.


title: Shuffle theorems and sandpiles

abstract: We provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $\widehat{G}_{\mu,\nu}$, which we call clique-independent graphs, indexed by two compositions $\mu$ and $\nu$. Moreover, we define a delay statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of the celebrated shuffle theorem of Carlsson and Mellit. More precisely, we will see how to interpret the polynomials $\langle \nabla e_n, e_{\mu}h_{\nu}\rangle$ in terms of these configurations.


title: Asymptotic behavior of the Fourier coefficients and the analytic structure of the QCD equation of state

abstract: In this paper we study the universal properties of the baryon chemical potential Fourier coefficients in Quantum Chromodynamics. We show that by following a well-defined strategy, the Fourier coefficients can be used to locate Yang-Lee edge singularities associated with chiral phase transition (and by extension with the Roberge-Weiss) in the complex chemical potential plane. We comment on the viability of performing this analysis using lattice QCD data.


title: Generalized Distribution Function of Relaxation Times with the Davidson-Cole Model as a Kernel

abstract: In this paper we propose a generalized distribution function of relaxation times (DFRT) considering the Davidson-Cole model as an elementary process instead of the standard Debye model. The distribution function is retrieved from the inverse of the generalized Stieltjes transform expressed in terms of iterated Laplace transforms. We derive computable analytical expressions of the generalized DFRT for some of the most known normalized impedance (or admittance) models including the constant phase element, the Davidson-Cole, Havriliak-Negami and the Kohlrausch-Williams-Watts models.

categories: physics.chem-ph cond-mat.dis-nn math-ph math.MP physics.app-ph


title: Theory for the MUonE experiment

abstract: The MUonE experiment aims at providing a new independent evaluation of the leading hadronic contribution to the muon anomalous magnetic moment. The proposed method is based on the measurement of the running of the QED coupling in the space-like momentum region, through the elastic scattering of high-energy muons on atomic electrons. In this proceeding, the status of the theoretical effort for the MUonE experiment is reviewed. In order to achieve a competitive determination, the differential cross section of muon-electron scattering must be computed with an unprecedented precision of 10 ppm, which requires at least next-to-next-leading order corrections and the resummation of large logarithms. In addition, the simulation of the experiment needs an exhaustive theoretical description of the possible background processes, such as the lepton pair production in muon-nucleus scattering. All these processes must be implemented in a fully exclusive Monte Carlo event generator in order to be used in the MUonE data analysis.


title: Robust fully discrete error bounds for the Kuznetsov equation in the inviscid limit

abstract: The Kuznetsov equation is a classical wave model of acoustics that incorporates quadratic gradient nonlinearities. When its strong damping vanishes, it undergoes a singular behavior change, switching from a parabolic-like to a hyperbolic quasilinear evolution. In this work, we establish for the first time the optimal error bounds for its finite element approximation as well as a semi-implicit fully discrete approximation that are robust with respect to the vanishing damping parameter. The core of the new arguments lies in devising energy estimates directly for the error equation where one can more easily exploit the polynomial structure of the nonlinearities and compensate inverse estimates with smallness conditions on the error. Numerical experiments are included to illustrate the theoretical results.


title: Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases

abstract: Shapley values, originating in game theory and increasingly prominent in explainable AI, have been proposed to assess the contribution of facts in query answering over databases, along with other similar power indices such as Banzhaf values. In this work we adapt these Shapley-like scores to probabilistic settings, the objective being to compute their expected value. We show that the computations of expected Shapley values and of the expected values of Boolean functions are interreducible in polynomial time, thus obtaining the same tractability landscape. We investigate the specific tractable case where Boolean functions are represented as deterministic decomposable circuits, designing a polynomial-time algorithm for this setting. We present applications to probabilistic databases through database provenance, and an effective implementation of this algorithm within the ProvSQL system, which experimentally validates its feasibility over a standard benchmark.


title: Effect of Beampattern on Matrix Completion with Sparse Arrays

abstract: We study the problem of noisy sparse array interpolation, where a large virtual array is synthetically generated by interpolating missing sensors using matrix completion techniques that promote low rank. The current understanding is quite limited regarding the effect of the (sparse) array geometry on the angle estimation error (post interpolation) of these methods. In this paper, we make advances towards solidifying this understanding by revealing the role of the physical beampattern of the sparse array on the performance of low rank matrix completion techniques. When the beampattern is analytically tractable (such as for uniform linear arrays and nested arrays), our analysis provides concrete and interpretable bounds on the scaling of the angular error as a function of the number of sensors, and demonstrates the effectiveness of nested arrays in presence of noise and a single temporal snapshot.


title: An investigation of structures responsible for gender bias in BERT and DistilBERT

abstract: In recent years, large Transformer-based Pre-trained Language Models (PLM) have changed the Natural Language Processing (NLP) landscape, by pushing the performance boundaries of the state-of-the-art on a wide variety of tasks. However, this performance gain goes along with an increase in complexity, and as a result, the size of such models (up to billions of parameters) represents a constraint for their deployment on embedded devices or short-inference time tasks. To cope with this situation, compressed models emerged (e.g. DistilBERT), democratizing their usage in a growing number of applications that impact our daily lives. A crucial issue is the fairness of the predictions made by both PLMs and their distilled counterparts. In this paper, we propose an empirical exploration of this problem by formalizing two questions: (1) Can we identify the neural mechanism(s) responsible for gender bias in BERT (and by extension DistilBERT)? (2) Does distillation tend to accentuate or mitigate gender bias (e.g. is DistilBERT more prone to gender bias than its uncompressed version, BERT)? Our findings are the following: (I) one cannot identify a specific layer that produces bias; (II) every attention head uniformly encodes bias; except in the context of underrepresented classes with a high imbalance of the sensitive attribute; (III) this subset of heads is different as we re-fine tune the network; (IV) bias is more homogeneously produced by the heads in the distilled model.


title: Spin Resonance Spectroscopy with an Electron Microscope

abstract: Coherent spin resonance methods, such as nuclear magnetic resonance and electron spin resonance spectroscopy, have led to spectrally highly sensitive, non-invasive quantum imaging techniques. Here, we propose a pump-probe spin resonance spectroscopy approach, designed for electron microscopy, based on microwave pump fields and electron probes. We investigate how quantum spin systems couple to electron matter waves through their magnetic moments and how the resulting phase shifts can be utilized to gain information about the states and dynamics of these systems. Notably, state-of-the-art transmission electron microscopy provides the means to detect phase shifts almost as small as that due to a single electron spin. This could enable state-selective observation of spin dynamics on the nanoscale and indirect measurement of the environment of the examined spin systems, providing information, for example, on the atomic structure, local chemical composition and neighboring spins.


title: Spatially resolved mapping of coherent twin relationships in DFXM measurements

abstract: With dark firld x-ray microscopy, it is possible to measure reciprocal space manps of localized volumes embedded deeply in a large sample. Ferroelastic materials contains elastic twins that display characteristing splitting of diffraction peaks. We show how to utilize established methods for analysing reciprocal space maps of elastically twinned materials to the analysis of dark-field x-ray microscopy data to detemin the exact kind of domain wall present in each probed volume, even when the domains are not spatially resolved.


title: Temporal and Between-Group Variability in College Dropout Prediction

abstract: Large-scale administrative data is a common input in early warning systems for college dropout in higher education. Still, the terminology and methodology vary significantly across existing studies, and the implications of different modeling decisions are not fully understood. This study provides a systematic evaluation of contributing factors and predictive performance of machine learning models over time and across different student groups. Drawing on twelve years of administrative data at a large public university in the US, we find that dropout prediction at the end of the second year has a 20% higher AUC than at the time of enrollment in a Random Forest model. Also, most predictive factors at the time of enrollment, including demographics and high school performance, are quickly superseded in predictive importance by college performance and in later stages by enrollment behavior. Regarding variability across student groups, college GPA has more predictive value for students from traditionally disadvantaged backgrounds than their peers. These results can help researchers and administrators understand the comparative value of different data sources when building early warning systems and optimizing decisions under specific policy goals.


title: Fully Automated Tumor Segmentation for Brain MRI data using Multiplanner UNet

abstract: Automated segmentation of distinct tumor regions is critical for accurate diagnosis and treatment planning in pediatric brain tumors. This study evaluates the efficacy of the Multi-Planner U-Net (MPUnet) approach in segmenting different tumor subregions across three challenging datasets: Pediatrics Tumor Challenge (PED), Brain Metastasis Challenge (MET), and Sub-Sahara-Africa Adult Glioma (SSA). These datasets represent diverse scenarios and anatomical variations, making them suitable for assessing the robustness and generalization capabilities of the MPUnet model. By utilizing multi-planar information, the MPUnet architecture aims to enhance segmentation accuracy. Our results show varying performance levels across the evaluated challenges, with the tumor core (TC) class demonstrating relatively higher segmentation accuracy. However, variability is observed in the segmentation of other classes, such as the edema and enhancing tumor (ET) regions. These findings emphasize the complexity of brain tumor segmentation and highlight the potential for further refinement of the MPUnet approach and inclusion of MRI more data and preprocessing.


title: The TEAMx-PC22 Alpine field campaign -- Objectives, instrumentation, and observed phenomena

abstract: The multi-scale transport and exchange processes in the atmosphere over mountains -- programme and experiment (TEAMx) wants to advance the understanding of transport and exchange processes over mountainous terrain as well as to collect unique multi-scale datasets that can be used, e.g., for process studies, model development and model evaluation. The TEAMx Observational Campaign (TOC) is planned to take place between 2024 and 2025. In summer 2022 a TEAMx pre-campaign (TEAMx-PC22) was conducted in the Inn Valley and one of its tributaries, the Weer Valley, to test the suitability and required logistics of measurement sites, to evaluate their value for the main campaign, and to test new observation techniques in complex terrain. Scientifically, this campaign focused on resolving the mountain boundary layer and valley wind systems on multiple scales. Through the combined effort of six institutions the pre-campaign can be deemed successful. A detailed description of the setup at each sub-target area is given. Due to the spatial distribution of instruments and their spatio-temporal resolution, atmospheric processes and phenomena like valley winds have been investigated at different locations and on different scales. Furthermore, scale interactions were detected and are discussed in detail in two example cases. Additionally, observational gaps were determined which should be closed for the TOC. Data of the pre-campaign are publicly available online and can be used for process studies, demonstrating the utility of new observation methods, model verification, and for data assimilation.


title: On the discrete analogues of Appell function $F_2$

abstract: In this paper, we introduce two distinct discrete forms of Appell function $F_2$. We determine their convergence domains, integral representations as well as difference-differential equations that are satisfied by these discrete analogues of $F_2$. We have also obtained the difference-differential formulas, finite and infinite summation formulas, and a complete list of difference-differential recursion relations obeyed by these discrete functions.


title: Harnessing Holes for Spatial Smoothing with Applications in Automotive Radar

abstract: This paper studies spatial smoothing using sparse arrays in single-snapshot Direction of Arrival (DOA) estimation. We consider the application of automotive MIMO radar, which traditionally synthesizes a large uniform virtual array by appropriate waveform and physical array design. We explore deliberately introducing holes into this virtual array to leverage resolution gains provided by the increased aperture. The presence of these holes requires re-thinking DOA estimation, as conventional algorithms may no longer be easily applicable and alternative techniques, such as array interpolation, may be computationally expensive. Consequently, we study sparse array geometries that permit the direct application of spatial smoothing. We show that a sparse array geometry is amenable to spatial smoothing if it can be decomposed into the sum set of two subsets of suitable cardinality. Furthermore, we demonstrate that many such decompositions may exist - not all of them yielding equal identifiability or aperture. We derive necessary and sufficient conditions to guarantee identifiability of a given number of targets, which gives insight into choosing desirable decompositions for spatial smoothing. This provides uniform recovery guarantees and enables estimating DOAs at increased resolution and reduced computational complexity.


title: Improving the Detection of Small Oriented Objects in Aerial Images

abstract: Small oriented objects that represent tiny pixel-area in large-scale aerial images are difficult to detect due to their size and orientation. Existing oriented aerial detectors have shown promising results but are mainly focused on orientation modeling with less regard to the size of the objects. In this work, we proposed a method to accurately detect small oriented objects in aerial images by enhancing the classification and regression tasks of the oriented object detection model. We designed the Attention-Points Network consisting of two losses: Guided-Attention Loss (GALoss) and Box-Points Loss (BPLoss). GALoss uses an instance segmentation mask as ground-truth to learn the attention features needed to improve the detection of small objects. These attention features are then used to predict box points for BPLoss, which determines the points' position relative to the target oriented bounding box. Experimental results show the effectiveness of our Attention-Points Network on a standard oriented aerial dataset with small object instances (DOTA-v1.5) and on a maritime-related dataset (HRSC2016). The code is publicly available.


title: The Causal Axioms of Algebraic Quantum Field Theory: A Diagnostic

abstract: Algebraic quantum field theory (AQFT) puts forward three "causal axioms" that aim to characterize the theory as one that implements relativistic causation: the spectrum condition, microcausality, and primitive causality. In this paper, I aim to show, in a minimally technical way, that none of them fully explains the notion of causation appropriate for AQFT because they only capture some of the desiderata for relativistic causation I state or because it is often unclear how each axiom implements its respective desideratum. After this diagnostic, I will show that a fourth condition, local primitive causality (LPC), fully characterizes relativistic causation in the sense of fulfilling all the relevant desiderata. However, it only encompasses the virtues of the other axioms because it is implied by them, as I will show from a construction by Haag and Schroer (1962). Since the conjunction of the three causal axioms implies LPC and other important results in QFT that LPC does not imply, and since LPC helps clarify some of the shortcomings of the three axioms, I advocate for a holistic interpretation of how the axioms characterize the causal structure of AQFT against the strategy in the literature to rivalize the axioms and privilege one among them.

categories: math-ph math.MP physics.hist-ph quant-ph


title: Counterfactual Analysis and Target Setting in Benchmarking

abstract: Data Envelopment Analysis (DEA) allows us to capture the complex relationship between multiple inputs and outputs in firms and organizations. Unfortunately, managers may find it hard to understand a DEA model and this may lead to mistrust in the analyses and to difficulties in deriving actionable information from the model. In this paper, we propose to use the ideas of target setting in DEA and of counterfactual analysis in Machine Learning to overcome these problems. We define DEA counterfactuals or targets as alternative combinations of inputs and outputs that are close to the original inputs and outputs of the firm and lead to desired improvements in its performance. We formulate the problem of finding counterfactuals as a bilevel optimization model. For a rich class of cost functions, reflecting the effort an inefficient firm will need to spend to change to its counterfactual, finding counterfactual explanations boils down to solving Mixed Integer Convex Quadratic Problems with linear constraints. We illustrate our approach using both a small numerical example and a real-world dataset on banking branches.


title: Frequency Masking for Universal Deepfake Detection

abstract: We study universal deepfake detection. Our goal is to detect synthetic images from a range of generative AI approaches, particularly from emerging ones which are unseen during training of the deepfake detector. Universal deepfake detection requires outstanding generalization capability. Motivated by recently proposed masked image modeling which has demonstrated excellent generalization in self-supervised pre-training, we make the first attempt to explore masked image modeling for universal deepfake detection. We study spatial and frequency domain masking in training deepfake detectors. Based on empirical analysis, we propose a novel deepfake detector via frequency masking. Our focus on frequency domain is different from the majority, which primarily target spatial domain detection. Our comparative analyses reveal substantial performance gains over existing methods. Code and models are publicly available.


title: Incorporating non-local anyonic statistics into a graph decomposition

abstract: In this work we describe how to systematically implement a full graph decomposition to set up a linked-cluster expansion for the topological phase of Kitaev's toric code in a field. This demands to include the non-local effects mediated by the mutual anyonic statistics of elementary charge and flux excitations. Technically, we describe how to consistently integrate such non-local effects into a hypergraph decomposition for single excitations. The approach is demonstrated for the ground-state energy and the elementary excitation energies of charges and fluxes in the perturbed topological phase.


title: Utilizing Layout Effects for Analog Logic Locking

abstract: While numerous obfuscation techniques are available for securing digital assets in the digital domain, there has been a notable lack of focus on protecting Intellectual Property (IP) in the analog domain. This is primarily due to the relatively smaller footprint of analog components within an Integrated Circuit (IC), with the majority of the surface dedicated to digital elements. However, despite their smaller nature, analog components are highly valuable IP and warrant effective protection. In this paper, we present a groundbreaking method for safeguarding analog IP by harnessing layout-based effects that are typically considered undesirable in IC design. Specifically, we exploit the impact of Length of Oxide Diffusion and Well Proximity Effect on transistors to fine-tune critical parameters such as transconductance (gm) and threshold voltage (Vth). These parameters remain concealed behind key inputs, akin to the logic locking approach employed in digital ICs. Our research explores the application of layout-based effects in two commercial CMOS technologies, namely a 28nm and a 65nm node. To demonstrate the efficacy of our proposed technique, we implement it for locking an Operational Transconductance Amplifier. Extensive simulations are performed, evaluating the obfuscation strength by applying a large number of key sets (over 50,000 and 300,000). The results exhibit a significant degradation in performance metrics, such as open-loop gain (up to 130dB), phase margin (up to 50 degrees), 3dB bandwidth (approximately 2.5MHz), and power consumption (around 1mW) when incorrect keys are employed. Our findings highlight the advantages of our approach as well as the associated overhead.


title: AntEval: Evaluation of Social Interaction Competencies in LLM-Driven Agents

abstract: Large Language Models (LLMs) have demonstrated their ability to replicate human behaviors across a wide range of scenarios. However, their capability in handling complex, multi-character social interactions has yet to be fully explored, primarily due to the absence of robust, quantitative evaluation methods. This gap has slowed the development of agents proficient in more nuanced interactions beyond simple exchanges, for example, small talk. To address this challenge, we introduce the Multi-Agent Interaction Evaluation Framework (AntEval), encompassing a novel interaction framework and evaluation methods. The interaction framework aims to foster an complex interaction environment that bolsters information exchange and intention expression within social interactions. Furthermore, we introduce evaluation methods, including two metrics: Information Exchanging Precision (IEP) and Interaction Expressiveness Gap (IEG), designed for the quantitative and objective assessment of agents' interaction competencies. Our findings highlight the utility of these evaluative methods and show significant potential for improving LLMs' ability to construct agents that interact in a more natural manner with human-like intricacy.


title: Every spectrum is the K-theory of a stable $\infty$-category

abstract: We prove that any spectrum is equivalent to the nonconnective K-theory of a stable $\infty$-category. We use these results to construct a stable $\infty$-category $\mathcal{C}$ with a bounded t-structure such that $\operatorname{K}(\mathcal{C})$ is not equivalent to $\operatorname{K}(\mathcal{C}^\heartsuit)$, disproving a conjecture of Antieau, Gepner, and Heller.


title: Strong gravitational lensing of a five-dimensional charged, equally rotating black hole with a cosmological constant

abstract: We study the lensing phenomena of the strong gravity regime of the five-dimensional charged, equally rotating black holes with a cosmological constant, familiarly known as the Cveti\v c-L\"u-Pope black holes. These black holes are characterized by three observable parameters, the mass $M$, the charge $Q$ and the angular momentum $J$, in addition to the cosmological constant. We investigate the strong gravitational lensing observables, mainly the photon sphere radius, the minimum impact parameter, the deflection angle, the angular size, and the magnification of the relativistic images. We model the $M87$ and $SgrA^*$ for these observables. We also focus on the relativistic time delay effect in the strong field regime of gravity and the impact of the observable on it. The analytical expressions for the observables of the relativistic images with vanishing angular momentum ($j=0$) are discussed in some detail.


title: An Optimal Randomized Algorithm for Finding the Saddlepoint

abstract: A \emph{saddlepoint} of an $n \times n$ matrix is an entry that is the maximum of its row and the minimum of its column. Saddlepoints give the \emph{value} of a two-player zero-sum game, corresponding to its pure-strategy Nash equilibria; efficiently finding a saddlepoint is thus a natural and fundamental algorithmic task. For finding a \emph{strict saddlepoint} (an entry that is the strict maximum of its row and the strict minimum of its column) we recently gave an $O({n\log^*{n}})$-time algorithm, improving the $O({n\log{n}})$ bounds from 1991 of Bienstock, Chung, Fredman, Sch\"affer, Shor, Suri and of Byrne and Vaserstein. In this paper we present an optimal $O({n})$-time algorithm for finding a strict saddlepoint based on random sampling. Our algorithm, like earlier approaches, accesses matrix entries only via unit-cost binary comparisons. For finding a (non-strict) saddlepoint, we extend an existing lower bound to randomized algorithms, showing that the trivial $O(n^2)$ runtime cannot be improved even with the use of randomness.


title: ML-On-Rails: Safeguarding Machine Learning Models in Software Systems A Case Study

abstract: Machine learning (ML), especially with the emergence of large language models (LLMs), has significantly transformed various industries. However, the transition from ML model prototyping to production use within software systems presents several challenges. These challenges primarily revolve around ensuring safety, security, and transparency, subsequently influencing the overall robustness and trustworthiness of ML models. In this paper, we introduce ML-On-Rails, a protocol designed to safeguard ML models, establish a well-defined endpoint interface for different ML tasks, and clear communication between ML providers and ML consumers (software engineers). ML-On-Rails enhances the robustness of ML models via incorporating detection capabilities to identify unique challenges specific to production ML. We evaluated the ML-On-Rails protocol through a real-world case study of the MoveReminder application. Through this evaluation, we emphasize the importance of safeguarding ML models in production.


title: Personalized Reinforcement Learning with a Budget of Policies

abstract: Personalization in machine learning (ML) tailors models' decisions to the individual characteristics of users. While this approach has seen success in areas like recommender systems, its expansion into high-stakes fields such as healthcare and autonomous driving is hindered by the extensive regulatory approval processes involved. To address this challenge, we propose a novel framework termed represented Markov Decision Processes (r-MDPs) that is designed to balance the need for personalization with the regulatory constraints. In an r-MDP, we cater to a diverse user population, each with unique preferences, through interaction with a small set of representative policies. Our objective is twofold: efficiently match each user to an appropriate representative policy and simultaneously optimize these policies to maximize overall social welfare. We develop two deep reinforcement learning algorithms that efficiently solve r-MDPs. These algorithms draw inspiration from the principles of classic K-means clustering and are underpinned by robust theoretical foundations. Our empirical investigations, conducted across a variety of simulated environments, showcase the algorithms' ability to facilitate meaningful personalization even under constrained policy budgets. Furthermore, they demonstrate scalability, efficiently adapting to larger policy budgets.


title: A sequential Monte Carlo algorithm for data assimilation problems in ecology

abstract: 1. Temporal trends in species distributions are necessary for monitoring changes in biodiversity, which aids policymakers and conservationists in making informed decisions. Dynamic species distribution models are often fitted to ecological time series data using Markov Chain Monte Carlo algorithms to produce these temporal trends. However, the fitted models can be time-consuming to produce and run, making it inefficient to refit them as new observations become available. 2. We propose an algorithm that updates model parameters and the latent state distribution (e.g. true occupancy) using the saved information from a previously fitted model. This algorithm capitalises on the strength of importance sampling to generate new posterior samples of interest by updating the model output. The algorithm was validated with simulation studies on linear Gaussian state space models and occupancy models, and we applied the framework to Crested Tits in Switzerland and Yellow Meadow Ants in the UK. 3. We found that models updated with the proposed algorithm captured the true model parameters and latent state values as good as the models refitted to the expanded dataset. Moreover, the updated models were much faster to run and preserved the trajectory of the derived quantities. 4. The proposed approach serves as an alternative to conventional methods for updating state-space models (SSMs), and it is most beneficial when the fitted SSMs have a long run time. Overall, we provide a Monte Carlo algorithm to efficiently update complex models, a key issue in developing biodiversity models and indicators.


title: Hook formula for Coxeter groups via the twisted group ring

abstract: We use Kostant and Kumar's twisted group ring and its dual to formulate and prove a generalization of Nakada's colored hook formula for any Coxeter groups. For dominant minuscule elements of the Weyl group of a Kac--Moody algebra, this provides another short proof of Nakada's colored hook formula.


title: LiDAR Depth Map Guided Image Compression Model

abstract: The incorporation of LiDAR technology into some high-end smartphones has unlocked numerous possibilities across various applications, including photography, image restoration, augmented reality, and more. In this paper, we introduce a novel direction that harnesses LiDAR depth maps to enhance the compression of the corresponding RGB camera images. To the best of our knowledge, this represents the initial exploration in this particular research direction. Specifically, we propose a Transformer-based learned image compression system capable of achieving variable-rate compression using a single model while utilizing the LiDAR depth map as supplementary information for both the encoding and decoding processes. Experimental results demonstrate that integrating LiDAR yields an average PSNR gain of 0.83 dB and an average bitrate reduction of 16% as compared to its absence.


title: Transitional Grid Maps: Efficient Analytical Inference of Dynamic Environments under Limited Sensing

abstract: Autonomous agents rely on sensor data to construct representations of their environment, essential for predicting future events and planning their own actions. However, sensor measurements suffer from limited range, occlusions, and sensor noise. These challenges become more evident in dynamic environments, where efficiently inferring the state of the environment based on sensor readings from different times is still an open problem. This work focuses on inferring the state of the dynamic part of the environment, i.e., where dynamic objects might be, based on previous observations and constraints on their dynamics. We formalize the problem and introduce Transitional Grid Maps (TGMs), an efficient analytical solution. TGMs are based on a set of novel assumptions that hold in many practical scenarios. They significantly reduce the complexity of the problem, enabling continuous prediction and updating of the entire dynamic map based on the known static map (see Fig.1), differentiating them from other alternatives. We compare our approach with a state-of-the-art particle filter, obtaining more prudent predictions in occluded scenarios and on-par results on unoccluded tracking.


title: Graded modal logic and counting message passing automata

abstract: We examine the relationship of graded (multi)modal logic to counting (multichannel) message passing automata with applications to the Weisfeiler-Leman algorithm. We introduce the notion of graded multimodal types, which are formulae of graded multimodal logic that encode the local information of a pointed Kripke-model. We also introduce message passing automata that carry out a generalization of the Weisfeiler-Leman algorithm for distinguishing non-isomorphic graph nodes. We show that the classes of pointed Kripke-models recognizable by these automata are definable by a countable (possibly infinite) disjunction of graded multimodal formulae and vice versa. In particular, this equivalence also holds between recursively enumerable disjunctions and recursively enumerable automata. We also show a way of carrying out the Weisfeiler-Leman algorithm with a formula of first order logic that has been augmented with H\"artig's quantifier and greatest fixed points.


title: On array geometry and self-interference in full-duplex massive MIMO communications

abstract: This paper studies the role of the joint transmit-receive antenna array geometry in shaping the self-interference (SI) channel in full-duplex communications. We consider a simple spherical wave SI model and two prototypical linear array geometries with uniformly spaced transmit and receive antennas. We show that the resulting SI channel matrix has a regular (Toeplitz) structure in both of these cases. However, the number of significant singular values of these matrices - an indication of the severity of SI - can be markedly different. We demonstrate that both reduced SI and high angular resolution can be obtained by employing suitable sparse array configurations that fully leverage the available joint transmit-receive array aperture without suffering from angular ambiguities. Numerical electromagnetic simulations also suggest that the worst-case SI of such sparse arrays need not increase - but can actually decrease - with the number of antennas. Our findings provide preliminary insight into the extent to which the array geometry alone can mitigate SI in full-duplex massive MIMO communications systems employing a large number of antennas.


title: Exploring Diverse Representations for Open Set Recognition

abstract: Open set recognition (OSR) requires the model to classify samples that belong to closed sets while rejecting unknown samples during test. Currently, generative models often perform better than discriminative models in OSR, but recent studies show that generative models may be computationally infeasible or unstable on complex tasks. In this paper, we provide insights into OSR and find that learning supplementary representations can theoretically reduce the open space risk. Based on the analysis, we propose a new model, namely Multi-Expert Diverse Attention Fusion (MEDAF), that learns diverse representations in a discriminative way. MEDAF consists of multiple experts that are learned with an attention diversity regularization term to ensure the attention maps are mutually different. The logits learned by each expert are adaptively fused and used to identify the unknowns through the score function. We show that the differences in attention maps can lead to diverse representations so that the fused representations can well handle the open space. Extensive experiments are conducted on standard and OSR large-scale benchmarks. Results show that the proposed discriminative method can outperform existing generative models by up to 9.5% on AUROC and achieve new state-of-the-art performance with little computational cost. Our method can also seamlessly integrate existing classification models. Code is available at https://github.com/Vanixxz/MEDAF.


title: Update on the gradient flow scale on the 2+1+1 HISQ ensembles

abstract: We report on the ongoing effort of improving the determination of the gradient flow scale on the (2+1+1)-flavor HISQ ensembles generated by the MILC collaboration. We compute the scales $\sqrt{t_0}/a$ and $w_0/a$ with the Wilson and Symanzik flow using three discretizations for the action density: clover, Wilson and tree-level Symanzik improved. For the absolute scale setting, we intend to employ the $\Omega$-baryon mass, but are also using the pion decay constant while the $\Omega$-mass calculations are in progress.


title: Boosting Causal Additive Models

abstract: We present a boosting-based method to learn additive Structural Equation Models (SEMs) from observational data, with a focus on the theoretical aspects of determining the causal order among variables. We introduce a family of score functions based on arbitrary regression techniques, for which we establish necessary conditions to consistently favor the true causal ordering. Our analysis reveals that boosting with early stopping meets these criteria and thus offers a consistent score function for causal orderings. To address the challenges posed by high-dimensional data sets, we adapt our approach through a component-wise gradient descent in the space of additive SEMs. Our simulation study underlines our theoretical results for lower dimensions and demonstrates that our high-dimensional adaptation is competitive with state-of-the-art methods. In addition, it exhibits robustness with respect to the choice of the hyperparameters making the procedure easy to tune.


title: Domain Adaptation for Time series Transformers using One-step fine-tuning

abstract: The recent breakthrough of Transformers in deep learning has drawn significant attention of the time series community due to their ability to capture long-range dependencies. However, like other deep learning models, Transformers face limitations in time series prediction, including insufficient temporal understanding, generalization challenges, and data shift issues for the domains with limited data. Additionally, addressing the issue of catastrophic forgetting, where models forget previously learned information when exposed to new data, is another critical aspect that requires attention in enhancing the robustness of Transformers for time series tasks. To address these limitations, in this paper, we pre-train the time series Transformer model on a source domain with sufficient data and fine-tune it on the target domain with limited data. We introduce the \emph{One-step fine-tuning} approach, adding some percentage of source domain data to the target domains, providing the model with diverse time series instances. We then fine-tune the pre-trained model using a gradual unfreezing technique. This helps enhance the model's performance in time series prediction for domains with limited data. Extensive experimental results on two real-world datasets show that our approach improves over the state-of-the-art baselines by 4.35% and 11.54% for indoor temperature and wind power prediction, respectively.


title: EUSO-SPB1 Mission and Science

abstract: The Extreme Universe Space Observatory on a Super Pressure Balloon 1 (EUSO-SPB1) was launched in 2017 April from Wanaka, New Zealand. The plan of this mission of opportunity on a NASA super pressure balloon test flight was to circle the southern hemisphere. The primary scientific goal was to make the first observations of ultra-high-energy cosmic-ray extensive air showers (EASs) by looking down on the atmosphere with an ultraviolet (UV) fluorescence telescope from suborbital altitude (33~km). After 12~days and 4~hours aloft, the flight was terminated prematurely in the Pacific Ocean. Before the flight, the instrument was tested extensively in the West Desert of Utah, USA, with UV point sources and lasers. The test results indicated that the instrument had sensitivity to EASs of approximately 3 EeV. Simulations of the telescope system, telescope on time, and realized flight trajectory predicted an observation of about 1 event assuming clear sky conditions. The effects of high clouds were estimated to reduce this value by approximately a factor of 2. A manual search and a machine-learning-based search did not find any EAS signals in these data. Here we review the EUSO-SPB1 instrument and flight and the EAS search.


title: MetaHate: A Dataset for Unifying Efforts on Hate Speech Detection

abstract: Hate speech represents a pervasive and detrimental form of online discourse, often manifested through an array of slurs, from hateful tweets to defamatory posts. As such speech proliferates, it connects people globally and poses significant social, psychological, and occasionally physical threats to targeted individuals and communities. Current computational linguistic approaches for tackling this phenomenon rely on labelled social media datasets for training. For unifying efforts, our study advances in the critical need for a comprehensive meta-collection, advocating for an extensive dataset to help counteract this problem effectively. We scrutinized over 60 datasets, selectively integrating those pertinent into MetaHate. This paper offers a detailed examination of existing collections, highlighting their strengths and limitations. Our findings contribute to a deeper understanding of the existing datasets, paving the way for training more robust and adaptable models. These enhanced models are essential for effectively combating the dynamic and complex nature of hate speech in the digital realm.


title: Fragmentation of Water Clusters Formed in Helium Nanodroplets by Charge Transfer and Penning Ionization

abstract: Helium nanodroplets ("HNDs") are widely used for forming tailor-made clusters and molecular complexes in a cold, transparent, and weakly-interacting matrix. Characterization of embedded species by mass spectrometry is often complicated by fragmentation and trapping of ions in the HNDs. Here, we systematically study fragment ion mass spectra of HND-aggregated water and oxygen clusters following their ionization by charge transfer ionization ("CTI") and Penning ionization ("PEI"). While the efficiency of PEI of embedded clusters is lower than for CTI by about factor 10, both the mean sizes of detected water clusters and the relative yields of unprotonated cluster ions are significantly larger, making PEI a ``soft ionization'' scheme. However, the tendency of ions to remain bound to HNDs leads to a reduced detection efficiency for large HNDs containing $>10^4$ helium atoms. These results are instrumental for determining optimal conditions for mass spectrometry and photoionization spectroscopy of molecular complexes and clusters aggregated in HNDs.


title: PCB-Vision: A Multiscene RGB-Hyperspectral Benchmark Dataset of Printed Circuit Boards

abstract: Addressing the critical theme of recycling electronic waste (E-waste), this contribution is dedicated to developing advanced automated data processing pipelines as a basis for decision-making and process control. Aligning with the broader goals of the circular economy and the United Nations (UN) Sustainable Development Goals (SDG), our work leverages non-invasive analysis methods utilizing RGB and hyperspectral imaging data to provide both quantitative and qualitative insights into the E-waste stream composition for optimizing recycling efficiency. In this paper, we introduce 'PCB-Vision'; a pioneering RGB-hyperspectral printed circuit board (PCB) benchmark dataset, comprising 53 RGB images of high spatial resolution paired with their corresponding high spectral resolution hyperspectral data cubes in the visible and near-infrared (VNIR) range. Grounded in open science principles, our dataset provides a comprehensive resource for researchers through high-quality ground truths, focusing on three primary PCB components: integrated circuits (IC), capacitors, and connectors. We provide extensive statistical investigations on the proposed dataset together with the performance of several state-of-the-art (SOTA) models, including U-Net, Attention U-Net, Residual U-Net, LinkNet, and DeepLabv3+. By openly sharing this multi-scene benchmark dataset along with the baseline codes, we hope to foster transparent, traceable, and comparable developments of advanced data processing across various scientific communities, including, but not limited to, computer vision and remote sensing. Emphasizing our commitment to supporting a collaborative and inclusive scientific community, all materials, including code, data, ground truth, and masks, will be accessible at https://github.com/hifexplo/PCBVision.


title: Industrial Challenges in Secure Continuous Development

abstract: The intersection between security and continuous software engineering has been of great interest since the early years of the agile development movement, and it remains relevant as software development processes are more frequently guided by agility and the adoption of DevOps. Several authors have contributed studies about the framing of secure agile development and secure DevOps, motivating academic contributions to methods and practices, but also discussions around benefits and challenges. Especially the challenges captured also our interest since, for the last few years, we are conducting research on secure continuous software engineering from a more applied, practical perspective with the overarching aim to introduce solutions that can be adopted at scale. The short positioning at hands summarizes a relevant part of our endeavors in which we validated challenges with several practitioners of different roles. More than framing a set of challenges, we conclude by presenting four key research directions we identified for practitioners and researchers to delineate future work.


title: Performance study of the JadePix-3 telescope from a beam test

abstract: We present the results of a beam test conducted on a telescope using the JadePix-3 pixel sensor, developed with TowerJazz 180 nm CMOS imaging technology. The telescope is composed of five planes, each equipped with a JadePix-3 sensor with pitches of 26 um x 16 um and 23.11 um x 16 um. In addition, it features an FPGA-based synchronous readout system. The telescope underwent testing using an electron beam with energy ranging from 4 to 6 GeV. At an electron energy of 5.4 GeV, the telescope demonstrated superior spatial resolutions of 2.6 and 2.3 um in two dimensions. By designating the central plane as the device under test, we evaluated the JadePix-3 sensor's spatial resolutions as 5.2 and 4.6 um in two dimensions, achieving a detection efficiency of over 99%.


title: Surface charge induced $sp^3$-$sp^2$ transformation: new energy optimization universal mechanism of (4x4) reconstruction of stoichiometric GaN(0001) surface

abstract: Ab initio calculations were applied to large size slabs simulations for determination of the properties of the principal structures of the stoichiometric GaN(0001) surface. The results are different from published previously: stoichiometric GaN(0001) surface structure is characterized by mixed structure in which 3/8 top layer Ga atoms remain in standard position with $sp^3$ hybridized bonding while the remaining 5/8 top layer Ga atoms is located in plane of N atoms with $sp^2$ hybridized bonding. This involves charge transfer to the previous one, entailing energy optimization, therefore Ga-s and Ga-p energy difference is driving force for the transition. In large size surfaces Ga atoms create (4 x 4) reconstruction which is additionally stabilized by strain optimization. Heavy doping in the bulk changes $sp^3$ to $sp^2$ ratio thus confirming the charge transfer mechanism of the reconstruction. The charge transfer energy optimization is universal for all surfaces terminated by $sp^3$ bonded atoms.


title: INTERS: Unlocking the Power of Large Language Models in Search with Instruction Tuning

abstract: Large language models (LLMs) have demonstrated impressive capabilities in various natural language processing tasks. Despite this, their application to information retrieval (IR) tasks is still challenging due to the infrequent occurrence of many IR-specific concepts in natural language. While prompt-based methods can provide task descriptions to LLMs, they often fall short in facilitating a comprehensive understanding and execution of IR tasks, thereby limiting LLMs' applicability. To address this gap, in this work, we explore the potential of instruction tuning to enhance LLMs' proficiency in IR tasks. We introduce a novel instruction tuning dataset, INTERS, encompassing 20 tasks across three fundamental IR categories: query understanding, document understanding, and query-document relationship understanding. The data are derived from 43 distinct datasets with manually written templates. Our empirical results reveal that INTERS significantly boosts the performance of various publicly available LLMs, such as LLaMA, Mistral, and Phi, in IR tasks. Furthermore, we conduct extensive experiments to analyze the effects of instruction design, template diversity, few-shot demonstrations, and the volume of instructions on performance. We make our dataset and the fine-tuned models publicly accessible at https://github.com/DaoD/INTERS.


title: Predicting The One-Particle Density Matrix With Machine Learning

abstract: Two of the most widely used electronic structure theory methods, namely Hartree-Fock and Kohn-Sham density functional theory, both requires the iterative solution of a set of Schr\"odinger-like equations. The speed of convergence of such self-consistent field process depends on the complexity of the system under investigation and on the initial guess for the density matrix. An initial density matrix close to the ground-state one will effectively allow one to cut out many of the self-consistent steps necessary to achieve convergence. Here, we predict the density matrix of Kohn-Sham density functional theory by constructing a neural network, which uses the atomic positions as only information. Such neural network provides an initial guess for the density matrix far superior to any other recipes available, in particular for molecules with metallic bonds. Furthermore, the quality of such neural-network density matrix is good enough for the evaluation of interatomic forces. This allows us to run accelerated {\it ab-initio} molecular dynamics with little to no self-consistent steps.


title: Some remarks on Linear-quadratic closed-loop games with many players

abstract: We identify structural assumptions which provide solvability of the Nash system arising from a linear-quadratic closed-loop game, with stable properties with respect to the number of players. In a setting of interactions governed by a sparse graph, both short-time and long-time existence of a classical solution for the Nash system set in infinitely many dimensions are addressed, as well as convergence to the solution to the respective ergodic problem as the time horizon goes to infinity; in addition, equilibria for the infinite-dimensional game are shown to provide $\epsilon$-Nash closed-loop equilibria for the $N$-player game. In a setting of generalized mean-field type (where the number of interactions is large but not necessarily symmetric), directly from the $N$-player Nash system estimates on the value functions are deduced on an arbitrary large time horizon, which should pave the way for a convergence result as $N$ goes to infinity.


title: Simulating open quantum systems using noise models and NISQ devices with error mitigation

abstract: In this work, we present simulations of two Open Quantum System models, Collisional and Markovian Reservoir, with noise simulations, the IBM devices ($\textit{ibm_kyoto}$, $\textit{ibm_osaka}$) and the OQC device Lucy. Extending the results of Garc\'ia-P\'erez, et al. [npj Quantum Information 6.1 (2020): 1]. Using the Mitiq toolkit, we apply Zero-Noise extrapolation (ZNE), an error mitigation technique, and analyze their deviation from the theoretical results for the models under study. For both models, by applying ZNE, we were able to reduce the error and overlap it with the theoretical results. All our simulations and experiments were done in the qBraid environment.


title: Controlling the Rates of a Chain of Harmonic Oscillators with a Point Langevin Thermostat

abstract: We consider the control problem for an infinite chain of coupled harmonic oscillators with a Langevin thermostat at the origin. We study the effect of two types of open-loop boundary controls, impulsive control and linear memory-feedback control, in the high frequency limit. We investigate their action on the reflection-transmission coefficients for the wave energy for the scattering of the thermostat. Our study shows that impulsive boundary controls have no impact on the rates and are thus not appropriate to act on the system, despite their physical meaning and relevance. In contrast, the second kind of control that we propose, which is less standard and uses the past of the state solution of the system, is adequate and relevant. We prove that any triple of rates satisfying appropriate assumptions is asymptotically reachable thanks to linear memory-feedback controls that we design explicitly.


title: Twisted rational zeros of linear recurrence sequences

abstract: We introduce the notion of a twisted rational zero of a non-degenerate linear recurrence sequence (LRS). We show that any non-degenerate LRS has only finitely many such twisted rational zeros. In the particular case of the Tribonacci sequence, we show that $1/3$ and $-5/3$ are the only twisted rational zeros which are not integral zeros.


title: Intelligent Data-Driven Architectural Features Orchestration for Network Slicing

abstract: Network slicing is a crucial enabler and a trend for the Next Generation Mobile Network (NGMN) and various other new systems like the Internet of Vehicles (IoV) and Industrial IoT (IIoT). Orchestration and machine learning are key elements with a crucial role in the network-slicing processes since the NS process needs to orchestrate resources and functionalities, and machine learning can potentially optimize the orchestration process. However, existing network-slicing architectures lack the ability to define intelligent approaches to orchestrate features and resources in the slicing process. This paper discusses machine learning-based orchestration of features and capabilities in network slicing architectures. Initially, the slice resource orchestration and allocation in the slicing planning, configuration, commissioning, and operation phases are analyzed. In sequence, we highlight the need for optimized architectural feature orchestration and recommend using ML-embed agents, federated learning intrinsic mechanisms for knowledge acquisition, and a data-driven approach embedded in the network slicing architecture. We further develop an architectural features orchestration case embedded in the SFI2 network slicing architecture. An attack prevention security mechanism is developed for the SFI2 architecture using distributed embedded and cooperating ML agents. The case presented illustrates the architectural feature's orchestration process and benefits, highlighting its importance for the network slicing process.


title: Multinucleon transfer with time-dependent covariant density functional theory

abstract: The microscopic framework of time-dependent covariant density functional theory is applied to study multinucleon transfer reactions, with transfer probabilities calculated using the particle number projection method. It is found that similar total cross sections are obtained with two different relativistic density functionals, PC-PK1 and DD-ME2, as well as with the Skyrme functional SLy5 in a previous study, for multinucleon transfer in the reactions: $^{40}{\rm Ca}+{}^{124}{\rm Sn}$ at $E_{\rm lab} = 170$ MeV, $^{40}{\rm Ca}+{}^{208}{\rm Pb}$ at $E_{\rm lab} = 249$ MeV, and $^{58}{\rm Ni}+{}^{208}{\rm Pb}$ at $E_{\rm lab} = 328.4$ MeV. We report the first microscopic calculation of total cross sections for the reactions: $^{40}{\rm Ar}+{}^{208}{\rm Pb}$ at $E_{\rm lab} = 256$ MeV and $^{206}{\rm Pb}+{}^{118}{\rm Sn}$ at $E_{\rm lab} = 1200$ MeV. Compared to the results obtained with the GRAZING model, the cross sections predicted by the time-dependent covariant density functional theory are in much better agreement with data, and demonstrate the potential of microscopic models based on relativistic density functionals for the description of reaction dynamics.


title: Singularities of Discrete Indefinite Affine Minimal Surfaces

abstract: A smooth affine minimal surface with indefinite metric can be obtained from a pair of smooth non-intersecting spatial curves by Lelieuvre's formulas. These surfaces may present singularities, which are generically cuspidal edges and swallowtails. By discretizing the initial curves, one can obtain by the discrete Lelieuvre's formulas a discrete affine minimal surface with indefinite metric. The aim of this paper is to define the singular edges and vertices of the corresponding discrete asymptotic net in such a way that the most relevant properties of the singular set of the smooth version remain valid.


title: Medical Dialogue Generation via Intuitive-then-Analytical Differential Diagnosis

abstract: Medical dialogue systems have attracted growing research attention as they have the potential to provide rapid diagnoses, treatment plans, and health consultations. In medical dialogues, a proper diagnosis is crucial as it establishes the foundation for future consultations. Clinicians typically employ both intuitive and analytic reasoning to formulate a differential diagnosis. This reasoning process hypothesizes and verifies a variety of possible diseases and strives to generate a comprehensive and rigorous diagnosis. However, recent studies on medical dialogue generation have overlooked the significance of modeling a differential diagnosis, which hinders the practical application of these systems. To address the above issue, we propose a medical dialogue generation framework with the Intuitive-then-Analytic Differential Diagnosis (IADDx). Our method starts with a differential diagnosis via retrieval-based intuitive association and subsequently refines it through a graph-enhanced analytic procedure. The resulting differential diagnosis is then used to retrieve medical knowledge and guide response generation. Experimental results on two datasets validate the efficacy of our method. Besides, we demonstrate how our framework assists both clinicians and patients in understanding the diagnostic process, for instance, by producing intermediate results and graph-based diagnosis paths.


title: Robustness-Aware 3D Object Detection in Autonomous Driving: A Review and Outlook

abstract: In the realm of modern autonomous driving, the perception system is indispensable for accurately assessing the state of the surrounding environment, thereby enabling informed prediction and planning. Key to this system is 3D object detection methods, that utilize vehicle-mounted sensors such as LiDAR and cameras to identify the size, category, and location of nearby objects. Despite the surge in 3D object detection methods aimed at enhancing detection precision and efficiency, there is a gap in the literature that systematically examines their resilience against environmental variations, noise, and weather changes. This study emphasizes the importance of robustness, alongside accuracy and latency, in evaluating perception systems under practical scenarios. Our work presents an extensive survey of camera-based, LiDAR-based, and multimodal 3D object detection algorithms, thoroughly evaluating their trade-off between accuracy, latency, and robustness, particularly on datasets like KITTI-C and nuScenes-C to ensure fair comparisons. Among these,multimodal 3D detection approaches exhibit superior robustness and a novel taxonomy is introduced to reorganize its literature for enhanced clarity. This survey aims to offer a more practical perspective on the current capabilities and constraints of 3D object detection algorithms in real-world applications, thus steering future research towards robustness-centric advancements


title: Fisher information rates in sequentially measured quantum systems

abstract: We consider the impact that temporal correlations in the measurement statistics can have on the achievable precision in a sequential metrological protocol. In this setting, and for a single quantum probe, we establish that it is the transitions between the measurement basis states that plays the most significant role in determining the precision, with the resulting conditional Fisher information being interpretable as a rate of information acquisition. Projective measurements are shown to elegantly demonstrate this in two disparate estimation settings. Firstly, in determining the temperature of an environment and, secondly, to ascertain a parameter of the system Hamiltonian. In both settings we show that the sequential estimation approach can provide a useful method to enhance the achievable precision.


title: RIS-Aided NLoS Monostatic Sensing under Mobility and Angle-Doppler Coupling

abstract: We investigate the problem of reconfigurable intelligent surface (RIS)-aided monostatic sensing of a mobile target under line-of-sight (LoS) blockage considering a single antenna, full-duplex, and dual-functional radar-communications base station (BS). For the purpose of target detection and delay/Doppler/angle estimation, we derive a detector based on the generalized likelihood ratio test (GLRT), which entails a high-dimensional parameter search and leads to angle-Doppler coupling. To tackle these challenges, we propose a two-step algorithm for solving the GLRT detector/estimator in a low-complexity manner, accompanied by a RIS phase profile design tailored to circumvent the angle-Doppler coupling effect. Simulation results verify the effectiveness of the proposed algorithm, demonstrating its convergence to theoretical bounds and its superiority over state-of-the-art mobility-agnostic benchmarks.


title: Observations of high-order multiplicity in a high-mass stellar protocluster

abstract: The dominant mechanism forming multiple stellar systems in the high-mass regime (M$_\ast \gtrsim $ 8 $M_{\odot}$) remained unknown because direct imaging of multiple protostellar systems at early phases of high-mass star formation is very challenging. High-mass stars are expected to form in clustered environments containing binaries and higher-order multiplicity systems. So far only a few high-mass protobinary systems, and no definitive higher-order multiples, have been detected. Here we report the discovery of one quintuple, one quadruple, one triple and four binary protostellar systems simultaneously forming in a single high-mass protocluster, G333.23--0.06, using Atacama Large Millimeter/submillimeter Array high-resolution observations. We present a new example of a group of gravitationally bound binary and higher-order multiples during their early formation phases in a protocluster. This provides the clearest direct measurement of the initial configuration of primordial high-order multiple systems, with implications for the in situ multiplicity and its origin. We find that the binary and higher-order multiple systems, and their parent cores, show no obvious sign of disk-like kinematic structure. We conclude that the observed fragmentation into binary and higher-order multiple systems can be explained by core fragmentation, indicating its crucial role in establishing the multiplicity during high-mass star cluster formation.


title: Optimizing Feature Selection for Binary Classification with Noisy Labels: A Genetic Algorithm Approach

abstract: Feature selection in noisy label scenarios remains an understudied topic. We propose a novel genetic algorithm-based approach, the Noise-Aware Multi-Objective Feature Selection Genetic Algorithm (NMFS-GA), for selecting optimal feature subsets in binary classification with noisy labels. NMFS-GA offers a unified framework for selecting feature subsets that are both accurate and interpretable. We evaluate NMFS-GA on synthetic datasets with label noise, a Breast Cancer dataset enriched with noisy features, and a real-world ADNI dataset for dementia conversion prediction. Our results indicate that NMFS-GA can effectively select feature subsets that improve the accuracy and interpretability of binary classifiers in scenarios with noisy labels.


title: Are We Still Missing an Item?

abstract: The missing item problem, as introduced by Stoeckl in his work at SODA 23, focuses on continually identifying a missing element $e$ in a stream of elements ${e_1, ..., e_{\ell}}$ from the set $\{1,2,...,n\}$, such that $e \neq e_i$ for any $i \in \{1,...,\ell\}$. Stoeckl's investigation primarily delves into scenarios with $\ell<n$, providing bounds for the (i) deterministic case, (ii) the static case -- where the algorithm might be randomized but the stream is fixed in advanced and (iii) the adversarially robust case -- where the algorithm is randomized and each stream element can be chosen depending on earlier algorithm outputs. Building upon this foundation, our paper addresses previously unexplored aspects of the missing item problem. In the first segment, we examine the static setting with a long stream, where the length of the steam $\ell$ is close to or even exceeds the size of the universe $n$. We present an algorithm demonstrating that even when $\ell$ is very close to $n$ (say $\ell=n-1$), polylog($n$) bits of memory suffice to identify the missing item. When the stream's length $\ell$ exceeds the size of the universe $n$ i.e. $\ell = n +k$, we show a tight bound of roughly $\Theta(k)$. The second segment focuses on the adversarially robust setting. We show a lower bound for a pseudo-deterministic error-zero (where the algorithm reports its errors) algorithm of approximating $\Omega(\ell)$, up to polylog factors. Based on Stoeckl's work and the previous result, we establish a tight bound for a random-start (only use randomness at initialization) error-zero streaming algorithm of roughly $\Theta(\sqrt{\ell})$.


title: Enhancing Consistency and Mitigating Bias: A Data Replay Approach for Incremental Learning

abstract: Deep learning systems are prone to catastrophic forgetting when learning from a sequence of tasks, where old data from experienced tasks is unavailable when learning from a new task. To mitigate the problem, a line of methods propose to replay the data of experienced tasks when learning new tasks. These methods usually adopt an extra memory to store the data for replay. However, it is not expected in practice considering the memory constraint or data privacy issue. As a replacement, data-free data replay methods are proposed by inverting samples from the classification model. Though achieving good results, these methods still suffer from the inconsistency of the inverted and real training data, which is neglected in the inversion stage in recent works. To that effect, we propose to measure the data consistency quantitatively by some simplification and assumptions. Using the measurement, we analyze existing techniques for inverting samples and get some insightful information that inspires a novel loss function to reduce the inconsistency. Specifically, the loss minimizes the KL divergence of the distributions of inverted and real data under the tied multivariate Gaussian assumption, which is easy to implement in continual learning. In addition, we observe that the norms of old class weights turn to decrease continually as learning progresses. We thus analyze the underlying reasons and propose a simple regularization term to balance the class weights so that the samples of old classes are more distinguishable. To conclude, we propose the Consistency enhanced data replay with debiased classifier for Class Incremental Learning (CCIL). Extensive experiments on CIFAR-100, Tiny-ImageNet, and ImageNet100 show consistently improved performance of CCIL compared to previous approaches.


title: Scanning spin probe based on magnonic vortex quantum cavities

abstract: Performing nanoscale scanning electron paramagnetic resonance (EPR) requires three essential ingredients. First, a static magnetic field together to field gradients to Zeeman split the electronic energy levels with spatial resolution. Second, a radiofrequency (rf) magnetic field capable of inducing spin transitions. Finally, a sensitive detection method to quantify the energy absorbed by spins. This is usually achieved by combining externally applied magnetic fields with inductive coils or cavities, fluorescent defects or scanning probes. Here, we theoretically propose the realization of a EPR scanning sensor merging all three characteristics into a single device: the vortex core stabilized in ferromagnetic thin-film discs. On one hand, the vortex ground state generates a significant static magnetic field and field gradients. On the other hand, the precessional motion of the vortex core around its equilibrium position produces a circularly polarized oscillating magnetic field, which is enough to produce spin transitions. Finally, the spin-magnon coupling broadens the vortex gyrotropic frequency, suggesting a direct measure of the presence of unpaired electrons. Moreover, the vortex core can be displaced by simply using external magnetic fields of a few mT, enabling EPR scanning microscopy with large spatial resolution. Our numerical simulations show that, by using low damping magnets, it is theoretically possible to detect single spins located on the disc's surface. Vortex nanocavities could also attain strong coupling to individual spin molecular qubits, with potential applications to mediate qubit-qubit interactions or to implement qubit readout protocols.


title: Multimodal Urban Areas of Interest Generation via Remote Sensing Imagery and Geographical Prior

abstract: Urban area-of-interest (AOI) refers to an integrated urban functional zone with defined polygonal boundaries. The rapid development of urban commerce has led to increasing demands for highly accurate and timely AOI data. However, existing research primarily focuses on coarse-grained functional zones for urban planning or regional economic analysis, and often neglects the expiration of AOI in the real world. They fail to fulfill the precision demands of Mobile Internet Online-to-Offline (O2O) businesses. These businesses require accuracy down to a specific community, school, or hospital. In this paper, we propose a comprehensive end-to-end multimodal deep learning framework designed for simultaneously detecting accurate AOI boundaries and validating the reliability of AOI by leveraging remote sensing imagery coupled with geographical prior, titled AOITR. Unlike conventional AOI generation methods, such as the Road-cut method that segments road networks at various levels, our approach diverges from semantic segmentation algorithms that depend on pixel-level classification. Instead, our AOITR begins by selecting a point-of-interest (POI) of specific category, and uses it to retrieve corresponding remote sensing imagery and geographical prior such as entrance POIs and road nodes. This information helps to build a multimodal detection model based on transformer encoder-decoder architecture to regress the AOI polygon. Additionally, we utilize the dynamic features from human mobility, nearby POIs, and logistics addresses for AOI reliability evaluation via a cascaded network module. The experimental results reveal that our algorithm achieves a significant improvement on Intersection over Union (IoU) metric, surpassing previous methods by a large margin.


title: Exact matrix product states at the quantum Lifshitz tricritical point in a spin-1/2 zigzag-chain antiferromagnet with anisotropic $\Gamma$-term

abstract: Quantum anisotropic exchange interactions in magnets can induce competitions between phases in a different manner from those typically driven by geometrically frustrated interactions. We study a one-dimensional spin-1/2 zigzag chain with such an interaction, $\Gamma$-term, in conjunction with the Heisenberg interactions. We find a ground state phase diagram featuring a multicritical point where five phases converge: a uniform ferromagnet, two antiferromagnets, Tomonaga-Luttinger liquid and a dimer-singlet coexisting with nematic order. This multicritical point is simultaneously quantum tricritical and Lifshitz, and most remarkably, it hosts multi-degenerate ground state wave functions, whose exact form is obtained in the matrix product form and its degeneracy increases in squares of system size.


title: Functions that are uniquely maximized by sparse quasi-star graphs, and uniquely minimized by quasi-complete graphs

abstract: We show that for a certain class of convex functions $f$, including the exponential functions $x\mapsto e^{\lambda x}$ with $\lambda>0$ a real number, and all the powers $x\mapsto x^\beta$, $x\geq 0$ and $\beta\geq 2$ a real number, with a unique small exception, if $(d_1,\ldots,d_n)$ ranges over the degree sequences of graphs with $n$ vertices and $m$ edges and $m\leq n-1$, then the maximum of $\sum_i f(d_i)$ is uniquely attained by the degree sequence of a quasi-star graph, namely, a graph consisting of a star plus possibly additional isolated vertices. This result significantly extends a similar result in [D.~Ismailescu, D.~Stefanica, Minimizer graphs for a class of extremal problems, J.~Graph Theory,~39~(4)~(2002)]. Dually, we show that for a certain class of concave functions $g$, including the negative exponential functions $x\mapsto 1-e^{-\lambda x}$ with $\lambda>\ln(2)$ a real number, all the powers $x\mapsto x^\alpha$, $x\geq 0$ and $0<\alpha\leq \frac{1}{2}$ a real number, and the function $x\mapsto \frac{x}{x+1}$ for $x\geq 0$, if $(d_1,\ldots,d_n)$ ranges over the degree sequences of graphs with $n$ vertices and $m$ edges, then the minimum of $\sum_i g(d_i)$ is uniquely attained by the degree sequence of a quasi-complete graph, i.e., a graph consisting of a complete graph plus possibly an additional vertex connected to some but not all vertices of the complete graph, plus possibly isolated vertices. This result extends a similar result in the same paper.


title: Probing black hole charge with gravitational microlensing of gravitational waves

abstract: Gravitational microlensing of gravitational waves (GWs) opens up the exciting possibility of studying the spacetime geometry around the lens. In this work, we investigate the prospects of constraining the `charged' hair of a black hole (BH) from the observation of a GW signal microlensed by the BH. The charge can have electromagnetic or modified gravity origin. We compute the analytic form of the lensing potential with charge and construct the lensed waveforms for a range of BH mass, charge and impact parameters, assuming non-spinning BHs. Using an approximate likelihood function, we explore how future observations of microlensed GWs can constrain the charge of the BH lens. We find that positive values of the charge parameter (that can be of electromagnetic or modified gravity origin) can be tightly constrained using lensed GW signals, while the constraints on negative values of the charge parameter (modified gravity origin) are modest.


title: A complex for the Dirac operator in several variables in dimension $4$

abstract: The Penrose transform was used to construct a complex starting with the Dirac operator in $k$ Clifford variables in dimension $2n$ in the stable range $n\geq k.$ In the paper, we consider the same Penrose transform in the special case of dimension $4$ and for any number of variables (i.e., in the nonstable range). In this case, we describe explicitely the corresponding relative BGG complex and its direct image for cohomology with values in a suitable line bundle (in singular infinitesimal character). We show that how to construct then a complex starting with the Dirac operator in any number of variables.


title: On a problem of Pillai involving S-units and Lucas numbers

abstract: Let $ \{L_n\}_{n\geq 0} $ be the sequence of Lucas numbers. In this paper, we look at the exponential Diophantine equation $L_n-2^x3^y=c$, for $n,x,y\in \mathbb{Z}_{\ge0}$. We treat the cases $c\in -\mathbb{N}$, $c=0$ and $c\in \mathbb{N}$ independently. In the cases that $c\in \mathbb{N}$ and $c\in -\mathbb{N}$, we find all integers $c$ such that the Diophantine equation has at least three solutions. These cases are treated independently since we employ quite different techniques in proving the two cases.


title: First Principles Study of Electronic Structure and Transport in Graphene Grain Boundaries

abstract: Grain boundaries play a major role for electron transport in graphene sheets grown by chemical vapor deposition. Here we investigate the electronic structure and transport properties of idealized graphene grain boundaries (GBs) in bi-crystals using first principles density functional theory (DFT) and non-equilibrium Greens functions (NEGF). We generated 150 different grain boundaries using an automated workflow where their geometry is relaxed with DFT. We find that the GBs generally show a quasi-1D bandstructure along the GB. We group the GBs in four classes based on their conductive properties: transparent, opaque, insulating, and spin-polarizing and show how this is related to angular mismatch, quantum mechanical interference, and out-of-plane buckling. Especially, we find that spin-polarization in the GB correlates with out-of-plane buckling. We further investigate the characteristics of these classes in simulated scanning tunnelling spectroscopy and diffusive transport along the GB which demonstrate how current can be guided along the GB.


title: Treatment-Aware Hyperbolic Representation Learning for Causal Effect Estimation with Social Networks

abstract: Estimating the individual treatment effect (ITE) from observational data is a crucial research topic that holds significant value across multiple domains. How to identify hidden confounders poses a key challenge in ITE estimation. Recent studies have incorporated the structural information of social networks to tackle this challenge, achieving notable advancements. However, these methods utilize graph neural networks to learn the representation of hidden confounders in Euclidean space, disregarding two critical issues: (1) the social networks often exhibit a scalefree structure, while Euclidean embeddings suffer from high distortion when used to embed such graphs, and (2) each ego-centric network within a social network manifests a treatment-related characteristic, implying significant patterns of hidden confounders. To address these issues, we propose a novel method called Treatment-Aware Hyperbolic Representation Learning (TAHyper). Firstly, TAHyper employs the hyperbolic space to encode the social networks, thereby effectively reducing the distortion of confounder representation caused by Euclidean embeddings. Secondly, we design a treatment-aware relationship identification module that enhances the representation of hidden confounders by identifying whether an individual and her neighbors receive the same treatment. Extensive experiments on two benchmark datasets are conducted to demonstrate the superiority of our method.


title: Heat loss and internal dynamics of Venus from global surface heat flow estimates

abstract: The absence of plate tectonics and the young surface age (0.3-1 billion years) of Venus have led to diverse geodynamic models for Venus. The energetics of the Venusian interior drive these models; however, the lack of direct constraints on surface heat flow hampers their quantitative assessment. Here we present the first global heat flow map for Venus, obtained from an inversion of geophysical data, including crustal thickness, effective elastic thickness, and radioactive heat production. Heat flow on Venus is lower and less geographically structured than on Earth but with highs reaching values typical of magmatically active terrestrial areas. The obtained total heat loss is 11-14.5 TW, similar to estimates of the total radioactive heat production. Therefore, at present, Venus proportionally dissipates much less heat than Earth. Furthermore, the calculated crustal temperatures imply that crustal melting or eclogitization are not dominant in the Venusian crust.


title: A General Benchmark Framework is Dynamic Graph Neural Network Need

abstract: Dynamic graph learning is crucial for modeling real-world systems with evolving relationships and temporal dynamics. However, the lack of a unified benchmark framework in current research has led to inaccurate evaluations of dynamic graph models. This paper highlights the significance of dynamic graph learning and its applications in various domains. It emphasizes the need for a standardized benchmark framework that captures temporal dynamics, evolving graph structures, and downstream task requirements. Establishing a unified benchmark will help researchers understand the strengths and limitations of existing models, foster innovation, and advance dynamic graph learning. In conclusion, this paper identifies the lack of a standardized benchmark framework as a current limitation in dynamic graph learning research . Such a framework will facilitate accurate model evaluation, drive advancements in dynamic graph learning techniques, and enable the development of more effective models for real-world applications.


title: Arrangements of inflectional lines, hyperosculating conics, and plane cubics

abstract: In the present note we study some arrangements of inflectional lines, hyperosculating conics, and a nodal plane cubic that are free. Moreover, we study weak combinatorics of arrangements consisting of lines, conics, and elliptic curves providing natural constraints on them.


title: Intention Analysis Makes LLMs A Good Jailbreak Defender

abstract: Aligning large language models (LLMs) with human values, particularly in the face of complex and stealthy jailbreak attacks, presents a formidable challenge. In this study, we present a simple yet highly effective defense strategy, i.e., Intention Analysis ($\mathbb{IA}$). The principle behind this is to trigger LLMs' inherent self-correct and improve ability through a two-stage process: 1) essential intention analysis, and 2) policy-aligned response. Notably, $\mathbb{IA}$ is an inference-only method, thus could enhance the safety of LLMs without compromising their helpfulness. Extensive experiments on varying jailbreak benchmarks across ChatGLM, LLaMA2, Vicuna, MPT, DeepSeek, and GPT-3.5 show that $\mathbb{IA}$ could consistently and significantly reduce the harmfulness in responses (averagely -53.1% attack success rate) and maintain the general helpfulness. Encouragingly, with the help of our $\mathbb{IA}$, Vicuna-7B even outperforms GPT-3.5 in terms of attack success rate. Further analyses present some insights into how our method works. To facilitate reproducibility, we release our code and scripts at: https://github.com/alphadl/SafeLLM_with_IntentionAnalysis.


title: Iterated power intersections of ideals in rings of iterated differential polynomials II

abstract: This paper is a continuation of a previous work by the author and G. Puninski where iterated intersections of powers of ideals were studied in rings of iterated differential polynomials. We present a method which can be used to show that for every proper ideal $I$ of a suitable ring of iterated differential polynomials almost all iterated intersections of powers of $I$ have to be zero. The setback of the method is that it works only if the derivations used in the construction of the ring of iterated differential polynomials satisfy additional assumptions. On the other hand, it can be applied in cases which were not covered by the aforementioned work, for example for a universal enveloping algebra of a completely solvable Lie algebra over a field of positive characteristic.


title: Resource-Efficient Gesture Recognition using Low-Resolution Thermal Camera via Spiking Neural Networks and Sparse Segmentation

abstract: This work proposes a novel approach for hand gesture recognition using an inexpensive, low-resolution (24 x 32) thermal sensor processed by a Spiking Neural Network (SNN) followed by Sparse Segmentation and feature-based gesture classification via Robust Principal Component Analysis (R-PCA). Compared to the use of standard RGB cameras, the proposed system is insensitive to lighting variations while being significantly less expensive compared to high-frequency radars, time-of-flight cameras and high-resolution thermal sensors previously used in literature. Crucially, this paper shows that the innovative use of the recently proposed Monostable Multivibrator (MMV) neural networks as a new class of SNN achieves more than one order of magnitude smaller memory and compute complexity compared to deep learning approaches, while reaching a top gesture recognition accuracy of 93.9% using a 5-class thermal camera dataset acquired in a car cabin, within an automotive context. Our dataset is released for helping future research.


title: Valid causal inference with unobserved confounding in high-dimensional settings

abstract: Various methods have recently been proposed to estimate causal effects with confidence intervals that are uniformly valid over a set of data generating processes when high-dimensional nuisance models are estimated by post-model-selection or machine learning estimators. These methods typically require that all the confounders are observed to ensure identification of the effects. We contribute by showing how valid semiparametric inference can be obtained in the presence of unobserved confounders and high-dimensional nuisance models. We propose uncertainty intervals which allow for unobserved confounding, and show that the resulting inference is valid when the amount of unobserved confounding is small relative to the sample size; the latter is formalized in terms of convergence rates. Simulation experiments illustrate the finite sample properties of the proposed intervals and investigate an alternative procedure that improves the empirical coverage of the intervals when the amount of unobserved confounding is large. Finally, a case study on the effect of smoking during pregnancy on birth weight is used to illustrate the use of the methods introduced to perform a sensitivity analysis to unobserved confounding.


title: Semilinear damped wave equations on the Heisenberg group with initial data from Sobolev spaces of negative order

abstract: In this paper, we focus on studying the Cauchy problem for semilinear damped wave equations involving the sub-Laplacian $\mathcal{L}$ on the Heisenberg group $\mathbb{H}^n$ with power type nonlinearity $|u|^p$ and initial data taken from Sobolev spaces of negative order homogeneous Sobolev space $\dot H^{-\gamma}_{\mathcal{L}}(\mathbb{H}^n), \gamma>0$, on $\mathbb{H}^n$. In particular, in the framework of Sobolev spaces of negative order, we prove that the critical exponent is the exponent $p_{\text{crit}}(Q, \gamma)=1+\frac{4}{Q+2\gamma},$ for some $\gamma\in (0, \frac{Q}{2})$, where $Q:=2n+2$ is the homogeneous dimension of $\mathbb{H}^n$. More precisely, we establish a global-in-time existence of small data Sobolev solutions of lower regularity for $p>p_{\text{crit}}(Q, \gamma)$ in the energy evolution space; a finite time blow-up of weak solutions for $1<p<p_{\text{crit}}(Q, \gamma)$ under certain conditions on the initial data by using the test function method. Furthermore, to precisely characterize the blow-up time, we derive sharp upper bound and lower bound estimates for the lifespan in the subcritical case.


title: Maximum Causal Entropy Inverse Reinforcement Learning for Mean-Field Games

abstract: In this paper, we introduce the maximum casual entropy Inverse Reinforcement Learning (IRL) problem for discrete-time mean-field games (MFGs) under an infinite-horizon discounted-reward optimality criterion. The state space of a typical agent is finite. Our approach begins with a comprehensive review of the maximum entropy IRL problem concerning deterministic and stochastic Markov decision processes (MDPs) in both finite and infinite-horizon scenarios. Subsequently, we formulate the maximum casual entropy IRL problem for MFGs - a non-convex optimization problem with respect to policies. Leveraging the linear programming formulation of MDPs, we restructure this IRL problem into a convex optimization problem and establish a gradient descent algorithm to compute the optimal solution with a rate of convergence. Finally, we present a new algorithm by formulating the MFG problem as a generalized Nash equilibrium problem (GNEP), which is capable of computing the mean-field equilibrium (MFE) for the forward RL problem. This method is employed to produce data for a numerical example. We note that this novel algorithm is also applicable to general MFE computations.


title: Spontaneous Hopf fibration in the two-Higgs-doublet model

abstract: We show that energetic considerations enforce a Hopf fibration of the Standard Model topology within the 2HDM whose potential has either an $SO(3)$ or $U(1)$ Higgs-family symmetry. This can lead to monopole and vortex solutions. We find these solutions, characterise their basic properties and demonstrate the nature of the fibration along with the connection to Nambu's monopole solution. We point out that breaking of the $U(1)_{\rm EM}$ in the core of the defect can be a feature which leads to a non-zero photon mass there.


title: Lost in the Source Language: How Large Language Models Evaluate the Quality of Machine Translation

abstract: This study investigates how Large Language Models (LLMs) leverage source and reference data in machine translation evaluation task, aiming to better understand the mechanisms behind their remarkable performance in this task. We design the controlled experiments across various input modes and model types, and employ both coarse-grained and fine-grained prompts to discern the utility of source versus reference information. We find that reference information significantly enhances the evaluation accuracy, while surprisingly, source information sometimes is counterproductive, indicating LLMs' inability to fully leverage the cross-lingual capability when evaluating translations. Further analysis of the fine-grained evaluation and fine-tuning experiments show similar results. These findings also suggest a potential research direction for LLMs that fully exploits the cross-lingual capability of LLMs to achieve better performance in machine translation evaluation tasks.


title: Effect of the Nature of the Solid Substrate on Spatially Heterogeneous Activated Dynamics in Glass Forming Supported Films

abstract: We extend the force-level ECNLE theory to treat the spatial gradients of the alpha relaxation time and glass transition temperature, and the corresponding film-averaged quantities, to the geometrically asymmetric case of finite thickness supported films with variable fluid - substrate coupling. The latter typically nonuniversally slows down motion near the solid-liquid interface as modeled via modification of the surface dynamic free energy caging constraints which are spatially transferred into the film, and which compete with the accelerated relaxation gradient induced by the vapor interface. Quantitative applications to the foundational hard sphere fluid and a polymer melt are presented. The strength of the effective fluid-substrate coupling has very large consequences on the dynamical gradients and film-averaged quantities in a film thickness and thermodynamic state dependent manner. The interference of the dynamical gradients of opposite nature emanating from the vapor and solid interfaces is determined, including the conditions for the disappearance of a bulk-like region in the film center. The relative importance of surface-induced modification of local caging versus the generic truncation of the long range collective elastic component of the activation barrier is studied. The conditions for the accuracy and failure of a simple superposition approximation for dynamical gradients in thin films is also determined. The emergence of near substrate dead layers, large gradient effects on film-averaged response functions, and a weak non-monotonic evolution of dynamic gradients in thick and cold films, are briefly discussed. The connection of our theoretical results to simulations and experiments is briefly discussed, as is extension to treat more complex glass-forming systems under nanoconfinement.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.stat-mech physics.app-ph physics.chem-ph