Researcher profile

Michael Boshernitzan

Michael Boshernitzan contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.DS math.NT math.CO math.GR math.MG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

7works

0followers

5topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

preprint2013arXiv

A dichotomy for the stability of arithmetic progressions

Let H stand for the set of homeomorphisms on [0,1]. We prove the following dichotomy for Borel subsets A of [0,1]: either there exists a homeomorphism f in H such that the image f(A) contains no 3-term arithmetic progressions; or, for every f in H, the image f(A) contains arithmetic progressions of arbitrary finite length. In fact, we show that the first alternative holds if and only if the set A is meager (a countable union of nowhere dense sets).

preprint2012arXiv

A dichotomy for projections of planar sets

We prove that most one-dimensional projections of a discrete subset of a plane are either dense in R (the real line), or form a discrete subset of R. More precisely, the set E of exceptional directions (for which the indicated dichotomy fails) is a meager subset of the unit circle T of Lebesgue measure 0. The set E however does not need to be small in the sense of Hausdorff dimension.

preprint2012arXiv

Approximate embedding of large polygons into $Z^2$

Let $Z^2$ denote the standard lattice in the plane $R^2$. We prove that given a finite subset $S\subset R^2$ and $\eps>0$, then for all sufficiently large dilations $t>0$ there exists a rotation $ρ\colon R^2\to R^2$ around the origin such that $\dist(ρ(tz),Z^2)<\eps$, for all $z\in S$. The result, in a larger generality, has been proved in 2006 by Tamar Ziegler (improving earlier results by Furstenberg, Katznelson, Weiss). The proof presented in the paper is short and self-contained.

preprint2012arXiv

Linearly repetitive Delone sets Delone sets with finite local complexity: Linear repetitivity versus positivity of weights

We consider Delone sets with finite local complexity. We characterize validity of a subadditive ergodic theorem by uniform positivity of certain weights. The latter can be considered to be an averaged version of linear repetitivity. In this context, we show that linear repetitivity is equivalent to positivity of weights combined with a certain balancedness of the shape of return patterns.

preprint2012arXiv

Subgroup of interval exchanges generated by torsion elements and rotations

Denote by $G$ the group of interval exchange transformations (IETs) on the unit interval. Let $G_{per}\subset G$ be the subgroup generated by torsion elements in $G$ (periodic IETs), and let $G_{rot}\subset G$ be the subset of 2-IETs (rotations). The elements of the subgroup $G_1=< G_{per},G_{rot}>\subset G$ (generated by the sets $G_{per}$ and $G_{rot}$) are characterized constructively in terms of their Sah-Arnoux-Fathi (SAF) invariant. The characterization implies that a non-rotation type 3-IET lies in $G_1$ if and only if the lengths of its exchanged intervals are linearly dependent over $\Q$. In particular, $G_1\subsetneq G$. The main tools used in the paper are the SAF invariant and a recent result by Y. Vorobets that $G_{per}$ coincides with the commutator subgroup of $G$.

preprint2011arXiv

Borel-Cantelli sequences

A sequence $\{x_{n}\}_1^\infty$ in $[0,1)$ is called Borel-Cantelli (BC) if for all non-increasing sequences of positive real numbers $\{a_n\}$ with $\underset{i=1}{\overset{\infty}{\sum}}a_i=\infty$ the set \[\underset{k=1}{\overset{\infty}{\cap}} \underset{n=k}{\overset{\infty}{\cup}} B(x_n, a_n))=\{x\in[0,1)\mid |x_n-x|<a_n \text{for} \infty \text{many}n\geq1\}\] has full Lebesgue measure. (To put it informally, BC sequences are sequences for which a natural converse to the Borel-Cantelli Theorem holds). The notion of BC sequences is motivated by the Monotone Shrinking Target Property for dynamical systems, but our approach is from a geometric rather than dynamical perspective. A sufficient condition, a necessary condition and a necessary and sufficient condition for a sequence to be BC are established. A number of examples of BC and not BC sequences are presented. The property of a sequence to be BC is a delicate diophantine property. For example, the orbits of a pseudo-Anosoff IET (interval exchange transformation) are BC while the orbits of a "generic" IET are not. The notion of BC sequences is extended to more general spaces.

preprint2011arXiv

Diophantine properties of IETs and general systems: Quantitative proximality and connectivity

We present shrinking targets results for general systems with the emphasis on applications for IETs (interval exchange transformations) $(J,T)$, $J=[0,1)$. In particular, we prove that if an IET $(J,T)$ is ergodic (relative to the Lebesgue measure $\lam$), then the equality \[ \liminf_{n\to\infty}\limits n |T^n(x)-y|=0 \tag{A1} \] holds for $\lam\ttimes\lam$-a. a. $(x,y)\in J^2$. The ergodicity assumption is essential: the result does not extend to all minimal IETs. The factor $n$ in (A1) is optimal (e. g., it cannot be replaced by $n \ln(\ln(\ln n))$. On the other hand, for Lebesgue almost all 3-IETs $(J,T)$ we prove that for all $\eps>0$ \[ \liminf_{n\to\infty}\limits n^\eps |T^n(x)-T^n(y)|= \infty,\quad \text{for Lebesgue a. a.} (x,y)\in J^2. \tag{A2} \] This should be contrasted with the equality $ \liminf_{n\to\infty}\limits |T^n(x)-T^n(y)|=0, $ for a. a. $(x,y)\in J^2$, which holds since $(J^2, T\times T)$ is ergodic (because generic 3-IETs $(J,T)$ are weakly mixing). We also prove that no 3-IET is strongly topologically mixing.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint