arXiv Science⌕ Search

SEARCH · arXiv Science

Search arXiv Science

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 181 records · Page 10Linked to original sources

Where, What, Why, and Importance: Structured Defect Grounding for Text-to-Image Feedback

Despite generating increasingly photorealistic images, text-to-image (T2I) models still exhibit localized, subtle, and structurally complex failures. Diagnosing these failures requires instance-level feedback that answers where a defect occurs, what type it is, why it is defective, and its importance to overall image quality. While recent dense-feedback methods move beyond scalar supervision, their heatmap-centric representations still formulate diagnosis as pixel-field regression, making it difficult to localize variable-cardinality defects and bind semantic reasons to individual failures. To address this representation bottleneck, we propose Structured Defect Grounding (SDG), which casts T2I diagnosis as structured set prediction by modeling each defect as a (location, type, reason, importance) tuple. To make this formulation trainable and measurable, we introduce SDG-30K, a 30K-image dataset with box-grounded annotations across four modern T2I generators, together with a dedicated evaluation protocol, SDG-Eval. Building on this structured representation, we further present a diagnosis-to-alignment framework in which a Vision-Language Model (VLM) serves as the SDG detector, and BoxFlow-GRPO converts predicted defect sets into box-derived, importance-weighted spatial rewards for diffusion model alignment. Extensive experiments show that our SDG detector outperforms leading proprietary VLMs on structured defect grounding, while SDG-guided rewards consistently improve T2I alignment and support localized image refinement. These results establish SDG as a unified, instance-level interface for diagnosing, evaluating, and enhancing modern generative models.

cs.CV↗

OmniFaceRig: Fully Automatic Inner-Mouth-Aware Face Rigging Across Diverse 3D Character Topologies

Facial rigging--creating Facial Action Coding System (FACS) blendshapes and inner-mouth geometry (teeth, gums, and tongue)--remains a major bottleneck in 3D character production. We present OmniFaceRig, a fully automatic end-to-end pipeline that converts a static surface-only 3D character mesh, with no pre-modeled oral cavity, into an inner-mouth-aware FACS rig with up to 155 blendshapes, procedurally fitted teeth, gums, and tongue, and re-packed UV/texture. It supports humans, humanoids, and long- and short-muzzled animals with no manual landmarks, user-provided templates, or per-asset setup. OmniFaceRig combines a hybrid vision-language and computer vision riggability checker, a four-model face segmentation ensemble, keypoint-driven template registration, procedural inner-mouth construction, and collision-aware blendshape transfer. For non-human characters, it selects topology-specific templates with a nose-landmark-free design and uses as-rigid-as-possible deformation with signed-distance-field constraints to reduce teeth-face intersections. We also introduce Omni-Bench, an open-source benchmark of more than 1,000 biped 3D characters rigged with FACS blendshapes and inner-mouth geometry, spanning humans, humanoids, cats, dogs, and other animals. Experiments show high rigging success, nearly complete face detection recall, low inner-mouth penetration, and 20-30 s end-to-end latency per asset on a single A100 GPU.

cs.GR↗

Querying Counterfactuals on Tissue Graphs with Supervised Disentanglement

Tissue graph counterfactuals ask what a cell would express if its spatial neighborhood were altered, a question central to predicting cell behavior in tissues. Existing methods, however, present only specific instances of such queries. In this work, we first formalize tissue graph counterfactuals as a class of spatial interventions that either rewire connections between cells (edge perturbation) or modify the expression of their neighbors (node perturbation). We then introduce Cellina, a framework that uses supervised disentanglement to decompose a cell's intrinsic state from its spatial context, using the latter as a conditioning input for in-silico perturbation predictions. Across benchmarks spanning over 2.5 million spatially-resolved cells in observational and interventional screens, Cellina outperforms both spatially-informed and non-spatial competitors in in-silico perturbations, while training as fast as non-spatial methods. Moreover, we show that Cellina reveals cancer subdomains with distinct signaling programs in an unsupervised manner and enables targeted neighbor perturbation simulations.

q-bio.GN↗

Alignment Collapse Under KV Cache Quantization: Diagnosis and Mitigation

