Balanced complexes and complexes without large missing faces

The face numbers of simplicial complexes without missing faces of dimension larger than i are studied. It is shown that among all such (d−1)-dimensional complexes with non-vanishing top homology, a certain polytopal sphere has the componentwise minimal f-vector; and moreover, among all such 2-Cohen–Macaulay (2-CM) complexes, the same sphere has the componentwise minimal h-vector. It is also verified that the l-skeleton of a flag (d−1)-dimensional 2-CM complex is 2(d−l)-CM, while the l-skeleton of a flag piecewise linear (d−1)-sphere is 2(d−l)-homotopy CM. In addition, tight lower bounds on the face numbers of 2-CM balanced complexes in terms of their dimension and the number of vertices are established.     

An improvement of the Arzela–Ascoli theorem

For the classical Arzela–Ascoli theorem and its typical modern formulation, we have improved the sufficiency part by weakening the compactness of the domain space, and the necessity part is improved by strengthening the necessity part of the classical version.     

An alternative theorem for set-valued maps via set relations and its application to robustness of feasible sets

Abstract

This paper contains a generalized Gordan-type alternative theorem for set-valued maps which characterizes set relations without any convexity assumptions using certain evaluation functions. As a direct consequence and as a good example, we discuss robustness (or stability) of linear programming problems for modelling error. Moreover, this theorem can be utilized for that of general vector optimization problems in special cases due to reformation of the evaluation functions.     

The Minimax Equality; Sufficient and Necessary Conditions

The paper produces new versions of the minimax theorem based on original conditions. Moreover, we investigate not only the sufficiency, but also the necessity of such conditions. The proofs are very simple and preclude any topological technique.     

Possibility-theoretic extension of derivation operators in formal concept analysis over fuzzy lattices

Formal concept analysis (FCA) associates a binary relation between a set of objects and a set of properties to a lattice of formal concepts defined through a Galois connection. This relation is called a formal context, and a formal concept is then defined by a pair made of a subset of objects and a subset of properties that are put in mutual correspondence by the connection. Several fuzzy logic approaches have been proposed for inducing fuzzy formal concepts from L-contexts based on antitone L-Galois connections. Besides, a possibility-theoretic reading of FCA which has been recently proposed allows us to consider four derivation powerset operators, namely sufficiency, possibility, necessity and dual sufficiency (rather than one in standard FCA). Classically, fuzzy FCA uses a residuated algebra for maintaining the closure property of the composition of sufficiency operators. In this paper, we enlarge this framework and provide sound minimal requirements of a fuzzy algebra w.r.t. the closure and opening properties of antitone L-Galois connections as well as the closure and opening properties of isotone L-Galois connections. We apply these results to particular compositions of the four derivation operators. We also give some noticeable properties which may be useful for building the corresponding associated lattices.     

Signable posets and partitionable simplicial complexes

The notion of apartitionable simplicial complex is extended to that of asignable partially ordered set. It is shown in a unified way that face lattices of shellable polytopal complexes, polyhedral cone fans, and oriented matroid polytopes, are all signable. Each of these classes, which are believed to be mutually incomparable, strictly contains the class of convex polytopes. A general sufficient condition, termedtotal signability, for a simplicial complex to satisfy McMullen's Upper Bound Theorem on the numbers of faces, is provided. The simplicial members of each of the three classes above are concluded to be partitionable and to satisfy the upper bound theorem. The computational complexity of face enumeration and of deciding partitionability is discussed. It is shown that under a suitable presentation, the face numbers of a signable simplicial complex can be efficiently computed. In particular, the face numbers of simplicial fans can be computed in polynomial time, extending the analogous statement for convex polytopes. The research of S. Onn was supported by the Alexander von Humboldt Stifnung, by the Fund for the Promotion of Research at the Technion, and by Technion VPR fund 192–198.     

The inverse eigenvalue problem for linear trees

