arXiv++ Combinatorics

Given a real $n \times m$ matrix $B$, its operator norm can be defined as $$|B|=\max_{|v|=1}|Bv|.$$ We consider a matrix "small" if it has non-negative integer entries and its operator norm is less than $2$. These matrices correspond to bipartite graphs with spectral radius less than $2$, which can be classified as disjoint unions of Coxeter graphs. This gives a direct route to an $ADE$-classification result in terms of very basic mathematical objects. Our goal here is to see these results as part of a general program of classification of small objects, relating quadratic forms, reflection groups, root systems, and Lie algebras.

A. Rosenfeld introduced the notion of a digitally continuous function between digital images, and showed that although digital images need not have fixed point properties analogous to those of the Euclidean spaces modeled by the images, there often are approximate fixed point properties of such images. In the current paper, we obtain additional results concerning fixed points and approximate fixed points of digitally continuous functions. Among these are several results concerning the relationship between universal functions and the approximate fixed point property (AFPP).