Straight Rings

A (commutative integral) domain is called a straight domain if A ? B is a prime morphism for each overring B of A; a (commutative unital) ring A is called a straight ring if A/P is a straight domain for all P ∈ Spec(A). A domain is a straight ring if and only if it is a straight domain. The class of straight rings sits properly between the class of locally divided rings and the class of going-down rings. An example is given of a two-dimensional going-down domain that is not a straight domain. The classes of straight rings, of locally divided rings, and of going-down rings coincide within the universe of seminormal weak Baer rings (for instance, seminormal domains). The class of straight rings is stable under formation of homomorphic images, rings of fractions, and direct limits. The “straight domain" property passes between domains having the same prime spectrum. Straight domains are characterized within the universe of conducive domains. If A is a domain with a nonzero ideal I and quotient field K, characterizations are given for A ? (I: _K I) to be a prime morphism. If A is a domain and P ∈ Spec(A) such that A _P is a valuation domain, then the CPI-extension C(P) := A + PA _P is a straight domain if and only if A/P is a straight domain. If A is a going-down domain and P ∈ Spec(A), characterizations are given for A ? C(P) to be a prime morphism. Consequences include divided domain-like behavior of arbitrary straight domains.     

A bijective enumeration of labeled trees with given indegree sequence

For a labeled tree on the vertex set {1,2,…,n}, the local direction of each edge (ij) is from i to j if i<j. For a rooted tree, there is also a natural global direction of edges towards the root. The number of edges pointing to a vertex is called its indegree. Thus the local (resp. global) indegree sequence λ=e₁¹e₂²… of a tree on the vertex set {1,2,…,n} is a partition of n−1. We construct a bijection from (unrooted) trees to rooted trees such that the local indegree sequence of a (unrooted) tree equals the global indegree sequence of the corresponding rooted tree. Combining with a Prüfer-like code for rooted labeled trees, we obtain a bijective proof of a recent conjecture by Cotterill and also solve two open problems proposed by Du and Yin. We also prove a q-multisum binomial coefficient identity which confirms another conjecture of Cotterill in a very special case.     

Unary Semigroups with an Associate Subgroup

A subgroup H of a regular semigroup S is said to be an associate subgroup of S if for every s ∈ S, there is a unique associate of s in H. An idempotent z of S is said to be medial if czc = c, for every c product of idempotents of S. Blyth and Martins established a structure theorem for semigroups with an associate subgroup whose identity is a medial idempotent, in terms of an idempotent generated semigroup, a group and a single homomorphism. Here, we construct a system of axioms which characterize these semigroups in terms of a unary operation satisfying those axioms. As a generalization of this class of semigroups, we characterize regular semigroups S having a subgroup which is a transversal of a congruence on S.     

Partially ordered knapsack and applications to scheduling

In the partially ordered knapsack problem (POK) we are given a set N of items and a partial order ?_P on N. Each item has a size and an associated weight. The objective is to pack a set N^′⊆N of maximum weight in a knapsack of bounded size. N^′ should be precedence-closed, i.e., be a valid prefix of ?_P. POK is a natural generalization, for which very little is known, of the classical Knapsack problem. In this paper we present both positive and negative results. We give an FPTAS for the important case of a two-dimensional partial order, a class of partial orders which is a substantial generalization of the series-parallel class, and we identify the first non-trivial special case for which a polynomial-time algorithm exists. Our results have implications for approximation algorithms for scheduling precedence-constrained jobs on a single machine to minimize the sum of weighted completion times, a problem closely related to POK.     

Algorithms for finding distance-edge-colorings of graphs

For a bounded integer ℓ, we wish to color all edges of a graph G so that any two edges within distance ℓ have different colors. Such a coloring is called a distance-edge-coloring or an ℓ-edge-coloring of G. The distance-edge-coloring problem is to compute the minimum number of colors required for a distance-edge-coloring of a given graph G. A partial k-tree is a graph with tree-width bounded by a fixed constant k. We first present a polynomial-time exact algorithm to solve the problem for partial k-trees, and then give a polynomial-time 2-approximation algorithm for planar graphs.     

The Yoneda Algebra of a 𝒦2 Algebra Need not be Another 𝒦2 Algebra

The Yoneda algebra of a Koszul algebra or a D-Koszul algebra is Koszul. 𝒦₂ algebras are a natural generalization of Koszul algebras, and one would hope that the Yoneda algebra of a 𝒦₂ algebra would be another 𝒦₂ algebra. We show that this is not necessarily the case by constructing a monomial 𝒦₂ algebra for which the corresponding Yoneda algebra is not 𝒦₂.     

Constancy of p-harmonic maps of finite q-energy into non-positively curved manifolds

