Related papers: Goodstein at the Second Threshold: An Independence…
In this paper, we study a Galton-Watson process $(Z_n)$ with infinitely many types in a random ergodic environment $\bar{\xi}=(\xi_n)_{n\geq 0}$. We focus on the supercritical regime of the process, where the quenched average of the size of…
We show that the classical interpretations of Tarski's inductive definitions actually allow us to define the satisfaction and truth of the quantified formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers…
A new approach to the classical limit of Grover's algorithm is discussed by assuming a very rapid dephasing of a system between consecutive Grover's unitary operations, which drives pure quantum states to decohered mixed states. One can…
This paper extends the dual calculus with inductive types and coinductive types. The paper first introduces a non-deterministic dual calculus with inductive and coinductive types. Besides the same duality of the original dual calculus, it…
An effective approach to open systems and irreversible phenomena is presented, where an open system $\Sigma(d)$ with $d$-dimensional Hilbert space, is a subsystem of a larger isolated system $\Sigma(2d)$ (the `full universe') with…
Induction is typically formalized as a rule or axiom extension of the LK-calculus. While this extension of the sequent calculus is simple and elegant, proof transformation and analysis can be quite difficult. Theories with an induction…
Using the relation established by Johnson--Zumbrun between Hill's method of aproximating spectra of periodic-coefficient ordinary differential operators and a generalized periodic Evans function given by the $2$-modified characteristic…
$\Lambda$-Wright--Fisher processes provide a robust framework to describe the type-frequency evolution of an infinite neutral population. We add a polynomial drift to the corresponding stochastic differential equation to incorporate…
In this short note we capitalize on and complete our previous results on the regularity of the homogenized coefficients for Bernoulli perturbations by addressing the case of the Poisson point process, for which the crucial uniform local…
The purpose of this article is a set-indexed extension of the well-known Ornstein-Uhlenbeck process. The first part is devoted to a stationary definition of the random field and ends up with the proof of a complete characterization by its…
Construct a random set by independently selecting each finite subset of the integers with some probability depending on the set up to translations and taking the union of the selected sets. We show that when the only sets selected with…
This article addresses the problem of testing the conditional independence of two generic random vectors $X$ and $Y$ given a third random vector $Z$, which plays an important role in statistical and machine learning applications. We propose…
This is a continuation of the earlier work \cite{SSS} to characterize stationary unitary increment Gaussian processes. The earlier assumption of uniform continuity is replaced by weak continuity and with a technical assumption on the domain…
This paper focuses on systems of nonlinear second-order stochastic differential equations with multi-scales. The motivation for our study stems from mathematical physics and statistical mechanics, for examples, Langevin dynamics and…
We extend the Gibbs conditioning principle to an abstract setting combining infinitely many linear equality constraints and non-linear inequality constraints, which need not be convex. A conditional large large deviation principle (LDP) is…
We study the integrability to second order of infinitesimal Einstein deformations on compact Riemannian and in particular on K\"ahler manifolds. We find a new way of expressing the necessary and sufficient condition for integrability to…
We consider additive functionals of systems of random measures whose initial configuration is given by a Poisson point process, and whose individual components evolve according to arbitrary Markovian or non-Markovian measure valued…
We investigate the randomized Karlin model with parameter $\beta\in(0,1)$, which is based on an infinite urn scheme. It has been shown before that when the randomization is bounded, the so-called odd-occupancy process scales to a fractional…
In this article, we discuss some geometric infinitely divisible (gid) random variables using the Laplace exponents which are Bernstein functions and study their properties. The distributional properties and limiting behavior of the…
Consider a system \Psi of non-constant affine-linear forms \psi_1,...,\psi_t: Z^d -> Z, no two of which are linearly dependent. Let N be a large integer, and let K be a convex subset of [-N,N]^d. A famous and difficult open conjecture of…