A simplicial homology algorithm for Lipschitz optimisation

The simplicial homology global optimisation (SHGO) algorithm is a general purpose global optimisation algorithm based on applications of simplicial integral homology and combinatorial topology. SHGO approximates the homology groups of a complex built on a hypersurface homeomorphic to a complex on the objective function. This provides both approximations of locally convex subdomains in the search space through Sperner’s lemma and a useful visual tool for characterising and efficiently solving higher dimensional black and grey box optimisation problems. This complex is built up using sampling points within the feasible search space as vertices. The algorithm is specialised in finding all the local minima of an objective function with expensive function evaluations efficiently which is especially suitable to applications such as energy landscape exploration. SHGO was initially developed as an improvement on the topographical global optimisation (TGO) method. It is proven that the SHGO algorithm will always outperform TGO on function evaluations if the objective function is Lipschitz smooth. In this paper SHGO is applied to non-convex problems with linear and box constraints with bounds placed on the variables. Numerical experiments on linearly constrained test problems show that SHGO gives competitive results compared to TGO and the recently developed Lc-DISIMPL algorithm as well as the PSwarm, LGO and DIRECT-L1 algorithms. Furthermore SHGO is compared with the TGO, basinhopping (BH) and differential evolution (DE) global optimisation algorithms over a large selection of black-box problems with bounds placed on the variables from the SciPy benchmarking test suite. A Python implementation of the SHGO and TGO algorithms published under a MIT license can be found from https://bitbucket.org/upiamcompthermo/shgo/.     

Locally connected simplicial maps

In Propositions 1.6 and 7.6 of his paper onp-group complexes of finite groups [5], Quillen establishes fundamental results comparing the homology and the fundamental group of the order complexes of posetsP, Q admitting a mapf :P →Q of posets with good local behavior. We prove the analogue of Quillen’s results for mapsf :K→L of simplicial complexesK andL in a more general setup. This work was partially supported by BSF 88-00164. The first author is partially supported by NSF DMS-8721480 and NSA MDA90-88-H-2032.     

A generalization of a theorem of Ky Fan on simplicial maps

A combinatorial result is proved which generalizes a theorem of Ky Fan on simplicial maps from a pseudomanifold. A version of the Kronecker Theorem in Topology is also derived as a special case.     

Homotopy simplicial faces and the homology of realizations of simplicial topological spaces

The notion of a differential module with homotopy simplicial faces is introduced, which is a homotopy analog of the notion of a differential module with simplicial faces. The homotopy invariance of the structure of a differential module with homotopy simplicial faces is proved. Relationships between the construction of a differential module with homotopy simplicial faces and the theories of A _∞-algebras and D _∞-differential modules are found. Applications of the method of homotopy simplicial faces to describing the homology of realizations of simplicial topological spaces are presented.     

Iterated homology and decompositions of simplicial complexes

Kalai has conjectured that a simplicial complex can be partitioned into Boolean algebras at least as roughly, as a shifting-preserving collapse sequence of its algebraically shifted complex. In particular, then, a simplicial complex could (conjecturally) be partitioned into Boolean intervals whose sizes are indexed by its iterated Betti numbers, a generalization of ordinary homology Betti numbers. This would imply a long-standing conjecture made (separately) by Garsia and Stanley concerning partitions of Cohen-Macaulay complexes into Boolean intervals. We prove a relaxation of Kalai’s conjecture, showing that a simplicial complex can be partitioned into recursively defined spanning trees of Boolean intervals indexed by its iterated Betti numbers.     

A simplicial formula and bound for the Euler class

LetG be the discrete group of orientation preserving diffeomorphisms of the circle. An explicit simplicial formula on the level of the bar construction is given for the Euler Class of a circle bundle with structure groupG. An upper bound for the Euler Class is obtained which, when the base space of the bundle is a closed orientable surface, reduces to that of J. Wood. An invariant of circle bundles, complexity, is defined which “detects” the upper bound. Partially supported by a grant from the N.S.F.     

Equivariant Lefschetz maps for simplicial complexes and smooth manifolds

Let X be a locally compact space with a continuous proper action of a locally compact group G. Assuming that X satisfies a certain kind of duality in equivariant bivariant Kasparov theory, we can enrich the classical construction of Lefschetz numbers for self-maps to an equivariant K-homology class. We compute the Lefschetz invariants for self-maps of finite-dimensional simplicial complexes and smooth manifolds. The resulting invariants are independent of the extra structure used to compute them. Since smooth manifolds can be triangulated, we get two formulas for the same Lefschetz invariant in this case. The resulting identity is closely related to the equivariant Lefschetz Fixed Point Theorem of Lück and Rosenberg.     

