Brown measure

In mathematics, the Brown measure of an operator in a finite factor is a probability measure on the complex plane which may be viewed as an analog of the spectral counting measure (based on algebraic multiplicity) of matrices.

It is named after Lawrence G. Brown.

Definition

Let [math]\displaystyle{ \mathcal{M} }[/math] be a finite factor with the canonical normalized trace [math]\displaystyle{ \tau }[/math] and let [math]\displaystyle{ I }[/math] be the identity operator. For every operator [math]\displaystyle{ A \in \mathcal{M}, }[/math] the function [math]\displaystyle{ \lambda \mapsto \tau(\log \left|A-\lambda I\right|), \; \lambda \in \Complex, }[/math] is a subharmonic function and its Laplacian in the distributional sense is a probability measure on [math]\displaystyle{ \Complex }[/math] [math]\displaystyle{ \mu_A(\mathrm{d}(a+b\mathbb{i})) := \frac{1}{2\pi}\nabla^2 \tau(\log \left|A-(a+b\mathbb{i}) I\right|)\mathrm{d}a\mathrm{d}b }[/math] which is called the Brown measure of [math]\displaystyle{ A. }[/math] Here the Laplace operator [math]\displaystyle{ \nabla^2 }[/math] is complex.

The subharmonic function can also be written in terms of the Fuglede−Kadison determinant [math]\displaystyle{ \Delta_{FK} }[/math] as follows [math]\displaystyle{ \lambda \mapsto \log\Delta_{FK}(A-\lambda I), \; \lambda \in \Complex. }[/math]

See also

• Direct integral

References

• Brown, Lawrence (1986), "Lidskii's theorem in the type [math]\displaystyle{ II }[/math] case", Pitman Res. Notes Math. Ser. (Longman Sci. Tech., Harlow) 123: 1–35 . Geometric methods in operator algebras (Kyoto, 1983).

• Haagerup, Uffe; Schultz, Hanne (2009), "Brown measures of unbounded operators in a general [math]\displaystyle{ II_1 }[/math] factor", Publ. Math. Inst. Hautes Études Sci. 109: 19–111, doi:10.1007/s10240-009-0018-7 .