https://arxiv.org/api/At3DqQg4d1VTfhnxvLlMuaV8//g 2026-04-13T02:15:32Z 3075 465 15 http://arxiv.org/abs/2501.06699v1 2025-01-12T03:32:12Z

Much has been discussed about how Large Language Models, Knowledge Graphs and Search Engines can be combined in a synergistic manner. A dimension largely absent from current academic discourse is the user perspective. In particular, there remain many open questions regarding how best to address the diverse information needs of users, incorporating varying facets and levels of difficulty. This paper introduces a taxonomy of user information needs, which guides us to study the pros, cons and possible synergies of Large Language Models, Knowledge Graphs and Search Engines. From this study, we derive a roadmap for future research.

2025-01-12T03:32:12Z Aidan Hogan Xin Luna Dong Denny Vrandečić Gerhard Weikum http://arxiv.org/abs/2501.05318v1 2025-01-09T15:39:39Z

The report is devoted to the concept of creating block-recursive matrix algorithms for computing on a supercomputer with distributed memory and dynamic decentralized control.

2025-01-09T15:39:39Z 6 paged 2019 Computer Science and Information Technologies (CSIT), Yerevan, Armenia, 2019, pp. 112-115 Gennadi Malaschonok 10.1109/CSITechnol.2019.8895255 http://arxiv.org/abs/2501.03381v1 2025-01-06T20:55:59Z

Complex systems are characterized by nonlinear dynamics, multi-level interactions, and emergent collective behaviors. Traditional analyses that focus solely on pairwise interactions often oversimplify these systems, neglecting the higher-order interactions critical for understanding their full collective dynamics. Recent advances in multivariate information theory provide a principled framework for quantifying these higher-order interactions, capturing key properties such as redundancy, synergy, shared randomness, and collective constraints. However, two major challenges persist: accurately estimating joint entropies and addressing the combinatorial explosion of interacting terms. To overcome these challenges, we introduce THOI (Torch-based High-Order Interactions), a novel, accessible, and efficient Python library for computing high-order interactions in continuous-valued systems. THOI leverages the well-established Gaussian copula method for joint entropy estimation, combined with state-of-the-art batch and parallel processing techniques to optimize performance across CPU, GPU, and TPU environments. Our results demonstrate that THOI significantly outperforms existing tools in terms of speed and scalability. For larger systems, where exhaustive analysis is computationally impractical, THOI integrates optimization strategies that make higher-order interaction analysis feasible. We validate THOI accuracy using synthetic datasets with parametrically controlled interactions and further illustrate its utility by analyzing fMRI data from human subjects in wakeful resting states and under deep anesthesia. Finally, we analyzed over 900 real-world and synthetic datasets, establishing a comprehensive framework for applying higher-order interaction (HOI) analysis in complex systems.

2025-01-06T20:55:59Z 22 pages, 6 figures Laouen Belloli Pedro Mediano Rodrigo Cofré Diego Fernandez Slezak Rubén Herzog http://arxiv.org/abs/2101.03482v3 2025-01-03T15:43:40Z

We define a new type of ideal basis called the proper basis that improves both Gröbner basis and Buchberger's algorithm. Let $x_1$ be the least variable of a monomial ordering in a polynomial ring $K[x_1,\dotsc,x_n]$ over a field $K$. The Gröbner basis of a zero-dimensional polynomial ideal contains a univariate polynomial in $x_1$. The proper basis is defined and computed in the variables $\tilde{\bm{x}}:=(x_2,\dotsc,x_n)$ with $x_1$ serving as a parameter in the algebra $K[x_1][\tilde{\bm{x}}]$. Its algorithm is more efficient than not only Buchberger's algorithm whose elimination of $\tilde{\bm{x}}$ unnecessarily involves the least variable $x_1$ but also Möller's algorithm due to its polynomial division mechanism. This is corroborated by a series of benchmark testings herein. The proper basis is in a modular form and neater than Gröbner basis and hence reduces its coefficient swell problem. It is expected that all the state of the art algorithms improving Buchberger's algorithm over the last decades can be further improved if we apply them to the proper basis.

2021-01-10T06:29:49Z 15 pages. The length of the previous version is shortened to 15 pages in its current form Sheng-Ming Ma http://arxiv.org/abs/2501.00563v1 2024-12-31T17:49:53Z

We present a new Python package called "motives", a symbolic manipulation package based on SymPy capable of handling and simplifying motivic expressions in the Grothendieck ring of Chow motives and other types of $λ$-rings. The package is able to manipulate and compare arbitrary expressions in $λ$-rings and, in particular, it contains explicit tools for manipulating motives of several types of commonly used moduli schemes and moduli stacks of decorated bundles on curves. We have applied this new tool to advance in the verification of Mozgovoy's conjectural formula for the motive of the moduli space of twisted Higgs bundles, proving that it holds in rank 2 and 3 for any curve of genus up to 18 and any twisting bundle of small degree.

