Related papers: A Note on Strongly Mixing Extensions

Let L be a countable and locally finite CW complex. Suppose that the class of all metrizable compacta of extension dimension not greater than L contains a universal element which is an absolute extensor in dimension L. Our main result shows…

In this paper we obtain new sufficient conditions for representation of a function as an absolutely convergent Fourier integral. Unlike those known earlier, these conditions are given in terms of belonging to weighted spaces. Adding weights…

In this paper, I consider a recent controversy about whether first-class constraints generate gauge transformations in the case of electromagnetism. I argue that there is a notion of gauge transformation, the extended notion, which is…

In this note, we provide with a simple example to show a defect in the definition of the geometric mixing scale, and then introduce an improved scale, called as the strong geometric mixing scale. The main theorem in this note is the…

We show that Shlyakhtenko's free Araki-Woods factors are strongly solid, meaning that for any diffuse amenable von Neumann subalgebra that is the range of a normal conditional expectation, the normalizer remains amenable. This provides the…

For many standard models of random structure, first-order logic sentences exhibit a convergence phenomenon on random inputs. The most well-known example is for random graphs with constant edge probability, where the probabilities of…

We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…

We investigate the homological behaviour of compactly generated triangulated categories under separable extensions. We show that homological invariants (finiteness of global dimension, gorensteinness and regularity) are preserved under such…

Let $Y$ be a generic link of a subvariety $X$ of a nonsingular variety $A$. We give a description of the Grauert-Riemenschneider canonical sheaf of $Y$ in terms of the multiplier ideal sheaves associated to $X$ and use it to study the…

Let $f(n)$ be a strongly additive complex valued arithmetic function. Under mild conditions on $f$, we prove the following weighted strong law of large numbers: if $ X,X_1,X_2,... $ is any sequence of integrable i.i.d. random variables,…

Progression, the task of updating a knowledge base to reflect action effects, generally requires second-order logic. Identifying first-order special cases, by restricting either the knowledge base or action effects, has long been a central…

We consider typical area preserving flows on higher genus surfaces and prove that the flow restricted to mixing minimal components is mixing of all orders, thus answering affimatively to Rohlin's multiple mixing question in this context.…

Necessary and sufficient conditions for the exactness (in the algebraic sense) of certain sequences of continuous group homomorphisms are established.

In this paper, we introduce the notion of "extension" of a toric variety and study its fundamental properties. This gives rise to infinitely many toric varieties with a special property, such as being set theoretic complete intersection or…

In recent work, Bacher and de la Harpe define and study conjugacy growth series for finitary permutation groups. In two subsequent papers, Cotron, Dicks, and Fleming study the congruence properties of some of these series. We define a new…

The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…

When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to…

Let $\Omega\subset\mathbb{R}^n$ be an open, connected subset of $\mathbb{R}^n$, and let $F\colon\Omega-\Omega\to\mathbb{C}$, where $\Omega-\Omega=\{x-y\colon x,y\in\Omega\}$, be a continuous positive definite function. We give necessary and…

We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…

The theory of strong uniqueness polynomials, satisfying the separation condition (first introduced by Fujimoto \cite{Fuj1}), for complex meromorphic functions is quite complete. We construct examples of strong uniqueness polynomials which…