arXiv Science⌕ Search

arXiv subjects

Tao Zhang

Publications and source records attributed to Tao Zhang.

At least 91 records · Page 5Linked to original sources

Breaking the Synthetic-Real Domain Shortcut for Training-Free Generative Replay-based Class Incremental Learning

Class-incremental learning (CIL) requires models to continuously acquire new knowledge while avoiding catastrophic forgetting. While exemplar replay is effective, it raises concerns regarding privacy and storage. Thus, generative replay has emerged as a viable alternative, synthesizing old data using frozen pretrained text-to-image (T2I) models without any extra training. However, we observe that directly mixing synthetic old-class data with real new-class data during incremental training leads to significant performance degradation. This issue stems from a "domain shortcut", where models rely on domain-discriminative features instead of semantic class cues. To address this, we propose DREAM ($\underline{\mathbf{D}}$omain-$\underline{\mathbf{R}}$egularized $\underline{\mathbf{E}}$xemplar-free $\underline{\mathbf{A}}$lignment $\underline{\mathbf{M}}$odel), which uses a training-free generator to synthesize old-class data and eliminates domain shortcut via subspace rectification and orthogonal projection, while reinforcing semantic alignment through real-anchored prototype regularization. Extensive experiments on 4 datasets demonstrate that DREAM outperforms existing exemplar-free CIL methods and achieves state-of-the-art performance. Our source code is available at https://github.com/Light-ZhangTao/DREAM.

cs.CV↗

Learning to Sample in Variable Neighborhood Search Algorithm for Urban Cable Routing Optimization

Urban underground cable construction is essential for enhancing power grid reliability, yet the high construction costs demand systematic optimization. Constrained by road network infrastructure, this problem requires consideration of both connectivity relationships between substations and specific routing strategies along road networks, constituting a large-scale bilevel combinatorial optimization problem. Insufficient attention to routing subproblems in traditional research and simplistic algorithmic designs ill-equipped for large-scale optimization leave substantial room for advancement. To navigate the enormous combinatorial search space, we propose a learning-assisted variable neighborhood search (L-VNS) algorithm integrating four key components. First, an auxiliary task focusing on the upper-level connectivity subproblem generates high-quality initial solutions by employing hybrid genetic search for connection optimization and A* for detailed path routing. Subsequently, the algorithm iteratively refines the connectivity topology using variable neighborhood search with three complementary operators. A multi-agent deep reinforcement learning module adaptively guides probabilistic neighborhood sampling by jointly encoding upper-level connectivity patterns and lower-level routing structures, effectively exploiting problem structure. Finally, a modified A* operator re-plans lower-level paths affected by neighborhood modifications to ensure feasibility and solution completeness. Comprehensive experiments on 12 benchmark instances and 3 GIS-derived instances demonstrate the superiority of L-VNS, achieving total construction cost reductions of 0.92% to 73.72% compared to representative approaches. Ablation studies and sensitivity analyses further validate the effectiveness and robustness of the proposed algorithm.

cs.NE↗

High-accuracy ultrasonic positioning of calibration sources in the Jiangmen Underground Neutrino Observatory

Precise source positioning is essential for detector calibration in large liquid scintillator detectors such as JUNO, particularly in regions where purely mechanical control is insufficient. An ultrasonic positioning system has been developed to reconstruct the three-dimensional coordinates of a calibration source without interfering with photon collection or contaminating the liquid scintillator. The method combines a sound-speed modeling based on dedicated laboratory measurements and in-detector temperature profiles, waveform-based arrival-time reconstruction, and an in-situ calibration of the effective receiver geometry using central-axis deployments. With six active receivers, central-axis positioning yields a mean error of 1.23 cm relative to the known deployment reference. For off-axis operation in the Cable Loop System calibration plane, a detector-realistic simulation that includes timing resolution, sound-speed variation, and receiver-coordinate smearing predicts a positioning uncertainty of 2.40 cm. These results demonstrate that ultrasonic positioning can provide centimetre-level source accuracy for large liquid scintillator detectors and can support off-axis calibration in JUNO-like experiments.

physics.ins-det↗

