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 1,117 records · Page 62Linked to original sources

arXiv2026

Sensitivity Analysis of Cryo-Electron Microscopy Reconstructions via the Log-Likelihood Hessian

Cryo-electron microscopy (cryo-EM) is a technique in structural biology which is used to produce high-resolution 3D reconstructions of molecules. One common step in the cryo-EM pipeline involves ab-initio single-particle reconstruction (SPR). This is a type of inverse-problem which takes as input a collection of 2D-images -- each a projection of a molecule from an unknown viewing-angle -- and attempts to reconstruct the 3D-volume representing the underlying molecular density. Most methods for solving SPR search for a solution which optimizes a posterior likelihood of generating the observed image-data, given the reconstructed volume. Within this framework, it is natural to study the Hessian of the log- likelihood: the eigenvectors and eigenvalues of the Hessian determine how the likelihood changes with respect to perturbations in the solution, which can give insight into the sensitivity of the solution to aspects of the input, such as the orientation distribution of image viewing-angles. In this paper, we describe a simple strategy for estimating the smallest eigenvalues and eigenvectors (i.e., the 'softest modes') of the Hessian of the log-likelihood for the ab-initio single-particle reconstruction problem. This strategy involves rewriting the log-likelihood as a 3D-integral. Once we have estimated the softest modes, we can use them to determine which parts of the reconstructed volume are trustworthy, and which are unreliable, and how this unreliability might depend on the data-set and the imaging parameters. We believe that this kind of analysis can be used alongside more traditional strategies for sensitivity analysis, as well as in other applications, such as free-energy estimation.

q-bio.QM↗

arXiv2026

Learning Optimal Lattice Vector Quantizers for End-to-end Neural Image Compression

It is customary to deploy uniform scalar quantization in the end-to-end optimized Neural image compression methods, instead of more powerful vector quantization, due to the high complexity of the latter. Lattice vector quantization (LVQ), on the other hand, presents a compelling alternative, which can exploit inter-feature dependencies more effectively while keeping computational efficiency almost the same as scalar quantization. However, traditional LVQ structures are designed/optimized for uniform source distributions, hence nonadaptive and suboptimal for real source distributions of latent code space for Neural image compression tasks. In this paper, we propose a novel learning method to overcome this weakness by designing the rate-distortion optimal lattice vector quantization (OLVQ) codebooks with respect to the sample statistics of the latent features to be compressed. By being able to better fit the LVQ structures to any given latent sample distribution, the proposed OLVQ method improves the rate-distortion performances of the existing quantization schemes in neural image compression significantly, while retaining the amenability of uniform scalar quantization. Code is available at: https://github.com/xzhang9308/OLVQ.

eess.IV↗

arXiv2026

Reliably Learn to Trim Multiparametric Quadratic Programs via Constraint Removal

In a wide range of applications, we are required to rapidly solve a sequence of convex multiparametric quadratic programs (mp-QPs) on resource-limited hardwares. This is a nontrivial task and has been an active topic for decades in control and optimization communities. Observe that the main computational cost of existing solution algorithms lies in addressing many linear inequality constraints, though their majority are redundant and removing them will not change the optimal solution. This work learns from the results of previously solved mp-QP(s), based on which we propose novel methods to reliably trim (unsolved) mp-QPs via constraint removal, and the trimmed mp-QPs can be much cheaper to solve. Then, we extend to trim mp-QPs of model predictive control (MPC) whose parameter vectors are sampled from linear systems. Importantly, both online and offline solved mp-QPs can be utilized to adaptively trim mp-QPs in the closed-loop system. We show that the number of linear inequalities in the trimmed mp-QP of MPC decreases to zero in a finite timestep, which also can be reduced by increasing offline computation. Finally, simulations are performed to demonstrate the efficiency of our trimming method in removing redundant constraints.

math.OC↗

arXiv2026

From multitype branching to multitype coalescents and back: Genealogies, duality and examples

