We study infinite iterated functions systems (IIFSs) consisting of bi-Lipschitz mappings instead of conformal contractions, focusing on IFSs that do not satisfy the open set condition. By assuming the logarithmic distortion property and some cardinality growth condition, we obtain a formula for the Hausdorff, box, and packing dimensions of the limit set in terms of certain topological pressure. By assuming, in addition, the weak separation condition, we show that these dimensions are equal to the growth dimension of the limit set.

We consider densities $D_\Sigma(A)$, $\overline{D}_\Sigma(A)$ and $\underline{D}_\Sigma(A)$ for a subset $A$ of $\mathbb{N}$ with respect to a sequence $\Sigma$ of finite subsets of $\mathbb{N}$ and study Fourier coefficients of ergodic, weakly mixing and strongly mixing $\times p$-invariant measures on the unit circle $\mathbb{T}$. Combining these, we prove the following measure rigidity results: on $\mathbb{T}$, the Lebesgue measure is the only non-atomic $\times p$-invariant measure satisfying one of the following: (1) $\mu$ is ergodic and there exist a F\o lner sequence $\Sigma$ in $\mathbb{N}$ and a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for all $j$ in a subset $A$ of $\mathbb{N}$ with $D_\Sigma(A)=1$; (2) $\mu$ is weakly mixing and there exist a F\o lner sequence $\Sigma$ in $\mathbb{N}$ and a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for all $j$ in a subset $A$ of $\mathbb{N}$ with $\overline{D}_\Sigma(A)>0$; (3) $\mu$ is strongly mixing and there exists a nonzero integer $l$ such that $\mu$ is $\times (p^j+l)$-invariant for infinitely many $j$. Moreover, a $\times p$-invariant measure satisfying (2) or (3) is either a Dirac measure or the Lebesgue measure. As an application we prove that for every increasing function $\tau$ defined on positive integers with $\lim_{n\to\infty}\tau(n)=\infty$, there exists a multiplicative semigroup $S_\tau$ of $\mathbb{Z}^+$ containing $p$ such that $|S_\tau\cap[1,n]|\leq (\log_p n)^{\tau(n)}$ and the Lebesgue measure is the only non-atomic ergodic $\times p$-invariant measure which is $\times q$-invariant for all $q$ in $S_\tau$.

Many discrete integrable systems exhibit the Laurent phenomenon. In this paper, we investigate three integrable systems: the Somos-4 recurrence, the Somos-5 recurrence, and a system related to so-called A_1 A_1-system, whose general solutions are derived in terms of Hankel determinant. As a result, we directly confirm that they satisfy the Laurent property. Additionally, it is shown that the Somos-5 recurrence can be viewed as a specified Backlund transformation of the Somos-4 recurrence. Related topics about Somos polynomials are also studied.

In this paper, we propose a direct method to evaluate Hankel determinants for some generating functions satisfying a certain type of quadratic equations, which cover generating functions of Catalan numbers, Motzkin numbers and Schrder numbers. Additionally, four recent conjectures proposed by Cigler (2011) [3] are proved.

For two-sided topological Markov chains, we show that the set of points for which the two-sided Birkhoff averages of a continuous function diverge is residual. We also show that the set of points for which the Birkhoff averages have a given set of accumulation points other than a singleton is residual. A nontrivial consequence of our results is that the set of points for which the local entropies of an invariant measure on a locally maximal hyperbolic set does not exist is residual. This strongly contrasts to the Shannon–McMillan–Breiman theorem in the context of ergodic theory, which says that local entropies exist on a full measure set.