Researcher profile

Christian Lavault

Christian Lavault contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2016arXiv

Overview of the Heisenberg--Weyl Algebra and Subsets of Riordan Subgroups

In a first part, we are concerned with the relationships between polynomials in the two generators of the algebra of Heisenberg--Weyl, its Bargmann--Fock representation with differential operators and the associated one-parameter group.Upon this basis, the paper is then devoted to the groups of Riordan matrices associated to the related transformations of matrices (i.e. substitutions with prefunctions). Thereby, various properties are studied arising in Riordan arrays, in the Riordan group and, more specifically, in the `striped' Riordan subgroups; further, a striped quasigroup and a semigroup are also examined. A few applications to combinatorial structures are also briefly addressed in the Appendix.

preprint2014arXiv

Improvements on the accelerated integer GCD algorithm

The present paper analyses and presents several improvements to the algorithm for finding the $(a,b)$-pairs of integers used in the $k$-ary reduction of the right-shift $k$-ary integer GCD algorithm. While the worst-case complexity of Weber's "Accelerated integer GCD algorithm" is $\cOł(\log_ϕ(k)^2\r)$, we show that the worst-case number of iterations of the while loop is exactly $\tfrac 12 ł\lfloor \log_ϕ(k)\r\rfloor$, where $ϕ:= \tfrac 12 ł(1+\sqrt{5}\r)$.\par We suggest improvements on the average complexity of the latter algorithm and also present two new faster residual algorithms: the sequential and the parallel one. A lower bound on the probability of avoiding the while loop in our parallel residual algorithm is also given.

preprint2013arXiv

A Distributed Algorithm for Constructing a Minimum Diameter Spanning Tree

We present a new algorithm, which solves the problem of distributively finding a minimum diameter spanning tree of any (non-negatively) real-weighted graph $G = (V,E,ω)$. As an intermediate step, we use a new, fast, linear-time all-pairs shortest paths distributed algorithm to find an absolute center of $G$. The resulting distributed algorithm is asynchronous, it works for named asynchronous arbitrary networks and achieves $\mathcal{O}(|V|)$ time complexity and $\mathcal{O}\left(|V|\,|E|\right)$

preprint2013arXiv

A distributed prime sieving algorithm based on Scheduling by Multiple Edge Reversal

This paper presents a new distributed approach for generating all prime numbers in a given interval of integers. From Eratosthenes, who elaborated the first prime sieve (more than 2000 years ago), to the current generation of parallel computers, which have permitted to reach larger bounds on the interval or to obtain previous results in a shorter time, prime numbers generation still represents an attractive domain of research and plays a central role in cryptography. We propose a fully distributed algorithm for finding all primes in the interval $[2\ldots, n]$, based on the \emph{wheel sieve} and the SMER (\emph{Scheduling by Multiple Edge Reversal}) multigraph dynamics. Given a multigraph $\mathcal{M}$ of arbitrary topology, having $N$ nodes, a SMER-driven system is defined by the number of directed edges (arcs) between any two nodes of $\mathcal{M}$, and by the global period length of all "arc reversals" in $\mathcal{M}$. The new prime number generation method inherits the distributed and parallel nature of SMER and requires at most $n + \lfloor \sqrt{n}\rfloor$ time steps. The message complexity achieves at most $nΔ_N + \lfloor \sqrt{n}\rfloor Δ_N$, where $1\le Δ_N\le N - 1$ is the maximal multidegree of $\mathcal{M}$, and the maximal amount of memory space required per process is $\mathcal{O}(n)$ bits.

preprint2013arXiv

A Uniform Self-Stabilizing Minimum Diameter Spanning Tree Algorithm

We present a uniform self-stabilizing algorithm, which solves the problem of distributively finding a minimum diameter spanning tree of an arbitrary positively real-weighted graph. Our algorithm consists in two stages of stabilizing protocols. The first stage is a uniform randomized stabilizing {\em unique naming} protocol, and the second stage is a stabilizing {\em MDST} protocol, designed as a {\em fair composition} of Merlin--Segall's stabilizing protocol and a distributed deterministic stabilizing protocol solving the (MDST) problem. The resulting randomized distributed algorithm presented herein is a composition of the two stages; it stabilizes in $O(nΔ+{\cal D}^2 + n \log\log n)$ expected time, and uses $O(n^2\log n + n \log W)$ memory bits (where $n$ is the order of the graph, $Δ$ is the maximum degree of the network, $\cal D$ is the diameter in terms of hops, and $W$ is the largest edge weight). To our knowledge, our protocol is the very first distributed algorithm for the (MDST) problem. Moreover, it is fault-tolerant and works for any anonymous arbitrary network.

preprint2013arXiv

Multiplicate inverse forms of terminating hypergeometric series

The multiplicate form of Gould--Hsu's inverse series relations enables to investigate the dual relations of the Chu-Vandermonde-Gauß's, the Pfaff-Saalschütz's summation theorems and the binomial convolution formula due to Hagen and Rothe. Several identitity and reciprocal relations are thus established for terminating hypergeometric series. By virtue of the duplicate inversions, we establish several dual formulae of Chu-Vandermonde-Gauß's and Pfaff-Saalschütz's summation theorems in Section (3)\cite{ChuVanGauss} and (4)\cite{PfaffSaalsch}, respectively. Finally, the last section is devoted to deriving several identities and reciprocal relations for terminating balanced hypergeometric series from Hagen-Rothe's convolution identity in accordance with the duplicate, triplicate and multiplicate inversions.

preprint2011arXiv

A note on Prüfer-like coding and counting forests of uniform hypertrees

This note presents an encoding and a decoding algorithms for a forest of (labelled) rooted uniform hypertrees and hypercycles in linear time, by using as few as $n - 2$ integers in the range $[1,n]$. It is a simple extension of the classical Prüfer code for (labelled) rooted trees to an encoding for forests of (labelled) rooted uniform hypertrees and hypercycles, which allows to count them up according to their number of vertices, hyperedges and hypertrees. In passing, we also find Cayley's formula for the number of (labelled) rooted trees as well as its generalisation to the number of hypercycles found by Selivanov in the early 70's.

preprint2010arXiv

Reliable Self-Stabilizing Communication for Quasi Rendezvous

The paper presents three self-stabilizing protocols for basic fair and reliable link communication primitives. We assume a link-register communication model under read/write atomicity, where every process can read from but cannot write into its neighbours' registers. The first primitive guarantees that any process writes a new value in its register(s) only after all its neighbours have read the previous value, whatever the initial scheduling of processes' actions. The second primitive implements a "weak rendezvous" communication mechanism by using an alternating bit protocol: whenever a process consecutively writes n values (possibly the same ones) in a register, each neighbour is guaranteed to read each value from the register at least once. On the basis of the previous protocol, the third primitive implements a "quasi rendezvous": in words, this primitive ensures furthermore that there exists exactly one reading between two writing operations All protocols are self-stabilizing and run in asynchronous arbitrary networks. The goal of the paper is in handling each primitive by a separate procedure, which can be used as a "black box" in more involved self-stabilizing protocols.