Key-value (KV) cache quantization is widely used to reduce LLM inference memory, yet existing evaluations focus only on perplexity and accuracy without assessing the safety impact. In this study, we explore alignment preservation under KV cache quantization. Across eleven instruction-tuned models (3.8B-72B) and five benchmarks (1,894 prompts), we find that low-bit quantization can silently destroy safety alignment: Mistral-7B loses 15.2% of its refusals at only 1.03x perplexity, and no universal safe bit-width exists, with sharp model-specific phase transitions invisible to standard metrics. We identify that the root cause is geometric: safety features occupy a low-dimensional activation subspace $10^2$-$10^3\times$ more vulnerable to quantization noise than the full representation space perplexity averages over. We propose Per-Channel Reduction (PCR), a diagnostic that classifies each model into one of three mechanistic failure modes: outlier-crushes-safety, where safety lives in non-outlier channels collaterally damaged by outlier-driven scale factors; outlier-as-safety, where safety overlaps outlier channels and finer granularity cannot rescue it; and multi-layer dilution, where safety is distributed across many layers and per-layer fixes fail. PCR predicts the correct mitigation direction on all nine primary models and one held-out model from an independent family using 20 calibration prompts. PCR generalizes across unseen prompts, models, and quantizer families, including production quantizers (KIVI: up to 97.2% recovery) and rotation-based quantization (QuaRot-style Hadamard), succeeding where attention-based allocation methods fail. The resulting training-free protocol, requiring ~35 GPU-minutes, recovers up to 97% of lost alignment at under 1% latency and minimal memory overhead, addressing vulnerabilities confirmed in production vLLM serving with FP8 KV cache on NVIDIA GPUs.

cs.LG↗

When Attribution Patching Lies: Diagnosis and a Second-Order Correction

A central goal of mechanistic interpretability is to identify which internal components causally drive a language model's behavior. Because these importance estimates serve as the evidence for identifying circuits, systematic errors can lead to the misidentification of the underlying mechanisms. While activation patching provides a gold-standard causal metric, its computational cost is prohibitive at scale. Practitioners instead rely on attribution patching, a gradient-based, first-order approximation whose reliability remains poorly understood. In this work, we characterize the source of this unreliability, demonstrating that the dominant error stems from the non-linearities in the downstream network rather than local curvature at the patched component. This insight yields three practical tools: (i) a reliability score to detect untrustworthy estimates, (ii) error bounds quantifying potential attribution mis-specifications, and (iii) a Hessian-vector-product (HVP) correction that eliminates the leading-order error with only one additional backward pass. In evaluations across five model families (124M--9B parameters) and both random-token and naturalistic (name-swap) perturbations, HVP is the only second-order correction feasible at larger scale, where standard baselines like Integrated Gradients become computationally prohibitive. In comparative experiments, a multi-step HVP variant matches or exceeds the accuracy of Integrated Gradients at significantly lower compute, outperforming prior second-order baselines. These improvements lead to higher-fidelity circuit recovery on standard benchmarks and support a Screen-Flag-Fix workflow that targets computational effort only toward the components flagged as unreliable.

cs.LG↗

Domination in Johnson graphs J(n, 3) for odd n

In 2025 Cornet, Dravec, and Torres determined the domination number $γ(J(n,3))$ of the Johnson graph for every even $n \ge 6$, expressing it as a closed form $ϕ_n$ in terms of Fort-Hedlund covering numbers, and conjectured the same value for odd $n$. We prove this conjecture: $γ(J(n,3)) = ϕ_n$ for every odd $n \ge 7$. A dominating set of $J(n,3)$ is the same as a lotto design $\mathrm{LD}(n,3,3,2)$, and the lotto numbers $L(n,3,3,2)$, and hence $γ(J(n,3))$, were already determined for every $n$ by Bate (1978) and by Brouwer (1981); a short degree argument of Füredi, Székely, and Zubor (1996) gives the same lower bound for all $n \not\equiv 9, 10 \pmod{12}$. The contribution of this paper is therefore a new proof of the odd case, carried out within the bijective framework of Cornet, Dravec, and Torres.

math.CO↗

The inradius law for the cavities of planar Brownian motion, with applications to the Wiener sausage

Let $K_1=B[0,1]$ be the trace of a planar Brownian motion, and let $N_{\mathrm{in}}(η)$ count the bounded components of $\mathbb{R}^2\setminus K_1$ with inradius greater than $η$. As $η\downarrow0$, we prove that $η^2(\log(1/η))^2N_{\mathrm{in}}(η)\to c_{\mathrm{in}}=(π/2)\int G^2d\mathcal{L}\in(0,1/2]$ almost surely and in $L^p$ for every $p\in[1,2]$, where $G$ is the inradius divided by the square root of the area and $\mathcal{L}$ is Werner's limiting shape law. Inradius determines survival under thickening: a cavity contains a hole of the Wiener sausage of radius $r$ if and only if its inradius exceeds $r$. Brownian scaling shows that, for fixed $r>0$ as $T\to\infty$, the number of cavities of $B[0,T]$ with inradius greater than $r$ is asymptotic to $4c_{\mathrm{in}}T/(r^2(\log T)^2)$ in probability and in $L^p$, $p\in[1,2]$. It also gives lower bounds for the sausage's hole count, the Betti curve of its degree-one persistent homology, and its radius integrals, with constant $4c_{\mathrm{in}}$ in expectation and any smaller constant with probability tending to one. A matching upper bound cannot follow from general bounds in terms of perimeter, area, diameter or length. We prove that it is equivalent to a first-moment estimate for near-critical pockets: holes at level $η$ on which the distance to the trace is at most $2η$. Equivalently, it suffices to control residual pockets beyond one per cavity with inradius in $(η,2η]$. This estimate is proved in a companion paper, yielding the exact order $T/(r^2(\log T)^2)$ for the expected number of holes.