We prove the sufficiency of the Linear Superposition Principle for linear trees, which characterizes the spectra achievable by a real symmetric matrix whose underlying graph is a linear tree. The necessity was previously proven in [10]. This is the most general class of trees for which the inverse eigenvalue problem has been solved. We explore many consequences, including the Degree Conjecture for possible spectra, upper bounds for the minimum number of eigenvalues of multiplicity 1, and the equality of the diameter of a linear tree and its minimum number of distinct eigenvalues.     

Poincaré-Hopf inequalities

In this article the main theorem establishes the necessity and sufficiency of the Poincaré-Hopf inequalities in order for the Morse inequalities to hold. The convex hull of the collection of all Betti number vectors which satisfy the Morse inequalities for a pre-assigned index data determines a Morse polytope defined on the nonnegative orthant. Using results from network flow theory, a scheme is provided for constructing all possible Betti number vectors which satisfy the Morse inequalities for a pre-assigned index data. Geometrical properties of this polytope are described.

     

Combinatorics of Polytopes with a Group of Linear Symmetries of Prime Power Order

Generalizing a result of Stanley on centrally symmetric polytopes, Adin has derived tight lower bounds for the face numbers of a rational simplical polytope equipped with a fixed-point-free linear action of a cyclic group G of prime power order. The main goal of this paper is to extend these results further by replacing Adins fixed-point-free condition with the assumption that the action of G is proper. As corollaries, we obtain a generalization of Adins equivariant lower bound theorem and of a condition by Stanley implying combinatorial isomorphism with a minimal polytope. Finally, we prove sufficiency of an equivariant version of the McMullen and Walkup generalized lower bound conjecture.     

Quaternionic geometry of matroids

Building on a recent paper [8], here we argue that the combinatorics of matroids are intimately related to the geometry and topology of toric hyperkähler varieties. We show that just like toric varieties occupy a central role in Stanley’s proof for the necessity of McMullen’s conjecture (or g-inequalities) about the classification of face vectors of simplicial polytopes, the topology of toric hyperkähler varieties leads to new restrictions on face vectors of matroid complexes. Namely in this paper we will give two proofs that the injectivity part of the Hard Lefschetz theorem survives for toric hyperkähler varieties. We explain how this implies the g-inequalities for rationally representable matroids. We show how the geometrical intuition in the first proof, coupled with results of Chari [3], leads to a proof of the g-inequalities for general matroid complexes, which is a recent result of Swartz [20]. The geometrical idea in the second proof will show that a pure O-sequence should satisfy the g-inequalities, thus showing that our result is in fact a consequence of a long-standing conjecture of Stanley.     

Poincaré-Hopf inequalities for periodic orbits

The interplay between the dynamics of a nonsingular Morse-Smale flow on a smooth, closed, n-dimensional manifold, M, and the topology of M, was exhibited in Franks (Comment Math Helv 53(2):279?C294, 1978), Smale (Bull Am Math Soc 66:43?C49, 1960), by means of a collection of inequalities, which we refer to as Morse-Smale inequalities. These inequalities relate the number of closed orbits of each index to the Betti numbers of M. These well-known inequalities provide the necessary conditions for a given dynamical data in the form of a specified number of closed orbits of a given index to be realized as a nonsingular Morse-Smale flow on M. In this article we provide two inequalities, hereby referred to as Poincaré-Hopf inequalities for periodic orbits, which imposes constraints on the dynamics of periodic orbits without reference to the Betti numbers of the manifold M. The main theorem establishes the necessity and sufficiency of the Poincaré-Hopf inequalities in order for the Morse-Smale inequalities to hold.     

An extension of a result of Sierpiński

As an application of Roth's theorem concerning the rational approximation of algebraic numbers, two sufficiency conditions are derived for an alternating series of rational terms to converge to a transcendental number. The first of these conditions represents an extension of an earlier condition of Sierpiński for the convergence of alternating series to irrational values.     

Subdivisions of Toric Complexes

We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extends Stanley and Reisner’s face ring for abstract simplicial complexes [20] and Stanley’s face ring for rational fans [21]. Given a toric complex with defining ideal I for the face ring we give a geometrical interpretation of the initial ideals of I with respect to weight orders in terms of subdivisions of the toric complex generalizing a theorem of Sturmfels in [23]. We apply our results to study edgewise subdivisions of abstract simplicial complexes.     

