Showing 1–11 of 11 results for author: Deloup, F

The decidability of the genus of regular languages and directed emulators

Authors: Guillaume Bonfante, Florian Deloup

Abstract: The article continues our study of the genus of a regular language $L$, defined as the minimal genus among all genera of all finite deterministic automata recognizing $L$. Here we define and study two closely related tools on a directed graph: directed emulators and automatic relations. A directed emulator morphism essentially encapsulates at the graph-theoretic level an epimorphism onto the minim… ▽ More The article continues our study of the genus of a regular language $L$, defined as the minimal genus among all genera of all finite deterministic automata recognizing $L$. Here we define and study two closely related tools on a directed graph: directed emulators and automatic relations. A directed emulator morphism essentially encapsulates at the graph-theoretic level an epimorphism onto the minimal deterministic automaton. An automatic relation is the graph-theoretic version of the Myhill-Nerode relation. We show that an automatic relation determines a directed emulator morphism and respectively, a directed emulator morphism determines an automatic relation up to isomorphism. Consider the set $S$ of all directed emulators of the underlying directed graph of the minimal deterministic automaton for $L$. We prove that the genus of $L$ is $\underset{G \in S}{\min}\ g(G)$. We also consider the more restrictive notion of directed cover and prove that the genus of $L$ is reached in the class of directed covers of the underlying directed graph of the minimal deterministic automaton for $L$. This stands in sharp contrast to undirected emulators and undirected covers which we also consider. Finally we prove that if the problem of determining the minimal genus of a directed emulator of a directed graph has a solution then the problem of determining the minimal genus of an undirected emulator of an undirected graph has a solution. △ Less

Submitted 9 April, 2024; v1 submitted 13 September, 2021; originally announced September 2021.

Comments: 42 pages; minor errors, notations and typos corrected

MSC Class: 68R10; 68R15 ACM Class: F.1.1; F.4.3

Decidability of regular language genus computation

Authors: Guillaume Bonfante, Florian Deloup

Abstract: The article continues the study of the genus of regular languages that the authors introduced in a 2012 paper. Generalizing a previous result, we produce a new family of regular languages on a two-letter alphabet having arbitrary high genus. Let $L$ be a regular language. In order to understand the genus $g(L)$ of $L$, we introduce the topological size of $|L|_{\rm{top}}$ to be the minimal size of… ▽ More The article continues the study of the genus of regular languages that the authors introduced in a 2012 paper. Generalizing a previous result, we produce a new family of regular languages on a two-letter alphabet having arbitrary high genus. Let $L$ be a regular language. In order to understand the genus $g(L)$ of $L$, we introduce the topological size of $|L|_{\rm{top}}$ to be the minimal size of all finite deterministic automata of genus $g(L)$ computing $L$. We show that the minimal finite deterministic automaton of a regular language can be arbitrary far away from a finite deterministic automaton realizing the minimal genus and computing the same language, both in terms of the difference of genera and in terms of the difference in size. In particular, we show that the topological size $|L|_{\rm{top}}$ can grow at least exponentially in size $|L|$. We conjecture however the genus of every regular language to be computable. This conjecture implies in particular that the planarity of a regular language is decidable, a question asked in 1976 by R.V. Book and A.K. Chandra. We prove here the conjecture for a fairly generic class of regular languages having no short cycles. △ Less

Submitted 24 July, 2016; v1 submitted 30 November, 2015; originally announced November 2015.

Comments: 22 pages, 13 figures

MSC Class: 68R10; 68R15 ACM Class: F.1.1; F.4.3

Journal ref: Math. Struct. Comp. Sci. 29 (2019) 1428-1443

The genus of regular languages

Authors: Guillaume Bonfante, Florian Deloup

