title: Managing Forensic Recovery in the Cloud

abstract: As organisations move away from locally hosted computer services toward Cloud platforms, there is a corresponding need to ensure the forensic integrity of such instances. The primary reasons for concern are (i) the locus of responsibility, and (ii) the associated risk of legal sanction and financial penalty. Building upon previously proposed techniques for intrusion monitoring, we highlight the multi-level interpretation problem, propose enhanced monitoring of Cloud-based systems at diverse operational and data storage level as a basis for review of historical change across the hosted system and afford scope to identify any data impact from hostile action or 'friendly fire'.


title: Some uniform effective results on Andr\'{e}--Oort for sums of powers in $\mathbb{C}^n$

abstract: We prove an Andr\'e--Oort-type result for a family of hypersurfaces in $\mathbb{C}^n$ that is both uniform and effective. Let $K_*$ denote the single exceptional imaginary quadratic field which occurs in the Siegel--Tatuzawa lower bound for the class number. We prove that, for $m, n \in \mathbb{Z}_{>0}$, there exists an effective constant $c(m, n)>0$ with the following property: if pairwise distinct singular moduli $x_1, \ldots, x_n$ with respective discriminants $\Delta_1, \ldots, \Delta_n$ are such that $a_1 x_1^m + \ldots + a_n x_n^m \in \mathbb{Q}$ for some $a_1, \ldots, a_n \in \mathbb{Q} \setminus \{0\}$ and $\# \{ \Delta_i : \mathbb{Q}(\sqrt{\Delta_i}) = K_*\} \leq 1$, then $\max_i \lvert \Delta_i \rvert \leq c(m, n)$. In addition, we prove an unconditional and completely explicit version of this result when $(m, n) = (1, 3)$ and thereby determine all the triples $(x_1, x_2, x_3)$ of singular moduli such that $a_1 x_1 + a_2 x_2 + a_3 x_3 \in \mathbb{Q}$ for some $a_1, a_2, a_3 \in \mathbb{Q} \setminus \{0\}$.


title: Characterization of mood and emotion regulation in females with PMS/PMDD using near-infrared spectroscopy to assess prefrontal cerebral blood flow and the mood questionnaire

abstract: Many sexually mature women experience premenstrual syndrome (PMS) or premenstrual dysphoric mood disorder (PMDD). Current approaches for managing PMS and PMDD rely on daily mental condition recording, which many discontinue due to its impracticality. Hence, there's a critical need for a simple, objective method to monitor mental symptoms. One of the principal symptoms of PMDD is a dysfunction in emotional regulation, which has been demonstrated through brain-function imaging measurements to involve hyperactivity in the amygdala and a decrease in functionality in the prefrontal cortex (PFC). However, most research has been focused on PMDD, leaving a gap in understanding of PMS. Near-infrared spectroscopy (NIRS) measures brain activity by spectroscopically determining the amount of hemoglobin in the blood vessels. This study aimed to characterize the emotional regulation function in PMS. We measured brain activity in the PFC region using NIRS when participants were presented with emotion-inducing pictures. Furthermore, moods highly associated with emotions were assessed through questionnaires. Forty-six participants were categorized into non-PMS, PMS, and PMDD groups based on the gynecologist's diagnosis. POMS2 scores revealed higher negative mood and lower positive mood in the follicular phase for the PMS group, while the PMDD group exhibited heightened negative mood during the luteal phase. NIRS results showed reduced emotional expression in the PMS group during both phases, while no significant differences were observed in the PMDD group compared to non-PMS. It was found that there are differences in the distribution of mood during the luteal and follicular phase and in cerebral blood flow responses to emotional stimuli between PMS and PMDD. These findings suggest the potential for providing individuals with awareness of PMS or PMDD through scores on the POMS2 and NIRS measurements.


title: IETI-based Low-Rank method for PDE-constrained optimization

abstract: Isogeometric Analysis (IgA) is a versatile method for the discretization of partial differential equations on complex domains, which arise in various applications of science and engineering. Some complex geometries can be better described as a computational domain by a multi-patch approach, where each patch is determined by a tensor product Non-Uniform Rational Basis Splines (NURBS) parameterization. This allows on the one hand to consider the problem of the complex assembly of mass or stiffness matrices (or tensors) over the whole geometry locally on the individual smaller patches, and on the other hand it is possible to perform local mesh refinements independently on each patch, allowing efficient local refinement in regions of high activity where higher accuracy is required, while coarser meshes can be used elsewhere. Furthermore, the information about differing material models or properties that are to apply in a subdomain of the geometry can be included in the patch in which this subdomain is located. For this it must be ensured that the approximate solution is continuous over the entire computational domain and therefore at the interfaces of two (or more) patches. The most promising approach for this problem, which transfers the idea of Finite Element Tearing and Interconnecting (FETI) methods into the isogeometric setup, was the IsogEometric Tearing and Interconnecting (IETI) method, where by introducing a constraints matrix and associated Lagrange multipliers and formulating it into a dual problem, depending only on the Lagrange multipliers, continuity at the interfaces was ensured in solving the resulting system. In this paper we illustrate that low-rank methods based on the tensor-train format can be generalised for a multi-patch IgA setup, which follows the IETI idea.


title: Are EEG-to-Text Models Working?

abstract: This work critically analyzes existing models for open-vocabulary EEG-to-Text translation. We identify a crucial limitation: previous studies often employed implicit teacher-forcing during evaluation, artificially inflating performance metrics. Additionally, they lacked a critical benchmark - comparing model performance on pure noise inputs. We propose a methodology to differentiate between models that truly learn from EEG signals and those that simply memorize training data. Our analysis reveals that model performance on noise data can be comparable to that on EEG data. These findings highlight the need for stricter evaluation practices in EEG-to-Text research, emphasizing transparent reporting and rigorous benchmarking with noise inputs. This approach will lead to more reliable assessments of model capabilities and pave the way for robust EEG-to-Text communication systems.


title: ProCIS: A Benchmark for Proactive Retrieval in Conversations

abstract: The field of conversational information seeking, which is rapidly gaining interest in both academia and industry, is changing how we interact with search engines through natural language interactions. Existing datasets and methods are mostly evaluating reactive conversational information seeking systems that solely provide response to every query from the user. We identify a gap in building and evaluating proactive conversational information seeking systems that can monitor a multi-party human conversation and proactively engage in the conversation at an opportune moment by retrieving useful resources and suggestions. In this paper, we introduce a large-scale dataset for proactive document retrieval that consists of over 2.8 million conversations. We conduct crowdsourcing experiments to obtain high-quality and relatively complete relevance judgments through depth-k pooling. We also collect annotations related to the parts of the conversation that are related to each document, enabling us to evaluate proactive retrieval systems. We introduce normalized proactive discounted cumulative gain (npDCG) for evaluating these systems, and further provide benchmark results for a wide range of models, including a novel model we developed for this task. We believe that the developed dataset, called ProCIS, paves the path towards developing proactive conversational information seeking systems.


title: SketchDream: Sketch-based Text-to-3D Generation and Editing

abstract: Existing text-based 3D generation methods generate attractive results but lack detailed geometry control. Sketches, known for their conciseness and expressiveness, have contributed to intuitive 3D modeling but are confined to producing texture-less mesh models within predefined categories. Integrating sketch and text simultaneously for 3D generation promises enhanced control over geometry and appearance but faces challenges from 2D-to-3D translation ambiguity and multi-modal condition integration. Moreover, further editing of 3D models in arbitrary views will give users more freedom to customize their models. However, it is difficult to achieve high generation quality, preserve unedited regions, and manage proper interactions between shape components. To solve the above issues, we propose a text-driven 3D content generation and editing method, SketchDream, which supports NeRF generation from given hand-drawn sketches and achieves free-view sketch-based local editing. To tackle the 2D-to-3D ambiguity challenge, we introduce a sketch-based multi-view image generation diffusion model, which leverages depth guidance to establish spatial correspondence. A 3D ControlNet with a 3D attention module is utilized to control multi-view images and ensure their 3D consistency. To support local editing, we further propose a coarse-to-fine editing approach: the coarse phase analyzes component interactions and provides 3D masks to label edited regions, while the fine stage generates realistic results with refined details by local enhancement. Extensive experiments validate that our method generates higher-quality results compared with a combination of 2D ControlNet and image-to-3D generation techniques and achieves detailed control compared with existing diffusion-based 3D editing approaches.


title: Constructing Approximations to Bivariate Piecewise-Smooth Functions

abstract: This paper demonstrates that the space of piecewise smooth functions can be well approximated by the space of functions defined by a set of simple (non-linear) operations on smooth uniform splines. The examples include bivariate functions with jump discontinuities or normal discontinuities across curves, and even across more involved geometries such as a 3-corner. The given data may be uniform or non-uniform, and noisy, and the approximation procedure involves non-linear least-squares minimization. Also included is a basic approximation theorem for functions with jump discontinuity across a smooth curve.


title: MRSegmentator: Robust Multi-Modality Segmentation of 40 Classes in MRI and CT Sequences

abstract: Purpose: To introduce a deep learning model capable of multi-organ segmentation in MRI scans, offering a solution to the current limitations in MRI analysis due to challenges in resolution, standardized intensity values, and variability in sequences. Materials and Methods: he model was trained on 1,200 manually annotated MRI scans from the UK Biobank, 221 in-house MRI scans and 1228 CT scans, leveraging cross-modality transfer learning from CT segmentation models. A human-in-the-loop annotation workflow was employed to efficiently create high-quality segmentations. The model's performance was evaluated on NAKO and the AMOS22 dataset containing 600 and 60 MRI examinations. Dice Similarity Coefficient (DSC) and Hausdorff Distance (HD) was used to assess segmentation accuracy. The model will be open sourced. Results: The model showcased high accuracy in segmenting well-defined organs, achieving Dice Similarity Coefficient (DSC) scores of 0.97 for the right and left lungs, and 0.95 for the heart. It also demonstrated robustness in organs like the liver (DSC: 0.96) and kidneys (DSC: 0.95 left, 0.95 right), which present more variability. However, segmentation of smaller and complex structures such as the portal and splenic veins (DSC: 0.54) and adrenal glands (DSC: 0.65 left, 0.61 right) revealed the need for further model optimization. Conclusion: The proposed model is a robust, tool for accurate segmentation of 40 anatomical structures in MRI and CT images. By leveraging cross-modality learning and interactive annotation, the model achieves strong performance and generalizability across diverse datasets, making it a valuable resource for researchers and clinicians. It is open source and can be downloaded from https://github.com/hhaentze/MRSegmentator.


