arXiv Science⌕ Search

arXiv subjects

Ke Wu

Publications and source records attributed to Ke Wu.

At least 19 recordsLinked to original sources
arXiv2026

Collaborative Continuum Robots: A Survey from an Automation-System Perspective

Continuum robots (CRs), owing to their compact structure, inherent compliance, and flexible deformation, have been widely applied in various fields. By coordinating multiple CRs to form collaborative continuum robots (CCRs), task adaptability, flexibility and load capacity can be further improved, thus offering significant advantages. In recent years, interest in this emerging field has grown steadily within the continuum-robotics community. In this survey, a closed-loop task-execution architecture for CCRs is constructed from an automation-system perspective, clarifying the system-level logic that transforms target-task specifications into multi-CR collaborative execution. Based on this architecture, CCRs are classified into three representative collaboration modes, namely separated collaboration, assistance collaboration, and parallel collaboration. Research progress is then systematically summarized and analyzed in terms of key technologies, including multi-CR task allocation, structural design, modeling, motion planning methods, control strategies, and sensing mechanisms. Finally, research opportunities in key technologies and system integration challenges for real-world deployment are discussed, providing guidance for research and application of CCRs.

cs.RO↗
arXiv2026

MDPO: Multi-constraint Dexterous Policy Optimization with Reinforcement Learning

Dexterous manipulation requires high-dimensional control policies to accomplish complex contact-rich tasks while simultaneously satisfying multiple safety requirements, such as joint limits, unsafe finger configurations, arm collisions, and unstable object interactions. Constrained reinforcement learning (RL) provides a principled framework for incorporating these requirements into dexterous manipulation policy learning. However, existing constrained RL methods for dexterous manipulation primarily focus on cumulative cost constraints and struggle to simultaneously handle multiple heterogeneous constraints during dexterous policy learning. In this work, we propose Multi-constraint Dexterous Policy Optimization (MDPO) for safe dexterous manipulation. We first formulate dexterous manipulation as a multi-constraint policy optimization problem involving both cumulative cost constraints and state-wise cost constraints. Based on this formulation, we integrate multi-constraint projection into the dexterous manipulation policy optimization process. Specifically, we employ constraint-specific policy projections to map the intermediate policy that maximizes task performance onto the feasible regions defined by the cumulative cost constraint and the state-wise cost constraint. Extensive experiments on ReDMan, including safe joint control, finger safety, and grasping tasks, demonstrate that MDPO achieves superior constraint satisfaction while maintaining competitive task performance compared with the baselines. Our code is available at this link.

cs.RO↗
arXiv2026

Catalan polynomials for the Wishart-Laguerre $β$-ensemble

By means of $W$-representation, we investigate the Wishart-Laguerre $β$-ensemble and present a compact expression for Catalan polynomials. For a special Nekrasov partition function associated with the Wishart-Laguerre $β$-ensemble, we show that it can be expressed as a exponential form of the special Catalan polynomials. Furthermore, we make a rule to calculate the Catalan polynomials by means of Feynman diagrams and present another expression for Catalan polynomials. We also establish the connection between certain Catalan polynomials and knot theory.

hep-th↗
arXiv2026

Interior Hessian estimates for $k$-convex solutions of Hessian quotient equations

We study interior Hessian estimates for $k$-convex solutions of Hessian quotient equations $\frac{σ_k(D^2u)}{σ_\ell(D^2u)}=1$ with $2\leq k\leq n$, $0 \leq \ell < k$, and $k-\ell \in\{1,2\}$. We first adopt the unified quantitative separation-propagation method of Li--Wu [LW26b] to derive a doubling inequality, and then use the compactness argument of Shankar--Yuan [SY25] to obtain the estimates. This approach also applies to a class of general Hessian equations.

math.AP↗
arXiv2026

ForceWAM: Decoupling Future and Response Learning from Demo and Play Data for Contact-Rich Manipulation