math.PR↗

Geometry-induced self-excited dynamo in a regular tetrahedron

We present a rotation-free magnetohydrodynamic dynamo driven by laminar thermal convection in a regular tetrahedral cavity. The tetrahedral boundaries organize the convective flow into a robust pattern of helical convection cells without global rotation or turbulence. Direct numerical simulations demonstrate exponential amplification of a weak seed magnetic field followed by nonlinear saturation. In the reference calculation, the saturated magnetic energy exceeds the kinetic energy. The velocity field develops $D_4$ dihedral symmetry, while the self-generated magnetic field exhibits a corresponding signed $D_4$ symmetry, including antisymmetry under $π$ rotations about the two horizontal axes. Analysis of the velocity and magnetic-field structures reveals a closed induction cycle sustained by geometry-induced helical convection. This system provides a conceptually simple setting for isolating and understanding the fundamental physical processes underlying magnetohydrodynamic dynamo action.

physics.flu-dyn↗

A non-trivial index difference on surfaces of genus at least $3$

For every closed surface of genus at least $3$, equipped with any bounding spin structure, we show that the index difference, viewed as a map from the fundamental group of the space of Dirac-invertible Riemannian metrics to $\KO^{-4}(*)$, is non-trivial. If the genus is at least $5$, we also show that the aforementioned index difference is surjective. For products of two closed surfaces of genus at least $3$, equipped with any spin structure, we prove that the corresponding space of Dirac-invertible Riemannian metrics is not contractible. We discuss the relationship of this result to the existence of metrics with harmonic spinors in dimension~$4$.

math.DG↗

Quantum Trajectories: Ergodicity, Perturbative Dynamics, and Stationary Response

Quantum trajectories capture measurement-conditioned statistics beyond ensemble averages. For finite-dimensional Kraus dynamics, complete-reset and overlap conditions yield a unique invariant law with explicit geometric total-variation contraction. Under finite-reference mixing and quantitative transverse contraction, $C^2$ Kraus perturbations yield two complementary stationary limits: an affine tangent law for local fluctuations and an occupation measure for rare excursions. These limits give leading observable-response formulas, including an excursion contribution at quadratic order; both limits and coefficients depend only on reference Kraus operators and their first derivatives. For Clifford-driven monitored trajectories, group structure verifies the general hypotheses and yields geometric Wasserstein mixing uniformly over intermediate unitaries at fixed dimensions, an equivalence between uniform total-variation ergodicity and a finite nonzero rank-one Kraus product for each fixed unitary, and exact stationary tangent energies. Under partial measurement, tangent dynamics have almost surely finite memory with a sharp exponential tail; every $C^2$ state observable has vanishing first-order stationary response. For weak Hamiltonian perturbations, odd-prime Gross--Wigner mana responds linearly in the perturbation strength $θ$, whereas prime-dimensional stabilizer Rényi entropies scale as $θ^{2α}$, $θ^2\ln(1/θ)$, and $θ^2$ for fixed $0<α<1$, $α=1$, and $1<α<\infty$, respectively. Under partial measurement, the leading coefficients are strictly positive precisely for Hamiltonians outside the real span of the measurement projectors; on this quotient, the mana coefficient defines a norm and the order-one logarithmic coefficient an explicit positive-definite quadratic form.

quant-ph↗

OmniOPSD: Rationale-Privileged On-Policy Self-Distillation for Affective Computing

