Related papers: A Wild Steiner-Lehmus Chase
The logic of the hide and seek game LHS was proposed to reason about search missions and interactions between agents in pursuit-evasion environments. As proved in literature, having an equality constant in the language of LHS drastically…
In this paper we give a proof of an index theorem by Bismut. As a consequence we obtain another proof of the Grothendieck-Riemann-Roch theorem in differential cohomology.
A proof of the continuous martingale convergence theorem is provided. It relies on a classical martingale inequality and the almost sure convergence of a uniformly bounded non-negative super-martingale, after a truncation argument.
This technical report presents a direct proof of Theorem~1 in [1] and some consequences that also account for (20) in [1]. This direct proof exploits a state space change of basis which replaces the coupled difference equations (10) in [1]…
We prove a version of the Poincar\'e-Bendixson theorem for certain classes of curves on the 2-sphere which are not required to be the trajectories of an underlying flow or semiflow on the sphere itself. Using this result we extend the…
Special relativity includes a concealed mechanism for reducing time-dilation effects in two mutually-receding objects. Forwarding their signals via one or more intermediate physical relay stages (a "probe chain") allows enhanced…
In this paper, we study a distribution of labeled particles on a continuous ring. It arises in three different ways, all related to the multi-type TASEP on a ring. We prove formulas for the probability density function for some permutations…
We proposed a proof of the Riemann hypothesis. The proof is based on the Nyman-Beurling-Baez-Duarte condition. By proving existence of the solution for a system of inequalities, we can show that there is a sequence, which act as the…
In this paper we study random iterated function systems. Our main result gives sufficient conditions for an analogue of a well known theorem due to Khintchine from Diophantine approximation to hold almost surely for stochastically…
We present an adaptation of Stein's method of normal approximation to the study of both discrete- and continuous-time dynamical systems. We obtain new correlation-decay conditions on dynamical systems for a multivariate central limit…
The Simes inequality has received considerable attention recently because of its close connection to some important multiple hypothesis testing procedures. We revisit in this article an old result on this inequality to clarify and…
We are interested in the following version of Jeffreys's law: if two predictors are predicting the same sequence of events and either is doing a satisfactory job, they will make similar predictions in the long run. We give a classification…
The existence of traveling front solutions to bistable lattice differential equations in the absence of a comparison principle is studied. The results are in the spirit of those in Bates, Chen, and Chmaj in[1], but are applicable to vector…
The Circularity Principle was successfully applied for developing a coinductive proving technique, known as circular coinduction. In this paper, we show that the same principle can be used to develop an inductive proving technique. A main…
An technically interesting proof of a known theorem.
We revisit strong approximation theory from a new perspective, culminating in a proof of the Koml\'os-Major-Tusn\'ady embedding theorem for the simple random walk. The proof is almost entirely based on a series of soft arguments and easy…
We propose a simple rubber friction law, which can be used, e.g., in models of tire (and vehicle) dynamics. The friction law is tested by comparing numerical results to the full rubber friction theory (B.N.J. Persson, J. Phys.: Condensed…
A sufficient condition for the two-weight boundedness of higher order commutators was recently obtained by Holmes and Wick in terms of an intersection of two BMO spaces. We provide an alternative proof, showing that the higher order case…
We give a short and self-contained proof of Levi's Extension Lemma for pseudoline arrangements.
To explain the phenomenon of bifurcation delay, which occurs in planar systems of the form $\dot{x}=\epsilon f(x,z,\epsilon)$, $\dot{z}=g(x,z,\epsilon)z$, where $f(x,0,0)>0$ and $g(x,0,0)$ changes sign at least once on the $x$-axis, we use…