English
Related papers

Related papers: Normal basises and symbolical dynamics

200 papers

We study word series and extended word series, classes of formal series for the analysis of some dynamical systems and their discretizations. These series are similar to but more compact than B-series. They may be composed among themselves…

Numerical Analysis · Mathematics 2015-12-01 Ander Murua , J. M. Sanz-Serna

We revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics, which means that not all algebraic models can be embedded…

Logic in Computer Science · Computer Science 2024-12-18 G. A. Kavvos

Randomness (in the sense of being generated in an IID fashion) and exchangeability are standard assumptions in nonparametric statistics and machine learning, and relations between them have been a popular topic of research. This short paper…

Statistics Theory · Mathematics 2026-01-21 Vladimir Vovk

In this note we provide a (decidable) graph-structural characterisation of the infiniteness of $L(w_1, ..., w_k)$, where $L(w_1, ..., w_k) = \{w \in A^* | |w|_{w_1} = \cdots = |w|_{w_k}\}$ is the set of all words that contain the same…

Formal Languages and Automata Theory · Computer Science 2019-10-29 Ryoma Sin'ya

Return words constitute a powerful tool for studying symbolic dynamical systems. They may be regarded as a discrete analogue of the first return map in dynamical systems. In this paper we investigate two abelian variants of the notion of…

Combinatorics · Mathematics 2012-04-27 Svetlana Puzynina , Luca Q. Zamboni

The stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer set programming. This paper focuses on the expressiveness of…

Artificial Intelligence · Computer Science 2014-12-03 Heng Zhang , Yan Zhang

Substitution systems evolve in time by generating sequences of symbols from a finite alphabet: At a certain iteration step, the existing symbols are systematically replaced by blocks of $N_{k}$ symbols also within the alphabet (with…

Mathematical Physics · Physics 2015-07-08 Vladimir Garcia-Morales

We associate to each discrete partial dynamical system a universal C*-algebra generated by partial isometries satisfying relations given by a Boolean algebra connected to the discrete partial dynamical system in question. We show that for…

Operator Algebras · Mathematics 2007-05-23 Toke Meier Carlsen

To each one-dimensional subshift $X$, we may associate a winning shift $W(X)$ which arises from a combinatorial game played on the language of $X$. Previously it has been studied what properties of $X$ does $W(X)$ inherit. For example, $X$…

Formal Languages and Automata Theory · Computer Science 2022-06-15 Jarkko Peltomäki , Ville Salo

The Wess-Zumino term of the spinning string is constructed in terms of their anomalies using an extended field-antifield formalism. A new feature appears from a fact that the non-anomalous transformations do not form a sub-group. The…

High Energy Physics - Theory · Physics 2009-10-30 J. Gomis , K. Kamimura , R. Kuriki

The class of (eventually) dendric words generalizes well-known families such as the Arnoux-Rauzy words or the codings of interval exchanges. There are still many open questions about the link between dendricity and morphisms. In this paper,…

Discrete Mathematics · Computer Science 2023-04-06 France Gheeraert

We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under the possibility semantics, a word belongs to the language if…

Formal Languages and Automata Theory · Computer Science 2015-03-19 Pablo Barceló , Leonid Libkin , Juan Reutter

An S-adic system is a symbolic dynamical system generated by iterating an infinite sequence of substitutions or morphisms, called a directive sequence. A finitary S-adic dynamical system is one where the directive sequence consists of…

Dynamical Systems · Mathematics 2025-01-29 Valérie Berthé , Paulina Cecchi Bernales , Reem Yassawi

We give a description of the link between topological dynamical systems and their dimension groups. The focus is on minimal systems and, in particular, on substitution shifts. We describe in detail the various classes of systems including…

Dynamical Systems · Mathematics 2020-12-14 Fabien Durand , Dominique Perrin

The problem of finite-dimensional asymptotics of infinite-dimensional dynamic systems is studied. A non-linear kinetic system with conservation of supports for distributions has generically finite-dimensional asymptotics. Such systems are…

Statistical Mechanics · Physics 2008-10-03 A. N. Gorban

In this work, we begin the study of a new class of dynamical systems determined by interval maps generated by the symbolic action of erasing substitution rules. We do this by discussing in some detail the geometric, analytical, dynamical…

Dynamical Systems · Mathematics 2022-07-27 Alessandro Della Corte , Stefano Isola , Riccardo Piergallini

Syntax is a latent hierarchical structure which underpins the robust and compositional nature of human language. In this work, we explore the hypothesis that syntactic dependencies can be represented in language model attention…

Computation and Language · Computer Science 2023-10-24 Jasper Jian , Siva Reddy

Classification and invariants, with respect to basis changes, of finite dimensional algebras are considered. An invariant open, dense (in the Zariscki topology) subset of the space of structural constants is defined. The algebras with…

Rings and Algebras · Mathematics 2015-09-24 Ural Bekbaev

Distributional semantics provides multi-dimensional, graded, empirically induced word representations that successfully capture many aspects of meaning in natural languages, as shown in a large body of work in computational linguistics;…

Computation and Language · Computer Science 2020-03-19 Gemma Boleda

A string $w$ is called a minimal absent word (MAW) for another string $T$ if $w$ does not occur in $T$ but the proper substrings of $w$ occur in $T$. For example, let $\Sigma = \{\mathtt{a, b, c}\}$ be the alphabet. Then, the set of MAWs…