Showing 1–30 of 30 results for author: Birget, J

Remembering Mark Sapir

Authors: Jean-Camille Birget, Gili Golan, Alexander Olshanskii, Mikhail Volkov

Abstract: This memorial article for Mark Sapir provides a brief overview of his life and career. Among his many contributions we highlight two of his most celebrated achievements: his groundbreaking solutions to Burnside-type problems for semigroups and his innovative construction of S-machines. Additionally, reflections from his colleagues and friends offer a heartfelt tribute, blending professional insigh… ▽ More This memorial article for Mark Sapir provides a brief overview of his life and career. Among his many contributions we highlight two of his most celebrated achievements: his groundbreaking solutions to Burnside-type problems for semigroups and his innovative construction of S-machines. Additionally, reflections from his colleagues and friends offer a heartfelt tribute, blending professional insights with personal memories. △ Less

Submitted 19 December, 2024; originally announced December 2024.

Comments: With contributions by Victor Guba, Olga Kharlampovich, Simon M. Goberstein, Stuart W. Margolis, Lev Shneerson, John Meakin, Ilya Kapovich, Eugene Plotkin, Michael Mihalik, Samuel Corson, and Arman Darbinyan

Some properties of Higman-Thompson monoids and digital circuits

Authors: J. C. Birget

Abstract: We define various monoid versions of the R. Thompson group $V$, and prove connections with monoids of acyclic digital circuits. We show that the monoid $M_{2,1}$ (based on partial functions) is not embeddable into Thompson's monoid ${\sf tot}M_{2,1}$, but that ${\sf tot}M_{2,1}$ has a submonoid that maps homomorphically onto $M_{2,1}$. This leads to an efficient completion algorithm for partial fu… ▽ More We define various monoid versions of the R. Thompson group $V$, and prove connections with monoids of acyclic digital circuits. We show that the monoid $M_{2,1}$ (based on partial functions) is not embeddable into Thompson's monoid ${\sf tot}M_{2,1}$, but that ${\sf tot}M_{2,1}$ has a submonoid that maps homomorphically onto $M_{2,1}$. This leads to an efficient completion algorithm for partial functions and partial circuits. We show that the union of partial circuits with disjoint domains is an element of $M_{2,1}$, and conversely, every element of $M_{2,1}$ can be decomposed efficiently into a union of partial circuits with disjoint domains. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: 59 p

On the complexity of the word problem of the R. Thompson group V

Authors: J. C. Birget

Abstract: We analyze the proof by Lehnert and Schweitzer that the word problem of the Thompson group V is co-context-free, and we show that this word problem is the complement of the cyclic closure of a union of reverse deterministic context-free languages. For certain finite generating sets, this word problem is the complement of the cyclic closure of the union of four deterministic context-free languages.… ▽ More We analyze the proof by Lehnert and Schweitzer that the word problem of the Thompson group V is co-context-free, and we show that this word problem is the complement of the cyclic closure of a union of reverse deterministic context-free languages. For certain finite generating sets, this word problem is the complement of the cyclic closure of the union of four deterministic context-free languages. It follows that the deterministic time-complexity of the word problem of $V$ is at most quadratic. △ Less

Submitted 16 March, 2022; originally announced March 2022.

Comments: 14 p

The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups

Authors: J. C. Birget, A. L. Talambutsa

Abstract: We define the symmetric Post Correspondence Problem (PCP) and prove that it is undecidable. As an application we show that the original proof of undecidability of the freeness problem for 3-by-3 integer matrix semigroups works for the symmetric PCP, but not for the PCP in general. We define the symmetric Post Correspondence Problem (PCP) and prove that it is undecidable. As an application we show that the original proof of undecidability of the freeness problem for 3-by-3 integer matrix semigroups works for the symmetric PCP, but not for the PCP in general. △ Less

Submitted 13 July, 2022; v1 submitted 4 December, 2021; originally announced December 2021.

Comments: 12 pages. Small corrections and clarifications were added in version 2

Journal ref: International Journal of Algebra and Computation (2022)

Evaluation problems for the Thompson group and the Brin-Thompson group, and their relation to the word problem

Authors: J. C. Birget

