SearcharxivSearch

arXiv subjects

Lin Yang

Publications and source records attributed to Lin Yang.

At least 73 records · Page 4Linked to original sources

Distributed Multi-Agent Bandits Over Erdős-Rényi Random Networks

We study the distributed multi-agent multi-armed bandit problem with heterogeneous rewards over random communication graphs. Uniquely, at each time step $t$ agents communicate over a time-varying random graph $G_t$ generated by applying the Erdős-Rényi model to a fixed connected base graph $G$ (for classical Erdős-Rényi graphs, $G$ is a complete graph), where each potential edge in $G$ is randomly and independently present with the link probability $p$. Notably, the resulting random graph is not necessarily connected at each time step. Each agent's arm rewards follow time-invariant distributions, and the reward distribution for the same arm may differ across agents. The goal is to minimize the cumulative expected regret relative to the global mean reward of each arm, defined as the average of that arm's mean rewards across all agents. To this end, we propose a fully distributed algorithm that integrates the arm elimination strategy with the random gossip algorithm. We theoretically show that the regret upper bound is of order $\log T$ and is highly interpretable, where $T$ is the time horizon. It includes the optimal centralized regret $O\left(\sum_{k: Δ_k>0} \frac{\log T}{Δ_k}\right)$ and an additional term $O\left(\frac{N^2 \log T}{p λ_{N-1}(Lap(G))} + \frac{KN^2 \log T}{p}\right)$ where $N$ and $K$ denote the total number of agents and arms, respectively. This term reflects the impact of $G$'s algebraic connectivity $λ_{N-1}(Lap(G))$ and the link probability $p$, and thus highlights a fundamental trade-off between communication efficiency and regret. As a by-product, we show a nearly optimal regret lower bound. Finally, our numerical experiments not only show the superiority of our algorithm over existing benchmarks, but also validate the theoretical regret scaling with problem complexity.

cs.LG

Distributed Algorithms for Multi-Agent Multi-Armed Bandits with Collision

We study the stochastic Multiplayer Multi-Armed Bandit (MMAB) problem, where multiple players select arms to maximize their cumulative rewards. Collisions occur when two or more players select the same arm, resulting in no reward, and are observed by the players involved. We consider a distributed setting without central coordination, where each player can only observe their own actions and collision feedback. We propose a distributed algorithm with an adaptive, efficient communication protocol. The algorithm achieves near-optimal group and individual regret, with a communication cost of only $\mathcal{O}(\log\log T)$. Our experiments demonstrate significant performance improvements over existing baselines. Compared to state-of-the-art (SOTA) methods, our approach achieves a notable reduction in individual regret. Finally, we extend our approach to a periodic asynchronous setting, proving the lower bound for this problem and presenting an algorithm that achieves logarithmic regret.

cs.LG

Reflective Unit Test Generation for Precise Type Error Detection with Large Language Models

Type errors in Python often lead to runtime failures, posing significant challenges to software reliability and developer productivity. Existing static analysis tools aim to detect such errors without execution but frequently suffer from high false positive rates. Recently, unit test generation techniques offer great promise in achieving high test coverage, but they often struggle to produce bug-revealing tests without tailored guidance. To address these limitations, we present RTED, a novel type-aware test generation technique for automatically detecting Python type errors. Specifically, RTED combines step-by-step type constraint analysis with reflective validation to guide the test generation process and effectively suppress false positives. We evaluated RTED on two widely-used benchmarks, BugsInPy and TypeBugs. Experimental results show that RTED can detect 22-29 more benchmarked type errors than four state-of-the-art techniques. RTED is also capable of producing fewer false positives, achieving an improvement of 173.9%-245.9% in precision. Furthermore, RTED successfully discovered 12 previously unknown type errors from six real-world open-source Python projects.

cs.SE

Clarifying Semantics of In-Context Examples for Unit Test Generation

