BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Shigeki Akiyama

Shigeki Akiyama appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.DSmath.MGmath.COFormal Languages and Automata Theorymath-phmath.MPmath.OCmath.PR

Catalog footprint

What is connected

23works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

23 published item(s)

preprint2026arXiv

Sturmian lattices and Aperiodic tile sets

We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce infinitely many aperiodic tile sets whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is ``Sturmian lattices''; an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. We shall give a classification of Sturmian lattices. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Width deviation of convex polygons

We consider the width $X_T(ω)$ of a convex $n$-gon $T$ in the plane along the random direction $ω\in\mathbb{R}/2π\mathbb{Z}$ and study its deviation rate: $$ δ(X_T)=\frac{\sqrt{\mathbb{E}(X^2_T)-\mathbb{E}(X_T)^2}}{\mathbb{E}(X_T)}. $$ We prove that the maximum is attained if and only if $T$ degenerates to a $2$-gon. Let $n\geq 2$ be an integer which is not a power of $2$. We show that $$ \sqrt{\fracπ{4n\tan(\fracπ{2n})} +\frac{π^2}{8n^2\sin^2(\fracπ{2n})}-1} $$ is the minimum of $δ(X_T)$ among all $n$-gons and determine completely the shapes of $T$'s which attain this minimum. They are characterized as polygonal approximations of equi-Reuleaux bodies, found and studied by K.~Reinhardt. In particular, if $n$ is odd, then the regular $n$-gon is one of the minimum shapes. When $n$ is even, we see that regular $n$-gon is far from optimal.We also observe an unexpected property of the deviation rate on the truncation of the regular triangle.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Pure Discrete Spectrum and Regular Model Sets in Unimodular Substitution Tilings on R^d

We consider primitive substitution tilings on R^d whose expansion maps are unimodular. We assume that all the eigenvalues of the expansion maps are algebraic conjugates with the same multiplicity. In this case, we can construct a cut-and-project scheme with a Euclidean internal space. Under some additional condition, we show that if the substitution tiling has pure discrete spectrum, then the corresponding representative point sets are regular model sets in that cut-and-project scheme.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Higher Order Oscillation and Uniform Distribution

It is known that the Möbius function in number theory is higher order oscillating. In this paper we show that there is another kind of higher order oscillating sequences in the form $(e^{2πi αβ^{n}g(β)})_{n\in \N}$, for a non-decreasing twice differentiable function $g$ with a mild condition. This follows the result we prove in this paper that for a fixed non-zero real number $α$ and almost all real numbers $β>1$ (alternatively, for a fixed real number $β>1$ and almost all real numbers $α$) and for all real polynomials $Q(x)$, sequences $\big(αβ^{n}g(β)+Q(n)\big)_{n\in \N}$ are uniformly distributed modulo $1$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Invariant measure of rotational beta expansion and a problem of Tarski

We study invariant measures of a piecewise expanding map in $\mathbb{R}^m$ defined by an expanding similitude modulo lattice. Using the result of Bang on a problem of Tarski, we show that when the similarity ratio is not less than $m+1$, it has an absolutely continuous invariant measure equivalent to the $m$-dimensional Lebesgue measure, under some mild assumption on the fundamental domain. Applying the method to the case $m=2$, we obtain an alternative proof of the result in Akiyama-Caalim:2015 together with some improvement.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On nearly linear recurrence sequences

A nearly linear recurrence sequence (nlrs) is a complex sequence $(a_n)$ with the property that there exist complex numbers $A_0$,$\ldots$, $A_{d-1}$ such that the sequence $\big(a_{n+d}+A_{d-1}a_{n+d-1}+\cdots +A_0a_n\big)_{n=0}^{\infty}$ is bounded. We give an asymptotic Binet-type formula for such sequences. We compare $(a_n)$ with a natural linear recurrence sequence (lrs) $(\tilde{a}_n)$ associated with it and prove under certain assumptions that the difference sequence $(a_n- \tilde{a}_n)$ tends to infinity. We show that several finiteness results for lrs, in particular the Skolem-Mahler-Lech theorem and results on common terms of two lrs, are not valid anymore for nlrs with integer terms. Our main tool in these investigations is an observation that lrs with transcendental terms may have large fluctuations, quite different from lrs with algebraic terms. On the other hand we show under certain hypotheses, that though there may be infinitely many of them, the common terms of two nlrs are very sparse. The proof of this result combines our Binet-type formula with a Baker type estimate for logarithmic forms.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Rotational beta expansion: Ergodicity and Soficness

We study a family of piecewise expanding maps on the plane, generated by composition of a rotation and an expansive similitude of expansion constant $β$. We give two constants $B_1$ and $B_2$ depending only on the fundamental domain that if $β>B_1$ then the expanding map has a unique absolutely continuous invariant probability measure, and if $β>B_2$ then it is equivalent to $2$-dimensional Lebesgue measure. Restricting to a rotation generated by $q$-th root of unity $ζ$ with all parameters in $\mathbb{Q}(ζ,β)$, it gives a sofic system when $\cos(2π/q) \in \mathbb{Q}(β)$ and $β$ is a Pisot number. It is also shown that the condition $\cos(2π/q) \in \mathbb{Q}(β)$ is necessary by giving a family of non-sofic systems for $q=5$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Characterization of the numbers which satisfy the height reducing property

