Showing 1–17 of 17 results for author: Jardine, J

Layers and stability

Authors: J. F. Jardine

Abstract: The hierarchy associated to clusters in the HDBSCAN algorithm has layers, which are defined by cardinality. The layers define a layer subposet of the HDBSCAN hierarchy, which is a strong deformation retract and admits a stability analysis. That stability analysis is introduced here. Cardinality arguments lead to sharper results for layers than one sees for stability statements for branch points. The hierarchy associated to clusters in the HDBSCAN algorithm has layers, which are defined by cardinality. The layers define a layer subposet of the HDBSCAN hierarchy, which is a strong deformation retract and admits a stability analysis. That stability analysis is introduced here. Cardinality arguments lead to sharper results for layers than one sees for stability statements for branch points. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: This paper appeared on the author's website in January, 2021

MSC Class: 62R40 (Primary) 55U10; 68T09 (Secondary)

Local data structures

Authors: J. F. Jardine

Abstract: Local data structures are systems of neighbourhoods within data sets. Specifications of neighbourhoods can arise in multiple ways, for example, from global geometric structure (stellar charts), combinatorial structure (weighted graphs), desired computational outcomes (natural language processing), or sampling. These examples are discussed, in the context of a theory of neighbourhoods. This theor… ▽ More Local data structures are systems of neighbourhoods within data sets. Specifications of neighbourhoods can arise in multiple ways, for example, from global geometric structure (stellar charts), combinatorial structure (weighted graphs), desired computational outcomes (natural language processing), or sampling. These examples are discussed, in the context of a theory of neighbourhoods. This theory is a step towards understanding clustering for large data sets. These clusters can only be approximated in practice, but approximations can be constructed from neighbourhoods via patching arguments that are derived from the Healy-McInnes UMAP construction. The patching arguments are enabled by changing the theoretical basis for data set structure, from metric spaces to extended pseudo metric spaces. △ Less

Submitted 2 March, 2023; originally announced March 2023.

MSC Class: 62R40 (Primary) 55U10; 68T09 (Secondary)

Metric spaces and homotopy types

Authors: J. F. Jardine

Abstract: By analogy with methods of Spivak, there is a realization functor which takes a persistence diagram $Y$ in simplicial sets to an extended pseudo-metric space (or ep-metric space) $Re(Y)$. The functor $Re$ has a right adjoint, called the singular functor, which takes an ep-metric space $Z$ to a persistence diagram $S(Z)$. We give an explicit description of $Re(Y)$, and show that it depends only on… ▽ More By analogy with methods of Spivak, there is a realization functor which takes a persistence diagram $Y$ in simplicial sets to an extended pseudo-metric space (or ep-metric space) $Re(Y)$. The functor $Re$ has a right adjoint, called the singular functor, which takes an ep-metric space $Z$ to a persistence diagram $S(Z)$. We give an explicit description of $Re(Y)$, and show that it depends only on the $1$-skeleton $sk_{1}Y$ of $Y$. If $X$ is a totally ordered ep-metric space, then there is an isomorphism $Re(V_{\ast}(X)) \cong X$, between the realization of the Vietoris-Rips diagram $V_{\ast}(X)$ and the ep-metric space $X$. The persistence diagrams $V_{\ast}(X)$ and $S(X)$ are sectionwise equivalent for all such $X$. △ Less

Submitted 16 December, 2020; originally announced December 2020.

Comments: 17 pages

MSC Class: 55U10; 62R40

Stability for UMAP

Authors: J. F. Jardine

Abstract: This paper displays the Healy-McInnes UMAP construction $V(X,N)$ as an iterated pushout of Vietoris-Rips objects associated to extended pseudo metric spaces (ep-metric spaces) defined by choices of neighbourhoods of the elements of a finite set $X$. An inclusion $X \subset Y$ in another finite set defines a map of UMAP systems $V(X,N) \to V(Y,N')$ in the presence of a compatible system of neighbou… ▽ More This paper displays the Healy-McInnes UMAP construction $V(X,N)$ as an iterated pushout of Vietoris-Rips objects associated to extended pseudo metric spaces (ep-metric spaces) defined by choices of neighbourhoods of the elements of a finite set $X$. An inclusion $X \subset Y$ in another finite set defines a map of UMAP systems $V(X,N) \to V(Y,N')$ in the presence of a compatible system of neighbourhoods $N'$ for $Y$. There is also an induced map of ep-metric spaces $(X,D) \to (Y,D')$, where $D$ and $D'$ are colimits (global averages) of the metrics defined by the neighbourhood systems for $X$ and $Y$. We prove a stablity result for the restriction of this ep-metric space map to global components. This stability result translates, via excision for path components, to a stability result for global components of the UMAP systems. △ Less

