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

A Graph-Based Conceptual Modeling Framework to Design for Human-Robot Coordination

Studies of human-robot interaction in dynamic and unstructured environments show that as more advanced robotic capabilities are deployed, the need for cooperative competencies to support collaboration with human problem-holders increases. Designing human-robot systems to meet these demands requires an explicit understanding of the work functions and constraints that shape the feasibility of alternative joint work strategies. Yet existing human-robot interaction frameworks either emphasize computational support for real-time execution or rely on static representations for design, offering limited support for reasoning about coordination dynamics during early-stage conceptual design. To address this gap, this article presents a novel computational framework for analyzing joint work strategies in human-robot systems by integrating techniques from functional modeling with graph-theoretic representations. The framework characterizes collective work in terms of the relationships among system functions and the physical and informational structure of the work environment, while explicitly capturing how coordination demands evolve over time. Its use in conceptual design is demonstrated through a case study in disaster robotics, which shows how the framework can be used to support early trade-space exploration of human-robot coordination strategies and to identify cooperative competencies that support flexible management of coordination overhead. These results show how the framework makes coordination demands and their temporal evolution explicit, supporting design-time reasoning about cooperative competency requirements and work demands prior to implementation.

cs.RO↗

Colloquium: A critique on van der Waals and two-dimensional magnets

Magnetic two-dimensional (2D) crystals were isolated about a decade ago, triggering a tremendous research activity worldwide. This colloquium raises a stiff question: what is really new about them? At first sight, they seem to be purer implementations of 2D spin models than traditional systems such as ultra-thin films. Yet, they partly realized their promises so far, and whether they give fresh perspectives on long-standing predictions in statistical physics is still an open question. Undoubtedly, they are uniquely amenable to electric-field effect, susceptible to mechanical deformation, and sensitive to moirés, for example. They represent interesting platforms for exploring, challenging, or simply revisiting a wide range of phenomena in condensed matter magnetism. This colloquium intends to offer a critical, yet not necessarily skeptical, overview of the field, clarifying what we believe could be unique with 2D magnets, related quasi-2D van der Waals magnets, and their heterostructures.

cond-mat.mtrl-sci↗

Optimality-Informed Neural Networks for Solving Parametric Optimization Problems

Many engineering tasks require solving families of nonlinear constrained optimization problems, parametrized in setting-specific variables. This is computationally demanding, particularly if solutions have to be computed across strongly varying parameter values, e.g., in real-time control or for model-based design. Thus, we propose to learn the mapping from parameters to the primal optimal solutions and to their corresponding duals using neural networks, giving a dense estimation in contrast to gridded approaches. Our approach, Optimality-Informed Neural Networks (OptINNs), combines (i) a KKT-residual loss that penalizes violations of the first-order optimality conditions under standard constraint qualification assumptions, and (ii) problem-specific output activations that enforce simple inequality constraints (e.g., box-type/positivity) by construction. This design reduces data requirements, allows the prediction of dual variables, and improves feasibility and closeness to optimality compared to penalty-only training. Taking quadratic penalties as a baseline, as previously proposed for this problem class in the literature, our method simplifies hyperparameter tuning and attains tighter adherence to optimality conditions. We evaluate OptINNs on different nonlinear optimization problems ranging from low to high dimensions and compare them with equally sized neural networks trained using the quadratic-penalty method. On small problems, OptINNs match a quadratic-penalty baseline in primal accuracy while additionally predicting dual variables with low error. On larger problems, OptINNs achieve lower constraint violations, lower primal error, and lower errors in the predicted costs. These results suggest that embedding feasibility and optimality into the network architecture and loss can make learning-based surrogates more accurate, feasible, and data-efficient for parametric optimization.

math.OC↗

Operational Calculus for the nth-Level Prabhakar Type Fractional Derivative with Applications

This study investigates the nth-level Prabhakar fractional derivative, a generalization encompassing some well-known fractional derivatives. We establish its fundamental properties, particularly its relationship with the corresponding Prabhakar fractional integral. Furthermore, we develop Mikusinski-type operational calculus for this derivative, providing a framework for solving differential equations involving this operator. To illustrate its application, we present analytical solutions of two problems: a fractional order ordinary differential equation and the time fractional heat equation, both of which include the nth-level Prabhakar derivative.

math.AP↗

Differentiable Principal-Value Inversion for Neural-Network Extraction of Generalized Parton Distributions

