arXiv subjects

Yaar Solomon

Publications and source records attributed to Yaar Solomon.

18 recordsLinked to original sources

arXiv2026

Degenerating orbits of the Longest Edge Bisection process

We study the Longest Edge Bisection (LEB) process as a dynamical system on the projective shape space of simplices. A long-standing conjecture going back to Adler and Rivara-Levin and motivated by finite-element mesh refinement, often taken as a standing assumption, is that this procedure is non-degenerate and, in fact, in a certain way periodic. We prove: \begin{itemize} \item There are 3-dimensional simplices such that the longest edge-bisection algorithm degenerates. \item There is an open set of 4-dimensional simplices on which the longest edge-bisection algorithm degenerates. \item If parametrizing the space of $d$-dimensional simplices by independent standard Gaussian vectors, then as $d$ increases, a random simplex degenerates asymptotically almost surely. \end{itemize} This is realized through exhibiting hyperbolic behaviour of the LEB process. We also exhibit elliptic behaviour that is nonperiodic.

math.DS↗

arXiv2026

BiLipschitz and bounded displacement equivalence of Delone sets

We survey biLipschitz (BL) and bounded displacement (BD) equivalence of Delone sets, with an emphasis on examples arising in aperiodic order. After recalling the classical results of Burago-Kleiner, McMullen, and Laczkovich, we discuss criteria for rectifiability, uniform spreadness, and BD equivalence, and how these relate to discrepancy and point-counting estimates. We then focus on Delone sets associated with substitution tilings, where these questions can often be studied through the combinatorial and spectral properties of the underlying substitution rules. We also consider selected classes of cut-and-project sets and briefly discuss extensions beyond BL and BD equivalence.

math.DS↗

arXiv2026

On the stability, complexity, and distribution of similarity classes of the longest edge bisection process for triangles

The Longest Edge Bisection of a triangle is performed by joining the midpoint of its longest edge to the opposite vertex. Applying this procedure iteratively produces an infinite family of triangles. Surprisingly, a classical result of Stynes (1980) shows that for any initial triangle, the elements of this infinite family fall into finitely many similarity classes. While the set of classes is finite, it turns out that a far smaller, periodic subset of ``fat'' triangles effectively dominates the final mesh structure. This subset is comprised of periodic orbits of length four, which we refer to as {\bf terminal quadruples}. We prove the following asymptotic area distribution result: for every initial triangle, the portion of area occupied by these terminal quadruples tends to one, with the convergence occurring at an exponential rate. In fact, we provide the precise distribution of triangles in every step. We introduce the {\bf bisection graph} and use spectral methods to prove this result. Given this dominance, we provide a complete characterization of triangles possessing a single terminal quadruple, while conversely exhibiting a sequence of triangles with an unbounded number of terminal quadruples. Furthermore, we reveal several fundamental geometric properties of the points of a terminal quadruple, laying the groundwork for studying the geometric distribution of the entire orbit.

cs.CG↗

arXiv2023

Periodicity of joint co-tiles in $\mathbb{Z}^d$

An old theorem of Newman asserts that any tiling of $\mathbb{Z}$ by a finite set is periodic. A few years ago, Bhattacharya proved the periodic tiling conjecture in $\mathbb{Z}^2$. Namely, he proved that for a finite subset $F$ of $\mathbb{Z}^2$, if there exists $A \subseteq \mathbb{Z}^2$ such that $F \oplus A = \mathbb{Z}^2$ then there exists a periodic $A' \subseteq \mathbb{Z}^2$ such that $F \oplus A' = \mathbb{Z}^2$. The recent refutation of the periodic tiling conjecture in high dimensions due to Greenfeld and Tao motivates finding different generalizations of Newman's theorem and of Bhattacharya's theorem that hold in arbitrary dimension $d$. In this paper, we formulate and prove such generalizations. We do so by studying the structure of joint co-tiles in $\mathbb{Z}^d$. Our generalization of Newman's theorem states that for any $d \ge 1$, any joint co-tile for $d$ independent tiles is periodic. For a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy a certain technical condition that we call property $(\star)$, we prove that any joint co-tile decomposes into disjoint $(d-1)$-periodic sets. Consequently, we show that for a $(d-1)$-tuple of finite subsets of $\mathbb{Z}^d$ that satisfy property $(\star)$, the existence of a joint co-tile implies the existence of periodic joint co-tile. Conversely, we prove that if a finite subset $F$ in $\mathbb{Z}^d$ admits a periodic co-tile $A$, then there exist $(d-1)$ additional tiles that together with $F$ are independent and admit $A$ as a joint co-tile, so that the first $(d-2)$ of these tiles together with $F$ satisfy property $(\star)$. Combined, our results give a new necessary and sufficient condition for a subset of $\mathbb{Z}^d$ to tile periodically. We also discuss tilings and joint tilings in other countable abelian groups.

math.DS↗

arXiv2022

A note on reduction of tiling problems

