English
Related papers

Related papers: Algorithmic Semi-algebraic Geometry and Topology -…

200 papers

We describe general methods for enumerating subsemigroups of finite semigroups and techniques to improve the algorithmic efficiency of the calculations. As a particular application we use our algorithms to enumerate all transformation…

Group Theory · Mathematics 2017-03-02 James East , Attila Egri-Nagy , James D. Mitchell

The toric Hilbert scheme parametrizes all algebras isomorphic to a given semigroup algebra as a multigraded vectorspace. All components of the scheme are toric varieties, and among them, there is a fairly well understood coherent component.…

Algebraic Geometry · Mathematics 2007-05-23 Michael Stillman , Bernd Sturmfels , Rekha R. Thomas

A short survey on applications of algebraic geometry in topological data analysis.

Algebraic Geometry · Mathematics 2020-01-08 Paul Breiding

Invariants withstand transformations and, therefore, represent the essence of objects or phenomena. In mathematics, transformations often constitute a group action. Since the 19th century, studying the structure of various types of…

Symbolic Computation · Computer Science 2024-12-19 Irina A. Kogan

We discuss the principle tools and results and state a few open problems concerning the classification and topology of plane sextics and trigonal curves in ruled surfaces.

Algebraic Geometry · Mathematics 2016-09-07 Alex Degtyarev

Persistent homology is a common technique in topological data analysis providing geometrical and topological information about the sample space. All this information, known as topological features, is summarized in persistence diagrams, and…

Methodology · Statistics 2022-04-05 Asael Fabian Martínez

We propose an algorithm to estimate the topology of an embedded metric graph from a well-sampled finite subset of the underlying graph.

Computational Geometry · Computer Science 2019-12-09 Brittany Terese Fasy , Rafal Komendarczyk , Sushovan Majhi , Carola Wenk

In this paper, we revisit the problem of classifying real algebraic and semialgebraic sets by their topological types, focusing on establishing the effectiveness of bounds rather than deriving new quantitative estimates. Building on Hardt's…

Algebraic Geometry · Mathematics 2024-12-24 Kartoue Mady Demdah , Ibrahim Nonkane

A graph drawing in the plane is called an almost embedding if the images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. Almost embeddings (more precisely, their higher-dimensional analogues) naturally appear in…

Geometric Topology · Mathematics 2026-03-10 E. Alkin , A. Miroshnikov , A. Skopenkov

The empirical results suggest that the learnability of a neural network is directly related to its size. To mathematically prove this, we borrow a tool in topological algebra: Betti numbers to measure the topological geometric complexity of…

Machine Learning · Computer Science 2021-11-05 Ji Yang , Lu Sang , Daniel Cremers

Loop invariants are properties of a program loop that hold before and after each iteration of the loop. They are often employed to verify programs and ensure that algorithms consistently produce correct results during execution.…

Symbolic Computation · Computer Science 2024-05-16 Erdenebayar Bayarmagnai , Fatemeh Mohammadi , Rémi Prébet

This research addresses a new tool for data analysis known as Topological Data Analysis TDA It underlies an area of Mathematics known as Combinatorial Algebra or more recently Algebraic Topology which through making strong use of…

Statistics Theory · Mathematics 2021-06-29 Daniel Trejo Medina , Karla Sarai Jimenez

We review the method of symplectic invariants recently introduced to solve matrix models loop equations, and further extended beyond the context of matrix models. For any given spectral curve, one defined a sequence of differential forms,…

Mathematical Physics · Physics 2008-11-25 Bertrand Eynard , Nicolas Orantin

Geometry problem solving, a crucial aspect of mathematical reasoning, is vital across various domains, including education, the assessment of AI's mathematical abilities, and multimodal capability evaluation. The recent surge in deep…

Computation and Language · Computer Science 2025-08-25 Jianzhe Ma , Wenxuan Wang , Qin Jin

This is a survey article on the currently very active research area of free (=non-commutative) real algebra and geometry. We first review some of the important results from the commutative theory, and then explain similarities and…

Algebraic Geometry · Mathematics 2019-03-01 Tim Netzer

There are many numerical methods for solving partial different equations (PDEs) on manifolds such as classical implicit, finite difference, finite element, and isogeometric analysis methods which aim at improving the interoperability…

Numerical Analysis · Mathematics 2023-11-17 Wenrui Hao , Jonathan D. Hauenstein , Margaret H. Regan , Tingting Tang

We consider the problem of constructing semisimple subalgebras of real (semi-) simple Lie algebras. We develop computational methods that help to deal with this problem. Our methods boil down to solving a set of polynomial equations. In…

Rings and Algebras · Mathematics 2013-10-02 Paolo Faccin , Willem A. de Graaf

In this paper and upcoming ones, we initiate a systematic study of Bethe ansatz equations for integrable models by modern computational algebraic geometry. We show that algebraic geometry provides a natural mathematical language and…

High Energy Physics - Theory · Physics 2018-04-18 Yunfeng Jiang , Yang Zhang

Consider the set of solutions to a system of polynomial equations in many variables. An algebraic manifold is an open submanifold of such a set. We introduce a new method for computing integrals and sampling from distributions on algebraic…

Algebraic Geometry · Mathematics 2020-03-10 Paul Breiding , Orlando Marigliano

We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally posed as questions in geometry and representation theory, (ii.)…

Computational Complexity · Computer Science 2007-05-23 J. M. Landsberg