Dixmier traces as singular symmetric functionals and applications to measurable operators

We unify various constructions and contribute to the theory of singular symmetric functionals on Marcinkiewicz function/operator spaces. This affords a new approach to the non-normal Dixmier and Connes-Dixmier traces (introduced by Dixmier and adapted to non-commutative geometry by Connes) living on a general Marcinkiewicz space associated with an arbitrary semifinite von Neumann algebra. The corollaries to our approach, stated in terms of the operator ideal L^(1,∞) (which is a special example of an operator Marcinkiewicz space), are: (i) a new characterization of the set of all positive measurable operators from L^(1,∞), i.e. those on which an arbitrary Connes-Dixmier trace yields the same value. In the special case, when the operator ideal L^(1,∞) is considered on a type I infinite factor, a bounded operator x belongs to L^(1,∞) if and only if the sequence of singular numbers {s_n(x)}_n?1 (in the descending order and counting the multiplicities) satisfies . In this case, our characterization amounts to saying that a positive element x∈L^(1,∞) is measurable if and only if exists; (ii) the set of Dixmier traces and the set of Connes-Dixmier traces are norming sets (up to equivalence) for the space , where the space is the closure of all finite rank operators in L^(1,∞) in the norm ∥.∥_(1,∞).     

Fully symmetric functionals on a Marcinkiewicz space are Dixmier traces

As a consequence of the exposition of Dixmier type traces in the book of A. Connes (1994) [2], we were led to ask how general is this class of functionals within the space of all unitarily invariant functionals on the corresponding Marcinkiewicz ideal Mψ. In this paper we prove the surprising result that the set of all Dixmier traces on Mψ coincides with the set of all fully symmetric functionals on this space.     

Representations Connected with Dixmier Traces and Spaces of Distributions

In this paper we first construct Hilbert spaces related to Dixmier traces. The group representations in these spaces are considered; we refer to authors paper for a detailed exposition of this theme. We show then that this construction is closely related to the representations in the spaces of distributions on a manifold.     

The Dixmier trace of Hankel operators on the Bergman space

We give a formula for the Dixmier trace of (big) Hankel operators on the Bergman space of the disk or of finitely connected domains. For harmonic symbols we find the regularity required of the symbol for the formula to hold.     

Tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property

