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 973 records · Page 54Linked to original sources
arXiv2026

OcTreeMamba: Topology-Aware Mamba for 3D Medical Segmentation via Octree Sparsification

Accurate segmentation of 3D anatomical structures is crucial to medical image analysis. Recently, Mamba-based approaches have achieved promising segmentation performance in capturing long-range dependencies with linear-time computational complexity. However, heuristic selective scanning strategies inherently disrupt the intrinsic spatial hierarchy and increase computational redundancy, ignoring the inherent sparsity of 3D anatomical structures. To this end, we propose OcTreeMamba, a hierarchical framework that incorporates Octree structures into SSM, achieving 3D topology-aware long-range context feature propagation and integration. Specifically, a Structure Learner performs anatomy-adaptive structured sparsification through hierarchical gating and Gumbel-Softmax sampling, enabling differentiable selection of anatomical regions. The selected regions are subsequently organized by a Dynamic Octree Builder into a multi-level topology that preserves their hierarchical connectivity. Based on the constructed Octree, a bidirectional Tree-SSM propagates and integrates contextual features along connectivity-aware leaf--parent--root and root--parent--leaf trajectories. Extensive experiments on four benchmark datasets show that our proposed OcTreeMamba achieves competitive performance \wrt topological continuity and computational efficiency, particularly for recovering the complex structure on vascular datasets. The code is available at https://github.com/MikeMak123/OcTreeMamba.

cs.CV↗
arXiv2026

PlayGen2: Learning Real-Time Playable Worlds with Explicit 3D State

Building a playable world requires more than generating plausible video: it demands responsive control, persistent spatial structure, and coherent interactions with dynamic entities. Using generated frames as the sole recurrent world representation ties these requirements to view-dependent appearance synthesis, making it difficult to maintain long-term spatial and temporal consistency in generation and interaction. We present PlayGen2, a real-time interactive world model that separates learned 3D state evolution from neural rendering. PlayGen2 maintains a persistent world memory comprising static geometry represented by a volumetric occupancy grid and identity-indexed 3D states for the player and other entities. Within a fixed-size local region, its world-state model jointly learns action-conditioned entity dynamics, geometry completion, and entity discovery, committing updates to a persistent world memory. A separate neural renderer synthesizes first-person observations from depth and semantic projections of the world state, without feeding generated images back into state prediction. Using Doom as a testbed, we demonstrate that the model successfully learns world dynamics including geometry-aware player motion and player--NPC interactions. The framework is computationally efficient, enabling the complete simulation and rendering pipeline to achieve approximately 160ms backend latency on a MacBook Pro with an M4 Pro chip. Beyond single-player interaction, we demonstrate zero-shot deployment on unseen Doom maps, multiplayer interaction through the composition of single-player models, and programmable gameplay through rule-based state interventions. These capabilities demonstrate the transferability and extensibility of the learned game-world model. Code and pretrained model weights are publicly available.

cs.CV↗
arXiv2026

Generalized parton distributions of the nucleon in the chiral quark soliton model II: Chiral anomaly mediation in the polarized GPDs

We calculate the polarized flavor-singlet generalized parton distributions (GPDs) $\widetilde H^{u+d}$ and $\widetilde E^{u+d}$ in the chiral quark soliton model at nonzero skewness and momentum transfer. Results are obtained with and without a singlet pseudoscalar meson $η_0$, whose mass is generated by the chiral anomaly. Relative to the pion-only model, the singlet field introduces a sizable contribution to $\widetilde E^{u+d}$ in the ERBL region but only a minor correction to $\widetilde H^{u+d}$. An explicit meson-exchange term qualitatively accounts for this contrast and displays the anticipated singlet pole. When the anomaly-induced mass is set to zero, the pole becomes massless, and the exchange term dominates $\widetilde E^{u+d}$ at small momentum transfer. These findings demonstrate how anomalous singlet-meson dynamics leaves distinct signatures in the polarized GPDs of the nucleon.

hep-ph↗
arXiv2026

FARR: Forecast-Aware Residual Refinement with Matched Endpoint Evidence for Long-Horizon Time-Series Forecasting

