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 325 records · Page 18Linked to original sources

arXiv2026

Anti-successors and anti-replicators, Manin products and Koszul duality

We develop an operadic theory of anti-splitting and anti-replicating for binary operads. For a binary operad $\opd$, we define its anti-bisuccessor $\ABSu(\opd)$ and anti-trisuccessor $\ATSu(\opd)$. Each generating operation is recovered as the negative sum of two or three split operations, yielding canonical operad morphisms $\opd\to\ABSu(\opd)$ and $\opd\to\ATSu(\opd)$. For binary quadratic operads, these constructions are described by Manin black products: \[ \ABSu(\opd)\cong\antiprelie\bullet\opd, \qquad \ATSu(\opd)\cong\antipostlie\bullet\opd. \] Dually, we also introduce the canonical quadratic anti-duplicator and anti-triplicator, together with their combinatorial counterparts defined by labeled planar binary trees. We show that they coincide precisely under a full-support condition. As applications, we obtain anti-dupli-com and anti-dupli-Lie algebras. We also display an example in which the two constructions differ. Furthermore, we establish the Koszul duality relations \[ \widehat{\ADup}(\opd^!) \cong\ABSu(\opd)^!, \qquad \widehat{\ATrip}(\opd^!) \cong\ATSu(\opd)^!, \] providing an effective description of the canonical quadratic anti-duplicator in terms of the Manin white product. The framework recovers known constructions, including anti-dendriform, anti-pre-Lie and anti-pre-Poisson algebras, and produces further examples and Koszul dual pairs.

math.RA↗

arXiv2026

Decoupled Safety Control: A Safety-Control Algorithm for Training-Free Safety Guidance

Diffusion models achieve strong performance in text-to-image generation, but they can still produce unsafe content. Training-free safety guidance offers a practical inference-time alternative that intervenes during sampling without modifying model weights. However, many existing safeguards still rely on a coupled safety-control chain. In this chain, the same unsafe condition simultaneously specifies what should be avoided, indicates the current unsafe signal, constructs the intervention, and determines when that intervention remains active. This coupling can work when unsafe factors are explicit, but becomes less reliable once harmful and benign semantics are entangled in the current generation state, often leaving residual unsafe content or unnecessarily degrading benign-generation quality or prompt fidelity. We address this problem with Decoupled Safety Control (DSC), a plug-in safety-control algorithm for training-free safety guidance. DSC reformulates training-free safety guidance as an explicit state-dependent control process, so the executed intervention is determined from the current generation state rather than inherited directly from a single unsafe condition. Experiments on standard safety benchmarks show that DSC improves representative latent- and text-space safeguards, achieving stronger unsafe-content suppression while preserving benign-generation quality and maintaining efficient inference.

cs.CV↗

arXiv2026

Quotients of Calabi-Yau Generalized Fermat manifolds and Log Enriques varieties

Enriques manifolds and Log Enriques varieties have attracted a lot of interest in the last years. In this paper we study Enriques manifolds and Log Enriques varieties that are respectively étale and quasi-étale quotients of Calabi-Yau manifolds. We produce several examples by studying quotients of generalized Fermat manifolds of Calabi-Yau type. These are complete intersections of Fermat type manifolds all of the same degree and were described recently by Hidalgo, Hughes and Leyton-Álvarez. We describe all their quotients by a fixed-point-free automorphism. Most of the quotients are Log Enriques varieties or Calabi-Yau varieties with terminal singularities. In one case we get a family of Enriques manifolds which is a subfamily of a family described previously by Boissière, Camere and the third author, which is one of the two so far known families of Enriques manifolds of Calabi-Yau type. This family is obtained as an étale quotient of order two of a Calabi-Yau manifold complete intersection of quadrics, the other family is the Hilbert scheme of $n$ points on an Enriques surface. In the last part of the paper we show that these two families are different by computing their second Betti numbers, which are equal to one and eleven respectively.

math.AG↗

arXiv2026

Sensing-Assisted OFDM with Index Modulation: A Waveform for Optical Wireless Integrated Communication and Localisation