Expert demonstrations show how to complete contact-rich tasks, but provide limited coverage of how interaction forces respond to different actions. Task-agnostic play provides broader experience of contact dynamics without specifying task goals. To fully leverage these two types of data, we introduce ForceWAM, a force world action model that decouples knowledge of task-compatible interaction outcomes from knowledge of how local actions change contact. A world model learns from successful demonstrations to jointly predict future video and six-axis force/torque trajectories. Together, these futures describe the expected evolution of motion and contact during the task. A separate inverse dynamics model (IDM) learns from both task and play, mapping current observations and recorded visual-wrench futures to their associated robot actions. Play data thus provide knowledge of force responses for goal-directed execution. At deployment, the IDM reactively translates generated futures into actions, reusing them with fresh wrench feedback between world-model updates. Across real-robot force-regulated sliding, box flipping with and without disturbances, and ring placement, ForceWAM achieves $85$-$95\%$ mean success, surpassing world-modeling and reactive baselines. Our experiments further show that adding task-agnostic play data improves success by $15$-$45$ percentage points, demonstrating its value for learning contact-rich execution. Project page and code are available at https://force-wam.github.io/.

cs.RO↗
arXiv2026

ΔWAM: Distilling Action Tangent Fields into World Action Models

World Action Models (WAM) improve robot policies by augmenting sparse action supervision with dense future prediction. However, much of the predictable future is dominated by appearance and scene persistence rather than action-dependent dynamics. We observe that several recent WAM designs, including optical flow, motion-centric representations, and latent actions, can be understood from a common perspective in which world supervision becomes more efficient as it contains a higher proportion of action-relevant variation. Based on this insight, we introduce Action Tangent Fields, which reformulate world supervision through a local Taylor expansion of how actions induce changes in future dynamics. We represent future dynamics in Residual-VAE space, where the future latent remains recoverable from the current latent and its residual, and use a strong action-conditioned world model (ACWM) to probe the local correspondence between action variations and residual-world variations. This local first-order structure is distilled into the WAM to guide its denoising supervision toward dynamics that are more tightly coupled to action, rather than merely predictable from appearance. Across LIBERO-Plus, RoboTwin, and RoboTwin2.0-Plus, our method consistently improves robustness to lighting, background, camera, layout, and other environmental perturbations. Despite using no large-scale embodied pretraining, it achieves stronger robustness under several distribution shifts than pretrained policies. We further distill multi-step VideoDiT denoising into a single step for efficient inference. Our results suggest that effective WAM supervision should remain information-rich while concentrating its predictive capacity on the directions along which actions change the future.

cs.RO↗
arXiv2026

Sheeting property and rigidity for stable solutions to the Allen--Cahn equation

We prove a sheeting theorem for stable solutions to the Allen--Cahn equation in ambient dimensions $2$ through $10$. We show that weak convergence of the measures $\varepsilon|Du_\varepsilon|^2\,dX$ to a hyperplane with integer multiplicity implies that the zero sets are disjoint smooth graphs. As a consequence, stable entire solutions in $\mathbb R^N$, $N\le7$, with $O(R^{N-1})$ energy growth are one-dimensional. When $W''(-1)=W''(1)$, every blowdown of an entire solution with finite Morse index and this energy growth has multiplicity one for $4\le N\le10$. For even potentials, we also obtain multiplicity one for limits with bounded energy and Morse index on closed manifolds of dimensions $3$ through $7$, under bumpiness or positive Ricci curvature.

math.AP↗
arXiv2026

Optimize, Learn, Refine: Whole-Body Grasping and Pick-and-Throw with a Spiral Soft Robot

