arXiv Science⌕ Search

arXiv subjects

Search papers

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

At least 1,747 records · Page 97Linked to original sources

Rendering-Free Lookahead for Question-Guided Active Vision

Active robot vision requires controlling the camera to reveal task-relevant information that is hidden from the current viewpoint. For example, determining what is inside a box may require raising the camera and looking down into it. For viewpoint-dependent question answering, the challenge is to select camera motions that expose the visual evidence needed to answer the question. Although vision-language models (VLMs) can interpret observed images, selecting such motions requires anticipating the usefulness of unseen views. We quantify this usefulness as answerability, a VLM's estimate that a view suffices to answer the question, and present Rendering-Free Lookahead (RFL), a viewpoint-selection policy that ranks candidate camera motions by predicted future answerability. RFL transfers visual lookahead from deployment to offline training. At training, a privileged teacher renders candidate future views in 3D Gaussian Splatting (3DGS) scenes and uses a frozen VLM to compute one- and two-step answerability targets. Through two-stage distillation, a student learns to predict these action values from the question, recent visual observations, and a candidate camera motion. At deployment, RFL uses these predicted values to select camera motions without rendering future views. On 377 E3VS-Bench test episodes in unseen environments, RFL improves the mean judge score by 43\% over a direct-action baseline using the same VLM. These results support learning camera-control policies from privileged visual lookahead for viewpoint-dependent question answering.

cs.CV↗

Four-dimensional shrinkers with pinched curvatures

In this paper, we first classify complete four-dimensional shrinkers under a pinching condition on the $2$nd-Ricci curvature. We then classify closed four-dimensional shrinkers with (weighted) integral parameter-pinching of the half Weyl curvature under several pinching assumptions on the biorthogonal curvature. Finally, we establish a Hitchin-Thorpe type inequality for closed non-trivial four-dimensional shrinkers under some assumptions on the half Weyl curvature and the biorthogonal curvature.

math.DG↗

Following Breadcrumbs in Code: What Accidentally Committed Ad-Hoc Logs Reveal about Developer Comprehension

Developers frequently insert temporary print or log statements, known as **ad-hoc logs**, to better understand program behavior at runtime, particularly when facing unexpected issues or complex control flows. Despite being a nearly universal practice, systematic study has been limited because these logs are ephemeral: they usually remain only in local environments and are removed before code is committed, making them difficult to capture. In this work, we addressed this challenge by mining accidental commits where developers unintentionally left ad-hoc logs and later deleted them, and by analyzing live-streamed programming sessions to observe their use in practice. Using these methods, we constructed a large dataset across three major programming languages (Java, JavaScript, and Python), enabling the large-scale investigation of logging practices. Our analysis reveals both common and language-specific patterns in where and how developers rely on ad-hoc logs. Across languages, ad-hoc logs tend to appear in program regions that are harder to reason about at runtime. We also identify distinctive language-level patterns, such as frequent use in asynchronous and callback functions in JavaScript and in thread-related classes in Java. In addition, functions containing ad-hoc logs generally have higher cyclomatic complexity than the overall function population. Production logs show a similar association, consistent with logging serving as a means of observing runtime behavior in structurally complex functions. Together, these findings provide empirical insight into developers' runtime comprehension practices and offer a valuable dataset for researchers and tool builders seeking to better support debugging and logging.

cs.SE↗

A general framework for crystallization in maximal hard-core models

We study general maximal hard-core models on periodic lattice-type graphs. While for standard models, phase coexistence may arise for high activity, for maximal models this behavior may occur also for sufficiently low activity values. Relying on the concept of volume allocation, we develop a {\em unified set of assumptions} that imply the Peierls condition, a convergent cluster expansion for the partition function, and hence the conclusions of Pirogov-Sinai theory for this class of models. We further check these assumptions for a number of examples including standard lattice-type periodic graphs, proving crystallization for both high and low activity. We also derive estimates for the values of activity that bound the phase coexistence regions in the phase diagram, rewriting for this purpose the proof of a technical result in the derivation of Pirogov-Sinai theory.

cond-mat.stat-mech↗

Vanishing Moment Dilations and Applications to Balanced and Graph Frames