Abstract: The Thompson group $V$, as well as the Brin-Thompson group $2V$, is finitely generated and can be defined as a monoid acting on bitstrings, respectively pairs of bitstrings. Therefore evaluation problems can be defined for $V$ and $2V$. We show that these evaluation problems reduce to the corresponding word problems, and that in general, these evaluation problems are actually equivalent to the wor… ▽ More The Thompson group $V$, as well as the Brin-Thompson group $2V$, is finitely generated and can be defined as a monoid acting on bitstrings, respectively pairs of bitstrings. Therefore evaluation problems can be defined for $V$ and $2V$. We show that these evaluation problems reduce to the corresponding word problems, and that in general, these evaluation problems are actually equivalent to the word problems. The long-input version of the evaluation problem is deterministic context-free and reverse deterministic context-free for $V,$ and P-complete for $2V$. △ Less

Submitted 16 November, 2021; originally announced November 2021.

Comments: 27 pages

A monoid version of the Brin-Higman-Thompson groups

Authors: J. C. Birget

Abstract: We generalize the Brin-Higman-Thompson groups $n G_{k,1}$ to monoids $n M_{k,1}$, for $n \ge 1$ and $k \ge 2$, by replacing bijections by partial functions. The monoid $n M_{k,1}$ has $n G_{k,1}$ as its group of units, and is congruence-simple. Moreover, $n M_{k,1}$ is finitely generated, and for $n \ge 2$ its word problem is {\sf coNP}-complete. We also present new results about higher-dimensiona… ▽ More We generalize the Brin-Higman-Thompson groups $n G_{k,1}$ to monoids $n M_{k,1}$, for $n \ge 1$ and $k \ge 2$, by replacing bijections by partial functions. The monoid $n M_{k,1}$ has $n G_{k,1}$ as its group of units, and is congruence-simple. Moreover, $n M_{k,1}$ is finitely generated, and for $n \ge 2$ its word problem is {\sf coNP}-complete. We also present new results about higher-dimensional joinless codes. △ Less

Submitted 27 June, 2020; originally announced June 2020.

Comments: 26 pages

The word problem of the Brin-Higman-Thompson groups

Authors: J. C. Birget

Abstract: We show that the word problem of the Brin-Higman-Thompson group $n G_{k,1}$ is {\sf coNP}-complete for all $n \ge 2$ and all $k \ge 2$. For this we prove that $n G_{k,1}$ is finitely generated, and that $n G_{k,1}$ contains a subgroup of $2 G_{2,1}$ that can represent bijective circuits. We also show that for all $n \ge 1$ and $k \ge 2$: \ If $\,K = 1 + (k-1)\,N\,$ for some $N \ge 1$, then… ▽ More We show that the word problem of the Brin-Higman-Thompson group $n G_{k,1}$ is {\sf coNP}-complete for all $n \ge 2$ and all $k \ge 2$. For this we prove that $n G_{k,1}$ is finitely generated, and that $n G_{k,1}$ contains a subgroup of $2 G_{2,1}$ that can represent bijective circuits. We also show that for all $n \ge 1$ and $k \ge 2$: \ If $\,K = 1 + (k-1)\,N\,$ for some $N \ge 1$, then $n G_{K,1} \le n G_{k,1}$. In particular, $n G_{K,1} \le n G_{2,1}$ for all $K \ge 2$. △ Less

Submitted 26 June, 2020; originally announced June 2020.

Comments: 27 pages

Global local covers

Authors: John L. Rhodes, Benjamin Steinberg, J. C. Birget

Abstract: This paper gives a systematic construction of certain covers of finite semigroups. These covers will be used in future work on the complexity of finite semigroups. This paper gives a systematic construction of certain covers of finite semigroups. These covers will be used in future work on the complexity of finite semigroups. △ Less

Submitted 2 April, 2019; originally announced April 2019.

Comments: 18 pages

New embeddings between the Higman-Thompson groups

Authors: J. C. Birget

Abstract: We give a direct proof that all Higman-Thompson groups of the form $G_{k,1}$ (for $k \ge 2$) are embedded in one another, which is a recent result of N. Matte Bon. This extends the embeddings given by Higman in 1974. We give a direct proof that all Higman-Thompson groups of the form $G_{k,1}$ (for $k \ge 2$) are embedded in one another, which is a recent result of N. Matte Bon. This extends the embeddings given by Higman in 1974. △ Less