We show that translational tiling problems in a quotient of $\mathbb{Z}^d$ can be effectively reduced or ``simulated'' by translational tiling problems in $\mathbb{Z}^d$. In particular, for any $d \in \mathbb{N}$, $k < d$ and $N_1,\ldots,N_k \in \mathbb{N}$ the existence of an aperiodic tile in $\mathbb{Z}^{d-k} \times (\mathbb{Z} / N_1\mathbb{Z} \times \ldots \times \mathbb{Z} / N_k \mathbb{Z})$ implies the existence of an aperiodic tile in $\mathbb{Z}^d$. Greenfeld and Tao have recently disproved the well-known periodic tiling conjecture in $\mathbb{Z}^d$ for sufficiently large $d \in \mathbb{N}$ by constructing an aperiodic tile in $\mathbb{Z}^{d-k} \times (\mathbb{Z} / N_1\mathbb{Z} \times \ldots \times \mathbb{Z} / N_k \mathbb{Z})$ for suitable $d,N_1,\ldots,N_k \in \mathbb{N}$.

math.CO↗

arXiv2021

Discrepancy and rectifiability of almost linearly repetitive Delone sets

We extend a discrepancy bound of Lagarias and Pleasants for local weight distributions on linearly repetitive Delone sets and show that a similar bound holds also for the more general case of Delone sets without finite local complexity if linear repetitivity is replaced by $\varepsilon$-linear repetitivity. As a result we establish that Delone sets that are $\varepsilon$-linear repetitive for some sufficiently small $\varepsilon$ are rectifiable, and that incommensurable multiscale substitution tilings are never almost linearly repetitive.

math.DS↗

arXiv2020

A dichotomy for bounded displacement equivalence of Delone sets

We prove that in every compact space of Delone sets in $\mathbb{R}^d$ which is minimal with respect to the action by translations, either all Delone sets are uniformly spread, or continuously many distinct bounded displacement equivalence classes are represented, none of which contains a lattice. The implied limits are taken with respect to the Chabauty--Fell topology, which is the natural topology on the space of closed subsets of $\mathbb{R}^d$. This topology coincides with the standard local topology in the finite local complexity setting, and it follows that the dichotomy holds for all minimal spaces of Delone sets associated with well-studied constructions such as cut-and-project sets and substitution tilings, whether or not finite local complexity is assumed.

math.MG↗

arXiv2020

Continuously many bounded displacement non-equivalences in substitution tiling spaces

We consider substitution tilings in R^d that give rise to point sets that are not bounded displacement (BD) equivalent to a lattice and study the cardinality of BD(X), the set of distinct BD class representatives in the corresponding tiling space X. We prove a sufficient condition under which the tiling space contains continuously many distinct BD classes and present such an example in the plane. In particular, we show here for the first time that this cardinality can be greater than one.

math.MG↗

arXiv2020

Multiscale Substitution Tilings

We introduce a new general framework for constructing tilings of Euclidean space, which we call multiscale substitution tilings. These tilings are generated by substitution schemes on a finite set of prototiles, in which multiple distinct scaling constants are allowed. This is in contrast to the standard case of the well-studied substitution tilings which includes examples such as the Penrose and the pinwheel tilings. Under an additional irrationality assumption on the scaling constants, our construction defines a new class of tilings and tiling spaces, which are intrinsically different from those that arise in the standard setup. We study various structural, geometric, statistical and dynamical aspects of these new objects and establish a wide variety of properties. Among our main results are explicit density formulas and the unique ergodicity of the associated tiling dynamical systems.

math.DS↗

arXiv2019

Cut-and-project quasicrystals, lattices, and dense forests

Dense forests are discrete subsets of Euclidean space which are uniformly close to all sufficiently long line segments. The degree of density of a dense forest is measured by its visibility function. We show that cut-and-project quasicrystals are never dense forests, but their finite unions could be uniformly discrete dense forests. On the other hand, we show that finite unions of lattices typically are dense forests, and give a bound on their visibility function, which is close to optimal. We also construct an explicit finite union of lattices which is a uniformly discrete dense forest with an explicit bound on its visibility.

math.NT↗

arXiv2019

Bounded Displacement Non-Equivalence In Substitution Tilings

In the study of aperiodic order and mathematical models of quasicrystals, questions regarding equivalence relations on Delone sets naturally arise. This work is dedicated to the bounded displacement (BD) equivalence relation, and especially to results concerning instances of non-equivalence. We present a general condition for two Delone sets to be BD non-equivalent, and apply our result to Delone sets associated with tilings of Euclidean space. First we consider substitution tilings, and exhibit a substitution matrix associated with two distinct substitution rules. The first rule generates only periodic tilings, while the second generates tilings for which any associated Delone set is non-equivalent to any lattice in space. As an extension of this result, we introduce arbitrarily many distinct substitution rules associated with a single matrix, with the property that Delone sets generated by distinct rules are non-equivalent. We then turn to the study of mixed substitution tilings, and present a mixed substitution system that generates representatives of continuously many distinct BD equivalence classes.

math.MG↗

arXiv2018

On Visibility Problems with an Infinite Discrete, set of Obstacles

