In the mid-eighties Tardos proposed a strongly polynomial algorithm for solving linear programming problems for which the size of the coefficient matrix is polynomially bounded in the dimension of the input. Combining Orlin’s primal-basedmodification andMizuno’s use of the simplex method, we introduce a modification of Tardos’ algorithm considering only the primal problem and using the simplex ...

A Fibonacci d-polytope of order k is defined as the convex hull of {0, 1}-vectors with d entries and no consecutive k ones, where k ≤ d. We show that these vertices can be partitioned into k subsets such that the convex hull of the subsets give the equivalent of Fibonacci (d− i)polytopes, for i = 1, . . . , k, which yields a “Fibonacci like” recursive formula to enumerate the vertices. Surprisi...

The work investigates the powerlocales (lower, upper, Vietoris) of localic completions of generalized metric spaces. The main result is that all three are localic completions of generalized metric powerspaces, on the Kuratowski finite powerset. Applications: (1) A localic completion is always open, and is compact iff its generalized metric space is totally bounded. (2) The Heine-Borel Theorem i...

Let X be a manifold equipped with a complete Riemannian metric of constant negative curvature and finite volume. We demonstrate the finiteness of the collection of totally geodesic immersed hypersurfaces in X that lie in the zero-level set of an arbitrary Laplace eigenfunction. For surfaces, we show that the number can be bounded just in terms of the area of the surface. We also provide constru...

In this paper we study the properties of the homology of different geometric filtered complexes (such as Vietoris–Rips, Čech and witness complexes) built on top of totally bounded metric spaces. Using recent developments in the theory of topological persistence, we provide simple and natural proofs of the stability of the persistent homology of such complexes with respect to the Gromov–Hausdorf...

We investigate the relationship between the synthetic approach to topology, in which every set is equipped with an intrinsic topology, and constructive theory of metric spaces. We relate the synthetic notion of compactness of Cantor space to Brouwer’s Fan Principle. We show that the intrinsic and metric topologies of complete separable metric spaces coincide if they do so for Baire space. In Ru...

The structure of the automorphism group of a simple TAI algebra is studied. In particular, we show that Inn(A) Inn0(A) is isomorphic (as a topological group) to an inverse limit of discrete abelian groups for a unital, simple, AH algebra with bounded dimension growth. Consequently, Inn(A) Inn0(A) is totally disconnected. Another consequence of our results is the following: Suppose A is the tran...

Suppose Q is a definite quadratic form on a vector space V over some totally real field K 6= Q. Then the maximal integral ZK-lattices in (V,Q) are locally isometric everywhere and hence form a single genus. We enumerate all orthogonal spaces (V,Q) of dimension at least 3, where the corresponding genus of maximal integral lattices consists of a single isometry class. It turns out, there are 469 ...

Cauchy discovered before 1821 that a function satisfying the equation ƒ(*)+ƒ (y) =f(* + y) is either continuous or totally discontinuous. After Hamel showed the existence of a discontinuous function satisfying the equation, many mathematicians have concerned themselves with problems arising from the study of such functions. However the following question seems to have gone unanswered : Since th...

Let X be a proper CAT(0)-space and let G be a closed subgroup of the isometry group Iso(X) of X. We show that if G is non-elementary and contains a rank-one element then its second bounded cohomology group with coefficients in the regular representation is non-trivial. As a consequence, up to passing to an open subgroup of finite index, either G is a compact extension of a totally disconnected ...