Submitted 10 March, 2019; v1 submitted 25 February, 2019; originally announced February 2019.

Comments: 9 pages

The word problem of the Brin-Thompson group is coNP-complete

Authors: J. C. Birget

Abstract: We prove that the word problem of the Brin-Thompson group nV over a finite generating set is coNP-complete for every n \ge 2. It is known that the groups nV are an infinite family of infinite, finitely presented, simple groups. We also prove that the word problem of the Thompson group V over a certain infinite set of generators, related to boolean circuits, is coNP-complete. We prove that the word problem of the Brin-Thompson group nV over a finite generating set is coNP-complete for every n \ge 2. It is known that the groups nV are an infinite family of infinite, finitely presented, simple groups. We also prove that the word problem of the Thompson group V over a certain infinite set of generators, related to boolean circuits, is coNP-complete. △ Less

Submitted 11 February, 2020; v1 submitted 11 February, 2019; originally announced February 2019.

Comments: 38 pages

Inverse monoids associated with the complexity class NP

Authors: J. C. Birget

Abstract: We study the P versus NP problem through properties of functions and monoids, continuing the work of [3]. Here we consider inverse monoids whose properties and relationships determine whether P is different from NP, or whether injective one-way functions (with respect to worst-case complexity) exist. We study the P versus NP problem through properties of functions and monoids, continuing the work of [3]. Here we consider inverse monoids whose properties and relationships determine whether P is different from NP, or whether injective one-way functions (with respect to worst-case complexity) exist. △ Less

Submitted 7 March, 2017; originally announced March 2017.

Comments: 24 pages

Polynomial-time right-ideal morphisms and congruences

Authors: J. C. Birget

Abstract: We continue with the functional approach to the P-versus-NP problem, begun in [2, 3]. We previously constructed a monoid RM^P that is non-regular iff NP is not P. We now construct homomorphic images of RM^P with interesting properties. In particular, the homomorphic image M^P_poly of RM^P is finitely generated and J^0-simple, and is non-regular iff NP is not P. The group of units of M^P_poly is th… ▽ More We continue with the functional approach to the P-versus-NP problem, begun in [2, 3]. We previously constructed a monoid RM^P that is non-regular iff NP is not P. We now construct homomorphic images of RM^P with interesting properties. In particular, the homomorphic image M^P_poly of RM^P is finitely generated and J^0-simple, and is non-regular iff NP is not P. The group of units of M^P_poly is the famous Richard Thompson group V. △ Less

Submitted 30 April, 2018; v1 submitted 6 November, 2015; originally announced November 2015.

Comments: 37 pages

Infinitely generated semigroups and polynomial complexity

Authors: J. C. Birget

Abstract: This paper continues the functional approach to the P-versus-NP problem, begun in [1]. Here we focus on the monoid RM_2^P of right-ideal morphisms of the free monoid, that have polynomial input balance and polynomial time-complexity. We construct a machine model for the functions in RM_2^P, and evaluation functions. We prove that RM_2^P is not finitely generated, and use this to show separation re… ▽ More This paper continues the functional approach to the P-versus-NP problem, begun in [1]. Here we focus on the monoid RM_2^P of right-ideal morphisms of the free monoid, that have polynomial input balance and polynomial time-complexity. We construct a machine model for the functions in RM_2^P, and evaluation functions. We prove that RM_2^P is not finitely generated, and use this to show separation results for time-complexity. △ Less

Submitted 11 May, 2016; v1 submitted 16 March, 2015; originally announced March 2015.

Comments: 17 pages. To appear in International J. of Algebra and Computation

MSC Class: 20M05; 20M17; 68Q17; 68Q15

Semigroups and one-way functions

Authors: J. C. Birget

