Related papers: Where the Buffalo Roam: Infinite Processes and Inf…
Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…
This article is a survey on the topic of polynomial amoebas. We review results of papers written on the topic with an emphasis on its computational aspects. Polynomial amoebas have numerous applications in various domains of mathematics and…
Consider a system of infinitely many Brownian particles on the real line. At any moment, these particles can be ranked from the bottom upward. Each particle moves as a Brownian motion with drift and diffusion coefficients depending on its…
We review progress on questions related to front propagation into unstable states and point out open problems in the area. We strive to highlight different theoretical perspectives and challenges while also addressing more practical…
Discussions on indeterminism in physics focus on the possibility of an open future, i.e. the possibility of having potential alternative future events, the realisation of one of which is not fully determined by the present state of affairs.…
The problem of estimating the probability of a random process reaching a certain level is well known. In this article, two-sided estimates are established for the probability that a regenerative process reaches a high level. Two auxiliary…
In order to study large variations or fluctuations of finite or infinite sequences (time series), we bring to light an 1868 paper of Crofton and the (Cauchy-)Crofton theorem. After surveying occurrences of this result in the literature, we…
This short paper proposes to learn models of satisfiability modulo theories (SMT) formulas during solving. Specifically, we focus on infinite models for problems in the logic of linear arithmetic with uninterpreted functions (UFLIA). The…
These lecture notes concern the basics of the theory of process behaviour. First the concept of a (labelled) transition system receives ample treatment and then the following issues concerning process behaviour are elaborated in the setting…
Several examples are used to illustrate how we deal cavalierly with infinities and unphysical systems in physics. Upon examining these examples in the context of infinities from Cantor's theory of transfinite numbers, the only known…
We introduce a new kind of symbol in the framework of It\^o processes which are bounded on one side. The connection between this symbol and the infinitesimal generator is analyzed. Based on this concept, an integral criterion for invariant…
We introduce a growth process which samples sections of uniform infinite causal triangulations by elementary moves in which a single triangle is added. A relation to a random walk on the integer half line is shown. This relation is used to…
Some probabilistic aspects of the number variance statistic are investigated. Infinite systems of independent Brownian motions and symmetric alpha-stable processes are used to construct new examples of processes which exhibit both divergent…
Mathematical conception of infinite quantities forms a cornerstone of many disciplines of modern mathematics --- from differential calculus to set theory. In fact, it could be argued that the most significant revolutions in mathematics in…
The article contains an outline of a possible new direction for Computability Logic (see www.csc.villanova.edu/~japaridz/CL/ ), focused on computability without infinite memory or other impossible-to-possess computational resources. The new…
This thesis is entirely devoted to black hole physics as a natural arena to study quantum gravity related questions. The five main Chapters present the results already published in arXiv:1512.04566 [gr-qc], arXiv:1604.07222 [gr-qc],…
The potential applications of boundary functionals of random processes, such as the extreme values of these processes, the moment of first reaching a fixed level, the value of the process at the moment of reaching the level, the moment of…
We review the plethora of uncertainty relations that appear in quantum mechanics and their nuances. We present both foundational applications, e.g. in understanding and defining complementarity, and practical applications, e.g. in quantum…
The book gives a detailed exposition of basic concepts and results of a theory of processes. The presentation of theoretical concepts and results is accompanied with illustrations of their application to solving various problems of…
We describe some "unrestricted" algorithms which are useful for the computation of elementary and special functions when the precision required is not known in advance. Several general classes of algorithms are identified and illustrated by…