Large language models use auxiliary conditioning to incorporate additional information into time-series forecasts. However, auxiliary conditioning does not consistently improve accuracy and can increase forecasting error when its influence is poorly matched to the observed temporal context. We propose Forecast-Aware Residual Refinement (FARR), which learns to correct forecasts using endpoint evidence. FARR obtains a valid forecast under the standard condition and a null forecast under a predefined null condition. Their difference reveals how conditioning changes the prediction. A shared residual refiner combines this endpoint evidence with historical features to estimate the remaining error of the valid forecast. Horizon-wise gating then controls the contribution of the predicted residual to the final output. Experiments on four long-horizon forecasting benchmarks show that FARR achieves the best dataset-average MSE and MAE among the compared methods. Code will be released at https://github.com/blossomrichzyy-star/farr-forecast-aware-residual-refinement.

cs.AI↗
arXiv2026

The minimal excludant and the least $r$-gaps of $\ell$-regular partitions

The minimal excludant (mex) of an integer partition $λ$ is the smallest positive integer that is not a part of $λ$. In this paper we study an analogue of this statistic for $\ell$-regular partitions with $\ell\geq2$, that is, partitions in which no part is divisible by $\ell$. Recently, Meher \cite{Meher} defined the minimal excludant for $\ell$-regular partitions. Motivated by Meher \cite{Meher}, for an $\ell$-regular partition we define its least $r$-gap as the smallest positive integer not divisible by $\ell$ that appears fewer than $r$ times as a part, and we obtain the two-variable generating function for the number of $\ell$-regular partitions of $n$ with a given least $r$-gap. Let $σ^{\mex}_{\ell}(n)$, and $σ^{\mex}_{\ell,r}(n)$ be the sum of the of the mex values over all $\ell$-regular partitions of $n$ and least $r$-gaps over all $\ell$-regular partitions of $n$ respectively. Using Jacobi's triple product identity, we derive explicit expressions for the generating function of $σ^{\mex}_{\ell}(n)$, and $σ^{\mex}_{\ell,r}(n)$, with separate formulas for even and odd $\ell$. We also show that the sequence $\{σ^{\mex}_{\ell,r}(n)\}_{n\ge0}$ is weakly increasing for every $\ell\ge2$ and $r\ge1$. Also, using Ingham's Tauberian theorem, we establish Hardy--Ramanujan type asymptotic formulas for $σ^{\mex}_{\ell,r}(n)$ when $\ell=4,5,7$ and $r\ge1$ is arbitrary. Lastly, we prove $σ^{\mex}_{\ell,r}$ is odd infinitely often, and we establish a quantitative lower bound, showing that the number of such n up to X grows at least like log log X.

math.NT↗
arXiv2026

A Projection-Coupled 2.5D THB-GIFT and Quadtree-SBIGA Formulation for Moving-Load Analysis in Semi-Infinite Media

Moving loads in semi-infinite media generate extended wave fields while complex local structures require fine geometric and spatial resolution. This paper develops a projection-coupled two-and-a-half-dimensional (2.5D) THB-GIFT and quadtree-SBIGA computational formulation that assigns independent discretizations to these regions. The near-field THB-GIFT representation separates the geometry and analysis spaces and permits hierarchical local refinement, while the bounded propagation domain is discretized by quadtree-SBIGA with unified Bézier trace extraction and connected to the homogeneous unbounded exterior through a scaled-boundary impedance. On a common physical integration partition, an $L^2$ projection maps the nonmatching traces; Hermitian-adjoint force transfer then gives a virtual-work-consistent interface reduction. The regional dynamic operators and moving-load response reconstruction follow a single Fourier convention. Homogeneous half-space comparisons and a cylindrical-cavity analytical solution verify the components and the complete coupled system. In the cavity study, hierarchical THB refinement reduces the displacement error in the target inner band by a factor of approximately $41$. At a specified frequency--wavenumber point in the cavity benchmark, a comparison with matched outer-boundary discretization gives approximately $15\%$ lower sampled full-domain error for the coupled model, using $34\%$ fewer system degrees of freedom and $48\%$ fewer S-elements; the warm per-sample times are similar. A layered pavement with a buried conduit and twin modified-D tunnels demonstrate open, closed and multiple disconnected nonmatching interfaces and the analysis of local structural demand and dynamic interaction under moving loads.

cs.CE↗
arXiv2026

