arXiv subjects

Bohan Yang

Publications and source records attributed to Bohan Yang.

At least 19 recordsLinked to original sources

arXiv2026

Maximal volume of convex bodies avoiding random points and lacunary dilates

For a positive real lacunary sequence and any probability measure $μ$ with polynomial Fourier decay, we determine, for $μ$-almost every $x$, the asymptotic maximal volume of convex bodies avoiding the first $N$ dilates of $x$ modulo $\mathbb Z^d$. Among homothets of a fixed convex body, the maximal volume is asymptotic to $(\log N)/N$. When all convex bodies in the unit cube are allowed, it is asymptotic to $d(\log N)/N$. For independent uniform points in a fixed convex body $Ω\subset\mathbb R^d$, the maximal volume of an empty convex body is asymptotic to $d\operatorname{vol}(Ω)(\log N)/N$ almost surely. We also show, by constructing a one-dimensional counterexample, that lacunarity cannot be replaced by sparsity on sublacunary scales.

math.NT↗

arXiv2026

Hausdorff Dimension of Weighted Singular Vectors

Let $d\ge2$ and let $\mathbf w=(w_1,\ldots,w_d)$ satisfy $w_1\ge\cdots\ge w_d>0$ and $\sum_i w_i=1$. Set $s_*=d-(1+w_1)^{-1}$. We prove that there exist constants $C_{d,\mathbf w}>0$ and $\varepsilon_0=\varepsilon_0(d,\mathbf w)>0$ such that for all $0<\varepsilon<\varepsilon_0$, $$ \dim_H\operatorname{DI}_{\mathbf w}(\varepsilon)\le s_*+C_{d,\mathbf w}\sqrt\varepsilon. $$ Together with the lower bound of Kim--Park, this gives the exact formula $$ \dim_H\operatorname{Sing}(\mathbf w)=s_*. $$

math.NT↗

arXiv2026

A Uniform Bound on Optimal Strategy Length in Water Transport Problem

We prove that every water transport problem on an $n$-vertex graph has an optimal strategy of length at most $n^{(2+o(1))n}$. More strongly, the convex hull of all strategy operators stabilizes within the same bound. We also give a five-vertex instance in which every optimal strategy repeats a nontrivial connected averaging set.

math.CO↗

arXiv2026

An Implementation-Friendly SDG Scheme based on Cartesian Grids for Stokes Equations with Pressure Robustness and Superconvergence

This paper develops a staggered discontinuous Galerkin (SDG) scheme based on Cartesian grids for Stokes equations that is simple to implement, intrinsically pressure-robust, and superconvergent for all variables. Instead of the composite meshes used in standard SDG, we construct staggered quadrilateral meshes from Cartesian grids. The scheme takes velocity, pressure, and velocity gradient as unknowns, and employs piecewise-constant spaces with carefully designed staggered continuity. The additional gradient unknowns are locally eliminated via static condensation and can be further removed by mass lumping without loss of accuracy. An explicit pointwise formulation of the scheme is derived, which facilitates implementation and enables a detailed pointwise analysis. We rigorously prove pressure robustness and second-order superconvergence, which holds on general non-uniform Cartesian grids. The scheme is further extended to Navier-Stokes equations by introducing a novel discrete convection term with second-order consistency. Combined with the scalar auxiliary variable (SAV) approach and the Crank-Nicolson (CN) scheme, this yields an unconditionally energy-stable and second-order accurate scheme. Numerical experiments validate the theory and demonstrate accuracy and robustness.

math.NA↗

arXiv2026

Growth of Simple Closed Geodesics in Finite-Volume Hyperbolic Manifolds

Let $M$ be a finite-volume hyperbolic $d$-manifold with $d\ge3$. We prove that the number of primitive nonsimple closed geodesics has exponential growth rate strictly smaller than $d-1$. Consequently, asymptotically almost every primitive closed geodesic in $M$ is simple. In contrast, we show that on an arithmetic hyperbolic manifold of type~I, the unit vectors tangent to nonsimple closed geodesics are dense in the unit tangent bundle.

math.GT↗

arXiv2026

A Hybridized Staggered Discontinuous Galerkin--Mixed Finite Element Method for Strain Gradient Elasticity

