Showing papers in "arXiv: Dynamical Systems in 2019"

Topological entropy of nonautonomous dynamical systems

Abstract: Let $\mathcal{M}(X)$ be the space of Borel probability measures on a compact metric space $X$ endowed with the weak$^\ast$-topology. In this paper, we prove that if the topological entropy of a nonautonomous dynamical system $(X,\{f_n\}_{n=1}^{+\infty})$ vanishes, then so does that of its induced system $(\mathcal{M}(X),\{f_n\}_{n=1}^{+\infty})$; moreover, once the topological entropy of $(X,\{f_n\}_{n=1}^{+\infty})$ is positive, that of its induced system $(\mathcal{M}(X),\{f_n\}_{n=1}^{+\infty})$ jumps to infinity. In contrast to Bowen's inequality, we construct a nonautonomous dynamical system whose topological entropy is not preserved under a finite-to-one extension.

Physics-Informed Probabilistic Learning of Linear Embeddings of Non-linear Dynamics With Guaranteed Stability

Abstract: The Koopman operator has emerged as a powerful tool for the analysis of nonlinear dynamical systems as it provides coordinate transformations to globally linearize the dynamics. While recent deep learning approaches have been useful in extracting the Koopman operator from a data-driven perspective, several challenges remain. In this work, we formalize the problem of learning the continuous-time Koopman operator with deep neural networks in a measure-theoretic framework. Our approach induces two types of models: differential and recurrent form, the choice of which depends on the availability of the governing equations and data. We then enforce a structural parameterization that renders the realization of the Koopman operator provably stable. A new autoencoder architecture is constructed, such that only the residual of the dynamic mode decomposition is learned. Finally, we employ mean-field variational inference (MFVI) on the aforementioned framework in a hierarchical Bayesian setting to quantify uncertainties in the characterization and prediction of the dynamics of observables. The framework is evaluated on a simple polynomial system, the Duffing oscillator, and an unstable cylinder wake flow with noisy measurements.

Asymptotic pairs in positive-entropy systems

Abstract: We show that in a topological dynamical system $(X,T)$ of positive entropy there exist proper (positively) asymptotic pairs, that is, pairs $(x,y)$ such that $x ot= y$ and $\lim_{n\to +\infty} d(T^n x,T^n y)=0$. More precisely we consider a $T$-ergodic measure $\mu$ of positive entropy and prove that the set of points that belong to a proper asymptotic pair is of measure $1$. When $T$ is invertible, the stable classes (i.e., the equivalence classes for the asymptotic equivalence) are not stable under $T^{-1}$: for $\mu$-almost every $x$ there are uncountably many $y$ that are asymptotic with $x$ and such that $(x,y)$ is a Li-Yorke pair with respect to $T^{-1}$. We also show that asymptotic pairs are dense in the set of topological entropy pairs.

Dimension of invariant measures for affine iterated function systems

Abstract: Let $\{S_i\}_{i\in \Lambda}$ be a finite contracting affine iterated function system (IFS) on ${\Bbb R}^d$. Let $(\Sigma,\sigma)$ denote the two-sided full shift over the alphabet $\Lambda$, and $\pi:\Sigma\to {\Bbb R}^d$ be the coding map associated with the IFS. We prove that the projection of an ergodic $\sigma$-invariant measure on $\Sigma$ under $\pi$ is always exact dimensional, and its Hausdorff dimension satisfies a Ledrappier-Young type formula. Furthermore, the result extends to average contracting affine IFSs. This completes several previous results and answers a folklore open question in the community of fractals. Some applications are given to the dimension of self-affine sets and measures.

Interacting Langevin Diffusions: Gradient Structure And Ensemble Kalman Sampler

Abstract: Solving inverse problems without the use of derivatives or adjoints of the forward model is highly desirable in many applications arising in science and engineering. In this paper, we propose a new version of such a methodology, a framework for its analysis, and numerical evidence of the practicality of the method proposed. Our starting point is an ensemble of over-damped Langevin diffusions which interact through a single preconditioner computed as the empirical ensemble covariance. We demonstrate that the nonlinear Fokker-Planck equation arising from the mean-field limit of the associated stochastic differential equation (SDE) has a novel gradient flow structure, built on the Wasserstein metric and the covariance matrix of the noisy flow. Using this structure, we investigate large time properties of the Fokker-Planck equation, showing that its invariant measure coincides with that of a single Langevin diffusion, and demonstrating exponential convergence to the invariant measure in a number of settings. We introduce a new noisy variant on ensemble Kalman inversion (EKI) algorithms found from the original SDE by replacing exact gradients with ensemble differences; this defines the ensemble Kalman sampler (EKS). Numerical results are presented which demonstrate its efficacy as a derivative-free approximate sampler for the Bayesian posterior arising from inverse problems.

