SearcharxivSearch

arXiv subjects

Jiajun Wang

Publications and source records attributed to Jiajun Wang.

At least 19 recordsLinked to original sources

Sharp Bilinear Decoupling under Shell-Type Restrictions and Applications

We establish a sharp bilinear decoupling inequality under shell-type Fourier support restrictions. The optimal coefficient exhibits a transition at $N_1=N_2^2$ and is strictly smaller than the corresponding thick-annulus coefficient of Fan--Staffilani--Wang--Wilson [FSWW18]. The proof combines a lossless $L^2$ cap--plate decomposition, a one-direction linear lifting argument, localized shell-type linear decoupling, and a complementary localization of the second factor. For applications, we also derive a corresponding bilinear Strichartz estimate, toral eigenfunction estimates, mixed additive-energy bounds on lattice spheres, and a separated nonlinear smoothing result for the periodic Zakharov system.

math.AP

ABSeeker: Training Long-Horizon Search Agents via Answer-Backtracked Credit Assignment

Long-horizon search agents must make multiple sequential actions (steps) to search, retrieve, verify, and integrate evidence to reach a final answer. However, existing methods for training these agents typically treat all steps within a trajectory uniformly during both supervised fine-tuning (SFT) and reinforcement learning (RL), failing to distinguish useful actions from erroneous or redundant ones. In this paper, we propose Answer-Backtracked Credit Assignment (ABC), a fine-grained credit assignment framework for training long-horizon search agents by converting sparse trajectory-level outcomes into dense step-level supervision that rewards useful actions (even in failed trajectories) while suppressing erroneous or redundant actions. Specifically, given a potentially obscure query and its corresponding ground-truth answer, ABC first performs Answer-Backtracked Clue Recovery, which traces back from the answer to recover intermediate clues required to solve the question. It then applies Clue-Anchored Step Scoring to evaluate each search step against these clues, converting sparse binary outcome supervision into dense step-level rewards. Based on these rewards, we develop ABC-SFT, which reweights the loss of each turn, and ABC-GRPO, which uses the step-level scores as rewards in GRPO. Building on this framework, we train ABSeeker based on Qwen3.5-4B with only 8.5k examples. ABSeeker achieves 37.3% on BrowseComp and 39.1% on BrowseComp-ZH. With context management, the scores further improve to 55.3% and 52.9%, respectively, significantly outperforming same-scale (4B) agents and even matching the performance of larger ones (approximately 30B). These results demonstrate the effectiveness of answer-backtracked step-level credit assignment for training long-horizon search agents.

cs.AI

ASTRA-Net: Anatomy-Specific Transfer and Representation Alignment for Drug-Induced Sleep Endoscopy Segmentation

Quantitative drug-induced sleep endoscopy (DISE) requires reliable airway boundaries at specific anatomical levels. Pixel-level DISE annotations are scarce, and manual contouring limits the scalability of quantitative assessment. To address this limitation, we developed ASTRA-Net for known-plane DISE segmentation with limited real annotations. Stage 1 aligned intermediate ConvNeXt-Base representations from 14,250 unlabeled virtual endoscopy frames derived from computed tomography and real DISE frames. Virtual images were used only for feature alignment. Stage 2 fine-tuned four independent UNet++ decoders on 401 real annotated frames. Structured zero-mask supervision constrained incompatible plane outputs and invalid frames. Six alignment configurations used maximum mean discrepancy, domain adversarial learning, or both objectives. On a hold-out evaluation set of 100 frames, the five-model MMD-only segmentation ensemble achieved a mean Dice of 0.8927, with a 95% image-level bootstrap interval of 0.8631 to 0.9160. The mean intersection over union was 0.8239. A classification- enabled variant of the same alignment configuration reached a restricted four-plane top-1 accuracy of 0.92 on the same hold-out frames. These results indicate that ASTRA-Net can support frame-level, plane-specific DISE boundary delineation when real annotations are limited.

cs.CV

Local existence of strong solutions to the capillary wave kinetic equation

In this paper, we follow Pan-Wu's idea [PW26] to prove local existence of the capillary wave kinetic equation. To be more specific, we will linearize the nonlinear operator and decompose it into dissipative part and bounded part. The main difficulty comes from the fact that the collision kernel has less symmetry compared with the one in gravity water wave. To overcome it, we are required to choose and pair each term delicately.

math.AP

HyperTool: Beyond Step-Wise Tool Calls for Tool-Augmented Agents