Given a matrix $A\in M_{k\times N}(\Bbb{F}),$ we examine finite frames $\{f_j\}_{j=1}^N$ with vanishing $A$-moments and investigate their connections with the frame dilation property. We establish several equivalent characterizations for the existence of vanishing $A-$moment dilations, including conditions involving dual frames, operator ranges, and linear independence properties associated with the matrix $A$. In particular, we show that every frame with redundancy $k$ admits a dual frame with vanishing $A$-moments for some totally nonsingular matrix $A$. A key takeaway of this is that by invoking such a dual frame as the encoding frame, any frame with redundancy $k$ (erasure robustness is not needed) allows perfect signal reconstructions for any number of $\ell$-erasures ($\ell \leq k$) which only involves inverting a matrix of small size ($\ell$) instead of inverting the subframe operator which is a matrix of large size ($N-\ell$). A special case of this type of frames are $k$-th vanishing moment frames which have natural connections with graph frames. We characterize the existence of dual frames with $k-th$ vanishing moments through polynomial cancellation identities and operator theoretical conditions. We further discuss some applications to problems in erasure recovery and graph frames. These results provide a unified framework linking vanishing moment conditions, dual frame theory, dilation theory, and graph theoretic constructions of frames.

math.FA↗

Enhanced micrometre spatial resolution and usable photon flux for hybrid pixel detectors via deep-learning-based X-ray localization

Micrometre spatial resolution is achieved for X-rays with the MÖNCH detector, a charge-integrating hybrid pixel detector with a 25 μm pixel pitch, by exploiting charge sharing between neighbouring pixels. The conventional analytical interpolation method, however, relies on a global mapping derived from the charge-sharing statistics and is applicable only to isolated single-photon clusters, which limits both the achievable resolution and the usable photon flux. To overcome these limitations, we trained deep learning models to localize single-photon and pile-up events based on high-fidelity simulation data. For knife-edge measurements at 12 keV and a low occupancy of 0.74% (photons per pixel and frame), where single-photon events dominate, the proposed method reaches a of the edge spread function of 1.36 μm, compared with 1.54 μm for the conventional eta interpolation. We demonstrate experimentally that resolving up to three photons per cluster raises the reconstruction efficiency from 59% to 93% at a 2.4{\times} higher occupancy of 1.81%, while preserving a of 1.39 μm.

physics.ins-det↗

Galaxy Clustering Can Reveal Host-Galaxy Properties of Binary Black Hole Mergers

Galaxy clustering encodes information about the host galaxies of binary black hole (BBH) mergers even when individual hosts remain unidentified, because the distribution of neighboring galaxies depends statistically on the host-galaxy population. We construct event-level host-type likelihoods from host-conditioned galaxy-count distributions within gravitational-wave localization regions and combine them to infer the fractions of BBH mergers hosted by different galaxy populations. The framework applies to common and rare galaxy populations without prescribing formation efficiencies or merger delay-time distributions. Using measured star-forming and quenched galaxy clustering, idealized one-year forecasts assuming all mergers occur in quenched galaxies yield median one-sided 90% lower credible limits of 0.19, 0.48, and 0.92 on the quenched-host fraction for O5, post-O5, and third-generation networks. These forecasts illustrate the potential for host-galaxy population inference before the third-generation detector era.

astro-ph.CO↗

$\boldsymbol{\textit{Ab initio}}$ $nα$ scattering using the Efros method

We present the first $\textit{ab initio}$ many-body application of the Efros method for scattering utilizing the harmonic oscillator expansion of the continuum wave function. We select single-channel $nα$ scattering and, using low-lying eigenstates from no-core shell model (NCSM) calculations, we obtain well-converged scattering results that are in reasonable agreement with experiment. The results demonstrate that the Efros method is computationally practical and promising for further $\textit{ab initio}$ many-body studies of nuclear reactions.

nucl-th↗

Almost all graphs are determined by their generalized spectrum

Haemers' conjecture for the generalized spectrum asserts that almost all graphs are determined by their generalized spectrum, that is, for almost all graphs $G$, every graph with the same spectrum as $G$ whose complement has the same spectrum as the complement of $G$ is isomorphic to $G$. We prove this conjecture by showing that the random graph $G(n,1/2)$ is determined by its generalized spectrum with probability tending to one. The proof combines a local theory of the denominators of the rational orthogonal matrices that relate generalized cospectral graphs, Fourier analysis of random symmetric matrices over finite rings, Seidel switching, inverse Littlewood--Offord theory over finite fields, rank estimates for random symmetric matrices modulo primes, and a study of the rational factors of the characteristic polynomial of a random symmetric $\pm1$ matrix with zero diagonal.

math.CO↗

Revisiting Positive Exponent power weighted Stein-Weiss inequalities in $L^1$

We obtain the necessary and sufficient conditions on input functions for a family of positive exponent power weight $L^1$ Stein-Weiss inequalities. Earlier work by De Nápoli and Picon showed that a certain cocanceling condition was necessary and sufficient in $L^1$, but it was unknown if this condition remained necessary in the positive exponent power weight setting. This present article identifies weaker necessary conditions for positive exponent power weights, some of which were shown to be sufficient for positive, non-integer exponent power weights in the author's earlier work.

math.CA↗

SatFix: Absolute Visual Localization of UAVs in Satellite Maps from a Single Oblique Image

