arXiv research

The paper constructs finite generating sets for complex algebraic structures.

Category theory generalizes finite type invariants using diagrams systems.

Distance function to a finite set is a topological Morse function.

Develops algorithm for finite generating set of liftable mapping class groups of regular abelian covers.

We consider the fundamental group $π$ of a surface of finite type equipped with the infinite generating set consisting of all simple closed curves. We show that every nilpotent quotient of $π$ has finite diameter with respect to the word metric given by this set. This is in contrast with a result of Danny Calegari that…

We obtain a finite set of generators for the level 2 mapping class group of a closed nonorientable surface of genus $g\ge 3$. This set consists of isotopy classes of Lickorish's Y-homeomorphisms also called crosscap slides.

Suppose a group $G$ is quasi-isometric to a free product of a finite set $S$ of finitely generated abelian groups; let $S'$ denote the set of ranks of the free abelian parts of the groups in $S$. Then $G$ is commensurable with the free product of $\Z$ with a $\Z^n$ for each $n$ occurring in $S'$.

Researchers address the generation of differential invariants for geometric structures.

We study the problem of rigidity of closures of totally geodesic plane immersions in geometrically finite manifolds containing rank $1$ cusps. We show that the key notion of K-thick recurrence of horocycles fails generically in this setting. This property was introduced in the recent work of McMullen, Mohammadi and Oh.…

We provide an explicit, finite set of generators for the Kauffman bracket arc algebra defined by Roger and Yang.

Study of pure mapping class groups on infinite graphs.

In this paper we provide a criteria for geometric finiteness of Kleinian groups in general dimension. We formulate the concept of conformal finiteness for Kleinian groups in space of dimension higher than two, which generalizes the notion of analytic finiteness in dimension two. Then we extend the argument in the paper…

In this paper, we prove a limit set intersection theorem in relatively hyperbolic groups. Our approach is based on a study of dynamical quasiconvexity of relatively quasiconvex subgroups. Using dynamical quasiconvexity, many well-known results on limit sets of geometrically finite Kleinian groups are derived in general…

Let $G$ be a finitely generated group. We show that for any finite generating set $A$, the language consisting of all geodesics in $Cay(G,A)$ with a contracting property is a regular language. As an application, we show that any finitely generated group containing an infinite contracting geodesic must be either virtual…

We obtain an index of the complexity of a random sequence by allowing the role of the measure in classical probability theory to be played by a function we call the generating mechanism. Typically, this generating mechanism will be a finite automata. We generate a set of biased sequences by applying a finite state auto…

We show that the topological groups $Diff_{+}^{1}(I)$ and $Diff_{+}^{1}(\mathbb{S}^1)$ of orientation-preserving $C^1$-diffeomorphisms of the interval and the circle, respectively, admit finitely generated dense subgroups. We also investigate the question of genericity (in the sense of Baire category) of such finite to…

Finite rigid sets found in complex of curves for surfaces.

This note is devoted to the study of sets of finite perimeter over RCD$(K,N)$ metric measure spaces. Its aim is to complete the picture about the generalization of De Giorgi's theorem within this framework. Starting from the results of [2] we obtain uniqueness of tangents and rectifiability for the reduced boundary of …

Generic level sets in mean curvature flow are BV solutions.

Study Kauffman bracket skein modules of Seifert fibered spaces.

Study on self-similar sets on Riemannian manifolds with new separation conditions.

The notions of stable and Morse subgroups of finitely generated groups generalize the concept of a quasiconvex subgroup of a word-hyperbolic group. For a word-hyperbolic group $G$, Kapovich provided a partial algorithm which, on input a finite set $S$ of $G$, halts if $S$ generates a quasiconvex subgroup of $G$ and run…

Extends inf-convolution to countable risk measures for risk sharing.