A tour through Mirzakhani's work on moduli spaces of Riemann surfaces

Abstract: We survey Mirzakhani's work relating to Riemann surfaces, which spans about 20 papers. We target the discussion at a broad audience of non-experts.

Deep Learning Models for Global Coordinate Transformations that Linearize PDEs

Abstract: We develop a deep autoencoder architecture that can be used to find a coordinate transformation which turns a nonlinear PDE into a linear PDE. Our architecture is motivated by the linearizing transformations provided by the Cole-Hopf transform for Burgers equation and the inverse scattering transform for completely integrable PDEs. By leveraging a residual network architecture, a near-identity transformation can be exploited to encode intrinsic coordinates in which the dynamics are linear. The resulting dynamics are given by a Koopman operator matrix $\mathbf{K}$. The decoder allows us to transform back to the original coordinates as well. Multiple time step prediction can be performed by repeated multiplication by the matrix $\mathbf{K}$ in the intrinsic coordinates. We demonstrate our method on a number of examples, including the heat equation and Burgers equation, as well as the substantially more challenging Kuramoto-Sivashinsky equation, showing that our method provides a robust architecture for discovering interpretable, linearizing transforms for nonlinear PDEs.

Equidistribution and counting under equilibrium states in negative curvature and trees. Applications to non-Archimedean Diophantine approximation

Abstract: In this book, we study equidistribution and counting problems concerning locally geodesic arcs in negatively curved spaces endowed with potentials, and we deduce, from the special case of tree quotients, various arithmetic applications to equidistribution and counting problems in non-Archimedean local fields.

On the Structure of Time-delay Embedding in Linear Models of Non-linear Dynamical Systems

Abstract: This work addresses fundamental issues related to the structure and conditioning of linear time-delayed models of non-linear dynamics on an attractor. While this approach has been well-studied in the asymptotic sense (e.g. for infinite number of delays), the non-asymptotic setting is not well-understood. First, we show that the minimal time-delays required for perfect signal recovery are solely determined by the sparsity in the Fourier spectrum for scalar systems. For the vector case, we provide a rank test and a geometric interpretation for the necessary and sufficient conditions for the existence of an accurate linear time delayed model. Further, we prove that the output controllability index of a linear system induced by the Fourier spectrum serves as a tight upper bound on the minimal number of time delays required. An explicit expression for the exact linear model in the spectral domain is also provided. From a numerical perspective, the effect of the sampling rate and the number of time delays on numerical conditioning is examined. An upper bound on the condition number is derived, with the implication that conditioning can be improved with additional time delays and/or decreasing sampling rates. Moreover, it is explicitly shown that the underlying dynamics can be accurately recovered using only a partial period of the attractor. Our analysis is first validated in simple periodic and quasi-periodic systems, and sensitivity to noise is also investigated. Finally, issues and practical strategies of choosing time delays in large-scale chaotic systems are discussed and demonstrated on 3D turbulent Rayleigh-Benard convection.

Analysis of a fractional order eco-epidemiological model with prey infection and type II functional response

Abstract: In this paper, we introduce fractional order into an ecoepidemiological model, where predator consumes disproportionately large number of infected preys following type II response function. We prove different mathematical results like existence, uniqueness, non-negativity and boundedness of the solutions of fractional order system. We also prove the local and global stability of different equilibrium points of the system. The results are illustrated with several examples.

Tipping Phenomena and Points of No Return in Ecosystems: Beyond Classical Bifurcations

