Related papers: Separation properties of a hybrid point process wi…

We study conditions so that the determinantal point process $\Lambda_\phi$ associated to a generalized Fock space defined by a doubling subharmonic weight $\phi$ is almost surely a separated sequence in $\mathbb C$. Under a natural…

Given a homogeneous Poisson process on ${\mathbb{R}}^d$ with intensity $\lambda$, we prove that it is possible to partition the points into two sets, as a deterministic function of the process, and in an isometry-equivariant way, so that…

The Papangelou intensities of determinantal (or fermion) point processes are investigated. These exhibit a monotonicity property expressing the repulsive nature of the interaction, and satisfy a bound implying stochastic domination by a…

Let $\Omega$ be a bounded pseudoconvex domain in $\mathbb{C}^n$, and let $\phi$ be a strictly plurisubharmonic function on $\Omega$. For each $k\in\mathbb{N}$, we consider determinantal point process $\Lambda_k$ with kernel $K_{k\phi}$,…

We prove that a Gibbs point process interacting via a finite-range, repulsive potential $\phi$ exhibits a strong spatial mixing property for activities $\lambda < e/\Delta_{\phi}$, where $\Delta_{\phi}$ is the potential-weighted connective…

A new type of dependent thinning for point processes in continuous space is proposed, which leverages the advantages of determinantal point processes defined on finite spaces and, as such, is particularly amenable to statistical, numerical,…

We study modal separability for fixpoint formulae: given two mutually exclusive fixpoint formulae $\varphi,\varphi'$, decide whether there is a modal formula $\psi$ that separates them, that is, that satisfies…

We consider a Poisson process $\Phi$ on a general phase space. The expectation of a function of $\Phi$ can be considered as a functional of the intensity measure $\lambda$ of $\Phi$. Extending earlier results of Molchanov and Zuyev [Math.…

In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…

We consider a system of independent branching random walks on $\R$ which start off a Poisson point process with intensity of the form $e_{\lambda}(du)=e^{-\lambda u}du$, where $\lambda\in\R$ is chosen in such a way that the overall…

We study determinantal random point processes on a compact complex manifold X associated to an Hermitian metric on a line bundle over X and a probability measure on X. Physically, this setup describes a free fermion gas on X subject to a…

We study determinantal point processes on $\mathbb{C}$ induced by the reproducing kernels of generalized Fock spaces as well as those on the unit disc $\mathbb{D}$ induced by the reproducing kernels of generalized Bergman spaces. In the…

The Probability Hypothesis Density (PHD) filter, which is used for multi-target tracking based on sensor measurements, relies on the propagation of the first-order moment, or intensity function, of a point process. This algorithm assumes…

Let Pi and Gamma be homogeneous Poisson point processes on a fixed set of finite volume. We prove a necessary and sufficient condition on the two intensities for the existence of a coupling of Pi and Gamma such that Gamma is a deterministic…

We consider mixture models where location parameters are a priori encouraged to be well separated. We explore a class of determinantal point process (DPP) mixture models, which provide the desired notion of separation or repulsion. Instead…

Let $E$ be the attractor of an iterated function system $\{\phi_i(x)=\rho R_ix+a_i\}_{i=1}^N$ on $\Bbb R^d$, where $0<\rho<1$, $a_i\in \Bbb R^d$ and $R_i$ are orthogonal transformations on $\Bbb R^d$. Suppose that $\{\phi_i\}_{i=1}^N$…

Let $\sigma$ be a non-atomic, infinite Radon measure on $\mathbb R^d$, for example, $d\sigma(x)=z\,dx$ where $z>0$. We consider a system of freely independent particles $x_1,\dots,x_N$ in a bounded set $\Lambda\subset\mathbb R^d$, where…

We give a probabilistic introduction to determinantal and permanental point processes. Determinantal processes arise in physics (fermions, eigenvalues of random matrices) and in combinatorics (nonintersecting paths, random spanning trees).…

Self-similar sets require a separation condition to admit a nice mathematical structure. The classical open set condition (OSC) is difficult to verify. Zerner proved that there is a positive and finite Hausdorff measure for a weaker…

We are concerned with solvability of nonlinear systems involving a discrete singular $\phi$-Laplacian operator of type \begin{equation*} u \mapsto \Delta\left[\phi(\Delta u(n-1))\right] \qquad (n\in \{1, \dots, T\}), \end{equation*}…