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

Pattern avoidance classes of parking permutations with fixed lucky sets

For a parking function, the resulting sequence after all cars have parked is called the associated parking permutation. For each parking function, cars that park in their preferred spot are called lucky cars. In this paper, we enumerate parking permutations that avoid a specified set of permutation patterns in $\mathfrak{S}_3$ and whose lucky cars are the first $k$ cars. Often, the enumeration simplifies to a product of a fraction with a binomial coefficient, recovering existing sequences in the OEIS. For two of the classes, the enumerations are new sequences.

math.CO↗
arXiv2026

CRISP: Constraint-Resolved Interactions between Subsystems for Predictive Whole-Body Cooperation

This paper presents a layered control framework that recasts high-dimensional system dynamics as a composition of dynamically interconnected subsystems, with dynamic dual-arm manipulation on the humanoid serving as a representative application. The humanoid is decomposed into a single rigid body (SRB) representing the torso and floating-base dynamic models representing the articulated arms and lower-body. The rigid connections between arm and torso and the closed kinematic chain formed between the end-effectors during cooperative manipulation are represented as holonomic constraints. The corresponding Lagrange multipliers parametrize the interaction wrenches transmitted at the shoulders and between the end-effectors. The high-level nonlinear model predictive control (NMPC) jointly optimizes the subsystem state trajectories, arm torques, ground reaction forces (GRFs), and interaction wrenches, enabling online wrench design and optimization while preserving the dynamic coupling among the independently modeled subsystems. The optimized arm torques are applied directly for cooperative dual-arm manipulation, whereas the prescribed GRFs are mapped to lower-body joint torque for whole-body coordination. We validate the proposed framework through numerical simulations and hardware experiments on a G1 humanoid robot. The results demonstrate optimal interaction wrenches consistent with simulated contact measurement, cooperative dual-arm trajectory tracking, and stable whole-body coordination while executing the NMPC in online manner.

cs.RO↗
arXiv2026

Cubic Optimization over Three Nonnegative Integers Is NP-hard

We prove that deciding whether an integer cubic polynomial takes a value at most one over three nonnegative integers is NP-hard. Hardness holds even when every feasible objective value is a positive integer, so every constructed instance has a finite, attained minimum. This establishes a sharp dimension boundary for the tractability of cubic integer optimization in fixed dimension. Our reduction from positive 1-in-3 satisfiability encodes Boolean constraints as modular conditions and uses an algebraic norm to construct a cubic objective whose minimum is one exactly for satisfiable formulas. The resulting six-parameter threshold language is NP-complete and admits short exponent certificates.

math.OC↗
arXiv2026

Satisficing as competitive Bayesian weighting: a minimal model of goal-directed choice under an unattained target

Animals and humans often do not maximize; they act relative to goals (aspiration levels) that are frequently not yet met. How can a goal that is not (yet) realized organize choice? Deacon (2012) calls such absence-referenced organization \emph{ententional}, and García-Valdecasas and Deacon (2024) argue that ends are best understood as constraints rather than as particular states. We examine this idea in a minimal formal setting: Risk-sensitive Satisficing (RS), a bandit learning rule that values each action by its share of past trials multiplied by its surplus or shortfall relative to an aspiration level. We show that RS can be rewritten as a Bayesian-like estimator, Attention Competitive Bayes (ACB), in which the aspiration level is the prior mean of every action and the finite budget of trials sets how strongly evidence can override it. Two consequences follow. First, actions that are no longer sampled are partially overridden by the goal rather than by past observations: their estimates relax toward the aspiration level without any data being discarded. This ``pseudo-forgetting'' distinguishes ACB from models with an explicit forgetting rate. Second, when the aspiration is unattainable, exploration does not settle; in Bernoulli bandit simulations, adjusting the aspiration level from evidence reduced regret (expected loss). ACB offers an analyzable model in which an unattained goal and a limited attentional resource jointly constrain behavior, and it yields testable predictions about how organisms revalue options they have abandoned.

cs.LG↗
arXiv2026

Upper and lower bounds for few-copy Gaussian tomography, and the absence of a fermionic warm regime