Abstract: We discuss tipping phenomena (critical transitions) in nonautonomous systems using an example of a bistable ecosystem model with environmental changes represented by time-varying parameters [Scheffer et al., Ecosystems, 11 (2008), pp. 275--279]. We give simple testable criteria for the occurrence of nonautonomous tipping from the herbivore-dominating equilibrium to the plant-only equilibrium using global properties of the autonomous frozen system with fixed-in-time parameters. To begin with, we use classical autonomous bifurcation analysis to identify a codimension-three degenerate Bogdanov-Takens bifurcation: the source of a dangerous subcritical Hopf bifurcation and the organizing center for bifurcation-induced tipping (B-tipping). Then, we introduce the concept of basin instability for equilibria to identify parameter paths along which genuine nonautonomous rate-induced tipping (R-tipping) occurs without crossing any classical autonomous bifurcations. We explain nonautonomous R-tipping in terms of maximal canard trajectories and produce nonautonomous tipping diagrams in the plane of the magnitude and rate of a parameter shift to uncover intriguing R-tipping tongues and wiggling tipping-tracking bifurcation curves. Discussion of nontrivial dynamics arising from the interaction between B-tipping and R-tipping identifies "points of no return" where tipping cannot be prevented by the parameter trend reversal and "points of return tipping" where tipping is inadvertently induced by the parameter trend reversal. Our results give new insight into the sensitivity of ecosystems to the magnitudes and rates of environmental change. Finally, a comparison between "tilted" saddle-node and subcritical Hopf normal forms reveals some universal tipping properties due to basin instability, a generic dangerous bifurcation, or the combination of both.

Groups of Homeomorphisms of One-Manifolds, I: Actions of Nonlinear Groups

Abstract: This self-contained paper is part of a series \cite{FF2,FF3} on actions by diffeomorphisms of infinite groups on compact manifolds. The two main results presented here are: 1) Any homomorphism of (almost any) mapping class group or automorphism group of a free group into $\Diff_+^r(S^1), r\geq 2$ is trivial. For r=0 Nielsen showed that in many cases nontrivial (even faithful) representations exist. Somewhat weaker results are proven for finite index subgroups. 2) We construct a finitely-presented group of real-analytic diffeomorphisms of $\R$ which is not residually finite.

Ergodic theory of affine isometric actions on Hilbert spaces

Abstract: The classical Gaussian functor associates to every orthogonal representation of a locally compact group $G$ a probability measure preserving action of $G$ called a Gaussian action. In this paper, we generalize this construction by associating to every affine isometric action of $G$ on a Hilbert space, a one-parameter family of nonsingular Gaussian actions whose ergodic properties are related in a very subtle way to the geometry of the original action. We show that these nonsingular Gaussian actions exhibit a phase transition phenomenon and we relate it to new quantitative invariants for affine isometric actions. We use the Patterson-Sullivan theory as well as Lyons-Pemantle work on tree-indexed random walks in order to give a precise description of this phase transition for affine isometric actions of groups acting on trees. We also show that every locally compact group without property (T) admits a nonsingular Gaussian that is free, weakly mixing and of stable type $\mathrm{III}_1$.

Stability Conditions and Liapunov Functions for Quasi-Polynomial Systems

Abstract: The stability of equilibrium points of quasi-polynomial systems of ODES is considered. The criteria and Liapunov functions found generalize those traditionally known for Lotka-Volterra equatious, that now appear as a particular case.

A survey on the blow-up method for fast-slow systems

Abstract: In this document we review a geometric technique, called \emph{the blow-up method}, as it has been used to analyze and understand the dynamics of fast-slow systems around non-hyperbolic points. The blow-up method, having its origins in algebraic geometry, was introduced in 1996 to the study of fast-slow systems in the seminal work by Dumortier and Roussarie \cite{dumortier1996canard}, whose aim was to give a geometric approach and interpretation of canards in the van der Pol oscillator. Following \cite{dumortier1996canard}, many efforts have been performed to expand the capabilities of the method and to use it in a wide range of scenarios. Our goal is to present in a concise and compact form those results that, based on the blow-up method, are now the foundation of the geometric theory of fast-slow systems with non-hyperbolic singularities. We cover fold points due to their great importance in the theory of fast-slow systems as one of the main topics. Furthermore, we also present several other singularities such as Hopf, pitchfork, transcritical, cusp, and Bogdanov-Takens, in which the blow-up method has been proved to be extremely useful. Finally, we survey further directions as well as examples of specific applied models, where the blow-up method has been used successfully.

Hyperchaos and Multistability in Nonlinear Dynamics of Two Interacting Microbubble Contrast Agents

