arXiv Science⌕ Search

arXiv subjects

Yi Cai

Publications and source records attributed to Yi Cai.

At least 19 recordsLinked to original sources

Fading Suppression in Distributed Acoustic Sensing Using Frequency-Domain Replica Reconstruction and Noise-Whitened Principal Component Combining

Frequency-selective Rayleigh fading in distributed acoustic sensing (DAS) based on phase-sensitive optical time-domain reflectometry (phi-OTDR) calls for effective diversity, but existing rotated-vector-sum (RVS) combining of nonoverlapping subbands incurs a spatial-resolution penalty. In this letter, we propose frequency-domain replica reconstruction and noise-whitened principal component combining (PCC) that combines a full-band replica and overlapping subbands using fixed weights estimated across probing periods after whitening correlated replica noise. This approach retains wider subbands and reduces reliance on noisy first-period alignment, balancing diversity with nominal spatial resolution. Experiments over approximately 7.1 km of fiber with 16-microsecond linear frequency-modulated (LFM) pulses recover 500-Hz vibrations with reduced background phase excursions and a 2.46-2.76-dB improvement in the vibration-to-background ratio (VBR) over the first-period RVS.

eess.SP↗

Cyclic-Prefix OFDM Probing for Spatial-ISI-Free Distributed Acoustic Sensing via Frequency-Domain Channel Reconstruction

Nonzero sidelobes in matched-filter pulse-compression distributed acoustic sensing (DAS) cause deterministic inter-range-bin leakage, termed spatial inter-symbol interference (ISI), and may produce false Rayleigh-backscatter responses. We propose a data-bearing cyclic-prefix orthogonal frequency-division multiplexing (CP-OFDM) DAS system for phase-sensitive optical time-domain reflectometry (phi-OTDR), using the same waveform for probing and forward communication. To our knowledge, this is the first formulation of distributed Rayleigh backscattering as a finite-memory sensing multipath channel. We rigorously prove that, when the useful OFDM and CP lengths cover the channel memory, the receiver reconstructs range-bin coefficients without deterministic waveform-induced spatial ISI. CP removal, one-tap frequency-domain equalization, and inverse discrete Fourier transform provide the reconstruction for subsequent gauge-differential phase demodulation. In a simulated 5.2-km link with ten simultaneous strong and weak events spaced 5.31-5.83 m within groups, CP-OFDM suppresses off-event spatial-ISI leakage. Phase-trace mean-square error improves by up to 29.55 dB over matched-filter pulse compression. A heterodyne coherent experiment over 5.2 km at a 111.984-MHz occupied bandwidth recovers 500-Hz vibrations near 80 m under 1- and 5-V piezoelectric transducer drives. Under identical probing conditions, CP-OFDM improves the vibration-to-background ratio by approximately 3.2 and 6.2 dB, respectively, over matched-filter linear frequency-modulated pulse compression while preserving local waveforms. The same probe recovers an image with zero measured bit-error rate and a median error vector magnitude of -23.14 dB. These results validate spatial-ISI-free DAS reconstruction and provide an initial demonstration of shared-waveform optical-fiber integrated sensing and communication (ISAC).

eess.SP↗

SpecCloak: Probing Harmful Code Generation through Engineering Specifications

The code generation capabilities of large language models (LLMs) can equally be misused to implement harmful functionality, underscoring the need to understand their safety behavior in response to programming requests. While request phrasing is known to influence refusal, it remains unclear whether the form in which coding task requirements are stated affects the refusal process for malicious code generation. We introduce PseudoSpec, a template that organizes functional requirements as engineering specifications, and investigate its effects through controlled comparisons, representation analysis, and activation interventions. Across five open-weight models, removing explicit risk keywords only partially reduces refusal, whereas specification prompting substantially lowers refusal even when these keywords are retained. This reduction accompanies consistent shifts toward code-output-related representations, and interventions along condition-difference directions alter refusal behavior. Output analysis further distinguishes code-related responses from generation degeneration. Building on these findings, we propose SpecCloak, a black-box red-teaming framework combining PseudoSpec with discriminator-guided optimization, achieving an average execution-verified attack success rate of 28.91\% across eight target models on RedCode-Gen. We also introduce SpecReveal, a defense prototype combining natural-language intent reconstruction with dual-view detection without target-model fine-tuning. It achieves a 96.88\% attack detection rate in a separate prompt-detection evaluation, with false positives assessed on benign programming and specification-style inputs. These results connect specification-induced response differences to practical security consequences and identify intent reconstruction as a complementary detection approach.

