title: Adsorption of Mo and O at S-vacancy on ReS2 surface of ReS2/MoTe2 vdW heterointerface

abstract: Applications like high density information storage, neuromorphic computing, nanophotonics, etc. require ultra-thin electronic devices which can be controlled with applied electric field. Of late, atomically thin two-dimensional (2D) materials and van der Waals (vdW) heterointerface of those have emerged as suitable candidates for such ultra-low power nanoelectric devices. In this work, employing density functional theory (DFT), the monolayer ReS2 / monolayer MoTe2 vdW heterostructure with Sulphur vacancy is studied to examine various ground state electronic properties. Changes in effective band gap owing to defect-induced states and modulation of the energy gap value with Molybdenum (Mo) and Oxygen (O) adsorption at the defect site are examined. Since two-dimensional (2D) material based nanoscaled devices exhibit promising switching between non-conducting and conducting states, determining the role of defect-induced states and the adsorption of atoms/molecules on surfaces is crucial. Here, a detailed theoretical study to determine surface properties and relative energetic stability of the vdW heterostructures is carried out. The charge re-distribution between the constituent layers is also analyzed by obtaining Electron Difference Density (EDD) for different heterointerfaces. Nonetheless, the efficacy of switching between non-conducting and conducting states is assessed based on adsorption energy of adatoms binding at the defect site.


title: BAN: Detecting Backdoors Activated by Adversarial Neuron Noise

