arXiv Science⌕ Search

arXiv subjects

Quan Shi

Publications and source records attributed to Quan Shi.

At least 37 records · Page 2Linked to original sources

Stochastic Flows and Marked Stable Processes

We construct a random partition of the space-time plane $\mathbb{R}_+\times \mathbb{R}$ using two coupled stochastic squared Bessel flows, whose parameters differ by $δ\in (0,2)$. We show that the cells of this partition correspond to squared Bessel excursions with a negative parameter $-δ$ which are embedded within the jumps of a spectrally positive $(1+\fracδ2)$ stable process. In particular, we demonstrate that interval partition evolutions [Forman et. al. 2020] and stable shredded disks [Björnberg, Curien and Stefánsson 2022] arise naturally in this framework.

math.PR↗

LoKI: Low-damage Knowledge Implanting of Large Language Models

Fine-tuning adapts pretrained models for specific tasks but poses the risk of catastrophic forgetting (CF), where critical knowledge from pretraining is overwritten. To address the issue of CF in a general-purpose framework, we propose Low-damage Knowledge Implanting (LoKI), a parameter-efficient fine-tuning (PEFT) technique that utilizes recent mechanistic understanding of how knowledge is stored in transformer architectures. We compare LoKI against state-of-the-art PEFT methods in two real-world fine-tuning scenarios. The results show that LoKI demonstrates significantly better preservation of general capabilities. At the same time, its task-specific performance is comparable to or even surpasses that of full parameter fine-tuning and these PEFT methods across various model architectures. Our work bridges the mechanistic insights of LLMs' knowledge storage with practical fine-tuning objectives, enabling an effective balance between task-specific adaptation and the retention of general-purpose capabilities.

cs.CL↗

Polar loci of multivariable archimedean zeta functions

We determine, up to exponentiating, the polar locus of the multivariable archimedean zeta function associated to a finite collection of polynomials F. The result is the monodromy support locus of F, a topological invariant. We give a relation between the multiplicities of the irreducible components of the monodromy support locus and the polar orders. These generalize results of Barlet for the case when F is a single polynomial. Our result determines the slopes of the polar locus of the zeta function of F, closing a circle of results of Loeser, Maisonobe, Sabbah. We apply our main result to elucidate the topological information contained by the oblique part of the zero locus of any ideal of Bernstein-Sato type.

math.AG↗

Multi-Agent Synergy-Driven Iterative Visual Narrative Synthesis

Automated generation of high-quality media presentations is challenging, requiring robust content extraction, narrative planning, visual design, and overall quality optimization. Existing methods often produce presentations with logical inconsistencies and suboptimal layouts, thereby struggling to meet professional standards. To address these challenges, we introduce RCPS (Reflective Coherent Presentation Synthesis), a novel framework integrating three key components: (1) Deep Structured Narrative Planning; (2) Adaptive Layout Generation; (3) an Iterative Optimization Loop. Additionally, we propose PREVAL, a preference-based evaluation framework employing rationale-enhanced multi-dimensional models to assess presentation quality across Content, Coherence, and Design. Experimental results demonstrate that RCPS significantly outperforms baseline methods across all quality dimensions, producing presentations that closely approximate human expert standards. PREVAL shows strong correlation with human judgments, validating it as a reliable automated tool for assessing presentation quality.

cs.CL↗

When Models Know More Than They Can Explain: Quantifying Knowledge Transfer in Human-AI Collaboration

Recent advancements in AI reasoning have driven substantial improvements across diverse tasks. A critical open question is whether these improvements also yields better knowledge transfer: the ability of models to communicate reasoning in ways humans can understand, apply, and learn from. To investigate this, we introduce Knowledge Integration and Transfer Evaluation (KITE), a conceptual and experimental framework for Human-AI knowledge transfer capabilities and conduct the first large-scale human study (N=118) explicitly designed to measure it. In our two-phase setup, humans first ideate with an AI on problem-solving strategies, then independently implement solutions, isolating model explanations' influence on human understanding. Our findings reveal that although model benchmark performance correlates with collaborative outcomes, this relationship is notably inconsistent, featuring significant outliers, indicating that knowledge transfer requires dedicated optimization. Our analysis identifies behavioral and strategic factors mediating successful knowledge transfer. We release our code, dataset, and evaluation framework to support future work on communicatively aligned models.

cs.AI↗

IMPersona: Evaluating Individual Level LM Impersonation

As language models achieve increasingly human-like capabilities in conversational text generation, a critical question emerges: to what extent can these systems simulate the characteristics of specific individuals? To evaluate this, we introduce IMPersona, a framework for evaluating LMs at impersonating specific individuals' writing style and personal knowledge. Using supervised fine-tuning and a hierarchical memory-inspired retrieval system, we demonstrate that even modestly sized open-source models, such as Llama-3.1-8B-Instruct, can achieve impersonation abilities at concerning levels. In blind conversation experiments, participants (mis)identified our fine-tuned models with memory integration as human in 44.44% of interactions, compared to just 25.00% for the best prompting-based approach. We analyze these results to propose detection methods and defense strategies against such impersonation attempts. Our findings raise important questions about both the potential applications and risks of personalized language models, particularly regarding privacy, security, and the ethical deployment of such technologies in real-world contexts.

