English
Related papers

Related papers: Distinguishing virtual braids in polynomial time

200 papers

We show that, generically, finding the $k$-th root of a braid is very fast. More precisely, we provide an algorithm which, given a braid $x$ on $n$ strands and canonical length $l$, and an integer $k>1$, computes a $k$-th root of $x$, if it…

Group Theory · Mathematics 2019-09-25 María Cumplido , Juan González-Meneses , Marithania Silvero

In this paper, we present exact exponential algorithms for computing branchwidth that are fast both in theory and in practice. The running times of these algorithms are single-exponential in the number of vertices. Our basic algorithm is…

Data Structures and Algorithms · Computer Science 2026-05-19 Taiki Kaneda , Yasuaki Kobayashi , Hisao Tamaki

Braid combing is a procedure defined by Emil Artin to solve the word problem in braid groups for the first time. It is well-known to have exponential complexity. In this paper, we use the theory of straight line programs to give a…

Geometric Topology · Mathematics 2017-12-06 Juan González-Meneses , Marithania Silvero

We give a randomized algorithm that determines if a given graph has a simple path of length at least k in O(2^k poly(n,k)) time.

Data Structures and Algorithms · Computer Science 2010-01-05 Ryan Williams

Virtual knot theory has experienced a lot of nice features that did not appear in classical knot theory, e.g., parity and picture-valued invariants. In the present paper we use virtual knot theory effects to construct new representations of…

Geometric Topology · Mathematics 2023-03-03 V. O. Manturov , I. M. Nikonov

An unweighted, undirected graph $G$ on $n$ nodes is said to have \emph{bandwidth} at most $k$ if its nodes can be labelled from $0$ to $n - 1$ such that no two adjacent nodes have labels that differ by more than $k$. It is known that one…

Data Structures and Algorithms · Computer Science 2026-02-03 Luis M. B. Varona

In the present paper the representation of the virtual braid group $VB_n$ into the automorphism group of free product of the free group and free abelian group is constructed. This representation generalizes the previously constructed ones.…

Algebraic Topology · Mathematics 2016-03-07 V. G. Bardakov , Yu. A. Mikhalchishina , M. V. Neshchadim

In this paper we show how generalized quaternions, including 2X2 matrices, can be used to find solutions of a non-commuting equation intimately connected with braid groups. These solutions can then be used to find polynomial invariants of…

Geometric Topology · Mathematics 2009-09-29 Roger Fenn

We prove that, for $n\geq 3$, the minimal dimension of a model of the classifying space of the full braid group $B_n$, and of the pure braid group $P_n$, with respect to the family of virtually cyclic groups is $n$.

Algebraic Topology · Mathematics 2018-02-12 Ramón Flores , Juan González-Meneses

For a given graph G and integers b,f >= 0, let S be a subset of vertices of G of size b+1 such that the subgraph of G induced by S is connected and S can be separated from other vertices of G by removing f vertices. We prove that every…

Data Structures and Algorithms · Computer Science 2008-05-05 Fedor V. Fomin , Yngve Villanger

We prove the existence of an algorithm which solves the reducibility problem in braid groups and runs in quadratic time with respect to the braid length for any fixed braid index.

Group Theory · Mathematics 2014-10-01 Matthieu Calvez

We present an algorithm running in time O(n ln n) which decides if a wreath-closed permutation class Av(B) given by its finite basis B contains a finite number of simple permutations. The method we use is based on an article of Brignall,…

Data Structures and Algorithms · Computer Science 2011-03-30 Frédérique Bassino , Mathilde Bouvel , Adeline Pierrot , Dominique Rossin

Consider the following Online Boolean Matrix-Vector Multiplication problem: We are given an $n\times n$ matrix $M$ and will receive $n$ column-vectors of size $n$, denoted by $v_1,\ldots,v_n$, one by one. After seeing each vector $v_i$, we…

Data Structures and Algorithms · Computer Science 2015-11-24 Monika Henzinger , Sebastian Krinninger , Danupon Nanongkai , Thatchaphol Saranurak

In this paper, an exact algorithm in polynomial time is developed to solve unrestricted binary quadratic programs. The computational complexity is $O\left( n^{\frac{15}{2}}\right) $, although very conservative, it is sufficient to prove…

Data Structures and Algorithms · Computer Science 2021-02-02 Juan Ignacio Mulero-Martínez

In this paper we prove a Markov Theorem for virtual braids and for some analogs of this structure. The virtual braid group is the natural companion in the category of virtual knots, just as the Artin braid group is the natural companion to…

Geometric Topology · Mathematics 2007-05-23 Louis H. Kauffman , Sofia Lambropoulou

I present a parallel algorithm for exact probabilistic inference in Bayesian networks. For polytree networks with n variables, the worst-case time complexity is O(log n) on a CREW PRAM (concurrent-read, exclusive-write parallel…

Artificial Intelligence · Computer Science 2013-02-01 David M. Pennock

This paper is a short introduction to and statement of the main theorems of our paper "Virtual Braids and the L-Move", JKTR, Vol. 15, No. 6 (2006), pp. 773-811. See also arxiv:Math.GT/0507035.

Geometric Topology · Mathematics 2007-05-23 Louis H. Kauffman , Sofia Lambropoulou

The virtual braid groups are generalizations of the classical braid groups. This paper gives an elementary proof that the classical braid group injects into the virtual braid group over the same number of strands.

Geometric Topology · Mathematics 2020-08-25 Robin Gaudreau

We show that the virtual singular braid monoid on $n$ strands embeds in a group $VSG_n$, which we call the virtual singular braid group on $n$ strands. The group $VSG_n$ contains a normal subgroup $VSPG_n$ of virtual singular pure braids.…

Geometric Topology · Mathematics 2025-11-14 Carmen Caprau , Antonia Yeung

We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero…

Data Structures and Algorithms · Computer Science 2015-11-05 Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk , Saket Saurabh , Marcin Wrochna