arXiv subjects

Jiaxin Wang

Publications and source records attributed to Jiaxin Wang.

At least 19 recordsLinked to original sources

arXiv2026

Nonexistence of Strongly Regular Graphs via Gegenbauer Positivity and SRG Counting

This paper develops a natural extension of the multipoint spherical semidefinite method of Liao and Yu~\cite{LY}, studying the interaction between semidefinite programming and strongly regular graph counting. Starting from the positive semidefinite kernels furnished by Gegenbauer polynomials, we express weighted kernel sums and counting identities in the same labelled induced-subgraph counts. Eliminating the counting equations gives a semidefinite feasibility problem. Numerical dual solutions guide the construction of rational certificates, whose contradiction identities are verified exactly. Our aim is a systematic method that treats many parameter sets through the same construction. For least eigenvalue $-3$, it gives new counting certificates for $(351,140,73,44)$, $(550,162,75,36)$, $(703,182,81,35)$ and $(1344,221,88,26)$, previously excluded by Liao and Yu~\cite[Theorem~1]{LY}, and for six additional parameter sets: \[ \begin{array}{@{}lll@{}} (375,102,45,21), & (405,132,63,33), & (441,88,35,13),\\ (476,133,60,28), & (540,147,66,30), & (575,112,45,16). \end{array} \] Seven certificates use Gegenbauer positivity and counting information alone at the displayed orders. The cases $v=375,441,575$ additionally use proved short-vector restrictions, unique vertex extensions, and integer common-neighbour inequalities. The proofs end in displayed inequalities with incompatible signs. Their justification is given by the dual identities and the proved positivity and counting relations; accompanying code automates the longer rational arithmetic.

math.CO↗

arXiv2026

Learning More by Training Less: Uncertainty-Guided Progressive Contraction for Efficient Reasoning Post-Training

Large language models have achieved remarkable advances in complex reasoning. However, scaling reasoning post-training with ever-larger corpora can substantially increase training cost without proportional performance gains. In this study, we therefore ask: how far can reasoning supervision be compressed without sacrificing capability? To this end, we propose an uncertainty-guided progressive contraction framework that concentrates supervision and optimization on the reasoning trajectories most valuable for learning. Specifically, rather than treating a teacher-generated chain-of-thought (CoT) as a single realized path, we construct uncertainty-profiled reasoning supervision by building Monte Carlo reasoning trees around intermediate reasoning states to expose process-level uncertainty. This uncertainty first contracts the original corpus into a compact teacher-informed pool. A second, learner-aware contraction then performs online routing during SFT, concentrating optimization according to the student's evolving learning state. Together, the two stages progressively contract both supervision and optimization, substantially reducing the student training budget. Experiments across diverse reasoning benchmarks and LLM families show that our method uses as little as 0.22% of the optimization budget of full-data SFT, over 450x less training exposure, while maintaining or improving reasoning performance. Notably, our framework generalizes well across heterogeneous student families, black-box teachers, and weak-to-strong transfer. This indicates that it is not only a way to accelerate training but can also enhance reasoning capability.

cs.AI↗

arXiv2026

ASAP: Assembly-Source Aligned Pseudocode Refinement For Binary Decompilation

Large language models (LLMs) are increasingly used in binary decompilation to refine the C-like pseudocode produced by traditional rule-based decompilers. While this pseudocode is useful, it is a heuristic and lossy abstraction rather than a faithful copy of the source code. It often contains decompiler errors, especially for aggressively optimized binaries where critical low-level details are obscured. We present ASAP, an assembly-source aligned pseudocode refinement framework for binary decompilation. ASAP learns source-aligned assembly representations from paired source and binary functions using joint function-level and snippet-level contrastive alignment. A Q-Former then compresses chunk-level assembly features into a fixed number of assembly tokens that condition the decompilation LLM alongside the decompiler-produced pseudocode. During refinement, we use stochastic pseudocode masking and a relative assembly-advantage loss to reduce the model's tendency to ignore assembly features and rely only on pseudocode refining. On two decompilation benchmarks across multiple compiler optimization levels, ASAP improves the average re-execution rate from 64.7% to 71.9% and the average recompilation rate from 91.6% to 96.6% compared with the strongest baseline, offering both a new perspective and a practical solution to binary decompilation.

