title: Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graphs

abstract: Currently, deep learning successfully applies to code vulnerability detection by learning from code sequences or property graphs. However, sequence-based methods often overlook essential code attributes such as syntax, control flow, and data dependencies, whereas graph-based approaches might underestimate the semantics of code and face challenges in capturing long-distance contextual information. To address this gap, we propose Vul-LMGNN, a unified model that combines pre-trained code language models with code property graphs for code vulnerability detection. Vul-LMGNN constructs a code property graph that integrates various code attributes (including syntax, flow control, and data dependencies) into a unified graph structure, thereafter leveraging pre-trained code model to extract local semantic features as node embeddings in the code property graph. Furthermore, to effectively retain dependency information among various attributes, we introduce a gated code Graph Neural Network (GNN). By jointly training the code language model and the gated code GNN modules in Vul-LMGNN, our proposed method efficiently leverages the strengths of both mechanisms. Finally, we utilize a pre-trained CodeBERT as an auxiliary classifier, with the final detection results derived by learning the linear interpolation of Vul-LMGNN and CodeBERT. The proposed method, evaluated across four real-world vulnerability datasets, demonstrated superior performance compared to six state-of-the-art approaches. Our source code could be accessed via the link: https://github.com/Vul-LMGNN/vul-LMGGNN.


title: Incorporating Gradients to Rules: Towards Lightweight, Adaptive Provenance-based Intrusion Detection

abstract: As cyber-attacks become increasingly sophisticated and stealthy, it becomes more imperative and challenging to detect intrusion from normal behaviors. Through fine-grained causality analysis, provenance-based intrusion detection systems (PIDS) demonstrated a promising capacity to distinguish benign and malicious behaviors, attracting widespread attention from both industry and academia. Among diverse approaches, rule-based PIDS stands out due to its lightweight overhead, real-time capabilities, and explainability. However, existing rule-based systems suffer low detection accuracy, especially the high false alarms, due to the lack of fine-grained rules and environment-specific configurations. In this paper, we propose CAPTAIN, a rule-based PIDS capable of automatically adapting to diverse environments. Specifically, we propose three adaptive parameters to adjust the detection configuration with respect to nodes, edges, and alarm generation thresholds. We build a differentiable tag propagation framework and utilize the gradient descent algorithm to optimize these adaptive parameters based on the training data. We evaluate our system based on data from DARPA Engagement and simulated environments. The evaluation results demonstrate that CAPTAIN offers better detection accuracy, less detection latency, lower runtime overhead, and more interpretable detection alarms and knowledge compared to the SOTA PIDS.


title: Dynamically Anchored Prompting for Task-Imbalanced Continual Learning

abstract: Existing continual learning literature relies heavily on a strong assumption that tasks arrive with a balanced data stream, which is often unrealistic in real-world applications. In this work, we explore task-imbalanced continual learning (TICL) scenarios where the distribution of task data is non-uniform across the whole learning process. We find that imbalanced tasks significantly challenge the capability of models to control the trade-off between stability and plasticity from the perspective of recent prompt-based continual learning methods. On top of the above finding, we propose Dynamically Anchored Prompting (DAP), a prompt-based method that only maintains a single general prompt to adapt to the shifts within a task stream dynamically. This general prompt is regularized in the prompt space with two specifically designed prompt anchors, called boosting anchor and stabilizing anchor, to balance stability and plasticity in TICL. Remarkably, DAP achieves this balance by only storing a prompt across the data stream, therefore offering a substantial advantage in rehearsal-free CL. Extensive experiments demonstrate that the proposed DAP results in 4.5% to 15% absolute improvements over state-of-the-art methods on benchmarks under task-imbalanced settings. Our code is available at https://github.com/chenxing6666/DAP


title: On the X-ray efficiency of the white dwarf pulsar candidate ZTF J190132.9+145808.7

abstract: Strongly magnetized, rapidly rotating massive white dwarfs (WDs) emerge as potential outcomes of double degenerate mergers. These WDs can act as sources of non-thermal emission and cosmic rays, gethering attention as WD pulsars. In this context, we studied the X-ray emissions from ZTF J190132.9+145808.7 (hereafter ZTF J1901+14), a notable massive isolated WD in the Galaxy, using the Chandra X-ray observatory. Our results showed 3.5sigma level evidence of X-ray signals, although it is marginal. Under the assumption of a photon index of 2, we derived its intrinsic flux to be 2.3 (0.9--4.7) $\times 10^{-15}$~erg~cm$^{-2}$s$^{-1}$ and luminosity 4.6 (2.0--9.5) $\times 10^{26}$~erg~s$^{-1}$ for a 0.5--7 keV band in the 90% confidence range, given its distance of 41 pc. We derived an X-ray efficiency (eta) concerning the spin-down luminosity to be 0.012 (0.0022--0.074), a value comparable to that of ordnary neutron star pulsars. The inferred X-ray luminosity may be compatible with curvature radiation from sub-TeV electrons accelerated within open magnetic fields in the magnetosphere of ZTF J1901+14. Conducting more extensive X-ray observations is crucial to confirm whether ZTF J1901+14-like isolated WDs are also significant sources of X-rays and sub-TeV electron cosmic rays, similar to other WD pulsars in accreting systems.


title: Insights into Alignment: Evaluating DPO and its Variants Across Multiple Tasks

abstract: Large Language Models (LLMs) have demonstrated remarkable performance across a spectrum of tasks. Recently, Direct Preference Optimization (DPO) has emerged as an RL-free approach to optimize the policy model on human preferences. However, several limitations hinder the widespread adoption of this method. To address these shortcomings, various versions of DPO have been introduced. Yet, a comprehensive evaluation of these variants across diverse tasks is still lacking. In this study, we aim to bridge this gap by investigating the performance of alignment methods across three distinct scenarios: (1) keeping the Supervised Fine-Tuning (SFT) part, (2) skipping the SFT part, and (3) skipping the SFT part and utilizing an instruction-tuned model. Furthermore, we explore the impact of different training sizes on their performance. Our evaluation spans a range of tasks including dialogue systems, reasoning, mathematical problem-solving, question answering, truthfulness, and multi-task understanding, encompassing 13 benchmarks such as MT-Bench, Big Bench, and Open LLM Leaderboard. Key observations reveal that alignment methods achieve optimal performance with smaller training data subsets, exhibit limited effectiveness in reasoning tasks yet significantly impact mathematical problem-solving, and employing an instruction-tuned model notably influences truthfulness. We anticipate that our findings will catalyze further research aimed at developing more robust models to address alignment challenges.


title: Tightly Joined Positioning and Control Model for Unmanned Aerial Vehicles Based on Factor Graph Optimization

abstract: The execution of flight missions by unmanned aerial vehicles (UAV) primarily relies on navigation. In particular, the navigation pipeline has traditionally been divided into positioning and control, operating in a sequential loop. However, the existing navigation pipeline, where the positioning and control are decoupled, struggles to adapt to ubiquitous uncertainties arising from measurement noise, abrupt disturbances, and nonlinear dynamics. As a result, the navigation reliability of the UAV is significantly challenged in complex dynamic areas. For example, the ubiquitous global navigation satellite system (GNSS) positioning can be degraded by the signal reflections from surrounding high-rising buildings in complex urban areas, leading to significantly increased positioning uncertainty. An additional challenge is introduced to the control algorithm due to the complex wind disturbances in urban canyons. Given the fact that the system positioning and control are highly correlated with each other, this research proposes a **tightly joined positioning and control model (JPCM) based on factor graph optimization (FGO)**. In particular, the proposed JPCM combines sensor measurements from positioning and control constraints into a unified probabilistic factor graph. Specifically, the positioning measurements are formulated as the factors in the factor graph. In addition, the model predictive control (MPC) is also formulated as the additional factors in the factor graph. By solving the factor graph contributed by both the positioning-related factors and the MPC-based factors, the complementariness of positioning and control can be deeply exploited. Finally, we validate the effectiveness and resilience of the proposed method using a simulated quadrotor system which shows significantly improved trajectory following performance.


title: Revisiting Crossflow-Based Stabilization in Channel Flows

abstract: Stabilization schemes in wall-bounded flows often invoke fluid transpiration through porous boundaries. While these have been extensively validated for external flows, their efficacy in channels, particularly from the standpoint of non-modal perturbations, is yet to be demonstrated. Here, we show that crossflow strengths previously considered ``ideal'' for optimizing stability in channels in fact admit strong non-modal energy amplification. We begin by supplementing existing modal calculations and then show via the resolvent that extremely strong and potentially unfeasible crossflows are required to suppress non-modal growth in linearly stable regimes. Investigation of unforced algebraic growth paints a similar picture. Here, a component-wise budget analysis reveals that energy redistribution through pressure-velocity correlations plays an important role in driving energy growth/decay. The superposition of a moving wall is also considered, and it is shown that while energy amplification generally worsens, it can potentially be suppressed beyond a regime shift in parameter space. However, these flows are marred by rapidly declining mass transport, rendering their ultimate utility questionable. Our results suggest that crossflow-based stabilization might not be useful in internal flows.


title: Spontaneous rotation of magnets levitating above high-Tc superconductor

abstract: The levitation of a cylindrical permanent magnet over a high-temperature superconductor cooled by liquid nitrogen can be accompanied by spontaneous oscillations and rotation. The reason for spontaneous rotation of the magnet is magnetization inhomogeneity induced by the temperature gradient. An experiment was carried out on the levitation of Nd-Fe-B magnets over a composite high-temperature superconductor. The experimental results confirm that the rotation frequency depends on the difference in the magnetization values in the upper and lower halves of the magnet. Methods for controlling the rotation frequency of a levitating magnet are proposed.


title: Pure skin effect obeying power partition in directed graphs

abstract: Non-Hermitian physics has received great attention recently. In particular, band structures in non-Hermitian systems can be engineered to exhibit various topological effects. Among them, one of the most intriguing phenomena is the non-Hermitian skin effect (NHSE). Here, we investigate NHSE in systems featuring directed chains or directed graphs, where the arrows denote the directions of the non-reciprocal hopping between neighbouring nodes. We show that the systems exhibit pure skin modes with non-oscillatory wavefunctions, in contrast to previously studied NHSE. Interestingly, the sum of the decay constants along different directions for each skin mode obeys a power partition rule, i.e. their sum is a fixed value and the value of each constant only depends on the ratio between the non-reciprocal hopping parameters and is independent of detailed graph configurations. Such Pure Skin Effect (PSE) can be explained by using a generalized method for solving the Generalized Brillouin-zone with multiple bulk states.


