Many Normal Measures

Shimon Garti

DOI: https://doi.org/10.1215/00294527-2688060

2012-10-14

Abstract:We characterize the situation of having many normal measures on a measurable cardinal. We show the plausibility of having many normal measures on each compact cardinal.

Logic

What problem does this paper attempt to address?

Large cardinals with few measures

Arthur Apter,James Cummings,Joel Hamkins

DOI: https://doi.org/10.1090/s0002-9939-07-08786-2

IF: 0.9709

2007-03-02

Proceedings of the American Mathematical Society

Abstract:We show, assuming the consistency of one measurable cardinal, that it is consistent for there to be exactly κ + \kappa ^+ many normal measures on the least measurable cardinal κ \kappa . This answers a question of Stewart Baldwin. The methods generalize to higher cardinals, showing that the number of λ \lambda strong compactness or λ \lambda supercompactness measures on P κ ( λ ) P_\kappa (\lambda ) can be exactly λ + \lambda ^+ if λ > κ \lambda > \kappa is a regular cardinal. We conclude with a list of open questions. Our proofs use a critical observation due to James Cummings.

mathematics, applied
A normal measure on a compact connected space

Grzegorz Plebanek

DOI: https://doi.org/10.48550/arXiv.1507.02845

2015-07-10

Abstract:We present a construction of a compact connected space which supports a normal probability measure.

General Topology,Functional Analysis
Measures supported on partly normal numbers

Malabika Pramanik,Junqiang Zhang

2024-08-07

Abstract:A real number $x$ is normal with respect to an integer base $b \geq 2$ if its digit expansion in this base is ``equitable'', in the sense that for $k \geq 1$, every ordered sequence of $k$ digits from $\{0, 1, \ldots, b-1\}$ occurs in the digit expansion of $x$ with the same limiting frequency. Borel's classical result \cite{b09} asserts that Lebesgue-almost every number $x$ is normal in every base $b \geq 2$. This three-part article considers sets of partial normality. Given any choice of integer bases $\mathscr{B}, \mathscr{B}' \subseteq \{2, 3, \ldots\}$, we investigate measure-theoretic properties of the set $\mathscr{N}(\mathscr{B}, \mathscr{B}')$, whose members are, by definition, normal in the bases of $\mathscr{B}$ and non-normal in the bases of $\mathscr{B}'$. A pair of sets $(\mathscr{B}, \mathscr{B}')$ is compatible if any $(b, b') \in \mathscr{B} \times \mathscr{B}'$ is multiplicatively independent. For compatible $(\mathscr{B}, \mathscr{B}')$ with $\mathscr{B}' \ne \emptyset$, we construct singular probability measures supported on $\mathscr N(\mathscr{B}, \mathscr{B}')$ that are both Frostman and Rajchman, extending prior work of Pollington \cite{p81} and Lyons \cite{l86}. The Rajchman property completely answers a question of Kahane and Salem \cite{Kahane-Salem-64}, identifying $\mathscr N(\mathscr{B}, \mathscr{B}')$ as a set of multiplicity (in the Fourier-analytic sense) if and only if $(\mathscr{B}, \mathscr{B}')$ is compatible. The methodological contribution of the article is the construction of a class of probability measures called skewed measures. These measures depend on a number of parameters that can be independently adjusted to ensure (subsets of) properties such as almost everywhere normality, non-normality, ball conditions and Fourier decay.

Classical Analysis and ODEs,Number Theory
Positive positive-definite functions and measures on locally compact abelian groups

Alexandr Borisov

DOI: https://doi.org/10.48550/arXiv.math/9906126

1999-06-19

Abstract:The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized the importance of functions and measures on locally compact abelian groups that are both positive and positive-definite at the same time. It looks like this class of functions and measures was not systematically studied before. The goal of this paper is to partially fill in this gap. We answer some of the natural questions involving these functions and measures, especially those that satisfy some extra integrability conditions. We also study some operations and constructions involving these functions and measures. There are several very interesting open questions, that we are only able to point out at this moment. In particular, the structure of the cone of such functions is not clear even when the group is just $\R.$

Functional Analysis
Cardinal invariants of a meager ideal

Will Brian

2023-11-17

