arXiv subjects

Wenhui Chen

Publications and source records attributed to Wenhui Chen.

At least 19 recordsLinked to original sources

arXiv2026

Critical semilinear damped wave equations beyond moduli of continuity

We consider the Cauchy problem for semilinear classical damped wave equations with general nonnegative nondecreasing nonlinearities, without imposing a modulus-of-continuity structure or convexity. A Dini-type integral condition expressed directly in terms of the nonlinearity gives small data global in-time existence and extends the nonlinear framework of Ebert--Girardi--Reissig [Math. Ann. 378 (2020), 1311--1326]. When this Dini-type integral diverges and the effective total mass of the initial data is positive, convergence of the Keller--Osserman tail integral is necessary and sufficient for finite-time blow-up of the maximal mild Sobolev solution, particularly, divergence of the tail integral gives global grow-up. The resulting integral criteria distinguish the contributions of the nonlinearity near zero and at infinity in governing small data global in-time existence with diffusion decay, global grow-up, and finite-time blow-up.

math.AP↗

arXiv2026

Sharp $L^2$ estimates for wave equations with non-integrable speeds

We study the large-time behavior of the displacement for wave equations with non-integrable speeds and zero initial displacement. For initial velocities in $L^2\cap L^1$, we derive an $L^2$ upper bound under a weighted Poincaré inequality and symbol estimates up to order two on the propagation speed. The rate is determined by the speed and its time integral. For these speeds, an additional symbol estimate for the third derivative and the nonzero mean condition on the initial velocity give a lower bound of the same order, obtained without using an explicit formula for the Fourier multiplier. At the endpoint $a(t)=(1+t)^{-1}$, the sharp rate is $t(\ln t)^{-\frac{n}{4}}$. The estimates apply to polynomial, logarithmically modified, oscillating, and exponential-type speeds.

math.AP↗

arXiv2026

Visible but Not Avoided: State-Dependent Re-Proposal of Rejected Candidates in Catalog-Based LLM Optimization Loops

LLM optimization loops often show the proposer the candidates it has already tried and rejected, but leave it to the proposer to avoid them. We ask whether avoidance measured in a static probe predicts avoidance in the states an optimizer's own trajectory produces. In catalog-based loops where three open LLMs improve a GUI agent by naming one of 40 edits, a re-proposal is identified exactly by the edit's name. Clean base-state probes underpredict re-proposal in the proposers' own loops (macro-averaged loop-minus-probe rate 0.32 [0.27, 0.37]), and proposals of already evaluated harness-edit pairs consume 28-63% of valid proposer iterations. The two settings reject different edits: a probe's rejected edits are mostly ones the proposer did not choose, whereas a loop's are its own earlier choices, which remain preferred when the history is removed. Ordinary history lowers re-proposal for two proposers but raises it for the third, and the effects of failure evidence are model-specific. Stating the rejection status in one sentence lowers re-proposal in every model (-0.16 [-0.22, -0.09] relative to a neutral list of the same IDs). For catalog-based loops with exact edit identities, rejection avoidance should be measured on the rejected sets the loop produces.

cs.AI↗

arXiv2026

Loss of derivatives for hyperbolic operators with coefficients oscillating in time

We consider second-order strictly hyperbolic operators whose coefficients are Lipschitz continuous in space and may oscillate near the initial time. Their first two time derivatives are bounded by the corresponding powers of $\frac{1}{t}(\log\frac{1}{t})^α$ with $0\leqslantα<1$, and the first time derivative satisfies the corresponding spatial Lipschitz bound. By combining Tarama's energy with frequency-dependent weights, we prove an energy estimate without loss for $α=0$ and with a stretched logarithmic upper bound for the loss when $0<α<1$, which implies an arbitrarily small loss in the Sobolev scale. These estimates extend the analysis of Colombini, Del Santo and Fanelli [\emph{Ann. Scuola Norm. Sup. Pisa Cl. Sci. (5)} \textbf{26} (2025)] for spatially Lipschitz coefficients to time-derivative bounds with an additional logarithmic factor.

math.AP↗

arXiv2026

Decoding Neural Population Dynamics through Robotic Analog