cs.CL↗

BRIGHT: A Realistic and Challenging Benchmark for Reasoning-Intensive Retrieval

Existing retrieval benchmarks primarily consist of information-seeking queries (e.g., aggregated questions from search engines) where keyword or semantic-based retrieval is usually sufficient. However, many complex real-world queries require in-depth reasoning to identify relevant documents that go beyond surface form matching. For example, finding documentation for a coding question requires understanding the logic and syntax of the functions involved. To better benchmark retrieval on such challenging queries, we introduce BRIGHT, the first text retrieval benchmark that requires intensive reasoning to retrieve relevant documents. Our dataset consists of 1,384 real-world queries spanning diverse domains, such as economics, psychology, mathematics, and coding. These queries are drawn from naturally occurring and carefully curated human data. Extensive evaluation reveals that even state-of-the-art retrieval models perform poorly on BRIGHT. The leading model on the MTEB leaderboard (Muennighoff et al., 2023) SFR-Embedding-Mistral (Meng et al., 2024), which achieves a score of 59.0 nDCG@10,1 produces a score of nDCG@10 of 18.3 on BRIGHT. We show that incorporating explicit reasoning about the query improves retrieval performance by up to 12.2 points. Moreover, incorporating retrieved documents from the top-performing retriever boosts question-answering performance. We believe that BRIGHT paves the way for future research on retrieval systems in more realistic and challenging settings.

cs.CL↗

Variation of Archimedean Zeta Function and $n/d$-Conjecture for Generic Multiplicities

For $f_1,...,f_r\in \mathbb C[z_1,...,z_n]\setminus \mathbb C$, we introduce the variation of archimedean zeta function. As an application, we show that the $n/d$-conjecture, proposed by Budur, Mustaţă, and Teitler, holds for generic multiplicities. Consequently, strong monodromy conjecture holds for hyperplane arrangements with generic multiplicities as well.

math.AG↗

On Motivic Zeta Functions and Stringy E-function via Embedded $\mathbb{Q}$-Resolution

We provide the formula of motivic zeta function for semi-quasihomogeneous singularities and in dimension two, we determine the poles of zeta functions. We also give another formula for stringy E-function using embedded $\mathbb{Q}$-resolution, and we utilize it to calculate the stringy E-function for semi-quasihomogeneous polynomials and non-degenerate polynomials.

math.AG↗

The structure of entrance and exit at infinity for time-changed Lévy processes

Studying the behaviour of Markov processes at boundary points of the state space has a long history, dating back all the way to William Feller. With different motivations in mind entrance and exit questions have been explored for different discontinuous Markov processes in the past two decades. Proofs often use time-change techniques and rely on problem specific knowledge such branching or scaling properties. In this article we ask how far techniques can be pushed with as little as possible model assumptions. We give sharp conditions on time-changed Lévy processes to allow entrance and regular boundary point at infinity. The main tool we introduce is a generalised scaling property that holds for all time-changed Lévy processes and can be used to extend scaling arguments for self-similar Markov processes.

math.PR↗

A Multimodal Dangerous State Recognition and Early Warning System for Elderly with Intermittent Dementia

In response to the social issue of the increasing number of elderly vulnerable groups going missing due to the aggravating aging population in China, our team has developed a wearable anti-loss device and intelligent early warning system for elderly individuals with intermittent dementia using artificial intelligence and IoT technology. This system comprises an anti-loss smart helmet, a cloud computing module, and an intelligent early warning application on the caregiver's mobile device. The smart helmet integrates a miniature camera module, a GPS module, and a 5G communication module to collect first-person images and location information of the elderly. Data is transmitted remotely via 5G, FTP, and TCP protocols. In the cloud computing module, our team has proposed for the first time a multimodal dangerous state recognition network based on scene and location information to accurately assess the risk of elderly individuals going missing. Finally, the application software interface designed for the caregiver's mobile device implements multi-level early warnings. The system developed by our team requires no operation or response from the elderly, achieving fully automatic environmental perception, risk assessment, and proactive alarming. This overcomes the limitations of traditional monitoring devices, which require active operation and response, thus avoiding the issue of the digital divide for the elderly. It effectively prevents accidental loss and potential dangers for elderly individuals with dementia.

cs.CV↗

Can Language Models Solve Olympiad Programming?

