Related papers: Majorisation and Kadison's Carpenter's Theorem

Let M be a II_1 factor, A a masa in M and E the unique conditional expectation on A. Under some technical assumptions on the inclusion of A in M, which hold true for any semiregular masa of a separable factor, we show that for every…

We give a constructive proof of Carpenter's Theorem due to Kadison. Unlike the original proof our approach also yields the real case of this theorem.

The Hardy-Littlewood-P?olya majorization theorem is extended to the framework of some spaces with a curved geometry (such as the global NPC spaces and the Wasserstein spaces). We also discuss the connection between our concept of…

Kadison's Pythagorean theorem (2002) provides a characterization of the diagonals of projections with a subtle integrality condition. Arveson (2007), Kaftal, Ng, Zhang (2009), and Argerami (2015) all provide different proofs of that…

We generalize Bourgain's discretized projection theorem to higher rank situations. Like Bourgain's theorem, our result yields an estimate for the Hausdorff dimension of the exceptional sets in projection theorems formulated in terms of…

As applications of Kadison's Pythageorean and carpenter's theorems, the Schur-Horn theorem, and Thompson's theorem, we obtain an extension of Thompsons theorem to compact operators and use these ideas to give a characterization of diagonals…

Majorisation, also called rearrangement inequalities, yields a type of stochastic ordering in which two or more distributions can be compared. In this paper we argue that majorisation is a good candidate as a theory for uncertainty. We…

In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing…

We show that various classical theorems of real/complex linear incidence geometry, such as the theorems of Pappus, Desargues, M\"obius, and so on, can be interpreted as special cases of a single "master theorem" that involves an arbitrary…

In this paper we prove two general results related to Marstrand's projection theorem in a quite general formulation over separable metric spaces under a suitable transversality hypothesis (the "projections" are in principle only measurable)…

Several tools have been developed to enhance automation of theorem proving in the 2D plane. However, in 3D, only a few approaches have been studied, and to our knowledge, nothing has been done in higher dimensions. In this paper, we present…

Majorization theory is a powerful mathematical tool to compare the disorder in distributions, with wide-ranging applications in many fields including mathematics, physics, information theory, and economics. While majorization theory…

In this note we generalize the definition of partial permutations of Ivanov and Kerov and we build a universal algebra which projects onto the m-centraliser algebra defined by Creedon. We use it to present a new proof for the polynomiality…

Majorization is a basic concept in matrix theory that has found applications in numerous settings over the past century. Power majorization is a more specialized notion that has been studied in the theory of inequalities. On the other hand,…

Kadison characterized the diagonals of projections and observed the presence of an integer. Arveson later recognized this integer as a Fredholm index obstruction applicable to any normal operator with finite spectrum coincident with its…

We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…

Kapranov Theorem is a well known generalization of Newton-Puiseux theorem for the case of several variables. This theorem is stated mainly in the context of tropical geometry. We present a new, constructive proof, that also characterizes…

We generalize the dual notions of "expansion" and "collapse" so they can be applied to arbitrary metric spaces. We also expand the theory to allow for infinitely many such moves. Those tools are then employed to prove a variety of…

In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…