-
A simple proof of the Wirsching-Goodwin representation of integers connected to 1 in the $3x+1$ problem
Authors:
Jean-Jacques Daudin,
Laurent Pierre
Abstract:
This paper gives a simple proof of the Wirsching-Goodwin representation of integers connected to 1 in the $3x+1$ problem (see \cite{Wirsching} and \cite{Goodwin}). This representation permits to compute all the ascending Collatz sequences $(f^{(i)}(n),\: i=1,b-1)$ with a last value $f^{(b)}(n)=1.$ Other periodic sequences connected to $1$ are also identified.
This paper gives a simple proof of the Wirsching-Goodwin representation of integers connected to 1 in the $3x+1$ problem (see \cite{Wirsching} and \cite{Goodwin}). This representation permits to compute all the ascending Collatz sequences $(f^{(i)}(n),\: i=1,b-1)$ with a last value $f^{(b)}(n)=1.$ Other periodic sequences connected to $1$ are also identified.
△ Less
Submitted 31 May, 2018; v1 submitted 23 January, 2018;
originally announced January 2018.
-
Fortuitous sequences of flips of the top of a stack of n burnt pancakes for all n>24
Authors:
Laurent Pierre
Abstract:
Burnt pancakes problem was defined by Gates and Papadimitriou in 1979. A stack $S$ of pancakes with a burnt side must be sorted by size, the smallest on top, and each pancake with burnt side down. The only operation allowed is to split stack in two parts and flip upper part. $g(S)$ is the minimal number of flips needed to sort stack $S$. Stack $S$ may be $-I_n$ when pancakes are in right order but…
▽ More
Burnt pancakes problem was defined by Gates and Papadimitriou in 1979. A stack $S$ of pancakes with a burnt side must be sorted by size, the smallest on top, and each pancake with burnt side down. The only operation allowed is to split stack in two parts and flip upper part. $g(S)$ is the minimal number of flips needed to sort stack $S$. Stack $S$ may be $-I_n$ when pancakes are in right order but upside down or $-f_n$ when all pancakes are right side up but sorted in reverse order. Gates et al. proved that $g(-f_n)\ge 3n/2-1$. In 1995 Cohen and Blum proved that $g(-I_n)=g(-f_n)+1\ge 3n/2$. In 1997 Heydari and Sudborough proved that $g(-I_n)\le 3(n+1)/2$ whenever some fortuitous sequence of flips exists. They gave fortuitous sequences for $n$=3, 15, 27 and 31. They showed that two fortuitous sequences $S_n$ and $S_{n'}$ may combine into another fortuitous sequence $S_{n''}$ with $n''=n+n'-3$. So a fortuitous sequence $S_n$ gives a fortuitous sequence $S_{n+12}$. This proves that $g(-I_n)\le 3(n+1)/2$ if $n$ is congruent to 3 modulo 4 and $n\ge 23$. In 2011 Josef Cibulka enhanced Gates and Papadimitriou's lower bound thanks to a potential function. He got so $g(-I_n)\ge3n/2+1$ if $n > 1$ proving thereby, that $g(-I_n)=3(n+1)/2$ if $n$ is congruent to 3 modulo 4 and $n\ge 23$. This paper explains how to build generalized fortuitous sequences for $n=15, 19, 23$ and every $n\ge 25$, odd or even, proving thereby that $g(-I_n)=\lceil 3n/2\rceil+1$ for these $n$. It gives $g(-I_n)$ for all $n$.
△ Less
Submitted 13 April, 2025; v1 submitted 23 January, 2016;
originally announced January 2016.
-
Consistency of maximum-likelihood and variational estimators in the Stochastic Block Model
Authors:
Alain Celisse,
J. -J. Daudin,
Laurent Pierre
Abstract:
The stochastic block model (SBM) is a probabilistic model de- signed to describe heterogeneous directed and undirected graphs. In this paper, we address the asymptotic inference on SBM by use of maximum- likelihood and variational approaches. The identi ability of SBM is proved, while asymptotic properties of maximum-likelihood and variational esti- mators are provided. In particular, the consiste…
▽ More
The stochastic block model (SBM) is a probabilistic model de- signed to describe heterogeneous directed and undirected graphs. In this paper, we address the asymptotic inference on SBM by use of maximum- likelihood and variational approaches. The identi ability of SBM is proved, while asymptotic properties of maximum-likelihood and variational esti- mators are provided. In particular, the consistency of these estimators is settled, which is, to the best of our knowledge, the rst result of this type for variational estimators with random graphs.
△ Less
Submitted 30 September, 2012; v1 submitted 17 May, 2011;
originally announced May 2011.