abstract: Backdoor attacks on deep learning represent a recent threat that has gained significant attention in the research community. Backdoor defenses are mainly based on backdoor inversion, which has been shown to be generic, model-agnostic, and applicable to practical threat scenarios. State-of-the-art backdoor inversion recovers a mask in the feature space to locate prominent backdoor features, where benign and backdoor features can be disentangled. However, it suffers from high computational overhead, and we also find that it overly relies on prominent backdoor features that are highly distinguishable from benign features. To tackle these shortcomings, this paper improves backdoor feature inversion for backdoor detection by incorporating extra neuron activation information. In particular, we adversarially increase the loss of backdoored models with respect to weights to activate the backdoor effect, based on which we can easily differentiate backdoored and clean models. Experimental results demonstrate our defense, BAN, is 1.37$\times$ (on CIFAR-10) and 5.11$\times$ (on ImageNet200) more efficient with 9.99% higher detect success rate than the state-of-the-art defense BTI-DBF. Our code and trained models are publicly available.\url{https://anonymous.4open.science/r/ban-4B32}


title: Periodic forces combined with feedback induce quenching in a bistable oscillator

abstract: The coexistence of an abnormal rhythm and a normal steady state is often observed in nature (e.g., epilepsy). Such a system is modeled as a bistable oscillator that possesses both a limit cycle and a fixed point. Although bistable oscillators under several perturbations have been addressed in the literature, the mechanism of oscillation quenching, a transition from a limit cycle to a fixed point, has not been fully understood. In this study, we analyze quenching using the extended Stuart-Landau oscillator driven by periodic forces. Numerical simulations suggest that the entrainment to the periodic force induces the amplitude change of a limit cycle. By reducing the system with an averaging method, we investigate the bifurcation structures of the periodically-driven oscillator. We find that oscillation quenching occurs by the homoclinic bifurcation when we use a periodic force combined with quadratic feedback. In conclusion, we develop a state-transition method in a bistable oscillator using periodic forces, which would have the potential for practical applications in controlling and annihilating abnormal oscillations. Moreover, we clarify the rich and diverse bifurcation structures behind periodically-driven bistable oscillators, which we believe would contribute to further understanding the complex behaviors in non-autonomous systems.


title: Multi-scale flow, permeability, and heat transport in low-carbon and traditional building materials

abstract: Permeability and heat transport through building materials ultimately dictates their insulatory performance over a buildings service lifetime. Experiments combining XCT with numerical modelling are an accepted method of studying pore scale processes and have been used extensively in the oil and gas industry to study highly complex reservoir rocks. However, despite the obvious similarities in structure and application, these techniques have not yet been widely adopted by the building and construction industry. An experimental investigation was performed on the pore structure of several building materials, including conventional, historic, and innovative, using XCT and direct numerical simulation. Six samples were imaged at between a 4 and 15 micron resolution inside a micro-CT scanner. The porosity and connectivity were extracted with the grain, throat, and pore size distributions using image analysis. The permeability, velocity, and thermal conductivity were then investigated using GeoChemFoam, our highly-versatile and open source numerical solver. It was found that each material had a unique, heterogeneous and sometimes multi-scale structure that had a large impact on the permeability and thermal conductivity. Furthermore, it was found that the method of including sub-resolution porosity directly effected these bulk property calculations for both parameters, especially in the materials with high structural heterogeneity. This is the first multi-scale study of structure, flow and heat transport on building materials and this workflow could easily be adapted to understand and improve designs in other industries that use porous materials such as fuel cells and batteries technology, lightweight materials and insulation, and semiconductors.


title: Exploring Diffusion Models' Corruption Stage in Few-Shot Fine-tuning and Mitigating with Bayesian Neural Networks

abstract: Few-shot fine-tuning of Diffusion Models (DMs) is a key advancement, significantly reducing training costs and enabling personalized AI applications. However, we explore the training dynamics of DMs and observe an unanticipated phenomenon: during the training process, image fidelity initially improves, then unexpectedly deteriorates with the emergence of noisy patterns, only to recover later with severe overfitting. We term the stage with generated noisy patterns as corruption stage. To understand this corruption stage, we begin by theoretically modeling the one-shot fine-tuning scenario, and then extend this modeling to more general cases. Through this modeling, we identify the primary cause of this corruption stage: a narrowed learning distribution inherent in the nature of few-shot fine-tuning. To tackle this, we apply Bayesian Neural Networks (BNNs) on DMs with variational inference to implicitly broaden the learned distribution, and present that the learning target of the BNNs can be naturally regarded as an expectation of the diffusion loss and a further regularization with the pretrained DMs. This approach is highly compatible with current few-shot fine-tuning methods in DMs and does not introduce any extra inference costs. Experimental results demonstrate that our method significantly mitigates corruption, and improves the fidelity, quality and diversity of the generated images in both object-driven and subject-driven generation tasks.


title: A weighted Murnaghan-Nakayama rule for $(P, w)$-partitions

abstract: The $(P, w)$-partition generating function $K_{(P,w)}(x)$ is a quasisymmetric function obtained from a labeled poset. Recently, Liu and Weselcouch gave a formula for the coefficients of $K_{(P,w)}(x)$ when expanded in the quasisymmetric power sum function basis. This formula generalizes the classical Murnaghan--Nakayama rule for Schur functions. We extend this result to weighted $(P, w)$-partitions and provide a short combinatorial proof, avoiding the Hopf algebra machinery used by Liu-Weselcouch.


title: Learning Latent Graph Structures and their Uncertainty

abstract: Within a prediction task, Graph Neural Networks (GNNs) use relational information as an inductive bias to enhance the model's accuracy. As task-relevant relations might be unknown, graph structure learning approaches have been proposed to learn them while solving the downstream prediction task. In this paper, we demonstrate that minimization of a point-prediction loss function, e.g., the mean absolute error, does not guarantee proper learning of the latent relational information and its associated uncertainty. Conversely, we prove that a suitable loss function on the stochastic model outputs simultaneously grants (i) the unknown adjacency matrix latent distribution and (ii) optimal performance on the prediction task. Finally, we propose a sampling-based method that solves this joint learning task. Empirical results validate our theoretical claims and demonstrate the effectiveness of the proposed approach.


title: Estimating Population Burden of Stroke with an Agent-Based Model

abstract: Stroke is one of the leading causes of death and disability worldwide but it is believed to be highly preventable. The majority of stroke prevention focuses on targeting high-risk individuals but its is important to understand how the targeting of high-risk individuals might impact the overall societal burden of stroke. We propose using an agent-based model that follows agents through their pre-stroke and stroke journey to assess the impacts of different interventions at the population level. We present a case study looking at the impacts of agents being informed of their stroke risk at certain ages and those agents taking measure to reduce their risk. The results of our study show that if agents are aware of their risk and act accordingly we see a significant reduction in strokes and population DALYs. The case study highlights the importance of individuals understanding their own stroke risk for stroke prevention and the usefulness of agent-based models in assessing the impact of stroke interventions.


title: Material and size dependent corrections to conductance quantization in anomalous Hall effect from anomaly inflow

abstract: In quantum anomalous Hall (QAH) systems, the Hall conductance is quantized and the corresponding effective topological theory of the system is the Chern-Simons theory. The conductance quantum is given by the universal constant $e^2/h$ -- the inverse von Klitzing constant -- that is independent of the bulk gap, as well as the size of the system. This picture relies on the assumption that the edge modes are sharply localized at the edge, i.e. they have zero width. We show that considering the physical case where the edge modes have finite localization length $b$, the effective action would not be topological in bulk direction anymore. Due to non-zero $b$ the conductance quantum will be corrected as $(1-\varepsilon)e^2/h$ where $\varepsilon$ encompasses the non-universal (i.e. material/sample dependent) part that is determined by the dimensionless ratios $\frac{gb}{\hbar v_F}$ and $\frac{b}{L}$ where $g,v_F,L$ are the bulk gap, Fermi velocity and sample length. To compute the non-universal correction $\varepsilon$ we use anomaly inflow framework according to which the bulk action produces the correct amount of anomaly inflow that would cancel the anomaly of the chiral edge modes. These corrections place limits on the precision of measurable quantization in units of the inverse von Klitzing constant for QAH systems with smaller sizes and/or smaller bulk gaps. Our result suggests that the failure of precision measurements to reproduce the exact conductance quantum $e^2/h$ is not an annoying sample quality issue, but it contains the quantitative physics of anomaly inflow that can be inferred by the systematic study of such corrections.


title: Free-ranging dogs quickly learn to recognize a rewarding person

abstract: Individual human recognition is important for species that live in close proximity to humans. Numerous studies on domesticated species and urban-adapted birds have highlighted this ability. One such species which is heavily reliant on humans is the free-ranging dog. Very little knowledge exists on the amount of time taken by free-ranging dogs to learn and remember individual humans. Due to their territorial nature, they have a high probability of encountering the same people multiple times on the streets. Being able to distinguish individual humans might be helpful in making decisions regarding people from whom to beg for food or social reward. We investigated if free-ranging dogs are capable of identifying the person rewarding them and the amount of time required for them to learn it. We conducted field trials on randomly selected adult free-ranging dogs in West Bengal, India. On Day 1, a choice test was conducted. The experimenter chosen did not provide reward while the other experimenter provided a piece of boiled chicken followed by petting. The person giving reward on Day 1 served as the correct choice on four subsequent days of training. Day 6 was the test day when none of the experimenters had a reward. We analyzed the choice made by the dogs, the time taken to approach during the choice tests, and the socialization index, which was calculated based on the intensity of affiliative behaviour shown towards the experimenters. The dogs made correct choices at a significantly higher rate on the fifth and sixth days, as compared to Day 2, suggesting learning. This is the first study aiming to understand the time taken for individual human recognition in free-ranging dogs and can serve as the scaffold for future studies to understand the dog-human relationship in open environments, like urban ecosystems.


title: High-accuracy Nuclear Spin Dependent Parity Violating Amplitudes in $^{133}$Cs

abstract: Relativistic coupled-cluster (RCC) theory at the singles and doubles approximation has been implemented to estimate nuclear spin dependent (NSD) parity violating (PV) electric dipole (E1) transition amplitudes ($E1_{PV}^{NSD}$) among hyperfine levels of the $6s ~^2S_{1/2} \rightarrow 7s ~^2S_{1/2}$ transition in $^{133}$Cs. To validate our calculations, we reproduce the Dirac-Hartree-Fock values and results from the combined coupled-Dirac-Hartree-Fock and random phase approximation (CPDF-RPA) method reported earlier. Contributions from the double-core-polarization (DCP) effects at the CPDF-RPA method were found to be between 3-12\% among different hyperfine levels. We derived a generalized expression for $E1_{PV}^{NSD}$, which helped incorporate both the NSD PV Hamiltonian and E1 operator simultaneously in the perturbative approach to account for the DCP contributions. The RCC method subsumes the CPDF-RPA and DCP effects in addition to contributions from the Br\"uckner pair-correlations and normalization of the wave functions, and correlations among them. To improve accuracy of the $E1_{PV}^{NSD}$ amplitudes further, we replace the {\it ab initio} values of the E1 matrix elements and energies by their experimental values via a sum-over-states approach.


title: On the Uncertainty Principle for Metaplectic Transformations

abstract: We explore the new proofs and extensions of the Heisenberg Uncertainty Principle introduced by A.~Widgerson & Y.~Widgerson in [MR4229152], developed in [MR4453622] by N.C.~Dias, F.~Luef and J.N.~Prata and also in [MR4337266] by Y.~Tang. In particular we give here a proof of the Uncertainty Principle for operators in the Metaplectic group in any dimension.


title: The HST Large Programme on omega Centauri -- VI. The radial gradient of the stellar populations

abstract: In this paper we present the analysis of Hubble Space Telescope (HST) observations of the globular cluster Omega Centauri. Our analysis combines data obtained in this work with previously published HST data from an earlier article of this series and encompasses a broad portion of the cluster's radial extension. Our findings reveal a significant radial variation in the fraction of stars within the two most populous stellar populations showing that one of the main second-population groups (referred to as bMS) is more centrally concentrated than the first-population group (referred to as rMS). Additionally, we explore the spatial variations of the other less populous stellar populations (referred to as MSa and MSd) and find a qualitatively similar, but weaker, radial decrease in the fraction of stars in these populations at larger distances from the cluster centre. Only one of the populations identified (MSe) does not show any significant radial variation.


title: Quotients of permutation groups by nonabelian minimal normal subgroups

abstract: We prove that a quotient G/N of a subgroup G of Sym(n) by a nonabelian minimal normal subgroup N of G embeds into Sym(m) for some $m<n$. Furthermore, if G is transitive then we can take m \le 2n/5.


title: Synthetic Patients: Simulating Difficult Conversations with Multimodal Generative AI for Medical Education

abstract: Problem: Effective patient-centered communication is a core competency for physicians. However, both seasoned providers and medical trainees report decreased confidence in leading conversations on sensitive topics such as goals of care or end-of-life discussions. The significant administrative burden and the resources required to provide dedicated training in leading difficult conversations has been a long-standing problem in medical education. Approach: In this work, we present a novel educational tool designed to facilitate interactive, real-time simulations of difficult conversations in a video-based format through the use of multimodal generative artificial intelligence (AI). Leveraging recent advances in language modeling, computer vision, and generative audio, this tool creates realistic, interactive scenarios with avatars, or "synthetic patients." These synthetic patients interact with users throughout various stages of medical care using a custom-built video chat application, offering learners the chance to practice conversations with patients from diverse belief systems, personalities, and ethnic backgrounds. Outcomes: While the development of this platform demanded substantial upfront investment in labor, it offers a highly-realistic simulation experience with minimal financial investment. For medical trainees, this educational tool can be implemented within programs to simulate patient-provider conversations and can be incorporated into existing palliative care curriculum to provide a scalable, high-fidelity simulation environment for mastering difficult conversations. Next Steps: Future developments will explore enhancing the authenticity of these encounters by working with patients to incorporate their histories and personalities, as well as employing the use of AI-generated evaluations to offer immediate, constructive feedback to learners post-simulation.


title: Coherent Control of Spontaneous Emission for a giant driven $\Lambda $-type three-level atom

abstract: Quantum optics with giant atoms provides a new approach for implementing optical memory devices at the atomic scale. Here, we theoretically study the relaxation dynamics of a single driven three-level atom interacting with a one-dimensional waveguide, via two coupling points. Under certain conditions, after the long-time dynamics, we found that the population of giant atom can either maintain stable values or exhibit regular periodic oscillation behavior, while photons can be trapped in the region of giant atoms. This phenomenon is not achievable using a two-level atom with two legs. It is worth noting that the atomic excitation probability of a stable bound state is a constant value, which is determined by the size of the atom. Crucially, the size of the atom (the distance between the two coupling points) is much larger than the wavelength of the light field, which is a necessary condition for the existence of oscillating bound states.


title: Multi-View People Detection in Large Scenes via Supervised View-Wise Contribution Weighting

abstract: Recent deep learning-based multi-view people detection (MVD) methods have shown promising results on existing datasets. However, current methods are mainly trained and evaluated on small, single scenes with a limited number of multi-view frames and fixed camera views. As a result, these methods may not be practical for detecting people in larger, more complex scenes with severe occlusions and camera calibration errors. This paper focuses on improving multi-view people detection by developing a supervised view-wise contribution weighting approach that better fuses multi-camera information under large scenes. Besides, a large synthetic dataset is adopted to enhance the model's generalization ability and enable more practical evaluation and comparison. The model's performance on new testing scenes is further improved with a simple domain adaptation technique. Experimental results demonstrate the effectiveness of our approach in achieving promising cross-scene multi-view people detection performance. See code here: https://vcc.tech/research/2024/MVD.


title: Discrete-Time I&I Adaptive Interconnection and Damping Passivity-Based Control for Nonlinearly Parameterized Port-Controlled Hamiltonian Systems

abstract: In this paper, a discrete-time I&I-based adaptive IDA-PBC controller for uncertain nonlinearly parameterized port-controlled Hamiltonian systems (PCH), where the parameter uncertainties are assumed in the energy function, is constructed. A proper formulation for the uncertain system dynamics is established where the uncertainties appear in nonlinearly parameterized form in the gradient of the Hamiltonian function. The adaptive IDA-PBC controller is constructed considering this formulation. For the adaptation mechanism of the IDA-PBC controller, a discrete-time parameter estimator is derived based on the immersion and invariance (I&I) approach. A structure for a free design function in the I&I-based estimator is proposed including some other free design functions. If these free design functions are selected to satisfy some conditions, derived in this paper, the Lyapunov asymptotic stability of the estimator dynamics is guaranteed. Besides, assuming these conditions are satisfied, local asymptotic stability of the closed-loop system, in a sufficiently large set is shown. The proposed method is applied to the two physical system examples and the performance of the adaptive controller is tested by simulation. It is demonstrated that the performance of the certain IDA-PBC controller is maintained by the adaptive IDA-PBC controller successfully.


title: Multiple sampling and interpolation in a space of polynomials

abstract: We study sampling and interpolation arrays with multiplicities for the spaces P_k of holomorphic polynomials of degree at most k. We find that the geometric conditions satisfied by these arrays are in accordance with the conditions satisfied by the sampling and interpolating sequences with unbounded multiplicities in the Fock space, which can be seen as a limiting case of the space P_k as k tends to infinity.


title: Learning to Discuss Strategically: A Case Study on One Night Ultimate Werewolf

abstract: Communication is a fundamental aspect of human society, facilitating the exchange of information and beliefs among people. Despite the advancements in large language models (LLMs), recent agents built with these often neglect the control over discussion tactics, which are essential in communication scenarios and games. As a variant of the famous communication game Werewolf, One Night Ultimate Werewolf (ONUW) requires players to develop strategic discussion policies due to the potential role changes that increase the uncertainty and complexity of the game. In this work, we first present the existence of the Perfect Bayesian Equilibria (PBEs) in two scenarios of the ONUW game: one with discussion and one without. The results showcase that the discussion greatly changes players' utilities by affecting their beliefs, emphasizing the significance of discussion tactics. Based on the insights obtained from the analyses, we propose an RL-instructed language agent framework, where a discussion policy trained by reinforcement learning (RL) is employed to determine appropriate discussion tactics to adopt. Our experimental results on several ONUW game settings demonstrate the effectiveness and generalizability of our proposed framework.


title: Universal finite-time scaling in the transcritical, saddle-node, and pitchfork discrete and continuous bifurcations

abstract: Bifurcations are one of the most remarkable features of dynamical systems. Corral et al. [Sci. Rep. 8(11783), 2018] showed the existence of scaling laws describing the transient (finite-time) dynamics in discrete dynamical systems close to a bifurcation point, following an approach that was valid for the transcritical as well as for the saddle-node bifurcations. We reformulate those previous results and extend them to other discrete and continuous bifurcations, remarkably the pitchfork bifurcation. In contrast to the previous work, we obtain a finite-time bifurcation diagram directly from the scaling law, without a necessary knowledge of the stable fixed point. The derived scaling laws provide a very good and universal description of the transient behavior of the systems for long times and close to the bifurcation points.


title: Scalable Test Generation to Trigger Rare Targets in High-Level Synthesizable IPs for Cloud FPGAs

abstract: High-Level Synthesis (HLS) has transformed the development of complex Hardware IPs (HWIP) by offering abstraction and configurability through languages like SystemC/C++, particularly for Field Programmable Gate Array (FPGA) accelerators in high-performance and cloud computing contexts. These IPs can be synthesized for different FPGA boards in cloud, offering compact area requirements and enhanced flexibility. HLS enables designs to execute directly on ARM processors within modern FPGAs without the need for Register Transfer Level (RTL) synthesis, thereby conserving FPGA resources. While HLS offers flexibility and efficiency, it also introduces potential vulnerabilities such as the presence of hidden circuitry, including the possibility of hosting hardware trojans within designs. In cloud environments, these vulnerabilities pose significant security concerns such as leakage of sensitive data, IP functionality disruption and hardware damage, necessitating the development of robust testing frameworks. This research presents an advanced testing approach for HLS-developed cloud IPs, specifically targeting hidden malicious functionalities that may exist in rare conditions within the design. The proposed method leverages selective instrumentation, combining greybox fuzzing and concolic execution techniques to enhance test generation capabilities. Evaluation conducted on various HLS benchmarks, possessing characteristics of FPGA-based cloud IPs with embedded cloud related threats, demonstrates the effectiveness of our framework in detecting trojans and rare scenarios, showcasing improvements in coverage, time efficiency, memory usage, and testing costs compared to existing methods.


title: Hyper-Transformer for Amodal Completion

abstract: Amodal object completion is a complex task that involves predicting the invisible parts of an object based on visible segments and background information. Learning shape priors is crucial for effective amodal completion, but traditional methods often rely on two-stage processes or additional information, leading to inefficiencies and potential error accumulation. To address these shortcomings, we introduce a novel framework named the Hyper-Transformer Amodal Network (H-TAN). This framework utilizes a hyper transformer equipped with a dynamic convolution head to directly learn shape priors and accurately predict amodal masks. Specifically, H-TAN uses a dual-branch structure to extract multi-scale features from both images and masks. The multi-scale features from the image branch guide the hyper transformer in learning shape priors and in generating the weights for dynamic convolution tailored to each instance. The dynamic convolution head then uses the features from the mask branch to predict precise amodal masks. We extensively evaluate our model on three benchmark datasets: KINS, COCOA-cls, and D2SA, where H-TAN demonstrated superior performance compared to existing methods. Additional experiments validate the effectiveness and stability of the novel hyper transformer in our framework.


title: MM-Lego: Modular Biomedical Multimodal Models with Minimal Fine-Tuning

abstract: Learning holistic computational representations in physical, chemical or biological systems requires the ability to process information from different distributions and modalities within the same model. Thus, the demand for multimodal machine learning models has sharply risen for modalities that go beyond vision and language, such as sequences, graphs, time series, or tabular data. While there are many available multimodal fusion and alignment approaches, most of them require end-to-end training, scale quadratically with the number of modalities, cannot handle cases of high modality imbalance in the training set, or are highly topology-specific, making them too restrictive for many biomedical learning tasks. This paper presents Multimodal Lego (MM-Lego), a modular and general-purpose fusion and model merging framework to turn any set of encoders into a competitive multimodal model with no or minimal fine-tuning. We achieve this by introducing a wrapper for unimodal encoders that enforces lightweight dimensionality assumptions between modalities and harmonises their representations by learning features in the frequency domain to enable model merging with little signal interference. We show that MM-Lego 1) can be used as a model merging method which achieves competitive performance with end-to-end fusion models without any fine-tuning, 2) can operate on any unimodal encoder, and 3) is a model fusion method that, with minimal fine-tuning, achieves state-of-the-art results on six benchmarked multimodal biomedical tasks.