Measuring and Mitigating Post-hoc Rationalization in Reverse Chain-of-Thought Generation

Reverse Chain-of-Thought Generation (RCG) synthesizes reasoning traces from query-answer pairs, but answer-visible generation can justify a pre-committed answer rather than derive it. This post-hoc rationalization creates a train-inference mismatch because student models are trained on answer-conditioned traces but must reason without answer access at inference time. We quantify this mismatch through lexical, trajectory, and probabilistic anchoring, measuring surface overlap, answer-conditioned generation dynamics, and answer recoverability from the trace, respectively. We find that semantic suppression, a seemingly intuitive mitigation, reduces lexical overlap but increases trajectory anchoring: avoiding the answer requires continually tracking it, thereby strengthening its influence on generation. We therefore propose Structural Skeleton-guided Reasoning (SSR), which replaces suppression with structural decoupling by first generating an abstract functional skeleton and then using it to guide the full reasoning trace. Anchoring analyses show that SSR reduces all three forms of answer dependence. Across in-domain and out-of-distribution benchmarks, its distilled variant, SSR-D, improves performance by up to 10 points over suppression baselines and better preserves out-of-distribution performance. Code is available at https://github.com/viniferagy/SSR.

cs.CL↗

QIRF Quantum-Inspired Non-Orthogonal Function-Space Compression for 3D Gaussian Splatting

3D Gaussian Splatting (3DGS) achieves high-quality real-time rendering by representing a scene with a large collection of anisotropic Gaussian primitives. However, complex scenes often require millions of Gaussians, resulting in substantial storage and rendering costs. Existing compression methods mainly reduce redundancy through primitive-wise pruning, attribute quantization, clustering, or neural coding, while redundancy caused by strongly overlapping and non-orthogonal Gaussian basis functions remains largely unexplored. We present QIRF, a quantum-inspired non-orthogonal function-space compression method for 3D Gaussian Splatting. QIRF models neighboring Gaussian primitives as a local non-orthogonal basis and formulates primitive reduction as a subspace-aware selection problem. Specifically, an analytic Gaussian overlap matrix and a radiance-response density matrix are constructed to characterize functional redundancy and rendering relevance. Generalized eigendecomposition is then used to identify the dominant local subspace and select representative Gaussian primitives. An RRDM-based response model and detail-aware safeguarding further preserve visually important high-frequency structures under aggressive pruning. Experiments on 13 scenes from Mip-NeRF 360, Tanks and Temples, and Deep Blending show that QIRF reduces the Gaussian count and raw PLY storage by 71.7 percent on average, corresponding to approximately 3.54 times compression, while maintaining reconstruction quality comparable to 3DGS and achieving a marginal average PSNR improvement of 0.10 dB. QIRF also improves the average rendering speed over 3DGS by 34.3 percent. These results suggest that non-orthogonal function-space redundancy is an important yet underexplored source of representational redundancy in explicit Gaussian radiance fields.

cs.CV↗

Both directions of Fuglede's conjecture fail in dimension two

Fuglede's conjecture asserts that a measurable set of positive and finite measure is spectral if and only if it tiles Euclidean space by translations. Counterexamples are known in every dimension $d\ge3$, whereas the one- and two-dimensional cases have remained unresolved. We construct two explicit $60$-point subsets of the rank-two finite Abelian group $\Z_{60}\times\Z_{12}$: one is a translational tile with no spectrum, and the other is spectral but does not tile. A finite-to-infinite transference principle lifts them to bounded subsets of $\R^2$ that are finite unions of unit squares. Consequently, both implications in Fuglede's conjecture fail in dimension two.

math.CO↗

ShopX: A Foundation Model for Intent-to-Item Fulfillment in Agentic Shopping

