Source author record

Xiongping Dai

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

23works
9topics
4close collaborators

Published work

23 publications

preprint2022arXiv

On recurrence in zero-dimensional locally compact flow with compactly generated phase group

Let XX be a zero-dimensional locally compact Hausdorff space not necessarily metric and GG a compactly generated topological group not necessarily abelian or countable. We define recurrence at a point for any continuous action of GG on XX, and then, show that if Gx‾\overline{Gx} is compact for all x∈Xx\in X, the conditions (i) this dynamics is pointwise recurrent, (ii) XX is a union of GG-minimal sets, (iii) the GG-orbit closure relation is closed in X×XX\times X, and (iv) X∋x↦Gx‾∈2XX\ni x\mapsto \overline{Gx}\in 2^X is continuous, are pairwise equivalent. Consequently, if this dynamics is distal, then it is equicontinuous.

preprint2016arXiv

An extension of Furstenberg's structure theorem for Noetherian modules and multiple recurrence theorems III

Using a recent Furstenberg structure theorem, we obtain Multiple Recurrence Theorems relative to any locally compact second countable Noetherian module GG over a syndetic ring RR, which generalizes Furstenberg's multiple recurrence theorem. In addition we study the multiple Birkhoff center and the pointwise multiple recurrence of a topological GG-action on a compact metric space.

preprint2016arXiv

Pointwise convergence of ergodic averages of bounded measurable functions for amenable groups

Given any amenable group GG (with a left Haar measure ∣⋅∣|\cdot| or dgdg), we can select out a \textit{Følner subnet} {Fθ,θ∈Θ}\{F_θ,θ\inΘ\} from any left Følner net in GG, which is \textit{L∞L^\infty-admissible}, namely, for any Borel GG-space (X,X)(X,\mathscr{X}) and any φ∈L∞(X,X)φ\in L^\infty(X,\mathscr{X}), \begin{gather*} \lim_{θ\inΘ}\frac{1}{|F_θ|}\int_{F_θ}φ(gx)dg=φ^*(x)\ \forall x\in X\quad {\textrm{and}}\quad φ^*=(gφ)^*\ \forall g\in G. \end{gather*} Moreover, if GG is σσ-compact such as a locally compact second countable Hausdorff amenable group, then φ∗∈L∞(X,X)φ^*\in L^\infty(X,\mathscr{X}), φ∗(gx)=φ∗(x)φ^*(gx)=φ^*(x) \textit{a.e.}, and φ∗φ^* is \textit{a.e.} independent of the choice of the admissible Følner net {Fθ,θ∈Θ}\{F_θ,θ\inΘ\} in GG. Consequently, we may easily obtain the ergodic disintegration of invariant probability measures for any σσ-compact amenable group acting Borel on a compact metric space XX by continuous transformations of XX, and the existence of σσ-finite invariant Radon measures for any Borel action of an amenable group on a locally compact, σσ-compact, metric space XX by continuous maps of XX, and a L∞L^\infty-pointwise multiple ergodic theorem.

preprint2012arXiv

Criteria of stabilizability for switching-control systems with solvable linear approximations

