Showing 1–16 of 16 results for author: Goldfarb, B

Some geometric and topological data-driven methods in robot motion path planning

Authors: Boris Goldfarb

Abstract: Motion path planning is an intrinsically geometric problem which is central for design of robot systems. Since the early years of AI, robotics together with computer vision have been the areas of computer science that drove its development. Many questions that arise, such as existence, optimality, and diversity of motion paths in the configuration space that describes feasible robot configurations… ▽ More Motion path planning is an intrinsically geometric problem which is central for design of robot systems. Since the early years of AI, robotics together with computer vision have been the areas of computer science that drove its development. Many questions that arise, such as existence, optimality, and diversity of motion paths in the configuration space that describes feasible robot configurations, are of topological nature. The recent advances in topological data analysis and related metric geometry, topology and combinatorics have provided new tools to address these engineering tasks. We will survey some questions, issues, recent work and promising directions in data-driven geometric and topological methods with some emphasis on the use of discrete Morse theory. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: 21 pages, 6 figures, to appear in a book project on Topology, Geometry and AI in the EMS Series in Industrial and Applied Mathematics, edited by Michael Farber and Jesús González

MSC Class: 57Q70; 68T40; 68U05; 68W15

Merging discrete Morse vector fields: a case of stubborn geometric parallelization

Authors: Douglas Lenseth, Boris Goldfarb

Abstract: We address the basic question in discrete Morse theory of combining discrete gradient fields that are partially defined on subsets of the given complex. This is a well-posed question when the discrete gradient field $V$ is generated using a fixed algorithm which has a local nature. One example is ProcessLowerStars, a widely used algorithm for computing persistent homology associated to a grey-scal… ▽ More We address the basic question in discrete Morse theory of combining discrete gradient fields that are partially defined on subsets of the given complex. This is a well-posed question when the discrete gradient field $V$ is generated using a fixed algorithm which has a local nature. One example is ProcessLowerStars, a widely used algorithm for computing persistent homology associated to a grey-scale image in 2D or 3D. While the algorithm for $V$ may be inherently local, being computed within stars of vertices and so embarrassingly parallelizable, in practical use it is natural to want to distribute the computation over patches $P_{i}$, apply the chosen algorithm to compute the fields $V_{i}$ associated to each patch, and then assemble the ambient field $V$ from these. Simply merging the fields from the patches, even when that makes sense, gives a wrong answer. We develop both very general merging procedures and leaner versions designed for specific, easy to arrange covering patterns. △ Less

Submitted 26 January, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

Comments: 18 pages, 3 figures

Journal ref: Algorithms 2021, 14, 360

Asymptotic transfer maps in parametrized K-theory

Authors: Gunnar Carlsson, Boris Goldfarb

Abstract: We define asymptotic transfers in bounded K-theory together with a context where this can be done in great generality. Controlled algebra plays a central role in many advances in geometric topology, including recent work on Novikov, Borel, and Farrell-Jones conjectures. One of the features that appears in various manifestations throughout the subject, starting with the original work of Farrell and… ▽ More We define asymptotic transfers in bounded K-theory together with a context where this can be done in great generality. Controlled algebra plays a central role in many advances in geometric topology, including recent work on Novikov, Borel, and Farrell-Jones conjectures. One of the features that appears in various manifestations throughout the subject, starting with the original work of Farrell and Jones, is an asymptotic transfer whose meaning and construction depend on the geometric circumstances. We first develop a general framework that allows us to construct a version of asymptotic transfer maps for any finite aspherical complex. This framework is the equivariant parametrized K-theory with fibred control. We also include several fibrewise excision theorems for its computation and a discussion of where the standard tools break down and which tools replace them. △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: 30 pages. arXiv admin note: text overlap with arXiv:1305.3349, arXiv:1404.5606

Colimit theorems for coarse coherence with applications

Authors: Boris Goldfarb, Jonathan L. Grossman

Abstract: We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It is known that coarse coherence of the fundamental group has important implications for classification of high-dimensional manifolds. The Family Colimit Theorem i… ▽ More We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It is known that coarse coherence of the fundamental group has important implications for classification of high-dimensional manifolds. The Family Colimit Theorem is one of the permanence theorems that give structure to the class of coarsely coherent groups. In fact, all known permanence theorems follow from the Family Colimit Theorem. We also use this theorem to construct new groups from this class. △ Less

Submitted 27 January, 2020; originally announced January 2020.

Comments: 10 pages

Excision in equivariant fibred G-theory

Authors: Gunnar Carlsson, Boris Goldfarb