PVDepth: Panoramic Video Depth Estimation via Geometry-Aware Spatiotemporal Adaptation

Panoramic video depth estimation is pivotal for applications such as Virtual Reality and World Models. However, advancements in this field are impeded by two primary obstacles: the scarcity of large-scale training data and the unique spatiotemporal challenges of Equirectangular Projection (ERP), which hinder the direct transfer of perspective models. In this paper, we first present PanoCARLA, a large-scale synthetic RGB-D panoramic video dataset, featuring natural motion trajectories and drone-like roaming perspectives. Building on this foundation, we propose PVDepth, an end-to-end framework adapted from perspective video depth models. To tackle ERP-specific geometric distortions and consequent non-linear temporal dynamics, we introduce two core mechanisms: (1) A Progressive Sphere-aware Noise Initialization strategy that anneals the noise distribution from planar to spherical, guiding the model to adapt to non-uniform information density; and (2) A Cube-rectified Temporal Modeling module that incorporates an auxiliary cubemap temporal branch to rectify non-linear temporal dynamics in the ERP domain. Extensive experiments demonstrate that PVDepth achieves superior performance, generating geometrically accurate and temporally consistent depth sequences. Code and data will be released at https:// github.com/ChuanxinSong/PVDepth.

cs.CV↗
arXiv2026

Responsible GenAI Use During Active Armed Conflict: Evidence from Sudan's Emergency Response Rooms

Armed conflict can increase the value of Generative AI (GenAI) while undermining the conditions required for its responsible use. Yet the perspectives of community-based humanitarian responders working under these conditions remain underrepresented in responsible AI research. We examine GenAI use in Sudan's Emergency Response Rooms (ERRs), a community-led humanitarian network, through an exploratory survey of 89 respondents and 15 semi-structured interviews with GenAI users and non-users. War reconfigures GenAI's role, making it most useful where its outputs are hardest to verify. ERR responders turned to GenAI when conflict made human expertise difficult or dangerous to reach. However, participants cautioned that GenAI could not independently establish rapidly changing local conditions, and that relying on its outputs could lead to harmful decisions when human verification was difficult. Risks arose before GenAI was used. For some volunteers, carrying a phone or accessing the internet could expose them to danger. Others were concerned that sharing sensitive beneficiary or operational information with GenAI could put people at risk. Participants feared that AI-assisted reports could undermine their credibility with donors, whose funding sustains the food and medical aid ERRs provide. Access to GenAI was uneven, and volunteers using it sometimes relied on colleagues with relevant expertise or local knowledge to verify its results. Our findings show that responsible use of GenAI during conflict depends not only on model performance or individual adoption, but also on whether responders can safely access these tools, verify their outputs against local conditions, and recognize when limiting or avoiding GenAI is the more responsible choice.

cs.AI↗
arXiv2026

An Orbital Curvature for ISCOs

Building on the fact that circular orbits are the fixed points of the phase portraits arising from the geodesic equations on a black hole spacetime, we develop a general orbital geometry, which captures the stability structure of orbits. The construction uses the orbital energy, angular momentum and angular velocity as state space variables, with response functions encoding how the circular orbits react to changes in the black hole background and in their angular motion. The associated scalar curvature provides a geometric diagnostic of certain distinguished points of the circular orbit family, including, the innermost stable circular orbit (ISCO), where it becomes singular. Across the ISCO, the relevant orbital response functions change sign as the system passes from the stable to the unstable circular orbit branch, and typically vanish at marginal stability. We illustrate the framework for Schwarzschild black holes in asymptotically flat four dimensions, and five dimensional Schwarzschild AdS spacetimes. In the four-dimensional case, the ISCO is associated with a degeneration of the energy response sector, while in the five dimensional AdS case it is detected through the angular response. The AdS example also exhibits a separate curvature singularity at a point which coincides with the minimum temperature of the black hole background. These results show that the orbital response geometry provides a unified geometric framework for characterizing the stability of circular orbits and criticality of ISCOs.

gr-qc↗
arXiv2026

Which Signals of Code Correctness Survive Distribution Shift? Hidden-State and Causal Predictors of Program and Verdict Correctness

