Related papers: Invariant measures for half-space geometric LPP: c…
We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial inequalities. We present a sound and semi-complete method…
We study the ill-posed problem of recovering a probability measure flow from finitely many moving localized sensors using a Bayes Hilbert framework. Relative to a fixed reference probability measure, a probability law is represented by its…
Let $\mu$ be a probability measure (or corresponding random variable) such that all moments $\mu_n$ exist. Knowledge of the moments is not sufficient to determine infinite divisibility of the measure; we show also that infinitely divisible,…
We study systems of particles on a line which have a maximum, are locally finite and evolve with independent increments. ``Quasi-stationary states'' are defined as probability measures, on the \sigma-algebra generated by the gap variables,…
In this paper, a new decay estimate for a class of stochastic evolution equations with weakly dissipative drifts is established, which directly implies the uniqueness of invariant measures for the corresponding transition semigroups.…
Given a measure on the Thurston boundary of Teichmueller space, one can pick a geodesic ray joining some basepoint to a randomly chosen point on the boundary. Different choices of measures may yield typical geodesics with different…
This study investigates the steady Boltzmann equation in one spatial variable for a polyatomic single-component gas in a half-space. Inflow boundary conditions are assumed at the half-space boundary, where particles entering the half-space…
We study the finiteness of physical measures for skew-product transformations $F$ associated with discrete-time random dynamical systems driven by ergodic Markov chains. We develop a framework, using an independent and identically…
We study unimodular measures on the space $\mathcal M^d$ of all pointed Riemannian $d$-manifolds. Examples can be constructed from finite volume manifolds, from measured foliations with Riemannian leaves, and from invariant random subgroups…
The coordinates along any fixed direction(s), of points on the sphere $S^{n-1}(\sqrt{n})$, roughly follow a standard Gaussian distribution as $n$ approaches infinity. We revisit this classical result from a nonstandard analysis perspective,…
We develop a framework based on the covariant phase space formalism that identifies gravitational edge modes as dynamical reference frames. They enable the identification of the associated spacetime region and the imposition of boundary…
We establish the linear instability of the semiclassical Einstein-Klein-Gordon system linearised about the Minkowski vacuum spacetime. The proof relies on formulating a forcing problem for both metric and state perturbations within the…
This paper is focused on the Monotonicity Principle (MP) for nonlinear materials with piecewise growth exponent. This results are relevant because enables the use of a fast imaging method based on MP, to the wide class of problems with two…
We present an approach to the parametrized post-Newtonian (PPN) formalism which is based on gauge-invariant higher order perturbation theory. This approach divides the components of the metric perturbations into gauge-invariant quantities,…
This work studies the convergence and finite sample approximations of entropic regularized Wasserstein distances in the Hilbert space setting. Our first main result is that for Gaussian measures on an infinite-dimensional Hilbert space,…
We consider an inviscid 3-layer quasi-geostrophic model with stochastic forcing in a 2D bounded domain. After establishing well-posedness of such system under natural regularity assumptions on the initial condition and the (additive) noise,…
In quantum theory on curved backgrounds, Heisenberg's uncertainty principle is usually discussed in terms of ensemble variances and flat-space commutators. Here we take a different, preparation-based viewpoint tailored to sharp position…
Most metrics between finite point measures currently used in the literature have the flaw that they do not treat differing total masses in an adequate manner for applications. This paper introduces a new metric $\bar{d}_1$ that combines…
In this paper, we study invariant Poisson processes of lines (i.e, bi-infinite geodesics) in the $3$-regular tree. More precisely, there exists a unique (up to multiplicative constant) locally finite Borel measure on the space of lines that…
The second part of the paper mainly deals with convergence of infinite determinantal measures, understood as the convergence of the approximating finite determinantal measures. In addition to the usual weak topology on the space of…