Abstract: We study the complexity classes P and NP through a semigroup fP ("polynomial-time functions"), consisting of all polynomially balanced polynomial-time computable partial functions. Then P is not equal to NP iff fP is a non-regular semigroup. The one-way functions considered here are based on worst-case complexity (they are not cryptographic); they are the non-regular elements of fP. We prove vario… ▽ More We study the complexity classes P and NP through a semigroup fP ("polynomial-time functions"), consisting of all polynomially balanced polynomial-time computable partial functions. Then P is not equal to NP iff fP is a non-regular semigroup. The one-way functions considered here are based on worst-case complexity (they are not cryptographic); they are the non-regular elements of fP. We prove various properties of fP, e.g., that it is finitely generated. We define reductions with respect to which certain universal one-way functions are fP-complete. △ Less

Submitted 6 March, 2015; v1 submitted 6 June, 2013; originally announced June 2013.

Comments: 25 pages. This 3rd version benefitted from referee comments in International J. of Algebra and Computation, 2015

MSC Class: 20M05; 20M17; 68Q17; 68Q15

A wavelet-based approximation of fractional Brownian motion with a parallel algorithm

Authors: Dawei Hong, Shushuang Man, Jean-Camille Birget, Desmond Lun

Abstract: We construct a wavelet-based almost sure uniform approximation of fractional Brownian motion (fBm) B_t^(H), t in [0, 1], of Hurst index H in (0, 1). Our results show that by Haar wavelets which merely have one vanishing moment, an almost sure uniform expansion of fBm of H in (0, 1) can be established. The convergence rate of our approximation is derived. We also describe a parallel algorithm that… ▽ More We construct a wavelet-based almost sure uniform approximation of fractional Brownian motion (fBm) B_t^(H), t in [0, 1], of Hurst index H in (0, 1). Our results show that by Haar wavelets which merely have one vanishing moment, an almost sure uniform expansion of fBm of H in (0, 1) can be established. The convergence rate of our approximation is derived. We also describe a parallel algorithm that generates sample paths of an fBm efficiently. △ Less

Submitted 3 July, 2013; v1 submitted 27 November, 2011; originally announced November 2011.

Comments: 20 pages. J. of Applied Probability, to appear in March 2014

Monoids that map onto the Thompson-Higman groups

Authors: Jean-Camille Birget

Abstract: A slight modification of the definition of the Thompson-Higman groups G_k1 and F_k1 leads to inverse monoids that map onto G_k1 (respectively F_k1), and that have interesting properties: they are finitely generated, and residually finite. These inverse monoids are closely related to the suffix expansion of G_k1 (respectively F_k1). A slight modification of the definition of the Thompson-Higman groups G_k1 and F_k1 leads to inverse monoids that map onto G_k1 (respectively F_k1), and that have interesting properties: they are finitely generated, and residually finite. These inverse monoids are closely related to the suffix expansion of G_k1 (respectively F_k1). △ Less

Submitted 2 September, 2010; originally announced September 2010.

Comments: 17 pages

Bernoulli measure on strings, and Thompson-Higman monoids

Authors: Jean-Camille Birget

Abstract: The Bernoulli measure on strings is used to define height functions for the dense R- and L-orders of the Thompson-Higman monoids M_{k,1}. The measure can also be used to characterize the D-relation of certain submonoids of M_{k,1}. The computational complexity of computing the Bernoulli measure of certain sets, and in particular, of computing the R- and L-height of an element of M_{k,1} is investi… ▽ More The Bernoulli measure on strings is used to define height functions for the dense R- and L-orders of the Thompson-Higman monoids M_{k,1}. The measure can also be used to characterize the D-relation of certain submonoids of M_{k,1}. The computational complexity of computing the Bernoulli measure of certain sets, and in particular, of computing the R- and L-height of an element of M_{k,1} is investigated. △ Less

Submitted 30 April, 2010; originally announced April 2010.

Comments: 27 pages.

The Thompson-Higman monoids M_{k,i}: the J-order, the D-relation, and their complexity

Authors: Jean-Camille Birget