title: Single-seed generation of Brownian paths and integrals for adaptive and high order SDE solvers

abstract: Despite the success of adaptive time-stepping in ODE simulation, it has so far seen few applications for Stochastic Differential Equations (SDEs). To simulate SDEs adaptively, methods such as the Virtual Brownian Tree (VBT) have been developed, which can generate Brownian motion (BM) non-chronologically. However, in most applications, knowing only the values of Brownian motion is not enough to achieve a high order of convergence; for that, we must compute time-integrals of BM such as $\int_s^t W_r \, dr$. With the aim of using high order SDE solvers adaptively, we extend the VBT to generate these integrals of BM in addition to the Brownian increments. A JAX-based implementation of our construction is included in the popular Diffrax library (https://github.com/patrick-kidger/diffrax). Since the entire Brownian path produced by VBT is uniquely determined by a single PRNG seed, previously generated samples need not be stored, which results in a constant memory footprint and enables experiment repeatability and strong error estimation. Based on binary search, the VBT's time complexity is logarithmic in the tolerance parameter $\varepsilon$. Unlike the original VBT algorithm, which was only precise at some dyadic times, we prove that our construction exactly matches the joint distribution of the Brownian motion and its time integrals at any query times, provided they are at least $\varepsilon$ apart. We present two applications of adaptive high order solvers enabled by our new VBT. Using adaptive solvers to simulate a high-volatility CIR model, we achieve more than twice the convergence order of constant stepping. We apply an adaptive third order underdamped or kinetic Langevin solver to an MCMC problem, where our approach outperforms the No U-Turn Sampler, while using only a tenth of its function evaluations.


title: Quantum-Accurate Machine Learning Potentials for Metal-Organic Frameworks using Temperature Driven Active Learning

abstract: Understanding how structural flexibility affects the properties of metal-organic frameworks (MOFs) is crucial for the design of better MOFs for targeted applications. Flexible MOFs can be studied with molecular dynamics simulations, whose accuracy depends on the force-field used to describe the interatomic interactions. Density functional theory (DFT) and quantum-chemistry methods are highly accurate, but the computational overheads limit their use in long time-dependent simulations for large systems. In contrast, classical force fields usually struggle with the description of coordination bonds. In this work we develop a DFT-accurate machine-learning spectral neighbor analysis potential, trained on DFT energies, forces and stress tensors, for two representative MOFs, namely ZIF-8 and MOF-5. Their structural and vibrational properties are then studied as a function of temperature and tightly compared with available experimental data. Most importantly, we demonstrate an active-learning algorithm, based on mapping the relevant internal coordinates, which drastically reduces the number of training data to be computed at the DFT level. Thus, the workflow presented here appears as an efficient strategy for the study of flexible MOFs with DFT accuracy, but at a fraction of the DFT computational cost.


title: Typical dimension and absolute continuity for classes of dynamically defined measures, Part II : exposition and extensions

abstract: This paper is partly an exposition, and partly an extension of our work [1] to the multiparameter case. We consider certain classes of parametrized dynamically defined measures. These are push-forwards, under the natural projection, of ergodic measures for parametrized families of smooth iterated function systems (IFS) on the line. Under some assumptions, most crucially, a transversality condition, we obtain formulas for the Hausdorff dimension of the measure and absolute continuity for almost every parameter in the appropriate parameter region. The main novelty of [1] and the present paper is that not only the IFS, but also the ergodic measure in the symbolic space, whose push-forward we consider, depends on the parameter. This includes many interesting families of measures, in particular, invariant measures for IFS's with place-dependent probabilities and natural (equilibrium) measures for smooth IFS's. One of the goals of this paper is to present an exposition of [1] in a more reader-friendly way, emphasizing the ideas and proof strategies, but omitting the more technical parts. This exposition/survey is based in part on the series of lectures by K\'aroly Simon at the Summer School "Dynamics and Fractals" in 2023 at the Banach Center, Warsaw. The main new feature, compared to [1], is that we consider multi-parameter families; in other words, the set of parameters is allowed to be multi-dimensional. This broadens the scope of applications. A new application considered here is to a class of Furstenberg-like measures. [1] B. B\'ar\'any, K. Simon, B. Solomyak and A. \'Spiewak: Typical absolute continuity for classes of dynamically defined measures. Advances in Mathematics, Volume 399, 2022, 108258, ISSN 0001-8708, https://doi.org/10.1016/j.aim.2022.108258.


title: Attend, Distill, Detect: Attention-aware Entropy Distillation for Anomaly Detection

abstract: Unsupervised anomaly detection encompasses diverse applications in industrial settings where a high-throughput and precision is imperative. Early works were centered around one-class-one-model paradigm, which poses significant challenges in large-scale production environments. Knowledge-distillation based multi-class anomaly detection promises a low latency with a reasonably good performance but with a significant drop as compared to one-class version. We propose a DCAM (Distributed Convolutional Attention Module) which improves the distillation process between teacher and student networks when there is a high variance among multiple classes or objects. Integrated multi-scale feature matching strategy to utilise a mixture of multi-level knowledge from the feature pyramid of the two networks, intuitively helping in detecting anomalies of varying sizes which is also an inherent problem in the multi-class scenario. Briefly, our DCAM module consists of Convolutional Attention blocks distributed across the feature maps of the student network, which essentially learns to masks the irrelevant information during student learning alleviating the "cross-class interference" problem. This process is accompanied by minimizing the relative entropy using KL-Divergence in Spatial dimension and a Channel-wise Cosine Similarity between the same feature maps of teacher and student. The losses enables to achieve scale-invariance and capture non-linear relationships. We also highlight that the DCAM module would only be used during training and not during inference as we only need the learned feature maps and losses for anomaly scoring and hence, gaining a performance gain of 3.92% than the multi-class baseline with a preserved latency.


title: Pseudo-Prompt Generating in Pre-trained Vision-Language Models for Multi-Label Medical Image Classification

abstract: The task of medical image recognition is notably complicated by the presence of varied and multiple pathological indications, presenting a unique challenge in multi-label classification with unseen labels. This complexity underlines the need for computer-aided diagnosis methods employing multi-label zero-shot learning. Recent advancements in pre-trained vision-language models (VLMs) have showcased notable zero-shot classification abilities on medical images. However, these methods have limitations on leveraging extensive pre-trained knowledge from broader image datasets, and often depend on manual prompt construction by expert radiologists. By automating the process of prompt tuning, prompt learning techniques have emerged as an efficient way to adapt VLMs to downstream tasks. Yet, existing CoOp-based strategies fall short in performing class-specific prompts on unseen categories, limiting generalizability in fine-grained scenarios. To overcome these constraints, we introduce a novel prompt generation approach inspirited by text generation in natural language processing (NLP). Our method, named Pseudo-Prompt Generating (PsPG), capitalizes on the priori knowledge of multi-modal features. Featuring a RNN-based decoder, PsPG autoregressively generates class-tailored embedding vectors, i.e., pseudo-prompts. Comparative evaluations on various multi-label chest radiograph datasets affirm the superiority of our approach against leading medical vision-language and multi-label prompt learning methods. The source code is available at https://github.com/fallingnight/PsPG


title: Model-Based Adaptive Control of Modular Multilevel Converters

abstract: Electrical power conversions are common in a large variety of engineering applications. With reference to AC/DC and DC/AC power conversions, a strong research interest resides in multilevel converters, thanks to the many advantages they provide over standard two-level converters. In this paper, we first provide a power-oriented model of Modular Multilevel Converters (MMCs), followed by a detailed harmonic analysis. The model is given in the form of a block scheme that can be directly implemented in the Matlab/Simulink environment. The performed harmonic analysis gives a deep and exact understanding of the different terms affecting the evolution of the voltage trajectories in the upper and lower arms of the converter. Next, we propose a new model-based adaptive control scheme for MMCs. The proposed control allows to determine the optimal average capacitor voltages reference in real-time, thus allowing to properly track the desired load current while minimizing the harmonic content in the generated load current itself.


title: Solar fusion III: New data and theory for hydrogen-burning stars

abstract: In stars that lie on the main sequence in the Hertzsprung Russel diagram, like our sun, hydrogen is fused to helium in a number of nuclear reaction chains and series, such as the proton-proton chain and the carbon-nitrogen-oxygen cycles. Precisely determined thermonuclear rates of these reactions lie at the foundation of the standard solar model. This review, the third decadal evaluation of the nuclear physics of hydrogen-burning stars, is motivated by the great advances made in recent years by solar neutrino observatories, putting experimental knowledge of the proton-proton chain neutrino fluxes in the few-percent precision range. The basis of the review is a one-week community meeting held in July 2022 in Berkeley, California, and many subsequent digital meetings and exchanges. Each of the relevant reactions of solar and quiescent stellar hydrogen burning is reviewed here, from both theoretical and experimental perspectives. Recommendations for the state of the art of the astrophysical S-factor and its uncertainty are formulated for each of them. Several other topics of paramount importance for the solar model are reviewed, as well: recent and future neutrino experiments, electron screening, radiative opacities, and current and upcoming experimental facilities. In addition to reaction-specific recommendations, also general recommendations are formed.


title: NO2 adsorption on GaN surface and its interaction with the yellow-luminescence-associated surface state

abstract: Trapping of charge at surface states is a longstanding problem in GaN that hinders a full realization of its potential as a semiconductor for microelectronics. At least part of this charge originates in molecules adsorbed on the GaN surface. Multiple studies have addressed the adsorption of different substances, but the role of adsorbents in the charge-trapping mechanism remains unclear. Here, we show that the GaN surface selectively adsorbs nitrogen dioxide (NO2) existing in the air in trace amounts. NO2 appears to charge the yellow-luminescence-related surface state. Mild heat treatment in vacuum removes this surface charge, only to be re-absorbed on re-exposure to air. Selective exposure of vacuum-annealed GaN to NO2 reproduces a similar surface charge distribution, as does the exposure to air. Residual gas analysis of the gases desorbed during heat treatment in vacuum shows a large concentration of nitric oxide (NO) released from the surface. These observations suggest that NO2 is selectively adsorbed from the air, deleteriously affecting the electrical properties of air-exposed GaN. The trapping of free electrons as part of the NO2chemisorption process changes the surface charge density, resulting in a change in the surface band bending. Uncontrollable by nature, NO2 adsorption may significantly affect any GaN-based electronic device. However, as shown here, a rather mild heat treatment in vacuum restores the surface state occupancy of GaN to its intrinsic state. If attempted before passivation, this heat treatment may provide a possible solution to longstanding stability problems associated with surface charge trapping in GaN-based devices.


title: Renormalization Flow of Nonlinear Electrodynamics

abstract: We study the renormalization flow of generic actions that depend on the invariants of the field strength tensor of an abelian gauge field. While the Maxwell action defines a Gaussian fixed point, we search for further non-Gaussian fixed points or rather fixed functions, i.e., globally existing Lagrangians of the invariants. Using standard small-field expansion techniques for the resulting functional flow equation, a large number of fixed points is obtained, which - in analogy to recent findings for a shift-symmetric scalar field - we consider as approximation artifacts. For the construction of a globally existing fixed function, we pay attention to the use of proper initial conditions. Parametrizing the latter by the photon anomalous dimension, both the coefficients of the weak-field expansion are fully determined and those of the large-field expansion can be matched such that a global fixed function can be constructed for magnetic fields. The anomalous dimension also governs the strong-field limit. Our results provide evidence for the existence of a continuum of non-Gaussian fixed points parametrized by a small positive anomalous dimension below a critical value. We discuss the implications of this result within various scenarios with and without additional matter. For the strong-field limit of the 1PI QED effective action, where the anomalous dimension is determined by electronic fluctuations, our result suggests the existence of a singularity free strong-field limit, circumventing the standard conclusions connected to the perturbative Landau pole.


title: Autonomous Driving with a Deep Dual-Model Solution for Steering and Braking Control

abstract: The technology of autonomous driving is currently attracting a great deal of interest in both research and industry. In this paper, we present a deep learning dual-model solution that uses two deep neural networks for combined braking and steering in autonomous vehicles. Steering control is achieved by applying the NVIDIA's PilotNet model to predict the steering wheel angle, while braking control relies on the use of MobileNet SSD. Both models rely on a single front-facing camera for image input. The MobileNet SSD model is suitable for devices with constrained resources, whereas PilotNet struggles to operate efficiently on smaller devices with limited resources. To make it suitable for such devices, we modified the PilotNet model using our own original network design and reduced the number of model parameters and its memory footprint by approximately 60%. The inference latency has also been reduced, making the model more suitable to operate on resource-constrained devices. The modified PilotNet model achieves similar loss and accuracy compared to the original PilotNet model. When evaluated in a simulated environment, both autonomous driving systems, one using the modified PilotNet model and the other using the original PilotNet model for steering, show similar levels of autonomous driving performance.


title: The Fyodorov-Hiary-Keating Conjecture on Mesoscopic Intervals

abstract: We derive precise upper bounds for the maximum of the Riemann zeta function on short intervals on the critical line, showing for any $\theta\in(-1,0]$, the set of $t\in [T,2T]$ for which $$\max_{|h|\leq \log^\theta T}|\zeta(\tfrac{1}{2}+it+ih)|>\exp\bigg({y+\sqrt{(\log\log T)|\theta|/2}\cdot {S}}\bigg)\frac{(\log T)^{(1+\theta)}}{(\log\log T)^{3/4}}$$ is bounded above by $Cy\exp({-2y-y^2/((1+\theta)\log\log T)})$ (where $S$ is a random variable that is approximately a standard Gaussian as $T$ tends to infinity). This settles a strong form of a conjecture of Fyodorov--Hiary--Keating in mesoscopic intervals which was only known in the leading order. Using similar techniques, we also derive upper bounds for the second moment of the zeta function on such intervals. Conditioning on the value of $S$, we show that for all $t\in[T,2T]$ outside a set of order $o(T)$, $$\frac{1}{\log^\theta T}\int_{|h|\in \log^\theta T} |\zeta(\tfrac{1}{2}+it+ih)|^2\mathrm{d}h \ll e^{2S}\cdot \left(\frac{(\log T)^{(1+\theta)}}{\sqrt{\log\log T}}\right).$$ This proves a weak form of another conjecture of Fyodorov-Keating and generalizes a result of Harper, which is recovered at $\theta = 0$ (in which case $S$ is defined to be zero). Our main tool is an adaptation of the recursive scheme introduced by one of the authors, Bourgade and Radziwi{\l}{\l} to mesoscopic intervals.


title: Representability for small and big triangulated categories

abstract: In this note we give a variant for a Brown representability type theorem in the spirit of Rouquier and Neeman. The main advantage of our arguments are that they can be dualized.


title: Is the panel fair? Evaluating panel compositions through network analysis. The case of research assessments in Italy

abstract: In research evaluation, the fair representation of panels is usually defined in terms of observable characteristics of scholars such as gender or affiliations. An an empirical strategy is proposed for exploring hidden connections between panellists such that, despite the respect of formal requirements, the panel could be considered alike as unfair with respect to the representation of diversity of research approaches and methodologies. The case study regards the three panels selected to evaluate research in economics, statistics and business during the Italian research assessment exercises. The first two panels were appointed directly by the governmental agency responsible for the evaluation, while the third was randomly selected. Hence the third panel can be considered as a control for evaluating about the fairness of the others. The fair representation is explored by comparing the networks of panellists based on their co-authorship relations, the networks based on journals in which they published and the networks based on their affiliated institutions (universities, research centres and newspapers). The results show that the members of the first two panels had connections much higher than the members of the control group. Hence the composition of the first two panels should be considered as unfair, as the results of the research assessments.


title: Asymptotic Normality of $U$-Statistics is Equivalent to Convergence in the Wasserstein Distance

abstract: We prove the claim in the title under mild conditions which are usually satisfied when trying to establish asymptotic normality. We assume strictly stationary and absolutely regular data.


title: Attention is all they need: Cognitive science and the (techno)political economy of attention in humans and machines

abstract: This paper critically analyses the "attention economy" within the framework of cognitive science and techno-political economics, as applied to both human and machine interactions. We explore how current business models, particularly in digital platform capitalism, harness user engagement by strategically shaping attentional patterns. These platforms utilize advanced AI and massive data analytics to enhance user engagement, creating a cycle of attention capture and data extraction. We review contemporary (neuro)cognitive theories of attention and platform engagement design techniques and criticize classical cognitivist and behaviourist theories for their inadequacies in addressing the potential harms of such engagement on user autonomy and wellbeing. 4E approaches to cognitive science, instead, emphasizing the embodied, extended, enactive, and ecological aspects of cognition, offer us an intrinsic normative standpoint and a more integrated understanding of how attentional patterns are actively constituted by adaptive digital environments. By examining the precarious nature of habit formation in digital contexts, we reveal the techno-economic underpinnings that threaten personal autonomy by disaggregating habits away from the individual, into an AI managed collection of behavioural patterns. Our current predicament suggests the necessity of a paradigm shift towards an ecology of attention. This shift aims to foster environments that respect and preserve human cognitive and social capacities, countering the exploitative tendencies of cognitive capitalism.


title: Informativeness of Weighted Conformal Prediction

abstract: Weighted conformal prediction (WCP), a recently proposed framework, provides uncertainty quantification with the flexibility to accommodate different covariate distributions between training and test data. However, it is pointed out in this paper that the effectiveness of WCP heavily relies on the overlap between covariate distributions; insufficient overlap can lead to uninformative prediction intervals. To enhance the informativeness of WCP, we propose two methods for scenarios involving multiple sources with varied covariate distributions. We establish theoretical guarantees for our proposed methods and demonstrate their efficacy through simulations.


title: Incentive-compatible Bandits: Importance Weighting No More

abstract: We study the problem of incentive-compatible online learning with bandit feedback. In this class of problems, the experts are self-interested agents who might misrepresent their preferences with the goal of being selected most often. The goal is to devise algorithms which are simultaneously incentive-compatible, that is the experts are incentivised to report their true preferences, and have no regret with respect to the preferences of the best fixed expert in hindsight. \citet{freeman2020no} propose an algorithm in the full information setting with optimal $O(\sqrt{T \log(K)})$ regret and $O(T^{2/3}(K\log(K))^{1/3})$ regret in the bandit setting. In this work we propose the first incentive-compatible algorithms that enjoy $O(\sqrt{KT})$ regret bounds. We further demonstrate how simple loss-biasing allows the algorithm proposed in Freeman et al. 2020 to enjoy $\tilde O(\sqrt{KT})$ regret. As a byproduct of our approach we obtain the first bandit algorithm with nearly optimal regret bounds in the adversarial setting which works entirely on the observed loss sequence without the need for importance-weighted estimators. Finally, we provide an incentive-compatible algorithm that enjoys asymptotically optimal best-of-both-worlds regret guarantees, i.e., logarithmic regret in the stochastic regime as well as worst-case $O(\sqrt{KT})$ regret.


title: Collisionless conduction in a high-beta plasma: a collision operator for whistler turbulence

abstract: The regulation of electron heat transport in high-beta, weakly collisional, magnetized plasma is investigated. A temperature gradient oriented along a mean magnetic field can induce a kinetic heat-flux-driven whistler instability (HWI), which back-reacts on the transport by scattering electrons and impeding their flow. Previous analytical and numerical studies have shown that the heat flux for the saturated HWI scales as the inverse of electron beta. These numerical studies, however, had limited scale separation and consequently large fluctuation amplitudes, which calls into question their relevance at astrophysical scales. To this end, we perform a series of particle-in-cell simulations of the HWI across a range of electron beta and temperature-gradient length scales under two different physical setups. The saturated heat flux in all of our simulations follows the expected inverse-electron-beta scaling, supporting the robustness of the result. We also use our simulation results to develop and implement several methods to construct an effective collision operator for whistler turbulence. The results point to an issue with the standard quasi-linear explanation of HWI saturation, which is analogous to the well-known 90-degree scattering problem in the cosmic ray community. Despite this limitation, the methods developed here can serve as a blueprint for future work seeking to characterize the effective collisionality caused by kinetic instabilities.


title: On RadCom channel capacity for V2V applications

abstract: The use of millimiter wave (mmWave) for communication and sensing purposes is one of the functions powered by Next Generation Vehicle-to-Anything (V2X) networks. The arrival of IEEE~802.11bd, which is able to operate in the 60 GHz band, opens the doors of Integrated Sensing and Communications (ISAC) to vehicular networks. Similarly, Radar-based Communications (RadCom) proposes the use of the radar spectrum for communication puproses. In this paper, we perform an analysis of the channel capacity for different configurations of RadCom, showing its potential to offload the V2X spectrum for bumper-to-bumper V2X applications. We finalize with a discussion on the potential for ISAC from both the 802.11bd and RadCom approaches.


title: LyS at SemEval-2024 Task 3: An Early Prototype for End-to-End Multimodal Emotion Linking as Graph-Based Parsing

abstract: This paper describes our participation in SemEval 2024 Task 3, which focused on Multimodal Emotion Cause Analysis in Conversations. We developed an early prototype for an end-to-end system that uses graph-based methods from dependency parsing to identify causal emotion relations in multi-party conversations. Our model comprises a neural transformer-based encoder for contextualizing multimodal conversation data and a graph-based decoder for generating the adjacency matrix scores of the causal graph. We ranked 7th out of 15 valid and official submissions for Subtask 1, using textual inputs only. We also discuss our participation in Subtask 2 during post-evaluation using multi-modal inputs.


title: Non-Linear Dynamics and Critical Phenomena in the Holographic Landscape of Weyl Semimetals

abstract: This study presents a detailed analysis of critical phenomena in a holographic Weyl semi-metal (WSM) using the $D3/D7$ brane configuration. The research explores the non-linear response of the longitudinal current \( J \) when subjected to an external electric field \( E \) at both zero and finite temperatures. At zero temperature, the study identifies a potential quantum phase transition in the \( J \)-\( E \) relationship, driven by background parameters the particle mass, and axial gauge potential. This transition is characterized by a unique reconnection phenomenon resulting from the interplay between WSM-like and conventional nonlinear conducting behaviors, indicating a quantum phase transition. Additionally, at non-zero temperature with dissipation, the system demonstrates first- and second-order phase transitions as the electric field and axial gauge potential are varied. The longitudinal conductivity is used as an order parameter to identify the current-driven phase transition. Numerical analysis reveals critical exponents in this non-equilibrium phase transition that show similarities to mean-field values observed in metallic systems.


title: Solving Quantified Boolean Formulas with Few Existential Variables

abstract: The quantified Boolean formula (QBF) problem is an important decision problem generally viewed as the archetype for PSPACE-completeness. Many problems of central interest in AI are in general not included in NP, e.g., planning, model checking, and non-monotonic reasoning, and for such problems QBF has successfully been used as a modelling tool. However, solvers for QBF are not as advanced as state of the art SAT solvers, which has prevented QBF from becoming a universal modelling language for PSPACE-complete problems. A theoretical explanation is that QBF (as well as many other PSPACE-complete problems) lacks natural parameters} guaranteeing fixed-parameter tractability (FPT). In this paper we tackle this problem and consider a simple but overlooked parameter: the number of existentially quantified variables. This natural parameter is virtually unexplored in the literature which one might find surprising given the general scarcity of FPT algorithms for QBF. Via this parameterization we then develop a novel FPT algorithm applicable to QBF instances in conjunctive normal form (CNF) of bounded clause length. We complement this by a W[1]-hardness result for QBF in CNF of unbounded clause length as well as sharper lower bounds for the bounded arity case under the (strong) exponential-time hypothesis.