title: A Simple Linear Convergence Analysis of the Point-SAGA Algorithm

abstract: Point-SAGA is a randomized algorithm for minimizing a sum of convex functions using their proximity operators (proxs), proposed by Defazio (2016). At every iteration, the prox of only one randomly chosen function is called. We generalize the algorithm to any number of prox calls per iteration, not only one, and propose a simple proof of linear convergence when the functions are smooth and strongly convex.


title: Generalized Bigraded Toda Hierarchy

abstract: Bigraded Toda hierarchy $L_1^M(n)=L_2^N(n)$ is generalized to $L_1^M(n)=L_2^{N}(n)+\sum_{j\in \mathbb Z}\sum_{i=1}^{m}q^{(i)}_n\Lambda^jr^{(i)}_{n+1}$, which is the analogue of the famous constrained KP hierarchy $L^{k}= (L^{k})_{\geq0}+\sum_{i=1}^{m}q_{i}\partial^{-1}r_i$. It is known that different bosonizations of fermionic KP hierarchy will give rise to different kinds of integrable hierarchies. Starting from the fermionic form of constrained KP hierarchy, bilinear equation of this generalized bigraded Toda hierarchy (GBTH) are derived by using 2--component boson--fermion correspondence. Next based upon this, the Lax structure of GBTH is obtained. Conversely, we also derive bilinear equation of GBTH from the corresponding Lax structure.


title: Do high redshift QSOs and GRBs corroborate JWST?

abstract: The James Webb Space Telescope (JWST) is reporting unexpectedly massive high redshift galaxies that appear challenging from the $\Lambda$CDM perspective. Interpreted as a problem of cosmological origin, this necessitates Planck underestimating either matter density $\Omega_m$ or physical matter density $\Omega_m h^2$ at higher redshifts. Through standard frequentist profile likelihoods, we identify corroborating quasar (QSO) and gamma-ray burst (GRB) data sets where $\Omega_m$ increases with effective redshift $z_{\textrm{eff}}$, with $\Omega_m$ remaining anomalously large at higher redshifts. While the variation of $\Omega_m$ with $z_{\textrm{eff}}$ is at odds with the $\Lambda$CDM model, demarcating frequentist confidence intervals through differences in $\chi^2$ in profile likelihoods, the prevailing technique in the literature, points to $3.9 \sigma$ and $7.9 \sigma$ tensions between GRBs and QSOs, respectively, and Planck-$\Lambda$CDM. We explain the approximations inherent in the existing profile likelihood literature, and highlight fresh methodology that generalises the prescription. We show that alternative methods, including Bayesian approaches, lead to similar tensions.


title: GenKubeSec: LLM-Based Kubernetes Misconfiguration Detection, Localization, Reasoning, and Remediation

abstract: A key challenge associated with Kubernetes configuration files (KCFs) is that they are often highly complex and error-prone, leading to security vulnerabilities and operational setbacks. Rule-based (RB) tools for KCF misconfiguration detection rely on static rule sets, making them inherently limited and unable to detect newly-discovered misconfigurations. RB tools also suffer from misdetection, since mistakes are likely when coding the detection rules. Recent methods for detecting and remediating KCF misconfigurations are limited in terms of their scalability and detection coverage, or due to the fact that they have high expertise requirements and do not offer automated remediation along with misconfiguration detection. Novel approaches that employ LLMs in their pipeline rely on API-based, general-purpose, and mainly commercial models. Thus, they pose security challenges, have inconsistent classification performance, and can be costly. In this paper, we propose GenKubeSec, a comprehensive and adaptive, LLM-based method, which, in addition to detecting a wide variety of KCF misconfigurations, also identifies the exact location of the misconfigurations and provides detailed reasoning about them, along with suggested remediation. When empirically compared with three industry-standard RB tools, GenKubeSec achieved equivalent precision (0.990) and superior recall (0.999). When a random sample of KCFs was examined by a Kubernetes security expert, GenKubeSec's explanations as to misconfiguration localization, reasoning and remediation were 100% correct, informative and useful. To facilitate further advancements in this domain, we share the unique dataset we collected, a unified misconfiguration index we developed for label standardization, our experimentation code, and GenKubeSec itself as an open-source tool.


title: Tau Physics Opportunities at the Super Tau-Charm Facility

abstract: The super tau-charm facility will provide excellent conditions to perform a high-precision investigation of the tau-lepton properties: very high statistics, controllable systematics and low backgrounds. An overview of the broad physics program that could be addressed at this facility is presented.


title: HOLMES: to Detect Adversarial Examples with Multiple Detectors

abstract: Deep neural networks (DNNs) can easily be cheated by some imperceptible but purposeful noise added to images, and erroneously classify them. Previous defensive work mostly focused on retraining the models or detecting the noise, but has either shown limited success rates or been attacked by new adversarial examples. Instead of focusing on adversarial images or the interior of DNN models, we observed that adversarial examples generated by different algorithms can be identified based on the output of DNNs (logits). Logit can serve as an exterior feature to train detectors. Then, we propose HOLMES (Hierarchically Organized Light-weight Multiple dEtector System) to reinforce DNNs by detecting potential adversarial examples to minimize the threats they may bring in practical. HOLMES is able to distinguish \textit{unseen} adversarial examples from multiple attacks with high accuracy and low false positive rates than single detector systems even in an adaptive model. To ensure the diversity and randomness of detectors in HOLMES, we use two methods: training dedicated detectors for each label and training detectors with top-k logits. Our effective and inexpensive strategies neither modify original DNN models nor require its internal parameters. HOLMES is not only compatible with all kinds of learning models (even only with external APIs), but also complementary to other defenses to achieve higher detection rates (may also fully protect the system against various adversarial examples).


title: PLA4D: Pixel-Level Alignments for Text-to-4D Gaussian Splatting