Abstract: This paper provides a generalization of excision theorems in controlled algebra in the context of equivariant G-theory with fibred control and families of bounded actions. It also states and proves several characteristic features of this theory such as existence of the fibred assembly and the fibrewise trivialization. This paper provides a generalization of excision theorems in controlled algebra in the context of equivariant G-theory with fibred control and families of bounded actions. It also states and proves several characteristic features of this theory such as existence of the fibred assembly and the fibrewise trivialization. △ Less

Submitted 21 November, 2019; originally announced November 2019.

Comments: 23 pages

Journal ref: Ann. K-Th. 5 (2020) 721-756

Bounded G-theory with fibred control

Authors: Gunnar Carlsson, Boris Goldfarb

Abstract: We use filtered modules over a Noetherian ring and fibred bounded control on homomorphisms to construct a new kind of controlled algebra with applications in geometric topology. The theory here can be thought of as a "pushout" of the bounded K-theory with fibred control and the controlled G-theory constructed and used by the authors. This paper contains the non-equivariant theory including control… ▽ More We use filtered modules over a Noetherian ring and fibred bounded control on homomorphisms to construct a new kind of controlled algebra with applications in geometric topology. The theory here can be thought of as a "pushout" of the bounded K-theory with fibred control and the controlled G-theory constructed and used by the authors. This paper contains the non-equivariant theory including controlled excision theorems crucial for computations. △ Less

Submitted 22 June, 2019; v1 submitted 20 June, 2018; originally announced June 2018.

Comments: 36 pages, no figures

Journal ref: Journal of Pure and Applied Algebra 223 (2019), 5360-5395

Coarse coherence of metric spaces and groups and its permanence properties

Authors: Boris Goldfarb, Jonathan L. Grossman

Abstract: We introduce properties of metric spaces and, specifically, finitely generated groups with word metrics which we call coarse coherence and coarse regular coherence. They are geometric counterparts of the classical algebraic notion of coherence and the regular coherence property of groups defined and studied by F. Waldhausen. The new properties can be defined in the general context of coarse metric… ▽ More We introduce properties of metric spaces and, specifically, finitely generated groups with word metrics which we call coarse coherence and coarse regular coherence. They are geometric counterparts of the classical algebraic notion of coherence and the regular coherence property of groups defined and studied by F. Waldhausen. The new properties can be defined in the general context of coarse metric geometry and are coarse invariants. In particular, they are quasi-isometry invariants of spaces and groups. We show that coarse regular coherence implies weak regular coherence, a weakening of regular coherence by G. Carlsson and the first author. The latter was introduced with the same goal as Waldhausen's, in order to perform computations of algebraic K-theory of group rings. However, all groups known to be weakly regular coherent are also coarsely regular coherent. The new framework allows us to prove structural results by developing permanence properties, including the particularly important fibering permanence property, for coarse regular coherence. △ Less

Submitted 9 September, 2018; v1 submitted 3 April, 2018; originally announced April 2018.

Comments: 11 pages

Journal ref: Bulletin of the Australian Mathematical Society 98 (2018), 422-433

Singular persistent homology with geometrically parallelizable computation

Authors: Boris Goldfarb

Abstract: Persistent homology is a popular tool in Topological Data Analysis. It provides numerical characteristics of data sets which reflect global geometric properties. In order to be useful in practice, for example for feature generation in machine learning, it needs to be effectively computable. Classical homology is a computable topological invariant because of the Mayer-Vietoris exact and spectral se… ▽ More Persistent homology is a popular tool in Topological Data Analysis. It provides numerical characteristics of data sets which reflect global geometric properties. In order to be useful in practice, for example for feature generation in machine learning, it needs to be effectively computable. Classical homology is a computable topological invariant because of the Mayer-Vietoris exact and spectral sequences associated to coverings of a space. We state and prove versions of the Mayer-Vietoris theorem for persistent homology under mild and commonplace assumptions. This is done through the use of a new theory, the singular persistent homology, better suited for handling coverings of data sets. As an application, we create a distributed computational workflow where the advantage is not only or even primarily in speed improvement but in sheer feasibility for large data sets. △ Less

Submitted 22 June, 2019; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: 19 pages, 5 figures

Journal ref: Topology Proceedings 55 (2020), 273-294

Extension properties of asymptotic property C and finite decomposition complexity

Authors: Susan Beckhardt, Boris Goldfarb

Abstract: We prove extension theorems for several geometric properties such as asymptotic property C (APC), finite decomposition complexity (FDC), strict finite decomposition complexity (sFDC) which are weakenings of Gromov's finite asymptotic dimension (FAD). The context of all theorems is a finitely generated group $G$ with a word metric and a coarse quasi-action on a metric space $X$. We assume that the… ▽ More We prove extension theorems for several geometric properties such as asymptotic property C (APC), finite decomposition complexity (FDC), strict finite decomposition complexity (sFDC) which are weakenings of Gromov's finite asymptotic dimension (FAD). The context of all theorems is a finitely generated group $G$ with a word metric and a coarse quasi-action on a metric space $X$. We assume that the quasi-stabilizers have a property $P_1$, and $X$ has the same or sometimes a weaker property $P_2$. Then $G$ also has property $P_2$. We show some sample applications, discuss constraints to further generalizations, and illustrate the flexibility that the weak quasi-action assumption allows. △ Less