title: Bayesian Analysis of Molecular Emission and Dust Continuum of Protoplanetary Disks

abstract: The Mid-InfraRed Instrument (MIRI) on board the James Webb Space Telescope (JWST) probes the chemistry and dust mineralogy of the inner regions of protoplanetary disks. The observed spectra are unprecedented in their detail, complicating interpretations which are mainly based on manual continuum subtraction and 0D slab models. We investigate the physical conditions under which the gas emits in protoplanetary disks. Based on MIRI spectra, we apply a full Bayesian analysis that provides the posterior distributions of dust and molecular properties. For doing so, we introduce the Dust Continuum Kit with Line emission from Gas (DuCKLinG), a model describing the molecular line emission and the dust continuum simultaneously without large computational cost. The dust model is based on work by Juhasz et al. (2009, 2010). The molecular emission is based on LTE slab models, but with radial gradients in column densities and temperatures. The model is compared to observations using Bayesian analysis. We benchmark this model to a complex thermo-chemical ProDiMo model and fit the MIRI spectrum of GWLup. We find that the retrieved molecular conditions from DuCKLinG fall within the true values from ProDiMo. The column densities retrieved by Grant et al. (2023) fall within the retrieved ranges in this study for all examined molecules (CO2, H2O, HCN, and C2H2). Similar overlap is found for the temperatures with only the temperature range of HCN not including the previously found value. This discrepancy may be due to the simultaneous fitting of all molecules compared to the step-by-step fitting of the previous study. There is statistically significant evidence for radial temperature and column density gradients for H2O and CO2 compared to the constant temperature and column density assumed in the 0D slab models. Additionally, HCN and C2H2 emit from a small region with near constant conditions.


