Source author record

Tom Meyerovitch

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.PR math.GR Information Theory math.IT math.MG math.CO

Catalog footprint

Research overview

14works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Entropy-efficient finitary codings

We show that any finite-entropy, countable-valued finitary factor of an i.i.d process can also be expressed as a finitary factor of a finite-valued i.i.d process whose entropy is arbitrarily close to the target process. As an application, we give an affirmative answer to a question of van den Berg and Steif about the critical Ising model on $\mathbb{Z}^d$ . En route, we prove several results about finitary isomorphisms and finitary factors. Our results are developed in a new framework for processes invariant to a permutation group of a countable set satisfying specific properties. This new framework includes all ``classical'' processes over countable amenable groups and all invariant processes on transitive amenable graphs with ``uniquely centered balls''. Some of our results are new already for $\mathbb{Z}$ -processes. We prove a relative version of Smorodinsky's isomorphism theorem for finitely dependent $\mathbb{Z}$ -processes. We also extend the Keane--Smorodinsky finitary isomorphism theorem to countable-valued i.i.d processes and to i.i.d processes taking values in a Polish space.

preprint2022arXiv

Extensions of invariant random orders on groups

In this paper we study the action of a countable group $Γ$ on the space of orders on the group. In particular, we are concerned with the invariant probability measures on this space, known as invariant random orders. We show that for any countable group the space of random invariant orders is rich enough to contain an isomorphic copy of any free ergodic action, and characterize the non-free actions realizable. We prove a Glasner-Weiss dichotomy regarding the simplex of invariant random orders. We also show that the invariant partial order on $\mathrm{SL}_3(\mathbf{Z})$ corresponding to the semigroup of positive matrices cannot be extended to an invariant random total order. We thus provide the first example for a partial order (deterministic or random) that cannot be randomly extended.

preprint2022arXiv

What does a typical metric space look like?

The collection $\mathcal{M}_n$ of all metric spaces on $n$ points whose diameter is at most $2$ can naturally be viewed as a compact convex subset of $\mathbb{R}^{\binom{n}{2}}$ , known as the metric polytope. In this paper, we study the metric polytope for large $n$ and show that it is close to the cube $[1,2]^{\binom{n}{2}} \subseteq \mathcal{M}_n$ in the following two senses. First, the volume of the polytope is not much larger than that of the cube, with the following quantitative estimates: $\left(\tfrac{1}{6}+o(1)\right)n^{3/2} \le \log \mathrm{Vol}(\mathcal{M}_n)\le O(n^{3/2}).$ Second, when sampling a metric space from $\mathcal{M}_n$ uniformly at random, the minimum distance is at least $1 - n^{-c}$ with high probability, for some $c > 0$ . Our proof is based on entropy techniques. We discuss alternative approaches to estimating the volume of $\mathcal{M}_n$ using exchangeability, Szemerédi's regularity lemma, the hypergraph container method, and the Kővári--Sós--Turán theorem.

preprint2020arXiv

Borel subsystems and ergodic universality for compact $\mathbb Z^d$ -systems via specification and beyond

A Borel system $(X,S)$ is `almost Borel universal' if any free Borel dynamical system $(Y,T)$ of strictly lower entropy is isomorphic to a Borel subsystem of $(X,S)$ , after removing a null set. We obtain and exploit a new sufficient condition for a topological dynamical system to be almost Borel universal. We use our main result to deduce various conclusions and answer a number of questions. Along with additional results, we prove that a `generic' homeomorphism of a compact manifold of topological dimension at least two can model any ergodic transformation, that non-uniform specification implies almost Borel universality, and that $3$ -colorings in $\mathbb Z^d$ and dimers in $\mathbb Z^2$ are almost Borel universal

preprint2016arXiv

Encoding Semiconstrained Systems

Semiconstrained systems were recently suggested as a generalization of constrained systems, commonly used in communication and data-storage applications that require certain offending subsequences be avoided. In an attempt to apply techniques from constrained systems, we study sequences of constrained systems that are contained in, or contain, a given semiconstrained system, while approaching its capacity. In the case of contained systems we describe to such sequences resulting in constant-to-constant bit-rate block encoders and sliding-block encoders. Surprisingly, in the case of containing systems we show that a "generic" semiconstrained system is never contained in a proper fully-constrained system.

preprint2016arXiv

Positive sofic entropy implies finite stabilizer

