共查询到20条相似文献,搜索用时 15 毫秒
1.
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. 相似文献
2.
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 相似文献
3.
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). 相似文献
4.
LinghaiZhang 《应用数学学报(英文版)》2004,20(2):283-308
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. 相似文献
5.
Hui-qiong Li Zhen-long Chenu 《应用数学学报(英文版)》2007,23(4):579-592
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. 相似文献
6.
On Well-posed Mutually Nearest and
Mutually Furthest Point Problems in Banach Spaces 总被引:3,自引:0,他引:3
ChongLI RenXingNI 《数学学报(英文版)》2004,20(1):147-156
Let G be a non-empty closed(resp.bounded closed)boundedly relatively weakly compact subset in a strictly convex Kadec Banach space X.Let K(X)denote the space of all non-empty compact convex subsets of X endowed with the Hausdorff distance.Moreover,let KG(X)denote the closure of the set {A∈K(x):A∩G=0}.We prove that the set of all A∈KG(X)(resp.A∈K(X)),such that the minimization (resp.maximization)problem min(A,G)(resp.max(A,G))is well posed,contains a dense Gδ-subset of KG(X)(resp.K(X)).thus extending the recent results due to Blasi,Myjak and Papini and Li. 相似文献
7.
8.
Michael Capalbo 《Combinatorica》2005,25(4):379-391
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. 相似文献
9.
Let n and r be positive integers. Suppose that a family
satisfies F1∩···∩Fr ≠∅ for all F1, . . .,Fr ∈
and
. We prove that there exists ε=ε(r) >0 such that
holds for 1/2≤w≤1/2+ε if r≥13. 相似文献
10.
J. A. López Molina M. E. Puerta M. J. Rivera 《Bulletin of the Brazilian Mathematical Society》2006,37(2):191-216
Let
, be a family of compatible couples of Lp-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(Ω3) defined on some purely non atomic measure space (Ω3, ν3) in such a way that Ω2 ∪ Ω3 ≠∅.
The research of first and third authors is partially supported by the MEC and FEDER project MTM2004-02262 and AVCIT group
03/050. 相似文献
11.
Stefan Gille 《Archiv der Mathematik》2007,88(4):333-343
Let
be a closed subscheme of the noetherian scheme X. We show that if X has a dualizing complex
then there exists a dualizing complex
of Z such that there is an isomorphism of coherent Witt groups
for all
.
Received: 3 March 2006 相似文献
12.
Özden Koruoğlu Recep Sahin Sebahattin İkikardes 《Bulletin of the Brazilian Mathematical Society》2007,38(1):51-65
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. 相似文献
13.
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. 相似文献
14.
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. 相似文献
15.
Rejeb HADIJI 《数学年刊B辑(英文版)》2007,28(3):327-352
The authors consider the problem: -div(p▽u) = uq-1 λu, u > 0 inΩ, u = 0 on (?)Ω, whereΩis a bounded domain in Rn, n≥3, p :Ω→R is a given positive weight such that p∈H1 (Ω)∩C(Ω),λis a real constant and q = 2n/n-2, and study the effect of the behavior of p near its minima and the impact of the geometry of domain on the existence of solutions for the above problem. 相似文献
16.
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. 相似文献
17.
Analysis of an Age Structured SEIRS
Epidemic Model with Varying Total Population Size and Vaccination 总被引:3,自引:0,他引:3
Xue-Zhi Li~ Geni Gupur~ Guang-Tian Zhu~ Department of Mathematics Xinyang Teachers College Henan China 《应用数学学报(英文版)》2004,20(1):25-36
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. 相似文献
18.
Brian Jue 《Central European Journal of Mathematics》2006,4(2):250-259
Let
be an algebraically closed field. Consider a finite dimensional monomial relations algebra
of finite global dimension, where Γ is a quiver and I an admissible ideal generated by a set of paths from the path algebra
. There are many modules over Λ which may be represented graphically by a tree with respect to a top element, of which the
indecomposable projectives are the most natural example. These trees possess branches which correspond to right subpaths of
cycles in the quiver. A pattern in the syzygies of a specific factor module of the corresponding indecomposable projective
module is found, allowing us to conclude that the square of any cycle must lie in the ideal I. 相似文献
19.
In this paper we fix a set * of positive elements of the free group
(e. g. the set of finite words occurring in a Markov subshift) as well as n partial isometries on a Hilbert space H. Based on these we define a map S :
which we prove to be a partial representation of
on H under certain conditions studied by Matsumoto.*Supported by Capes. 相似文献
20.
A triangle is a family of three sets A,B,C such that A∩B, B∩C, C∩A are each nonempty, and
. Let
be a family of r-element subsets of an n-element set, containing no triangle. Our main result implies that for r ≥ 3 and n ≥ 3r/2, we have
This settles a longstanding conjecture of Erdős [7], by improving on earlier results of Bermond, Chvátal, Frankl, and Füredi.
We also show that equality holds if and only if
consists of all r-element subsets containing a fixed element.
Analogous results are obtained for nonuniform families. 相似文献