Showing 1–11 of 11 results for author: Labbé, S

Skyline Operators for Document Spanners

Authors: Antoine Amarilli, Benny Kimelfeld, Sébastien Labbé, Stefan Mengel

Abstract: When extracting a relation of spans (intervals) from a text document, a common practice is to filter out tuples of the relation that are deemed dominated by others. The domination rule is defined as a partial order that varies along different systems and tasks. For example, we may state that a tuple is dominated by tuples which extend it by assigning additional attributes, or assigning larger inte… ▽ More When extracting a relation of spans (intervals) from a text document, a common practice is to filter out tuples of the relation that are deemed dominated by others. The domination rule is defined as a partial order that varies along different systems and tasks. For example, we may state that a tuple is dominated by tuples which extend it by assigning additional attributes, or assigning larger intervals. The result of filtering the relation would then be the skyline according to this partial order. As this filtering may remove most of the extracted tuples, we study whether we can improve the performance of the extraction by compiling the domination rule into the extractor. To this aim, we introduce the skyline operator for declarative information extraction tasks expressed as document spanners. We show that this operator can be expressed via regular operations when the domination partial order can itself be expressed as a regular spanner, which covers several natural domination rules. Yet, we show that the skyline operator incurs a computational cost (under combined complexity). First, there are cases where the operator requires an exponential blowup on the number of states needed to represent the spanner as a sequential variable-set automaton. Second, the evaluation may become computationally hard. Our analysis more precisely identifies classes of domination rules for which the combined complexity is tractable or intractable. △ Less

Submitted 4 March, 2024; v1 submitted 12 April, 2023; originally announced April 2023.

Comments: 42 pages. This is the full version of the ICDT'24 publication, which includes all reviewer feedback; the main body is identical to the ICDT'24 article up to minor changes

A Fibonacci analogue of the two's complement numeration system

Authors: Sébastien Labbé, Jana Lepšová

Abstract: Using the classic two's complement notation of signed integers, the fundamental arithmetic operations of addition, subtraction, and multiplication are identical to those for unsigned binary numbers. We introduce a Fibonacci-equivalent of the two's complement notation and we show that addition in this numeration system can be performed by a deterministic finite-state transducer. The result is based… ▽ More Using the classic two's complement notation of signed integers, the fundamental arithmetic operations of addition, subtraction, and multiplication are identical to those for unsigned binary numbers. We introduce a Fibonacci-equivalent of the two's complement notation and we show that addition in this numeration system can be performed by a deterministic finite-state transducer. The result is based on the Berstel adder, which performs addition of the usual Fibonacci representations of nonnegative integers and for which we provide a new constructive proof. Moreover, we characterize the Fibonacci-equivalent of the two's complement notation as an increasing bijection between $\mathbb{Z}$ and a particular language. △ Less

Submitted 19 June, 2023; v1 submitted 5 May, 2022; originally announced May 2022.

Comments: v3: 21 pages, 3 figures, 3 tables. v4: 24 pages, added a new section characterizing the Fibonacci's complement numeration system as an increasing bijection. v5: changes after review

MSC Class: 68Q45; 11A63; 11B39

Journal ref: RAIRO - Theoretical Informatics and Applications 57 (2023) 12

A Numeration System for Fibonacci-like Wang Shifts

Authors: Sébastien Labbé, Jana Lepšová

Abstract: Motivated by the study of Fibonacci-like Wang shifts, we define a numeration system for $\mathbb{Z}$ and $\mathbb{Z}^2$ based on the binary alphabet $\{0,1\}$. We introduce a set of 16 Wang tiles that admits a valid tiling of the plane described by a deterministic finite automaton taking as input the representation of a position $(m,n)\in\mathbb{Z}^2$ and outputting a Wang tile. Motivated by the study of Fibonacci-like Wang shifts, we define a numeration system for $\mathbb{Z}$ and $\mathbb{Z}^2$ based on the binary alphabet $\{0,1\}$. We introduce a set of 16 Wang tiles that admits a valid tiling of the plane described by a deterministic finite automaton taking as input the representation of a position $(m,n)\in\mathbb{Z}^2$ and outputting a Wang tile. △ Less