Recent advances in large language models (LLMs) have enabled promising performance in unit test generation through in-context learning (ICL). However, the quality of in-context examples significantly influences the effectiveness of generated tests-poorly structured or semantically unclear test examples often lead to suboptimal outputs. In this paper, we propose CLAST, a novel technique that systematically refines unit tests to improve their semantic clarity, thereby enhancing their utility as in-context examples. The approach decomposes complex tests into logically clearer ones and improves semantic clarity through a combination of program analysis and LLM-based rewriting. We evaluated CLAST on four open-source and three industrial projects. The results demonstrate that CLAST largely outperforms UTgen, the state-of-the-art refinement technique, in both preserving test effectiveness and enhancing semantic clarity. Specifically, CLAST fully retains the original effectiveness of unit tests, while UTgen reduces compilation success rate (CSR), pass rate (PR), test coverage (Cov), and mutation score (MS) by an average of 12.90%, 35.82%, 4.65%, and 5.07%, respectively. Over 85.33% of participants in our user study preferred the semantic clarity of CLAST-refined tests. Notably, incorporating CLAST-refined tests as examples effectively improves ICL-based unit test generation approaches such as RAGGen and TELPA, resulting in an average increase of 25.97% in CSR, 28.22% in PR, and 45.99% in Cov for generated tests, compared to incorporating UTgen-refined tests. The insights from the follow-up user study not only reinforce CLAST's potential impact in software testing practice but also illuminate avenues for future research.

cs.SE

Strain-Gradient-Driven Decoupling of Thermal Suppression from Anisotropy in \b{eta}-Ga2O3

Strain gradients, ubiquitous in flexible devices and epitaxial nanostructures, are a major blind spot for thermal transport in \b{eta}-Ga2O3. We establish that strain gradient unlocks a thermal conductivity (k) suppression mechanism fundamentally more potent than uniform strain: moderate uniaxial gradients (0.6%/nm) suppress k by 32-37% (27-30%) in thin films (nanowires), intensifying to 43.3% with biaxial gradients. This reduction far exceeds that from equivalent uniform strain and surpasses benchmark materials like silicon and BAs. Critically, a surprising decoupling emerges: while 3% uniform strain alters thermal anisotropy by ~25%, strain gradient strongly suppresses k with preserving this ratio. Mechanistically, strain gradients-induced symmetry breaking and enhanced mode coupling anisotropically activate forbidden scattering channels, making gradient-driven scattering dominant over intrinsic phonon scattering below 6.25 THz. These findings redefine non-uniform strain from a parasitic flaw into a powerful design tool for engineering thermal isolation and heat flux in next-generation flexible and high-power \b{eta}-Ga2O3 electronics.

cond-mat.mtrl-sci

A scaling law for large-deformation contact in soft materials

Compression of soft bodies is central to biology, materials science, and robotics, yet existing contact theories break down at large deformations. Here, we develop a general framework for soft-body compression by extending the method of dimensionality reduction into the nonlinear regime. Analytical solutions for contact force and radius are derived and validated against finite element simulations and experiments on canonical geometries (cone, hemisphere, cylinder), achieving high accuracy up to 50% compression. From this framework emerges a universal scaling law that unifies the nonlinear force-displacement response across diverse shapes and even irregular soft objects such as gummy candies. Leveraging this principle, we design a vision-based tactile sensor that reconstructs real-time pressure maps and enables delicate robotic manipulation of fragile items. By bridging nonlinear contact mechanics with practical sensing, this work both advances fundamental understanding of large-strain mechanics and opens a route to robust tactile technologies for soft robotics and biomedical applications.

cond-mat.soft

DINVMark: A Deep Invertible Network for Video Watermarking

With the wide spread of video, video watermarking has become increasingly crucial for copyright protection and content authentication. However, video watermarking still faces numerous challenges. For example, existing methods typically have shortcomings in terms of watermarking capacity and robustness, and there is a lack of specialized noise layer for High Efficiency Video Coding(HEVC) compression. To address these issues, this paper introduces a Deep Invertible Network for Video watermarking (DINVMark) and designs a noise layer to simulate HEVC compression. This approach not only in creases watermarking capacity but also enhances robustness. DINVMark employs an Invertible Neural Network (INN), where the encoder and decoder share the same network structure for both watermark embedding and extraction. This shared architecture ensures close coupling between the encoder and decoder, thereby improving the accuracy of the watermark extraction process. Experimental results demonstrate that the proposed scheme significantly enhances watermark robustness, preserves video quality, and substantially increases watermark embedding capacity.

cs.CR

SD-VLM: Spatial Measuring and Understanding with Depth-Encoded Vision-Language Models

