Showing 1–14 of 14 results for author: Foreman, M

The isomorphism problem for group actions

Authors: Matthew Foreman, Benjamin Weiss

Abstract: We discuss the isomorphism problem for ergodic actions of locally compact groups. In particular we show that the conjugacy relation is not Borel for ergodic measure preserving actions of indicable groups. We discuss the isomorphism problem for ergodic actions of locally compact groups. In particular we show that the conjugacy relation is not Borel for ergodic measure preserving actions of indicable groups. △ Less

Submitted 7 July, 2025; originally announced July 2025.

Where do you put a telescope? How do you understand Covid concentrations?

Authors: Matthew Foreman

Abstract: This note discusses dynamical systems-systems that evolve through time. We start with two contemporary examples illustrating the qualitative and the quantitative behavior of dynamical systems. These are two broad categories, usually called the study of the smooth behavior and ergodic theory. We then introduce the technical framework necessary to state the problems mathematically. Finally we show t… ▽ More This note discusses dynamical systems-systems that evolve through time. We start with two contemporary examples illustrating the qualitative and the quantitative behavior of dynamical systems. These are two broad categories, usually called the study of the smooth behavior and ergodic theory. We then introduce the technical framework necessary to state the problems mathematically. Finally we show that the problems are unsolvable in a rigorous sense. △ Less

Submitted 6 August, 2023; originally announced August 2023.

MSC Class: 00-02

Open questions in descriptive set theory and dynamical systems

Authors: Jérôme Buzzi, Nishant Chandgotia, Matthew Foreman, Su Gao, Felipe García-Ramos, Anton Gorodetski, François Le Maitre, Federico Rodríguez-Hertz, Marcin Sabok

Abstract: This file is composed of questions that emerged or were of interest during the workshop "Interactions between Descriptive Set Theory and Smooth Dynamics" that took place in Banff, Canada on 2022. This file is composed of questions that emerged or were of interest during the workshop "Interactions between Descriptive Set Theory and Smooth Dynamics" that took place in Banff, Canada on 2022. △ Less

Submitted 29 April, 2023; originally announced May 2023.

Anti-classification results for smooth dynamical systems. Preliminary Report

Authors: Matthew Foreman, Anton Gorodetski

Abstract: The paper considers the equivalence relation of conjugacy-by-homeomorphism on diffeomorphisms of smooth manifolds. In dimension 2 and above it is shown that there is no Borel method of attaching complete numerical invariants. In dimension 5 and above it is shown that the equivalence relation is not Borel, and in fact is complete analytic. The paper considers the equivalence relation of conjugacy-by-homeomorphism on diffeomorphisms of smooth manifolds. In dimension 2 and above it is shown that there is no Borel method of attaching complete numerical invariants. In dimension 5 and above it is shown that the equivalence relation is not Borel, and in fact is complete analytic. △ Less

Submitted 19 June, 2022; originally announced June 2022.

MSC Class: 37C15 (primary); 03E15; 28A05 (secondary)

The complexity of the Structure and Classification of Dynamical Systems

Authors: Matthew Foreman

Abstract: This is an expository paper about the Borel complexity of structure and classification theorems. It sorts several classical problems relative to known benchmarks of complexity. As a corollary various problems proposed by people such as von Neumann and Smale are shown to be infeasible using inherently countable information. This is an expository paper about the Borel complexity of structure and classification theorems. It sorts several classical problems relative to known benchmarks of complexity. As a corollary various problems proposed by people such as von Neumann and Smale are shown to be infeasible using inherently countable information. △ Less

Submitted 13 April, 2023; v1 submitted 20 March, 2022; originally announced March 2022.

MSC Class: 37-00; 03-00

Naive Descriptive Set Theory

Authors: Matthew Foreman

Abstract: The paper is a naive introduction to descriptive set theory. It is aimed mathematicians without a background in logic. The goal is to provide the basic facts used for applications of descriptive set theory to other areas of mathematics, particularly analysis and dynamical systems. The only topological or set theoretic background required is covered in undergraduate courses. It covers the hierarc… ▽ More The paper is a naive introduction to descriptive set theory. It is aimed mathematicians without a background in logic. The goal is to provide the basic facts used for applications of descriptive set theory to other areas of mathematics, particularly analysis and dynamical systems. The only topological or set theoretic background required is covered in undergraduate courses. It covers the hierarchy of Borel sets and the analytic sets, trees, Suslin's operation A, reductions, norms, separation theorems and uniformization. △ Less

