https://arxiv.org/api/z8yzDNxxLctfZCHcSv+zTMk9sHQ 2026-04-13T10:19:33Z 3075 540 15 http://arxiv.org/abs/2409.19298v1 2024-09-28T09:53:44Z

This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th International Conference on Formal Structures for Computation and Deduction. The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

2024-09-28T09:53:44Z EPTCS 408, 2024 Sandra Alves University of Porto Ian Mackie London South Bank University 10.4204/EPTCS.408 http://arxiv.org/abs/2409.17785v1 2024-09-26T12:24:54Z

Based on a theorem by Vasconcelos, we give an algorithm for equidimensional decomposition of algebraic sets using syzygy computations via Gröbner bases. This algorithm avoids the use of elimination, homological algebra and processing the input equations one-by-one present in previous algorithms. We experimentally demonstrate the practical interest of our algorithm compared to the state of the art.

2024-09-26T12:24:54Z 15 pages Rafael Mohr http://arxiv.org/abs/2404.03530v3 2024-09-23T12:30:23Z

In this paper, we study the solving degrees for affine semi-regular sequences and their homogenized sequences. Some of our results are considered to give mathematically rigorous proofs of the correctness of methods for computing Gröbner bases of the ideal generated by an affine semi-regular sequence. This paper is a sequel of the authors' previous work and gives additional results on the solving degrees and important behaviors of Gröbner basis computation. We also define the generalized degree of regularity for a sequence of homogeneous polynomials. For the ideal generated by the homogenization of an affine semi-regular sequence, we relate its generalized degree of regularity with its maximal Gröbner basis degree (i.e., the solving degree for the homogenized sequence). The definition of a generalized (cryptographic) semi-regular sequence is also given, and it derives a new cryptographic assumption to estimate the security of cryptosystems. From our experimental observation, we raise a conjecture and some questions related to this generalized semi-regularity. These definitions and our results provide a theoretical formulation of (somehow heuristic) discussions done so far in the cryptographic community.

2024-04-04T15:35:41Z 41 pages, Revised version (for example, we have added issues on complexity analysis and a generalization of contents of Subsection 2.3, see also Appendix A.3 - A.5), Accepted for presentation at Effective Methods in Algebraic Geometry (MEGA2024) Momonari Kudo Kazuhiro Yokoyama http://arxiv.org/abs/2208.12725v2 2024-09-23T08:36:47Z

In 1874 Brill and Noether designed a seminal geometric method for computing bases of Riemann-Roch spaces. From then, their method has led to several algorithms, some of them being implemented in computer algebra systems. The usual proofs often rely on abstract concepts of algebraic geometry and commutative algebra. In this paper we present a short self-contained and elementary proof that mostly needs Newton polygons, Hensel lifting, bivariate resultants, and Chinese remaindering.

2022-08-26T15:25:30Z Final version ACM Communications in Computer Algebra, Volume 57, Issue 4 (December 2023), 200 - 229 Elena Berardini Alain Couvreur Grégoire Lecerf 10.1145/3653002.3653004 http://arxiv.org/abs/2404.05177v2 2024-09-22T14:50:20Z

We present an algebraic algorithm that computes the composition of two power series in softly linear time complexity. The previous best algorithms are $\mathop{\mathrm O}(n^{1+o(1)})$ by Kedlaya and Umans (FOCS 2008) and an $\mathop{\mathrm O}(n^{1.43})$ algebraic algorithm by Neiger, Salvy, Schost and Villard (JACM 2023). Our algorithm builds upon the recent Graeffe iteration approach to manipulate rational power series introduced by Bostan and Mori (SOSA 2021).

2024-04-08T03:57:38Z 12 pages, in FOCS 2024 Yasunori Kinoshita Baitian Li http://arxiv.org/abs/2409.12727v1 2024-09-19T12:51:56Z

Subresultants of two univariate polynomials are one of the most classic and ubiquitous objects in computational algebra and algebraic geometry. In 1948, Habicht discovered and proved interesting relationships among subresultants. Those relationships were found to be useful for both structural understanding and efficient computation. Often one needs to consider several (possibly more than two) polynomials. It is rather straightforward to generalize the notion of subresultants to several polynomials. However, it is not obvious (in fact, quite challenging) to generalize the Habicht's result to several polynomials. The main contribution of this paper is to provide such a generalization.