Abstract:Let $\mathcal M_X$ denote the ideal of meager subsets of a topological space $X$. We prove that if $X$ is a completely metrizable space without isolated points, then the smallest cardinality of a non-meager subset of $X$, denoted $\mathrm{non}(\mathcal M_X)$, is exactly $\mathrm{non}(\mathcal M_X) = \mathrm{cf}[\kappa]^\omega \cdot \mathrm{non}(\mathcal M_{\mathbb R})$, where $\kappa$ is the minimum weight of a nonempty open subset of $X$. We also characterize the additivity and covering numbers for $\mathcal M_X$ in terms of simple topological properties of $X$. Some bounds are proved and some questions raised concerning the cofinality of $\mathcal M_X$ and the cofinality of the related ideal of nowhere dense subsets of $X$. We also show that if $X$ is a compact Hausdorff space with $\pi$-weight $\kappa$, then $\mathrm{non}(\mathcal M_X) \leq \mathrm{cf}[\kappa]^\omega \cdot \mathrm{non}(\mathcal M_{\mathbb R})$. This bound for compact Hausdorff spaces is not sharp, in the sense that it is consistent for such a space to have non-meager subsets of even smaller cardinality.

General Topology
Measures by means, means by measures

Attila Losonczi

2023-12-06

Abstract:We construct measure which determines a two-variable mean in a very natural way. Using that measure we can extend the mean to infinite sets as well. E.g. we can calculate the geometric mean of any set with positive Lebesgue measure. We also study the properties and behavior of such generalized means that are obtained by a measure, and we provide some applications as well.

Classical Analysis and ODEs
On classification of measurable functions of several variables

A. M. Vershik

DOI: https://doi.org/10.1007/s10958-013-1258-0

2013-03-20

Journal of Mathematical Sciences

Abstract:We define a normal form (called the canonical image) of an arbitrary measurable function of several variables with respect to a natural group of transformations; describe a new complete system of invariants of such a function (the system of joint distributions); and relate these notions to the matrix distribution, another invariant of measurable functions found earlier, which is a random matrix. Bibliography: 7 titles.

English Else
General Countable Product Measures

Juan Carlos Sampedro

DOI: https://doi.org/10.48550/arXiv.1910.04914

2019-10-10

Functional Analysis

Abstract:A new construction of product measures is given for an arbitrary sequence of measure spaces via outer measure techniques giving a coherent extension of the classical theory of finite product measures to countable many. Moreover, the Lebesgue spaces of this measures are simplified in terms of finite product measures. This decomposition simplifies all the considerations regarding infinite dimensional integration and gives to it a computational framework.
The Dual Normal Chip and Linear Regularity for Infinite Systems of Convex Sets in Banach Spaces

Chong Li,K. F. Ng

DOI: https://doi.org/10.1137/130941493

IF: 2.763

2014-01-01

SIAM Journal on Optimization

Abstract:For an indexed collection of convex sets in a Banach space with index set $I$of cardinality $|I|$ of $I$, which may be finite or infinite,we investigate the interrelationship between various qualification notionsincluding the linear regularity, the normal property, the dual normalconical hull intersection property,and Jameson's property $(G)$, together with their quantitative versions,and thereby we extend the well-known results of Bakan, Deutsch, andLi [ Trans. Amer. Math. Soc. , 357 (2005), pp. 3831--3863],and Bauschke, Borwein, and Li [ Math. Program. Ser. A , 86 (1999), pp. 135--160] fromthe finite case to the more general case that allows $|I|$ to be infinite.
Upper bounds for measures on distal classes

Ilia Nekrasov,Andrew Snowden

2024-07-27

Abstract:In recent work, Harman and Snowden introduced a notion of measure on a Fraïssé class $\mathfrak{F}$, and showed how such measures lead to interesting tensor categories. Constructing and classifying measures is a difficult problem, and so far only a handful of cases have been worked out. In this paper, we obtain some of the first general results on measures. Our main theorem states that if $\mathfrak{F}$ is distal (in the sense of Simon), and there are some bounds on automorphism groups, then $\mathfrak{F}$ admits only finitely many measures; moreover, we give an effective upper bound on their number. For example, if $\mathfrak{F}$ is the class of ``$s$-dimensional permutations'' (finite sets equipped with $s$ total orders), we show that the number of measures is bounded above by approximately $\exp(\exp(s^2 \log{s}))$.

Representation Theory,Combinatorics,Logic
The Chermak-Delgado Measure as a Map on Posets

William Cocke,Ryan McCulloch

2024-02-10

Abstract:The Chermak-Delgado measure of a finite group is a function which assigns to each subgroup a positive integer. In this paper, we give necessary and sufficient conditions for when the Chermak-Delgado measure of a group is actually a map of posets, i.e., a monotone function from the subgroup lattice to the positive integers. We also investigate when the Chermak-Delgado measure, restricted to the centralizers, is increasing.

