English
Related papers

Related papers: Computing Minimal Presentations and Bigraded Betti…

200 papers

Bilevel optimization enjoys a wide range of applications in emerging machine learning and signal processing problems such as hyper-parameter optimization, image reconstruction, meta-learning, adversarial training, and reinforcement…

Machine Learning · Computer Science 2025-01-08 Han Shen , Quan Xiao , Tianyi Chen

Reducing a chain complex (whilst preserving its homotopy-type) using algebraic Morse theory gives the same end-result as Gaussian elimination, but AMT does it only on certain rows/columns and with several pivots (in all matrices…

Algebraic Topology · Mathematics 2020-10-05 Leon Lampret

Recently it has been shown that computing the dimension of the first homology group $H_1(K)$ of a simplicial $2$-complex $K$ embedded linearly in $\mathbb{R}^4$ is as hard as computing the rank of a sparse $0-1$ matrix. This puts a major…

Computational Geometry · Computer Science 2019-03-18 Tamal K. Dey

We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of $\mathbb{R}^n$. In this framework, a CAD $\mathscr{C}$ is adapted to a given set $S$ if $S$ is a union of cells of $\mathscr{C}$.…

Symbolic Computation · Computer Science 2024-11-21 Lucas Michel , Pierre Mathonet , Naïm Zénaïdi

We consider the problem of computing univariate polynomial matrices over a field that represent minimal solution bases for a general interpolation problem, some forms of which are the vector M-Pad\'e approximation problem in [Van Barel and…

Symbolic Computation · Computer Science 2016-06-14 Claude-Pierre Jeannerod , Vincent Neiger , Éric Schost , Gilles Villard

In the context of discrete Morse theory, we introduce Morse frames, which are maps that associate a set of critical simplexes to all simplexes. The main example of Morse frames are the Morse references. In particular, these Morse references…

Discrete Mathematics · Computer Science 2026-03-30 Gilles Bertrand , Laurent Najman

There is heightened interest in quantum algorithms for Topological Data Analysis (TDA) as it is a powerful tool for data analysis, but it can get highly computationally expensive. Even though there are different propositions and…

Quantum Physics · Physics 2023-08-08 Ankit Khandelwal , M Girish Chandra

Renewed interest in mixed-precision algorithms has emerged due to growing data capacity and bandwidth concerns, as well as the advancement of GPUs, which enable significant speedup for low precision arithmetic. In light of this, we propose…

Numerical Analysis · Mathematics 2020-12-14 Alec Michael Dunton , Alyson Fox

The kernel-independent fast multipole method (KIFMM) proposed in [1] is of almost linear complexity. In the original KIFMM the time-consuming M2L translations are accelerated by FFT. However, when more equivalent points are used to achieve…

Numerical Analysis · Computer Science 2015-03-19 Yanchuang Cao , Lihua Wen , Junjie Rong

Persistent homology was shown by Carlsson and Zomorodian to be homology of graded chain complexes with coefficients in the graded ring $\kk[t]$. As such, the behavior of persistence modules -- graded modules over $\kk[t]$ is an important…

Computational Geometry · Computer Science 2013-02-18 Primoz Skraba , Mikael Vejdemo-Johansson

Datasets often possess an intrinsic multiscale structure with meaningful descriptions at different levels of coarseness. Such datasets are naturally described as multi-resolution clusterings, i.e., not necessarily hierarchical sequences of…

Algebraic Topology · Mathematics 2026-04-01 Juni Schindler , Mauricio Barahona

Topological Data Analysis has grown in popularity in recent years as a way to apply tools from algebraic topology to large data sets. One of the main tools in topological data analysis is persistent homology. This paper uses undergraduate…

Algebraic Topology · Mathematics 2024-06-26 Cheyne Glass , Elizabeth Vidaurre

Clustering aims to form groups of similar data points in an unsupervised regime. Yet, clustering complex datasets containing critically intertwined shapes poses significant challenges. The prevailing clustering algorithms widely depend on…

Machine Learning · Computer Science 2025-05-08 Arghya Pratihar , Kushal Bose , Swagatam Das

We propose a sequential minimal optimization method for quantum-classical hybrid algorithms, which converges faster, is robust against statistical error, and is hyperparameter-free. Specifically, the optimization problem of the…

Quantum Physics · Physics 2020-11-04 Ken M. Nakanishi , Keisuke Fujii , Synge Todo

We extend the work of Narasimhan and Bilmes [30] for minimizing set functions representable as a difference between submodular functions. Similar to [30], our new algorithms are guaranteed to monotonically reduce the objective function at…

Data Structures and Algorithms · Computer Science 2013-08-27 Rishabh Iyer , Jeff Bilmes

In this series of papers, we investigate properties of a finite group which are determined by its low degree irreducible representations over a number field $F$, i.e. its representations on matrix rings $\operatorname{M}_n(D)$ with $n \leq…

Representation Theory · Mathematics 2026-02-13 Robynn Corveleyn , Geoffrey Janssens , Doryan Temmerman

A $\mathbb{Z}^d$-graded differential $R$-module is a $\mathbb{Z}^d$-graded $R$-module $D$ equipped with an endomorphism, $\delta$, that squares to zero. For $R=k[x_1,\ldots,x_d]$, this paper establishes a lower bound on the rank of such a…

Commutative Algebra · Mathematics 2021-08-10 Adam Boocher , Justin W. DeVries

Persistent homology is a fundamental tool in Topological Data Analysis. The associated algebraic structure is the persistence module, a sequence of vector spaces connected by linear maps. Persistence modules admit a complete and…

Algebraic Topology · Mathematics 2026-02-13 R. Gonzalez-Diaz , M. Soriano-Trigueros , A. Torras-Casas

Multi-homogeneous polynomial systems arise in many applications. We provide bit complexity estimates for solving them which, up to a few extra other factors, are quadratic in the number of solutions and linear in the height of the input…

Symbolic Computation · Computer Science 2017-12-12 Mohab Safey El Din , Eric Schost

Visualization in the emerging field of topological data analysis has progressed from persistence barcodes and persistence diagrams to display of two-parameter persistent homology. Although persistence barcodes and diagrams have permitted…

Applications · Statistics 2019-01-08 Raoul R. Wadhwa , Andrew Dhawan , Drew F. K. Williamson , Jacob G. Scott