Related papers: A constructive proof of the Bollob\'as-Varopoulos …

We develop a thermodynamic formalism for a class of diffeomorphisms of a torus that are "almost-Anosov". In particular, we use a Young tower construction to prove the existence and uniqueness of equilibrium states for a collection of…

We argue that Godel's completeness theorem is equivalent to completability of consistent theories, and Godel's incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some…

Using a variation of the Murphy-Varopoulos Theorem, we give a new proof of the following R.J.Loy Theorem: Let A be a separable Banach*-algebra with center Z such that ZA has at most countable codimension, then every positive linear…

Bell's theorem cannot be proved if complementary measurements have to be represented by random variables which cannot be added or multiplied. One such case occurs if their domains are not identical. The case more directly related to the…

We prove the geometric Bogomolov conjecture over a function field of characteristic zero.

In this article we extend the proof given by Biswas and Gomez of a Torelli theorem for the moduli space of Higgs bundles with fixed determinant, to the parabolic situation.

We answer a question of Pakhomov by showing that there is a consistent, c.e. theory $T$ such that no theory which is definitionally equivalent to $T$ has a computable model. A key tool in our proof is the model-theoretic notion of mutual…

In this paper we present a Kakutani type theorem that is equivalent to the Borsuk--Ulam theorem for manifolds.

In this article, we characterize both Lusin's theorem and the existence of Borel representatives via the regularity properties of the measure in general topological measure spaces. As a corollary, we prove that Borel regularity of the…

This article proves the Voronoi conjecture on parallelotopes in the special case of 3-irreducible tilings. Parallelotopes are convex polytopes which tile the Euclidean space by their translated copies, like in the honeycomb arrangement of…

We formulate a theory of shape valid for objects of arbitrary dimension whose contours are path connected. We apply this theory to the design and modeling of viable trajectories of complex dynamical systems. Infinite families of…

The theory of Carleson measures, stopping time arguments, and atomic decompositions has been well-established in harmonic analysis. More recent is the theory of phase space analysis from the point of view of wave packets on tiles, tree…

In this paper we give a new proof of the Ne\v{s}et\v{r}il-R\"odl Theorem, a deep result of discrete mathematics which is one of the cornerstones of the structural Ramsey theory. In contrast to the well-known proofs which employ intricate…

The import of Bell's Theorem is elucidated. The theorem's proof is illustrated both heuristically and in mathematical detail in a pedagogical fashion. In the same fashion, it is shown that the proof is correct mathematically, but it doesn't…

We show that the module of integral points on a Drinfeld module satisfies a an analogue of Dirichlet's unit theorem, despite its failure to be finitely generated. As a consequence, we obtain a construction of a canonical finitely generated…

We generalize the Arzel\`a-Ascoli theorem in the space of continuous maps on a compact interval with values in Euclidean N-space by providing a quantitative link between the Hausdorff measure of noncompactness in this space and a natural…

We use an analogue of Karoubi's construction in the motivic situation to give some cohomology operations in motivic cohomology. We prove many properties of these operations, and we show that they coincide, up to some nonzero constants, with…

We show that Isserlis' theorem follows as a corollary to the invariant tensor theorem for isotropic tensors.

We prove a martingale analog of van Schaftingen's theorem and give sharp estimates on the lower Hausdorff dimension of measures in martingale shift invariant spaces. We also provide martingale analogs of trace theorems for Sobolev…

We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.