Multimodal large language models (MLLMs) have advanced affective computing by enabling nuanced reasoning over visual, acoustic, and linguistic evidence. A key approach to improving their generalization is outcome-based reinforcement learning, which converts existing label-level annotations into rewards for final-answer correctness. However, its sparse sequence-level supervision provides limited fine-grained guidance for interpreting multimodal affective cues and may reward correct labels even when those cues are misinterpreted. To address this challenge, we introduce OmniOPSD, the first on-policy self-distillation framework for omni-modal affective reasoning. At its core, OmniOPSD transforms label-level supervision into evidence-rich, teacher-only rationales by leveraging reference affective judgments as semantic priors for offline multimodal evidence elicitation from frontier MLLMs. Through rationale-privileged self-distillation, it couples on-policy student rollouts with dense, evidence-informed token-level supervision from a local self-teacher, allowing the student to learn along its own trajectories rather than imitate fixed reasoning traces. This decoupling of offline evidence acquisition from local policy learning enables training without additional human annotation, frontier-model logits, or online frontier-model calls, while preserving student-only inference from the original task input. At both 3B and 7B scales, OmniOPSD outperforms supervised fine-tuning (SFT) and group relative policy optimization (GRPO) in mean macro-F1 on both in-domain and out-of-domain evaluations. Among the compared models, it ranks first by MER-UniBench mean across all three input-modality settings, reaching 84.13 with audio--video--text input, and achieves the highest MME-Emotion recognition score (Rec-S) of 42.4.

cs.CV↗

Player Disjoint Multi-Task Tennis Stroke Analysis from Monocular Pose Sequences

Analyzing tennis technique from monocular RGB video could make coaching more accessible, but prior methods usually rely on hand-trimmed strokes, test on random splits that leak player identity, or fail on players with different body proportions. We present an end-to-end, player-disjoint framework with an autonomous kinetic stroke event detector, a 78-dimensional causal velocity representation ([X, V]), a 569,095-parameter multi-task Transformer Encoder (E7), exploratory 9-dimensional kinematic deviation profiling, and a heuristic feedback prototype. All models are evaluated with Clean LOPO v2: Leave-One-Player-Out cross-validation over 7 players and 3 seeds, giving 21 outer evaluations and 147 training runs per configuration, with nested inner cross-validation. Against 206 frozen consensus impact events, the detector reaches an F1-score of 85.65% (+3.24% over baseline thresholding) with a mean absolute timing error of 80.6 ms. Under heavy class imbalance, Stroke Type reaches 74.27% accuracy, 65.37% balanced accuracy, and Macro-F1 = 0.6453. Direction reaches 43.90% accuracy, 37.75% balanced accuracy, and Macro-F1 = 0.3141, a 17.9% relative Macro-F1 gain over the static baseline E0, though balanced accuracy is only a little above the 33.3% chance level. Posture Quality reaches 52.13% accuracy, 50.56% balanced accuracy (essentially chance), and Macro-F1 = 0.4232. Single-task specialists did not differ significantly from the joint model on Stroke Type (p = 0.4062) or Posture Quality (p = 0.1406). On Direction the joint model did somewhat better (exact permutation p = 0.0469), but this is suggestive only and does not pass a Bonferroni threshold. Deviation profiling shows a nominal, unadjusted separation between good and bad posture (|d| = 0.341, p = 4.07 x 10^-8), which drives the feedback prototype. We report negative ablations, seeds, and limits as a baseline for pose-based coaching.

cs.CV↗

Effect of $ξRϕ^2$ non-minimal coupling on gravitational light bending

We investigate the bending of massless fields by a massive object in the presence of a curvature-scalar $\sqrt{-g}ξR ϕ^2$ non-minimal coupling up to one loop, using the perturbative quantum gravity computations. It is well known that without such coupling a self interacting scalar field theory cannot be renormalised in the presence of gravity. The massive object is modelled by a massive scalar $ϕ$, and it is assumed to be non-relativistic, e.g., a star. We compute the 2-2 scattering of massless scalar and photons off this object via graviton exchanges. Assuming both $ξ$ and the bending angle to be small, we use the eikonal approximation to compute the angle up to ${\cal O}(ξG^2)$. At tree level $({\cal O}(ξG))$ we find no bending, and hence the ${\cal O}(ξG^2)$ result happens to be leading in this case. The non-minimal vertices are qualitatively different from that of the standard minimal ones, e.g. $ \sqrt{G} h_{μν} T^{μν}$, as the former contains explicit momenta of the gravitons instead of the scalar, complementing the second. The bending angle is found to behave like $\sim b^{-7}$, where $b$ is the impact parameter. We have emphasised the qualitative differences of our results from that of the well studied minimal case.

hep-th↗

Coexistence of Donor and Acceptor Hydrogen States in n-Type InN

