Integral Equations on Function Spaces and Dichotomy on the Real Line

The purpose of this paper is to give new and general characterizations for uniform dichotomy and uniform exponential dichotomy of evolution families on the real line. We consider two general classes denoted and and we prove that if V,W are Banach function spaces with and , then the admissibility of the pair for an evolution family implies the uniform dichotomy of . In addition, we consider a subclass and we prove that if , then the admissibility of the pair implies the uniform exponential dichotomy of the family . This condition becomes necessary if . Finally, we present some applications of the main results.     

The Resolvent Problem and $${{H^{\infty}}}$$ -calculus of the Stokes Operator in Unbounded Cylinders with Several Exits to Infinity

It is proved that the Stokes operator in L^q -space on an infinite cylindrical domain of , , with several exits to infinity generates a bounded and exponentially decaying analytic semigroup and admits a bounded -calculus. For the resolvent estimates, the Stokes resolvent system with a prescribed divergence in an infinite straight cylinder with bounded cross-section is studied in L ^q where and is an arbitrary Muckenhoupt weight. The proofs use cut-off techniques and the theory of Schauder decomposition of UMD spaces based on -boundedness of operator families and on square function estimates involving Muckenhoupt weights.     

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     

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.     

Permutable subnormal subgroups of finite groups

The aim of this paper is to prove certain characterization theorems for groups in which permutability is a transitive relation, the so called -groups. In particular, it is shown that the finite solvable -groups, the finite solvable groups in which every subnormal subgroup of defect two is permutable, the finite solvable groups in which every normal subgroup is permutable sensitive, and the finite solvable groups in which conjugate-permutability and permutability coincide are all one and the same class. This follows from our main result which says that the finite modular p-groups, p a prime, are those p-groups in which every subnormal subgroup of defect two is permutable or, equivalently, in which every normal subgroup is permutable sensitive. However, there exist finite insolvable groups which are not -groups but all subnormal subgroups of defect two are permutable. Received: 13 August 2008     

Ratios of Norms for Polynomials and Connected n-width Problems

Let be a bounded simply connected domain with boundary Γ and let be a regular compact set with connected complement. In this paper we investigate asymptotics of the extremal constants:

One-sided Grothendieck quotients

We introduce one-sided thick subcategories of an arbitrary preadditive category and define a quotient category . When is abelian, this concept specializes to Grothendieck’s quotient for two-sided thick . We determine the left noetherian rings for which the injective modules form a left thick subcategory. We exhibit a class of one-sided thick subcategories in categories of coherent functors which are ubiquitous in representation theory. Received: 14 November 2006 Revised: 12 March 2007     

Characterization of Amalgamated Free Blocks of a Graph von Neumann Algebra

We identify two noncommutative structures naturally associated with countable directed graphs. They are formulated in the language of operators on Hilbert spaces. If G is a countable directed graphs with its vertex set V(G) and its edge set E(G), then we associate partial isometries to the edges in E(G) and projections to the vertices in V(G). We construct a corresponding von Neumann algebra as a groupoid crossed product algebra of an arbitrary fixed von Neumann algebra M and the graph groupoid induced by G, via a graph-representation (or a groupoid action) α. Graph groupoids are well-determined (categorial) groupoids. The graph groupoid of G has its binary operation, called admissibility. This has concrete local parts , for all e ∈ E(G). We characterize of , induced by the local parts of , for all e ∈ E(G). We then characterize all amalgamated free blocks of . They are chracterized by well-known von Neumann algebras: the classical group crossed product algebras , and certain subalgebras (M) of operator-valued matricial algebra . This shows that graph von Neumann algebras identify the key properties of graph groupoids. Received: December 20, 2006. Revised: March 07, 2007. Accepted: March 13, 2007.     

The normal subgroup structure of the extended Hecke groups

We consider the extended Hecke groups generated by T(z) = −1/z, S(z) = −1/(z + λ) and R(z) = 1/z with λ ≥ 2. In this paper, firstly, we study the fundamental region of the extended Hecke groups . Then, we determine the abstract group structure of the commutator subgroups , the even subgroup , and the power subgroups of the extended Hecke groups . Also, finally, we give some relations between them.     

