arXiv preprints from January 1, 2026 through September 16, 2026 — 06:39:24 EST
We investigate the asymptotic behavior of Halpern-type iterations applied to quasi-nonexpansive operators arising in best approximation problems over the intersection of finitely many closed convex sets in $\mathbb{R}^n$. Assuming a local decrease condition for the underlying operator and standard requirements on the stepsizes $(α_k)...
We study additive properties of consecutive prime numbers and the primality of the sums they generate. For a given prime number $p_n$, we consider the sums \[ S_k(p_n) = p_n + p_{n+1} + \cdots + p_{n+k-1}, \] where $k \ge 3$ is an odd integer. We first formulate an existence conjecture asserting that, for every prime number $p_n$,...
We review the main neutrino emission mechanisms operating in dense quark matter under strong magnetic fields, with particular emphasis on conditions expected in the interiors of compact stars. We discuss the direct Urca and neutrino synchrotron processes in unpaired quark matter, incorporating the effects of Landau-level quantization....
Top-quark pair production in heavy-ion collisions provides a unique opportunity to probe nuclear parton distribution functions and study the time evolution of strongly interacting matter, including the quark-gluon plasma. This work presents the observation and measurement of top-quark pair production in both proton--lead (p+Pb) and...
The sparse object detection paradigm shift towards dense 3D semantic occupancy prediction is necessary for dealing with long-tail safety challenges for autonomous vehicles. Nonetheless, the current voxelization methods commonly suffer from excessive computation complexity demands, where the fusion process is brittle, static, and...
In these notes we describe the geometry of tropical balls in $\mathbb{R}^n$ equipped with the tropical metric. After defining the tropical length of rectifiable curves (and not just piecewise linear curves), we characterize compact tropically geodesic sets in $\mathbb{R}^n$. Next, we describe the tropical unit ball as a zonotope, via...
The performance of machine learning surrogates is critically dependent on data quality and quantity. This presents a major challenge, as high-fidelity (HF) data is often scarce and computationally expensive to acquire, while low-fidelity (LF) data is abundant but less accurate. To address this data scarcity problem, we develop a...
Offline black-box optimization (BBO) aims to find optimal designs based solely on an offline dataset of designs and their labels. Such scenarios frequently arise in domains like DNA sequence design and robotics, where only a few labeled data points are available. Traditional methods typically rely on task-specific proxy or generative...
Integrating accurate haptic feedback into robot-assisted minimally invasive surgery (RAMIS) remains challenging due to difficulties in precise force rendering and ensuring system safety during teleoperation. We present a Nonlinear Impedance Matching Approach (NIMA) that extends our previously validated Impedance Matching Approach...
We study light-mediated interactions between spatially separated molecules using real-time quantum electrodynamical time-dependent density functional theory based on the Pauli-Fierz Hamiltonian. An ultrashort delta-kick excitation selectively perturbs a single molecule, while a second, distant molecule remains initially unexcited. In...
We compare two complementary theoretical approaches to compute and interpret Floquet sidebands in periodically driven quantum materials: a first-order perturbative approach (first-order perturbative Born approximation, PB1) and time-dependent nonequilibrium Green's functions (tdNEGF). Using graphene as a model Dirac system, we...
We investigate the coupled dynamics of concentration and charge in asymmetric 1:1 electrolytes, focusing on the interplay between diffusion asymmetry and external electric fields. Using Brownian dynamics simulations and linearized stochastic density functional theory (SDFT), we analyze the transient response of charge and number...
Measuring slow neutrons is difficult when the radiation field also contains charged particles and fast neutrons, especially when the radiation composition is not known in advance. In this work, we present a tested method to measure slow neutron fluence using CR-39 solid state nuclear track detectors. Two detectors are used together: a...
Vision-language models (VLMs) lag behind text-only language models on mathematical reasoning when the same problems are presented as images rather than text. We empirically characterize this as a modality gap: the same question in text form yields markedly higher accuracy than its visually typeset counterpart, due to compounded...
CsCr$_3$Sb$_5$ is a newly identified strongly correlated kagome superconductor, characterized by non-Fermi-liquid behavior at elevated temperatures and intertwined charge- and spin-density-wave order below $T_{DW}\approx 54$K. Under external pressure, this order is suppressed and a superconducting phase emerges. This phase diagram,...
Traffic scene understanding is essential for enabling autonomous vehicles to accurately perceive and interpret their environment, thereby ensuring safe navigation. This paper presents a novel framework that transforms a single frontal-view camera image into a concise natural language description, effectively capturing spatial layouts,...
The integration of agentic AI, powered by large language models (LLMs) with autonomous reasoning, planning, and execution, into unmanned aerial vehicle (UAV) swarms opens new operational possibilities and brings the vision of the Internet of Drones closer to reality. However, infrastructure constraints, dynamic environments, and the...
We present a process algebra capable of specifying parallelized Ant Colony Optimization algorithms in full detail: PA$^2$CO. After explaining the basis of three different ACO algorithms (Ant System, MAX-MIN Ant System, and Ant Colony System), we formally define PA$^2$CO and use it for representing several types of implementations with...
Despite its importance for well-being, spiritual care remains under-explored in HCI, while the adoption of technology in clinical spiritual care lags behind other healthcare fields. Prior work derived a definition of "spiritual support" through co-design workshops with stakeholders in online health communities. This paper contributes:...
This demonstration paper presents CMind, an artificial intelligence agent for localizing C memory bugs. The novel aspect to CMind is that it follows steps that we observed human programmers perform during empirical study of those programmers finding memory bugs in C programs. The input to the tool is a C program's source code and a...
Super-resolution (SR) seeks to reconstruct high-resolution (HR) data from low-resolution (LR) observations. Classical deep learning methods have advanced SR substantially, but require increasingly deeper networks, large datasets, and heavy computation to capture fine-grained correlations. In this work, we present the \emph{first...
The Habitable Worlds Observatory (HWO) will be a large ultraviolet/optical/near-infrared space telescope operating at the Sun-Earth Lagrange point L2. HWO was highly recommended by the National Academies` 2020 decadal survey and will be the first telescope designed specifically to search for life on planets orbiting other stars. HWO...
Progressive multi-state survival outcomes are common in trials with recurrent or sequential events and require treatment effect estimands that remain interpretable without proportional intensity or Markov assumptions. The restricted mean time in favor of treatment (RMT-IF) extends the restricted mean survival time to ordered...
Controlling generative models is computationally expensive. This is because optimal alignment with a reward function--whether via inference-time steering or fine-tuning--requires estimating the value function. This task demands access to the conditional posterior $p_{1|t}(x_1|x_t)$, the distribution of clean data $x_1$ consistent with...
Open science initiatives have strengthened scientific integrity and accelerated research progress across many fields, but the state of their practice within transportation research remains under-investigated. Key features of open science, defined here as data and code availability, are difficult to extract due to the inherent...