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.
Hales-Jewett theorem is well known. We prove a primitive recursive bound, in fact an $\clE^5$ one, for the density version. In preparation we deal with what was the main induction step in the old proof of Hales-Jewett as a result in its own right with better bounds. Also in improving our bounds.
We study stochastic fast-slow systems with noise acting exclusively on the slow variable near uniformly attracting, normally hyperbolic critical manifolds $x=X^\ast(y)$. The deviation equation contains transmitted diffusion and an Itô curvature forcing of order $O(σ^2\lVert D^2X^\ast\rVert)$. Using a parameter-dependent Lyapunov function and stopped martingale estimates, we obtain geometry-dependent concentration bounds under the sufficient noise restriction $σ\le C_0\min(\sqrt{\varepsilon},\varepsilon^{1/4}L_{\mathrm{geom}}/\sqrt{λ_0})$, where $λ_0$ is the uniform spectral gap and $L_{\mathrm{geom}}=\sqrt{λ_0/(\lVert D^2X^\ast\rVert\lVert h\rVert^2)}$. For fixed geometry and any fixed $p>0$, the confidence radius on $[0,T/\varepsilon]$ is $O(\varepsilon+σ^2+σ\sqrt{\log(1/\varepsilon)})$, with stopped fast-variable failure probability at most $\varepsilon^p$; slow-variable exit is controlled separately. We also establish an adiabatic error bound of order $O(\varepsilon+σ\sqrt{\varepsilon}+σ^2\lVert D^2X^\ast\rVert)$, with explicit failure probabilities. These estimates quantify the curvature dependence of fast-variable concentration and its $O(\varepsilon)$ contribution to the slow-error upper bound for fixed geometry.
Sparse non-uniform array-enabled affine frequency division multiplexing (AFDM) is a promising candidate for integrated sensing and communication (ISAC), while its performance critically depends on accurate target parameter estimation. In this paper, we propose a constrained tensor decomposition-based sensing framework for delay, Doppler, and angle estimation. Specifically, a manifold-constrained alternating least squares algorithm is developed by exploiting the sparse array geometry structure, enabling robust factor matrix extraction and direct angle estimation. In addition, we analyze the uniqueness condition of the tensor decomposition. From the decomposed factor matrices, delays and Doppler shifts are coarsely estimated by pulse compression, and refined by an iterative one dimensional golden-section search.Moreover, the Cramér-Rao bound (CRB) is derived to characterize the fundamental performance limit of the considered estimation problem. Finally, simulation results validate the effectiveness of the proposed estimation algorithm.
Active chiral fluids can support an anomalous transport coefficient known as odd (or Hall) viscosity. Hydrodynamic descriptions of such fluids typically introduce odd viscosity phenomenologically. How such a response emerges from specific microscopic interactions remains incompletely understood. Here, building on classical shear rheology, we microscopically derive an odd rheological response in active chiral films: thin layers of torque-exerting, elongated particles anchored to a no-slip surface. A canonical realization of such a film is the bacterial carpet, in which flagellated bacteria are tethered head-down to a solid surface while their flagella remain free to spin and inject angular momentum into the surrounding fluid. Using a Smoluchowski kinetic theory for the orientational dynamics of these anchored particles, we derive their stress response to an imposed shear flow. We reveal that shear-induced reorientation leads to a flow-aligned polarization and a transverse surface traction from which the odd-viscosity tensor follows in closed form. This approach stands in contrast with existing microscopic theories, in which the axis of torque injection is insensitive to the flow rather than set by it. Numerical solutions of the kinetic theory further highlight saturation of the transverse traction at strong shear, driven by this orientation dynamics -- signaling departure from linear response. Our results demonstrate how odd viscosity can emerge self-consistently as a coarse-grained rheological signature of active fluid-structure interaction and establish active chiral films as a new controllable setting for odd hydrodynamics.
In a dual-use field, hazardous knowledge and the benign expertise around it share vocabulary, concepts, and causal structure. That overlap makes selective refusal hard, and existing methods such as unlearning and refusal training overgeneralize their suppression into the benign side. We argue for conditioning, not suppression. In this work, we introduce Token Inoculation, which marks hazardous sentences with a special token, the inoculation token, during continued pre-training. We then fine-tune the model to refuse hazardous questions and, on the same questions under the inoculation token, to predict the hazardous answers. At test time the inoculation token is absent, so the model does not express the hazardous answers it learned to predict. Across 1.5B to 14B parameters and three architecture families it holds hazardous accuracy near 18% while retaining 93% of the instruct baseline's MMLU performance, the best safety-utility balance among the baselines we compare. The same advantage reproduces under open-ended generation and in a cybersecurity transfer. We test this with a causal do(X) analysis that randomizes the accuracy of the conditioning signal, and find that refusal becomes more selective the more of the hazardous domain the model still knows. Our findings underscore the importance of training to predict the responses that must be refused, and outline a direction for safety alignment that does not degrade models' growing frontier knowledge. Project page: https://token-inoculation.github.io/
We extend the definitions of kappa, psi and lambda classes from the case of moduli spaces of stable curves to the higher-dimensional case of KSBA spaces, and prove a number of their basic properties.
We study the linearized motion of a spherical rigid body immersed in an incompressible viscous fluid occupying the whole space, under Navier slip boundary conditions with friction. While semigroup regularity and decay estimates are well understood for the no-slip case, such results have been limited to bounded domains in the slip setting. By exploiting the geometric regularity of the sphere, we establish strong $L^q$-regularity, bounded analyticity, and sharp $ L^q-L^r$ estimates for the corresponding fluid-structure operator. These results would provide a foundation for constructing strong $W^{2,1}_q$ solutions and Kato-type solutions to the corresponding nonlinear system.
We study primordial black-hole (PBH) formation in a single-field model which passes from slow roll, through a transient ultra-slow-roll phase, into kination. Nonlinear numerical-relativity simulations are used to follow localised, initially sub-Hubble field fluctuations across the non-attractor transition, to determine the resulting super-Hubble curvature profiles, and subsequently to evolve their re-entry during kination. Within the set of initial configurations explored here, we find three qualitatively distinct outcomes, namely a patch which remains trapped in inflation, a positive-curvature overdensity, and a negative-curvature void bounded by an overdense shell. Each may form a PBH, although by a different physical mechanism. For one selected profile in each of the overdense and void channels, we measure collapse thresholds and compare them with thresholds for sinc profiles. The comparison shows that neither the central curvature nor the peak linear compaction alone provides a profile- or channel-independent collapse criterion. PBH abundances in non-attractor models must therefore be formulated in terms of the distribution of complete profiles, with the trapped, overdense, and void channels treated separately.
The vacuum persistence probability, encoded in the imaginary part of the in-out effective action, is a basic measure of vacuum instability and particle production. However, its evaluation may appear prescription-dependent: the Bogoliubov prescription and the Green's function prescription can yield different results. This discrepancy reflects the incomplete treatment of the endpoint vacuum states in the conventional Green's function reconstruction of the effective action. We establish a boundary-completed reconstruction that consistently incorporates the bulk Green's function and the endpoint vacuum contributions, thereby determining the structure of the complete in-out effective action. The resulting vacuum persistence probability is uniquely determined and agrees with the Bogoliubov result.
Let $G$ be a graph with adjacency matrix $A$ and degree matrix $D$. Applying $A$ and $D$ repeatedly to the all-ones vector produces a space $M_G$ of functions on the vertices, and these functions are constant on the orbits of the automorphism group. We call $G$ AD-observable if $M_G$ contains the indicator vector of every orbit, and AD-separable if the functions in $M_G$ separate the orbits. Forests are AD-observable, by McKay's leaf-pruning argument. Our main result is that for every cograph, $M_G$ is spanned by the indicator vectors of the cells of the stable partition of color refinement. Hence a cograph is AD-observable, or equivalently AD-separable, exactly when color refinement finds its orbits, and we describe these cographs by their cotrees. We also show that two cographs with the same number of vertices and the same homomorphism counts from all caterpillars have the same counts from all trees. The main result does not extend to distance-hereditary graphs: we give two such graphs on nine vertices that are AD-separable but not AD-observable.
Vibe coding is an AI-assisted software development approach in which developers express intent in natural language and large language models generate code. To our knowledge, no review has synthesized academic and practitioner sources under a common protocol. We conducted a multivocal literature review of publications from January 2022 to 9 September 2026, identified through searches in October 2025 and September 2026. After assessing source quality and credibility, we analyzed 266 sources (76 peer-reviewed, 190 grey) across eight research questions: 146 were direct, 93 adjacent, and 27 background. Presence and outcome findings receive reporting-support and evidence-strength labels, respectively. The second author conducted twelve checks; pre-reconciliation agreement was low in several, but substantial for the final directness rule and moderate for the outcome fields, which were checked in full. Sources describe a generation-evaluation-revision loop, with developer work shifting from writing code toward directing, supervising, and validating. Productivity is reported in 109 of the 159 sources contributing to the outcome question, of which 22 provide assertions only; these counts indicate reporting, not effect size. Most comparable sources report short-term productivity gains and long-term maintainability costs, but both receive Weak evidence-strength labels because some comparable sources report opposing directions. Short-term quality and defects are labeled Weak. Long-term productivity, long-term quality, and short-term reproducibility are labeled Moderate. Prototyping is reported more often than production use, and user-interface work more often than data and machine-learning work, but task-domain evidence is sparse. Future work should evaluate safeguards, session-level dynamics, long-term maintainability, and production use.
Activation Oracles (AOs) are language models trained to answer natural-language questions about another model's internal activations. They offer a flexible interface for reading hidden information from model states, especially when relevant information is internally represented but absent or incomplete in visible behavior. However, AOs are themselves learned systems: their answers are shaped by training data, objectives, and learned reporting behavior, rather than being neutral readouts of represented information. We study this in a controlled Taboo Word Guessing setting, where subject models are fine-tuned to internally use a hidden concept while avoiding direct disclosure. Contrary to the expectation that an AO trained on such a subject becomes a specialist reader, we find that fine-tuned AOs can become concept-specific anti-readers: they selectively fail to recover the concept persistently present during their own training. This failure is not simply explained by absence of the concept from the subject or oracle representations: the target remains decodable inside the oracle, while LogitLens and layer-ablation analyses indicate that the failure arises in the AO readout pathway. Our results show that behavioral leakage, representation-level decodability, and AO-verbalizability can come apart, raising a reliability concern for learned interpretability interfaces.
Massive black hole (MBH) pairs, formed in galaxy mergers, may coalesce in a burst of gravitational waves (GWs). Estimating the coalescence time-scales and rates is a long-standing astrophysical problem, essential to inform predictions for future GW detectors such as the Laser Interferometer Space Antenna, but remains challenging: MBH orbital decay in realistic galactic environments is complex and stochastic, and non-axisymmetric structures such as stellar bars can perturb MBH pair dynamics, delaying or accelerating binary formation and undermining the assumption that dynamical friction alone sets the inspiral duration. Capturing this evolution requires simulations too expensive to run at population scale. Here we present an artificial intelligence framework that emulates the galactic-scale orbital decay of an inspiralling MBH using conditional normalizing flows trained on a large suite of semi-analytical orbital integrations. Our model captures the evolution of secondary MBHs orbiting within multi-component galactic merger remnants featuring rotating stellar discs and bars, across a broad range of MBH masses, orbital configurations, and bar properties. The trained emulator reproduces the simulations' decay-time distributions while reducing computational cost by orders of magnitude. For the first time, we apply this model to galaxy populations drawn from a cosmological simulation, exploiting morphological information on barred and non-barred galaxies to infer MBH binary formation time-scales across cosmic time. Our results show that stellar bars can alter the distribution of MBH binary formation times. More broadly, this demonstrates how simulation-based, surrogate machine learning emulators can unlock a class of astrophysical problems where the physics is well understood system-by-system but intractable at scale.
The Abstraction and Reasoning Corpus (ARC) tests whether a model can infer an unseen transformation from a few input-output examples and apply it to a new grid. Looped visual reasoners refine predictions over multiple iterations, but conventional training constrains only the final output, leaving intermediate refinements unconstrained. We propose that these refinements should instead follow the transformation step by step. We introduce TraceViT, a looped visual reasoner trained with semantically monotonic transformation chains. We obtain these chains by rewriting and verifying programmatic task implementations, decomposing each solution into intermediate grid states. Each iteration is grounded by a task reference derived from the few-shot demonstrations and an object workspace representing the current grid state. Because these chains may differ in length from the loop, soft trace alignment enforces only their ordering, letting the model allocate iterations freely. TraceViT achieves 67.8% pass@2 on ARC-AGI-1 and 24.3% on ARC-AGI-2. Controlled ablations on ARC-AGI-1 show that trace supervision becomes beneficial only when paired with grounding. Code and data will be available at https://github.com/LiuBinnan/TraceViT.
Underwater image enhancement (UIE) aims to recover clear images from observations degraded by wavelength-dependent absorption, scattering, and spatially nonuniform degradation. Although existing generative methods can handle complex degradations, they may still generate visually appealing results while compromising content preservation, thereby degrading downstream visual perception. To improve content preservation, we extract spatial priors characterizing appearance and photometric properties from ground-truth images to provide stable guidance for enhancement. To bridge the gap between training with ground-truth references and inference without references, we propose reference-guided prior learning for underwater image enhancement (RPL-UIE), a two-stage teacher-student framework. The teacher network extracts stable priors from ground-truth images, while the student network takes only degraded images as input and learns to mimic the teacher's prior extraction capability. We further design Residual Prior Refinement Diffusion (RPRD) and Frequency-Aware Prior Residual Calibration (FPRC) to reduce the prior discrepancy between the teacher and student. RPRD progressively predicts corrections in the residual space, while FPRC preserves stable low-frequency residuals and selectively modulates high-frequency details. Experiments on multiple underwater image datasets show that RPL-UIE achieves competitive enhancement performance. For the engineering application of underwater visual perception, downstream object detection and instance segmentation experiments show that RPL-UIE improves visual quality while better preserving object structures and semantic content needed for reliable perception. Tests on real-world data collected by a custom-built remotely operated vehicle (ROV) further demonstrate its effectiveness and practical applicability.
Antibody-specific epitope prediction aims to identify which antigen residues are recognized by a given antibody, a task that depends on the three-dimensional complementarity between antibody CDRs and the antigen surface. Existing methods usually leverage PLM embeddings and inject structure through additional graph, surface, or point-cloud encoders, where the positional mechanism inside attention remains largely tied to one-dimensional sequence order. For proteins, the analogue of a token offset is not only sequence separation, but also the three-dimensional displacement between residues after folding. This raises a question, can folded residue geometry serve as the positional mechanism of attention itself? We propose Local-Frame Rotary Attention (LFRA), which expresses inter-residue displacements in backbone-defined local frames and injects them directly into rotary attention. This design preserves continuous directional geometry while ensuring invariance to independent $\mathrm{SE}(3)$ transformations. The code and dataset are available at https://github.com/better-fcl/lfra.
The HAL QCD method has been one of the powerful tools to extract hadron-hadron interactions directly from lattice QCD simulation data. In this paper, we aim at examining the effectiveness of the HAL QCD method by deriving a formula to calculate quantities in the HAL QCD method, such as the so-called R-correlators and HAL QCD local potentials, from the hadron-hadron scattering amplitudes within effective models. In this framework, we can judge whether the HAL QCD local potential, evaluated in the present formula, reproduces the properties of the original hadron-hadron interaction or not via the scattering amplitude, which is a solution of the Lippmann--Schwinger equation with the original hadron-hadron interaction as an input. In an analysis within a simple model of elastic scattering, we show that, when the original interaction is predominantly local, the HAL QCD local potentials quantitatively reproduce phase shifts of the hadron-hadron scatterings and correctly indicate the existence/absence of the bound state with its binding energy $\sim$ MeV. Higher-order corrections in the derivative expansion of the HAL QCD nonlocal potentials can provide a better description of the binding energies of the bound states. The lattice discretization and finite-volume effects of spacetime modify the results only slightly, as long as their scale is not comparable to the interaction range. Furthermore, we consider the $\bar{K} N$ potential in a bare to $\bar{K} N$ transition amplitude, which shows singular behavior around the origin in the recent HAL QCD results of the lattice QCD simulation data, and discuss the cause of such singular behavior in the HAL QCD method through our model analysis of the $\bar{K} N$ scattering.
Unbiased squared distance covariance and the Hilbert-Schmidt independence criterion (HSIC) are fourth-order U-statistics, yet U-centering evaluates them from pairwise arrays in $O(n^2)$ operations. We show that U-centering is exactly least-squares residualization after fitting additive endpoint effects. This analysis of variance (ANOVA) interpretation explains the zero row sums and the normalization through residual degrees of freedom. The same geometry gives regression representations of dependence and two-sample statistics, exact permutation variances, and relations among pooled and regression mean squares. For arrays indexed by $r$-element subsets and $n\ge2r$, higher-order U-centering removes all lower-order subset effects and projects onto a space of dimension $\binom{n}{r}-\binom{n}{r-1}$. For fixed symmetric square-integrable kernels evaluated on independent and identically distributed (i.i.d.) paired observations, we derive the residual covariance matrix, exact mean-squared errors for estimating the highest-order Hoeffding components, unbiased positive semidefinite (PSD) covariance estimates, and moment formulas under independence and permutation. The normalized residual inner product equals a direct unbiased estimator involving up to $2r$ observations, but can be evaluated in $O(n^r)$ operations for fixed $r$. For four-argument matching kernels, three matrix products yield exactly unbiased estimators of a fourth spectral moment of kernel cross-covariance in $O(n^3)$ arithmetic and $O(n^2)$ storage. A numerical illustration distinguishes dependence structures with equal HSIC and different spectral concentration.