Group Theory
On odd-normal numbers

Malabika Pramanik,Junqiang Zhang

2024-03-03

Abstract:A real number $x$ is considered normal in an integer base $b \geq 2$ if its digit expansion in this base is ``equitable'', ensuring that for each $k \geq 1$, every ordered sequence of $k$ digits from $\{0, 1, \ldots, b-1\}$ occurs in the digit expansion of $x$ with the same limiting frequency. Borel's classical result \cite{b09} asserts that Lebesgue-almost every $x \in \mathbb R$ is normal in every base $b \geq 2$. This paper serves as a case study of the measure-theoretic properties of Lebesgue-null sets containing numbers that are normal only in certain bases. We consider the set $\mathscr N(\mathscr{O}, \mathscr{E})$ of reals that are normal in odd bases but not in even ones. This set has full Hausdorff dimension \cite{p81} but zero Fourier dimension. The latter condition means that $\mathscr N(\mathscr{O}, \mathscr{E})$ cannot support a probability measure whose Fourier transform has power decay at infinity. Our main result is that $\mathscr N(\mathscr{O}, \mathscr{E})$ supports a Rajchman measure $\mu$, whose Fourier transform $\widehat{\mu}(\xi)$ approaches 0 as $|\xi| \rightarrow \infty$ by definiton, albeit slower than any negative power of $|\xi|$. Moreover, the decay rate of $\widehat{\mu}$ is essentially optimal, subject to the constraints of its support. The methods draw inspiration from the number-theoretic results of Schmidt \cite{s60} and a construction of Lyons \cite{l86}. As a consequence, $\mathscr N(\mathscr{O}, \mathscr{E})$ emerges as a set of multiplicity, in the sense of Fourier analysis. This addresses a question posed by Kahane and Salem \cite{Kahane-Salem-64} in the special case of $\mathscr N(\mathscr{O}, \mathscr{E})$.

Classical Analysis and ODEs,Number Theory
The first measurable can be the first inaccessible cardinal

Moti Gitik,Yair Hayut,Asaf Karagila

2024-01-05

Abstract:In [7] the second and third author showed that if the least inaccessible cardinal is the least measurable cardinal, then there is an inner model with $o(\kappa)\geq2$. In this paper we improve this to $o(\kappa)\geq\kappa+1$ and show that if $\kappa$ is a $\kappa^{++}$-supercompact cardinal, then there is a symmetric extension in which it is the least inaccessible and the least measurable cardinal.

Logic
Identifying 1-rectifiable measures in Carnot groups

Matthew Badger,Sean Li,Scott Zimmerman

2023-08-31

Abstract:We continue to develop a program in geometric measure theory that seeks to identify how measures in a space interact with canonical families of sets in the space. In particular, extending a theorem of the first author and R. Schul in Euclidean space, for an arbitrary locally finite Borel measure in an arbitrary Carnot group, we develop tests that identify the part of the measure that is carried by rectifiable curves and the part of the measure that is singular to rectifiable curves. Our main result is entwined with an extension of the Analyst's Traveling Salesman Theorem, which characterizes subsets of rectifiable curves in $\mathbb{R}^2$ (P. Jones, 1990), in $\mathbb{R}^n$ (K. Okikolu, 1992), or in an arbitrary Carnot group (the second author) in terms of local geometric least squares data called Jones' $\beta$-numbers. In a secondary result, we implement the Garnett-Killip-Schul construction of a doubling measure in $\mathbb{R}^n$ that charges a rectifiable curve in an arbitrary complete, doubling, locally quasiconvex metric space.

Metric Geometry,Classical Analysis and ODEs
The Chermak–Delgado measure as a map on posets

Cocke, William,McCulloch, Ryan

DOI: https://doi.org/10.1007/s00013-024-02015-8

2024-08-24

Archiv der Mathematik

Abstract:The Chermak–Delgado measure of a finite group is a function which assigns to each subgroup a positive integer. In this paper, we give necessary and sufficient conditions for when the Chermak–Delgado measure of a group is actually a map of posets, i.e., a monotone function from the subgroup lattice to the positive integers. We also investigate when the Chermak–Delgado measure, restricted to the centralizers, is increasing.

mathematics
Almost Everywhere Behavior of Functions According to Partition Measures

William Chan,Stephen Jackson,Nam Trang

DOI: https://doi.org/10.1017/fms.2023.130

2024-01-30

Forum of Mathematics Sigma