Animal evidence shows that precise voluntary movements arise from rotational neural population dynamics in motor cortex, but their physical effects remain unknown. We developed a robotic analog of biological motor systems with artificial muscles, multimodal sensors, and a neural network controller trained via reinforcement learning. The robotic analog exhibited accurate movements, robustness to damage, and neural population dynamics akin to animals. This task-driven, embodied model illuminates the causal link between neural population dynamics and motor outcomes. We discovered that neural rotations generate oscillatory maneuvers orthogonal to the reaching direction, optimizing trajectory adjustments, which is confirmed by primate neural data. The model also revealed counterintuitive neural energy principles under sensor and motor redundancies, and striking Eureka moments during motor learning, bridging biological and artificial systems. These findings provide new perspectives on how neural dynamics contribute to accurate and flexible movement, inspiring future intelligent robots with animal-like mobility.

cs.RO↗

arXiv2026

Sharp lifespan estimates for Nakao's problem in one space dimension

In this paper, we consider Nakao's problem in one space dimension, which couples a semilinear damped wave equation with a semilinear wave equation. For compactly supported energy data satisfying suitable integral sign conditions, we establish sharp lifespan estimates for all powers $p,q>1$. The estimates are classified according to whether the total integral of the initial speed in the wave equation is positive or zero.

math.AP↗

arXiv2026

Conflicting Supervision Moves Commitment, Not Capability: A 12.29σ arrangement effect that is exactly zero under a convention-agnostic score

"Train a model on the same problems written under two incompatible conventions, both correct, and ask what the ordering of that data writes into the parameters. The learning-rate schedule is not a background condition for that question. It is the averaging operator, and it decides the answer. We prove a bound in which the arrangement and the schedule enter the ordering effect as separate multiplied factors: the arrangement only as a block period, the schedule only as how much weight the endpoint can place on any one moment of the run. A decaying schedule cannot put a large step size and an uncontracted remainder at the same moment; a constant one does exactly that at the last step. That decay moderates ordering effects has been reported in pretraining; the mechanism, the separation, and a controlled measurement of both halves are ours. Ten orderings of one corpus, one budget, everything but the path held fixed, run twice under families differing in lr_scheduler_type and nothing else: at a constant rate the interior spans 0.2221 in allocation, 11.63 contrast floors, monotone in how blocked the arrangement is. Under the single cosine every published arm uses, the same ten arms occupy two distinguishable states where their own resolution would allow about ten. "Order matters" and "order does not matter" are the two ends of one knob. What the path writes is which convention the model commits to, and no exact-match benchmark can see it. Across twelve arms acc_A+acc_B is constant to within 9.7% while the allocation share runs 0.04 to 0.87, so the 12.29-sigma arrangement switch this paper measures is exactly zero under a convention-agnostic metric. That conservation is quoted from the decayed family throughout, the constant-rate one being a noisier place to read it. Marking the convention in the prompt collapses the switch and reaches 87.5% of the union ceiling."

cs.AI↗

arXiv2026

Global in-time rough large data solution to complex-valued semilinear damped evolution equations

We study the semilinear Cauchy problem for complex-valued damped evolution equations \begin{align*} \partial_t^2u+(-Δ)^σu+(-Δ)^δ\partial_tu=u^p,\ \ u(0,x)=u_0(x),\ \partial_tu(0,x)=u_1(x), \end{align*} with $δ\in[0,σ]$, $σ\in\mathbb{R}_+$ and $p\in\mathbb{N}_+\backslash\{1\}$, where the initial data belong to the rough space $E^α_s$ endowed with the norm \begin{align*} \|f\|_{E^α_s}=\big\|\langleξ\rangle^s\,2^{α|ξ|}\widehat{f}(ξ)\big\|_{L^2}\ \ \mbox{with}\ \ α<0, \ s\in\mathbb{R}. \end{align*} Concerning $(u_0,u_1)\in E^α_{s+\barκ}\times E^α_s$ when $s\geqslant\frac{n}{2}-\frac{2κ+\barκ-2δ}{p-1}-\barκ$ with $κ=\min\{2δ,σ\}$ and $\barκ=\max\{2δ,σ\}$ whose Fourier transforms are supported in a suitable subset of first octant, we prove a global in-time existence result without requiring the smallness of rough initial data.

math.AP↗

arXiv2026

Self-Cleaning and Captured Anyway: One Measured Primitive for Error in a Store an Agent Writes to Itself, and What a Falling Score Actually Measures