Abstract: The Thompson-Higman groups G_{k,i} have a natural generalization to monoids M_{k,i}, and inverse monoids Inv_{k,i}. We study some structural features of M_{k,i} and Inv_{k,i} and investigate the computational complexity of decision problems. The main interest of these monoids is their close connection with circuits and circuit complexity. The maximal subgroups of M_{k,1} are isomorphic to the… ▽ More The Thompson-Higman groups G_{k,i} have a natural generalization to monoids M_{k,i}, and inverse monoids Inv_{k,i}. We study some structural features of M_{k,i} and Inv_{k,i} and investigate the computational complexity of decision problems. The main interest of these monoids is their close connection with circuits and circuit complexity. The maximal subgroups of M_{k,1} are isomorphic to the groups G_{k,j} (1 \leq j \leq k-1); so we rediscover all the Thompson-Higman groups within M_{k,1}. The Green relations \leq_J and \equiv_D of M_{k,1} can be decided in deterministic polynomial time when the inputs are words over a finite generating set of M_{k,1}. When a circuit-like generating set is used for M_{k,1} then deciding \leq_J is coDP-complete. The multiplier search problem for \leq_J is xNPsearch-complete, whereas the multiplier search problems of \leq_R and \leq_L are not in xNPsearch unless NP = coNP. Deciding \equiv_D for M_{k,1} when the inputs are words over a circuit-like generating set, is \oplus_{k-1}.NP-complete. For Inv_{k,1} over a circuit-like generating set, deciding \equiv_D is \oplus_{k-1} P-complete. △ Less

Submitted 16 April, 2009; originally announced April 2009.

Comments: 26 pages

MSC Class: 20F10; 20F05; 20M05; 68Q17

The R- and L-orders of the Thompson-Higman monoid M_{k,1} and their complexity

Authors: Jean-Camille Birget

Abstract: We study the monoid generalization M_{k,1} of the Thompson-Higman groups, and we characterize the R- and the L-preorder of M_{k,1}. Although M_{k,1} has only one non-zero J-class and k-1 non-zero D-classes, the R- and the L-preorder are complicated; in particular, <_R is dense (even within an L-class), and <_L is dense (even within an R-class). We study the computational complexity of the R- a… ▽ More We study the monoid generalization M_{k,1} of the Thompson-Higman groups, and we characterize the R- and the L-preorder of M_{k,1}. Although M_{k,1} has only one non-zero J-class and k-1 non-zero D-classes, the R- and the L-preorder are complicated; in particular, <_R is dense (even within an L-class), and <_L is dense (even within an R-class). We study the computational complexity of the R- and the L-preorder. When inputs are given by words over a finite generating set of M_{k,1}, the R- and the L-preorder decision problems are in P. The main result of the paper is that over a "circuit-like" generating set, the R-preorder decision problem of M_{k,1} is Pi_2^P-complete, whereas the L-preorder decision problem is coNP-complete. We also prove related results about circuits: For combinational circuits, the surjectiveness problem is Pi_2^P-complete, whereas the injectiveness problem is coNP-complete. △ Less

Submitted 23 December, 2008; originally announced December 2008.

Comments: 36 pages

MSC Class: 20F10; 20F05; 20M05; 68Q17

One-way permutations, computational asymmetry and distortion

Authors: Jean-Camille Birget

Abstract: Computational asymmetry, i.e., the discrepancy between the complexity of transformations and the complexity of their inverses, is at the core of one-way transformations. We introduce a computational asymmetry function that measures the amount of one-wayness of permutations. We also introduce the word-length asymmetry function for groups, which is an algebraic analogue of computational asymmetry.… ▽ More Computational asymmetry, i.e., the discrepancy between the complexity of transformations and the complexity of their inverses, is at the core of one-way transformations. We introduce a computational asymmetry function that measures the amount of one-wayness of permutations. We also introduce the word-length asymmetry function for groups, which is an algebraic analogue of computational asymmetry. We relate boolean circuits to words in a Thompson monoid, over a fixed generating set, in such a way that circuit size is equal to word-length. Moreover, boolean circuits have a representation in terms of elements of a Thompson group, in such a way that circuit size is polynomially equivalent to word-length. We show that circuits built with gates that are not constrained to have fixed-length inputs and outputs, are at most quadratically more compact than circuits built from traditional gates (with fixed-length inputs and outputs). Finally, we show that the computational asymmetry function is closely related to certain distortion functions: The computational asymmetry function is polynomially equivalent to the distortion of the path length in Schreier graphs of certain Thompson groups, compared to the path length in Cayley graphs of certain Thompson monoids. We also show that the results of Razborov and others on monotone circuit complexity lead to exponential lower bounds on certain distortions. △ Less

