Combinatorial decompositions for monomial ideals. (May 2021)

• Record Type: Journal Article
• Authors: Ceria, Michela
• Is Part Of: Journal of symbolic computation. Volume 104(2021)
• Page Start: 630
• Page End: 652
• Publication Date: 2021-05
• Subjects: Semigroup ideals -- Combinatorial decompositions -- Multiplicative variables; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2020.09.004
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: It is well known that Riquier introduced the notion of multiplicative variables applied to order ideals to represent initial conditions of partial differential equations as series. On the other hands, Janet introduced the concept of involutive division. Following Riquier and Janet, we focus on the following problem. Suppose one needs to compute a monomial ideal generated in some degree D and its escalier, knowing the Hilbert function and some monomials which must belong to the ideal/escalier. We give combinatorial tools to answer this question. First we define combinatorial decompositions of sets of terms, showing the criteria to decompose the set T ≥ D of the terms in degree greater or equal than D, into disjoint subsets called cones. This is done by assigning to each term t of degree D some multiplicative variables. The cone of t is then the set formed by t and all its multiples obtained multiplying it by all possible products of powers of multiplicative variables. Then, supposed one has selected a decomposition, we deal with the escalier/ideal partition problem, namely we study the rules which force a term to be in the ideal (or in the escalier) provided that another term does, so that both the ideal and the escalier turn out to be decomposed in disjoint cones by the decomposition set on the whole T ≥ D .