title: Improving Deep Learning Model Calibration for Cardiac Applications using Deterministic Uncertainty Networks and Uncertainty-aware Training

abstract: Improving calibration performance in deep learning (DL) classification models is important when planning the use of DL in a decision-support setting. In such a scenario, a confident wrong prediction could lead to a lack of trust and/or harm in a high-risk application. We evaluate the impact on accuracy and calibration of two types of approach that aim to improve DL classification model calibration: deterministic uncertainty methods (DUM) and uncertainty-aware training. Specifically, we test the performance of three DUMs and two uncertainty-aware training approaches as well as their combinations. To evaluate their utility, we use two realistic clinical applications from the field of cardiac imaging: artefact detection from phase contrast cardiac magnetic resonance (CMR) and disease diagnosis from the public ACDC CMR dataset. Our results indicate that both DUMs and uncertainty-aware training can improve both accuracy and calibration in both of our applications, with DUMs generally offering the best improvements. We also investigate the combination of the two approaches, resulting in a novel deterministic uncertainty-aware training approach. This provides further improvements for some combinations of DUMs and uncertainty-aware training approaches.


title: Can Neural Networks learn Finite Elements?

abstract: The aim of this note is to construct a neural network for which the linear finite element approximation of a simple one dimensional boundary value problem is a minimum of the cost function to find out if the neural network is able to reproduce the finite element approximation. The deepest goal is to shed some light on the problems one encounters when trying to use neural networks to approximate partial differential equations


title: Forecasting constraints from surface brightness fluctuations in galaxy clusters

abstract: Studies of surface brightness (SB) fluctuations in the intracluster medium (ICM) present an indirect estimate of turbulent pressure support and associated Mach numbers. While high resolution X-ray spectroscopy offer means to directly constrain line of sight gas motions, including those due to turbulence, such observations are relatively expensive and will be limited to nearby, bright clusters. In this respect, SB fluctuations are the most economical means to constrain turbulent motions at large cluster radii across a range of redshifts and masses. To forecast what current and future X-ray and SZ facilities may achieve in SB fluctuation studies, I review and synthesize matters of accuracy and precision with respect to calculating power spectra of SB fluctuations, from which turbulent properties are derived. Balance concerns of power spectrum accuracy and precision across a range of spatial scales, I propose the use of three annuli with: [0,0.4] $R_{500}$, [0.4,1] $R_{500}$, and [1,1.5] $R_{500}$. Adopting these three regions, I calculate the uncertainty in the hydrostatic mass bias, $\sigma_{b_{\mathcal{M}}}$, can be achieved for various instruments in several scenarios. I find that $\textit{Lynx}$ and AtLAST are competitive in their constraints at $R_{500}$, while AtLAST should perform better when constraining $\sigma_{b_{\mathcal{M}}}$ at $R_{200}$.


title: An Open Source Stochastic Unit Commitment Tool using the PyPSA-Framework

abstract: This paper presents an open source stochastic unit commitment (UC) optimization tool, which is available on GitHub. In addition, it presents an example use case in which UC optimization is done for a waste-to-energy plant with heat storage and a battery energy storage system (BESS) in Germany, under uncertain day-ahead and balancing power (aFRR) market prices as well as heat load uncertainty. The tool consists of multiple modular extensions for the Python for Power System Analysis (PyPSA) framework, namely the implementation of market and bidding mechanisms, stochastic optimization and multistaging.


title: A Note on an Inferentialist Approach to Resource Semantics

abstract: A central concept within informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires an interpretation of logical formulae in terms of the resources and states of the system; such an interpretation is called a 'resource semantics' of the logic. This paper shows how 'inferentialism' -- the view that meaning is given in terms of inferential behaviour -- enables a versatile and expressive framework for resource semantics. Specifically, how inferentialism seamlessly incorporates the assertion-based approach of the logic of Bunched Implications, foundational in program verification (e.g., as the basis of Separation Logic), and the renowned number-of-uses reading of Linear Logic. This integration enables reasoning about shared and separated resources in intuitive and familiar ways, as well as about the composition and interfacing of system components.


