-
Weak* decomposition and Radon-Nikodym theorem for quantum expectations
Authors:
Fouad Naderi
Abstract:
A quantum expectation is a positive linear functional of norm one on a non-commutative probability space (i.e., a C*-algebra). For a given pair of quantum expectations $μ$ and $λ$ on a non-commutative probability space $A$, we propose a definition for weak* continuity and weak* singularity of $μ$ with respect to $λ$. Then, using the theory of von Neumann algebras, we obtain the natural weak* conti…
▽ More
A quantum expectation is a positive linear functional of norm one on a non-commutative probability space (i.e., a C*-algebra). For a given pair of quantum expectations $μ$ and $λ$ on a non-commutative probability space $A$, we propose a definition for weak* continuity and weak* singularity of $μ$ with respect to $λ$. Then, using the theory of von Neumann algebras, we obtain the natural weak* continuous and weak* singular parts of $μ$ with respect to $λ$. If $λ$ satisfies a weak tracial property known as the KMS condition, we show that our weak* decomposition coincides with the Arveson-Gheondea-Kavruk Lebesgue (AGKL) decomposition. This equivalence allows us to compute the Radon-Nikodym derivative of $μ$ with respect to $λ$. We also discuss the possibility of extending our results to the positive linear functionals defined on the Cuntz-Toeplitz operator system.
△ Less
Submitted 25 February, 2025;
originally announced June 2025.
-
Non-commutative Lebesgue decomposition of non-commutative measures
Authors:
Fouad Naderi
Abstract:
A positive non-commutative (NC) measure is a positive linear functional on the free disk operator system which is generated by a $d$-tuple of non-commuting isometries. By introducing the hybrid forms, their Cauchy transforms, and techniques from NC reproducing kernel Hilbert spaces (RKHS), we construct a natural Lebesgue decomposition for any positive NC measure against any other such measure. Our…
▽ More
A positive non-commutative (NC) measure is a positive linear functional on the free disk operator system which is generated by a $d$-tuple of non-commuting isometries. By introducing the hybrid forms, their Cauchy transforms, and techniques from NC reproducing kernel Hilbert spaces (RKHS), we construct a natural Lebesgue decomposition for any positive NC measure against any other such measure. Our work extends the Jury-Martin decomposition, which originally decomposes positive NC measures against the standard NC Lebesgue measure. In fact, we give a more generalized definition of absolute continuity and singularity, which reduces to their definition when the splitting measure is the standard NC Lebesgue measure. This generalized definition makes it possible to extend Jury-Martin theory for any splitting NC measure, and it recovers their decomposition when the splitting NC measure is the Lebesgue one. Our work implies a Lebesgue decomposition for representations of the Cuntz-Toeplitz C*-algebra. Furthermore, our RKHS method gives a new proof of the classical Lebesgue decomposition when applied to the classical one dimensional setting, i.e., $d=1$.
△ Less
Submitted 14 December, 2023;
originally announced February 2024.
-
A reproducing kernel approach to Lebesgue decomposition
Authors:
Jashan Bal,
Robert T. W. Martin,
Fouad Naderi
Abstract:
We show that properties of pairs of finite, positive and regular Borel measures on the complex unit circle such as domination, absolute continuity and singularity can be completely described in terms of containment and intersection of their reproducing kernel Hilbert spaces of `Cauchy transforms' in the complex unit disk. This leads to a new construction of the classical Lebesgue decomposition and…
▽ More
We show that properties of pairs of finite, positive and regular Borel measures on the complex unit circle such as domination, absolute continuity and singularity can be completely described in terms of containment and intersection of their reproducing kernel Hilbert spaces of `Cauchy transforms' in the complex unit disk. This leads to a new construction of the classical Lebesgue decomposition and proof of the Radon--Nikodym theorem using reproducing kernel theory and functional analysis.
△ Less
Submitted 12 January, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
An ultraproduct method via left reversible semigroups to study Bruck's generalized conjecture
Authors:
Fouad Naderi
Abstract:
We use a method similar to ultraproducts to study the common fixed point of a left reversible semitopological semigroup acting on a Banach space. As an application, we prove a Bruck-type theorem for nearly uniformly convex Banach spaces to the effect that such spaces have weak fixed point property for left reversible semigroups.
We use a method similar to ultraproducts to study the common fixed point of a left reversible semitopological semigroup acting on a Banach space. As an application, we prove a Bruck-type theorem for nearly uniformly convex Banach spaces to the effect that such spaces have weak fixed point property for left reversible semigroups.
△ Less
Submitted 28 January, 2017;
originally announced February 2017.
-
How wrong intuitions about weak* topology and completions of a normed space pose serious problems
Authors:
Fouad Naderi
Abstract:
We learn mathematics subjectively and must apply it objectively. But sometimes, we apply it subjectively by using wrong intuitions which may be elusive to our eyes. The aim of this note is to disclose the secretes of two kinds of these false intuitions and the opportunities they may provide. We first discuss the wrong assumption which says that each topology is uniquely determined by studying a ve…
▽ More
We learn mathematics subjectively and must apply it objectively. But sometimes, we apply it subjectively by using wrong intuitions which may be elusive to our eyes. The aim of this note is to disclose the secretes of two kinds of these false intuitions and the opportunities they may provide. We first discuss the wrong assumption which says that each topology is uniquely determined by studying a very bad phenomenon happening in dealing with weak* topology. Then, we consider the problem of completing a normed space under two comparable norms, one being smaller than the other. Here, we show that the common belief contending that smaller norms give rise to larger completions is wrong. We then pose some serious questions arising from these wrong intuitions. As we will see finding fallacies are as important as major mathematical activities like proving and disproving.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
A note on spaces of continuous functions on compact scattered spaces
Authors:
Fouad Naderi
Abstract:
In 1959, Pelczynski and Semadeni proved a theorem in which they gave some equivalent conditions for a compact Hausdorff space to be scattered. The purpose of the current note is that to clarify the meaning of the subtle term "conditionally weakly sequentially compact" they used as the basis for the proof of their theorem. Unfortunately, the term now is taken over by a similar but subtle concept th…
▽ More
In 1959, Pelczynski and Semadeni proved a theorem in which they gave some equivalent conditions for a compact Hausdorff space to be scattered. The purpose of the current note is that to clarify the meaning of the subtle term "conditionally weakly sequentially compact" they used as the basis for the proof of their theorem. Unfortunately, the term now is taken over by a similar but subtle concept that may cause a serious problem.
△ Less
Submitted 12 January, 2017; v1 submitted 4 January, 2017;
originally announced January 2017.
-
C*-algebraic approach to fixed point theory generalizes Baggett's theorem to groups with discrete reduced duals
Authors:
Fouad Naderi
Abstract:
In this paper, we show that if the reduced Fourier-Stieltjes algebra $B_ρ(G)$ of a second countable locally compact group $G$ has either weak* fixed point property or asymptotic center property, then $G$ is compact. As a result, we give affirmative answers to open problems raised by Fendler and et al. in 2013. We then conclude that a second countable group with a discrete reduced dual must be comp…
▽ More
In this paper, we show that if the reduced Fourier-Stieltjes algebra $B_ρ(G)$ of a second countable locally compact group $G$ has either weak* fixed point property or asymptotic center property, then $G$ is compact. As a result, we give affirmative answers to open problems raised by Fendler and et al. in 2013. We then conclude that a second countable group with a discrete reduced dual must be compact. This generalizes a theorem of Baggett. We also construct a compact scattered Hausdorff space $Ω$ for which the dual of the scattered C*-algebra $C(Ω)$ lacks weak* fixed point property. The C*-algebra $C(Ω)$ provides a negative answer to a question of Randrianantoanina in 2010. In addition, we prove a variant of Bruck's generalized fixed point theorem for the preduals of von Neumann algebras. Furthermore, we give some examples emphasizing that the conditions in Bruck's generalized conjecture (BGC) can not be weakened any more.
△ Less
Submitted 28 January, 2017; v1 submitted 25 December, 2016;
originally announced December 2016.