Chen, Mele, Mele and Preskill proved a crossover for bosonic Gaussian tomography: cold states need $Θ(m^3/ε^2)$ copies under single-copy or few-copy measurements, warm ones $Θ(m^2/ε^2)$. The author proved $Ω(m^3/ε^2)$ for adaptive single-copy tomography of mixed fermionic Gaussian states. This note shows the crossover has no fermionic counterpart and extends the fermionic bound to blocks of $k$ copies. There is no warm regime: on the quadratic Gibbs balls $β\|h\|_F\leβ_0$ of unknown Hamiltonian $h$, the single-copy rate is $Θ(m^3/ε^2)$ for every fixed $β_0>0$, at accuracies that resolve the ball, with a lower-bound constant independent of $β_0$. At the maximally mixed state a replicated-parameter Fisher budget gives $N>m^3/(8{,}553{,}600\,k\,ε^2)$ for blocks of at most $k$ copies and all $ε\le1/3600$; an exact formula for the maximal block Fisher information, via spinor tensor powers of $\mathfrak{so}(2m)$, shows that the budget $mt^2$ behind it is asymptotically attained for every fixed block size; whether $1/k$ is the true rate is open. Near the vacuum, block protocols need $Ω(m^3/(ε^2\min\{\sqrt k,m\}))$ copies, with no logarithm, via an exterior-power embedding of qudit tomography; parity superselection changes no rate, and number superselection costs nothing on number-conserving inputs. The embedding also carries upper bounds: a particle-number measurement followed by the $k$-copy qudit protocol of Nayak and Zhou attains the lower bound for every $k$ on number-conserving fermionic Gaussian states with bounded fugacity trace and on passive bosonic Gaussian states with bounded photon number, and a heterodyne stage that undoes displacement and squeezing extends this to all cold bosonic Gaussian states. This closes their $k$-entangled gap on the cold class; intermediate temperatures remain open.

quant-ph↗
arXiv2026

VREgo: Consumer VR Headsets for Learning Robot Manipulation from Egocentric Demonstrations

VREgo trains manipulation policies from demonstrations recorded on consumer VR headsets; we instantiate it with EgoKit on one such headset, the PICO 4 Ultra. On-device head and hand tracking and stereo object localisation allow the operator to begin a demonstration at the table. We adapt HumanEgo's preprocessing to estimate grasp thresholds per recording, update object positions after release, and propagate segmentation masks between keyframes. We evaluate policies in simulation on two tabletop tasks recorded by one operator. For cube placement, we compare PICO and Project Aria recordings of the same 41 layouts. With 40 training demonstrations, the PICO policies placed the cube on the tray in 67, 74, and 60 of 100 evaluation layouts across three training seeds. The corresponding Aria results were 73, 78, and 0. For a two-stage stacking task recorded with the PICO alone, the baseline placed the block on the tray in 94 of 100 layouts and met the end-of-episode criterion for both placements in two. In one diagnostic episode, repeated replanning deferred release beyond the eight executed steps. Demonstration replays also showed that the open gripper could displace the cube before grasping it. After adapting the training trajectories and adding task-specific execution rules that use simulator object positions, the system met both placement criteria in 93.8% of episodes across four evaluation noise seeds. The same 100 layouts informed rule development and evaluation. VREgo is available at https://vrego.chuange.org/.

cs.RO↗
arXiv2026

Clouded Representatives and Score Matching for Distributed Quantile Regression

Quantile regression is widely used in high-stakes applications where the data are distributed across many sites and the individual records cannot be shared. The existing distributed methods for quantile regression typically require homogeneous sites, large sites, or synchronous communication, which are rarely all satisfied in practice. In this paper, we propose a new method named cloudqr. Each site summarizes its observations by a few Gaussian clouds, each given by the size, center, and covariance of a group of observations, such that the clouds match the score of the raw data exactly. A central server then fits the quantile regression on the clouds from all sites. We establish the convergence of cloudqr under mild conditions. With simulation studies and two real-world applications, we demonstrate the superior performance of cloudqr over the existing distributed methods.

stat.ME↗
arXiv2026

Well-posedness and large deviations for 3D primitive equations with jumps