We prove that for a measure preserving action of a sofic group with positive sofic entropy, the set of points with finite stabilizer have positive measure. This extends results of Weiss and Seward for amenable groups and free groups, respectively. It follows that the action of a sofic group on its subgroups by inner automorphisms has zero topological sofic entropy, and a faithful action with completely positive sofic entropy must be free.

preprint2015arXiv

Direct topological factorization for topological flows

This paper considers the general question of when a topological action of a countable group can be factored into a direct product of a nontrivial actions. In the early 1980's D. Lind considered such questions for $\mathbb{Z}$ -shifts of finite type. We study in particular direct factorizations of subshifts of finite type over $\mathbb{Z}^d$ and other groups, and $\mathbb{Z}$ -subshifts which are not of finite type. The main results concern direct factors of the multidimensional full $n$ -shift, the multidimensional $3$ -colored chessboard and the Dyck shift over a prime alphabet. A direct factorization of an expansive $\mathbb{G}$ -action must be finite, but a example is provided of a non-expansive $\mathbb{Z}$ -action for which there is no finite direct prime factorization. The question about existence of direct prime factorization of expansive actions remains open, even for $\mathbb{G}=\mathbb{Z}$ .

preprint2015arXiv

Harmonic functions of linear growth on solvable groups

In this work we study the structure of finitely generated groups for which a space of harmonic functions with fixed polynomial growth is finite dimensional. It is conjectured that such groups must be virtually nilpotent (the converse direction to Kleiner's theorem). We prove that this is indeed the case for solvable groups. The investigation is partly motivated by Kleiner's proof for Gromov's theorem on groups of polynomial growth.

preprint2015arXiv

Markov Random Fields, Markov Cocycles and The 3-colored Chessboard

The well-known Hammersley-Clifford theorem states (under certain conditions) that any Markov random field is a Gibbs state for a nearest neighbor interaction. In this paper we study Markov random fields for which the proof of the Hammersley-Clifford theorem does not apply. Following Petersen and Schmidt we utilize the formalism of cocycles for the homoclinic equivalence relation and introduce "Markov cocycles", reparametrisations of Markov specifications. The main part of this paper exploits this to deduce the conclusion of the Hammersley-Clifford theorem for a family of Markov fields which are outside the theorem's purview where the underlying graph is $\mathbb{Z}^d$ . This family includes all Markov random fields whose support is the d-dimensional "3-colored chessboard". On the other extreme, we construct a family of shift-invariant Markov random fields which are not given by any finite range shift-invariant interaction.

preprint2015arXiv

Semi-constrained Systems

When transmitting information over a noisy channel, two approaches, dating back to Shannon's work, are common: assuming the channel errors are independent of the transmitted content and devising an error-correcting code, or assuming the errors are data dependent and devising a constrained-coding scheme that eliminates all offending data patterns. In this paper we analyze a middle road, which we call a semiconstrained system. In such a system, which is an extension of the channel with cost constraints model, we do not eliminate the error-causing sequences entirely, but rather restrict the frequency in which they appear. We address several key issues in this study. The first is proving closed-form bounds on the capacity which allow us to bound the asymptotics of the capacity. In particular, we bound the rate at which the capacity of the semiconstrained $(0,k)$ -RLL tends to $1$ as $k$ grows. The second key issue is devising efficient encoding and decoding procedures that asymptotically achieve capacity with vanishing error. Finally, we consider delicate issues involving the continuity of the capacity and a relaxation of the definition of semiconstrained systems.

preprint2013arXiv

Ergodicity of Poisson products and applications

In this paper we study the Poisson process over a $σ$ -finite measure-space equipped with a measure preserving transformation or a group of measure preserving transformations. For a measure-preserving transformation $T$ acting on a $σ$ -finite measure-space $X$ , the Poisson suspension of $T$ is the associated probability preserving transformation $T_*$ which acts on realization of the Poisson process over $X$ . We prove ergodicity of the Poisson-product $T\times T_*$ under the assumption that $T$ is ergodic and conservative. We then show, assuming ergodicity of $T\times T_*$ , that it is impossible to deterministically perform natural equivariant operations: thinning, allocation or matching. In contrast, there are well-known results in the literature demonstrating the existence of isometry equivariant thinning, matching and allocation of homogenous Poisson processes on $\mathbb{R}^d$ . We also prove ergodicity of the "first return of left-most transformation" associated with a measure preserving transformation on $\mathbb{R}_+$ , and discuss ergodicity of the Poisson-product of measure preserving group actions, and related spectral properties.

preprint2013arXiv

On independence and entropy for high-dimensional isotropic subshifts

In this work, we study the problem of finding the asymptotic growth rate of the number of of $d$ -dimensional arrays with side length $n$ over a given alphabet which avoid a list of one-dimensional "forbidden" words along all cardinal directions, as both $n$ and $d$ tend to infinity. Louidor, Marcus, and the second author called this quantity the "limiting entropy"; it is the limit of a sequence of topological entropies of a sequence of isotropic $\mathbb{Z}^d$ subshifts with the dimension $d$ tending to infinity. We find an expression for this limiting entropy which involves only one-dimensional words, which was implicitly conjectured earlier, and given the name "independence entropy." In the case where the list of "forbidden" words is finite, this expression is algorithmically computable and is of the form $\frac{1}{n} \log k$ for $k,n \in \mathbb{N}$ . Our proof also characterizes the weak limits (as $d \rightarrow \infty$ ) of isotropic measures of maximal entropy; any such measure is a Bernoulli extension over some zero entropy factor from an explicitly defined set of measures. We also demonstrate how our results apply to various models previously studied in the literature, in some cases recovering or generalizing known results, but in other cases proving new ones.

preprint2011arXiv

One dimensional Markov random fields, Markov chains and Topological Markov fields

In this paper we show that any one-dimensional stationary, finite-valued Markov Random Field (MRF) is a Markov chain, without any mixing condition or condition on the support. Our proof makes use of two properties of the support $X$ of a finite-valued stationary MRF: 1) $X$ is non-wandering (this is a property of the support of any finite-valued stationary process) and 2) $X$ is a topological Markov field (TMF). The latter is a new property that sits in between the classes of shifts of finite type and sofic shifts, which are well-known objects of study in symbolic dynamics. Here, we develop the TMF property in one dimension, and we will develop this property in higher dimensions in a future paper. While we are mainly interested in discrete-time finite-valued stationary MRF's, we also consider continuous-time, finite-valued stationary MRF's, and show that these are (continuous-time) Markov chains as well.

