Given a locally finite graph $\Gamma $ , an amenable subgroup G of graph automorphisms acting freely and almost transitively on its vertices, and a G-invariant activity function $\unicode{x3bb} $ , consider the free energy $f_G(\Gamma ,\unicode{x3bb} )$ of the hardcore model defined on the set of independent sets in $\Gamma $ weighted by $\unicode{x3bb} $ . Under the assumption that G is finitely generated and its word problem can be solved in exponential time, we define suitable ensembles of hardcore models and prove the following: if $\|\unicode{x3bb} \|_\infty < \unicode{x3bb} _c(\Delta )$ , there exists a randomized $\epsilon $ -additive approximation scheme for $f_G(\Gamma ,\unicode{x3bb} )$ that runs in time $\mathrm {poly}((1+\epsilon ^{-1})\lvert \Gamma /G \rvert )$ , where $\unicode{x3bb} _c(\Delta )$ denotes the critical activity on the $\Delta $ -regular tree. In addition, if G has a finite index linearly ordered subgroup such that its algebraic past can be decided in exponential time, we show that the algorithm can be chosen to be deterministic. However, we observe that if $\|\unicode{x3bb} \|_\infty> \unicode{x3bb} _c(\Delta )$ , there is no efficient approximation scheme, unless $\mathrm {NP} = \mathrm {RP}$ . This recovers the computational phase transition for the partition function of the hardcore model on finite graphs and provides an extension to the infinite setting. As an application in symbolic dynamics, we use these results to develop efficient approximation algorithms for the topological entropy of subshifts of finite type with enough safe symbols, we obtain a representation formula of pressure in terms of random trees of self-avoiding walks, and we provide new conditions for the uniqueness of the measure of maximal entropy based on the connective constant of a particular associated graph.

We study the asymptotic behavior of the family of holomorphic correspondences $\lbrace \mathcal {F}_a\rbrace _{a\in \mathcal {K}}$ , given by

$$ \begin{align*}\bigg(\frac{az+1}{z+1}\bigg)^2+\bigg(\frac{az+1}{z+1}\bigg)\bigg(\frac{aw-1}{w-1}\bigg)+\bigg(\frac{aw-1}{w-1}\bigg)^2=3.\end{align*} $$

$\mathcal {F}_a$

$\operatorname {PSL}_2(\mathbb {Z})$

$a\in \mathcal {K}$

$\mathcal {F}_a$

$\mathcal {F}_a$

We show that, under finitely many ergodicity assumptions, any multicorrelation sequence defined by invertible measure-preserving $\mathbb {Z}^d$ -actions with multivariable integer polynomial iterates is the sum of a nilsequence and a nullsequence, extending a recent result of the second author. To this end, we develop a new seminorm bound estimate for multiple averages by improving the results in a previous work of the first, third, and fourth authors. We also use this approach to obtain new criteria for joint ergodicity of multiple averages with multivariable polynomial iterates on ${\mathbb Z}^{d}$ -systems.

We study the behavior of the co-spectral radius of a subgroup H of a discrete group $\Gamma $ under taking intersections. Our main result is that the co-spectral radius of an invariant random subgroup does not drop upon intersecting with a deterministic co-amenable subgroup. As an application, we find that the intersection of independent co-amenable invariant random subgroups is co-amenable.

Inspired by the phase transition results for non-singular Gaussian actions introduced in [AIM19], we prove several phase transition results for non-singular Bernoulli actions. For generalized Bernoulli actions arising from groups acting on trees, we are able to give a very precise description of their ergodic-theoretical properties in terms of the Poincaré exponent of the group.

In this paper we show how to apply classical probabilistic tools for partial sums $\sum _{j=0}^{n-1}\varphi \circ \tau ^j$ generated by a skew product $\tau $ , built over a sufficiently well-mixing base map and a random expanding dynamical system. Under certain regularity assumptions on the observable $\varphi $ , we obtain a central limit theorem (CLT) with rates, a functional CLT, an almost sure invariance principle (ASIP), a moderate-deviations principle, several exponential concentration inequalities and Rosenthal-type moment estimates for skew products with $\alpha $ -, $\phi $ - or $\psi $ -mixing base maps and expanding-on-average random fiber maps. All of the results are new even in the uniformly expanding case. The main novelty here (in contrast to [2]) is that the random maps are not independent, they do not preserve the same measure and the observable $\varphi $ depends also on the base space. For stretched exponentially ${\alpha }$ -mixing base maps our proofs are based on multiple correlation estimates, which make the classical method of cumulants applicable. For $\phi $ - or $\psi $ -mixing base maps, we obtain an ASIP and maximal and concentration inequalities by establishing an $L^\infty $ convergence of the iterates ${\mathcal K}^{\,n}$ of a certain transfer operator ${\mathcal K}$ with respect to a certain sub- ${\sigma }$ -algebra, which yields an appropriate (reverse) martingale-coboundary decomposition.