cs.SE↗

SMADE-IE: Sparse Multi-Agent Framework with Evidence-Driven Debate for Zero-Shot Information Extraction

Zero-shot information extraction (IE) with large language models (LLMs) enables adaptation to new schemas and domains without task-specific training. Existing methods mainly follow three paradigms. Monolithic prompting is efficient but prone to missed mentions, boundary errors, and type confusion. Each-type prompting improves type-level focus but may produce overlapping or conflicting predictions, while multi-agent debate can resolve such conflicts at the cost of irrelevant context, redundant interactions, and high token overhead. To address these issues, we propose SMADE-IE, a sparse and evidence-driven multi-agent framework. An Adaptive Mode Selector routes simple inputs to a lightweight Global Extraction Mode and ambiguous inputs to a Type-Centric Extraction Mode based on sample complexity and relevant types. Cross-type conflicts are resolved by an Evidence-Driven Debate module that uses Toulmin-style arguments, external evidence scoring, Beta-based confidence updates, and early stopping. Experiments on nine benchmarks covering NER, RE, and JERE show that SMADE-IE improves average Partial F1 over the strongest baselines by 11.37, 3.83, and 14.46 points, respectively. Compared with the multi-agent baseline CrossAgentIE, SMADE-IE reduces token consumption by 85.1% on DocRED and 80.1% on CrossRE, demonstrating substantially higher inference efficiency. Code is available at https://github.com/Cppys/SMADE-IE.

cs.CL↗

SciGen-Verifier: A Multimodal Reasoner for Explainable Verification in Scientific Image Generation

In realistic education, a solution is often expressed not only in words but in a drawing--a circuit, a geometric construction, a function plot--and a teacher must grade the drawing as carefully as the text. Recent advances in unified multimodal models have enabled scientific image generation, yet verifying the correctness of these specialized visual outputs remains a critical bottleneck: errors often arise from intricate domain knowledge, structural reasoning, and multi-step instruction rather than surface-level artifacts. Existing verifiers mainly target natural images and compress judgement into scalar scores, leaving scientific coverage and explainable feedback for error correction underexplored. To bridge this gap, we make three main contributions. (1) We construct SciGen-Verify, a benchmark dedicated to explainable verification of scientific image generation, spanning instruction following, multidisciplinary reasoning, and world knowledge domains. It contains a three-tier hierarchical protocol over the binary judgement, supporting explanation, and corrective editing instruction. (2) We develop SciGen-Verifier, a reasoning-driven multimodal verifier trained via cold-start supervised fine-tuning followed by a curriculum-based two-stage reinforcement learning pipeline. The rubric-guided process rewards first strengthen scientific reasoning exploration and outcome rewards subsequently align output with ground-truth annotation. (3) On SciGen-Verify, SciGen-Verifier achieves competitive performance against much larger proprietary models. It further serves as a practical online critic for iterative image rectification.

cs.CV↗

CoralPlan: Observation Skill Selection and Execution for Underwater Robotic Inspection

Underwater robotic inspection depends on acquiring views that reveal task-relevant structure. For a structurally complex coral colony, recognising the target is only the starting point: the robot must select and execute a viewing motion suited to the inspection task. We present CoralPlan, a vision-language system that selects an observation skill from a current camera image and task text supplied by an episode manifest. A shared motion interface executes orbit, patch, or survey as target-relative trajectories; the remaining plan fields provide operator guidance. Observation completion requires target keeping and primitive-specific coverage, while joint success also requires selection to match the recorded reference. We evaluate this interface in 144 simulated episodes and 36 matched simulation-hardware pairs. In a clear-water pool with external target-reference poses, hardware observation completion reaches 77.8% and joint success reaches 63.9%. The experiments identify both reference-mismatched completions and incomplete observations after a matching skill selection. These results connect observation-skill choice to measurable underwater execution outcomes and identify where task-directed acquisition succeeds or fails.

cs.RO↗

