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     

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.     

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.     

Invariants and spaces of zero solutions of linear partial differential operators

It is shown that for open convex , d > 1 and a nontrivial polynomial P the space does not have property . If P is elliptic or homogeneous, then this holds for every open Ω. For even cannot occur and if it occurs for some Ω, then P must be hypoelliptic. Received: 18 July 2005     

Characteristic Functions for Multicontractions and Automorphisms of the Unit Ball

A multicontraction on a Hilbert space is an n-tuple of operators T = (T₁,..., T_n) acting on , such that . We obtain some results related to the characteristic function of a commuting multicontraction, most notably discussing its behaviour with respect to the action of the analytic automorphisms of the unit ball.     

Translation Generalized Quadrangles In Even Characteristic

In this paper, we first introduce new objects called “translation generalized ovals” and “translation generalized ovoids”, and make a thorough study of these objects. We then obtain numerous new characterizations of the of Tits and the classical generalized quadrangle in even characteristic, including the complete classification of 2-transitive generalized ovals for the even case. Next, we prove a new strong characterization theorem for the of Tits. As a corollary, we obtain a purely geometric proof of a theorem of Johnson on semifield flocks. * The second author is a Postdoctoral Fellow of the Fund for Scientific Research—Flanders (Belgium).     

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     

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     

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.     

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     

On the Range of the Aluthge Transform

Let be the algebra of all bounded linear operators on a complex separable Hilbert space For an operator let be the Aluthge transform of T and we define for all where T = U|T| is a polar decomposition of T. In this short note, we consider an elementary property of the range of Δ. We prove that R(Δ) is neither closed nor dense in However R(Δ) is strongly dense if is infinite dimensional. An erratum to this article is available at .     

On <Emphasis Type="Italic">p</Emphasis>-nilpotency of finite groups*

Let be a class of groups. A subgroup H of a group G is called -s-supplemented in G, if there exists a subgroup K of G such that G = HK and K/K ∩ H_G belongs to where H_G is the maximal normal subgroup of G which is contained in H. The main purpose of this paper is to study some subgroups of Fitting subgroup and generalized Fitting subgroup -s-supplemented and some new criterions of p-nilpotency of finite groups are obtained. *This research is supported by the grant of NSFC and TianYuan Fund of Mathematics of China (Grant #10626047).     

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     

On the graph of a function in two variables over a finite field

We show that if the number of directions not determined by a pointset of , of size q² is at least p^e q then every plane intersects in 0 modulo p^e+1 points and apply the result to ovoids of the generalised quadrangles and .     

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.     

Weighted Non-Trivial Multiply Intersecting Families

Let n and r be positive integers. Suppose that a family satisfies F₁∩···∩F_r ≠∅ for all F₁, . . .,F_r ∈ and . We prove that there exists ε=ε(r) >0 such that holds for 1/2≤w≤1/2+ε if r≥13.     

Affine congruence by dissection of discs - appropriate groups and optimal dissections

Let be a group of affine transformations of the Euclidean plane . Two topological discs D, are called congruent by dissection with respect to if D can be dissected into a finite number of subdiscs that can be rearranged by maps from to a dissection of E. Our main result says in particular that admits congruence by dissection of any circular disc C with any square S if and only if contains a contractive map and all orbits , , are dense in . In this case any two discs D and E are congruent by dissection with respect to and every disc D is congruent by dissection with n copies of D for every n ≥ 2. Moreover, we give estimates on minimal numbers of pieces that are needed to realize congruences by dissection. Dedicated to Irmtraud Stephani on the occasion of her 70th birthday     

Elliptic operators with unbounded diffusion coefficients in L 2 spaces with respect to invariant measures

We study the self-adjoint and dissipative realization A of a second order elliptic differential operator with unbounded regular coefficients in , where μ(dx) = ρ (x)dx is the associated invariant measure. We prove a maximal regularity result under suitable assumptions, that generalize the well known conditions in the case of constant diffusion part. Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday     

Polyhedral groups, McKay quivers, and the finite algebraic groups with tame principal blocks

Given an algebraically closed field k of characteristic p≥3, we classify the finite algebraic k-groups whose algebras of measures afford a principal block of tame representation type. The structure of such a group is largely determined by a linearly reductive subgroup scheme of SL(2), with the McKay quiver of relative to its standard module being the Gabriel quiver of the principal block . The graphs underlying these quivers are extended Dynkin diagrams of type or , and the tame blocks are Morita equivalent to generalizations of the trivial extensions of the radical square zero tame hereditary algebras of the corresponding type.