Submitted 17 October, 2021; originally announced October 2021.

Odometer Based Systems

Authors: Matthew Foreman, Benjamin Weiss

Abstract: Construction sequences are a general method of building symbolic shifts that capture cut-and-stack constructions and are general enough to give symbolic representations of Anosov-Katok diffeomorphisms. We show here that any finite entropy system that has an odometer factor can be represented as a special class of construction sequences, the odometer based construction sequences which correspond to… ▽ More Construction sequences are a general method of building symbolic shifts that capture cut-and-stack constructions and are general enough to give symbolic representations of Anosov-Katok diffeomorphisms. We show here that any finite entropy system that has an odometer factor can be represented as a special class of construction sequences, the odometer based construction sequences which correspond to those cut-and-stack constructions that do not use spacers. We also show that any additional property called the "small word condition" can also be satisfied in a uniform way. △ Less

Submitted 21 September, 2020; originally announced September 2020.

MSC Class: 37B10

Godel Diffeomorphisms

Authors: Matthew Foreman

Abstract: A basic problem in smooth dynamics is determining if a system can be distinguished from its inverse, i.e., whether a smooth diffeomorphism $T$ is isomorphic to $T^{-1}$. We show that this problem is sufficiently general that asking it for particular choices of $T$ is equivalent to the validity of well-known number theoretic conjectures including the Riemann Hypothesis and Goldbach's conjecture. Fu… ▽ More A basic problem in smooth dynamics is determining if a system can be distinguished from its inverse, i.e., whether a smooth diffeomorphism $T$ is isomorphic to $T^{-1}$. We show that this problem is sufficiently general that asking it for particular choices of $T$ is equivalent to the validity of well-known number theoretic conjectures including the Riemann Hypothesis and Goldbach's conjecture. Further one can produce computable diffeomorphisms $T$ such that the question of whether $T$ is isomorphic to $T^{-1}$ is independent of ZFC. △ Less

Submitted 20 September, 2020; v1 submitted 14 September, 2020; originally announced September 2020.

MSC Class: 37E30; 03B30; 03E35; 03D80

Games with Filters

Authors: Matthew Foreman, Menachem Magidor, Martin Zeman

Abstract: This paper has two parts. The first is concerned with a variant of a family of games introduced by Holy and Schlicht, that we call \emph{Welch games}. Player II having a winning strategy in the Welch game of length $ω$ on $κ$ is equivalent to weak compactness. Winning the game of length $2^κ$ is equivalent to $κ$ being measurable. We show that for games of intermediate length $γ$, II winning impli… ▽ More This paper has two parts. The first is concerned with a variant of a family of games introduced by Holy and Schlicht, that we call \emph{Welch games}. Player II having a winning strategy in the Welch game of length $ω$ on $κ$ is equivalent to weak compactness. Winning the game of length $2^κ$ is equivalent to $κ$ being measurable. We show that for games of intermediate length $γ$, II winning implies the existence of precipitous ideals with $γ$-closed, $γ$-dense trees. The second part shows the first is not vacuous. For each $γ$ between $ω$ and $κ^+$, it gives a model where II wins the games of length $γ$, but not $γ^+$. The technique also gives models where for all $ω_1< γ\leκ$ there are $κ$-complete, normal, $κ^+$-distributive ideals having dense sets that are $γ$-closed, but not $γ^+$-closed. △ Less

Submitted 6 August, 2023; v1 submitted 8 September, 2020; originally announced September 2020.

MSC Class: 03E55

Rank-One Transformations, Odometers, and Finite Factors

Authors: Matthew Foreman, Su Gao, Aaron Hill, Cesar E. Silva, Benjamin Weiss