title: Solar prominence diagnostics and their associated estimated errors from 1D NLTE Mg II h&k modelling

abstract: Aims. We present further development of the rolling root mean square (rRMS) algorithm. These improvements consist of an increase in computational speed and an estimation of the uncertainty on the recovered diagnostics. This improvement is named the cross root mean square (xRMS) algorithm. Methods. We used the quantile method to recover the statistics of the line profiles in order to study the evolution of the prominence observed by IRIS on 1 October 2019. We then introduced the improvements to rRMS. These improvements greatly increased the computational speed, and this increase in speed allowed us to use a large model grid. Thus, we utilised a grid of 23 940 models to recover the thermodynamic diagnostics. We used the 'good' (but not 'best') fitting models to recover an estimate of the uncertainty on the recovered diagnostics. Results. The maximum line-of-sight (LOS) velocities were found to be 70 km/s. The line widths were mostly 0.4 {\AA} with the asymmetries of most pixels around zero. The central temperature of the prominence was found to range from 10 kK to 20 kK, with uncertainties of approximately +/-5 to +/-15 kK. The central pressure was around 0.2 dyn/cm2, with uncertainties of +/-0.2 to +/-0.3 dyn/cm2. The ionisation degree ranged from 1 to 1000, with uncertainties mostly in the range +/-10 to +/-100. The electron density was mostly 10^10 /cm3, with uncertainties of mostly +/-10^9. Conclusions. The new xRMS algorithm finds an estimation of the errors of the recovered thermodynamic properties. To our knowledge, this is the first attempt at systematically determining the errors from forward modelling. The large range of errors found may hint at the degeneracies present when using a single ion and/or species from forward modelling. In the future, co-aligned observations of more than one ion and/or species should be used to attempt to constrain this problem.


title: Unimolecular processes in diatomic carbon anions at high rotational excitation

abstract: On the millisecond to second time scale, stored beams of diatomic carbon anions C$_2{}^-$ from a sputter ion source feature unimolecular decay of yet unexplained origin by electron emission and fragmentation. To account for the magnitude and time dependence of the experimental rates, levels with high rotational and vibrational excitation are modeled for the lowest electronic states of C$_2{}^-$, also including the lowest quartet potential. Energies, spontaneous radiative decay rates (including spin-forbidden quartet-level decay), and tunneling dissociation rates are determined for a large number of highly excited C$_2{}^-$ levels and their population in sputter-type ion sources is considered. For the quartet levels, the stability against autodetachment is addressed and recently calculated rates of rotationally assisted autodetachment are applied. Non-adiabatic vibrational autodetachment rates of high vibrational levels in the doublet C$_2{}^-$ ground potential are also calculated. The results are combined to model the experimental unimolecular decay signals. Comparison of the modeled to the experimental rates measured at the Croygenic Storage Ring (CSR) gives strong evidence that C$_2{}^-$ ions in quasi-stable levels of the quartet electronic states are the so far unidentified source of unimolecular decay.


title: Experimental identification of topological defects in 2D colloidal glass

abstract: Topological defects are singularities in the order parameter space that are mathematically described by topological invariants and cannot be removed by continuous transformations. These defects play a significant role in various fields, ranging from cosmology to solid-state physics and biological matter. The definition of these irregularities requires an ordered reference configuration, leading to decades of debate about the existence of topological defects in disordered systems, such as glasses. Recently, it has been proposed that well-defined topological defects might emerge in the dynamical properties of glasses under deformation, potentially relating to their plastic behavior. In this study, we investigate a two-dimensional colloidal glass system composed of particles interacting by an effective magnetic repulsion. We reveal the presence of topological defects in the eigenspace of the vibrational frequencies of this experimental 2D amorphous solid. The vibrational density of states of this 2D amorphous material exhibits distinct glassy properties such as the presence of a boson peak anomaly. Through extensive numerical and theoretical quantitative analysis, we establish a robust positive correlation between the vibrational characteristics and the total number of topological defects. We furthermore show that defects of opposite charge tend to pair together and prove their local statistical correlation with the "soft spots", the regions more prone to plastic flow. This work provides the experimental confirmation for the existence of topological defects in disordered systems revealing a complex interplay between topology, disorder, and vibrational behavior.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.other cond-mat.stat-mech


title: Storypark: Leveraging Large Language Models to Enhance Children Story Learning Through Child-AI collaboration Storytelling

abstract: Interactive storytelling has been widely adopted by educators in teaching activities of young children. Such a teaching method combines storytelling with active child participation, benefiting their expressive abilities, creative thinking, and understanding of stories. Interactive storytelling requires facilitators to unidirectionally narrate the story content and encourage children's participation in story plot creation and interpretation of central themes through multi-sensory interactive methods such as questioning and drawing. However, providing tailored guidance based on diverse feedback from children during interactive storytelling poses challenges for most facilitators. These challenges include expanding story plot development based on children's ideas, using drawings to visualize children's thoughts, and interpreting the story's central themes based on children's thinking. This necessitates facilitators to possess strong imaginative, associative, domain knowledge, and drawing skills. Large language models have demonstrated their potential in facilitating responsive and participatory dialogues, offering new design possibilities to address the challenges faced by facilitators in interactive storytelling. In this study, our goal is to leverage large language models to design an interactive storytelling system that provides children with plot frameworks and interpretations of central themes during the interactive storytelling process. Through user experiments involving 20 child participants, we evaluate this interactive system's usability, learning effectiveness, and user experience. The user study shows that Storypark improves learning outcomes in understanding story key ideas, generalization, and transfer. And high engagement and willingness to use of participants demonstrate that StoryPark provides children with a positive learning experience.


title: Invariants for singular links via the two parameter bt-algebra

abstract: We construct a new invariant of singular links through representations of the singular braid monoid into the two parameters bt-algebra. Additionally, we recover this invariant by using the approach of Paris and Rabenda. Hence, we introduce the so called two parameter Singular bt-algebra. Finally, we provide the skein relations that define our invariant, and we prove that this invariant is more powerful than previous invariants of singular links in literature.


title: Modular Invariant Slow Roll Inflation

abstract: We propose new classes of inflation models based on the modular symmetry, where the modulus field $\tau$ serves as the inflaton. We establish a connection between modular inflation and modular stabilization, wherein the modulus field rolls towards a fixed point along the boundary of the fundamental domain. We find the modular symmetry strongly constrain the possible shape of the potential and identify some parameter space where the inflation predictions agree with cosmic microwave background observations. The tensor-to-scalar ratio is predicted to be smaller than $10^{-6}$ in our models, while the running of spectral index is of the the order of $10^{-4}$.


title: Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts

abstract: Verifiable Delay Function (VDF) is a cryptographic concept that ensures a minimum delay before output through sequential processing, which is resistant to parallel computing. Among the two well-known VDF protocols, Wesolowski and Pietrzak VDF, we focus on the Pietrzak VDF due to its computational efficiency and suitability for blockchain environments. Pietrzak's approach uses a recursive proof verification with the halving protocol, offering a practical alternative despite the longer proof length than Wesolowski's approach. Given the scarcity of research on practical VDF verification implementation, especially within smart contracts, this paper aims to implement cost-effective verification for the Pietrzak VDF in an Ethereum-based environment without compromising the VDF verification's integrity and reliability. Firstly, we propose generalized proof generation and verification algorithms for potential efficiency improvement. Secondly, we categorize and measure the gas cost of each part in a transaction for VDF verification. Thirdly, based on the analysis, we theoretically predict the optimized proof construction. Finally, we demonstrate the theoretical prediction matches the implementation results. Furthermore, our research shows that the proof length of the Pietrzak VDF is generated under 8 KB with the 2048-bit RSA key length, much smaller than the previous expectation. This implies that the Pietrzak VDF can be practically used for cryptographic applications on blockchains.


title: Aspect-based Sentiment Evaluation of Chess Moves (ASSESS): an NLP-based Method for Evaluating Chess Strategies from Textbooks

