Researcher profile

Karl Petersen

Karl Petersen contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
10works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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

10 published item(s)

preprint2022arXiv

A classification of nonexpansive Bratteli-Vershik systems

We study simple, properly ordered nonexpansive Bratteli-Vershik ($BV$) systems. Correcting a mistake in an earlier paper, we redefine the classes standard nonexpansive ($SNE$) and strong standard nonexpansive ($SSNE$). We define also the classes of very well timed and well timed systems, their opposing classes of untimed and very untimed systems (which feature, as subclasses of "Case (2)", in the work of Downarowicz and Maass as well as Hoynes on expansiveness of $BV$ systems of finite topological rank), and several related classes according to the existence of indistinguishable pairs (of some "depth") and their synchronization ("common cuts"). We establish some properties of these types of systems and some relations among them. We provide several relevant examples, including a problematic one that is conjugate to a well timed system while also (vacuously) in the classes "Case (2)". We prove that the class of all simple, properly ordered nonexpansive $BV$ systems is the disjoint union of the ones conjugate to well timed systems and those conjugate to untimed systems, thereby showing that nonexpansiveness in $BV$ systems arises in one of two mutually exclusive ways.

preprint2020arXiv

Periodic codings of Bratteli-Vershik systems

We develop conditions for the coding of a Bratteli-Vershik system according to initial path segments to be periodic, equivalently for a constructive symbolic recursive scheme corresponding to a cutting and stacking process to produce a periodic sequence. This is a step toward understanding when a Bratteli-Vershik system can be essentially faithfully represented by means of a natural coding as a subshift on a finite alphabet.

preprint2016arXiv

Constructive symbolic presentations of rank one measure-preserving systems

Given a rank one measure-preserving system defined by cutting and stacking with spacers, we produce a rank one binary sequence such that its orbit closure under the shift transformation, with its unique {nonatomic} invariant probability, is isomorphic to the given system. In particular, the classical dyadic odometer is presented in terms of a recursive sequence of blocks on the two-symbol alphabet $\{0,1\}$. The construction is accomplished using a definition of rank one in the setting of adic, or Bratteli-Vershik, systems.

preprint2016arXiv

Dynamical intricacy and average sample complexity

We propose a new way to measure the balance between freedom and coherence in a dynamical system and a new measure of its internal variability. Based on the concept of entropy and ideas from neuroscience and information theory, we define \emph{intricacy} and \emph{average sample complexity} for topological and measure-preserving dynamical systems. We establish basic properties of these quantities, show that their suprema over covers or partitions equal the ordinary entropies, compute them for many shifts of finite type, and indicate natural directions for further research.

preprint2015arXiv

Dynamical properties of some adic systems with arbitrary orderings

We consider arbitrary orderings of the edges entering each vertex of the (downward directed) Pascal graph. Each ordering determines an adic (Bratteli-Vershik) system, with a transformation that is defined on most of the space of infinite paths that begin at the root. We prove that for every ordering the coding of orbits according to the partition of the path space determined by the first three edges is essentially faithful, meaning that it is one-to-one on a set of paths that has full measure for every fully supported invariant probability measure. We also show that for every $k$ the subshift that arises from coding orbits according to the first $k$ edges is topologically weakly mixing. We give a necessary and sufficient condition for any adic system to be topologically conjugate to an odometer and use this condition to determine the probability that a random order on a fixed diagram, or a diagram constructed at random in some way, is topologically conjugate to an odometer. We also show that the closure of the union over all orderings of the subshifts arising from codings of the Pascal adic by the first edge has superpolynomial complexity, is not topologically transitive, and has no periodic points besides the two fixed points, while the intersection over all orderings consists of just four orbits.

preprint2010arXiv

Hidden Markov processes in the context of symbolic dynamics

In an effort to aid communication among different fields and perhaps facilitate progress on problems common to all of them, this article discusses hidden Markov processes from several viewpoints, especially that of symbolic dynamics, where they are known as sofic measures, or continuous shift-commuting images of Markov measures. It provides background, describes known tools and methods, surveys some of the literature, and proposes several open problems.

preprint1996arXiv

Symmetric Gibbs measures

We prove that certain Gibbs measures on subshifts of finite type are nonsingular and ergodic for certain countable equivalence relations, including the orbit relation of the adic transformation (the same as equality after a permutation of finitely many coordinates). The relations we consider are defined by cocycles taking values in groups, including some nonabelian ones. This generalizes (half of) the identification of the invariant ergodic probability measures for the Pascal adic transformation as exactly the Bernoulli measures---a version of de Finetti's Theorem. Generalizing the other half, we characterize the measures on subshifts of finite type that are invariant under both the adic and the shift as the Gibbs measures whose potential functions depend on only a single coordinate. There are connections with and implications for exchangeability, ratio limit theorems for transient Markov chains, interval splitting procedures, `canonical' Gibbs states, and the triviality of remote sigma-fields finer than the usual tail field.