BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Florian Deloup

Florian Deloup contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTDiscrete MathematicsFormal Languages and Automata Theorymath.CO

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
4topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2014arXiv

The genus of regular languages

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.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access