Disk-Like Self-Affine Tiles in R 2

We give simple necessary and sufficient conditions for self-affine tiles in R ² to be homeomorphic to a disk. Received October 10, 2000, and in revised form February 16, 2001, and April 25, 2001. Online publication July 25, 2001.     

一类平面自仿射tiles的边界

考虑由扩张矩阵A=(?)及数字集D=(?):0≤i≤|p|-1,O≤j≤|q|一1(?)生成的自仿射tiles集T=T(A,D),其中p,q∈Z,|p|≥2,|q|≥2,通过对T中的元素进行分析,得到了计算T的边界的方法.     

Self-affine convex polygons

A polygon in ${{\mathbb R}^2}$ is called self-affine if it can be dissected into k ≥ 2 affine images of itself. Self-affine convex polygons have at most five vertices. Triangles are trivially self-affine. It is shown that every convex quadrangle is self-affine, whereas only some, but not all convex pentagons are self-affine.     

Porosity of Self-affine Sets

In this paper, it is proved that any self-affine set satisfying the strong separation condition is uniformly porous. The author constructs a self-affine set which is not porous, although the open set condition holds. Besides, the author also gives a C^1 iterated function system such that its invariant set is not porous.     

自仿Sierpinski地毯中集合的维数

研究广义Sierpinski地毯的两类子集,它们的编码分别具有线性制约的部分数字频率和水平纤维频率.计算这两类集合的Hausdorff维数,并给出相应的Hausdorff测度为正无穷的充分条件.     

Self-affine sets with positive Lebesgue measure

Using techniques introduced by C. Güntürk, we prove that the attractors of a family of overlapping self-affine iterated function systems contain a neighbourhood of zero for all parameters in a certain range. This corresponds to giving conditions under which a single sequence may serve as a ‘simultaneous β$\beta$-expansion’ of different numbers in different bases.     

自仿Sierpinski地毯中集合的维数

研究广义Sierpinski地毯的两类子集,它们的编码分别具有线性制约的部分数字频率和水平纤维频率.计算这两类集合的Hausdorff维数,并给出相应的Hausdorff测度为正无穷的充分条件.     

Self-affine Lattice Reptiles with Two Pieces in IRn

We prove that for every number n ≥ 1, there is a finite number of affine types of self-affine lattice tilings in ?ⁿ, such that the expansion carries each tile onto the union of two tiles.     

On the Connectedness of Self-Affine Tiles

Let T be a self-affine tile in Rⁿ defined by an integral expandingmatrix A and a digit set D. The paper gives a necessary andsufficient condition for the connectedness of T. The conditioncan be checked algebraically via the characteristic polynomialof A. Through the use of this, it is shown that in R², for anyintegral expanding matrix A, there exists a digit set D suchthat the corresponding tile T is connected. This answers a questionof Bandt and Gelbrich. Some partial results for the higher-dimensionalcases are also given.     

非谱自仿测度下正交指数函数系的基数

设μ_(M,D)是由扩张矩阵M∈M_n(Z)和有限数字集D?Z~n通过仿射迭代函数系统{φ_d(x)=M~(-1)(x+d)}_(d∈D)唯一确定的自仿测度,它的非谱性与相应的平方可积函数构成的Hilbert空间L~2(μ_(M,D))中正交指数函数系的有限性或无限性密切相关.通过对数字集D的符号函数m_D(x)的零点集合Z(m_D)的特征分析以及其中非零中间点(即坐标为0或1/2的点)和非中间点的性质应用,得到了非谱自仿测度下正交指数函数系基数的一个更为精确的估计,改进推广了Dutkay,Jorgensen等人的相关结果.     

Self-Replicating Tiles and Their Boundary

All self-replicating lattice tilings of the plane can be constructed using special iterated function systems (IFS). Certain self-replicating curves can be constructed using the recurrent set method (RS). A bijection between the IFS parameters and the RS parameters is such that the curve K produced by the RS parameters is the boundary of the tile T produced by the IFS parameters. The correspondence is algorithmic in that K can be drawn from the IFS data using turtle graphics and T can be drawn from the RS data using an IFS iteration. Received April 15, 1997, and in revised form November 13, 1997, and April 6, 1998.     

A Note on Aperiodic Ammann Tiles

We present a variant of Ammann tiles consisting of two similar rectilinear hexagons with edge subdivision, which can tile the plane but only in non-periodic ways. A special matching rule, ghost marking, plays a key role in the proof.     

Disk-like Tiles Derived from Complex Bases

For each positive integer k, the radix representation of the complex numbers in the base –k+i gives rise to a lattice self-affine tile T _k in the plane, which consists of all the complex numbers that can be expressed in the form ∑ _j≥1 d _j (–k+i)^–j , where d _j ∈{0, 1, 2, ...,k ²}. We prove that T _k is homeomorphic to the closed unit disk {z∈C:∣z∣ ≤ 1} if and only if k ≠ 2. The first author is supported by Youth Project of Tianyuan Foundation (10226031) and Zhongshan University Promotion Foundation for Young Teachers (34100-1131206); the second author is supported by National Science Foundation (10041005) and Guangdong Province Science Foundation (011221)     

Hard Tiling Problems with Simple Tiles

It is well known that the question of whether a given finite region can be tiled with a given set of tiles is NP -complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right tromino alone. In the process we show that Monotone 1-in-3 Satisfiability is NP -complete for planar cubic graphs. In higher dimensions we show NP -completeness for the domino and straight tromino for general regions on the cubic lattice, and for simply connected regions on the four-dimensional hypercubic lattice. Received March 8, 2000, and in revised form May 14, 2001, and June 18, 2001. Online publication October 12, 2001.     

Expanding Polynomials and Connectedness of Self-Affine Tiles

Little is known about the connectedness of self-affine tiles in ${\Bbb R}^n$. In this note we consider this property on the self-affine tiles that are generated by consecutive collinear digit sets. By using an algebraic criterion, we call it the {\it height reducing property}, on expanding polynomials (i.e., all the roots have moduli $ > 1$), we show that all such tiles in ${\Bbb R}^n, n \leq 3$, are connected. The problem is still unsolved for higher dimensions. For this we make another investigation on this algebraic criterion. We improve a result of Garsia concerning the heights of expanding polynomials. The new result has its own interest from an algebraic point of view and also gives further insight to the connectedness problem.     

Disk-like Tiles Derived from Complex Bases

For each positive integer k,the radix representation of the complex numbers in the base-k i gives rise to a lattice self-affine tile T_k in the plane,which consists of all the complex numbersthat can be expressed in the form ∑_(j1) d_j(-k i)~(-j),where d_j∈{0,1,2,...,k~2}.We prove that T_kis homeomorphic to the closed unit disk {z∈C:|z|1} if and only if k≠2.     

Boundaries of Coxeter Matroids

The purpose of this paper is to introduce, for a finite Coxeter groupW, the mod 2 boundary operator on the space of all Coxeter matroids (also known asWP-matroids) forWandP, wherePvaries through all the proper standard parabolic subgroups ofW(Theorem 3 of the paper). A remarkably simple interpretation of Coxeter matroids as certain sets of faces of the generalized permutahedron associated with the Coxeter groupW(Theorem 1) yields a natural definition of the boundary of a Coxeter matroid. The latter happens to be a union of Coxeter matroids for maximal standard parabolic subgroupsQ_iofP(Theorem 2). These results have very natural interpretations in the case of ordinary matroids and flag-matroids (Section 3).