Fiber-Topology-Assisted Indoor Positioning Under UWB Degradation with Fixed-Lag Factor Graphs

Ultra-wideband (UWB) provides absolute spatial constraints for indoor positioning, but these constraints become insufficient when multiple radio links are blocked or unavailable. A calibrated sensing fiber, in contrast, provides a fixed spatial topology that can be activated by distributed acoustic sensing (DAS) events independently of radio propagation. Motivated by this complementarity, we present FTALoc-FGO, a topology-aware fixed-lag factor-graph framework for fiber-assisted localization under UWB degradation. Along-fiber DAS events are mapped through the calibrated topology into anisotropic spatial observations, where a single fiber layer provides a directional constraint and two orthogonal layers provide complementary two-dimensional information. Fisher-information analysis characterizes this topology-dependent information and motivates the directional and joint fiber factors used in the fixed-lag graph. Experiments combining measured DAS events with simulated UWB ranges under controlled degradation evaluate the method over 30 paired realizations. Under complete UWB loss, FTALoc-FGO reduces the causal outage RMSE by 32.6\% and 66.4\% for single- and dual-layer routes, respectively, relative to robust UWB-only FGO. These results demonstrate that calibrated fiber topology can provide complementary spatial support when radio-based observations become insufficient.

eess.SP↗

From Gameplay to Policy: Towards Scalable Robot Data Collection via Gamified Robot-Free Interaction

Learning generalizable robot manipulation policies requires large-scale and diverse interaction data, yet collecting real-world demonstrations remains costly and difficult to scale. Existing approaches to data collection are either dependent on specific robot hardware that limits crowdsourcing and transferability, or suffer from incomplete annotation and limited behavioral diversity. Inspired by how games sustain long-term human engagement, we explore an alternative paradigm that turns data collection into an engaging gameplay experience and transfers the resulting human manipulation experience to real robots. We present Project Kitchen, a VR-based gamified egocentric data collection platform that elicits diverse, goal-directed manipulation while remaining independent of specific robot embodiments and hardware, making it applicable to broader and potentially large-scale deployment. To bridge the game-to-real gap, we further introduce Game2Policy, which extracts embodiment-invariant affordance cues, including contact points and sub-goal states, from gameplay trajectories. An affordance model is pre-trained on game-collected data and then jointly fine-tuned with downstream policies using only a handful of real-robot demonstrations. Experiments show that Game2Policy improves average success rates by 10.0 points in simulation and 18.3 points on real robots in the few-shot setting. User studies and quantitative analyses further show that Project Kitchen promotes diverse manipulation behaviors and provides an engaging data collection experience. These results demonstrate the potential of gamified virtual environments as a scalable source of manipulation knowledge. The platform and code will be released upon acceptance.

cs.RO↗

Covariance-Weighted Spectral Delay Fusion With a One-Dimensional Affine Model for High-Precision Distributed Optical-Fiber Sensing

Periodic disturbances can produce ambiguous delay estimates, limiting reliable high-precision localization in distributed optical-fiber sensing. We develop spectral delay fusion for a sensing system using a dual-wavelength bidirectional Mach-Zehnder interferometer, with four phase traces recovered by heterodyne detection and digital demodulation. With calibrated propagation parameters and timing offsets fixed, the six pairwise delay predictions form a one-dimensional affine line segment parameterized by the position of a single dominant disturbance, with sensitivities determined by propagation direction and chromatic dispersion. A generalized least-squares estimator combines unwrapped delays from robust cross-spectral phase slopes with wrapped delays from polarity-invariant phase alignment to jointly estimate position and integer ambiguities under the proposed model, using an effective joint covariance to account for shared-channel and cross-representation dependence. Experiments use a 131.335-km sensing fiber at 1530 and 1550 nm, with periodic phase perturbations applied at five nominal positions from 25 to 125 km. Across the reported groups of 20 records, the proposed method yields sample standard deviations of 1.007-1.685 m at a drive voltage of 500 mV and 0.449-1.324 m at 1 V. The ratio of the smallest single-pair sample standard deviation to that of the proposed method ranges from 2.57 to 19.56 at 500 mV and from 2.12 to 2900 at 1 V. The upper ratio reflects unstable single-pair phase-slope delay estimates for periodic disturbances in the 1-V, nominal 50-km group, where the proposed covariance-weighted fusion maintains meter-scale localization repeatability.

