Coverings of the complete (di-)graph with n vertices by complete bipartite (di-)graphs with n vertices I

Let n be an integer, n ? 2. A set $\text{M}$_n of complete bipartite (di-)graphs with n vertices is called a critical covering of the complete (di-)graph with n vertices if and only if the complete (di-)graph is covered by the (di-)graphs of $\text{M}$_n, but of no proper subset of $\text{M}$_n. All possible cardinalities of critical coverings $\text{M}$_n are determined for all integers n and for undirected as well as directed graphs.     

Construction of matroidal families by partly closed sets

A matroidal family of graphs is a set $\text{M}$≠Ø of connected finite graphs such that for every finite graph G the edge sets of those subgraphs of G which are isomorphic to some element of $\text{M}$ are the circuits of a matroid on the edge set of G. In [9], Schmidt shows that, for n?0, ?2n<r?1, n, $\text{r∈}\text{Z}$, the set $\text{M}\text{(n, r)={G∣G}$ is a graph with β(G)=nα(G)+r and α(G )>, and is minimal with this property (with respect to the relation ?))} is a matroidal family of graphs. He also describes a method to construct new matroidal families of graphs by means of so-called partly closed sets. In this paper, an extension of this construction is given. By means of s-partly closed subsets of $\text{M}\text{(n, r)}$, s?r, we are able to give sufficient and necessary conditions for a subset $\text{P}\text{(n, r)}$ of $\text{M}\text{(n, r)}$ to yield a matroidal family of graphs when joined with the set $\text{I}\text{(n, s)}$ of all graphs $\text{G∈}\text{M}\text{(n, s)}$ which satisfy: If $\text{H∈}\text{P}\text{(n, r)}$, then H?G. In particular, it is shown that $\text{M}\text{(n, r)}$ is not a matroidal family of graphs for r?2. Furthermore, for n?0, 1?2n<r, n, $\text{r∈}\text{Z}$, the set of bipartite elements of $\text{M}\text{(n, r)}$ can be used to construct new matroidal families of graphs if and only if s?min(n+r, 1).     

A classification theorem for essentially binormal operators

An essentially binormal operator on Hilbert space is an operator which is unitarily equivalent to a 2 × 2 matrix of essentially commuting, essentially normal operators. A natural invariant of essentially binormal operators up to unitary equivalence in the Calkin Algebra is the reducing essential 2 × 2 matricial spectrum. A nonempty compact subset X of the set of 2 × 2 matrices is called hypoconvex, if it is the reducing essential 2 × 2 matricial spectrum of an operator on Hilbert space. The set EN₂(X) is then defined to be the set of all equivalence classes (up to unitary equivalence in the Calkin algebra) of essentially binormal operators whose reducing essential 2 × 2 matricial spectrum coincides with X. The aim of this paper is to prove a result that enables one to compute EN₂(X) in terms of the topological structure of the space $\text{X}\text{?}$ of unitary orbits of X. Indeed, it is shown that for every hypoconvex subset X of the set of 2 × 2 matrices, there exists a natural homomorphism from $\text{Ext}\text{(}\text{X}\text{?}\text{)}$ onto EN₂(X). Also, a six term cyclic exact sequence is obtained, which produces a characterization of the kernel of the above-mentioned homomorphism.     

Some remarks on the Steiner problem

Let Σ be a set of n points in the plane. The minimal network for Σ is the tree of shortest total length L_M(Σ) whose vertices are exactly the points of S. The Steiner minimal network for Σ is the tree of shortest possible total length L_S(Σ) when the vertices are allowed to be any set Σ′ ? Σ. Clearly L_S(Σ) ? L_M(Σ), since the minimization in L_S is over a larger set. It has long been conjectured that, conversely, $\text{L}{}_{\mathrm{<mtext>S</mtext>}}\text{(Σ) ? (}\text{3}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{2}\text{) L}{}_{\mathrm{<mtext>M</mtext>}}\text{(Σ)}$, but this has previously been proved only if n = 3. In this paper, among other results, this is proved for n = 4. Unfortunately the proof is sufficiently complicated that immediate generalization to arbitrary n, no matter how desirable, is unlikely.     