Submitted 12 April, 2007; originally announced April 2007.

Comments: 33 pages

MSC Class: 20F05; 20F10; 68Q17; 20M05; 20M30

Monoid generalizations of the Richard Thompson groups

Authors: J. C. Birget

Abstract: The groups G_{k,1} of Richard Thompson and Graham Higman can be generalized in a natural way to monoids, that we call M_{k,1}, and to inverse monoids, called Inv_{k,1}; this is done by simply generalizing bijections to partial functions or partial injective functions. The monoids M_{k,1} have connections with circuit complexity (studied in another paper). Here we prove that M_{k,1} and Inv_{k,1} a… ▽ More The groups G_{k,1} of Richard Thompson and Graham Higman can be generalized in a natural way to monoids, that we call M_{k,1}, and to inverse monoids, called Inv_{k,1}; this is done by simply generalizing bijections to partial functions or partial injective functions. The monoids M_{k,1} have connections with circuit complexity (studied in another paper). Here we prove that M_{k,1} and Inv_{k,1} are congruence-simple for all k. Their Green relations J and D are characterized: M_{k,1} and Inv_{k,1} are J-0-simple, and they have k-1 non-zero D-classes. They are submonoids of the multiplicative part of the Cuntz algebra O_k. They are finitely generated, and their word problem over any finite generating set is in P. Their word problem is coNP-complete over certain infinite generating sets. Changes in this version: Section 4 has been thoroughly revised, and errors have been corrected; however, the main results of Section 4 do not change. Sections 1, 2, and 3 are unchanged, except for the proof of Theorem 2.3, which was incomplete; a complete proof was published in the Appendix of reference [6], and is also given here. △ Less

Submitted 26 January, 2016; v1 submitted 2 April, 2007; originally announced April 2007.

Comments: 31 pages

MSC Class: 20M99; 20F10; 68Q17

Journal ref: J. of Pure and Applied Algebra, 213(2) (Feb. 2009) 264-278

Two-letter group codes that preserve aperiodicity of inverse finite automata

Authors: Jean-Camille Birget, Stuart W. Margolis

Abstract: We construct group codes over two letters (i.e., bases of subgroups of a two-generated free group) with special properties. Such group codes can be used for reducing algorithmic problems over large alphabets to algorithmic problems over a two-letter alphabet. Our group codes preserve aperiodicity of inverse finite automata. As an application we show that the following problems are PSpace-complet… ▽ More We construct group codes over two letters (i.e., bases of subgroups of a two-generated free group) with special properties. Such group codes can be used for reducing algorithmic problems over large alphabets to algorithmic problems over a two-letter alphabet. Our group codes preserve aperiodicity of inverse finite automata. As an application we show that the following problems are PSpace-complete for two-letter alphabets (this was previously known for large enough finite alphabets): The intersection-emptiness problem for inverse finite automata, the aperiodicity problem for inverse finite automata, and the closure-under-radical problem for finitely generated subgroups of a free group. The membership problem for 3-generated inverse monoids is PSpace-complete. △ Less

Submitted 9 January, 2007; originally announced January 2007.

Comments: 10 pages

Factorizations of the Thompson-Higman groups, and circuit complexity

Authors: Jean-Camille Birget

Abstract: We consider the subgroup lpG_{k,1} of length preserving elements of the Thompson-Higman group G_{k,1} and we show that all elements of G_{k,1} have a unique lpG_{k,1}.F_{k,1} factorization. This applies to the Thompson-Higman group T_{k,1} as well. We show that lpG_{k,1} is a ``diagonal'' direct limit of finite symmetric groups, and that lpT_{k,1} is a k^infinity Pr"ufer group. We find an infini… ▽ More We consider the subgroup lpG_{k,1} of length preserving elements of the Thompson-Higman group G_{k,1} and we show that all elements of G_{k,1} have a unique lpG_{k,1}.F_{k,1} factorization. This applies to the Thompson-Higman group T_{k,1} as well. We show that lpG_{k,1} is a ``diagonal'' direct limit of finite symmetric groups, and that lpT_{k,1} is a k^infinity Pr"ufer group. We find an infinite generating set of lpG_{k,1} which is related to reversible boolean circuits. We further investigate connections between the Thompson-Higman groups, circuits, and complexity. We show that elements of F_{k,1} cannot be one-way functions. We show that describing an element of G_{k,1} by a generalized bijective circuit is equivalent to describing the element by a word over a certain infinite generating set of G_{k,1}; word length over these generators is equivalent to generalized bijective circuit size. We give some coNP-completeness results for G_{k,1} (e.g., the word problem when elements are given by circuits), and #P-completeness results (e.g., finding the lpG_{k,1}.F_{k,1} factorization of an element of G_{k,1} given by a circuit). △ Less