We establish new connections between multitype $Λ$-coalescents and multitype continuous state branching processes (CSBPs) through duality with a $Λ-$Wright-Fisher frequency process, and a homeomorphism between the spaces of the two classes of processes. The approach relies on a sequential sampling procedure for the frequency process of multitype CSBPs and provides an interpretation of multitype $Λ-$coalescents as the local genealogies of multitype CSBPs which gives further insight into different approaches to generalise $Λ-$coalescents to the multitype setup. As an application of the homeomorphism, we introduce and discuss multitype Beta-coalescents as the local genealogy of multitype $α$-stable branching processes.

math.PR↗

arXiv2026

Mean and Variance Estimation Complexity in Arbitrary Distributions via Wasserstein Minimization

Parameter estimation is a fundamental challenge in machine learning, crucial for tasks such as neural network weight fitting and Bayesian inference. This paper focuses on the complexity of estimating translation $\boldsymbolμ \in \mathbb{R}^l$ and shrinkage $σ\in \mathbb{R}_{++}$ parameters for a distribution of the form $\frac{1}{σ^l} f_0 \left( \frac{\boldsymbol{x} - \boldsymbolμ}σ \right)$, where $f_0$ is a known density in $\mathbb{R}^l$ given $n$ samples. We highlight that while the problem is NP-hard for Maximum Likelihood Estimation (MLE), it is possible to obtain $\varepsilon$-approximations for arbitrary $\varepsilon > 0$ within $\text{poly} \left( \frac{1}{\varepsilon} \right)$ time using the Wasserstein distance.

cs.LG↗

arXiv2026

Search Trees on Trees via LP

We consider the problem of computing optimal search trees on trees (STTs). STTs generalize binary search trees (BSTs) in which we search nodes in a path (linear order) to search trees that facilitate search over general tree topologies. Golinsky proposed a linear programming (LP) relaxation of the problem of computing an optimal static STT over a given tree topology. He used this LP formulation to compute an STT that is a $2$-approximation to an optimal STT, and conjectured that it is, in fact, an extended formulation of the convex-hull of all depths-vectors of STTs, and thus always gives an optimal solution. In this work we study this LP approach further. We show that the conjecture is false and that Golinsky's LP does not always give an optimal solution. To show this we use what we call the ``normals method''. We use this method to enumerate over vertices of Golinsky's polytope for all tree topologies of no more than 8 nodes. We give a lower bound on the integrality gap of the LP and on the approximation ratio of Golinsky's rounding method. We further enumerate several research directions that can lead to the resolution of the question whether one can compute an optimal STT in polynomial time.

cs.DS↗

arXiv2026

Stochastic Optimal Control with Measurable Coefficients and Applications

We consider fully non-linear stochastic optimal control problems with measurable coefficients and (local) uniformly elliptic diffusion. Using the theory of $L^p$-viscosity solutions, we show existence of an $L^p$-viscosity solution $v\in W_{\rm loc}^{2,p}$ of the Hamilton-Jacobi-Bellman (HJB) equation, which, in turn, is also a strong solution (i.e. it satisfies the HJB equation pointwise a.e.). We are then led to prove verification theorems, providing necessary and sufficient conditions for optimality. These results allow us to construct optimal feedback controls and to characterize the value function as the unique $L^p$-viscosity solution of the HJB equation. To the best of our knowledge, these are the first results for fully non-linear stochastic optimal control problems with measurable coefficients. We use the theory developed to solve a stochastic optimal control problem arising in economics within the context of optimal advertising.

math.OC↗

arXiv2026

Marginal-constrained entropy accumulation theorem

We derive a novel chain rule for a family of channel conditional entropies, covering von Neumann and sandwiched Rényi entropies. In the process, we show that these channel conditional entropies are equal to their regularized version, and more generally, additive across tensor products of channels. For the purposes of cryptography, applying our chain rule to sequences of channels yields a new variant of Rényi entropy accumulation, in which we can impose some specific forms of marginal-state constraint on the input states to each individual channel. This generalizes a recently introduced security proof technique that was developed to analyze prepare-and-measure QKD with no limitations on the repetition rate. In particular, our generalization yields ``fully adaptive'' protocols that can in principle update the entropy estimation procedure during the protocol itself, similar to the quantum probability estimation framework.