2024-12-31T17:49:53Z 19 pages, 2 figures. The code of the library described in the paper is publicly hosted at https://github.com/CIAMOD/motives Daniel Sanchez David Alfaya Jaime Pizarroso http://arxiv.org/abs/2412.20973v1 2024-12-30T14:24:54Z

For the sake of reliability, the kernels of Interactive Theorem Provers (ITPs) are generally kept relatively small. On top of the kernel, additional symbols and inference rules are defined. This paper presents an analysis of how kernel extension reduces the size of proofs and impacts proof checking.

2024-12-30T14:24:54Z The paper was presented in the student session of the European Summer School in Logic, Language, and Information (ESSLLI) in 2016 Shuai Wang http://arxiv.org/abs/2412.20332v1 2024-12-29T03:19:21Z

In this paper, we tackle the parametric complete multiplicity problem for a univariate polynomial. Our approach to the parametric complete multiplicity problem has a significant difference from the classical method, which relies on repeated gcd computation. Instead, we introduce a novel technique that uses incremental gcds of the given polynomial and its high-order derivatives. This approach, formulated as non-nested subresultants, sidesteps the exponential expansion of polynomial degrees in the generated condition. We also uncover the hidden structure between the incremental gcds and pseudo-remainders. Our analysis reveals that the conditions produced by our new algorithm are simpler than those generated by the classical approach in most cases. Experiments show that our algorithm is faster than the one based on repeated gcd computation for problems with relatively big size.

2024-12-29T03:19:21Z Simin Qin Bican Xia Jing Yang http://arxiv.org/abs/2403.06294v3 2024-12-28T17:40:48Z

There are two main barriers to using large language models (LLMs) in clinical reasoning. Firstly, while LLMs exhibit significant promise in Natural Language Processing (NLP) tasks, their performance in complex reasoning and planning falls short of expectations. Secondly, LLMs use uninterpretable methods to make clinical decisions that are fundamentally different from the clinician's cognitive processes. This leads to user distrust. In this paper, we present a multi-agent framework called ArgMed-Agents, which aims to enable LLM-based agents to make explainable clinical decision reasoning through interaction. ArgMed-Agents performs self-argumentation iterations via Argumentation Scheme for Clinical Discussion (a reasoning mechanism for modeling cognitive processes in clinical reasoning), and then constructs the argumentation process as a directed graph representing conflicting relationships. Ultimately, use symbolic solver to identify a series of rational and coherent arguments to support decision. We construct a formal model of ArgMed-Agents and present conjectures for theoretical guarantees. ArgMed-Agents enables LLMs to mimic the process of clinical argumentative reasoning by generating explanations of reasoning in a self-directed manner. The setup experiments show that ArgMed-Agents not only improves accuracy in complex clinical decision reasoning problems compared to other prompt methods, but more importantly, it provides users with decision explanations that increase their confidence.

2024-03-10T19:47:00Z Shengxin Hong Liang Xiao Xin Zhang Jianxia Chen http://arxiv.org/abs/2312.16210v2 2024-12-26T21:53:05Z

This paper builds and extends on the authors' previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier Elimination (QE). These topics are at the heart of symbolic computation and were first implemented in computer algebra systems decades ago, but have recently received renewed interest as part of the ongoing development of SMT solvers for non-linear real arithmetic. First, we consider the use of iterated univariate resultants in traditional CAD, and how this leads to inefficiencies, especially in the case of an input with multiple equational constraints. We reproduce the workshop paper [Davenport and England, 2023], adding important clarifications to our suggestions first made there to make use of multivariate resultants in the projection phase of CAD. We then consider an alternative approach to this problem first documented in [McCallum and Brown, 2009] which redefines the actual object under construction, albeit only in the case of two equational constraints. We correct an unhelpful typo and provide a proof missing from that paper. We finish by revising the topic of how to deal with SMT or Real QE problems expressed using rational functions (as opposed to the usual polynomial ones) noting that these are often found in industrial applications. We revisit a proposal made in [Uncu, Davenport and England, 2023] for doing this in the case of satisfiability, explaining why such an approach does not trivially extend to more complicated quantification structure and giving a suitable alternative.

2023-12-23T17:32:45Z Submitted to Mathematics in Computer Science Mathematics in Computer Science, volume 19, article number 12, Springer, 2025 James H. Davenport Matthew England Scott McCallum Ali K. Uncu 10.1007/s11786-025-00606-4 http://arxiv.org/abs/2412.19287v1 2024-12-26T17:19:56Z

In this work, we introduce a semi-algebraic model for automatic parallelization of perfectly nested polynomial loops, which generalizes the classical polyhedral model. This model supports the basic tasks for automatic loop parallelization, such as the representation of the nested loop, the dependence analysis, the computation of valid schedules, as well as the transformation of the loop program with a valid schedule.

2024-12-26T17:19:56Z Changbo Chen http://arxiv.org/abs/2412.18294v1 2024-12-24T09:02:57Z

