Related papers: An approximate logic for measures

We investigate various classes of metrics on the integers, which induce the F\"urstenberg topology and establish the connection between the metrics and the topology. We analyze the norm-like mappings underlying these metrics, with respect…

Ergodic theory, Higher order Fourier analysis and the hyper graph regularity method are three possible approaches to Szemer\'edi type theorems in abelian groups. In this paper we develop an algebraic theory that creates a connection between…

We prove that any ergodic measure-preserving action of an irreducible lattice in a semisimple group, with finite center and each simple factor having rank at least two, either has finite orbits or has finite stabilizers. The same dichotomy…

We give a combinatorial characterization of generic frameworks that are minimally rigid under the additional constraint of maintaining symmetry with respect to a finite order rotation or a reflection. To establish these results we develop a…

Recently, Solecki introduced the notion of Ramsey monoid to produce a common generalization to theorems such as Hindman's theorem, Carlson's theorem, and Gowers' FIN$_k$ theorem. He proved that an entire class of finite monoids is Ramsey.…

We prove a mean ergodic theorem for amenable discrete quantum groups. As an application, we prove a Wiener type theorem for continuous measures on compact metrizable groups.

The ergodic hypothesis outgrew from the ancient conception of motion as periodic or quasi periodic. It did cause a revision of our views of motion, particularly through Boltzmann and Poincar\'e: we discuss how Boltmann's conception of…

In Feferman's work, explicit mathematics and theories of generalized inductive definitions play a central role. One objective of this article is to describe the connections with Martin-Lof type theory and constructive Zermelo-Fraenkel set…

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…

Regular sequences are natural generalisations of fixed points of constant-length substitutions on finite alphabets, that is, of automatic sequences. Using the harmonic analysis of measures associated with substitutions as motivation, we…

Counterfactual reasoning is a foundational topic in both philosophical and logical studies \cite{Stalnaker1968-STAATO-5, Lewis1973-LEWC-2}. A pivotal component of counterfactual analysis is the concept of similarity between possible worlds…

We describe the spectrum of an ergodic invariant measure by examining the behaviour of its generic points. We define regular Wiener--Wintner generic points for a measure to generalise the characterisation of generic points for discrete…

A major theme in arithmetic combinatorics is proving multiple recurrence results on semigroups (such as Szemer\'edi's theorem) and this can often be done using methods of ergodic Ramsey theory. What usually lies at the heart of such proofs…

The aim of this note is to present some new results concerning "almost everywhere" well-posedness and stability of continuity equations with measure initial data. The proofs of all such results can be found in \cite{amfifrgi}, together with…

(This text is a survey written for the Bourbaki seminar on the work of F. Manners.) Gowers uniformity norms are the central objects of higher order Fourier analysis, one of the cornerstones of additive combinatorics, and play an important…

A famous theorem of Szemer\'edi asserts that all subsets of the integers with positive upper density will contain arbitrarily long arithmetic progressions. There are many different proofs of this deep theorem, but they are all based on a…

We review recent work that employs the framework of logical inference to establish a bridge between data gathered through experiments and their objective description in terms of human-made concepts. It is shown that logical inference…

This paper studies ergodic properties of certain measures arising in the dynamics of holomorphic correspondences. These measures, in general, are not invariant in the classical sense of ergodic theory. We define a notion of ergodicity, and…

We extend almost everywhere convergence in Wiener-Wintner ergodic theorem for $\sigma$-finite measure to a generally stronger almost uniform convergence and present a larger, universal, space for which this convergence holds. We then extend…

Recently, T. Tao gave a finitary proof a convergence theorem for multiple averages with several commuting transformations and soon later, T. Austin gave an ergodic proof of the same result. Although we give here one more proof of the same…