Large language models increasingly judge code, yet without external feedback such judgments are unreliable, and verifying them by executing tests or by extended reasoning is costly. Instead, execution-free correctness predictors use signals from the model's output probabilities, sampled solutions, or hidden states to identify judgments that warrant further verification. However, these predictors may degrade under distribution shifts when generalizing across projects and languages. We compare six execution-free predictors from four families on Qwen3-Coder-30B and gpt-oss-20b under benchmark shift between LiveCodeBench and BigCodeBench and language shift across Python, C++ and Java. We evaluate two targets: whether the model's own verdict on a program can be trusted, and whether the program itself is correct. Besides established approaches, we adapt two novel causal localization methods to code, which have been shown to be more robust out-of-distribution on natural language tasks. For verdict correctness, causal localization improves robustness to language shift. For Qwen3-Coder a probe on the causally localized subspace stays 0.09 AUROC ahead of output confidence under language shift (0.11 in distribution), significantly outperforming the best non-causal predictor by 0.04 AUROC on average. This advantage, however, does not generalize consistently to gpt-oss or to benchmark shift. For program correctness, predictors transfer more successfully between benchmarks, largely by identifying problems on which the model tends to fail. However, their ability to rank candidates within the same problem is limited.

cs.SE↗
arXiv2026

Can Two-Point Correlations Determine Gravitational Waves from Sound Waves?

Sound waves are expected to be a dominant source of gravitational waves (GWs) from cosmological first-order phase transitions. Their spectrum is commonly predicted using the fluid velocity two-point correlation function under the Gaussian approximation. However, since the GW source is quadratic in velocity, connected four-point correlations may also contribute to the GW spectrum. Through two analytical toy examples, we demonstrate that velocity two-point correlations alone does not always uniquely determine the GW spectrum. Moving beyond these idealized examples, we investigate a realistic acoustic source based on stochastic bubble nucleation and growth, proving that the connected contribution becomes subleading during subsequent linear acoustic propagation, although cosmic expansion limits this suppression. These results clarify when two-point reconstruction is reliable and how higher-order velocity correlations and the duration of acoustic emission affect GW predictions.

hep-ph↗
arXiv2026

Estimating ensemble-mean anomaly correlations and the ratio of predictable components using an unbiased estimate of the predictable signal variance

The correlation ($r$) between ensemble mean forecasts and observations is a frequently-used metric of forecast quality in the weather and climate prediction communities. However, uncorrected estimates of $r$ are biased towards zero at finite ensemble size due to the influence of unpredictable noise that contaminates the sample ensemble mean. This note summarises established ensemble-size adjustment methods and characterises the behaviour of $r_{\infty}$, a correlation estimator that is constructed from an unbiased and ensemble-size-independent estimate of the signal variance. The only requirement is that forecast members are exchangeable with one another such that they can be interpreted as independent draws from a case-specific predictive distribution. The estimator $r_{\infty}$ does not require forecasts and observations to be statistically exchangeable, only that the unpredictable component of each member is uncorrelated with the observed truth, and thus works for both reliable and unreliable forecasts. In some situations, $r_{\infty}$ may be undefined (i.e. the estimated signal variance is negative) or fall outside the admissible range $-1 \leq r_{\infty} \leq 1$ when the predictable signal is small relative to the sampling uncertainty. These inadmissible values can be interpreted as evidence that the true predictable signal cannot be resolved with the available ensemble size and number of cases. The same unbiased signal variance can also be used to estimate the correlation between the predictable signal and individual members to yield an ensemble-size-invariant estimator of the ratio of predictable components (RPC). In contrast, variance-based RPC estimates, including forms that correct only the model predictable component, are biased low by a factor that depends only on the ensemble size and model signal-to-noise ratio.

physics.ao-ph↗
arXiv2026

Network Effect Decomposition for Causal Effect Estimation under Network Interference

Estimating causal effects from observational network data requires accounting for both individual treatment and neighborhood exposure. Existing outcome models commonly incorporate these intervention variables into a joint predictor and estimate causal effects through prediction contrasts, leaving the corresponding response components implicit. We propose the $\underline{N}$etwork $\underline{E}$ffect $\underline{D}$ecomposition $\underline{Net}$work (NEDNet), which parameterizes the conditional outcome response as a query-invariant pre-treatment baseline plus separate treatment- and exposure-response pathways. Path-specific neighborhood contextualization supplies local pre-treatment information to the two pathways. We characterize the fitted response through a unique reference-normalized decomposition, which is equivalent to a zero mixed treatment--exposure contrast. Experiments on semi-synthetic benchmarks derived from BlogCatalog and Flickr show that NEDNet achieves the lowest PEHE among the compared methods for individual, peer, and total effects across homogeneous and covariate-heterogeneous response settings.