quant-ph↗

arXiv2026

Automated Exploit and Security Test Generation: A Systematic Literature Review

Static analysis techniques are often insufficient to determine whether a reported security vulnerability is exploitable and actually poses a real security risk to a software application. Dynamic analysis addresses this limitation by executing the target application with carefully crafted inputs that trigger or reproduce a given vulnerability. Over the past two decades, automatic exploit generation (AEG) and automatic security test generation (ASTG) have emerged as active research areas in cybersecurity and software engineering. This paper demystifies the field by establishing consistent terminology and presenting a systematic literature review (SLR) of research published in the last two decades. Starting from an initial set of 3,309 publications obtained from academic literature search engines, we selected and analyzed 71 papers comprising 67 distinct studies. We systematically compare existing AEG and ASTG approaches with respect to (i) the targeted software and vulnerability types, (ii) the generated artifacts, (iii) the underlying generation techniques and tools employed, (iv) the required inputs, (v) the evaluation methodologies, and (vi) implementation and tool availability.

cs.CR↗

arXiv2026

ENFORCE: Nonlinear Constrained Learning with Adaptive-depth Neural Projection

Ensuring neural networks adhere to domain-specific constraints is crucial for addressing safety and trustworthiness while also enhancing inference accuracy. Despite the nonlinear nature of most real-world tasks, the majority of existing methods are limited to affine (equality) or convex (inequality) constraints. We introduce ENFORCE, a neural network architecture that uses an adaptive projection module (AdaNP) to enforce nonlinear equality and inequality constraints in the predictions up to a specified tolerance $\varepsilon$, and exactly in the affine-in-$y$ case. For affine constraint sets, we prove that the associated projection mapping is non-expansive (1-Lipschitz), ensuring stable gradient propagation. For nonlinear constraints, we establish local convergence analysis under standard regularity conditions. We evaluate ENFORCE on multiple tasks, including function fitting, real-world engineering case studies, and learning optimization problems. For the latter, we introduce a class of scalable optimization problems as a benchmark for nonlinear constrained learning. In the benchmarks, the predictions of our architecture satisfy nonlinear equality and inequality constraints up to a prescribed tolerance $\varepsilon$, while maintaining scalability with tractable computational complexity at training and inference time.

cs.LG↗

arXiv2026

Achieving adaptivity and optimality for multi-armed bandits using Exponential-Kullback Leibler Maillard Sampling

We study the problem of $K$-armed bandits with reward distributions belonging to a one-parameter exponential distribution family. In the literature, several criteria have been proposed to evaluate the performance of such algorithms, including Asymptotic Optimality, Minimax Optimality, Sub-UCB, and variance-adaptive regret bound. Thompson Sampling-based and Upper Confidence Bound-based algorithms have been employed to achieve some of these criteria. However, none of these algorithms simultaneously satisfy all the aforementioned criteria. In this paper, we design an algorithm, Exponential Kullback-LeiblerMaillard Sampling (abbrev. Exp-KL-MS), that achieves multiple optimality criteria simultaneously, including Asymptotic Optimality, minimax ratio with a $\sqrt{\ln (K)}$ factor, Sub-UCB, and a variance-adaptive regret bound. Our algorithm design follows the Minimum Empirical Divergence framework~\citep{honda2011asymptotically,maillard2011apprentissage}, with the exploration probability of arm $a$ proportional to $\text{exp}\left(-L(N_{t-1, a}) \text{KL}(\hatμ_{t-1, a}, \max_{a'} \hatμ_{t-1, a'})\right)$, where $L(\cdot)$ is an inverse temperature function, $N_{t-1, a}$ is the number of times arm $a$ has been pulled before time $t$, $\hatμ_{t-1, a}$ is the empirical mean of arm $a$ before time $t$, and $\text{KL}(\cdot, \cdot)$ is the Kullback-Leibler divergence between two distributions in the one-parameter exponential distribution family. Our analysis allows different choices of inverse temperature function $L(k)$. We also provide numerical simulations demonstrating the effectiveness of our algorithms.