title: Novel Topological Machine Learning Methodology for Stream-of-Quality Modeling in Smart Manufacturing

abstract: This paper presents a topological analytics approach within the 5-level Cyber-Physical Systems (CPS) architecture for the Stream-of-Quality assessment in smart manufacturing. The proposed methodology not only enables real-time quality monitoring and predictive analytics but also discovers the hidden relationships between quality features and process parameters across different manufacturing processes. A case study in additive manufacturing was used to demonstrate the feasibility of the proposed methodology to maintain high product quality and adapt to product quality variations. This paper demonstrates how topological graph visualization can be effectively used for the real-time identification of new representative data through the Stream-of-Quality assessment.


title: Emergent Cooperation for Energy-efficient Connectivity via Wireless Power Transfer

abstract: This paper addresses the challenge of incentivizing energy-constrained, non-cooperative user equipment (UE) to serve as cooperative relays. We consider a source UE with a non-line-of-sight channel to an access point (AP), where direct communication may be infeasible or may necessitate a substantial transmit power. Other UEs in the vicinity are viewed as relay candidates, and our aim is to enable energy-efficient connectivity for the source, while accounting for the self-interested behavior and private channel state information of these candidates, by allowing the source to "pay" the candidates via wireless power transfer (WPT). We propose a cooperation-inducing protocol, inspired by Myerson auction theory, which ensures that candidates truthfully report power requirements while minimizing the expected power used by the source. Through rigorous analysis, we establish the regularity of valuations for lognormal fading channels, which allows for the efficient determination of the optimal source transmit power. Extensive simulation experiments, employing real-world communication and WPT parameters, validate our theoretical framework. Our results demonstrate a 91% reduction in outage probability with as few as 4 relay candidates, compared to the non-cooperative scenario, and as much as 48% source power savings compared to a baseline approach, highlighting the efficacy of our proposed methodology.


title: It's Hard to HAC with Average Linkage!

abstract: Average linkage Hierarchical Agglomerative Clustering (HAC) is an extensively studied and applied method for hierarchical clustering. Recent applications to massive datasets have driven significant interest in near-linear-time and efficient parallel algorithms for average linkage HAC. We provide hardness results that rule out such algorithms. On the sequential side, we establish a runtime lower bound of $n^{3/2-\epsilon}$ on $n$ node graphs for sequential combinatorial algorithms under standard fine-grained complexity assumptions. This essentially matches the best-known running time for average linkage HAC. On the parallel side, we prove that average linkage HAC likely cannot be parallelized even on simple graphs by showing that it is CC-hard on trees of diameter $4$. On the possibility side, we demonstrate that average linkage HAC can be efficiently parallelized (i.e., it is in NC) on paths and can be solved in near-linear time when the height of the output cluster hierarchy is small.


title: Hybrid modes in multilayer/antenna architecture set sideband-selective molecular Raman scattering

abstract: In the realm of healthcare, label-free sensing is a vital component for various applications. Micro-photonic technology presents a promising avenue to pursue pivotal goals. With the use of this technology, healthcare professionals and researchers can harness the power of label-free sensing to develop effective diagnostic and therapeutic tools. The integration of label-free sensing and micro-photonic technology can lead to revolutionary advancements in the healthcare industry. Here, a hybrid multilayer, whose surface is decorated with micrometric features has been investigated to evaluate the application in this direction. Following the characterization of the plasmonic resonance, and upon demonstrating the surface plasmon polariton (SPP)/antenna mode hybridiza-tion, the optomechanical behavior of the system has been investigated. The hybrid system has a higher sensi-tivity due to its high-quality factor Q when compared to standard systems. The shift of the frequency is studied for a red dye, at different excitation wavelengths as well as in an aqueous environment. To validate the increased sensitivity, I conducted an analysis using bovine serum albumin (BSA). This protein is water-soluble and has an infrared absorption band (amide I), and it is also active in the Raman region. Moreover, it can consistently bind to Ag features. Through an image-based analysis, the surface-enhanced Raman scattering pattern of the BSA was recorded. The proposed sensing method is innovative and opens new perspectives on sensitive methods for biomolecule detection. Simultaneously, it shows promising results to exploit the optical resonance shift as a basic sensing approach for probing molecular patterns.


title: A figure-of-merit-based framework to evaluate photovoltaic materials

abstract: I propose a general quantitative framework to evaluate the quality, track the historical development, and guide future optimization of photovoltaic (PV) absorbers at any development level, including both experimentally synthesized and computer-simulated materials. The framework is based on a PV figure of merit designed to include efficiency limitations due to imperfect photocarrier collection that are not included in classic detailed balance methods. Figure-of-merit-driven efficiency limits including collection losses are calculated for 28 experimentally synthesized PV absorbers and 9 PV absorbers simulated by electronic structure methods. Among emerging absorbers for which no working solar cells have yet been reported, there are very large differences in their likelihood to achieve high PV efficiencies.


title: Advantage Distillation for Quantum Key Distribution

abstract: Enhancing the performance of quantum key distribution is crucial, driving the exploration of various key distillation techniques to increase the key rate and tolerable error rate. It is imperative to develop a comprehensive framework to encapsulate and enhance the existing methods. In this work, we propose an advantage distillation framework for quantum key distribution. Building on the entanglement distillation protocol, our framework integrates all the existing key distillation methods and offers better generalization and performance. Using classical linear codes, our framework can achieve higher key rates, particularly without one-time pad encryption for postprocessing. Our approach provides insights into existing protocols and offers a systematic way for future enhancements of quantum key distribution protocols.


title: In-situ Doppler-free spectroscopy and laser frequency stabilization based on time-division multiplexing differential saturated absorption

abstract: We introduce a novel time-division multiplexing differential saturated absorption spectroscopy (TDMDSAS) approach, providing superior accuracy and stability in Doppler-free spectroscopy. By distinguishing probe and reference fields in the temporal domain, TDMDSAS efficiently suppresses Doppler broadening and common-mode optical noise. We utilized this technology to determine the absolute frequency of diverse neutral Yb isotopes across its $6s^2\ ^{1}S_0\to 6s6p ^{1}P_1$ transitions. Furthermore, the first-ever observation of in-situ Doppler-free Zeeman sub-level spectra was accomplished, enabling the determination of magnetic field gradients. We stabilized a UV diode laser at 399 nm using an error signal derived from the spectral first-derivative demodulated signal of $^{174}\mathrm{Yb}$. This technique yielded a frequency stability of up to 15 kHz with a 40 s averaging time and a standard deviation of around 180 kHz over a half-hour period. Given its low cost, straightforward, and scalable nature, TDMDSAS holds excellent potential in metrology and quantum applications.


title: Rank2Reward: Learning Shaped Reward Functions from Passive Video

abstract: Teaching robots novel skills with demonstrations via human-in-the-loop data collection techniques like kinesthetic teaching or teleoperation puts a heavy burden on human supervisors. In contrast to this paradigm, it is often significantly easier to provide raw, action-free visual data of tasks being performed. Moreover, this data can even be mined from video datasets or the web. Ideally, this data can serve to guide robot learning for new tasks in novel environments, informing both "what" to do and "how" to do it. A powerful way to encode both the "what" and the "how" is to infer a well-shaped reward function for reinforcement learning. The challenge is determining how to ground visual demonstration inputs into a well-shaped and informative reward function. We propose a technique Rank2Reward for learning behaviors from videos of tasks being performed without access to any low-level states and actions. We do so by leveraging the videos to learn a reward function that measures incremental "progress" through a task by learning how to temporally rank the video frames in a demonstration. By inferring an appropriate ranking, the reward function is able to guide reinforcement learning by indicating when task progress is being made. This ranking function can be integrated into an adversarial imitation learning scheme resulting in an algorithm that can learn behaviors without exploiting the learned reward function. We demonstrate the effectiveness of Rank2Reward at learning behaviors from raw video on a number of tabletop manipulation tasks in both simulations and on a real-world robotic arm. We also demonstrate how Rank2Reward can be easily extended to be applicable to web-scale video datasets.


title: Qualitative Approaches to Voice UX

abstract: Voice is a natural mode of expression offered by modern computer-based systems. Qualitative perspectives on voice-based user experiences (voice UX) offer rich descriptions of complex interactions that numbers alone cannot fully represent. We conducted a systematic review of the literature on qualitative approaches to voice UX, capturing the nature of this body of work in a systematic map and offering a qualitative synthesis of findings. We highlight the benefits of qualitative methods for voice UX research, identify opportunities for increasing rigour in methods and outcomes, and distill patterns of experience across a diversity of devices and modes of qualitative praxis.


title: Unveiling dynamic bifurcation of Resch-patterned origami for self-adaptive impact mitigation structure

abstract: In the classic realm of impact mitigation, targeting different impact scenarios with a universally designed device still remains an unassailable challenge. In this study, we delve into the untapped potential of Resch-patterned origami for impact mitigation, specifically considering the adaptively reconfigurable nature of the Resch origami structure. Our unit-cell-level analyses reveal two distinctive modes of deformation, each characterized by contrasting mechanical responses: the folding mode that displays monostability coupled with strain-hardening, and the unfolding mode that manifests bistability, facilitating energy absorption through snap-through dynamics. Drop tests further unveil a novel dynamic bifurcation phenomenon, where the origami switches between folding and unfolding depending on impact speed, thereby showcasing its innate self-reconfigurability in a wide range of dynamic events. The tessellated meter-scale Resch structure mimicking an automotive bumper inherits this dynamically bifurcating behavior, demonstrating the instantaneous morphing into favorable deformation mode to minimize the peak acceleration upon impact. This suggests a self-adaptive and universally applicable impact-absorbing nature of the Resch-patterned origami system. We believe that our findings pave the way for developing smart, origami-inspired impact mitigation devices capable of real-time response and adaptation to external stimuli, offering insights into designing universally protective structures with enhanced performance in response to various impact scenarios.