While vision language models (VLMs) excel in 2D semantic visual understanding, their ability to quantitatively reason about 3D spatial relationships remains under-explored, due to the deficiency of 2D images' spatial representation ability. In this paper, we analyze the problem hindering VLMs' spatial understanding abilities and propose SD-VLM, a novel framework that significantly enhances fundamental spatial perception abilities of VLMs through two key contributions: (1) propose Massive Spatial Measuring and Understanding (MSMU) dataset with precise spatial annotations, and (2) introduce a simple depth positional encoding method strengthening VLMs' spatial awareness. MSMU dataset covers massive quantitative spatial tasks with 700K QA pairs, 2.5M physical numerical annotations, and 10K chain-of-thought augmented samples. We have trained SD-VLM, a strong generalist VLM which shows superior quantitative spatial measuring and understanding capability. SD-VLM not only achieves state-of-the-art performance on our proposed MSMU-Bench, but also shows spatial generalization abilities on other spatial understanding benchmarks including Q-Spatial and SpatialRGPT-Bench. Extensive experiments demonstrate that SD-VLM outperforms GPT-4o and Intern-VL3-78B by 26.91% and 25.56% respectively on MSMU-Bench. Code and models are released at https://github.com/cpystan/SD-VLM.

cs.CV

The Immersed Skeletal Finite Element Method for Elliptic Interface Problems

In this paper, we present a new immersed finite element scheme for solving elliptic interface problems on unfitted meshes by combining the skeletal finite element method (FEM) with the standard FEM. The skeletal FEM is used for the interface elements. In other words, we take piecewise functions as the unknowns inside the interface element and on its boundary. We employ the immersed finite element functions as interior functions that precisely satisfy the interface conditions. On the interface edges, we define two boundary functions to capture the discontinuity. The Lagrange element is used for the non-interface elements. The proposed scheme is simple and flexible. We prove that this scheme achieves optimal convergence orders in both the $H^1$ norm and $L^2$ norm. Numerical experiments are presented to demonstrate the efficiency and accuracy of the proposed method.

math.NA

Rethinking the Chain-of-Thought: The Roles of In-Context Learning and Pre-trained Priors

Chain-of-Thought reasoning has emerged as a pivotal methodology for enhancing model inference capabilities. Despite growing interest in Chain-of-Thought reasoning, its underlying mechanisms remain unclear. This paper explores the working mechanisms of Chain-of-Thought reasoning from the perspective of the dual relationship between in-context learning and pretrained priors. We first conduct a fine-grained lexical-level analysis of rationales to examine the model's reasoning behavior. Then, by incrementally introducing noisy exemplars, we examine how the model balances pretrained priors against erroneous in-context information. Finally, we investigate whether prompt engineering can induce slow thinking in large language models. Our extensive experiments reveal three key findings: (1) The model not only quickly learns the reasoning structure at the lexical level but also grasps deeper logical reasoning patterns, yet it heavily relies on pretrained priors. (2) Providing sufficient exemplars shifts the model's decision-making from pretrained priors to in-context signals, while misleading prompts introduce instability. (3) Long Chain-of-Thought prompting can induce the model to generate longer reasoning chains, thereby improving its performance on downstream tasks.

cs.CL

Crystalline electric field excitations in Weyl semimetal \textit{R}AlSi (\textit{R} = Ce, Pr and Nd)

The rare earth intermetallic system \textit{R}Al\textit{X} (\textit{R} = rare earth elements, \textit{X} = Si and Ge) is known to be a promising candidate of magnetic Weyl semimetal. Due to the complex interactions between the rare earth elements and surrounding atoms, as well as hybridization with itinerant electrons, this family likely possesses highly intriguing and novel magnetic structures and thus exhibits dynamic behaviors. We systematically probe polycrystalline samples of \textit{R}AlSi (\textit{R} = La, Ce, Pr and Nd) combining inelastic neutron scattering (INS), heat capacity and magnetic susceptibility measurements. The INS measurements identify well-resolved crystalline electric field (CEF) excitations at 19.2 and 24.9 meV in CeAlSi, at 5.4 meV in PrAlSi, and at 2.5 and 4.2 meV in NdAlSi. We analyzed the INS data using the corresponding CEF models and determined the CEF parameters and ground state wave functions of \textit{R}AlSi (\textit{R} = Ce, Pr and Nd). Our results suggest strong single-ion anisotropy in their ground states: $|\pm3/2\rangle$ (94.5\%) in CeAlSi, $|\pm3\rangle$ (99.2\%) in PrAlSi, and $|\pm9/2\rangle$ (76.2\%) in NdAlSi. Notably, the weaker anisotropy and strong exchange interactions in NdAlSi promote competing magnetic orders and CEF splitting at low temperature, contrasting with the robust CEF levels in magnetic states of CeAlSi and PrAlSi.

