Finite lattices as relative congruence lattices of finite algebras

Let A be a finite algebra and a quasivariety. By A is meant the lattice of congruences θ on A with . For any positive integer n, we give conditions on a finite algebra A under which for any n-element lattice L there is a quasivariety such that . The author was supported by INTAS grant 03-51-4110.     

On The Extended Eigenvalues of Some Volterra Operators

We show that a large class of compact quasinilpotent operators has extended eigenvalues. As a consequence, if V is such an operator, then the associated spectral algebra contains its commutant {V}' as a proper subalgebra.     

L 1 factorizations and invariant subspaces for weighted composition operators

For a contraction operator T with spectral radius less than one on a Banach space , it is shown that the factorization of certain L¹ functions by vectors x in and x*. in , in the sense that for n ≧ 0, implies the existence of invariant subspaces for T. Explicit formulae for such factorizations are given in the case of weighted composition operators on reproducing kernel Hilbert spaces. An interpolation result of McPhail is applied to show how this can be used to construct invariant subspaces of hyperbolic weighted composition operators on H². Received: 1 November 2005     

Coincidences of Centers of Edge-Incentric, or Balloon, Simplices

An edge-incentric d-simplex is defined to be a d-simplex S which admits a (d − 1)-sphere that touches all the edges of S internally. The center of such a sphere is called the edge-incenter of S and is denoted by . Equivalently, S is edge-incentric if and only if its vertices are the centers of d + 1 (d − 1)-spheres in mutual external touch, and for this reason one may call such an S a balloon d-simplex. An orthocentric d-simplex is a d-simplex in which the altitudes are concurrent. The point of concurrence is called the orthocenter and is denoted by . The spaces of edge-incentric and of orthocentric d-simplices have the same dimension d in the sense that a d-simplex in either space can be parametrized, up to shape, by d numbers. Edge-incentric and orthocentric tetrahedra are the first two of the four special classes of tetrahedra studied in [1, Chapter IX.B, pp. 294–333]. The degree of regularity implied by the coincidence of two or more centers of a general d-simplex is investigated in [8], where it is shown that the coincidence of the centroid , the circumcenter , and the incenter does not imply much regularity. For an orthocentric d-simplex S, however, it is proved in [9] that if any two of the centers , and coincide, then S is regular. In this paper, the same question is addressed for edge-incentric d-simplices. Among other things, it is proved that if any three of the centers , and of an edge-incentric d-simplex S coincide, then S is regular, and it is also shown that none of the coincidences , and implies regularity (except when d ≤ 3, d ≤ 4, and d ≤ 6, respectively). In contrast with the afore-mentioned results for orthocentric d-simplices, this emphasizes once more the feeling that, regarding many important properties, orthocentric d-simplices are the true generalizations of triangles. Several open questions are posed. Received: June 19, 2006.     

On C *-Extreme Maps and *-Homomorphisms of a Commutative C *-Algebra

The generalized state space of a commutative C^*-algebra, denoted , is the set of positive unital maps from C(X) to the algebra of bounded linear operators on a Hilbert space . C^*-convexity is one of several non-commutative analogs of convexity which have been discussed in this context. In this paper we show that a C^*-extreme point of satisfies a certain spectral condition on the operators in the range of the associated positive operator-valued measure. This result enables us to show that C^*-extreme maps from C(X) into , the algebra generated by the compact and scalar operators, are multiplicative. This generalizes a result of D. Farenick and P. Morenz. We then determine the structure of these maps. This paper constitutes a part of the author’s Ph.D. thesis at the University of Nebraska-Lincoln.     

Exponential Stability of Semigroups Related to Operator Models in Mechanics

In this paper, we consider equations of the form , where is a function with values in the Hilbert space , the operator B is symmetric, and the operator A is uniformly positive and self-adjoint in . The linear operator generating the C ₀-semigroup in the energy space is associated with this equation. We prove that this semigroup is exponentially stable if the operator B is uniformly positive and the operator A dominates B in the sense of quadratic forms.     

Spectral Shorted Operators

