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.     

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.     

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).     

Ultraproducts of real interpolation spaces between L p -spaces

Let , be a family of compatible couples of L^p-spaces. We show that, given a countably incomplete ultrafilter in , the ultraproduct of interpolation spaces defined by the real method is isomorphic to the direct sum of an interpolation space of type , an intermediate K?the space between and being a purely atomic measure space, and a K?the function space K(Ω₃) defined on some purely non atomic measure space (Ω₃, ν₃) in such a way that Ω₂ ∪ Ω₃ ≠∅. The research of first and third authors is partially supported by the MEC and FEDER project MTM2004-02262 and AVCIT group 03/050.     

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.     

Explicit Bounded-Degree Unique-Neighbor Concentrators

Here we solve an open problem considered by various researchers by presenting the first explicit constructions of an infinite family of bounded-degree ‘unique-neighbor’ concentrators Γ; i.e., there are strictly positive constants α and ε, such that all Γ = (X,Y,E(Γ)) ∈ satisfy the following properties. The output-set Y has cardinality times that of the input-set X, and for each subset S of X with no more than α|X| vertices, there are at least ε|S| vertices in Y that are adjacent in Γ to exactly one vertex in S. Also, the construction of is simple to specify, and each has fewer than edges. We then modify to obtain explicit unique-neighbor concentrators of maximum degree 3. * Supported by NSF grant CCR98210-58 and ARO grant DAAH04-96-1-0013.     

Analysis of an Age Structured SEIRS Epidemic Model with Varying Total Population Size and Vaccination

This article focuses on the study of an age structured SEIRS epidemic model with a vaccinationprogram when the total population size is not kept at constant.We first give the explicit expression of thereproduction number R(ψ,(?)) in the presence of vaccine ((?) is the exponent of growth of total population),andshow that the infection-free steady state is linearly stable if R(ψ,(?))<1 and unstable if R(ψ,(?))>1,then weapply the theoretical results to vaccination policies to determine the optimal age or ages at which an individualshould be vaccinated.It is shown that the optimal strategy can be either one- or two-age strategies.     

Exponential Attractor for a Nonlinear Boussinesq Equation

This paper is devoted to prove the existence of an exponential attractor for the semiflow generated by a nonlinear Boussinesq equation. We formulate the Boussinesq equation as an abstract equation in the Hilbert space H0^2（0, 1） × L^2（0, 1）. The main step in this research is to show that there exists an absorbing set for the solution semiflow in the Hilbert space H0^3（0, 1） × H0^1（0, 1）.     

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.     

Short-time Asymptotics of the Heat Kernel on Bounded Domain with Piecewise Smooth Boundary Conditions and Its Applications to an Ideal Gas

The asymptotic expansion of the heat kernel Θ(t)=sum from ∞to j=1 exp(-tλ_j) where {λ_j}_(j=1)~∞are the eigen-values of the negative Laplacian -Δ_n=-sum from n to k=1((?))~2 in R~n(n=2 or 3) is studied for short-time t for a generalbounded domain Ωwith a smooth boundary (?)Ω.In this paper,we consider the case of a finite number of theDirichlet conditions φ=0 on Γ_i (i=1,...,J) and the Neumann conditions (?)=0 on Γ_i (i=J 1,...,k) andthe Robin conditions ((?) γ_i)φ=0 on Γ_i (i=k 1,...,m) where γ_i are piecewise smooth positive impedancefunctions,such that (?)Ωconsists of a finite number of piecewise smooth components Γ_i(i=1,...,m) where(?)Ω=(?)Γ_i.We construct the required asymptotics in the form of a power series over t.The senior coefficients inthis series are specified as functionals of the geometric shape of the domain Ω.This result is applied to calculatethe one-particle partition function of a“special ideal gas”,i.e.,the set of non-interacting particles set up in abox with Dirichlet,Neumann and Robin boundary conditions for the appropriate wave function.Calculationof the thermodynamic quantities for the ideal gas such as the internal energy,pressure and specific heat revealsthat these quantities alone are incapable of distinguishing between two different shapes of the domain.Thisconclusion seems to be intuitively clear because it is based on a limited information given by a one-particlepartition function;nevertheless,its formal theoretical motivation is of some interest.     

Growth Estimates for Cauchy Integrals of Measures and Rectifiability

We show that if μ is a finite Borel measure on the complex plane such that

On special rational curves in Grassmannians

Numerical and geometric characterizations, among all morphisms , of those which are -equivalent to the canonical morphism induced by the Morita equivalence –, are presented. The author was partially supported by KBN grants 1P03A 036 26 and 115/E-343/SPB/6.PR UE/DIE 50/2005-2008. Received: 10 September 2005     

Polar Sets and Relative Dimension for Generalized Brownian Sheet

Let{(t);t∈R_ ~N}be a d-dimensional N-parameter generalized Brownian sheet.Necessaryand sufficient conditions for a compact set E×F to be a polar set for(t,(t))are proved.It is also provedthat if 2N≤αd,then for any compact set ER_>~N,d-2/2 Dim E≤inf{dimF:F ∈ B(R~d),P{(E)∩F≠φ}>0}≤d-2/β DimE,and if 2N>αd,then for any compact set FR~d\{0},α/2(d-DimF)≤inf{dimE:E∈B(R_>~N),P{(E)∩F≠φ}>0}≤β/2(d-DimF),where B(R~d)and B(R_>~N)denote the Borel σ-algebra in R~d and in R_>~N respectively,dim and Dim are Hausdorffdimension and Packing dimension respectively.     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

Effective Reducibility of a Class of Linear Differential Equations with Quasiperiodic Coefficients

In this paper we consider the effective reducibility of the following linear differentialequation: x = (A ∈Q(t,∈))x, |∈| ≤ ∈0, where A is a constant matrix, Q(t,e) is quasiperiodic in t, and e is a small perturbation parameter. We prove that if the eigenvalues of A and the basic frequencies of Q satisfy some non-resonant conditions, the linear differential equation can be reduced to y = (A^*(∈) R^*(t, ∈))y, |∈| ≤ ∈o, where R^* is exponentially small in ∈.     

Lie and Jordan Ideals in Reflexive Algebras

A CDCSL algebra is a reflexive operator algebra with completely distributive and commutative subspace lattice. In this paper, we show, for a weakly closed linear subspace of a CDCSL algebra , that is a Lie ideal if and only if for all invertibles A in , and that is a Jordan ideal if and only if it is an associative ideal.     

Discrepancy After Adding A Single Set

We show that the hereditary discrepancy of a hypergraph on n points increases by a factor of at most O(log n) when one adds a new edge to .     

A singular Moser-Trudinger embedding and its applications

Let Ω be a bounded domain in , we prove the singular Moser-Trudinger embedding: if and only if where and . We will also study the corresponding critical exponent problem.     

Distances entre exponentielles et puissances d’éléments de certaines algèbres de Banach

Let A be a Banach algebra which does not contain any nonzero idempotent element, let γ > 0, and let . We show that if then . We also show, assuming a suitable spectral condition on x, that if , then Received: 12 July 2006 Revised: 31 January 2007