Abstract:This paper will study almost everywhere behaviors of functions on partition spaces of cardinals possessing suitable partition properties. Almost everywhere continuity and monotonicity properties for functions on partition spaces will be established. These results will be applied to distinguish the cardinality of certain subsets of the power set of partition cardinals. The following summarizes the main results proved under suitable partition hypotheses. • If is a cardinal, , , and , then satisfies the almost everywhere short length continuity property: There is a club and a so that for all , if and , then . • If is a cardinal, is countable, holds and , then satisfies the strong almost everywhere short length continuity property: There is a club and finitely many ordinals so that for all , if for all , , then . • If satisfies , and , then satisfies the almost everywhere monotonicity property: There is a club so that for all , if for all , , then . • Suppose dependent choice ( ), and the almost everywhere short length club uniformization principle for hold. Then every function satisfies a finite continuity property with respect to closure points: Let be the club of so that . There is a club and finitely many functions so that for all , for all , if and for all , , then . • Suppose satisfies -Abstract Truncated-

mathematics, applied
Physical measures on partially hyperbolic diffeomorphisms with multi 1-D centers

Zeya Mi,Yongluo Cao

2023-10-04

Abstract:In this paper, we study physical measures for partially hyperbolic diffeomorphisms with multi one-dimensional centers under the condition that all Gibbs $u$-states are hyperbolic. We prove the finiteness of ergodic physical measures. Then by building a criterion for the basin covering property of physical measures, we obtain the basin covering property for ergodic physical measures when there exists some limit measure of empirical measures for Lebesgue almost every point that admits the same sign of Lyapunov exponents on each center.

Dynamical Systems
Separating cardinal characteristics of the strong measure zero ideal

Jörg Brendle,Miguel A. Cardona,Diego A. Mejía

2023-09-05

Abstract:Let $\mathcal{SN}$ be the $\sigma$-ideal of the strong measure zero sets of reals. We present general properties of forcing notions that allow to control of the additivity of $\mathcal{SN}$ after finite support iterations. This is applied to force that the four cardinal characteristics associated with $\mathcal{SN}$ are pairwise different: \[\mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN}).\] Furthermore, we construct a forcing extension satisfying the above and Cichoń's maximum (i.e. that the non-dependent values in Cichoń's diagram are pairwise different).

Logic
Cardinal characteristics associated with small subsets of reals

Miguel A. Cardona,Adam Marton,Jaroslav Supina

2024-05-18

Abstract:Inspired by Bartoszyński's work on small sets, we introduce a new ideal defined by interval partitions on natural numbers and summable sequences of positive reals. Similarly, we present another ideal that relies on Bartoszyński's and Shelah's characterization of $F_\sigma$ measure zero sets. We demonstrate that they are $\sigma$-ideals and provide characterizations of the families of all small sets and the ideal induced by $F_\sigma$ measure zero sets. We also study the cardinal characteristics associated with the introduced ideals. We discuss their connection to Cichoń's diagram and present related consistency results.

Logic
Infinite stationary measures of measured group actions

Mohammedsaid Alhalimi,Tom Hutchcroft,Minghao Pan,Omer Tamuz,Tianyi Zheng

2024-10-31

Abstract:Let $\Gamma$ be a finitely generated group, and let $\mu$ be a nondegenerate, finitely supported probability measure on $\Gamma$. We show that every co-compact $\Gamma$ action on a locally compact Hausdorff space admits a nonzero $\mu$-stationary Radon measure. The main ingredient of the proof is a stationary analogue of Tarski's theorem: we show that for every nonempty subset $A \subseteq \Gamma$ there is a $\mu$-stationary, finitely additive measure on $\Gamma$ that assigns unit mass to $A$.

Group Theory,Dynamical Systems

Many Normal Measures

Large cardinals with few measures

A normal measure on a compact connected space

Measures supported on partly normal numbers

Positive positive-definite functions and measures on locally compact abelian groups

Cardinal invariants of a meager ideal

Measures by means, means by measures

On classification of measurable functions of several variables

General Countable Product Measures

The Dual Normal Chip and Linear Regularity for Infinite Systems of Convex Sets in Banach Spaces

Upper bounds for measures on distal classes

The Chermak-Delgado Measure as a Map on Posets

On odd-normal numbers

The first measurable can be the first inaccessible cardinal

Identifying 1-rectifiable measures in Carnot groups

The Chermak–Delgado measure as a map on posets

Almost Everywhere Behavior of Functions According to Partition Measures

Physical measures on partially hyperbolic diffeomorphisms with multi 1-D centers

Separating cardinal characteristics of the strong measure zero ideal

Cardinal characteristics associated with small subsets of reals

Infinite stationary measures of measured group actions