abstract: As text-conditioned diffusion models (DMs) achieve breakthroughs in image, video, and 3D generation, the research community's focus has shifted to the more challenging task of text-to-4D synthesis, which introduces a temporal dimension to generate dynamic 3D objects. In this context, we identify Score Distillation Sampling (SDS), a widely used technique for text-to-3D synthesis, as a significant hindrance to text-to-4D performance due to its Janus-faced and texture-unrealistic problems coupled with high computational costs. In this paper, we propose \textbf{P}ixel-\textbf{L}evel \textbf{A}lignments for Text-to-\textbf{4D} Gaussian Splatting (\textbf{PLA4D}), a novel method that utilizes text-to-video frames as explicit pixel alignment targets to generate static 3D objects and inject motion into them. Specifically, we introduce Focal Alignment to calibrate camera poses for rendering and GS-Mesh Contrastive Learning to distill geometry priors from rendered image contrasts at the pixel level. Additionally, we develop Motion Alignment using a deformation network to drive changes in Gaussians and implement Reference Refinement for smooth 4D object surfaces. These techniques enable 4D Gaussian Splatting to align geometry, texture, and motion with generated videos at the pixel level. Compared to previous methods, PLA4D produces synthesized outputs with better texture details in less time and effectively mitigates the Janus-faced problem. PLA4D is fully implemented using open-source models, offering an accessible, user-friendly, and promising direction for 4D digital content creation. Our project page: https://miaoqiaowei.github.io/PLA4D/.


title: Multi-Aspect Controllable Text Generation with Disentangled Counterfactual Augmentation

abstract: Multi-aspect controllable text generation aims to control the generated texts in attributes from multiple aspects (e.g., "positive" from sentiment and "sport" from topic). For ease of obtaining training samples, existing works neglect attribute correlations formed by the intertwining of different attributes. Particularly, the stereotype formed by imbalanced attribute correlations significantly affects multi-aspect control. In this paper, we propose MAGIC, a new multi-aspect controllable text generation method with disentangled counterfactual augmentation. We alleviate the issue of imbalanced attribute correlations during training using counterfactual feature vectors in the attribute latent space by disentanglement. During inference, we enhance attribute correlations by target-guided counterfactual augmentation to further improve multi-aspect control. Experiments show that MAGIC outperforms state-of-the-art baselines in both imbalanced and balanced attribute correlation scenarios. Our source code and data are available at https://github.com/nju-websoft/MAGIC.


title: An ergodic automorphism $\bf T$ with singular spectrum of $\bf T^{\otimes n}$ and Lebesgue one of $\bf T^{\otimes (n+1)}$

abstract: For any natural $n$, and real $\alpha\geq 0$ we construct an ergodic automorphism $T$ such that its tensor powers $T^{\otimes n}$ have singular spectra if $n\leq 1+\alpha /2$, and Lebesgue if $n\, > 1+\alpha/2$.


title: A study of interacting galaxies from the Arp-Madore Catalogue: Triggering of star formation and nuclear activity

abstract: We present Gemini Multi-Object Spectrograph (GMOS) spectroscopic observations of 95 galaxies from the Arp & Madore (1987) catalogue of peculiar galaxies. These galaxies have been selected because they appear to be in pairs and small groups. These observations have allowed us to confirm that 60 galaxies are indeed interacting systems. For the confirmed interacting sample, we have built a matched control sample of isolated galaxies. We present an analysis of the stellar populations and nuclear activity in the interacting galaxies and compare them with the isolated galaxies. We find a median light (mass) fraction of 55% (10%) in the interacting galaxies coming from stellar populations younger than 2 Gyr and 28% (3%) in the case of the isolated galaxies. More than half of the interacting galaxies are dominated by this young stellar population, while the isolated ones have most of their light coming from older stellar populations. We used a combination of diagnostic diagrams (BPTs and WHAN) to classify the main ionization mechanisms of the gas. The interacting galaxies in our sample consistently show a higher fraction of active galactic nuclei (AGN) relative to the control sample, which ranges between 1.6 and 4 depending on the combination of diagnostic diagrams employed to classify the galaxies and the number of galaxies considered. Our study provides further observational evidence that interactions drive star formation and nuclear activity in galaxies and can have a significant impact on galaxy evolution.


title: Collective Variable Free Transition Path Sampling with Generative Flow Network

abstract: Understanding transition paths between meta-stable states in molecular systems is fundamental for material design and drug discovery. However, sampling these paths via molecular dynamics simulations is computationally prohibitive due to the high-energy barriers between the meta-stable states. Recent machine learning approaches are often restricted to simple systems or rely on collective variables (CVs) extracted from expensive domain knowledge. In this work, we propose to leverage generative flow networks (GFlowNets) to sample transition paths without relying on CVs. We reformulate the problem as amortized energy-based sampling over molecular trajectories and train a bias potential by minimizing the squared log-ratio between the target distribution and the generator, derived from the flow matching objective of GFlowNets. Our evaluation on three proteins (Alanine Dipeptide, Polyproline, and Chignolin) demonstrates that our approach, called TPS-GFN, generates more realistic and diverse transition paths than the previous CV-free machine learning approach.


title: Scanning tunneling spectroscopy of magnetic quantum impurities in two-dimensional magnets

abstract: We study scanning tunneling spectroscopy (STS) of magnetic quantum impurities in (partially) polarized phases of two-dimensional (2D) van der Waals magnets. Focusing on the Kitaev-Heisenberg honeycomb model for transition metal trihalides, e.g., CrI$_3$ or $\alpha$-RuCl$_3$, we consider adatom and substitutional impurity positions. Unlike the non-magnetic case, magnetic impurities can induce bound states below the magnon gap, whose energy one can measured by STS at finite bias voltage. Whenever the bound state energy vanishes as function of the magnetic field, we predict discontinuous local spin transitions which are expected to be ubiquitous in 2D magnets. They can be detected by STS in the zero-bias limit.


title: Comparison of non-decoy single-photon source and decoy weak coherent pulse in quantum key distribution

abstract: Advancements in practical single-photon sources (SPS) exhibiting high brightness and low $g^{(2)}(0)$ have garnered significant interest for their application in quantum key distribution (QKD). To assess their QKD performance, it is essential to compare them with the widely employed weak coherent pulses (WCPs) in the decoy state method. In this work, we analyze the non-decoy efficient BB84 protocol for an SPS, partially characterising its photon statistics by its $g^{(2)}(0)$ and mean photon number. We compare it to the 2-decoy efficient BB84 with WCPs within the finite-key analysis framework while optimizing the parameters of both protocols. Our findings indicate that the non-decoy SPS with a mean photon number of $\langle n \rangle = 0.5$ and $g^{(2)}(0) = 3.6\%$ can enhance the secure key generation over the 2-decoy WCP for block sizes under $4.66 \cdot 10^9$ sent signals ($29$ seconds of acquisition time) at a channel loss of $10$ dB ($52.5$ km of optical fibre). Additionally, we demonstrate an increase in the maximum tolerable channel loss for SPSs with mean photon number $\langle n \rangle \geq 0.0142$ at block sizes below $10^8$ sent signals ($0.62$ seconds of acquisition time). These results suggest that SPSs hold potential for key rate enhancement in short-range QKD networks, though further research is required to evaluate their key generation capabilities when integrated into the decoy method.


title: A Proof of $\mathfrak{L}^2$-Boundedness for Magnetic Pseudodifferential Super Operators via Matrix Representations With Respect to Parseval Frames

abstract: A fundamental result in pseudodifferential theory is the Calder\'on-Vaillancourt theorem, which states that a pseudodifferential operator defined from a H\"ormander symbol of order $0$ defines a bounded operator on $L^2(\mathbb{R}^d)$. In this work we prove an analog for pseudodifferential \emph{super} operator, \ie operators acting on other operators, in the presence of magnetic fields. More precisely, we show that magnetic pseudodifferential super operators of order $0$ define bounded operators on the space of Hilbert-Schmidt operators $\mathfrak{L}^2 \bigl ( \mathcal{B} \bigl ( L^2(\mathbb{R}^d) \bigr ) \bigr )$. Our proof is inspired by the recent work of Cornean, Helffer and Purice and rests on a characterization of magnetic pseudodifferential super operators in terms of their "matrix element" computed with respect to a Parseval frame.


title: Several classes of BCH codes of length $n=\frac{q^{m}-1}{2}$

abstract: BCH codes are an important class of cyclic codes, and have wide applications in communication and storage systems. In this paper, we study the negacyclic BCH code and cyclic BCH code of length $n=\frac{q^m-1}{2}$.For negacyclic BCH code, we give the dimensions of $\mathcal C_{(n,-1,\delta,0)}$ for $\widetilde{\delta} =a\frac{q^m-1}{q-1},aq^{m-1}-1$($1\leq a <\frac{q-1}{2}$) and $\widetilde{\delta} =a\frac{q^m-1}{q-1}+b\frac{q^m-1}{q^2-1},aq^{m-1}+(a+b)q^{m-2}-1$ $(2\mid m,1\leq a+b \leq q-1$,$\left\lceil \frac{q-a-2}{2}\right\rceil\geq 1)$. The dimensions of negacyclic BCH codes $\mathcal C_{(n,-1,\delta,0)}$ with few nonzeros and $\mathcal C_{(n,-1,\delta,b)}$ with $b\neq 1$ are settled.For cyclic BCH code, we give the weight distributions of extended codes $\overline{\mathcal C}_{(n,1,\delta,1)}$ for $\delta=\delta_1,\delta_2$ and the parameters of dual code $\mathcal C^{\perp}_{(n,1,\delta,1)}$ for $\delta_2\leq \delta \leq \delta_1$.


title: Influence of deposition parameters on the plasmonic properties of gold nanoantennas fabricated by focused ion beam lithography

abstract: The behavior of plasmonic antennas is influenced by a variety of factors, including their size, shape, and material. Even minor changes in the deposition parameters during the thin film preparation process may have a significant impact on the dielectric function of the film, and thus on the plasmonic properties of the resulting antenna. In this work, we deposited gold thin films with thicknesses of 20 nm, 30 nm, and 40 nm at various deposition rates using an ion-beam-assisted deposition. We evaluate their morphology and crystallography by atomic force microscopy, X ray diffraction, and transmission electron microscopy. Next, we examined the ease of fabricating plasmonic antennas using focused-ion-beam lithography. Finally, we evaluate their plasmonic properties by electron energy loss spectroscopy measurements of individual antennas. Our results show that the optimal gold thin film for plasmonic antenna fabrication of a thickness of 20 and 30 nm should be deposited at the deposition rate of around 0.1 nm/s. The thicker 40 nm film should be deposited at a higher deposition rate like 0.3 nm/s.