title: Unmanned Vehicles in 6G Networks: A Unifying Treatment of Problems, Formulations, and Tools

abstract: Unmanned Vehicles (UVs) functioning as autonomous agents are anticipated to play a crucial role in the 6th Generation of wireless networks. Their seamless integration, cost-effectiveness, and the additional controllability through motion planning make them an attractive deployment option for a wide range of applications. However, despite their potential, the convergence of UVs and wireless systems brings forth numerous challenges that require attention from both academia and industry. This paper then aims to offer a comprehensive overview encompassing the transformative possibilities as well as the significant challenges associated with UV-assisted next-generation wireless communications. Considering the diverse landscape of possible application scenarios, problem formulations, and mathematical tools related to UV-assisted wireless systems, the underlying core theme of this paper is the unification of the problem space, providing a structured framework to understand the use cases, problem formulations, and necessary mathematical tools. Overall, the paper sets forth a clear understanding of how unmanned vehicles can be integrated in the 6G ecosystem, paving the way towards harnessing the full potentials at this intersection.


title: BMapOpt: Optimization of Brain Tissue Probability Maps using a Differentiable MRI Simulator

abstract: Reconstructing digital brain phantoms in the form of multi-channeled brain tissue probability maps for individual subjects is essential for capturing brain anatomical variability, understanding neurological diseases, as well as for testing image processing methods. We demonstrate the first framework that optimizes brain tissue probability maps (Gray Matter - GM, White Matter - WM, and Cerebrospinal fluid - CSF) with the help of a Physics-based differentiable MRI simulator that models the magnetization signal at each voxel in the image. Given an observed $T_1$/$T_2$-weighted MRI scan, the corresponding clinical MRI sequence, and the MRI differentiable simulator, we optimize the simulator's input probability maps by back-propagating the L2 loss between the simulator's output and the $T_1$/$T_2$-weighted scan. This approach has the significant advantage of not relying on any training data, and instead uses the strong inductive bias of the MRI simulator. We tested the model on 20 scans from the BrainWeb database and demonstrate a highly accurate reconstruction of GM, WM, and CSF.


title: Modeling the Sacred: Considerations when Using Religious Texts in Natural Language Processing

abstract: This position paper concerns the use of religious texts in Natural Language Processing (NLP), which is of special interest to the Ethics of NLP. Religious texts are expressions of culturally important values, and machine learned models have a propensity to reproduce cultural values encoded in their training data. Furthermore, translations of religious texts are frequently used by NLP researchers when language data is scarce. This repurposes the translations from their original uses and motivations, which often involve attracting new followers. This paper argues that NLP's use of such texts raises considerations that go beyond model biases, including data provenance, cultural contexts, and their use in proselytism. We argue for more consideration of researcher positionality, and of the perspectives of marginalized linguistic and religious communities.


title: Generate-on-Graph: Treat LLM as both Agent and KG in Incomplete Knowledge Graph Question Answering

abstract: To address the issue of insufficient knowledge and the tendency to generate hallucination in Large Language Models (LLMs), numerous studies have endeavored to integrate LLMs with Knowledge Graphs (KGs). However, all these methods are evaluated on conventional Knowledge Graph Question Answering (KGQA) with complete KGs, where the factual triples involved in each question are entirely covered by the given KG. In this situation, LLM mainly acts as an agent to find answer entities by exploring the KG, rather than effectively integrating internal and external knowledge sources. However, in real-world scenarios, KGs are often incomplete to cover all the knowledge required to answer questions. To simulate real-world scenarios and evaluate the ability of LLMs to integrate internal and external knowledge, in this paper, we propose leveraging LLMs for QA under Incomplete Knowledge Graph (IKGQA), where the given KG doesn't include all the factual triples involved in each question. To handle IKGQA, we propose a training-free method called Generate-on-Graph (GoG) that can generate new factual triples while exploring on KGs. Specifically, we propose a selecting-generating-answering framework, which not only treat the LLM as an agent to explore on KGs, but also treat it as a KG to generate new facts based on the explored subgraph and its inherent knowledge. Experimental results on two datasets demonstrate that our GoG can solve IKGQA to a certain extent, while almost all previous methods cannot perform well on IKGQA.


title: Causal dynamics of null horizons under linear perturbations

abstract: We study the causal dynamics of an embedded null horizon foliated by marginally outer trapped surfaces (MOTS) for a locally rotationally symmetric background spacetime subjected to linear perturbations. We introduce a simple procedure which characterizes the transition of the causal character of the null horizon. We apply our characterization scheme to non-dissipative perturbations of the Schwarzschild and spatially homogeneous backgrounds. For the latter, a linear equation of state was imposed. Assuming a harmonic decomposition of the linearized field equations, we clarify the variables of a formal solution to the linearized system that determine how the null horizon evolves. For both classes of backgrounds, the shear and vorticity 2-vectors are essential to the characterization, and their roles are made precise. Finally, we discuss aspects of the relationship between the characterizing conditions. Various properties related to the self-adjointness of the MOTS stability operator are extensively discussed.


title: Gradient Guidance for Diffusion Models: An Optimization Perspective

abstract: Diffusion models have demonstrated empirical successes in various applications and can be adapted to task-specific needs via guidance. This paper introduces a form of gradient guidance for adapting or fine-tuning diffusion models towards user-specified optimization objectives. We study the theoretic aspects of a guided score-based sampling process, linking the gradient-guided diffusion model to first-order optimization. We show that adding gradient guidance to the sampling process of a pre-trained diffusion model is essentially equivalent to solving a regularized optimization problem, where the regularization term acts as a prior determined by the pre-training data. Diffusion models are able to learn data's latent subspace, however, explicitly adding the gradient of an external objective function to the sample process would jeopardize the structure in generated samples. To remedy this issue, we consider a modified form of gradient guidance based on a forward prediction loss, which leverages the pre-trained score function to preserve the latent structure in generated samples. We further consider an iteratively fine-tuned version of gradient-guided diffusion where one can query gradients at newly generated data points and update the score network using new samples. This process mimics a first-order optimization iteration in expectation, for which we proved O(1/K) convergence rate to the global optimum when the objective function is concave.


title: Strong exciton-polariton correlations shape the many-body polariton dynamics in two-dimensional metal halide semiconductor microcavities: Competitive pathways for polariton condensation

abstract: Polariton condensation relies on the massive occupation of the lowest-energy polariton state beyond a required critical density. The mechanisms driving both the occupation and depopulation of the lowest-energy polariton state all rely on multi-particle scattering, and its dynamics determine the extent to which condensates can form spontaneously. To pinpoint many-body processes hindering polariton condensation in two-dimensional metal-halide semiconductors, we examine the exciton-polariton dynamics in a Fabry-P\'erot microcavity over timescales involving the dynamics of multi-particle polariton ($\ll 1$\,ps) and exciton scattering processes ($\gg 1$\,ps). We find evidence of enhanced nonlinear exciton-exciton scattering in the microcavity compared to that in the semiconductor, and that the exciton reservoir mediates polariton scattering. We posit that the complex scattering landscape between the exciton reservoir and polaritons limits the formation of polariton condensates in two-dimensional metal-halide semiconductors, and we discuss the generality of our conclusions for materials systems in which the lattice mediates strong multi-particle correlations.


title: TAAT: Think and Act from Arbitrary Texts in Text2Motion

abstract: Text2Motion aims to generate human motions from texts. Existing datasets rely on the assumption that texts include action labels (such as "walk, bend, and pick up"), which is not flexible for practical scenarios. This paper redefines this problem with a more realistic assumption that the texts are arbitrary. Specifically, arbitrary texts include existing action texts composed of action labels (e.g., A person walks and bends to pick up something), and introduce scene texts without explicit action labels (e.g., A person notices his wallet on the ground ahead). To bridge the gaps between this realistic setting and existing datasets, we expand the action texts on the HumanML3D dataset to more scene texts, thereby creating a new HumanML3D++ dataset including arbitrary texts. In this challenging dataset, we benchmark existing state-of-the-art methods and propose a novel two-stage framework to extract action labels from arbitrary texts by the Large Language Model (LLM) and then generate motions from action labels. Extensive experiments are conducted under different application scenarios to validate the effectiveness of the proposed framework on existing and proposed datasets. The results indicate that Text2Motion in this realistic setting is very challenging, fostering new research in this practical direction. Our dataset and code will be released.


title: A Customer Level Fraudulent Activity Detection Benchmark for Enhancing Machine Learning Model Research and Evaluation

abstract: In the field of fraud detection, the availability of comprehensive and privacy-compliant datasets is crucial for advancing machine learning research and developing effective anti-fraud systems. Traditional datasets often focus on transaction-level information, which, while useful, overlooks the broader context of customer behavior patterns that are essential for detecting sophisticated fraud schemes. The scarcity of such data, primarily due to privacy concerns, significantly hampers the development and testing of predictive models that can operate effectively at the customer level. Addressing this gap, our study introduces a benchmark that contains structured datasets specifically designed for customer-level fraud detection. The benchmark not only adheres to strict privacy guidelines to ensure user confidentiality but also provides a rich source of information by encapsulating customer-centric features. We have developed the benchmark that allows for the comprehensive evaluation of various machine learning models, facilitating a deeper understanding of their strengths and weaknesses in predicting fraudulent activities. Through this work, we seek to bridge the existing gap in data availability, offering researchers and practitioners a valuable resource that empowers the development of next-generation fraud detection techniques.


title: Differentiable Score-Based Likelihoods: Learning CT Motion Compensation From Clean Images

abstract: Motion artifacts can compromise the diagnostic value of computed tomography (CT) images. Motion correction approaches require a per-scan estimation of patient-specific motion patterns. In this work, we train a score-based model to act as a probability density estimator for clean head CT images. Given the trained model, we quantify the deviation of a given motion-affected CT image from the ideal distribution through likelihood computation. We demonstrate that the likelihood can be utilized as a surrogate metric for motion artifact severity in the CT image facilitating the application of an iterative, gradient-based motion compensation algorithm. By optimizing the underlying motion parameters to maximize likelihood, our method effectively reduces motion artifacts, bringing the image closer to the distribution of motion-free scans. Our approach achieves comparable performance to state-of-the-art methods while eliminating the need for a representative data set of motion-affected samples. This is particularly advantageous in real-world applications, where patient motion patterns may exhibit unforeseen variability, ensuring robustness without implicit assumptions about recoverable motion types.


