Showing 1–8 of 8 results for author: Simonnet, P

Elementary remarks about Pisano periods

Authors: Gérard Henry Edmond Duchamp, Pierre Simonnet

Abstract: In this short note, we reprove in a very elementary way some known facts about Pisano periods as well as some considerations about the link between Pisano periods and the order of roots of the characteristic equation. The technics only requires a small background in ring theory (merely the definition of a commutative ring). The tools set here can be reused for all linear recurrences with quadratic… ▽ More In this short note, we reprove in a very elementary way some known facts about Pisano periods as well as some considerations about the link between Pisano periods and the order of roots of the characteristic equation. The technics only requires a small background in ring theory (merely the definition of a commutative ring). The tools set here can be reused for all linear recurrences with quadratic non-constant characteristic equation. △ Less

Submitted 20 June, 2022; v1 submitted 1 June, 2022; originally announced June 2022.

Towards a noncommutative Picard-Vessiot theory

Authors: G. Duchamp, Viincel Hoang Ngoc Minh, Vu Nguyen Dinh, Pierre Simonnet

Abstract: A Chen generating series, along a path and with respect to $m$ differential forms,is a noncommutative series on $m$ letters and with coefficients which are holomorphic functionsover a simply connected manifold in other words a series with variable (holomorphic) coefficients.Such a series satisfies a first order noncommutative differential equation which is considered, bysome authors, as the univer… ▽ More A Chen generating series, along a path and with respect to $m$ differential forms,is a noncommutative series on $m$ letters and with coefficients which are holomorphic functionsover a simply connected manifold in other words a series with variable (holomorphic) coefficients.Such a series satisfies a first order noncommutative differential equation which is considered, bysome authors, as the universal differential equation, (i.e.) universality can beseen by replacing each letter by constant matrices (resp. analytic vector fields)and then solving a system of linear (resp. nonlinear) differential equations.Via rational series, on noncommutative indeterminates and with coefficients in rings, andtheir non-trivial combinatorial Hopf algebras, we give the first step of a noncommutativePicard-Vessiot theory and we illustrate it with the case of linear differential equationswith singular regular singularities thanks to the universal equation previously mentioned. △ Less

Submitted 18 September, 2022; v1 submitted 25 August, 2020; originally announced August 2020.

A localized version of the basic triangle theorem

Authors: Gérard Duchamp, Nihar Gargava, Hoang Ngoc Minh, Pierre Simonnet

Abstract: In this short note, we give a localized version of the basic triangle theorem, first published in 2011 (see [4]) in order to prove the independence of hyperlogarithms over various function fields. This version provides direct access to rings of scalars and avoids the recourse to fraction fields as that of meromorphic functions for instance. In this short note, we give a localized version of the basic triangle theorem, first published in 2011 (see [4]) in order to prove the independence of hyperlogarithms over various function fields. This version provides direct access to rings of scalars and avoids the recourse to fraction fields as that of meromorphic functions for instance. △ Less

Submitted 6 August, 2020; v1 submitted 9 August, 2019; originally announced August 2019.

An Upper Bound on the Complexity of Recognizable Tree Languages

Authors: Olivier Finkel, Dominique Lecomte, Pierre Simonnet

Abstract: The third author noticed in his 1992 PhD Thesis [Sim92] that every regular tree language of infinite trees is in a class $\Game (D\_n({\bfΣ}^0\_2))$ for some natural number $n\geq 1$, where $\Game$ is the game quantifier. We first give a detailed exposition of this result. Next, using an embedding of the Wadge hierarchy of non self-dual Borel subsets of the Cantor space $2^ω$ into the class… ▽ More The third author noticed in his 1992 PhD Thesis [Sim92] that every regular tree language of infinite trees is in a class $\Game (D\_n({\bfΣ}^0\_2))$ for some natural number $n\geq 1$, where $\Game$ is the game quantifier. We first give a detailed exposition of this result. Next, using an embedding of the Wadge hierarchy of non self-dual Borel subsets of the Cantor space $2^ω$ into the class ${\bfΔ}^1\_2$, and the notions of Wadge degree and Veblen function, we argue that this upper bound on the topological complexity of regular tree languages is much better than the usual ${\bfΔ}^1\_2$. △ Less

Submitted 11 March, 2015; v1 submitted 10 March, 2015; originally announced March 2015.

On Recognizable Tree Languages Beyond the Borel Hierarchy

Authors: Olivier Finkel, Pierre Simonnet