Submitted 3 April, 2018; v1 submitted 1 July, 2016; originally announced July 2016.

Comments: 11 pages

Journal ref: Topology and its Applications 239 (2018), 181-190

On Modules over Infinite Group Rings

Authors: Gunnar Carlsson, Boris Goldfarb

Abstract: Let $R$ be a commutative ring and $Γ$ be an infinite discrete group. The algebraic $K$-theory of the group ring $R[Γ]$ is an important object of computation in geometric topology and number theory. When the group ring is Noetherian there is a companion $G$-theory of $R[Γ]$ which is often easier to compute. However, it is exceptionally rare that the group ring is Noetherian for an infinite group.… ▽ More Let $R$ be a commutative ring and $Γ$ be an infinite discrete group. The algebraic $K$-theory of the group ring $R[Γ]$ is an important object of computation in geometric topology and number theory. When the group ring is Noetherian there is a companion $G$-theory of $R[Γ]$ which is often easier to compute. However, it is exceptionally rare that the group ring is Noetherian for an infinite group. In this paper, we define a version of $G$-theory for any finitely generated discrete group. This construction is based on the coarse geometry of the group. Therefore it has some expected properties such as independence from the choice of a word metric. We prove that, whenever $R$ is a regular Noetherian ring of finite global homological dimension and $Γ$ has finite asymptotic dimension and a finite model for the classifying space $BΓ$, the natural Cartan map from the $K$-theory of $R[Γ]$ to $G$-theory is an equivalence. On the other hand, our $G$-theory is indeed better suited for computation as we show in a separate paper. Some results and constructions in this paper might be of independent interest as we learn to construct projective resolutions of finite type for certain modules over group rings. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Comments: 13 pages. arXiv admin note: substantial text overlap with arXiv:1305.3349

Journal ref: Int. J. Algebra Comput. 26 (2016), 451-466

Controlled algebraic G-theory, II

Authors: Boris Goldfarb, Timothy K. Lance

Abstract: There are two established ways to introduce geometric control in the category of free modules---the bounded control and the continuous control at infinity. Both types of control can be generalized to arbitrary modules over a noetherian ring and applied to study algebraic $K$-theory of infinite groups. This was accomplished for bounded control in part I of the present paper and the subsequent work… ▽ More There are two established ways to introduce geometric control in the category of free modules---the bounded control and the continuous control at infinity. Both types of control can be generalized to arbitrary modules over a noetherian ring and applied to study algebraic $K$-theory of infinite groups. This was accomplished for bounded control in part I of the present paper and the subsequent work of G.~Carlsson and the first author, in the context of spaces of finite asymptotic dimension. This part II develops the theory of filtered modules over a proper metric space with a good compactification. It is applicable in particular to CAT(0) groups which do not necessarily have finite asymptotic dimension. △ Less

Submitted 15 December, 2014; originally announced December 2014.

Comments: 22 pages

MSC Class: 18E10; 18E30; 18E35; 18F25; 19D35; 19J99

Journal ref: in Algebraic Topology: Applications and New Directions, U. Tillmann, S. Galatius, and D. Sinha, eds., Contemp. Math. 620, AMS, Providence, RI (2014), 111-132

Equivariant stable homotopy methods in the algebraic K-theory of infinite groups

Authors: Gunnar Carlsson, Boris Goldfarb

Abstract: Equivariant homotopy methods developed over the last 20 years lead to recent breakthroughs in the Borel isomorphism conjectures for Loday assembly maps in K- and L-theories. An important consequence of these algebraic conjectures is the topological rigidity of compact aspherical manifolds. Our goal is to strip the basic idea to the core and follow the evolution over time in order to explain the ad… ▽ More Equivariant homotopy methods developed over the last 20 years lead to recent breakthroughs in the Borel isomorphism conjectures for Loday assembly maps in K- and L-theories. An important consequence of these algebraic conjectures is the topological rigidity of compact aspherical manifolds. Our goal is to strip the basic idea to the core and follow the evolution over time in order to explain the advantages of the flexible state that exists today. We end with an outline of the proof of the Borel conjecture in algebraic K-theory for groups of finite asymptotic dimension. We also discuss the relation of these methods to the recent work on the Farrell-Jones conjecture. △ Less

Submitted 22 June, 2019; v1 submitted 10 December, 2014; originally announced December 2014.