Abstract: In this paper we give explicit characterizations, based on the cutting and spacer parameters, of (a) which rank-one transformations factor onto a given finite cyclic permutation, (b) which rank-one transformations factor onto a given odometer, and (c) which rank-one transformations are isomorphic to a given odometer. These naturally yield characterizations of (d) which rank-one transformations fac… ▽ More In this paper we give explicit characterizations, based on the cutting and spacer parameters, of (a) which rank-one transformations factor onto a given finite cyclic permutation, (b) which rank-one transformations factor onto a given odometer, and (c) which rank-one transformations are isomorphic to a given odometer. These naturally yield characterizations of (d) which rank-one transformations factor onto some (unspecified) finite cyclic permutation, (d') which rank-one transformations are totally ergodic, (e) which rank-one transformations factor onto some (unspecified) odometer, and (f) which rank-one transformations are isomorphic to some (unspecified) odometer. △ Less

Submitted 17 June, 2021; v1 submitted 28 October, 2019; originally announced October 2019.

Report number: FGHSW01 MSC Class: 37A05; 37A35

Measure Preserving Diffeomorphisms of the Torus are Unclassifiable

Authors: Matthew Foreman, Benjamin Weiss

Abstract: The isomorphism problem in ergodic theory was formulated by von Neumann in 1932 in his pioneering paper Zur Operatorenmethode in der klassischen Mechanik (Ann. of Math. (2), 33(3):587--642, 1932). The problem has been solved for some classes of transformations that have special properties, such as the collection of transformations with discrete spectrum or Bernoulli shifts. This paper shows that a… ▽ More The isomorphism problem in ergodic theory was formulated by von Neumann in 1932 in his pioneering paper Zur Operatorenmethode in der klassischen Mechanik (Ann. of Math. (2), 33(3):587--642, 1932). The problem has been solved for some classes of transformations that have special properties, such as the collection of transformations with discrete spectrum or Bernoulli shifts. This paper shows that a general classification is impossible (even in concrete settings) by showing that the collection $E$ of pairs of ergodic, Lebesgue measure preserving diffeomorphisms $(S,T)$ of the 2-torus that are isomorphic is a complete analytic set in the $C^\infty$- topology (and hence not Borel). △ Less

Submitted 7 November, 2020; v1 submitted 11 May, 2017; originally announced May 2017.

Comments: 80 pages, 4 figures

From Odometers to Circular Systems: A global structure theorem

Authors: Matthew Foreman, Benjamin Weiss

Abstract: The main result of this paper is that two large collections of ergodic measure preserving systems, the Odometer Based and the Circular Systems have the same global structure with respect to joinings. The classes are canonically isomorphic by a continuous map that takes factor maps to factor maps, measure-isomorphisms to measure-isomorphisms, weakly mixing extensions to weakly mixing extensions and… ▽ More The main result of this paper is that two large collections of ergodic measure preserving systems, the Odometer Based and the Circular Systems have the same global structure with respect to joinings. The classes are canonically isomorphic by a continuous map that takes factor maps to factor maps, measure-isomorphisms to measure-isomorphisms, weakly mixing extensions to weakly mixing extensions and compact extensions to compact extensions. The first class includes all finite entropy ergodic transformations with an odometer factor. By results in a previous paper, the second class contains all transformations realizable as diffeomorphisms using the strongly uniform untwisted Anosov-Katok method. An application of the main result will appear in a forthcoming paper that shows that the diffeomorphisms of the torus are inherently unclassifiable up to measure-isomorphism. Other consequences include the existence measure distal diffeomorphisms of arbitrary countable distal height. △ Less

Submitted 21 March, 2017; originally announced March 2017.

Comments: 111 pages, 6 figures

A symbolic representation of Anosov-Katok systems

Authors: Matthew Foreman, Benjamin Weiss

Abstract: This paper is part 1 of a series of papers culminating in the result that measure preserving diffeomorphisms of the disc or 2-torus are unclassifiable. It also addresses another classical problem: which abstract measure preserving systems are realizable as smooth diffeomorphisms of a compact manifold? The main result of this paper gives new symbolic representations of the Anosov-Katok diffeomorphi… ▽ More This paper is part 1 of a series of papers culminating in the result that measure preserving diffeomorphisms of the disc or 2-torus are unclassifiable. It also addresses another classical problem: which abstract measure preserving systems are realizable as smooth diffeomorphisms of a compact manifold? The main result of this paper gives new symbolic representations of the Anosov-Katok diffeomorphisms. △ Less

Submitted 20 March, 2017; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 69 pages, 10 figures

On invariants for omega_1-separable groups

Authors: Paul C. Eklof, Matthew Foreman, Saharon Shelah

Abstract: We study the classification of omega_1-separable groups using Ehrenfeucht-Fraisse games and prove a strong classification result assuming PFA, and a strong non-structure theorem assuming diamond. We study the classification of omega_1-separable groups using Ehrenfeucht-Fraisse games and prove a strong classification result assuming PFA, and a strong non-structure theorem assuming diamond. △ Less

Submitted 14 January, 1995; originally announced January 1995.

Report number: Shelah [EFSh:520]

Journal ref: Trans. Amer. Math. Soc. 347 (1995), 4385--4402