A note on a sufficiency theorem for optimal control

A sufficiency theorem for optimal control is given; this theorem is somewhat more general than one given earlier by the author. The theorem is applied to a linear, time-optimal problem.This work was supported by the Office of Naval Research, Contract No. Nonr 3656 (31).     

Moment-angle complexes from simplicial posets

We extend the construction of moment-angle complexes to simplicial posets by associating a certain T ^m -space Z _S to an arbitrary simplicial poset S on m vertices. Face rings ℤ[S] of simplicial posets generalise those of simplicial complexes, and give rise to new classes of Gorenstein and Cohen-Macaulay rings. Our primary motivation is to study the face rings ℤ[S] by topological methods. The space Z _S has many important topological properties of the original moment-angle complex Z _K associated to a simplicial complex K. In particular, we prove that the integral cohomology algebra of Z _S is isomorphic to the Tor-algebra of the face ring ℤ[S]. This leads directly to a generalisation of Hochster’s theorem, expressing the algebraic Betti numbers of the ring ℤ[S] in terms of the homology of full subposets in S. Finally, we estimate the total amount of homology of Z _S from below by proving the toral rank conjecture for the moment-angle complexes Z _S .     

Law of large numbers for Betti numbers of homogeneous and spatially independent random simplicial complexes

The Linial–Meshulam complex model is a natural higher dimensional analog of the Erd?s–Rényi graph model. In recent years, Linial and Peled established a limit theorem for Betti numbers of Linial–Meshulam complexes with an appropriate scaling of the underlying parameter. The present article aims to extend that result to more general random simplicial complex models. We introduce a class of homogeneous and spatially independent random simplicial complexes, including the Linial–Meshulam complex model and the random clique complex model as special cases, and we study the asymptotic behavior of their Betti numbers. Moreover, we obtain the convergence of the empirical spectral distributions of their Laplacians. A key element in the argument is the local weak convergence of simplicial complexes. Inspired by the work of Linial and Peled, we establish the local weak limit theorem for homogeneous and spatially independent random simplicial complexes.     

On a theorem of Erdös and Szekeres

In this note we generalize a theorem of Erdös and Szekeres, which states that every sequence of real numbers of length n² + 1 has a monotone subsequence of length n + 1, for points in certain metric spaces (R^k, d), where d is a Minkowski metric. Three theorems are proved concerning preassigned numbers of points which must lie on the same geodesic of the space, the last of which characterizes the class of Minkowski spaces under discussion.     

An elementary sufficiency proof of an absolute minimum for a nonparametric variational problem

For a fixed endpoint, nonparametric simple integral variational problem, there is presented an expansion method proof of a sufficiency theorem for an absolute minimum. In particular, this sufficiency theorem yields readily the proof of a result of the type recently presented by Nehari (Ref. 1), but with an error in formulation and an incorrect proof. The present discussion is in a setting which permits considered arcs to be on the boundary of the set of admissible arcs; thus it contains as particular instances certain types of unilateral variational problems of a control nature.This research was supported by the National Science Foundation under Grant No. GP-36120.     

Blow up of balls and coverings in metric spaces

We obtain some refinements and extensions of the Basic Covering Theorem in a metric space (X, ρ). The properties of the metric ρ are used to define an inclusion coefficient k in this theorem, and this is related to the supremum of numbers t such that ρ ^t is a metric in X. The inclusion coefficient k characterizes ultrametric spaces.     

整函数与其差分算子分担集合的唯一性问题

考虑整函数与其差分算子分担集合的唯一性问题.假设S={ω:ω~n+aw~(n-1)+b=0},m,n为两个正整数满足n2且n和n一m互素,a和b为两个非零复数使得方程ω~n+aw~n+b=0无重根.设f为满足λ(f)ρ(f)∞的非常数整函数,若f(z)和△_cf(z)CM分担集合S,则f(z+c)≡2f(z).这个结果改进了李效敏的定理.