arXiv Science⌕ Search

arXiv subjects

Jean Fromentin

Publications and source records attributed to Jean Fromentin.

17 recordsLinked to original sources
arXiv2026

Ordering, Artin--Tits group, Garside structure

A Dehornoy structure is a tool used to obtain a left order in the Garside group~$G$. Arcis and Paris introduced two conditions, known as Condition~$A$ and Condition~$B$. When they are both satisfied, they ensure that~$G$ possesses a Dehornoy structure. These two conditions describes how the product in the corresponding monoid behaves with an alternating decomposition. Here, we consider the case of a spherical type Artin group~$G$. We prove that Condition A almost always holds, but Condition~$B$ is rarely satisfied.

math.GR↗
arXiv2026

Effective approach of the tridendriform Schroeder tree algebra

We introduce a primitive computation problem in the free tridendriform algebra generated by one element which is a Hopf algebra based on Schroeder trees. We know a complex way to generate all of them. To understand it clearer, we want to implement this method on a computer. However, we need to create some tools to implement Schroeder trees and the multiplications over this algebra to be able to compute the primitive elements. We also checked numerically that they are all primitive elements. In this paper, we detail how we made the problem mathematically understandable for a computer and how we implement it.

cs.DM↗
arXiv2024

A counterexample to a Brenti-Carnevale conjecture

Recently, F. Brenti put a preprint on the arXiv with several interesting open problems on Coxeter groups and unimodality. In this note, we refute one of these conjectures with a counterexample and provide supporting data related to it. This work serves as an initial step toward further exploration of the topic.

math.CO↗
arXiv2024

Fast construction of self-avoiding polygons and efficient evaluation of closed walk fractions on the square lattice

We build upon a recent theoretical breakthrough by employing novel algorithms to accurately compute the fractions $F_p$ of all closed walks on the infinite square lattice whose the last erased loop corresponds is any one of the $762, 207, 869, 373$ self-avoiding polygons $p$ of length at most 38. Prior to this work, only 6 values of $F_p$ had been calculated in the literature. The main computational engine uses efficient algorithms for both the construction of self-avoiding polygons and the precise evaluation of the lattice Green's function. Based on our results, we propose two conjectures: one regarding the asymptotic behavior of sums of $F_p$, and another concerning the value of $F_p$ when $p$ is a large square. We provide strong theoretical arguments supporting the second conjecture. Furthermore, the algorithms we introduce are not limited to the square lattice and can, in principle, be extended to any vertex-transitive infinite lattice. In establishing this extension, we resolve two open questions related to the triangular lattice Green's function.

math.CO↗
arXiv2023

A verification of Wilf's conjecture up to genus 100

For a numerical semigroup $S \subseteq \mathbb{N}$, let $m,e,c,g$ denote its multiplicity, embedding dimension, conductor and genus, respectively. Wilf's conjecture (1978) states that $e(c-g) \ge c$. As of 2023, Wilf's conjecture has been verified by computer up to genus $g \le 66$. In this paper, we extend the verification of Wilf's conjecture up to genus $g \le 100$. This is achieved by combining three main ingredients: (1) a theorem in 2020 settling Wilf's conjecture in the case $e \ge m/3$, (2) an efficient trimming of the tree $\mathcal{T}$ of numerical groups identifying and cutting out irrelevant subtrees, and (3) the implementation of a fast parallelized algorithm to construct the tree $\mathcal{T}$ up to a given genus. We further push the verification of Wilf's conjecture up to genus $120$ in the particular case where $m$ divides $c$. Finally, we unlock three previously unknown values of the number $n_g$ of numerical semigroups of genus $g$, namely for $g=73,74,75$.

math.GR↗
arXiv2021

Is the Syracuse falling time bounded by 12?

Let $T \colon \mathbb{N} \to \mathbb{N}$ denote the $3x+1$ function, where $T(n)=n/2$ if $n$ is even, $T(n)=(3n+1)/2$ if $n$ is odd. As an accelerated version of $T$, we define a jump at $n \ge 1$ by jp$(n) = T^{(\ell)}(n)$, where $\ell$ is the number of digits of $n$ in base 2. We present computational and heuristic evidence leading to surprising conjectures. The boldest one, inspired by the study of $2^{\ell}-1$ for $\ell \le 500000$, states that for any $n \ge 2^{500}$, at most four jumps starting from $n$ are needed to fall below $n$, a strong form of the Collatz conjecture.

math.NT↗
arXiv2020

Experiments on growth series of braid groups

We introduce an algorithmic framework to investigate spherical and geodesic growth series of braid groups relatively to the Artin's or Birman-Ko-Lee's generators. We present our experimentations in the case of three and four strands and conjecture rational expressions for the spherical growth series with respect to the Birman-Ko-Lee's generators.

