scholarly journals A characterization of infinite smooth Lyndon words

2010 ◽  
Vol Vol. 12 no. 5 (Combinatorics) ◽  
Author(s):  
Geneviève Paquin
Keyword(s):  
Natural Question ◽  
International Audience ◽  
Lyndon Words

Combinatorics International audience In a recent paper, Brlek, Jamet and Paquin showed that some extremal infinite smooth words are also infinite Lyndon words. This result raises a natural question: are they the only ones? If no, what do the infinite smooth words that are also Lyndon words look like? In this paper, we give the answer, proving that the only infinite smooth Lyndon words are m(\a ...

Infinite arguments and semantics of dialectical proof procedures

2021 ◽  
pp. 1-37
Author(s):  
Phan Minh Thang ◽  
Phan Minh Dung ◽  
Jiraporn Pooksook
Keyword(s):  
Natural Question

We study the semantics of dialectical proof procedures. As dialectical proof procedures are in general sound but not complete wrt admissibility semantics, a natural question here is whether we could give a more precise semantical characterization of what they compute. Based on a new notion of infinite arguments representing (possibly infinite) loops, we introduce a stricter notion of admissibility, referred to as strict admissibility, and show that dialectical proof procedures are in general sound and complete wrt strict admissibility.

scholarly journals p-box: a new graph model

2015 ◽  
Vol Vol. 17 no. 1 (Graph Theory) ◽  
Author(s):  
Mauricio Soto ◽  
Christopher Thraves-Caro
Keyword(s):  
Graph Theory ◽  
Graph Model ◽  
Directed Path ◽  
Outerplanar Graphs ◽  
New Model ◽  
Model Based ◽  
Representative Element ◽  
International Audience ◽  
Graph Families

Graph Theory International audience In this document, we study the scope of the following graph model: each vertex is assigned to a box in ℝd and to a representative element that belongs to that box. Two vertices are connected by an edge if and only if its respective boxes contain the opposite representative element. We focus our study on the case where boxes (and therefore representative elements) associated to vertices are spread in ℝ. We give both, a combinatorial and an intersection characterization of the model. Based on these characterizations, we determine graph families that contain the model (e. g., boxicity 2 graphs) and others that the new model contains (e. g., rooted directed path). We also study the particular case where each representative element is the center of its respective box. In this particular case, we provide constructive representations for interval, block and outerplanar graphs. Finally, we show that the general and the particular model are not equivalent by constructing a graph family that separates the two cases.

scholarly journals Classes of graphs with restricted interval models

1999 ◽  
Vol Vol. 3 no. 4 ◽  
Author(s):  
Andrzej Proskurowski ◽  
Jan Arne Telle
Keyword(s):  
Maximum Clique ◽  
Interval Graphs ◽  
Induced Subgraph ◽  
Graph Theoretic ◽  
Graph Classes ◽  
International Audience ◽  
Forbidden Induced Subgraph ◽  
Nested Hierarchy ◽  
Graph Families

International audience We introduce q-proper interval graphs as interval graphs with interval models in which no interval is properly contained in more than q other intervals, and also provide a forbidden induced subgraph characterization of this class of graphs. We initiate a graph-theoretic study of subgraphs of q-proper interval graphs with maximum clique size k+1 and give an equivalent characterization of these graphs by restricted path-decomposition. By allowing the parameter q to vary from 0 to k, we obtain a nested hierarchy of graph families, from graphs of bandwidth at most k to graphs of pathwidth at most k. Allowing both parameters to vary, we have an infinite lattice of graph classes ordered by containment.

scholarly journals Dissipative Processes and Their Role in the Evolution of Radio Galaxies

Galaxies ◽  
2019 ◽  
Vol 7 (3) ◽  
pp. 70 ◽  
Author(s):  
Manel Perucho
Keyword(s):  
Particle Acceleration ◽  
Kinetic Energy ◽  
Radio Galaxies ◽  
Active Galaxies ◽  
Energy Budgets ◽  
Natural Question ◽  
Relativistic Jets ◽  
The One ◽  
Very High

Particle acceleration in relativistic jets, to very high levels of energy, occurs at the expense of the dissipation of magnetic or kinetic energy. Therefore, understanding the processes that can trigger this dissipation is key to the characterization of the energy budgets and particle acceleration mechanisms in action in active galaxies. Instabilities and entrainment are two obvious candidates to trigger dissipation. On the one hand, supersonic, relativistic flows threaded by helical fields, as expected from the standard formation models of jets in supermassive black-holes, are unstable to a series of magnetohydrodynamical instabilities, such as the Kelvin–Helmholtz, current-driven, or possibly the pressure-driven instabilities. Furthermore, in the case of expanding jets, the Rayleigh–Taylor and centrifugal instabilities may also develop. With all these destabilizing processes in action, a natural question is to ask how can some jets keep their collimated structure along hundreds of kiloparsecs. On the other hand, the interaction of the jet with stars and clouds of gas that cross the flow in their orbits around the galactic centers provides another scenario in which kinetic energy can be efficiently converted into internal energy and particles can be accelerated to non-thermal energies. In this contribution, I review the conditions under which these processes occur and their role both in jet evolution and propagation and energy dissipation.

scholarly journals On morphisms preserving infinite Lyndon words

2007 ◽  
Vol Vol. 9 no. 2 ◽  
Author(s):  
Gwenael Richomme
Keyword(s):  
Free Monoid ◽  
Infinite Words ◽  
International Audience ◽  
Lyndon Words

International audience In a previous paper, we characterized free monoid morphisms preserving finite Lyndon words. In particular, we proved that such a morphism preserves the order on finite words. Here we study morphisms preserving infinite Lyndon words and morphisms preserving the order on infinite words. We characterize them and show relations with morphisms preserving Lyndon words or the order on finite words. We also briefly study morphisms preserving border-free words and those preserving the radix order.

scholarly journals Exponential bounds and tails for additive random recursive sequences

2007 ◽  
Vol Vol. 9 no. 1 (Analysis of Algorithms) ◽  
Author(s):  
Ludger Rüschendorf ◽  
Eva-Maria Schopp
Keyword(s):  
Analysis Of Algorithms ◽  
Sufficient Conditions ◽  
Random Trees ◽  
Divide And Conquer ◽  
Recursive Sequences ◽  
Recursive Structures ◽  
International Audience ◽  
Exponential Bounds ◽  
The Moment

Analysis of Algorithms International audience Exponential bounds and tail estimates are derived for additive random recursive sequences, which typically arise as functionals of recursive structures, of random trees or in recursive algorithms. In particular they arise as parameters of divide and conquer type algorithms. We derive tail bounds from estimates of the Laplace transforms and of the moment sequences. For the proof we use some classical exponential bounds and some variants of the induction method. The paper generalizes results of Rösler (% \citeyearNPRoesler:91, % \citeyearNPRoesler:92) and % \citeNNeininger:05 on subgaussian tails to more general classes of additive random recursive sequences. It also gives sufficient conditions for tail bounds of the form \exp(-a t^p) which are based on a characterization of \citeNKasahara:78.

scholarly journals An optimal cardinality estimation algorithm based on order statistics and its full analysis

2010 ◽  
Vol DMTCS Proceedings vol. AM,... (Proceedings) ◽  
Author(s):  
Jérémie Lumbroso
Keyword(s):  
Order Statistics ◽  
Estimation Algorithm ◽  
Fine Tuning ◽  
Simple Analysis ◽  
Relative Precision ◽  
Asymptotic Regime ◽  
Cardinality Estimation ◽  
International Audience ◽  
Full Analysis

International audience Building on the ideas of Flajolet and Martin (1985), Alon et al. (1987), Bar-Yossef et al. (2002), Giroire (2005), we develop a new algorithm for cardinality estimation, based on order statistics which, according to Chassaing and Gerin (2006), is optimal among similar algorithms. This algorithm has a remarkably simple analysis that allows us to take its $\textit{fine-tuning}$ and the $\textit{characterization of its properties}$ further than has been done until now. We prove that, asymptotically, it is $\textit{strictly unbiased}$ (contrarily to Probabilistic Counting, Loglog, Hyperloglog), we verify that its relative precision is about $1/\sqrt{m-2}$ when $m$ words of storage are used, and we fully characterize the limit law of the estimates it provides, in terms of gamma distribution―-this is the first such algorithm for which the limit law has been established. We also develop a Poisson analysis for the pre-asymptotic regime. In this way, we are able to devise a complete algorithm, covering all cardinalities ranges from $0$ to very large.

scholarly journals Gray code order for Lyndon words

2007 ◽  
Vol Vol. 9 no. 2 ◽  
Author(s):  
Vincent Vajnovszki
Keyword(s):  
Gray Code ◽  
Time Algorithm ◽  
Positive Answer ◽  
Combinatorics On Words ◽  
International Audience ◽  
Lyndon Words

International audience At the 4th Conference on Combinatorics on Words, Christophe Reutenauer posed the question of whether the dual reflected order yields a Gray code on the Lyndon family. In this paper we give a positive answer. More precisely, we present an O(1)-average-time algorithm for generating length n binary pre-necklaces, necklaces and Lyndon words in Gray code order.

scholarly journals Finely homogeneous computations in free Lie algebras

1997 ◽  
Vol Vol. 1 ◽  
Author(s):  
Philippe Andary
Keyword(s):  
Lie Algebras ◽  
Vector Fields ◽  
Simple Algorithm ◽  
Lexicographic Order ◽  
Worst Case ◽  
Free Lie Algebras ◽  
International Audience ◽  
Lyndon Word ◽  
The One ◽  
Lyndon Words

International audience We first give a fast algorithm to compute the maximal Lyndon word (with respect to lexicographic order) of \textitLy_α (A) for every given multidegree alpha in \textbfN^k. We then give an algorithm to compute all the words living in \textitLy_α (A) for any given α in \textbfN^k. The best known method for generating Lyndon words is that of Duval [1], which gives a way to go from every Lyndon word of length n to its successor (with respect to lexicographic order by length), in space and worst case time complexity O(n). Finally, we give a simple algorithm which uses Duval's method (the one above) to compute the next standard bracketing of a Lyndon word for lexicographic order by length. We can find an interesting application of this algorithm in control theory, where one wants to compute within the command Lie algebra of a dynamical system (letters are actually vector fields).

scholarly journals Self-complementing permutations of k-uniform hypergraphs

2009 ◽  
Vol Vol. 11 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Artur Szymański ◽  
Adam Pawel Wojda
Keyword(s):  
Positive Integer ◽  
Uniform Hypergraph ◽  
Uniform Hypergraphs ◽  
Unique Integer ◽  
International Audience ◽  
Sigma E

Graphs and Algorithms International audience A k-uniform hypergraph H = ( V; E) is said to be self-complementary whenever it is isomorphic with its complement (H) over bar = ( V; ((V)(k)) - E). Every permutation sigma of the set V such that sigma(e) is an edge of (H) over bar if and only if e is an element of E is called self-complementing. 2-self-comlementary hypergraphs are exactly self complementary graphs introduced independently by Ringel ( 1963) and Sachs ( 1962). <br> For any positive integer n we denote by lambda(n) the unique integer such that n = 2(lambda(n)) c, where c is odd. <br> In the paper we prove that a permutation sigma of [1, n] with orbits O-1,..., O-m O m is a self-complementing permutation of a k-uniform hypergraph of order n if and only if there is an integer l >= 0 such that k = a2(l) + s, a is odd, 0 <= s <= 2(l) and the following two conditions hold: <br> (i)n = b2(l+1) + r,r is an element of {0,..., 2(l) - 1 + s}, and <br> (ii) Sigma(i:lambda(vertical bar Oi vertical bar)<= l) vertical bar O-i vertical bar <= r. <br> For k = 2 this result is the very well known characterization of self-complementing permutation of graphs given by Ringel and Sachs.

Sign in / Sign up

Export Citation Format

Share Document