Comments: 36 pages

K-theory of geometric modules with fibred control

Authors: Gunnar Carlsson, Boris Goldfarb

Abstract: Controlled algebra plays a central role in many recent advances in geometric topology. This paper studies the iteration construction that was present from the very origins of the theory but started being exploited only recently. We develop the general framework for fibred control, prove localization theorems required for fibrewise excision, and then prove several versions of fibrewise excision the… ▽ More Controlled algebra plays a central role in many recent advances in geometric topology. This paper studies the iteration construction that was present from the very origins of the theory but started being exploited only recently. We develop the general framework for fibred control, prove localization theorems required for fibrewise excision, and then prove several versions of fibrewise excision theorems. However, we also demonstrate how the standard tools break down in the presence of new equivariant phenomena which require advanced localization methods. △ Less

Submitted 26 June, 2018; v1 submitted 22 April, 2014; originally announced April 2014.

Comments: 25 pages; the original submission arXiv:1404.5606 has been split up into two parts: this paper as part 1 and arXiv:1806.08677 (Bounded G-theory with fibred control) as part 2

Weak coherence of groups and finite decomposition complexity

Authors: Boris Goldfarb

Abstract: The weak regular coherence is a coarse property of a finitely generated group $Γ$. It was introduced by G. Carlsson and this author to play the role of a weakening of Waldhausen's regular coherence as part of computation of the integral K-theoretic assembly map. A new class of metric spaces (sFDC) was introduced recently by A. Dranishnikov and M. Zarichnyi. This class includes most notably the spa… ▽ More The weak regular coherence is a coarse property of a finitely generated group $Γ$. It was introduced by G. Carlsson and this author to play the role of a weakening of Waldhausen's regular coherence as part of computation of the integral K-theoretic assembly map. A new class of metric spaces (sFDC) was introduced recently by A. Dranishnikov and M. Zarichnyi. This class includes most notably the spaces with finite decomposition complexity (FDC) studied by E. Guentner, D. Ramras, R. Tessera, and G. Yu. The main theorem of this paper shows that a group that has finite $K(Γ,1)$ and sFDC is weakly regular coherent. As a consequence, the integral K-theoretic assembly maps are isomorphisms in all dimensions for any group that has finite $K(Γ,1)$ and FDC. In particular, the Whitehead group $Wh (Γ)$ is trivial for such groups. △ Less

Submitted 13 July, 2018; v1 submitted 19 July, 2013; originally announced July 2013.

Comments: 11 pages

Algebraic K-theory of Geometric Groups

Authors: Gunnar Carlsson, Boris Goldfarb

Abstract: Let $Γ$ be a geometrically finite group of finite asymptotic dimension and let $R$ be a noetherian ring of finite homological dimension. The main result of the paper is that the integral K-theoretic assembly map for the group ring $R[Γ]$ is an isomorphism. We also include partial results for larger classes of geometric groups. Let $Γ$ be a geometrically finite group of finite asymptotic dimension and let $R$ be a noetherian ring of finite homological dimension. The main result of the paper is that the integral K-theoretic assembly map for the group ring $R[Γ]$ is an isomorphism. We also include partial results for larger classes of geometric groups. △ Less

Submitted 18 January, 2016; v1 submitted 14 May, 2013; originally announced May 2013.

Comments: 72 pages, 3 figures. Revised with improvements in exposition, corrections of oversights and misprints, additional clarifying comments. Section 9 has been separated to arxiv:1404.5606, section 10 separated to arxiv:1509.02402, part 2 moved to an appendix

Controlled algebraic G-theory, I

Authors: Gunnar Carlsson, Boris Goldfarb

Abstract: This paper extends the notion of geometric control in algebraic K-theory from additive categories with split exact sequences to other exact structures. In particular, we construct exact categories of modules over a Noetherian ring filtered by subsets of a metric space and sensitive to the large scale properties of the space. The algebraic K-theory of these categories is related to the bounded K-th… ▽ More This paper extends the notion of geometric control in algebraic K-theory from additive categories with split exact sequences to other exact structures. In particular, we construct exact categories of modules over a Noetherian ring filtered by subsets of a metric space and sensitive to the large scale properties of the space. The algebraic K-theory of these categories is related to the bounded K-theory of geometric modules of Pedersen and Weibel the way G-theory is classically related to K-theory. We recover familiar results in the new setting, including the nonconnective bounded excision and equivariant properties. We apply the results to the G-theoretic Novikov conjecture which is shown to be stronger than the usual K-theoretic conjecture. △ Less

Submitted 3 January, 2011; originally announced January 2011.

MSC Class: 18E10; 18E30; 18E35; 18F25; 19D35; 19J99

Journal ref: J. of Homotopy and Related Structures 6 (2011), 119-159