cs.PL↗

arXiv2026

Data-Driven Communication Topology and Distributed Controller Synthesis: Control-Aware and Co-Design

In distributed control schemes, the communication topology that defines information sharing between agents must be designed prior to online control execution. Previous data-driven works typically decouple the topology and controller design problems. This paper investigates data-driven approaches to topology design that guarantee the existence of a stabilizing controller, whilst trading off the level of required communication against control performance. We formulate a data-driven co-design scheme that directly co-optimizes the topology and controller over the link costs and closed-loop control cost. When the topology designer does not have access to the agents' control objectives, we propose a control-aware approach that couples the two design problems within a sequential scheme. In both cases, the topology is optimized within a mixed-integer semidefinite program (MISDP). Simulations including the IEEE 14-bus power system test case demonstrate the effectiveness of both co-design and control-aware schemes. Numerical examples show lower computation time for the control-aware case than for co-design.

eess.SY↗

arXiv2026

System Strength-Constrained Scheduling with Switchable Grid-Forming and Grid-Following Generation Resources

Inverter-based resources (IBRs) are increasingly dominating modern power systems, posing significant challenges to cost-effectively maintain system strength for stability. At the same time, the operating behaviors of IBRs are software-defined, including both their steady-state power outputs and control modes, e.g. grid-forming (GFM) and grid-following (GFL). Such flexibility has not been fully explored to efficiently operate future power systems. This paper develops a novel framework that simultaneously optimizes IBR operating behaviors and ensures adequate system strength. A comprehensive solution is provided to integrate system strength constraints into scheduling models, despite their inherent strong non-convexities. We derive a rigorous linear-matrix-inequality (LMI) reformulation of the system strength constraint, effectively addressing non-explicit formulations and dimension variation issues caused by GFM/GFL mode switching of IBRs. Then, we equivalently convert the original non-convex implicit system strength-constrained scheduling problem into an explicit mixed-integer semi-definite programming (MISDP) problem by incorporating the reformulated system strength constraint along with other operational constraints. We further provide a Rayleigh Cut method, which is compatible with standard mixed-integer linear programming (MILP) solvers, to solve this system strength-constrained scheduling problem. Case studies on a modified IEEE 118-bus system and a practical Jiangsu power system demonstrate the performance of the proposed methods.

eess.SY↗

arXiv2026

A Novel Approach to Counterexamples of the Polujan-Pott Conjecture via Set-Partition Permutations

In this paper, we settle a conjecture of Polujan and Pott by constructing an explicit, infinite family of Maiorana--McFarland bent functions $f_t$ in $2(2^t-1)$ variables with algebraic degree $°(f_t) = t + 1$ for any integer $t \ge 2$. Our construction builds upon a minimal commutative algebra $I_t$, which naturally induces a triangular set-partition polynomial permutation $P_t$. By identifying an elementary abelian subgroup within the direct sum $ I_t \oplus I_t^*$, we establish an explicit nonlinear coordinate transformation that pulls $f_t$ back to a canonical quadratic form. This linearizes the translation development $\operatorname{Dev}(D_{f_t})$ under an exotic group structure and proves that it is isomorphic to the classical symplectic design $S^\pm(2(2^t-1))$, thereby fully resolving the conjecture.

cs.IT↗

arXiv2026

GaussiAnimate: Rig Animatable Categories with Level of Dynamics