Submitted 14 July, 2006; originally announced July 2006.

Comments: 27 pages

MSC Class: 20F10; 68Q15

Circuits, coNP-completeness, and the groups of Richard Thompson

Authors: Jean-Camille Birget

Abstract: We construct a finitely presented group with coNP-complete word problem, and a finitely generated simple group with coNP-complete word problem. These groups are represented as Thompson groups, hence as partial transformation groups of strings. The proof provides a simulation of combinational circuits by elements of the Thompson-Higman group G_{3,1}. We construct a finitely presented group with coNP-complete word problem, and a finitely generated simple group with coNP-complete word problem. These groups are represented as Thompson groups, hence as partial transformation groups of strings. The proof provides a simulation of combinational circuits by elements of the Thompson-Higman group G_{3,1}. △ Less

Submitted 21 October, 2003; originally announced October 2003.

Comments: 73 pages

MSC Class: 20F10; 68Q15

The groups of Richard Thompson and complexity

Authors: Jean-Camille Birget

Abstract: We prove new results about the remarkable infinite simple groups introduced by Richard Thompson in the 1960s. We define the groups as partial transformation groups and we give a faithful representation in the Cuntz C*-algebra. For the finitely presented simple group T_fin (also known as V) we show that the word-length and the table size satisfy an n log n relation, just like the symmetric groups… ▽ More We prove new results about the remarkable infinite simple groups introduced by Richard Thompson in the 1960s. We define the groups as partial transformation groups and we give a faithful representation in the Cuntz C*-algebra. For the finitely presented simple group T_fin (also known as V) we show that the word-length and the table size satisfy an n log n relation, just like the symmetric groups. We show that the word problem of T_fin belongs to the parallel complexity class AC^1 (a subclass of plynomial time). We show that the generalized word problem of T_fin is undecidable. We study the distortion functions of T_fin and we show that T_fin contains all finite direct products of finitely generated free groups as subgroups with linear distortion. As a consequence, up to polynomial equivalence of functions, the following three sets are the same: the set of distortions of T_fin, the set of all Dehn functions of finitely presented groups, and the set of time complexity functions of nondeterministic Turing machines. △ Less

Submitted 31 October, 2003; v1 submitted 24 April, 2002; originally announced April 2002.

MSC Class: 20F10; 68Q15

Functions on groups and computational complexity

Authors: Jean-Camille Birget

Abstract: We give some connections between various functions defined on finitely presented groups (isoperimetric, isodiametric, Todd-Coxeter radius, filling length functions, etc.), and we study the relation between those functions and the computational complexity of the word problem (deterministic time, nondeterministic time, symmetric space). We show that the isoperimetric function can always be linearl… ▽ More We give some connections between various functions defined on finitely presented groups (isoperimetric, isodiametric, Todd-Coxeter radius, filling length functions, etc.), and we study the relation between those functions and the computational complexity of the word problem (deterministic time, nondeterministic time, symmetric space). We show that the isoperimetric function can always be linearly decreased (unless it is the identity map). We present a new proof of the Double Exponential Inequality, based on context-free languages. △ Less

Submitted 13 February, 2002; originally announced February 2002.

MSC Class: 20F10; 68Q15

A complete rewrite system and normal forms for (S)_reg

Authors: Jean-Camille Birget, Stuart W. Margolis