"An agent that writes its conclusions into a store it later retrieves from closes a loop usually reported as one-way contamination. Taking the loop to the infinite-tenure limit against an append-only store gives a different picture: because writing never deletes, the reachable state space has a hard upper edge at (n-1)/n, so the outcome is a choice between two edges rather than a decay. At f_0 = 0.9 the interval between the two modes holds 3.6% of 220 runs where a uniform spread would put 20.6%, and is strictly empty on the first 15; the pooled mean describes 8.2% of the runs it summarises, the median 68.2%. Everything the model contributes is carried by one measured primitive with no fitted parameter, the copy function γ(ϕ): on 36 Wikidata facts, sign(\hatγ - γ_{crit}), with γ_{crit} = 1/k at r = 0, w = 1, predicts the direction of drift on 353 of 360 real-fact runs (39 of 40 synthetic in the same batch). Scale does not rescue the store: pooled frontier capture is 0.850, with claude-sonnet-4.5 captured on 20 of 20 seeds against our registered prediction of <0.5. What the interval tests is distinguishability rather than count: on the real facts, multi-valued runs have 6.4x its occupancy of the rest. It survives at f_0 in {0.1, 0.3, 0.5}, capture peaks at f_0 = 0.5, and of four interventions with criteria frozen first, timing dominates fraction at matched budget while a consistency gate drives every model to 0.993. The resampling unit is the seed, at a design effect of 3.75 on a pooled level: under a 44-seed control the ordering supporting claim 4 collapses from Spearman +0.98 at three seeds to +0.31-0.80 at forty-four, while claim 2's ordering is exact there (+1.00, p = 0.017). All 87 graded rows are in Appendix W, 37 of them graded withdrawn, failed, self-correcting, undecidable or an acknowledged limit, against 50 that are not."

cs.CL↗

arXiv2026

Occamy-1.0: Open Pareto-frontier 35B Intelligence for Co-work

Co-work agents execute complex workflows that combine information gathering, tool use, coding, and file manipulation across many model invocations. Because cost and latency accumulate over the full episode, their practical value depends not only on peak capability but also on how efficiently that capability is delivered. Yet many steps in everyday work emphasize state tracking, coordination, recovery, and follow-through rather than frontier-scale reasoning. We present Occamy-1.0, a cost-efficient co-work model obtained by further training the post-trained Qwen3.6-35B-A3B checkpoint. We construct execution-grounded data and environments, capture replayable long-horizon trajectories across multiple harnesses, and use staged post-training to develop and consolidate complementary execution capabilities. Across a broad suite of co-work benchmarks, Occamy-1.0 is consistently among the strongest comparably sized models and remains competitive with substantially larger frontier systems on several tasks. Under our stated evaluation and pricing protocol, its aggregate performance across four representative benchmarks places it at the low-cost knee of the observed cost--performance Pareto frontier. Supporting evaluations in tool calling, coding, and instruction following further show that this specialization preserves broad agentic capability. We release the model weights and a subset of the training data to support research on practical co-work agents and agentic post-training.

cs.AI↗

arXiv2026

The critical exponent for the two-dimensional semilinear wave equation with strong damping

In this manuscript, we determine the critical exponent for the two-dimensional semilinear wave equation with strong damping. A recent result in D'Abbicco (arXiv, 2026) gives global in-time small data solutions for $p>\frac{10}{3}$, whereas we in the paper prove finite-time blow-up for $2<p\leqslant\frac{10}{3}$ under an averaged sign condition on the initial velocity. Together with the previously known blow-up result for $1<p\leqslant3$, the threshold for the power nonlinearity $|u|^p$ is \begin{align*} p=p_{\mathrm{crit}}=\frac{10}{3}. \end{align*} We prove positivity of the full two-dimensional velocity fundamental solution and construct a positive averaged kernel, which allows us to establish a nonlinear lower-bound iteration in a parabolic region.

math.AP↗

arXiv2026

Train What You Deploy: Closing the MLP Reachability Gap in Low-Rank Clone Distillation