We propose Skelebones, a Scaffold-Skin Rigging System built on three steps: (1) Bones compress temporally consistent Gaussian or mesh sequences into free-form bones with smooth skinning weights, approximating non-rigid deformations via linear blend skinning (LBS); (2) Skeleton extracts the Mean Curvature Skeleton (MCS) from the canonical shape and temporally refines its topology and kinematics into a compact skeletal structure; and (3) Binding connects the skeleton and bones through non-parametric Partwise Motion Matching (PartMM), which synthesizes novel bone motions by matching, retrieving, and blending existing ones. Together, these steps compress the dynamics of 4D shapes into compact skelebones that are simultaneously controllable and expressive. The resulting representation is category-agnostic, meaning template-free; motion-adaptive, with dynamic topology; and topology-correct, with a skeleton consistent with the surface geometry. PartMM requires no learning. We validate our method on both synthetic and real-world datasets, achieving substantial reanimation improvements on unseen poses: a 17.3 dB PSNR gain over LBS on DNA-Rendering and a 45.6 dB gain over Bag-of-Bones on ActorsHQ, while preserving high rendering fidelity for characters with complex non-rigid dynamics. PartMM generalizes robustly to both Gaussian and mesh representations, excelling in low-data regimes of approximately 1,000 frames, with a 48.4 RMSE improvement over LBS and improvements of more than 20 over GRU- and MLP-based methods. Code will be publicly released at https://cookmaker.cn/gaussianimate/.

cs.CV↗

arXiv2026

Reasoning Depth and Environment Complexity: A Controlled Study of RLVR Data Allocation across Logical Reasoning Tasks

Reinforcement learning with verifiable rewards (RLVR) has become central to post-training reasoning models, yet a key limitation of existing studies is their narrow view of the reasoning space: difficulty is treated as reasoning depth alone, and reward is concentrated on forward deductive state tracking. We instead characterize the reasoning space along two dimensions. Difficulty. Beyond reasoning depth, we study environment complexity, where models must identify the correct path amid distractors and interacting structures. Rewarded reasoning form. We consider four abilities core to real-world reasoning: deductive state tracking, abductive recovery of hidden events or facts, inductive rule induction, and analogical transfer. To disentangle these factors, we construct a synthetic knowledge-graph environment with controlled pre- and post-training distributions, where each instance varies along depth, complexity, and task family. Three findings emerge: joint depth-complexity coverage outperforms single-axis recipes; reasoning families respond non-uniformly, with abductive reasoning degrading outside the RL-covered region and task correlations clustering into deductive-abductive and inductive-analogy pairs; and uniform mixing outperforms staged curricula under a fixed budget. We also find that recent off-the-shelf models exhibit the same deductive-over-abductive asymmetry, suggesting that this gap is not merely an artifact of our controlled setup.

cs.CL↗

arXiv2026

Trait-Aware Policy Optimization for Autoregressive Multi-Trait Essay Scoring

Multi-trait essay scoring aims to provide fine-grained evaluation of writing quality across multiple dimensions. However, how to effectively post-train autoregressive scoring models remains underexplored. In this paper, we propose Trait-Aware Policy Optimization (TAPO), a post-training framework tailored to autoregressive multi-trait scoring. Our method decomposes rewards along both the sample and trait dimensions, combining global scoring consistency, trait-level accuracy, format validity, and inter-trait dependency preservation. In addition, we use enhanced prompts throughout training by incorporating original prompt texts and trait descriptions, providing richer semantic information for trait-specific score generation. Experiments across multiple backbone models show that our method consistently improves multi-trait scoring performance over supervised fine-tuning and scalar-reward optimization baselines, demonstrating the effectiveness and transferability of trait-aware post-training for essay scoring.

cs.CL↗

arXiv2026

Beyond Visual Evidence: Revealing and Mitigating Relational Privacy Leakage in Document MLLMs