Soft continuum robots can exploit distributed compliance for whole-body manipulation, but synthesizing behavior through changing contacts remains difficult. We address whole-body grasping and pick-and-throw from an initially ungrasped state through outcome-based actuation-space optimization. Grasping is quantified by tip angular sweep and body-object enclosure, while throwing further incorporates release-direction alignment and minimum release speed. These objectives allow grasping, acceleration, and release to emerge from compliant interaction without prescribing contact forces, contact locations, or body configurations. Because the resulting actuation-to-outcome mapping is nonsmooth, we utilize derivative-free CMA-ES within an optimize-learn-refine framework. CMA-ES generates solutions for sampled conditions, a task-conditioned predictor learns warm starts, and CMA-ES refines them for unseen conditions. In simulation, the method achieves 492/500 successful grasps (98.4%) and success rates of 98%, 97%, and 94% across three directional throwing trials. Learned initialization increases grasping success from 78.6% to 98.4% while reducing the median rollout count from 1184 to 816 in CMA-ES. Hardware experiments achieve a 100% grasping success rate across 50 executions and a 100% pick-and-throw success rate across 30 executions, with 10 repetitions per direction. Together, these simulation and hardware results demonstrate the effectiveness of the proposed framework across both simulated and physical whole-body manipulation tasks.

cs.RO↗
arXiv2026

Polymorph-Tunable Spin Texture and Excitonic Structures in Monolayer WSi2P4

Two-dimensional semiconductors that simultaneously possess a direct band gap and strong spin-orbit coupling (SOC) are highly attractive for quantum optoelectronics. Using first-principles GW plus Bethe-Salpeter equation (GW-BSE) calculations, we show that monolayer WSi2P4-an experimentally accessible member of the MSi2X4 family-hosts a direct K-valley gap together with strong SOC. Its three competing polymorphs (alpha, beta and gamma) are all direct-gap semiconductors and are kinetically locked behind 1.3 eV migration barriers. The sigma_h mirror plane of the D3h of alpha and gamma phases enforces a persistent spin texture across the Brillouin zone, weakly modulated near gamma by interband SOC mixing, whereas the polar beta phase (C3v) exhibits Rashba spin splitting. SOC splits the doubly-degenerate lowest bright exciton into dark states and splits the original absorption peak into two peaks (A and B), whose relative brightness is governed by the K-valley conduction-band splitting. alpha-WSi2P4 displays the brightest Peak A because a tiny band crossing of opposite-spin branches can open a spin-allowed radiative channel. These results establish the MSi2P4 family as a phase-tunable platform for the cooperative engineering of spin texture, band splitting, and excitonic brightness within a single material system.

cond-mat.mtrl-sci↗
arXiv2026

Bandwidth Fee Mechanisms for Certified Transaction Dissemination

We study bandwidth fee mechanisms (BFMs) for pricing threshold-certified transaction dissemination before consensus. Analogous to transaction fee mechanisms for computation, BFMs price blockchain communication, which is especially relevant when dissemination is separated from consensus and execution. We model BFMs as two-sided procurement auctions between users submitting transactions and validators receiving and forwarding them. Any validator may serve as a transaction's source and forward it to a threshold of attesters. The model accounts for receipt from the user and subsequent transfers between validators, while abstracting away unrestricted multi-hop gossip and network topology. We establish limits on myopic incentive compatibility: no nontrivial transcript-based BFM prevents profitable collusion between two validators, and no nontrivial BFM simultaneously satisfies incentive compatibility for individual users, individual validators, and coalitions of one validator and one user. On the feasibility side, we give a greedy-route posted-price mechanism that is incentive compatible for every individual user and validator. We also study bandwidth pricing across blocks. Assuming honest validator execution, we propose an EIP-1559-style price-update rule whose fluid approximation has a unique fixed point that is locally stable for sufficiently small step sizes. In large markets, prices starting near this point remain nearby with high probability over any fixed time horizon.

cs.GT↗
arXiv2026

Closed-Form Cartesian Forward Kinetostatics for Spatial Multi-Segment Tendon-Driven Continuum Robots