Submitted 6 July, 2021; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: 17 pages, 5 figures, submitted to WORDS 2021

MSC Class: 68Q45 (Primary) 52C23 (Secondary)

Journal ref: In: Lecroq T., Puzynina S. (eds) Combinatorics on Words. WORDS 2021. Lecture Notes in Computer Science, vol 12847. Springer, Cham

Substitutive structure of Jeandel-Rao aperiodic tilings

Authors: Sébastien Labbé

Abstract: Jeandel and Rao proved that 11 is the size of the smallest set of Wang tiles, i.e., unit squares with colored edges, that admit valid tilings (contiguous edges of adjacent tiles have the same color) of the plane, none of them being invariant under a nontrivial translation. We study herein the Wang shift $Ω_0$ made of all valid tilings using the set $\mathcal{T}_0$ of 11 aperiodic Wang tiles discov… ▽ More Jeandel and Rao proved that 11 is the size of the smallest set of Wang tiles, i.e., unit squares with colored edges, that admit valid tilings (contiguous edges of adjacent tiles have the same color) of the plane, none of them being invariant under a nontrivial translation. We study herein the Wang shift $Ω_0$ made of all valid tilings using the set $\mathcal{T}_0$ of 11 aperiodic Wang tiles discovered by Jeandel and Rao. We show that there exists a minimal subshift $X_0$ of $Ω_0$ such that every tiling in $X_0$ can be decomposed uniquely into 19 distinct patches of sizes ranging from 45 to 112 that are equivalent to a set of 19 self-similar and aperiodic Wang tiles. We suggest that this provides an almost complete description of the substitutive structure of Jeandel-Rao tilings, as we believe that $Ω_0\setminus X_0$ is a null set for any shift-invariant probability measure on $Ω_0$. The proof is based on 12 elementary steps, 10 of which involve the same procedure allowing one to desubstitute Wang tilings from the existence of a subset of marker tiles. The 2 other steps involve the addition of decorations to deal with fault lines and changing the base of the $\mathbb{Z}^2$-action through a shear conjugacy. Algorithms are provided to find markers, recognizable substitutions, and shear conjugacy from a set of Wang tiles. △ Less

Submitted 18 December, 2019; v1 submitted 23 August, 2018; originally announced August 2018.

Comments: v1: 38p., 18 Fig. arXiv admin note: text overlap with arXiv:1802.03265 (the preliminaries). v2: 42p. Substitutions and Wang tile sets now appears directly in the proofs. Image of letters are now sorted by length and then lexicographically. v3+v4: 48p., corrections after review. Jupyter notebook available at https://nbviewer.jupyter.org/url/www.slabbe.org/Publications/arxiv_1808_07768_v4.ipynb

MSC Class: 52C23 (Primary) 37B50 (Secondary)

Journal ref: Discrete & Computational Geometry 65 (2021) 800-855

On the Zero Defect Conjecture

Authors: Sébastien Labbé, Edita Pelantová, Štěpán Starosta

Abstract: Brlek et al. conjectured in 2008 that any fixed point of a primitive morphism with finite palindromic defect is either periodic or its palindromic defect is zero. Bucci and Vaslet disproved this conjecture in 2012 by a counterexample over ternary alphabet. We prove that the conjecture is valid on binary alphabet. We also describe a class of morphisms over multiliteral alphabet for which the conjec… ▽ More Brlek et al. conjectured in 2008 that any fixed point of a primitive morphism with finite palindromic defect is either periodic or its palindromic defect is zero. Bucci and Vaslet disproved this conjecture in 2012 by a counterexample over ternary alphabet. We prove that the conjecture is valid on binary alphabet. We also describe a class of morphisms over multiliteral alphabet for which the conjecture still holds. The proof is based on properties of extension graphs. △ Less

Submitted 7 November, 2016; v1 submitted 17 June, 2016; originally announced June 2016.

Comments: v1: 16 pages, 3 figures; v2: 18 pages, 3 figures

MSC Class: 68R15; 37B10

