Research
Conference papers
-
Extended Abstract: Topological rewriting on formal power series
Author(s): Cyrille CHENAVIER. Thomas CLUZEAU. Adya MUSSON-LEYMARIE.
2024-09-02
CASC - Computer Algebra for Scientific Computing
DOI: https://www.casc-conference.org/index.htmlThis is an extended abstract on the equivalence, in the context of commutative formal power series, of two confluence notions arising in topological rewriting theory, namely topological confluence and infinitary confluence. The topological rewriting relation studied is, in general, not quite the same as the one computer scientists investigate for infinitary λ/Σ-terms: we provide an example where they differ for formal power series and we formulate the so-called 'chains conjecture' that ensures that, if we have finitely many rewrite rules, the two relations coincide.
Get PDF file
Preprints
-
Topological closure of formal power series ideals and application to topological rewriting theory
Author(s): Cyrille CHENAVIER. Thomas CLUZEAU. Adya MUSSON-LEYMARIE.
2024-02-08
arXiv (submitted to Journal of Symbolic Computation)
DOI: https://doi.org/10.48550/arXiv.2402.05511We investigate formal power series ideals and their relationship to topological rewriting theory. Since commutative formal power series algebras are Zariski rings, their ideals are closed for the adic topology defined by the maximal ideal generated by the indeterminates. We provide a constructive proof of this result which, given a formal power series in the topological closure of an ideal, consists in computing a cofactor representation of the series with respect to a standard basis of the ideal. We apply this result to topological rewriting theory. In this context, two natural notions of confluence arise: topological confluence and infinitary confluence. We give explicit examples illustrating that in general, infinitary confluence is a strictly stronger notion that topological confluence. Using topological closure of ideals, we finally show that in the context of rewriting theory on commutative formal power series, infinitary and topological confluence are equivalent.
Get PDF file
Conference talks
-
Topological rewriting systems: confluence and chains
Author(s): Adya MUSSON-LEYMARIE.
2024-09-02
CASC - Computer Algebra for Scientific Computing
DOI: https://www.casc-conference.org/index.htmlIntroducing notions from topological rewriting, we present the result from our latest submission proving the equivalence in the context of commutative formal power series of two new notions of confluence: topological confluence and infinitary confluence. We mention an alternative proof of the this result and a previous theorem that we require in terms of solely topological rewriting methods. Finally, we enunciate the 'chains conjecture' that aims in particular to prove that the topological rewriting relation of our research correspond to the relation investigated by computer scientists for infinitary λ/Σ-terms.
Get PDF file -
Confluence of topological rewriting systems
Author(s): Adya MUSSON-LEYMARIE.
2024-03-26
FELIM - Functional Equations in LIMoges
DOI: #Computations in multivariate formal power series make use of the concept of standard bases of ideals in an analogous manner as Gröbner bases are used for ideals in multivariate polynomials rings to algorithmically solve problems such as ideal membership, amongst other problems. Extending the classical rewriting theory to a topological setting, such as the complete metric space of formal power series, it has been shown that the property of being a standard basis is characterised by a certain confluence property of the rewriting relation. Using the fact that ideals of formal power series are topologically closed, we proved that this confluence property is equivalent to a generally stronger confluence property. This latter property is studied by computer scientists in the context of infinitary term rewriting and infinitary lambda-calculus. This result falls into the preliminary research towards the ultimate goal of applying topological rewriting theory to the study of formal solutions of partial differential equations.
Get PDF file
Seminars
-
Topological closure of ideals of commutative formal power series and applications
Author(s): Adya MUSSON-LEYMARIE.
2024-06-06
XLIM - Séminaire Calcul Formel
DOI: #Motivated by applications to the new theory of topological rewriting and especially in the context of rewriting on formal power series, one is bound to ask themselves about the topological properties of the objects involved; for instance, algebraic ideals in the ring of the formal power series. From a general result of Zariski and Samuel, it is known that ideals of commutative formal power series are topologically closed for the I-adic topology induced by the ideal generated by the indeterminates. By means of rewriting methods using standard bases (analogous to Gröbner bases), we present in that talk a constructive proof of this property. Finally, we mention the implications this result has in the equivalence of different confluence properties and in the characterisations of standard bases.
Get PDF file
Theses
-
Masters thesis: Homological algebra (Anick resolution, Koszul complex and non-commutative Gröbner bases)
Author(s): Adya MUSSON-LEYMARIE.
2023-09
Unpublished
DOI: #This thesis provides all necessary introductory knowledge for a graduate student in mathematics to grasp the basics of homological algebra as well as the objects studied in the contribution part. This includes an introduction to module theory, tensor products over arbitrary rings, associative unitary algebras, non-commutative Gröbner bases, category theory and homological algebra (in particular the language of the Tor and Ext functors). Then, the Anick resolution for augmented algebras is described giving three different but equivalent definitions of the central ingredient: the n-chains. After giving an overview of the Koszul duality for homogeneous algebras, we explain the Koszul complex in that context. Finally, the contribution of this work is a proof of equality between the Anick resolution and the Koszul complex in the context of homogeneous monomial algebras satisfying the so-called overlap property.
Get PDF file
Notes
-
Notes on topological rewriting theory
Author(s): Adya MUSSON-LEYMARIE.
2024-07-22
Non-published, only available here :)
DOI: #This is the working notes on my research in collaboration with Cyrille Chenavier and Thomas Cluzeau on the topic of topological rewriting theory. It is an extension of classical rewriting theory that takes more interest in the cases of non-terminating rewriting systems as well as rewriting systems in which the classical notion of confluence is too restrictive to depict the phenomena that occur. In these notes, we start by reminding some notions from topology before presenting the basic notions and results of topological rewriting theory. Finally, we give the concrete example of rewriting on the algebra of commutative formal power series in several variables.
Get PDF file -
On Anick resolution: from the original setting to the language of non-commutative Groebner bases
Author(s): Adya MUSSON-LEYMARIE.
2023-07
arXiv
DOI: https://doi.org/10.48550/arXiv.2307.06144Anick introduced a resolution, that now bears his name, of a field using an augmented algebra over that field. We present here what one could call a dictionary between Anick's original paper and the other resources on the matter, most of which use the language of non-commutative Groebner bases.
Get PDF file