The wave of AI-native applications is moving shopping beyond page- and feed-based browsing toward intent-driven experiences orchestrated by LLM agents. A common design wraps an LLM around existing search and recommendation pipelines, forcing complex intents through low-bandwidth retrieval or ranking interfaces and leaving a gap between language understanding and item-space fulfillment. Generative recommendation gives LLMs a direct item-space interface through semantic IDs (SIDs), but existing models mainly generate candidates for retrieval rather than translate flexible intents into item-space outcomes. We propose ShopX to address this bottleneck by unifying intent understanding, execution planning, and flexible SID-native item-space operations into a single foundation model. We deploy ShopX in agentic shopping workflows through a model-native item-fulfillment framework with a serving harness that defines a model-facing action protocol and exposes support surfaces for context access, catalog grounding, and state management. Within this framework, ShopX plans and composes SID-based item-space operations such as SID beam-search retrieval, listwise ranking, or product bundling. This model-centric design reduces lossy hand-offs between agent orchestration and item-space execution. To build ShopX, we design semantically recoverable, LLM-operable SIDs and a training recipe that equips a general LLM for flexible multi-turn item-space fulfillment while retaining the knowledge and instruction-following abilities needed by a shopping agent. We evaluate the ShopX framework against tool-mediated agentic systems on single- and multi-turn fulfillment tasks derived from anonymized Taobao production logs, showing that model-native fulfillment improves overall framework behavior, especially on complex or ambiguous requests.

cs.IR↗

Low-Altitude ISAC With Spherical Directly-Connected Antenna Array: Performance Analysis and Beamforming Optimization

The safety development requirements of low-altitude economy (LAE) renders the robust low-altitude airspace monitoring critical important than ever before. Integrated sensing and communication (ISAC) as one of the key development trends of 6G provides potential solutions for the LAE. However, conventional antenna arrays suffer from limited three-dimensional (3D) sensing coverage and degraded angular resolution at high elevation angles. To address these challenges, this paper investigates low-altitude ISAC systems enabled by the recently proposed spherical directly-connected antenna array (DCAA). By carefully deploying multiple simple uniform planar arrays (sUPAs) over a spherical surface, without relying on any phase shifter, spherical DCAA enjoys advantages of full 3D coverage, superior and uniform angular resolution, enhanced energy-focusing and low hardware cost. In this paper, we first characterizes the sensing performance of the spherical DCAA, in terms of the sensing signal-to-noise ratio (SNR), area average probability of detection, and Cramér-Rao lower bounds (CRLBs) for both elevation and azimuth angle estimation. Then, a low-altitude ISAC optimization problem is formulated to maximize the worst-case sensing SNR over a prescribed aerial region while satisfying the communication quality-of-service requirements of ground users. To effective solve this mixed-integer non-convex problem, we develop a novel greed-based joint array selection and beamforming optimization framework. Simulation results demonstrate that spherical DCAA significantly outperforms conventional UPA in terms of sensing coverage, angle estimation accuracy, and communication-sensing SNR tradeoff, highlighting its potential for future low-altitude ISAC systems.

eess.SP↗

MMAgent-R$^2$: Learning to Rerank and Reject for Agentic mRAG

Knowledge-based Visual Question Answering (KB-VQA) requires models to retrieve visual entities matching the query image from large-scale encyclopedic knowledge bases and answer related questions. Existing multimodal Retrieval Augmented Generation (mRAG) methods rely on global visual features to match candidate entities, yet when the knowledge base contains numerous visually similar entities, the retriever struggles to distinguish them, populating the candidate set with visually similar but factually mismatched distractors. Since subsequent processing steps such as noise filtering are also confined to this fixed candidate set, errors from failed retrieval inevitably propagate to the final answer. To address these challenges, we propose MMAgent-R$^2$, an agentic mRAG framework that integrates visual reranking and active rejection as its internal verification mechanism. Visual reranking directly compares query and candidate images, capturing discriminative details beyond textual descriptions to precisely identify the target entity among similar candidates; active rejection discards unreliable results and retrieves additional candidates when no confident match is found, moving beyond the fixed candidate pool. We design a composite reward function with step-level verification rewards and achieve joint optimization of external retrieval, internal verification, and answer generation via GRPO training. Experiments on InfoSeek, E-VQA, and MMhops demonstrate that \ours{} achieves state-of-the-art performance, with particularly notable advantages in challenging retrieval scenarios and complex multi-image multi-hop reasoning tasks.

cs.CV↗

Incidence theorems for multivariate polynomials over finite fields