preprint2007arXiv

A Characterization of the Entropies of Multidimensional Shifts of Finite Type

We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computation-theoretic property: a real number $h\geq 0$ is the entropy of such an SFT if and only if it is right recursively enumerable, i.e. there is a computable sequence of rational numbers converging to $h$ from above. The same characterization holds for the entropies of sofic shifts. On the other hand, the entropy of an irreducible SFT is computable.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Tom Meyerovitch

Research overview

Is this your work?

14 publications

Entropy-efficient finitary codings

Extensions of invariant random orders on groups

What does a typical metric space look like?

Borel subsystems and ergodic universality for compact $\mathbb Z^d$ -systems via specification and beyond

Encoding Semiconstrained Systems

Positive sofic entropy implies finite stabilizer

Direct topological factorization for topological flows

Harmonic functions of linear growth on solvable groups

Markov Random Fields, Markov Cocycles and The 3-colored Chessboard

Semi-constrained Systems

Ergodicity of Poisson products and applications

On independence and entropy for high-dimensional isotropic subshifts

One dimensional Markov random fields, Markov chains and Topological Markov fields

A Characterization of the Entropies of Multidimensional Shifts of Finite Type

See the researcher in context

Building this map preview

Tom Meyerovitch

Research overview

Is this your work?

14 publications

Entropy-efficient finitary codings

Extensions of invariant random orders on groups

What does a typical metric space look like?

Borel subsystems and ergodic universality for compact Zd\mathbb Z^dZd-systems via specification and beyond

Encoding Semiconstrained Systems

Positive sofic entropy implies finite stabilizer

Direct topological factorization for topological flows

Harmonic functions of linear growth on solvable groups

Markov Random Fields, Markov Cocycles and The 3-colored Chessboard

Semi-constrained Systems

Ergodicity of Poisson products and applications

On independence and entropy for high-dimensional isotropic subshifts

One dimensional Markov random fields, Markov chains and Topological Markov fields

A Characterization of the Entropies of Multidimensional Shifts of Finite Type

See the researcher in context

Building this map preview

Borel subsystems and ergodic universality for compact $\mathbb Z^d$ -systems via specification and beyond