We establish the global pathwise well-posedness and a Freidlin--Wentzell large deviation principle for the three-dimensional viscous primitive equations driven by multiplicative Lévy noise represented by a compensated Poisson random measure. Under local Lipschitz and moment growth assumptions on the noise coefficient, we construct local martingale solutions and obtain a unique maximal pathwise solution with càdlàg trajectories in the $H^1$ energy space. Additional sixth-moment growth in $H^1$ and $L^6$ growth bounds on the baroclinic component of the noise yield global pathwise well-posedness. The proof combines the jump Itô formula with baroclinic and anisotropic energy estimates to rule out finite-time blow-up. Under further exponential integrability and structural assumptions on the noise coefficient, we establish a Freidlin--Wentzell large deviation principle in a strong path topology by the weak convergence approach.

math.AP↗
arXiv2026

Efficient Diffusion Policy Fine Tuning with Latent Noise Representation Bridging

Pre-trained diffusion and flow policies have emerged as powerful backbones for robotics, yet adapting them to novel data via reinforcement learning (RL) remains computationally expensive, sample inefficient and lacks theoretical guarantees. Prior approaches that fine-tune the initial noise bypass costly backpropagation through time but struggle with the "noise aliasing" problem: there does not exista natural link between the noise space value and the action space value. This paper resolves these challenges by introducing the Latent Noise Linear Markov Decision Process (LNL-MDP). We derive the Bridge Equation for LNL-MDPs which eliminates the noise aliasing problem by aligning values with a shared representation between the noise and the action space. Furthermore, our LNL-MDP fine tuning framework falls under the FineTuneRL theory with near-optimal guarantee. Leveraging these insights, we propose Latent Representation Bridging for Diffusion (LARBRID), an algorithm that efficiently learns the representation to optimize the initial distribution that steers the pre-trained model to act optimally in the environment. It yields up to 2-3$\times$ performance increases on challenging control problems across a diverse suite of robotic locomotion and manipulation tasks. Code can be found at: github.com/Maincode-Research/LARBRID.git.

cs.RO↗
arXiv2026

State-Feedback Passivity Control for Synchronous Machine Systems

The passivity of a generating station enables network stability to be established from conditions verified locally at each station. For synchronous machines, however, passivity can only be certified under conditions on the operating point, and these conditions fail under heavy loading and weak damping. This paper develops a state-feedback controller that enforces passivity using a storage battery connected at the terminal bus. A bilinear term arising from the product of the rotor-speed and stator-current deviations is treated as a bounded uncertainty, leading to robust positive-real conditions that can be enforced by a state feedback control designed using a single algebraic Riccati equation. The resulting controller guarantees passivity whenever the Riccati equation admits a positive-definite solution, with no separate condition on the operating point. Numerical examples show that existing conditions certify passivity only up to a fraction of the rated current, whereas the proposed state-feedback approach certifies it at the rated operating point of the machine.

eess.SY↗
arXiv2026

Graph Neural Networks for Resource Allocation in Integrated Sensing and Communication

In vehicular integrated sensing and communication (ISAC) networks, each service-provider vehicle uses a limited power budget to serve multiple sensing targets and communication receivers. Maximizing the communication sum-rate subject to sensing signal-to-interference-plus-noise ratio (SINR) constraints is nonconvex, and iterative optimization is costly to rerun for every network layout. This paper proposes a graph neural network (GNN)-based power allocation algorithm, termed GNN-ISAC. Concretely, GNN-ISAC addresses the aforementioned problem by considering two distinct edge types in the graph representation, one capturing the inter-provider interference, the other representing the intra-provider power-budget sharing. GNN-ISAC is trained without labels using a sensing-penalized sum-rate loss. We also adapt the weighted mean-square error minimization (WMMSE) algorithm to this problem by introducing a sensing-power reservation step. Simulation results show that GNN-ISAC achieves communication sum-rates close to WMMSE with low sensing-link violation rates and much less computation. It also outperforms an existing heterogeneous GNN and a channel-blind baseline, and generalizes to larger networks without retraining.

cs.LG↗
arXiv2026

Brave New Data: Pricing Expertise and Discovery