title: Improved Out-of-Scope Intent Classification with Dual Encoding and Threshold-based Re-Classification

abstract: Detecting out-of-scope user utterances is essential for task-oriented dialogues and intent classification. Current methodologies face difficulties with the unpredictable distribution of outliers and often rely on assumptions about data distributions. We present the Dual Encoder for Threshold-Based Re-Classification (DETER) to address these challenges. This end-to-end framework efficiently detects out-of-scope intents without requiring assumptions on data distributions or additional post-processing steps. The core of DETER utilizes dual text encoders, the Universal Sentence Encoder (USE) and the Transformer-based Denoising AutoEncoder (TSDAE), to generate user utterance embeddings, which are classified through a branched neural architecture. Further, DETER generates synthetic outliers using self-supervision and incorporates out-of-scope phrases from open-domain datasets. This approach ensures a comprehensive training set for out-of-scope detection. Additionally, a threshold-based re-classification mechanism refines the model's initial predictions. Evaluations on the CLINC-150, Stackoverflow, and Banking77 datasets demonstrate DETER's efficacy. Our model outperforms previous benchmarks, increasing up to 13% and 5% in F1 score for known and unknown intents on CLINC-150 and Stackoverflow, and 16% for known and 24% % for unknown intents on Banking77. The source code has been released at https://github.com/Hossam-Mohammed-tech/Intent_Classification_OOS.


title: A Dynamic Logic for Information Evaluation in Intelligence

abstract: In the field of human intelligence, officers use an alphanumeric scale, known as the Admiralty System, to rate the credibility of messages and the reliability of their sources (NATO AJP-2.1, 2016). During this evaluation, they are expected to estimate the credibility and reliability dimensions independently of each other (NATO STANAG, 2003). However, empirical results show that officers perceive these dimensions as strongly correlated (Baker et al., 1968). More precisely, they consider credibility as playing the leading role over reliability, the importance of which is only secondary (Samet, 1975). In this paper, we present a formal evaluative procedure, called L(intel), in line with these findings. We adapt dynamic belief revision to make credibility the main dimension of evaluation and introduce dynamic operators to update credibility ratings with the source's reliability. In addition to being empirically sound, we show that L(intel) provides an effective procedure to classify intelligence messages along the descriptive taxonomy presented in Icard (2023).


title: Stable semi-implicit SDC methods for conservation laws

abstract: Semi-implicit spectral deferred correction (SDC) methods provide a systematic approach to construct time integration methods of arbitrarily high order for nonlinear evolution equations including conservation laws. They converge towards $A$- or even $L$-stable collocation methods, but are often not sufficiently robust themselves. In this paper, a family of SDC methods inspired by an implicit formulation of the Lax-Wendroff method is developed. Compared to fully implicit approaches, the methods have the advantage that they only require the solution of positive definite or semi-definite linear systems. Numerical evidence suggests that the proposed semi-implicit SDC methods with Radau points are $L$-stable up to order 11 and require very little diffusion for orders 13 and 15. The excellent stability and accuracy of these methods is confirmed by numerical experiments with 1D conservation problems, including the convection-diffusion, Burgers, Euler and Navier-Stokes equations.


title: Strategies to Counter Artificial Intelligence in Law Enforcement: Cross-Country Comparison of Citizens in Greece, Italy and Spain

abstract: This paper investigates citizens' counter-strategies to the use of Artificial Intelligence (AI) by law enforcement agencies (LEAs). Based on information from three countries (Greece, Italy and Spain) we demonstrate disparities in the likelihood of ten specific counter-strategies. We further identified factors that increase the propensity for counter-strategies. Our study provides an important new perspective to societal impacts of security-focused AI applications by illustrating the conscious, strategic choices by citizens when confronted with AI capabilities for LEAs.


title: GasTrace: Detecting Sandwich Attack Malicious Accounts in Ethereum

abstract: The openness and transparency of Ethereum transaction data make it easy to be exploited by any entities, executing malicious attacks. The sandwich attack manipulates the Automated Market Maker (AMM) mechanism, profiting from manipulating the market price through front or after-running transactions. To identify and prevent sandwich attacks, we propose a cascade classification framework GasTrace. GasTrace analyzes various transaction features to detect malicious accounts, notably through the analysis and modeling of Gas features. In the initial classification, we utilize the Support Vector Machine (SVM) with the Radial Basis Function (RBF) kernel to generate the predicted probabilities of accounts, further constructing a detailed transaction network. Subsequently, the behavior features are captured by the Graph Attention Network (GAT) technique in the second classification. Through cascade classification, GasTrace can analyze and classify the sandwich attacks. Our experimental results demonstrate that GasTrace achieves a remarkable detection and generation capability, performing an accuracy of 96.73% and an F1 score of 95.71% for identifying sandwich attack accounts.


title: Space-time first-order correlations of an open Bose-Hubbard model with incoherent pump and loss

abstract: We investigate the correlation properties in the steady state of driven-dissipative interacting bosonic systems in the quantum regime, as for example non-linear photonic cavities. Specifically, we consider the Bose-Hubbard model on a periodic chain and with spatially homogeneous one-body loss and pump within the Markovian approximation. The steady state corresponds to an infinite temperature state at finite chemical potential with diagonal spatial correlations. Nonetheless, we observe a nontrivial behaviour of the space-time two-point correlation function in the steady state, obtained by exact diagonalisation. In particular, we find that the decay width of the propagator is not only renormalised at increasing interactions, as it is the case of a single non-linear resonator, but also at increasing hopping strength. We then compute the full spectral function, finding that it contains both a dispersive free-particle like dispersion at low energy and a doublon branch at energy corresponding to the on-site interactions. We compare with the corresponding calculation for the ground state of a closed quantum system and show that the driven-dissipative nature - determining both the steady state and the dynamical evolution - changes the low-lying part of the spectrum, where noticeably, the dispersion is quadratic instead of linear at small wavevectors.


title: A Triumvirate of AI Driven Theoretical Discovery

abstract: Recent years have seen the dramatic rise of the usage of AI algorithms in pure mathematics and fundamental sciences such as theoretical physics. This is perhaps counter-intuitive since mathematical sciences require the rigorous definitions, derivations, and proofs, in contrast to the experimental sciences which rely on the modelling of data with error-bars. In this Perspective, we categorize the approaches to mathematical discovery as "top-down", "bottom-up" and "meta-mathematics", as inspired by historical examples. We review some of the progress over the last few years, comparing and contrasting both the advances and the short-comings in each approach. We argue that while the theorist is in no way in danger of being replaced by AI in the near future, the hybrid of human expertise and AI algorithms will become an integral part of theoretical discovery.


title: Atomistic compositional details and their importance for spin qubits in isotope-purified silicon-germanium quantum wells

abstract: Understanding crystal characteristics down to the atomistic level increasingly emerges as a crucial insight for creating solid state platforms for qubits with reproducible and homogeneous properties. Here, isotope composition depth profiles in a SiGe/$^{28}$Si/SiGe heterostructure are analyzed with atom probe tomography (APT) and time-of-flight secondary-ion mass spectrometry. Spin-echo dephasing times $T_2^{echo}=128 \mu s$ and valley energy splittings around $200 \mu eV$ have been observed for single spin qubits in this quantum well (QW) heterostructure, pointing towards the suppression of qubit decoherence through hyperfine interaction or via scattering between valley states. The concentration of nuclear spin-carrying $^{29}$Si is 50 ppm in the $^{28}$Si QW. APT allows to uncover that both the top SiGe/$^{28}$Si and the bottom $^{28}$Si/SiGe interfaces of the QW are shaped by epitaxial growth front segregation signatures on a few monolayer scale. A subsequent thermal treatment broadens the top interface by about two monolayers, while the width of the bottom interface remains unchanged. Using a tight-binding model including SiGe alloy disorder, these experimental results suggest that the combination of the slightly thermally broadened top interface and of a minimal Ge concentration of $0.3 \%$ in the QW, resulting from segregation, is instrumental for the observed large valley splitting. Minimal Ge additions $< 1 \%$, which get more likely in thin QWs, will hence support high valley splitting without compromising coherence times. At the same time, taking thermal treatments during device processing as well as the occurrence of crystal growth characteristics into account seems important for the design of reproducible qubit properties.


title: Comet 81/P Wild 2: changes in the spin axis orientation during the last five apparitions

abstract: Comet 81P (Wild 2) is characterized by the presence of a prominent-fan shaped dust emission originating from an active source at high latitude on the nucleus, whose axis is assumed to coincide with the comet's rotation axis. Therefore, several authors estimated the spin axis orientation of 81P in past apparitions based on the polar jet model. By measuring the PAs of the fan on CCD images taken with different telescopes during the 2009-10 and 2022-23 apparitions, we estimated a position of the comet's spin axis at RA=295.0{\deg}$\pm$ 7.5{\deg}, Dec=14.5{\deg}$\pm$ 4.0{\deg} for the 2009-10 apparition and at RA=296.7{\deg}$\pm$ 2.0{\deg}, Dec=17.3{\deg}$\pm$ 2.5{\deg} for the 2022-23 apparition. Despite some degree of uncertainty of the estimate for the 2009-10 apparition, we interpolated the estimate for 2009-10 and 2022-23 with the published data of the previous apparition of 1997, to assess the presence and the extent of a drift of the pole since the 1997 passage. The analysis over a long time span of five consecutive apparitions confirms previous observations that the spin axis of comet 81P is subject to a slow drift with variable rate, probably connected to outgassing-induced jet forces and the related non-gravitational perturbations of its orbital period.


title: Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects

abstract: In the ever-evolving field of Deep Learning (DL), ensuring project quality and reliability remains a crucial challenge. This research investigates testing practices within DL projects in GitHub. It quantifies the adoption of testing methodologies, focusing on aspects like test automation, the types of tests (e.g., unit, integration, and system), test suite growth rate, and evolution of testing practices across different project versions. We analyze a subset of 300 carefully selected repositories based on quantitative and qualitative criteria. This study reports insights on the prevalence of testing practices in DL projects within the open-source community.


title: Consistent Submodular Maximization