Submitted 26 November, 2020; originally announced November 2020.

Comments: 13 pages

MSC Class: 55U10; 62R40; 68T09

Branch points and stability

Authors: J. F. Jardine

Abstract: The hierarchy poset and branch point poset for a data set both admit a calculus of least upper bounds. A method involving upper bounds is used to show that the map of branch points associated to the inclusion of data sets is a controlled homotopy equivalence, where the control is expressed by an upper bound relation that is constrained by Hausdorff distance. The hierarchy poset and branch point poset for a data set both admit a calculus of least upper bounds. A method involving upper bounds is used to show that the map of branch points associated to the inclusion of data sets is a controlled homotopy equivalence, where the control is expressed by an upper bound relation that is constrained by Hausdorff distance. △ Less

Submitted 12 March, 2020; originally announced March 2020.

Comments: 8 pages. arXiv admin note: substantial text overlap with arXiv:1908.06323

MSC Class: 55U10; 68R10; 62H30

Persistent homotopy theory

Authors: J. F. Jardine

Abstract: Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors), which are defined on a parameter space. The category of systems of spaces admits a partial homotopy theory that is based on controlled equivalences, suitably defi… ▽ More Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors), which are defined on a parameter space. The category of systems of spaces admits a partial homotopy theory that is based on controlled equivalences, suitably defined, that are the output of homotopy stability results. △ Less

Submitted 26 October, 2020; v1 submitted 23 February, 2020; originally announced February 2020.

Comments: 21 pages. This is a new version of this preprint. The proof of Lemma 19 of the previous version had an error that rendered the proof of the former Theorem 23 invalid. No statement of that form is now claimed

MSC Class: 55U10; 62R40; 68T09

Complexity reduction for path categories

Authors: J. F. Jardine

Abstract: This paper displays complexity reduction techniques for calculations of path categories (or fundamental categories) P(K) for finite simplicial and cubical complexes K. The central technique involves identifying inclusions of complexes for which the induced functor of path categories is fully faithful. Refinements of cubical complex structures are discussed. A first method for parallelizing the cal… ▽ More This paper displays complexity reduction techniques for calculations of path categories (or fundamental categories) P(K) for finite simplicial and cubical complexes K. The central technique involves identifying inclusions of complexes for which the induced functor of path categories is fully faithful. Refinements of cubical complex structures are discussed. A first method for parallelizing the calculation of path categories for cubical complexes is introduced. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Comments: 2016, 14 pages

MSC Class: 68Q85; 55U10

Pro-equivalences of diagrams

Authors: J. F. Jardine

Abstract: This paper presents a model structure for natural transformations of diagrams of simplicial presheaves of a fixed shape, in which the weak equivalences are defined by analogy with pro-equivalences between pro-objects. This paper presents a model structure for natural transformations of diagrams of simplicial presheaves of a fixed shape, in which the weak equivalences are defined by analogy with pro-equivalences between pro-objects. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Comments: 2016, 19 pages

MSC Class: 55U35; 18G55; 14F35

Path categories and quasi-categories

Authors: J. F. Jardine

Abstract: This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids effectively replace higher homotopy groups in quasi-category homotopy theory. This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids effectively replace higher homotopy groups in quasi-category homotopy theory. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Comments: 38 pages

MSC Class: 18G55; 55U10

Data and homotopy types

Authors: J. F. Jardine