Abstract: We investigate the topological complexity of non Borel recognizable tree languages with regard to the difference hierarchy of analytic sets. We show that, for each integer $n \geq 1$, there is a $D_{ω^n}({\bf Σ}^1_1)$-complete tree language L_n accepted by a (non deterministic) Muller tree automaton. On the other hand, we prove that a tree language accepted by an unambiguous Büchi tree automaton… ▽ More We investigate the topological complexity of non Borel recognizable tree languages with regard to the difference hierarchy of analytic sets. We show that, for each integer $n \geq 1$, there is a $D_{ω^n}({\bf Σ}^1_1)$-complete tree language L_n accepted by a (non deterministic) Muller tree automaton. On the other hand, we prove that a tree language accepted by an unambiguous Büchi tree automaton must be Borel. Then we consider the game tree languages $W_{(i,k)}$, for Mostowski-Rabin indices $(i, k)$. We prove that the $D_{ω^n}({\bf Σ}^1_1)$-complete tree languages L_n are Wadge reducible to the game tree language $W_{(i, k)}$ for $k-i \geq 2$. In particular these languages $W_{(i, k)}$ are not in any class $D_α({\bf Σ}^1_1)$ for $α< ω^ω$. △ Less

Submitted 2 September, 2009; originally announced September 2009.

Comments: To appear in Fundamenta Informaticae

Journal ref: Fundamenta Informaticae 95, 2-3 (2009) 287-303

On the Continuity Set of an omega Rational Function

Authors: Olivier Carton, Olivier Finkel, Pierre Simonnet

Abstract: In this paper, we study the continuity of rational functions realized by Büchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot be decided whether such a function F has at least one point of continuity and that its continuity set C(F) cannot be computed. In the case of a synchronous rati… ▽ More In this paper, we study the continuity of rational functions realized by Büchi finite state transducers. It has been shown by Prieur that it can be decided whether such a function is continuous. We prove here that surprisingly, it cannot be decided whether such a function F has at least one point of continuity and that its continuity set C(F) cannot be computed. In the case of a synchronous rational function, we show that its continuity set is rational and that it can be computed. Furthermore we prove that any rational Pi^0_2-subset of X^omega for some alphabet X is the continuity set C(F) of an omega-rational synchronous function F defined on X^omega. △ Less

Submitted 25 January, 2008; originally announced January 2008.

Comments: Dedicated to Serge Grigorieff on the occasion of his 60th Birthday

Journal ref: Theoretical Informatics and Applications (1), 42 (2008) 183-196

On Infinite Real Trace Rational Languages of Maximum Topological Complexity

Authors: Olivier Finkel, Jean-Pierre Ressayre, Pierre Simonnet

Abstract: We consider the set of infinite real traces, over a dependence alphabet (Gamma, D) with no isolated letter, equipped with the topology induced by the prefix metric. We then prove that all rational languages of infinite real traces are analytic sets and that there exist some rational languages of infinite real traces which are analytic but non Borel sets, and even Sigma^1_1-complete, hence of max… ▽ More We consider the set of infinite real traces, over a dependence alphabet (Gamma, D) with no isolated letter, equipped with the topology induced by the prefix metric. We then prove that all rational languages of infinite real traces are analytic sets and that there exist some rational languages of infinite real traces which are analytic but non Borel sets, and even Sigma^1_1-complete, hence of maximum possible topological complexity. △ Less

Submitted 3 January, 2008; originally announced January 2008.

Journal ref: Zapiski Nauchnyh Seminarov POMI 316 (2004) 205-223

Topology and Ambiguity in Omega Context Free Languages

Authors: Olivier Finkel, Pierre Simonnet

Abstract: We study the links between the topological complexity of an omega context free language and its degree of ambiguity. In particular, using known facts from classical descriptive set theory, we prove that non Borel omega context free languages which are recognized by Büchi pushdown automata have a maximum degree of ambiguity. This result implies that degrees of ambiguity are really not preserved b… ▽ More We study the links between the topological complexity of an omega context free language and its degree of ambiguity. In particular, using known facts from classical descriptive set theory, we prove that non Borel omega context free languages which are recognized by Büchi pushdown automata have a maximum degree of ambiguity. This result implies that degrees of ambiguity are really not preserved by the operation of taking the omega power of a finitary context free language. We prove also that taking the adherence or the delta-limit of a finitary language preserves neither unambiguity nor inherent ambiguity. On the other side we show that methods used in the study of omega context free languages can also be applied to study the notion of ambiguity in infinitary rational relations accepted by Büchi 2-tape automata and we get first results in that direction. △ Less

Submitted 3 January, 2008; originally announced January 2008.

Journal ref: Bulletin of the Belgian Mathematical Society 10 (5) (2003) 707-722