Tool-augmented LLM agents commonly rely on step-wise atomic tool calls, where each invocation, observation, and value transfer is exposed in the main reasoning trace. This creates an \emph{execution-granularity mismatch}: locally deterministic tool workflows are unfolded into repeated model-visible decisions, consuming context and forcing the model to manage low-level dataflow in the trace. We introduce \textbf{HyperTool}, a unified executable MCP-style tool interface that changes the model-visible unit of tool execution. A model invokes HyperTool with a code block that can call existing tools through their original schemas, manipulate returned values, and pass intermediate results locally, folding deterministic tool subroutines into a single outer call. To train models to use this interface, we synthesize HyperTool-format trajectories from cross-tool compositional tasks and verify them in real MCP environments. On MCP-Universe, HyperTool improves average accuracy from 15.69\% to 35.29\% on Qwen3-32B and from 9.93\% to 33.33\% on Qwen3-8B, and surpass GPT-OSS and Kimi-k2.5 on average accuracy, showing that our HyperTool can substantially improve multi-step tool use.

cs.CL

Global well-posedness of cubic fractional Schr\"{o}dinger equation with rough data

In this paper, we apply the I-method to establish global well-posedness for the fractional nonlinear Schr\"{o}dinger equation with initial data u_0 \in H^s(R^d) for s <\alpha/2, i.e., below the energy threshold. Moreover, for radial initial data, we combine a modiffed Morawetz estimate-recovered via Balakrishnan's formula-with the I-method to obtain improved results. In the same spirit, we employ the "upside-down" I-method to derive polynomial-in-time growth bounds for the higher-order Sobolev norm. The main difffculty stems from the fact that Strichartz estimates for the fractional Schr\"{o}dinger equation has a loss of derivatives, and the problem is always L^2-supercritical, thereby requiring more delicate analysis.

math.AP

LongSeeker: Elastic Context Orchestration for Long-Horizon Search Agents

Long-horizon search agents must manage a rapidly growing working context as they reason, call tools, and observe information. Naively accumulating all intermediate content can overwhelm the agent, increasing costs and the risk of errors. We propose that effective context management should be adaptive: parts of the agent's trajectory are maintained at different levels of detail depending on their current relevance to the task. To operationalize this principle, we introduce Context-ReAct, a general agentic paradigm for elastic context orchestration that integrates reasoning, context management, and tool use in a unified loop. Context-ReAct provides five atomic operations: Skip, Compress, Rollback, Snippet and Delete, which allow the agent to dynamically reshape its working context, preserving important evidence, summarizing resolved information, discarding unhelpful branches, and controlling context size. We prove that the Compress operator is expressively complete, while the other specialized operators provide efficiency and fidelity guarantees that reduce generation cost and hallucination risk. Building on this paradigm, we develop LongSeeker, a long-horizon search agent fine-tuned from Qwen3-30B-A3B on 10k synthesized trajectories. Across four representative search benchmarks, LongSeeker achieves 61.5% on BrowseComp and 62.5% on BrowseComp-ZH, substantially outperforming Tongyi DeepResearch (43.2% and 46.7%) and AgentFold (36.2% and 47.3%). These results highlight the potential of adaptive context management, showing that agents can achieve more reliable and efficient long-horizon reasoning by actively shaping their working memory.

cs.AI

LoViF 2026 Challenge on Human-oriented Semantic Image Quality Assessment: Methods and Results

This paper reviews the LoViF 2026 Challenge on Human-oriented Semantic Image Quality Assessment. This challenge aims to raise a new direction, i.e., how to evaluate the loss of semantic information from the human perspective, intending to promote the development of some new directions, like semantic coding, processing, and semantic-oriented optimization, etc. Unlike existing datasets of quality assessment, we form a dataset of human-oriented semantic quality assessment, termed the SeIQA dataset. This dataset is divided into three parts for this competition: (i) training data: 510 pairs of degraded images and their corresponding ground truth references; (ii) validation data: 80 pairs of degraded images and their corresponding ground-truth references; (iii) testing data: 160 pairs of degraded images and their corresponding ground-truth references. The primary objective of this challenge is to establish a new and powerful benchmark for human-oriented semantic image quality assessment. There are a total of 58 teams registered in this competition, and 6 teams submitted valid solutions and fact sheets for the final testing phase. These submissions achieved state-of-the-art (SOTA) performance on the SeIQA dataset.

cs.CV

Polynomial growth of Sobolev norms of solutions of the fractional NLS equation on \T^d

In this paper, we prove polynomial growth bounds for the Sobolev norms of solutions to the fractional nonlinear Schr\"odinger equation on the torus \T^d (d \ge 2), following and extending a result of Joseph Thirouin on \T [Thi17]. The key ingredient is the establishment of Strichartz estimates for the fractional Schr\"odinger equation on \T^d. To this end, we employ uniform estimates for oscillatory integrals to overcome the lack of uniformity that arises in higher dimensions.

math.AP