If $$\mathcal{H}$$ is a Hilbert space, $$\mathcal{S}$$ is a closed subspace of $$\mathcal{H},$$ and A is a positive bounded linear operator on $$\mathcal{H},$$ the spectral shorted operator $$\rho \left( {\mathcal{S},\mathcal{A}} \right)$$ is defined as the infimum of the sequence $$\sum (\mathcal{S},A^n )^{1/n} ,$$ where denotes $$\sum \left( {\mathcal{S},B} \right)$$ the shorted operator of B to $$\mathcal{S}.$$ We characterize the left spectral resolution of $$\rho \left( {\mathcal{S},\mathcal{A}} \right)$$ and show several properties of this operator, particularly in the case that dim $${\mathcal{S} = 1.}$$ We use these results to generalize the concept of Kolmogorov complexity for the infinite dimensional case and for non invertible operators.     

On some vector lattices of operators and their finite elements

If the vector space of all regular operators between the vector lattices E and F is ordered by the collection of its positive operators, then the Dedekind completeness of F is a sufficient condition for to be a vector lattice. and some of its subspaces might be vector lattices also in a more general situation. In the paper we deal with ordered vector spaces of linear operators and ask under which conditions are they vector lattices, lattice-subspaces of the ordered vector space or, in the case that is a vector lattice, sublattices or even Banach lattices when equipped with the regular norm. The answer is affirmative for many classes of operators such as compact, weakly compact, regular AM-compact, regular Dunford-Pettis operators and others if acting between appropriate Banach lattices. Then it is possible to study the finite elements in such vector lattices , where F is not necessary Dedekind complete. In the last part of the paper there will be considered the question how the order structures of E, F and are mutually related. It is also shown that those rank one and finite rank operators, which are constructed by means of finite elements from E′ and F, are finite elements in . The paper contains also some generalization of results obtained for the case in [10].      

Compact and Finite Rank Perturbations of Closed Linear Operators and Relations in Hilbert Spaces

For closed linear operators or relations A and B acting between Hilbert spaces and the concepts of compact and finite rank perturbations are defined with the help of the orthogonal projections P _A and P _B in onto the graphs of A and B. Various equivalent characterizations for such perturbations are proved and it is shown that these notions are a natural generalization of the usual concepts of compact and finite rank perturbations. Sadly, our colleague and friend Peter Jonas passed away on July, 18th 2007.     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

A policy iteration algorithm for fixed point problems with nonexpansive operators

The aim of this paper is to solve the fixed point problems:

$${\mathcal{R}}$$ -boundedness,pseudodifferential operators,and maximal regularity for some classes of partial differential operators

It is shown that an elliptic scattering operator A on a compact manifold with boundary with operator valued coefficients in the morphisms of a bundle of Banach spaces of class () and Pisier’s property (α) has maximal regularity (up to a spectral shift), provided that the spectrum of the principal symbol of A on the scattering cotangent bundle avoids the right half-plane. This is accomplished by representing the resolvent in terms of pseudodifferential operators with -bounded symbols, yielding by an iteration argument the -boundedness of λ(A−λ)⁻¹ in for some . To this end, elements of a symbolic and operator calculus of pseudodifferential operators with -bounded symbols are introduced. The significance of this method for proving maximal regularity results for partial differential operators is underscored by considering also a more elementary situation of anisotropic elliptic operators on with operator valued coefficients.     

More on Bounding Introspection in Modal Nonmonotonic Logics

Abstract By we denote the set of all propositional formulas. Let be the set of all clauses. Define . In Sec. 2 of this paper we prove that for normal modal logics , the notions of -expansions and -expansions coincide. In Sec. 3, we prove that if I consists of default clauses then the notions of -expansions for I and -expansions for I coincide. To this end, we first show, in Sec. 3, that the notion of -expansions for I is the same as that of -expansions for I. The project is supported by NSFC     

Symmetrization of Closure Operators and Visibility

For an arbitrary set E and a given closure operator , we want to construct a symmetric closure operator via some – possibly infinite – iteration process. If E is finite, the corresponding symmetric closure operator . defines a matroid. If and is the convex closure operator, turns out to be the affine closure operator. Moreover, we apply the symmetrization process to closure operators induced by visibility. Received March 9, 2005     

