scholarly journals A Characterization of Balanced Episturmian Sequences

10.37236/951 ◽  
2007 ◽  
Vol 14 (1) ◽  
Author(s):  
Geneviève Paquin ◽  
Laurent Vuillon
Keyword(s):  
Natural Generalization ◽  
Periodic Sequences ◽  
Letter Alphabet ◽  
Sturmian Sequences ◽  
Special Case

It is well-known that Sturmian sequences are the non ultimately periodic sequences that are balanced over a 2-letter alphabet. They are also characterized by their complexity: they have exactly $(n+1)$ distinct factors of length $n$. A natural generalization of Sturmian sequences is the set of infinite episturmian sequences. These sequences are not necessarily balanced over a $k$-letter alphabet, nor are they necessarily aperiodic. In this paper, we characterize balanced episturmian sequences, periodic or not, and prove Fraenkel's conjecture for the special case of episturmian sequences. It appears that balanced episturmian sequences are all ultimately periodic and they can be classified in 3 families.

scholarly journals A characterization of Sturmian sequences by indistinguishable asymptotic pairs

2021 ◽  
Vol 95 ◽  
pp. 103318
Author(s):  
Sebastián Barbieri ◽  
Sébastien Labbé ◽  
Štěpán Starosta
Keyword(s):  
Sturmian Sequences

scholarly journals Income and Wealth Distribution in Macroeconomics: A Continuous-Time Approach

2021 ◽  
Author(s):  
Yves Achdou ◽  
Jiequn Han ◽  
Jean-Michel Lasry ◽  
Pierre-Louis Lions ◽  
Benjamin Moll
Keyword(s):  
Continuous Time ◽  
Wealth Distribution ◽  
Closed Form Solution ◽  
Form Solution ◽  
Heterogeneous Agent ◽  
Saving Behavior ◽  
Income And Wealth Distribution ◽  
Heterogeneous Agent Models ◽  
Special Case

Abstract We recast the Aiyagari-Bewley-Huggett model of income and wealth distribution in continuous time. This workhorse model – as well as heterogeneous agent models more generally – then boils down to a system of partial differential equations, a fact we take advantage of to make two types of contributions. First, a number of new theoretical results: (i) an analytic characterization of the consumption and saving behavior of the poor, particularly their marginal propensities to consume; (ii) a closed-form solution for the wealth distribution in a special case with two income types; (iii) a proof that there is a unique stationary equilibrium if the intertemporal elasticity of substitution is weakly greater than one. Second, we develop a simple, efficient and portable algorithm for numerically solving for equilibria in a wide class of heterogeneous agent models, including – but not limited to – the Aiyagari-Bewley-Huggett model.

scholarly journals Congruence pairs of principal MS-algebras and perfect extensions

2020 ◽  
Vol 70 (6) ◽  
pp. 1275-1288
Author(s):  
Abd El-Mohsen Badawy ◽  
Miroslav Haviar ◽  
Miroslav Ploščica
Keyword(s):  
Boolean Algebra ◽  
Congruence Lattices ◽  
Descriptive Solution ◽  
The One ◽  
Special Case ◽  
Congruence Pair

AbstractThe notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for K2-algebras [6], is introduced. It is proved that the congruences of the principal MS-algebras L correspond to the MS-congruence pairs on simpler substructures L°° and D(L) of L that were associated to L in [4].An analogy of a well-known Grätzer’s problem [11: Problem 57] formulated for distributive p-algebras, which asks for a characterization of the congruence lattices in terms of the congruence pairs, is presented here for the principal MS-algebras (Problem 1). Unlike a recent solution to such a problem for the principal p-algebras in [2], it is demonstrated here on the class of principal MS-algebras, that a possible solution to the problem, though not very descriptive, can be simple and elegant.As a step to a more descriptive solution of Problem 1, a special case is then considered when a principal MS-algebra L is a perfect extension of its greatest Stone subalgebra LS. It is shown that this is exactly when de Morgan subalgebra L°° of L is a perfect extension of the Boolean algebra B(L). Two examples illustrating when this special case happens and when it does not are presented.

Intersections of quotient rings and Prüfer v-multiplication domains