MIST-RL: Mutation-based Incremental Suite Testing via Reinforcement Learning

Large Language Models (LLMs) often fail to generate correct code on the first attempt, which requires using generated unit tests as verifiers to validate the solutions. Despite the success of recent verification methods, they remain constrained by a "scaling-by-quantity" paradigm. This brute-force approach suffers from a critical limitation: it yields diminishing returns in fault detection while causing severe test redundancy. To address this, we propose MIST-RL (Mutation-based Incremental Suite Testing via Reinforcement Learning), a framework that shifts the focus to "scaling-by-utility". We formulate test generation as a sequential decision process optimized via Group Relative Policy Optimization (GRPO). Specifically, we introduce a novel incremental mutation reward combined with dynamic penalties, which incentivizes the model to discover new faults while it suppresses functionally equivalent assertions. Experiments on HumanEval+ and MBPP+ demonstrate that MIST-RL outperforms state-of-the-art baselines. It achieves a +28.5% higher mutation score while reducing the number of test cases by 19.3%. Furthermore, we show that these compact, high-utility tests serve as superior verifiers, which improves downstream code reranking accuracy on HumanEval+ by 3.05% over the SOTA baseline with 10 candidate samples. The source code and data are provided in the supplementary material.

cs.AI

Emerging Multidimensional Real-Space Topological Structures at Chiral Bound States in the Continuum

As widely studied topological singularities, bound states in the continuum (BICs) have revealed rich physical properties through their momentum-space topology. Here, we reveal and experimentally demonstrate that magnetically induced chiral BICs possess multidimensional topological structures extending into real space. We design and realize a gyromagnetic photonic crystal slab where magnetic field breaks the time-reversal symmetry and lifts the degeneracy of BICs, creating a pair of chiral BICs with opposite circular polarizations. Near-field scanning measurements reveal phase vortices with quantized topological charges, spatially distributed near-field chirality, and skyrmionic Stokes textures arising from magnetic control. Our work unveils a previously unexplored dimension of BIC topology and establishes gyromagnetic photonic crystals as versatile platforms for manipulating complex topological states.

physics.optics

ImmuniFraug: A Metacognitive Intervention Anti-Fraud Approach to Enhance Undergraduate Students' Cyber Fraud Awareness

Cyber fraud now constitutes over half of criminal cases in China, with undergraduate students experiencing a disproportionate rise in victimization. Traditional anti-fraud training remains predominantly passive, yielding limited engagement and retention. This paper introduces ImmuniFraug, a Large Language Model (LLM)-based metacognitive intervention that delivers immersive, multimodal fraud simulations integrating text, voice, and visual avatars across ten prevalent fraud types. Each scenario is designed to replicate real-world persuasion tactics and psychological pressure, while post-interaction debriefs provide grounded feedback in protection motivation theory and reflective prompts to reinforce learning. In a controlled study with 846 Chinese undergraduates, ImmuniFraug was compared to official text-based materials. Linear Mixed-Effects Modeling (LMEM) reveals that the interactive intervention significantly improved fraud awareness (p = 0.026), successfully providing incremental learning value even when controlling for participants' extensive prior exposure to anti-fraud education, alongside high narrative immersion (M = 56.95/77). Thematic analysis of interviews revealed key effectiveness factors: perceived realism, adaptive deception, enforced time pressure, emotional manipulation awareness, and enhanced self-efficacy. Findings demonstrate that by shifting the focus from passive knowledge acquisition to active metacognitive engagement, LLM-based simulations offer a scalable and ecologically valid new paradigm for anti-fraud training and fostering fraud resilience.

cs.HC

Restriction estimates for 2D surfaces of finite type 3 and applications to dispersive equations

In this paper, we prove the restriction estimates for 2D surfaces S:= {(xi1, xi2, xi1^3 +/- xi2^3) : (xi1, xi2) in [0,1]^2} by reducing to Wang-Wu's result on the perturbed paraboloid and to the results on the perturbed hyperboloid obtained by Buschenhenke, M\"uller, and Vargas, as well as by Guo and Oh. The method is based on the rescaling technique developed in [LMZ21]. Besides, we will use the estimates to give a better analysis for discrete nonlinear Schr\"odinger equations.

math.AP

Mono4DEditor: Text-Driven 4D Scene Editing from Monocular Video via Point-Level Localization of Language-Embedded Gaussians