We investigate p-harmonic maps, p ≥ 2, from a complete non-compact manifold into a non-positively curved target. First, we establish a uniqueness result for the p-harmonic representative in the homotopy class of a constant map. Next, we derive a Caccioppoli inequality for the energy density of a p-harmonic map and we prove a companion Liouville type theorem, provided the domain manifold supports a Sobolev–Poincaré inequality. Finally, we obtain energy estimates for a p-harmonic map converging, with a certain speed, to a given point.      

On Euclidean distance matrices

If A is a real symmetric matrix and P is an orthogonal projection onto a hyperplane, then we derive a formula for the Moore-Penrose inverse of PAP. As an application, we obtain a formula for the Moore-Penrose inverse of an Euclidean distance matrix (EDM) which generalizes formulae for the inverse of a EDM in the literature. To an invertible spherical EDM, we associate a Laplacian matrix (which we define as a positive semidefinite n × n matrix of rank n − 1 and with zero row sums) and prove some properties. Known results for distance matrices of trees are derived as special cases. In particular, we obtain a formula due to Graham and Lovász for the inverse of the distance matrix of a tree. It is shown that if D is a nonsingular EDM and L is the associated Laplacian, then D⁻¹ − L is nonsingular and has a nonnegative inverse. Finally, infinitely divisible matrices are constructed using EDMs.     

Actions of totally disconnected groups and equivariant singular homology

We study equivariant singular homology in the case of actions of totally disconnected locally compact groups on topological spaces. Theorem A says that if G is a totally disconnected locally compact group and X is a G-space, then any short exact sequence of covariant coefficient systems for G induces a long exact sequence of corresponding equivariant singular homology groups of the G-space X. In particular we consider the case where G is a totally disconnected compact group, i.e., a profinite group, and G acts freely on X. Of special interest is the case where G is a p-adic group, p a prime. The conjecture that no p-adic group, p a prime, can act effectively on a connected topological manifold, is namely known to be equivalent to the famous Hilbert-Smith conjecture. The Hilbert-Smith conjecture is the statement that, if a locally compact group G acts effectively on a connected topological manifold M, then G is a Lie group.     

关于指数、Neuman-Sándor和二次平均的一个精确双向不等式

本文证明了双向不等式αI(a; b)+(1-α )Q(a; b) < M(a; b) < βI(a; b)+(1-β)Q(a; b) 对所有不相等的正实数a和b成立当且仅当α≥1/2 和β≤[e(√2log(1+√2)-1)]/[(√2e-2) log(1+√2)]=0:4121…,其中I(a; b), M(a; b)和Q(a; b)分别表示a和b的指数平均、Neuman-Sándor平均和二次平均.     

Transitive partial actions of groups

J. Kellendonk and M. V. Lawson established that each partial action of a group G on a set Y can be extended to a global action of G on a set Y _G containing a copy of Y. In this paper we classify transitive partial group actions. When G is a topological group acting on a topological space Y partially and transitively we give a condition for having a Hausdorff topology on Y _G such that the global group action of G on Y _G is continuous and the injection Y into Y _G is an open dense equivariant embedding.      

Norms and gauges on Clifford Algebra

From a normed quadratic space (V,q), we construct a norm on the Clifford algebra C(V,q). We describe the associated graded form of this norm and give a condition for this norm to be a gauge. Then, we apply our results to prove that for a complete discrete valued field, an anisotropic quadratic form q with dimq = 0 mod 8 and nonsplit Clifford algebra cannot be at the same time a transfer of a K-hermitian form with K∕F an inertial quadratic field extension and a transfer of a T-hermitian form with T∕F a ramified quadratic field extension.     

Goldie Extending Modules

In this article, we define a module M to be 𝒢-extending if and only if for each X ≤ M there exists a direct summand D of M such that X ∩ D is essential in both X and D. We consider the decomposition theory for 𝒢-extending modules and give a characterization of the Abelian groups which are 𝒢-extending. In contrast to the charac-terization of extending Abelian groups, we obtain that all finitely generated Abelian groups are 𝒢-extending. We prove that a minimal cogenerator for 𝒢od-R is 𝒢-extending, but not, in general, extending. It is also shown that if M is (𝒢-) extending, then so is its rational hull. Examples are provided to illustrate and delimit the theory.     

G-frames and g-frame sequences in Hilbert spaces

In this paper, we first determine the relations among the best bounds A and B of the g-frame, the g-frame operator S and the pre-frame operator Q and give a necessary and sufficient condition for a g-frame with bounds A and B in a complex Hilbert space. We also introduce the definition of a g-frame sequence and obtain a necessary and sufficient condition for a g-frame sequence with bounds A and B in a complex Hilbert space. Lastly, we consider the stability of a g-frame sequence for a complex Hilbert space under perturbation.     

The complete optimal stars-clustering-tree problem

