Searcharxiv⌕ Search

arXiv subjects

Dan Li

Publications and source records attributed to Dan Li.

At least 91 records · Page 5Linked to original sources

Activation Approximations Can Incur Safety Vulnerabilities Even in Aligned LLMs: Comprehensive Analysis and Defense

Large Language Models (LLMs) have showcased remarkable capabilities across various domains. Accompanying the evolving capabilities and expanding deployment scenarios of LLMs, their deployment challenges escalate due to their sheer scale and the advanced yet complex activation designs prevalent in notable model series, such as Llama, Gemma, Mistral. These challenges have become particularly pronounced in resource-constrained deployment scenarios, where mitigating inference bottlenecks is imperative. Among various recent efforts, activation approximation has emerged as a promising avenue for pursuing inference efficiency, sometimes considered indispensable in applications such as private inference. Despite achieving substantial speedups with minimal impact on utility, even appearing sound and practical for real-world deployment, the safety implications of activation approximations remain unclear. In this work, we fill this critical gap in LLM safety by conducting the first systematic safety evaluation of activation approximations. Our safety vetting spans seven state-of-the-art techniques across three popular categories (activation polynomialization, activation sparsification, and activation quantization), revealing consistent safety degradation across ten safety-aligned LLMs. To overcome the hurdle of devising a unified defense accounting for diverse activation approximation methods, we perform an in-depth analysis of their shared error patterns and uncover three key findings. We propose QuadA, a novel safety enhancement method tailored to mitigate the safety compromises introduced by activation approximations. Extensive experiments and ablation studies corroborate QuadA's effectiveness in enhancing the safety capabilities of LLMs after activation approximations.

cs.CR↗

Enhancing LLM Reasoning for Time Series Classification by Tailored Thinking and Fused Decision

The reasoning capabilities of large language models (LLMs) have significantly advanced their performance by enabling in-depth understanding of diverse tasks. With growing interest in applying LLMs to the time series domain, this has proven nontrivial, as evidenced by the limited efficacy of straightforwardly adapting text-domain reasoning techniques. Although recent work has shown promise in several time series tasks, further leveraging advancements in LLM reasoning remains under-explored for time series classification (TSC) tasks, despite their prevalence and significance in many real-world applications. In this paper, we propose ReasonTSC, a novel framework designed to effectively leverage LLM reasoning for time series classification through both a multi-turn reasoning and a fused decision-making strategy tailored to TSC. Rather than straightforwardly applying existing reasoning techniques or relying solely on LLMs' built-in reasoning capabilities, ReasonTSC first steers the model to think over the essential characteristics of time series data. Next, it integrates predictions and confidence scores from plug-in classifiers, e.g., domain-specific time series models, as in-context examples. Finally, ReasonTSC guides the LLM through a structured reasoning process: it evaluates the initial assessment, backtracks to consider alternative hypotheses, and compares their merits before arriving at a final classification. Extensive experiments and systematic ablation studies demonstrate that ReasonTSC consistently outperforms both existing time series reasoning baselines and plug-in models, and is even capable of identifying and correcting plug-in models' false predictions.

cs.AI↗

Novel inner shadows of the Kerr black hole with a tilted thin accretion disk

The inner shadow of a black hole, as a projection of the event horizon, is regarded as a potential tool for testing gravitational theories and constraining system parameters. Whether this holds in the case of a tilted accretion disk warrants further investigation. In this paper, we employ a ray-tracing algorithm to simulate images of the Kerr black hole illuminated by a tilted thin accretion disk, with particular attention to the relationship between the inner shadow and system parameters. Our findings reveal that in the case of an equatorial accretion disk, the Kerr black hole exhibits a minimum inner shadow size of $S_{\textrm{min}} = 13.075$ M$^{2}$, where M denotes the black hole mass. This minimum is achieved when the viewing angle is $0^{\circ}$ and the spin parameter approaches $1$. However, with a non-zero disk tilt, the inner shadow exhibits novel configurations -- taking on petal, crescent, or eyebrow shapes -- significantly smaller than $S_{\textrm{min}}$ across various parameter spaces. This indicates that the inner shadow is highly sensitive to the accretion environment, suggesting that caution is needed when using it as a diagnostic tool for black holes. Notably, an observed inner shadow smaller than $S_{\textrm{min}}$ would either indicate the presence of a tilted accretion disk or support the viability of modified gravity. Moreover, in certain parameter spaces, we identify the emergence of a dual-shadow structure, which could also serve as a probe for the tilted accretion disk.