Editing 4D scenes reconstructed from monocular videos based on text prompts is a valuable yet challenging task with broad applications in content creation and virtual environments. The key difficulty lies in achieving semantically precise edits in localized regions of complex, dynamic scenes, while preserving the integrity of unedited content. To address this, we introduce Mono4DEditor, a novel framework for flexible and accurate text-driven 4D scene editing. Our method augments 3D Gaussians with quantized CLIP features to form a language-embedded dynamic representation, enabling efficient semantic querying of arbitrary spatial regions. We further propose a two-stage point-level localization strategy that first selects candidate Gaussians via CLIP similarity and then refines their spatial extent to improve accuracy. Finally, targeted edits are performed on localized regions using a diffusion-based video editing model, with flow and scribble guidance ensuring spatial fidelity and temporal coherence. Extensive experiments demonstrate that Mono4DEditor enables high-quality, text-driven edits across diverse scenes and object types, while preserving the appearance and geometry of unedited areas and surpassing prior approaches in both flexibility and visual fidelity.

cs.CV

Vectorial microlasers with designable topological charges based on M\"{o}bius-like correspondence in quasi-BICs

The ability to control topological properties of laser emission represents a fundamental advancement in photonic technology. Achieving topological laser in a single compact photonic structure is crucial for device integration and miniaturization but faces significant challenges for designing both the high-quality (high-Q) mode and radiative topological configurations. Recently, bound states in the continuum (BICs), as extraordinary states possessing both ultrahigh Q factors and polarization topological charges, have been demonstrated as a promising platform for compact topological lasers. However, as the cornerstone of BIC lasing's non-trivial properties, topological charges of BICs are protected by real-space structural symmetries, which simultaneously impose fundamental limitations that hinder their designability of lasing topological charges. Here, we propose and experimentally demonstrate a compound cavity design method based on the M\"{o}bius-like correspondence in quasi-BICs (q-BICs), by which compact vectorial microlasers with designable topological charges can be realized. We reveal the hidden connection between real-space symmetry breaking and eigen-polarizations of q-BICs from the triangular photonic crystal (PhC) slab, manifesting as a M\"{o}bius-like correspondence. By splicing PhC slab sectors utilizing this M\"{o}bius-like correspondence, we establish a one-to-one correspondence between compound cavities and their lasing topological charges. Vectorial lasing with designable topological charges from $-5$ to $+5$ were experimentally realized. Our work establishes a novel BIC-based platform that enables designable topological lasing, providing a promising route toward compact topological sources.

physics.optics

Bladder Cancer Diagnosis with Deep Learning: A Multi-Task Framework and Online Platform

Clinical cystoscopy, the current standard for bladder cancer diagnosis, suffers from significant reliance on physician expertise, leading to variability and subjectivity in diagnostic outcomes. There is an urgent need for objective, accurate, and efficient computational approaches to improve bladder cancer diagnostics. Leveraging recent advancements in deep learning, this study proposes an integrated multi-task deep learning framework specifically designed for bladder cancer diagnosis from cystoscopic images. Our framework includes a robust classification model using EfficientNet-B0 enhanced with Convolutional Block Attention Module (CBAM), an advanced segmentation model based on ResNet34-UNet++ architecture with self-attention mechanisms and attention gating, and molecular subtyping using ConvNeXt-Tiny to classify molecular markers such as HER-2 and Ki-67. Additionally, we introduce a Gradio-based online diagnostic platform integrating all developed models, providing intuitive features including multi-format image uploads, bilingual interfaces, and dynamic threshold adjustments. Extensive experimentation demonstrates the effectiveness of our methods, achieving outstanding accuracy (93.28%), F1-score (82.05%), and AUC (96.41%) for classification tasks, and exceptional segmentation performance indicated by a Dice coefficient of 0.9091. The online platform significantly improved the accuracy, efficiency, and accessibility of clinical bladder cancer diagnostics, enabling practical and user-friendly deployment. The code is publicly available. Our multi-task framework and integrated online tool collectively advance the field of intelligent bladder cancer diagnosis by improving clinical reliability, supporting early tumor detection, and enabling real-time diagnostic feedback. These contributions mark a significant step toward AI-assisted decision-making in urology.

eess.IV

Scattering theory of the nonlinear wave equations on lattices

In this paper, I will summarize the uniform decay estimates of the discrete wave equations (DW) established by the oscillatory integral theory in [Sch98, BCH23, BCH24], and combine the abstract framework of the scattering theory of the dispersive equations established in [Str81] to finally establish the scattering theory of the discrete nonlinear wave equations (DNLW), including the existence of the wave operators and the asymptotic completeness. In addition, I will establish the scattering theory again by the Strichartz estimate.

math.AP

Shortest filling geodesics on hyperbolic surfaces

In this paper, we obtain the minimal length of a filling (multi-)geodesic on a genus $g$ hyperbolic surface in the moduli space of hyperbolic surfaces and show that it is realized by the geodesic whose complement is a right-angled regular $(8g-4)$-gon. A single geodesic realizing this minimum is provided.

math.GT