Researcher profile

Michael Lin

Michael Lin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

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

9 published item(s)

preprint2023arXiv

Mean ergodic theorems in $L^r(μ)$ and $H^r(\mathbb T)$, $0<r<1$

Let $T$ be the Koopman operator of a measure preserving transformation $θ$ of a probability space $(X,Σ,μ)$. We study the convergence properties of the averages $M_nf:=\frac1n\sum_{k=0}^{n-1}T^kf$ when $f \in L^r(μ)$, $0<r<1$. We prove that if $\int |M_nf|^r dμ\to 0$, then $f \in \overline{(I-T)L^r}$, and show that the converse fails whenever $θ$ is ergodic aperiodic. When $θ$ is invertible ergodic aperiodic, we show that for $0<r<1$ there exists $f_r \in (I-T)L^r$ for which $M_nf_r$ does not converge a.e. (although $\int |M_nf|^r dμ\to 0$). We further establish that for $1 \leq p <\frac{1}{r},$ there is a dense $G_δ$ subset ${\mathcal F}\subset L^p(X,μ)$ such that $\limsup_n \frac{|T^nh|}{n^r}=\infty$ a.e. for any $h \in {\mathcal F}$.

preprint2022arXiv

$L^2$-Quasi-compact and hyperbounded Markov operators

A Markov operator $P$ on a probability space $(S,Σ,μ)$, with $μ$ invariant, is called {\it hyperbounded} if for some $1 \le p<q \le \infty$ it maps (continuously) $L^p$ into $L^q$. We deduce from a recent result of Glück that a hyperbounded $P$ is quasi-compact, hence uniformly ergodic, in all $L^r(S,μ)$, $1<r< \infty$. We prove, using a method similar to Foguel&#39;s, that a hyperbounded Markov operator has periodic behavior similar to that of Harris recurrent operators, and for the ergodic case obtain conditions for aperiodicity. Given a probability $ν$ on the unit circle, we prove that if the convolution operator $P_νf:=ν*f$ is hyperbounded, then $ν$ is atomless. We show that there is $ν$ absolutely continuous such that $P_ν$ is not hyperbounded, and there is $ν$ with all powers singular such that $P_ν$ is hyperbounded. As an application, we prove that if $P_ν$ is hyperbounded, then for any sequence $(n_k)$ of distinct positive integers with bounded gaps, $(n_kx)$ is uniformly distributed mod 1 for $ν$ almost every $x$ (even when $ν$ is singular).

preprint2021arXiv

Channels, Remote Estimation and Queueing Systems With A Utilization-Dependent Component: A Unifying Survey Of Recent Results

In this article, we survey the main models, techniques, concepts, and results centered on the design and performance evaluation of engineered systems that rely on a utilization-dependent component (UDC) whose operation may depend on its usage history or assigned workload. Specifically, we report on research themes concentrating on the characterization of the capacity of channels and the design with performance guarantees of remote estimation and queueing systems. Causes for the dependency of a UDC on past utilization include the use of replenishable energy sources to power the transmission of information among the sub-components of a networked system, and the assistance of a human operator for servicing a queue. Our analysis unveils the similarity of the UDC models typically adopted in each of the research themes, and it reveals the differences in the objectives and technical approaches employed. We also identify new challenges and future research directions inspired by the cross-pollination among the central concepts, techniques, and problem formulations of the research themes discussed.

preprint2021arXiv

Stabilizing a Queue Subject to Action-Dependent Server Performance

We consider a discrete-time system comprising a first-come-first-served queue, a non-preemptive server, and a scheduler that governs the assignment of tasks in the queue to the server. The server has an availability state that indicates, at each instant, whether the server is busy working on a task or is available. In the latter case, if the queue is nonempty, then a task-assignment control policy implemented by the scheduler either assigns a new task to the server or allows it to rest. The server also has an integer-valued activity state that is non-increasing during rest periods, and is non-decreasing otherwise. An instantaneous service rate function ascribes to each possible value of the activity state a probability that the server can complete a task in one time step. For a typical instantaneous service rate function, the completion probability decreases (server performance worsens) as the activity state increases. The scheduler policy has access to the queue size and the entire state of the server. In this article, we study the problem of designing scheduler policies that stabilize the queue. We show that stability, whenever viable, can be achieved by a simple policy that bases its decisions on the availability state, a threshold applied to the activity state, and a flag that indicates when the queue is empty. The supremum of the service rates achievable by stabilizing policies can be determined by a finite search. Our results remain valid even when the instantaneous service rate function is not monotonic.

preprint2020arXiv

Joint and double coboundaries of commuting contractions