gr-qc↗

Beyond Dielectrics: Interfacial Water Polarization Governs Graphene-Based Electrochemical Interfaces

Water molecules are traditionally regarded as passive dielectric media in electrochemical systems. In this work, we challenge this conventional perspective using molecular dynamics simulations and theoretical analysis. We show that interfacial water is polarized differently from bulk water and effectively screens the electrostatic potential between ions and the surface. This goes beyond the classic electric double layer (EDL) model, which treated water as merely a passive dielectric. The observed overscreening occurs because a significant portion of water polarization directly responds to the graphene surface, in addition to screening the electrostatic interactions between ions and charged surfaces. Furthermore, we reveal that this surface-induced polarization of interfacial water governs the electric potential distribution and EDL capacitance, and can even invert the electrode surface potential polarity, overriding the contribution of ions. These molecular-level insights lead to a revised EDL model that more accurately describes the electric and chemical potential distributions in the interfacial EDL regions.

physics.chem-ph↗

The index of unbalanced signed complete graphs whose negative-edge-induced subgraph is ${K}_{2,2}$-minor free

Let $Γ=(K_n,H^-)$ be a signed complete graph with the negative edges induced subgraph $H$. According to the properties of the negative-edge-induced subgraph, characterizing the extremum problem of the index of the signed complete graph is a concern in signed graphs. A graph $G$ is called $H$-minor free if $G$ has no minor which is isomorphic to $H$. In this paper, we characterize the extremal signed complete graphs that achieve the maximum and the second maximum index when $H$ is a $K_{2,2}$-minor free spanning subgraph of $K_n$.

math.CO↗

MPd5 kagome superconductors studied by density functional calculations

Kagome materials, which are composed of hexagons tiled with a shared triangle, have inspired enormous interest due to their unique structures and rich physical properties; exploring superconducting material systems with new kagome structures is still an important research direction. Here, we predict a type of kagome superconductor, MPd5 (M is a group-IIA metal element), and identify that it exhibits coexistence of superconductivity and nontrivial topological properties. We uncover its phonon-mediated superconductivity by the density functional theory for superconductors, predicting the superconducting transition temperatures (Tc) of 2.64, 2.03, and 1.50 K for CaPd5, SrPd5, and BaPd5, respectively. These Tc can be effectively tuned through the application of external pressure and electron doping. The present results also demonstrate that MPd5 have topological properties; e.g., CaPd5 shows topological nontrivial intersection near the Fermi level (EF). Our results indicate that MPd5 materials can be an emerging material platform with rich exotic physics in their kagome structures, and render themselves excellent candidates for superconducting and advanced functional materials that could be utilized in topological quantum computing and information technology.

cond-mat.supr-con↗

The Immediate, Exemplary, and Fleeting echelle spectroscopy of SN 2023ixf: Monitoring acceleration of slow progenitor circumstellar material, driven by shock interaction