We propose a hybridized staggered discontinuous Galerkin--mixed finite element method for the strain gradient elasticity model, a fourth-order singularly perturbed problem governed by a material length scale parameter $ι$ and the Lamé constants $λ$ and $μ$. Introducing the total stress together with the scaled Cauchy and hyper stresses as auxiliary unknowns, we recast the model as a first-order system and discretize the displacement and the total stress by staggered discontinuous Galerkin spaces, the two scaled stresses by Raviart--Thomas pairs, with symmetry imposed strongly on all three stresses. The higher-order Dirichlet boundary condition enters the variational formulation naturally, so that the scheme avoids the numerical boundary layer that limits displacement-based methods. By establishing an inf-sup condition on the symmetric subspace and a discrete Korn inequality, we prove algebraic stability and optimal convergence, both uniform in $ι$ and $λ$. We further develop a hybridized scheme in which local static condensation leaves only two multipliers on the mesh skeleton as globally coupled unknowns. Numerical experiments confirm the predicted convergence rates and the parameter robustness.

math.NA↗

arXiv2026

Winning property of counterexamples to Uniform Littlewood's Conjecture

In this paper, we prove that the set of counterexamples to the uniform Littlewood's conjecture proposed in Bandi-Fregoli-Kleinbock, that is, the set of pairs of real numbers $(x,y)$ satisfying $$ \limsup_{Q\to +\infty}\ Q\cdot \min_{1\leq q\leq Q}\langle qx\rangle\langle qy\rangle>0, $$ is hyperplane absolute winning. We show that a stronger statement holds: the set of real pairs $(x,y)$ satisfying $$ \liminf_{m\to +\infty}\ Q_m\cdot \min_{1\leq q\leq Q_m}\langle qx\rangle\langle qy\rangle>0, $$ is hyperplane absolute winning if $Q_{m+1} \gg Q_m^τ$ for some $τ> 1$. In particular, the above sets have full Hausdorff dimension in $\mathbb{R}^2$. In addition, we prove that these sets are absolute winning on every regular $C^2$ planar curve whose set of points of nonzero curvature is itself absolute winning on the curve. We also establish analogous results for certain lines.

math.NT↗

arXiv2026

Slowly Divergent Trajectories for Weighted Singular Vectors in R^2

Let $w=(w_1,w_2)$ satisfy $w_1>w_2>0$ and $w_1+w_2=1$. For every function $f:[0,\infty)\to(0,\infty)$ with $f(t)\to0$, we prove that the set of $w$-singular vectors whose weighted shortest-vector function satisfies $W_x(t)\ge\log f(t)$ for all sufficiently large $t$ has Hausdorff dimension $s_w=2-(1+w_1)^{-1}$, equal to the full Hausdorff dimension of $\operatorname{Sing}_w(2)$. For every $0<ν<1$ and $μ>0$, a separate power schedule gives Hausdorff dimension $s_w$ for the weighted uniform approximation set with rate $Q^{-1}\exp\bigl(-μ(\log Q)^ν\bigr)$, whereas the lower-envelope theorem gives the same dimension for its complement in $\operatorname{Sing}_w(2)$. We give a direct proof of the lower-envelope theorem by adapting the self-affine construction of Liao--Shi--Solan--Tamam to a variable sequence of return times and using an empty-denominator-window argument to control intermediate cusp excursions without further pruning the tree.

math.NT↗

arXiv2026

Latent Fusion Jailbreak: Blending Harmful and Harmless Representations to Elicit Unsafe LLM Outputs

Safety-aligned large language models can still be manipulated through white-box interventions that modify their internal representations. We introduce Latent Fusion Jailbreak (LFJ), which works by pairing a harmful query with a structurally similar but benign counterpart, then interpolating their hidden states at carefully selected layers and token positions. Refusal-loss gradients determine exactly where to intervene, and we optimise layer-wise mixing coefficients using token-normalised compliance and refusal-suppression objectives. The edited prompt states propagate sequentially through the remaining transformer blocks. Across four safety benchmarks and five open-weight target models, LFJ reaches a macro-averaged attack success rate (ASR) of 94.13% under the white-box protocol we describe. Because LFJ directly accesses internal states, comparisons with prompt-only attacks serve as a descriptive reference rather than a matched evaluation. Dropping rejection sampling lowers ASR to 86.72%, whereas replacing the structured harmful-benign pairing with random pairing causes it to fall to 27.45%. We also design an LFJ-specific latent adversarial training procedure that, when the attack is re-optimised against the defended model, reduces ASR from 94.13% to 12.37%. This defence evaluation does not cover transfer to other attack types or preservation of benign utility.

cs.CL↗

arXiv2026

Maximal Gaps for Dilated Lacunary Integer Sequences

Let $(a_n)_{n\ge1}\subset\mathbb{N}$ be a lacunary sequence, $a_{n+1}\ge q a_n$ for $q>1$. For $x\in\mathbb{T}$, we study the maximal empty circular gap $G_N(x)$ of the finite orbit $\{a_1x,\ldots,a_Nx\}$. We prove that, for Lebesgue-almost every $x$, \[ \frac{1}{2} \le \liminf_{N\to\infty}\frac{NG_N(x)}{\log N} \le \limsup_{N\to\infty}\frac{NG_N(x)}{\log N} \le \frac{q+1}{q-1}\,. \] If, in addition, $a_n\mid a_{n+1}$ for every $n$, then this can be improved to \[ \lim_{N\to\infty}\frac{NG_N(x)}{\log N}=1 \] for Lebesgue-almost every $x$.

