Related papers: Optimal Thresholds for Monotone Non-Boolean Functi…

We revisit the noisy binary search model of Karp and Kleinberg, in which we have $n$ coins with unknown probabilities $p_i$ that we can flip. The coins are sorted by increasing $p_i$, and we would like to find where the probability crosses…

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,…

Let $X \in \{0,\ldots,n \}$ be a random variable, with mean $\mu$ and standard deviation $\sigma$ and let \[f_X(z) = \sum_{k} \mathbb{P}(X = k) z^k, \] be its probability generating function. Pemantle conjectured that if $\sigma$ is large…

Let $\mu$ be the logarithmic equilibrium measure on a compact set $\gamma \subset \mathbb{R}^{d}$. We prove that $\mu$ is absolutely continuous with respect to the length measure on the part of $\gamma$ which can be locally expressed as the…

We consider positive solutions, possibly unbounded, to the semilinear equation $-\Delta u=f(u)$ on continuous epigraphs bounded from below. Under the homogeneous Dirichlet boundary condition, we prove new monotonicity results for $u$, when…

The asymptotic behavior of expressions of the form $% \sum_{t=1}^{n}f(r_{n}x_{t})$ where $x_{t}$ is an integrated process, $r_{n}$ is a sequence of norming constants, and $f$ is a measurable function has been the subject of a number of…

Let $s:[1,\infty) \to \C $ be a locally integrable function in Lebesgue's sense. The logarithmic (also called harmonic) mean of the function $s$ is defined by [\tau(t) := \frac 1{\log t} \int_1^t \frac {s(x)}{x} dx, \qquad t>1,] where the…

We investigate the conditions under which the space of bounded harmonic functions of a probability measure $\mu$ on a group $G$ is contained in that of another measure $\theta$. We establish that asymptotic commutativity, defined by the…

The problem of testing monotonicity for Boolean functions on the hypergrid, $f:[n]^d \to \{0,1\}$ is a classic topic in property testing. When $n=2$, the domain is the hypercube. For the hypercube case, a breakthrough result of…

This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $\mu$ be a Radon measure on $X$ and let…

We consider a monotone submodular maximization problem whose constraint is described by a logic formula on a graph. Formally, we prove the following three `algorithmic metatheorems.' (1) If the constraint is specified by a monadic…

Let $\Omega$ be a bounded domain in ${\mathbb R}^N$ and $T>0$. We study the problem \begin{equation} (P)\left\{ \begin{array}{lll} u_t - \Delta u \pm g(u) &= \mu \quad &\text{in } Q_T:=\Omega \times (0,T) \\ \phantom{------,} u&=0 &\text{on…

We prove some properties of completely monotonic functions and apply them to obtain results on gamma and $q$-gamma functions.

We improve on previous upper bounds for the $q$th norm of the partial sums of the Riemann zeta function on the half line when $0<q\leqslant 1$. In particular, we show that the 1-norm is bounded above by $(\log N)^{1/4}(\log\log N)^{1/4}$.

Let $(X,\mathcal{B}, \mu, T)$ be an ergodic dynamical system on a non-atomic finite measure space. We assume without loss of generality that $\mu(X)=1.$ Consider the maximal function $\dis R^*:(f, g) \in L^p\times L^q \to R^*(f, g)(x) =…

The classical A. Markov inequality establishes a relation between the maximum modulus or the $L^{\infty}\left([-1,1]\right)$ norm of a polynomial $Q_{n}$ and of its derivative: $\|Q'_{n}\|\leqslant M_{n} n^{2}\|Q_{n}\|$, where the constant…

We examine Fourier frames and, more generally, frame measures for different probability measures. We prove that if a measure has an associated frame measure, then it must have a certain uniformity in the sense that the weight is distributed…

The concentration of measure phenomenon in Gauss' space states that every $L$-Lipschitz map $f$ on $\mathbb R^n$ satisfies \[ \gamma_{n} \left(\{ x : | f(x) - M_{f} | \geqslant t \} \right) \leqslant 2 e^{ - \frac{t^2}{ 2L^2} }, \quad t>0,…

Let $\Omega$ be an open, possibly unbounded, set in Euclidean space $\R^m$ with boundary $\partial\Omega,$ let $A$ be a measurable subset of $\Omega$ with measure $|A|$, and let $\gamma \in (0,1)$. We investigate whether the solution…

Consider a measure $\mu_\lambda = \sum_x \xi_x \delta_x$ where the sum is over points $x$ of a Poisson point process of intensity $\lambda$ on a bounded region in $d$-space, and $\xi_x$ is a functional determined by the Poisson points near…