We study absolute metric UAV localization within a provided geo-referenced satellite region, recovering continuous map position and viewing heading from a single oblique image or a short multi-view clip. Existing cross-view geo-localization methods retrieve the most similar satellite tile from a gallery and report Recall@K, but retrieval depends on gallery sampling, provides no heading estimate, and returns a tile index rather than a continuous coordinate. We propose SatFix, a feed-forward UAV--satellite localization framework built on VGGT-$Ω$. Satellite-grid features act as queries that aggregate UAV visual evidence, and two lightweight heads regress a 3-DoF pose in the satellite-map frame: continuous 2D position and heading. SatFix requires no explicit 3D map, rendered bird's-eye image, auxiliary sensor, or test-time pose alignment. A single model supports both single- and multi-view inputs, with trajectory constraints used during multi-view training. For metric evaluation, we introduce University-Metric, where satellite imagery is re-collected over a region up to 10.7$\times$ longer on a side (about 114$\times$ the ground area) than the original University-1652 tiles, with continuous position and heading labels for the original UAV tours. With one UAV view, SatFix localizes 52.08% of test frames within 50 m and 17.34% within 10 m, with median position and heading errors of 45.66 m and $20.81^\circ$, respectively. Inference takes under 0.1 s per single-view query on an NVIDIA RTX 4090. With nine UAV views, the median position error falls to 21.96 m and the median heading error to $8.73^\circ$. Compared with a fine-tuned VGGT-$Ω$ baseline, SatFix reduces median position error by 34.0% and nine-view median heading error from $25.43^\circ$ to $8.73^\circ$.

cs.CV↗

AgentHorizon: Evaluating Agentic Judges for Long-Horizon Computer-Use Tasks

Computer-use agents are capable of completing complex tasks, increasing the use of automatic judges to determine success, either for training or for evaluation without human involvement. Despite their flexibility, their reliability on long tasks spanning multiple applications remains unclear. A trajectory, composed of long sequences of screenshots and actions, may appear complete, but in reality violates constraints from the instruction or introduces an unwanted side effect. To identify these errors, a judge needs to examine the trajectory with respect to the user's instruction. To this end, we introduce AgentHorizon, a benchmark of 1,373 computer-use tasks (instruction-trajectory pairs) drawn from 166 hours of human-recorded trajectories spanning three operating systems. By recording trajectories for closely related instructions, we can construct negative tasks by swapping the instructions. This paired design evaluates judges on their ability to distinguish a successful trajectory from one that completed a similar (but incompatible) request. We release the benchmark under three splits: a frontier split, AgentHorizon (AH), a simplified split, AgentHorizon-Simple (AH-S), and a development split, AgentHorizon-Development (AH-D). We further evaluate eleven judges by (1) directly passing the full trajectory (with up to 300 screenshots and actions), and (2) using them as coding agents across five agent harnesses. We find that our best agentic judge, GPT-5.5, achieves 80.9% balanced accuracy on the AH subset. We find that tool-use improves certain models but results in worse performance for open-weight models, and that judges differ drastically in their ability to accept a valid trajectory and reject failed ones. Our findings highlight the need for judges that are capable of locating and verifying often hidden evidence that a task was properly completed inside long interaction histories.

cs.AI↗

Optimal Multi-Item Auctions with I.I.D. Values

We study revenue-maximizing multi-item auctions under dominant-strategy incentive compatibility (DSIC) and ex-post individual rationality. Buyers have additive valuations, and all item values are independent draws from a common finite distribution. For every two-point distribution and arbitrary numbers of buyers and items, we give an explicit deterministic mechanism that is optimal among all randomized mechanisms satisfying these requirements, together with a polynomial-time algorithm for computing the optimal expected revenue. For general finite-support distributions, computing the exact optimal revenue is $\#\mathrm P$-hard, both for a single buyer with an arbitrary number of items and for two items with an arbitrary number of buyers. For a single buyer, we also establish hardness of computing an optimal mechanism. Building on prior work, we also obtain exact and approximate algorithms under different parameter restrictions. Exact polynomial-time optimization is possible whenever any two of the buyer count, item count, and support size are fixed. When only the item count is fixed, a polynomial-time approximation scheme constructs a mechanism with expected revenue at least a $1-\varepsilon$ fraction of the optimum for every fixed $0<\varepsilon<1$. All these algorithms satisfy DSIC and ex-post individual rationality.

cs.GT↗

Accounting for detector calibration uncertainty in black-hole ringdown analysis