This paper presents an advanced method for addressing the inverse kinematics and optimal path planning challenges in robot manipulators. The inverse kinematics problem involves determining the joint angles for a given position and orientation of the end-effector. Furthermore, the path planning problem seeks a trajectory between two points. Traditional approaches in computer algebra have utilized Gröbner basis computations to solve these problems, offering a global solution but at a high computational cost. To overcome the issue, the present authors have proposed a novel approach that employs the Comprehensive Gröbner System (CGS) and CGS-based quantifier elimination (CGS-QE) methods to efficiently solve the inverse kinematics problem and certify the existence of solutions for trajectory planning. This paper extends these methods by incorporating smooth curves via cubic spline interpolation for path planning and optimizing joint configurations using shortest path algorithms to minimize the sum of joint configurations along a trajectory. This approach significantly enhances the manipulator's ability to navigate complex paths and optimize movement sequences.

2024-12-24T09:02:57Z 16 pages Yusuke Shirato Natsumi Oka Akira Terui Masahiko Mikawa http://arxiv.org/abs/2412.18143v1 2024-12-24T03:55:24Z

Graphs are the most suitable structures for modeling objects and interactions in applications where component inter-connectivity is a key feature. There has been increased interest in graphs to represent domains such as social networks, web site link structures, and biology. Graph stores recently rose to prominence along the NoSQL movement. In this work we will focus on NOSQL graph databases, describing their peculiarities that sets them apart from other data storage and management solutions, and how they differ among themselves. We will also analyze in-depth two different graph database management systems - AllegroGraph and Neo4j that uses the most popular graph models used by NoSQL stores in practice: the resource description framework (RDF) and the labeled property graph (LPG), respectively.

2024-12-24T03:55:24Z Monografias em Ciência da Computação, PUC-Rio Veronica Santos Bruno Cuconato http://arxiv.org/abs/2412.17280v1 2024-12-23T05:03:13Z

This study presents a comprehensive mathematical framework for modeling the flight dynamics of a six-degree-of-freedom fixed-wing aircraft as a rigid body with three control surfaces: rudder, elevators, and ailerons. The framework consists of 35 differential-algebraic equations (DAEs) and requires 30 constants to be specified. It supports both direct and inverse flight dynamics analyses. In direct dynamics, the historical profiles of control inputs (deflection angles and engine thrust) are specified, and the resulting flight trajectory is predicted. In inverse dynamics, the desired flight trajectory and an additional constraint are specified to determine the required control inputs. The framework employs wind axes for linear-momentum equations and body axes for angular-momentum equations, incorporates two flight path angles, and provides formulas for aerodynamic force and moment coefficients. Key advantages include improved computational efficiency, elimination of Euler angle singularities, and independence from symmetry assumptions with regard to the aircraft's moments of inertia. The model also accounts for nonlinear air density variations with altitude, up to 20 km above mean sea level, making it suitable for accurate and efficient flight dynamics simulations.

2024-12-23T05:03:13Z 22 pages, 9 figures, 3 tables, published journal article, open access, peer-reviewed International Journal of Advanced and Applied Sciences. 12(1), 30-51 (2025) Osama A. Marzouk 10.21833/ijaas.2025.01.004 http://arxiv.org/abs/2411.00031v2 2024-12-23T02:57:14Z

Solving algebra problems (APs) continues to attract significant research interest as evidenced by the large number of algorithms and theories proposed over the past decade. Despite these important research contributions, however, the body of work remains incomplete in terms of theoretical justification and scope. The current contribution intends to fill the gap by developing a review framework that aims to lay a theoretical base, create an evaluation scheme, and extend the scope of the investigation. This paper first develops the State Transform Theory (STT), which emphasizes that the problem-solving algorithms are structured according to states and transforms unlike the understanding that underlies traditional surveys which merely emphasize the progress of transforms. The STT, thus, lays the theoretical basis for a new framework for reviewing algorithms. This new construct accommodates the relation-centric algorithms for solving both word and diagrammatic algebra problems. The latter not only highlights the necessity of introducing new states but also allows revelation of contributions of individual algorithms obscured in prior reviews without this approach.

2024-10-29T08:16:49Z 22pages,5figures Xinguo Yu Weina Cheng Chuanzhi Yang Ting Zhang http://arxiv.org/abs/2412.15829v1 2024-12-20T12:12:25Z

Large knowledge graphs capture information of a large number of entities and their relations. Among the many relations they capture, class subsumption assertions are usually present and expressed using the \texttt{rdfs:subClassOf} construct. From our examination, publicly available knowledge graphs contain many potentially erroneous cyclic subclass relations, a problem that can be exacerbated when different knowledge graphs are integrated as Linked Open Data. In this paper, we present an automatic approach for resolving such cycles at scale using automated reasoning by encoding the problem of cycle-resolving to a MAXSAT solver. The approach is tested on the LOD-a-lot dataset, and compared against a semi-automatic version of our algorithm. We show how the number of removed triples is a trade-off against the efficiency of the algorithm.

2024-12-20T12:12:25Z The paper has been presented at the 2020 workshop on Large Scale RDF Analytics (LASCAR), a workshop co-located with the Extended Semantic Web Conference (ESWC) Shuai Wang Peter Bloem Joe Raad Frank van Harmelen