We establish analogues for trees of results relating the density of a set ${E \subset \mathbb {N}}$ , the density of its set of popular differences and the structure of E. To obtain our results, we formalize a correspondence principle of Furstenberg and Weiss which relates combinatorial data on a tree to the dynamics of a Markov process. Our main tools are Kneser-type inverse theorems for sets of return times in measure-preserving systems. In the ergodic setting, we use a recent result of the first author with Björklund and Shkredov and a stability-type extension (proved jointly with Shkredov); we also prove a new result for non-ergodic systems.

We consider metrizable ergodic topological dynamical systems over locally compact, $\sigma $ -compact abelian groups. We study pure point spectrum via suitable notions of almost periodicity for the points of the dynamical system. More specifically, we characterize pure point spectrum via mean almost periodicity of generic points. We then go on and show how Besicovitch almost periodic points determine both eigenfunctions and the measure in this case. After this, we characterize those systems arising from Weyl almost periodic points and use this to characterize weak and Bohr almost periodic systems. Finally, we consider applications to aperiodic order.

A probability measure-preserving action of a discrete amenable group G is said to be dominant if it is isomorphic to a generic extension of itself. Recently, it was shown that for $G = \mathbb {Z}$ , an action is dominant if and only if it has positive entropy and that for any G, positive entropy implies dominance. In this paper, we show that the converse also holds for any G, that is, that zero entropy implies non-dominance.

We show that a fibre-preserving self-diffeomorphism which has hyperbolic splittings along the fibres on a compact principal torus bundle is topologically conjugate to a map that is linear in the fibres.

We examine multiple ergodic averages of commuting transformations with polynomial iterates in which the polynomials may be pairwise dependent. In particular, we show that such averages are controlled by the Gowers–Host–Kra seminorms whenever the system satisfies some mild ergodicity assumptions. Combining this result with the general criteria for joint ergodicity established in our earlier work, we determine a necessary and sufficient condition under which such averages are jointly ergodic, in the sense that they converge in the mean to the product of integrals, or weakly jointly ergodic, in that they converge to the product of conditional expectations. As a corollary, we deduce a special case of a conjecture by Donoso, Koutsogiannis, and Sun in a stronger form.

We give a characterization of inter-model sets with Euclidean internal space. This characterization is similar to previous results for general inter-model sets obtained independently by Baake, Lenz and Moody, and Aujogue. The new ingredients are two additional conditions. The first condition is on the rank of the abelian group generated by the set of internal differences. The second condition is on a flow on a torus defined via the address map introduced by Lagarias. This flow plays the role of the maximal equicontinuous factor in the previous characterizations.

The manifold M is a Riemannian, boundaryless, and compact manifold with $\dim M\geq 2$ , and f is a $C^{1+\beta }$ ( $\kern0.3pt\beta>0$ ) diffeomorphism of M. $\varphi $ is a Hölder continuous potential on M. We construct an invariant and absolutely continuous family of measures (with transformation relations defined by $\varphi $ ), which sit on local unstable leaves. We present two main applications. First, given an ergodic homoclinic class $H_\chi (p)$ , we prove that $\varphi $ admits a local equilibrium state on $H_\chi (p)$ if and only if $\varphi $ is ‘recurrent on $H_\chi (p)$ ’ (a condition tested by counting periodic points), and one of the leaf measures gives a positive measure to a set of positively recurrent hyperbolic points; and if an equilibrium measure exists, the said invariant and absolutely continuous family of measures constitute as its conditional measures. An immediate corollary is the local product structure of hyperbolic equilibrium states. Second, we prove a Ledrappier–Young property for hyperbolic equilibrium states: if $\varphi $ admits a conformal family of leaf measures and a hyperbolic local equilibrium state, then the leaf measures of the invariant family (respective to $\varphi $ ) are equivalent to the conformal measures (on a full measure set). This extends the celebrated result by Ledrappier and Young for hyperbolic Sinai–Ruelle–Bowen measures, which states that a hyperbolic equilibrium state of the geometric potential (with pressure zero) has conditional measures on local unstable leaves which are absolutely continuous with respect to the Riemannian volume of these leaves.

We prove the first orbit equivalence superrigidity results for actions of type III $_\unicode{x3bb} $ when $\unicode{x3bb} \neq 1$ . These actions arise as skew products of actions of dense subgroups of $\operatorname {SL}(n,\mathbb {R})$ on the sphere $S^{n-1}$ and they can have any prescribed associated flow.

