English
Related papers

Related papers: Axiomatizing Resource Bounds for Measure

200 papers

The goal of automatic resource bound analysis is to statically infer symbolic bounds on the resource consumption of the evaluation of a program. A longstanding challenge for automatic resource analysis is the inference of bounds that are…

Programming Languages · Computer Science 2023-04-27 Jessie Grosen , David M. Kahn , Jan Hoffmann

Quantum information processing is limited, in practice, to efficiently implementable operations. This motivates the study of quantum divergences that preserve their operational meaning while faithfully capturing these computational…

Quantum Physics · Physics 2025-09-26 Álvaro Yángüez , Thomas A. Hahn , Jan Kochanowski

A generalization of the Lebesgue number lemma is obtained. It is proved that, if each countably infinite locally finite open cover of a chainable metric space $X$ has a Lebesgue number, then $X$ is totally bounded. A property of metric…

General Topology · Mathematics 2022-05-25 Ajit Kumar Gupta , Saikat Mukherjee

In a previous paper the authors developed a H^1-BMO theory for unbounded metric measure spaces $(M,\rho,m)$ of infinite measure that are locally doubling and satisfy two geometric properties, called "approximate midpoint" property and…

Functional Analysis · Mathematics 2008-11-04 A. Carbonaro , G. Mauceri , S. Meda

Resource theories are broad frameworks that capture how useful objects are in performing specific tasks. In this paper we devise a formal resource theory quantum measurements, focusing on the ability of a measurement to acquire information.…

Quantum Physics · Physics 2021-05-03 Thomas Guff , Nathan A. McMahon , Yuval R. Sanders , Alexei Gilchrist

We give examples of $L^{1}$-functions that are essentially unbounded on every nonempty open subset of their domains of definition. We obtain such functions as limits of weighted sums of functions with the unboundedly increasing number of…

Classical Analysis and ODEs · Mathematics 2010-10-05 Alexander A. Kovalevsky

Lineability is a property enjoyed by some subsets within a vector space X. A subset A of X is called lineable whenever A contains, except for zero, an infinite dimensional vector subspace. If, additionally, X is endowed with richer…

Functional Analysis · Mathematics 2013-09-17 Luis Bernal-González , Manuel Ordóñez-Cabrera

This paper investigates the relationship between various measure-theoretic properties of U-statistics with fixed sample size $N$ and the same properties of their kernels. Specifically, the random variables are replaced with elements in some…

Classical Analysis and ODEs · Mathematics 2015-07-15 Irina Navrotskaya

We study unboundedness properties of functions belonging Lebesgue and Lorentz spaces with variable and mixed norms using growth envelopes. Our results extend the ones for the corresponding classical spaces in a natural way. In the case of…

Functional Analysis · Mathematics 2020-09-09 Dorothee D. Haroske , Cornelia Schneider , Kristóf Szarvas

This article offers a comprehensive treatment of polynomial functional regression, culminating in the establishment of a novel finite sample bound. This bound encompasses various aspects, including general smoothness conditions, capacity…

Numerical Analysis · Mathematics 2024-05-08 Markus Holzleitner , Sergei Pereverzyev

We proved that for the countably infinite number of one-parameterized one dimensional dynamical systems, they preserve the Lebesgue measure and they are ergodic for the measure (infinite ergodicity). Considered systems connect the parameter…

Chaotic Dynamics · Physics 2021-03-31 Ken-ichi Okubo , Ken Umeno

Let ${\mathcal X}$ be a doubling metric measure space. If ${\mathcal X}$ has the $\delta$-annular decay property for some $\delta\in (0,\,1]$, the authors then establish the boundedness of the Lusin-area function, which is defined via…

Classical Analysis and ODEs · Mathematics 2010-03-26 Haibo Lin , Eiichi Nakai , Dachun Yang

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

General Mathematics · Mathematics 2020-05-15 Yu-Lin Chou

We present a systematic study on a class of nonlocal integral functionals for functions defined on a bounded domain and the naturally induced function spaces. The function spaces are equipped with a seminorm depending on finite differences…

Analysis of PDEs · Mathematics 2023-07-19 James M. Scott , Qiang Du

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…

Geometric Topology · Mathematics 2014-10-21 Vaibhav Gadre , Joseph Maher , Giulio Tiozzo

Bounded rationality, that is, decision-making and planning under resource limitations, is widely regarded as an important open problem in artificial intelligence, reinforcement learning, computational neuroscience and economics. This paper…

Machine Learning · Statistics 2015-12-22 Pedro A. Ortega , Daniel A. Braun , Justin Dyer , Kee-Eung Kim , Naftali Tishby

This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to…

Classical Analysis and ODEs · Mathematics 2009-08-10 John Franks

We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. Garc\'{i}a-Pacheco, M. Mart\'{i}n, and J. B. Seoane-Sep\'ulveda. \textit{Lineability,…

Functional Analysis · Mathematics 2012-05-01 Szymon Glab , Pedro L. Kaufmann , Leonardo Pellegrini

We study a wide class of metrics in a Lebesgue space with a standard measure, the class of so-called admissible metrics. We consider the cone of admissible metrics, introduce a special norm in it, prove compactness criteria, define the…

Dynamical Systems · Mathematics 2012-10-26 A. Vershik , F. Petrov , P. Zatitskiy

We study the sigma-finite measures in the space of vector-valued distributions on the manifold $X$ with Laplace transform $$\Psi(f)=\exp\{-\theta\int_X\ln||f(x)||dx\}, \theta>0.$$ We also consider the weak limit of Haar measures on the…

Mathematical Physics · Physics 2008-02-02 Anatoly Vershik
‹ Prev 1 4 5 6 7 8 10 Next ›