title: LHC di-lepton searches for $Z^\prime$ bosons which explain measurements of $b \rightarrow s l^+l^-$ transitions

abstract: Several current measurements of $b\rightarrow s l^+l^-$ processes are in tension with Standard Model predictions, whereas others (e.g. $R_K$ and $R_{K^\ast}$) are in reasonable agreement with them. We examine some recent $Z^\prime$ models that fit the data as a whole appreciably better than the Standard Model, confronting the models with ATLAS resonance searches in the $e^+e^-$ and $\mu^+\mu^-$ channels. The models are constrained by both channels; we find that the lower limit on the $Z^\prime$ mass $M_{Z^\prime}$ is 0.8-1.8 TeV at the 95$\%$ confidence level, depending upon the model. We provide sensitivity estimates for the HL-LHC, which extend to more than double the current limits on $M_{Z^\prime}$.


title: Semantic Cells: Evolutional Process to Acquire Sense Diversity of Items

abstract: Previous models for learning the semantic vectors of items and their groups, such as words, sentences, nodes, and graphs, using distributed representation have been based on the assumption that the basic sense of an item corresponds to one vector composed of dimensions corresponding to hidden contexts in the target real world, from which multiple senses of the item are obtained by conforming to lexical databases or adapting to the context. However, there may be multiple senses of an item, which are hardly assimilated and change or evolve dynamically following the contextual shift even within a document or a restricted period. This is a process similar to the evolution or adaptation of a living entity with/to environmental shifts. Setting the scope of disambiguation of items for sensemaking, the author presents a method in which a word or item in the data embraces multiple semantic vectors that evolve via interaction with others, similar to a cell embracing chromosomes crossing over with each other. We obtained two preliminary results: (1) the role of a word that evolves to acquire the largest or lower-middle variance of semantic vectors tends to be explainable by the author of the text; (2) the epicenters of earthquakes that acquire larger variance via crossover, corresponding to the interaction with diverse areas of land crust, are likely to correspond to the epicenters of forthcoming large earthquakes.


title: Grounded Knowledge-Enhanced Medical VLP for Chest X-Ray

abstract: Medical vision-language pre-training has emerged as a promising approach for learning domain-general representations of medical image and text. Current algorithms that exploit the global and local alignment between medical image and text could however be marred by the redundant information in medical data. To address this issue, we propose a grounded knowledge-enhanced medical vision-language pre-training (GK-MVLP) framework for chest X-ray. In this framework, medical knowledge is grounded to the appropriate anatomical regions by using a transformer-based grounded knowledge-enhanced module for fine-grained alignment between anatomical region-level visual features and the textural features of medical knowledge. The performance of GK-MVLP is competitive with or exceeds the state of the art on downstream chest X-ray disease classification, disease localization, report generation, and medical visual question-answering tasks. Our results show the advantage of incorporating grounding mechanism to remove biases and improve the alignment between chest X-ray image and radiology report.


title: Eigenvector distributions and optimal shrinkage estimators for large covariance and precision matrices

abstract: This paper focuses on investigating Stein's invariant shrinkage estimators for large sample covariance matrices and precision matrices in high-dimensional settings. We consider models that have nearly arbitrary population covariance matrices, including those with potential spikes. By imposing mild technical assumptions, we establish the asymptotic limits of the shrinkers for a wide range of loss functions. A key contribution of this work, enabling the derivation of the limits of the shrinkers, is a novel result concerning the asymptotic distributions of the non-spiked eigenvectors of the sample covariance matrices, which can be of independent interest.


title: Quasimorphisms on free racks and free quandles

abstract: We show that the second bounded cohomology of finitely generated free racks is infinite dimensional by constructing rack quasimorphisms using homogenous group quasimorphisms. Similar construction works in the case of free quandles. We show that Rolli's generalization to free products also works in the case of racks.


title: Investigating $\Xi$ resonances from pentaquark perspective

abstract: We have investigated the $qss\bar{q}q$ ($q = u$ or $d$) system to find possible pentaquark explanations for the $\Xi$ resonances. The bound state calculation is carried out within the framework of the quark delocalization color screening model. The scattering processes are also studied to examine the possible resonance states. The current results indicate that the $\Xi(1950)$ can be interpreted as $\Lambda \bar{K}^*$ state with $J^P = 1/2^-$. Three states are identified that match the $\Xi(2250)$, which are $\Sigma^* \bar{K}^*$ state with $J^P = 3/2^-$, $\Sigma^* \bar{K}^*$ state with $J^P =5/2^-$, and $\Xi^* \rho$ state with $J^P =5/2^-$. This may explain the conflicting experimental values for the width of the $\Xi(2250)$. A new $\Xi$ resonance is predicted, whose mass and width are 2066--2079 MeV and 186--189 MeV, respectively. These results contribute to understanding the nature of the $\Xi$ resonances and to the future search for new $\Xi$ resonances. Moreover, it is meaningful to further investigate the $\Xi$ resonances from an unquenched picture on the basis of pentaquark investigation.


title: Skip the Benchmark: Generating System-Level High-Level Synthesis Data using Generative Machine Learning

abstract: High-Level Synthesis (HLS) Design Space Exploration (DSE) is a widely accepted approach for efficiently exploring Pareto-optimal and optimal hardware solutions during the HLS process. Several HLS benchmarks and datasets are available for the research community to evaluate their methodologies. Unfortunately, these resources are limited and may not be sufficient for complex, multi-component system-level explorations. Generating new data using existing HLS benchmarks can be cumbersome, given the expertise and time required to effectively generate data for different HLS designs and directives. As a result, synthetic data has been used in prior work to evaluate system-level HLS DSE. However, the fidelity of the synthetic data to real data is often unclear, leading to uncertainty about the quality of system-level HLS DSE. This paper proposes a novel approach, called Vaegan, that employs generative machine learning to generate synthetic data that is robust enough to support complex system-level HLS DSE experiments that would be unattainable with only the currently available data. We explore and adapt a Variational Autoencoder (VAE) and Generative Adversarial Network (GAN) for this task and evaluate our approach using state-of-the-art datasets and metrics. We compare our approach to prior works and show that Vaegan effectively generates synthetic HLS data that closely mirrors the ground truth's distribution.


title: SkinGEN: an Explainable Dermatology Diagnosis-to-Generation Framework with Interactive Vision-Language Models

abstract: With the continuous advancement of vision language models (VLMs) technology, remarkable research achievements have emerged in the dermatology field, the fourth most prevalent human disease category. However, despite these advancements, VLM still faces "hallucination" in dermatological diagnosis, and due to the inherent complexity of dermatological conditions, existing tools offer relatively limited support for user comprehension. We propose SkinGEN, a diagnosis-to-generation framework that leverages the stable diffusion (SD) method to generate reference demonstrations from diagnosis results provided by VLM, thereby enhancing the visual explainability for users. Through extensive experiments with Low-Rank Adaptation (LoRA), we identify optimal strategies for skin condition image generation. We conduct a user study with 32 participants evaluating both the system performance and explainability. Results demonstrate that SkinGEN significantly improves users' comprehension of VLM predictions and fosters increased trust in the diagnostic process. This work paves the way for more transparent and user-centric VLM applications in dermatology and beyond.


title: Deflection of light by a compact object with electric charge and magnetic dipole in Einstein-Born-Infeld gravity

abstract: We consider the bending of light around a compact astrophysical object with both the electric field and the magnetic field in Einstein-Born-Infeld theory. From the null geodesic of a light ray passing a massive object with electric charge and magnetic dipole, the effective metric was obtained from the light cone condition reflecting the nonlinear electromagnetic effects. We found the asymptotic form of the effective metric up to the first order in gravitational constant $G$ and Born-Infeld parameter $1/\beta^2$ on the equatorial plane. Then we compute the bending angle of light from the geodesic equation. The result includes particular cases where only one type of field is present taking the appropriate limits.


title: Integrating Mamba and Transformer for Long-Short Range Time Series Forecasting

abstract: Time series forecasting is an important problem and plays a key role in a variety of applications including weather forecasting, stock market, and scientific simulations. Although transformers have proven to be effective in capturing dependency, its quadratic complexity of attention mechanism prevents its further adoption in long-range time series forecasting, thus limiting them attend to short-range range. Recent progress on state space models (SSMs) have shown impressive performance on modeling long range dependency due to their subquadratic complexity. Mamba, as a representative SSM, enjoys linear time complexity and has achieved strong scalability on tasks that requires scaling to long sequences, such as language, audio, and genomics. In this paper, we propose to leverage a hybrid framework Mambaformer that internally combines Mamba for long-range dependency, and Transformer for short range dependency, for long-short range forecasting. To the best of our knowledge, this is the first paper to combine Mamba and Transformer architecture in time series data. We investigate possible hybrid architectures to combine Mamba layer and attention layer for long-short range time series forecasting. The comparative study shows that the Mambaformer family can outperform Mamba and Transformer in long-short range time series forecasting problem. The code is available at https://github.com/XiongxiaoXu/Mambaformerin-Time-Series.


title: Second-order Information Promotes Mini-Batch Robustness in Variance-Reduced Gradients

abstract: We show that, for finite-sum minimization problems, incorporating partial second-order information of the objective function can dramatically improve the robustness to mini-batch size of variance-reduced stochastic gradient methods, making them more scalable while retaining their benefits over traditional Newton-type approaches. We demonstrate this phenomenon on a prototypical stochastic second-order algorithm, called Mini-Batch Stochastic Variance-Reduced Newton ($\texttt{Mb-SVRN}$), which combines variance-reduced gradient estimates with access to an approximate Hessian oracle. In particular, we show that when the data size $n$ is sufficiently large, i.e., $n\gg \alpha^2\kappa$, where $\kappa$ is the condition number and $\alpha$ is the Hessian approximation factor, then $\texttt{Mb-SVRN}$ achieves a fast linear convergence rate that is independent of the gradient mini-batch size $b$, as long $b$ is in the range between $1$ and $b_{\max}=O(n/(\alpha \log n))$. Only after increasing the mini-batch size past this critical point $b_{\max}$, the method begins to transition into a standard Newton-type algorithm which is much more sensitive to the Hessian approximation quality. We demonstrate this phenomenon empirically on benchmark optimization tasks showing that, after tuning the step size, the convergence rate of $\texttt{Mb-SVRN}$ remains fast for a wide range of mini-batch sizes, and the dependence of the phase transition point $b_{\max}$ on the Hessian approximation factor $\alpha$ aligns with our theoretical predictions.