A compressed student has two shapes that need not agree: the weight it deploys at inference and the weight family its training can reach. We show that a state-of-the-art weight-inheritance distiller, Low-Rank Clone (LRC), deploys a full-width student MLP but ties training to a teacher-induced slice, leaving 62.5-81.4% of each deployed matrix's independent linear degrees of freedom unreachable-paid for at inference, never trainable. Our principle is one line: train what you deploy. From the identical LRC warm start, we make the training object the entire deployed matrix, with no change in deployed shape, deployed parameter count, or inference FLOPs, via two mergeable realizations (Dense-LRC and CORE-LRC) that both collapse to one deployed weight. This recovers stranded capacity: taking the stronger realization per teacher, +2.36/+2.71/+10.45 Avg9 over matched-budget plain-LRC baselines across three teachers (Llama3.2-3B, Llama3.1-8B, Qwen2.5-3B), with the largest gain on the widest teacher (Qwen), where it reaches the original recipe's approx. 20B-token accuracy at 10B tokens (2x token efficiency); there the strictly same-lineage arm still recovers +6.39, the fully controlled figure. Controls strongly support attributing the gain to the enlarged reachable set, rather than to added parameters or the recipe. From approx. 10B distillation tokens plus a short SFT, a half-parameter 1.5B student matches its approx. 9T-token teacher's 9-task macro-average, within evaluation noise and with a residual MMLU deficit, and a 2.7B student beats Meta's own official compression of Llama3.1-8B at ~900x fewer compression tokens (a token count under unmatched recipes, not a compute claim). All results are from single-seed runs on the LRC backbone.

cs.LG↗

arXiv2026

The Architect, the Adversary, and the Judge: Closed-Loop Generation of Standards-Aligned Assessment Items at Scale

We present CLAIM, a production pipeline for K-12 assessment-item generation coupling a two-stage generate-then-attack protocol (the model drafts as a "curriculum architect", then re-enters the same conversation as a hostile adversarial reviewer), bi-directional few-shot conditioning on accepted and rejected items, the latter carrying the evaluator's diagnosis, and a knowledge dictionary of 44,844 error-correction rules mined from that feedback and retrieved per standard and item type. Across 43,227 scored items over 755 Common Core ELA standards, three item types, and ten LLMs, the pipeline reaches a 97.8% expert-evaluator pass rate on a 9,074-item production run. We then ask what that rate certifies. Re-scoring a stratified sample with three judges from other vendors, blind to the deployed verdict, reproduces the format ordering under every judge and recovers a larger open-set deficit than the deployed evaluator does; but agreement on the accept/reject binary is weak at production prevalence (kappa about 0.13), and the judges agree with each other no better. The level is therefore judge-relative, and with no student-response data our quality evidence is evaluator-judged throughout. The corpus also exposes a robust asymmetry. Multiple-choice and multiple-select generation saturate at 98% or above for both frontier models under a dozen static rules, whereas fill-in-the-blank generation is capability-tiered (82.8-96.7% across five models under a matched rule set, standards, and judge) and plateaus under prompt-only optimization, with error mass shifting between answer-key over-inclusion and omission as rules accumulate. We analyze this as open-set boundary determination, a task autoregressive decoders are structurally ill-equipped to solve, and show the asymmetry recurring when the evaluator itself is distilled: fail-recall rises from 8% to 63% while F1 saturates at 0.25.

cs.AI↗

arXiv2026

A Judge Should Know What Changed:Construct Validity for LLM-as-a-Judge Evaluation

LLM-as-a-judge evaluation is usually assessed by agreement and robustness to surface perturbations, but reliability does not establish construct validity. We formalize construct validity for an evaluator as a two-dimensional profile: invariance S, the probability that a verdict is unchanged under construct-preserving edits, and construct sensitivity R, the probability that it changes under minimal construct-changing edits. We show that S and R are independent and that no scalar summary preserves all relevant comparisons. We measure the profile across 7 judges and 4 domains using 7 construct-changing intervention types and 5 register-only controls, with intervention direction determined by human annotators and generation, verification, and judging assigned to disjoint model families. At matched invariance S >= 0.90, judges average S = 0.945 but R = 0.319. Sensitivity also differs between scope and strength edits: R_scope = 0.383 versus R_strength = 0.262, a +0.121 gap with the same sign for all 7 judges. We further audit five public label sets and find that surface-only predictors reproduce 55%-67% of labels in paired mode, including 67.4% of MT-Bench human votes. These results show that high judge agreement can coexist with weak sensitivity to changes in the construct being evaluated, motivating joint reporting of invariance and sensitivity and auditing the validation set itself.

cs.AI↗

arXiv2026

Budget-Constrained Embodied Perception: Four Resource Walls and a Pre-Registered Evaluation of Access-Structured Perception on Open Models at less than 31B