cs.LG↗

arXiv2026

On quaternionic analysis and a certain generalized fractal-fractional $ψ$-Fueter operator

This paper introduces a fractal $ψ$-Fueter operator in the quaternionic context inspired by the concepts of proportional derivative and Hausdorff derivative ({fractal derivative}) of a function with respect to a fractal measure. Moreover, we establish the corresponding Stokes and Borel-Pompeiu formulas associated to this generalized fractal $ψ$-Fueter operator with respect to a vector valued function induced by truncated exponential functions.

math.CV↗

arXiv2026

ENACT-Heart -- ENsemble-based Assessment Using CNN and Transformer on Heart Sounds

ENACT-Heart is a two-branch ensemble for heart-sound classification. A Vision Transformer (ViT) processes spectrogram images, while a convolutional neural network (CNN) processes visualizations of waveforms and spectral centroids derived from the same recordings. The branch predictions are combined by a weighted average with fixed, input-independent weights. On the PASCAL heart-sound dataset, the ensemble achieved an accuracy of 97.52%, compared with 93.88% for the ViT and 95.45% for the CNN. The ensemble achieved a macro-F1 of 0.94 and recall of 0.74 for extra heart sounds. On this dataset, late fusion improved accuracy and macro-F1 relative to both individual branches.

cs.SD↗

arXiv2026

Factorization in deep inelastic scattering at Björken limit: Reduction to (1+1)D integrable models

We propose a Sine-Gordon description of the longitudinal sector probed in small-$x$ deep inelastic scattering on an effective string world sheet. Integrability gives nonperturbative access to the leading small-$x$ behavior through exact form factors. We test the proposal against combined HERA data with their published correlated uncertainties. In the window $Q^2>1\,\mathrm{GeV}^2$, $x\le0.01$, $y<0.3$, local powers describe the final reduced cross sections with $χ^2/\mathrm{dof}=71.811/77$ across 19 virtuality slices. Matching the measured exponent $γ(Q^2)$ to the exact Sine-Gordon power defines the scale-dependent effective coupling through $β^2(Q^2)/π=16/[3-γ(Q^2)]$. A bounded crossover with illustrative limit $C=0.431$ is compatible with the data; the compact HERA-I $F_2$ surface fit gives $123.608/106$. We also evaluate the fixed-coupling three-particle normalization, obtaining $g_3(\infty)=0.589320245$, verify numerical convergence independently, and derive its monotonicity and asymptotic approach. The proposed QCD correspondence is distinct from these exact-model and truncated-spectral results: identifying the collective world-sheet field, electromagnetic-current matching, and scale evolution remains an open problem.

hep-ph↗

arXiv2026

DeepSTEP: Simultaneous Tracking and Estimation of Pose for Animals and Humans

Maintaining a consistent identity across video frames while estimating pose is crucial for downstream tasks such as behavior analysis and action recognition, yet existing pipelines largely decouple tracking and pose estimation. Top-down methods rely on per-frame detections followed by identity association, leading to increased computational cost and error propagation, whereas bottom-up approaches often struggle to preserve identity reliably in multi-instance settings. To address these limitations, we introduce DeepSTEP (STEP), a Transformer-based framework for joint tracking and pose estimation across diverse animal species and humans. STEP unifies localization, identity maintenance, and keypoint estimation into a single model, eliminating the need for per-frame detections or post hoc matching. Our approach leverages discriminative model weight prediction to propagate target identity across frames while predicting anatomically meaningful keypoints. Discriminative model prediction typically requires predefined target states. In contrast, STEP assumes only an initial bounding box in the first frame, removing the need for explicit keypoint initialization. This is enabled by two components: Gaussian Map Soft Prediction (GMSP) and Offset Map Regression Adapter (OMRA), which allow direct keypoint prediction and simplify inference. Starting from the initial bounding box, STEP tracks the subject and estimates its pose in subsequent frames. We train and evaluate STEP on datasets spanning multiple species, demonstrating strong performance and greater efficiency than existing methods. By jointly modeling tracking and pose, STEP provides an effective and scalable solution.

