arXiv research

Undecidability proved for DG algebras problems.

Paper solves isomorphism problem for specific Baumslag-Solitar groups.

We solve Dehn's isomorphism problem for virtually torsion-free relatively hyperbolic groups with nilpotent parabolic subgroups. We do so by reducing the isomorphism problem to three algorithmic problems in the parabolic subgroups, namely the isomorphism problem, separation of torsion (in their outer automorphism groups…

The isomorphism problem for [free abelian]-by-free groups is unsolvable.

Paper tackles NP-complete subgraph isomorphism counting problem.

There exist combable groups in which the conjugacy problem is unsolvable. The isomorphism problem is unsolvable for certain recursive sequences of finite presentations of combable groups.

We show that the isomorphism problem is solvable in the class of central extensions of word-hyperbolic groups, and that the isomorphism problem for biautomatic groups reduces to that for biautomatic groups with finite centre. We describe an algorithm that, given an arbitrary finite presentation of an automatic group $Γ…

A subgroup of a Kac-Moody group is called bounded if it is contained in the intersection of two finite type parabolic subgroups of opposite signs. In this paper, we study the isomorphisms between Kac-Moody groups over arbitrary fields of cardinality at least 4, which preserve the set of bounded subgroups. We show that …

If G and H are finitely generated, residually nilpotent metabelian groups, H is termed para-G if there is a homomorphism of G into H which induces an isomorphism between the corresponding terms of their lower central quotient groups. We prove that this is an equivalence relation. It is a much coarser relation than isom…

We solve the isomorphism problem for the whole class of Lins-Mandel gems (graphs encoded manifolds). We also present certain homeomorphisms of branched cyclic coverings of two-bridge hyperbolic links. As a consequence, we prove that, in in a wide subset of interesting cases, the isomorphism conditions for Lins-Mandel g…

We give a proof of a Conjecture of Walker which states that one can recover the lengths of the bars of a circular linkage from the cohomology ring of the configuration space. For a large class of length vectors, this has been shown by Farber, Hausmann and Schuetz. In the remaining cases, we use Morse theory and the fun…

We consider pairs of finitely presented, residually finite groups $u:P\hookrightarrow Γ$. We prove that there is no algorithm that, given an arbitrary such pair, can determine whether or not the associated map of profinite completions $\hat{u}: \widehat{P} \to \widehatΓ$ is an isomorphism. Nor do there exist algorithms…

Paper simplifies complex causal identifiability problems with exogenous isomorphism.

It is proved that isomorphisms between algebras of smooth functions on Hausdorff smooth manifolds are implemented by diffeomorphisms. It is not required that manifolds are second countable nor paracompact. This solves a problem stated by A. Wienstein. Some related results are discussed as well.

Graph data sets often contain isomorphism bias, artificially inflating model performance.

Dehn fillings for relatively hyperbolic groups generalize the topological Dehn surgery on a non-compact hyperbolic $3$-manifold such as a hyperbolic knot complement. We prove a rigidity result saying that if two non-elementary relatively hyperbolic groups without suitable splittings have sufficiently many isomorphic De…

Paper detects common subtrees with identical labels in trees.

Researchers prove it's impossible to partially recover graph alignments in certain conditions.

Consider the mapping class group $\Mod_{g,p}$ of a surface $Σ_{g,p}$ of genus $g$ with $p$ punctures, and a finite collection $\{f_1,...,f_k\}$ of mapping classes, each of which is either a Dehn twist about a simple closed curve or a pseudo-Anosov homeomorphism supported on a connected subsurface. In this paper we prov…

One of the methods to obtain Frobenius manifold structures is via DGBV (differential Gerstenhaber-Batalin-Vilkovisky) algebra construction. An important problem is how to identify Frobenius manifold structures constructed from two different DGBV algebras. For DGBV algebras with suitable conditions, we show the functori…

We prove that the automorphism group of the dihedral quandle with n elements is isomorphic to the affine group of the integers mod n, and also obtain the inner automorphism group of this quandle. In [9], automorphism groups of quandles (up to isomorphisms) of order less than or equal to 5 were given. With the help of t…

Weisfeiler-Leman struggles with graph isomorphism; enhanced architectures improve generalization.

Study on matching nodes between graphs to preserve edges, focusing on limits and algorithms.

