The spectrum for overlarge sets of directed triple systems

A directed triple system of order v,denoted by DTS(v,λ),is a pair(X,B)where X is a v- set and B is a collection of transitive triples on X such that every ordered pair of X belongs toλtriples of B.An overlarge set of disjoint DTS(v,λ),denoted by OLDTS(v,λ),is a collection{(Y\{y},A_i)}_i, such that Y is a(v 1)-set,each(Y\{y},A_i)is a DTS(v,λ)and all A_i's form a partition of all transitive triples of Y.In this paper,we shall discuss the existence problem of OLDTS(v,λ)and give the following conclusion:there exists an OLDTS(v,λ)if and only if eitherλ=1 and v≡0,1(mod 3),orλ=3 and v≠2.     

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     

On a semigroup generated by a convex combination of two Feller generators

Let be a locally compact Hausdorff space. Let A and B be two generators of Feller semigroups in with related Feller processes {X _A (t), t ≥ 0} and {X _B (t), t ≥ 0} and let α and β be two non-negative continuous functions on with α + β = 1. Assume that the closure C of C ₀ = αA + βB with generates a Feller semigroup {T _C (t), t ≥ 0} in . It is natural to think of a related Feller process {X _C (t), t ≥ 0} as that evolving according to the following heuristic rules. Conditional on being at a point , with probability α(p) the process behaves like {X _A (t), t ≥ 0} and with probability β(p) it behaves like {X _B (t), t ≥ 0}. We provide an approximation of {T _C (t), t ≥ 0} via a sequence of semigroups acting in that supports this interpretation. This work is motivated by the recent model of stochastic gene expression due to Lipniacki et al. [17].     

The general dévissage theorem for Witt groups of schemes

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     

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:

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.     

The Crossed Product by a Partial Endomorphism

Given a closed ideal I in a C*-algebra A, an ideal J (not necessarily closed) in I , a *-homomorphism α : A → M(I ) and a map L : J → A with some properties, based on earlier works of Pimsner and Katsura, we define a C*-algebra which we call the Crossed Product by a Partial Endomorphism. We introduce the Crossed Product by a Partial Endomorphism induced by a local homeomorphism σ : U → X where X is a compact Hausdorff space and U is an open subset of X. A bijection between the gauge invariant ideals of and the σ, σ^-1- invariant open subsets of X is showed. If (X, σ) has the property that is topologically free for each closed σ, σ^-1-invariant subset X′ of X then we obtain a bijection between the ideals of and the open σ, σ^-1-invariant subsets of X. *Partially supported by CNPq. **Supported by CNPq.     

On a Poincaré-type Inequality for Energy Forms in L p

We consider Dirichlet spaces ( ) in L ² 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 ², 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 .     

Fong characters and chains of normal subgroups

In this note, we show that if is a π-partial character of the π-separable group is a chain of normal subgroups of G, and H is a Hall π-subgroup of G, then has a Fong character α Irr(H) such that for every subgroup , every irreducible constituent of α _H∩N is Fong for N. We also show that if is quasi-primitive, then for every normal subgroup M of G the irreducible constituents of are Fong for M. Received: 21 July 2006 Revised: 17 January 2007     

On the norm and spectral radius of Hermitian elements

Let be a complex unital Banach algebra. An element a ∈ is said to be Hermitian if ‖exp(ita)‖ = 1 for all t ∈ ℝ. In the case of the algebra of bounded linear operators in a Hilbert space, this Hermitian property agrees with the ordinary self-adjointness. If a ∈ is Hermitian, then ‖a‖ = |a|, where |a| denotes the spectral radius of a. A function F: ℝ → ℂ is called a universal symbol if ‖F(a)‖ = | F(a)| for every and all Hermitian a ∈ . We characterize universal symbols in terms of positive-definite functions.     

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.     

On best localized bandlimited functions

Let, for σ > 0, be the set of complex functions f ∈ L ¹ (ℝ) with the Fourier transforms vanishing outside the interval [−σ; σ]. In this paper, we study the problem of the best approximation of the Dirac function δ (which has the Fourier transform with widest support supp ) by functions . More precisely, we consider the quantity inf and its extremal functions . __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 46, No. 4, pp. 548–564, October–December, 2006.     

Denseness of holomorphic functions attaining their numerical radii

For two complex Banach spaces X and Y, (B _X; Y) will denote the space of bounded and continuous functions from B _X to Y that are holomorphic on the open unit ball. The numerical radius of an element h in (B _X; X) is the supremum of the set

Properties of Auto- and Antiautomorphisms of Maximal Chain Structures and their Relations to i-Perspectivities

Let E be a non empty set, let P : = E × E, := {x × E|x ∈ E}, := {E × x|x ∈ E}, and := {C ∈ 2 ^P |∀X ∈ : |C ∩ X| = 1} and let . Then the quadruple resp. is called chain structure resp. maximal chain structure. We consider the maximal chain structure as an envelope of the chain structure . Particular chain structures are webs, 2-structures, (coordinatized) affine planes, hyperbola structures or Minkowski planes. Here we study in detail the groups of automorphisms , , , related to a maximal chain structure . The set of all chains can be turned in a group such that the subgroup of generated by the left-, by the right-translations and by ι the inverse map of is isomorphic to (cf. (2.14)).     

Graph homology of the moduli space of pointed real curves of genus zero

The moduli space parameterizes the isomorphism classes of S-pointed stable real curves of genus zero which are invariant under relabeling by the involution σ. This moduli space is stratified according to the degeneration types of σ-invariant curves. The degeneration types of σ-invariant curves are encoded by their dual trees with additional decorations. We construct a combinatorial graph complex generated by the fundamental classes of strata of . We show that the homology of is isomorphic to the homology of our graph complex. We also give a presentation of the fundamental group of .      

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.     

Vectorspacelike representation of absolute planes

The pointset E of an absolute plane can be provided with a binary operation "+" such that (E, +) becomes a loop and for each a E \ {o} the line [a] through o and a is a commutative subgroup of (E, +). Two elements a, b E \ {o} are called independent if [a] ∩ [b] = {o} and the absolute plane is called vectorspacelike if for any two independent elements we have E = [a] + [b] := {x + y | x [a], y [b]}. If is singular then (E, +) is a commutative group and is vectorspacelike iff is Euclidean. If is a hyperbolic plane then is vectorspacelike and in the continous case if a, b are independent, each point p has a unique representation as a quasilinear combination p = α · a + μ · b where α · a [a]and β · b [b] are points, α, β real numbers such that λ (o, λ · a) = |λ|· λ (o, a) and λ (o, μ · b) = |μ|. λ(o, b) and λ is the distance function. This work was partially supported by the Research Project of MIUR (Italian Ministery of Education and University) “Geometria combinatoria e sue applicazioni” and by the research group GNSAGA of INDAM. Dedicated to Walter Benz on the occasion of his 75 ^th birthday, in friendship     

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.     

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.     

Minimal dynamical systems on the product of the Cantor set and the circle II

Let X be the Cantor set and φ be a minimal homeomorphism on . We show that the crossed product C^*-algebra is a simple A -algebra provided that the associated cocycle takes its values in rotations on . Given two minimal systems and such that φ and ψ arise from cocycles with values in isometric homeomorphisms on , we show that two systems are approximately K-conjugate when they have the same K-theoretical information.