Uniqueness of analytic continuation: Necessary and sufficient conditions

Necessary and sufficient conditions for uniqueness of analytic continuation are investigated for a system of m ? 1 first-order linear homogeneous partial differential equations in one unknown, with complex-valued $\text{b}$^∞ coefficients, in some connected open subset of $\text{R}$^k, k ? 2. The type of system considered is one for which there exists a real k-dimensional, $\text{b}$^∞, connected C-R submanifold M^k of $\text{C}$ⁿ, for k, n ? 2, such that the system may be identified with the induced Cauchy-Riemann operators on M^k. The question of uniqueness of analytic continuation for a system of partial differential equations is thus transformed to the question of uniqueness of analytic continuation for C-R functions on the manifold M^k ? Cⁿ. Under the assumption that the Levi algebra of M^k has constant dimension, it is shown that if the excess dimension of this algebra is maximal at every point, then M^k has the property of uniqueness of analytic continuation for its C-R functions. Conversely, under certain mild conditions, it is shown that if M^k has the property of uniqueness of analytic continuation for all $\text{b}$^∞ C-R functions, and if the Levi algebra has constant dimension on all of M^k, then the excess dimension must be maximal at every point of M^k.     

Compactness in translation invariant Banach spaces of distributions and compact multipliers

It is shown that for a comprehensive family of translation invariant Banach spaces (B, ∥ ∥_B) of (classes of) measurable functions or distributions on a locally compact group (including most of the spaces of interest in harmonic analysis) the following compactness criterion generalizing the well-known results due to Kolmogorov-Riesz-Weil concerning compact sets in L^p(G), 1 ? p < ∞, holds true: A closed subset M ? B is compact in B if and only if it satisfies the following conditions: (a) sup_{? ? M} ∥?∥_B < ∞; (b) $\text{? ? > 0 ?k ∈ K(G):∥k1???∥}{}_{\mathrm{B}}\text{? ?}$ for all $\text{?∈M}$; (c) $\text{?? > 0 ?h∈K(G):∥h???∥}{}_{\mathrm{B}}\text{? ?}$ for all $\text{?∈M}$. Among various applications a characterization of the space of all compact multipliers between suitable pairs of such spaces can be derived.     

Duality in hypercomplex function theory

Let $\text{A}$ be the Clifford algebra constructed over a quadratic n-dimensional real vector space with orthogonal basis {e₁,…, e_n}, and e₀ be the identity of $\text{A}$. Furthermore, let M_k(Ω;$\text{A}$) be the set of $\text{A}$-valued functions defined in an open subset Ω of R^m+1 (1 ? m ? n) which satisfy D^kf = 0 in Ω, where D is the generalized Cauchy-Riemann operator $\text{D = ∑}{}_{\mathrm{i\; =\; 0}}{}^{\mathrm{m}}\text{e}{}_{\mathrm{i}}\text{(}\text{?}\text{?x}{}_{\mathrm{i}}\text{)}$ and k? N. The aim of this paper is to characterize the dual and bidual of M_k(Ω;$\text{A}$). It is proved that, if M_k(Ω;$\text{A}$) is provided with the topology of uniform compact convergence, then its strong dual is topologically isomorphic to an inductive limit space of Fréchet modules, which in its turn admits M_k(Ω;$\text{A}$) as its dual. In this way, classical results about the spaces of holomorphic functions and analytic functionals are generalized.     

The metacompactness of spaces with bases of subinfinite rank

Let X be a set. A collection $\text{U}$of subsets of X has subinfinite rank if whenever $\text{V}$ ? $\text{U}$, ∩$\text{V}$≠ø, and $\text{V}$ is infinite, then there are two distinct elements of $\text{V}$, one of which is a subset of the other. Theorem. AT₁space with a base of subinfinite rank is hereditarily metacompact.     