Abstract: We study nonlinear dynamics of two coupled contrast agents that are micro-meter size gas bubbles encapsulated into a viscoelastic shell. Such bubbles are used for enhancing ultrasound visualization of blood flow and have other promising applications like targeted drug delivery and noninvasive therapy. Here we consider a model of two such bubbles interacting via the Bjerknes force and exposed to an external ultrasound field. We demonstrate that in this five-dimensional nonlinear dynamical system various types of complex dynamics can occur, namely, we observe periodic, quasi-periodic, chaotic and hypechaotic oscillations of bubbles. We study the bifurcation scenarios leading to the onset of both chaotic and hyperchaotic oscillations. We show that chaotic attractors in the considered system can appear via either Feigenbaum's cascade of period doubling bifurcations or Afraimovich--Shilnikov scenario of torus destruction. For the onset of hyperchaotic attractor we propose a new bifurcation scenario, which is based on the appearance of a homoclinic chaotic attractor containing a saddle-focus periodic orbit with its two-dimensional unstable manifold. Finally, we demonstrate that the bubbles' dynamics can be multistable, i.e. various combinations of co-existence of the above mentioned attractors are possible. These cases include co-existence of hyperchaotic regime with any of the other remaining types of dynamics for different parameter values. Thus, the model of two coupled gas bubbles provide a new examples of physically relevant system with multistable hyperchaos.

Universality of Euler flows and flexibility of Reeb embeddings

Abstract: The dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. Recently, Tao [35,36] launched a programme to address the global existence problem for the Euler and Navier Stokes equations based on the concept of universality. In this article we prove that the Euler equations exhibit universality features. More precisely, we show that any non-autonomous flow on a compact manifold can be extended to a smooth solution of the Euler equations on some Riemannian manifold of possibly higher dimension. The solutions we construct are stationary of Beltrami type, so they exist for all time. Using this result, we establish the Turing completeness of the Euler flows, i.e. that there exist solutions that encode a universal Turing machine and, in particular, these solutions have undecidable trajectories. Our proofs deepen the correspondence between contact topology and hydrodynamics, which is key to establish the universality of the Reeb flows and their Beltrami counterparts. An essential ingredient in the proofs is a novel flexibility theorem for embeddings in Reeb dynamics in terms of an $h$-principle in contact geometry, which unveils the flexible behavior of the steady Euler flows.

Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator

Abstract: Dynamic Mode Decomposition (DMD) has become synonymous with the Koopman operator, where continuous time dynamics are examined through a discrete time proxy determined by a fixed timestep using Koopman (i.e. composition) operators. Using the newly introduced "occupation kernels," the present manuscript develops an approach to DMD that treats continuous time dynamics directly through the Liouville operator. This manuscript outlines the technical and theoretical differences between Koopman based DMD for discrete time systems and Liouville based DMD for continuous time systems, which includes an examination of these operators over several reproducing kernel Hilbert spaces (RKHSs). A comparison between the obtained Liuoville and Koompan modes are presented for systems relating to fluid dynamics and electroencephalography (EEG). Liouville based DMD methods allow for the incorporation of data that is sampled at high frequencies without producing models with excessively large rank, as would be the case with Koopman based DMD, and Liouville based DMD natively allows for data that does not use fixed time steps. Finally, while both Liouville and Koopman operators are modally unbounded operators, scaled Liouville operators are introduced, which are compact for a large class of dynamics.

Two-Stroke Relaxation Oscillators.

Abstract: Two-stroke relaxation oscillations consist of two distinct phases per cycle - one slow and one fast - which distinguishes them from the well-known van der Pol-type 'four-stroke' relaxation oscillations. This type of oscillation can be found in singular perturbation problems in non-standard form, where the slow-fast timescale splitting is not necessarily reflected in a slow-fast variable splitting. The existing literature on such non-standard problems has developed primarily through applications - we compliment this by providing a general framework for the application of geometric singular perturbation theory in this non-standard setting and illustrate its applicability by proving existence and uniqueness results on a general class of two-stroke relaxation oscillators. We apply this non-standard geometric singular perturbation toolbox to a collection of examples arising in the dynamics of nonlinear transistors and models for mechanical oscillators with friction.

On the Impulsive Implicit $\Psi$--Hilfer Fractional Differential Equations with Delay

Abstract: In this paper, we investigate the existence and uniqueness of solutions and derive the Ulam--Hyers--Mittag--Leffler stability results for impulsive implicit $\Psi$--Hilfer fractional differential equations with time delay. It is demonstrated that the Ulam--Hyers and generalized Ulam--Hyers stability are the specific cases of Ulam--Hyers--Mittag--Leffler stability. Extended version of Gronwall inequality, abstract Gronwall lemma and Picard operator theory are the primary devices in our investigation. We give an example to illustrate the obtained results.

Input-output equations and identifiability of linear ODE models.