Computing olympiads contain some of the most challenging problems for humans, requiring complex algorithmic reasoning, puzzle solving, in addition to generating efficient code. However, it has been understudied as a domain to evaluate language models (LMs). In this paper, we introduce the USACO benchmark with 307 problems from the USA Computing Olympiad, along with high-quality unit tests, reference code, and official analyses for each problem. These resources enable us to construct and test a range of LM inference methods for competitive programming for the first time. We find GPT-4 only achieves a 8.7% pass@1 accuracy with zero-shot chain-of-thought prompting, and our best inference method improves it to 20.2% using a combination of self-reflection and retrieval over episodic knowledge. However, this is far from solving the benchmark. To better understand the remaining challenges, we design a novel human-in-the-loop study and surprisingly find that a small number of targeted hints enable GPT-4 to solve 13 out of 15 problems previously unsolvable by any model and method. Our benchmark, baseline methods, quantitative results, and qualitative analysis serve as an initial step toward LMs with grounded, creative, and algorithmic reasoning.

cs.CL↗

Privacy-Preserving Detection Method for Transmission Line Based on Edge Collaboration

Unmanned aerial vehicles (UAVs) are commonly used for edge collaborative computing in current transmission line object detection, where computationally intensive tasks generated by user nodes are offloaded to more powerful edge servers for processing. However, performing edge collaborative processing on transmission line image data may result in serious privacy breaches. To address this issue, we propose a secure single-stage detection model called SecYOLOv7 that preserves the privacy of object detecting. Based on secure multi-party computation (MPC), a series of secure computing protocols are designed for the collaborative execution of Secure Feature Contraction, Secure Bounding-Box Prediction and Secure Object Classification by two non-edge servers. Performance evaluation shows that both computational and communication overhead in this framework as well as calculation error significantly outperform existing works.

cs.CR↗

Efficient Commercial Bank Customer Credit Risk Assessment Based on LightGBM and Feature Engineering

Effective control of credit risk is a key link in the steady operation of commercial banks. This paper is mainly based on the customer information dataset of a foreign commercial bank in Kaggle, and we use LightGBM algorithm to build a classifier to classify customers, to help the bank judge the possibility of customer credit default. This paper mainly deals with characteristic engineering, such as missing value processing, coding, imbalanced samples, etc., which greatly improves the machine learning effect. The main innovation of this paper is to construct new feature attributes on the basis of the original dataset so that the accuracy of the classifier reaches 0.734, and the AUC reaches 0.772, which is more than many classifiers based on the same dataset. The model can provide some reference for commercial banks' credit granting, and also provide some feature processing ideas for other similar studies.

cs.LG↗

Development of a Hybrid Simulation and Experiment Test Platform for Dynamic Positioning Vessels

The harsh ocean environment and complex operating condition require high dynamic positioning (DP) capability of offshore vessel. The design, development and performance evaluation of DP system are generally carried out by numerical simulations or scale model experiments. Compared with the time-consuming and laborious experiment, the simulation is convenient and low cost, but its results lack practical reference due to oversimplification of the model. Therefore, this paper presents a hybrid simulation and experiment test platform for DP vessels. Its characteristics are: the realistic calculation of environmental loads and motion response, the consistency of algorithms and parameters for simulation and experiment greatly shortening the time of experiment adjusting, switchable and online renewable controller facilitating algorithm testing. The test platform can test the performance of DP system and determine the operational time window. In the hydrodynamic simulation, the six degree-of-freedom model is used to describe the dynamic response of the DP vessel, considering the fluid memory effect and frequency-dependent hydrodynamic parameters. In the experiment, the similarity theory based on the same Froude number is used to ensure the consistency of control parameters with simulation. Finally, a case study of DP shuttle tanker is used to verify the credibility of the test platform.

eess.SY↗

Diffusions on a space of interval partitions: The two-parameter model

We introduce and study interval partition diffusions with Poisson--Dirichlet$(α,θ)$ stationary distribution for parameters $α\in(0,1)$ and $θ\ge 0$. This extends previous work on the cases $(α,0)$ and $(α,α)$ and builds on our recent work on measure-valued diffusions. Our methods for dealing with general $θ\ge 0$ allow us to strengthen previous work on the special cases to include initial interval partitions with dust. In contrast to the measure-valued setting, we can show that this extended process is a Feller process improving on the Hunt property established in that setting. These processes can be viewed as diffusions on the boundary of a branching graph of integer compositions. Indeed, by studying their infinitesimal generator on suitable quasi-symmetric functions, we relate them to diffusions obtained as scaling limits of composition-valued up-down chains.

math.PR↗

A necessary and sufficient condition for the convergence of the derivative martingale in a branching Lévy process

A continuous-time particle system on the real line satisfying the branching property and an exponential integrability condition is called a branching Lévy process, and its law is characterized by a triplet $(σ^2,a,Λ)$. We obtain a necessary and sufficient condition for the convergence of the derivative martingale of such a process to a non-trivial limit in terms of $(σ^2,a,Λ)$. This extends previously known results on branching Brownian motions and branching random walks. To obtain this result, we rely on the spinal decomposition and establish a novel zero-one law on the perpetual integrals of centred Lévy processes conditioned to stay positive.

math.PR↗