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

We present a short and self-contained proof of the choosability version of Brooks' theorem.

Doob's theorem provides guarantees of consistent estimation and posterior consistency under very general conditions. Despite the limitation that it only guarantees consistency on a set with prior probability 1, for many models arising in…

Let $V$ be a finite-dimensional real vector space. A collection $\mathcal{P} = \{(A_i,B_i)\}_{i=1}^m$ of pairs of subspaces of $V$ is called a skew Bollob\'as system if $\dim(A_i\cap B_i)=0$ for each $i\in [m]$ and $\dim(A_i\cap B_j)>0$ for…

The article deals with a simplified proof of the Sobolev embedding theorem for Lizorkin--Triebel spaces (that contain the $L_p$-Sobolev spaces $H^s_p$ as special cases). The method extends to a proof of the corresponding fact for general…

We find an elementary proof for Voiculescu's theorem on the polar decomposition of circular variables.

This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set…

In this note we record a comparison theorem on the B-model variation of semi-infinite Hodge structures. This result is considered a folklore theorem by experts in the field. We only take this opportunity to write it down. Our motivation is…

Roughly speaking, holonomic measures are parametric varifolds without boundary. They provide a setting appropriate for the analysis of many variational problems. In this paper, we characterize the space of variations for these objects, and…

We derive the Gallai-Edmonds Structure Theorem from Hall's Theorem.

This paper provides explicit justification for a method of canonical scalings of tilings of euclidean spaces. We present a new combinatorially-geometrical approach for constructing a generatriss of a tiling. The approach is based on an…

In this paper, we present a constructive proof of Herschfeld's Convergence Theorem. Our formulation differs from Herschfeld's in a few ways: We consider radicals that nest transfinitely many times, as these are essential to the proof;…

We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…

We give a new formulation and proof of a theorem of Halmos and Wallen on the structure of power partial isometries on Hilbert space. We then use this theorem to give a structure theorem for a finite set of partial isometries which…

We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a…

The paper introduces the concept of quasimeasure of noncompactness. Motivated by the Arzel\`a-Ascoli theorem for $C^b(X,E)$, where $X$ is an Euclidean space and $E$ an arbitrary Banach space, we construct a quasimeasure for this space and…

We formulate and prove finite dimensional analogs for the classical Balian-Low theorem, and for a quantitative Balian-Low type theorem that, in the case of the real line, we obtained in a previous work. Moreover, we show that these results…

We show that Bondal-Orlov's reconstruction theorem holds in noncommutative projective geometry. We also prove that fully faithful exact functors between derived categories of noncommutative projective schemes are of Fourier-Mukai type.

In this paper we prove analogues of Korovkin's theorem in the context of weakly nonlinear and monotone operators acting on Banach lattices of functions of several variables. Our results concern the convergence almost everywhere, the…

A short proof of a conjecture of Kropholler is given. This gives a relative version of Stallings' Theorem on the structure of groups with more than one end. A generalisation of the Almost Stability Theorem is also obtained, that gives…

We prove a computable version of the Hall Harem Theorem where the matching realizes a unary function with controlled sizes of cycles. We apply it to non-amenable computable coarse spaces. As a result, we obtain a computable version of the…