abstract: Maximizing monotone submodular functions under cardinality constraints is a classic optimization task with several applications in data mining and machine learning. In this paper we study this problem in a dynamic environment with consistency constraints: elements arrive in a streaming fashion and the goal is maintaining a constant approximation to the optimal solution while having a stable solution (i.e., the number of changes between two consecutive solutions is bounded). We provide algorithms in this setting with different trade-offs between consistency and approximation quality. We also complement our theoretical results with an experimental analysis showing the effectiveness of our algorithms in real-world instances.


title: Domain Adaptation with Cauchy-Schwarz Divergence

abstract: Domain adaptation aims to use training data from one or multiple source domains to learn a hypothesis that can be generalized to a different, but related, target domain. As such, having a reliable measure for evaluating the discrepancy of both marginal and conditional distributions is crucial. We introduce Cauchy-Schwarz (CS) divergence to the problem of unsupervised domain adaptation (UDA). The CS divergence offers a theoretically tighter generalization error bound than the popular Kullback-Leibler divergence. This holds for the general case of supervised learning, including multi-class classification and regression. Furthermore, we illustrate that the CS divergence enables a simple estimator on the discrepancy of both marginal and conditional distributions between source and target domains in the representation space, without requiring any distributional assumptions. We provide multiple examples to illustrate how the CS divergence can be conveniently used in both distance metric- or adversarial training-based UDA frameworks, resulting in compelling performance.


title: Cosmological Infrared Subtractions & Infrared-Safe Computables

abstract: Cosmological observables in perturbation theory turn out to be plagued with infrared divergences, which represents both a conceptual and computational challenge. In this paper we present a proof of concept for a systematic procedure to remove these divergences in a large class of scalar cosmological integrals and consistently define an infrared safe computable in perturbation theory. We provide diagrammatic rules which are based on the nestohedra underlying the asymptotic structure of such integrals.


title: High topological charge lasing in quasicrystals

abstract: Photonic modes exhibiting a polarization winding akin to a vortex possess an integer topological charge. Lasing with topological charge 1 or 2 can be realized in periodic lattices of up to six-fold rotational symmetry. Higher order charges require symmetries not compatible with any two-dimensional Bravais lattice. Here, we experimentally demonstrate lasing with topological charges as high as -5, +7, -17 and +19 in quasicrystals. We discover rich ordered structures of increasing topological charges in the reciprocal space. Our quasicrystal design utilizes group theory in determining electromagnetic field nodes, where lossy plasmonic nanoparticles are positioned to maximize gain. Our results open a new path for fundamental studies of higher-order topological defects, coherent light beams of high topological charge, and realizations of omni-directional, flat-band-like lasing.


title: Color dipole cross-section from unifying the color dipole picture and improved saturation models

abstract: We present an analysis of the color-dipole picture (CDP) for determination of the gluon density at low-$x$ which is obtained from the Altarelli-Martinelli equation by expansion at distinct points of expansion. The dipole cross-sections with respect to the improved saturation model of Bartels-Golec-Biernat-Kowalski (BGK) are obtained in a wide range of transverse sizes $r$ and compared with the Golec-Biernat-W$\ddot{\mathrm{u}}$sthoff (GBW) model. We find that the model gives a good description of the dipole cross-section at large $r$ which confirms saturation and matches the perturbative QCD result at a small $r$ due to the significant role of the running of the gluon distribution. The transition between these regions occurs with decreasing transverse sizes with a decrease of Bjorken $x$ and dependence on the expansion point.


title: A Deep Reinforcement Learning Approach for Trading Optimization in the Forex Market with Multi-Agent Asynchronous Distribution

abstract: In today's forex market traders increasingly turn to algorithmic trading, leveraging computers to seek more profits. Deep learning techniques as cutting-edge advancements in machine learning, capable of identifying patterns in financial data. Traders utilize these patterns to execute more effective trades, adhering to algorithmic trading rules. Deep reinforcement learning methods (DRL), by directly executing trades based on identified patterns and assessing their profitability, offer advantages over traditional DL approaches. This research pioneers the application of a multi-agent (MA) RL framework with the state-of-the-art Asynchronous Advantage Actor-Critic (A3C) algorithm. The proposed method employs parallel learning across multiple asynchronous workers, each specialized in trading across multiple currency pairs to explore the potential for nuanced strategies tailored to different market conditions and currency pairs. Two different A3C with lock and without lock MA model was proposed and trained on single currency and multi-currency. The results indicate that both model outperform on Proximal Policy Optimization model. A3C with lock outperforms other in single currency training scenario and A3C without Lock outperforms other in multi-currency scenario. The findings demonstrate that this approach facilitates broader and faster exploration of different currency pairs, significantly enhancing trading returns. Additionally, the agent can learn a more profitable trading strategy in a shorter time.


title: Propagation, dissipation and breakdown in quantum anomalous Hall edge states probed by microwave edge plasmons

abstract: The quantum anomalous Hall (QAH) effect, with its single chiral, topologically protected edge state, offers a platform for flying Majorana states as well as non-reciprocal microwave devices. While recent research showed the non-reciprocity of edge plasmons in Cr-doped $\mathrm{(Bi_xSb_\text{1-x})_2Te_3}$, the understanding of their dissipation remains incomplete. Our study explores edge plasmon dissipation in V-doped $\mathrm{(Bi_xSb_\text{1-x})_2Te_3}$ films, analyzing microwave transmission across various conditions. We identify interactions with charge puddles as a primary source of dissipation, providing insights critical for developing improved QAH-based technologies.


title: Hydrodynamics of a hard-core non-polar active lattice gas

abstract: We present a fluctuating hydrodynamic description of a non-polar active lattice gas model with excluded volume interactions that exhibits motility-induced phase separation under appropriate conditions. For quasi-one dimension and higher, stability analysis of the noiseless hydrodynamics gives quantitative bounds on the phase boundary of the motility-induced phase separation in terms of spinodal and binodal. Inclusion of the multiplicative noise in the fluctuating hydrodynamics describes the exponentially decaying two-point correlations in the stationary-state homogeneous phase. Our hydrodynamic description and theoretical predictions based on it are in excellent agreement with our Monte-Carlo simulations and pseudo-spectral iteration of the hydrodynamics equations. Our construction of hydrodynamics for this model is not suitable in strictly one-dimension with single-file constraints, and we argue that this breakdown is associated with micro-phase separation.


title: Targeted Sequential Indirect Experiment Design

abstract: Scientific hypotheses typically concern specific aspects of complex, imperfectly understood or entirely unknown mechanisms, such as the effect of gene expression levels on phenotypes or how microbial communities influence environmental health. Such queries are inherently causal (rather than purely associational), but in many settings, experiments can not be conducted directly on the target variables of interest, but are indirect. Therefore, they perturb the target variable, but do not remove potential confounding factors. If, additionally, the resulting experimental measurements are multi-dimensional and the studied mechanisms nonlinear, the query of interest is generally not identified. We develop an adaptive strategy to design indirect experiments that optimally inform a targeted query about the ground truth mechanism in terms of sequentially narrowing the gap between an upper and lower bound on the query. While the general formulation consists of a bi-level optimization procedure, we derive an efficiently estimable analytical kernel-based estimator of the bounds for the causal effect, a query of key interest, and demonstrate the efficacy of our approach in confounded, multivariate, nonlinear synthetic settings.


title: Recent global temperature surge amplified by record-low planetary albedo

abstract: In 2023, the global mean temperature soared to 1.48K above the pre-industrial level, surpassing the previous record by 0.17K. Previous best-guess estimates of known drivers including anthropogenic warming and the El Nino onset fall short by about 0.2K in explaining the temperature rise. Utilizing satellite and reanalysis data, we identify a record-low planetary albedo as the primary factor bridging this gap. The decline is caused largely by a reduced low-cloud cover in the northern mid-latitudes and tropics, in continuation of a multi-annual trend. Understanding how much of the low-cloud trend is due to internal variability, reduced aerosol concentrations, or a possibly emerging low-cloud feedback will be crucial for assessing the current and expected future warming.


title: Stabilization of Biskyrmions by chiral interaction in centrosymmetric magnets

abstract: We report a microscopic mechanism for stabilization of biskyrmions in nature by investigating a minimal classical spin lattice model with nearest neighbour ferromagnetic Heisenberg exchange and static chiral magnetic interaction on the triangular lattice. The model is physically motivated model from the Mott insulators with broken time-reversal symmetry, that is, in the large-$U$ limit of the one band Hubbard model at half-filling on a two-dimensional lattice in the presence of external magnetic field. At order $1/U^{2}$, the external magnetic field can induce a chiral interaction between the three neighbouring spins. We demonstrate that the chiral magnetic interaction results in biskyrmion states above a critical value and its strength affects the size of biskyrmions forming.


title: Video-Language Critic: Transferable Reward Functions for Language-Conditioned Robotics

abstract: Natural language is often the easiest and most convenient modality for humans to specify tasks for robots. However, learning to ground language to behavior typically requires impractical amounts of diverse, language-annotated demonstrations collected on each target robot. In this work, we aim to separate the problem of what to accomplish from how to accomplish it, as the former can benefit from substantial amounts of external observation-only data, and only the latter depends on a specific robot embodiment. To this end, we propose Video-Language Critic, a reward model that can be trained on readily available cross-embodiment data using contrastive learning and a temporal ranking objective, and use it to score behavior traces from a separate reinforcement learning actor. When trained on Open X-Embodiment data, our reward model enables 2x more sample-efficient policy training on Meta-World tasks than a sparse reward only, despite a significant domain gap. Using in-domain data but in a challenging task generalization setting on Meta-World, we further demonstrate more sample-efficient training than is possible with prior language-conditioned reward models that are either trained with binary classification, use static images, or do not leverage the temporal information present in video data.


title: Self-locked broadband Raman-electro-optic microcomb