Forward kinetostatics of spatial tendon-driven continuum robots typically requires a nonlinear equilibrium solve for each actuation input. This paper develops a force-to-Cartesian-configuration model with a closed-form solution in quadratures for spatial multi-segment robots under tendon actuation. The Cartesian backbone centerline and accumulated material twist serve as generalized coordinates, from which the strain measures and tendon geometry are derived. Variational equilibrium yields explicit axial and bending relations and establishes zero equilibrium material twist within the proposed model for admissible longitudinal non-helical routing. The solution is propagated segment by segment without an iterative equilibrium solve, while retaining axial deformation, spatially varying axial and bending stiffnesses and tendon-routing diameter, and segment-dependent tendon participation. Numerical comparisons with a full-strain geometric variable-strain model (GVS) yield maximum length-normalized tip-position discrepancies of 8.91 x 10^-6 and 1.01 x 10^-5 for the single- and three-segment robots, respectively. Mean evaluation times of 1.52 μs and 2.94 μs, with corresponding speedups of approximately 1864x and 3348x over the baseline, demonstrate the computational advantage of the explicit force-to-configuration mapping in the reported benchmark.

cs.RO↗
arXiv2026

Beyond Incentive Compatibility: Rational Harm-Proof Transaction Fee Mechanisms

Transaction fee mechanisms (TFMs) allocate scarce block space in blockchains. Prior work focuses on incentive compatibility (IC): honest behavior maximizes the payoff of each strategic player. We introduce rational-harm proofness (RHP), which rules out deviations that harm honest participants without reducing the deviator's utility relative to honest behavior. IC alone does not exclude such costless harm: in a second-price auction, a losing bidder can raise the winner's payment without changing its own payoff. For finite block capacity k, we characterize TFMs satisfying RHP alongside user incentive compatibility (UIC) and miner incentive compatibility (MIC). In the plain model, where a single miner implements the auction, we prove a tight tetrilemma: no TFM simultaneously achieves positive miner revenue, UIC, MIC, and RHP against miner-user coalitions, while any three are jointly achievable. In the MPC-assisted model, where a committee of miners implements the auction using multi-party computation, we construct a randomized TFM with positive miner revenue satisfying UIC, MIC, and RHP against users, miners, and miner-user coalitions containing at most k users. Randomness is necessary to confirm transactions under congestion: any deterministic TFM satisfying UIC and user RHP in this model confirms no transactions when the number of submitted bids exceeds k. Finally, IC and RHP are incomparable for every strategic role in both models: mechanisms can satisfy either property without satisfying the other. These results extend transaction fee mechanism design beyond incentives to protection against costless harm.

cs.GT↗
arXiv2026

Time optimal control for the heat equation with inverse-square potentials

This paper studies the time optimal control problem for the heat equation with singular inverse-square potentials under the Hardy critical condition. We first establish an observability inequality for the singular parabolic equation from general space-time measurable sets of positive Lebesgue measure. Rather than depending on the still-unknown Lebeau-Robbiano spectral inequality for the underlying singular operator, our proof combines Carleman-based observability results over open cylinders, real-analyticity estimates of solutions away from the singular origin, propagation of smallness estimates for real-analytic functions, and a telescoping-series technique. Using this observability result, we derive the null-controllability with controls supported on measurable subsets. Finally, we prove that the corresponding time optimal control is unique and obeys the bang-bang property almost everywhere over the control domain.

math.OC↗
arXiv2026

Reduced Cartesian Kinetostatics for Tendon-Driven Continuum Robots: Residual-Stabilized Full-Shape Propagation