eess.SP↗

Toward Secure Code Generation: Bridging Correctness and Security via Task-Adaptive Vulnerability Modeling and Execution-Based Benchmarking

Large language models (LLMs) are increasingly used for program synthesis, yet they often generate code that is functionally plausible but insecure. Progress in secure code generation has been hindered by benchmarks that are small, non-executable, leak mitigation details, or rely on noisy analyzers and subjective judgments, making it difficult to measure whether security improves without sacrificing correctness. We address these gaps with CodeSecEval, an execution-based benchmark for secure code generation, comprising 255 Python tasks spanning 77 CWE categories. Each task provides paired insecure and secure implementations together with executable functional and vulnerability-targeted security tests, enabling precise and reproducible evaluation of secure code generation and insecure-code repair. Building on CodeSecEval, we propose SecAwareCoder, an agent-based framework that shifts code generation toward secure-by-construction synthesis. SecAwareCoder performs task-adaptive threat modeling to identify security-sensitive regions and derive task-grounded vulnerability hypotheses, uses these hypotheses to guide both constraint-aware code generation and security-aware test synthesis, and leverages execution feedback for targeted refinement. Experiments across multiple LLM backbones show that SecAwareCoder consistently improves Pass@1 and security robustness over prompting and analyzer-driven baselines, narrowing the security--correctness gap in LLM code generation.

cs.SE↗

Evidence, Logic, and Compliance: Multi-Agent Structured Graph Reasoning with Expert Arbitration for Medical Referral

Medical referral (directing patients to the appropriate hospital department) is a complex decision-making process requiring the synthesis of multimodal data, including patient narratives, laboratory indicators, and radiology imaging. While Large Language Models (LLMs) have advanced medical dialogue systems, they struggle with real-world referral tasks due to two primary limitations: (1) Information Overload, where models fixate on high-frequency disease terms while overlooking subtle but critical urgency indicators; and (2) Unstructured Collaboration, where existing multi-agent frameworks rely on loose dialogue that leads to semantic drift and confirmation bias. To address these challenges, we introduce MASGR (Multi-Agent Structured Graph Reasoning), a framework that treats referral not as a classification task but as a structured graph construction problem. MASGR deploys specialized agents to extract evidence from distinct modalities and coordinates them through a clinical reasoning graph. This graph forces agents to establish explicit logical connections between conflicting evidence. Furthermore, we integrate a knowledge-guided arbitration mechanism that prioritizes patient safety rules over standard diagnostic classification. Extensive experiments on real-world medical records demonstrate that MASGR significantly outperforms state-of-the-art LLMs and existing multi-agent systems, particularly in complex cases requiring the balancing of chronic disease management and emergency intervention. The AI contribution lies in the Multi-Agent Structured Graph Reasoning framework that transforms unstructured multi-agent dialogue into a verifiable logical graph construction. The engineering application is demonstrated through its deployment in a complex healthcare decision-making system to optimize the precision of complex medical referrals.

cs.MA↗

A Continuous Payload-Bearing Discrete Multitone Modulation Framework for Fiber-Optic Integrated Sensing and Communication

A key challenge in fiber-optic integrated sensing and communication (ISAC) is to make the payload-bearing waveform itself serve both functions without a separate sensing waveform or sensing-only silent interval. We propose a continuous discrete multitone (DMT) framework with two waveform modes, in which the same payload-bearing waveform supports forward intensity-modulation/direct-detection (IM/DD) communication and backward distributed acoustic sensing (DAS). A unified phase-sensitive optical time-domain reflectometry (ϕ-OTDR) model represents distributed Rayleigh backscattering as a finite-memory sensing multipath channel. It shows that conventional pulse-and-wait ϕ-OTDR requires a round-trip-time-scale silent interval to isolate successive returns, while nonzero off-peak samples in practical matched-filter (MF) pulse compression cause spatial intersymbol interference (ISI). Continuous DMT instead retains superposed returns and separates range-cell contributions through known-waveform channel reconstruction. Cyclic-prefix DMT (CP-DMT) uses a full-memory CP and one-tap frequency-domain equalization (FDE); under sufficient-CP and ideal full-bin inversion conditions, it eliminates MF-correlation-induced spatial ISI. Cyclic-prefix-free DMT (NoCP-DMT) applies regularized least squares (LS) to the long-memory linear convolution, avoiding the CP at higher receiver complexity. Experiments over a 10-km fiber link localize a 600-Hz disturbance applied by a piezoelectric transducer (PZT) near 5.071 km and recover gauge-differential phase with correlations of 0.989 and 0.987 for CP-DMT and NoCP-DMT, respectively. At 2- and 1-V PZT drive levels, the ten-record localization standard deviations are 0.16/0.11 m and 0.18/0.38 m, respectively. The corresponding IM/DD error vector magnitude values range from 4.80% to 5.00%, with no bit errors observed.