Minimal codes in abelian group algebras

In this paper we show that two minimal codes $\text{M}$₁ and $\text{M}$₂ in the group algebra $\text{F}$₂[G] have the same (Hamming) weight distribution if and only if there exists an automorphism θ of G whose linear extension to $\text{F}$₂[G] maps $\text{M}$₁ onto $\text{M}$₂. If θ(M₁) = M₂, then $\text{M}$₁ and $\text{M}$₂ are called equivalent. We also show that there are exactly τ(l) inequivalent minimal codes in $\text{F}$₂[G], where ? is the exponent of G, and τ(?) is the number of divisors of ?.     

Injectivity and operator spaces

Let B(H) be the bounded operators on a Hilbert space H. A linear subspace R ? B(H) is said to be an operator system if 1 ?R and R is self-adjoint. Consider the category $\text{b}$ of operator systems and completely positive linear maps. R ∈ $\text{C}$ is said to be injective if given A ? B, A, B ∈ $\text{C}$, each map A → R extends to B. Then each injective operator system is isomorphic to a conditionally complete C¹-algebra. Injective von Neumann algebras R are characterized by any one of the following: (1) a relative interpolation property, (2) a finite “projectivity” property, (3) letting M_m = B(C^m), each map R → N ? M_m has approximate factorizations R → M_n → N, (4) letting K be the orthogonal complement of an operator system N ? M_m, each map $\text{M}{}_{\mathrm{m}}\text{K}\text{→ R}$ has approximate factorizations $\text{M}{}_{\mathrm{m}}\text{K}\text{→ M}{}_{\mathrm{n}}\text{→ R}$. Analogous characterizations are found for certain classes of C¹-algebras.     

On the football pool problem for 6 matches: A new upper bound

Consider the set (F₃)⁶ of all 6 tuples x=(x₁,…, x₆) with x_i? {0, 1, 2}. We show that there exists a subset $\text{T}$ of (F₃)⁶ with 79 elements such that for any x of (F₃)⁶ there is an element if $\text{T}$ which differs from x in at most one coordinate.     

On intersecting families of finite sets

Let X = [1, n] be a finite set of cardinality n and let $\text{F}$ be a family of k-subsets of X. Suppose that any two members of $\text{F}$ intersect in at least t elements and for some given positive constant c, every element of X is contained in less than c |$\text{F}$| members of $\text{F}$. How large |$\text{F}$| can be and which are the extremal families were problems posed by Erdös, Rothschild, and Szemerédi. In this paper we answer some of these questions for n > n₀(k, c). One of the results is the following: let $\text{t = 1,}\text{3}\text{7}\text{< c <}\text{1}\text{2}$. Then whenever $\text{F}$ is an extremal family we can find a 7-3 Steiner system $\text{B}$ such that $\text{F}$ consists exactly of those k-subsets of X which contain some member of $\text{B}$.     

Integration theory for Hammerstein operators

We develop in this article a strong nonlinear integral and obtain a Riesz-type theorem (utilizing this integral) for the class of (nonlinear) Hammerstein operators. The integral is extended to the class $\text{M}$_E($\text{B}$) of E-valued totally $\text{B}$-measurable functions and convergence theorems are studied. Then an exchange of information is carried out between the operators and the corresponding set functions; for example, the implication of the operator being compact or unconditionally summing is drawn. In the latter case it is shown that the representing set function is analogous to strongly bounded set functions. A vast body of literature exists for both of these concepts.     

The complex Frobenius Theorem and uniqueness of solutions to the tangential Cauchy-Riemann equations