Let $T$ and $S$ be commuting contractions on a Banach space $X$. The elements of $(I-T)(I-S)X$ are called {\it double coboundaries}, and the elements of $(I-T)X \cap (I-S)X$ are called {\it joint cobundaries}. For $U$ and $V$ the unitary operators induced on $L_2$ by commuting invertible measure preserving transformations which generate an aperiodic $\mathbb Z^2$-action, we show that there are joint coboundaries in $L_2$ which are not double coboundaries. We prove that if $α$,$β\in (0,1)$ are irrational, with $T_α$ and $T_β$ induced on $L_1(\mathbb T)$ by the corresponding rotations, then there are joint coboundaries in $C(\mathbb T)$ which are not measurable double cobundaries (hence not double coboundaries in $L_1(\mathbb T)$).

preprint2020arXiv

Miniature Robot Path Planning for Bridge Inspection: Min-Max Cycle Cover-Based Approach

We study the problem of planning the deployments of a group of mobile robots. While the problem and formulation can be used for many different problems, here we use a bridge inspection as the motivating application for the purpose of exposition. The robots are initially stationed at a set of depots placed throughout the bridge. Each robot is then assigned a set of sites on the bridge to inspect and, upon completion, must return to the same depot where it is stored. The problem of robot planning is formulated as a rooted min-max cycle cover problem, in which the vertex set consists of the sites to be inspected and robot depots, and the weight of an edge captures either (i) the amount of time needed to travel from one end vertex to the other vertex or (ii) the necessary energy expenditure for the travel. In the first case, the objective function is the total inspection time, whereas in the latter case, it is the maximum energy expenditure among all deployed robots. We propose a novel algorithm with approximation ratio of $5 + ε$, where $0<ε<1$. In addition, the computational complexity of the proposed algorithm is shown to be $O\big( n^2+2^{m-1} n \log(n+k) \big)$, where $n$ is the number of vertices, and $m$ is the number of depots.

preprint2020arXiv

Multi-modal Sentiment Analysis using Super Characters Method on Low-power CNN Accelerator Device

Recent years NLP research has witnessed the record-breaking accuracy improvement by DNN models. However, power consumption is one of the practical concerns for deploying NLP systems. Most of the current state-of-the-art algorithms are implemented on GPUs, which is not power-efficient and the deployment cost is also very high. On the other hand, CNN Domain Specific Accelerator (CNN-DSA) has been in mass production providing low-power and low cost computation power. In this paper, we will implement the Super Characters method on the CNN-DSA. In addition, we modify the Super Characters method to utilize the multi-modal data, i.e. text plus tabular data in the CL-Aff sharedtask.

preprint2020arXiv

Queueing Subject To Action-Dependent Server Performance: Utilization Rate Reduction

We consider a discrete-time system comprising a first-come-first-served queue, a non-preemptive server, and a stationary non-work-conserving scheduler. New tasks enter the queue according to a Bernoulli process with a pre-specified arrival rate. At each instant, the server is either busy working on a task or is available. When the server is available, the scheduler either assigns a new task to the server or allows it to remain available (to rest). In addition to the aforementioned availability state, we assume that the server has an integer-valued activity state. The activity state is non-decreasing during work periods, and is non-increasing otherwise. In a typical application of our framework, the server performance (understood as task completion probability) worsens as the activity state increases. In this article, we build on and transcend recent stabilizability results obtained for the same framework. Specifically, we establish methods to design scheduling policies that not only stabilize the queue but also reduce the utilization rate - understood as the infinite-horizon time-averaged portion of time the server is working. This article has a main theorem leading to two key results: (i) We put forth a tractable method to determine, using a finite-dimensional linear program (LP), the infimum of all utilization rates that can be achieved by scheduling policies that are stabilizing, for a given arrival rate. (ii) We propose a design method, also based on finite-dimensional LPs, to obtain stabilizing scheduling policies that can attain a utilization rate arbitrarily close to the aforementioned infimum. We also establish structural and distributional convergence properties, which are used throughout the article, and are significant in their own right.

preprint2020arXiv

Reflexive Banach spaces with all power-bounded operators almost periodic

We analyze the ergodic properties of power-bounded operators on a reflexive Banach space of the form &#34;scalar plus compact-power&#34;, and show that they are almost periodic (all the orbits are conditionally compact). If such an operator is weakly mixing, then it is stable (its powers converge in the strong operator topology).Let X-ISP be the separable reflexive indecomposable Banach space constructed by Argyros and Motakis, in which every operator has an invariant subspace. We conclude that every power-bounded operator on a closed subspace of X-ISP is almost periodic.