We use Gaussian measure-preserving systems to prove the existence and genericity of Lebesgue measure-preserving transformations $T:[0,1]\rightarrow [0,1]$ which exhibit both mixing and rigidity behavior along families of asymptotically linearly independent sequences. Let $\unicode{x3bb} _1,\ldots ,\unicode{x3bb} _N\in [0,1]$ and let $\phi _1,\ldots ,\phi _N:\mathbb N\rightarrow \mathbb Z$ be asymptotically linearly independent (that is, for any $(a_1,\ldots ,a_N)\in \mathbb Z^N\setminus \{\vec 0\}$ , $\lim _{k\rightarrow \infty }|\sum _{j=1}^Na_j\phi _j(k)|=\infty $ ). Then the class of invertible Lebesgue measure-preserving transformations $T:[0,1]\rightarrow [0,1]$ for which there exists a sequence $(n_k)_{k\in \mathbb {N}}$ in $\mathbb {N}$ with for any measurable $A,B\subseteq [0,1]$ and any $j\in \{1,\ldots ,N\}$ , is generic. This result is a refinement of a result due to Stëpin (Theorem 2 in [Spectral properties of generic dynamical systems. Math. USSR-Izv.29(1) (1987), 159–192]) and a generalization of a result due to Bergelson, Kasjan, and Lemańczyk (Corollary F in [Polynomial actions of unitary operators and idempotent ultrafilters. Preprint, 2014, arXiv:1401.7869]).

The pentagram map, introduced by Schwartz [The pentagram map. Exp. Math. 1(1) (1992), 71–81], is a dynamical system on the moduli space of polygons in the projective plane. Its real and complex dynamics have been explored in detail. We study the pentagram map over an arbitrary algebraically closed field of characteristic not equal to 2. We prove that the pentagram map on twisted polygons is a discrete integrable system, in the sense of algebraic complete integrability: the pentagram map is birational to a self-map of a family of abelian varieties. This generalizes Soloviev’s proof of complex integrability [F. Soloviev. Integrability of the pentagram map. Duke Math. J. 162(15) (2013), 2815–2853]. In the course of the proof, we construct the moduli space of twisted n-gons, derive formulas for the pentagram map, and calculate the Lax representation by characteristic-independent methods.

We prove an explicit characterization of the points in Thurston’s Master Teapot, which can be implemented algorithmically to test whether a point in $\mathbb {C}\times \mathbb {R}$ belongs to the complement of the Master Teapot. As an application, we show that the intersection of the Master Teapot with the unit cylinder is not symmetrical under reflection through the plane that is the product of the imaginary axis of $\mathbb {C}$ and $\mathbb {R}$.

Let $u_{X}^{t}$ be a unipotent flow on $X=\mathrm {SO}(n,1)/\Gamma $, $u_{Y}^{t}$ be a unipotent flow on $Y=G/\Gamma ^{\prime }$. Let $\tilde {u}_{X}^{t}$, $\tilde {u}_{Y}^{t}$ be time changes of $u_{X}^{t}$, $u_{Y}^{t}$, respectively. We show the disjointness (in the sense of Furstenberg) between $u_{X}^{t}$ and $\tilde {u}_{Y}^{t}$ (or $\tilde {u}_{X}^{t}$ and $u_{Y}^{t}$) in certain situations. Our method refines the works of Ratner’s shearing argument. The method also extends a recent work of Dong, Kanigowski, and Wei [Rigidity of joinings for some measure preserving systems. Ergod. Th. & Dynam. Sys.42 (2022), 665–690].

An ergodic dynamical system $\mathbf {X}$ is called dominant if it is isomorphic to a generic extension of itself. It was shown by Glasner et al [On some generic classes of ergodic measure preserving transformations. Trans. Moscow Math. Soc.82(1) (2021), 15–36] that Bernoulli systems with finite entropy are dominant. In this work, we show first that every ergodic system with positive entropy is dominant, and then that if $\mathbf {X}$ has zero entropy, then it is not dominant.

We discuss a metric description of the divergence of a (projectively) Anosov flow in dimension 3, in terms of its associated expansion rates and give metric and contact geometric characterizations of when a projectively Anosov flow is Anosov. We then study the symmetries that the existence of an invariant volume form yields on the geometry of an Anosov flow, from various viewpoints of the theory of contact hyperbolas, Reeb dynamics, and Liouville geometry, and give characterizations of when an Anosov flow is volume preserving, in terms of those theories. We finally use our study to show that the bi-contact surgery operations of Salmoiraghi [Surgery on Anosov flows using bi-contact geometry. Preprint, 2021, arXiv:2104.07109; and Goodman surgery and projectively Anosov flows. Preprint, 2022, arXiv:2202.01328] can be applied in an arbitrary small neighborhood of a periodic orbit of any Anosov flow. In particular, we conclude that the Goodman surgery of Anosov flows can be performed using the bi-contact surgery operations of Salmoiraghi [Goodman surgery and projectively Anosov flows. Preprint, 2022, arXiv:2202.01328].