Dirac’s Theorem on Simplicial Matroids

We introduce the notion of k-hyperclique complexes, i.e., the largest simplicial complexes on the set [n] with a fixed k-skeleton. These simplicial complexes are a higher-dimensional analogue of clique (or flag) complexes (case k = 2) and they are a rich new class of simplicial complexes. We show that Dirac’s theorem on chordal graphs has a higher-dimensional analogue in which graphs and clique complexes get replaced, respectively, by simplicial matroids and k-hyperclique complexes. We prove also a higher-dimensional analogue of Stanley’s reformulation of Dirac’s theorem on chordal graphs.      

(Bi-)Cohen–Macaulay Simplicial Complexes and Their Associated Coherent Sheaves

ABSTRACT

Via the BGG correspondence, a simplicial complex Δ on [n] is transformed into a complex of coherent sheaves on P ^n?1. We show that this complex reduces to a coherent sheaf ? exactly when the Alexander dual Δ* is Cohen–Macaulay.

We then determine when both Δ and Δ* are Cohen–Macaulay. This corresponds to ? being a locally Cohen–Macaulay sheaf.

Lastly, we conjecture for which range of invariants of such Δ's it must be a cone, and show the existence of such Δ's which are not cones outside of this range.     

Ramanujan’s inverse elliptic arc approximation

We suggest a continued fraction origin to Ramanujan’s approximation to $(\frac{a-b}{a+b})^{2}$ in terms of the arc length of an ellipse with semiaxes a and b.     

Baxter’s difference systems and orthogonal rational functions

Rational functions orthogonal on the unit circle are considered beginning with their recurrence formulas. Various summability conditions are imposed on the recurrence coefficients and the asymptotics of the solutions are studied and the orthogonality measure is recovered. The techniques developed by Baxter and Benzaid and Lutz are used.     

Equivalent condition for approximately Cohen–Macaulay complexes

We give a necessary and sufficient condition for a simplicial complex to be approximately Cohen–Macaulay. Namely it is approximately Cohen–Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear and generated in two consecutive degrees. This completes the result of J. Herzog and T. Hibi who proved that a simplicial complex is sequentially Cohen–Macaulay if and only if the ideal associated to its Alexander dual is componentwise linear.     

On Baxter’s difference systems

We study the asymptotics of solutions of a difference system introduced by Baxter by using the general method for the asymptotic representation of such solutions due to Benzaid and Lutz. Some results of Tauberian type are obtained in the case when the spectral parameter belongs to the unit circle.     

New integrable systems with a quartic integral and new generalizations of Kovalevskaya’s and Goriatchev’s cases

In his paper [1], one of us has introduced a method for constructing integrable conservative two-dimensional mechanical systems, on Riemannian 2D spaces, whose second integral is a polynomial in the velocities. This method was applied successfully in [2] to construction of systems admitting a cubic integral and in [3, 4] and [5] to cases of a quartic integral. The present work is devoted to construction of new integrable systems with a quartic integral. The potential is assumed to have the structure

A generalization of k-Cohen–Macaulay simplicial complexes

For a positive integer k and a non-negative integer t, a class of simplicial complexes, to be denoted by k-CM _t , is introduced. This class generalizes two notions for simplicial complexes: being k-Cohen–Macaulay and k-Buchsbaum. In analogy with the Cohen–Macaulay and Buchsbaum complexes, we give some characterizations of CM _t (=1?CM _t ) complexes, in terms of vanishing of some homologies of its links, and in terms of vanishing of some relative singular homologies of the geometric realization of the complex and its punctured space. We give a result on the behavior of the CM _t property under the operation of join of two simplicial complexes. We show that a complex is k-CM _t if and only if the links of its non-empty faces are k-CM _t?1. We prove that for an integer s≤d, the (d?s?1)-skeleton of a (d?1)-dimensional k-CM _t complex is (k+s)-CM _t . This result generalizes Hibi’s result for Cohen–Macaulay complexes and Miyazaki’s result for Buchsbaum complexes.     

Jacobson’s lemma for the generalized Drazin inverse