We study incidence problems for multivariate polynomials over a finite field $\mathbb{F}_q$. Given two families of $m$-variate polynomials, we count the number of triples $(f,g,x)$ such that $f$ belongs to the first family, $g$ belongs to the second family, $x\in\mathbb{F}_q^m$, and $f(x)=g(x)$. We show that for any subsets $\mathcal{L},\mathcal{L}'\subseteq V_{m,r}$, where $V_{m,r}$ denotes the vector space of all $m$-variate polynomials over $\mathbb{F}_q$ of degree at most $r$, the number of such triples is at most $$q^{m-1}|\mathcal{L}||\mathcal{L}'|+O\big(q^{\dim V_{m,r}-1}\sqrt{|\mathcal{L}||\mathcal{L}'|}\big).$$ We further show that if $\mathcal{L}$ and $\mathcal{L}'$ are contained in a subspace $V\subseteq V_{m,r}$ satisfying a suitable separating condition, then the same estimate holds with $\dim V_{m,r}$ replaced by $\dim V$. Our upper bound is essentially sharp when $q^{m-1}|\mathcal{L}||\mathcal{L}'|$ dominates the summation. As applications, we derive incidence bounds for points and multivariate polynomials. These results recover and strengthen several previously known bounds for point-line incidences and point-univariate-polynomial incidences. Our proof is spectral, relying on an expander mixing lemma for general abelian Cayley color graphs together with Fourier analysis over finite fields.

math.CO↗

Linear-Quadratic Mean Field Games with Hybrid Local-Global Interactions on Manifolds

This paper studies linear-quadratic mean field games on compact Riemannian manifolds with a hybrid interaction topology. The network structure is a superposition of a deterministic graph for local geometric connectivity and a stochastic directed graph for non-local interactions. The global graph is constructed via random sampling based on a continuous kernel $K$. The out-degree of each node scales as $Θ(\log N)$ or as $Θ(N)$ to represent a sparse or dense network, respectively. In the infinite-population limit, the continuum system is governed by a coupled system of forward-backward partial differential equations, where the dynamics of the expected state incorporate the integral operator corresponding to the non-local sampling. The existence of a Nash equilibrium is established for this limit system. Furthermore, the approximation error is analyzed using operator concentration inequalities and analytic semigroup theory. Non-asymptotic high-probability error bounds between the finite-population empirical state and the continuum limit are derived. The convergence rates differ depending on the two topological regimes. Under the dense regime, the tracking error exhibits a polynomial decay rate dependent on the manifold dimension and Sobolev regularity, while under the sparse regime, the error decays at a rate of $\mathcal{O}((\log N)^{-1/2})$.

math.OC↗

HRIBench: Benchmarking Interaction-Centric Human-Robot Collaboration

Current vision-language-action (VLA) benchmarks primarily evaluate isolated manipulation skills while leaving human-robot interaction structure largely unmodeled. However, real-world collaboration fundamentally requires coordination under shared agency, including intent understanding, temporal synchronization, protocol adherence, and safe interaction in dynamic environments. To address this gap, we introduce HRIBench, a diagnostic benchmark for intent-aware human-robot collaboration based on executable interaction scenarios. HRIBench represents collaborative tasks as structured scenario scripts that explicitly model agent roles, temporal dependencies, coordination constraints, and human behavior distributions. Building on this abstraction, HRIBench defines three representative interaction roles: Instructor, Collaborator, and Intruder, covering intent communication, joint coordination, and robustness under human intervention. The benchmark contains 13 role-conditioned tasks with over 650 evaluation episodes generated from diverse interaction trajectories and scene variations. Beyond binary task success, HRIBench introduces interpretable interaction-centric metrics spanning synchronization, responsiveness, protocol compliance, and safety. We evaluate adapted policies based on GR00T, pi0.5, and ACT under a unified protocol. Results show that current foundation robot policies struggle substantially in collaborative settings despite strong manipulation ability, revealing major limitations in temporal coordination and intent-aware behavior. Fine-tuning on HRIBench consistently improves collaborative performance. In a real-world adaptation study, simulation data generated by HRIBench improves GR00T N1.5's physical-task success rate from 0.10 to 0.43, demonstrating the benchmark's value for advancing interaction-centric robot learning.

cs.RO↗

MetaTune: Adjoint-based Meta-tuning via Robotic Differentiable Dynamics

Disturbance observer-based control has shown promise in robustifying robotic systems against uncertainties. However, tuning such systems remains challenging due to the strong coupling between controller gains and observer parameters. In this work, we propose MetaTune, a unified framework for joint auto-tuning of feedback controllers and disturbance observers through differentiable closed-loop meta-learning. MetaTune integrates a portable neural policy with physics-informed gradients derived from differentiable system dynamics, enabling adaptive gains across tasks and operating conditions. We develop an adjoint method that efficiently computes the meta-gradients with respect to adaptive gains backward in time to directly minimize the cost-to-go. Compared to existing forward methods, our approach reduces the computational complexity to be linear in the data horizon. On quadrotor control tasks, MetaTune achieves competitive or improved tracking performance while reducing gradient computation time by more than 50\%. In PX4-Gazebo hardware-in-the-loop simulation, the learned policy transfers zero-shot and reduces tracking RMSE by about 15--20\% in aggressive flight and up to 40\% under strong disturbances.

cs.RO↗

Measurement of solar $pp$ neutrino flux with the new PandaX-4T data

We report a new measurement of the solar proton--proton ($pp$) neutrino flux via neutrino--electron elastic scattering using the PandaX-4T Run 2 data set collected between 2024 and 2026, corresponding to an exposure of 1.9 tonne$\cdot$yr. Before Run 2 data taking, the detector underwent a series of upgrades to improve its response and background conditions. Time variations of radioactive noble-gas impurities are constrained using the physics data themselves, complemented by measurements from the gas-assay system. The analysis introduced improvements in the data processing chain, detector response characterization, and background models. A blind spectral analysis was then performed on the electronic-recoil data across a wide energy range from 20 to 1000 keV. In combination with the Run 0 data published earlier, the fitted $pp$ flux is $(8.5 \pm 3.5)\times 10^{10}$ $\mathrm{cm^{-2}s^{-1}}$, consistent with the prediction of the Standard Solar Model. With a statistical significance of $2.2σ$ above background, this marks the first positive indication of solar $pp$ neutrino--electron scattering below an electronic-recoil energy of 165 keV.

hep-ex↗

PixelEyes: Decoupling Perception and Reasoning for Pinpoint Visual Evidence Seeking

This paper explores multi-turn visual reasoning and observes that MLLMs repeatedly fail to localize the target, leading to long, redundant trajectories. We attribute this failure to the entanglement of reasoning and perception within a single model, the MLLM reasons and localizes simultaneously, and inaccurate localization triggers additional reasoning turns that bloat the trajectory. To solve this problem, we propose PixelEyes, a multi-turn visual reasoning agent that explicitly decouples reasoning from perception, i.e., the reasoner decides what to look for, while a specialized perception tool answers where it is. Specifically, PixelEyes introduces 1) Mask-guided Visual Search. A referring segmentation model is invoked to provide mask-precise localization, freeing the reasoner from the need to compensate for imprecise grounding. 2) Semantic-region Breadth-first Search (BFS). To eliminate redundant loops caused by repeatedly cropping incorrect sub-regions, we organize exploration as a breadth-first search over semantic regions. To internalize these capabilities, we construct the PixelEyes-6K dataset by resynthesizing expert trajectories from existing data. This explicitly embeds our mask-guided search and BFS logic into the model. We further introduce Pinpoint-Bench, a zero-hint visual search benchmark, i.e., no location cues are provided in the question, with instance-level masks and bounding boxes that separate localization failures from reasoning failures, enabling fine-grained analysis of failure modes such as inattentional blindness. Recent state-of-the-art MLLMs and visual reasoning agents leave large headroom on Pinpoint-Bench, demonstrating its quality and difficulty. Code and models are open-sourced.