We study the procurement of verifiable evidence from an expert who privately assesses a binary state and chooses the direction and intensity of evidence acquisition. The buyer balances the ease of inducing discovery against its value for decisions beyond the expert's initial assessment. An optimal contract pays only for disclosed evidence, independently of the initial report. When acquisition is cheap, equal rewards for evidence of either state induce intensive search whose failure is informative. As costs rise, rewarding evidence of only one state becomes optimal despite the symmetry of the environment, reducing expected payments at the expense of decision accuracy.

econ.TH↗
arXiv2026

Degree profiles of uniform polynomial consequences: Linear lower bounds for Nullstellensatz and Polynomial Calculus

This paper proves asymptotically optimal linear degree lower bounds for Nullstellensatz and Polynomial Calculus, yielding a four-way polynomial-versus-exponential proof-size classification for uniform polynomial consequences over fields of positive characteristic. The size bounds use full, explicit coefficient lists, including zeros. Apart from a fixed finite initial range, exactly one of four cases occurs: $\mathrm T_1$, bounded degree; $\mathrm T_2$, degree at least linear in the universe size $n$; $\mathrm T_3$, constant degree on some residue classes and at least linear degree on the others; or $\mathrm T_4$, infinitely many recurring finite degrees, with bounded-degree subsequences and finite $Ω(n)$ peaks at arbitrarily large sizes. Thus the size patterns are polynomial bounds, exponential lower bounds, a periodic mixture, or polynomial subsequences with finite exponential peaks, respectively. Underivable targets have degree $\infty$, and both proof systems assign the same type. The result strengthens my 2008--2009 refutation classification and extends it to uniform consequences. The proof uses degree-preserving lifting with onset and period bounds linear in the degree. A common $p$-adic hardness spectrum describes the four types topologically. Distinguishing any two types is undecidable already for refutations. The linear degree bounds, four-way classification and pairwise undecidability results have been formalised and verified in Lean. The Lean formalisation, verification records and an accompanying tutorial are available in the supporting materials (https://doi.org/10.5281/zenodo.23965838).

cs.CC↗
arXiv2026

Testing the Pseudo-Dirac Nature of Atmospheric Neutrinos

Pseudo-Dirac neutrinos are characterized by extremely small mass-squared differences between two nearly degenerate, strongly-mixed, active-sterile states. These differences are associated with new very-long oscillation lengths and provide a probe of the nature of neutrinos. Atmospheric neutrinos can probe these oscillations as they allow access to a broad range of baseline distances, from tens of kilometers to the Earth's diameter. We investigate the sensitivity of an experiment like the Deep Underground Neutrino Experiment (DUNE) to the pseudo-Dirac nature of neutrinos through measurements of the atmospheric neutrino flux. We concentrate on the modifications to the atmospheric neutrino energy and angular spectra induced by one new oscillation frequency associated with the $ν_3$ state and determine the parameter space that can be probed with atmospheric neutrinos at a DUNE-like detector. We also comment on the sensitivity of these measurements to the sub-leading "solar" oscillations, which are also characterized by a relatively small mass-squared difference.

hep-ph↗
arXiv2026

Scenario Augmentation for Rare Financial Events via Multimodal Latent Diffusion

Extreme market movements are scarce, heterogeneous, and difficult to learn from imbalanced historical data. We study whether generative augmentation can improve the representation and classification of CVaR-labeled rare financial windows while retaining the complementary structure exposed by different financial representations. Each market window is expressed through three aligned modalities: structured market variables, a spatial image transformation, and a sequence of portfolio returns. Separate variational autoencoders map the modalities to compact latent codes, and a class-conditional diffusion model learns their joint latent distribution. Conditional Value-at-Risk (CVaR) provides a risk-aware definition of rare windows and directs generation toward the minority regime. Across four window lengths on U.S. technology equities, the resulting synthetic samples improve fidelity and support relative to tabular diffusion baselines. An XGBoost classifier trained with real and generated samples attains AUCs of 0.953 - 0.960, exceeding both tabular generators and the corresponding real-only baselines. These results show that multimodal latent generation can provide useful synthetic stress scenarios for data-scarce financial risk models.

cs.LG↗
arXiv2026

Encoding and Propagation of Grammatical Number in Large Language Models

Sparse autoencoders (SAEs) have become an increasingly popular means of translating Large Language Model (LLM) hidden state vectors into a human-comprehensible list of features or symbols. As such, SAEs may provide insight into an LLM's knowledge representation and internal ``mental'' grammar - topics of pragmatic interest for mechanistic interpretation of AI behavior and of theoretical interest for the study of in silico representations of human language. Language models with fewer than 100M parameters, trained on small corpora, nonetheless exhibit strong grammatical competence and discourse coherence, despite producing content of limited reliability. We use SAEs that we trained on one such model (Pythia-70M) to conduct an in-depth examination of how a single grammatical phenomenon, number agreement, is represented and processed in an LLM. We demonstrate the mechanism and the methodology by which SAEs can be used to find and propagate ``plural noun'', ``plural matrix subject'', and ``generate a plural verb'' features which cause the LLM to produce plural verb forms such as ``are'', ``do'', or ``have'' instead of ``is'', ``does'', and ``has'' in response to prompts such as ``the men in the park''. We show that intervening to remove these features from the hidden states of plural subject noun tokens causes the model to produce singular verbs instead, and vice versa. We also show that corresponding ``singular noun'' and ``generate a singular verb'' features are not as effective for this task. This asymmetry suggests that Pythia-70m makes use of a privative representation of grammatical number in English. These findings replicated with larger LLMs Gemma-2-2b and Llama-3.1-8b yielded similar results. Our main contribution is a novel approach to the use of SAEs to understanding how LLMs encode human language that addresses a number of technical and methodological challenges.

cs.CL↗
arXiv2026

The 10 Mpc Volume

Accurate distances are now known for most unobscured galaxies brighter than MB = -13 mag within 10 Mpc from Hubble Space Telescope observations of their luminous stars. Complementary mid-infrared observations with the Wide-field Infrared Explorer provide global stellar mass estimates for these galaxies. Consequences are detailed knowledge of the properties of the Universe in a volume-limited space. Galaxies tend to lie within groups, within filaments. The filaments experience bulk motions in response to well defined gravitational attractors such as the Virgo Cluster and repulsors such as the Local Void. The groups are inevitably dominated by a single galaxy, with 10 galaxies between one and nine Mpc containing most of the stellar mass within the sample. There is a curious lack of galaxies in an interval fainter than these dominant galaxies. The dominant galaxies in halos tend to have gas reservoirs and ongoing star formation, a property extending to dwarf galaxies in separate halos. Secondary galaxies in halos are frequently gas depleted and lack evidence of star formation. With one notable exception, all galaxies in the complete sample have well formed red giant branches indicative of early-onset star formation.

astro-ph.GA↗
arXiv2026

Unifying First-Order Coherence, Concurrence, and Bell Correlations in Three-Flavor Neutrino Oscillations

Neutrino oscillations provide a natural setting for investigating the quantum character of flavor conversion and the distribution of quantum resources over macroscopic distances. Here, we study exact relations among purity-based first-order coherence, pairwise concurrence, and the maximal Clauser-Horne-Shimony-Holt (CHSH) value in coherent three-flavor neutrino oscillations. By expressing the evolving neutrino as a three-qubit single-excitation state, we derive the generally mixed two-qubit reductions and show that the squared first-order coherence of each flavor mode and its two associated squared concurrences sum to unity. Furthermore, a closed two-branch relation is obtained, showing that the maximal CHSH value of any reduced pair is determined by its average first-order coherence and concurrence. The branch structure follows from the correlation-tensor spectrum and yields exact conditions for CHSH violation. For the vacuum parameters and propagation ranges considered, electron preparation gives weak CHSH violations in electroncontaining pairs, while muon preparation produces a dominant utau pair with substantially stronger concurrence and Bell correlations. The comparison also identifies the thirdflavor contribution responsible for the different locations of concurrence and CHSH maxima. These results clarify the distribution of quantum correlations during flavor evolution and provide a basis for extensions to coherent matter propagation and wave-packet-induced mixed states.

quant-ph↗