Strongly connective degree sets II: perfect derived subgroups

When G is a finite nonabelian group, we associate the common-divisor graph with G by letting nontrivial degrees in cd(G) = {χ(1) | χ∈Irr(G)} be the vertices and making distinct vertices adjacent if they have a common nontrivial divisor. A set of vertices for this graph is said to be strongly connective for cd(G) if there is some prime which divides every member of , and every vertex outside of is adjacent to some member of . When G is nonsolvable, we provide sufficiency conditions for cd(G) to have a strongly connective subset. We also extend a previously known result about groups with nonabelian solvable quotients, and prove for arbitrary groups G that if the associated graph is connected and has a diameter bounded by 2, then indeed cd(G) has a strongly connective subset. The major focus is on when the derived subgroup G′ is perfect. Received: 23 July 2005     

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     

An Operator Corona Theorem for Some Subspaces of <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript>

Let E, E_* be separable Hilbert spaces. If S is an open subset of , then denotes the space of all functions that are holomorphic in , and bounded and continuous on . In this article we prove the following results:

Equidistribution of Rational Matrices in their Conjugacy Classes

Let G be a connected simply connected almost -simple algebraic group with non-compact and a cocompact congruence subgroup. For any homogeneous manifold of finite volume, and a , we show that the Hecke orbit T _a (x ₀ H) is equidistributed on as , provided H is a non-compact commutative reductive subgroup of G. As a corollary, we generalize the equidistribution result of Hecke points ([COU], [EO1]) to homogeneous spaces G/H. As a concrete application, we describe the equidistribution result in the rational matrices with a given characteristic polynomial. The second author partially supported by DMS 0333397. Received: May 2005 Revision: March 2006 Accepted: June 2006     

Subgroups Of Direct Products Of Elementarily Free Groups

The structure of groups having the same elementary theory as free groups is now known: they and their finitely generated subgroups form a prescribed subclass of the hyperbolic limit groups. We prove that if G ₁,...,G _n are in then a subgroup Γ ⊂ G ₁ × … × G _n is of type FP _n if and only if Γ is itself, up to finite index, the direct product of at most n groups from . This provides a partial answer to a question of Sela. This work was supported in part by Franco–British Alliance project PN 05.004. The first author is also supported by an EPSRC Senior Fellowship and a Royal Society Wolfson Research Merit Award. Received: July 2005 Accepted: April 2006     

The Reduced Minimum Modulus in <Emphasis>C</Emphasis><Superscript>*</Superscript>-Algebras

We define the reduced minimum modulus of a nonzero element a in a unital C ^*-algebra by . We prove that . Applying this result to and its closed two side ideal , we get that dist , and for any if RR = 0, where and is the quotient homomorphism and . These results generalize corresponding results in Hilbert spaces.     

A Topological View of Ramsey Families of Finite Subsets of Positive Integers

If is an initially hereditary family of finite subsets of positive integers (i.e., if and G is initial segment of F then ) and M an infinite subset of positive integers then we define an ordinal index . We prove that if is a family of finite subsets of positive integers such that for every the characteristic function χ_F is isolated point of the subspace

Spherical Monogenics: An Algebraic Approach

The space of spherical monogenics in can be regarded as a model for the irreducible representation of Spin(m) with weight . In this paper we construct an orthonormal basis for . To describe the symmetry behind this procedure, we define certain Spin(m − 2)-invariant representations of the Lie algebra (2) on . Received: October, 2007. Accepted: February, 2008.     

The Isotonic Cauchy Transform

Starting with an integral representation for the class of continuously differentiable solutions of the system

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.     

Convexities of partial monounary algebras

In the present paper we prove that the collection of all convexities of partial monounary algebras is finite; namely, it has exactly 23 elements. Further, we show that for each element there exists a subset of such that is generated by and card . This work was supported by the Science and Technology Assistance Agency under the contract No. APVT-20-004104. Supported by Grant VEGA 1/3003/06.