-
Equivariant Algebraic K-Theory and Derived completions III: Applications
Authors:
Gunnar Carlsson,
Roy Joshua,
Pablo Pelaez
Abstract:
In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to establish in great generality both for equivariant G-theory and equivariant homotopy K-theory with respect to actions of linear algebraic groups on normal quasi-pro…
▽ More
In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to establish in great generality both for equivariant G-theory and equivariant homotopy K-theory with respect to actions of linear algebraic groups on normal quasi-projective schemes over a given field. We show such Riemann-Roch theorems apply to all toric and spherical varieties.
We also obtain Lefschetz-Riemann-Roch theorems involving the fixed point schemes with respect to actions of diagonalizable group schemes. We also show the existence of certain spectral sequences that compute the homotopy groups of the derived completions of equivariant G-theory starting with equivariant Borel-Moore motivic cohomology.
△ Less
Submitted 15 May, 2024; v1 submitted 19 April, 2024;
originally announced April 2024.
-
Equivariant Algebraic K-Theory and Derived completions II: the case of Equivariant Homotopy K-Theory and Equivariant K-Theory
Authors:
Gunnar Carlsson,
Roy Joshua,
Pablo Pelaez
Abstract:
In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness conditions that are required in such theorems to be too restrictive. Then he made a conjecture on the existence of a completion theorem for equivariant Algebrai…
▽ More
In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness conditions that are required in such theorems to be too restrictive. Then he made a conjecture on the existence of a completion theorem for equivariant Algebraic G-theory, for actions of linear algebraic groups on schemes that holds without any of the strong finiteness conditions that are required in such theorems proven by him. In an earlier work by the first two authors, we solved this conjecture by providing a derived completion theorem for equivariant G-theory. In the present paper, we provide a similar derived completion theorem for the homotopy Algebraic K-theory of equivariant perfect complexes, on schemes that need not be regular.
Our solution is broad enough to allow actions by all linear algebraic groups, irrespective of whether they are connected or not, and acting on any normal quasi-projective scheme of finite type over a field, irrespective of whether they are regular or projective. This allows us therefore to consider the Equivariant Homotopy Algebraic K-Theory of large classes of varieties like all toric varieties (for the action of a torus) and all spherical varieties (for the action of a reductive group). With finite coefficients invertible in the base fields, we are also able to obtain such derived completion theorems for equivariant algebraic K-theory but with respect to actions of diagonalizable group schemes. These enable us to obtain a wide range of applications, several of which are also explored.
△ Less
Submitted 15 May, 2024; v1 submitted 19 April, 2024;
originally announced April 2024.
-
The Motivic and Etale Becker-Gottlieb transfer and splittings
Authors:
Gunnar Carlsson,
Roy Joshua
Abstract:
In this paper, we establish the key properties of the motivic and étale Becker-Gottlieb transfer including compatibility with étale and Betti realization and show how to obtain various splittings using the transfer.
In this paper, we establish the key properties of the motivic and étale Becker-Gottlieb transfer including compatibility with étale and Betti realization and show how to obtain various splittings using the transfer.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Evasion paths by homotopy limits
Authors:
Gunnar Carlsson,
Benjamin Filippenko,
Wyatt Mackey
Abstract:
The evasion paths problem asks when a dynamically changing space can be navigated: imagine guards are patrolling a region, for instance, and we need to stay outside their view. We use the Bousfield-Kan spectral sequence for homotopy inverse limits as a proxy for calculating the homotopy groups of the space of evasion paths. This gives a complete calculation of the number of paths (up to homotopy)…
▽ More
The evasion paths problem asks when a dynamically changing space can be navigated: imagine guards are patrolling a region, for instance, and we need to stay outside their view. We use the Bousfield-Kan spectral sequence for homotopy inverse limits as a proxy for calculating the homotopy groups of the space of evasion paths. This gives a complete calculation of the number of paths (up to homotopy) for spaces we call ``0-sectional." We give a characterization such spaces, and conclude the paper by reframing the calculations in terms of the covered region.
△ Less
Submitted 10 November, 2022;
originally announced November 2022.
-
Approximating Absolute Galois Groups
Authors:
Gunnar Carlsson,
Roy Joshua
Abstract:
This paper formulates a group condition which is enjoyed by absolute Galois groups, and which guarantees that profinite groups satisfying the condition can be approximated as an inverse limit of groups which are profinite analogues of Bieberbach groups. The condition is a key ingredient in the study of the "representational assembly" approach to descent problems in algebraic K-theory.
This paper formulates a group condition which is enjoyed by absolute Galois groups, and which guarantees that profinite groups satisfying the condition can be approximated as an inverse limit of groups which are profinite analogues of Bieberbach groups. The condition is a key ingredient in the study of the "representational assembly" approach to descent problems in algebraic K-theory.
△ Less
Submitted 31 January, 2022;
originally announced February 2022.
-
Motivic and Étale Spanier-Whitehead duality and the Becker-Gottlieb transfer
Authors:
Gunnar Carlsson,
Roy Joshua
Abstract:
In this paper, we develop a theory of Becker-Gottlieb transfer based on Spanier-Whitehead duality that holds in both the motivic and étale settings for smooth quasi-projective varieties in as broad a context as possible: for example, for varieties over non-separably closed fields in all characteristics, and also for both the étale and motivic settings.
In view of the fact that the most promising…
▽ More
In this paper, we develop a theory of Becker-Gottlieb transfer based on Spanier-Whitehead duality that holds in both the motivic and étale settings for smooth quasi-projective varieties in as broad a context as possible: for example, for varieties over non-separably closed fields in all characteristics, and also for both the étale and motivic settings.
In view of the fact that the most promising applications of the traditional Becker-Gottlieb transfer has been to torsors and Borel-style equivariant cohomology theories, we focus our applications to motivic cohomology theories for torsors as well as Borel-style equivariant motivic cohomology theories, both defined with respect to motivic spectra. We obtain several results in this direction, including a stable splitting in generalized motivic cohomology theories. Various further applications will be discussed in forthcoming papers.
△ Less
Submitted 19 April, 2024; v1 submitted 5 July, 2020;
originally announced July 2020.
-
The space of sections of a smooth function
Authors:
Gunnar Carlsson,
Benjamin Filippenko
Abstract:
Given a compact manifold $X$ with boundary and a submersion $f : X \rightarrow Y$ whose restriction to the boundary of $X$ has isolated critical points with distinct critical values and where $Y$ is $[0,1]$ or $S^1$, the connected components of the space of sections of $f$ are computed from $π_0$ and $π_1$ of the fibers of $f$. This computation is then leveraged to provide new results on a smoothe…
▽ More
Given a compact manifold $X$ with boundary and a submersion $f : X \rightarrow Y$ whose restriction to the boundary of $X$ has isolated critical points with distinct critical values and where $Y$ is $[0,1]$ or $S^1$, the connected components of the space of sections of $f$ are computed from $π_0$ and $π_1$ of the fibers of $f$. This computation is then leveraged to provide new results on a smoothed version of the evasion path problem for mobile sensor networks: From the time-varying homology of the covered region and the time-varying cup-product on cohomology of the boundary, a necessary and sufficient condition for existence of an evasion path and a lower bound on the number of homotopy classes of evasion paths are computed. No connectivity assumptions are required.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Persistent Homology and Applied Homotopy Theory
Authors:
Gunnar Carlsson
Abstract:
This paper is a survey of persistent homology, primarily as it is used in topological data analysis. It includes the theory of persistence modules, as well as stability theorems for persistence barcodes, generalized persistence, vectorization of persistence barcodes, as well as some applications.
This paper is a survey of persistent homology, primarily as it is used in topological data analysis. It includes the theory of persistence modules, as well as stability theorems for persistence barcodes, generalized persistence, vectorization of persistence barcodes, as well as some applications.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
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.
-
Persistent and Zigzag Homology: A Matrix Factorization Viewpoint
Authors:
Gunnar Carlsson,
Anjan Dwaraknath,
Bradley J. Nelson
Abstract:
Over the past two decades, topological data analysis has emerged as a field of applied mathematics with new applications and algorithmic developments appearing rapidly. Two fundamental computations in this field are persistent homology and zigzag homology. In this paper, we show how these computations in the most general case reduce to finding a canonical form of a matrix associated with a type A…
▽ More
Over the past two decades, topological data analysis has emerged as a field of applied mathematics with new applications and algorithmic developments appearing rapidly. Two fundamental computations in this field are persistent homology and zigzag homology. In this paper, we show how these computations in the most general case reduce to finding a canonical form of a matrix associated with a type A quiver representation, which in turn can be computed using factorizations of associated matrices. We show how to use arbitrary induced maps on homology for computation, providing a framework that goes beyond the capabilities of existing software for topological data analysis. Furthermore, this framework offers multiple opportunities for parallelization which have not been previously exploited. We provide several examples of the utility of this framework, demonstrate parallel speedups, and report on significant improvements in comparison to existing software.
△ Less
Submitted 28 February, 2021; v1 submitted 24 November, 2019;
originally announced November 2019.
-
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.
-
Minimum size generating partitions and their application to demand fulfillment optimization problems
Authors:
Bo Jones,
John Gunnar Carlsson
Abstract:
For $n$ and $k$ integers we introduce the notion of some partition of $n$ being able to generate another partition of $n$. We solve the problem of finding the minimum size partition for which the set of partitions this partition can generate contains all size-$k$ partitions of $n$. We describe how this result can be applied to solving a class of combinatorial optimization problems.
For $n$ and $k$ integers we introduce the notion of some partition of $n$ being able to generate another partition of $n$. We solve the problem of finding the minimum size partition for which the set of partitions this partition can generate contains all size-$k$ partitions of $n$. We describe how this result can be applied to solving a class of combinatorial optimization problems.
△ Less
Submitted 20 September, 2019;
originally announced September 2019.
-
Atiyah-Segal Derived Completions for Equivariant Algebraic G-Theory and K-Theory
Authors:
Gunnar Carlsson,
Roy Joshua
Abstract:
In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K- Theory similar to the well-known Atiyah-Segal completion theorem for equivariant topological K-theory, the late Robert Thomason found the strong finiteness conditions that are required in such theorems to be too restrictive. Then he made a conjecture on the existence of a completion theorem in the sens…
▽ More
In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K- Theory similar to the well-known Atiyah-Segal completion theorem for equivariant topological K-theory, the late Robert Thomason found the strong finiteness conditions that are required in such theorems to be too restrictive. Then he made a conjecture on the existence of a completion theorem in the sense of Atiyah and Segal for equivariant Algebraic G-theory, for actions of linear algebraic groups on schemes that holds without any of the strong finiteness conditions that are required in such theorems proven by him, and also appearing in the original Atiyah-Segal theorem. The main goal of the present paper is to provide a proof of this conjecture in as broad a context as possible, making use of the technique of derived completion, and to consider several of the applications.
Our solution is broad enough to allow actions by all linear algebraic groups, irrespective of whether they are connected or not, and acting on any quasi-projective scheme of finite type over a field, irrespective of whether they are regular or projective. This allows us therefore to consider the Equivariant Algebraic G-Theory of large classes of varieties like all Toric varieties (for the action of a torus) and all Spherical varieties (for the action of a reductive group). Restricting to actions by split tori, we are also able to consider actions on Algebraic Spaces. These enable us to obtain a wide range of applications, some of which are briefly sketched and which we plan to explore in detail in the future. A comparison of our results with previously known results, none of which made use of derived completions, shows that without the use of derived completions, one can only obtain results which are indeed very restrictive.
△ Less
Submitted 27 October, 2019; v1 submitted 16 June, 2019;
originally announced June 2019.
-
A Topology Layer for Machine Learning
Authors:
Rickard Brüel-Gabrielsson,
Bradley J. Nelson,
Anjan Dwaraknath,
Primoz Skraba,
Leonidas J. Guibas,
Gunnar Carlsson
Abstract:
Topology applied to real world data using persistent homology has started to find applications within machine learning, including deep learning. We present a differentiable topology layer that computes persistent homology based on level set filtrations and edge-based filtrations. We present three novel applications: the topological layer can (i) regularize data reconstruction or the weights of mac…
▽ More
Topology applied to real world data using persistent homology has started to find applications within machine learning, including deep learning. We present a differentiable topology layer that computes persistent homology based on level set filtrations and edge-based filtrations. We present three novel applications: the topological layer can (i) regularize data reconstruction or the weights of machine learning models, (ii) construct a loss on the output of a deep generative network to incorporate topological priors, and (iii) perform topological adversarial attacks on deep networks trained with persistence features. The code (www.github.com/bruel-gabrielsson/TopologyLayer) is publicly available and we hope its availability will facilitate the use of persistent homology in deep learning and other gradient based applications.
△ Less
Submitted 24 April, 2020; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Persistent homology of the sum metric
Authors:
Gunnar Carlsson,
Benjamin Filippenko
Abstract:
Given finite metric spaces $(X, d_X)$ and $(Y, d_Y)$, we investigate the persistent homology $PH_*(X \times Y)$ of the Cartesian product $X \times Y$ equipped with the sum metric $d_X + d_Y$. Interpreting persistent homology as a module over a polynomial ring, one might expect the usual Künneth short exact sequence to hold. We prove that it holds for $PH_0$ and $PH_1$, and we illustrate with the H…
▽ More
Given finite metric spaces $(X, d_X)$ and $(Y, d_Y)$, we investigate the persistent homology $PH_*(X \times Y)$ of the Cartesian product $X \times Y$ equipped with the sum metric $d_X + d_Y$. Interpreting persistent homology as a module over a polynomial ring, one might expect the usual Künneth short exact sequence to hold. We prove that it holds for $PH_0$ and $PH_1$, and we illustrate with the Hamming cube $\{0,1\}^k$ that it fails for $PH_n,\,\, n \geq 2$. For $n = 2$, the prediction for $PH_2(X \times Y)$ from the expected Künneth short exact sequence has a natural surjection onto $PH_2(X \times Y)$. We compute the nontrivial kernel of this surjection for the splitting of Hamming cubes $\{0,1\}^k = \{0,1\}^{k-1} \times \{0,1\}$. For all $n \geq 0$, the interleaving distance between the prediction for $PH_n(X \times Y)$ and the true persistent homology is bounded above by the minimum of the diameters of $X$ and $Y$. As preliminary results of independent interest, we establish an algebraic Künneth formula for simplicial modules over the ring $κ[\mathbb{R}_+]$ of polynomials with coefficients in a field $κ$ and exponents in $\mathbb{R}_+ = [0,\infty)$, as well as a Künneth formula for the persistent homology of $\mathbb{R}_+$-filtered simplicial sets -- both of these Künneth formulas hold in all homological dimensions $n \geq 0$.
△ Less
Submitted 20 October, 2019; v1 submitted 10 May, 2019;
originally announced May 2019.
-
Topological Approaches to Deep Learning
Authors:
Gunnar Carlsson,
Rickard Brüel Gabrielsson
Abstract:
We perform topological data analysis on the internal states of convolutional deep neural networks to develop an understanding of the computations that they perform. We apply this understanding to modify the computations so as to (a) speed up computations and (b) improve generalization from one data set of digits to another. One byproduct of the analysis is the production of a geometry on new sets…
▽ More
We perform topological data analysis on the internal states of convolutional deep neural networks to develop an understanding of the computations that they perform. We apply this understanding to modify the computations so as to (a) speed up computations and (b) improve generalization from one data set of digits to another. One byproduct of the analysis is the production of a geometry on new sets of features on data sets of images, and use this observation to develop a methodology for constructing analogues of CNN's for many other geometries, including the graph structures constructed by topological data analysis.
△ Less
Submitted 2 November, 2018;
originally announced November 2018.
-
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.
-
Fibres of Failure: Classifying errors in predictive processes
Authors:
Leo Carlsson,
Gunnar Carlsson,
Mikael Vejdemo-Johansson
Abstract:
We describe Fibres of Failure (FiFa), a method to classify failure modes of predictive processes using the Mapper algorithm from Topological Data Analysis.
Our method uses Mapper to build a graph model of input data stratified by prediction error.
Grou**s found in high-error regions of the Mapper model then provide distinct failure modes of the predictive process.
We demonstrate FiFa on mi…
▽ More
We describe Fibres of Failure (FiFa), a method to classify failure modes of predictive processes using the Mapper algorithm from Topological Data Analysis.
Our method uses Mapper to build a graph model of input data stratified by prediction error.
Grou**s found in high-error regions of the Mapper model then provide distinct failure modes of the predictive process.
We demonstrate FiFa on misclassifications of MNIST images with added noise, and demonstrate two ways to use the failure mode classification: either to produce a correction layer that adjusts predictions by similarity to the failure modes; or to inspect members of the failure modes to illustrate and investigate what characterizes each failure mode.
△ Less
Submitted 9 February, 2018;
originally announced March 2018.
-
Parametrized Homology via Zigzag Persistence
Authors:
Gunnar Carlsson,
Vin de Silva,
Sara Kalisnik,
Dmitriy Morozov
Abstract:
This paper develops the idea of homology for 1-parameter families of topological spaces. We express parametrized homology as a collection of real intervals with each corresponding to a homological feature supported over that interval or, equivalently, as a persistence diagram. By defining persistence in terms of finite rectangle measures, we classify barcode intervals into four classes. Each of th…
▽ More
This paper develops the idea of homology for 1-parameter families of topological spaces. We express parametrized homology as a collection of real intervals with each corresponding to a homological feature supported over that interval or, equivalently, as a persistence diagram. By defining persistence in terms of finite rectangle measures, we classify barcode intervals into four classes. Each of these conveys how the homological features perish at both ends of the interval over which they are defined.
△ Less
Submitted 27 June, 2018; v1 submitted 12 April, 2016;
originally announced April 2016.
-
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.
-
A Prime Decomposition of Probabilistic Automata
Authors:
Gunnar Carlsson,
Jun Yu
Abstract:
A definition of a probabilistic automaton is formulated in which its prime decomposition follows as a direct consequence of Krohn-Rhodes theorem. We first characterize the local structure of probabilistic automata. The prime decomposition is presented as a framework to study the global structure of probabilistic automata. We prove that the representation theory of a probabilistic automaton is dete…
▽ More
A definition of a probabilistic automaton is formulated in which its prime decomposition follows as a direct consequence of Krohn-Rhodes theorem. We first characterize the local structure of probabilistic automata. The prime decomposition is presented as a framework to study the global structure of probabilistic automata. We prove that the representation theory of a probabilistic automaton is determined by that of the finite groups in its holonomy decomposition.
△ Less
Submitted 4 March, 2015;
originally announced March 2015.
-
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.
-
Symmetric and r-Symmetric Tropical Polynomials and Rational Functions
Authors:
Sara Kalisnik Verovsek,
Gunnar Carlsson
Abstract:
A tropical polynomial in nr variables divided into blocks of r variables each, is r-symmetric, if it is invariant under the action of Sn that permutes the blocks. For r=1 we call these tropical polynomials symmetric. We can define r-symmetric and symmetric rational functions in a similar manner. In this paper we identify generators for the sets of symmetric tropical polynomials and rational functi…
▽ More
A tropical polynomial in nr variables divided into blocks of r variables each, is r-symmetric, if it is invariant under the action of Sn that permutes the blocks. For r=1 we call these tropical polynomials symmetric. We can define r-symmetric and symmetric rational functions in a similar manner. In this paper we identify generators for the sets of symmetric tropical polynomials and rational functions. While r-symmetric tropical polynomials are not finitely generated, we show that r-symmetric rational functions are and provide a list of generators.
△ Less
Submitted 14 April, 2016; v1 submitted 9 May, 2014;
originally announced May 2014.
-
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.
-
Equivariant motivic homotopy theory
Authors:
Gunnar Carlsson,
Roy Joshua
Abstract:
In this paper, we develop the theory of equivariant motivic homotopy theory, both unstable and stable. While our original interest was in the case of profinite group actions on smooth schemes, we discuss our results in as broad a setting as possible so as to be applicable in a variety of contexts, for example to the case of smooth group scheme actions on schemes that are not necessarily smooth. We…
▽ More
In this paper, we develop the theory of equivariant motivic homotopy theory, both unstable and stable. While our original interest was in the case of profinite group actions on smooth schemes, we discuss our results in as broad a setting as possible so as to be applicable in a variety of contexts, for example to the case of smooth group scheme actions on schemes that are not necessarily smooth. We also discuss how ${\mathbb A}^1$-localization behaves with respect to mod-$\ell$-completion, where $\ell$ is a fixed prime.
△ Less
Submitted 6 April, 2014;
originally announced April 2014.
-
On the continuous Fermat-Weber problem for a convex polygon using Euclidean distance
Authors:
Thomas T. C. K. Zhang,
John Gunnar Carlsson
Abstract:
We consider the continuous Fermat-Weber problem, where the customers are continuously (uniformly) distributed along the boundary of a convex polygon. We derive the closed-form expression for finding the average distance from a given point to the continuously distributed customers along the boundary. A Weiszfeld-type procedure is proposed for this model, which is shown to be linearly convergent. We…
▽ More
We consider the continuous Fermat-Weber problem, where the customers are continuously (uniformly) distributed along the boundary of a convex polygon. We derive the closed-form expression for finding the average distance from a given point to the continuously distributed customers along the boundary. A Weiszfeld-type procedure is proposed for this model, which is shown to be linearly convergent. We also derive a closed-form formula to find the average distance for a given point to the entire convex polygon, assuming a uniform distribution. Since the function is smooth, convex, and explicitly given, the continuous version of the Fermat-Weber problem over a convex polygon can be solved easily by numerical algorithms.
△ Less
Submitted 14 March, 2014;
originally announced March 2014.
-
Galois descent for completed Algebraic K-theory
Authors:
Gunnar Carlsson,
Roy Joshua
Abstract:
In this paper we consider the problem of Galois descent for suitably completed algebraic K-theory of fields. One of the main results is a suitable form of rigidity for Borel-style generalized equivariant cohomology with respect to certain spectra. In order to apply this to the problem at hand, we need to invoke a derived Atiyah-Segal completion theorem for pro-groups. In the present paper, the aut…
▽ More
In this paper we consider the problem of Galois descent for suitably completed algebraic K-theory of fields. One of the main results is a suitable form of rigidity for Borel-style generalized equivariant cohomology with respect to certain spectra. In order to apply this to the problem at hand, we need to invoke a derived Atiyah-Segal completion theorem for pro-groups. In the present paper, the authors apply such a derived completion theorem proven by the first author elsewhere. These two results provide a proof of the Galois descent problem for equivariant algebraic K-theory as formulated by the first author, at least when restricted to the case where the absolute Galois groups are pro-$l$ groups for some prime $l$ different from the characteristic of the base field and the K-theory spectrum is completed at the same prime $l$. Work in progress hopes to remove these restrictions.
△ Less
Submitted 26 September, 2013; v1 submitted 24 September, 2013;
originally announced September 2013.
-
A geometric reformulation of the representational assembly conjecture for the K-theory of fields with pro-l absolute Galois group
Authors:
Gunnar Carlsson
Abstract:
In this paper we prove a result which establishes an equivalence between the representational assembly conjecture proposed by the author and a rigidity question, in the case of Galois groups which are pro-l groups. In additional work with R. Joshua, we will confirm the validity of this rigidity conjecture, thereby proving the conjecture in the case of a pro-l absolute Galois group.
In this paper we prove a result which establishes an equivalence between the representational assembly conjecture proposed by the author and a rigidity question, in the case of Galois groups which are pro-l groups. In additional work with R. Joshua, we will confirm the validity of this rigidity conjecture, thereby proving the conjecture in the case of a pro-l absolute Galois group.
△ Less
Submitted 22 September, 2013;
originally announced September 2013.
-
Evasion Paths in Mobile Sensor Networks
Authors:
Henry Adams,
Gunnar Carlsson
Abstract:
Suppose that ball-shaped sensors wander in a bounded domain. A sensor doesn't know its location but does know when it overlaps a nearby sensor. We say that an evasion path exists in this sensor network if a moving intruder can avoid detection. In "Coordinate-free coverage in sensor networks with controlled boundaries via homology", Vin deSilva and Robert Ghrist give a necessary condition, dependin…
▽ More
Suppose that ball-shaped sensors wander in a bounded domain. A sensor doesn't know its location but does know when it overlaps a nearby sensor. We say that an evasion path exists in this sensor network if a moving intruder can avoid detection. In "Coordinate-free coverage in sensor networks with controlled boundaries via homology", Vin deSilva and Robert Ghrist give a necessary condition, depending only on the time-varying connectivity data of the sensors, for an evasion path to exist. Using zigzag persistent homology, we provide an equivalent condition that moreover can be computed in a streaming fashion. However, no method with time-varying connectivity data as input can give necessary and sufficient conditions for the existence of an evasion path. Indeed, we show that the existence of an evasion path depends not only on the fibrewise homotopy type of the region covered by sensors but also on its embedding in spacetime. For planar sensors that also measure weak rotation and distance information, we provide necessary and sufficient conditions for the existence of an evasion path.
△ Less
Submitted 24 January, 2014; v1 submitted 15 August, 2013;
originally announced August 2013.
-
Exterior Critical Series of Persistence Modules
Authors:
Pawin Vongmasa,
Gunnar Carlsson
Abstract:
The persistence barcode is a well-established complete discrete invariant for finitely generated persistence modules [5] [1]. Its definition, however, does not extend to multi- dimensional persistence modules. In this paper, we introduce a new discrete invariant: the exterior critical series. This invariant is complete in the one-dimensional case and can be defined for multi-dimensional persistenc…
▽ More
The persistence barcode is a well-established complete discrete invariant for finitely generated persistence modules [5] [1]. Its definition, however, does not extend to multi- dimensional persistence modules. In this paper, we introduce a new discrete invariant: the exterior critical series. This invariant is complete in the one-dimensional case and can be defined for multi-dimensional persistence modules, like the rank invariant [2]. However, the exterior critical series can detect some features that are not captured by the rank invariant.
△ Less
Submitted 11 May, 2014; v1 submitted 21 May, 2013;
originally announced May 2013.
-
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.
-
Dimension Independent Matrix Square using MapReduce
Authors:
Reza Bosagh Zadeh,
Gunnar Carlsson
Abstract:
We compute the singular values of an $m \times n$ sparse matrix $A$ in a distributed setting, without communication dependence on $m$, which is useful for very large $m$. In particular, we give a simple nonadaptive sampling scheme where the singular values of $A$ are estimated within relative error with constant probability. Our proven bounds focus on the MapReduce framework, which has become the…
▽ More
We compute the singular values of an $m \times n$ sparse matrix $A$ in a distributed setting, without communication dependence on $m$, which is useful for very large $m$. In particular, we give a simple nonadaptive sampling scheme where the singular values of $A$ are estimated within relative error with constant probability. Our proven bounds focus on the MapReduce framework, which has become the de facto tool for handling such large matrices that cannot be stored or even streamed through a single machine.
On the way, we give a general method to compute $A^TA$. We preserve singular values of $A^TA$ with $ε$ relative error with shuffle size $O(n^2/ε^2)$ and reduce-key complexity $O(n/ε^2)$. We further show that if only specific entries of $A^TA$ are required and $A$ has nonnegative entries, then we can reduce the shuffle size to $O(n \log(n) / s)$ and reduce-key complexity to $O(\log(n)/s)$, where $s$ is the minimum cosine similarity for the entries being estimated. All of our bounds are independent of $m$, the larger dimension. We provide open-source implementations in Spark and Scalding, along with experiments in an industrial setting.
△ Less
Submitted 24 March, 2016; v1 submitted 4 April, 2013;
originally announced April 2013.
-
The Ring of Algebraic Functions on Persistence Bar Codes
Authors:
Aaron Adcock,
Erik Carlsson,
Gunnar Carlsson
Abstract:
We study the ring of algebraic functions on the space of persistence barcodes, with applications to pattern recognition.
We study the ring of algebraic functions on the space of persistence barcodes, with applications to pattern recognition.
△ Less
Submitted 2 April, 2013;
originally announced April 2013.
-
Classification of Hepatic Lesions using the Matching Metric
Authors:
Aaron Adcock,
Daniel Rubin,
Gunnar Carlsson
Abstract:
In this paper we present a methodology of classifying hepatic (liver) lesions using multidimensional persistent homology, the matching metric (also called the bottleneck distance), and a support vector machine. We present our classification results on a dataset of 132 lesions that have been outlined and annotated by radiologists. We find that topological features are useful in the classification o…
▽ More
In this paper we present a methodology of classifying hepatic (liver) lesions using multidimensional persistent homology, the matching metric (also called the bottleneck distance), and a support vector machine. We present our classification results on a dataset of 132 lesions that have been outlined and annotated by radiologists. We find that topological features are useful in the classification of hepatic lesions. We also find that two-dimensional persistent homology outperforms one-dimensional persistent homology in this application.
△ Less
Submitted 2 October, 2012;
originally announced October 2012.
-
Nudged Elastic Band in Topological Data Analysis
Authors:
Henry Adams,
Atanas Atanasov,
Gunnar Carlsson
Abstract:
We use the nudged elastic band method from computational chemistry to analyze high-dimensional data. Our approach is inspired by Morse theory, and as output we produce an increasing sequence of small cell complexes modeling the dense regions of the data. We test the method on data sets arising in social networks and in image processing. Furthermore, we apply the method to identify new topological…
▽ More
We use the nudged elastic band method from computational chemistry to analyze high-dimensional data. Our approach is inspired by Morse theory, and as output we produce an increasing sequence of small cell complexes modeling the dense regions of the data. We test the method on data sets arising in social networks and in image processing. Furthermore, we apply the method to identify new topological structure in a data set of optical flow patches.
△ Less
Submitted 26 September, 2014; v1 submitted 8 December, 2011;
originally announced December 2011.
-
Computational topology for configuration spaces of hard disks
Authors:
Gunnar Carlsson,
Jackson Gorham,
Matthew Kahle,
Jeremy Mason
Abstract:
We explore the topology of configuration spaces of hard disks experimentally, and show that several changes in the topology can already be observed with a small number of particles. The results illustrate a theorem of Baryshnikov, Bubenik, and Kahle that critical points correspond to configurations of disks with balanced mechanical stresses, and suggest conjectures about the asymptotic topology as…
▽ More
We explore the topology of configuration spaces of hard disks experimentally, and show that several changes in the topology can already be observed with a small number of particles. The results illustrate a theorem of Baryshnikov, Bubenik, and Kahle that critical points correspond to configurations of disks with balanced mechanical stresses, and suggest conjectures about the asymptotic topology as the number of disks tends to infinity.
△ Less
Submitted 13 November, 2011; v1 submitted 29 August, 2011;
originally announced August 2011.
-
Dynamic Network Models
Authors:
Benjamin Armbruster,
John Gunnar Carlsson
Abstract:
We analyze random networks that change over time. First we analyze a dynamic Erdos-Renyi model, whose edges change over time. We describe its stationary distribution, its convergence thereto, and the SI contact process on the network, which has relevance for connectivity and the spread of infections. Second, we analyze the effect of node turnover, when nodes enter and leave the network, which has…
▽ More
We analyze random networks that change over time. First we analyze a dynamic Erdos-Renyi model, whose edges change over time. We describe its stationary distribution, its convergence thereto, and the SI contact process on the network, which has relevance for connectivity and the spread of infections. Second, we analyze the effect of node turnover, when nodes enter and leave the network, which has relevance for network models incorporating births, deaths, aging, and other demographic factors.
△ Less
Submitted 15 March, 2011;
originally announced March 2011.
-
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.
-
K-theoretic descent and a motivic Atiyah-Segal theorem
Authors:
Gunnar Carlsson
Abstract:
This paper concerns our earlier conjecture about the equivalence of a derived completion construction applied to the representation spectrum of the absolute Galois group of a geometric field is equivalent to the algebraic K-theory of the field. We prove that the p-adic version of the derived completion construction can be interpreted as the K-theory of a certain pro-scheme over an algebraically c…
▽ More
This paper concerns our earlier conjecture about the equivalence of a derived completion construction applied to the representation spectrum of the absolute Galois group of a geometric field is equivalent to the algebraic K-theory of the field. We prove that the p-adic version of the derived completion construction can be interpreted as the K-theory of a certain pro-scheme over an algebraically closed field contained within the field. In order to make this construction, we use a special property of absolute Galois groups of geometric field, namely that of total torsion freeness, and the paper also contains some poperties of the representation theory of such groups.
△ Less
Submitted 15 March, 2010;
originally announced March 2010.
-
Topological De-Noising: Strengthening the Topological Signal
Authors:
Jennifer Kloke,
Gunnar Carlsson
Abstract:
Topological methods, including persistent homology, are powerful tools for analysis of high-dimensional data sets but these methods rely almost exclusively on thresholding techniques. In noisy data sets, thresholding does not always allow for the recovery of topological information. We present an easy to implement, computationally efficient pre-processing algorithm to prepare noisy point cloud d…
▽ More
Topological methods, including persistent homology, are powerful tools for analysis of high-dimensional data sets but these methods rely almost exclusively on thresholding techniques. In noisy data sets, thresholding does not always allow for the recovery of topological information. We present an easy to implement, computationally efficient pre-processing algorithm to prepare noisy point cloud data sets for topological data analysis. The topological de-noising algorithm allows for the recovery of topological information that is inaccessible by thresholding methods. We apply the algorithm to synthetically-generated noisy data sets and show the recovery of topological information which is impossible to obtain by thresholding. We also apply the algorithm to natural image data in R^8 and show a very clean recovery of topological information previously only available with large amounts of thresholding. Finally, we discuss future directions for improving this algorithm using zig-zag persistence methods.
△ Less
Submitted 8 February, 2010; v1 submitted 30 October, 2009;
originally announced October 2009.
-
Statistical topology via Morse theory, persistence and nonparametric estimation
Authors:
Peter Bubenik,
Gunnar Carlsson,
Peter T. Kim,
Zhiming Luo
Abstract:
In this paper we examine the use of topological methods for multivariate statistics. Using persistent homology from computational algebraic topology, a random sample is used to construct estimators of persistent homology. This estimation procedure can then be evaluated using the bottleneck distance between the estimated persistent homology and the true persistent homology. The connection to stat…
▽ More
In this paper we examine the use of topological methods for multivariate statistics. Using persistent homology from computational algebraic topology, a random sample is used to construct estimators of persistent homology. This estimation procedure can then be evaluated using the bottleneck distance between the estimated persistent homology and the true persistent homology. The connection to statistics comes from the fact that when viewed as a nonparametric regression problem, the bottleneck distance is bounded by the sup-norm loss. Consequently, a sharp asymptotic minimax bound is determined under the sup-norm risk over Holder classes of functions for the nonparametric regression problem on manifolds. This provides good convergence properties for the persistent homology estimator in terms of the expected bottleneck distance.
△ Less
Submitted 4 March, 2010; v1 submitted 25 August, 2009;
originally announced August 2009.
-
Computing Multidimensional Persistence
Authors:
Gunnar Carlsson,
Gurjeet Singh,
Afra Zomorodian
Abstract:
The theory of multidimensional persistence captures the topology of a multifiltration -- a multiparameter family of increasing spaces. Multifiltrations arise naturally in the topological analysis of scientific data. In this paper, we give a polynomial time algorithm for computing multidimensional persistence. We recast this computation as a problem within computational algebraic geometry and uti…
▽ More
The theory of multidimensional persistence captures the topology of a multifiltration -- a multiparameter family of increasing spaces. Multifiltrations arise naturally in the topological analysis of scientific data. In this paper, we give a polynomial time algorithm for computing multidimensional persistence. We recast this computation as a problem within computational algebraic geometry and utilize algorithms from this area to solve it. While the resulting problem is Expspace-complete and the standard algorithms take doubly-exponential time, we exploit the structure inherent withing multifiltrations to yield practical algorithms. We implement all algorithms in the paper and provide statistical experiments to demonstrate their feasibility.
△ Less
Submitted 19 November, 2010; v1 submitted 14 July, 2009;
originally announced July 2009.
-
Derived Representation Theory and the Algebraic K-theory of Fields
Authors:
Gunnar Carlsson
Abstract:
We describe the construction which takes as input a profinite group, which when applied the the absolute Galois group of a geometric field F agrees in some cases with the algebraic K-theory of F. We prove that it agrees in the case of a topologically finitely generated abelian absolute Galois group, and conjecture that it agrees for all geometric fields. We also discuss properties of the constru…
▽ More
We describe the construction which takes as input a profinite group, which when applied the the absolute Galois group of a geometric field F agrees in some cases with the algebraic K-theory of F. We prove that it agrees in the case of a topologically finitely generated abelian absolute Galois group, and conjecture that it agrees for all geometric fields. We also discuss properties of the construction, including relationships with the representation theory of infinite discrete groups.
△ Less
Submitted 27 October, 2008;
originally announced October 2008.
-
Higher topological cyclic homology and the Segal conjecture for tori
Authors:
Gunnar Carlsson,
Christopher L. Douglas,
Bjørn Ian Dundas
Abstract:
We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology based on the n-dimensional torus, and we propose it as a computationally tractable cousin of n-fold iterated algebraic K-theory.
The fixed points of toral topo…
▽ More
We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology based on the n-dimensional torus, and we propose it as a computationally tractable cousin of n-fold iterated algebraic K-theory.
The fixed points of toral topological Hochschild homology are related to one another by restriction and Frobenius operators. We introduce two additional families of operators on fixed points, the Verschiebung, indexed on self-isogenies of the n-torus, and the differentials, indexed on n-vectors. We give a detailed analysis of the relations among the restriction, Frobenius, Verschiebung, and differentials, producing a higher analog of the structure Hesselholt and Madsen described for 1-dimensional topological cyclic homology.
We calculate two important pieces of higher topological cyclic homology, namely topological restriction homology and topological Frobenius homology, for the sphere spectrum. The latter computation allows us to establish the Segal conjecture for the torus, which is to say to completely compute the cohomotopy type of the classifying space of the torus.
△ Less
Submitted 18 March, 2008;
originally announced March 2008.
-
Derived completions in stable homotopy theory
Authors:
Gunnar Carlsson
Abstract:
We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The construction is expected to have applications within algebraic K-theory.
We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The construction is expected to have applications within algebraic K-theory.
△ Less
Submitted 17 July, 2007;
originally announced July 2007.
-
Covering Homology
Authors:
Morten Brun,
Gunnar Carlsson,
Bjorn Ian Dundas
Abstract:
We introduce the notion of "covering homology" of a commutative ring spectrum with respect to certain families of coverings of topological spaces. The construction of covering homology is extracted from Bokstedt, Hsiang and Madsen's topological cyclic homology. In fact covering homology with respect to the family of orientation preserving isogenies of the circle is equal to topological cyclic ho…
▽ More
We introduce the notion of "covering homology" of a commutative ring spectrum with respect to certain families of coverings of topological spaces. The construction of covering homology is extracted from Bokstedt, Hsiang and Madsen's topological cyclic homology. In fact covering homology with respect to the family of orientation preserving isogenies of the circle is equal to topological cyclic homology.
Our basic tool for the analysis of covering homology is a cofibration sequence involving homotopy orbits and a restriction map similar to the restriction map used in Bokstedt, Hsiang and Madsen's construction of topological cyclic homology.
Covering homology with respect to families of isogenies of a torus is constructed from iterated topological Hochschild homology. It receives a trace map from iterated algebraic K-theory and the hope is that the rich structure, and the calculability of covering homology will make covering homology useful in the exploration of J. Rognes' ``red shift conjecture''.
△ Less
Submitted 8 February, 2008; v1 submitted 5 June, 2007;
originally announced June 2007.