Breaking up simplicial homology and subadditivity of syzygies

Journal of Algebraic Combinatorics - We consider the following question: If a simplicial complex $$Gamma $$ has d-homology, then does the corresponding d-cycle always induce cycles of smaller...     

Homotopy and homology of simplicial abelian Hopf algebras

Let A be a simplicial bicommutative Hopf algebra over the field with the property that . We show that is a functor of the André-Quillen homology of A, where A is regarded as an algebra. Then we give a method for calculating that André-Quillen homology independent of knowledge of . Received November 15, 1996 ; in final form March 15, 1997     

Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups

Let S be a closed, connected, orientable surface of genus at least 3, be the complex of curves on S and be the extended mapping class group of S. We prove that a simplicial map, , preserves nondisjointness (i.e. if α and β are two vertices in and i(α,β)≠0, then i(λ(α),λ(β))≠0) iff it is induced by a homeomorphism of S. As a corollary, we prove that if K is a finite index subgroup of and is an injective homomorphism, then f is induced by a homeomorphism of S and f has a unique extension to an automorphism of .     

A selection theorem for a new class of set-valued maps

A new class of set-valued maps that includes all upper and lower semicontinuous set-valued maps is introduced. For this class, a selection theorem having applications in the theory of differential inclusions is presented. Translated fromMatematicheskie Zametki, Vol. 66, No. 4, pp. 503–507, October, 1999.     

A fixed point theorem for a class of Sobolev maps

We prove an analog of the Brouwer fixed point theorem for a map whose differential and adjoint are integrable with exponents n−1 and n/(n−1) respectively. Here Ω is a convex bounded open subset of Rⁿ.

---

     

Two combinatorial properties of a class of simplicial polytopes

Letf(P _s ^d ) be the set of allf-vectors of simpliciald-polytopes. ForP a simplicial 2d-polytope let Σ(P) denote the boundary complex ofP. We show that for eachf ∈f(P _s ^d ) there is a simpliciald-polytopeP withf(P)=f such that the 11 02 simplicial diameter of Σ(P) is no more thanf ₀(P)−d+1 (one greater than the conjectured Hirsch bound) and thatP admits a subdivision into a simpliciald-ball with no new vertices that satisfies the Hirsch property. Further, we demonstrate that the number of bistellar operations required to obtain Σ(P) from the boundary of ad-simplex is minimum over the class of all simplicial polytopes with the samef-vector. This polytopeP will be the one constructed to prove the sufficiency of McMullen's conditions forf-vectors of simplicial polytopes.     

Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups II

Let R be a compact, connected, orientable surface of genus g with p boundary components. Let C(R) be the complex of curves on R and be the extended mapping class group of R. Suppose that either g=2 and p?2 or g?3 and p?0. We prove that a simplicial map is superinjective if and only if it is induced by a homeomorphism of R. As a corollary, we prove that if K is a finite index subgroup of and is an injective homomorphism, then f is induced by a homeomorphism of R and f has a unique extension to an automorphism of . This extends the author's previous results about closed connected orientable surfaces of genus at least 3, to the surface R.     

一类调和映射的边界正则性

讨论一类映入球面的满足拟单调不等式的弱调和映射的边界正则性。利用函数的延拓技巧以及Hardy空间和BMO空间的对偶性，对这类弱调和映射的边界正则性给出一个简明的证明。     

On a class of twistorial maps

We show that a natural class of twistorial maps gives a pattern for apparently different geometric maps, such as, (1,1)-geodesic immersions from (1,2)-symplectic almost Hermitian manifolds and pseudo horizontally conformal submersions with totally geodesic fibres for which the associated almost CR-structure is integrable. Along the way, we construct for each constant curvature Riemannian manifold (M,g), of dimension m, a family of twistor spaces such that Zr(M) parametrizes naturally the set of pairs (P,J), where P is a totally geodesic submanifold of (M,g), of codimension 2r, and J is an orthogonal complex structure on the normal bundle of P which is parallel with respect to the normal connection.     

Boundary partial regularity for a class of biharmonic maps

We consider the Dirichlet problem for biharmonic maps u from a bounded, smooth domain ${\Omega\subset\mathbb R^n (n\ge 5)}$ to a compact, smooth Riemannian manifold ${N\subset{\mathbb {R}}^l}$ without boundary. For any smooth boundary data, we show that if u is a stationary biharmonic map that satisfies a certain boundary monotonicity inequality, then there exists a closed subset ${\Sigma\subset\overline{\Omega}}$ , with ${H^{n-4}(\Sigma)=0}$ , such that ${\displaystyle u\in C^\infty(\overline\Omega\setminus\Sigma, N)}$ .