Detector calibration systematics can bias measurements of a remnant black hole's mass and spin, producing spurious evidence against general relativity if unaccounted for. The ringdown phase in the gravitational-wave signal produced by a binary black-hole merger encodes the remnant properties: at sufficiently late times, the signal is well described by a superposition of quasinormal modes, each with a frequency and damping time set only by the remnant mass and spin. Here we present two complementary approaches for analyzing the ringdown portion of the data to estimate the remnant mass and spin in the presence of a nonnegligible detector calibration error, using the quasinormal-mode rational filter (QNMRF). With a well-measured error, we apply the best-estimated calibration correction to the strain before conducting the standard analysis; with an unknown error, we instead jointly sample the remnant mass, spin and the frequency-dependent calibration error, marginalizing over an uncertainty prior. By injecting the numerical-relativity waveform SXS:BBH:0305 into colored detector noise, at a full-signal matched-filter signal-to-noise ratio of $\sim60$ and with simulated calibration errors of $\pm25\%$ in magnitude and $\pm25^\circ$ in phase, marginalizing over the calibration uncertainty recovers the true mass and spin within the 90\% credible interval, whereas the estimated values are biased if the calibration errors are ignored. We apply the method to GW250207, an event recorded while the Hanford detector response was not well characterized, and recover a remnant consistent with the inspiral-merger-ringdown prediction using the ringdown portion alone, both by correcting for a best-estimated calibration error and by marginalizing over a broad uncertainty prior.

gr-qc↗

Three-dimensional dopant distribution from a single, out-of-focus spectroscopic image

Increasing miniaturization of nanoscale devices makes determining the three-dimensional distribution of dopants increasingly important. In out-of-focus spectroscopic scanning transmission electron microscopy images, we show that dopant atoms appear as disks with radii relating to dopant depth, allowing the three-dimensional distribution of dopants to be determined from simple geometric analysis of a single out-of-focus image. Through numerical experiments on Si-doped graphene we validate statistical detection and Bayesian inference methods to quantify confidence and uncertainties while making the analysis more robust at lower dose. We present proof-of-concept experimental data from an Fe-doped spinel, retrieving dopant depth to within around 2 nanometres.

cond-mat.other↗

A Reconfigurable Fabric Based Pneumatic Actuator with Button Fastened Constraint Modules for Multi Mode Actuation

Soft pneumatic actuators are widely used in soft robotics. However, their actuation modes are typically fixed by internal chamber designs or reinforcements, making post fabrication reconfiguration difficult. This paper presents a reconfigurable fabric-based pneumatic actuator that enables rapid, tool free, and reusable switching among multiple actuation modes by attaching constraint fabric modules to a buttoned textile sleeve. By rearranging low-stretch constraint parts on a single actuator body, the proposed system realizes four actuation modes isotropic expansion, contraction, bending, and twisting without redesigning or disassembling the actuator.We further introduce an attachable capacitive fabric-based tactile sensor module that can be mounted at arbitrary locations on the actuator surface for task dependent contact sensing. Experiments demonstrated an elongation ratio of 1.2, a maximum bending angle of approximately 60 degrees, and a twisting angle of approximately 90 degrees at 24 kPa, while achieving blocking forces exceeding 10 N across all modes. The tactile sensor exhibited a monotonic, force-dependent increase in capacitance with low hysteresis (approximately 12%) and stable cyclic responses under preload. Finally, we constructed soft robotic arms composed of multiple actuators and demonstrated in situ motion reconfiguration for grasping by changing the attached constraint patterns. These results indicate that the proposed modular constraint and sensing framework improves the functional adaptability of fabric-based soft robots while preserving a simple, robust actuator structure.

cs.RO↗

Banach non-isomorphism of type III and semifinite noncommutative $L_p$-spaces

Let $M$ be a nonzero type III von Neumann algebra with separable predual, and let $N$ be a semifinite von Neumann algebra. We prove that $M_*$ is not isomorphic to a subspace of $N_*$. For $1<p<\infty$, $p\ne2$, we prove that $L_p(M)$ is not isomorphic to a complemented subspace of $L_p(N)$. In particular, the Banach isomorphism class of $L_p(M)$ distinguishes type III algebras from semifinite algebras for $1\le p<\infty$, $p\ne2$.

math.OA↗

Uniqueness and Symmetry Breaking for Singular $Q$-curvature Equations in $\R^n$

For $n\ge3$ and $γ>-1$, we study normal solutions of \begin{equation*} (-Δ)^{n/2}u=(n-1)!\,|x|^{nγ}e^{nu} \quad\hbox{in }\R^n. \end{equation*} We reformulate this problem on the cylinder via the Emden--Fowler transform. We first establish Kelvin symmetry for normal solutions. We then prove existence and uniqueness, up to dilation, of the radial normal solution and establish its radial nondegeneracy. Next, we carry out a detailed spectral analysis of the linearized operator and construct branches of nonradial normal solutions by the Crandall--Rabinowitz theorem. Finally, we prove that every normal solution is radial when $γ>0$ is sufficiently small.

math.AP↗