We show that there is no algorithm deciding whether the maximal residually free quotient of a given finitely presented group is finitely presentable or not. Given a finitely generated subgroup G of a finite product of limit groups, we discuss the possibility of finding an explicit set of defining equations (i.e. of exp…

This paper derives finite generating sets for liftable mapping class groups of certain branched covers of tori.

In this paper, we obtain several results on the commensurability of two Kleinian groups and their limit sets. We prove that two finitely generated subgroups $G_1$ and $G_2$ of an infinite co-volume Kleinian group $G \subset \Isom(\mathbf{H}^3)$ having $Λ(G_1) = Λ(G_2)$ are commensurable. In particular, it is proved tha…

Uniformly finite Cannon--Thurston fibers in most hyperbolic settings.

This paper generalizes the Maurer--Pontil framework of finite-dimensional lossy coding schemes to the setting where a high-dimensional random vector is mapped to an element of a compact set of latent representations in a lower-dimensional Euclidean space, and the reconstruction map belongs to a given class of nonlinear…

Despite the increasing interest in multi-agent reinforcement learning (MARL) in multiple communities, understanding its theoretical foundation has long been recognized as a challenging problem. In this work, we address this problem by providing a finite-sample analysis for decentralized batch MARL with networked agents…

It is known that the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$ has a finite generating set. In this paper, we give a finite presentation of the level $2$ principal congruence subgroup of $GL(n;\mathbb{Z})$.

Study irrational pencils on complex manifolds, finding non-finitely generated homology.

The girth of a finitely generated group G is the supremum of the girth of Cayley graphs for G over all finite generating sets. Let G be a finitely generated subgroup of the mapping class group Mod(S), where S is a compact orientable surface. Then, either G is virtually abelian or it has infinite girth; moreover, if we …

Cube category simplifies set modeling.

A generalized Baumslag-Solitar (GBS) group is a finitely generated group acting on a tree with infinite cyclic edge and vertex stabilizers. We show how to determine effectively the rank (minimal cardinality of a generating set) of a GBS group; as a consequence, one can compute the rank of the mapping torus of a finite …

Triangle groups uniquely identified by their finite quotients.

Study infinite group presentations and their Dehn functions.

Let $S$ be an orientable, connected surface with infinitely-generated fundamental group. The main theorem states that if the genus of $S$ is finite and at least 4, then the isomorphism type of the pure mapping class group associated to $S$, denoted $\mathrm{PMap}(S)$, detects the homeomorphism type of $S$. As a corolla…

Characterizes when geodesics in groups are generic.

New theory uses probability sets for data variability, improving machine learning.

Maximal Laplacian algebras applied to invariant theory solved inverse problems.

We prove that for genus $g=3,4$, the extended mapping class group $\text{Mod}^{\pm}(S_g)$ can be generated by two elements of finite orders. But for $g=1$, $\text{Mod}^{\pm}(S_1)$ cannot be generated by two elements of finite orders.

Exponential proportion of pseudo-Anosovs in mapping class groups.

Suppose G is a non-free finitely generated Kleinian group without parabolics which is not a lattice and let C(G) denote the commensurator in PSL(2,C). We prove that if the limit set of G is not a round circle, then C(G) is discrete. Furthermore, G has finite index in C(G) unless G is a fiber group in which case C(G) is…

The paper characterizes arithmetic metrics in coarsely geometric settings.

We show that any twisted Dijkgraaf-Witten representation of a mapping class group of an orientable, compact surface with boundary has finite image. This generalizes work of Etingof, Rowell and Witherspoon showing that the braid group images are finite. In particular, our result answers their question regarding finitene…

Given a finite set of $r$ points in a closed surface of genus $g$, we consider the torsion elements in the mapping class group of the surface leaving the finite set invariant. We show that the torsion elements generate the mapping class group if and only if $(g, r) \neq (2, 5k+4)$ for some integer $k$.

A fixed point theorem is proved for inverse transducers, leading to an automata-theoretic proof of the fixed point subgroup of an endomorphism of a finitely generated virtually free group being finitely generated. If the endomorphism is uniformly continuous for the hyperbolic metric, it is proved that the set of regula…

New methods for estimating causal effects with limited overlap, using Stable Probability Weighting.