The behavior of differential forms under purely inseparable extensions

Let F be a field of characteristic 2. In this paper we give a complete computation of the kernel of the homomorphism $H_2^{m+1}(F)?H_2^{m+1}(L)$ induced by scalar extension, where $L/F$ is a purely inseparable extension (of any degree), $H_2^{m+1}(F)$ is the cokernel of the Artin–Schreier operator $?:{\mathrm{\Omega }}_F^m?{\mathrm{\Omega }}_F^m/\mathrm{d}{\mathrm{\Omega }}_F^{m?1}$ given by: $x\frac{\mathrm{d}{x}_1}{x_1}\wedge ?\wedge \frac{\mathrm{d}{x}_m}{x_m}?(x^2?x)\frac{\mathrm{d}{x}_1}{x_1}\wedge ?\wedge \frac{\mathrm{d}{x}_m}{x_m}+\mathrm{d}{\mathrm{\Omega }}_F^{m?1}$, where ${\mathrm{\Omega }}_F^m$ is the space of absolute m-differential forms over F and d is the differential operator. Other related results are included.     

Algorithms for finding connected separators between antipodal points

A set (or a collection of sets) contained in the Euclidean space Rm is symmetric if it is invariant under the antipodal map. Given a symmetric unicoherent polyhedron X (like an n-dimensional cube or a sphere) and an odd real function f defined on vertices of a certain symmetric triangulation of X, we algorithmically construct a connected symmetric separator of X by choosing a subcollection of the triangulation. Each element of the subcollection contains the vertices v and u such that f(v)f(u)?0.     

Nonnegative quadratic estimation and quadratic sufficiency in general linear models

Notions of linear sufficiency and quadratic sufficiency are of interest to some authors. In this paper, the problem of nonnegative quadratic estimation for β^′Hβ+hσ² is discussed in a general linear model and its transformed model. The notion of quadratic sufficiency is considered in the sense of generality, and the corresponding necessary and sufficient conditions for the transformation to be quadratically sufficient are investigated. As a direct consequence, the result on (ordinary) quadratic sufficiency is obtained. In addition, we pose a practical problem and extend a special situation to the multivariate case. Moreover, a simulated example is conducted, and applications to a model with compound symmetric covariance matrix are given. Finally, we derive a remark which indicates that our main results could be extended further to the quasi-normal case.     

Banach-stone theorems and separating maps

LetC(X,E) andC(Y,F) denote the spaces of continuous functions on the Tihonov spacesX andY, taking values in the Banach spacesE andF, respectively. A linear mapH:C(X,E)→C(Y,F) isseparating iff(x)g(x)=0 for allx inX impliesHf(y)Hg(y)=0 for ally inY. Some automatic continuity properties and Banach-Stone type theorems (i.e., asserting that isometries must be of a certain form) for separating mapsH between spaces of real- and complex-valued functions have already been developed. The extension of such results to spaces of vector-valued functions is the general subject of this paper. We prove in Theorem 4.1, for example, for compactX andY, that a linear isometryH betweenC(X,E) andC(Y,F) is a “Banach-Stone” map if and only ifH is “biseparating (i.e,H andH ⁻¹ are separating). The Banach-Stone theorems of Jerison and Lau for vector-valued functions are then deduced in Corollaries 4.3 and 4.4 for the cases whenE andF or their topological duals, respectively, are strictly convex. Research supported by the Fundació Caixa Castelló, MI/25.043/92     

Matrices that preserve vectors of fixed sign variation

For each k≥ 0, those nonsingular matrices that transform the set of totally nonzero vectors with k sign variations into (respectively, onto) itself are studied. Necessary and sufficient conditions are provided. The cases k=0,1,2,n-3,n-2,n-1 are completely characterized.     

A mixed directed-undirected data structure for a parallel implementation of a domain decomposition algorithm

The choice of data structures influences the parallelization, efficiency and the manageability of a mesh refinement program. We introduce a mixed directed-undirected graph that combines both communication and scheduling needs. An inverted index is maintained for the directed graph to improve code performance and readability.This work was performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under contract No. W-7405-Eng-48.     

Separable free quadratic algebras over quadratic integers

The aim of the paper is to determine all free separable quadratic algebras over the rings of integers of quadratic fields in terms of the properties of the fundamental unit in the real case. The paper corrects some earlier published results on the subject.     

Measurability implies continuity for solutions of functional equations - even with few variables

Summary. We prove that - under certain conditions - measurable solutions $f$ of the functional equation $f(x)=h(x,y,f(g_{1}(x,y)),\ldots,f(g_{n}(x,y))),\quad(x,y)\in D \subset \mathbb{R}^{s} \times \mathbb{R}^{l}$ are continuous, even if $1\le l\le s$. As a tool we introduce new classes of functions which - roughly speaking - interpolate between continuous and Lebesgue measurable functions. Connection between these classes are also investigated.     

Tracking poles and representing Hankel operators directly from data

Summary We propose and analyse a method of estimating the poles near the unit circleT of a functionG whose values are given at a grid of points onT: we give an algorithm for performing this estimation and prove a convergence theorem. The method is to identify the phase for an estimate by considering the peaks of the absolute value ofG onT, and then to estimate the modulus by seeking a bestL ² fit toG over a small arc by a first order rational function. These pole estimates lead to the construction of a basis ofL ² which is well suited to the numerical representation of the Hankel operator with symbolG and thereby to the numerical solution of the Nehari problem (computing the bestH ^{04778u12383x/xxlarge8734.gif" alt="infin" align="MIDDLE" BORDER="0">}, analytic, approximation toG relative to theL ^{04778u12383x/xxlarge8734.gif" alt="infin" align="MIDDLE" BORDER="0">} norm), as analysed in [HY]. We present the results of numerical tests of these algorithms.Partially supported by grants from the AFOSR and NSF     

Comparison of Boolean algebras

In this work, some results related to superatomic Boolean interval algebras are presented, and proved in a topological way. Let x be an uncountable cardinal. To each I 04_Article_BF00337890_TeX2GIFIE1.gif" alt=" $$ \subseteq$$ " align="middle" border="0"> x, we can associate a superatomic interval Boolean algebra B _I of cardinality x in such a way that the following properties are equivalent: (i) I 04_Article_BF00337890_TeX2GIFIE2.gif" alt=" $$ \subseteq$$ " align="middle" border="0"> I 04_Article_BF00337890_TeX2GIFIE3.gif" alt=" $$ \subseteq$$ " align="middle" border="0"> x, (ii) B _I is a quotient algebra of B _J, and (iii) there is an homomorphism f from B _J into B _I such that for every atom b of B _I, there is an atom a of B _J satisfying f(a)=b. As a corollary, there are 2 ^x isomorphism types of superatomic interval Boolean algebras of cardinality x. This case is quite different from the countable one.