cs.CV↗

Differentiable Physics-Informed Adaptive Koopman Control for Stable Flight under Unknown Disturbances

Uncertainties and disturbances in robotic systems, such as aerodynamic forces, are fundamentally outcomes of physical interactions with the environment, manifesting as learnable spatiotemporal sequences rather than random noise. However, achieving high-precision control for robotic systems operating in unstructured environments is often hindered by complex unmodeled dynamics and external disturbances. While learning-based methods offer powerful approximation capabilities, they typically suffer from heavy reliance on offline training and lack theoretical guarantees. Conversely, traditional robust control strategies are predominantly reactive, limited to instantaneous estimation without the foresight to anticipate future disturbance trends. To bridge this gap, this paper proposes a differentiable data-enabled Koopman control framework termed DEKC. Unlike black-box approaches, DEKC adopts a hybrid modeling strategy that retains the nominal physics model while employing a deep neural network to parameterize the lifting function of Koopman operator for unknown residual dynamics. Crucially, the framework formulates disturbances as a dynamical system, learning their temporal evolution in a global linear space. This enables the prediction of future disturbance trajectories, which are explicitly integrated into controller for preemptive compensation. Furthermore, an online backward gradient update mechanism is introduced to ensure real-time adaptation to time-varying uncertainties. Numerical simulations on a tethered space robot demonstrate the efficacy of the proposed DEKC in mitigating highly coupled uncertainties. Complementing these results, real-world experiments on a quadrotor substantiate its superiority in tracking agile trajectories under uncertainties induced by aerodynamics and suspended payload.