This paper proposes sensing-assisted OFDM with index modulation (SA-OFDM-IM) for joint communication and localisation over optical wireless systems. In SA-OFDM-IM, a multilayer frequency-domain architecture partitions each layer's admissible subcarriers into disjoint communication and distributed sensing-pilot subsets, applying group-wise index modulation (IM) within the communication subset. A constrained sensing-to-communication energy allocation jointly minimises average bit-error rate (BER) and delay-based localisation root mean square error (RMSE) under a minimum power-domain margin, enabling low-complexity, ordered-energy detection of both sensing and communication subcarriers without exhaustive maximum-likelihood search. Sensing tones are aggregated across the frame to reconstruct the channel frequency response, yielding the line-of-sight (LoS) delay tap and phase-compensated LoS gain for multilateration and, via the proposed delay-aided received signal strength (RSS) refinement. Simulation results indicate that SA-OFDM-IM can achieve up to 5 dB lower SNR requirement in BER and up to three orders of magnitude lower channel-estimation error than DC-biased optical OFDM, while the RSS estimator removes the SNR-independent error floors of delay-only and hybrid-RSS benchmarks to attain sub-delay-bin range and position accuracy, remaining robust under random known and unknown receiver orientations.

eess.SP↗

arXiv2026

Single-stage joint diffusion of sky images and clear-sky index for ultra-short-term irradiance forecasting: what the frame-to-irradiance stage discards

Sky-image irradiance forecasting is dominated by a two-stage design: a video-prediction model forecasts future sky frames, and a separately trained regressor maps those frames to irradiance. We propose a single-stage alternative that co-denoises the future sky-image and clear-sky-index sequences in one diffusion process, with an irradiance head that reads a denoised preview of the future sky rather than the noised diffusion state. The forecaster needs no regression stage and runs from sky images and deterministic covariates alone, with no measured irradiance at its input --- the situation at a site with a camera but no pyranometer. On 2023 SIRTA data the model reaches a pooled RMSE of $104.1$~W\,m$^{-2}$ and a skill score of $+0.34$ on the continuous ranked probability score (CRPS) against smart persistence, higher than any of twelve baseline configurations, and retains that skill when retrained on 2021--2022. On the model's own generated frames, a separately trained regressor reaches $150.6$~W\,m$^{-2}$ against the joint head's $104.1$: roughly $46$~W\,m$^{-2}$ that joint training recovers and a cascade discards. Point accuracy is competitive but not best: a deterministic network that also reads measured irradiance attains $97.6$~W\,m$^{-2}$. The model's CRPS skill leads that network's in every sky-condition tertile, by $0.26$ to $0.30$.

cs.CV↗

arXiv2026

Optical Coherent Combining in Multi-Aperture Free-Space Receivers through Atmospheric Turbulence via Optically Computed Alignment Gradients

Multi-aperture reception yields a coherent-combining gain only if the aperture fields are aligned in phase and polarization, which in a downlink must track the atmosphere. We show that the exact gradients of the combined power with respect to the phase and polarization angle of each branch can be measured optically, before photodetection: a passive tap of the combined field, split one-to-$N$, is the common self-reference and, interfered with a branch tap on a 3 dB coupler, yields the phase gradient; with a $90^\circ$ Faraday rotator and a static $π/2$ offset it yields the polarization gradient. Each branch then runs fixed-gain phase and polarization loops, without division, perturbation, dither, reference laser, or per-branch receiver, as analog integrators or a low-rate processor. We derive the gradients, their optical readout, and the loop stability condition. A phase-only simulation with identical disturbances, a common 100 MS/s clock, and retuning of every scheme compares the loop with centralized and distributed stochastic parallel gradient descent and with dither locking at the OSNR where ideal four-beam combining reaches the 28 GBd DP-QPSK FEC threshold. Up to $10^5$ rad/s of multi-tone disturbance the loop keeps the lowest residual loss, at most $5.6\times10^{-4}$ dB for four beams and 13 to 160 times below the alternatives, and reaches $90\%$ efficiency in 0.6 $μ$s for up to 64 beams. The taps leave the receiver OSNR unchanged and every retuned scheme stays within 0.06 dB of ideal combining, whereas brief dither misalignments cost 0.14 dB. Up to $10^7$ rad/s it preserves the ideal-combining bit-error ratio for four, sixteen, and sixty-four beams while every baseline crosses the threshold and slips carrier recovery. In fades it loses $4\times10^{-3}$ dB where the others lose 0.2 to 0.9 dB. Assumptions and limitations are stated; experimental validation remains open.

physics.optics↗

arXiv2026

High-frequency water megamasers as precision probes of black holes, galaxies and cosmology: A case for a next-generation sub-mm/mm interferometer