Let $α$ be a complex number. We show that there is a finite subset $F$ of the ring of the rational integers $\mathbb{Z}$, such that $F\left[ α\right] =\mathbb{Z}\left[ α\right]$, if and only if $α$ is an algebraic number whose conjugates, over the field of the rationals, are all of modulus one, or all of modulus greater than one. This completes the answer to a question, on the numbers satisfying the height reducing property, posed in [3].

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Comments on the height reducing property II

A complex number $α$ is said to satisfy the height reducing property if there is a finite set $F\subset \mathbb{Z}$ such that $\mathbb{Z}[α]=F[α]$, where $\mathbb{Z}$ is the ring of the rational integers. It is easy to see that $α$ is an algebraic number when it satisfies the height reducing property. We prove the relation $\operatorname{Card}(F)\geq \max\{2,\left\vert M_α(0)\right\vert \},$ where $M_α$ is the minimal polynomial of $α$ over the field of the rational numbers, and discuss the related optimal cases, for some classes of algebraic numbers $α$. In addition, we show that there is an algorithm to determine the minimal height polynomial of a given algebraic number, provided it has no conjugate of modulus one.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Overlap coincidence to strong coincidence in substitution tiling dynamics

Overlap coincidence is an equivalent criterion to pure discrete spectrum of the dynamics of self affine tilings. In the case of one dimension, strong coincidence on m letter irreducible substitution has been introduced in Dekking (1978) and Arnoux and Ito (2001) which implies that the system is metrically conjugate to a domain exchange. However being a domain exchange does not imply the property of pure discrete spectrum of the tiling dynamics. The relation between two coincidences has not been established completely. In this paper we generalize strong coincidence to higher dimensions and show the implication from overlap coincidence to the new strong coincidence when the associated height group is trivial. Furthermore we introduce a new criterion simultaneous coincidence and show the implication from overlap coincidence to the simultaneous coincidence. The triviality of the height group is shown in Barge and Kwapisz (2006) and Sing (2006) for 1 dimension irreducible Pisot substitutions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Auto-similarity in rational base number systems

This work is a contribution to the study of set of the representations of integers in a rational base number system. This prefix-closed subset of the free monoid is naturally represented as a highly non regular tree whose nodes are the integers and whose subtrees are all distinct. With every node of that tree is then associated a minimal infinite word. The main result is that a sequential transducer which computes for all n the minimal word associated with n+1 from the one associated with n, has essentially the same underlying graph as the tree itself. These infinite words are then interpreted as representations of real numbers; the difference between the numbers represented by these two consecutive minimal words is the called the span of a node of the tree. The preceding construction allows to characterise the topological closure of the set of spans.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Comments on the height reducing property

A complex number alpha is said to satisfy the height reducing property if there is a finite subset F of the ring Z of the rational integers such that Z[alpha]=F[alpha]. This problem of finding F has been considered by several authors, especially in contexts related to self affine tilings, and expansions of real numbers in non-integer bases. We continue, in this note, the description of the numbers satisfying the height reducing property, and we specify a related characterization of the roots of integer polynomials with dominant term.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The computation of overlap coincidence in Taylor-Socolar substitution tiling

Recently Taylor and Socolar introduced an aperiodic mono-tile. The associated tiling can be viewed as a substitution tiling. We use the substitution rule for this tiling and apply the algorithm of \cite{AL} to check overlap coincidence. It turns out that the tiling has overlap coincidence. So the tiling dynamics has pure point spectrum and we can conclude that this tiling has a quasicrystalline structure.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Discrete spectra and Pisot numbers

By the m-spectrum of a real number q>1 we mean the set Y^m(q) of values p(q) where p runs over the height m polynomials with integer coefficients. These sets have been extensively investigated during the last fifty years because of their intimate connections with infinite Bernoulli convolutions, spectral properties of substitutive point sets and expansions in noninteger bases. We prove that Y^m(q) has an accumulation point if and only if q<m+1 and q is not a Pisot number. Consequently a number of related results on the distribution of points of this form are improved.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Algorithm for determining pure pointedness of self-affine tilings

Overlap coincidence in a self-affine tiling in $\R^d$ is equivalent to pure point dynamical spectrum of the tiling dynamical system. We interpret the overlap coincidence in the setting of substitution Delone set in $\R^d$ and find an efficient algorithm to check the pure point dynamical spectrum. This algorithm is easy to implement into a computer program. We give the program and apply it to several examples. In the course the proof of the algorithm, we show a variant of the conjecture of Urbański (Solomyak \cite{Solomyak:08}) on the Hausdorff dimension of the boundaries of fractal tiles.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Similar dissection of sets

In 1994, Martin Gardner stated a set of questions concerning the dissection of a square or an equilateral triangle in three similar parts. Meanwhile, Gardner's questions have been generalized and some of them are already solved. In the present paper, we solve more of his questions and treat them in a much more general context. Let $D\subset \mathbb{R}^d$ be a given set and let $f_1,...,f_k$ be injective continuous mappings. Does there exist a set $X$ such that $D = X \cup f_1(X) \cup ... \cup f_k(X)$ is satisfied with a non-overlapping union? We prove that such a set $X$ exists for certain choices of $D$ and $\{f_1,...,f_k\}$. The solutions $X$ often turn out to be attractors of iterated function systems with condensation in the sense of Barnsley. Coming back to Gardner's setting, we use our theory to prove that an equilateral triangle can be dissected in three similar copies whose areas have ratio $1:1:a$ for $a \ge (3+\sqrt{5})/2$.

0 citations0 reviewsNo code linkedOpen access