In this paper we set up a representation theorem for tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property in terms of Ky Fan norms. Examples of tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property include unitarily invariant norms on finite factors (type II₁ factors and Mn(C)) and symmetric gauge norms on L^∞[0,1] and Cn. As the first application, we obtain that the class of unitarily invariant norms on a type II₁ factor coincides with the class of symmetric gauge norms on L^∞[0,1] and von Neumann's classical result [J. von Neumann, Some matrix-inequalities and metrization of matrix-space, Tomsk. Univ. Rev. 1 (1937) 286-300] on unitarily invariant norms on Mn(C). As the second application, Ky Fan's dominance theorem [Ky Fan, Maximum properties and inequalities for the eigenvalues of completely continuous operators, Proc. Natl. Acad. Sci. USA 37 (1951) 760-766] is obtained for finite von Neumann algebras satisfying the weak Dixmier property. As the third application, some classical results in non-commutative Lp-theory (e.g., non-commutative Hölder's inequality, duality and reflexivity of non-commutative Lp-spaces) are obtained for general unitarily invariant norms on finite factors. We also investigate the extreme points of N(M), the convex compact set (in the pointwise weak topology) of normalized unitarily invariant norms (the norm of the identity operator is 1) on a finite factor M. We obtain all extreme points of N(M₂(C)) and some extreme points of N(Mn(C)) (n?3). For a type II₁ factor M, we prove that if t (0?t?1) is a rational number then the Ky Fan tth norm is an extreme point of N(M).     

Convex polytopes all of whose reverse lexicographic initial ideals are squarefree

A compressed polytope is an integral convex polytope any of whose reverse lexicographic initial ideals is squarefree. A sufficient condition for a -polytope to be compressed will be presented. One of its immediate consequences is that the class of compressed -polytopes includes (i) hypersimplices, (ii) order polytopes of finite partially ordered sets, and (iii) stable polytopes of perfect graphs.

     

Sets which are dense in the space of all Pettis integrable functions

Using the examples given by S.J. Dilworth and M. Girardi, we prove that the set of all nowhere Pettis differentiable functions is a G _δ -dense set in the space of all X-valued Pettis integrable functions on [0, 1]. Also an another example of a dense set in the space of all Pettis integrable functions is given.     

Estimates of the discrete spectrum of a linear operator pencil

Based on the direct methods of the perturbation theory, sufficient conditions for the finiteness of the discrete spectrum of linear pencils of the form L(λ)=B−λA, where A and B are bounded self-adjoint operators, are established. An estimate formula for the discrete spectrum is also presented. As applications, we study the spectrum of the characteristic equation of radiation energy transfer.     

Almost all quartic half-arc-transitive weak metacirculants of Class II are of Class IV

A half-arc-transitive graph is a vertex- and edge- but not arc-transitive graph. A weak metacirculant is a graph admitting a transitive metacyclic group that is a group generated by two automorphisms ρ and σ, where ρ is (m,n)-semiregular for some integers m≥1 and n≥2, and where σ normalizes ρ. It was shown in [D. Maruši?, P. Šparl, On quartic half-arc-transitive metacirculants, J. Algebr. Comb. 28 (2008) 365-395] that each connected quartic half-arc-transitive weak metacirculant X belongs to one (or possibly more) of four classes of such graphs, reflecting the structure of the quotient graph X_ρ relative to the semiregular automorphism ρ. The first of these classes, called Class I, coincides with the class of so-called tightly attached graphs. Class II consists of the quartic half-arc-transitive weak metacirculants for which the quotient graph X_ρ is a cycle with a loop at each vertex. Class III consists of those graphs for which each vertex of the quotient graph X_ρ is connected to three other vertices, to one with a double edge. Finally, Class IV consists of those graphs for which X_ρ is a simple quartic graph.This paper consists of two results concerning graphs of Class II. It is shown that, with the exception of the Doyle-Holt graph and its canonical double cover, each quartic half-arc-transitive weak metacirculant of Class II is also of Class IV. It is also shown that although quartic half-arc-transitive weak metacirculants of Class II which are not tightly attached exist they are “almost tightly attached”. More precisely, their radius is at most four times their attachment number.     

On the semilattice of weak orders of a set

Order theoretic and combinatorial properties of the semilattice of weak orders on a set are developed. In the case of a finite set, an order theoretic characterization of this semilattice is obtained.     

The Dichotomy Between Traces on d-sets F in R^n and the Density of D（R^n／Г） in Function Spaces

A space Apq^s （R^n） with A ： B or A = F and s ∈R, 0 〈 p, q 〈 ∞ either has a trace in Lp（Г）, where Г is a compact d-set in R^n with 0 〈 d 〈 n, or D（R^n／Г） is dense in it. Related dichotomy numbers are introduced and calculated.     

The weak closure of the set of left translation operators

It is known that for an amenable locally compact group , is not in the weak closure of of . In this paper, it is proved that the converse of this is true. In other words, if is a non-amenable locally compact group, then is in the weak closure of . This answers several questions of Ülger. Applications to the algebra and the dual of the reduced group -algebra are obtained.

     

The Dirichlet divisor problem,traces and determinants for complex powers of the twisted bi-Laplacian

Estimating the counting function for the eigenvalues of the twisted bi-Laplacian leads to the Dirichlet divisor problem, which is then used to compute the trace of the heat semigroup and the Dixmier trace of the inverse of the twisted bi-Laplacian. The zeta function regularizations of the traces and determinants of complex powers of the twisted bi-Laplacian are computed. A formula for the zeta function regularizations of determinants of heat semigroups of complex powers of the twisted bi-Laplacian is given.     

The exposed points of the set of invariant means on an ideal

Let be a -compact locally compact nondiscrete group and let be a -invariant ideal of . We denote the set of left invariant means on that are zero on (i.e. for all ) by . We show that, when is amenable as a discrete group and the closed -invariant subset of the spectrum of corresponding to is a -set, is very large in the sense that every nonempty -subset of contains a norm discrete copy of , where is the Stone- compactification of the set of positive integers with the discrete topology. In particular, we prove that has no exposed points in this case and every nonempty -subset of the set of left invariant means on contains a norm discrete copy of .

     

Hilbert schemes of surfaces are dense in moduli

We prove that the locus of Hilbert schemes of n points on a projective K 3 surface is dense in the moduli space of irreducible holomorphic symplectic manifolds of that deformation type. The analogous result for generalized Kummer manifolds is proven as well. Along the way we prove an integral constraint on the monodromy group of generalized Kummer manifolds.     

The number of all isormorphic classes of atomic subfields in the power set of an infinite set

Let X be an infinite set, the power set of X is denoted by P(X). = {G:G and F are isomorphic in the sense of Boolean algebra}, C=(:F is an atomicsubfield in P(X)}. Define C_1(C) is an incomparable class if (_1,_2∈C_1)(F_1≠F_2→F_1 and F_2 are incomparable), then |C| = 2~2~(|x|)= max{|C_1|}. In proof of this result, the AC and GCH are used. The sense of "isomorphism" in [2] is understood as"φ(φ is a bejection on     

Fast integral wavelet transform on a dense set of the time-scale domain

Summary. The objective of this paper is to introduce a fast algorithm for computing the integral wavelet transform (IWT) on a dense set of points in the time-scale domain. By applying the duality principle and using a compactly supported spline-wavelet as the analyzing wavelet, this fast integral wavelet transform (FIWT) is realized by applying only FIR (moving average) operations, and can be implemented in parallel. Since this computational procedure is based on a local optimal-order spline interpolation scheme and the FIR filters are exact, the IWT values so obtained are guaranteed to have zero moments up to the order of the cardinal spline functions. The semi-orthogonal (s.o.) spline-wavelets used here cannot be replaced by any other biorthogonal wavelet (spline or otherwise) which is not s.o., since the duality principle must be applied to some subspace of the multiresolution analysis under consideration. In contrast with the existing procedures based on direct numerical integration or an FFT-based multi-voice per octave scheme, the computational complexity of our FIWT algorithm does not increase with the increasing number of values of the scale parameter. Received March 3, 1994