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 .     

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     

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.     

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.     

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:

Metrics in the sphere of a C*-module

Given a unital C*-algebra and a right C*-module over , we consider the problem of finding short smooth curves in the sphere = {x ∈ : 〈x, x〉 = 1}. Curves in are measured considering the Finsler metric which consists of the norm of at each tangent space of . The initial value problem is solved, for the case when is a von Neumann algebra and is selfdual: for any element x ₀ ∈ and any tangent vector ν at x ₀, there exists a curve γ(t) = e ^tZ (x ₀), Z ∈ , Z* = −Z and ∥Z∥ ≤ π, such that γ(0) = x ₀ and (0) = ν, which is minimizing along its path for t ∈ [0, 1]. The existence of such Z is linked to the extension problem of selfadjoint operators. Such minimal curves need not be unique. Also we consider the boundary value problem: given x ₀, x ₁ ∈ , find a curve of minimal length which joins them. We give several partial answers to this question. For instance, let us denote by f ₀ the selfadjoint projection I − x ₀ ⊗ x ₀, if the algebra f ₀ f ₀ is finite dimensional, then there exists a curve γ joining x ₀ and x ₁, which is minimizing along its path.      

On the moduli of surfaces admitting genus two fibrations over elliptic curves

In this paper, we study the structure, deformations and the moduli spaces of complex projective surfaces admitting genus two fibrations over elliptic curves. We observe that a surface admitting a smooth fibration as above is elliptic, and we employ results on the moduli of polarized elliptic surfaces to construct moduli spaces of these smooth fibrations. In the case of nonsmooth fibrations, we relate the moduli spaces to the Hurwitz schemes of morphisms of degree n from elliptic curves to the modular curve X(d), d ≥ 3. Ultimately, we show that the moduli spaces in the nonsmooth case are fiber spaces over the affine line with fibers determined by the components of . Received: 30 August 2006     

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.     

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     

The eigenvalue field is a splitting field

Let K be an algebraically closed field of arbitrary characteristic and F < K a subfield. If is an irreducible semigroup of matrices such that the spectra of all the elements of are contained in F, then is conjugate to a subsemigroup of M _n (F). Research supported in part by the Ministry of Higher Education, Science, and Technology of Slovenia. Received: 6 April 2006     

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.     

Tubes in three–dimensional projective spaces

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

Schur Complements in Krein Spaces

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     

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.     

Notes on very ample vector bundles on 3-folds

Let be a very ample vector bundle of rank two on a smooth complex projective threefold X. An inequality about the third Segre class of is provided when is nef but not big, and when a suitable positive multiple of defines a morphism X → B with connected fibers onto a smooth projective curve B, where K_X is the canonical bundle of X. As an application, the case where the genus of B is positive and has a global section whose zero locus is a smooth hyperelliptic curve of genus ≧ 2 is investigated, and our previous result is improved for threefolds. Received: 27 January 2005; revised: 26 March 2005     

Invariant Subspaces for Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain where denotes the unit disk and denotes the closed disk centered at with radius r _j for j = 1, . . . , n. We show that if T is a bounded linear operator on a Banach space X whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded, then there exists a nontrivial common invariant subspace for T ^* and (T − λ _j I)^*-1.     

On H. Weyl and J. Steiner Polynomials

The paper deals with root location problems for two classes of univariate polynomials both of geometric origin. The first class discussed, the class of Steiner polynomial, consists of polynomials, each associated with a compact convex set . A polynomial of this class describes the volume of the set V + tB ⁿ as a function of t, where t is a positive number and B ⁿ denotes the unit ball in . The second class, the class of Weyl polynomials, consists of polynomials, each associated with a Riemannian manifold , where is isometrically embedded with positive codimension in . A Weyl polynomial describes the volume of a tubular neighborhood of its associated as a function of the tube’s radius. These polynomials are calculated explicitly in a number of natural examples such as balls, cubes, squeezed cylinders. Furthermore, we examine how the above mentioned polynomials are related to one another and how they depend on the standard embedding of into for m > n. We find that in some cases the real part of any Steiner polynomial root will be negative. In certain other cases, a Steiner polynomial will have only real negative roots. In all of this cases, it can be shown that all of a Weyl polynomial’s roots are simple and, furthermore, that they lie on the imaginary axis. At the same time, in certain cases the above pattern does not hold.

Erasmus Darwin, the nephew of the great scientist Charles Darwin, believed that sometimes one should perform the most unusual experiments. They usually yield no results but when they do . . . . So once he played trumpet in front of tulips for the whole day. The experiment yielded no results.

Submitted: March 5, 2007., Revised: February 1, 2008., Accepted: February 2, 2008.     

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.     

The normal subgroup structure of the extended Hecke groups

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.     

Solution of the Truncated Hyperbolic Moment Problem

Let Q(x, y) = 0 be an hyperbola in the plane. Given real numbers β ≡ β ⁽²ⁿ⁾={ β _ij } _{i,j ≥ 0,i+j ≤ 2n} , with β₀₀ > 0, the truncated Q-hyperbolic moment problem for β entails finding necessary and sufficient conditions for the existence of a positive Borel measure μ, supported in Q(x, y) = 0, such that We prove that β admits a Q-representing measure μ (as above) if and only if the associated moment matrix is positive semidefinite, recursively generated, has a column relation Q(X,Y) = 0, and the algebraic variety associated to β satisfies card In this case, if then β admits a rank -atomic (minimal) Q-representing measure; if then β admits a Q-representing measure μ satisfying