math.NT↗

arXiv2026

Beyond Failure Recovery: An Engagement-Aware Human-in-the-loop Framework for Robotic Systems

Conventional human-in-the-loop approaches typically involve users only when a robot encounters failure or uncertainty, treating humans primarily as tools for improving robot performance. However, in many human-centered robotics settings, interaction should support engagement by keeping users involved in decision-making rather than limiting them to failure-driven interventions. This is particularly compelling in physical caregiving, where mobility limitations can reduce users' ability to intervene or modulate the robot's behavior in the moment. As a result, failure-driven interaction policies may relegate users to passive observers for long stretches of the task. For example, a user with mobility limitations may feel less engaged when being continuously and passively fed by a robot. At the same time, overly frequent interaction can be tiring and increase the user's workload. To address this trade-off, we propose Engagement-aware MPC (E-MPC), a user-engagement-aware method that plans interaction to maintain engagement while respecting a workload constraint. E-MPC leverages a user interaction dynamics model that captures how user engagement evolves as a function of both the frequency and type of interaction. Rather than requesting input only when difficulties arise during task execution, the robot proactively considers the user's preferred level of engagement throughout the task, balancing autonomy and interaction while ensuring task success. We evaluate E-MPC in simulation with several ablations and baseline comparisons. Results demonstrate the effectiveness of our approach across diverse user personas. In addition, we conduct a real-world user study with participants with emulated mobility limitations on a robot-assisted bite acquisition system, showing that E-MPC improves user experience while maintaining task success.

cs.RO↗

arXiv2026

TriLens: Per-Layer Logit-Lens Entropy for White-Box Hallucination Detection

When a language model hallucinates, the final answer is wrong, but the mistake is not necessarily invisible inside the model. Different internal pathways may remain uncertain, disagree in how quickly they sharpen, or commit to competing continuations before the output is produced. We introduce TriLens, a white-box detector that turns this intuition into a compact representation: at every layer, it reads the multi-head self-attention output, the feed-forward output, and the residual stream through the model's own logit lens, then records only the entropy of each readout. The resulting 3L-dimensional trajectory describes how certainty forms across depth and across modules, without storing high-dimensional hidden states or sampling multiple generations. This simple signal yields a strong detector across instruction-tuned LLMs and QA benchmarks, and our analyses show that the three module-wise entropy trajectories provide complementary evidence. TriLens suggests that hallucination detection can benefit from tracking how internal computation settles, not only what the final layer predicts.

cs.AI↗

arXiv2026

QuadBox: Accelerating 3D Gaussian Splatting with Geometry-Aware Boxes

