Uniform Mixed Hypergraphs: The Possible Numbers of Colors

For a mixed hypergraph , where and are set systems over the vertex set X, a coloring is a partition of X into ‘color classes’ such that every meets some class in more than one vertex, and every has a nonempty intersection with at least two classes. The feasible set of , denoted , is the set of integers k such that admits a coloring with precisely k nonempty color classes. It was proved by Jiang et al. [Graphs and Combinatorics 18 (2002), 309–318] that a set S of natural numbers is the feasible set of some mixed hypergraph if and only if either or S is an ‘interval’ for some integer k ≥ 1. In this note we consider r-uniform mixed hypergraphs, i.e. those with |C| = |D| = r for all and all , r ≥ 3. We prove that S is the feasible set of some r-uniform mixed hypergraph with at least one edge if and only if either for some natural number k ≥ r − 1, or S is of the form where S′′ is any (possibly empty) subset of and S′ is either the empty set or {r − 1} or an ‘interval’ {k, k + 1, ..., r − 1} for some k, 2 ≤ k ≤ r − 2. We also prove that all these feasible sets can be obtained under the restriction , i.e. within the class of ‘bi-hypergraphs’. Research supported in part by the Hungarian Scientific Research Fund, OTKA grant T-049613.     

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.     

Entropy and Decay of Correlations for Real Analytic Semi-Flows

We consider real analytic suspension semi-flows over uniformly expanding real-analytic map of the interval. We show that for any -invariant equilibrium measure related to an analytic potential g, there exists a Banach space of test functions such that for generic observables in , the corresponding correlation functions cannot decay faster than , where h_g is the measure theoretic entropy of . This statement implies the existence of essential spectrum for the Perron-Frobenius operator associated to the semi-flow, when acting on any reasonable Banach space. Submitted: September 16, 2008. Accepted: March 30, 2009.     

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.     

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 .     

{\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     

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     

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     

Lie and Jordan Ideals in Reflexive Algebras

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.     

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.     

Convexities of partial monounary algebras

In the present paper we prove that the collection of all convexities of partial monounary algebras is finite; namely, it has exactly 23 elements. Further, we show that for each element there exists a subset of such that is generated by and card . This work was supported by the Science and Technology Assistance Agency under the contract No. APVT-20-004104. Supported by Grant VEGA 1/3003/06.     

Variationally harmonic maps with general boundary conditions: Boundary regularity

Let and be Riemannian manifolds, compact without boundary. We develop a definition of a variationally harmonic map with respect to a general boundary condition of the kind u(x)∊Γ(x) for a.e. , where are given submanifolds depending smoothly on x. The given definition of variationally harmonic maps is slightly more restrictive, but also more natural than the usual definition of stationary harmonic maps. After deducing an energy monotonicity formula, it is possible to derive a regularity theory for variationally harmonic maps with general boundary data. The results include full boundary regularity in the Dirichlet boundary case Γ(x) = {g(x)} for if does not carry a nonconstant harmonic 2-sphere.     

Scaling Limit for Subsystems and Doplicher–Roberts Reconstruction

Given an inclusion of (graded) local nets, we analyse the structure of the corresponding inclusion of scaling limit nets , giving conditions, fulfilled in free field theory, under which the unicity of the scaling limit of implies that of the scaling limit of . As a byproduct, we compute explicitly the (unique) scaling limit of the fixpoint nets of scalar free field theories. In the particular case of an inclusion of local nets with the same canonical field net , we find sufficient conditions which entail the equality of the canonical field nets of . Work supported by MIUR, GNAMPA-INDAM, the EU and SNS. Submitted: August 29, 2008. Accepted: March 23, 2009.     

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     

Ratios of Norms for Polynomials and Connected n-width Problems

Let be a bounded simply connected domain with boundary Γ and let be a regular compact set with connected complement. In this paper we investigate asymptotics of the extremal constants:

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:

One-sided Grothendieck quotients

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     

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

On the Root Functions of General Elliptic Boundary Value Problems

We consider a boundary value problem for an elliptic differential operator of order 2m in a domain . The boundary of is smooth outside a smooth manifold Y of dimension 0 ≤ q < n − 1, and bears edge type singularities along Y . The Lopatinskii condition is assumed to be fulfilled on the smooth part of . The corresponding spaces are weighted Sobolev spaces , and this allows one to define ellipticity of weight γ for the problem. The resolvent of the problem is assumed to possess rays of minimal growth. The main result says that if there are rays of minimal growth with angles between neighbouring rays not exceeding π(γ + 2m)/n, then the root functions of the problem are complete in . In the case of second order elliptic equations the results remain true for all domains with Lipschitz boundary. Communicated by Michael Shapiro. Submitted: May 24, 2006; Accepted: June 15, 2006