2024-09-19T12:51:56Z Hoon Hong Jiaqi Meng Jing Yang http://arxiv.org/abs/2405.06107v2 2024-09-19T09:31:38Z

We pursue the use of deep learning methods to improve state-of-the-art computations in theoretical high-energy physics. Planar N = 4 Super Yang-Mills theory is a close cousin to the theory that describes Higgs boson production at the Large Hadron Collider; its scattering amplitudes are large mathematical expressions containing integer coefficients. In this paper, we apply Transformers to predict these coefficients. The problem can be formulated in a language-like representation amenable to standard cross-entropy training objectives. We design two related experiments and show that the model achieves high accuracy (> 98%) on both tasks. Our work shows that Transformers can be applied successfully to problems in theoretical physics that require exact solutions.

2024-05-09T21:28:52Z 26+10 pages, 9 figures, 7 tables, application of machine learning aimed at physics and machine learning audience; v2: clarifications added, matches published version Mach.Learn.Sci.Tech. 5 (2024) 3, 035073 Tianji Cai Garrett W. Merz François Charton Niklas Nolte Matthias Wilhelm Kyle Cranmer Lance J. Dixon 10.1088/2632-2153/ad743e http://arxiv.org/abs/2402.03144v2 2024-09-19T09:00:44Z

We describe a version of the FGLM algorithm that can be used to compute generic fibers of positive-dimensional polynomial ideals. It combines the FGLM algorithm with a Hensel lifting strategy. In analogy with Hensel lifting, we show that this algorithm has a complexity quasi-linear in the number of terms of certain $\mathfrak{m}$-adic expansions we compute. Some provided experimental data also demonstrates the practical efficacy of our algorithm.

2024-02-05T16:12:27Z 49th International Symposium on Symbolic and Algebraic Computation, Jul 2024, Raleigh, NC, United States. pp.307-315 Jérémy Berthomieu Rafael Mohr 10.1145/3666000.3669703 http://arxiv.org/abs/2309.15035v2 2024-09-19T02:55:23Z

Blockwise determinantal ideals are those generated by the union of all the minors of specified sizes in certain blocks of a generic matrix, and they are the natural generalization of many existing determinantal ideals like the Schubert and ladder ones. In this paper we establish several criteria to verify whether the Gröbner bases of blockwise determinantal ideals with respect to (anti-)diagonal term orders are minimal or reduced. In particular, for Schubert determinantal ideals, while all the elusive minors form the reduced Gröbner bases when the defining permutations are vexillary, in the non-vexillary case we derive an explicit formula for computing the reduced Gröbner basis from elusive minors which avoids all algebraic operations. The fundamental properties of being normal and strong for W-characteristic sets and characteristic pairs, which are heavily connected to the reduced Gröbner bases, of Schubert determinantal ideals are also proven.

2023-09-26T16:03:36Z 38 pages, 8 figures Chenqi Mou Qiuye Song http://arxiv.org/abs/2409.11756v1 2024-09-18T07:23:26Z

Recently, AI systems have made remarkable progress in various tasks. Deep Reinforcement Learning(DRL) is an effective tool for agents to learn policies in low-level state spaces to solve highly complex tasks. Researchers have introduced Intrinsic Motivation(IM) to the RL mechanism, which simulates the agent's curiosity, encouraging agents to explore interesting areas of the environment. This new feature has proved vital in enabling agents to learn policies without being given specific goals. However, even though DRL intelligence emerges through a sub-symbolic model, there is still a need for a sort of abstraction to understand the knowledge collected by the agent. To this end, the classical planning formalism has been used in recent research to explicitly represent the knowledge an autonomous agent acquires and effectively reach extrinsic goals. Despite classical planning usually presents limited expressive capabilities, PPDDL demonstrated usefulness in reviewing the knowledge gathered by an autonomous system, making explicit causal correlations, and can be exploited to find a plan to reach any state the agent faces during its experience. This work presents a new architecture implementing an open-ended learning system able to synthesize from scratch its experience into a PPDDL representation and update it over time. Without a predefined set of goals and tasks, the system integrates intrinsic motivations to explore the environment in a self-directed way, exploiting the high-level knowledge acquired during its experience. The system explores the environment and iteratively: (a) discover options, (b) explore the environment using options, (c) abstract the knowledge collected and (d) plan. This paper proposes an alternative approach to implementing open-ended learning architectures exploiting low-level and high-level representations to extend its knowledge in a virtuous loop.

