Related papers: Hitting times for special patterns in the symmetri…
Shapere and Wilczek ( Phys. Rev. Lett. 109, 160402 and 200402 (2012)) have recently described certain singular Lagrangian systems which display spontaneous breaking of time translation symmetry. We begin by considering the standard Lienard…
Motivated by novel results in the theory of network synchronization, we analyze the effects of nonzero time delays in stochastic synchronization problems with linear couplings in an arbitrary network. We determine {\it analytically} the…
Temporal difference (TD) methods constitute a class of methods for learning predictions in multi-step prediction problems, parameterized by a recency factor lambda. Currently the most important application of these methods is to temporal…
Let $\eta_1$, $\eta_2,\ldots$ be independent copies of a random variable $\eta$ with zero mean and finite variance which is bounded from the right, that is, $\eta\leq b$ almost surely for some $b>0$. Considering different types of the…
We consider anti-unification for simply typed lambda terms in associative, commutative, and associative-commutative theories and develop a sound and complete algorithm which takes two lambda terms and computes their generalizations in the…
Large unweighted directed graphs are commonly used to capture relations between entities. A fundamental problem in the analysis of such networks is to properly define the similarity or dissimilarity between any two vertices. Despite the…
Given a sequence of $d \times d$ symmetric matrices $\{\mathbf{W}_i\}_{i=1}^n$, and a margin $\Delta > 0$, we investigate whether it is possible to find signs $(\epsilon_1, \dots, \epsilon_n) \in \{\pm 1\}^n$ such that the operator norm of…
We consider the symmetric simple exclusion processes with a slow site in the discrete torus with $n$ sites. In this model, particles perform nearest-neighbor symmetric random walks with jump rates everywhere equal to one, except at one…
We consider local escape rates and hitting time statistics for unimodal interval maps of Misiurewicz-Thurston type. We prove that for any point $z$ in the interval there is a local escape rate and hitting time statistics which is one of…
Matrix evolution equations occur in many applications, such as dynamical Lyapunov/Sylvester systems or Riccati equations in optimization and stochastic control, machine learning or data assimilation. In many such problems, the dominant…
This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over…
We study the first exit time $\tau$ from an arbitrary cone with apex at the origin by a non-homogeneous random walk (Markov chain) on $\Z^d$ ($d \geq 2$) with mean drift that is asymptotically zero. Specifically, if the mean drift at $\bx…
We consider a one-dimensional continuous time random walk with transition rates depending on an underlying autonomous simple symmetric exclusion process starting out of equilibrium. This model represents an example of a random walk in a…
Given a standard Brownian motion $B^{\mu}=(B_t^{\mu})_{0\le t\le T}$ with drift $\mu \in \mathbb{R}$ and letting $S_t^{\mu}=\max_{0\le s\le t}B_s^{\mu}$ for $0\le t\le T$, we consider the optimal prediction problem: \[V=\inf_{0\le \tau \le…
We consider the problem of estimating the state transition matrix of a linear time-invariant (LTI) system, given access to multiple independent trajectories sampled from the system. Several recent papers have conducted a non-asymptotic…
Consider the multivariate smoothing transform fixed-point equation: $\eta =$ law of $ \sum_{i=1}^N A_i Z_i$, where $N \geq 0$ is a random integer, $(A_i)_{i \geq 1}$ are $d \times d$ random nonnegative matrices, $(Z_i)_{i \geq 1}$ is a…
A new class of exclusion type processes acting in continuum with synchronous updating is introduced and studied. Ergodic averages of particle velocities are obtained and their connections to other statistical quantities, in particular to…
We consider the continuous time version of the `true' or `myopic' self-avoiding random walk with site repulsion in 1d. The Ray-Knight-type method which was applied to the discrete time and edge repulsion case, is applicable to this model…
Let $\Lambda$ be the limiting smallest eigenvalue in the general (\beta, a)-Laguerre ensemble of random matrix theory. Here \beta>0, a >-1; for \beta=1,2,4 and integer a, this object governs the singular values of certain rank n Gaussian…
Understanding the singular value spectrum of a matrix $A \in \mathbb{R}^{n \times n}$ is a fundamental task in countless applications. In matrix multiplication time, it is possible to perform a full SVD and directly compute the singular…