While the privacy risks of multimodal large language models (MLLMs) have drawn significant attention, the unique vulnerabilities of domain-specific MLLMs remain largely underexplored. Focusing on document understanding MLLMs for identity document processing, this paper investigates the privacy issues inherent in Key Information Extraction (KIE) tasks. We reveal that when input images lack sufficient visual evidence, these models often rely on memorized field relations from training data to infer missing content, thereby leaking multiple correlated fields containing sensitive personal information. To mitigate this risk, we make three key contributions.First, we propose the Dynamic Relational Unlearning Framework (DRUF) which comprises a Relational Decoupling Unlearning (RDU) module and a dynamic set update mechanism. It suppresses the leakage of high-risk field pairs while preserving KIE performance.Second, we introduce DocPrivacyBench, a novel benchmark to systematically evaluate a model's susceptibility to privacy leakage under conditions of absent or minimal visual evidence.Third, we evaluate three MLLMs and six unlearning methods using this benchmark, assessing both post-unlearning leakage suppression and utility preservation.Our results demonstrate that existing MLLMs consistently exhibit privacy leakage when visual evidence is scarce, particularly on noisier datasets. In contrast, DRUF outperforms the strongest baseline by improving leakage suppression by 4.8 percentage points, effectively mitigating privacy risks while maintaining robust document information extraction performance.

cs.CV↗

arXiv2026

Symplectic Hamiltonian Direct Discontinuous Galerkin Method for Wave Propagation

This paper presents a symplectic Hamiltonian direct discontinuous Galerkin (DDG) method for approximating wave propagation problems, including the linear and semilinear wave equations. Within an auxiliary-variable-free DG framework, we prove that the symmetry of the numerical flux bilinear form is equivalent to the existence of a discrete Hamiltonian structure. It follows that methods such as the symmetric interior penalty method and the symmetric DDG (SDDG) method admit a discrete Hamiltonian structure, whereas schemes including the Baumann--Oden, DDG, and BR2 methods do not possess this property. Exploiting this structure, we construct fully discrete symplectic schemes by combining the SDDG spatial discretization with symplectic time integrators. We further derive error estimates for the SDDG method applied to semilinear wave equations, showing the optimal convergence rate for the displacement and the suboptimal convergence rate for the velocity. Numerical experiments validate the theoretical convergence rates and demonstrate that the symplectic Hamiltonian DDG method achieves superior long-time energy conservation and accuracy.

math.NA↗

arXiv2026

LaCoVL-FER: Landmark-Guided Contrastive Learning Network with Vision-Language Enhancement for Facial Expression Recognition

Facial Expression Recognition (FER) in the wild requires models to identify subtle expression cues under large variations in pose, occlusion, illumination, and identity. Recent FER methods improve robustness by introducing visual attention, facial landmarks, or vision-language models as auxiliary priors. However, these priors are typically integrated in a static manner, failing to capture instance-specific facial variations, thereby resulting in severe attention redundancy and representation instability. To address this issue, we propose LaCoVL-FER, a landmark-guided contrastive learning network with vision-language enhancement for FER, which shifts FER from static prior injection to sample-adaptive prior refinement. Specifically, a Landmark-Guided Adaptive Encoder (LGAE) calibrates regional appearance features with landmark geometry through Bi-branch Gated Cross Attention (BGCA), suppressing noisy responses and producing expression-relevant representations. In parallel, a Vision-Language Enhancement Strategy (VLES) refines the generalizable visual features from a frozen CLIP image encoder into expression-specific visual representations. Based on them, an Expression-Conditioned Prompting (ECP) mechanism adapts fixed class-level textual prompts from the frozen CLIP text encoder into instance-aware textual representations. The resulting visual-textual representations are aligned as adaptive semantic priors to enhance robustness and generalization. Quantitative and qualitative experiments show that LaCoVL-FER outperforms state-of-the-art methods on RAF-DB, FERPlus, and AffectNet. The code is available at https://github.com/ylin06804/LaCoVL-FER.

cs.CV↗

arXiv2026

Trust Your Instincts: Confidence-Driven Test-Time RL for Vision-Language-Action Models