2016 ◽  
Vol 15 (08) ◽  
pp. 1650149 ◽  
Author(s):  
Said El Baghdadi ◽  
Marco Fontana ◽  
Muhammad Zafrullah
Keyword(s):  
Integral Domain ◽  
Algebraic Approach ◽  
Quotient Field ◽  
Topological Characterization ◽  
Locally Finite ◽  
Star Operation ◽  
Star Operations ◽  
Quotient Rings ◽  
Special Case

Let [Formula: see text] be an integral domain with quotient field [Formula: see text]. Call an overring [Formula: see text] of [Formula: see text] a subring of [Formula: see text] containing [Formula: see text] as a subring. A family [Formula: see text] of overrings of [Formula: see text] is called a defining family of [Formula: see text], if [Formula: see text]. Call an overring [Formula: see text] a sublocalization of [Formula: see text], if [Formula: see text] has a defining family consisting of rings of fractions of [Formula: see text]. Sublocalizations and their intersections exhibit interesting examples of semistar or star operations [D. D. Anderson, Star operations induced by overrings, Comm. Algebra 16 (1988) 2535–2553]. We show as a consequence of our work that domains that are locally finite intersections of Prüfer [Formula: see text]-multiplication (respectively, Mori) sublocalizations turn out to be Prüfer [Formula: see text]-multiplication domains (PvMDs) (respectively, Mori); in particular, for the Mori domain case, we reobtain a special case of Théorème 1 of [J. Querré, Intersections d’anneaux intègers, J. Algebra 43 (1976) 55–60] and Proposition 3.2 of [N. Dessagnes, Intersections d’anneaux de Mori — exemples, Port. Math. 44 (1987) 379–392]. We also show that, more than the finite character of the defining family, it is the finite character of the star operation induced by the defining family that causes the interesting results. As a particular case of this theory, we provide a purely algebraic approach for characterizing P vMDs as a subclass of the class of essential domains (see also Theorem 2.4 of [C. A. Finocchiaro and F. Tartarone, On a topological characterization of Prüfer [Formula: see text]-multiplication domains among essential domains, preprint (2014), arXiv:1410.4037]).

On Harmonic Theory in Flows

2003 ◽  
Vol 46 (4) ◽  
pp. 617-631 ◽  
Author(s):  
Hong Kyung Pak
Keyword(s):  
Contact Manifold ◽  
Natural Generalization ◽  
Basic Flow ◽  
Compact Manifolds ◽  
Cohomology Spaces ◽  
Special Case

AbstractRecently [8], a harmonic theory was developed for a compact contact manifold from the viewpoint of the transversal geometry of contact flow. A contact flow is a typical example of geodesible flow. As a natural generalization of the contact flow, the present paper develops a harmonic theory for various flows on compact manifolds. We introduce the notions of H-harmonic and H*-harmonic spaces associated to a Hörmander flow. We also introduce the notions of basic harmonic spaces associated to a weak basic flow. One of our main results is to show that in the special case of isometric flow these harmonic spaces are isomorphic to the cohomology spaces of certain complexes. Moreover, we find an obstruction for a geodesible flow to be isometric.

scholarly journals Characterization of Self-Adjoint Domains for Two-Interval Even Order Singular C-Symmetric Differential Operators in Direct Sum Spaces

2019 ◽  
Vol 2019 ◽  
pp. 1-12
Author(s):  
Qinglan Bao ◽  
Xiaoling Hao ◽  
Jiong Sun
Keyword(s):  
Boundary Conditions ◽  
Differential Operators ◽  
Direct Sum ◽  
Even Order ◽  
Special Case ◽  
Symmetric Differential Operators

This paper is concerned with the characterization of all self-adjoint domains associated with two-interval even order singular C-symmetric differential operators in terms of boundary conditions. The previously known characterizations of Lagrange symmetric differential operators are a special case of this one.

Quadratic-monomial generated domains from mixed signed, directed graphs

2019 ◽  
Vol 29 (02) ◽  
pp. 279-308
Author(s):  
Michael A. Burr ◽  
Drew J. Lipman
Keyword(s):  
Directed Graphs ◽  
Complete Characterization ◽  
Combinatorial Structure ◽  
Signed Directed Graph ◽  
Odd Cycle ◽  
Combinatorial Classification ◽  
Special Case ◽  
Text Condition