stat.ML↗
arXiv2026

Quasi-polynomial-sized vertex multicut-mimicking networks and kernelization for Vertex Multiway Cut

We give deterministic polynomial-time constructions of vertex multicut-mimicking networks of quasi-polynomial size. Given a graph G, a terminal set T, and a positive integer c, our algorithm constructs a graph with |T|^7 c^{O( log c ) } vertices that preserves every minimum vertex multiway cut value of at most c, for every partition of the terminals. Setting c=|T| gives an exact vertex multicut-mimicking network with |T|^{O( log |T| ) } vertices, resolving an open question of Wahlström [ACM Transactions on Algorithms 2022], who showed a bound of κ^{O( log^3 κ)} for the edge multicut-mimicking variant, where κ:= \sum_{t \in T} |N_G(t)| is the capacity of the terminal set, which was later improved to κ^{O( log^2 κ)} by Anand, Lee, Li and Saranurak [STOC 2024]. As applications of our vertex multicut-mimicking network, we obtain deterministic kernels of size k^{O( log k )} for Vertex Multiway Cut, p^{O(1)} k^{O(log k)} for Vertex Multicut with p requests and |Γ|^{O(1)} k^{O( log k)} for Group Feedback Vertex Set, where k is the deletion budget and Γis a finite group. Our first kernelization result, in particular, resolves an open question by Wahlström [ACM Transactions on Algorithms 2022], which was reiterated in a recent survey on kernelization by Jansen [Computer Science Reviews 2026]. Also, to the best of our knowledge, our kernel for Vertex Multicut is the first one whose size is completely polynomial in p and (quasi-polynomial) super-polynomial only in k. Finally, again using our vertex multicut-mimicking network for graphs, we obtain a hyperedge multicut-mimicking network for hypergraphs, which preserves hypergraph edge-multicuts of size up to c, of size |T|^{O(1)} c^{O(log c)}. Our result removes the dependence on the rank of the hypergraph from the exponent of the size bound, that existed in prior work.

cs.DS↗
arXiv2026

TactileLab: Sim-to-Real Dexterous Robot Manipulation with Efficient Shear-Sensitive Tactile Simulation

Robotic simulators that represent shear within tactile sensing are becoming increasingly important for contact-rich manipulation. However, simulating contact shear with high-fidelity deformable or soft-body simulation is computationally demanding, limiting scalability to large-scale reinforcement learning. Here we introduce \textit{TactileLab}, a scalable multimodal tactile simulation framework built on IsaacLab, with a particular focus on a new optical-flow-based tactile representation termed \textit{simulated tactile flow}. Instead of relying on soft-body physics to model shear deformation, TactileLab uses rigid-body simulation to efficiently estimate dense tangential motion at the contact interface, producing tactile flow fields that encode shear-relevant contact dynamics. This flow field complements geometric features from a contact depth field. We further introduce a novel policy architecture for jointly processing long-horizon proprioceptive signals and rich tactile observations. Across multiple contact-rich tasks, policies trained using simulated tactile flow learn efficiently at scale and exhibit emergent contact-aware behaviours. To facilitate sim-to-real policy deployment, we then propose a novel real-to-sim tactile translation method that maps real tactile image streams to simulated tactile flow and depth fields, together with a new tactile data collection method, and validate it across diverse tactile sensor designs. Using this pipeline, we demonstrate real-world deployment on tasks encompassing dual-arm and dexterous in-hand manipulation. Overall, TactileLab provides an end-to-end sim-to-real framework for scalable tactile policy learning, enabling diverse shear-sensitive manipulation across heterogeneous tactile robotic systems.

cs.RO↗
arXiv2026

Compositional Loop Invariant Inference for Multiphase Programs via Structured Neurosymbolic Reasoning