Suppose M is a C^∞ real k-dimensional CR-submanifold of $\text{C}$ⁿ, n > 1, and suppose that $\text{?}\text{?}\text{t6}{}_{\mathrm{M}}$ is the tangential Cauchy-Riemann operator on M. Let S be a C¹ real (k ? 1)-dimensional submanifold of M which is noncharacteristic for ??t6_M at p?S. Conditions are found so that a C^∞ solution f of $\text{?}\text{?}\text{t6}{}_{\mathrm{M}}\text{f = 0}$ which vanishes on one side of S in M must vanish in a neighborhood of p in M. If M is a real hypersurface, it is known that such unique continuation always exists. If the codimension of M in $\text{C}$ⁿ is greater than 1, and if the excess dimension of the Levi algebra on M is constant, then it is proved that CR-functions on M which vanish on one side of S must vanish in a full neighborhood of p. The assumption on the dimension of the Levi algebra allows us to use the Complex Frobenius Theorem. Other methods to prove such unique continuation results are also developed.     

Largest and smallest maximal sets of pairwise disjoint partitions

Let $\text{X}$ be a maximal set of pairwise disjoint partitions of n into t distinct parts. Let M_t(n) (resp. m_t(n)) denote the size of the largest (resp. smallest) such maximal set $\text{X}$. Upper and lower bounds for $\text{M}{}_{\mathrm{t}}\text{(n)}\text{n}$ and $\text{m}{}_{\mathrm{t}}\text{(n)}\text{n}$ are established.     

Average boundary conditions in Cauchy problems

We consider the general Cauchy problem with initial data in a Hilbert space and with a formal dissipative linear generator. A complete parametrization is known of the (abstract) boundary conditions which make this problem well set. We exhibit a distinguished subset $\text{B}$_E of the set $\text{B}$ of boundary conditions and demonstrate explicitly that the evolution associated with each B in $\text{B}$ can be represented as a (time independent) average over the evolutions associated with B′ in $\text{B}$_E. Applications are discussed to Schrödinger equations in bounded regions or with singular potentials.     

Diagonalizing matrices over C(X)

A complete characterization of those compact Hausdorff spaces is given such that for every n, each normal element in the algebra C(X)?M_n of continuous functions from X to $\text{M}$_n can be continuously diagonalized. The conditions are that X be a sub-Stonean space with dim X ? 2 and carries no nontrivial G-bundles over any closed subset, for G a symmetric group or the circle group. In particular, diagonalization is assured on every totally disconnected sub-Stonean space, but also on connected spaces of the form β(Y)/Y, where Y is a simply-connected (noncompact) graph.     

Minimal bases and maximal nonbases in additive number theory

An asymptotic basis $\text{A}$ of order h is minimal if no proper subset of $\text{A}$ is an asymptotic basis of order h. Examples are constructed of minimal asymptotic bases, and also of an asymptotic basis of order two no subset of which is minimal.If $\text{B}$ is a set of nonnegative integers which is not a basis (resp. asymptotic basis) of order h, but such that every proper superset of $\text{B}$ is a basis (resp. asymptotic basis) of order h, then $\text{B}$ is a maximal nonbasis (resp. maximal asymptotic nonbasis) of order h. Examples of such sets are constructed, and it is proved that every set not a basis of order h is a subset of a maximal nonbasis of order h.     

A note on matrix subalgebras containing a full Jordan block

Let A be a subalgebra of the full matrix algebra M_n(F), and suppose J∈A, where J is the Jordan block corresponding to xⁿ. Let $\text{S}$ be a set of generators of A. It is shown that the graph of $\text{S}$ determines whether A is the full matrix algebra M_n(F).     

Nonnegative rank-preserving operators

Analogues of characterizations of rank-preserving operators on field-valued matrices are determined for matrices witheentries in certain structures $\text{S}$ contained in the nonnegative reals. For example, if $\text{S}$ is the set of nonnegative members of a real unique factorization domain (e.g. the nonnegative reals or the nonnegative integers), M is the set of m×n matrices with entries in $\text{S}$, and min(m,n)?4, then a “linear” operator on M preserves the “rank” of each matrix in M if and only if it preserves the ranks of those matrices in M of ranks 1, 2, and 4. Notions of rank and linearity are defined analogously to the field-valued concepts. Other characterizations of rank-preserving operators for matrices over these and other structures $\text{S}$ are also given.