-
About the Kannan-Bachem algorithm
Authors:
Francis Sergeraert
Abstract:
The Smith reduction is a basic tool when analyzing integer matrices up to equivalence, and the Kannan-Bachem (KB) algorithm is the first polynomial algorithm computing such a reduction. Using this algorithm in complicated situations where the rank of the studied matrix is not maximal revealed an unexpected obstacle in the algorithm. This difficulty is described, analyzed, a simple solution is give…
▽ More
The Smith reduction is a basic tool when analyzing integer matrices up to equivalence, and the Kannan-Bachem (KB) algorithm is the first polynomial algorithm computing such a reduction. Using this algorithm in complicated situations where the rank of the studied matrix is not maximal revealed an unexpected obstacle in the algorithm. This difficulty is described, analyzed, a simple solution is given to overcome it, finally leading to a general organization of the KB algorithm, simpler than the original one, efficient and having a general scope.
△ Less
Submitted 22 October, 2024;
originally announced November 2024.
-
Functional Programming is Free
Authors:
Francis Sergeraert
Abstract:
A paper has recently been published in SIAM-JC. This paper is faulty: 1) The standard requirements about the definition of an algorithm are not respected, 2) The main point in the complexity study, namely the functional programming component, is absent. The Editorial Board of the SIAM JC had been warned a confirmed publication would be openly commented, it is the role of this text.
A paper has recently been published in SIAM-JC. This paper is faulty: 1) The standard requirements about the definition of an algorithm are not respected, 2) The main point in the complexity study, namely the functional programming component, is absent. The Editorial Board of the SIAM JC had been warned a confirmed publication would be openly commented, it is the role of this text.
△ Less
Submitted 2 April, 2015;
originally announced April 2015.
-
Effective persistent homology of digital images
Authors:
Ana Romero,
Julio Rubio,
Francis Sergeraert
Abstract:
In this paper, three Computational Topology methods (namely effective homology, persistent homology and discrete vector fields) are mixed together to produce algorithms for homological digital image processing. The algorithms have been implemented as extensions of the Kenzo system and have shown a good performance when applied on some actual images extracted from a public dataset.
In this paper, three Computational Topology methods (namely effective homology, persistent homology and discrete vector fields) are mixed together to produce algorithms for homological digital image processing. The algorithms have been implemented as extensions of the Kenzo system and have shown a good performance when applied on some actual images extracted from a public dataset.
△ Less
Submitted 6 October, 2014;
originally announced December 2014.
-
Defining and computing persistent Z-homology in the general case
Authors:
Ana Romero,
Jónathan Heras,
Julio Rubio,
Francis Sergeraert
Abstract:
By general case we mean methods able to process simplicial sets and chain complexes not of finite type. A filtration of the object to be studied is the heart of both subjects persistent homology and spectral sequences. In this paper we present the complete relation between them, both from theoretical and computational points of view. One of the main contributions of this paper is the observation t…
▽ More
By general case we mean methods able to process simplicial sets and chain complexes not of finite type. A filtration of the object to be studied is the heart of both subjects persistent homology and spectral sequences. In this paper we present the complete relation between them, both from theoretical and computational points of view. One of the main contributions of this paper is the observation that a slight modification of our previous programs computing spectral sequences is enough to compute also persistent homology. By inheritance from our spectral sequence programs, we obtain for free persistent homology programs applicable to spaces not of finite type (provided they are spaces with effective homology) and with Z-coefficients (significantly generalizing the usual presentation of persistent homology over a field). As an illustration, we compute some persistent homology groups (and the corresponding integer barcodes) in the case of a Postnikov tower.
△ Less
Submitted 31 March, 2014; v1 submitted 26 March, 2014;
originally announced March 2014.
-
Constructive Homological Algebra and Applications
Authors:
Julio Rubio,
Francis Sergeraert
Abstract:
This text was written and used for a MAP Summer School at the University of Genova, August 28 to September 2, 2006. Available since then on the web site of the second author, it has been used and referenced by several colleagues working in Commutative Algebra and Algebraic Topology. To make safer such references, it was suggested to place it on the Arxiv repository.
It is a relatively detailed e…
▽ More
This text was written and used for a MAP Summer School at the University of Genova, August 28 to September 2, 2006. Available since then on the web site of the second author, it has been used and referenced by several colleagues working in Commutative Algebra and Algebraic Topology. To make safer such references, it was suggested to place it on the Arxiv repository.
It is a relatively detailed exposition of the use of the Basic Perturbation Lemma to make constructive Homological Algebra (standard Homological Algebra is not constructive) and how this technology can be used in Commutative Algebra (Koszul complexes) and Algebraic Topology (effective versions of spectral sequences).
△ Less
Submitted 22 August, 2013; v1 submitted 19 August, 2012;
originally announced August 2012.
-
Polynomial-time homology for simplicial Eilenberg-MacLane spaces
Authors:
Marek Krcal,
Jiri Matousek,
Francis Sergeraert
Abstract:
In an earlier paper of Cadek, Vokrinek, Wagner, and the present authors, we investigated an algorithmic problem in computational algebraic topology, namely, the computation of all possible homotopy classes of maps between two topological spaces, under suitable restriction on the spaces.
We aim at showing that, if the dimensions of the considered spaces are bounded by a constant, then the computa…
▽ More
In an earlier paper of Cadek, Vokrinek, Wagner, and the present authors, we investigated an algorithmic problem in computational algebraic topology, namely, the computation of all possible homotopy classes of maps between two topological spaces, under suitable restriction on the spaces.
We aim at showing that, if the dimensions of the considered spaces are bounded by a constant, then the computations can be done in polynomial time. In this paper we make a significant technical step towards this goal: we show that the Eilenberg-MacLane space K(Z,1), represented as a simplicial group, can be equipped with polynomial-time homology (this is a polynomial-time version of effective homology considered in previous works of the third author and co-workers). To this end, we construct a suitable discrete vector field, in the sense of Forman's discrete Morse theory, on K(Z,1). The construction is purely combinatorial and it can be understood as a certain procedure for reducing finite sequences of integers, without any reference to topology.The Eilenberg-MacLane spaces are the basic building blocks in a Postnikov system, which is a "layered" representation of a topological space suitable for homotopy-theoretic computations.
Employing the result of this paper together with some other results on polynomial-time homology, in another paper we obtain, for every fixed k, a polynomial-time algorithm for computing the k-th homotopy group pi_k(X) of a given simply connected space X, as well as the first k stages of a Postnikov system for X, and also a polynomial-time version of the algorithm of Cadek et al. mentioned above.
△ Less
Submitted 12 May, 2013; v1 submitted 30 January, 2012;
originally announced January 2012.
-
Computing all maps into a sphere
Authors:
Martin Čadek,
Marek Krčál,
Jiří Matoušek,
Francis Sergeraert,
Lukáš Vokřínek,
Uli Wagner
Abstract:
Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the goal is to compute [X,Y], i.e., all homotopy classes of such maps. We solve this problem in the stable range, where for some d >= 2, we have dim X <= 2d - 2 and…
▽ More
Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the goal is to compute [X,Y], i.e., all homotopy classes of such maps. We solve this problem in the stable range, where for some d >= 2, we have dim X <= 2d - 2 and Y is (d - 1)-connected; in particular, Y can be the d-dimensional sphere S^d. The algorithm combines classical tools and ideas from homotopy theory (obstruction theory, Postnikov systems, and simplicial sets) with algorithmic tools from effective algebraic topology (locally effective simplicial sets and objects with effective homology). In contrast, [X,Y] is known to be uncomputable for general X,Y, since for X = S^1 it includes a well known undecidable problem: testing triviality of the fundamental group of Y. In follow-up papers, the algorithm is shown to run in polynomial time for d fixed, and extended to other problems, such as the extension problem, where we are given a subspace A of X and a map A -> Y and ask whether it extends to a map X -> Y, or computing the Z_2-index---everything in the stable range. Outside the stable range, the extension problem is undecidable.
△ Less
Submitted 30 January, 2014; v1 submitted 31 May, 2011;
originally announced May 2011.
-
Discrete Vector Fields and Fundamental Algebraic Topology
Authors:
Ana Romero,
Francis Sergeraert
Abstract:
We show in this text how the most important homology equivalences of fundamental Algebraic Topology can be obtained as reductions associated to discrete vector fields. Mainly the homology equivalences whose existence -- most often non-constructive -- is proved by the main spectral sequences, the Serre and Eilenberg-Moore spectral sequences. On the contrary, the constructive existence is here syste…
▽ More
We show in this text how the most important homology equivalences of fundamental Algebraic Topology can be obtained as reductions associated to discrete vector fields. Mainly the homology equivalences whose existence -- most often non-constructive -- is proved by the main spectral sequences, the Serre and Eilenberg-Moore spectral sequences. On the contrary, the constructive existence is here systematically looked for and obtained.
△ Less
Submitted 31 May, 2010;
originally announced May 2010.
-
Computing spectral sequences
Authors:
A. Romero,
J. Rubio,
F. Sergeraert
Abstract:
In this paper, a set of programs enhancing the Kenzo system is presented. Kenzo is a Common Lisp program designed for computing in Algebraic Topology, in particular it allows the user to calculate homology and homotopy groups of complicated spaces. The new programs presented here entirely compute Serre and Eilenberg-Moore spectral sequences, in particular the groups and differential maps for arb…
▽ More
In this paper, a set of programs enhancing the Kenzo system is presented. Kenzo is a Common Lisp program designed for computing in Algebraic Topology, in particular it allows the user to calculate homology and homotopy groups of complicated spaces. The new programs presented here entirely compute Serre and Eilenberg-Moore spectral sequences, in particular the groups and differential maps for arbitrary r. They also determine when the spectral sequence has converged and describe the filtration of the target homology groups induced by the spectral sequence.
△ Less
Submitted 17 February, 2006;
originally announced February 2006.
-
Algebraic Models for Homotopy Types
Authors:
Julio Rubio Garcia,
Francis Sergeraert
Abstract:
The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produced, the simplest one being entirely solved by the notion of SSEH-structure, due to the authors. Other tentative solutions, Postnikov towers and E_\infty-chain complexes, are considered and compared with the SSEH-structu…
▽ More
The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produced, the simplest one being entirely solved by the notion of SSEH-structure, due to the authors. Other tentative solutions, Postnikov towers and E_\infty-chain complexes, are considered and compared with the SSEH-structures. In particular, which looks at least like an unfortunate imprecision in the usual definition of the k-``invariants'' is explained, which implies we seem far from a solution for the ideal statement of our problem. At the positive side, the problem of the computability of the Postnikov towers is solved.
△ Less
Submitted 27 November, 2003;
originally announced November 2003.
-
Constructive Algebraic Topology
Authors:
Julio Rubio,
Francis Sergeraert
Abstract:
The classical ``computation'' methods in Algebraic Topology most often work by means of highly infinite objects and in fact +are_not+ constructive. Typical examples are shown to describe the nature of the problem. The Rubio-Sergeraert solution for Constructive Algebraic Topology is recalled. This is not only a theoretical solution: the concrete computer program +Kenzo+ has been written down whic…
▽ More
The classical ``computation'' methods in Algebraic Topology most often work by means of highly infinite objects and in fact +are_not+ constructive. Typical examples are shown to describe the nature of the problem. The Rubio-Sergeraert solution for Constructive Algebraic Topology is recalled. This is not only a theoretical solution: the concrete computer program +Kenzo+ has been written down which precisely follows this method. This program has been used in various cases, opening new research subjects and producing in several cases significant results unreachable by hand. In particular the Kenzo program can compute the first homotopy groups of a simply connected +arbitrary+ simplicial set.
△ Less
Submitted 22 November, 2001;
originally announced November 2001.