We present a neural-network method for reconstructing generalized parton distributions (GPDs) from Compton form factors (CFFs). The network represents quark singlet, nonsinglet, and gluon distributions at a common reference scale. Next-to-leading-order QCD evolution and hard-scattering coefficients connect these distributions to CFFs at the measured scales. Discrete symmetries are imposed exactly, and polynomiality is constrained for a finite set of Mellin moments while leaving their allowed coefficients free. In a noiseless closure test with 45 complex-CFF input positions, the reconstructed charge-weighted quark GPD has a relative $L^2$ error of $4.90\%$ over the evaluation domain. Real- and imaginary-CFF prediction errors at 512 kinematic positions excluded from the fit are $0.75\%$ and $2.75\%$. Tests using only real CFFs at 160 experimental coordinates give GPD errors of $0.75\%$ and $3.05\%$ for two network initializations with exact inputs; these increase to $32.7\%$ and $49.2\%$ for one fixed perturbation at the quoted experimental error scale. For experimentally extracted CFFs, we reconstruct GPDs from the mean of 32 smooth CFF replica functions and from two individual replicas. The resulting GPD shapes depend on both the input fluctuations and the number of optimization iterations. These results demonstrate a working NLO reconstruction method and quantify the contrast between exact-input recovery and reconstruction with uncertain inputs.

hep-ph↗

Normalized solutions of nonlinear magnetic Schrödinger equations on metric graphs

In this paper we first establish the theory of a magnetic Sobolev space $H^1_A(\mathcal{G},\mathbb{C})$ on metric graphs $\mathcal{G}$ and prove the self-adjointness of the associated magnetic Schrödinger operator. Then, in this setting, we investigate the existence and multiplicity of normalized solutions to nonlinear magnetic Schrödinger equations on compact metric graphs and on noncompact metric graphs with localized nonlinearities or nonlinearities acting on whole metric graphs, covering the mass-subcritical, mass-critical, and mass-supercritical cases.

math.AP↗

Dirac solitons in one-dimensional nonlinear Schrödinger equations

In this paper we study a family of one-dimensional stationary cubic nonlinear Schrödinger (NLS) equations with periodic potentials and linear part displaying Dirac points in the dispersion relation. By introducing a suitable periodic perturbation, one can open a spectral gap around the Dirac-point energy. This allows to construct standing waves of the NLS equation whose leading-order profile is a modulation of Bloch waves by means of the components of a spinor solving an appropriate cubic nonlinear Dirac (NLD) equation. We refer to these solutions as Dirac solitons. Our analysis thus provides a rigorous justification for the use of the NLD equation as an effective model for the original NLS equation.

math.AP↗

PointRAFT: 3D deep learning for high-throughput prediction of potato tuber weight from partial point clouds

Key phenotypic traits, such as crop size, volume, and weight, can be estimated non-destructively from point clouds. In practice, however, point clouds of crops are typically incomplete due to self-occlusion, leading to systematic errors when estimating these traits. To overcome this limitation, crop traits can be inferred directly from incomplete point clouds using deep learning-based regression networks. These networks, however, may perform suboptimally, because their predictions do not incorporate prior geometric knowledge of the crop. Such geometric knowledge is often available in structured settings, such as on a potato harvester, where the fixed distance between the camera and the conveyor belt allows tuber height to be derived from the point cloud. To exploit this geometric cue, we introduce PointRAFT, a high-throughput point cloud regression network that incorporates object height through a dedicated height embedding. We hypothesized that this height embedding improves tuber weight estimation from partial point clouds. To test this hypothesis, we collected 26,688 point clouds of 859 potato tubers on an operational harvester, spanning four cultivars and three growing seasons. On a test set of 5,254 point clouds representing 172 tubers, PointRAFT achieved a mean absolute error (MAE) of 11.7 g and a root mean squared error (RMSE) of 17.1 g, outperforming six point cloud regression networks without a height embedding. Requiring only 6.3 ms per point cloud for preprocessing and inference, PointRAFT is fast enough for high-throughput weight estimation on a commercial potato harvester. Beyond potato weight estimation, PointRAFT provides a versatile regression network applicable to a wide range of 3D phenotyping and robotic perception tasks. The code, network weights, and a subset of the dataset are publicly available at https://github.com/pieterblok/pointraft.

cs.CV↗

Nonparametric Bandits with Single-Index Rewards: Optimality and Adaptivity

Contextual bandits are a central framework for sequential decision-making, with applications ranging from recommendation systems to clinical trials. While nonparametric methods can flexibly model complex reward structures, they suffer from the curse of dimensionality. We address this challenge using a single-index model, which projects high-dimensional covariates onto a one-dimensional subspace while preserving nonparametric flexibility. We first develop a nonasymptotic theory for offline single-index regression for each arm, combining maximum rank correlation for index estimation with local polynomial regression. Building on this foundation, we propose a single-index bandit algorithm and establish its convergence rate. We further derive a matching lower bound, showing that the algorithm achieves minimax-optimal regret independent of the ambient dimension $d$, thereby overcoming the curse of dimensionality. We also establish an impossibility result for adaptation: without additional assumptions, no policy can adapt to unknown smoothness levels. Under a standard self-similarity condition, however, we construct a policy that remains minimax-optimal while automatically adapting to the unknown smoothness. Finally, as the dimension $d$ increases, our algorithm continues to achieve minimax-optimal regret, revealing a phase transition that characterizes the fundamental limits of single-index bandit learning.