The Stokes operator in weighted Lq-spaces II: weighted resolvent estimates and maximal Lp-regularity

In this paper we establish a general weighted L ^q -theory of the Stokes operator in the whole space, the half space and a bounded domain for general Muckenhoupt weights . We show weighted L ^q -estimates for the Stokes resolvent system in bounded domains for general Muckenhoupt weights. These weighted resolvent estimates imply not only that the Stokes operator generates a bounded analytic semigroup but even yield the maximal L ^p -regularity of in the respective weighted L ^q -spaces for arbitrary Muckenhoupt weights . This conclusion is archived by combining a recent characterisation of maximal L ^p -regularity by -bounded families due to Weis [Operator-valued Fourier multiplier theorems and maximal L _p -regularity. Preprint (1999)] with the fact that for L ^q -spaces -boundedness is implied by weighted estimates.     

Pointwise gradient estimates in exterior domains

We consider a class of elliptic operators with unbounded coefficients in a smooth exterior domain Ω and we prove that the Cauchy-Neumann problem associated with admits, for any bounded and continuous initial datum, a unique bounded classical solution. We also provide pointwise gradient estimates for such a solution. Received: 5 July 2005; Revised: 20 December 2005     

Uniformly summing sets of operators on spaces of vector–valued continuous functions

Let X, Y be Banach spaces. We say that a set is uniformly p–summing if the series is uniformly convergent for whenever (x_n) belongs to . We consider uniformly summing sets of operators defined on a -space and prove, in case X does not contain a copy of c₀, that is uniformly summing iff is, where T (φ x) = (T^#φ) x for all and x∈X. We also characterize the sets with the property that is uniformly summing viewed in . Received: 1 July 2005     

Schur Complements in Krein Spaces

The aim of this work is to generalize the notions of Schur complements and shorted operators to Krein spaces. Given a (bounded) J-selfadjoint operator A (with the unique factorization property) acting on a Krein space and a suitable closed subspace of , the Schur complement of A to is defined. The basic properties of are developed and different characterizations are given, most of them resembling those of the shorted of (bounded) positive operators on a Hilbert space. To the memory of Professor Mischa Cotlar     

Exponential Stability of Traveling Pulse Solutions of a Singularly Perturbed System of Integral Differential Equations Arising From Excitatory Neuronal Networks

We establish the exponential stability of fast traveling pulse solutions to nonlinear singularly per-turbed systems of integral differential equations arising from neuronal networks.It has been proved that expo-nential stability of these orbits is equivalent to linear stability.Let (?) be the linear differential operator obtainedby linearizing the nonlinear system about its fast pulse,and let σ((?)) be the spectrum of (?).The linearizedstability criterion says that if max{Reλ:λ∈σ((?)),λ≠0}(?)-D,for some positive constant D,and λ=0 is asimple eigenvalue of (?)(ε),then the stability follows immediately (see [13] and [37]).Therefore,to establish theexponential stability of the fast pulse,it suffices to investigate the spectrum of the operator (?).It is relativelyeasy to find the continuous spectrum,but it is very difficult to find the isolated spectrum.The real part ofthe continuous spectrum has a uniformly negative upper bound,hence it causes no threat to the stability.Itremains to see if the isolated spectrum is safe.Eigenvalue functions (see [14] and [35,36]) have been a powerful tool to study the isolated spectrum of the as-sociated linear differential operators because the zeros of the eigenvalue functions coincide with the eigenvaluesof the operators.There have been some known methods to define eigenvalue functions for nonlinear systems ofreaction diffusion equations and for nonlinear dispersive wave equations.But for integral differential equations,we have to use different ideas to construct eigenvalue functions.We will use the method of variation of param-eters to construct the eigenvalue functions in the complex plane C.By analyzing the eigenvalue functions,wefind that there are no nonzero eigenvalues of (?) in {λ∈C:Reλ(?)-D} for the fast traveling pulse.Moreoverλ=0 is simple.This implies that the exponential stability of the fast orbits is true.     

A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006