eess.SP↗

Let it Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow

Dataflow architectures have gained renewed interest due to their balance between power efficiency and performance. In (spatial) dataflow architectures, a program is represented as a set of entirely distributed and dynamically scheduled dataflow operators that communicate through asynchronous channels, which greatly improves data locality and parallelism. However, compiling to dataflow architectures remains an error-prone process, in order to maintain determinacy while enabling pipelining. Determinacy means that the result of a dataflow program is deterministic and independent of the schedule of operator execution, and pipelining is an important optimization in spatial dataflow that enables parallelism across loop iterations. In this work, we present Wavelet, the first effort to formally verify a compiler for asynchronous dataflow. We use a mix of techniques to achieve this goal. Our frontend uses a novel capability type system with fences to synchronize conflicting memory accesses and enable pipelining. We then verify a Lean formalization of two core passes of our compiler that translates elaborated programs from the type checker to dataflow graphs, proving important properties of forward simulation and determinacy. Notably, our formalization semantically propagates the soundness guarantees of the frontend type system, ensuring modularity between simulation and determinacy proofs. In evaluation, we show that dataflow graphs compiled by Wavelet have comparable sizes to those produced by an unverified optimizing compiler for the RipTide spatial dataflow architecture.

cs.PL↗

Cyclic-Prefix-Free OFDM With Tail-Reuse Reconstruction for Distributed Acoustic Sensing

Orthogonal frequency-division multiplexing (OFDM) enables frequency-domain reconstruction of the distributed Rayleigh backscatter channel in coherent distributed acoustic sensing (DAS), but an explicitly transmitted cyclic prefix (CP) lengthens the probing period and reduces the slow-time Nyquist limit of each range cell. We investigate a repeated cyclic-prefix-free OFDM waveform for DAS, in which the tail of the preceding useful block serves as a virtual cyclic extension. A finite-memory range condition for tail-reuse reconstruction is derived, and circular folding is identified when the useful period is shorter than the channel memory. For fixed useful-block length and fiber memory, removing the explicit CP increases the period-limited highest unaliased vibration frequency without changing the occupied-bandwidth-limited spatial resolution. In a 5.2-km numerical configuration, a 75-MSa/s processing rate and a 4096-sample useful block give a 54.61-us probing period and a 9.16-kHz slow-time Nyquist limit. Simulations verify tail reuse, the predicted folding boundary, and recovery of 100 vibration events from 800 Hz to 8800 Hz. Bandwidth-scaling simulations further show that joint processing of fine spatial observations improves differential-phase reliability and reconstruction SNR at a fixed reporting interval. Experiments on a 5.2-km coherent DAS link with 111.984-MHz occupied OFDM bandwidth blindly localize 500-Hz and 3-kHz PZT-induced vibrations at 5063.7 m and 5070.1 m, respectively, and recover their waveforms and spectra. The results demonstrate feasible tail-reuse channel reconstruction and quantify the extension of the unaliased vibration bandwidth.

eess.SP↗

Fourth-Order Cyclostationary Analysis of Power-Based Nonlinear Gardner Timing Error Detectors in Coherent Optical Systems

