Related papers: On the uniqueness property of forking in abstract …

Arthur's conjectures predict the existence of some very interesting unitary representations occurring in spaces of automorphic forms. We prove the unitarity of the "Langlands element" (i.e., the one specified by Arthur) of all unipotent…

Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…

We show that the fermionic exclusion principle in scattering problems manifests itself through constraints implied by unitarity and the optical theorem. Configurations that formally allow identical fermions to appear in the same quantum…

All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space $X$, every closed subset of $X$ has the perfect set property if and only if every analytic subset of $X$ has the perfect set…

Open sets and compact saturated sets enjoy a perfect formal symmetry, at least for classes of spaces such as Stone spaces or spectral spaces. For larger classes of spaces, a perfect symmetry may not be available, although strong signs of it…

Let X be a smooth elliptic fibration over a smooth base B. Under mild assumptions, we establish a Fourier-Mukai equivalence between the derived categories of two objects, each of which is an O^* gerbe over a genus one fibration which is a…

Let $\mu$ be a positive measure on $R^d$. It is known that if the space $L^2(\mu)$ has a frame of exponentials then the measure $\mu$ must be of "pure type": it is either discrete, absolutely continuous or singular continuous. It has been…

We give an abstract approach to the results of Adams and Nobel, [1]. It allows to exhibit a new property of VC classes. It should be stressed that the basic ideas of proofs can be found in [1].

We introduce a notion of strong periodicity of a module over a finite-dimensional algebra over a field. We prove that the existence of such modules over certain idempotent algebras is both a necessary and sufficient condition for the…

We extend the quantum-mechanical results of Muller & Saunders (2008) establishing the weak discernibility of an arbitrary number of similar fermions in finite-dimensional Hilbert-spaces in two ways: (a) from fermions to bosons for all…

The use of terms from natural and social scientific titles and abstracts is studied from the perspective of sublanguages and their specialized dictionaries. Different notions of sublanguage distinctiveness are explored. Objective methods…

Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…

We introduce the forcing property "almost strong properness" which sits between properness and strong properness. As an application, we introduce a simple forcing with finite conditions to force $\rm MRP$.

We introduce a finiteness property for braided fusion categories, describe a conjecture that would characterize categories possessing this, and verify the conjecture in a number of important cases. In particular we say a category has F if…

Value independence is enormously beneficial for reasoning about software systems at scale. These benefits carry over into the world of formal verification. Reasoning about programs algebraically is a simple affair in a proof assistant,…

We study classes of modules closed under direct sums, $\mathcal{M}$-submodules and $\mathcal{M}$-epimorphic images where $\mathcal{M}$ is either the class of embeddings, $RD$-embeddings or pure embeddings. We show that the…

Typical elements of quantum networks are made by identical systems, which are the basic particles constituting a resource for quantum information processing. Whether the indistinguishability due to particle identity is an exploitable…

Let $M$ be a free module of rank $m$ over a commutative unital ring $R$ and let $N$ be its free submodule. We consider the problem when a given element of the exterior product $\Lambda^pM$ is divisible, in a sense, over elements of the…

First, a new sufficient condition for uniqueness of weak solutions is proved for the system of 2D viscous Primitive Equations. Second, global existence and uniqueness are established for several classes of weak solutions with partial…

We study the relation (and differences) between stability and Property (S) in the simple and stably finite framework. This leads us to characterize stable elements in terms of its support, and study these concepts from different sides :…