Abstract: The article defines and studies the genus of finite state deterministic automata (FSA) and regular languages. Indeed, a FSA can be seen as a graph for which the notion of genus arises. At the same time, a FSA has a semantics via its underlying language. It is then natural to make a connection between the languages and the notion of genus. After we introduce and justify the the notion of the genus… ▽ More The article defines and studies the genus of finite state deterministic automata (FSA) and regular languages. Indeed, a FSA can be seen as a graph for which the notion of genus arises. At the same time, a FSA has a semantics via its underlying language. It is then natural to make a connection between the languages and the notion of genus. After we introduce and justify the the notion of the genus for regular languages, the following questions are addressed. First, depending on the size of the alphabet, we provide upper and lower bounds on the genus of regular languages : we show that under a relatively generic condition on the alphabet and the geometry of the automata, the genus grows at least linearly in terms of the size of the automata. Second, we show that the topological cost of the powerset determinization procedure is exponential. Third, we prove that the notion of minimization is orthogonal to the notion of genus. Fourth, we build regular languages of arbitrary large genus: the notion of genus defines a proper hierarchy of regular languages. △ Less

Submitted 23 April, 2014; v1 submitted 21 January, 2013; originally announced January 2013.

Comments: 36 pages, about 30 pdf figures; table of contents and new references added; pages numbered; other minor changes; email and addresses of authors added; new example and figure added; improvement of the upper bound in the main theorem

MSC Class: 68R10; 68R15 ACM Class: F.1.1; F.4.3

On Reciprocity

Authors: Florian Deloup, Vladimir Turaev

Abstract: We prove a reciprocity formula between Gauss sums that is used in the computation of certain quantum invariants of 3-manifolds. Our proof uses the discriminant construction applied to the tensor product of lattices. We prove a reciprocity formula between Gauss sums that is used in the computation of certain quantum invariants of 3-manifolds. Our proof uses the discriminant construction applied to the tensor product of lattices. △ Less

Submitted 2 December, 2005; originally announced December 2005.

Comments: 6 pages

MSC Class: 11M; 57M

Monoide des enlacements et facteurs orthogonaux (Monoids of linking pairings and orthogonal summands)

Authors: Florian Deloup

Abstract: A linking pairing is a symetric bilinear pairing lambda: GxG --> Q/Z on a finite abelian group. The set of isomorphism classes of linking pairings is a non-cancellative monoid E under orthogonal sum, which is infinitely generated and infinitely related. We propose a new presentation of E that enables one to detect whether a linking pairing has a given orthogonal summand. The same method extends… ▽ More A linking pairing is a symetric bilinear pairing lambda: GxG --> Q/Z on a finite abelian group. The set of isomorphism classes of linking pairings is a non-cancellative monoid E under orthogonal sum, which is infinitely generated and infinitely related. We propose a new presentation of E that enables one to detect whether a linking pairing has a given orthogonal summand. The same method extends to the monoid Q of quadratic forms on finite abelian groups. We obtain a combinatorial classification of Q (that was previously known for groups of period 4). As applications, we describe explicitly 3-manifolds having a degree one map onto prescribed (or proscribed) lens spaces. Most of the results extend to 3-manifolds endowed with a parallelization or a spin structure. In particular, the Reidemeister--Turaev function detects the existence of a spin preserving degree one map between a rational homology 3-sphere and a lens space. △ Less

Submitted 17 June, 2005; v1 submitted 14 March, 2005; originally announced March 2005.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-19.abs.html

MSC Class: 11E99; 57M27; 11E81; 57N10

Journal ref: Algebr. Geom. Topol. 5 (2005) 419-442

Palindromic Braids

Authors: F. Deloup, D. Garber, S. Kaplan, M. Teicher