cs.CV↗

arXiv2026

Towards Energy- and QoS-aware Load Balancing for 5G Advanced: Leveraging O-RAN to Achieve Sustainability and Energy Efficiency

The increasing energy consumption of next-generation mobile networks necessitates the adoption of autonomous and energy-aware management strategies. This article proposes a novel adaptive solution leveraging the Open Radio Access Network (O-RAN) architecture to optimize energy efficiency while maintaining Quality of Service (QoS). The proposed approach introduces a hierarchical O-RAN-aligned control framework in which a Non-Real-Time RAN Intelligent Controller (Non-RT RIC) periodically computes energy-aware policies from long-term historical data, while a Near-Real-Time RIC enforces those policies through per-User Equipment (UE) handover actions on a sub-second timescale. We formulate a joint energy- and QoS-aware load balancing problem as a Mixed-Integer Non-Linear Programming (MINLP) model. This model optimizes UE association across E2 Nodes to minimize transmission power and autonomously deactivate underutilized cells, while satisfying strict QoS constraints. To validate the proposed solution, we deploy it in an experimental environment that simulates massive sports events. Experimental results demonstrate 72% energy savings over a 24-hour trace and sub-second handover delays (0.123-0.204 s/UE), confirming the solution's feasibility for autonomous and sustainable 5G Advanced networks. This work provides guidelines for deploying energy-efficient strategies in O-RAN environments and underscores the potential of adaptive solutions for sustainable mobile communications.

cs.NI↗

arXiv2026

The Linear Programming Approach to Partially Identified Models

In many partially identified models, sharp bounds on structural or causal parameters are values of linear programs (LPs) with estimated coefficients. We introduce a debiased penalty estimator of the LP value. It is pointwise root-n-consistent whenever the population feasible set is nonempty and bounded. Although no estimator is uniformly consistent over the unrestricted collection of distributions, ours retains a one-sided guarantee: the extent to which it can overestimate a sharp lower bound vanishes uniformly. Under a condition ruling out weak identification of the bound, it is also uniformly consistent. We develop two inference procedures exploiting LP structure: a simple pointwise procedure with exact asymptotic coverage, and a uniformly valid procedure. In simulations calibrated to Holmes (2011), our estimator avoids the anticonservative bias of unregularized benchmark estimators and the conservativeness of the set expansion estimator. Both inference procedures deliver reliable coverage, small excess length, and orders-of-magnitude computational gains over test-inversion benchmarks.

econ.EM↗

arXiv2026

A Closer Look at Dynamic Scene Graph Generation In the Era of Multimodal Large Language Models

Dynamic Scene Graph Generation (DSGG) aims to capture objects and their evolving relations in videos. Despite recent progress, the practicality and quality of generated scene graphs remain limited compared to the rapid advances in Multimodal Large Language Models (MLLMs). In this work, we revisit DSGG from two fundamental perspectives: task setup and model design. From the task setup perspective, we identify two key limitations of the current recall-oriented evaluation protocol: (i) a severe precision-recall trade-off, and (ii) uninformative and redundant relation generation. To better assess practical usefulness, we introduce five additional metrics that provide a more comprehensive evaluation of the quality of generated dynamic scene graphs. From the model design perspective, we explore directly using MLLMs for scene graph generation and establish a strong MLLM-based DSGG baseline through three design changes. First, we replace the conventional bottom-up pipeline with a top-down reason-then-locate strategy. Second, we reformulate frame-wise dynamic graphs as Temporal Relation Set (TRS) prediction, improving both efficiency and performance. Third, we introduce Importance-Aware Finetuning (IAF) to encourage more relevant and diverse relation generation. Extensive experiments on Action Genome, VidVRD, and PVSG show that our approach consistently achieves state-of-the-art performance.

cs.CV↗