Hydrogen often exhibits amphoteric behavior in semiconductors, but its role is in n-type InN remains unresolved. Wurtzite InN is a narrow-gap semiconductor with high electron mobility and is therefore attractive for high-speed electronics and optoelectronic applications. Here we use hard x-ray photoemission spectroscopy (HAXPES) to probe hydrogen-related electronic structure in as-grown and post-annealed InN thin films prepared at different grown temperatures. Post annealing, which reduces the concentration of hydrogen impurities in the films, shifts the core-level spectra toward lower binding energy, consistent with a chemical-potential shift associated with the passivation of electron carriers. In the valence-band spectra, an acceptor-like in-gap feature near the valence-band maximum is suppressed after annealing. Together with the established donor-like behavior of hydrogen in InN, these results suggest that acceptor H- states coexist with donor H+ states in InN. The coexistence of these opposite hydrogen charge states provides a microscopic picture of hydrogen-driven compensation in InN and highlights the amphoteric nature of hydrogen even in a highly n-type semiconductor.

cond-mat.mtrl-sci↗

Volterra Generative Models via Markovian Lifting

Diffusion-based generative models usually perturb data through Markov processes driven by Brownian motion. Volterra processes allow more flexible temporal dependence, but their non-Markovian structure complicates score learning and reverse-time simulation. We develop Volterra generative models and provide Markovian approximations. Gaussian conditioning then reduces the denoising problem to the original data dimension. We present the connections with variance-exploding and variance-preserving representations. Our framework also permits reuse of pretrained denoisers such as EDM2 networks. With one auxiliary factor, our models trained from scratch achieve FIDs of $0.547$ on MNIST and $1.860$ on conditional CIFAR-10. With autoguidance, ImageNet64 FID reaches $1.912$ after fine-tuning, while ImageNet512 FID reaches $1.903$ using frozen pretrained networks.

cs.LG↗

Keeping Jerk in Check: Jointly Trained Perception-Gated Experts for Smooth Terrain Transitions

Perceptive legged locomotion across discontinuous terrain requires shared locomotion knowledge, task-specific maneuvers, and smooth transitions between them. Existing approaches train specialized policies independently and either switch among them with a hierarchical selector or distill them into a monolithic policy. Both fix the constituent behaviors before they are composed, and both are assessed through aggregate course outcomes that leave behavior at terrain boundaries uncharacterized. We instead propose CTS-MoE, which formulates multi-terrain locomotion as multi-task reinforcement learning and jointly trains a perception-gated dense mixture-of-experts actor with task-specific critics: soft routing composes expert knowledge into continuously varying behavior, while separated critics isolate heterogeneous objectives so that specialization survives joint optimization. A concurrent teacher-student formulation transfers this composition from privileged terrain information to onboard depth, so that at deployment routing is inferred from perception alone, with no terrain label, selector, or distillation stage. Against hierarchical and DAgger-distilled baselines, the policy raises connected-course success to 93.3% from 73.3% and 53.3%, lowers mean action jerk by about a third across the course, and avoids the switching transient that hard selection introduces at boundaries. On a Unitree Go1, it completes an extended outdoor course in 10/10 trials and transfers to four outdoor terrain types. Project Website: https://cts-moe.github.io/ .

cs.RO↗

Gauge invariant generalizations of the Proca equation and the Yang-Mills-Proca equation

The Proca equations (1936) are used in quantum field theory to describe vector bosons (spin 1) with a nonzero mass. The Proca equations are not gauge invariant. In contrast to Stueckelberg's approach (1938), this article presents a gauge invariant generalization of the Proca equation by introducing an additional vector field into the Proca equation. The results are extended to the Yang-Mills-Proca equations, leading to equations with non-Abelian gauge symmetry.

math-ph↗

Absolute Continuity of Monotone Aggregations under Positive Regression Dependence

In this paper, we provide sufficient conditions for the absolute continuity of one-dimensional push-forwards of dependent random vectors. Suppose that $X$ has an absolutely continuous distribution and that the conditional distribution of an $\mathbb{R}^d$-valued random vector $Y$ given $X=x$ is nondecreasing in $x\in \mathbb{R}$ in the usual stochastic order. For Borel maps $g\colon \mathbb{R}\times\mathbb{R}^d\to\mathbb{R}$ satisfying a coordinatewise monotonicity condition in $Y$ and a uniform lower-increment condition in $X$, we prove that $g(X,Y)$ has an absolutely continuous distribution. The result requires neither independence nor a joint density, and allows the marginal law of $Y$ to be completely arbitrary. Moreover, the result remains valid if $\mathbb{R}^d$ is replaced by an arbitrary measurable space endowed with a reflexive binary relation. We discuss consequences for monotone risk aggregation and extensions of the familiar regularization by convolution beyond independent random variables.

math.PR↗