The joint spectral radius of a finite family S of matrices measures the rate of exponential growth of the maximal norm of an element from the product set S^n as n grows. This notion was introduced by Rota and Strang in the 60s. It arises naturally in a number of contexts in pure and applied mathematics. I will discuss its basic properties and focus on a formula of Berger and Wang and results of J. Bochi that extend to several matrices the classical for formula of Gelfand that relates the growth rate of the powers of a single matrix to its spectral radius. I give new proofs and derive explicit estimates with polynomial dependence on the dimension, refining these results. If time permits I will also discuss connections with the Tits alternative, the notion of joint spectrum, and a geometric version of these results regarding groups acting on non-positively curved spaces.

The equivalence of NSOP${}_1$ and NSOP${}_3$, two model-theoretic complexity properties, remains open, and both the classes NSOP${}_1$ and NSOP${}_3$ are more complex than even the simple unstable theories. And yet, it turns out that classical geometric stability theory, in particular the group configuration theorem of Hrushovski (1992), is capable of controlling classification theory on either side of the NSOP${}_1$-SOP${}_3$ dichotomy, via the expansion of stable theories by generic predicates and equivalence relations. This allows us to construct new examples of strictly NSOP${}_1$ theories. We introduce generic expansions corresponding, though universal axioms, to definable relations in the underlying theory, and discuss the existence of model companions for some of these expansions. In the case where the defining relation in the underlying theory $T$ is a ternary relation $R(x, y, z)$ coming from a surface in 3-space, we give a surprising application of the group configuration theorem to classifying the corresponding generic expansion $T^R$. Namely, when $T$ is weakly minimal and eliminates the quantifier $\exists^{\infty}$, $T^R$ is strictly NSOP${}_4$ and TP${}_2$ exactly when $R$ comes from the graph of a type-definable group operation; otherwise, depending on whether the expansion is by a generic predicate or a generic equivalence relation, it is simple or NSOP${}_1$.