arxiv: 2605.03993 · v1 · submitted 2026-05-05 · 🧮 math.DS

Recognition: unknown

Invariant random compacts

Bryna Kra, Scott Schmieding

Pith reviewed 2026-05-07 04:08 UTC · model grok-4.3

classification 🧮 math.DS

keywords invariant random compactsIC-rigidityweak IC-rigidityChacon systemmultiplicative largenessdilationscircledynamical systems

0 comments

The pith

Continuous actions on compact metric spaces can be IC-rigid, forcing every invariant random compact to be almost surely finite or the entire space.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines an invariant random compact as a Borel probability measure on the nonempty compact subsets of X that remains unchanged under the continuous action of a group G. An action is IC-rigid when every such measure assigns probability one to the event that the random compact is either finite or equals all of X. Sufficient conditions are supplied that guarantee this rigidity, and concrete natural examples of actions meeting the conditions are identified. A weaker variant of the property is introduced, and the Chacon system is shown to satisfy the weak form while failing the strong form. The distinction is then used to establish new results on the multiplicative largeness of dilations of subsets of the circle.

Core claim

An action is IC-rigid when, for every G-invariant Borel probability measure on the space of nonempty compact subsets of X, the random compact is almost surely either finite or equal to X. Sufficient conditions for this property are given together with natural examples. The Chacon system admits an invariant random compact supported on infinite proper subsets with positive probability, so it is not IC-rigid, yet it satisfies the weaker notion of weak IC-rigidity. This yields results on multiplicative largeness of dilations of sets on the circle.

What carries the argument

IC-rigidity: the property that every invariant probability measure on the hyperspace of nonempty compact subsets (with the Hausdorff metric) is supported almost surely on the finite sets or on the full space X.

If this is right

Natural examples of continuous actions on compact metric spaces satisfy IC-rigidity.
The Chacon system is weakly IC-rigid but not IC-rigid.
Multiplicative largeness results hold for dilations of sets on the circle.
Weak IC-rigidity is strictly weaker than full IC-rigidity.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same sufficient conditions may be checked on other minimal or uniquely ergodic systems to decide whether they are IC-rigid.
The distinction between weak and full rigidity could be used to obtain further combinatorial largeness statements for orbits or return times in other dynamical settings.
Invariant random compacts provide a new lens for studying how invariant measures behave on the hyperspace of subsets rather than on the space itself.

Load-bearing premise

The space X must be compact and metrizable and the G-action must be continuous, so that the collection of nonempty compact subsets carries a natural compact metric topology permitting the definition and invariance of probability measures.

What would settle it

An explicit G-invariant probability measure on the nonempty compact subsets of X, for an action asserted to satisfy the sufficient conditions, that assigns positive probability to some infinite proper compact subset would disprove IC-rigidity for that action.

read the original abstract

For a compact metric space $X$ with a group $G$ acting on it continuously, an invariant random compact is a Borel probability measure on the space of nonempty compact subsets of $X$ that is invariant under the action of $G$. The action is IC-rigid if, with respect to every invariant random compact, every compact set is almost surely either finite or $X$. We give sufficient conditions for an action to be IC-rigid, and show there are natural examples of such actions. We further consider a notion of weak IC-rigidity, and prove that the Chacon system is weakly IC-rigid but not IC-rigid. As an application, we prove results concerning multiplicative largeness of dilations of sets on the circle.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Kra and Schmieding define IC-rigidity via invariant random compacts on the hyperspace and separate it from a weak version using the Chacon system, then apply it to multiplicative largeness of dilations on the circle.

read the letter

The paper's main contribution is a new rigidity notion called IC-rigidity based on invariant random compacts, which are invariant measures on the hyperspace of compact subsets. They show this is strictly stronger than a weak version by proving the Chacon system satisfies the weak property but not the full one, and then apply the ideas to get largeness results for dilations on the circle. This builds on the standard construction of the space of nonempty compacts with the Hausdorff metric and the existence of invariant measures for continuous actions. The Chacon system is a natural choice here because its rank-one structure and minimality allow the separation of the two notions without extra assumptions. The application to multiplicative largeness of dilations seems to follow from the rigidity by controlling the possible supports of the random compacts. The sufficient conditions for IC-rigidity are presented as the core technical part, and they appear to use properties that are checkable for many systems. The distinction between IC-rigid and weakly IC-rigid is made concrete with the Chacon example, which is good because it shows the definitions are not equivalent. One potential soft spot is that the application might not require the full strength of the new notions if similar largeness results could be obtained with older rigidity concepts. Also, without the details of the proofs, it's not clear how much the arguments depend on the specific topology or on ergodic properties that are already well-understood. But the stress-test indicates everything rests on standard facts, so no obvious gaps. This paper is aimed at people working in topological dynamics and ergodic theory, particularly those interested in rigidity and connections to combinatorial number theory or largeness properties. A reader familiar with rank-one transformations and hyperspaces will get the most out of it. It deserves a serious referee because the new concepts are clearly defined and the example provides a concrete test case. I would send this to peer review. The ideas are fresh enough and the example is solid enough that referees can check the details and see if the application holds up.

