This paper studies the $K$-theoretic invariants of the crossed product ${{C}^{*}}$-algebras associated with an important family of homeomorphisms of the tori ${{\mathbb{T}}^{n}}$ called Furstenberg transformations. Using the Pimsner–Voiculescu theorem, we prove that given $n$, the $K$-groups of those crossed products whose corresponding $n\,\times \,n$ integer matrices are unipotent of maximal degree always have the same rank ${{a}_{n}}$. We show using the theory developed here that a claim made in the literature about the torsion subgroups of these $K$-groups is false. Using the representation theory of the simple Lie algebra $\mathfrak{s}\mathfrak{l}\left( 2,\,\mathbb{C} \right)$, we show that, remarkably, ${{a}_{n}}$ has a combinatorial significance. For example, every ${{a}_{2n+1}}$ is just the number of ways that 0 can be represented as a sum of integers between –$n$ and $n$ (with no repetitions). By adapting an argument of van Lint (in which he answered a question of Erdős), a simple explicit formula for the asymptotic behavior of the sequence $\{{{a}_{n}}\}$ is given. Finally, we describe the order structure of the ${{K}_{0}}$-groups of an important class of Furstenberg crossed products, obtaining their complete Elliott invariant using classification results of H. Lin and N. C. Phillips.

Let be an arbitrary strictly increasing infinite sequence of positive integers. For an integer n≥1, let . Let r>0 be a real number and q≥ 1 a given integer. Let be the eigenvalues of the reciprocal power LCM matrix having the reciprocal power of the least common multiple of xi and xj as its i, j-entry. We show that the sequence converges and . We show that the sequence converges if and . We show also that if r> 1, then the sequence converges and , where t and l are given positive integers such that t≤l−1.

The paper is motivated by an analogy between cluster algebras and Kac–Moody algebras: both theories share the same classification of finite type objects by familiar Cartan–Killing types. However, the underlying combinatorics beyond the two classifications is different: roughly speaking, Kac–Moody algebras are associated with (symmetrizable) Cartan matrices, while cluster algebras correspond to skew-symmetrizable matrices. We study an interplay between the two classes of matrices, in particular, establishing a new criterion for deciding whether a given skew-symmetrizable matrix gives rise to a cluster algebra of finite type.

Let $\{x_i\}_{i=1}^{\infty}$ be an arbitrary strictly increasing infinite sequence of positive integers. For an integer $n\ge 1$, let $S_n=\{x_1,\ldots,x_n\}$. Let $\varepsilon$ be a real number and $q\ge 1$ a given integer. Let \smash{$\lambda _n^{(1)}\le \cdots\le \lambda _n^{(n)}$} be the eigenvalues of the power GCD matrix $((x_i, x_j)^{\varepsilon})$ having the power $(x_i,x_j)^{\varepsilon}$ of the greatest common divisor of $x_i$ and $x_j$ as its $i,j$-entry. We give a nontrivial lower bound depending on $x_1$ and $n$ for \smash{$\lambda _n^{(1)}$} if $\varepsilon>0$. Especially for $\varepsilon>1$, this lower bound is given by using the Riemann zeta function. Let $x\ge 1$ be an integer. For a sequence \smash{$\{x_i\}_{i=1}^{\infty }$} satisfying that $(x_i, x_j)=x$ for any $i\ne j$ and \smash{$\sum_{i=1}^{\infty }{1\over {x_i}}=\infty$}, we show that if $0<\varepsilon\le 1$, then \smash{${\rm lim}_{n\rightarrow \infty }\lambda _n^{(1)}=x_1^{\varepsilon}-x^{\varepsilon }$}. Let $a\ge 0, b\ge 1$ and $e\ge 0$ be any given integers. For the arithmetic progression \smash{$\{x_{i-e+1}=a+bi\}_{i=e}^{\infty}$}, we show that if $0<\varepsilon\le 1$, then \smash{${\rm lim}_{n\rightarrow \infty }\lambda _n^{(q)}=0$}. Finally, we show that for any sequence \smash{$\{x_i\}_{i=1}^{\infty}$} and any \smash{$\varepsilon>0$, $\lambda_n^{(n-q+1)}$} approaches infinity when $n$ goes to infinity.

Solutions of Xk + Yk = Zk in invertible pairwise commuting rational 2 × 2 matrices are determined for k = 3, 4, 6, 9, from the analogous results of A. Aigner for algebraic number fields.

The structure is determined for the existence of some amicable weighing matrices. This is then used to prove the existence and non-existence of some amicable orthogonal designs in powers of two.