title: Unified Unsupervised Salient Object Detection via Knowledge Transfer

abstract: Recently, unsupervised salient object detection (USOD) has gained increasing attention due to its annotation-free nature. However, current methods mainly focus on specific tasks such as RGB and RGB-D, neglecting the potential for task migration. In this paper, we propose a unified USOD framework for generic USOD tasks. Firstly, we propose a Progressive Curriculum Learning-based Saliency Distilling (PCL-SD) mechanism to extract saliency cues from a pre-trained deep network. This mechanism starts with easy samples and progressively moves towards harder ones, to avoid initial interference caused by hard samples. Afterwards, the obtained saliency cues are utilized to train a saliency detector, and we employ a Self-rectify Pseudo-label Refinement (SPR) mechanism to improve the quality of pseudo-labels. Finally, an adapter-tuning method is devised to transfer the acquired saliency knowledge, leveraging shared knowledge to attain superior transferring performance on the target tasks. Extensive experiments on five representative SOD tasks confirm the effectiveness and feasibility of our proposed method. Code and supplement materials are available at https://github.com/I2-Multimedia-Lab/A2S-v3.


title: Retrieval Augmented Generation for Domain-specific Question Answering

abstract: Question answering (QA) has become an important application in the advanced development of large language models. General pre-trained large language models for question-answering are not trained to properly understand the knowledge or terminology for a specific domain, such as finance, healthcare, education, and customer service for a product. To better cater to domain-specific understanding, we build an in-house question-answering system for Adobe products. We propose a novel framework to compile a large question-answer database and develop the approach for retrieval-aware finetuning of a Large Language model. We showcase that fine-tuning the retriever leads to major improvements in the final generation. Our overall approach reduces hallucinations during generation while keeping in context the latest retrieval information for contextual grounding.


title: The volume of conformally flat manifolds as hypersurfaces in the light-cone

abstract: In this paper, we focus on a conformally flat Riemannian manifold $(M^n,g)$ of dimension $n$ isometrically immersed into the $(n+1)$-dimensional light-cone $\Lambda^{n+1}$ as a hypersurface. We compute the first and the second variational formulas on the volume of such hypersurfaces. Such a hypersurface $M^n$ is not only immersed in $\Lambda^{n+1}$ but also isometrically realized as a hypersurface of a certain null hypersurface $N^{n+1}$ in the Minkowski spacetime, which is different from $\Lambda^{n+1}$. Moreover, $M^n$ has a volume-maximizing property in $N^{n+1}$.


title: Dynamical properties of Fermi-Fermi mixtures of dipolar and non-dipolar atoms

abstract: Dynamical properties of homogeneous Fermi-Fermi mixtures of dipolar and non-dipolar atoms are studied at zero temperature, where dipoles are polarized by an external field. We calculate the density-density correlation functions in a ring-diagram approximation and analyze the pole structure to obtain eigenfrequencies of collective excitations. We first determine stability phase diagrams for the mixtures available in experiments: $^{167}$Er-$^{173}$Yb, $^{167}$Er-$^{6}$Li, $^{161}$Dy-$^{173}$Yb, and $^{161}$Dy-$^{6}$Li systems, and show that the mixtures with larger mass imbalance tend to be more unstable. We then investigate the parameter dependence of an undamped zero sound with an anisotropic real dispersion relation in the stable phase for the $^{161}$Dy-$^{173}$Yb mixture, and the speed of sound exhibits a critical angle of possible propagation with respect to the dipole polarization direction, above which the sound mode disappears in the particle-hole continuum. Since the sound mode is a coherent superposition of density fluctuations of dipolar and non-dipolar atoms, the existence of the sound mode, e.g., the value of the critical angle, is significantly affected by the inter-particle interaction through the density-density correlation between dipolar and non-dipolar atoms. We have also observed such an effect of the inter-particle interaction in the study of a linear response of density fluctuations to an external perturbation.


title: Evolutionary Reinforcement Learning via Cooperative Coevolution

abstract: Recently, evolutionary reinforcement learning has obtained much attention in various domains. Maintaining a population of actors, evolutionary reinforcement learning utilises the collected experiences to improve the behaviour policy through efficient exploration. However, the poor scalability of genetic operators limits the efficiency of optimising high-dimensional neural networks. To address this issue, this paper proposes a novel cooperative coevolutionary reinforcement learning (CoERL) algorithm. Inspired by cooperative coevolution, CoERL periodically and adaptively decomposes the policy optimisation problem into multiple subproblems and evolves a population of neural networks for each of the subproblems. Instead of using genetic operators, CoERL directly searches for partial gradients to update the policy. Updating policy with partial gradients maintains consistency between the behaviour spaces of parents and offspring across generations. The experiences collected by the population are then used to improve the entire policy, which enhances the sampling efficiency. Experiments on six benchmark locomotion tasks demonstrate that CoERL outperforms seven state-of-the-art algorithms and baselines. Ablation study verifies the unique contribution of CoERL's core ingredients.


title: The unstable null circular geodesic features the spherically symmetrical asymptotically flat black hole

abstract: We analyse the massless particles orbiting a spherically symmetric, asymptotically flat black hole with a radius equal to the photon sphere and a circular geodesic. Asymptotic observers record the orbital period of the null circular geodesic as the lowest among all possible paths around the compact object. We proceed with the analytical study of massless particle motion to demonstrate the instability of an orbit with null circularity. Furthermore, our results apply to any asymptotically flat and spherically symmetric spacetime.


title: On the order of magnitude of certain integer sequences

abstract: Let $p$ be a prime number, and let $S$ be the numerical semigroup generated by the prime numbers not less than $p$. We compare the orders of magnitude of some invariants of $S$ with each other, e. g., the biggest atom $u$ of $S$ with $p$ itself: By Harald Helfgott (arXiv:1312.7748 [math.NT]), every odd integer $N$ greater than five can be written as the sum of three prime numbers. There is numerical evidence suggesting that the summands of $N$ always can be chosen between $\frac N6$ and $\frac N2$. This would imply that $u$ is less than $6p$.


title: Observational Constraints on Asymptotic Safety Inflation in Gravity Rainbow

abstract: Using suitable Renormalization Group (RG) based re-summation of quantum corrections to $R^2$ term, a re-summed version of the effective Lagrangian can be obtained \cite{Demmel:2015oqa}. In the context of gravity as an Asymptotically Safe (AS) theory, authors of Refs.\cite{Liu:2018hno,Koshelev:2022olc} proposed a refined Starobinsky model, $L_{\rm AS} = M^{2}_{p} R/2+(\alpha/2)R^{2}/[1+\beta \ln(R/\mu^{2})]$, where $R$ is the Ricci scalar, $\alpha$ and $\beta$ are constants and $\mu$ is an energy scale. In the present work, we embed this underlying effective Lagrangian within the framework of gravity's rainbow. By implementing the COBE normalization and the Planck constraint on the scalar spectrum, we demonstrate that the power spectrum of curvature perturbation relies on $\alpha$ and $\beta$, as well as on a rainbow parameter. Similarly, the scalar spectral index $n_s$ is influenced by $\beta$ and the rainbow parameter, yet remains unaffected by $\alpha$. Additionally, the tensor-to-scalar ratio $r$ solely depends on the rainbow parameter. Remarkably, when requiring $n_s$ to be consistent with the Planck collaboration at $1\sigma$ confidence level, the upper limit on the tensor-to-scalar ratio $r < 0.036$ can be naturally satisfied. This value potentially holds promise for potential measurement by Stage IV CMB ground experiments and is certainly within reach of future dedicated space missions.


title: Remaining Energy Prediction for Lithium-Ion Batteries: A Machine Learning Approach

abstract: Lithium-ion batteries have found their way into myriad sectors of industry to drive electrification, decarbonization, and sustainability. A crucial aspect in ensuring their safe and optimal performance is monitoring their energy state. In this paper, we present the first study on predicting the remaining energy of a battery cell undergoing discharge over wide current ranges from low to high C-rates. The complexity of the challenge arises from the cell's C-rate-dependent energy availability as well as its intricate electro-thermal dynamics. To address this, we introduce a new definition of remaining discharge energy and then undertake a systematic effort in harnessing the power of machine learning to enable its prediction. Our effort includes two parts in cascade. First, we develop an accurate dynamic model based on integration of physics with machine learning to capture a battery's voltage and temperature behaviors. Second, based on the model, we propose a machine learning approach to predict the remaining discharge energy under arbitrary C-rates and pre-specified cut-off limits in voltage and temperature. The results from our experiments show that the proposed approach offers high prediction accuracy and amenability to training and computation.


title: Enhancing Prompt Following with Visual Control Through Training-Free Mask-Guided Diffusion

abstract: Recently, integrating visual controls into text-to-image~(T2I) models, such as ControlNet method, has received significant attention for finer control capabilities. While various training-free methods make efforts to enhance prompt following in T2I models, the issue with visual control is still rarely studied, especially in the scenario that visual controls are misaligned with text prompts. In this paper, we address the challenge of ``Prompt Following With Visual Control" and propose a training-free approach named Mask-guided Prompt Following (MGPF). Object masks are introduced to distinct aligned and misaligned parts of visual controls and prompts. Meanwhile, a network, dubbed as Masked ControlNet, is designed to utilize these object masks for object generation in the misaligned visual control region. Further, to improve attribute matching, a simple yet efficient loss is designed to align the attention maps of attributes with object regions constrained by ControlNet and object masks. The efficacy and superiority of MGPF are validated through comprehensive quantitative and qualitative experiments.


title: A high-level synthesis approach for precisely-timed, energy-efficient embedded systems