Journal ref: European Journal of Combinatorics Volume 62, May 2017, Pages 132-146

$3$-dimensional Continued Fraction Algorithms Cheat Sheets

Authors: Sébastien Labbé

Abstract: Multidimensional Continued Fraction Algorithms are generalizations of the Euclid algorithm and find iteratively the gcd of two or more numbers. They are defined as linear applications on some subcone of $\mathbb{R}^d$. We consider multidimensional continued fraction algorithms that acts symmetrically on the positive cone $\mathbb{R}^d_+$ for $d=3$. We include well-known and old ones (Poincaré, Bru… ▽ More Multidimensional Continued Fraction Algorithms are generalizations of the Euclid algorithm and find iteratively the gcd of two or more numbers. They are defined as linear applications on some subcone of $\mathbb{R}^d$. We consider multidimensional continued fraction algorithms that acts symmetrically on the positive cone $\mathbb{R}^d_+$ for $d=3$. We include well-known and old ones (Poincaré, Brun, Selmer, Fully Subtractive) and new ones (Arnoux-Rauzy-Poincaré, Reverse, Cassaigne). For each algorithm, one page (called cheat sheet) gathers a handful of informations most of them generated with the open source software Sage with the optional Sage package \texttt{slabbe-0.2.spkg}. The information includes the $n$-cylinders, density function of an absolutely continuous invariant measure, domain of the natural extension, lyapunov exponents as well as data regarding combinatorics on words, symbolic dynamics and digital geometry, that is, associated substitutions, generated $S$-adic systems, factor complexity, discrepancy, dual substitutions and generation of digital planes. The document ends with a table of comparison of Lyapunov exponents and gives the code allowing to reproduce any of the results or figures appearing in these cheat sheets. △ Less

Submitted 26 November, 2015; originally announced November 2015.

Comments: 9 pages, 66 figures, landscape orientation

MSC Class: 11J70; 37A45; 52C35; 68R15

Factor Complexity of S-adic sequences generated by the Arnoux-Rauzy-Poincaré Algorithm

Authors: Valérie Berthé, Sébastien Labbé

Abstract: The Arnoux-Rauzy-Poincaré multidimensional continued fraction algorithm is obtained by combining the Arnoux-Rauzy and Poincaré algorithms. It is a generalized Euclidean algorithm. Its three-dimensional linear version consists in subtracting the sum of the two smallest entries to the largest if possible (Arnoux-Rauzy step), and otherwise, in subtracting the smallest entry to the median and the medi… ▽ More The Arnoux-Rauzy-Poincaré multidimensional continued fraction algorithm is obtained by combining the Arnoux-Rauzy and Poincaré algorithms. It is a generalized Euclidean algorithm. Its three-dimensional linear version consists in subtracting the sum of the two smallest entries to the largest if possible (Arnoux-Rauzy step), and otherwise, in subtracting the smallest entry to the median and the median to the largest (the Poincaré step), and by performing when possible Arnoux-Rauzy steps in priority. After renormalization it provides a piecewise fractional map of the standard $2$-simplex. We study here the factor complexity of its associated symbolic dynamical system, defined as an $S$-adic system. It is made of infinite words generated by the composition of sequences of finitely many substitutions, together with some restrictions concerning the allowed sequences of substitutions expressed in terms of a regular language. Here, the substitutions are provided by the matrices of the linear version of the algorithm. We give an upper bound for the linear growth of the factor complexity. We then deduce the convergence of the associated algorithm by unique ergodicity. △ Less

Submitted 16 April, 2014; originally announced April 2014.

Comments: 36 pages, 16 figures

MSC Class: 37B10 (Primary) 68R15 (Secondary)

Journal ref: Advances in Applied Mathematics 63 (2015) 90-130

A d-dimensional extension of Christoffel words

Authors: Sébastien Labbé, Christophe Reutenauer

Abstract: In this article, we extend the definition of Christoffel words to directed subgraphs of the hypercubic lattice in arbitrary dimension that we call Christoffel graphs. Christoffel graphs when $d=2$ correspond to well-known Christoffel words. Due to periodicity, the $d$-dimensional Christoffel graph can be embedded in a $(d-1)$-torus (a parallelogram when $d=3$). We show that Christoffel graphs have… ▽ More In this article, we extend the definition of Christoffel words to directed subgraphs of the hypercubic lattice in arbitrary dimension that we call Christoffel graphs. Christoffel graphs when $d=2$ correspond to well-known Christoffel words. Due to periodicity, the $d$-dimensional Christoffel graph can be embedded in a $(d-1)$-torus (a parallelogram when $d=3$). We show that Christoffel graphs have similar properties to those of Christoffel words: symmetry of their central part and conjugation with their reversal. Our main result extends Pirillo's theorem (characterization of Christoffel words which asserts that a word $amb$ is a Christoffel word if and only if it is conjugate to $bma$) in arbitrary dimension. In the generalization, the map $amb\mapsto bma$ is seen as a flip operation on graphs embedded in $\mathbb{Z}^d$ and the conjugation is a translation. We show that a fully periodic subgraph of the hypercubic lattice is a translate of its flip if and only if it is a Christoffel graph. △ Less

Submitted 15 April, 2014; originally announced April 2014.

Comments: 26 pages, 14 figures

MSC Class: 05C75 (Primary) 52C35; 68R15 (Secondary)

Journal ref: Discrete & Computational Geometry 54 (2015) 152-181

A counterexample to a question of Hof, Knill and Simon

Authors: Sébastien Labbé

Abstract: In this article, we give a negative answer to a question of Hof, Knill and Simon (1995) concerning purely morphic sequences obtained from primitive morphism containing an infinite number of palindromes. Proven for the binary alphabet by B. Tan in 2007, we show the existence of a counterexample on the ternary alphabet. In this article, we give a negative answer to a question of Hof, Knill and Simon (1995) concerning purely morphic sequences obtained from primitive morphism containing an infinite number of palindromes. Proven for the binary alphabet by B. Tan in 2007, we show the existence of a counterexample on the ternary alphabet. △ Less

Submitted 5 July, 2013; originally announced July 2013.

Comments: 11 pages, 0 figures

MSC Class: 68R15

Journal ref: Electronic Journal of Combinatorics 21 (2014) #P3.11

Uniformly balanced words with linear complexity and prescribed letter frequencies

Authors: Valérie Berthé, Sébastien Labbé

Abstract: We consider the following problem. Let us fix a finite alphabet A; for any given d-uple of letter frequencies, how to construct an infinite word u over the alphabet A satisfying the following conditions: u has linear complexity function, u is uniformly balanced, the letter frequencies in u are given by the given d-uple. This paper investigates a construction method for… ▽ More We consider the following problem. Let us fix a finite alphabet A; for any given d-uple of letter frequencies, how to construct an infinite word u over the alphabet A satisfying the following conditions: u has linear complexity function, u is uniformly balanced, the letter frequencies in u are given by the given d-uple. This paper investigates a construction method for such words based on the use of mixed multidimensional continued fraction algorithms. △ Less

Submitted 17 August, 2011; originally announced August 2011.

Comments: In Proceedings WORDS 2011, arXiv:1108.3412

ACM Class: 11A55; 68R15

Journal ref: EPTCS 63, 2011, pp. 44-52

On the critical exponent of generalized Thue-Morse words

Authors: Alexandre Blondin-Massé, Srecko Brlek, Amy Glen, Sébastien Labbé

Abstract: For certain generalized Thue-Morse words t, we compute the "critical exponent", i.e., the supremum of the set of rational numbers that are exponents of powers in t, and determine exactly the occurrences of powers realizing it. For certain generalized Thue-Morse words t, we compute the "critical exponent", i.e., the supremum of the set of rational numbers that are exponents of powers in t, and determine exactly the occurrences of powers realizing it. △ Less

Submitted 22 October, 2007; originally announced October 2007.

Comments: 13 pages; to appear in Discrete Mathematics and Theoretical Computer Science (accepted October 15, 2007)

MSC Class: 68R15; 11B85

Journal ref: Discrete Mathematics and Theoretical Computer Science 9 (2007) 293-304