This paper studies visibility problems in Euclidean spaces $\mathbb{R}^d$ where the obstacles are the points of infinite discrete sets $Y\subseteq\mathbb{R}^d$. A point $x\in\mathbb{R}^d$ is called $\varepsilon$-visible for $Y$ (notation: $x\in\mathbf{vis}(Y, \varepsilon))$ if there exists a ray $L\subseteq\mathbb{R}^d$ emanating from $x$ such that $||y-z||\geq\varepsilon$, for all $y\in Y\setminus\{x\}$ and $z\in L$. A point $x\in\mathbb{R}^d$ is called visible for $Y$ (notation: $x\in\mathbf{vis}(Y))$ if $x\in\mathbf{vis}(Y, \varepsilon))$, for some $\varepsilon>0$.\\ Our main result is the following. For every $\varepsilon>0$ and every relatively dense set $Y\subseteq\mathbb{R}^2$, $\mathbf{vis}(Y, \varepsilon))\neq\mathbb{R}^2$. This result generalizes a theorem of Dumitrescu and Jiang, which settled Mitchell's dark forest conjecture. On the other hand, we show that there exists a relatively dense subset $Y\subseteq \mathbb{Z}^d$ such that $\mathbf{vis}(Y)=\mathbb{R}^d$. (One easily verifies that $\mathbf{vis}(\mathbb{Z}^d)=\mathbb{R}^d\setminus\mathbb{Z}^d$, for all $d\geq 2$). We derive a number of other results clarifying how the size of a sets $Y\subseteq\mathbb{R}^d$ may affect the sets $\mathbf{vis}(Y)$ and $\mathbf{vis}(Y,\varepsilon)$. We present a Ramsey type result concerning uniformly separated subsets of $\mathbb{R}^2$ whose growth is faster than linear.

math.MG↗

arXiv2015

On problems of Danzer and Gowers and dynamics on the space of closed subsets of $\mathbb{R}^d$

Considering the space of closed subsets of $\mathbb{R}^d$, endowed with the Chabauty-Fell topology, and the affine action of $SL_d(\mathbb{R})\ltimes\mathbb{R}^d$, we prove that the only minimal subsystems are the fixed points $\{\varnothing\}$ and $\{\mathbb{R}^d\}$. As a consequence we resolve a question of Gowers concerning the existence of certain Danzer sets: there is no set $Y \subset \mathbb{R}^d$ such that for every convex set $\mathcal{C} \subset \mathbb{R}^d$ of volume one, the cardinality of $\mathcal{C} \cap Y$ is bounded above and below by nonzero contants independent of $\mathcal{C}$. We also provide a short independent proof of this fact and deduce a quantitative consequence: for every $\varepsilon$-net $N$ for convex sets in $[0,1]^d$ there is a convex set of volume $\varepsilon$ containing at least $\Omega(\log\log(1/\varepsilon))$ points of $N$.

math.DS↗

arXiv2014

A Danzer set for Axis Parallel Boxes

We present concrete constructions of discrete sets in $\mathbb{R}^d$ ($d\ge 2$) that intersect every aligned box of volume $1$ in $\mathbb{R}^d$, and which have optimal growth rate $O(T^d)$.

cs.CG↗

arXiv2014

Dense forests and Danzer sets

A set $Y\subseteq\mathbb{R}^d$ that intersects every convex set of volume $1$ is called a Danzer set. It is not known whether there are Danzer sets in $\mathbb{R}^d$ with growth rate $O(T^d)$. We prove that natural candidates, such as discrete sets that arise from substitutions and from cut-and-project constructions, are not Danzer sets. For cut and project sets our proof relies on the dynamics of homogeneous flows. We consider a weakening of the Danzer problem, the existence of uniformly discrete dense forests, and we use homogeneous dynamics (in particular Ratner's theorems on unipotent flows) to construct such sets. We also prove an equivalence between the above problem and a well-known combinatorial problem, and deduce the existence of Danzer sets with growth rate $O(T^d\log T)$, improving the previous bound of $O(T^d\log^{d-1} T)$.

math.MG↗

arXiv2011

A Simple Condition for Bounded Displacement

We study separated nets that correspond to substitution tilings of the Euclidean space. We give a simple condition, in terms of the eigenvalues and eigenspaces of the substitution matrix, to know whether the separated net is a bounded displacement of the integer lattice or not.

math.DS↗

arXiv2010

Functions of Substitution Tilings as a Jacobian

In this paper we show that the function defined by a primitive, star shaped substitu- tion tiling of the plane, can be realized as a Jacobian of a biLipschitz homeomorphism of R^2. In particular it holds for any Penrose tiling.

math.MG↗

arXiv2009

Substitution Tilings and Separated Nets with Similarities to the Integer Lattice

We show that any primitive substitution tiling of the plane creates a separated net which is biLipschitz to the integer lattice. Then we show that if H is a primitive Pisot substitution in an Euclidean space, for every separated net Y, that corresponds to some tiling of the tiling space, there exists a bijection F between Y and the integer lattice that translate every element of Y a bounded distance. As a corollary we get that we have such an F for any separated net that corresponds to a Penrose Tiling. The proofs rely on results of Laczkovich, and Burago and Kleiner.

math.MG↗