We present high resolution WIYN/NEID echelle spectroscopy (R $\approx70$,000) of the supernova (SN) 2023ixf in M101, obtained 1.51 to 18.51 days after explosion over nine epochs. Daily monitoring for the first four days after explosion shows narrow emission features ($\leq200$ km s$^{-1}$), exhibiting predominantly blueshifted velocities, that rapidly weaken, broaden, and vanish in a manner consistent with radiative acceleration and the SN shock eventually overrunning or enveloping the full extent of dense circumstellar medium (CSM). The most rapid evolution is in the He I emission, which is visible on day 1.51 but disappears by day 2.62. We measure the maximum pre-SN speed of He I to be 25 $^{+0}_{-5} \pm2$ km s$^{-1}$, where the error is attributable to the uncertainty in how much the He I had already been radiatively accelerated, and to measurement of the emission line profile. The radiative acceleration of material is likely driven by the shock-CSM interaction, and the CSM is accelerated to $\geq200$ km s$^{-1}$ before being completely swept up by the SN shock to $\sim 2000$ km s$^{-1}$. We compare the observed spectra with spherically-symmetric r16wb HERACLES/CMFGEN model spectra and find the line evolution to generally be consistent with radiative acceleration and optical depth effects. The progenitor of SN2023ixf underwent an enhanced mass loss phase $\gtrsim 4$ year prior to core-collapse, creating a dense, asymmetric CSM region extending out to approximately $r_{CSM} = 3.7 \times 10^{14}$ ($v_\textrm{shock}$/9500 km s$^{-1}$) cm.

astro-ph.HE↗

The 2D Materials Roadmap

Over the past two decades, 2D materials have rapidly evolved into a diverse and expanding family of material platforms. Many members of this materials class have demonstrated their potential to deliver transformative impact on fundamental research and technological applications across different fields. In this roadmap, we provide an overview of the key aspects of 2D material research and development, spanning synthesis, properties and commercial applications. We specifically present roadmaps for high impact 2D materials, including graphene and its derivatives, transition metal dichalcogenides, MXenes as well as their heterostructures and moiré systems. The discussions are organized into thematic sections covering emerging research areas (e.g., twisted electronics, moiré nano-optoelectronics, polaritronics, quantum photonics, and neuromorphic computing), breakthrough applications in key technologies (e.g., 2D transistors, energy storage, electrocatalysis, filtration and separation, thermal management, flexible electronics, sensing, electromagnetic interference shielding, and composites) and other important topics (computational discovery of novel materials, commercialization and standardization). This roadmap focuses on the current research landscape, future challenges and scientific and technological advances required to address, with the intent to provide useful references for promoting the development of 2D materials.

cond-mat.mtrl-sci↗

The Digital Cybersecurity Expert: How Far Have We Come?

The increasing deployment of large language models (LLMs) in the cybersecurity domain underscores the need for effective model selection and evaluation. However, traditional evaluation methods often overlook specific cybersecurity knowledge gaps that contribute to performance limitations. To address this, we develop CSEBenchmark, a fine-grained cybersecurity evaluation framework based on 345 knowledge points expected of cybersecurity experts. Drawing from cognitive science, these points are categorized into factual, conceptual, and procedural types, enabling the design of 11,050 tailored multiple-choice questions. We evaluate 12 popular LLMs on CSEBenchmark and find that even the best-performing model achieves only 85.42% overall accuracy, with particular knowledge gaps in the use of specialized tools and uncommon commands. Different LLMs have unique knowledge gaps. Even large models from the same family may perform poorly on knowledge points where smaller models excel. By identifying and addressing specific knowledge gaps in each LLM, we achieve up to an 84% improvement in correcting previously incorrect predictions across three existing benchmarks for two cybersecurity tasks. Furthermore, our assessment of each LLM's knowledge alignment with specific cybersecurity roles reveals that different models align better with different roles, such as GPT-4o for the Google Senior Intelligence Analyst and Deepseek-V3 for the Amazon Privacy Engineer. These findings underscore the importance of aligning LLM selection with the specific knowledge requirements of different cybersecurity roles for optimal performance.

cs.CR↗

AnomalyGen: An Automated Semantic Log Sequence Generation Framework with LLM for Anomaly Detection