abstract: Optical frequency combs (OFCs), composed of equally spaced frequency tones, have spurred advancements in communications, spectroscopy, precision measurement and fundamental physics research. A prevalent method for generating OFCs involves the electro-optic (EO) effect, i.e., EO comb, renowned for its rapid tunability via precise microwave field control. Recent advances in integrated lithium niobate (LN) photonics have greatly enhanced the efficiency of EO effect, enabling the generation of broadband combs with reduced microwave power. However, parasitic nonlinear effects, such as Raman scattering and four-wave mixing, often emerge in high quality nonlinear devices, impeding the expansion of comb bandwidth and the minimization of frequency noise. Here, we tame these nonlinear effects and present a novel type of OFC, i.e., the self-locked Raman-electro-optic (REO) microcomb by leveraging the collaboration of EO, Kerr and Raman scattering processes. The spectral width of the REO microcomb benefits from the Raman gain and Kerr effect, encompassing nearly 1400 comb lines spanning over 300 nm with a fine repetition rate of 26.03 GHz, much larger than the pure EO combs. Remarkably, the system can maintain a self-locked low-noise state in the presence of multiple nonlinearities without the need for external active feedback. Our approach points to a direction for improving the performance of microcombs and paves the way for exploring new nonlinear physics, such as new laser locking techniques, through the collaboration of inevitable multiple nonlinear effects in integrated photonics.


title: DiffPhysBA: Diffusion-based Physical Backdoor Attack against Person Re-Identification in Real-World

abstract: Person Re-Identification (ReID) systems pose a significant security risk from backdoor attacks, allowing adversaries to evade tracking or impersonate others. Beyond recognizing this issue, we investigate how backdoor attacks can be deployed in real-world scenarios, where a ReID model is typically trained on data collected in the digital domain and then deployed in a physical environment. This attack scenario requires an attack flow that embeds backdoor triggers in the digital domain realistically enough to also activate the buried backdoor in person ReID models in the physical domain. This paper realizes this attack flow by leveraging a diffusion model to generate realistic accessories on pedestrian images (e.g., bags, hats, etc.) as backdoor triggers. However, the noticeable domain gap between the triggers generated by the off-the-shelf diffusion model and their physical counterparts results in a low attack success rate. Therefore, we introduce a novel diffusion-based physical backdoor attack (DiffPhysBA) method that adopts a training-free similarity-guided sampling process to enhance the resemblance between generated and physical triggers. Consequently, DiffPhysBA can generate realistic attributes as semantic-level triggers in the digital domain and provides higher physical ASR compared to the direct paste method by 25.6% on the real-world test set. Through evaluations on newly proposed real-world and synthetic ReID test sets, DiffPhysBA demonstrates an impressive success rate exceeding 90% in both the digital and physical domains. Notably, it excels in digital stealth metrics and can effectively evade state-of-the-art defense methods.


title: OpenTM: An Open-source, Single-GPU, Large-scale Thermal Microstructure Design Framework