math.CO↗
arXiv2019

Gapsets of small multiplicity

A gapset is the complement of a numerical semigroup in N. In this paper, we characterize all gapsets of multiplicity m $\le$ 4. As a corollary, we provide a new simpler proof that the number of gapsets of genus g and fixed multiplicity m $\le$ 4 is a nondecreasing function of g.

math.GR↗
arXiv2018

Gapsets and numerical semigroups

For g $\ge$ 0, let n g denote the number of numerical semi-groups of genus g. A conjecture by Maria Bras-Amor\'os in 2008 states that the inequality n g $\ge$ n g--1 + n g--2 should hold for all g $\ge$ 2. Here we show that such an inequality holds for the very large subtree of numerical semigroups satisfying c $\le$ 3m, where c and m are the conductor and multiplicity, respectively. Our proof is given in the more flexible setting of gapsets, i.e. complements in N of numerical semigroups.

math.CO↗
arXiv2017

Near-misses in Wilf's conjecture

Let S $\subseteq$ N be a numerical semigroup with multiplicity m, conductor c and minimal generating set P. Let L = S $\cap$ [0, c -- 1] and W(S) = |P||L| -- c. In 1978, Herbert Wilf asked whether W(S) $\ge$ 0 always holds, a question known as Wilf's conjecture and open since then. A related number W0(S), satisfying W0(S) $\le$ W(S), has recently been introduced. We say that S is a near-miss in Wilf's conjecture if W0(S) < 0. Near-misses are very rare. Here we construct infinite families of them, with c = 4m and W0(S) arbitrarily small, and we show that the members of these families still satisfy Wilf's conjecture.

math.CO↗
arXiv2016

A remarkable 20-crossing tangle

For any positive integer r, we exhibit a knot Kr with (20 $\times$ 2 r--1 + 1) crossings whose Jones polynomial V (Kr) is equal to 1 mod-ulo 2 r. Our construction rests on a certain 20-crossing tangle T 20 which is undetectable by the Kauffman bracket polynomial pair mod 2.

math.GT↗
arXiv2016

The rotating normal form of braids is regular

Defined on Birman-Ko-Lee monoids, the rotating normal form has strong connections with the Dehornoy's braid ordering. It can be seen as a process for selecting between all the representative words of a Birman-Ko-Lee braid a particular one, called rotating word. In this paper we construct, for all n 2, a finite-state automaton which recognizes rotating words on n strands, proving that the rotating normal form is regular. As a consequence we obtain the regularity of a $\sigma$-definite normal form defined on the whole braid group.

math.GR↗
arXiv2015

A divisibility result on combinatorics of generalized braids

For every finite Coxeter group $\Gamma$, each positive braids in the corresponding braid group admits a unique decomposition as a finite sequence of elements of $\Gamma$, the so-called Garside-normal form.The study of the associated adjacency matrix $Adj(\Gamma)$ allows to count the number of Garside-normal form of a given length.In this paper we prove that the characteristic polynomial of $Adj(B_n)$ divides the one of $Adj(B_{n+1})$. The key point is the use of a Hopf algebra based on signed permutations. A similar result was already known for the type $A$. We observe that this does not hold for type $D$. The other Coxeter types ($I$, $E$, $F$ and $H$) are also studied.

math.CO↗
arXiv2013

Exploring the tree of numerical semigroups

In this paper we describe an algorithm visiting all numerical semigroups up to a given genus using a well suited representation. The interest of this algorithm is that it fits particularly well the architecture of modern computers allowing very large optimizations: we obtain the number of numerical semigroups of genus g 67 and we confirm the Wilf conjecture for g 60.

math.CO↗
arXiv2008

The well-ordering of dual braid monoids

We describe the restriction of the Dehornoy ordering of braids to the dual braid monoids introduced by Birman, Ko and Lee: we give an inductive characterization of the ordering of the dual braid monoids and compute the corresponding ordinal type. The proof consists in introducing a new ordering on the dual braid monoid using the rotating normal form of arXiv:0811.3902 [math.GR], and then proving that this new ordering coincides with the standard ordering of braids.

math.GR↗
arXiv2008

Every braid admits a short sigma-definite representative

A result by Dehornoy (1992) says that every nontrivial braid admits a sigma-definite word representative, defined as a braid word in which the generator sigma_i with maximal index i appears with exponents that are all positive, or all negative. This is the ground result for ordering braids. In this paper, we enhance this result and prove that every braid admits a sigma-definite word representative that, in addition, is quasi-geodesic. This establishes a longstanding conjecture. Our proof uses the dual braid monoid and a new normal form called the rotating normal form.

math.GR↗