The scarcity of high-quality public log datasets has become a critical bottleneck in advancing log-based anomaly detection techniques. Current datasets exhibit three fundamental limitations: (1) incomplete event coverage, (2) artificial patterns introduced by static analysis-based generation frameworks, and (3) insufficient semantic awareness. To address these challenges, we present AnomalyGen, the first automated log synthesis framework specifically designed for anomaly detection. Our framework introduces a novel four-phase architecture that integrates enhanced program analysis with Chain-of-Thought reasoning (CoT reasoning), enabling iterative log generation and anomaly annotation without requiring physical system execution. Evaluations on Hadoop and HDFS distributed systems demonstrate that AnomalyGen achieves substantially broader log event coverage (38-95 times improvement over existing datasets) while producing more operationally realistic log sequences compared to static analysis-based approaches. When augmenting benchmark datasets with synthesized logs, we observe maximum F1-score improvements of 3.7% (average 1.8% improvement across three state-of-the-art anomaly detection models). This work not only establishes a high-quality benchmarking resource for automated log analysis but also pioneers a new paradigm for applying large language models (LLMs) in software engineering workflows.

cs.SE↗

Planar and Outerplanar Spectral Extremal Problems based on Paths

Let SPEX$_\mathcal{P}(n,F)$ and SPEX$_\mathcal{OP}(n,F)$ denote the sets of graphs with the maximum spectral radius over all $n$-vertex $F$-free planar and outerplanar graphs, respectively. Define $tP_l$ as a linear forest of $t$ vertex-disjoint $l$-paths and $P_{t\cdot l}$ as a starlike tree with $t$ branches of length $l-1$. Building on the structural framework by Tait and Tobin [J. Combin. Theory Ser. B, 2017] and the works of Fang, Lin and Shi [J. Graph Theory, 2024] on the planar spectral extremal graphs without vertex-disjoint cycles, this paper determines the extremal graphs in $\text{SPEX}_\mathcal{P}(n,tP_l)$ and $\text{SPEX}_\mathcal{OP}(n,tP_l)$ for sufficiently large $n$. When $t=1$, since $tP_l$ is a path of a specific length, our results adapt Nikiforov's findings [Linear Algebra Appl. 2010] under the (outer)planarity condition. When $l=2$, note that $tP_l$ consists of $t$ independent $K_2$, then as a corollary, we generalize the results of Wang, Huang and Lin [arXiv: 2402.16419] and Yin and Li [arXiv:2409.18598v2]. Moreover, motivated by results of Zhai and Liu [Adv. in Appl. Math, 2024], we consider the extremal problems for edge-disjoint paths and determine the extremal graphs in $\text{SPEX}_\mathcal{P}(n,P_{t\cdot l})$ and $\text{SPEX}_\mathcal{OP}(n,P_{t\cdot l})$ for sufficiently large $n$.

math.CO↗

Spectral extremal problems on outerplanar and planar graphs

Let $\emph{spex}_{\mathcal{OP}}(n,F)$ and $\emph{spex}_{\mathcal{P}}(n,F)$ be the maximum spectral radius over all $n$-vertex $F$-free outerplanar graphs and planar graphs, respectively. Define $tC_l$ as $t$ vertex-disjoint $l$-cycles, $B_{tl}$ as the graph obtained by sharing a common vertex among $t$ edge-disjoint $l$-cycles %$B_{tl}$ as the graph obtained by connecting all cycles in $tC_l$ at a single vertex, and $(t+1)K_{2}$ as the disjoint union of $t+1$ copies of $K_2$. In the 1990s, Cvetković and Rowlinson conjectured $K_1 \vee P_{n-1}$ maximizes spectral radius in outerplanar graphs on $n$ vertices, while Boots and Royle (independently, Cao and Vince) conjectured $K_2 \vee P_{n-2} $ does so in planar graphs. Tait and Tobin [J. Combin. Theory Ser. B, 2017] determined the fundamental structure as the key to confirming these two conjectures for sufficiently large $n.$ Recently, Fang et al. [J. Graph Theory, 2024] characterized the extremal graph with $\emph{spex}_{\mathcal{P}}(n,tC_l)$ in planar graphs by using this key. In this paper, we first focus on outerplanar graphs and adopt a similar approach to describe the key structure of the connected extremal graph with $\emph{spex}_{\mathcal{OP}}(n,F)$, where $F$ is contained in $K_1 \vee P_{n-1}$ but not in $K_{1} \vee ((t-1)K_2\cup(n-2t+1)K_1)$. Based on this structure, we determine $\emph{spex}_{\mathcal{OP}}(n,B_{tl})$ and $\emph{spex}_{\mathcal{OP}}(n,(t+1)K_{2})$ along with their unique extremal graphs for all $t\geq1$, $l\geq3$ and large $n$. Moreover, we further extend the results to planar graphs, characterizing the unique extremal graph with $\emph{spex}_{\mathcal{P}}(n,B_{tl})$ for all $t\geq3$, $l\geq3$ and large $n$.

