We derive basic properties of groups which can be approximated with matrices. These include closure of classes of such groups under group theoretic constructions including direct and inverse limits and free products. We show that metric ultraproducts of projective linear groups over fields of different characteristics are not isomorphic. We further prove that the lattice of normal subgroups in ultraproducts of compact simple groups is distributive. It is linearly ordered in the case of finite simple groups or Lie groups of bounded rank.

Following the mechanisms, where the coarse geometric properties of a space with bounded geometry can induce properties on the related coarse (boundary) groupoid and vice versa, we prove that a sequence of bounded degree graphs being hyperfinite is equivalent to the equivalence relation induced by the coarse boundary groupoid associated to this sequence being hyperfinite. Even more, we introduce a coarse and weaker notion of Property A in a sequence of graphs, called Property A on average, that also turns out to be equivalent to the hyperfiniteness of a sequence of bounded degree graphs. Furthermore, we show that if the coarse boundary groupoid is topologically a-T-menable, then the related sequence of bounded degree graphs is asymptotically coarsely embeddable into a Hilbert space. In the measurable case, we also have the asymptotic coarse embeddability of the sequence of graphs after discarding small subgraphs along the sequence and looking at this new sequence of graphs with the induced length metric of original graph. Afterwards those result are applicable to sofic groups. When we take the sequence of graphs to be a sofic approximation of an amenable discrete finitely generated sofic group, we know that this sequence is hyperfinte, has property A on average and property almost-A. If the group is a-T-menable then the sequence of graphs is weakly asymptotically coarsely embeddable into a Hilbert space.

We derive basic properties of groups which can be approximated with matrices. These include closure of classes of such groups under group theoretic constructions including direct and inverse limits and free products. We show that metric ultraproducts of projective linear groups over fields of different characteristics are not isomorphic. We further prove that the lattice of normal subgroups in ultraproducts of compact simple groups is distributive. It is linearly ordered in the case of finite simple groups or Lie groups of bounded rank.

This thesis is devoted to the study of operators on discrete structures. The operators are supposed to be self-adjoint and obey a certain translation invariance property. The discrete structures are given as Cayley graphs via finitely generated groups. Here, sofic groups and amenable groups are in the center of our considerations. Note that every finitely generated amenable group is sofic. We investigate the spectrum of a discrete self-adjoint operator by studying a sequence of finite dimensional analogues of these operators. In the setting of amenable groups we obtain these approximating operators by restricting the operator in question to finite subsets Qn , n ∈ N. These finite dimensional operators are self-adjoint and therefore admit a well-defined normalized eigenvalue counting function. The limit of the normalized eigenvalue counting functions when |Qn | → ∞ (if it exists) is called the integrated density of states (IDS). It is a distribution function of a probability measure encoding the distribution of the spectrum of the operator in question on the real axis. In this thesis, we prove the existence of the IDS in various geometric settings and for different types of operators. The models we consider include deterministic as well as random situations. Depending on the specific setting, we prove existence of the IDS as a weak limit of distribution functions or even as a uniform limit. Moreover, in certain situations we are able to express the IDS via a semi-explicit formula using the trace of the spectral projection of the original operator. This is sometimes referred to as the validity of the Pastur-Shubin trace formula. In the most general geometric setting we study, the operators are defined on Cayley graphs of sofic groups. Here we prove weak convergence of the eigenvalue counting functions and verify the validity of the Pastur-Shubin trace formula for random and non-random operators . These results apply to operators which not necessarily bounded or of finite hopping range. The methods are based on resolvent techniques. This theory is established without having an ergodic theorem for sofic groups at hand. Note that ergodic theory is the usual tool used in the proof of convergence results of this type. Specifying to operators on amenable groups we are able to prove stronger results. In the discrete case, we show that the IDS exists uniformly for a certain class of finite hopping range operators. This is obtained by using a Banach space-valued ergodic theorem. We show that this applies to eigenvalue counting functions, which implies their convergence with respect to the Banach space norm, in this case the supremum norm. Thus, the heart of this theory is the verification of the Banach space-valued ergodic theorem. Proceeding in two steps we first prove this result for so-called ST-amenable groups. Then, using results from the theory of ε-quasi tilings, we prove a version of the Banach space-valued ergodic theorem which is valid for all amenable groups. Focusing on random operators on amenable groups, we prove uniform existence of the IDS without the assumption that the operator needs to be of finite hopping range or bounded. Moreover, we verify the Pastur-Shubin trace formula. Here we present different techniques. First we show uniform convergence of the normalized eigenvalue counting functions adapting the technique of the Banach space-valued ergodic theorem from the deterministic setting. In a second approach we use weak convergence of the eigenvalue counting functions and additionally obtain control over the convergence at the jumps of the IDS. These ingredients are applied to verify uniform existence of the IDS. In both situations we employ results from the theory of large deviations, in order to deal with long-range interactions.

