Related papers: The suprema of infinitely divisible processes

Let $\Omega \subset \mathbb{R}^2$ be a bounded, convex domain and let $-\Delta \phi_1 = \mu_1 \phi_1$ be the first nontrivial Laplacian eigenfunction with Neumann boundary conditions. The Hot Spots conjecture claims that the maximum and…

We show a diffusive upper bound on the transition probability of a tagged particle in the symmetric simple exclusion process. The proof relies on optimal spectral gap estimates for the dynamics in finite volume, which are of independent…

Let $(X, \mfA,P)$, $(Y, \mfB,Q)$ be two arbitrary probability spaces and $\P:=\{(\mfA,P_y):y\in{Y}\}$ be a regular conditional probability on $\mfA$ with respect to $Q$. Denote by $R$ the skew product of $P$ and $Q$ determined by…

We introduce the notion of "\delta-complete decision procedures" for solving SMT problems over the real numbers, with the aim of handling a wide range of nonlinear functions including transcendental functions and solutions of…

In this article we get simple explicit formulas for $\Exp\sup_{s\leq t}X(s)$ where $X$ is a spectrally positive or negative L\'evy process with infinite variation. As a consequence we derive a generalization of the well-known formula for…

Let (A,\alpha) be a C*-dynamical system. We introduce the notion of pressure P_\alpha(H) of the automorphism \alpha at a self-adjoint operator H\in A. Then we consider the class of AF-systems satisfying the following condition: there exists…

The paper deals with the expected maxima of continuous Gaussian processes $X = (X_t)_{t\ge 0}$ that are H\"older continuous in $L_2$-norm and/or satisfy the opposite inequality for the $L_2$-norms of their increments. Examples of such…

Let $S \subset \mathbb{Z}^{d}$ be a finitely generated subsemigroup. Let $E$ be a product system over $S$. We show that there exists an infinite dimensional separable Hilbert space $\mathcal{H}$ and a semigroup $\alpha:=\{\alpha_x\}_{x \in…

In a recent paper [Mar05] it is argued that to properly understand the thermodynamics of Landauer's Principle it is necessary extend the concept of logical operations to include indeterministic operations. Here we examine the thermodynamics…

The theory of majorizing measures, extensively developed by Fernique, Talagrand and many others, provides one of the most general frameworks for controlling the behavior of stochastic processes. In particular, it can be applied to derive…

We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection…

We study the large time behavior of the survival probability $\mathbb{P}_x\left(\tau_D>t\right)$ for symmetric jump processes in unbounded domains with a positive bottom of the spectrum. We prove asymptotic upper and lower bounds with…

We discuss linear algebra of infinite-dimensional vector spaces in terms of algebraic (Hamel) bases. As an application we prove the surjectivity of a large class of linear partial differential operators with smooth ($\mathcal…

We give, as $L$ grows to infinity, an explicit lower bound of order $L^{n/m}$ for the expected Betti numbers of the vanishing locus of a random linear combination of eigenvectors of $P$ with eigenvalues below $L$. Here, $P$ denotes an…

Semidefinite Optimization has become a standard technique in the landscape of Mathematical Programming that has many applications in finite dimensional Quantum Information Theory. This paper presents a way for finite-dimensional relaxations…

If $X \subset \mathbb P^n$ is a reduced subscheme, we say that $X$ admits an unexpected hypersurface of degree $t$ for multiplicity $m$ if the imposition of having multiplicity $m$ at a general point $P$ fails to impose the expected number…

In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every…

We study the definability of maximal towers and of inextendible linearly ordered towers (ilt's), a notion that is more general than that of a maximal tower. We show that there is, in the constructible universe, a $\Pi^1_1$ definable maximal…

Through a simple and elegant argument, we prove that the norm of the derivative of the solution operator of Euler equations posed in the Sobolev space $H^n$, along any base solution that is in $H^n$ but not in $H^{n+1}$, is infinite. We…

We determine the inner product on the Hilbert space of wavefunctions of the universe by imposing the Hermiticity of the quantum Hamiltonian in the context of the minisuperspace model. The corresponding quantum probability density reproduces…