I will present joint work with M. Botnan, S. Oppermann, and J. Steen on multiparameter persistent homology in degree zero. It is known that arbitrary diagrams of vector spaces and linear maps can be realized as homology of diagrams of simplicial complexes in some positive degree. We study the more restrictive case of degree zero, which corresponds to diagrams freely generated from sets and set maps. Despite their seemingly simple combinatorial nature, a full understanding of the structure of these representations remains elusive. I will summarize our findings and discuss some conjectures.

Dimension 4 is the first dimension in which exotic smooth manifold pairs appear — manifolds which are topologically the same but for which there is no smooth deformation of one into the other. On the other hand, smooth and PL manifolds (manifolds which can be described discretely) do coincide in dimension 4. Despite this, there has been comparatively little work done towards gaining an understanding of smooth 4-manifolds from the discrete and algorithmic perspective. The aim of this talk will be to give a gentle introduction to some of the tools, techniques, and ideas, which inform a computational approach to 4-manifold topology.

In the talk, I'll first describe a more general context of Sárközy-type problems and interesting directions in which they can be pursued. Then, I'll focus on the specific case of bounding the size of sets A s. t. A - A + 1 contains no prime. After describing the progress on the problem for integers, I'll pass on to considering an analogous question for function fields and (after a general introduction to function fields) I'll speak about my recent result in this area.