Reinforcement learning (RL) has become indispensable for pushing Vision-Language-Action Models (VLAs) beyond static imitation learning. However, existing RL methods typically require external environmental feedback, relying on predefined success signals to guide policy updates. In this work, we show that VLA models possess useful internal evaluative capabilities: in discrete-action VLAs, trajectories with higher generation confidence are significantly more likely to succeed. Based on this observation, we introduce T^2VLA (Test-time VLA), an architecture-agnostic test-time RL framework that enables VLA models to achieve self-bootstrapping policy improvement. Instead of relying on external rewards, T^2VLA leverages trajectory-level similarity to high-confidence expert demonstrations as an intrinsic reward signal. In addition, we propose a Confidence-Driven Dual Expert Bootstrapping mechanism, which dynamically balances a Local Pseudo-Expert for exploration and a Global Expert Pool for training stability. Extensive experiments on the LIBERO and RoboTwin benchmarks show that T^2VLA consistently outperforms supervised baselines and approaches oracle RL performance with ground-truth rewards, achieving effective improvement without external reward feedback. Furthermore, T^2VLA adapts to distinct VLA paradigms, including both OpenVLA-OFT and the pi series.

cs.RO↗

arXiv2026

New families of asymptotically optimal codebooks from vectorial dual-bent functions

Codebooks with small maximum cross-correlation amplitudes play an important role in many applications, such as code division multiple access (CDMA) communication systems, multiple-input multiple-output (MIMO) communications, compressed sensing, and coding theory. In this paper, by using vectorial dual-bent functions, we construct several families of codebooks that asymptotically achieve the Welch bound. The maximum cross-correlation amplitudes and the distributions of the cross-correlation amplitudes of the constructed codebooks are explicitly determined. Furthermore, these codebooks have new parameters, and some of them have very small alphabet sizes.

cs.IT↗

arXiv2026

Learning Stochastic Bridges for Video Object Removal via Video-to-Video Translation

Existing video object removal methods predominantly rely on diffusion models following a noise-to-data paradigm, where generation starts from uninformative Gaussian noise. This approach discards the rich structural and contextual priors present in the original input video. Consequently, such methods often lack sufficient guidance, leading to incomplete object erasure or the synthesis of implausible content that conflicts with the scene's physical logic. In this paper, we reformulate video object removal as a video-to-video translation task via a stochastic bridge model. Unlike noise-initialized methods, our framework establishes a direct stochastic path from the source video (with objects) to the target video (objects removed). This bridge formulation effectively leverages the input video as a strong structural prior, guiding the model to perform precise removal while ensuring that the filled regions are logically consistent with the surrounding environment. To address the trade-off where strong bridge priors hinder the removal of large objects, we propose a novel adaptive mask modulation strategy. This mechanism dynamically modulates input embeddings based on mask characteristics, balancing background fidelity with generative flexibility. Extensive experiments demonstrate that our approach significantly outperforms existing methods in both visual quality and temporal consistency. The project page is https://bridgeremoval.github.io/.

cs.CV↗

arXiv2026

Constructions and Characterizations of $s$-Plateaued Partitions