Referee Report

0 major / 3 minor

Summary. The manuscript defines an invariant random compact as a G-invariant Borel probability measure on the hyperspace of nonempty compact subsets of a compact metric space X under a continuous group action. It introduces the notion of IC-rigidity, where every invariant random compact is supported almost surely on finite sets or the entire space X. Sufficient conditions for IC-rigidity are given, along with natural examples of such actions. A weaker notion, weak IC-rigidity, is considered, and the Chacon system is shown to be weakly IC-rigid but not IC-rigid. The results are applied to prove statements about multiplicative largeness of dilations of sets on the circle.

Significance. If the central claims hold, the work introduces a useful new rigidity framework in topological dynamics by studying invariant measures on the hyperspace of compact sets. The separation of IC-rigidity from its weak variant via the standard Chacon rank-one system is a clear and falsifiable contribution, and the application to multiplicative largeness on the circle links the results to ergodic theory and combinatorial questions. The paper builds on standard facts about continuous actions, the Hausdorff metric, and invariant measures on compact spaces, which strengthens its foundation.

minor comments (3)

The abstract refers to 'natural examples' of IC-rigid actions without naming them; listing one or two concrete examples (e.g., a specific group or transformation) already in the introduction would improve readability.
The precise definition of weak IC-rigidity is only alluded to in the abstract; a short comparison paragraph contrasting it with full IC-rigidity (perhaps with a reference to the relevant theorem number) would help readers follow the distinction before reaching the Chacon example.
In the application to dilations on the circle, the logical step from the rigidity statements to the largeness conclusion should be summarized explicitly, even if the full proof is in a later section.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript, including the accurate summary of our definitions of invariant random compacts and IC-rigidity, the separation of IC-rigidity from weak IC-rigidity via the Chacon system, and the application to multiplicative largeness. The recommendation for minor revision is noted. No specific major comments were provided in the report, so we have no revisions to propose at this stage. We remain available to address any additional minor points the editor or referee may wish to raise.

Circularity Check

0 steps flagged

No significant circularity; definitions and proofs are self-contained

full rationale

The paper defines an invariant random compact directly as a G-invariant Borel probability measure on the hyperspace of nonempty compact subsets of X (with the Hausdorff metric). IC-rigidity is then defined in terms of this measure: every compact set is a.s. finite or equal to X. Sufficient conditions for IC-rigidity are stated, natural examples are exhibited, weak IC-rigidity is introduced as a relaxation, and the Chacon system (a standard, previously studied rank-one minimal subshift) is shown to be weakly IC-rigid but not fully IC-rigid. The application to multiplicative largeness of dilations on the circle is derived from these rigidity statements. All steps rest on standard facts from topological dynamics (continuous actions on compact metric spaces, existence of invariant measures on hyperspaces) without any self-definitional loops, fitted parameters renamed as predictions, load-bearing self-citations that assume the target result, or renaming of known empirical patterns. The derivation chain introduces new notions independently and applies them to external benchmark systems, remaining self-contained against external verification.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 3 invented entities

The central claims rest on the standard domain assumptions of topological dynamics plus the introduction of two new concepts; no free parameters or independently evidenced invented entities appear.

axioms (1)

domain assumption X is a compact metric space and the action of G is continuous.
This is the explicit setup in the abstract that enables the definition of the space of compact subsets and the invariance condition.

invented entities (3)

invariant random compact no independent evidence
purpose: G-invariant Borel probability measure on the space of nonempty compact subsets of X
Newly defined object central to the paper.
IC-rigid action no independent evidence
purpose: Action for which every invariant random compact concentrates on finite sets or X almost surely
Central new classification introduced in the paper.
weak IC-rigid action no independent evidence
purpose: Weaker variant of IC-rigidity used to classify the Chacon system
New auxiliary notion introduced to separate the Chacon example from full rigidity.

pith-pipeline@v0.9.0 · 5412 in / 1439 out tokens · 78510 ms · 2026-05-07T04:08:40.016980+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

2 extracted references

[1]

Ab ´ert, N

[1]M. Ab ´ert, N. Bergeron, I. Biringer, T. Gelander, N. Nikolov, J. Raimbault, and I. Samet. On the growth ofL 2-invariants for sequences of lattices in Lie groups.Ann. of Math. (2)185(2017), no. 3, 711–790. [2]M. Ab ´ert, Y. Glasner, and B. Vir ´ag. Kesten’s theorem for invariant random subgroups. Duke Math. J.163(2014), no. 3, 465–488. [3]N. Alon and Y...

2017
[2]

Verlag, New York, 1995. [31]M. Kelly and T. L ˆe. Uniform dilations in higher dimensions.J. Lond. Math. Soc. (2)88 (2013), no. 3, 925–940. [32]J. Li, P. Oprocha, X. Ye, and R. Zhang. When are all closed subsets recurrent?Ergodic Theory Dynam. Systems37(2017), no. 7, 2223–2254. [33]E. Lindenstrauss. Pointwise theorems for amenable groups.Invent. Math.146(2...

1995