Many planning and control tasks for tendon-driven continuum robots (TDCRs) require the complete Cartesian backbone geometry. We present a reduced Cartesian framework for planar, axially compressible TDCRs that propagates equilibrium configurations along prescribed tendon-force and tendon-displacement trajectories. The backbone is represented by two global position fields. Following exact variation, a Taylor-Galerkin reduction condenses prescribed spatial properties and distributed loads into offline moment vectors, yielding analytic reduced residuals and Jacobians without online spatial quadrature or numerical differentiation. Analytical differentiation and residual correction yield first-order rate systems requiring one fixed-dimensional linear solve per rate evaluation after initial equilibrium alignment on a regular branch. Across four simulated cases covering variable tendon routing, nonuniform geometry, axial compression, and their combined effects, the propagated Cartesian shapes and distributed strains closely match pointwise geometrically variable-strain (GVS) equilibrium solutions. Residual correction suppresses propagation drift across the tested step sizes while adding only about 0.98% to the mean update time of uncorrected Euler. The proposed method requires 0.508 ms per update on average, approximately 11 times faster than pointwise GVS solves. Displacement-driven experiments yield a maximum normalized mean backbone position error of 1.02% and a maximum end-effector position error of 0.28%. These results support efficient and accurate Cartesian full-shape prediction along prescribed actuation paths.

cs.RO↗
arXiv2026

History-Conditioned Flow Matching for Probabilistic Dynamics of Tendon-Driven Continuum Robots

Deterministic dynamics modeling of tendon-driven continuum robots remains challenging owing to uncertainties in material behavior, tendon transmission, friction, and contact. Measured joint configurations and nominal tendon commands do not fully characterize these internal mechanical factors, leaving uncertainty in the subsequent motion. We therefore develop a history-conditioned, physics-informed flow-matching framework for probabilistic dynamics prediction, using motion and actuation histories to predict the distribution of the next complete joint configuration. By recursively sampling next-step configurations under prescribed commands, the model predicts distributions of future whole-body motions. In simulation, scenario-specific models achieve five-second trajectory Energy Scores (lower is better) of 12.05 mm under internal friction variation and 9.29 mm under unobserved actuation disturbances. Relative to the conditional variational autoencoder and diffusion baselines, Flow attains lower Energy Scores and coverage closer to the nominal level in both scenarios. Ablations support history and structural conditioning in both scenarios. On the physical robot, predictions under two tendon-command profiles excluded from training capture the principal motion sequences, with five-second Energy Scores of 11.91 and 11.42 mm, lower than the compared baselines. The predicted-to-measured spread ratios are 1.65 and 1.22 (closer to 1 is better). These results support history-conditioned probabilistic dynamics prediction under incomplete mechanical observations.

cs.RO↗
arXiv2026

Small-energy regularity for stationary weak solutions of the Liouville equation

We establish small-energy regularity for stationary weak solutions of the Liouville equation $ -Δu=e^u $ in every dimension. It solves a problem left open in Da Lio [Commun. Partial Differ. Equations, 2008] and posed explicitly again by Da Lio and Hyder in [Commun. Contemp. Math. 2025]. The proof relies on the analysis of concentration phenomena for almost stationary fields with structure constraints.

math.AP↗
arXiv2026

Real-Time Whole-Body Safe Motion Generation for Multi-Segment Tendon-Driven Continuum Robots

Real-time motion generation for tendon-driven continuum robots requires accurate modeling of nonuniform bending and whole-body collision avoidance. This paper presents a unified actuation-space framework for planar multi-segment tendon-driven continuum robots. An energy-based variable-curvature model captures spatially varying tendon spacing and bending stiffness and provides analytical Jacobians for differential inverse kinematics and safety monitoring. A multipoint CBF-QP enforces backbone clearance under obstacle motion and actuation-velocity bounds, while its decision dimension depends only on the number of independently actuated segments. The model closely agrees with GVS references, with a maximum curvature error of $5.223 \times 10^{-2}\,\mathrm{m}^{-1}$. Over 100 MuJoCo trials, the proposed method achieves collision-free success rates of 96% and 100% in static and dynamic scenarios, respectively, compared with approximately 60% and 80% without CBF constraints. Hole-traversal tests further demonstrate safe motion in constrained environments. With 600 backbone monitoring points, the mean control-step time is 6.66 ms, demonstrating real-time whole-body safe motion generation.

cs.RO↗