abstract: Embedded systems continue to rapidly proliferate in diverse fields, including medical devices, autonomous vehicles, and more generally, the Internet of Things (IoT). Many embedded systems require application-specific hardware components to meet precise timing requirements within limited resource (area and energy) constraints. High-level synthesis (HLS) is an increasingly popular approach for improving the productivity of designing hardware and reducing the time/cost by using high-level languages to specify computational functionality and automatically generate hardware implementations. However, current HLS methods provide limited or no support to incorporate or utilize precise timing specifications within the synthesis and optimization process. In this paper, we present a hybrid high-level synthesis (H-HLS) framework that integrates state-based high-level synthesis (SB-HLS) with performance-driven high-level synthesis (PD-HLS) methods to enable the design and optimization of application-specific embedded systems in which timing information is explicitly and precisely defined in state-based system models. We demonstrate the results achieved by this H-HLS approach using case studies including a wearable pregnancy monitoring device, an ECG-based biometric authentication system, and a synthetic system, and compare the design space exploration results using two PD-HLS tools to show how H-HLS can provide low energy and area under timing constraints.


title: Discrete-Time Open Quantum Walks for Vertex Ranking in Graphs

abstract: This article utilizes the inspiration to apply the Wyel operators for producing the Kraus operators, which are crucial in the discrete-time open quantum walk. It assists us in extending the idea of discrete-time open quantum walk on arbitrary directed and undirected graphs. We make the new model of quantum walk useful to build up a quantum PageRank algorithm. In classical computation, Google's PageRank is a significant algorithm for arranging web pages on the World Wide Web. In general, it is also a fundamental measure for quantifying the importance of vertices in a network. Similarly, the new quantum PageRank also represents the importance of the vertices of a network. We can compute the new quantum PageRank algorithm in polynomial time using a classical computer. We compare the classical PageRank and the newly defined quantum PageRank for different types of complex networks, such as the scale-free network, Erdos-Renyi random network, Watts-Strogatz network, spatial network, Zachary Karate club network, random-k-out graph, binary tree graph, GNC network, Barabasi and Albert network, etc.


title: Music Style Transfer With Diffusion Model

abstract: Previous studies on music style transfer have mainly focused on one-to-one style conversion, which is relatively limited. When considering the conversion between multiple styles, previous methods required designing multiple modes to disentangle the complex style of the music, resulting in large computational costs and slow audio generation. The existing music style transfer methods generate spectrograms with artifacts, leading to significant noise in the generated audio. To address these issues, this study proposes a music style transfer framework based on diffusion models (DM) and uses spectrogram-based methods to achieve multi-to-multi music style transfer. The GuideDiff method is used to restore spectrograms to high-fidelity audio, accelerating audio generation speed and reducing noise in the generated audio. Experimental results show that our model has good performance in multi-mode music style transfer compared to the baseline and can generate high-quality audio in real-time on consumer-grade GPUs.


title: Simulating Task-Oriented Dialogues with State Transition Graphs and Large Language Models

abstract: This paper explores SynTOD, a new synthetic data generation approach for developing end-to-end Task-Oriented Dialogue (TOD) Systems capable of handling complex tasks such as intent classification, slot filling, conversational question-answering, and retrieval-augmented response generation, without relying on crowdsourcing or real-world data. SynTOD utilizes a state transition graph to define the desired behavior of a TOD system and generates diverse, structured conversations through random walks and response simulation using large language models (LLMs). In our experiments, using graph-guided response simulations leads to significant improvements in intent classification, slot filling and response relevance compared to naive single-prompt simulated conversations. We also investigate the end-to-end TOD effectiveness of different base and instruction-tuned LLMs, with and without the constructed synthetic conversations. Finally, we explore how various LLMs can evaluate responses in a TOD system and how well they are correlated with human judgments. Our findings pave the path towards quick development and evaluation of domain-specific TOD systems. We release our datasets, models, and code for research purposes.


title: Superconductivity at 9 K in Pb-Bi Alloy

abstract: In the present work, we report the synthesis of Pb-Bi alloy with enhanced Tc up to 9K, which is higher than that of Pb. The alloy is synthesized via solid state reaction route in vacuum encapsulated quartz tube at 700C in an automated furnace. The synthesized sample is characterized by X-ray Diffraction for its phase purity. Rietveld refinement of XRD reveals that the end product is majority hexagonal Pb7Bi3, with minor rhombohedral Bi. The electronic transport measurement shows metallic behavior with the Debye temperature of 108K and a superconductivity transition temperature (Tc) at below 9K, which is maximum till date for any reported Pb-Bi alloy, Pb or Bi at ambient pressure . It is possible that partial substitution of Bi at the Pb site, modifies the free density of electronic states within BCS model to attain the optimum Tc, which is higher by around 2K from the reported Tc of Pb. The superconductor phase diagram derived from magneto-transport measurements reveals that the synthesized alloy is a conventional superconductor with upper critical field (Hc) of 3.9Tesla, which lies well within the Pauli paramagnetic limit.


title: Contrastive Quantization based Semantic Code for Generative Recommendation

abstract: With the success of large language models, generative retrieval has emerged as a new retrieval technique for recommendation. It can be divided into two stages: the first stage involves constructing discrete Codes (i.e., codes), and the second stage involves decoding the code sequentially via the transformer architecture. Current methods often construct item semantic codes by reconstructing based quantization on item textual representation, but they fail to capture item discrepancy that is essential in modeling item relationships in recommendation sytems. In this paper, we propose to construct the code representation of items by simultaneously considering both item relationships and semantic information. Specifically, we employ a pre-trained language model to extract item's textual description and translate it into item's embedding. Then we propose to enhance the encoder-decoder based RQVAE model with contrastive objectives to learn item code. To be specific, we employ the embeddings generated by the decoder from the samples themselves as positive instances and those from other samples as negative instances. Thus we effectively enhance the item discrepancy across all items, better preserving the item neighbourhood. Finally, we train and test semantic code with with generative retrieval on a sequential recommendation model. Our experiments demonstrate that our method improves NDCG@5 with 43.76% on the MIND dataset and Recall@10 with 80.95% on the Office dataset compared to the previous baselines.


title: Properties of quark stars based on the density-dependent MIT bag model

abstract: In this study, we extend the MIT bag model by incorporating the vector interaction among quarks and introducing a density-dependent bag pressure. Then we proceed to investigate the thermodynamic properties of strange quark matter (SQM) and pure up-down quark matter (udQM) in quark stars. The results demonstrate that the vector interaction among quarks and the densitydependent bag pressure have significant impacts on the equation of state for both SQM and udQM. The inclusion of GV , which represents the strength of vector interactions, results in a stiffening of equation of state while maintaining causality. This allows for the description of massive compact stars such as those observed in GW190814 and PSR J0740+6620 as quark stars. Ultimately, we utilize the vMIT bag model to derive a series of mass-radius relations of quark stars (QSs) which is consistent with the astronomical observations from HESS J1731-347, 4U 1702-429, PSR J0740+6620, GW170817 and GW190814.


title: Dynamic transition of the density-matrix topology under parity-time symmetry

abstract: Density-matrix topology, defined through the geometric property of the relevant modular Hamiltonian, can undergo transitions in the corresponding open-system dynamics. While symmetry considerations are crucial to ensure such a dynamic topological transition, we show that a hidden parity-time symmetry can further facilitate it. Considering the Lindbladian dynamics of a fermionic Gaussian state, we extract the time-evolved density-matrix topology from the single-particle correlation, whose dynamics is governed by a non-Hermitian damping matrix. We show that, for a parity-time symmetric damping matrix and a chiral symmetric correlation matrix, a dynamic transition in the density-matrix topology necessarily occurs in the parity-time unbroken regime where eigenvalues of the damping matrix are real. We illustrate our results using a concrete model, and map out the dynamic phase diagram.Remarkably, we find that the dynamic transition can also happen periodically in the parity-time symmetry broken regime.


title: CT-Agent: Clinical Trial Multi-Agent with Large Language Model-based Reasoning

abstract: Large Language Models (LLMs) and multi-agent systems have shown impressive capabilities in natural language tasks but face challenges in clinical trial applications, primarily due to limited access to external knowledge. Recognizing the potential of advanced clinical trial tools that aggregate and predict based on the latest medical data, we propose an integrated solution to enhance their accessibility and utility. We introduce Clinical Agent System (CT-Agent), a Clinical multi-agent system designed for clinical trial tasks, leveraging GPT-4, multi-agent architectures, LEAST-TO-MOST, and ReAct reasoning technology. This integration not only boosts LLM performance in clinical contexts but also introduces novel functionalities. Our system autonomously manages the entire clinical trial process, demonstrating significant efficiency improvements in our evaluations, which include both computational benchmarks and expert feedback.


title: Channel Estimation for Optical Intelligent Reflecting Surface-Assisted VLC System: A Joint Space-Time Sampling Approach

abstract: Optical intelligent reflecting surface (OIRS) has attracted increasing attention due to its capability of overcoming signal blockages in visible light communication (VLC), an emerging technology for the next-generation advanced transceivers. However, current works on OIRS predominantly assume known channel state information (CSI), which is essential to practical OIRS configuration. To bridge such a gap, this paper proposes a new and customized channel estimation protocol for OIRSs under the alignment-based channel model. Specifically, we first unveil OIRS spatial and temporal coherence characteristics and derive the coherence distance and the coherence time in closed form. Next, to achieve fast beam alignment over different coherence time, we propose to dynamically tune the rotational angles of the OIRS reflecting elements following a geometric optics-based non-uniform codebook. Given the above beam alignment, we propose an efficient joint space-time sampling-based algorithm to estimate the OIRS channel. In particular, we divide the OIRS into multiple subarrays based on the coherence distance and sequentially estimate their associated CSI, followed by a spacetime interpolation to retrieve full CSI for other non-aligned transceiver antennas. Numerical results validate our theoretical analyses and demonstrate the efficacy of our proposed OIRS channel estimation scheme as compared to other benchmark schemes.


title: Med42 -- Evaluating Fine-Tuning Strategies for Medical LLMs: Full-Parameter vs. Parameter-Efficient Approaches