Bent partitions play a significant role in constructing bent functions and have rich connections with coding theory and combinatorics. In this paper, we introduce $s$-plateaued partitions, which generalize the bent partitions. Let $Γ=\{A_{i}, 1 \leq i \leq K\}$ be a partition of $V_{n}^{(p)}$, where $V_{n}^{(p)}$ is an $n$-dimensional vector space over the prime field $\mathbb{F}_{p}$ and $p \mid K$. Then $Γ$ is called an $s$-plateaued partition of $V_{n}^{(p)}$ of depth $K$ if each $p$-ary function $f: V_{n}^{(p)} \rightarrow \mathbb{F}_{p}$ for which every $j \in \mathbb{F}_{p}$ has exactly $\frac{K}{p}$ of sets $A_{i}$ in $Γ$ in its preimage set, is a $p$-ary $s$-plateaued function. By using an $s$-plateaued partition, a large number of $p$-ary $s$-plateaued functions, vectorial $s$-plateaued functions and generalized $s$-plateaued functions can be constructed. In particular, $0$-plateaued partitions are just bent partitions. In general, $s$-plateaued partitions are much more complicated than bent partitions. We analyze the possible cardinality of $A_{i}$ of an $s$-plateaued partition. We give some explicit constructions of $s$-plateaued partitions for which any generated $p$-ary $s$-plateaued function has no nonzero linear structure. We give a characterization of an $s$-plateaued partition $Γ=\{A_{i}, 1 \leq i \leq K\}$, where $p$ is odd, $K \geq 5$ and $-A_{i}=A_{i}, 1 \leq i \leq K$. Based on which, we show that if $p \geq 5$, then the preimage set partition of a $p$-ary $s$-plateaued function $f: V_{n}^{(p)} \rightarrow \mathbb{F}_{p}$ with $f(x)=f(-x)$ is an $s$-plateaued partition if and only if $f$ is of $(p-1)$-form, where $n+s$ is even.When $s=0$, we partially address an open problem on whether a bent partition $Γ$ of $V_{n}^{(p)}$ of depth $p^{\frac{n}{2}}$ must be obtained from spreads.

cs.IT↗

arXiv2026

UniviewVLA: A Unified Multiview Vision-Language-Action Model with World Modeling

Occluded tasks remain a bottleneck in robot manipulation. Existing solutions either deploy additional physical cameras requiring training-inference camera parity, or rely on explicit 3D reconstruction with high computational cost. Moreover, both approaches rely on standard agent-view and wrist-view observations, while failing to capture occlusion information and future scene evolution. To this end, we propose UniviewVLA, a unified multiview Vision-Language-Action model with world modeling, which infers multiview scene evolution for action prediction from only standard two-camera observations. We demonstrate that by leveraging generated multiview future views from the world model, UniviewVLA reveals occluded cues and models future scene evolution, improving action prediction and removing the need for extra hardware or explicit reconstruction. Besides, to accelerate inference while preserving prediction accuracy, UniviewVLA develops Motion-Informative Token Compression, which compresses each generated view from 625 to 16 tokens and reduces per-view latency from 6-7s to 0.2-0.3s. UniviewVLA also proposes training-free Action-Entropy View Selection, which dynamically identifies the most action-informative view at different inference stages. Extensive experiments show that UniviewVLA achieves 95.8% on LIBERO and 4.60 on CALVIN ABCD to D, both standard occlusion-free benchmarks. On customized occlusion-focused tasks, it improves success rate from 40.0% to 73.3%, and average real-robot success rate by 33.4 points, demonstrating stronger occlusion-focused performance without sacrificing standard occlusion-free benchmarks.

cs.RO↗

arXiv2026

ATHENA: Accelerated Multi-Task Heterogeneous Influence Functions for Robot Data Curation

In robot imitation learning, influence functions provide a principled approach to quantify each demonstration's effect on robot task outcomes, yet scaling them to billion-parameter Vision-Language-Action (VLA) models is limited by computational and multitask bottlenecks. To this end, we propose ATHENA, an influence function framework tailored for multitask VLA data curation at a billion-parameter scale. Concretely, it leverages the Kronecker structure of linear-layer gradients to reduce projection cost, and approximates dense Hessian inversion with a rank-r Random Truncated Approximation, achieving about a 313.4x speedup in influence computation. Furthermore, ATHENA formulates global and local interactive influence to balance data curation across 50 jointly trained tasks. Extensive evaluations on RoboTwin 2.0 and real-robot deployment, covering 9.34 and 6.90 hours of demonstrations, respectively, show that ATHENA matches or exceeds full-data joint fine-tuning using only 50% of demonstrations in simulation and 66.7% of data across six real-robot tasks. Overall, ATHENA demonstrates its effectiveness for data curation in billion-parameter multitask VLA fine-tuning.

cs.RO↗