Transferring homotopy commutative algebraic structures

We show that the sum over planar tree formula of Kontsevich and Soibelman transfers C_∞-structures along a contraction. Applying this result to a cosimplicial commutative algebra A^• over a field of characteristic zero, we exhibit a canonical C_∞-structure on Tot(A^•), which is unital if A^• is; in particular, we obtain a canonical C_∞-structure on the cochain complex of a simplicial set.     

Minimisation of functions of a positive semidefinite matrix A subject to AX = 0

A common problem in multivariate analysis is that of minimising or maximising a function f of a positive semidefinite matrix A subject possibly to AX = 0. Typically A is a variance-covariance matrix. Using the theory of nearest point projections in Hilbert spaces, it is shown that the solution satisfies the equation f′(A) + M ? A = 0, where A = P₀(M) and P₀ is a certain projection operator.     

Paranormal Elements in Normed Algebra

For a normed algebra A and natural numbers k we introduce and investigate the ∥ · ∥ closed classes P _k (A). We show that P₁(A) is a subset of P _k (A) for all k. If T in P₁(A), then Tⁿ lies in P₁(A) for all natural n. If A is unital, U, V ∈ A are such that ∥U∥ = ∥V∥ = 1, VU = I and T lies in P _k (A), then UTV lies in P _k (A) for all natural k. Let A be unital, then 1) if an element T in P₁(A) is right invertible, then any right inverse element T^?1 lies in P₁(A); 2) for ßßIßß = 1 the class P₁(A) consists of normaloid elements; 3) if the spectrum of an element T, T ∈ P₁(A) lies on the unit circle, then ∥TX∥ = ∥X∥ for all X ∈ A. If A = B(H), then the class P₁(A) coincides with the set of all paranormal operators on a Hilbert space H.     

Generalized latin square

LetX be a n-set and letA = [a_ij] be an xn matrix for whichaij ?X, for 1 ≤i, j ≤n. A is called a generalized Latin square onX, if the following conditions is satisfied: $ \cup _{i = 1}^n a_{ij} = X = \cup _{j = 1}^n a_{ij} $ . In this paper, we prove that every generalized Latin square has an orthogonal mate and introduce a H_v -structure on a set of generalized Latin squares. Finally, we prove that every generalized Latin square of ordern, has a transversal set.     

The rate of approximation by means of polynomials with restricted coefficients

For a sequenceA = {A_k} _k?1 ^∞ of positive constants letP _A = {p(x): p(x) = Σ _k?1 ⁿ a _k x _k ,n = 1,2, …, ¦a _k ≦ A _k ^k }. We consider the rate of approximation by elements ofP _A , of continuous functions in [0, 1] which vanish at x = 0. Also a classP _A is called “efficient” if globally it guarantees the Jackson rate of approximation. Some necessary conditions for efficiency and some sufficient ones are derived.     

The combinatorial derivation and its inverse mapping

Let G be a group and P _G be the Boolean algebra of all subsets of G. A mapping Δ: P _G → P _G defined by Δ(A) = {g ∈ G: gA ∩ A is infinite} is called the combinatorial derivation. The mapping Δ can be considered as an analogue of the topological derivation d: P _X → P _X , A ? A ^d , where X is a topological space and A ^d is the set of all limit points of A. We study the behaviour of subsets of G under action of Δ and its inverse mapping ?. For example, we show that if G is infinite and I is an ideal in P _G such that Δ(A) ∈ I and ?(A) ? I for each A ∈ I then I = P _G .     

Γ-inverses of Bounded Linear Operators

Let B(H) be the algebra of all the bounded linear operators on a Hilbert space H.For A,P and Q in B(H),if there exists an operator X∈ B(H) such thatAP X QA=A,X QAP X=X,(QAP X)*=QAP X and(X QAP)*=X QAP,then X is said to be the Γ-inverse of A associated with P and Q,and denoted by AP,Q+.In this note,we present some necessary and su?cient conditions for which A+P,Qexists,and give an explicit representation of AP,Q+(if AP,Q+exists).     

The nonnegative rank factorizations of nonnegative matrices

Let A ∈ P^{m × n}_r, the set of all m × n nonnegative matrices having the same rank r. For matrices A in P^{m × n}_n, we introduce the concepts of “A has only trivial nonnegative rank factorizations” and “A can have nontrivial nonnegative rank factorizations.” Correspondingly, the set P^{m × n}_n is divided into two disjoint subsets P₍₁₎ and P₍₂₎ such that P₍₁₎∪P₍₂₎ = P^{m × n}_n. It happens that the concept of “A has only trivial nonnegative rank factorizations” is a generalization of “A is prime in P^{n × n}_n.” We characterize the sets P₍₁₎ and P₍₂₎. Some of our results generalize some theorems in the paper of Daniel J. Richman and Hans Schneider [9].     

On the posterior distribution of a dirichlet process given randomly right censored observations