We consider the following complete optimal stars-clustering-tree problem: Given a complete graph G=(V,E) with a weight on every edge and a collection of subsets of V, we want to find a minimum weight spanning tree T such that each subset of the vertices in the collection induces a complete star in T. One motivation for this problem is to construct a minimum cost (weight) communication tree network for a collection of (not necessarily disjoint) groups of customers such that each group induces a complete star. As a result the network will provide a “group broadcast” property, “group fault tolerance” and “group privacy”. We present another motivation from database systems with replications. For the case where the intersection graph of the subsets is connected we present a structure theorem that describes all feasible solutions. Based on it we provide a polynomial algorithm for finding an optimal solution. For the case where each subset induces a complete star minus at most k leaves we prove that the problem is NP-hard.     

Multiplier Hopf Algebras in Categories and the Biproduct Construction

Let B be a regular multiplier Hopf algebra. Let A be an algebra with a non-degenerate multiplication such that A is a left B-module algebra and a left B-comodule algebra. By the use of the left action and the left coaction of B on A, we determine when a comultiplication on A makes A into a “B-admissible regular multiplier Hopf algebra.” If A is a B-admissible regular multiplier Hopf algebra, we prove that the smash product A # B is again a regular multiplier Hopf algebra. The comultiplication on A # B is a cotwisting (induced by the left coaction of B on A) of the given comultiplications on A and B. When we restrict to the framework of ordinary Hopf algebra theory, we recover Majid’s braided interpretation of Radford’s biproduct. Presented by K. Goodearl.     

EDGE SUBDIVISIONS OF A GIVEN GEODETIC BLOCK PRESERVING ITS PROPERTY TO BE GEODETIC

1IntroductionInthispaperweshallconsideronlyundirected2-connectedsimplegraphs,i.e,graphsthatareloopless,finite,undirectedandwithoutmultipleedges.AgraphGissaidtobegeodeticifanypairofpointsofGarejoinedbyauniquepathofshortestlength,i.e,aulliquedistancepath[1].A2-connectedgeodeticgraphiscalledageodeticblock.Agrapllisgeodeticiffeachofitsblocksisgeodetic(seeStempleandWatkins['l).Obviously,oddcycle,tree,completegrapharegeodeticgraph,wecallthemthetrivialgeodeticgraph.Nowweonlycollsidertilenontrivial…     

CH, a problem of Rolewicz and bidiscrete systems

We give a construction under CH of a non-metrizable compact Hausdorff space K such that any uncountable ‘nice’ semi-biorthogonal sequence in C(K) must be of a very specific kind. The space K has many nice properties, such as being hereditarily separable, hereditarily Lindelöf and a 2-to-1 continuous preimage of a metric space, and all Radon measures on K are separable. However K is not a Rosenthal compactum.We introduce the notion of a bidiscrete system in a compact space K. These are subsets of K² which determine biorthogonal systems of a special kind in C(K) that we call nice. We note that for every infinite compact Hausdorff space K, the space C(K) has a bidiscrete system and hence a nice biorthogonal system of size d(K), the density of K.     

Global convergence of a class of non-interior point algorithms using Chen-Harker-Kanzow-Smale functions for nonlinear complementarity problems

We propose a class of non-interior point algorithms for solving the complementarity problems(CP): Find a nonnegative pair (x,y)∈ℝ ²ⁿ satisfying y=f(x) and x _i y _i =0 for every i∈{1,2,...,n}, where f is a continuous mapping from ℝ ⁿ to ℝ ⁿ . The algorithms are based on the Chen-Harker-Kanzow-Smale smoothing functions for the CP, and have the following features; (a) it traces a trajectory in ℝ ³ⁿ which consists of solutions of a family of systems of equations with a parameter, (b) it can be started from an arbitrary (not necessarily positive) point in ℝ ²ⁿ in contrast to most of interior-point methods, and (c) its global convergence is ensured for a class of problems including (not strongly) monotone complementarity problems having a feasible interior point. To construct the algorithms, we give a homotopy and show the existence of a trajectory leading to a solution under a relatively mild condition, and propose a class of algorithms involving suitable neighborhoods of the trajectory. We also give a sufficient condition on the neighborhoods for global convergence and two examples satisfying it. Received April 9, 1997 / Revised version received September 2, 1998? Published online May 28, 1999     

Rings Whose Modules Have Grade Zero

In this paper, we prove that R is a two-sided Artinian ring and J is a right annihilator ideal if and only if (i) for any nonzero right module, there is a nonzero linear map from it to a projective module; (ii) every submodule of RR is not a radical module for some right coherent rings. We call a ring a right X ring if Homa(M, R) = 0 for any right module M implies that M = 0. We can prove some left Goldie and right X rings are right Artinian rings. Moreover we characterize semisimple rings by using X rings. A famous Faith‘s conjecture is whether a semipimary PF ring is a QF ring. Similarly we study the relationship between X rings and QF and get many interesting results.