0truemm0truemm We study properties of elements in a ring which admit the generalized Drazin inverse. It is shown that the element 1-ab is generalized Drazin invertible if and only if so is 1-ba and a formula for the generalized Drazin inverse of 1-ba in terms of the generalized Drazin inverse and the spectral idempotent of 1-ab is provided. Further, recent results relating to the Drazin index can be recovered from our theorems.     

Quillen’s stratification for fusion systems

The purpose of this note is to provide a reference for the fact that the proof of Quillen’s stratification for finite group cohomology carries over to fusion system. As in the case of Quillen’s stratification for block varieties, the proof is similar to the usual proof for group cohomology except for the use of fusion stable bisets, whose existence is due to Broto et al.     

Generalizations of Darbo’s fixed point theorem and solvability of integral and differential systems

In this paper, we establish some new generalizations of Darbo’s fixed point theorem for multivalued mappings. Moreover, we prove the existence of solutions for a class of integral equations by Darbo’s fixed point theorem and the existence of solutions for a class of differential inclusions using a generalization of Darbo’s fixed point theorem.     

Residue integrals and Waring’s formulas for algebraic or even transcendental systems

The present article is focused on the study of a special class of systems of non-linear transcendental equations for which classical algebraic and symbolic methods are inapplicable. For the purpose of study of such systems we develop a method for computing residue integrals with integration over certain cycles. We describe conditions under which the mentioned residue integrals coincide with power sums of the inverses to the roots of a system of equations (i.e. multidimensional Waring’s formulas). Based on this, we develop an algorithm that computes such power sums without computing the roots. As an application of the suggested method, we consider a problem of finding sums of multi-variable number series.     

Normal systems over ANR’s, rigid embeddings and nonseparable absorbing sets

Most of results of Bestvina and Mogilski [Characterizing certain incomplete infinite-di-mensional absolute retracts. Michigan Math. J., 33, 291-313 (1986)] on strong Z-sets in ANR's and absorbing sets is generalized to nonseparable case. It is shown that if an ANR X is locally homotopy dense embeddable in infinite-dimensional Hilbert manifolds and w(U ) = w(X ) (where "w"is the topological weight) for each open nonempty subset U of X , then X itself is homotopy dense embeddable in a Hilbert manifold. It is also demonstrated that whenever X is an AR, its weak product W (X, ) = {(x n ) ∞ n=1 ∈ X ω : x n = for almost all n} is homeomorphic to a pre-Hilbert space E with E ～ = ΣE. An intrinsic characterization of manifolds modelled on such pre-Hilbert spaces is given.     

Coefficient inverse problem for Poisson’s equation in a cylinder

The inverse problem of determining the coefficient on the right-hand side of Poisson’s equation in a cylindrical domain is considered. The Dirichlet boundary value problem is studied. Two types of additional information (overdetermination) can be specified: (i) the trace of the solution to the boundary value problem on a manifold of lower dimension inside the domain and (ii) the normal derivative on a portion of the boundary. (Global) existence and uniqueness theorems are proved for the problems. The study is performed in the class of continuous functions whose derivatives satisfy a Hölder condition.     

Convergence of Rump’s method for computing the Moore-Penrose inverse

We extend Rump’s verified method (S.Oishi, K.Tanabe, T.Ogita, S.M.Rump (2007)) for computing the inverse of extremely ill-conditioned square matrices to computing the Moore-Penrose inverse of extremely ill-conditioned rectangular matrices with full column (row) rank. We establish the convergence of our numerical verified method for computing the Moore-Penrose inverse. We also discuss the rank-deficient case and test some ill-conditioned examples. We provide our Matlab codes for computing the Moore-Penrose inverse.     

Boundary regularity for the Ricci equation, geometric convergence, and Gel’fand’s inverse boundary problem

This paper explores and ties together three themes. The first is to establish regularity of a metric tensor, on a manifold with boundary, on which there are given Ricci curvature bounds, on the manifold and its boundary, and a Lipschitz bound on the mean curvature of the boundary. The second is to establish geometric convergence of a (sub)sequence of manifolds with boundary with such geometrical bounds and also an upper bound on the diameter and a lower bound on injectivity and boundary injectivity radius, making use of the first part. The third theme involves the uniqueness and conditional stability of an inverse problem proposed by Gelfand, making essential use of the results of the first two parts.