Embodied multimodal agents must answer from growing observation streams under a fixed per-decision token budget. We formalize this constraint through four resource walls: a perceptual Shannon wall for bounded state, a horizon wall for query-independent frame selection, a round wall for non-adaptive retrieval, and a conditional composition wall for fixed-depth inference. We introduce ASP, a training-free wrapper for frozen multimodal models that combines a capped structured state, a verbatim episodic index, and query-conditioned budget allocation with iterative access. Following a pre-registered protocol, we evaluate seven open-weight models from 3B to 31B on SEW-Bench, a license-free synthetic long-horizon walkthrough benchmark constructed to instantiate these walls. The registered natural-video benchmarks were not run because their frames require dataset agreements; our evidence therefore concerns access mechanisms, not natural-scene perception. Under a 4,096-token decision budget, ASP reaches 75 to 94% episodic retrieval accuracy, compared with 3 to 19% for equal-budget query-independent sampling, and budget reallocation outperforms quadrupling the sampling budget on every backbone. However, the full three-component architecture does not validate channel duality: removing the compressive state raises the flagship mean from 35.4 to 58.0, ASP does not outperform the verbatim-only baseline on any backbone, and two of four pre-registered falsification criteria fire. These results show that query-conditioned access, rather than parameter count or context growth alone, is decisive under a fixed budget, while prompted online compression does not earn its cost in this setting.

cs.AI↗

arXiv2026

The Free-Recipe Limit: Every Recipe Effect Measures Which Premise of an Idealised Learner Broke

Fix a corpus and send recipe search to infinity: try every order of the skills, every arrangement from blocked to interleaved, every composition, and keep the best. Two quantities decide what that search was worth: the diameter of the reachable set it explores, and the resolution at which anyone can tell two endpoints apart. Where the diameter falls below the resolution, no amount of search converts into a decision, and the signature is not an absence of winners but winners that do not survive re-running. We measure this recipe-search wall with 761 fine-tuning runs on 12 base models (0.5B-14B, three pretraining families) over competition-mathematics skills: base checkpoints, supervised fine-tuning under AdamW, exact-match scoring at k=4. Within one coherent domain at fixed volume the three classical freedoms average 0.010-0.021 against a 0.019 floor, and the largest contrast, 0.0619, clears a three-seed resolution and then reads +0.010 and -0.015 on two reruns. The departure with a systematic answer is coherence: halving one pooled corpus and letting the halves write answers under incompatible but equally correct conventions moves arrangement from capability to allocation between conventions, by two orders of magnitude over a same-convention control, and writing the convention into the input switches the phenomenon off. The switch replicates on a second pretraining family and survives an independent re-execution of its own protocol, with a re-execution spread (0.087) smaller than the resolution a search-selected order cell carries (0.144). Order itself is a transient whose sign crosses zero three times inside a single run. Volume, the one lever nobody calls a recipe, is the one that reliably pays. A public scorecard grades all 26 pre-registered claims: 18 supported, 5 failed, 2 untested, 1 mixed.

cs.AI↗

arXiv2026

Blow-up criteria and lifespan estimates for semilinear wave equations with time-dependent damping and mass

We consider semilinear wave equations with time-dependent damping and mass and a derivative-type nonlinearity. By applying a Liouville transformation and solving a Volterra integral equation posed from infinity, we construct a positive exact solution to the adjoint equation without using an explicit representation of the linear propagator. This solution is used to derive a blow-up criterion for energy solutions with finite propagation, together with an upper bound for the lifespan. If the primitive of the damping coefficient grows at most logarithmically, we obtain the full shifted Glassey range, including the critical exponent, and the corresponding polynomial and exponential lifespan estimates. The result applies independently of the sign of the scale-invariant discriminant and therefore includes the mass-dominant regime. It also covers non-integrable oscillatory perturbations of the damping coefficient when their contributions are canceled by the corresponding mass terms.

math.AP↗

arXiv2026

The critical exponent for the three-dimensional semilinear wave equation with strong damping

In this manuscript, we determine the critical exponent for the three-dimensional semilinear wave equation with strong damping and thereby resolve an open problem posed in 2014. The threshold for the power nonlinearity $|u|^p$ is \begin{align*} p=p_{\mathrm{crit}}=\frac{7}{3}. \end{align*} Sufficiently small data generate global in-time solutions for $p>\frac{7}{3}$, whereas there exist arbitrarily small smooth compactly supported data whose solutions blow up in finite time for $1<p\leqslant\frac{7}{3}$. Positivity of the full velocity fundamental solution, combined with a dimension-descent formula, yields a positive half-line kernel and replaces the finite propagation property unavailable for strongly damped waves. This leads to a nonlinear lower-bound parabolic iteration without radial symmetry or pointwise sign assumptions on the initial data. At the critical power, a refined slicing argument on moving shells converts the borderline logarithmic gain into the growth required for blow-up.

math.AP↗