abstract: This study presents a comprehensive analysis and comparison of two predominant fine-tuning methodologies - full-parameter fine-tuning and parameter-efficient tuning - within the context of medical Large Language Models (LLMs). We developed and refined a series of LLMs, based on the Llama-2 architecture, specifically designed to enhance medical knowledge retrieval, reasoning, and question-answering capabilities. Our experiments systematically evaluate the effectiveness of these tuning strategies across various well-known medical benchmarks. Notably, our medical LLM Med42 showed an accuracy level of 72% on the US Medical Licensing Examination (USMLE) datasets, setting a new standard in performance for openly available medical LLMs. Through this comparative analysis, we aim to identify the most effective and efficient method for fine-tuning LLMs in the medical domain, thereby contributing significantly to the advancement of AI-driven healthcare applications.


title: ContextualFusion: Context-Based Multi-Sensor Fusion for 3D Object Detection in Adverse Operating Conditions

abstract: The fusion of multimodal sensor data streams such as camera images and lidar point clouds plays an important role in the operation of autonomous vehicles (AVs). Robust perception across a range of adverse weather and lighting conditions is specifically required for AVs to be deployed widely. While multi-sensor fusion networks have been previously developed for perception in sunny and clear weather conditions, these methods show a significant degradation in performance under night-time and poor weather conditions. In this paper, we propose a simple yet effective technique called ContextualFusion to incorporate the domain knowledge about cameras and lidars behaving differently across lighting and weather variations into 3D object detection models. Specifically, we design a Gated Convolutional Fusion (GatedConv) approach for the fusion of sensor streams based on the operational context. To aid in our evaluation, we use the open-source simulator CARLA to create a multimodal adverse-condition dataset called AdverseOp3D to address the shortcomings of existing datasets being biased towards daytime and good-weather conditions. Our ContextualFusion approach yields an mAP improvement of 6.2% over state-of-the-art methods on our context-balanced synthetic dataset. Finally, our method enhances state-of-the-art 3D objection performance at night on the real-world NuScenes dataset with a significant mAP improvement of 11.7%.


title: Improved Algorithm for Reachability in $d$-VASS

abstract: An $\mathsf{F}_{d}$ upper bound for the reachability problem in vector addition systems with states (VASS) in fixed dimension is given, where $\mathsf{F}_d$ is the $d$-th level of the Grzegorczyk hierarchy of complexity classes. The new algorithm combines the idea of the linear path scheme characterization of the reachability in the $2$-dimension VASSes with the general decomposition algorithm by Mayr, Kosaraju and Lambert. The result improves the $\mathsf{F}_{d + 4}$ upper bound due to Leroux and Schmitz (LICS 2019).


title: Black hole-neutron star binaries

abstract: The gravitational wave signals of black hole-neutron star (BHNS) binary systems have now been detected, and future detections might be accompanied by electromagnetic counterparts. BHNS mergers involve much of the same physics as binary neutron star mergers: strong gravity, nuclear density matter, neutrino radiation, and magnetic turbulence. They also share with binary neutron star systems the potential for bright electromagnetic signals, especially gamma ray bursts and kilonovae, and the potential to be significant sources of r-process elements. However, BHNS binaries are more asymmetric, and their mergers produce different amounts and arrangements of the various post-merger material components (e.g. disk and dynamical ejecta), together with a more massive black hole; these differences can have interesting consequences. In this chapter, we review the modeling of BHNS mergers and post-merger evolution in numerical relativistic hydrodynamics and magnetohydrodynamics. We attempt to give readers a broad understanding of the answers to the following questions. What are the main considerations that determine the merger outcome? What input physics must (or should) go into a BHNS simulation? What have the most advanced simulations to date learned?


title: Randomized Large-Scale Quaternion Matrix Approximation: Practical Rangefinders and One-Pass Algorithm

abstract: Recently, randomized algorithms for low-rank approximation of quaternion matrices have received increasing attention. However, for large-scale problems, existing quaternion orthonormalizations are inefficient, leading to slow rangefinders. To address this, by appropriately leveraging efficient scientific computing libraries in the complex arithmetic, this work devises two practical quaternion rangefinders, one of which is non-orthonormal yet well-conditioned. They are then integrated into the quaternion version of a one-pass algorithm, which originally takes orthonormal rangefinders only. We establish the error bounds and demonstrate that the error is proportional to the condition number of the rangefinder. The probabilistic bounds are exhibited for both quaternion Gaussian and sub-Gaussian embeddings. Numerical experiments demonstrate that the one-pass algorithm with the proposed rangefinders significantly outperforms previous techniques in efficiency. Additionally, we tested the algorithm in a 3D Navier-Stokes equation ($5.22$GB) and a 4D Lorenz-type chaotic system ($5.74$GB) data compression, as well as a $31365\times 27125$ image compression to demonstrate its capability for handling large-scale applications.


title: Hamiltonian simulation of minimal holographic sparsified SYK model