3D Gaussian Splatting (3DGS) has emerged as an advanced technique for real-time novel view synthesis by representing scene geometry and appearance using differentiable Gaussian primitives. However, efficiently computing precise Gaussian-tile intersections remains a critical task in the rasterization pipeline. To this end, we propose QuadBox, a method that leverages four axis-aligned bounding boxes to tightly encapsulate projected Gaussians in a discrete manner. First, we derive a geometry-aware stretching factor that enables the construction of a tile-aligned QuadBox, which covers the elliptical projection and largely excludes irrelevant tiles. Second, we introduce QPass, a single-pass tile traversal algorithm that exhaustively exploits the discrete nature of QuadBox, ensuring that the tile intersection check is performed with simple interval tests. Experiments on public datasets show that our method accelerates the rendering speed of 3DGS by 1.85$\times$. Code is available at \href{https://github.com/Powertony102/QuadBox}{https://github.com/Powertony102/QuadBox}.

cs.CV↗

arXiv2026

Off-Policy Value-Based Reinforcement Learning for Large Language Models

Improving data utilization efficiency is critical for scaling reinforcement learning (RL) for long-horizon tasks where generating trajectories is expensive. However, the dominant RL methods for LLMs are largely on-policy: they update each batch of data only once, discard it, and then collect fresh samples, resulting in poor sample efficiency. In this work, we explore an alternative value-based RL framework for LLMs that naturally enables off-policy learning. We propose ReVal, a Bellman-update-based method that combines stepwise signals capturing internal consistency with trajectory-level signals derived from outcome verification. ReVal naturally supports replay-buffer-based training, allowing efficient reuse of past trajectories. Experiments on standard mathematical reasoning benchmarks show that ReVal not only converges faster but also outperforms GRPO in final performance. On DeepSeek-R1-Distill-1.5B, ReVal improves training efficiency and achieves improvement of 2.7% in AIME24 and 4.5% in out-of-domain benchmark GPQA over GRPO. These results suggest that value-based RL is a practical alternative to policy-based methods for LLM training.

cs.LG↗

arXiv2026

A Unified Calibration Framework for Coordinate and Kinematic Parameters in Dual-Arm Robots

Precise collaboration in vision-based dual-arm robot systems requires accurate system calibration. Recent dual-robot calibration methods have achieved strong performance by simultaneously solving multiple coordinate transformations. However, these methods either treat kinematic errors as implicit noise or handle them through separated error modeling, resulting in non-negligible accumulated errors. In this paper, we present a novel framework for unified calibration of the coordinate transformations and kinematic parameters in both robot arms. Our key idea is to unify all the tightly coupled parameters within a single Lie-algebraic formulation. To this end, we construct a consolidated error model grounded in the product-of-exponentials formula, which naturally integrates the coordinate and kinematic parameters in twist forms. Our model introduces no artificial error separation and thus greatly mitigates the error propagation. In addition, we derive a closed-form analytical Jacobian from this model using Lie derivatives. By exploring the Jacobian rank property, we analyze the identifiability of all calibration parameters and show that our joint optimization is well-posed under mild conditions. This enables off-the-shelf iterative solvers to stably optimize these parameters on the manifold space. Besides, to ensure robust convergence of our joint optimization, we develop a certifiably correct algorithm for initializing the unknown coordinates. Relying on semidefinite relaxation, our algorithm can yield a reliable estimate whose near-global optimality can be verified a posteriori. Extensive experiments validate the superior accuracy of our approach over previous baselines under identical visual measurements. Meanwhile, our certifiable initialization consistently outperforms several coordinate-only baselines, proving its reliability as a starting point for joint optimization.

cs.RO↗

arXiv2026

A Human-in-the-Loop Confidence-Aware Failure Recovery Framework for Modular Robot Policies

Robots operating in unstructured human environments inevitably encounter failures, especially in robot caregiving scenarios. While humans can often help robots recover, excessive or poorly targeted queries impose unnecessary cognitive and physical workload on the human partner. We present a human-in-the-loop failure-recovery framework for modular robotic policies, where a policy is composed of distinct modules such as perception, planning, and control, any of which may fail and often require different forms of human feedback. Our framework integrates calibrated estimates of module-level uncertainty with models of human intervention cost to decide which module to query and when to query the human. It separates these two decisions: a module selector identifies the module most likely responsible for failure, and a querying algorithm determines whether to solicit human input or act autonomously. We evaluate several module-selection strategies and querying algorithms in controlled synthetic experiments, revealing trade-offs between recovery efficiency, robustness to system and user variables, and user workload. Finally, we deploy the framework on a robot-assisted bite acquisition system and demonstrate, in studies involving individuals with both emulated and real mobility limitations, that it improves recovery success while reducing the workload imposed on users. Our results highlight how explicitly reasoning about both robot uncertainty and human effort can enable more efficient and user-centered failure recovery in collaborative robots. Supplementary materials and videos can be found at: http://emprise.cs.cornell.edu/modularhil

cs.RO↗

arXiv2025

Prescribed Performance Control of Deformable Object Manipulation in Spatial Latent Space

Manipulating three-dimensional (3D) deformable objects presents significant challenges for robotic systems due to their infinite-dimensional state space and complex deformable dynamics. This paper proposes a novel model-free approach for shape control with constraints imposed on key points. Unlike existing methods that rely on feature dimensionality reduction, the proposed controller leverages the coordinates of key points as the feature vector, which are extracted from the deformable object's point cloud using deep learning methods. This approach not only reduces the dimensionality of the feature space but also retains the spatial information of the object. By extracting key points, the manipulation of deformable objects is simplified into a visual servoing problem, where the shape dynamics are described using a deformation Jacobian matrix. To enhance control accuracy, a prescribed performance control method is developed by integrating barrier Lyapunov functions (BLF) to enforce constraints on the key points. The stability of the closed-loop system is rigorously analyzed and verified using the Lyapunov method. Experimental results further demonstrate the effectiveness and robustness of the proposed method.

cs.RO↗

arXiv2025

Markov's equation is not partition regular

Markov's equation x^2 + y^2 + z^2 = 3xyz is a widely studied topic in number theory, and the structure of its solutions has profound connections with mathematical fields such as combinatorics, hyperbolic geometry, approximation theory, and cluster algebras. In this paper, we prove that Markov's equation is not partition regular, which also confirms a necessary condition for the Uniqueness Conjecture.

math.CO↗