abstract: The chess domain is well-suited for creating an artificial intelligence (AI) system that mimics real-world challenges, including decision-making. Throughout the years, minimal attention has been paid to investigating insights derived from unstructured chess data sources. In this study, we examine the complicated relationships between multiple referenced moves in a chess-teaching textbook, and propose a novel method designed to encapsulate chess knowledge derived from move-action phrases. This study investigates the feasibility of using a modified sentiment analysis method as a means for evaluating chess moves based on text. Our proposed Aspect-Based Sentiment Analysis (ABSA) method represents an advancement in evaluating the sentiment associated with referenced chess moves. By extracting insights from move-action phrases, our approach aims to provide a more fine-grained and contextually aware `chess move'-based sentiment classification. Through empirical experiments and analysis, we evaluate the performance of our fine-tuned ABSA model, presenting results that confirm the efficiency of our approach in advancing aspect-based sentiment classification within the chess domain. This research contributes to the area of game-playing by machines and shows the practical applicability of leveraging NLP techniques to understand the context of strategic games.


title: Advantageous and disadvantageous inequality aversion can be taught through vicarious learning of others' preferences

abstract: While enforcing egalitarian social norms is critical for human society, punishing social norm violators often incurs a cost to the self. This cost looms even larger when one can benefit from an unequal distribution of resources (i.e. advantageous inequity), as in receiving a higher salary than a colleague with the identical role. In the Ultimatum Game, a classic test bed for fairness norm enforcement, individuals rarely reject (punish) such unequal proposed divisions of resources because doing so entails a sacrifice of one's own benefit. Recent work has demonstrated that observing another's punitive responses to unfairness can efficiently alter the punitive preferences of an observer. It remains an open question, however, whether such contagion is powerful enough to impart advantageous inequity aversion to individuals. Using a variant of the Ultimatum Game in which participants are tasked with responding to fairness violations on behalf of another 'Teacher' - whose aversion to advantageous (versus disadvantageous) inequity was systematically manipulated-we probe whether individuals subsequently increase their punishment unfair after experiencing fairness violations on their own behalf. In two experiments, we found individuals can acquire aversion to advantageous inequity 'vicariously' through observing (and implementing) the Teacher's preferences. Computationally, these learning effects were best characterized by a model which learns the latent structure of the Teacher's preferences, rather than a simple Reinforcement Learning account. In summary, our study is the first to demonstrate that people can swiftly and readily acquire another's preferences for advantageous inequity, suggesting in turn that behavioral contagion may be one promising mechanism through which social norm enforcement - which people rarely implement in the case of advantageous inequality - can be enhanced.


title: Testing Strong Gravitational Lensing Effects of Supermassive Black Holes with String-Inspired Metric, EHT Constraints and Parameter Estimation

abstract: We examine and compare the gravitational lensing, in the strong field limit, for the spherically symmetric string-inspired Euler-Heisenberg black holes, characterized by additional parameters $Q^2$ and $\alpha-\beta$, representing magnetic charge and coupling constant, respectively. Our analysis reveals a reduction in the photon sphere radius $x_{ps}$, critical impact parameter $u_{ps}$ and angular position $\theta_\infty$ with increasing magnitude of $Q^2$ and $\alpha-\beta$. Consequently, the value of these quantities is consistently lower than that of its GR equivalents. Further, the ratio $r_{mag}$ of the flux of the first image to all others decreases with $Q^2$ and $\alpha-\beta$. Unlike Schwarzschild black holes, string-inspired Euler-Heisenberg black holes have a smaller deflection angle $\alpha_D$, which decreases even more as $Q^2$ increases. Moreover, the time delay for Sgr A* and M87* can reach up to $~11.302$ and $~17085.1$ minutes, respectively, at $Q^2=0.1$ and $\alpha-\beta=-1$, deviating from Schwarzschild black holes by $~0.194$ and $~293.6$ minutes which are not very significant. For Sgr A* and M87*, we determine $\theta_\infty$ to range within $(23.81, 26.28)~\mu as$ and $(17.89, 19.78)~\mu as$ respectively, with angular separations $s$ ranging from $(3.33-5.67)~nas$ for Sgr A* and $(2.51-4.26)~nas$ for M87*. EHT bounds on the $\theta_{sh}$ of Sgr A* and M87* within the $1\sigma$ region, bound the parameters $Q^2$ and $\alpha-\beta$ as: for Sgr A* $0.29278 \le Q^2 \le 0.60778$ and for M87* $0 < Q^2 \le 0.08473$, but in both the cases we found no bound on the parameter $\alpha-\beta$. We also estimate the parameters $\alpha-\beta$ and $Q^2$ associated with string-inspired Euler-Heisenberg black holes using the EHT observation results of Sgr A* and M87*.


title: Multi-Target Unsupervised Domain Adaptation for Semantic Segmentation without External Data

abstract: Multi-target unsupervised domain adaptation (UDA) aims to learn a unified model to address the domain shift between multiple target domains. Due to the difficulty of obtaining annotations for dense predictions, it has recently been introduced into cross-domain semantic segmentation. However, most existing solutions require labeled data from the source domain and unlabeled data from multiple target domains concurrently during training. Collectively, we refer to this data as "external". When faced with new unlabeled data from an unseen target domain, these solutions either do not generalize well or require retraining from scratch on all data. To address these challenges, we introduce a new strategy called "multi-target UDA without external data" for semantic segmentation. Specifically, the segmentation model is initially trained on the external data. Then, it is adapted to a new unseen target domain without accessing any external data. This approach is thus more scalable than existing solutions and remains applicable when external data is inaccessible. We demonstrate this strategy using a simple method that incorporates self-distillation and adversarial learning, where knowledge acquired from the external data is preserved during adaptation through "one-way" adversarial learning. Extensive experiments in several synthetic-to-real and real-to-real adaptation settings on four benchmark urban driving datasets show that our method significantly outperforms current state-of-the-art solutions, even in the absence of external data. Our source code is available online (https://github.com/YonghaoXu/UT-KD).


title: Optimal transport of measures via autonomous vector fields

abstract: We study the problem of transporting one probability measure to another via an autonomous velocity field. We rely on tools from the theory of optimal transport. In one space-dimension, we solve a linear homogeneous functional equation to construct a suitable autonomous vector field that realizes the (unique) monotone transport map as the time-$1$ map of its flow. Generically, this vector field can be chosen to be Lipschitz continuous. We then use Sudakov's disintegration approach to deal with the multi-dimensional case by reducing it to a family of one-dimensional problems.


title: Rotational transitions induced by collisions of HD$^{+}$ ions with low energy electrons

abstract: A series of Multichannel Quantum Defect Theory-based computations have been performed, in order to produce the cross sections of rotational transitions (excitations $N_{i}^{+}-2 \rightarrow$ $N_{i}^{+}$, de-excitations $N_{i}^{+}$ $\rightarrow$ $N_{i}^{+}-2$, with $N_{i}^{+}=2$ to $10$) and of their competitive process, the dissociative recombination, induced by collisions of HD$^+$ ions with electrons in the energy range $10^{-5}$ to 0.3 eV. Maxwell anisotropic rate coefficients, obtained from these cross sections in the conditions of the Heidelberg Test Storage Ring (TSR) experiments ($k_{B}T_{t}=2.8$ meV and $k_{B}T_{l}=45$ $\mu$eV), have been reported for those processes in the same electronic energy range. Maxwell isotropic rate coefficients have been as well presented for electronic temperatures up to a few hundreds of Kelvins. Very good overall agreement is found between our results for rotational transitions and the former theoretical computations as well as with experiment. Furthermore, owing to the full rotational computations performed, the accuracy of the resulting dissociative recombination cross sections is considerably improved.


title: Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]

abstract: Writing dataflow analyzers requires both language and domain-specificity. That is to say, each programming language and each program property requires its own analyzer. To enable a streamlined, user-driven approach to dataflow analyzers, we introduce the theoretical framework for a user-specified dataflow analysis. This framework is constructed in such a way that the user has to specify as little as possible, while the analyzer infers and computes everything else, including interprocedural embellishments. This theoretical framework was also implemented in Java, where users can specify a program property alongside minimal extra information to induce a dataflow analysis. This framework (both theoretical and in implementation) is language-general, meaning that it is independent of syntax and semantics (as all necessary syntactic and semantic information is provided by the user, and this information is provided only once for a given language). In this paper, we introduce basic notions of intraprocedural and interprocedural dataflow analyses, the proposed "Implicit Monotone Framework," and a rigorous framework for partial functions as a property space.


title: Scattering of dark pions in Sp(4) gauge theory

abstract: Analyzes of astrophysical data provide first hints on the self-interactions of dark matter at low energies. Lattice calculations of dark matter theories can be used to investigate them, especially in the case of strongly-interacting dark matter. We consider Sp(4) gauge theory with two fundamental fermions as a candidate theory. We compute the scattering phase shift for the scattering of two identical dark pions and determine the parameters of the effective range expansion. Our exploratory results in the supposedly most common interaction channel provide a lower limit for the dark matter mass when compared to astrophysical data. We also provide first benchmarks of velocity-weighted cross-sections in the relevant non-relativistic domain.


title: EcoEdgeTwin: Enhanced 6G Network via Mobile Edge Computing and Digital Twin Integration

abstract: In the 6G era, integrating Mobile Edge Computing (MEC) and Digital Twin (DT) technologies presents a transformative approach to enhance network performance through predictive, adaptive control for energy-efficient, low-latency communication. This paper presents the EcoEdgeTwin model, an innovative framework that harnesses the synergy between MEC and DT technologies to ensure efficient network operation. We optimize the utility function within the EcoEdgeTwin model to balance enhancing users' Quality of Experience (QoE) and minimizing latency and energy consumption at edge servers. This approach ensures efficient and adaptable network operations, utilizing DT to synchronize and integrate real-time data seamlessly. Our framework achieves this by implementing robust mechanisms for task offloading, service caching, and cost-effective service migration. Additionally, it manages energy consumption related to task processing, communication, and the influence of DT predictions, all essential for optimizing latency and minimizing energy usage. Through the utility model, we also prioritize QoE, fostering a user-centric approach to network management that balances network efficiency with user satisfaction. A cornerstone of our approach is integrating the advantage actor-critic algorithm, marking a pioneering use of deep reinforcement learning for dynamic network management. This strategy addresses challenges in service mobility and network variability, ensuring optimal network performance matrices. Our extensive simulations demonstrate that compared to benchmark models lacking DT integration, EcoEdgeTwin framework significantly reduces energy usage and latency while enhancing QoE.


title: Simple crowd dynamics to generate complex temporal contact networks

abstract: Empirical contact networks or interaction networks demonstrate peculiar characteristics stemming from the fundamental social, psychological, physical mechanisms governing human interactions. Although these mechanisms are complex, we test whether we are able to reproduce some dynamical properties of these empirical networks from relatively simple models. In this study, we perform simulations for a range of 2D models of particle dynamics, namely the Random Walk, Active Brownian Particles, and Vicsek models, to generate artificial contact networks. We investigate temporal properties of these contact networks: the distributions of contact durations, inter-contact durations and number of contact per pair of particle. We demonstrate that the distribution of inter-contact durations can be recovered by the dynamics of these simple crowd particle models, and show that it is simply related to the well-know first-return process, which explains the -3/2 exponent that is found in both the numerical models and empirical contact networks.


title: Constraints on primordial lepton asymmetries with full neutrino transport

abstract: Primordial neutrino-antineutrino asymmetries can be constrained through big-bang nucleosynthesis (BBN) relic abundances and cosmic microwave background (CMB) anisotropies, both observables being sensitive to neutrino properties. The latter constraint, which is due to gravitational effects from all neutrino flavors, is very minute since it is at least quadratic in the asymmetries. On the contrary, the constraints from primordial abundances presently dominate, although these abundances are almost only sensitive to the electron flavor asymmetry. It is generally assumed that neutrino asymmetries are sufficiently averaged by flavor oscillations prior to BBN, which allows to constrain a common primordial neutrino asymmetry at the epoch of BBN. This simplified approach suffers two caveats that we deal with in this article, combining a neutrino evolution code and BBN calculation throughout the MeV era. First, flavor "equilibration" is not true in general, therefore an accurate dynamical evolution of asymmetries is needed to connect experimental observables to the primordial asymmetries. Second, the approximate averaging of asymmetries through flavor oscillations is associated to a reheating of the primordial plasma. It is therefore crucial to correctly describe the interplay between flavor equilibration and neutrino decoupling, as an energy redistribution prior to decoupling does not significantly alter the final effective number of neutrino species' value. Overall, we find that the space of allowed initial asymmetries is generically unbound when using currently available primordial abundances and CMB measurements. We forecast constraints using future CMB experiment capabilities, which should reverse this experimental misfortune.


title: UniDM: A Unified Framework for Data Manipulation with Large Language Models

abstract: Designing effective data manipulation methods is a long standing problem in data lakes. Traditional methods, which rely on rules or machine learning models, require extensive human efforts on training data collection and tuning models. Recent methods apply Large Language Models (LLMs) to resolve multiple data manipulation tasks. They exhibit bright benefits in terms of performance but still require customized designs to fit each specific task. This is very costly and can not catch up with the requirements of big data lake platforms. In this paper, inspired by the cross-task generality of LLMs on NLP tasks, we pave the first step to design an automatic and general solution to tackle with data manipulation tasks. We propose UniDM, a unified framework which establishes a new paradigm to process data manipulation tasks using LLMs. UniDM formalizes a number of data manipulation tasks in a unified form and abstracts three main general steps to solve each task. We develop an automatic context retrieval to allow the LLMs to retrieve data from data lakes, potentially containing evidence and factual information. For each step, we design effective prompts to guide LLMs to produce high quality results. By our comprehensive evaluation on a variety of benchmarks, our UniDM exhibits great generality and state-of-the-art performance on a wide variety of data manipulation tasks.


title: Towards Less Biased Data-driven Scoring with Deep Learning-Based End-to-end Database Search in Tandem Mass Spectrometry

abstract: Peptide identification in mass spectrometry-based proteomics is crucial for understanding protein function and dynamics. Traditional database search methods, though widely used, rely on heuristic scoring functions and statistical estimations have to be introduced for a higher identification rate. Here, we introduce DeepSearch, the first deep learning-based end-to-end database search method for tandem mass spectrometry. DeepSearch leverages a modified transformer-based encoder-decoder architecture under the contrastive learning framework. Unlike conventional methods that rely on ion-to-ion matching, DeepSearch adopts a data-driven approach to score peptide spectrum matches. DeepSearch is also the first deep learning-based method that can profile variable post-translational modifications in a zero-shot manner. We showed that DeepSearch's scoring scheme expressed less bias and did not require any statistical estimation. We validated DeepSearch's accuracy and robustness across various datasets, including those from species with diverse protein compositions and a modification-enriched dataset. DeepSearch sheds new light on database search methods in tandem mass spectrometry.


title: Linear dynamical systems with continuous weight functions

abstract: In discrete-time linear dynamical systems (LDSs), a linear map is repeatedly applied to an initial vector yielding a sequence of vectors called the orbit of the system. A weight function assigning weights to the points in the orbit can be used to model quantitative aspects, such as resource consumption, of a system modelled by an LDS. This paper addresses the problems to compute the mean payoff, the total accumulated weight, and the discounted accumulated weight of the orbit under continuous weight functions and polynomial weight functions as a special case. Besides general LDSs, the special cases of stochastic LDSs and of LDSs with bounded orbits are considered. Furthermore, the problem of deciding whether an energy constraint is satisfied by the weighted orbit, i.e., whether the accumulated weight never drops below a given bound, is analysed.


title: Sensing Gravity with Polarized Electromagnetic Radiation

abstract: Polarization wiggling is a direct gravitational effect exerted by a gravitational field on any electromagnetic radiation traversing it. This effect is investigated in linear gravity for spacetimes with flat or conformally flat backgrounds. First, we show how the polarization wiggle rates can be computed in the conformal frame and transformed to the physical frame. Then it is shown that polarization wiggling is not sensitive to scalar perturbations to the metric, while vector and tensor perturbations do induce polarization wiggling. This poses two natural questions: Can polarized electromagnetic radiation be used to measure vectorial and tensorial components of gravitational fields directly? And if so, how? Next, polarization wiggling is studied for an arbitrary vector perturbation to the spacetime metric. In a stationary spacetime, the polarization wiggle rate is proportional to the difference in frame dragging rates between radiation emission and measurement events. We show how this can be used to measure the angular momentum of a gravitational source if the emitter orbits the gravitational source on a known orbit. Next, the effect of a gravitational tensor mode with arbitrary polarization is studied. Finally, the polarization wiggling effect induced by a gravitational tensor mode is analyzed. Two cases are demonstrated: A spacetime with a flat Minkowski background and an expanding cosmology with a conformally flat background. In both cases, the polarization wiggling frequency equals the frequency of the gravitational tensor mode, while the other state parameters are encoded in the polarization wiggling amplitude and phase of the polarized radiation. We show that measurements of polarization wiggling frequency, amplitude and phase of polarized radiation from different directions enables all state parameters of a gravitational tensor mode to be determined.


title: Autodetachment of diatomic carbon anions from long-lived high-rotation quartet states

abstract: Highly excited C$_2{}^{-}$ ions prominently feature electron detachment at a mean decay time near 3 milliseconds with hitherto unexplained origin. Considering various sources of unimolecular decay, we attribute the signal to the electronic C$^4\Sigma^+_u$ state. Quartet C$_2{}^{-}$ levels are found to be stabilized against autodetachment by high rotation. Time constants of their rotationally assisted autodetachment into levels opening energetically at lower rotation are calculated by a theory based on the non-local resonance model. For some final levels of significantly less rotation the results conclusively explain the puzzling observations.


title: Holographic RG flows in a 3d gauged supergravity at finite temperature

abstract: In this paper we consider finite-temperature holographic RG flows in $D=3$ $\mathcal{N}=(2,0)$ gauged truncated supergravity coupled to a sigma model with a hyperbolic target space. In the context of the holographic duality, fixed points (CFTs) at finite temperature are described by AdS black holes. We come from the gravity EOM to a 3d autonomous dynamical system, which critical points can be related to fixed points of dual field theories. Near-horizon black hole solutions correspond to infinite points of this system. We use Poincar\'e transformations to project the system on $\mathbf{R}^3$ into the 3d unit cylinder such that the infinite points are mapped onto the boundary of the cylinder. We explore numerically the space of solutions. We show that the exact RG flow at zero temperature is the separatrix for asymptotically AdS black hole solutions if the potential has one extremum, while for the potential with three extrema the separatrices are RG flows between AdS fixed points. We find near-horizon analytical solutions for asymptotically AdS black holes using the dynamical equations. We also present a method for constructing full analytical solutions.


title: An Efficient Algorithm for Sum-Rate Maximization in Fluid Antenna-Assisted ISAC System

abstract: In this letter, we investigate the fluid antenna (FA)-assisted integrated sensing and communication (ISAC) system, where communication and radar sensing employ the co-waveform design. Specifically, we focus on the beamformer design and antenna position configuration to realize a higher communication rate while guaranteeing the minimum radar probing power. Different from existing beamformer algorithms, we propose an efficient proximal distance algorithm (PDA) to solve the multiuser sum-rate maximization problem with radar sensing constraint to obtain the closed-form beamforming vector. In addition, we develop an extrapolated projected gradient (EPG) algorithm to obtain a better antenna location configuration for FA to enhance the ISAC performance. Numerical results show that the considered FA-assisted ISAC system enjoys a higher sum-rate by the proposed algorithm, compared with that in existing non-FA ISAC systems.


title: Virial Theorem and Its Applications in Instability of Two-Phase Water-Wave

abstract: In this paper, we analyze the dynamics of two layers of immiscible, inviscid, incompressible, and irrotational fluids through a full nonlinear system. Our goal is to establish a virial theorem and prove the polynomial growth of slope and curvature of the interface over time when the fluid below is no denser than the one above. These phenomena, known as Rayleigh-Taylor instability and Kelvin-Helmholtz instability, will be proved for a broad class of regular initial data, including the case of 2D overlapping interface.


title: Long time evolution of concentrated vortex rings with large radius

abstract: We study the time evolution of an incompressible fluid with axial symmetry without swirl when the vorticity is sharply concentrated on $N$ annuli of radii of the order of $r_0$ and thickness $\varepsilon$. We prove that when $r_0= |\log \varepsilon|^\alpha$, $\alpha>1$, the vorticity field of the fluid converges for $\varepsilon \to 0$ to the point vortex model, in an interval of time which diverges as $\log|\log\varepsilon|$. This generalizes previous result by Cavallaro and Marchioro in [J. Math. Phys. 62, 053102, (2021)], that assumed $\alpha>2$ and in which the convergence was proved for short times only.


title: Measures and Charges on the Places of $\bar{\mathbb Q}$

abstract: Recent work of the author established dual representation theorems for certain vector spaces that arise in an important article of Allcock and Vaaler. These results constructed an object called a consistent map which acts like a measure on the set of places of $\bar{\mathbb Q}$, but is not a Borel measure on this space. We describe the appropriate ring of sets $\mathcal R$ for which every consistent map arises from a measure on $\mathcal R$. We further obtain the conditions under which a consistent map may be extended to a measure on the smallest algebra containing $\mathcal R$.


title: Origin and Evolution of Angular Momentum of Class II Disks

abstract: Context. While Class II stars have already accreted most of their mass, the continued inflow of fresh material via Bondi-Hoyle accretion acts as an additional mass reservoir for their circumstellar disks. This may explain the observed accretion rates of pre-main- sequence (PMS) stars, as well as observational inconsistencies in the mass and angular momentum balance of their disks. Aims. Using a new simulation that reproduces the stellar IMF, we want to quantify the role of Bondi-Hoyle accretion in the formation of Class II disks, as well address the prospect of its observational detection with the James Webb Space Telescope (JWST). Methods. We study the mass and angular momentum of the accreting gas using passively-advected tracer particles in the simulation, and we carry out radiative transfer calculations of near-infrared scattering to generate synthetic JWST observations of Bondi-Hoyle trails of PMS stars. Results. Gas accreting on Class II PMS stars approximately 1 Myr after their formation has enough mass and angular momentum to strongly affect the evolution of the preexisting disks. The accreted angular momentum is large enough to also explain the observed size of Class II disks. The orientation of the angular momentum vector can differ significantly from that of the previously accreted gas, which may result in a significant disk warping or misalignment. We also predict that JWST observations of Class II stars will be able to detect Bondi-Hoyle trails with a 90% success rate with only 2 min exposure time, if stars with accretion rates \dot{M} > 5e-10 Msol/yr and luminosity of L > 0.5 Lsol are selected.


title: Diameter of Commuting Graphs of Lie Algebras

abstract: In this paper, we study the connectedness of the commuting graph of a general Lie algebra and provide a process to determine whether the commuting graph is connected or not, as well as to compute an upper bound for its diameter. In addition, we will examine the connectedness and diameter of the commuting graphs of some remarkable classes of Lie algebras, including: (1) a class of Lie algebras with one- or two-dimensional derived algebras; and (2) a class of solvable Lie algebras over the real field of dimension up to $4$.


title: Heterogeneous Graph Neural Networks with Loss-decrease-aware Curriculum Learning

abstract: In recent years, heterogeneous graph neural networks (HGNNs) have achieved excellent performance in handling heterogeneous information networks (HINs). Curriculum learning is a machine learning strategy where training examples are presented to a model in a structured order, starting with easy examples and gradually increasing difficulty, aiming to improve learning efficiency and generalization. To better exploit the rich information in HINs, previous methods have started to explore the use of curriculum learning strategy to train HGNNs. Specifically, these works utilize the absolute value of the loss at each training epoch to evaluate the learning difficulty of each training sample. However, the relative loss, rather than the absolute value of loss, reveals the learning difficulty. Therefore, we propose a novel loss-decrease-aware training schedule (LDTS). LDTS uses the trend of loss decrease between each training epoch to better evaluating the difficulty of training samples, thereby enhancing the curriculum learning of HGNNs for downstream tasks. Additionally, we propose a sampling strategy to alleviate training imbalance issues. Our method further demonstrate the efficacy of curriculum learning in enhancing HGNNs capabilities. We call our method Loss-decrease-aware Heterogeneous Graph Neural Networks (LDHGNN). The code is public at https://github.com/wangyili00/LDHGNN.


title: Forms in prime variables and differing degrees

abstract: Let $F_1,\ldots,F_R$ be homogeneous polynomials with integer coefficients in $n$ variables with differing degrees. Write $\boldsymbol{F}=(F_1,\ldots,F_R)$ with $D$ being the maximal degree. Suppose that $\boldsymbol{F}$ is a nonsingular system and $n\ge D^2 4^{D+6}R^5$. We prove an asymptotic formula for the number of prime solutions to $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$, whose main term is positive if (i) $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ has a nonsingular solution over the $p$-adic units $\mathbb{U}_p$ for all primes $p$, and (ii) $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ has a nonsingular solution in the open cube $(0,1)^n$. This can be viewed as a smooth local-global principle for $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ with differing degrees. It follows that, under (i) and (ii), the set of prime solutions to $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ is Zariski dense in the set of its solutions.


title: Prompting Large Language Models with Knowledge Graphs for Question Answering Involving Long-tail Facts

abstract: Although Large Language Models (LLMs) are effective in performing various NLP tasks, they still struggle to handle tasks that require extensive, real-world knowledge, especially when dealing with long-tail facts (facts related to long-tail entities). This limitation highlights the need to supplement LLMs with non-parametric knowledge. To address this issue, we analysed the effects of different types of non-parametric knowledge, including textual passage and knowledge graphs (KGs). Since LLMs have probably seen the majority of factual question-answering datasets already, to facilitate our analysis, we proposed a fully automatic pipeline for creating a benchmark that requires knowledge of long-tail facts for answering the involved questions. Using this pipeline, we introduce the LTGen benchmark. We evaluate state-of-the-art LLMs in different knowledge settings using the proposed benchmark. Our experiments show that LLMs alone struggle with answering these questions, especially when the long-tail level is high or rich knowledge is required. Nonetheless, the performance of the same models improved significantly when they were prompted with non-parametric knowledge. We observed that, in most cases, prompting LLMs with KG triples surpasses passage-based prompting using a state-of-the-art retriever. In addition, while prompting LLMs with both KG triples and documents does not consistently improve knowledge coverage, it can dramatically reduce hallucinations in the generated content.


title: Semantic and Spatial Adaptive Pixel-level Classifier for Semantic Segmentation

abstract: Vanilla pixel-level classifiers for semantic segmentation are based on a certain paradigm, involving the inner product of fixed prototypes obtained from the training set and pixel features in the test image. This approach, however, encounters significant limitations, i.e., feature deviation in the semantic domain and information loss in the spatial domain. The former struggles with large intra-class variance among pixel features from different images, while the latter fails to utilize the structured information of semantic objects effectively. This leads to blurred mask boundaries as well as a deficiency of fine-grained recognition capability. In this paper, we propose a novel Semantic and Spatial Adaptive (SSA) classifier to address the above challenges. Specifically, we employ the coarse masks obtained from the fixed prototypes as a guide to adjust the fixed prototype towards the center of the semantic and spatial domains in the test image. The adapted prototypes in semantic and spatial domains are then simultaneously considered to accomplish classification decisions. In addition, we propose an online multi-domain distillation learning strategy to improve the adaption process. Experimental results on three publicly available benchmarks show that the proposed SSA significantly improves the segmentation performance of the baseline models with only a minimal increase in computational cost. Code is available at https://github.com/xwmaxwma/SSA.


title: PBR, nonreality and entangled measurement

abstract: In a recent paper, Cabbolet argues that the PBR theorem is nonreal since in the ensemble interpretation of quantum mechanics the entangled measurement used in the derivation of the PBR theorem is nonexisting. However, Cabbolet (1) doesn't provide any argument for the nonexistence of entangled measurements beyond the incompatibility of the existence of entangled measurements and the existence of $\psi$-epistemic models which we already know from the PBR theorem; and (2) he doesn't show why it is more reasonable to abandon entangled measurements instead of $\psi$-epistemic models. Hence, the PBR theorem remains intact.


title: First observation of single photons in a CRESST detector and new dark matter exclusion limits

abstract: The main goal of the CRESST-III experiment is the direct detection of dark matter particles via their scattering off target nuclei in cryogenic detectors. In this work we present the results of a Silicon-On-Sapphire (SOS) detector with a mass of 0.6$\,$g and an energy threshold of (6.7$\, \pm \,$0.2)$\,$eV with a baseline energy resolution of (1.0$\, \pm \,$0.2)$\,$eV. This allowed for a calibration via the detection of single luminescence photons in the eV-range, which could be observed in CRESST for the first time. We present new exclusion limits on the spin-independent and spin-dependent dark matter-nucleon cross section that extend to dark matter particle masses of less than 100$\,$MeV/c$^{2}$.


title: A Distributionally Robust Approach to Shannon Limits using the Wasserstein Distance

abstract: We consider the rate-distortion function for lossy source compression, as well as the channel capacity for error correction, through the lens of distributional robustness. We assume that the distribution of the source or of the additive channel noise is unknown and lies within a Wasserstein-2 ambiguity set of a given radius centered around a specified nominal distribution, and we look for the worst-case asymptotically optimal coding rate over such an ambiguity set. Varying the radius of the ambiguity set allows us to interpolate between the worst-case and stochastic scenarios using probabilistic tools. Our problem setting fits into the paradigm of compound source / channel models introduced by Sakrison and Blackwell, respectively. This paper shows that if the nominal distribution is Gaussian, then so is the worst-case source / noise distribution, and the compound rate-distortion / channel capacity functions admit convex formulations with Linear Matrix Inequality (LMI) constraints. These formulations yield simple closed-form expressions in the scalar case, offering insights into the behavior of Shannon limits with the changing radius of the Wasserstein-2 ambiguity set.


title: Amplitude bounds of steady rotational water waves

abstract: We consider classical steady water waves with a free surface, a flat bottom and constant vorticity $\gamma$. In the adverse case $\gamma>0$ we prove that there is an absolute upper bound on the amplitude, independent of the physical constants, provided that $\gamma$ is sufficiently small. In any favorable case $\gamma\leq0$ we present a new proof of such an absolute bound on the amplitude and prove that the amplitude tends to zero as $\gamma$ tends to negative infinity.


title: The Morse property of limit functions appearing in mean field equations on surfaces with boundary

abstract: In this paper we study the Morse property for functions related to limit functions of mean field equations on a smooth, compact surface $\Sigma$ with boundary $\partial\Sigma$. Given a Riemannian metric $g$ on $\Sigma$ we consider functions of the form \[ f_g(x) := \sum_{i=1}^m\sigma_i^2R^g(x_i)+\sum_{i,j=1\\i\ne j}^m\sigma_i\sigma_jG^g(x_i,x_j)+h(x_1,\ldots,x_m), \] where $\sigma_i \neq 0$ for $i=1,\ldots,m$, $G^g$ is the Green function of the Laplace-Beltrami operator on $(\Sigma,g)$ with Neumann boundary conditions, $R^g$ is the corresponding Robin function, and $h \in \mathcal{C}^{2}(\Sigma^m,\mathbb{R})$ is arbitrary. We prove that for any Riemannian metric $g$, there exists a metric $\widetilde g$ which is arbitrarily close to $g$ and in the conformal class of $g$ such that $f_{\widetilde g}$ is a Morse function. Furthermore we show that, if all $\sigma_i>0$, then the set of Riemannian metrics for which $f_g$ is a Morse function is open and dense in the set of all Riemannian metrics.