Power-based nonlinear Gardner timing error detectors (TEDs) can enhance clock-tone (CT) extraction in low-roll-off and bandwidth-limited coherent optical systems. However, their nonlinear power-domain operations make the extracted CT components depend on higher-order cyclic statistics, which cannot be fully characterized by second-order cyclostationary analysis. In this paper, we develop a fourth-order cyclostationary analytical framework for power-based Gardner-type TEDs, using the square-Gardner TED (SG-TED) as a representative case. We show that the SG-TED CT originates from the symbol-rate cyclic component of the power-process autocorrelation function (CAF), revealing its fourth-order cyclic-statistical origin in the received complex field. Through moment-cumulant decomposition, the CT component is separated into a Wick-reducible term and a cumulant-related non-Gaussian term, which respectively explain its connection to the conventional Gardner/Godard mechanism and its modulation- and distribution-dependent behavior. The framework further characterizes the effects of pulse shaping, probabilistic shaping, polarization rotation, and polarization-mode dispersion (PMD), revealing CT-response characteristics fundamentally different from second-order TEDs. Numerical evaluations and waveform-level Monte Carlo simulations validate the analysis and demonstrate the framework as a unified statistical basis for SG-TED and related power-based Gardner-type TEDs.

eess.SP↗

Disturbance-aware Motion Planning for Over-actuated Underwater Vehicles Exploiting Actuation Redundancy for High-fidelity 3D Reconstruction

Underwater robots often operate near delicate targets where high-power thrusters resuspend sediments and induce turbulence, degrading image quality at the sensor input. Conventional controllers optimize vehicle-centric objectives, such as tracking and stability, without accounting for the impact of actuation on sensing. We address this actuation-to-perception coupling by exploiting redundancy in over-actuated platforms. For an eight-thruster ROV, multiple thrust allocations can yield the same motion; we search this null space to minimize predicted disturbance in a task-relevant target region while enforcing motion constraints. Our method uses a control-oriented thruster-wake proxy derived from actuator-disk theory with directional attenuation and validated by PIV ($R^2 = 0.99$ near the wake axis; $R^2 > 0.82$ in the primary wake region), together with a real-time redundancy-resolving allocator running at 10 Hz (45 ms/solve). Across 440 trials, the approach reduces target-region particle velocity by 67% ($p < 0.001$), improves 3D reconstruction RMSE by 55% versus a disturbance-unaware baseline ($1.9 \pm 0.4$ mm vs. $4.3 \pm 1.8$ mm), and achieves a 98.5% reconstruction success rate. The framework supports autonomous scanning, which is quantitatively evaluated, and operator-assisted inspection, which is demonstrated in the supplementary materials.

cs.RO↗

Aligning Clinical Needs and AI Capabilities: A Survey on LLMs for Medical Reasoning

Large language models (LLMs) have emerged as important tools in healthcare, showing growing potential for clinical reasoning and patient care. This survey examines recent progress in medical LLMs, focusing on reasoning applications and requirements. We present a dual-view approach that connects clinical practice with computational methods. On the clinical side, we establish a five-level competency scheme following Miller's Pyramid, progressing from knowledge recall to dynamic case management. On the computational side, we link deductive, inductive, and abductive reasoning patterns to common medical goals and tasks. We also introduce a benchmark dataset spanning five levels of medical reasoning capability and report results on 18 state-of-the-art models, revealing that medical specialist models excel in diagnosis-centric tasks while general models lead in decision support and dialogue. We conclude by discussing current progress and open challenges, including data limitations, hallucination, and grounding issues, and outline directions toward safer, more reliable, and workflow-ready systems.

cs.AI↗

Truth or Sophistry? LoFa: A Benchmark for LLM Robustness Against Logical Fallacies

Large Language Models (LLMs) exhibit strong semantic capabilities, yet their resilience to manipulative linguistic patterns such as logical fallacies remains underexplored. Prior work has primarily examined whether LLMs can identify or classify fallacies, leaving their robustness against fallacious persuasion insufficiently studied. To address this gap, we introduce LoFa (Logical Fallacy), a comprehensive benchmark for evaluating LLM robustness against fallacies. LoFa is constructed through a multi-agent pipeline that pairs factual questions with fallacious arguments, and is accompanied by a multi-round debate framework for assessing model resilience under sustained adversarial persuasion. To disentangle fallacy robustness from a model's inherent knowledge limitations, we further propose Logical Fallacy Resistance at k (LFR@k), a metric that quantifies resistance to fallacious attacks. Experiments show that LLMs exhibit varying levels of robustness across different fallacy types, revealing distinct vulnerability profiles among models.

cs.CL↗