Isomorphic cosymplectomorphism groups imply diffeomorphic manifolds.

Proves a Thom isomorphism for foliated differential forms.

New knot quandles distinguish ribbon knots with isomorphic groups.

Geometric duality connects graph isomorphism and knot equivalence.

In this paper, we introduce the notion of Reidemeister torsion for quasi-isomorphisms of based chain complexes over a field. We call a chain map a quasi-isomorphism if its induced homomorphism between homology is an isomorphism. Our notion of torsion generalizes the torsion of acyclic based chain complexes, and is a ch…

We study the classification of closed, smooth, spin, $1$-connected $7$-manifolds whose integral cohomology ring is isomorphic to $H^*(\mathbb{C}P^2\times S^3)$. We also prove that if the integral cohomology ring of a closed, smooth, spin, $1$-connected $7$-manifold is isomorphic to $H^*(\mathbb{C}P^2\times S^3)$ or $H^…

We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the Homeomorphism Problem for 3-manifolds and the Membership Problem for 3-manifold gr…

In previous work a relation between a large class of Kac-Moody algebras and meromorphic connections on global curves was established---notably the Weyl group gives isomorphisms between different moduli spaces of connections, and the root system is also seen to play a role. This involved a modular interpretation of many…

The paper explores isomorphisms on isoparametric hypersurfaces in spheres, leading to new geometric structures.

We construct examples of knots that have isomorphic nth-order Alexander modules, but non-isomorphic nth-order linking forms, showing that the linking forms provide more information than the modules alone. This generalizes work of Trotter, who found examples of knots that have isomorphic classical Alexander modules, but…

Proves regularity of isomorphisms between hyperbolic 3-manifolds.

We classify connected Lie groups which are locally isomorphic to generalized Heisenberg groups. For a given generalized Heisenberg group $N$, there is a one-to-one correspondence between the set of isomorphism classes of connected Lie groups which are locally isomorphic to $N$ and a union of certain quotients of noncom…

We prove that a graph G is asymptotically isomorphic to the ray if and only if G is uniformly spherically bounded and is of bounded local degrees. This problem arouse in combinatorics and was posed in [3] (Problem 10.1).

New solutions for soft materials' nonlinear behavior in growing spheroidal inclusions.

We will describe some results regarding the algorithmic nature of homeomorphism problems for manifolds; in particular, the following theorem. Theorem 1: Every PL or smooth simply connected manifold M^n of dimension n at least 5 can be recognized among simply connected manifolds. That is, there is an algorithm to decide…

Non-isomorphic groups with similar profinite completions found.

We consider the notion of stable isomorphism of bundle gerbes. It has the consequence that the stable isomorphism classes of bundle gerbes over a manifold M are in bijective correspondence with H^3(M, Z). Stable isomorphism sheds light on the local theory of bundle gerbes and enables us to develop a classifying theory …

New benchmarks improve model performance by accounting for isomorphism classes in multi-relational datasets.

This is the fourth of five papers that construct an isomorphism between the Seiberg-Witten Floer homology and the Heegaard Floer homology of a given compact, oriented 3-manifold. The isomorphism is given as a composition of three isomorphisms; the first of these relates a version of embedded contact homology on an an a…

The paper disproves a conjecture about isomorphic subgroups in finite groups.

Jet isomorphism theorems for conformal geometry are discussed. A new proof of the jet isomorphism theorem for odd-dimensional conformal geometry is outlined, using an ambient realization of the conformal deformation complex. An infinite order ambient lift for conformal densities in the case in which harmonic extension …

Unique vertical isomorphisms between Fedosov dg manifolds are proven for Lie pairs.

Proves regularity of isomorphisms between hyperbolic 3-manifolds.

If M is a riemannian manifold, then the inclusion of the complex of coclosed harmonic forms into the de Rham complex induces a linear isomorphism in cohomology. If M has at most countably many connected components, this linear isomorphism is a Frechet isomorphism.

We apply the method of Arzhantseva-Ol'shanskii to prove that for an exponentially generic (in the sense of Ol'shanskii) class of one-relator groups the isomorphism problem is solvable in at most exponential time. This is obtained as a corollary of our more general result that for any fixed integers $m>1, n>0$ there is …