-
Hardness of computation of quantum invariants on 3-manifolds with restricted topology
Authors:
Henrique Ennes,
Clément Maria
Abstract:
Quantum invariants in low dimensional topology offer a wide variety of valuable invariants of knots and 3-manifolds, presented by explicit formulas that are readily computable. Their computational complexity has been actively studied and is tightly connected to topological quantum computing. In this article, we prove that for any 3-manifold quantum invariant in the Reshetikhin-Turaev model, there…
▽ More
Quantum invariants in low dimensional topology offer a wide variety of valuable invariants of knots and 3-manifolds, presented by explicit formulas that are readily computable. Their computational complexity has been actively studied and is tightly connected to topological quantum computing. In this article, we prove that for any 3-manifold quantum invariant in the Reshetikhin-Turaev model, there is a deterministic polynomial time algorithm that, given as input an arbitrary closed 3-manifold $M$, outputs a closed 3-manifold $M'$ with same quantum invariant, such that $M'$ is hyperbolic, contains no low genus embedded incompressible surface, and is presented by a strongly irreducible Heegaard diagram. Our construction relies on properties of Heegaard splittings and the Hempel distance. At the level of computational complexity, this proves that the hardness of computing a given quantum invariant of 3-manifolds is preserved even when severely restricting the topology and the combinatorics of the input. This positively answers a question raised by Samperton.
△ Less
Submitted 26 June, 2025; v1 submitted 4 March, 2025;
originally announced March 2025.
-
An algorithm for Tambara-Yamagami quantum invariants of 3-manifolds, parameterized by the first Betti number
Authors:
Colleen Delaney,
Clément Maria,
Eric Samperton
Abstract:
Quantum topology provides various frameworks for defining and computing invariants of manifolds inspired by quantum theory. One such framework of substantial interest in both mathematics and physics is the Turaev-Viro-Barrett-Westbury state sum construction, which uses the data of a spherical fusion category to define topological invariants of triangulated 3-manifolds via tensor network contractio…
▽ More
Quantum topology provides various frameworks for defining and computing invariants of manifolds inspired by quantum theory. One such framework of substantial interest in both mathematics and physics is the Turaev-Viro-Barrett-Westbury state sum construction, which uses the data of a spherical fusion category to define topological invariants of triangulated 3-manifolds via tensor network contractions. In this work we analyze the computational complexity of state sum invariants of 3-manifolds derived from Tambara-Yamagami categories. While these categories are the simplest source of state sum invariants beyond finite abelian groups (whose invariants can be computed in polynomial time) their computational complexities are yet to be fully understood. We first establish that the invariants arising from even the smallest Tambara-Yamagami categories are #P-hard to compute, so that one expects the same to be true of the whole family. Our main result is then the existence of a fixed parameter tractable algorithm to compute these 3-manifold invariants, where the parameter is the first Betti number of the 3-manifold with Z/2Z coefficients.
Contrary to other domains of computational topology, such as graphs on surfaces, very few hard problems in 3-manifold topology are known to admit FPT algorithms with a topological parameter. However, such algorithms are of particular interest as their complexity depends only polynomially on the combinatorial representation of the input, regardless of size or combinatorial width. Additionally, in the case of Betti numbers, the parameter itself is computable in polynomial time. Thus while one generally expects quantum invariants to be hard to compute classically, our results suggest that the hardness of computing state sum invariants from Tambara-Yamagami categories arises from classical 3-manifold topology rather than the quantum nature of the algebraic input.
△ Less
Submitted 4 December, 2024; v1 submitted 14 November, 2023;
originally announced November 2023.
-
Computing complete hyperbolic structures on cusped 3-manifolds
Authors:
Clément Maria,
Owen Rouillé
Abstract:
A fundamental way to study 3-manifolds is through the geometric lens, one of the most prominent geometries being the hyperbolic one. We focus on the computation of a complete hyperbolic structure on a connected orientable hyperbolic 3-manifold with torus boundaries. This family of 3-manifolds includes the knot complements. This computation of a hyperbolic structure requires the resolution of gluin…
▽ More
A fundamental way to study 3-manifolds is through the geometric lens, one of the most prominent geometries being the hyperbolic one. We focus on the computation of a complete hyperbolic structure on a connected orientable hyperbolic 3-manifold with torus boundaries. This family of 3-manifolds includes the knot complements. This computation of a hyperbolic structure requires the resolution of gluing equations on a triangulation of the space, but not all triangulations admit a solution to the equations. In this paper, we propose a new method to find a triangulation that admits a solution to the gluing equations, using convex optimization and combinatorial modifications. It is based on Casson and Rivin s reformulation of the equations. We provide a novel approach to modify a triangulation and update its geometry, along with experimental results to support the new method.
△ Less
Submitted 24 August, 2022; v1 submitted 12 December, 2021;
originally announced December 2021.
-
Hard Diagrams of the Unknot
Authors:
Benjamin A. Burton,
Hsien-Chih Chang,
Maarten Löffler,
Arnaud de Mesmay,
Clément Maria,
Saul Schleimer,
Eric Sedgwick,
Jonathan Spreer
Abstract:
We present three "hard" diagrams of the unknot. They require (at least) three extra crossings before they can be simplified to the trivial unknot diagram via Reidemeister moves in $\mathbb{S}^2$. Both examples are constructed by applying previously proposed methods. The proof of their hardness uses significant computational resources. We also determine that no small "standard" example of a hard un…
▽ More
We present three "hard" diagrams of the unknot. They require (at least) three extra crossings before they can be simplified to the trivial unknot diagram via Reidemeister moves in $\mathbb{S}^2$. Both examples are constructed by applying previously proposed methods. The proof of their hardness uses significant computational resources. We also determine that no small "standard" example of a hard unknot diagram requires more than one extra crossing for Reidemeister moves in $\mathbb{S}^2$.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
Computation of Large Asymptotics of 3-Manifold Quantum Invariants
Authors:
Clément Maria,
Owen Rouillé
Abstract:
Quantum topological invariants have played an important role in computational topology, and they are at the heart of major modern mathematical conjectures. In this article, we study the experimental problem of computing large $r$ values of Turaev-Viro invariants $\mathrm{TV}_r$. We base our approach on an optimized backtracking algorithm, consisting of enumerating combinatorial data on a triangula…
▽ More
Quantum topological invariants have played an important role in computational topology, and they are at the heart of major modern mathematical conjectures. In this article, we study the experimental problem of computing large $r$ values of Turaev-Viro invariants $\mathrm{TV}_r$. We base our approach on an optimized backtracking algorithm, consisting of enumerating combinatorial data on a triangulation of a 3-manifold. We design an easily computable parameter to estimate the complexity of the enumeration space, based on lattice point counting in polytopes, and show experimentally its accuracy. We apply this parameter to a preprocessing strategy on the triangulation, and combine it with multi-precision arithmetics in order to compute the Turaev-Viro invariants. We finally study the improvements brought by these optimizations compared to state-of-the-art implementations, and verify experimentally Chen and Yang's volume conjecture on a census of closed 3-manifolds.
△ Less
Submitted 27 October, 2020;
originally announced October 2020.
-
Computing Persistent Homology with Various Coefficient Fields in a Single Pass
Authors:
Jean-Daniel Boissonnat,
Clément Maria
Abstract:
This article introduces an algorithm to compute the persistent homology of a filtered complex with various coefficient fields in a single matrix reduction. The algorithm is output-sensitive in the total number of distinct persistent homological features in the diagrams for the different coefficient fields. This computation allows us to infer the prime divisors of the torsion coefficients of the in…
▽ More
This article introduces an algorithm to compute the persistent homology of a filtered complex with various coefficient fields in a single matrix reduction. The algorithm is output-sensitive in the total number of distinct persistent homological features in the diagrams for the different coefficient fields. This computation allows us to infer the prime divisors of the torsion coefficients of the integral homology groups of the topological space at any scale, hence furnishing a more informative description of topology than persistence in a single coefficient field. We provide theoretical complexity analysis as well as detailed experimental results. The code is part of the Gudhi software library.
△ Less
Submitted 9 January, 2020;
originally announced January 2020.
-
The Simplex Tree: an Efficient Data Structure for General Simplicial Complexes
Authors:
Jean-Daniel Boissonnat,
Clément Maria
Abstract:
This paper introduces a data structure, called simplex tree, to represent abstract simplicial complexes of any dimension. All faces of the simplicial complex are explicitly stored in a trie whose nodes are in bijection with the faces of the complex. This data structure allows to efficiently implement a large range of basic operations on simplicial complexes. We provide theoretical complexity analy…
▽ More
This paper introduces a data structure, called simplex tree, to represent abstract simplicial complexes of any dimension. All faces of the simplicial complex are explicitly stored in a trie whose nodes are in bijection with the faces of the complex. This data structure allows to efficiently implement a large range of basic operations on simplicial complexes. We provide theoretical complexity analysis as well as detailed experimental results. We more specifically study Rips and witness complexes.
△ Less
Submitted 8 January, 2020;
originally announced January 2020.
-
Intrinsic Topological Transforms via the Distance Kernel Embedding
Authors:
Clément Maria,
Steve Oudot,
Elchanan Solomon
Abstract:
Topological transforms are parametrized families of topological invariants, which, by analogy with transforms in signal processing, are much more discriminative than single measurements. The first two topological transforms to be defined were the Persistent Homology Transform and Euler Characteristic Transform, both of which apply to shapes embedded in Euclidean space. The contribution of this pap…
▽ More
Topological transforms are parametrized families of topological invariants, which, by analogy with transforms in signal processing, are much more discriminative than single measurements. The first two topological transforms to be defined were the Persistent Homology Transform and Euler Characteristic Transform, both of which apply to shapes embedded in Euclidean space. The contribution of this paper is to define topological transforms that depend only on the intrinsic geometry of a shape, and hence are invariant to the choice of embedding. To that end, given an abstract metric measure space, we define an integral operator whose eigenfunctions are used to compute sublevel set persistent homology. We demonstrate that this operator, which we call the distance kernel operator, enjoys desirable stability properties, and that its spectrum and eigenfunctions concisely encode the large-scale geometry of our metric measure space. We then define a number of topological transforms using the eigenfunctions of this operator, and observe that these transforms inherit many of the stability and injectivity properties of the distance kernel operator.
△ Less
Submitted 30 March, 2020; v1 submitted 4 December, 2019;
originally announced December 2019.
-
Parameterized complexity of quantum invariants
Authors:
Clément Maria
Abstract:
We give a general fixed parameter tractable algorithm to compute quantum invariants of links presented by diagrams, whose complexity is singly exponential in the carving-width (or the tree-width) of the diagram. In particular, we get a $O(N^{\frac{3}{2} \mathrm{cw}} \mathrm{poly}(n))$ time algorithm to compute any Reshetikhin-Turaev invariant---derived from a simple Lie algebra $\mathfrak{g}$---of…
▽ More
We give a general fixed parameter tractable algorithm to compute quantum invariants of links presented by diagrams, whose complexity is singly exponential in the carving-width (or the tree-width) of the diagram. In particular, we get a $O(N^{\frac{3}{2} \mathrm{cw}} \mathrm{poly}(n))$ time algorithm to compute any Reshetikhin-Turaev invariant---derived from a simple Lie algebra $\mathfrak{g}$---of a link presented by a planar diagram with $n$ crossings and carving-width $\mathrm{cw}$, and whose components are coloured with $\mathfrak{g}$-modules of dimension at most $N$. For example, this includes the $N^{th}$ coloured Jones polynomials and the $N^{th}$ coloured HOMFLYPT polynomials.
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
Discrete Morse Theory for Computing Zigzag Persistence
Authors:
Clément Maria,
Hannah Schreiber
Abstract:
We introduce a theoretical and computational framework to use discrete Morse theory as an efficient preprocessing in order to compute zigzag persistent homology.
From a zigzag filtration of complexes $(K_i)$, we introduce a zigzag Morse filtration whose complexes $(A_i)$ are Morse reductions of the original complexes $(K_i)$, and we prove that they both have same persistent homology. This zigzag…
▽ More
We introduce a theoretical and computational framework to use discrete Morse theory as an efficient preprocessing in order to compute zigzag persistent homology.
From a zigzag filtration of complexes $(K_i)$, we introduce a zigzag Morse filtration whose complexes $(A_i)$ are Morse reductions of the original complexes $(K_i)$, and we prove that they both have same persistent homology. This zigzag Morse filtration generalizes the filtered Morse complex of Mischaikow and Nanda, defined for standard persistence.
The maps in the zigzag Morse filtration are forward and backward inclusions, as is standard in zigzag persistence, as well as a new type of map inducing non trivial changes in the boundary operator of the Morse complex. We study in details this last map, and design algorithms to compute the update both at the complex level and at the homology matrix level when computing zigzag persistence. We deduce an algorithm to compute the zigzag persistence of a filtration that depends mostly on the number of critical cells of the complexes, and show experimentally that it performs better in practice.
△ Less
Submitted 11 July, 2019; v1 submitted 13 July, 2018;
originally announced July 2018.
-
Treewidth, crushing, and hyperbolic volume
Authors:
Clément Maria,
Jessica S. Purcell
Abstract:
We prove that there exists a universal constant $c$ such that any closed hyperbolic 3-manifold admits a triangulation of treewidth at most $c$ times its volume. The converse is not true: we show there exists a sequence of hyperbolic 3-manifolds of bounded treewidth but volume approaching infinity. Along the way, we prove that crushing a normal surface in a triangulation does not increase the carvi…
▽ More
We prove that there exists a universal constant $c$ such that any closed hyperbolic 3-manifold admits a triangulation of treewidth at most $c$ times its volume. The converse is not true: we show there exists a sequence of hyperbolic 3-manifolds of bounded treewidth but volume approaching infinity. Along the way, we prove that crushing a normal surface in a triangulation does not increase the carving-width, and hence crushing any number of normal surfaces in a triangulation affects treewidth by at most a constant multiple.
△ Less
Submitted 21 January, 2019; v1 submitted 7 May, 2018;
originally announced May 2018.
-
Computing Zigzag Persistent Cohomology
Authors:
Clément Maria,
Steve Oudot
Abstract:
Zigzag persistent homology is a powerful generalisation of persistent homology that allows one not only to compute persistence diagrams with less noise and using less memory, but also to use persistence in new fields of application. However, due to the increase in complexity of the algebraic treatment of the theory, most algorithmic results in the field have remained of theoretical nature.
This…
▽ More
Zigzag persistent homology is a powerful generalisation of persistent homology that allows one not only to compute persistence diagrams with less noise and using less memory, but also to use persistence in new fields of application. However, due to the increase in complexity of the algebraic treatment of the theory, most algorithmic results in the field have remained of theoretical nature.
This article describes an efficient algorithm to compute zigzag persistence, emphasising on its practical interest. The algorithm is a zigzag persistent cohomology algorithm, based on the dualisation of reflections and transpositions transformations within the zigzag sequence.
We provide an extensive experimental study of the algorithm. We study the algorithm along two directions. First, we compare its performance with zigzag persistent homology algorithm and show the interest of cohomology in zigzag persistence. Second, we illustrate the interest of zigzag persistence in topological data analysis by comparing it to state of the art methods in the field, specifically optimised algorithm for standard persistent homology and sparse filtrations. We compare the memory and time complexities of the different algorithms, as well as the quality of the output persistence diagrams.
△ Less
Submitted 21 August, 2016;
originally announced August 2016.
-
A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first Betti number
Authors:
Clément Maria,
Jonathan Spreer
Abstract:
In this article, we introduce a fixed parameter tractable algorithm for computing the Turaev-Viro invariants TV(4,q), using the dimension of the first homology group of the manifold as parameter.
This is, to our knowledge, the first parameterised algorithm in computational 3-manifold topology using a topological parameter. The computation of TV(4,q) is known to be #P-hard in general; using a top…
▽ More
In this article, we introduce a fixed parameter tractable algorithm for computing the Turaev-Viro invariants TV(4,q), using the dimension of the first homology group of the manifold as parameter.
This is, to our knowledge, the first parameterised algorithm in computational 3-manifold topology using a topological parameter. The computation of TV(4,q) is known to be #P-hard in general; using a topological parameter provides an algorithm polynomial in the size of the input triangulation for the extremely large family of 3-manifolds with first homology group of bounded rank.
Our algorithm is easy to implement and running times are comparable with running times to compute integral homology groups for standard libraries of triangulated 3-manifolds. The invariants we can compute this way are powerful: in combination with integral homology and using standard data sets we are able to roughly double the pairs of 3-manifolds we can distinguish.
We hope this qualifies TV(4,q) to be added to the short list of standard properties (such as orientability, connectedness, Betti numbers, etc.) that can be computed ad-hoc when first investigating an unknown triangulation.
△ Less
Submitted 7 July, 2016;
originally announced July 2016.
-
Admissible colourings of 3-manifold triangulations for Turaev-Viro type invariants
Authors:
Clément Maria,
Jonathan Spreer
Abstract:
Turaev Viro invariants are amongst the most powerful tools to distinguish 3-manifolds: They are implemented in mathematical software, and allow practical computations. The invariants can be computed purely combinatorially by enumerating colourings on the edges of a triangulation T.
These edge colourings can be interpreted as embeddings of surfaces in T. We give a characterisation of how these em…
▽ More
Turaev Viro invariants are amongst the most powerful tools to distinguish 3-manifolds: They are implemented in mathematical software, and allow practical computations. The invariants can be computed purely combinatorially by enumerating colourings on the edges of a triangulation T.
These edge colourings can be interpreted as embeddings of surfaces in T. We give a characterisation of how these embedded surfaces intersect with the tetrahedra of T. This is done by characterising isotopy classes of simple closed loops in the 3-punctured disk. As a direct result we obtain a new system of coordinates for edge colourings which allows for simpler definitions of the tetrahedron weights incorporated in the Turaev-Viro invariants.
Moreover, building on a detailed analysis of the colourings, as well as classical work due to Kirby and Melvin, Matveev, and others, we show that considering a much smaller set of colourings suffices to compute Turaev-Viro invariants in certain significant cases. This results in a substantial improvement of running times to compute the invariants, reducing the number of colourings to consider by a factor of $2^n$. In addition, we present an algorithm to compute Turaev-Viro invariants of degree four -- a problem known to be #P-hard -- which capitalises on the combinatorial structure of the input.
The improved algorithms are shown to be optimal in the following sense: There exist triangulations admitting all colourings the algorithms consider. Furthermore, we demonstrate that our new algorithms to compute Turaev-Viro invariants are able to distinguish the majority of $\mathbb{Z}$-homology spheres with complexity up to $11$ in $O(2^n)$ operations in $\mathbb{Q}$.
△ Less
Submitted 14 December, 2015;
originally announced December 2015.
-
Algorithms and complexity for Turaev-Viro invariants
Authors:
Benjamin A. Burton,
Clément Maria,
Jonathan Spreer
Abstract:
The Turaev-Viro invariants are a powerful family of topological invariants for distinguishing between different 3-manifolds. They are invaluable for mathematical software, but current algorithms to compute them require exponential time.
The invariants are parameterised by an integer $r \geq 3$. We resolve the question of complexity for $r=3$ and $r=4$, giving simple proofs that computing Turaev-…
▽ More
The Turaev-Viro invariants are a powerful family of topological invariants for distinguishing between different 3-manifolds. They are invaluable for mathematical software, but current algorithms to compute them require exponential time.
The invariants are parameterised by an integer $r \geq 3$. We resolve the question of complexity for $r=3$ and $r=4$, giving simple proofs that computing Turaev-Viro invariants for $r=3$ is polynomial time, but for $r=4$ is \#P-hard. Moreover, we give an explicit fixed-parameter tractable algorithm for arbitrary $r$, and show through concrete implementation and experimentation that this algorithm is practical---and indeed preferable---to the prior state of the art for real computation.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
Introduction to the R package TDA
Authors:
Brittany Terese Fasy,
Jisu Kim,
Fabrizio Lecci,
Clément Maria
Abstract:
We present a short tutorial and introduction to using the R package TDA, which provides some tools for Topological Data Analysis. In particular, it includes implementations of functions that, given some data, provide topological information about the underlying space, such as the distance function, the distance to a measure, the kNN density estimator, the kernel density estimator, and the kernel d…
▽ More
We present a short tutorial and introduction to using the R package TDA, which provides some tools for Topological Data Analysis. In particular, it includes implementations of functions that, given some data, provide topological information about the underlying space, such as the distance function, the distance to a measure, the kNN density estimator, the kernel density estimator, and the kernel distance. The salient topological features of the sublevel sets (or superlevel sets) of these functions can be quantified with persistent homology. We provide an R interface for the efficient algorithms of the C++ libraries GUDHI, Dionysus and PHAT, including a function for the persistent homology of the Rips filtration, and one for the persistent homology of sublevel sets (or superlevel sets) of arbitrary functions evaluated over a grid of points. The significance of the features in the resulting persistence diagrams can be analyzed with functions that implement recently developed statistical methods. The R package TDA also includes the implementation of an algorithm for density clustering, which allows us to identify the spatial organization of the probability mass associated to a density function and visualize it by means of a dendrogram, the cluster tree.
△ Less
Submitted 29 January, 2015; v1 submitted 7 November, 2014;
originally announced November 2014.
-
The Compressed Annotation Matrix: an Efficient Data Structure for Computing Persistent Cohomology
Authors:
Jean-Daniel Boissonnat,
Tamal K. Dey,
Clément Maria
Abstract:
The persistent homology with coefficients in a field F coincides with the same for cohomology because of duality. We propose an implementation of a recently introduced algorithm for persistent cohomology that attaches annotation vectors with the simplices. We separate the representation of the simplicial complex from the representation of the cohomology groups, and introduce a new data structure f…
▽ More
The persistent homology with coefficients in a field F coincides with the same for cohomology because of duality. We propose an implementation of a recently introduced algorithm for persistent cohomology that attaches annotation vectors with the simplices. We separate the representation of the simplicial complex from the representation of the cohomology groups, and introduce a new data structure for maintaining the annotation matrix, which is more compact and reduces substancially the amount of matrix operations. In addition, we propose heuristics to simplify further the representation of the cohomology groups and improve both time and space complexities. The paper provides a theoretical analysis, as well as a detailed experimental study of our implementation and comparison with state-of-the-art software for persistent homology and cohomology.
△ Less
Submitted 8 January, 2020; v1 submitted 25 April, 2013;
originally announced April 2013.
-
Penetrating Radiation on the Sea
Authors:
Domenico Pacini,
translated,
commented by Michela De Maria,
Alessandro De Angelis
Abstract:
At the beginning of the twentieth century, two scientists, the Austrian Victor Hess and the Italian Domenico Pacini, developed two brilliant lines of research independently, leading to the determination of the origin of atmospheric radiation. Hess measured the rate of discharge of an electroscope that flew aboard an atmospheric balloon. Because the discharge rate increased as the balloon flew at h…
▽ More
At the beginning of the twentieth century, two scientists, the Austrian Victor Hess and the Italian Domenico Pacini, developed two brilliant lines of research independently, leading to the determination of the origin of atmospheric radiation. Hess measured the rate of discharge of an electroscope that flew aboard an atmospheric balloon. Because the discharge rate increased as the balloon flew at higher altitude, he concluded in 1912 that the origin could not be terrestrial. For this discovery, Hess was awarded the Nobel Prize in 1936, and his experiment became legendary. At the same time, in 1911, Pacini, a professor at the University of Bari, made a series of measurements to determine the variation in the speed of discharge of an electroscope (and thus the intensity of the radiation) while the electroscope was immersed in a box in a sea near the Naval Academy in the Bay of Livorno (the Italian Navy supported the research). Pacini discovered that the discharge of the oscilloscope was significantly slower than at the surface.
Before his conclusive measurements, Pacini performed a series of experiments between 1907 and 1910, in particular by comparing radioactivity on ground and on the sea surface a few kilometers off the coast. These experimennts gave marginal indications on the presence of a non-terrestrial component, encouraging Pacini to continue his research till the conclusive results. Such first experiments on the sea are presented in the article by D. Pacini in Le Radium VIII (1911) 307, which is essentially a translation into French of another article published in Italian in Ann. Uff. Centr. Meteor. XXXII, parte I (1910); this is a translation in English of the article by Pacini in "Le Radium", article which was quoted by Hess in his famous paper.
△ Less
Submitted 3 March, 2011; v1 submitted 15 January, 2011;
originally announced January 2011.
-
An Exponential Lower Bound on the Complexity of Regularization Paths
Authors:
Bernd Gärtner,
Martin Jaggi,
Clément Maria
Abstract:
For a variety of regularized optimization problems in machine learning, algorithms computing the entire solution path have been developed recently. Most of these methods are quadratic programs that are parameterized by a single parameter, as for example the Support Vector Machine (SVM). Solution path algorithms do not only compute the solution for one particular value of the regularization paramet…
▽ More
For a variety of regularized optimization problems in machine learning, algorithms computing the entire solution path have been developed recently. Most of these methods are quadratic programs that are parameterized by a single parameter, as for example the Support Vector Machine (SVM). Solution path algorithms do not only compute the solution for one particular value of the regularization parameter but the entire path of solutions, making the selection of an optimal parameter much easier.
It has been assumed that these piecewise linear solution paths have only linear complexity, i.e. linearly many bends. We prove that for the support vector machine this complexity can be exponential in the number of training points in the worst case. More strongly, we construct a single instance of n input points in d dimensions for an SVM such that at least Θ(2^{n/2}) = Θ(2^d) many distinct subsets of support vectors occur as the regularization parameter changes.
△ Less
Submitted 25 October, 2012; v1 submitted 27 March, 2009;
originally announced March 2009.
-
Density-dependence of functional development in spiking cortical networks grown in vitro
Authors:
Michael I. Ham,
Vadas Gintautas,
Marko A. Rodriguez,
Ryan A. Bennett,
Cara L. Santa Maria,
Luis M. A. Bettencourt
Abstract:
During development, the mammalian brain differentiates into specialized regions with distinct functional abilities. While many factors contribute to functional specialization, we explore the effect of neuronal density on the development of neuronal interactions in vitro. Two types of cortical networks, dense and sparse, with 50,000 and 12,000 total cells respectively, are studied. Activation gra…
▽ More
During development, the mammalian brain differentiates into specialized regions with distinct functional abilities. While many factors contribute to functional specialization, we explore the effect of neuronal density on the development of neuronal interactions in vitro. Two types of cortical networks, dense and sparse, with 50,000 and 12,000 total cells respectively, are studied. Activation graphs that represent pairwise neuronal interactions are constructed using a competitive first response model. These graphs reveal that, during development in vitro, dense networks form activation connections earlier than sparse networks. Link entropy analysis of dense net- work activation graphs suggests that the majority of connections between electrodes are reciprocal in nature. Information theoretic measures reveal that early functional information interactions (among 3 cells) are synergetic in both dense and sparse networks. However, during later stages of development, previously synergetic relationships become primarily redundant in dense, but not in sparse networks. Large link entropy values in the activation graph are related to the domination of redundant ensembles in late stages of development in dense networks. Results demonstrate differences between dense and sparse networks in terms of informational groups, pairwise relationships, and activation graphs. These differences suggest that variations in cell density may result in different functional specialization of nervous system tissue in vivo.
△ Less
Submitted 21 November, 2008;
originally announced November 2008.