cond-mat.str-el

Recasting Classical Motion Planning for Contact-Rich Manipulation

In this work, we explore how conventional motion planning algorithms can be reapplied to contact-rich manipulation tasks. Rather than focusing solely on efficiency, we investigate how manipulation aspects can be recast in terms of conventional motion-planning algorithms. Conventional motion planners, such as Rapidly-Exploring Random Trees (RRT), typically compute collision-free paths in configuration space. However, in many manipulation tasks, contact is either unavoidable or essential for task success, such as for creating space or maintaining physical equilibrium. As such, we presents Haptic Rapidly-Exploring Random Trees (HapticRRT), a planning algorithm that incorporates a recently proposed optimality measure in the context of \textit{quasi-static} manipulation, based on the (squared) Hessian of manipulation potential. The key contributions are i) adapting classical RRT to operate on the quasi-static equilibrium manifold, while deepening the interpretation of haptic obstacles and metrics; ii) discovering multiple manipulation strategies, corresponding to branches of the equilibrium manifold. iii) validating the generality of our method across three diverse manipulation tasks, each requiring only a single manipulation potential expression. The video can be found at https://youtu.be/R8aBCnCCL40.

cs.RO

AEM: Attention Entropy Maximization for Multiple Instance Learning based Whole Slide Image Classification

Multiple Instance Learning (MIL) effectively analyzes whole slide images but faces overfitting due to attention over-concentration. While existing solutions rely on complex architectural modifications or additional processing steps, we introduce Attention Entropy Maximization (AEM), a simple yet effective regularization technique. Our investigation reveals the positive correlation between attention entropy and model performance. Building on this insight, we integrate AEM regularization into the MIL framework to penalize excessive attention concentration. To address sensitivity to the AEM weight parameter, we implement Cosine Weight Annealing, reducing parameter dependency. Extensive evaluations demonstrate AEM's superior performance across diverse feature extractors, MIL frameworks, attention mechanisms, and augmentation techniques. Here is our anonymous code: https://github.com/dazhangyu123/AEM.

cs.CV

A Novel Solver for QUBO Problems: Performance Analysis and Comparative Study with State-of-the-Art Algorithms

Quadratic Unconstrained Binary Optimization (QUBO) provides a versatile framework for representing NP-hard combinatorial problems, yet existing solvers often face trade-offs among speed, accuracy, and scalability. In this work, we introduce a quantum-inspired solver (QIS) that unites branch-and-bound pruning, continuous gradient-descent refinement, and quantum-inspired heuristics within a fully adaptive control architecture. We benchmark QIS3 against eight state-of-the-art solvers, including genetic algorithms, coherent Ising machines, simulated bifurcation, parallel tempering, simulated annealing, our prior QIS2 version, D-Wave's simulated-annealing (Neal), and Gurobi on three canonical QUBO problem classes: Max-Cut, NAE-3SAT, and Sherrington-Kirkpatrick spin glass problems. Under a uniform runtime budget, QIS3 attains the best solution on nearly all instances, achieving optimality in 94% of max-cut instances. These results establish QIS3 as a robust, high-performance solver that bridges classical exact strategies and quantum-inspired heuristics for scalable QUBO optimization.

quant-ph

Co-designed Quantum Discrete Adiabatic Linear System Solver Via Dynamic Circuits