The purpose of this note is to show that the conditional distribution of a Dirichlet process P given n independent observations X₁… X_n from P and belonging to measurable sets A₁,… A_n with A₁ ? A₁₊₁ for i=1,… n=1 is a mixture of Dirichlet processes as introduced by Antoniak. It is also shown that this result is applicable in Bayesin decision problems concerning a random survival distribution under Dirichlet process priors.     

Efficiently Recognizing the P 4-Structure of Trees and of Bipartite Graphs Without Short Cycles

A 4-uniform hypergraph represents the P ₄-structure of a graph G if its hyperedges are the vertex sets of the P ₄'s in G. By using the weighted 2-section graph of the hypergraph we propose a simple efficient algorithm to decide whether a given 4-uniform hypergraph represents the P ₄-structure of a bipartite graph without 4-cycle and 6-cycle. For trees, our algorithm is different from that given by G. Ding and has a better running time namely O(n ²) where n is the number of vertices. Revised: February 18, 1998     

Realizing modules over the homology of a DGA

Let A be a DGA over a field and X a module over H_∗(A). Fix an A_∞-structure on H_∗(A) making it quasi-isomorphic to A. We construct an equivalence of categories between A_n+1-module structures on X and length n Postnikov systems in the derived category of A-modules based on the bar resolution of X. This implies that quasi-isomorphism classes of A_n-structures on X are in bijective correspondence with weak equivalence classes of rigidifications of the first n terms of the bar resolution of X to a complex of A-modules. The above equivalences of categories are compatible for different values of n. This implies that two obstruction theories for realizing X as the homology of an A-module coincide.     

Points of Weak-Norm Continuity in the Unit Ball of Banach Spaces

Using the M-structure theory, we show that several classical function spaces and spaces of operators on them fail to have points of weak-norm continuity for the identity map on the unit ball. This gives a unified approach to several results in the literature that establish the failure of strong geometric structure in the unit ball of classical function spaces. Spaces covered by our result include the Bloch spaces, dual of the Bergman space L¹_a and spaces of operators on them, as well as the space C(T)/A, where A is the disc algebra on the unit circle T. For any unit vector f in an infinite-dimensional function algebra A we explicitly construct a sequence {f_n} in the unit ball of A that converges weakly to f but not in the norm.     

On the polynomial of a path

Let A(P_n) be the adjacency matrix of the path on n vertices. Suppose that r(λ) is a polynomial of degree less than n, and consider the matrix M = r(A>/(P_n)). We determine all polynomials for which M is the adjacency matrix of a graph.     

Finite dimensional Wiener-Hopf equations and factorizations of matrices

Let A be the algebra of all n × n matrices over the real or complex numbers. Let A₊ be the subalgebra of upper triangular matrices, and A_- the subalgebra of strictly lower triangular matrices. Denote by P the projection of A onto A₊ with kernel A_-. In this paper we investigate the Wiener-Hopf equation P(ax₊) = y₊, where y₊ ∈ A₊ is given and x₊ ∈ A₊ is a solution.     

Simultaneous singular value decomposition

We consider the following problem: Given a set of m×n real (or complex) matrices A₁,…,A_N, find an m×m orthogonal (or unitary) matrix P and an n×n orthogonal (or unitary) matrix Q such that P^*A₁Q,…,P^*A_NQ are in a common block-diagonal form with possibly rectangular diagonal blocks. We call this the simultaneous singular value decomposition (simultaneous SVD). The name is motivated by the fact that the special case with N=1, where a single matrix is given, reduces to the ordinary SVD. With the aid of the theory of *-algebra and bimodule it is shown that a finest simultaneous SVD is uniquely determined. An algorithm is proposed for finding the finest simultaneous SVD on the basis of recent algorithms of Murota-Kanno-Kojima-Kojima and Maehara-Murota for simultaneous block-diagonalization of square matrices under orthogonal (or unitary) similarity.     

A central limit theorem for age- and density-dependent population processes

Consider a population consisting of one type of individual living in a fixed region with area A. In [8], we constructed a stochastic population model in which the death rate is affected by the age of the individual and the birth rate is affected by the population density P_A(t), i.e., the population size divided by the area A of the given region. In [8], we proposed a continuous deterministic model which in general is a nonlinear Volterra type integral equation and proved that under appropriate conditions the sequence P_A(t) would converge to the solution P(t) of our integral equation in the sense that

$\text{lim}\text{→∞}\text{P}\text{sup}\text{0?s?t}\text{|P}{}_{\mathrm{A}}\text{(s) ? P(s)|>ε}\text{=0}\text{for every}\text{ε > 0}$

.In this paper, we obtain a “central limit theorem” for the random element √A(P_A(t)?P(t)). We prove that under appropriate conditions √A(P_A(t)?P(t)) will converge to a Gaussian process. (See Theorem 3.4 for the explicit formula of this Gaussian process.)     

Turán-Type Results for Complete <Emphasis Type="Italic">h</Emphasis>-Partite Graphs in Comparability and Incomparability Graphs

