Related papers: A Consistent Sandpile Torsor Algorithm for Regular…

In this paper we will present a proof of the consistency of Quine's set theory "New Foundations" (hereinafter NF), so-called after the title of the 1937 paper in which it was introduced. This version takes the approach of building a model…

We prove that in a continuous $\aleph_0$-stable theory every type-definable group is definable. The two main ingredients in the proof are: \begin{enumerate} \item Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from…

When do nonparametric Bayesian procedures ``overfit''? To shed light on this question, we consider a binary regression problem in detail and establish frequentist consistency for a certain class of Bayes procedures based on hierarchical…

We develop a Hodge theory for relative simple normal crossing varieties over an Artinian base scheme. We introduce the notion of a mixed Hodge structure over an Artin ring, which axiomatizes the structure that is found on the cohomology of…

We study the discrete dynamical system obtained by repeatedly applying the Pearson correlation operator to a real matrix. Each step centers every row, normalizes each centered row to unit Euclidean norm, and forms the Gram matrix of the…

We give a modern proof of the Regularization Theorem of Andr\'e Weil which says that for every rational action of an algebraic group $G$ on a variety $X$ there exist a variety $Y$ with a regular action of $G$ and a $G$-equivariant…

For a finitely generated group, there are two recent generalizations of the notion of a quasiconvex subgroup of a word-hyperbolic group, namely a stable subgroup and a Morse or strongly quasiconvex subgroup. Durham and Taylor defined…

In this paper, the first in a projected two-part series, we describe an organizing framework for the study of infinitary combinatorics. This framework is \v{C}ech cohomology. We show in particular that the \v{C}ech cohomology groups of the…

This is a report of a joint work with E. J\"arvenp\"a\"a, M. J\"arvenp\"a\"a, T. Rajala, S. Rogovin, and V. Suomala. In [3], we characterized uniformly porous sets in $s$-regular metric spaces in terms of regular sets by verifying that a…

In this paper, we introduce a new class of monomial ideals, called $d$-fixed ideals, which generalize the class of $p$-Borel ideals and show how some results for $p$-Borel ideals can be transfered to this new class. In particular, we give…

We give a natural family of Bridgeland stability conditions on the derived category of a smooth projective complex surface S and describe ``wall-crossing behavior'' for objects with the same invariants as $\cO_C(H)$ when H generates Pic(S)…

We investigate a new notion of regularity for tensor triangulated categories, called residual regularity. We show that residual regularity descends and ascends via finite separable extensions and we classify all finite groups whose derived…

As proposed by Leggett [4], the supersolidity of a crystal is characterized by the Non Classical Rotational Inertia (NCRI) property. Using a model of quantum crystal introduced by Josserand, Pomeau and Rica [5], we prove that NCRI occurs.…

We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a…

The rotor-router model on a graph describes a discrete-time walk accompanied by the deterministic evolution of configurations of rotors randomly placed on vertices of the graph. We prove the following property: if at some moment of time,…

For every group $G$, we show that either $G$ has a topologically transitive action on the line $\mathbb R$ by orientation-preserving homeomorphisms, or every orientation-preserving action of $G$ on $\mathbb R$ has a wandering interval.…

We prove that rigid representations of the fundamental group of a surface into the group of oreintation-preserving homeomorphisms of the circle are geometric, thereby establishing a converse statement of a theorem by the first author.

In this paper we continue Prasma's homotopical group theory program by considering homotopy normal maps in arbitrary $\infty$-topoi. We show that maps of group objects equipped with normality data, in Prasma's sense, are algebras for a…

A matroid has been one of the most important combinatorial structures since it was introduced by Whitney as an abstraction of linear independence. As an important property of a matroid, it can be characterized by several different (but…

Using algebraic geometry methods, the third author proved that the group ring of a surjunctive group with coefficients in a field is always stably finite. In other words, every group satisfying Gottschalk's conjecture also satisfies…