Loop invariants are essential for deductive program verification, yet automatically inferring them for {multiphase programs}, whose loops contain conditional branches that induce multiple execution phases with distinct behaviors, remains an open problem. Existing LLM-based methods either reason about loops as a whole or use explicit branch information to generate atomic assertions jointly across branches, without maintaining complete candidate sub-invariants for independent generation and targeted repair. We present CLOVER, a structured neurosymbolic reasoning framework for multiphase invariant inference built on two interlinked mechanisms. First, compositional inference: CLOVER statically decomposes a loop into symbolic {loop branch sequences}, conjunctions of the loop guard and branch conditions that characterize distinct execution scenarios, and guides the LLM to generate candidate sub-invariants for each one independently, so that each LLM query focuses on a single execution scenario rather than the entire loop. Second, counterexample-guided localized refinement: when SMT verification rejects a composed disjunctive invariant, CLOVER traces the counterexample back through the branch structure to identify which specific loop branch sequence caused the failure and repairs only that sub-invariant, preserving all correct components. Both mechanisms are unified by a shared symbolic structure derived from the loop's branch semantics, which guides what the LLM generates, how candidates are composed, and where refinement is directed. We evaluate CLOVER on 316 linear arithmetic, 50 nonlinear arithmetic, and 54 multiphase benchmarks. CLOVER solves 35 of 54 multiphase benchmarks, outperforming the best LLM-based baseline (29) by 20.7\% and the best traditional method (22) by 59.1\%. On linear/nonlinear benchmarks, CLOVER remains competitive, solving 355 of 366 programs overall.

cs.SE↗
arXiv2026

InnerLogic-Surg: An Open Surgical Foundation Model via Continual Pretraining

Vision foundation models are the backbone of modern surgical image analysis, yet most surgical systems still rely on encoders pretrained on natural images or on specialist models trained from scratch on comparatively small datasets. Pretraining encoders on large amounts of surgery-specific data has the potential to generally enhance the performance of surgical image analysis methods simply by providing stronger backbones. Here we present InnerLogic-Surg, an open family of surgical vision encoders (21M--300M parameters) obtained by continually pretraining a transformer-based image encoder on millions of surgical images curated from 11,965 internet-sourced surgical videos spanning ~2,900 hours and more than fifteen procedure types. Our training recipe inherits DINOv3's pretraining stage to preserve representation ability after surgical adaptation, and additionally applies a learned feature-upsampling module for high-resolution dense prediction at low token cost. Across a benchmark covering workflow, instrument and anatomy recognition, segmentation, detection, and monocular depth, under the same architecture, the largest InnerLogic-Surg model achieves the best linear-probe performance in all 20 surgical tasks. We demonstrate that surgical continual pretraining yields transferable representations that generalize across procedures, anatomical regions, and task types, showing our surgical image encoders as a promising and scalable alternative to the procedure-specific representation learning approaches that have traditionally dominated surgical computer vision.

cs.CV↗
arXiv2026

Spectrotemporal imaging of ultrafast electron dynamics

We demonstrate a spectrotemporal imaging technique that maps ultrafast electron dynamics onto energy- and angle-resolved photoelectron distributions in a single measurement. The underlying principle is to encode the probing time into the kinetic energy of the emitted photoelectrons, while the evolving quantum dynamics is retrieved from their angular distributions. We experimentally demonstrate this concept by imaging spin-orbit wave packet dynamics in resonance-enhanced multiphoton ionization of potassium atoms using two complementary approaches. In the first, three spectrally distinct probe pulses sample the dynamics at selected delays and map the corresponding wave packet configurations onto separate photoelectron energy channels. In the second, a single broadband chirped probe pulse establishes a continuous time-to-energy mapping through its time-dependent instantaneous frequency, thereby encoding the evolution of the wave packet across a broad photoelectron energy band. The resulting photoelectron momentum distribution exhibits a characteristic fork-shaped pattern. Combining supercontinuum pulse shaping with velocity map imaging, we experimentally resolve the spin-orbit dynamics over a time window exceeding 300 fs, in good agreement with quantum dynamical simulations. Our results establish spectrotemporal photoelectron imaging as a versatile approach to time-resolved spectroscopy, replacing sequential delay scans by parallel acquisition of ultrafast quantum dynamics.

physics.atom-ph↗