abstract: The circuit complexity for Hamiltonian simulation of the sparsified SYK model with $N$ Majorana fermions and $q=4$ (quartic interactions) which retains holographic features (referred to as `minimal holographic sparsified SYK') with $k\ll N^{3}/24$ (where $k$ is the total number of interaction terms times 1/$N$) using second-order Trotter method and Jordan-Wigner encoding is found to be $\widetilde{\mathcal{O}}(k^{p}N^{3/2} \log N (\mathcal{J}t)^{3/2}\varepsilon^{-1/2})$ where $t$ is the simulation time, $\varepsilon$ is the desired error in the implementation of the unitary $U = \exp(-iHt)$, $\mathcal{J}$ is the disorder strength, and $p < 1$. This complexity implies that with less than a hundred logical qubits and about $10^{6}$ gates, it will be possible to achieve an advantage in this model and simulate real-time dynamics up to scrambling time.


title: Storage Capacity Evaluation of the Quantum Perceptron using the Replica Method

abstract: We investigate a quantum perceptron implemented on a quantum circuit using a repeat until method. We evaluate this from the perspective of capacity, one of the performance evaluation measures for perceptions. We assess a Gardner volume, defined as a volume of coefficients of the perceptron that can correctly classify given training examples using the replica method. The model is defined on the quantum circuit. Nevertheless, it is straightforward to assess the capacity using the replica method, which is a standard method in classical statistical mechanics. The reason why we can solve our model by the replica method is the repeat until method, in which we focus on the output of the measurements of the quantum circuit. We find that the capacity of a quantum perceptron is larger than that of a classical perceptron since the quantum one is simple but effectively falls into a highly nonlinear form of the activation function.


title: RealTCD: Temporal Causal Discovery from Interventional Data with Large Language Model

abstract: In the field of Artificial Intelligence for Information Technology Operations, causal discovery is pivotal for operation and maintenance of graph construction, facilitating downstream industrial tasks such as root cause analysis. Temporal causal discovery, as an emerging method, aims to identify temporal causal relationships between variables directly from observations by utilizing interventional data. However, existing methods mainly focus on synthetic datasets with heavy reliance on intervention targets and ignore the textual information hidden in real-world systems, failing to conduct causal discovery for real industrial scenarios. To tackle this problem, in this paper we propose to investigate temporal causal discovery in industrial scenarios, which faces two critical challenges: 1) how to discover causal relationships without the interventional targets that are costly to obtain in practice, and 2) how to discover causal relations via leveraging the textual information in systems which can be complex yet abundant in industrial contexts. To address these challenges, we propose the RealTCD framework, which is able to leverage domain knowledge to discover temporal causal relationships without interventional targets. Specifically, we first develop a score-based temporal causal discovery method capable of discovering causal relations for root cause analysis without relying on interventional targets through strategic masking and regularization. Furthermore, by employing Large Language Models (LLMs) to handle texts and integrate domain knowledge, we introduce LLM-guided meta-initialization to extract the meta-knowledge from textual information hidden in systems to boost the quality of discovery. We conduct extensive experiments on simulation and real-world datasets to show the superiority of our proposed RealTCD framework over existing baselines in discovering temporal causal structures.


title: Numerical study of the properties of a holographic superconductor from an anti-de Sitter-Einstein-Born-Infeld black hole with backreaction

abstract: We study numerically an $s$-wave holographic superconductor from an anti-de Sitter-Einstein-Born-Infeld black hole with backreaction in the context of the AdS/CFT correspondence. By introducing a parameter $G$ to tune the effects of the backreaction, we can study non-perturbatively how the condensation properties and conductivity of the superconductor change as the backreaction increases. We find that for small values of $G$, increasing the nonlinearity of the Born-Infeld model makes the formation of the condensate harder -- consistent with previous results reported in the literature -- while for values of $G$ close to one, the opposite effect occurs; increasing the nonlinearity slightly facilitates its formation. We also determine how the ratio $\omega_g/T_c$ varies for different intensities of nonlinearity and backreaction, showing in particular that large deviations from the so-called universal value arise as backreaction becomes stronger.


title: Digital Quantum Simulation for Spectroscopy of Schwinger Model

abstract: This note discusses a method for computing the energy spectra of quantum field theory utilizing digital quantum simulation. A quantum algorithm, called coherent imaging spectroscopy, quenches the vacuum with a time-oscillating perturbation and then reads off the excited energy levels from the loss in the vacuum-to-vacuum probability following the quench. As a practical demonstration, we apply this algorithm to the (1+1)-dimensional quantum electrodynamics with a topological term known as the Schwinger model, where the conventional Monte Carlo approach is practically inaccessible. In particular, on a classical simulator, we prepare the vacuum of the Schwinger model on a lattice by adiabatic state preparation and then apply various types of quenches to the approximate vacuum through Suzuki-Trotter time evolution. We discuss the dependence of the simulation results on the specific types of quenches and introduce various consistency checks, including the exact diagonalization and the continuum limit extrapolation. The estimation of the computational complexity required to obtain physically reasonable results implies that the method is likely efficient in the coming era of early fault-tolerant quantum computers.


title: Opinion Update in a Subjective Logic Model for Social Networks

abstract: Subjective Logic (SL) is a logic incorporating uncertainty and opinions for agents in dynamic systems. In this work, we investigate the use of subjective logic to model opinions and belief change in social networks. In particular, we work toward the development of a subjective logic belief/opinion update function appropriate for modeling belief change as communication occurs in social networks. We found through experiments that an update function with belief fusion from SL does not have ideal properties to represent a rational update. Even without these properties, we found that an update function with cumulative belief fusion can describe behaviors not explored by the social network model defined by Alvim, Knight, and Valencia (2019).


title: Pressure-dependent electronic superlattice in the Kagome-superconductor CsV$\mathrm{_3}$Sb$\mathrm{_5}$

abstract: We present a high-resolution single crystal x-ray diffraction study of Kagome superconductor \cvs, exploring its response to variations in pressure and temperature. We discover that at low temperatures, the structural modulations of the electronic superlattice, commonly associated with charge density wave order, undergo a transformation around $p \sim$ 0.7 GPa from the familiar $2\times2$ pattern to a long-range ordered modulation at wavevector $q=(0, 3/8, 1/2)$. Our observations align with inferred changes in the CDW pattern from prior transport and nuclear magnetic resonance studies, providing new insights into these transitions. Interestingly, the pressure-induced variations in the electronic superlattice correlate with two peaks in the superconducting transition temperature as pressure changes, hinting that fluctuations within the electronic superlattice could be key to stabilizing superconductivity. However, our findings contrast with the minimal pressure dependency anticipated by ab initio calculations of the electronic structure. They also challenge prevailing scenarios based on a Peierls-like nesting mechanism involving van Hove singularities.


title: Phase separation and metastability in a mixture of spin-1 and spin-2 Bose-Einstein condensates

abstract: We investigate the ground state and dynamics of a mixture of spin-1 and spin-2 Bose-Einstein condensates of ${}^{87}{\rm{Rb}}$ atoms. For the experimentally measured interaction coefficients, the ground state exhibits phase separation between the spin-1 ferromagnetic state and the spin-2 nematic state. At the interface between them, a partially polarized spin state emerges. The uniformly mixed state of the spin-1 polar state and spin-2 biaxial nematic state is metastable, and the phase separation via nucleation can be triggered by a local perturbation.


title: $\alpha_i$-Metric Graphs: Hyperbolicity

abstract: A graph is called $\alpha_i$-metric ($i \in {\cal N}$) if it satisfies the following $\alpha_i$-metric property for every vertices $u, w, v$ and $x$: if a shortest path between $u$ and $w$ and a shortest path between $x$ and $v$ share a terminal edge $vw$, then $d(u,x) \ge d(u,v) + d(v,x) - i$. The latter is a discrete relaxation of the property that in Euclidean spaces the union of two geodesics sharing a terminal segment must be also a geodesic. Recently in (Dragan & Ducoffe, WG'23) we initiated the study of the algorithmic applications of $\alpha_i$-metric graphs. Our results in this prior work were very similar to those established in (Chepoi et al., SoCG'08) and (Chepoi et al., COCOA'18) for graphs with bounded hyperbolicity. The latter is a heavily studied metric tree-likeness parameter first introduced by Gromov. In this paper, we clarify the relationship between hyperbolicity and the $\alpha_i$-metric property, proving that $\alpha_i$-metric graphs are $f(i)$-hyperbolic for some function $f$ linear in $i$. We give different proofs of this result, using various equivalent definitions to graph hyperbolicity. By contrast, we give simple constructions of $1$-hyperbolic graphs that are not $\alpha_i$-metric for any constant $i$. Finally, in the special case of $i=1$, we prove that $\alpha_1$-metric graphs are $1$-hyperbolic, and the bound is sharp. By doing so, we can answer some questions left open in (Dragan & Ducoffe, WG'23).


title: Limiting behavior of determinantal point processes associated with weighted Bergman kernels

abstract: Let $\Omega$ be a bounded pseudoconvex domain in $\mathbb{C}^n$ and $\phi$ be a strictly plurisubharmonic function on $\Omega$. For each $k\in\mathbb{N}$, we consider determinantal point process $\Lambda_k$ with kernel $K_{k\phi}$, where $K_{k\phi}$ is the reproducing kernel of weighted Bergman space $H(k\phi)$ with weight $e^{-k\phi}$. We show that the limit of scaled cumulant generating function for $\Lambda_k$ converges as $k\rightarrow\infty$ to a certain limit, which can be explicitly expressed in terms of $\phi$ and a test function $u$. Note that we need to restrict the type of test function $u$ to be $\phi$-admissible.


title: Numerical simulations of the region of possible sprite inception in the mesosphere above winter thunderstorms under wind shear

abstract: Transient luminous events (TLEs) is the collective name given to mesospheric electrical breakdown phenomena occurring in conjunction with strong lightning discharges in tropospheric thunderstorms. They include elves, sprites, haloes and jets, and are characterized by short lived optical emissions, mostly of red (665 nm) and blue (337 nm) wavelengths. Sprites are caused by the brief quasi-electrostatic field induced in the mesosphere, mostly after the removal of the upper positive charge of the thundercloud by a +CG, and they have been recorded above most of the lightning activity centers on Earth. In wintertime, there are just a few areas where lightning occurs, and of those, sprites have been observed over the Sea of Japan, the British Channel, and the Mediterranean Sea. Unlike their summer counterparts, winter thunderstorms tend to have weaker updrafts and as a result, reduced vertical dimensions and compact charge structures, whose positive and negative centers are located at lower altitudes. These storms are often susceptible to significant wind shear and as a result may exhibit a tilted dipole charge structure and a lateral offset of the upper positive charge relative to the main negative charge. We present results of numerical simulations using a three-dimensional explicit formulation of the mesospheric electrostatic electrical field following a lightning discharge from a typical mid-latitude winter thunderstorm exhibiting tilt due to wind shear and evaluate the regions of possible sprite inception. Our results show, as numerous observations suggest, that sprites can be shifted a large distance from the location of the parent +CG in the direction of the shear and will occur over a larger region compared with non-sheared storms.


title: Talk Too Much: Poisoning Large Language Models under Token Limit

abstract: Mainstream poisoning attacks on large language models (LLMs) typically set a fixed trigger in the input instance and specific responses for triggered queries. However, the fixed trigger setting (e.g., unusual words) may be easily detected by human detection, limiting the effectiveness and practicality in real-world scenarios. To enhance the stealthiness of the trigger, we present a poisoning attack against LLMs that is triggered by a generation/output condition-token limitation, which is a commonly adopted strategy by users for reducing costs. The poisoned model performs normally for output without token limitation, while becomes harmful for output with limited tokens. To achieve this objective, we introduce BrieFool, an efficient attack framework. It leverages the characteristics of generation limitation by efficient instruction sampling and poisoning data generation, thereby influencing the behavior of LLMs under target conditions. Our experiments demonstrate that BrieFool is effective across safety domains and knowledge domains. For instance, with only 20 generated poisoning examples against GPT-3.5-turbo, BrieFool achieves a 100% Attack Success Rate (ASR) and a 9.28/10 average Harmfulness Score (HS) under token limitation conditions while maintaining the benign performance.


title: Superconducting phase diagram of Sb and Se substitution in CeOBiS2 single crystals

abstract: Sb- and Se-substituted CeOBiS2 single crystals have been successfully grown using CsCl/KCl flux. Sb and Se substitution dependence of the superconductivity on CeOBiS2 was investigated and the superconducting phase diagram at above 0.3 K was described. The non-linear boundary between superconductivity and non-superconductivity was revealed.


title: Isochrone Fitting of Galactic Globular Clusters -- VI. High-latitude Clusters NGC5024 (M53), NGC5053, NGC5272 (M3), NGC5466, and NGC7099 (M30)

abstract: We fit various colour-magnitude diagrams (CMDs) of the high-latitude Galactic globular clusters NGC\,5024 (M53), NGC\,5053, NGC\,5272 (M3), NGC\,5466, and NGC\,7099 (M30) by isochrones from the Dartmouth Stellar Evolution Database and Bag of Stellar Tracks and Isochrones for $\alpha$-enrichment [$\alpha$/Fe]$=+0.4$. For the CMDs, we use data sets from {\it Hubble Space Telescope}, {\it Gaia}, and other sources utilizing, at least, 25 photometric filters for each cluster. We obtain the following characteristics with their statistic uncertainties for NGC\,5024, NGC\,5053, NGC\,5272, NGC\,5466, and NGC\,7099, respectively: metallicities [Fe/H]$=-1.93\pm0.02$, $-2.08\pm0.03$, $-1.60\pm0.02$, $-1.95\pm0.02$, and $-2.07\pm0.04$ dex with their systematic uncertainty 0.1 dex; ages $13.00\pm0.11$, $12.70\pm0.11$, $11.63\pm0.07$, $12.15\pm0.11$, and $12.80\pm0.17$ Gyr with their systematic uncertainty 0.8 Gyr; distances (systematic uncertainty added) $18.22\pm0.06\pm0.60$, $16.99\pm0.06\pm0.56$, $10.08\pm0.04\pm0.33$, $15.59\pm0.03\pm0.51$, and $8.29\pm0.03\pm0.27$ kpc; reddenings $E(B-V)=0.023\pm0.004$, $0.017\pm0.004$, $0.023\pm0.004$, $0.023\pm0.003$, and $0.045\pm0.002$ mag with their systematic uncertainty 0.01 mag; extinctions $A_\mathrm{V}=0.08\pm0.01$, $0.06\pm0.01$, $0.08\pm0.01$, $0.08\pm0.01$, and $0.16\pm0.01$ mag with their systematic uncertainty 0.03 mag, which suggest the total Galactic extinction $A_\mathrm{V}=0.08$ across the whole Galactic dust to extragalactic objects at the North Galactic pole. The horizontal branch morphology difference of these clusters is explained by their different metallicity, age, mass-loss efficiency, and loss of low-mass members in the evolution of the core-collapse cluster NGC\,7099 and loose clusters NGC\,5053 and NGC\,5466.


title: Invariant sample measures and sample statistical solutions for nonautonomous stochastic lattice Cahn-Hilliard equation with nonlinear noise

abstract: We consider a stochastic lattice Cahn-Hilliard equation with nonautonomous nonlinear noise. First, we prove the existence of pullback random attractors in $\ell^2$ for the generated nonautonomous random dynamical system. Then, we construct the time-dependent invariant sample Borel probability measures based on the pullback random attractor. Moreover, we develop a general stochastic Liouville type equation for nonautonomous random dynamical systems and show that the invariant sample measures obtained satisfy the stochastic Liouville type equation. At last, we define a new kind of statistical solution -- sample statistical solution corresponding to the invariant sample measures and show that each family of invariant sample measures is a sample statistical solution.