Abstract: The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)_reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (… ▽ More The (.)_reg construction was introduced in order to make an arbitrary semigroup S divide a regular semigroup (S)_reg which shares some important properties with S (e.g., finiteness, subgroups, torsion bounds, J-order structure). We show that (S)_reg can be described by a rather simple complete string rewrite system, as a consequence of which we obtain a new proof of the normal form theorem for (S)_reg. The new proof of the normal form theorem is conceptually simpler than the previous proofs. △ Less

Submitted 20 December, 2001; originally announced December 2001.

MSC Class: 29M05; 20M17; 68W30

Deviation Bounds for Wavelet Shrinkage

Authors: Dawei Hong, Jean-Camille Birget

Abstract: We analyse the wavelet shrinkage algorithm of Donoho and Johnstone in order to assess the quality of the reconstruction of a signal obtained from noisy samples. We prove deviation bounds for the maximum of the squares of the error, and for the average of the squares of the error, under the assumption that the signal comes from a H"older class, and the noise samples are independent, of 0 mean, an… ▽ More We analyse the wavelet shrinkage algorithm of Donoho and Johnstone in order to assess the quality of the reconstruction of a signal obtained from noisy samples. We prove deviation bounds for the maximum of the squares of the error, and for the average of the squares of the error, under the assumption that the signal comes from a H"older class, and the noise samples are independent, of 0 mean, and bounded. Our main technique is Talgrand's isoperimetric theorem. Our bounds refine the known expectations for the average of the squares of the error. △ Less

Submitted 24 May, 2001; originally announced May 2001.

Comments: 17 pages

MSC Class: 92A12 (signal theory); 65T60 (wavelets)

Isoperimetric Functions of Groups and Computational Complexity of the Word Problem

Authors: J. -C. Birget, A. Yu. Olshanskii, E. Rips, M. Sapir

Abstract: We prove that the word problem of a finitely generated group $G$ is in NP (solvable in polynomial time by a non-deterministic Turing machine) if and only if this group is a subgroup of a finitely presented group $H$ with polynomial isoperimetric function. The embedding can be chosen in such a way that $G$ has bounded distortion in $H$. We prove that the word problem of a finitely generated group $G$ is in NP (solvable in polynomial time by a non-deterministic Turing machine) if and only if this group is a subgroup of a finitely presented group $H$ with polynomial isoperimetric function. The embedding can be chosen in such a way that $G$ has bounded distortion in $H$. △ Less

Submitted 17 November, 1998; originally announced November 1998.

Comments: 47 pages

MSC Class: 20

Isoperimetric and isodiametric functions of groups

Authors: Mark Sapir, Jean-Camille Birget, Eliyahu Rips

Abstract: This is the first of two papers devoted to connections between asymptotic functions of groups and computational complexity. One of the main results of this paper states that if for every $m$ the first $m$ digits of a real number $α\ge 4$ are computable in time $\le C2^{2^{Cm}}$ for some constant $C>0$ then $n^α$ is equivalent (``big O'') to the Dehn function of a finitely presented group. The sm… ▽ More This is the first of two papers devoted to connections between asymptotic functions of groups and computational complexity. One of the main results of this paper states that if for every $m$ the first $m$ digits of a real number $α\ge 4$ are computable in time $\le C2^{2^{Cm}}$ for some constant $C>0$ then $n^α$ is equivalent (``big O'') to the Dehn function of a finitely presented group. The smallest isodiametric function of this group is $n^{3/4α}$. On the other hand if $n^α$ is equivalent to the Dehn function of a finitely presented group then the first $m$ digits of $α$ are computable in time $\le C2^{2^{2^{Cm}}}$ for some constant $C$. This implies that, say, functions $n^{π+1}$, $n^{e^2}$ and $n^α$ for all rational numbers $α\ge 4$ are equivalent to the Dehn functions of some finitely presented group and that $n^π$ and $n^α$ for all rational numbers $α\ge 3$ are equivalent to the smallest isodiametric functions of finitely presented groups. Moreover we describe all Dehn functions of finitely presented groups $\succ n^4$ as time functions of Turing machines modulo two conjectures: \begin{enumerate} \item Every Dehn function is equivalent to a superadditive function. \item The square root of the time function of a Turing machine is equivalent to the time function of a Turing machine. \end{enumerate} △ Less

Submitted 17 November, 1998; originally announced November 1998.

Comments: 107 pages

MSC Class: 20