abstract: Thermal microstructures are artificially engineered materials designed to manipulate and control heat flow in unconventional ways. This paper presents an educational framework, called \emph{OpenTM}, to use a single GPU for designing periodic 3D high-resolution thermal microstructures to match the predefined thermal conductivity matrices with volume fraction constraints. Specifically, we use adaptive volume fraction to make the Optimality Criteria (OC) method run stably to obtain the thermal microstructures without a large memory overhead.Practical examples with a high resolution $128 \times 128 \times 128$ run under 90 seconds per structure on an NVIDIA GeForce GTX 4070Ti GPU with a peak GPU memory of 355 MB. Our open-source, high-performance implementation is publicly accessible at \url{https://github.com/quanyuchen2000/OPENTM}, and it is easy to install using Anaconda. Moreover, we provide a Python interface to make OpenTM well-suited for novices in C/C++.


title: Asymptotic v-numbers of graded (co)homology modules involving powers of an ideal

abstract: Let $R$ be a Noetherian $\mathbb{N}$-graded ring. Let $L$, $M$ and $N$ be finitely generated graded $R$-modules with $N \subseteq M$. For a homogeneous ideal $I$, and for each fixed $k \in \mathbb{N}$, we show the asymptotic linearity of v-numbers of the graded modules $ {\rm Ext}_R^{k}(L,{I^{n}M}/{I^{n}N})$ and ${\rm Tor}_k^{R}(L,{I^{n}M}/{I^{n}N})$ as functions of $n$. Moreover, under some conditions on ${\rm Ext}_R^k(L,M)$ and ${\rm Tor}_k^R(L,M)$ respectively, we prove similar behaviour for v-numbers of ${\rm Ext}_R^{k}(L,{M}/{I^{n}N})$ and $ {\rm Tor}_k^{R}(L,{M}/{I^{n}N})$. The last result is obtained by proving the asymptotic linearity of v-number of $(U+I^{n}V)/I^{n}W$, where $U$, $V$ and $W$ are graded submodules of a finitely generated graded $R$-module such that $W \subseteq V$ and $(0:_{U}I) = 0$.


title: On equivalence of two formulas of orbital magnetic susceptibility for tight-binding models

abstract: We prove that two formulas of the orbital magnetic susceptibility, namely, Koshino-Ando's formula and G\'{o}mes-Santos and Stauber's formula, are equivalent for the tight-binding models. The difference between these two formulas can be written in a form containing the surface terms arising from the momentum-space integration, and we show that the surface terms are exactly vanishing although the primitive functions are seemingly non-periodic with respect to the translation by the reciprocal lattice vector.


title: High-order parallel-in-time method for the monodomain equation in cardiac electrophysiology

abstract: Simulation of the monodomain equation, crucial for modeling the heart's electrical activity, faces scalability limits when traditional numerical methods only parallelize in space. To optimize the use of large multi-processor computers by distributing the computational load more effectively, time parallelization is essential. We introduce a high-order parallel-in-time method addressing the substantial computational challenges posed by the stiff, multiscale, and nonlinear nature of cardiac dynamics. Our method combines the semi-implicit and exponential spectral deferred correction methods, yielding a hybrid method that is extended to parallel-in-time employing the PFASST framework. We thoroughly evaluate the stability, accuracy, and robustness of the proposed parallel-in-time method through extensive numerical experiments, using practical ionic models such as the ten-Tusscher-Panfilov. The results underscore the method's potential to significantly enhance real-time and high-fidelity simulations in biomedical research and clinical applications.


title: Symmetries in Overparametrized Neural Networks: A Mean-Field View

abstract: We develop a Mean-Field (MF) view of the learning dynamics of overparametrized Artificial Neural Networks (NN) under data symmetric in law wrt the action of a general compact group $G$. We consider for this a class of generalized shallow NNs given by an ensemble of $N$ multi-layer units, jointly trained using stochastic gradient descent (SGD) and possibly symmetry-leveraging (SL) techniques, such as Data Augmentation (DA), Feature Averaging (FA) or Equivariant Architectures (EA). We introduce the notions of weakly and strongly invariant laws (WI and SI) on the parameter space of each single unit, corresponding, respectively, to $G$-invariant distributions, and to distributions supported on parameters fixed by the group action (which encode EA). This allows us to define symmetric models compatible with taking $N\to\infty$ and give an interpretation of the asymptotic dynamics of DA, FA and EA in terms of Wasserstein Gradient Flows describing their MF limits. When activations respect the group action, we show that, for symmetric data, DA, FA and freely-trained models obey the exact same MF dynamic, which stays in the space of WI laws and minimizes therein the population risk. We also give a counterexample to the general attainability of an optimum over SI laws. Despite this, quite remarkably, we show that the set of SI laws is also preserved by the MF dynamics even when freely trained. This sharply contrasts the finite-$N$ setting, in which EAs are generally not preserved by unconstrained SGD. We illustrate the validity of our findings as $N$ gets larger in a teacher-student experimental setting, training a student NN to learn from a WI, SI or arbitrary teacher model through various SL schemes. We last deduce a data-driven heuristic to discover the largest subspace of parameters supporting SI distributions for a problem, that could be used for designing EA with minimal generalization error.


title: DP-IQA: Utilizing Diffusion Prior for Blind Image Quality Assessment in the Wild

abstract: Image quality assessment (IQA) plays a critical role in selecting high-quality images and guiding compression and enhancement methods in a series of applications. The blind IQA, which assesses the quality of in-the-wild images containing complex authentic distortions without reference images, poses greater challenges. Existing methods are limited to modeling a uniform distribution with local patches and are bothered by the gap between low and high-level visions (caused by widely adopted pre-trained classification networks). In this paper, we propose a novel IQA method called diffusion priors-based IQA (DP-IQA), which leverages the prior knowledge from the pre-trained diffusion model with its excellent powers to bridge semantic gaps in the perception of the visual quality of images. Specifically, we use pre-trained stable diffusion as the backbone, extract multi-level features from the denoising U-Net during the upsampling process at a specified timestep, and decode them to estimate the image quality score. The text and image adapters are adopted to mitigate the domain gap for downstream tasks and correct the information loss caused by the variational autoencoder bottleneck. Finally, we distill the knowledge in the above model into a CNN-based student model, significantly reducing the parameter to enhance applicability, with the student model performing similarly or even better than the teacher model surprisingly. Experimental results demonstrate that our DP-IQA achieves state-of-the-art results on various in-the-wild datasets with better generalization capability, which shows the superiority of our method in global modeling and utilizing the hierarchical feature clues of diffusion for evaluating image quality.


title: Analyzing the impact of forecast errors in the planning of wine grape harvesting operations using a multi-stage stochastic model approach

abstract: Forecasts and future beliefs play a critical role in the harvest labor hiring planning, especially when errors in them entails fixing previous made decisions, which can carry extra costs or losses. In this article, we study the effect that errors in the forecast/belief can have in the wine grape harvest planning process and the losses of the product. Errors are reflected in the prediction of yields and in the estimation of rain transition probabilities have on the value and losses of product. Also, using a multi-stage stochastic optimization model we can study the effect that second stage decisions have on the ability fix the planning decisions, reduce product losses and generate value. In a first step, we develop a multi-stage stochastic model which considers grape growth uncertainty given a belief in future events. The model decisions variables are: hiring, firing and maintaining harvest labor through periods, and also the harvested quantities in each period and block. Once the model defines the plan for the coming epoch, some decisions are implemented and a deviation in the forecast is revealed and the decision maker can adjust future decisions and beliefs. Results indicate that the effect of the errors in yield determination is not symmetrical; underestimations of the yields have a more significant negative effect on the objective function, while overestimation does not. Flexibility to revise hiring decisions does not make a significant difference if the yields are overestimated. The model significantly reduces losses of the better-quality grapes, since they correspond to a significant proportion of the income and account for the largest portion of income loss. Last, grapes that have an early improvement of their quality give the decision-maker an extra level of flexibility to adjust the harvesting plan.


title: LAGMA: LAtent Goal-guided Multi-Agent Reinforcement Learning

abstract: In cooperative multi-agent reinforcement learning (MARL), agents collaborate to achieve common goals, such as defeating enemies and scoring a goal. However, learning goal-reaching paths toward such a semantic goal takes a considerable amount of time in complex tasks and the trained model often fails to find such paths. To address this, we present LAtent Goal-guided Multi-Agent reinforcement learning (LAGMA), which generates a goal-reaching trajectory in latent space and provides a latent goal-guided incentive to transitions toward this reference trajectory. LAGMA consists of three major components: (a) quantized latent space constructed via a modified VQ-VAE for efficient sample utilization, (b) goal-reaching trajectory generation via extended VQ codebook, and (c) latent goal-guided intrinsic reward generation to encourage transitions towards the sampled goal-reaching path. The proposed method is evaluated by StarCraft II with both dense and sparse reward settings and Google Research Football. Empirical results show further performance improvement over state-of-the-art baselines.


title: The spectral radius and the distance spectral radius of complements of block graphs

abstract: In this paper, we determine the graphs whose spectral radius and distance spectral radius attain maximum and minimum among all complements of clique trees. Furthermore, we also determine the graphs whose spectral radius and distance spectral radius attain minimum and maximum among all complements of block graphs, respectively.


title: Combining physics-informed graph neural network and finite difference for solving forward and inverse spatiotemporal PDEs

abstract: The great success of Physics-Informed Neural Networks (PINN) in solving partial differential equations (PDEs) has significantly advanced our simulation and understanding of complex physical systems in science and engineering. However, many PINN-like methods are poorly scalable and are limited to in-sample scenarios. To address these challenges, this work proposes a novel discrete approach termed Physics-Informed Graph Neural Network (PIGNN) to solve forward and inverse nonlinear PDEs. In particular, our approach seamlessly integrates the strength of graph neural networks (GNN), physical equations and finite difference to approximate solutions of physical systems. Our approach is compared with the PINN baseline on three well-known nonlinear PDEs (heat, Burgers and FitzHugh-Nagumo). We demonstrate the excellent performance of the proposed method to work with irregular meshes, longer time steps, arbitrary spatial resolutions, varying initial conditions (ICs) and boundary conditions (BCs) by conducting extensive numerical experiments. Numerical results also illustrate the superiority of our approach in terms of accuracy, time extrapolability, generalizability and scalability. The main advantage of our approach is that models trained in small domains with simple settings have excellent fitting capabilities and can be directly applied to more complex situations in large domains.


title: Prospect of measuring the top quark mass through energy correlators

abstract: Reaching a high precision of the top quark mass is an important task of the Large Hadron Collider. We perform a feasibility study of measuring the top quark mass through the three-point energy correlator. The expected sensitivity of the top quark mass in the boosted regime is presented. We further introduce its application to the low top $p_\text{T}$ regime and demonstrate that both the W boson and the top quark masses could be extracted from this single observable. Compared to traditional observables, the energy correlator shows robustness to uncertainties that usually dominate experimental measurements and provides a promising way to improve experimental precision.


title: Regular bipartite multigraphs have many (but not too many) symmetries

abstract: Let $k$ and $l$ be integers, both at least 2. A $(k,l)$-bipartite graph is an $l$-regular bipartite multigraph with coloured bipartite sets of size $k$. Define $\chi(k,l)$ and $\mu(k,l)$ to be the minimum and maximum order of automorphism groups of $(k,l)$-bipartite graphs, respectively. We determine $\chi(k,l)$ and $\mu(k,l)$ for $k\geq 8$, and analyse the generic situation when $k$ is fixed and $l$ is large. In particular, we show that almost all such graphs have automorphism groups which fix the vertices pointwise and have order far less than $\mu(k,l)$. These graphs are intimately connected with both integer doubly-stochastic matrices and uniform set partitions; we examine the uniform distribution on the set of $k\times k$ integer doubly-stochastic matrices with all line sums $l$, showing that with high probability all entries stray far from the mean. We also show that the symmetric group acting on uniform set partitions is non-synchronizing.


title: Kernel Language Entropy: Fine-grained Uncertainty Quantification for LLMs from Semantic Similarities

abstract: Uncertainty quantification in Large Language Models (LLMs) is crucial for applications where safety and reliability are important. In particular, uncertainty can be used to improve the trustworthiness of LLMs by detecting factually incorrect model responses, commonly called hallucinations. Critically, one should seek to capture the model's semantic uncertainty, i.e., the uncertainty over the meanings of LLM outputs, rather than uncertainty over lexical or syntactic variations that do not affect answer correctness. To address this problem, we propose Kernel Language Entropy (KLE), a novel method for uncertainty estimation in white- and black-box LLMs. KLE defines positive semidefinite unit trace kernels to encode the semantic similarities of LLM outputs and quantifies uncertainty using the von Neumann entropy. It considers pairwise semantic dependencies between answers (or semantic clusters), providing more fine-grained uncertainty estimates than previous methods based on hard clustering of answers. We theoretically prove that KLE generalizes the previous state-of-the-art method called semantic entropy and empirically demonstrate that it improves uncertainty quantification performance across multiple natural language generation datasets and LLM architectures.


title: A low cosmic-ray ionisation rate in the prestellar core Ophiuchus/H-MM1. Mapping of the molecular ions ortho-H2D+, N2H+, and DCO+

abstract: (abridged) We have mapped the prestellar core H-MM1 in Ophiuchus in rotational lines of ortho-H2D+ (oH2D+), N2H+, and DCO+ at the wavelength 0.8 mm with the Large APEX sub-Millimeter Array (LAsMA) multibeam receiver of the Atacama Pathfinder EXperiment (APEX) telescope. We also ran a series of chemistry models to predict the abundance distributions of the observed molecules, and to estimate the effect of the cosmic-ray ionisation rate on their abundances. The three line maps show different distributions. The oH2D+ map is extended and outlines the general structure of the core, while N2H+ mainly shows the density maxima, and the DCO+ emission peaks are shifted towards one edge of the core where a region of enhanced desorption has been found previously. According to the chemical simulation, the fractional oH2D+ abundance remains relatively high in the centre of the core, and its column density correlates strongly with the cosmic-ray ionisation rate. Simulated line maps constrain the cosmic-ray ionisation rate per hydrogen molecule to be low, between 5e-18/s and 1e-17/s in the H-MM1 core. This estimate agrees with the gas temperature measured in the core. Modelling line emission of oH2D+ provides a straightforward method of determining the cosmic-ray ionisation rate in dense clouds, where the primary ion, H3+, is not observable.


title: Galois subcovers of the Hermitian curve in characteristic $p$ with respect to subgroups of order $dp$ with $d\not=p$ prime

abstract: A problem of current interest, also motivated by applications to Coding theory, is to find explicit equations for \textit{maximal} curves, that are projective, geometrically irreducible, non-singular curves defined over a finite field $\mathbb{F}_{q^2}$ whose number of $\mathbb{F}_{q^2}$-rational points attains the Hasse-Weil upper bound of $q^2+2\mathfrak{g}q+1$ where $\mathfrak{g}$ is the genus of the curve $\mathcal{X}$. For curves which are Galois covered of the Hermitian curve, this has been done so far ad hoc, in particular in the cases where the Galois group has prime order and also when has order the square of the characteristic. In this paper we obtain explicit equations of all Galois covers of the Hermitian curve with Galois group of order $dp$ where $p$ is the characteristic of $\mathbb{F}_{q^2}$ and $d$ is prime other than $p$. We also compute the generators of the Weierstrass semigroup at a special $\mathbb{F}_{q^2}$-rational point of some of the curves, and discuss some possible positive impacts on the minimum distance problems of AG-codes.


title: SWIFT: A Monotonic, Flux-Form Semi-Lagrangian Tracer Transport Scheme for Flow with Large Courant Numbers

abstract: Local conservation of mass and entropy are becoming increasingly desirable properties for modern numerical weather and climate models. This work presents a Flux-Form Semi-Lagrangian (FFSL) transport scheme, called SWIFT, that facilitates this conservation for tracer variables, whilst maintaining other vital properties such as preservation of a constant, monotonicity and positivity. Importantly, these properties all hold for large Courant numbers and multi-dimensional flow, making the scheme appropriate for use within a dynamical core which takes large time steps. The SWIFT scheme presented here can be seen as an evolution of the FFSL methods of Leonard et al and Lin and Rood. Two-dimensional and three-dimensional schemes consist of a splitting into a sequence of one-dimensional calculations. The new SWIFT splitting presented here allows monotonic and positivity properties from the one-dimensional calculations to be inherited by the multi-dimensional scheme. These one-dimensional calculations involve separating the mass flux into terms that correspond to integer and fractional parts of the Courant number. Key to achieving conservation is coupling the transport of tracers to the transport of the fluid density, through re-use of the discrete mass flux that was calculated from the fluid density in the transport of the tracers. This work also describes how these properties can still be attained when the tracer is vertically-staggered from the density in a Charney-Phillips grid.

categories: math.NA cs.NA physics.ao-ph physics.flu-dyn


title: On the restriction of some irreducible mod-$p$ representations of $\text{GL}_2(\mathbb{F}_q)$ to $\text{GL}_2(\mathbb{F}_p)$

abstract: For a prime $p,$ let $\mathbb{F}_q$ be a finite extension of $\mathbb{F}_p$ and $\mathcal{G}=\text{GL}_2(\mathbb{F}_q).$ Then the irreducible representations of $\mathcal{G}$ are classified as twists of Sym$^{\vec{r}}(\overline{\mathbb F}_p^2).$ The restriction of irreducibles of $\mathcal{G}$ to its subgroup $G=\text{GL}_2(\mathbb{F}_p)$ is same as investigating the behavior of the tensor product of irreducible representations of $G.$ In this paper, we study the restriction of some of these representations of $\mathcal{G}$ to $G,$ for $2$ and $3$ degree extensions of $\mathbb{F}_p.$