Water megamasers in the circumnuclear disks of active galactic nuclei are among the most precise probes of supermassive black holes. VLBI imaging of 22 GHz disk masers has provided geometric distances to independently constrain $H_0$, accurate black hole mass measurements, and sub-parsec views of accretion disk geometry. ALMA has opened a new window into water maser transitions in the sub-mm/mm regime, which trace temperatures, densities and disk regions that are inaccessible at 22 GHz, and can be observed at higher spatial resolution and with less free-free absorption. However, current detections are limited to a few bright extragalactic masers in nearby galaxies. We present the case for a next-generation sub-mm/mm interferometer - ALMA2040 - that would open a new parameter space for maser studies. We show that a 10-fold increase in line sensitivity and three times longer baselines compared to ALMA would transform sub-mm maser studies from a few bright detections into a population-level probe, delivering black hole masses and geometric distances from sub-mm masers alone, independent of and complementary to 22 GHz measurements. Integrated into a VLBI array, ALMA2040 would resolve maser disks out to $>$160 Mpc, extend maser black hole masses into the largely untested intermediate-mass regime, reveal magnetic field structure in accretion disks through polarization studies, and test systematics in $H_0$ measurements.

astro-ph.IM↗

arXiv2026

Symmetry and Monotonicity for Subcritical Fractional Hartree Equations with Singular Sets of Zero Capacity

We study positive weak singular solutions of the subcritical fractional Hartree equation \[ (-Δ)^s u = \left( \int_{\mathbb{R}^N\setminusΓ} \frac{u^p(y)}{|x-y|^μ}d y \right)u^q \quad\text{in }\mathbb{R}^N\setminusΓ, \] where $0 2s$, $0<μ<N$, and $Γ\subset\{x_1=0\}$ is compact with zero $(s,2)$-capacity. For solutions with a nonremovable singular point on $Γ$, we prove hyperplane symmetry and strict transverse monotonicity under global Lebesgue integrability conditions. For $N\ge2$, we also prove these conclusions under upper bounds on $p$ and $q$, using only the integrability required for weak solutions. We also establish local regularity and construct solutions with logarithmic singularities along a line segment.

math.AP↗

arXiv2026

No Escape from the Quadratic Barrier: Adaptive Attacks on Linear $\ell_2$ Sketches

Linear sketches estimate properties of high-dimensional inputs from a fixed low-dimensional projection. At constant accuracy, randomized Euclidean-norm sketches, notably the Johnson-Lindenstrauss transform, support exponentially many nonadaptive queries in sketch dimension $k$. For adaptive black-box queries, known privacy-based defenses guarantee $\widetildeΩ(k^2)$ and it remained open whether stronger guarantees were possible. Prior attacks used more queries, restricted the responder, or provided weaker failure guarantees. We show that the quadratic guarantee is optimal up to logarithmic factors, even with a computationally unbounded responder that knows the matrix, attack algorithm, history, and query distributions and may change its randomized rule after every query. For every fixed hidden $A\in\mathbb{R}^{k\times n}$ with $n>40k$ and target accuracy $α\in (0,1]$, our black-box attack uses $O(k+α^2k^2\log(2+α^2k))$ queries in $\widetilde{O}(1+α^2k)$ adaptive rounds to force, with constant probability, a round in which a constant fraction of answers have $Ω(α)$ relative error. This fraction can be taken arbitrarily close to one half. Our results clarify the limits of defending a fixed compressive linear representation by adapting the prediction rule.

cs.DS↗

arXiv2026

P2N: Reusing Deep Representations for Greater Effective Depth

Mathematical problem solving and autonomous agents are increasingly important applications of language models, demanding stronger reasoning capabilities. Computational depth is a key resource for such reasoning, but adding model layers increases both training and inference costs, while test-time scaling incurs substantial additional inference computation. We introduce P2N (Previous to Next), which reuses the previous token's deep representations, already available during generation, to increase effective computational depth with negligible decoding overhead. Specifically, P2N adds the previous token's deep hidden state to the current token's shallow representation, allowing subsequent layers to build on previously completed deep computation. This recurrence extends effective computational depth across tokens, while introducing only a single vector addition per decoding step. We train the recurrence using parallel Jacobi updates restricted to a middle-layer core. Experiments with Qwen-style models show that, at 1.5B parameters, P2N improves GSM8K accuracy by over 10 percentage points under both zero-shot and few-shot prompting, with nearly unchanged decoding latency. The benefits also extend to language modeling and average performance on general downstream benchmarks. on general downstream benchmarks.

cs.CL↗

arXiv2026

Hardness Amplification for Approximate Nash Equilibrium with Constantly Many Players