Abstract: Structural identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. The method of input-output equations is one method for verifying structural identifiability. This method stands out in its importance because the additional insights it provides can be used to analyze and improve models. However, its complete theoretical grounds and applicability are still to be established. A subtlety and key for this method to work correctly is knowing whether the coefficients of these equations are identifiable. In this paper, to address this, we prove identifiability of the coefficients of input-output equations for types of differential models that often appear in practice, such as linear models with one output and linear compartment models in which, from each compartment, one can reach either a leak or an input. This shows that checking identifiability via input-output equations for these models is legitimate and, as we prove, that the field of identifiable functions is generated by the coefficients of the input-output equations. Finally, we exploit a connection between input-output equations and the transfer function matrix to show that, for a linear compartment model with an input and strongly connected graph, the field of all identifiable functions is generated by the coefficients of the transfer function matrix even if the initial conditions are generic.

Pathology and asymmetry: centralizer rigidity for partially hyperbolic diffeomorphisms.

Abstract: We discover a rigidity phenomenon within the volume-preserving partially hyperbolic diffeomorphisms with $1$-dimensional center. In particular, for smooth, ergodic perturbations of certain algebraic systems -- including the discretized geodesic flows over hyperbolic manifolds and certain toral automorphisms with simple spectrum and exactly one eigenvalue on the unit circle, the smooth centralizer is either virtually $\mathbb Z^\ell$ or contains a smooth flow. At the heart of this work are two very different rigidity phenomena. The first was discovered in [2,3] for a class of volume-preserving partially hyperbolic systems including those studied here, the disintegration of volume along the center foliation is either equivalent to Lebesgue or atomic. The second phenomenon is the rigidity associated to several commuting partially hyperbolic diffeomorphisms with very different hyperbolic behavior transverse to a common center foliation [25]. We introduce a variety of techniques in the study of higher rank, abelian partially hyperbolic actions: most importantly, we demonstrate a novel geometric approach to building new partially hyperbolic elements in hyperbolic Weyl chambers using Pesin theory and leafwise conjugacy, while we also treat measure rigidity for circle extensions of Anosov diffeomorphisms and apply normal form theory to upgrade regularity of the centralizer.

Learning partial differential equations for biological transport models from noisy spatiotemporal data.

Abstract: We investigate methods for learning partial differential equation (PDE) models from spatiotemporal data under biologically realistic levels and forms of noise. Recent progress in learning PDEs from data have used sparse regression to select candidate terms from a denoised set of data, including approximated partial derivatives. We analyze the performance in utilizing previous methods to denoise data for the task of discovering the governing system of partial differential equations (PDEs). We also develop a novel methodology that uses artificial neural networks (ANNs) to denoise data and approximate partial derivatives. We test the methodology on three PDE models for biological transport, i.e., the advection-diffusion, classical Fisher-KPP, and nonlinear Fisher-KPP equations. We show that the ANN methodology outperforms previous denoising methods, including finite differences and polynomial regression splines, in the ability to accurately approximate partial derivatives and learn the correct PDE model.

Classifying simply connected wandering domains

Abstract: While the dynamics of transcendental entire functions in periodic Fatou components and in multiply connected wandering domains are well understood, the dynamics in simply connected wandering domains have so far eluded classification. We give a detailed classification of the dynamics in such wandering domains in terms of the hyperbolic distances between iterates and also in terms of the behaviour of orbits in relation to the boundaries of the wandering domains. In establishing these classifications, we obtain new results of wider interest concerning non-autonomous forward dynamical systems of holomorphic self maps of the unit disk. We also develop a new general technique for constructing examples of bounded, simply connected wandering domains with prescribed internal dynamics, and a criterion to ensure that the resulting boundaries are Jordan curves. Using this technique, based on approximation theory, we show that all of the nine possible types of simply connected wandering domain resulting from our classifications are indeed realizable.

Fractional Calculus in Pharmacokinetics

Abstract: We are witnessing the birth of a new variety of pharmacokinetics where non-integer-order differential equations are employed to study the time course of drugs in the body: this is dubbed "fractional pharmacokinetics." The presence of fractional kinetics has important clinical implications such as the lack of a half-life, observed, for example with the drug amiodarone and the associated irregular accumulation patterns following constant and multiple-dose administration. Building models that accurately reflect this behaviour is essential for the design of less toxic and more effective drug administration protocols and devices. This article introduces the readers to the theory of fractional pharmacokinetics and the research challenges that arise. After a short introduction to the concepts of fractional calculus, and the main applications that have appeared in literature up to date, we address two important aspects. First, numerical methods that allow us to simulate fractional order systems accurately and second, optimal control methodologies that can be used to design dosing regimens to individuals and populations.