math.ST↗

Separating the Wheat from the Chaff

We study a reputational cheap-talk environment in which a judge chooses between two speakers of unknown expertise, an expert and a quack. Both speakers seek to be selected, while the judge wishes to identify the expert. The best equilibrium for the judge features truth-telling by the expert, yet the judge favors speakers with more extreme messages. This bias toward extremism does not induce exaggeration, but instead sustains truthful communication. We characterize the quack's equilibrium messaging strategy, relating the degree to which it panders to the judge's prior to the state distribution, the speakers' initial reputations, and the judge's private knowledge of the state. We interpret these results in the context of two applications, the post-training of AI chatbots through human feedback and media competition.

econ.TH↗

Heraclitean Dialectical Concept Space

We introduce Heraclitean Dialectical Concept Spaces (HDCS), a topological framework for modelling stagewise structural change in systems of concepts. A stage consists of a nonempty concept set, a feasible family generating an external topology, and a neighbourhood assignment carrying additional relational structure. Neighbourhood overlap induces adjacency and channel ideals. Candidate emergence is represented by the CCER construction: an interaction profile, finite admissible cores, and anchored witnesses determine nonempty open candidate regions in uncovered remainder structure. Selected candidates may be reified as new atomic concepts at a later stage, while partial injective carry maps separately track persistence of existing identities. The resulting history space is obtained as a quotient of the disjoint union of stage spaces with the corresponding final topology. Product concept spaces extend the construction to cross-domain interaction. We derive support characterizations, mediated-interaction components, canonical CCER envelopes, monotonicity and impossibility criteria, product-space factorization, and invariance under concept-space isomorphism. Applications to monetary transformation, zero and representation, mammalian middle-ear evolution, and AI-related labour change illustrate the framework. HDCS is intended as a structural formalism rather than a causal or predictive theory of historical change.

physics.soc-ph↗

Utilizing Earth Foundation Models to Enhance the Simulation Performance of Hydrological Models with AlphaEarth Embeddings

Accurate prediction in ungauged basins (PUB) requires effective transfer across hydrologically diverse regions. While deep learning has advanced large-sample hydrological modeling, its cross-regional generalization depends in part on the static basin descriptors used to guide model behavior. Earth Foundation Models (EFMs) provide a promising alternative by learning environmental representations from multi-modal satellite data. In this study, we evaluate the 64-dimensional AlphaEarth Foundations (AEF) embeddings as a new form of static basin representation and assess their value for streamflow prediction under both in-sample (IS) and out-of-sample (OOS) settings using the CAMELS dataset. Results show that AEF embeddings offer higher OOS robustness than CAMELS attributes, despite nearly identical IS performance. Mutual-information analysis reveals statistical associations between AEF embeddings and conventional catchment attributes related to terrain, vegetation, and rooting characteristics. We further investigate similarity-based donor-basin selection for PUB using CAMELS attributes and AEF embeddings. Across 100 target basins, AEF static inputs generally improved PUB performance. With AEF inputs, similarity-based donor selection outperformed random selection for smaller donor pools, but its advantage diminished as pool size increased. Adding more donor basins did not consistently improve performance. Leave-one-cluster-out experiments showed AEF input benefits depended on basin partitioning, suggesting that transferability remains sensitive to the catchment conditions represented during training. Overall, this study demonstrates that Earth Foundation Model embeddings provide a transferable representation for PUB prediction and underscores the importance of basin representation quality and donor pool design, motivating future research toward unified hydrological foundation models.

cs.LG↗

Leveraging Soft Prompts for Privacy Attacks in Federated Prompt Tuning

Membership inference attacks (MIAs) pose a serious privacy threat in federated learning (FL). While MIAs have been extensively studied in standard FL, the recent shift toward federated fine-tuning introduces new and largely unexplored attack surfaces. In this work, we show that federated prompt-tuning, which adapts pre-trained foundation models using lightweight input prefixes, exposes a novel and effective vector for membership inference. We propose PromptMIA, a membership inference attack tailored to federated prompt-tuning, in which a malicious server introduces adversarially crafted prompts and exploits their updates during collaborative training to determine whether a target data point belongs to a client's private dataset. We formalize this threat via a security game and demonstrate that PromptMIA achieves consistently high attack advantage across diverse benchmark datasets, substantially outperforming current SOTA federated MIAs. We also provide a theoretical lower bound on the attack advantage that explains the observed empirical behavior. Finally, we show that existing MIA defenses are often ineffective against PromptMIA, highlighting the need for defense mechanisms specifically tailored to prompt-tuning in federated settings.

cs.LG↗