For every fixed integer $k\ge2$ and fixed parameters $δ,\varepsilon\in(0,1)$ and $η\in[0,1)$, we give a deterministic polynomial-time reduction from finding a $δ$-approximate Nash equilibrium ($δ$-ANE) in a $k$-player game $G$ with payoffs in $[0,1]$ to finding an $(\varepsilon,η)$-weak approximate Nash equilibrium (weak ANE) in a game $H$ with $C$ players, where $C$ depends only on $k,δ,\varepsilon,η$, independently of the action-set sizes. The constructed game is symmetric with binary payoffs. The games and strategies are represented by complete payoff tables and probabilities, with rational entries encoded in binary. Consequently, the existence of deterministic polynomial-time weak-ANE algorithms at one fixed pair of parameters $\varepsilon\in(0,1),η\in[0,1)$ for every fixed number of players would give deterministic polynomial-time $δ$-ANE algorithms at every fixed approximation parameter $δ\in(0,1)$ and number of players. Under deterministic PPAD-ETH, combining our reduction with Rubinstein's hardness result (FOCS 2016) for bimatrix games at some fixed approximation parameter $γ_0\in(0,1)$ rules out a deterministic algorithm for $(\varepsilon,η)$-weak ANE with running time $N^{O((\log N)^{1-ξ})}$ for any fixed $ξ\in(0,1)$. This holds for every fixed $\varepsilon\in(0,1)$ and $η\in[0,1)$ at a suitable constant number $C$ of players, where $N$ is the binary encoding length of the constructed game's complete payoff table.

cs.GT↗

arXiv2026

Can componentwise D7-tadpole cancellation yield a chiral Standard Model? A no-go for smooth O7$^{-}$ orientifolds

We study a componentwise prescription for D7-tadpole cancellation that includes, as a special case, the local cancellation used in several moduli-stabilisation constructions. We first consider smooth Type IIB Calabi--Yau orientifolds with O7$^{-}$ components of pairwise distinct divisor classes. For each component class $[R_i]$, eight covering-space D7-branes are distributed among smooth irreducible representatives of that class in an orientifold-compatible way. Each component sector may therefore contain several orthogonal, unitary, or symplectic parent factors. We show that these configurations cannot supply the chiral Standard Model through their perturbative D7 spectrum. Without symplectic factors, the entire parent algebra of each component sector embeds into $\mathfrak{so}(8)$ and cannot contain commuting color and weak-isospin subalgebras. Disjointness excludes massless fermions connecting different component sectors, so quark-doublet fermions are absent. Configurations containing symplectic factors require a separate argument: massless hypercharge, together with the same disjointness, forces the net quark-doublet chirality to vanish. Both arguments allow admissible D7 gauge backgrounds and diagonal gauge embeddings, with no restriction on $h^{1,1}_{-}(X)$. We then allow repeated O7 classes, whose D7 sectors can have larger parent groups but necessarily have zero net chirality for both Abelian and non-Abelian gauge backgrounds. We also extend the obstruction to mixed allocations with Whitney remainders supporting no continuous gauge group. We give a geometric condition under which the tadpole forces purely local cancellation. For a specified finite set of allowed D7 support classes, a separate test identifies component sectors in which the tadpole forces componentwise cancellation. We discuss applications to toric constructions and axion potentials.

hep-th↗

arXiv2026

On Continuous Wavelet Transform of Complex Radon Measures on $\mathbb{R}^{d}$

This paper investigates a necessary and sufficient condition for a measurable function on $\mathbb{R}^{\times} \times \mathbb{R}^{d}$ to be the continuous wavelet transform of a complex Radon measure on $\mathbb{R}^{d}$ under suitable regularity conditions on the wavelets. We investigate various integrability properties of the wavelet transform of complex Radon measures. We define a new norm on the collection of such functions and show that it is isometrically isomorphic to the Banach algebra of complex Radon measures under convolution. We show a wavelet inversion formula for measures, in a restricted sense. Under additional hypothesis, we provide a reconstruction formula for the measure of closed rectangles in $\mathbb{R}^d$ using wavelet transforms. We have included supporting examples to substantiate these assumptions.

math.FA↗

arXiv2026

OGLE-2013-BLG-1125/MOA-2013-BLG-584: Discovery of a gas giant orbiting an M dwarf

We report the discovery and characterization of a planetary system in the microlensing event OGLE-2013-BLG-1125/MOA-2013-BLG-584. We analyze photometric data from OGLE and MOA surveys, as well as LCO, $μ$FUN, and Mindstep follow-up telescopes to model the microlensing light curve. We also used data from the Keck II telescope collected in 2018 to obtain additional constraints on the lensing system. We found a Saturn-mass planet of mass $M_{\rm p}=105\pm13 \ M_\oplus$ orbiting a low-mass host star $M_{\rm L}=0.139\pm0.011 \ M_\odot$ at $1.00\pm0.08$ kpc from Earth. This discovery adds to the small sample of giant planets orbiting low-mass stars and provides constraints on planet formation theories.

astro-ph.EP↗

arXiv2026

