Chain Intersecting Families

Let be a family of subsets of an n-element set. is called (p,q)-chain intersecting if it does not contain chains and with . The maximum size of these families is determined in this paper. Similarly to the p = q = 1 special case (intersecting families) this depends on the notion of r-complementing-chain-pair-free families, where r = p + q − 1. A family is called r-complementing-chain-pair-free if there is no chain of length r such that the complement of every set in also belongs to . The maximum size of such families is also determined here and optimal constructions are characterized. The first author is a member of the Egerváry Research Group (EGRES). Research is supported by OTKA grants T 037547 and TS 049788, by European MCRTN Adonet, Contract Grant No. 504438 and by the Egerváry Research Group of the Hungarian Academy of Sciences. The work of the second author was partially supported by the Hungarian National Foundation for Scientific Research (OTKA), grant numbers T037846 and NK62321.     

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 the Range of the Aluthge Transform

Let be the algebra of all bounded linear operators on a complex separable Hilbert space For an operator let be the Aluthge transform of T and we define for all where T = U|T| is a polar decomposition of T. In this short note, we consider an elementary property of the range of Δ. We prove that R(Δ) is neither closed nor dense in However R(Δ) is strongly dense if is infinite dimensional. An erratum to this article is available at .     

Sampling Theory Associated with a Symmetric Operator with Compact Resolvent and De Branges Spaces

Let be a symmetric operator with compact resolvent defined in a Hilbert space For any fixed we consider an entire function K_a which involves the resolvent of Associated with K_a we obtain, by duality in a Hilbert space of entire functions which becomes a De Branges space of entire functions. This property provides a characterization of regardless of the anti-linear mapping which has as its range space. There exists also a sampling formula allowing to recover any function in from its samples at the sequence of eigenvalues of This work has been supported by the grant BFM2003–01034 from the D.G.I. of the Spanish Ministerio de Ciencia y Tecnología.     

The Automorphism Group of Plane Algebraic Curves with Singer Automorphisms

The main result in Cossidente and Siciliano (J. Number Theory, Vol. 99 (2003) pp. 373–382) states that if a Singer subgroup of PGL(3,q) is an automorphism group of a projective, geometric irreducible, non-singular plane algebraic curve then either or . In the former case is projectively equivalent to the curve with equation X^q+1Y+Y^q+1+X=0 studied by Pellikaan. Furthermore, the curve has a very nice property from Finite Geometry point of view: apart from the three distinguished points fixed by the Singer subgroup, the set of its -rational points can be partitioned into finite projective planes . In this paper, the full automorphism group of such curves is determined. It turns out that is the normalizer of a Singer group in .     

Remarks on balance in generalized Tate cohomology

We consider two pairs of complete hereditary cotorsion theories on the category of left R-modules, such that We prove that for any left R-modules M, N and for any n ≧ 1, the generalized Tate cohomology modules can be computed either using a left of M and a left of M or using a right a right of N. Received: 17 December 2004     

A Topological View of Ramsey Families of Finite Subsets of Positive Integers

If is an initially hereditary family of finite subsets of positive integers (i.e., if and G is initial segment of F then ) and M an infinite subset of positive integers then we define an ordinal index . We prove that if is a family of finite subsets of positive integers such that for every the characteristic function χ_F is isolated point of the subspace

Multipliers of Fractional Cauchy Transforms

Let B_n denote the unit ball of , n ≥ 2. Given an α > 0, let denote the class of functions defined for by integrating the kernel against a complex-valued measure on the sphere . Let denote the space of holomorphic functions in the ball. A function is called a multiplier of provided that for every . In the present paper, we obtain explicit analytic conditions on which imply that g is a multiplier of . Also, we discuss the sharpness of the results obtained. This research was supported by RFBR (grant no. 08-01-00358-a), by the Russian Science Support Foundation and by the programme “Key scientific schools NS 2409.2008.1”.     

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 .     

Spherical Monogenics: An Algebraic Approach

The space of spherical monogenics in can be regarded as a model for the irreducible representation of Spin(m) with weight . In this paper we construct an orthonormal basis for . To describe the symmetry behind this procedure, we define certain Spin(m − 2)-invariant representations of the Lie algebra (2) on . Received: October, 2007. Accepted: February, 2008.     

Affine congruence by dissection of discs - appropriate groups and optimal dissections

Let be a group of affine transformations of the Euclidean plane . Two topological discs D, are called congruent by dissection with respect to if D can be dissected into a finite number of subdiscs that can be rearranged by maps from to a dissection of E. Our main result says in particular that admits congruence by dissection of any circular disc C with any square S if and only if contains a contractive map and all orbits , , are dense in . In this case any two discs D and E are congruent by dissection with respect to and every disc D is congruent by dissection with n copies of D for every n ≥ 2. Moreover, we give estimates on minimal numbers of pieces that are needed to realize congruences by dissection. Dedicated to Irmtraud Stephani on the occasion of her 70th birthday     

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     

Polar Graphs and Corresponding Involution Sets, Loops and Steiner Triple Systems

A 1-factorization (or parallelism) of the complete graph with loops is called polar if each 1-factor (parallel class) contains exactly one loop and for any three distinct vertices x₁, x₂, x₃, if {x₁} and {x₂, x₃} belong to a 1-factor then the same holds for any permutation of the set {1, 2, 3}. To a polar graph there corresponds a polar involution set , an idempotent totally symmetric quasigroup (P, *), a commutative, weak inverse property loop (P, + ) of exponent 3 and a Steiner triple system . We have: satisfies the trapezium axiom is self-distributive ⇔ (P, + ) is a Moufang loop is an affine triple system; and: satisfies the quadrangle axiom is a group is an affine space.     

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:

Lefschetz decompositions and categorical resolutions of singularities

Let Y be a singular algebraic variety and let be a resolution of singularities of Y. Assume that the exceptional locus of over Y is an irreducible divisor in . For every Lefschetz decomposition of the bounded derived category of coherent sheaves on we construct a triangulated subcategory ) which gives a desingularization of . If the Lefschetz decomposition is generated by a vector bundle tilting over Y then is a noncommutative resolution, and if the Lefschetz decomposition is rectangular, then is a crepant resolution.     

Improved Bounds on Families Under k-wise Set-Intersection Constraints

Let p be a prime, and let L be a set of s congruence classes modulo p. Let be a family of subsets of [n] such that the size modulo p of each member of is not in L, but the size modulo p of every intersection of k distinct members of is in L. We prove that , improving the bound due to Grolmusz and generalizing results proved for k = 2 by Snevily. Work supported in part by the NSA under Award No. MDA904-03-1-0037.     

A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006     

{\left( {\mathfrak{V},\mathfrak{W}} \right)}{\text{-cotorsion pairs}}

Let R be a unital associative ring and two classes of left R-modules. In this paper we introduce the notion of a In analogy to classical cotorsion pairs as defined by Salce [10], a pair of subclasses and is called a if it is maximal with respect to the classes and the condition for all and Basic properties of are stated and several examples in the category of abelian groups are studied. Received: 17 March 2005     

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.