This thesis is devoted to the study of operators on discrete structures. The operators are supposed to be self-adjoint and obey a certain translation invariance property. The discrete structures are given as Cayley graphs via finitely generated groups. Here, sofic groups and amenable groups are in the center of our considerations. Note that every finitely generated amenable group is sofic. We investigate the spectrum of a discrete self-adjoint operator by studying a sequence of finite dimensional analogues of these operators. In the setting of amenable groups we obtain these approximating operators by restricting the operator in question to finite subsets Qn , n ∈ N. These finite dimensional operators are self-adjoint and therefore admit a well-defined normalized eigenvalue counting function. The limit of the normalized eigenvalue counting functions when |Qn | → ∞ (if it exists) is called the integrated density of states (IDS). It is a distribution function of a probability measure encoding the distribution of the spectrum of the operator in question on the real axis. In this thesis, we prove the existence of the IDS in various geometric settings and for different types of operators. The models we consider include deterministic as well as random situations. Depending on the specific setting, we prove existence of the IDS as a weak limit of distribution functions or even as a uniform limit. Moreover, in certain situations we are able to express the IDS via a semi-explicit formula using the trace of the spectral projection of the original operator. This is sometimes referred to as the validity of the Pastur-Shubin trace formula. In the most general geometric setting we study, the operators are defined on Cayley graphs of sofic groups. Here we prove weak convergence of the eigenvalue counting functions and verify the validity of the Pastur-Shubin trace formula for random and non-random operators . These results apply to operators which not necessarily bounded or of finite hopping range. The methods are based on resolvent techniques. This theory is established without having an ergodic theorem for sofic groups at hand. Note that ergodic theory is the usual tool used in the proof of convergence results of this type. Specifying to operators on amenable groups we are able to prove stronger results. In the discrete case, we show that the IDS exists uniformly for a certain class of finite hopping range operators. This is obtained by using a Banach space-valued ergodic theorem. We show that this applies to eigenvalue counting functions, which implies their convergence with respect to the Banach space norm, in this case the supremum norm. Thus, the heart of this theory is the verification of the Banach space-valued ergodic theorem. Proceeding in two steps we first prove this result for so-called ST-amenable groups. Then, using results from the theory of ε-quasi tilings, we prove a version of the Banach space-valued ergodic theorem which is valid for all amenable groups. Focusing on random operators on amenable groups, we prove uniform existence of the IDS without the assumption that the operator needs to be of finite hopping range or bounded. Moreover, we verify the Pastur-Shubin trace formula. Here we present different techniques. First we show uniform convergence of the normalized eigenvalue counting functions adapting the technique of the Banach space-valued ergodic theorem from the deterministic setting. In a second approach we use weak convergence of the eigenvalue counting functions and additionally obtain control over the convergence at the jumps of the IDS. These ingredients are applied to verify uniform existence of the IDS. In both situations we employ results from the theory of large deviations, in order to deal with long-range interactions.