English
Related papers

Related papers: Recent advances in algorithmic problems for semigr…

200 papers

Understanding the convergence process of neural networks is one of the most complex and crucial issues in the field of machine learning. Despite the close association of notable successes in this domain with the convergence of artificial…

Machine Learning · Computer Science 2024-03-12 Thien An L. Nguyen

We consider the actions of different groups G on the space M of m x n matrices with entries in the formal power series ring K[[x1,..., xs]], K an arbitrary field. G acts on M by analytic change of coordinates, combined with the…

Algebraic Geometry · Mathematics 2017-09-26 Gert-Martin Greuel , Thuy Huong Pham

We survey recent progress in computing with finitely generated linear groups over infinite fields, describing the mathematical background of a methodology applied to design practical algorithms for these groups. Implementations of the…

Group Theory · Mathematics 2019-05-09 A. Detinko , D. Flannery

Every semigroup which is a finite disjoint union of copies of the free mono- genic semigroup (natural numbers under addition) has soluble word prob- lem and soluble membership problem. Efficient algorithms are given for both problems.

Group Theory · Mathematics 2016-12-08 Nabilah Abughazalah

Predictive algorithms are now used to help distribute a large share of our society's resources and sanctions, such as healthcare, loans, criminal detentions, and tax audits. Under the right circumstances, these algorithms can improve the…

Machine Learning · Computer Science 2023-02-21 Alex Chohlas-Wood , Madison Coots , Sharad Goel , Julian Nyarko

We show that every countable group H with solvable word problem (=computable group) can be subnormally embedded into a 2-generated group G which also has solvable word problem. Moreover, the membership problem for H < G is also solvable. We…

Group Theory · Mathematics 2017-08-16 Arman Darbinyan

We present an algorithm that decides whether a finitely generated linear group over an infinite field is solvable-by-finite: a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is…

Group Theory · Mathematics 2019-05-15 A. S. Detinko , D. L. Flannery , E. A. O'Brien

Let $G$ be a semisimple algebraic group. We develop a machinery for manipulation and manufacture of well-rounded families $\left\{ \mathcal{B}_{T}\right\} _{T>0}\subset G$ as they were defined in a work by A. Gorodnik and A. Nevo. The…

Dynamical Systems · Mathematics 2020-11-25 Tal Horesh , Yakov Karasik

Algorithmic fairness has grown rapidly as a research area, yet key concepts remain unsettled, especially in criminal justice. We review group, individual, and process fairness and map the conditions under which they conflict. We then…

Machine Learning · Computer Science 2025-12-19 Shaolong Wu , James Blume , Geshi Yeung

Recently, sub-indices and sub-factors of groups with connections to number theory, additive combinatorics, and factorization of groups have been introduced and studied. Since all group subsets are considered in the theory and there are many…

Group Theory · Mathematics 2023-10-06 M. H. Hooshmand , M. M. Yousefian Arani

In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups,…

Formal Languages and Automata Theory · Computer Science 2017-06-29 Daniele D'Angeli , Emanuele Rodaro , Jan Philipp Wächter

The matrix semigroup membership problem asks, given square matrices $M,M_1,\ldots,M_k$ of the same dimension, whether $M$ lies in the semigroup generated by $M_1,\ldots,M_k$. It is classical that this problem is undecidable in general but…

Logic in Computer Science · Computer Science 2023-11-13 Julian D'Costa , Joel Ouaknine , James Worrell

Machine learning algorithms play an important role in a variety of important decision-making processes, including targeted advertisement displays, home loan approvals, and criminal behavior predictions. Given the far-reaching impact of…

Machine Learning · Computer Science 2023-04-14 Shaojie Tang , Jing Yuan

In this paper we survey a new criteria for solvability of finite groups in terms of number of supersolvable (also known as polycyclic) and non-supersolvable subgroups. In particular, we present original examples of supersolvable groups such…

General Mathematics · Mathematics 2022-08-29 Primitivo B. Acosta-Humánez , Orieta Liriano , Francis Mora-Ferreras

The aim of this work is to reduce the complexity of the available algorithms for computing the generator sets of a semigroup ideal by using the Hermite normal form. In order to achieve it we introduce the concept of decomposable semigroup.…

Commutative Algebra · Mathematics 2013-08-09 Juan Ignacio García-García , M. Ángeles Moreno-Frías , Alberto Vigneron-Tenorio

We develop an algorithm that computes strongly continuous semigroups on infinite-dimensional Hilbert spaces with explicit error control. Given a generator $A$, a time $t>0$, an arbitrary initial vector $u_0$ and an error tolerance…

Numerical Analysis · Mathematics 2021-10-14 Matthew J. Colbrook

The problem of optimizing over random structures emerges in many areas of science and engineering, ranging from statistical physics to machine learning and artificial intelligence. For many such structures finding optimal solutions by means…

Computational Complexity · Computer Science 2022-10-12 David Gamarnik

Semigroups generated by topological operations such as closure, interior or boundary are considered. It is noted that some of these semigroups are in general finite and noncommutative. The problem is formulated whether they are always…

General Mathematics · Mathematics 2008-05-13 Elemer E Rosinger

Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of…

Group Theory · Mathematics 2018-04-24 Jorge Almeida , Alfredo Costa

A survey of problems, conjectures, and theorems about quasi-isometric classification and rigidity for finitely generated solvable groups.

Group Theory · Mathematics 2007-05-23 Benson Farb , Lee Mosher