Abstract: This paper presents explicit assumptions for the existence of interleaving homotopy equivalences of both Vietoris-Rips and Lesnick complexes associated to an inclusion of data sets. Consequences of these assumptions are investigated on the space level, and for corresponding hierarchies of clusters and their sub-posets of branch points. Hierarchy posets and branch point posets admit a calculus of l… ▽ More This paper presents explicit assumptions for the existence of interleaving homotopy equivalences of both Vietoris-Rips and Lesnick complexes associated to an inclusion of data sets. Consequences of these assumptions are investigated on the space level, and for corresponding hierarchies of clusters and their sub-posets of branch points. Hierarchy posets and branch point posets admit a calculus of least upper bounds, which is used to show that the map of branch points associated to the inclusion of data sets is a controlled homotopy equivalence. △ Less

Submitted 17 August, 2019; originally announced August 2019.

Comments: Preliminary version, 12 pages

MSC Class: 55U10; 68R10; 62H30

Galois descent criteria

Authors: J. F. Jardine

Abstract: This paper gives an introduction to homotopy descent, and its applications in algebraic $K$-theory computations for fields. On the étale site of a field, a fibrant model of a simplicial presheaf can be constructed from naive Galois cohomological objects given by homotopy fixed point constructions, but only up to pro-equivalence. The homotopy fixed point spaces define finite Galois descent for simp… ▽ More This paper gives an introduction to homotopy descent, and its applications in algebraic $K$-theory computations for fields. On the étale site of a field, a fibrant model of a simplicial presheaf can be constructed from naive Galois cohomological objects given by homotopy fixed point constructions, but only up to pro-equivalence. The homotopy fixed point spaces define finite Galois descent for simplicial presheaves (and their relatives) over a field, but a pro-categorical construction is a necessary second step for passage from finite descent conditions to full homotopy descent in a Galois cohomological setting. △ Less

Submitted 14 June, 2019; originally announced June 2019.

Comments: The MSC classification numbers posted here are correct, whereas the numbers on the published version are not

MSC Class: 14F20; 14F35; 18G30

Journal ref: Contemp. Math. vol. 729 (2019), 129--155

Cosimplicial spaces and cocycles

Authors: J. F. Jardine

Abstract: Standard results from non-abelian cohomology theory specialize to a theory of torsors and stacks for cosimplicial groupoids. The space of global sections of the stack completion of a cosimplicial groupoid $G$ is weakly equivalent to the Bousfield-Kan total complex of $BG$ for all cosimplicial groupoids $G$. The $k$-invariants for the Postnikov tower of a cosimplicial space $X$ are naturally elemen… ▽ More Standard results from non-abelian cohomology theory specialize to a theory of torsors and stacks for cosimplicial groupoids. The space of global sections of the stack completion of a cosimplicial groupoid $G$ is weakly equivalent to the Bousfield-Kan total complex of $BG$ for all cosimplicial groupoids $G$. The $k$-invariants for the Postnikov tower of a cosimplicial space $X$ are naturally elements of stack cohomology for the stack associated to the fundamental groupoid $π(X)$ of $X$. Cocycle-theoretic ideas and techniques are used throughout the paper. △ Less

Submitted 14 June, 2019; originally announced June 2019.

MSC Class: 55U35; 18G50; 14A20

Journal ref: J. Inst. Math. Jussieu 15(3), (2016), 445-470

Stable components and layers

Authors: J. F. Jardine

Abstract: Component graphs $Γ_{0}(F)$ are defined for arrays of sets $F$, and in particular for arrays of path components for Vietoris-Rips complexes and Lesnick complexes. The path components of $Γ_{0}(F)$ are the {\it stable components} of the array $F$. The stable components for the system of Lesnick complexes $\{ L_{s,k}(X) \}$ for a finite data set $X$ decompose into layers, which are themselves path c… ▽ More Component graphs $Γ_{0}(F)$ are defined for arrays of sets $F$, and in particular for arrays of path components for Vietoris-Rips complexes and Lesnick complexes. The path components of $Γ_{0}(F)$ are the {\it stable components} of the array $F$. The stable components for the system of Lesnick complexes $\{ L_{s,k}(X) \}$ for a finite data set $X$ decompose into layers, which are themselves path components of a graph. Combinatorial scoring functions are defined for layers and stable components. △ Less