Abstract: The braid group $B_{n}$, endowed with Artin's presentation, admits an antiautomorphism $B_{n} \to B_{n}$, such that $v \mapsto \bar{v}$ is defined by reading braids in reverse order (from right to left instead of left to right). We prove that the map $B_{n} \to B_{n}$, $v \mapsto v \bar{v}$ is injective. We also give some consequences arising due to this injectivity. The braid group $B_{n}$, endowed with Artin's presentation, admits an antiautomorphism $B_{n} \to B_{n}$, such that $v \mapsto \bar{v}$ is defined by reading braids in reverse order (from right to left instead of left to right). We prove that the map $B_{n} \to B_{n}$, $v \mapsto v \bar{v}$ is injective. We also give some consequences arising due to this injectivity. △ Less

Submitted 15 March, 2005; v1 submitted 12 October, 2004; originally announced October 2004.

Comments: 8 pages and 1 figure

Palindromes and orderings in Artin groups

Authors: Florian Deloup

Abstract: The braid group $B_{n}$, endowed with Artin's presentation, admits two distinguished involutions. One is the anti-automorphism ${\rm{rev}}: B_{n} \to B_{n}$, $v \mapsto \bar{v}$, defined by reading braids in the reverse order (from right to left instead of left to right). Another one is the conjugation $τ:x \mapsto Δ^{-1}x Δ$ by the generalized half-twist (Garside element). More generally, the… ▽ More The braid group $B_{n}$, endowed with Artin's presentation, admits two distinguished involutions. One is the anti-automorphism ${\rm{rev}}: B_{n} \to B_{n}$, $v \mapsto \bar{v}$, defined by reading braids in the reverse order (from right to left instead of left to right). Another one is the conjugation $τ:x \mapsto Δ^{-1}x Δ$ by the generalized half-twist (Garside element). More generally, the involution ${\rm{rev}}$ is defined for all Artin groups (equipped with Artin's presentation) and the involution $τ$ is defined for all Artin groups of finite type. A palindrome is an element invariant under rev. We classify palindromes and palindromes invariant under $τ$ in Artin groups of finite type. The tools are elementary rewriting and the construction of explicit left-orderings compatible with rev. Finally, we discuss generalizations to Artin groups of infinite type and Garside groups. △ Less

Submitted 14 March, 2005; v1 submitted 11 October, 2004; originally announced October 2004.

Comments: 16 pages, 4 figures. Main result extended to Artin groups. simplification of classification of $τ$-invariant palindromes in finite Artin groups. Added references

MSC Class: 20F36

Problems on invariants of knots and 3-manifolds

Authors: J. E. Andersen, N. Askitas, D. Bar-Natan, S. Baseilhac, R. Benedetti, S. Bigelow, M. Boileau, R. Bott, J. S. Carter, F. Deloup, N. Dunfield, R. Fenn, E. Ferrand, S. Garoufalidis, M. Goussarov, E. Guadagnini, H. Habiro, S. K. Hansen, T. Harikae, A. Haviv, M. -J. Jeong, V. Jones, R. Kashaev, Y. Kawahigashi, T. Kerler , et al. (35 additional authors not shown)

Abstract: This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. This is a list of open problems on invariants of knots and 3-manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in problem sessions in the workshop and seminars on `Invariants of Knots and 3-Manifolds' held at Kyoto in 2001. △ Less

Submitted 9 June, 2004; originally announced June 2004.

Comments: Edited by T. Ohtsuki. Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon4/paper24.abs.html

MSC Class: 20F36; 57M25; 57M27; 57R56; 13B25; 17B10; 17B37; 18D10; 20C08; 20G42; 22E99; 41A60; 46L37; 57M05; 57M50; 57N10; 57Q10; 81T18; 81T45

Journal ref: Geom. Topol. Monogr. 4 (2002) 377-572

Reidemeister-Turaev torsion modulo one of rational homology three-spheres

Authors: Florian Deloup, Gwenael Massuyeau

Abstract: Given an oriented rational homology 3-sphere M, it is known how to associate to any Spin^c-structure σon M two quadratic functions over the linking pairing. One quadratic function is derived from the reduction modulo 1 of the Reidemeister-Turaev torsion of (M,σ), while the other one can be defined using the intersection pairing of an appropriate compact oriented 4-manifold with boundary M. In th… ▽ More Given an oriented rational homology 3-sphere M, it is known how to associate to any Spin^c-structure σon M two quadratic functions over the linking pairing. One quadratic function is derived from the reduction modulo 1 of the Reidemeister-Turaev torsion of (M,σ), while the other one can be defined using the intersection pairing of an appropriate compact oriented 4-manifold with boundary M. In this paper, using surgery presentations of the manifold M, we prove that those two quadratic functions coincide. Our proof relies on the comparison between two distinct combinatorial descriptions of Spin^c-structures on M Turaev's charges vs Chern vectors. △ Less

Submitted 14 November, 2003; v1 submitted 6 January, 2003; originally announced January 2003.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol7/paper22.abs.html

MSC Class: 57M27; 57Q10; 57R15

Journal ref: Geom. Topol. 7 (2003) 773-787

Quadratic functions on torsion groups

Authors: Florian Deloup, Gwenael Massuyeau

Abstract: We investigate classification results for general quadratic functions on torsion abelian groups. Unlike the previously studied situations, general quadratic functions are allowed to be inhomogeneous or degenerate. We study the discriminant construction which assigns, to an integral lattice with a distinguished characteristic form, a quadratic function on a torsion group. When the associated symm… ▽ More We investigate classification results for general quadratic functions on torsion abelian groups. Unlike the previously studied situations, general quadratic functions are allowed to be inhomogeneous or degenerate. We study the discriminant construction which assigns, to an integral lattice with a distinguished characteristic form, a quadratic function on a torsion group. When the associated symmetric bilinear pairing is fixed, we construct an affine embedding of a quotient of the set of characteristic forms into the set of all quadratic functions and determine explicitly its cokernel. We determine a suitable class of torsion groups so that quadratic functions defined on them are classified by the stable class of their lift. This refines results due to A.H. Durfee, V. Nikulin, C.T.C. Wall and E. Looijenga -- J. Wahl. Finally, we show that on this class of torsion groups, two quadratic functions are isomorphic if and only if they have equal associated Gauss sums and there is an isomorphism between the associated symmetric bilinear pairings which preserves the "homogeneity defects". This generalizes a classical result due to V. Nikulin. Our results are elementary in nature and motivated by low-dimensional topology. △ Less

Submitted 15 July, 2004; v1 submitted 6 January, 2003; originally announced January 2003.

Comments: 15 pages; a few minor modifications (improved writing, lengthened abstract)

MSC Class: 15A63; 11E81; 11E39

Journal ref: J. Pure Applied Algebra 198:1-3 (2005) 105-121

Quadratic functions and complex spin structures on three-manifolds

Authors: Florian Deloup, Gwenael Massuyeau

Abstract: We show how the space of complex spin structures of a closed oriented three-manifold embeds naturally into a space of quadratic functions associated to its linking pairing. Besides, we extend the Goussarov-Habiro theory of finite type invariants to the realm of compact oriented three-manifolds equipped with a complex spin structure. Our main result states that two closed oriented three-manifolds… ▽ More We show how the space of complex spin structures of a closed oriented three-manifold embeds naturally into a space of quadratic functions associated to its linking pairing. Besides, we extend the Goussarov-Habiro theory of finite type invariants to the realm of compact oriented three-manifolds equipped with a complex spin structure. Our main result states that two closed oriented three-manifolds endowed with a complex spin structure are undistinguishable by complex spin invariants of degree zero if, and only if, their associated quadratic functions are isomorphic. △ Less

Submitted 15 October, 2004; v1 submitted 22 July, 2002; originally announced July 2002.

Comments: 41 pages with 10 figures; lightened version (some independent parts of the first version have been moved to other preprints, referenced as math.AC/0301040 and math.GT/0301041 on this server); examples and questions added; exposition improved

MSC Class: 57M27; 57R15

Journal ref: Topology 44:3 (2005) 509-555