math.CO↗

Personalized Continual EEG Decoding: Retaining and Transferring Knowledge

The significant inter-subject variability in electroen-cephalogram (EEG) signals often results in substantial changes to neural network weights as data distributions shift. This variability frequently causes catastrophic forgetting in continual EEG decoding tasks, where previously acquired knowledge is overwritten as new subjects are introduced. While retraining the entire dataset for each new subject can mitigate forgetting, this approach imposes significant computational costs, rendering it impractical for real-world applications. Therefore, an ideal brain-computer interface (BCI) model should incrementally learn new information without requiring complete retraining, thereby reducing computational overhead. Existing EEG decoding meth-ods typically rely on large, centralized source-domain datasets for pre-training to improve model generalization. However, in practical scenarios, data availability is often constrained by privacy concerns. Furthermore, these methods are susceptible to catastrophic forgetting in continual EEG decoding tasks, significantly limiting their utility in long-term learning scenarios. To address these issues, we propose the Personalized Continual EEG Decoding (PCED) framework for continual EEG decoding. The framework uses Euclidean Alignment for fast domain adap-tation, reducing inter-subject variability. To retain knowledge and prevent forgetting, it includes an exemplar replay mechanism that preserves key information from past tasks. A reservoir sampling-based memory management strategy optimizes exemplar storage to handle memory constraints in long-term learning. Experiments on the OpenBMI dataset with 54 subjects show that PCED balances knowledge retention and classification performance, providing an efficient solution for real-world BCI applications.

eess.SP↗

Using Powerful Prior Knowledge of Diffusion Model in Deep Unfolding Networks for Image Compressive Sensing

Recently, Deep Unfolding Networks (DUNs) have achieved impressive reconstruction quality in the field of image Compressive Sensing (CS) by unfolding iterative optimization algorithms into neural networks. The reconstruction quality of DUNs depends on the learned prior knowledge, so introducing stronger prior knowledge can further improve reconstruction quality. On the other hand, pre-trained diffusion models contain powerful prior knowledge and have a solid theoretical foundation and strong scalability, but it requires a large number of iterative steps to achieve reconstruction. In this paper, we propose to use the powerful prior knowledge of pre-trained diffusion model in DUNs to achieve high-quality reconstruction with less steps for image CS. Specifically, we first design an iterative optimization algorithm named Diffusion Message Passing (DMP), which embeds a pre-trained diffusion model into each iteration process of DMP. Then, we deeply unfold the DMP algorithm into a neural network named DMP-DUN. The proposed DMP-DUN can use lightweight neural networks to achieve mapping from measurement data to the intermediate steps of the reverse diffusion process and directly approximate the divergence of the diffusion model, thereby further improving reconstruction efficiency. Extensive experiments show that our proposed DMP-DUN achieves state-of-the-art performance and requires at least only 2 steps to reconstruct the image. Codes are available at https://github.com/FengodChen/DMP-DUN-CVPR2025.

cs.CV↗

Extremal distance spectra of graphs and essential connectivity

