How constructive is constructing measures?

DOI10.4115/JLA.2017.9.C3MaRDI QIDQ2987777zbMATH OpenOpenAlexFDO

Authors Arno Pauly, Willem Louw Fouché

Publication date 18 May 2017

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1409.3428

zbMATH Keywords

computable analysisFrostman lemmaHausdorff dimensionmeasure theoryWeihrauch reducibility

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Computation over the reals, computable analysis (03D78) Constructive and recursive analysis (03F60) Spaces of measures, convergence of measures (28A33)

Abstract: Given some set, how hard is it to construct a measure supported by it? We classify some variations of this task in the Weihrauch lattice. Particular attention is paid to Frostman measures on sets with positive Hausdorff dimension. As a side result, the Weihrauch degree of Hausdorff dimension itself is determined.

Recommendations

• scientific article; zbMATH DE number 2225918
• scientific article; zbMATH DE number 3882669
• scientific article; zbMATH DE number 934594
• What can we measure?
• scientific article; zbMATH DE number 4000267
• scientific article; zbMATH DE number 4038144
• scientific article; zbMATH DE number 3106387
• On the notion of measurability

Cites work

• A topological view on algebraic computation models
• Admissible representations for probability measures
• Computability on computable metric spaces
• Computability on subsets of metric spaces.
• Finite choice, convex choice and finding roots
• Fourier spectra of measures associated with algorithmically random Brownian motion
• scientific article; zbMATH DE number 3941840 (Why is no real title available?)
• New Computational Paradigms
• On the algebraic structure of Weihrauch degrees
• On the computational content of the Brouwer fixed point theorem
• Real hypercomputation and continuity
• Recursive characterization of computable real-valued functions and relations
• Representing measurement results
• Theory of representations
• Universal measure zero, large Hausdorff dimension, and nearly Lipschitz maps
• Weihrauch degrees of finding equilibria in sequential games

Cited in

(4)

• How many future measures can there be?
• Effective aspects of Hausdorff and Fourier dimension
• scientific article; zbMATH DE number 2225918 (Why is no real title available?)
• How long does it take to implement a projective measurement?

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: How constructive is constructing measures?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987777)