Cost scaling of MPS and TTNS simulations for 2D and 3D systems with area-law entanglement

Tensor network states are an indispensable tool for the simulation of strongly correlated quantum many-body systems. In recent years, tree tensor network states (TTNS) have been successfully used for two-dimensional systems and to benchmark quantum simulation approaches for condensed matter, nuclear, and particle physics. In comparison to the more traditional approach based on matrix product states (MPS), the graph distance of physical degrees of freedom can be drastically reduced in TTNS. Surprisingly, it turns out that, for large systems in $D>1$ spatial dimensions, MPS simulations of low-energy states are nevertheless more efficient than TTNS simulations. With a focus on $D=2$ and 3, the scaling of computational costs for different boundary conditions is determined under the assumption that the system obeys an entanglement (log-)area law, implying that bond dimensions scale exponentially in the interface area of the associated subsystems.

quant-ph↗

Forcing and interpolation in first-order hybrid logic with rigid symbols

In this paper, we establish an analogue of Craig Interpolation Property for a many-sorted variant of first-order hybrid logic. We develop a forcing technique that dynamically adds new constants to the underlying signature in a way that preserves consistency, even in the presence of models with possibly empty domains. Using this forcing method, we derive general criteria that are sufficient for a signature square to satisfy Craig interpolation property.

cs.LO↗

Connection of hypocoercivity and hypocontractivity via the Cayley transform

The concepts of hypocoercivity and hypocontractivity and their relationship are studied for semi-dissipative continuous-time and discrete-time evolution equations in a Hilbert space setting. New proofs for the characterization of the short-time decay of the solution from the initial value are presented, that in particular characterize the constants in the leading terms of the solution when expanded in time. It is shown that the hypocoercivity index is equal to the hypocontractivity index when the implicit midpoint rule (the Cayley transformation) is used for the discretization. Maximally coercive/contractive representations of hypocoercive and hypocontractive semi-dissipative systems are presented, as well as the effect of different representations on the error estimates for the numerical solution.

math.DS↗

Panning for Gold: Expanding Domain-Specific Knowledge Graphs with General Knowledge

Domain-specific knowledge graphs (DKGs) are critical yet often suffer from limited coverage compared to General Knowledge Graphs (GKGs). Existing tasks to enrich DKGs rely primarily on extracting knowledge from external unstructured data or completing KGs through internal reasoning, but the scope and quality of such integration remain limited. This highlights a critical gap: little systematic exploration has been conducted on how comprehensive, high-quality GKGs can be effectively leveraged to supplement DKGs. To address this gap, we propose a new and practical task: domain-specific knowledge graph fusion (DKGF), which aims to mine and integrate relevant facts from general knowledge graphs into domain-specific knowledge graphs to enhance their completeness and utility. Unlike previous research, this new task faces two key challenges: (1) high ambiguity of domain relevance, i.e., difficulty in determining whether knowledge from a GKG is truly relevant to the target domain , and (2) cross-domain knowledge granularity misalignment, i.e., GKG facts are typically abstract and coarse-grained, whereas DKGs frequently require more contextualized, fine-grained representations aligned with particular domain scenarios. To address these, we present ExeFuse, a neuro-symbolic framework based on a novel Fact-as-Program paradigm. ExeFuse treats fusion as an executable process, utilizing neuro-symbolic execution to infer logical relevance beyond surface similarity and employing target space grounding to calibrate granularity. We construct new datasets to establish the first standardized evaluation suite for this task. Extensive experiments demonstrate that ExeFuse effectively overcomes domain barriers to achieve superior fusion performance.

cs.AI↗

Hadronic tau decays at higher orders in QCD

We ask what the four known coefficients of the Adler function in massless QCD can support about the unknown coefficient $c_{5,1}$ of $a^5$. In fixed-order perturbation theory the Adler-to-moment map is triangular with unit diagonal; hence a multi-weight relative test of a common forecast reduces exactly to one absolute coefficient tolerance. For three complementary weights, a ten-percent withheld-order test requires $|\widehat c_{4,1}-c_{4,1}|\leq2.1509$ and resolves $c_{5,1}$ only to about $\pm24$. Direct Shanks/Padé continuation cannot reach the usual literature range without reversing the sign of its next defect. We therefore apply a cross-validated renormalon-closure (CVRC) protocol to a pure-power Beneke--Jamin-type Borel ansatz. CVRC calibrates and tests this declared structure; it is not a new renormalon model. The calibrated construction gives the conditional estimate $c_{5,1}=248\pm30\,(\mathrm{struct})\pm74\,(\mathrm{method})=248\pm80$. The band is nonstatistical, and a recursive test misses the known $c_{4,1}$ by $29.9\%$. Thus the result is a model-qualified estimate consistent with existing determinations, not evidence that four coefficients determine the fifth.

hep-ph↗