A graph is non-trivial if it contains at least one nonloop edge. The essential connectivity of $G$, denoted by $κ'(G)$, is the minimum number of vertices of $G$ whose removal produces a disconnected graph with at least two components are non-trivial. In this paper, we determine the $n$-vertex graph of given essential connectivity with minimum distance spectral radius. We also characterize the extremal graphs attaining the minimum distance spectral radius among all connected graphs with fixed essential connectivity and minimum degree. Furthermore, we characterize the extremal digraphs with minimum distance spectral radius among the strongly connected digraphs with given essential connectivity.

math.CO↗

Jitter Across 15 Years: Leveraging Precise Photometry from Kepler and TESS to Extract Exoplanets from Radial Velocity Time Series

Stellar activity contamination of radial velocity (RV) data is one of the top challenges plaguing the field of extreme precision RV (EPRV) science. Previous work has shown that photometry can be very effective at removing such signals from RV data, especially stellar activity caused by rotating star spots and plage.The exact utility of photometry for removing RV activity contamination, and the best way to apply it, is not well known. We present a combination photometric and RV study of eight Kepler/K2 FGK stars with known stellar variability. We use NEID RVs acquired simultaneously with TESS photometry, and we perform injection recovery tests to quantify the efficacy of recent TESS photometry versus archival Kepler/K2 photometry for removing stellar variability from RVs. We additionally experiment with different TESS sectors when training our models in order to quantify the real benefit of simultaneously acquired RVs and photometry. We conclude that Kepler photometry typically performs better than TESS at removing noise from RV data when it is available, likely due to longer baseline and precision. In contrast, for targets with available K2 photometry, especially those most active, and with high precision ($σ_{NEID}$ $<$ 1 m s$^{-1}$) NEID RVs, TESS may be the more informative dataset. However, contrary to expectations, we have found that training on simultaneous photometry does not always achieve the best results.

astro-ph.EP↗

FD-LLM: Large Language Model for Fault Diagnosis of Machines

Large language models (LLMs) are effective at capturing complex, valuable conceptual representations from textual data for a wide range of real-world applications. However, in fields like Intelligent Fault Diagnosis (IFD), incorporating additional sensor data-such as vibration signals, temperature readings, and operational metrics-is essential but it is challenging to capture such sensor data information within traditional text corpora. This study introduces a novel IFD approach by effectively adapting LLMs to numerical data inputs for identifying various machine faults from time-series sensor data. We propose FD-LLM, an LLM framework specifically designed for fault diagnosis by formulating the training of the LLM as a multi-class classification problem. We explore two methods for encoding vibration signals: the first method uses a string-based tokenization technique to encode vibration signals into text representations, while the second extracts statistical features from both the time and frequency domains as statistical summaries of each signal. We assess the fault diagnosis capabilities of four open-sourced LLMs based on the FD-LLM framework, and evaluate the models' adaptability and generalizability under various operational conditions and machine components, namely for traditional fault diagnosis, cross-operational conditions, and cross-machine component settings. Our results show that LLMs such as Llama3 and Llama3-instruct demonstrate strong fault detection capabilities and significant adaptability across different operational conditions, outperforming state-of-the-art deep learning (DL) approaches in many cases.

cs.AI↗

Distributions of mesh patterns of short lengths on king permutations

Brändén and Claesson introduced the concept of mesh patterns in 2011, and since then, these patterns have attracted significant attention in the literature. Subsequently, in 2015, Hilmarsson \emph{et al.} initiated the first systematic study of avoidance of mesh patterns, while Kitaev and Zhang conducted the first systematic study of the distribution of mesh patterns in 2019. A permutation $σ= σ_1 σ_2 \cdots σ_n$ in the symmetric group $S_n$ is called a king permutation if $\left| σ_{i+1}-σ_i \right| > 1$ for each $1 \leq i \leq n-1$. Riordan derived a recurrence relation for the number of such permutations in 1965. The generating function for king permutations was obtained by Flajolet and Sedgewick in 2009. In this paper, we initiate a systematic study of the distribution of mesh patterns on king permutations by finding distributions for 22 mesh patterns of short length.

math.CO↗