Determining whether an arbitrary subring [Formula: see text] of [Formula: see text] is a normal or Cohen-Macaulay domain is, in general, a nontrivial problem, even in the special case of a monomial generated domain. We provide a complete characterization of the normality, normalizations, and Serre’s [Formula: see text] condition for quadratic-monomial generated domains. For a quadratic-monomial generated domain [Formula: see text], we develop a combinatorial structure that assigns, to each quadratic monomial of the ring, an edge in a mixed signed, directed graph [Formula: see text], i.e. a graph with signed edges and directed edges. We classify the normality and the normalizations of such rings in terms of a generalization of the combinatorial odd cycle condition on [Formula: see text]. We also generalize and simplify a combinatorial classification of Serre’s [Formula: see text] condition for such rings and construct non-Cohen–Macaulay rings.

scholarly journals Full Characterization of Act-and-wait Control for First-order Unstable Lag Processes

2010 ◽  
Vol 16 (7-8) ◽  
pp. 1209-1233 ◽  
Author(s):  
T. Insperger ◽  
P. Wahi ◽  
A. Colombo ◽  
G. Stépán ◽  
M. Di Bernardo ◽  
...  
Keyword(s):  
Time Delay ◽  
Feedback Systems ◽  
Periodic Control ◽  
First Order ◽  
Full Characterization ◽  
The Stability ◽  
And Control ◽  
Time Periodic ◽  
Special Case

Act-and-wait control is a special case of time-periodic control for systems with feedback delay, where the control gains are periodically switched on and off in order to stabilize otherwise unstable systems. The stability of feedback systems in the presence of time delay is a challenging problem. In this paper, we show that the act-and-wait type time-periodic control can always provide deadbeat control for first-order unstable lag processes with any (large but) fixed value of the time delay in the feedback loop. A full characterization of this act-and-wait controller with respect to the system and control parameters is given based on performance and robustness against disturbances.

A CHARACTERIZATION OF RECOGNIZABLE PICTURE LANGUAGES

1994 ◽  
Vol 08 (02) ◽  
pp. 501-508 ◽  
Author(s):  
KATSUSHI INOUE ◽  
ITSUO TAKANAMI
Keyword(s):  
Finite Automata ◽  
Two Dimensional ◽  
Open Problems ◽  
Nondeterministic Finite Automata ◽  
Letter Alphabet ◽  
The Family ◽  
On Line ◽  
Picture Languages

This paper first shows that REC, the family of recognizable picture languages in Giammarresi and Restivo,3 is equal to the family of picture languages accepted by two-dimensional on-line tessellation acceptors in Inoue and Nakamura.5 By using this result, we then solve open problems in Giammarresi and Restivo,3 and show that (i) REC is not closed under complementation, and (ii) REC properly contains the family of picture languages accepted by two-dimensional nondeterministic finite automata even over a one letter alphabet.

scholarly journals ON THE NUMBER OF ABELIAN BORDERED WORDS (WITH AN EXAMPLE OF AUTOMATIC THEOREM-PROVING)

2014 ◽  
Vol 25 (08) ◽  
pp. 1097-1110 ◽  
Author(s):  
DANIEL GOČ ◽  
NARAD RAMPERSAD ◽  
MICHEL RIGO ◽  
PAVEL SALIMOV
Keyword(s):  
Theorem Proving ◽  
Triangular Lattice ◽  
Automatic Theorem Proving ◽  
Combinatorial Objects ◽  
Letter Alphabet ◽  
Automatic Sequences ◽  
Motzkin Paths ◽  
Automatic Theorem

In the literature, many bijections between (labeled) Motzkin paths and various other combinatorial objects are studied. We consider abelian (un)bordered words and show the connection with irreducible symmetric Motzkin paths and paths in ℤ not returning to the origin. This study can be extended to abelian unbordered words over an arbitrary alphabet and we derive expressions to compute the number of these words. In particular, over a 3-letter alphabet, the connection with paths in the triangular lattice is made. Finally, we characterize the lengths of the abelian unbordered factors occurring in the Thue–Morse word using some kind of automatic theorem-proving provided by a logical characterization of the k-automatic sequences.

Sign in / Sign up

Export Citation Format

Share Document