eess.SY↗

A Delsarte Linear Programming Approach to the Erdős--Falconer Distance Problem over Finite Fields

We introduce a Delsarte linear programming approach to the finite field Erdős--Falconer distance problem. Let \(q\) be an odd prime power, let \(n\) be even, and let \(Q\) be a non-degenerate quadratic form on \(\mathbb{F}_q^n\). For \(E\subset \mathbb{F}_q^n\), define \[ Δ_Q(E)=\{Q(x-y):\ x,y\in E\}. \] We prove that, for every fixed \(0<α<\frac{1}{2}\), there exist constants \(C_α>0\) and \(q_α\) such that if \(q\ge q_α\) and $|E|\ge C_αq^{\frac n2+\frac13},$ then \[ |Δ_Q(E)|>1+α(q-1). \] In particular, \(Δ_Q(E)\) contains a positive proportion of the elements of \(\mathbb{F}_q\), and hence \(|Δ_Q(E)|\gg q\). Our result applies uniformly to all non-degenerate quadratic forms in even-dimensional finite field vector spaces. In the Euclidean case \[ Q(x)=x_1^2+\cdots+x_n^2, \] it improves, for every even \(n\ge 4\) over arbitrary finite fields, the general exponent \(\frac{n+1}{2}\) obtained by Iosevich and Rudnev to $\frac n2+\frac13.$ The proof is based on the association scheme arising from the level sets of \(Q\). By analyzing the corresponding eigenvalues through Gauss sums and Kloosterman sums, we construct a suitable feasible solution to the Delsarte linear program. This provides a new algebraic-combinatorial method for obtaining distance set estimates over finite fields.

math.CO↗

CrossWeaver: Cross-modal Weaving for Arbitrary-Modality Semantic Segmentation

Multimodal semantic segmentation has shown great potential in leveraging complementary information across diverse sensing modalities. However, existing approaches often rely on carefully designed fusion strategies that either use modality-specific adaptations or rely on loosely coupled interactions, thereby limiting flexibility and resulting in less effective cross-modal coordination. Moreover, these methods often struggle to balance efficient information exchange with preserving the unique characteristics of each modality across different modality combinations. To address these challenges, we propose CrossWeaver, a simple yet effective multimodal fusion framework for arbitrary-modality semantic segmentation. Its core is a Modality Interaction Block (MIB), which enables selective and reliability-aware cross-modal interaction within the encoder, while a lightweight Seam-Aligned Fusion (SAF) module further aggregates the enhanced features. Extensive experiments on multiple multimodal semantic segmentation benchmarks demonstrate that our framework achieves state-of-the-art performance with minimal additional parameters and strong generalization to unseen modality combinations.

cs.CV↗