共查询到20条相似文献,搜索用时 62 毫秒
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.
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
. 相似文献
4.
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. 相似文献
5.
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. 相似文献
6.
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). 相似文献
7.
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. 相似文献
8.
Let
be the 2k-uniform hypergraph obtained by letting P1, . . .,Pr be pairwise disjoint sets of size k and taking as edges all sets Pi∪Pj with i ≠ j. This can be thought of as the ‘k-expansion’ of the complete graph Kr: each vertex has been replaced with a set of size k. An example of a hypergraph with vertex set V that does not contain
can be obtained by partitioning V = V1 ∪V2 and taking as edges all sets of size 2k that intersect each of V1 and V2 in an odd number of elements. Let
denote a hypergraph on n vertices obtained by this construction that has as many edges as possible. For n sufficiently large we prove a conjecture of Frankl, which states that any hypergraph on n vertices that contains no
has at most as many edges as
.
Sidorenko has given an upper bound of
for the Tur′an density of
for any r, and a construction establishing a matching lower bound when r is of the form 2p+1. In this paper we also show that when r=2p+1, any
-free hypergraph of density
looks approximately like Sidorenko’s construction. On the other hand, when r is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Turán density
of
to
, where c(r) is a constant depending only on r.
The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections
in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear
algebra, the Kruskal–Katona theorem and properties of Krawtchouck polynomials.
* Research supported in part by NSF grants DMS-0355497, DMS-0106589, and by an Alfred P. Sloan fellowship. 相似文献
9.
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. 相似文献
10.
Wolfgang Rump 《Archiv der Mathematik》2007,89(2):131-142
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 相似文献
11.
Alejandra Maestripieri Francisco Martínez Pería 《Integral Equations and Operator Theory》2007,59(2):207-221
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 相似文献
12.
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. 相似文献
13.
We consider Dirichlet spaces (
) in L
2 and more general energy forms
in L
p
,
. For the latter we introduce the notions of an extended ’Dirichlet’ space and a transient form. Under the assumption that
, resp.
, are compactly embedded in L
2, resp. L
p
, we prove a Poincaré inequality for transient (Dirichlet) forms. If both
and its adjoint
are sub-Markovian semigroups, we show that the transience of T
t
is independent of
) and that it is implied by the transience of the energy form
of
and the form
belonging to
. 相似文献
14.
A partial tube in PG(3, q) is a pair
, where
is a collection of mutually disjoint lines of PG(3, q) with the property that for each plane π of PG(3, q) through L, the intersection of π with the lines of
is an arc. Here, we generalize the notion of partial tube allowing the ground field to be any algebraically closed field.
To a generalized partial tube we will associate an irreducible surface of degree d in
providing upper bounds on d.
The authors were partially supported by MIUR and GNSAGA of INdAM (Italy). 相似文献
15.
Hidetoshi Maeda 《Archiv der Mathematik》2007,88(5):419-424
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 相似文献
16.
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 相似文献
17.
We prove Tolokonnikov’s Lemma and the inner-outer factorization for the real Hardy space
, the space of bounded holomorphic (possibly operator-valued) functions on the unit disc all of whose matrix-entries (with
respect to fixed orthonormal bases) are functions having real Fourier coefficients, or equivalently, each matrix entry f satisfies
for all z ∈
.
Tolokonnikov’s Lemma for
means that if f is left-invertible, then f can be completed to an isomorphism; that is, there exists an F, invertible in
, such that F = [ f f
c
] for some f
c
in
. In control theory, Tolokonnikov’s Lemma implies that if a function has a right coprime factorization over
, then it has a doubly coprime factorization in
. We prove the lemma for the real disc algebra
as well. In particular,
and
are Hermite rings.
The work of the first author was supported by Magnus Ehrnrooth Foundation.
Received: December 5, 2006. Revised: February 4, 2007. 相似文献
18.
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. 相似文献
19.
It is proved that the Stokes operator in Lq -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. 相似文献
20.
Philippe Bonnet 《Bulletin of the Brazilian Mathematical Society》2006,37(1):1-17
Let X be an irreducible algebraic variety over ℂ, endowed with an algebraic foliation
. In this paper, we introduce the notion of minimal invariant variety V(
, Y) with respect to (
, Y), where Y is a subvariety of X. If Y = {x} is a smooth point where the foliation is regular, its minimal invariant variety is simply the Zariski closure of the leaf
passing through x. First we prove that for very generic x, the varieties V(
, x) have the same dimension p. Second we generalize a result due to X. Gomez- Mont (see [G-M]). More precisely, we prove the existence of a dominant rational
map F : X → Z, where Z has dimension (n − p), such that for very generic x, the Zariski closure of F−1(F(x)) is one and only one minimal invariant variety of a point. We end up with an example illustrating both results. 相似文献