Memory before Goal: Role of Pre-History Memory for Humanoid Loco-Manipulation

Humanoid loco-manipulation in dynamic scenes is non-Markovian: cues vanish as objects change or are hidden, or leave the view as the robot turns and walks, yet whole-body vision-language-action (VLA) policies see only the present. We present WholeBodyMem, an object-guided perceptual memory that keeps the pre-history of object events seen before the robot acts on its goal. SAM3 tracks the task objects, and their events causally select key frames within an adaptive budget, which the action expert reads by cross-attention together with object tokens encoding appearance, geometry and time. We also contribute HuMeGo, a humanoid memory benchmark with six simulated and six real-world Unitree G1 tasks. Keeping the right frames rather than more frames, WholeBodyMem surpasses memoryless and uniform-memory baselines, raising its base policy's success from 29.1% to 72.6% in simulation and from 36.7% to 88.3% on the real robot, while also improving the standard SIMPLE tasks (70.2% to 86.9%).

cs.RO↗

arXiv2026

A consistent neutrino determination of the low-energy weak mixing angle

The weak mixing angle, $\sin^2θ_W$, is a fundamental parameter of the Standard Model and a sensitive probe of electroweak physics across various energy scales. At low momentum transfer, the Standard Model prediction approaches a well-defined low-energy plateau, providing a target for precision tests of the electroweak theory. At the lowest momentum transfer, atomic parity violation (APV) in cesium provides one of the most precise determinations of the weak mixing angle. Here, we review and update the status of this determination and compare it with other available probes. We then consistently reanalyze low-energy neutrino scattering data and combine the resulting determinations from coherent elastic scattering (CE$ν$NS) and neutrino-electron scattering. The complementary sensitivity of these processes to electroweak couplings enables a neutrino-based determination of the low-energy weak mixing angle, accounting for electroweak radiative corrections and relevant theoretical uncertainties. Our global analysis yields $\sin^2θ_W^{\rm low}(ν\,\text{data}) = 0.232\pm 0.006$. We assess the consistency and relative impact of the individual neutrino measurements and discuss the prospects for future CE$ν$NS and neutrino-electron scattering experiments to improve the precision of this determination. Our analysis provides an independent test of the Standard Model at low momentum transfer, complementary to that provided by atomic parity violation.

hep-ph↗

arXiv2026

A sharp mass-volume inequality on Einstein manifolds and ADM mass

Let $(M^n,g), n\geq 4$ be a close Einstein manifold with positive scalar curvature and $G$ be the Green function of the conformal Laplacian. The ADM mass of the asymptotically flat metric $\hat g:=G^{4/(n-2)} g$ is an important geometric invariant. When either $n=5$ or $n\geq 6$ with Weyl vanishing condition, we prove a mass formula, generalizing Gursky-Malchiodi's formula in dimension $4$. An important step is an extension of Viaclovsky's Green function expansion in higher dimensions. Next we prove a sharp inequality related to the volume radius and the mass for Einstein manifolds. Finally we present two applications. First, we prove a mass gap theorem for Einstein manifolds. Second, for a volume collapsing family of normalized Einstein $n$-manifolds $(M_i,g_i)$ (satisfying the Weyl vanishing condition when $n\geq 6$), we prove that the mass sequence $m(\widehat{g_i})$ blows up uniformly as $i\to\infty$. This in particular applies to Collins-Székelyhidi's family of Sasaki-Einstein metrics $g_i$ on $\mathbb{S}^5$, and to the recent $4$-dimensional examples of T. Ozuch.

math.DG↗

arXiv2026

When Statisticians Can Also Be AI Engineers, What Could We Build?

Statistical software makes methods widely available. Good statistical work, however, requires understanding the question, how the data were collected, and what conclusions the evidence can support. As AI agents make data analysis accessible to people without statistical training, this reasoning should be built into the systems themselves. Our review of selected AI agents for data analysis and study design points to a gap in documented support for scientific inquiry with users at runtime. In this paper, we advocate designing domain-specific interactive harnesses in which statistical principles guide proactive inquiry: agents recognize missing information that could change an analysis, ask questions users may not know to raise, and use the answers to guide or revise analytical decisions. Two practical entry points illustrate how statisticians can begin building: an implemented causal-consulting skill within an existing agent environment and Model Forge, a custom harness for interactive model and algorithm development. These design examples connect statistical principles to choices about context, memory, tools, and interfaces, and motivate evaluation of both computational correctness and the scientific consequences of interaction. We conclude with a broader interdisciplinary research agenda on adaptive human-agent interaction, including selective information acquisition, evolving user preferences, and evaluation under uncertainty.

stat.OT↗