Related papers: Axiomatizing Resource Bounds for Measure

Let $(X,\mathcal{B},\mu,T)$ be a measure preserving system. We say that a function $f\in L^2(X,\mu)$ is $\mu$-mean equicontinuous if for any $\epsilon>0$ there is $k\in \mathbb{N}$ and measurable sets ${A_1,A_2,\cdots,A_k}$ with…

We show that every isoperimetric set in R^N with density is bounded if the density is continuous and bounded by above and below. This improves the previously known boundedness results, which basically needed a Lipschitz assumption; on the…

In the search for statistical dependency rules, a crucial task is to restrict the search space by estimating upper bounds for the goodness of yet undiscovered rules. In this paper, we show that all well-behaving goodness measures achieve…

A central problem in the study of resource theories is to find functions that are nonincreasing under resource conversions - termed monotones - in order to quantify resourcefulness. Various constructions of monotones appear in many…

A well studied classical problem is the harmonicity of functions satisfying the restricted mean-value property (RMVP) for domains in $\mathbb{R}^n$. Recently, the author along with Biswas investigated the problem in the general setting of…

Recently there have been fruitful results on resource theories of quantum measurements. Here we investigate the number of measurement outcomes as a kind of resource. We cast the robustness of the resource as a semi-definite positive…

The concentration of measure prenomenon roughly states that, if a set $A$ in a product $\Omega^N$ of probability spaces has measure at least one half, ``most'' of the points of $\Omega^N$ are ``close'' to $A$. We proceed to a systematic…

We aim to counter the tendency for specialization in science by advancing a language that can facilitate the translation of ideas and methods between disparate contexts. The focus is on questions of "resource-theoretic nature". In a…

A metric tree ($M$, $d$), also known as $\mathbb{R}$-trees or $T$-theory, is a metric space such that between any two points there is an unique arc and that arc is isometric to an interval in $\mathbb{R}$. In this paper after presenting…

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…

For a classical weight function $\rho$ defined on a simply connected open subset $\Omega$ of $\mathbb{R}^2$ (either bounded or unbounded) with piecewise $C^1$ boundary, we prove density and compact embedding of a matrix-weighted Sobolev…

We define a potential-weighted connective constant that measures the effective strength of a repulsive pair potential of a Gibbs point process modulated by the geometry of the underlying space. We then show that this definition leads to…

Classical mathematical models used in the semantics of programming languages and computation rely on idealized abstractions such as infinite-precision real numbers, unbounded sets, and unrestricted computation. In contrast, concrete…

We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…

In this paper, we investigate and find a necessary and sufficient condition for a function to be absolutely continuous over $\mathbb{R}$ (denoted by $AC(\mathbb{R})$) or any unbounded interval in $\mathbb{R}$ . Note that the Lebesgue's…

The Lebesgue property (order-continuity) of a monotone convex function on a solid vector space of measurable functions is characterized in terms of (1) the weak inf-compactness of the conjugate function on the order-continuous dual space,…

In classical density (or density-functional) estimation, it is standard to assume that the underlying distribution has a density with respect to the Lebesgue measure. However, when the data distribution is a mixture of continuous and…

We give a constructive, metastable formulation of a theorem about the exchange of limits for convergent sequence $L^1$ functions. A crucial tool is a one-dimensional version of Szemeredi's regularity lemma for $L^1$ functions.

Quantum entanglement is a useful resource for implementing communication tasks. However, for the resource to be useful in practice, it needs to be accessible by parties with bounded computational resources. Computational entanglement…

If $\Lambda $ is a measure space, $u:\Lambda ^{m}\rightarrow \Bbb{R}$ is a given function and $N\geq m,$ the function $U(x_{1},...,x_{N})=\left( \begin{array}{l} N \\ m \end{array} \right) ^{-1}\sum_{1\leq i_{1}<\cdots <i_{m}\leq…