We study the stability and stabilizability of a continuous-time switched control system that consists of the time-invariant nn-dimensional subsystems \dot{x}=A_ix+B_i(x)u\quad (x\in\mathbb{R}^n, t\in\mathbb{R}_+ \textrm{and} u\in\mathbb{R}^{m_i}),\qquad \textrm{where} i\in{1,...,N} and a switching signal $σ(\bcdot)\colon\mathbb{R}_+\rightarrow{1,...,N}$ which orchestrates switching between these subsystems above, where Ai∈Rn×n,n≥1,N≥2,mi≥1A_i\in\mathbb{R}^{n\times n}, n\ge1, N\ge2, m_i\ge1, and where $B_i(\bcdot)\colon\mathbb{R}^n\rightarrow\mathbb{R}^{n\times m_i}$ satisfies the condition $\|B_i(x)\|\le\bbbeta\|x\|\;\forall x\in\mathbb{R}^n$. We show that, if A1,...,AN{A_1,...,A_N} generates a solvable Lie algebra over the field $\mathbbm{C}$ of complex numbers and there exists an element $\bbA$ in the convex hull coA1,...,AN\mathrm{co}{A_1,...,A_N} in Rn×n\mathbb{R}^{n\times n} such that the affine system $\dot{x}=\bbA x$ is exponentially stable, then there is a constant $\bbdelta>0$ for which one can design "sufficiently many" piecewise-constant switching signals σ(t)σ(t) so that the switching-control systems \dot{x}(t)=A_{σ(t)}x(t)+B_{σ(t)}(x(t))u(t),\quad x(0)\in\mathbb{R}^n\textrm{and} t\in\mathbb{R}_+ are globally exponentially stable, for any measurable external inputs u(t)∈Rmσ(t)u(t)\in\mathbb{R}^{m_{σ(t)}} with $|u(t)|\le\bbdelta$.

preprint2011arXiv

A Gel'fand-type spectral radius formula and stability of linear constrained switching systems

Using ergodic theory, in this paper we present a Gel'fand-type spectral radius formula which states that the joint spectral radius is equal to the generalized spectral radius for a matrix multiplicative semigroup $\bS^+$ restricted to a subset that need not carry the algebraic structure of $\bS^+$. This generalizes the Berger-Wang formula. Using it as a tool, we study the absolute exponential stability of a linear switched system driven by a compact subshift of the one-sided Markov shift associated to $\bS$.

preprint2011arXiv

Extremal ergodic measures and the finiteness property of matrix semigroups

Let $\bS=\{S_1,...,S_K\}$ be a finite set of complex d×dd\times d matrices and ΣK+\varSigma_{K}^+ the compact space of all one-sided infinite sequences $i_{\bcdot}\colon\mathbb{N}\rightarrow\{1,...,K\}$. An ergodic probability μ∗μ_* of the Markov shift $θ\colon\varSigma_{K}^+\rightarrow\varSigma_{K}^+;\ i_{\bcdot}\mapsto i_{\bcdot+1}$, is called "extremal" for $\bS$, if $ρ(\bS)=\lim_{n\to\infty}\sqrt[n]{\norm{S_{i_1}...S_{i_n}}}$ holds for μ∗μ_*-a.e. $i_{\bcdot}\in\varSigma_{K}^+$, where $ρ(\bS)$ denotes the generalized/joint spectral radius of $\bS$. Using extremal norm and Kingman subadditive ergodic theorem, it is shown that $\bS$ has the spectral finiteness property (i.e. $ρ(\bS)=\sqrt[n]{ρ(S_{i_1}...S_{i_n})}$ for some finite-length word (i1,...,in)(i_1,...,i_n)) if and only if for some extremal measure μ∗μ_* of $\bS$, it has at least one periodic density point $i_{\bcdot}\in\varSigma_{K}^+$.

preprint2011arXiv

Finiteness Property of a Bounded Set of Matrices with Uniformly Sub-Peripheral Spectrum

In the paper, a simple condition guaranteing the finiteness property for a bounded set of matrices is presented. Given a bounded set S of real or complex matrices, it is shown that existence of a sequence of matrix products such that the spectrum of each matrix in this sequence is uniformly sub-peripheral and tends to the joint spectral radius of S, guarantees the spectral finiteness property for S.

preprint2011arXiv

The finite-step realizability of the joint spectral radius of a pair of d×dd\times d matrices one of which being rank-one

We study the finite-step realizability of the joint/generalized spectral radius of a pair of real d×dd\times d matrices, one of which has rank 1. Then we prove that there always exists a finite-length word for which there holds the spectral finiteness property for the set of matrices under consideration. This implies that stability is algorithmically decidable in our case.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.