Existing quantum discrete adiabatic approaches are hindered by circuit depth that increases linearly with the number of evolution steps, a significant challenge for current quantum hardware with limited coherence times. To address this, we propose a co-designed framework that synergistically integrates dynamic circuit capabilities with real-time classical processing. This framework reformulates the quantum adiabatic evolution into discrete, dynamically adjustable segments. The unitary operator for each segment is optimized on-the-fly using classical computation, and circuit multiplexing techniques are leveraged to reduce the overall circuit depth scaling from $O(\text{steps}\times\text{depth}(U))$ to $O(\text{depth}(U))$. We implement and benchmark a quantum discrete adiabatic linear solver based on this framework for linear systems of $W \in \{2,4,8,16\}$ dimensions with condition numbers $κ\in \{10,20,30,40,50\}$. Our solver successfully overcomes previous depth limitations, maintaining over 80% solution fidelity even under realistic noise models. Key algorithmic optimizations contributing to this performance include a first-order approximation of the discrete evolution operator, a tailored dynamic circuit design exploiting real-imaginary component separation, and noise-resilient post-processing techniques.

quant-ph

Metallicities of 20 Million Giant Stars Based on Gaia XP spectra

We design an uncertainty-aware cost-sensitive neural network (UA-CSNet) to estimate metallicities from dereddened and corrected Gaia BP/RP (XP) spectra for giant stars. This method accounts for both stochastic errors in the input spectra and the imbalanced density distribution in [Fe/H] values. With a specialized architecture and training strategy, the UA-CSNet improves the precision of the predicted metallicities, especially for very metal-poor (VMP; $\rm [Fe/H] \leq -2.0$) stars. With the PASTEL catalog as the training sample, our model can estimate metallicities down to $\rm [Fe/H] \sim -4$. We compare our estimates with a number of external catalogs and conduct tests using star clusters, finding overall good agreement. We also confirm that our estimates for VMP stars are unaffected by carbon enhancement. Applying the UA-CSNet, we obtain reliable and precise metallicity estimates for approximately 20 million giant stars, including 360,000 VMP stars and 50,000 extremely metal-poor (EMP; $\rm [Fe/H] \leq -3.0$) stars. The resulting catalog is publicly available at https://doi.org/10.12149/101604. This work highlights the potential of low-resolution spectra for metallicity estimation and provides a valuable dataset for studying the formation and chemo-dynamical evolution of our Galaxy.

astro-ph.SR

Probing orbital magnetism of a kagome metal CsV3Sb5 by a tuning fork resonator

The recently discovered kagome metal CsV$_3$Sb$_5$ exhibits a complex phase diagram that encompasses frustrated magnetism, topological charge density wave (CDW), and superconductivity. One CDW state that breaks time-reversal symmetry was proposed in this compound, while the exact nature of the putative magnetic state remains elusive. To examine the thermodynamic state of CsV$_3$Sb$_5$ and assess the character of the associated magnetism, we conducted tuning fork resonator measurements of magnetotropic susceptibility over a broad range of angles, magnetic fields, and temperature. We found a cascade of phase transition in the CDW phase. Of particular interest is a highly anisotropic magnetic structure that arises below about 30~K, with a magnetic moment along the $c$-axis that has an extremely small magnitude. This magnetic state demonstrates extremely slow dynamics and small saturate field, all suggest that electronic phase below 30~K breaks time reversal symmetry and has an unconventional origin.

cond-mat.mtrl-sci

Planning for quasi-static manipulation tasks via an intrinsic haptic metric: a book insertion case study

Contact-rich manipulation often requires strategic interactions with objects, such as pushing to accomplish specific tasks. We propose a novel scenario where a robot inserts a book into a crowded shelf by pushing aside neighboring books to create space before slotting the new book into place. Classical planning algorithms fail in this context due to limited space and their tendency to avoid contact. Additionally, they do not handle indirectly manipulable objects or consider force interactions. Our key contributions are: i) reframing quasi-static manipulation as a planning problem on an implicit manifold derived from equilibrium conditions; ii) utilizing an intrinsic haptic metric instead of ad-hoc cost functions; and iii) proposing an adaptive algorithm that simultaneously updates robot states, object positions, contact points, and haptic distances. We evaluate our method on a crowded bookshelf insertion task, and it can be generally applied to rigid body manipulation tasks. We propose proxies to capture contact points and forces, with superellipses to represent objects. This simplified model guarantees differentiability. Our framework autonomously discovers strategic wedging-in policies while our simplified contact model achieves behavior similar to real world scenarios. We also vary the stiffness and initial positions to analyze our framework comprehensively. The video can be found at https://youtu.be/eab8umZ3AQ0.

cs.RO