Realization of the fractional Laplacian with nonlocal exterior conditions via forms method

Abstract: Let $\Omega\subset\RR^n$ ($n\ge 1$) be a bounded open set with a Lipschitz continuous boundary. In the first part of the paper, using the method of bilinear forms, we give a rigorous characterization of the realization in $L^2(\Omega)$ of the fractional Laplace operator $(-\Delta)^s$ ($0

The Geometric Dynamical Northcott and Bogomolov Properties

Abstract: We establish the Geometric Dynamical Northcott Property for polarized endomorphisms of a projective normal variety over a function field $\mathbf{K}$ of characteristic zero. This extends previous results of Benedetto, Baker and DeMarco in dimension $1$, and of Chatzidakis-Hrushovski in higher dimension. Our proof uses complex dynamics arguments and does not rely on the previous one. We first show that when $\mathbf{K}$ is the field of rational functions of a smooth complex projective variety, the canonical height of a subvariety is the mass of the appropriate bifurcation current and that a marked point is stable if and only if its canonical height is zero. We then establish the Geometric Dynamical Northcott Property using a similarity argument. Moving from points to subvarieties, we propose, for polarized endomorphisms, a dynamical version of the Geometric Bogomolov Conjecture, recently proved by Cantat, Gao, Habegger and Xie. We establish several cases of this conjecture notably non-isotrivial polynomial skew-product with an isotrivial first coordinate.

Reconstructing dynamical networks via feature ranking

Abstract: Empirical data on real complex systems are becoming increasingly available. Parallel to this is the need for new methods of reconstructing (inferring) the topology of networks from time-resolved observations of their node-dynamics. The methods based on physical insights often rely on strong assumptions about the properties and dynamics of the scrutinized network. Here, we use the insights from machine learning to design a new method of network reconstruction that essentially makes no such assumptions. Specifically, we interpret the available trajectories (data) as features, and use two independent feature ranking approaches -- Random forest and RReliefF -- to rank the importance of each node for predicting the value of each other node, which yields the reconstructed adjacency matrix. We show that our method is fairly robust to coupling strength, system size, trajectory length and noise. We also find that the reconstruction quality strongly depends on the dynamical regime.

Symbolic extensions of amenable group actions and the comparison property

Abstract: Symbolic Extension Entropy Theorem (SEET) describes the possibility of a lossless digitalization of a dynamical system by extending it to a subshift. It gives an estimate on the entropy of symbolic extensions (and the necessary number of symbols). Unlike in the measure-theoretic case, where Kolmogorov--Sinai entropy is the estimate, in the topological setup the task reaches beyond the classical theory of entropy. Tools from an extended theory of entropy structures are needed. The main goal of this paper is to prove the SEET for actions of countable amenable groups: Let a countable amenable group $G$ act by homeomorphisms on a compact metric space $X$ and let $\mathcal M_G(X)$ denote the simplex of $G$-invariant probability measures on $X$. A function $E $ on $\mathcal M_G(X)$ equals the extension entropy function $h^\pi$ of a symbolic extension $\pi:(Y,G)\to (X,G)$, where $h^\pi(\mu)=\sup\{h_ u(Y,G): u\in\pi^{-1}(\mu)\}$ ($\mu\in\mathcal M_G(X)$), if and only if $E $ is an affine superenvelope of the entropy structure of $(X,G)$. The statement is preceded by presentation of the concepts of an entropy structure and superenvelopes, adapted from $\mathbb Z$-actions. In full generality we prove a slightly weaker version of SEET, in which symbolic extensions are replaced by quasi-symbolic extensions, i.e., extensions in form of a joining of a subshift with a zero-entropy tiling system. The notion of a tiling system is a subject of earlier works and in this paper we review and complement the theory developed there. The full version of the SEET is proved for groups which are either residually finite or enjoy the comparison property. In order to describe the range of our theorem, we devote a large portion of the paper to the comparison property. Our main result in this aspect shows that all subexponential groups have the comparison property (and thus satisfy the SEET).

Some Monoids of Pisot Matrices

Abstract: A matrix norm gives an upper bound on the spectral radius of a matrix. Knowledge on the location of the dominant eigenvector also leads to upper bound of the second eigenvalue. We show how this technique can be used to prove that certain semi-group of matrices arising from continued fractions have a Pisot spectrum: namely for all primitive matrices in this semi-group all eigenvalues except the dominant one is smaller than one in absolute value.