Source author record

Mu Sun

Mu Sun appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
5topics
3close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

4 published item(s)

preprint2016arXiv

Noncommutative Ergodic Theorems for Connected Amenable Groups

This paper is devoted to the study of noncommutative ergodic theorems for connected amenable locally compact groups. For a dynamical system $(\mathcal{M},τ,G,σ)$, where $(\mathcal{M},τ)$ is a von Neumann algebra with a normal faithful finite trace and $(G,σ)$ is a connected amenable locally compact group with a well defined representation on $\mathcal{M}$, we try to find the largest noncommutative function spaces constructed from $\mathcal{M}$ on which the individual ergodic theorems hold. By using the Emerson-Greenleaf's structure theorem, we transfer the key question to proving the ergodic theorems for $\mathbb{R}^d$ group actions. Splitting the $\mathbb{R}^d$ actions problem in two cases according to different multi-parameter convergence types---cube convergence and unrestricted convergence, we can give maximal ergodic inequalities on $L_1(\mathcal{M})$ and on noncommutative Orlicz space $L_1\log^{2(d-1)}L(\mathcal{M})$, each of which is deduced from the result already known in discrete case. Finally we give the individual ergodic theorems for $G$ acting on $L_1(\mathcal{M})$ and on $L_1\log^{2(d-1)}L(\mathcal{M})$, where the ergodic averages are taken along certain sequences of measurable subsets of $G$.

preprint2016arXiv

Noncommutative multi-parameter Wiener-Wintner type ergodic theorem

In this paper, we establish a multi-parameter version of Bellow and Losert's Wiener-Wintner type ergodic theorem for dynamical systems not necessarily being commutative. More precisely, we introduce a weight class $\mathcal{D}$, which is shown to strictly include the multi-parameter bounded Besicovitch weight class, thus including the set $$Λ_d=\left\{\{λ^{k_1}_1\dotsmλ^{k_d}_d\}_{(k_1,\dots,k_d)\in \mathbb{N}^d}:\quad (λ_1,\dots,λ_d) \in \mathbb{T}^d\right\};$$ then prove a multi-parameter Bellow and Losert's Wiener-Wintner type ergodic theorem for the class $\mathcal{D}$ and for noncommutative trace preserving dynamical system $(\mathcal{M},τ,\mathbf{T})$. Restricted to consider the set $Λ_d$, we also prove a noncommutative multi-parameter analogue of Bourgain's uniform Wiener-Wintner ergodic theorem. The noncommutativity and the multi-parameter induce some difficulties in the proof. For instance, our arguments in proving the uniform convergence for a dense subset turn out to be quite different since the "pointwise" argument does not work in the noncommutative setting; to obtain the uniform convergence in the largest spaces, we show maximal inequality between the Orlicz spaces, which can not be deduced easily using classical extrapolation argument. Junge and Xu's noncommutative maximal inequalities with optimal order, together with the atomic decomposition of Orlicz spaces, play an essential role in overcoming the second difficulty.

preprint2012arXiv

Area integral functions and $H^{\8}$ functional calculus for sectorial operators on Hilbert spaces

Area integral functions are introduced for sectorial operators on Hilbert spaces. We establish the equivalence relationship between the square and area integral functions. This immediately extends McIntosh/Yagi's results on $H^{\8}$ functional calculus of sectorial operators on Hilbert spaces to the case when the square functions are replaced by the area integral functions.

preprint2010arXiv

Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control

Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency. Formal methods, particularly in support of highly reusable and provably safe patterns which can be instantiated to many device instances can help in this regard. However, this still leaves open the issue of how to pass from their formal specifications in logical time to executable emulations that can interoperate in physical time with other devices and with simulations of patient and/or doctor behaviors. This work presents a specification-based methodology in which virtual emulation environments can be easily developed from formal specifications in Real-Time Maude, and can support interactions with other real devices and with simulation models. This general methodology is explained in detail and is illustrated with two concrete scenarios which are both instances of a common safe formal pattern: one scenario involves the interaction of a provably safe pacemaker with a simulated heart; the other involves the interaction of a safe controller for patient-induced analgesia with a real syringe pump.