2024-09-18T07:23:26Z Prog.Artif.Intell.(2025) Gabriele Sartor Angelo Oddi Riccardo Rasconi Vieri Giuliano Santucci Rosa Meo 10.1007/s13748-025-00394-9 http://arxiv.org/abs/2409.11015v1 2024-09-17T09:25:42Z

LMNtal is a programming and modeling language based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes to represent hierarchy. On the theoretical side, it allows logical interpretation based on intuitionistic linear logic; on the practical side, its full-fledged implementation supports a graph-based parallel model checker and has been used to model diverse applications including various computational models. This paper discuss how we extend LMNtal to QLMNtal (LMNtal with Quantification) to further enhance the usefulness of hierarchical graph rewriting for high-level modeling by introducing quantifiers into rewriting as well as matching. Those quantifiers allows us to express universal quantification, cardinality and non-existence in an integrated manner. Unlike other attempts to introduce quantifiers into graph rewriting, QLMNtal has term-based syntax, whose semantics is smoothly integrated into the small-step semantics of the base language LMNtal. The proposed constructs allow combined and nested use of quantifiers within individual rewrite rules.

2024-09-17T09:25:42Z Extended version (with Appendix) of the paper presented at the 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024), Milano, Italy, September 2024, LNCS 14919, Springer-Verlag, pp.220-239. 26 pages Haruto Mishina Kazunori Ueda 10.1007/978-3-031-71294-4_13 http://arxiv.org/abs/2409.09533v1 2024-09-14T21:08:19Z

Computer algebra systems are really good at factoring polynomials, i.e. writing f as a product of irreducible factors. It is relatively easy to verify that we have a factorisation, but verifying that these factors are irreducible is a much harder problem. This paper reports work-in-progress to do such verification in Lean.

2024-09-14T21:08:19Z James H. Davenport http://arxiv.org/abs/2408.04564v2 2024-09-14T17:16:14Z

The proof assistant Lean has support for abstract polynomials, but this is not necessarily the same as support for computations with polynomials. Lean is also a functional programming language, so it should be possible to implement computational polynomials in Lean. It turns out not to be as easy as the naive author thought.

2024-08-08T16:22:48Z Revised version to appear in Proc. SYNASC 2024 James Harold Davenport http://arxiv.org/abs/2212.03422v2 2024-09-10T03:09:31Z

In this paper, we consider the problem of formulating the subresultant polynomials for several univariate polynomials in Newton basis. It is required that the resulting subresultant polynomials be expressed in the same Newton basis as that used in the input polynomials. To solve the problem, we devise a particular matrix with the help of the companion matrix of a polynomial in Newton basis. Meanwhile, the concept of determinantal polynomial in power basis for formulating subresultant polynomials is extended to that in Newton basis. It is proved that the generalized determinantal polynomial of the specially designed matrix provides a new formula for the subresultant polynomial in Newton basis, which is equivalent to the subresultant polynomial in power basis. Furthermore, we show an application of the new formula in devising a basis-preserving method for computing the gcd of several Newton polynomials.

2022-12-07T03:09:23Z Weidong Wang Jing Yang 10.1016/j.jsc.2024.102378 http://arxiv.org/abs/2405.05974v2 2024-09-09T03:12:23Z

The Quasi-Steady State Approximation (QSSA) can be an effective tool for reducing the size and stiffness of chemical mechanisms for implementation in computational reacting flow solvers. However, for many applications, stiffness remains, and the resulting model requires implicit methods for efficient time integration. In this paper, we outline an approach to formulating the QSSA reduction that is coupled with a strategy to generate C++ source code to evaluate the net species production rate, and the chemical Jacobian. The code-generation component employs a symbolic approach enabling a simple and effective strategy to analytically compute the chemical Jacobian. For computational tractability, the symbolic approach needs to be paired with common subexpression elimination which can negatively affect memory usage. Several solutions are outlined and successfully tested on a 3D multipulse ignition problem, thus allowing portable application across a chemical model sizes and GPU capabilities. The implementation of the proposed method is available at https://github.com/AMReX-Combustion/PelePhysics under an open-source license.

2024-04-30T23:42:12Z Malik Hassanaly Nicholas T. Wimer Anne Felden Lucas Esclapez Julia Ream Marc T. Henry de Frahan Jon Rood Marc Day