Related papers: Self-Intersection Local Time of $(\alpha,d,\beta)$…

In this paper, we study the local backward problem of a linear heat equation with time-dependent coefficients under the Dirichlet boundary condition. Precisely, we recover the initial data from the observation on a subdomain at some later…

We establish local linear convergence bounds for the ISTA and FISTA iterations on the model LASSO problem. We show that FISTA can be viewed as an accelerated ISTA process. Using a spectral analysis, we show that, when close enough to the…

A skew-symmetric graph $(D=(V,A),\sigma)$ is a directed graph $D$ with an involution $\sigma$ on the set of vertices and arcs. In this paper, we introduce a separation problem, $d$-Skew-Symmetric Multicut, where we are given a…

Combining cross-section and time series data is a long and well established practice in empirical economics. We develop a central limit theory that explicitly accounts for possible dependence between the two data sets. We focus on common…

Timed automata (TAs) are a common formalism for modeling timed systems. Bounded model checking (BMC) is a verification method that searches for runs violating a property using a SAT or SMT solver. MITL is a real-time extension of the linear…

Classical conditions for asymptotic stability of periodic solutions bifurcating from a limit cycle rely on the derivative of the corresponding bifurcation function F at the bifurcation point t. We show that for analytic systems this result…

In the present paper, Ito formula and Tanaka formula for a special kind of symmetric random walk in the complex plain are studied. The random walk is called Parisian walk, and its local time is defined to be the number of exit from some…

A H"older regularity index at given points for density states of (alpha,1,beta)-superprocesses with alpha>1+beta is determined. It is shown that this index is strictly greater than the optimal index of local H"older continuity for those…

In 2007, assuming the Riemann Hypothesis (RH), Soundararajan \cite{Moment} proved that $\int_{0}^T |\zeta(1/2 + it)|^{2k} dt \ll_{k, \epsilon} T(\log T)^{k^2 + \epsilon}$ for every $k$ positive real number and every $\epsilon > 0.$ In this…

In this paper we consider the simple random walk on $\mathbb{Z}^d$, $d \geq 3$, conditioned to stay in a large domain $D_N$ of typical diameter $N$. Considering the range up to time $t_N \geq N^{2+\delta}$ for some $\delta > 0$, we…

In this paper we study the local times of vector-valued Gaussian fields that are `diagonally operator-self-similar' and whose increments are stationary. Denoting the local time of such a Gaussian field around the spatial origin and over the…

For decades intersecting D-branes and O-planes have been playing a very important role in string phenomenology in the context of particle physics model building and in the context of flux compactifications. The corresponding supergravity…

Learning rate is a critical component of reinforcement learning (RL). This work uses global and local clocks to distinguish two types of learning rates. The former is of the standard form $\alpha_t$ that depends only on the time step $t$…

We study local computation algorithms (LCA) for maximum matching. An LCA does not return its output entirely, but reveals parts of it upon query. For matchings, each query is a vertex $v$; the LCA should return whether $v$ is matched -- and…

High-dimensional autocovariance matrices play an important role in dimension reduction for high-dimensional time series. In this article, we establish the central limit theorem (CLT) for spiked eigenvalues of high-dimensional sample…

We introduce techniques for proving superlinear conditional lower bounds for polynomial time problems. In particular, we show that CircuitSAT for circuits with m gates and log(m) inputs (denoted by log-CircuitSAT) is not decidable in…

For a compact surface $S$ with constant negative curvature $-\kappa$ (for some $\kappa>0$) and genus $g\geq2$, we show that the tails of the distribution of $i(\alpha,\beta)/l(\alpha)l(\beta)$ (where $i(\alpha,\beta)$ is the intersection…

A method for time-reversible numerical integration of the deterministic Landau-Lifshitz Gilbert equation by means of a second order Suzuki-Trotter decomposition is presented and tested against commonly used second order predictor-corrector…

We investigate the connection between conditional local limit theorems and the local time of integer-valued stationary processes. We show that a conditional local limit theorem (at 0) implies the convergence of local times to Mittag-Leffler…

In a major advance and simplification of this field, we show that A Local Resolution of the Problem of Time - also viewable as A Local Theory of Background Independence - can at the classical level be described solely by of Lie's…