We consider an h-partite version of Dilworth’s theorem with multiple partial orders. Let P be a finite set, and let <₁,...,< _r be partial orders on P. Let G(P, <₁,...,< _r ) be the graph whose vertices are the elements of P, and x, y ∈ P are joined by an edge if x< _i y or y< _i x holds for some 1 ≤ i ≤ r. We show that if the edge density of G(P, <₁, ... , < _r ) is strictly larger than 1 ? 1/(2h ? 2) ^r , then P contains h disjoint sets A ₁, ... , A _h such that A ₁ < _j ... < _j A _h holds for some 1 ≤ j ≤ r, and |A ₁| = ... = |A _h | = Ω(|P|). Also, we show that if the complement of G(P, <) has edge density strictly larger than 1 ? 1/(3h ? 3), then P contains h disjoint sets A ₁, ... , A _h such that the elements of A _i are incomparable with the elements of A _j for 1 ≤ i < j ≤ h, and |A ₁| = ... = |A _h | = |P|^1?o(1). Finally, we prove that if the edge density of the complement of G(P, <₁, <₂) is α, then there are disjoint sets A, B ? P such that any element of A is incomparable with any element of B in both <₁ and <₂, and |A| = |B| > n ^1?γ(α), where γ(α) → 0 as α → 1. We provide a few applications of these results in combinatorial geometry, as well.     

Reducibility of the families of 0-dimensional schemes on a variety

IfA is a regular local ring of dimensionr>2, over an algebraically closed fieldk, we show that the Hilbert scheme Hilb ⁿ A parametrizing ideals of colengthn inA(dim _k A/I=n) has dimension>cn ^2?2/r and is reducible, for alln>c′, wherec andc′ depend only onr. We conclude that ifV is a nonsingular projective variety of dimensionr>2, the Hilbert scheme Hilb ⁿ V parametrizing the 0-dimensional subschemes ofV having lengthn, is reducible for alln>c″(r). We may takec″(r) to be (1) $$102 ifr = 3,25 ifr = 4,35 ifr = 5,and\left( {1 + r} \right)\left( {{{1 + r} \mathord{\left/ {\vphantom {{1 + r} 4}} \right. \kern-\nulldelimiterspace} 4}} \right)ifr > 5.$$ The result answers in the negative a conjecture of Fogarty [1] but leaves open the question of the conjectured irreducibility of Hilb ⁿ A, whereA has dimension 2. Hilb ⁿ V is known to be irreducible ifV is a nonsingular surface (Hartshorne forP ₂, and Fogarty [1]). In all cases Hilb ⁿ V and Hilb ⁿ A are known to be connected (Hartshorne forP _r, and Fogarty [1]). The author is indebted to Hartshorne for suggesting that Hilb ⁿ A might be reducible ifr>2. The proof has 3 steps. We first show that ifV is a variety of dimensionr, then Hilb ⁿ V is irreducible only if it has dimensionr n. We then show that ifA is a regular local ring of dimensionr, Hilb ⁿ A can be irreducible only if it has dimension (r?1)(n?1). Finally in § 3 we construct a family of graded ideals of colengthn in the local ringA, and having dimensionc′ n^2?2/r. Since for largen this dimension is greater thanr n, and since Hilb ⁿ A?Hilb ⁿ V whenA is the local ring of a closed point onV, the proof is complete, except for (1), which follows from § 3, and the monotonicity of (dim Hilb ⁿ V?r n) (see (2)). In § 4, we comment on some related questions.     

On idempotent <Emphasis Type="Italic">τ</Emphasis>-measurable operators affiliated to a von Neumann algebra

Let τ be a faithful normal semifinite trace on a von Neumann algebra M, let p, 0 < p < ∞, be a number, and let L_p(M, τ) be the space of operators whose pth power is integrable (with respect to τ). Let P and Q be τ-measurable idempotents, and let A ≡ P ? Q. In this case, 1) if A ≥ 0, then A is a projection and QA = AQ = 0; 2) if P is quasinormal, then P is a projection; 3) if Q ∈ M and A ∈ L_p(M, τ), then A² ∈ L_p(M, τ). Let n be a positive integer, n > 2, and A = Aⁿ ∈ M. In this case, 1) if A ≠ 0, then the values of the nonincreasing rearrangement μ_t(A) belong to the set {0} ∪ [‖A^n?2‖^?1, ‖A‖] for all t > 0; 2) either μ_t(A) ≥ 1 for all t > 0 or there is a t₀ > 0 such that μ_t(A) = 0 for all t > t₀. For every τ-measurable idempotent Q, there is aunique rank projection P ∈ M with QP = P, PQ = Q, and PM = QM. There is a unique decomposition Q = P + Z, where Z² = 0, ZP = 0, and PZ = Z. Here, if Q ∈ L_p(M, τ), then P is integrable, and τ(Q) = τ(P) for p = 1. If A ∈ L₁(M, τ) and if A = A³ and A ? A² ∈ M, then τ(A) ∈ R.