Submitted 1 November, 2019; v1 submitted 14 May, 2019; originally announced May 2019.

Comments: 17 pages, 1 figure

MSC Class: 55U10; 68R10; 62H30

Journal ref: Can. Math. Bull. 63 (2020) 562-576

Fuzzy sets and presheaves

Authors: J. F. Jardine

Abstract: This note presents a presheaf theoretic approach to the construction of fuzzy sets, which builds on Barr's description of fuzzy sets as sheaves of monomorphisms on a locale. A presheaf-theoretic method is used to show that the category of fuzzy sets is complete and co-complete, and to present explicit descriptions of classical fuzzy sets that arise as limits and colimits. The Boolean localization… ▽ More This note presents a presheaf theoretic approach to the construction of fuzzy sets, which builds on Barr's description of fuzzy sets as sheaves of monomorphisms on a locale. A presheaf-theoretic method is used to show that the category of fuzzy sets is complete and co-complete, and to present explicit descriptions of classical fuzzy sets that arise as limits and colimits. The Boolean localization construction for sheaves and presheaves on a locale L specializes to a theory of stalks if L approximates the structure of a closed interval in the real line. The system V(X) of Vietoris-Rips complexes for a data cloud X becomes both a simplicial fuzzy set and a simplicial sheaf in this general framework. This example is explicitly discussed in this paper, in stages. △ Less

Submitted 17 December, 2019; v1 submitted 21 April, 2019; originally announced April 2019.

Comments: 21 pages

Journal ref: Compositionality, Volume 1 (2019) (December 20, 2019) compositionality:13506

Homotopy classification of gerbes

Authors: J. F. Jardine

Abstract: Gerbes are locally connected presheaves of groupoids. They are classified up to local weak equivalence by path components in a 2-cocycle category taking values in all sheaves of groups, their isomorphisms and homotopies. If F is a full presheaf of sheaves of groups, isomorphisms and homotopies, then [*,BF] is isomorphic to equivalence classes of gerbes locally equivalent to groups appearing in F… ▽ More Gerbes are locally connected presheaves of groupoids. They are classified up to local weak equivalence by path components in a 2-cocycle category taking values in all sheaves of groups, their isomorphisms and homotopies. If F is a full presheaf of sheaves of groups, isomorphisms and homotopies, then [*,BF] is isomorphic to equivalence classes of gerbes locally equivalent to groups appearing in F. Giraud's non-abelian cohomology object of equivalence classes of gerbes with band L is isomorphic to morphisms in the homotopy category from the point * to the homotopy fibre over L for a map defined on BF and taking values in the classifying space for the stack completion of the fundamental groupoid of F. △ Less

Submitted 8 May, 2006; originally announced May 2006.

Cocycle categories

Authors: J. F. Jardine

Abstract: A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and satisfies the extra condition that weak equivalences are closed under finite products. Various applications of this result are displayed, including the homotopy c… ▽ More A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and satisfies the extra condition that weak equivalences are closed under finite products. Various applications of this result are displayed, including the homotopy classification of torsors, abelian cohomology groups, group extensions and gerbes. The older classification results have simple new proofs involving canonically defined cocycles. △ Less

Submitted 8 May, 2006; originally announced May 2006.

Fibred sites and stack cohomology

Authors: J. F. Jardine

Abstract: The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched diagrams defined on A, taking values in simplicial sets. The standard model structure for presheaves of simplicial sets induces a coarse equivariant structure fo… ▽ More The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched diagrams defined on A, taking values in simplicial sets. The standard model structure for presheaves of simplicial sets induces a coarse equivariant structure for enriched contravariant A-diagrams. If the presheaf of categories is a presheaf of groupoids G, then the associated homotopy theory is Quillen equivalent to the homotopy theory of simplicial presheaves over BG, and so the homotopy theory for the fibred site C/G is an invariant of the homotopy type of G. Similar homotopy invariance results obtain for presheaves of spectra and presheaves of symmetric spectra on C/G. In particular, stack cohomology can be calculated on the fibred site for a representing presheaf of groupoids. △ Less

Submitted 23 June, 2004; originally announced June 2004.

Comments: 38 pages

Report number: AIM 2004-12