\section{Introduction}

Many of the classical random decomposable combinatorial structures, such
as random permutations and random polynomials over a finite field, 
have component structure satisfying
a \emph{conditioning relation}: if~$\cn_i$ denotes the number of 
components of size~$i$, the distribution of the vector of component counts
$(\cn_1, \dotsc, \cn_n)$ of a structure of size~$n$ can be expressed as
\begin{equation}\label{AB-cond-rel}
    \biglaw{\cn_1, \dotsc, \cn_n} = \bigcondlaw{Z_1, \dotsc ,Z_n}{T_{0,n}=n} \, ,
\end{equation}
where $(Z_i,\,i\ge1)$ is a fixed sequence of independent non-negative integer 
valued random variables, and $T_{a,n} := \sum_{i=a+1}^n iZ_i$, $0\le a < n$.  
If, as in the examples above, the~$Z_i$ also satisfy
\begin{equation}\label{AB-logarithmic}
  i\pp{Z_i=1} \ \to\ \theta  
     \qquad \text{and} \qquad i{\mathbb E} Z_i\ \to\ \theta \, ,
\end{equation}
the combinatorial structure is called \emph{logarithmic}.  
It is shown in Arratia, Barbour and Tavar\'{e} \ycite{abt:03} [ABT] that
combinatorial structures satisfying the conditioning relation and
slight strengthenings of the logarithmic condition share many common
properties.  For instance, if~$L^{(n)}$ is the size of the largest component,
then $n^{-1}L^{(n)} \to_d L$, where~$L$ has probability density function
$f_{\theta}(x)  := e^{\gamma \theta} \Gamma(\theta+1) x^{\theta-2} p_{\theta}((1-x)/x)$, 
$x \in (0,1]$, and~$p_\theta$ is the density of the Dickman 
distribution~$P_\theta$ with parameter~$\theta$, given in Vervaat~(1972, p.~90).
Furthermore, for any sequence $(a_n,\,n\ge1)$ with $a_n = o(n)$, 
\begin{equation*}
   \lim_{n \to \infty} 
      \bigdtv{{\cal L}{\cn_1,\dotsc,\cn_{a_n}}}{{\cal L}{Z_1,\dotsc,Z_{a_n}}} = 0 \, .
\end{equation*}
Both of these convergence results can be complemented by estimates of the
approximation error, under appropriate conditions.

Knopfmacher~(1979) introduced the notion of additive arithmetic semigroups,
which give rise to decomposable combinatorial structures  satisfying the 
conditioning relation, with negative binomially distributed~$Z_i$.
For these structures, $i\prob[Z_i=1] \sim i\ee Z_i = \theta_i$, where
the $\theta_i$ do not always converge to a limit as $i\to\infty$.
In those cases in which they do not, they become close
to the integer skeleton of a sum of sine functions with differing frequencies:  
\begin{equation}\label{sinusoidal function}
   \theta'_t := \theta + \sum_{l=1}^L \lambda_l \cos (2 \pi f_l t - \varphi_l) \, , 
      \qquad t \in {\mathbb R} \, ,
\end{equation}
with  $\sum_{l=1}^L \lambda_l \leq \theta$, and thus exhibit quasi-periodic
behaviour.
It is therefore natural to ask whether the asymptotic behaviour that holds generally for
logarithmic combinatorial structures also holds for such structures, 
which are logarithmic only in an average sense, and, if so, what restrictions
need to be placed on the~$\theta_i$'s for this to be true.  

In this paper, we define a family of combinatorial structures, the quasi-logarithmic class,
that include the logarithmic structures as a special case, as well as those of \ocite{zhang:96}.
For such structures, we give conditions under which $n^{-1}L^{(n)} \to_d L$ 
(Theorem~\ref{largest component theorem}) and
$\lim_{n \to \infty} \bigdtv{{\cal L}{\cn_1,\dotsc,\cn_{a_n}}}{{\cal L}{Z_1,\dotsc,Z_{a_n}}} = 0$
(Theorem~\ref{kubilius fundamental theorem}), just as in the logarithmic case.  
A key step in the proofs is to be able to show
that, for sequences $a_n = \lo n$, the normalized sum~$n^{-1}T_{a_n,n}$ converges both
in distribution and locally to the Dickman distribution~$P_\theta$ 
(Theorems \ref{global dickman approx theorem} and~\ref{local dickman approx theorem}), and
that the error rates in these approximations can be controlled. To do so,
it is in turn necessary to be able to show that, under suitable conditions, 
\begin{equation}\label{dtv to zero intro}
  \lim_{n \to \infty} \bigdtv{{\cal L}{T_{a_n,n}}}{{\cal L}{T_{a_n,n} + 1}} \ =\  0 \, , 
      \qquad \text{for all $a_n=\lo{n}$,}
\end{equation} 
and that the error rate can be bounded by a power of~$\{(a_n+1)/n\}$.


A number of the arguments used are adapted to the more general context from those 
presented in 
[ABT].  There, the sum $T_{0,n} := \sum_{i=1}^n iZ_i$ is close in distribution to that of
$T^*_{0,n} := \sum_{i=1}^n iZ^*_i$, where $Z^*_i \sim \po(\theta i^{-1})$, and the latter sum
has a compound Poisson distribution~$\cp(\theta,n)$ whose properties are tractable.
In the current situation, with the $\theta_i$'s not all asymptotically equal, it is first
necessary to show that~$\cp(\theta,n)$ is still a good approximation to the sum~$T_{0,n}$.
This is by no means obviously the case.  The intuition is nonetheless that, if the
distributions of $T_{0,n}$ and~$T_{0,n}+1$ are not too different, then having
$\theta_i = 2\theta$ and $\theta_{i+1} = 0$ instead of $\theta_i = \theta_{i+1} = \theta$ 
should leave the distribution~${\cal L}{T_{0,n}}$ more or less unchanged; only the
average behaviour of the~$\theta_i$ should be important.  Thus we first want to
establish~\Ref{dtv to zero intro}.  Once we have done so, we are able to show, 
by way of Stein's method, that ${\cal L}{T_{0,n}}$ is indeed close to~$\cp(\theta,n)$

Proving that~\Ref{dtv to zero intro} holds under conditions appropriate for
our quasi-logarithmic structures turns out in itself to be an interesting problem.
The standard Mineka coupling, used to bound the total variation distance 
between a sum of independent, integer valued random variables and its unit
translate, gives a very poor approximation in this context.
To overcome the difficulty, we introduce a new coupling strategy, which
yields a much more precise statement  in a rather general setting
(Theorem~\ref{AB-dss1}).  This is the substance of the next section.
We then show that the distributions ${\cal L}{T_{0,n}}$ and~$\cp(\theta,n)$ are
close in Section~\ref{dickman}, and conclude that quasi-logarithmic combinatorial
structures behave like logarithmic structures in Section~\ref{sec-4}.

As observed by Manstavi\v cius~(2009), when considering only the small
components, the distances
$\bigdtv{{\cal L}{\cn_1,\dotsc,\cn_{a_n}}}{{\cal L}{Z_1,\dotsc,Z_{a_n}}}$
can be bounded, even without assuming that the $\theta_j$'s converge on average
to any fixed~$\theta$, as long as they are bounded and bounded away from~$0$  (we
do not require the latter condition).  He considers only the case of Poisson
distributed~$Z_i$, for which, inspecting the proof of 
Theorem~\ref{kubilius fundamental theorem},
it is enough to obtain an estimate of the form
$$
  n|\prob[T_{a_n,n} = n-k] - \prob[T_{a_n,n} = n-l]| \ \le\  C\{|k-l|/n\}^\gamma,\qquad     
      0 \le k,l \le n/2,
$$
for some $\gamma > 0$.  This he achieves by using his refined characteristic
function arguments.  Since we are also interested in approximating the
distribution of the largest components, for which some form of convergence
to a~$\theta$ seems necessary, we do not attempt this refinement.
  



\section{An alternative to the Mineka coupling}\label{coupling subsection}

Let $\set{X_i}_{i \in {\mathbb N}}$ be mutually independent ${\mathbb Z}$-valued random variables, and let
$ S_n := \sum_{i=1}^n X_i$. 
The Mineka coupling, developed independently by \ocite{mineka:73} and \citeauthor{roesler:76}~(1977)
(see also
\ocite{lindvall:92}*{Section II.14}) yields a bound of the form
\begin{equation}\label{barbour xia bound}
  \bigdtv{{\cal L}{S_n}}{{\cal L}{S_n + 1}} \ \le\  \Bigl(\frac\pi2 \sum\nolimits_{i=1}^{n} u_i \Bigr)^{-1/2} \, ,
\end{equation}
where
\begin{equation*}
   u_i \ :=\   \Bigl( 1 - \bigdtv{{\cal L}{X_i}}{{\cal L}{X_i+1}}\Bigr) \, ;
\end{equation*}
see Mattner \& Roos~(2007, Corollary~1.6). The proof is based on coupling copies
 $\{X_i'\}_{i \in {\mathbb N}}$ and $\{X_i''\}_{i \in {\mathbb N}}$ of $\{X_i\}_{i \in {\mathbb N}}$ 
in such a way that
\begin{equation*}
  V_n \ :=\  \sum_{i=1}^n \bigl(X_i - X_i'\bigr)\,, \qquad n \in {\mathbb N},
\end{equation*}
is a symmetric random walk with steps in $\{-1,0,1\}$; the coupling inequality
\cite{lindvall:92}*{Section\ I.2} then shows that
\begin{equation*}
   \bigdtv{{\cal L}{S_n}}{{\cal L}{S_n + 1}} \ \le\  \pp{\tau > n} \ =\  \pp{V_n \in \{-1,0\}} \, ,
\end{equation*}
where $\tau$ is the time at which $\{V_n\}_{n \in {\mathbb Z}_+}$ first hits level $1$,
the last equality following from the reflection principle.
However, this inequality gives slow convergence rates, if $X_i=i Z_i$ and the $Z_i$ 
are as described in the Introduction;  typically, $\bigdtv{{\cal L}{iZ_i}}{{\cal L}{iZ_i+1}}$
is extremely close to~$1$,
and, if $X_i$ is taken instead to be $(2i-1)Z_{{2i-1}} + 2iZ_{2i}$, we still expect to have
$1 - \bigdtv{{\cal L}{X_i}}{{\cal L}{X_i+1}} \asymp i^{-1}$, leading to bounds of the form
\begin{equation*}
   \bigdtv{{\cal L}{S_n}}{{\cal L}{S_n+1}} = \bigbo{(\log n)^{-1/2}} \, .
\end{equation*}
In this section, by modifying the Mineka approach in the spirit of 
Rogers~(1999) to allow the random
walk~$V$ to make larger jumps, we show that error bounds of order~$n^{-\gamma}$ for some $\gamma>0$ can
be achieved, representing an exponential improvement over the Mineka bounds.

Let $(X_i,\,i\ge1)$ be independent ${\mathbb Z}_+$-valued random variables, set $S_{a,n} := \sum_{i=a+1}^n X_i$,
and define
\[
   q(i,d) \ :=\  \min\{\prob[X_i=0]\,\prob[X_{i+d}=i+d], \prob[X_i=i]\,\prob[X_{i+d}=0]\},
      \qquad i,d\in\nn.
\]
Then it is possible to couple copies $(X'_i,X'_{i+d})$ and  $(X''_i,X''_{i+d})$ of  $(X_i,X_{i+d})$
for any $i,d$ in such a way that
\begin{eqnarray}
   &&\prob[(X'_i,X'_{i+d}) = (0,i+d), (X''_i,X''_{i+d}) = (i,0)] \nonumber\\
    &&\quad\ =\  \prob[(X'_i,X'_{i+d}) = (0,i+d), (X''_i,X''_{i+d}) = (i,0)] \ =\  q(i,d);\nonumber \\
   &&\prob[(X'_i,X'_{i+d}) = (X''_i,X''_{i+d})] \ =\  1 - 2q(i,d).\label{AB-pair-coupling}
\end{eqnarray}
Note that then
\begin{equation}\label{AB-differences}
   (X'_i + X'_{i+d}) - (X''_i + X''_{i+d}) \ =\  \left\{
       \begin{array}{rc}
         d &\qquad\mbox{with probability}\ q(i,d);\\
         0 &\qquad\mbox{with probability}\ 1 - 2q(i,d);\\ 
         -d &\qquad\mbox{with probability}\ q(i,d),
       \end{array} \right.
\end{equation}
so that sums of such differences, with non-overlapping indices, can be constructed
so as to perform a symmetric random walk on~$d{\mathbb Z}$.
By successively coupling pairs in this way, and by using different values of~$d$, it may thus
be possible to couple the sums $S'_{a,n} := 1 + \sum_{i=a+1}^n X'_i$ and~$S''_{a,n} := \sum_{i=a+1}^n X''_i$ quickly, 
even when many of the overlaps
$q(i,d)$ are zero.  The following theorem is typical of what can be achieved.

For $d \in \nn$ and $\psi > 0$, define $E(d,\psi) := \{i\colon\, q(i,d) \ge \psi/(i+d)\}$.
For $D$ a finite subset of~$\nn$, suppose that there are $k \in \nn$ and $\psi>0$
such that
\begin{equation}\label{AB-pair-assn}
   E(d,\psi) \cap \{jk+1,\ldots,(j+1)k\} \ \ne \ \emptyset,
        \quad\mbox{for all}\ d\in D\,, \ j\ge1.
\end{equation}
In particular, if $X_i = iZ_i$ with $Z_i \sim \po(\theta_i/i)$, and if
$0 < \theta_- \le \theta_i$ for all~$i$, then clearly
$q(i,d) \ge \theta_-/(i+d)$ for all~$i$, and so \Ref{AB-pair-assn} holds for any~$D$ with
$k=1$ and $\psi = \theta_-$.  However, \Ref{AB-pair-assn} also holds for any~$D$ if, for instance,
$0 < \theta_- \le \theta_i$ is only given for $i \in 3\nn \cup \{7\nn+2\}$,
now with $k=16 + \max\{d\colon\,d\in D\}$ and $\psi = \theta_-$.


\begin{theorem}\label{AB-dss1}
   Let $r,s \in \nn$ be co-prime, and  set 
\begin{equation}\label{AB-ddef}
    D \ :=\  \{r\}\cup\{s2^g,\,g\ge0\} .
\end{equation}
Suppose that, for some $k,\psi$, \Ref{AB-pair-assn} is satisfied with $D $
as above. 
Then there exist $C,\gamma > 0$, depending on $r,s,k$ and~$\psi$, such that
\[
    \dtv{{\cal L}{S_{a,n}}}{{\cal L}{S_{a,n}+1}} \ \le\  6\{(a+1)/n\}^{\gamma},
\]
for all~$0 \le a < n$ for which $a+1 \le Cn$.
\end{theorem}


\begin{proof}
We take ${\widetilde S}'_0 = 1$, ${\widetilde S}''_0=0$, and then successively define ${\widetilde S}'_j := {\widetilde S}'_0 + \sum_{i\in I_j} X'_i$,
${\widetilde S}''_j := S''_0 + \sum_{i\in I_j} X''_i$, $T_j := {\widetilde S}'_j-{\widetilde S}''_j$, $j\ge1$.  Here, the sequences
$(X'_i,\,1\le i\le n)$ and $(X''_i,\,1\le i\le n)$ are two copies of the
sequence $(X_i,\,1\le i\le n)$ of independent random variables, constructed
by successively coupling pairs $(X'_{i_j},X'_{i_j+d_j})$
and $(X''_{i_j},X''_{i_j+d_j})$, for suitable $i_j$ and~$d_j$,
realized independently of the random variables $(X'_i,X''_i,\,i\in I_{j-1})$,
where $I_{j-1} := \cup_{l=1}^{j-1}\{i_l,i_l+d_l\}$. This coupling of pairs typically
omits some indices~$i \in \{1,2,\ldots,n\}$; for such~$i$, we set $X'_i = X''_i$, chosen 
independently from ${\cal L}{X_i}$.  The coupling of the pairs
$(X'_i,X'_{i+d})$ and $(X''_i,X''_{i+d})$ is accomplished by arranging that
${\cal L}{(X'_i,X'_{i+d})} = {\cal L}{(X''_i,X''_{i+d})} = {\cal L}{X_i}\times{\cal L}{X_{i+d}}$
and that $(X'_i + X'_{i+d}) - (X''_i + X''_{i+d}) \in \{-d,0,d\}$, as
described in~\Ref{AB-pair-coupling}.
The indices are defined by taking $i_1=\min\{i > a\colon\,i \in E(r,\psi)\}$, and then
taking $i_{j+1} := \min\{i > i_j\colon\, i\in E(d_{j+1},\psi),\,i,i+d_{j+1} \notin I_j\}$, where
\begin{eqnarray}
  d_l \ :=\  \left\{ 
    \begin{array}{ll}
       r, &\qquad \mbox{if }T_{l-1} \notin s\zz;\\
       s2^{f_2(T_{l-1}/s)}, &\qquad\mbox{if } l > \tau,\,T_{l-1}\ne0;\\
       0, &\qquad\mbox{if } T_{l-1} = 0,
    \end{array} \right.
\end{eqnarray}
and where $f_2(t)$ is the exponent of~$2$ in the prime factorization of~$|t|$,
$t\in\zz$.  If $T_{l-1}=0$, we couple $X'_{i_l} = X''_{i_l}$, and thus
$X'_{i_{l'}} = X''_{i_{l'}}$ for all $l'\ge l$, with $i_{l'}$ running through
all $i > i_{l-1}$ such that $i \notin I_{l-1}$.

With this construction, the sequence~$T_j$ can only
change in jumps of size~$\pm r$ until it first reaches~$s\zz$. Thereafter, at any jump, 
the exponent $f_2(T_j/s)$ increases by~$1$ until $T_j$ is of the form~$\pm s2^l$
for some~$l$; after this, the value of~$T_j$ is either doubled or set to zero 
at each jump, in the latter case remaining in zero for ever. 
If $i_J + d_J \le n$, where $J := \inf\{j\colon\, T_j=0\}$, then
\[
    S'_{a,n} \ :=\  1 + \sum_{i=a+1}^n X'_i \ =\  \sum_{i=a+1}^n X''_i \ =:\ S''_{a,n}, 
\]
and ${\cal L}{S'_{a,n}} = {\cal L}{S_{a,n}+1}$, ${\cal L}{S''_{a,n}} = {\cal L}{S_{a,n}}$, so that,
from the coupling inequality  \cite{lindvall:92}*{Section\ I.2}, 
\begin{equation}\label{AB-coupling-bnd}
  \dtv{{\cal L}{S_{a,n}}}{{\cal L}{S_{a,n}+1}} \ \le\  \prob[i_J + d_J > n].
\end{equation}
We thus wish to bound this probability.

Now the process~$T$, considered only at its jump times, has the law of a simple random
walk of step length~$r$ starting in~$1$, until it first hits a multiple of~$s$,
and the mean number of steps to do so is at most~$s^2/4$. Thus, and by the
Markov property of the simple random walk, the number of jumps~$N_1$ until a multiple
of~$s$ is hit is bounded in distribution by ${\textstyle \frac12} s^2 G_1$, where~$\prob[G_1 > j]
= 2^{-j}$, $j\ge1$; in particular, for any~$\gamma> 0$,
\[
   \prob[N_1 > {\textstyle \frac12} s^2\gamma \log_2 (1/{\a}_n)] \ \le\  2{\a}_n^{\gamma},
\]
where ${\a}_n := (a+1)/n$.
The remaining number~$N_2$ of jumps required for~$T$ to reach~$0$
is then at most~$\log_2r$ (in order to reach the form $\pm s2^l$ for some~$l$),
together with an independent random number~$G_2$ of steps until~$0$ is reached, 
having the same distribution as~$G_1$; hence,
\[
   \prob[N_2 > 2\gamma\log_2 (1/{\a}_n)] \ \le\  2{\a}_n^{\gamma}
\]
also, if $n \ge (a+1)r^{1/\gamma}$.  It remains to show that the process~$T$ has the
opportunity to make this many jumps, with high probability, for suitable choice
of~$\gamma$.

Now, in view of~\Ref{AB-pair-assn}, every block of indices $\{jk+1,\ldots,(j+1)k\}$
contains at least one~$i \in E(r,\psi)$.  Hence, for any $1/2 \le \beta < 1$,  we
can choose a set~$S_1$ of non-overlapping pairs $(i_l,i_l+r)$, $1\le l\le L$, such that 
$i_l \in E(r,\psi)$ and $a+1\le i_l \le k(a+1){\a}_n^{-\beta} - r$ for each~$l$, and such that 
\[
   \sum_{l=1}^L \frac1{i_l+r} \ >\ 
    \frac{1}{2(k\vee r)}\sum_{i=2}^{\lfloor (a+1){\a}_n^{-\beta} \rfloor} \frac1{i + a/(k\vee r)}
    \ \ge\ \frac{\beta}{4(k\vee r)}\,\log (1/{\a}_n),
\]
if $n \ge 3^{2/\beta}(a+1)$.
The first factor~$2$ in the denominator is present because a pair $(i,i+r)$ with~$i\in E(r,\psi)$ 
can be excluded from~$S_1$, but only if~$i = i_l+r$ for some pair $(i_l,i_l+r)$
already in~$S_1$; the other is to yield an inequality, rather than an asymptotic equality.
In similar fashion, for any non-decreasing sequence $(\rho_l,\,l\ge1)$, 
we can choose a set~$S_2$ of non-overlapping pairs $(i'_l,i'_l+s2^{\rho_l\wedge l_n})$, 
$1\le l\le L'$, where $l_n := \lfloor\frac12\log_2n\rfloor$,
such that $k(a+1){\a}_n^{-\beta} < i'_l \le n - s\lfloor \sqrt n \rfloor$ for each~$l$, 
and such that 
\[
   \sum_{l=1}^{L'} \frac1{i'_l+s2^{\rho_l\wedge l_n}} \ >\ 
     \frac1{2k}\sum_{i=\lceil 2(a+1){\a}_n^{-\beta} \rceil + 1}^{\lfloor n/k \rfloor} i^{-1}
    \ \ge\ \frac{1-\beta}{4k}\,\log (1/{\a}_n),
\]
if also $n \ge (a+1)(4k)^{2/(1-\beta)}$.

We now show that, for suitable choices of $\gamma$ and~$\beta$, the pairs in~$S_1$ with high probability
yield $M_1 \ge {\textstyle \frac12} s^2\gamma \log_2 n$ jumps of~$T$.  We then show that those in~$S_2$, with the 
sequence~$\rho_l$ chosen in non-anticipating fashion such that $\rho_1$ is the
exponent of~$2$ in~$T_l$ at the first~$l$ at which $T_l \in s{\mathbb Z}$,
$\rho_{l+1} = \rho_l$ if $T_{l} = T_{l-1} \neq 0$, $\rho_{l+1} = (\rho_l+1)\wedge l_n$ 
if $0 < T_l \neq T_{l-1}$ and $\rho_{l+1} =  l_n$ otherwise, yield $M_2 \ge 2\gamma\log_2 n$.
Indeed, by the Chernoff inequalities (Chung \& Lu 2006, Theorem~3.1), if $\varphi_1$, 
$0 < \varphi_1 < 1$, is such that
\begin{equation}\label{AB-f1-def}
   {\textstyle \frac12} s^2\gamma \log_2 (1/{\a}_n) \ =\  \frac{\beta\psi(1-\varphi_1)}{4(k\vee r)}\,\log (1/{\a}_n),
\end{equation}
then
\[
    \prob[M_1 < {\textstyle \frac12} s^2\gamma \log_2 (1/{\a}_n)] \ \le\  \exp\{-3\varphi_1^2\beta\psi\log (1/{\a}_n)/32(k\vee r)\} 
         \ \le\  {\a}_n^{\gamma},
\]
if $3\varphi_1^2 s^2 / \{16(1-\varphi_1) \log 2\} \ge 1$.
Similarly, using a martingale analogue of the Chernoff inequalities 
(Chung \& Lu 2006, Theorem~6.1),
for~$f_2$ such that $3\varphi_2^2/\{4(1-\varphi_2)\log 2\} \ge 1$ and with
\begin{equation}\label{AB-f2-def}
   2\gamma \log_2 (1/{\a}_n) \ =\  \frac{(1-\beta)\psi(1-\varphi_2)}{4k}\,\log(1/{\a}_n),
\end{equation}
we get
\[
    \prob[M_2 <  2\gamma \log_2 (1/{\a}_n)] \ \le\  \exp\{-3\varphi_2^2(1-\beta)\psi\log (1/{\a}_n)/32k\} \ \le\  {\a}_n^{\gamma}.
\]
Finally, for such choices of $f_1$ and~$f_2$, equations \Ref{AB-f1-def} and~\Ref{AB-f2-def}
can be satisfed with the same choice of~$\beta$ if~$\gamma$ is chosen such that
\[
   1 \ =\  \frac {2\gamma}{\psi\log 2}\left\{ \frac{(k\vee r)s^2}{1-\varphi_1} + \frac{4k}{1-\varphi_2} \right\};
\]
then
\[
    \beta \ =\  \frac {2\gamma(k\vee r)s^2}{(1-\varphi_1){\psi\log 2}}.
\]
Choosing $\varphi_2$ to satisfy $3\varphi_2^2/\{4(1-\varphi_2)\log 2\} = 1$, and then~$\varphi_1$ larger
than its minimum value, if necessary, to ensure that $\beta \ge 1/2$,
this yields the theorem.
\end{proof}

Clearly, the exponent~$\gamma$ could be sharpened; the condition~\Ref{AB-pair-assn} 
could also be weakened
to one ensuring a positive density of indices in each~$E(d,\psi)$ over longer intervals.
The set~$D$ could also be constructed in other ways.  One natural extension would be
to replace~$r$ co-prime to~$s$ with any $r_1,\ldots,r_m$ satisfying $\gcd\{r_i,\ldots,r_m,s\}
= 1$.

The coupling used to establish Theorem~\ref{AB-dss1} is not the only possibility.
In the example of additive arithmetic semigroups, there is one case in which the set~$D$
can be taken to consist of the integers $\{2^{g+1},\,g\ge0\}$, but no odd integers.
Here, the jumps in the process~$T$ would always be even, and hence, since~$T_0=1$,
$T$ can never hit~$0$.  However, if we define
\begin{eqnarray*}
  {\tilde\qqq}(i) &:=& \min\{\prob[X_i=0],\prob[X_i=i]\};\quad
  {\widetilde E}(1,\psi) \ :=\  \{i \in 2{\mathbb Z}+1\colon\, {\tilde\qqq}(i) \ge \psi /i\},
\end{eqnarray*}
and if, for all~$j\ge1$, 
\begin{equation}\label{AB-single-assn}
   {\widetilde E}(1,\psi) \cap \{jk+1,\ldots,(j+1)k\} \ \ne \ \emptyset,
\end{equation}
then one can begin the coupling construction by defining $X_i'= X_i''$ for even~$i$
and coupling $X_i'$ and $X_i''$ for odd~$i$ in such a way that
\[
   \prob[X'_i = i, X''_i = 0] \ =\  \prob[X'_i = 0, X''_i = i] \ =\  1 - \prob[X'_i = 0, X''_i = 0]
   \ =\  {\tilde\qqq}(i),
\]
until the first time~$i$ that $X'_i \neq X''_i$, at which time the difference~$T_i$ is
even, taking either the value $i+1$ or $i-1$.  Thereafter, the coupling is concluded 
using jumps of sizes~$2^{g+1}$, with the second half of the strategy in the previous 
proof.  Now the number of steps required to complete the coupling depends on how big the
first even value of~$T$ happens to be, but Chernoff bounds are still sufficient to
be able to conclude the following theorem, which we state without proof.


\begin{theorem}\label{AB-extra}
  Suppose that, for some $k,\psi$, \Ref{AB-pair-assn} is satisfied 
with $D = \{2^{g+1},\,g\ge0\}$, and~\Ref{AB-single-assn} is also satisfied.
Then there exist $C,\gamma > 0$, depending on $k$ and~$\psi$, such that
\[
    \dtv{{\cal L}{S_{a,n}}}{{\cal L}{S_{a,n}+1}} \ \le\  C\{(a+1)/n\}^{\gamma},
\]
for all~$0 \le a < n$.
\end{theorem}




\section{Approximation by the Dickman distribution}
\label{dickman}
As in the Introduction,
let $(\cn_1, \dotsc, \cn_n)$ be the component counts of a decomposable
combinatorial structure of size~$n$,
related to the sequence of independent random variables $(Z_i,i\ge1)$ 
through the Conditioning Relation~\Ref{AB-cond-rel}.  In this section, 
we wish to bound the distance between the distribution of the normalized sum 
$n^{-1}T_{a,n} := n^{-1}\sum_{i=a+1}^n iZ_i$ and the Dickman distribution~$P_\theta$,
when the quantities $\theta_i := i\ee Z_i$ converge in some weak, average
sense to~$\theta$, and when $i\prob[Z_i=1] \sim \theta_i$ also.  
In order to exploit the extra structure in the
distributions of the random variables~$Z_i$ that occurs in many of the
classical examples, it is convenient first to introduce some further notation.

We suppose that the random variables $Z_i$ can be written as  sums 
$Z_i := \sum_{j=1}^{r_i}Z_{ij}$,
where the random variables $(Z_{ij},\,i\ge1,1\le j\le r_i)$ are all independent,
and, for each~$i$, the $Z_{ij}$, $1\le j\le r_i$ are identically distributed.
This can always be taken to be the case, by setting~$r_i=1$, but~$r_i$
could be chosen arbitrarily large if~$Z_i$ were infinitely divisible, and
the bounds that we obtain may be smaller if the~$r_i$ can be chosen to be
large.  We  define
\begin{equation}\label{AB-epsilon-def}
   \varepsilon_{ik} \ :=\  \frac{ir_i}{\theta_i}\prob[Z_{i1}=k] - {\bf 1}\{k=1\},\quad k\ge1,
\end{equation}
so that, since $\theta_i = i\ee Z_i$, the $\varepsilon_{ik}$ can be expected to be small
if also $i\prob[Z_i=1] \sim \theta_i$.  We then define 
$\mu_i := \sum_{k\ge1} k\sup_{j\ge i}|\varepsilon_{ik}|$, which we assume to be finite. 

We now specify our analogue of~\Ref{AB-logarithmic}.  Clearly, assuming
$\mu_i \to 0$ yields random variables~$Z_i$ that mostly only take the values
$0$ or~$1$, but we also need some regularity among the~$\theta_i$.  To make
this precise, we define
\begin{equation}\label{AB-theta-tilde}
  {\d}(m,\th) \ :=\  \sup_{j\ge0}
     \left| \theta - \frac1m \sum_{i=1}^m \theta_{jm+i} \right|\,,
\end{equation}
and assume that it converges to zero, for some $\theta>0$, as $m\to\infty$.
In addition, we need to be able to apply Theorem~\ref{AB-dss1}.
Define $i_0 := \min\{i\colon\,\mu_i \le 1/2\}$, and set
$E'(d,\psi) := \{i \ge i_0\colon\, \min(\theta_i,\theta_{i+d}) \ge 4\psi\}$,
 noting that then $E'(d,\psi) \subset E(d,2\psi)\cap[i_0,\infty)$.
Then our simplest condition is the following.

\begin{defin}\label{QLC}
  We say that a decomposable combinatorial structure satisfies the
quasi--logarithmic condition QLC if it satisfies the Conditioning 
Relation~\Ref{AB-cond-rel}, if
\[
   \lim_{i\to\infty} \mu_i \ =\  0;\quad \lim_{m\to\infty}{\d}(m,\th) \ =\  0\quad
      \mbox{for some}\ \theta > 0,
\]
and if, for some $r,s$ coprime, $\psi > 0$ and~$D$ defined in~\Ref{AB-ddef},
\Ref{AB-pair-assn} is satisfied with $E'$ for~$E$.
\end{defin}

For quantitative estimates, a slightly stronger assumption is useful.

\begin{defin}\label{QLC2}
  We say that a decomposable combinatorial structure satisfies the
quasi--logarithmic condition QLC2 if it satisfies the Conditioning 
Relation~\Ref{AB-cond-rel}, if
\[
    \mu_i \ =\  O(i^{-\alpha});\quad {\d}(m,\th) \ =\  O(m^{-\beta})\quad
      \mbox{for some}\ \theta,\alpha,\beta > 0,
\]
and if, for some $r,s$ coprime, $\psi > 0$ and~$D$ defined in~\Ref{AB-ddef},
\Ref{AB-pair-assn} is satisfied with $E'$ for~$E$.
\end{defin}

Under such conditions, we now prove the close link between ${\cal L}{n^{-1}T_{a,n}}$
and~$P_\theta$.  Our method of proof involves showing first that ${\cal L}{T_{0,n}}$
is close to the compound Poisson distribution~$\cp(\theta,n) := {\cal L}{\sum_{i=1}^n iZ^*_i}$,
where the $Z^*_i \sim \po(i^{-1}\theta)$ are independent; the closeness
of $n^{-1}\cp(\theta,n)$ and~$P_\theta$ is already known [ABT, Theorems 11.10 and~12.11], and the
Wasserstein distance between ${\cal L}{n^{-1}T_{0,n}}$ and~${\cal L}{n^{-1}T_{a,n}}$
is at most~$n^{-1}\sum_{i=1}^a \theta_i$. 

To bound the distance between ${\cal L}{T_{a,n}}$ and~$\cp(\theta,n)$, we use 
Stein's method (Barbour, Chen \& Loh 1992).  For any Lipschitz 
test function~$f\colon\,\zz_+\to\rr$, one expresses~$f$ in the form
\begin{equation}\label{AB-Stein-CP}
    f(j) - \cp(\theta,n)\{f\} \ =\  \theta\sum_{i=1}^n g_f(j+i) - jg_f(j) , 
\end{equation}
for an appropriate function~$g_f$ [ABT, Chapter~9.1].  Hence, for instance, 
the Wasserstein distance between ${\cal L}{T_{a,n}}$  and~$\cp(\theta,n)$ can be 
estimated by bounding  
\begin{eqnarray}
   \lefteqn{\left| \ee\left\{ 
         \theta\sum_{i=1}^n g_f(T_{a,n}+i) - T_{a,n}g_f(T_{a,n}) \right\}\right|}\nonumber\\
   &=&  \left| \sum_{i=a+1}^n \ee\{\theta g_f(T_{a,n}+i) - iZ_i g_f(T_{a,n})\} 
           + \sum_{i=1}^a \theta\ee g_f(T_{a,n}+i) \right|\,,
   \label{AB-Stein-bnd}
\end{eqnarray}
uniformly for Lipschitz functions~$f\in{\mathrm {Lip}}_1$, for which functions $\|g_f\| \le 1$ 
[ABT, (9.14)].
The right hand side can now be relatively easily bounded.


First, we re-express the element 
\[
   \ee\{iZ_{i}g_f(T_{a,n})\} \ =\  \sum_{l=1}^{r_i} \ee\{iZ_{il}g_f(T_{a,n})\}
\]
of~\Ref{AB-Stein-bnd} by observing that
\[
   \ee\{iZ_{il}g_f(T_{a,n})\} \ =\  \frac{\theta_i}{r_i}\left\{ \ee g_f(T_{a,n}^{(i)}+i)
     + \sum_{k\ge1} k\varepsilon_{ik} \ee g_f(T_{a,n}^{(i)}+ik) \right\},
\]
where $T_{a,n}^{(i)} := T_{a,n} - iZ_{i1}$, $a < i \le n$.  Hence, to bound~\Ref{AB-Stein-bnd},
we have
\begin{eqnarray}
  \lefteqn{ \left| \ee\left\{ \theta\sum_{i=a+1}^n g_f(T_{a,n}+i) - T_{a,n}g_f(T_{a,n}) \right\}\right|}\nonumber\\
    &&\ \le\  \left|  \sum_{i=a+1}^n \{(\theta- \theta_i) \ee g_f(T_{a,n}+i) 
    + \theta_i \ee[g_f(T_{a,n}+i) - g_f(T_{a,n}^{(i)}+i)]\}\right| \nonumber\\
    &&\mbox{}\qquad + \sum_{i=a+1}^n \theta_i\sum_{k\ge1} k|\varepsilon_{ik}| \ee |g_f(T_{a,n}^{(i)}+ik)|, \label{AB-Stein-1}
\end{eqnarray}
and 
\begin{eqnarray}
   \lefteqn{\ee\{g_f(T_{a,n}+i) - g_f(T_{a,n}^{(i)}+i)\}}\nonumber\\
   && \ =\  \frac{\theta_i}{ir_i}\left\{ \ee \{g_f(T_{a,n}^{(i)}+2i) - g_f(T_{a,n}^{(i)}+i)\}
             \vphantom{\sum_{k\ge1}}\right.\nonumber\\
   &&\qquad\mbox{}\left.\qquad
      + \sum_{k\ge1} \varepsilon_{ik}\ee \{g_f(T_{a,n}^{(i)}+i(k+1)) - g_f(T_{a,n}^{(i)}+i)\}\right\} \,; \label{AB-Stein-2}
\end{eqnarray}
and, clearly,
\begin{equation}\label{AB-Stein-3}
   \theta \sum_{i=1}^a |\ee g_f(T_{a,n}+i)| \ \le\  a\theta \|g_f\|.
\end{equation}
With the help of these estimates, we can prove the following approximation theorem;
we use the notation $D^1(T)$ to denote $\dtv{{\cal L}{T}}{{\cal L}{T+1}}$.

\begin{theorem}\label{global dickman approx theorem}
With the definitions above,
\begin{eqnarray}
  \bigdw{{\cal L}{n^{-1}T_{a,n}}}{\mathrm{P}_{\! \theta}}
 &\le& n^{-1}(1+\theta)^2 + \min_{1\le m\le n}\varepsilon_1(n,a,m) \, ,
  \label{global dickman approx bound}
\end{eqnarray}
where $\varepsilon_1(n,a,m)$ is given in~\Ref{AB-eps1}.  If QLC holds,
$\bigdw{{\cal L}{n^{-1}T_{a_n,n}}}{\mathrm{P}_{\! \theta}} \to 0$ for any sequence $a_n = o(n)$.  
If QLC2 holds, then
$\bigdw{{\cal L}{n^{-1}T_{a,n}}}{\mathrm{P}_{\! \theta}} = O(\{(a+1)/n\}^{\eta_1})$
for some $\eta_1 > 0$.
\end{theorem}

\begin{proof}
We first consider $\bigdw{{\cal L}{T_{a,n}}}{\cpspec{\theta}{n}}$, for which we
bound the quantities appearing in~\Ref{AB-Stein-bnd}, as addressed in
\Ref{AB-Stein-1}--\Ref{AB-Stein-3}.
The contribution from~\Ref{AB-Stein-3} is immediate.
Then, defining
\begin{eqnarray*}
  \theta^* &:=& \max\{1,\theta,\sup_{i\ge1}\theta_i\}\quad\mbox{and}\quad 
    \sigma^*_n \ :=\  \sum_{i=1}^n \max\left\{ \mu_i,\frac1{ir_i} \right\}, 
\end{eqnarray*}
we can easily bound the third element in~\Ref{AB-Stein-1}
by $\theta^* \sigma^*_n \|g_f\|$,  and the second, using~\Ref{AB-Stein-2},
contributes at most $4\theta^* \sigma^*_n \|g_f\|$, since also $ir_i \ge 1$.  For the
first term, we use Lemma~\ref{heartlemma}(i) to give
\[
  \left| \sum_{i=1}^n (\theta- \theta_i) \ee g_f(T_{a,n}+i)\right| \ \le\ 
   \{2 \theta^* m + n{\d}(m,\th) +
          (1/4) \theta^* mn D^1(T_{a,n})\}\|g_f\|.  
\]
In all, and using $\|g_f\| \le 1$, this gives the bound
\begin{equation}\label{AB-eps0}
    \bigdw{{\cal L}{T_{a,n}}}{\cpspec{\theta}{n}} \ \le\  n\varepsilon_1(n,a,m),
\end{equation}
with
\begin{equation}\label{AB-eps1}
   \varepsilon_1(n,a,m) \ :=\  \frac14 \theta^* m D^1(T_{a,n}) + {\d}(m,\th) + n^{-1}\theta^*\{5 \theta^* \sigma^*_n
   + 2m  + a\}\,.
\end{equation}

This bound, together with the inequality
\begin{equation*}
  \bigdw{{\cal L}{n^{-1}T_{a,n}}}{\mathrm{P}_{\! \theta}} \ \le\  n^{-1} \bigdw{{\cal L}{T_{a,n}}}{\cpspec{\theta}{n}}
    + \bigdw{n^{-1}\cpspec{\theta}{n}}{\mathrm{P}_{\! \theta}} \, ,
\end{equation*}
now give the required estimate, since
\begin{equation*}
   \bigdw{n^{-1}\cpspec{\theta}{n}}{\mathrm{P}_{\! \theta}} \ \le\  n^{-1}(1+\theta)^2 \, ;
\end{equation*}
see [ABT, Theorem 11.10].

If QLC holds, $D^1(T_{a,n}) = O(\{(a+1)/n\}^\gamma)$ for some $\gamma > 0$, and choosing $m
= m_n$ tending to infinity slowly enough ensures that $\varepsilon_1(n,a_n,m_n)\to 0$.
If QLC2 holds, choose~$m$ to be an appropriate power of $\{(a+1)/n\}$.
\end{proof}

With a little more difficulty, one can prove the analogous local approximation to
the distribution of~$T_{a,n}$. This the main tool for establishing the asymptotic
behaviour of quasi-logarithmic combinatorial structures. 

\begin{theorem}\label{local dickman approx theorem}
For any $0 \le a \le n$ and any $r \ge 2a+1$, we have 
\begin{equation}\label{llt equation}
   | n \bigpp{T_{a,n}=r} - p_{\theta}(r/n) | \ \le\  \min_{1\le m\le n}\varepsilon_5(n,a,m;r) \, ,
\end{equation}
with $\varepsilon_5(n,a,m;r)$ as defined in~\Ref{AB-eps5} below.  
If QLC holds, it follows that \break
$\sup_{r\ge nx}| n \bigpp{T_{a,n}=r} - p_{\theta}(r/n) | \to 0$ for any $x>0$ and any
sequence $a_n = o(n)$.  If QLC2 holds, then
$\sup_{r\ge nx}| n \bigpp{T_{a,n}=r} - p_{\theta}(r/n) | = O(\{(a+1)/n\}^{\eta_2})$,
for any $x>0$ and for some $\eta_2 > 0$.
\end{theorem}

\begin{proof}
With $x := r/n$, we begin by writing
\begin{equation*}
\begin{split}
   \bigeuknorm{p_{\theta}(x) - n \pp{T_{a,n}=r} } & \ \le\  
      \frac1x \bigeuknorm{ \theta \pp{r-n \leq T_{a,n} < r - a} - r \pp{T_{a,n}=r} }\\
    & \mbox{}\quad 
      + \Bigeuknorm{ p_{\theta} (x) - \frac1x\theta \bigpp{r-n \leq T_{a,n} < r - a} }\, . 
\end{split}
\end{equation*}

Now the quantity 
\[
    \Delta_1(r) \ :=\  \theta \pp{r-n \leq T_{a,n} < r - a} - r \pp{T_{a,n}= r}
\]
is of the form $\ee\left\{  \theta\sum_{i=a+1}^n g(T_{a,n}+i) - T_{a,n} g(T_{a,n}) \right\}$,
as in~\Ref{AB-Stein-1}, with $g := {\bf 1}_{\{r\}}$.  Take~$l_0$  such that
$\prob[Z_{l1} = 0] \ge 1/2$ for all $l \ge l_0$, and set 
\hbox{$C(l_0) := \{\min_{1\le l\le l_0}\max_{j \ge 1}\prob[Z_{l1} = j]\}^{-1}$;}
then we have
\begin{equation}\label{AB-prob-bnds}
   \prob[T_{a,n}^{(i)} = s] \ \le\  2 \prob[T_{a,n} = s],\ i\ge l_0;\qquad
     \prob[T_{a,n}^{(i)} = s] \ \le\  C(l_0) \sup_{j\ge1} \prob[T_{a,n} = j]\,,
\end{equation}
for all $s\ge0$ and $1\le i < l_0$.
Note also that, by considering expectations of functions of the form~${\bf 1}_{[0,j]}$,
\begin{equation}\label{AB-point-bnd}
   \sup_{j\ge1} \prob[T_{a,n} = j] \ \le\  D^1(T_{a,n}).
\end{equation} 
Using these bounds, we can bound the third element in~\Ref{AB-Stein-1} by
\[
   \theta^* \left\{ \sum_{i=1}^{l_0-1} C(l_0)\mu_i D^1(T_{a,n}) 
      + \sum_{i=l_0}^{l-1} 2\mu_i D^1(T_{a,n}) + 2\mu_l\right\},
\]
for any $l\ge l_0$, since $\sum_{i = l}^n \prob[T_{a,n} = r - ik] \le 1$ for all $k\ge1$.
The second element is bounded, using~\Ref{AB-Stein-2}, in a very similar way, giving
\[
    2\theta^* \left\{ \sum_{i=1}^{l-1} (C(l_0)\vee2)\frac1{ir_i}(1+\mu_i) D^1(T_{a,n}) 
       + \frac2{lr_l}(1+\mu_l)\right\}.
\]
Finally, the first element in~\Ref{AB-Stein-1} is bounded by Lemma~\ref{heartlemma}(ii) as
\[
   \left| \sum_{i=a+1}^n (\theta-\theta_i)\prob[T_{a,n}=r-i] \right| \ \le\  {\d}(m,\th)
      + m\theta^*\left( 2 + \frac{m}6 \right) D^1(T_{a,n}).
\]
Combining these estimates, we conclude that, for any $l\ge l_0$,
\begin{equation}\label{AB-1st-bnd}
   \left| \Delta_1(r) \right| \ \le\  \varepsilon_2(n,a,m),
\end{equation}
where
\begin{eqnarray}
  \lefteqn{\varepsilon_2(n,a,m) \ :=\ }\nonumber\\ 
    && \theta^* \min_{l \ge l_0}\left\{ \sum_{i=1}^{l-1} (C(l_0)\vee2)
            \left(\frac2{ir_i}(1+\mu_i)+\mu_i\right) D^1(T_{a,n}) 
       + 4\left( \frac1{lr_l}(1+\mu_l) + \mu_l \right)\right\} \nonumber\\
   &&\qquad\mbox{} + m\theta^*\left( 2 + \frac{m}6 \right) D^1(T_{a,n}) + {\d}(m,\th)\,.
   \label{AB-eps2}
\end{eqnarray}

\smallskip
The next step is to bound the difference 
\[
    \Delta_2(r) \ :=\  \bigpp{r-n \leq T_{a,n} < r - a} - \cp(\theta,n)\{[r-n , r - a-1]\},
\]
which can once again be accomplished by using \Ref{AB-Stein-CP} and~\Ref{AB-Stein-bnd}.
Since, for $f := {\bf 1}_{[0,s-1]}$,
\[
   \|g_f\| \ \le\  (1+\theta)/(s + \theta),
\]
by [ABT, Lemma~9.3], it follows as in the proof of~\Ref{AB-eps0} in the previous theorem that
\begin{equation}\label{AB-K-1}
   |\prob[T_{a,n} < s] - \cp(\theta,n)\{[0,s-1]\}| \ \le\  s^{-1}(1+\theta)n\varepsilon_1(n,a,m),
\end{equation}
for any $s \ge 1$.  For $2a < r \le n$, this gives 
\[
   |\Delta_2(r)| \ \le\  (r-a)^{-1}(1+\theta)n\varepsilon_1(n,a,m) \ \le\  2r^{-1}n (1+\theta)\varepsilon_1(n,a,m).
\]
For $r > n$,  two differences as in~\Ref{AB-K-1} are needed. The first is just as before;
the second is bounded by
\begin{equation}\label{AB-eps3-1}
   \varepsilon_3(n,a,m;r) \ :=\ 
     \min\{(r-n)^{-1}(1+\theta)n\varepsilon_1(n,a,m), \prob[T_{a,n} < r-n] + \cp(\theta,n)\{[0,r-n-1]\}\},
\end{equation}
where the alternative is useful if~$r$ is close to~$n$.  Now
\begin{equation}\label{AB-CPsmall}
   \cp(\theta,n)\{[0,j]\} \ \le\  \prod_{i=j+1}^n \po(\theta i^{-1})\{0\}
     \ =\  \exp\left\{ - \sum_{i=j+1}^n \theta i^{-1}\right\} \ \le\  \left( \frac{j+1}{n+1} \right)^\theta.
\end{equation}
Rather similarly,
\begin{eqnarray*}
   \lefteqn{\prob[T_{a,n} \le j] \ \le\  \prod_{i=j+1}^n \{\prob[Z_{i1}=0\}^{r_i} 
            \ \le\  \exp\left\{ - \sum_{i=j+1}^n \theta_i i^{-1}(1-\mu_i)\right\}} \\
    &\le& \left[ \exp\left\{ - \sum_{i=j+1}^n \Bigl(\frac{\theta_i - \theta}i \Bigr)\right\}
       \left( \frac{j+1}{n+1} \right)^\theta \right]^{1-\mu_{j+1}} \ \le\ 
     \left\{ 2e^{1+\theta^*} \left( \frac{j+1}{n+1} \right)^{\theta - \delta(j/2,\theta)} \right\}^{1-\mu_{j+1}},
\end{eqnarray*}
from Lemma~\ref{5.3}, and this in turn gives
\begin{equation}\label{AB-Tsmall}
   \prob[T_{a,n} \le j] \ \le\  2e^{1+\theta^*} \left( \frac{(j\vee j_0)+1}{n+1} \right)^{\theta/4},
\end{equation}
where $\mu_{j+1} \le 1/2$ and $\delta(j/2,\theta) \le \theta/2$ for all $j\ge j_0$.
Using \Ref{AB-CPsmall} and~\Ref{AB-Tsmall} in \Ref{AB-eps3-1}, and optimizing with
respect to~$r$, gives
\[
    \varepsilon_3(n,a,m;r) \ \le\   4e^{1+\theta^*} \{\varepsilon_1(n,a,m)\}^{\theta/(4+\theta)} \ =:\ \varepsilon_4(n,a,m).
\]
Hence
\begin{equation}\label{AB-eps3}
    |\Delta_2(r)| \ \le\   2nr^{-1}(1+\theta)\varepsilon_1(n,a,m) + \varepsilon_4(n,a,m)
\end{equation}
for all $r \ge 2a+1$.

\smallskip
The remainder of the estimate is concerned with comparing the density~$p_{\theta}(r/n)$
with $nr^{-1}\theta\cp(\theta,n)\{[r-n , r - a-1]\}$.  From [ABT, Theorem~11.12], it follows that
\begin{equation}\label{AB-3rd-bnd}
    |\cp(\theta,n)\{[r-n , r - a-1]\} - P_\theta\{[r/n-1 , (r - a)/n)\}| \ \le\  c(\theta)n^{-(\theta\wedge1)},
\end{equation}
for a constant $c(\theta)$, and then, from [ABT, (4.23) and~(4.20)],
\begin{eqnarray}
   \lefteqn{|nr^{-1}\theta P_\theta\{[r/n-1 , (r - a)/n)\} - p_{\theta}(r/n)|}\label{AB-4th-bnd}\\
  &&\ =\  nr^{-1}\theta|P_\theta\{[r/n-1 , (r - a)/n)\} - P_\theta\{[r/n-1 , r/n)\}| 
   \ \le\  c'(\theta) nr^{-1} (a/n)^{(\theta\wedge1)} \nonumber
\end{eqnarray}
so long as $r \ge 2a$.  Combining 
\Ref{AB-1st-bnd}, \Ref{AB-eps3}, \Ref{AB-3rd-bnd} and~\Ref{AB-4th-bnd}, the theorem 
follows with
\begin{eqnarray}
  \varepsilon_5(n,a,m;r) &:=&  \frac nr \Bigl\{ 2\theta(1+\theta) nr^{-1}\varepsilon_1(n,a,m) + \varepsilon_2(n,a,m)\nonumber\\
     &&\qquad\quad\mbox{} + \theta  \varepsilon_4(n,a,m)
       + c''(\theta)((a+1)/n)^{(\theta\wedge1)} \Bigr\}; \label{AB-eps5}
\end{eqnarray}
note that, for $2a \le n/2 \le r\le n$, the bound can be replaced by the uniform
\begin{equation}\label{AB-eps5'}
    \varepsilon_5'(n,a,m) \ :=\  2 \left\{ \varepsilon_2(n,a,m) +  4n^{-1}\theta (1+\theta)\varepsilon_1(n,a,m)
       + c''(\theta)((a+1)/n)^{(\theta\wedge1)} \right\}\,.
\end{equation}

\smallskip
If QLC holds, $D^1(T_{a,n}) = O(\{(a+1)/n\}^\gamma)$ for some $\gamma > 0$, and choosing $m
= m_n$ tending to infinity slowly enough ensures that $\varepsilon_l(n,a_n,m_n)\to 0$
for $l=1,2$ and~$4$; this implies that $\varepsilon_5(n,a_n,m_n,r)\to 0$ uniformly 
in $r\ge nx$, for any $x>0$.
If QLC2 holds, choose~$m$ to be an appropriate power of $\{(a+1)/n\}$.
\end{proof}




\section{Quasi-logarithmic structures}\label{sec-4}
In this section, we consider the two common properties shared by logarithmic
combinatorial structures that were discussed in the Introduction, and show that
they are also true  for quasi-logarithmic structures.  For each of the properties,
the local approximation of $\prob[T_{a,n}=r]$ in Theorem~\ref{local dickman approx theorem}
is the fundamental relation from which everything else follows.  Other aspects
of the asymptotic behaviour of logarithmic combinatorial structures could be extended to
quasi-logarithmic structures by analogous methods.


\subsection{The size of the largest component}

The following theorem is an extension of a result proved by \ocite{kingman:77} 
in the case of $\theta$-tilted random permutations.
A version for logarithmic structures can be found in [ABT, Theorem~7.13].

\begin{theorem}\label{largest component theorem}
Let
\begin{equation*}
   L^{\scriptscriptstyle (n)}  \ :=\  \max \bigpset{1 \leq i \leq n}{C_i^{\scriptscriptstyle (n)} > 0}
\end{equation*}
be the size of the largest component. Then, if QLC holds,
\begin{equation*}
   \lim_{n \to \infty} \biglaw{n^{-1} L^{\scriptscriptstyle (n)}}  \ =\  {\cal L}{L} \, ,
\end{equation*}
where $L$ is a random variable concentrated on $(0,1]$, whose distribution is given 
by the density function
\begin{equation*}
   f_{\theta}(x) \ :=\  e^{\gamma \theta} \Gamma(\theta+1) x^{\theta-2} \: \! 
       p_{\theta}\bigl((1-x)/x\bigr) \, , \qquad \text{for all $x \in (0,1]$.}
\end{equation*}
In particular, if $\theta=1$,
\begin{equation*}
    \lim_{n \to \infty} \bigpp{L^{\scriptscriptstyle (n)} \leq n/y}  \ =\  \rho(y) \, , 
        \qquad \text{for all $y \geq 1$,}
\end{equation*}
where $\rho$ is Dickman's function \cite{dickman:30}.
\end{theorem}

\begin{proof} Fix $x \in (0,1]$. Then
\begin{equation}\label{AB-big-1}
  \bigpp{n^{-1} L^{\scriptscriptstyle (n)} \leq x} 
    \ =\  \bigpp{C_{\lfloor nx \rfloor+1}^{\scriptscriptstyle (n)}= \dotsb 
           = C_n^{\scriptscriptstyle (n)}=0}
   \ =\  \! \! \! \! \prod_{i=\lfloor nx \rfloor+1}^n \! \bigpp{Z_i=0} \: 
              \frac{\bigpp{T_{0,\lfloor nx\rfloor}=n}}{\bigpp{T_{0,n}=n}} \, .
\end{equation}
Theorem \ref{local dickman approx theorem} yields
\begin{equation}\label{AB-big-2}
     \frac{\bigpp{T_{0,\lfloor nx \rfloor}=n}}{\bigpp{T_{0,n}=n}}  
      \ =\  \frac{np_{\theta}(n/\lfloor nx \rfloor)}{\lfloor nx \rfloor \: \! p_{\theta}(1)} \,
       \left\{ 1 + O(\min_m \varepsilon_5\bigl(\lfloor nx \rfloor,0,m;n) + \min_m \varepsilon_5(n,0,m;n)\bigr)\right\} .
\end{equation}
Writing $\theta_i:=i{\mathbb E} Z_i$ and $y_i  := \theta_i(1+E_i)/(ir_i)$, where 
$E_i:=\sum_{k=1}^\infty \varepsilon_{ik}$, 
we obtain 
\begin{equation}\label{AB-big-3}
  \prod_{i=\lfloor xn \rfloor+1}^n \! \bigpp{Z_i=0}  \ =\ 
   \exp \biggl(- \! \! \! \! \sum_{i=\lfloor xn \rfloor+1}^n \frac{\theta_i}{i} \biggr)
   \exp \biggl(- \! \! \! \! \sum_{i=\lfloor xn \rfloor+1}^n \frac{\theta_i E_i}{i} \biggr)
   \prod_{i=\lfloor xn \rfloor+1}^n \biggl(\frac{1-y_i}{e^{-y_i}}\biggr)^{r_i} \, .
\end{equation}
From Lemma \ref{5.3}, 
\[
    \exp \biggl(- \! \! \! \! \sum_{i=\lfloor xn \rfloor+1}^n \frac{\theta_i}{i} \biggr)
       \ =\  x^\theta \{1 + O(\delta(m,\theta) + m/(nx))\},
\]
for any $m < \lfloor nx \rfloor/2$; then, easily,
\[
    \exp \biggl(- \! \! \! \! \sum_{i=\lfloor xn \rfloor+1}^n \frac{\theta_i E_i}{i} \biggr)
     \ =\  1 + O(\mu_{\lfloor nx \rfloor})
\]
and
\[
    \prod_{i=\lfloor xn \rfloor+1}^n \biggl(\frac{1-y_i}{e^{-y_i}}\biggr)^{r_i}
     \ =\  1 + O(n^{-1}),
\]
so that $\prod_{i=\lfloor xn \rfloor+1}^n \! \bigpp{Z_i=0} \sim x^\theta$ under QLC.
Combining this with~\Ref{AB-big-1} and~\Ref{AB-big-2}, it follows that then
\begin{equation}\label{AB-big-4}
  \lim_{n \to \infty} \bigpp{n^{-1} L^{\scriptscriptstyle (n)} \leq x}  \ =\ 
      \frac{x^{\theta} p_{\theta}(1/x)}{x \: \! p_{\theta}(1)} \ =:\ F_{\theta}(x) \, ,
\end{equation}
where $F_\theta$ is a distribution function with density $f_\theta$ [ABT, p.~108].
 If $\theta=1$, then $p_{\theta}(x)=e^{-\gamma} \rho(x)$. This
proves the theorem.

Under QLC2, the convergence rate in~\Ref{AB-big-4} for each~$x>0$ is of order~$O(n^{-\eta_3})$,
for some $\eta_3 > 0$.
\end{proof}

One can also prove local versions of the convergence theorem.  However, they have to
involve the particular sequence~$\theta_i$, since, for instance, $\prob[L^{(n)} = r] = 0$
if $\theta_r=0$, because then $Z_r$, and hence also $C^{(n)}_r$, are zero a.s.  A typical
result is as follows.
 
\begin{theorem}
 If QLC holds, then, for any~$0 < x\le 1$ such that $1/x$ is not an integer,
it follows that
\begin{equation}\label{AB-local0}
  \lim_{\nti}|n\prob[L^{(n)} = {\lfloor nx \rfloor}] - (\theta_{{\lfloor nx \rfloor}}/\theta)f_\theta(x)| \ =\  0.
\end{equation}
Under QLC2, the convergence rate is of order~$O(n^{-\eta_4})$, for some $\eta_4 > 0$.
\end{theorem}

\begin{proof}
 Arguing as in the proof of the previous theorem,
\begin{equation}\label{AB-local1}
   \prob[L^{(n)} = {\lfloor nx \rfloor}] \ =\  \prod_{i=\lfloor nx \rfloor+1}^n \! \bigpp{Z_i=0} \: 
           \sum_{l=1}^{\lfloor n/{\lfloor nx \rfloor} \rfloor} \prob[Z_{{\lfloor nx \rfloor}} = l]
              \frac{\bigpp{T_{0,\lfloor nx\rfloor-1}=n-l{\lfloor nx \rfloor}}}{\bigpp{T_{0,n}=n}}.
\end{equation}
Now, from Theorem~\ref{local dickman approx theorem}, the ratios
\[
    \frac{\bigpp{T_{0,\lfloor nx\rfloor-1}=n-l{\lfloor nx \rfloor}}}{\bigpp{T_{0,n}=n}}
\]
are bounded as $n\to\infty$, uniformly for all $2\le l \le \lfloor n/{\lfloor nx \rfloor} \rfloor$, 
provided that $1/x$ is not an integer, so that $1 - x\lfloor 1/x \rfloor> 0$.  Then
\begin{eqnarray*}
   \sum_{l\ge2} \prob[Z_{\lfloor nx \rfloor} = l] &\le& r_{\lfloor nx \rfloor}\prob[Z_{{\lfloor nx \rfloor},1} \ge 2]
             + {r_{\lfloor nx \rfloor} \choose 2}(\prob[Z_{{\lfloor nx \rfloor},1} = 1])^2 \\
   &\le& \frac1{\lfloor nx \rfloor} \mu_{\lfloor nx \rfloor} + \frac{(\theta^*)^2}{2{\lfloor nx \rfloor}^2},
\end{eqnarray*}
implying that $\lim_{\nti} n\sum_{l\ge2} \prob[Z_{\lfloor nx \rfloor} = l] = 0$.  Hence the sum of the terms
for $l\ge2$ on the right hand side of~\Ref{AB-local1} contributes an asymptotically
negligible amount to the quantity $n\prob[L^{(n)} = {\lfloor nx \rfloor}]$ as $n\to\infty$.  For the $l=1$
term in~\Ref{AB-local1}, both the product and
the ratio of point probabilities are treated as in the proof of 
Theorem~\ref{largest component theorem}, giving the limit 
$x^{\theta-1}p_\theta((1-x)/x)/p_\theta(1)$, and
\[
    |\prob[Z_{\lfloor nx \rfloor} = 1] - \theta_{\lfloor nx \rfloor}/{\lfloor nx \rfloor}| \ \le\  \mu_{\lfloor nx \rfloor}/{\lfloor nx \rfloor},
\]
so that
\[
 \lim_{\nti} |n\prob[L^{(n)} = {\lfloor nx \rfloor}] - x^{\theta-1}\{p_\theta((1-x)/x)/p_\theta(1)\}\,x^{-1}\theta_{\lfloor nx \rfloor}| \ =\  0.
\]
This completes the proof of~\Ref{AB-local0}.  The remaining statement follows as
usual, by taking greater care of the magnitudes of the errors in the various
approximation steps.
\end{proof}

In order to relax the condition that $1/x$ is not integral, it is necessary to
strengthen the assumptions a little; for example, if $x=1/2$ and~$n$ is even, 
the contribution from the $l=2$ term in~\Ref{AB-local1} is of order
$O(\varepsilon_{n/2,2}n^{1-\theta})$, which could be large for $\theta<1$.  In order to get
a limit of $f_\theta(x)$ without involving the individual values~$\theta_i$, it is necessary 
to average the point probabilities over an interval of integers around~${\lfloor nx \rfloor}$,
of a length that grows with~$n$, but is itself of magnitude~$o(n)$.




\subsection{The spectrum of small components}

We prove an analogue of the Kublius fundamental lemma \cite{kubilius:64} for
quasi-logarithmic structures, and thus extend results of \ocite{ast:95} and [ABT, Theorem 7.7];
see also the corresponding result of Manstavi\v cius~(2009), proved under different
conditions.

\begin{theorem}\label{kubilius fundamental theorem}
For $a/n \le \alpha_0$, where~$\alpha_0$ is small enough that $\min_{m\ge1}\varepsilon'_5(n,a,m) \le \halfp_{\theta}(1)$,
we have
\begin{equation}\label{kubilius fundamental ineq}
  \bigdtv{{\cal L}{\cn_1,\dotsc,\cn_a}}{{\cal L}{Z_1,\dotsc,Z_a}}
   \ \leq\ \varepsilon_6(n,a) \, ,
\end{equation}
where the order of magnitude of $\varepsilon_6(n,a)$ is given in~\Ref{AB-small-1} below.

If QLC holds, then
\begin{equation*}
   \lim_{n \to \infty} \bigdtv{{\cal L}{\cn_1,\dotsc,\cn_{a_n}}}{{\cal L}{Z_1,\dotsc,Z_{a_n}}} \ =\  0
\end{equation*}
for every non-negative integer sequence $a_n=\lo{n}$.  If QLC2 holds, the convergence
rate is of order $\{(a+1)/n\}^{\eta_5}$ for some~$\eta_5 > 0$.
\end{theorem}

\begin{proof}
The proof is similar to that of [ABT, Theorem~5.2]. We fix an~$n$ with 
the required properties, and we set
$p_k := \pp{T_{a,n}=k}$. Then the conditioning relation entails
\begin{equation}
 \begin{split}
    & \bigdtv{{\cal L}{\cn_1,\dotsc,\cn_a}}{{\cal L}{Z_1,\dotsc,Z_a}}\\
    & \quad \ =\  \sum_{k=1}^n \pp{T_{0,a}=k} \frac{\bigl(\pp{T_{0,n}=n}-p_{n-k}\bigr)^+}{\pp{T_{0,n}=n}}\\
    & \quad \ \le\  \sum_{k =0}^{\lfloor n/2 \rfloor} \sum_{l=0}^{\lfloor n/2 \rfloor} 
         \pp{T_{0,a}=k} \pp{T_{0,a}=l} \frac{\bigl(p_{n-l}-p_{n-k}\bigr)^+}{\pp{T_{0,n}=n}}\\
    & \qquad \mbox{} + \sum_{k =0}^{\lfloor n/2 \rfloor} \sum_{l=\lfloor n/2 \rfloor+1}^n 
         \pp{T_{0,a}=k} \pp{T_{0,a}=l} \frac{p_{n-l}}{\pp{T_{0,n}=n}} 
       + \sum_{k=\lfloor n/2 \rfloor+1}^n \pp{T_{0,a}=k} \, .
\end{split}\label{AB-dtv-1}
\end{equation}
We now separately bound the three terms in~\Ref{AB-dtv-1}. 

The first term is just
\begin{equation}\label{a1 ineq 1}
    \sum_{0\leq k < l\leq n/2} \pp{T_{0,a}=k} \pp{T_{0,a}=l}
      \frac{\bigeuknorm{p_{n-l}-p_{n-k}}}{\pp{T_{0,n}=n}} \, .
\end{equation}
Now, from Theorem~\ref{local dickman approx theorem}, using the bound given in~\Ref{AB-eps5'},
we have
\begin{equation}\label{AB-dtv-2}
   | n p_{n-r} - p_{\theta}(1-r/n) | \ \le\   \varepsilon'_5(n,a,m) \, ,\quad 0 \le r \le n/2,
\end{equation}
so that, in~\Ref{a1 ineq 1},
\[
   n|p_{n-l}-p_{n-k}| \ \le\  |p_{\theta}(1-l/n) - p_{\theta}(1-k/n)| + 2\varepsilon_5'(n,a,m)
     \ \le\  c_1(\theta)n^{-1}|k-l| + 2\varepsilon_5'(n,a,m),
\]
for any choice of~$m$ and for some constant~$c_1(\theta)$.  Since also, from
Theorem~\ref{local dickman approx theorem}, $n\prob[T_{0,n}=n]$ is uniformly
bounded below whenever $\varepsilon_5'(n,a,m) \le \halfp_{\theta}(1)$, it follows that the
first term in~\Ref{AB-dtv-1} is of order 
\begin{equation}\label{AB-dtv-3}
   O\bigl(n^{-1}\ee T_{0,a} +  \min_{m\ge1}\varepsilon_5'(n,a,m)\bigr) 
      \ =\  O\bigl(n^{-1}a + \min_{m\ge1}\varepsilon_5'(n,a,m)\bigr).
\end{equation}

For the second term in~\Ref{AB-dtv-1}, we have two bounds.
First,
\begin{equation*}
  \sum_{l=\lfloor n/2 \rfloor + 1}^n \pp{T_{0,a}=l} \frac{\pp{T_{a,n}=n-l}}{\pp{T_{0,n}=n}} \ \le\ 
     \frac{n \max_{n/2 \le l \le n}\pp{T_{0,a}=l}}{n\pp{T_{0,n}=n}},
\end{equation*}
where the denominator is uniformly bounded below whenever $\varepsilon_5'(n,a,m) \le \halfp_{\theta}(1)$,
and, for $n/2 \le l \le n$ and $a\le n/4$,
\begin{equation}\label{AB-dtv-4}
   n\prob[T_{0,a} = l] \ \le\  2l\prob[T_{0,a}=l] \ \le\  2\theta^* \prob[T_{0,a} \ge n/4] + 2\varepsilon_2(a,0,m) 
     \ \le\  8(\theta^*)^2 (a/n) + 2\varepsilon_2(a,0,m)\,,
\end{equation} 
from~\Ref{AB-1st-bnd}, with the last step following because $\ee T_{0,a} \le a\theta^*$.
The second bound is given by
\begin{equation}\label{AB-dtv-5}
 \begin{split}
   \sum_{l=\lfloor n/2 \rfloor + 1}^n \pp{T_{0,a}=l} \frac{\pp{T_{a,n}=n-l}}{\pp{T_{0,n}=n}}
    & \ \le\  \pp{T_{0,a} \geq n/2} \frac{\sup\nolimits_{j \in {\mathbb Z}_+}\pp{T_{a,n}=j}}{\pp{T_{0,n}=n}}\\
    & \leq \frac{2a \theta^* D^1(T_{a,n})}{n\pp{T_{0,n}=n}} \, ,
 \end{split}
\end{equation}
again using Markov's inequality, and the asymptotically important part is $aD^1(T_{a,n})$.
Thus the second term in~\Ref{AB-dtv-1} is of order
\begin{equation}\label{AB-dtv-6}
   O\bigl(n^{-1}a +  \min\{\min_{m\ge1}\varepsilon_2(a,0,m),aD^1(T_{a,n})\}\bigr).
\end{equation}
Finally, the third term in~\Ref{AB-dtv-1} can be simply bounded from above by
\begin{equation}\label{AB-dtv-7}
   2 n^{-1}{\mathbb E} T_{0,a}  \ \le\  2\theta^*  n^{-1}a \, .
\end{equation}
Combining \Ref{AB-dtv-3}, \Ref{AB-dtv-6} and~\Ref{AB-dtv-7} proves the first part of the theorem,
with
\begin{equation}\label{AB-small-1}
    \varepsilon_6(n,a) \ =\  O\bigl(n^{-1}a + \min_{m\ge1}\varepsilon_5'(n,a,m) 
        + \min\{\min_{m\ge1}\varepsilon_2(a,0,m),aD^1(T_{a,n})\}\bigr).
\end{equation}
The remaining statements follow as usual.
\end{proof}


\subsection{Additive arithmetic semigroups}
We now return to the example given in the Introduction, of a quasi-logarithmic 
combinatorial structure that is not logarithmic.  
In Knopfmacher's~(1979) additive arithmetic semigroups,
the elements of norm~$n$ can be decomposed into prime elements,
with $C_i^{(n)}$ the number having norm~$i$. The joint distribution
of $(C_1^{(n)},\ldots,C_n^{(n)})$ satisfies the conditioning relation, with
$Z_i \sim \nb(p(i),q^{-i})$, so that
\begin{equation*}
    \bigpp{Z_i=k} := \binom{p(i)+k-1}{k}q^{-ik} (1-q^{-i})^n \,,\quad k \in {\mathbb Z}_+,
\end{equation*}
with the convention that $Z_i=0$ if $p(i)=0$.  Here, $p(i)$ denotes the number of
prime elements of norm~$i$, and~$q>1$ enters through the assumption that the number~$g(n)$ of
elements of size~$n$ satisfies
\begin{equation}\label{beurling condition}
    g(n) = q^n \sum_{j=1}^r c_j \: \! n^{\rho_j-1} + \bigbo{q^n n^{-\gamma}} \, ,
\end{equation}
for real numbers $\rho_1<\dotsb < \rho_r$ and $c_1, \dotsc, c_r$, with $\rho_r>0$, $c_r>0$,
and with $\gamma>1$, an analogue of a condition under which \ocite{beurling:37}
examined prime number theorems of so called generalized integers. 
In particular, \ocite{zhang:96}*{Theorem 6.2} shows,
under condition \eqref{beurling condition} with $\gamma>2$, that 
$\theta_i := i\ee Z_i = ip(i)q^{-i}/(1-q^{-i})=\theta'_i+\lo{1}$, where 
$\set{\theta'_i}_{i \in {\mathbb N}}$ 
is the integer skeleton of a sinusoidal mixture function 
\begin{equation}
   \theta'_t := \theta + \sum_{l=1}^L \lambda_l \cos (2 \pi f_l t - \varphi_l) \, , 
      \qquad t \in {\mathbb R} \, ,
\end{equation}
with $\theta:=\rho_r>0$, amplitudes $\lambda_l>0$ such that $\sum_{l=1}^L \lambda_l \leq \theta$, 
 non-integral
frequencies $f_l \in [0,\infty) \setminus {\mathbb Z}_+$ and phases $0 \leq \varphi_l < 2 \pi$.
In many examples, the sum of cosines is empty $(L=0)$, and the structure logarithmic.
When this is the case, the asymptotic behaviour of the small and large components is as
described in the Introduction: see \ocite{abt:05} for these and other results.  
Here, we are interested in establishing asymptotics in the case when $L\ge1$.

First, note that the same sequence~$\theta'_i$, for integral~$i$, is obtained, if each~$f_l$ 
is replaced by its
fractional part $f_l - \lfloor f_l \rfloor$, so that the values of~$f_l$ can be taken to
lie in $(0,1)$; and then that, if~$f_l > 1/2$, it can first be replaced by $f_l - 1$, 
and then by $1 - f_l$ if also $\varphi_l$ is replaced by~$-\varphi_l$, again without changing
the~$\theta'_i$. Hence we may assume that $f_l \in (0,1/2]$ for all~$l$.

Clearly, for $L\ge1$, the sequence~$\theta'_i$ is in general not convergent in the usual sense, but,
in view of the properties of trigonometric functions, 
\[
   \left\{ \sum_{i=i_1+1}^{i_2} \cos(2 \pi f_l t - \varphi_l) \right\} \ \le\  \frac1{\sin \pi f_l},
\]
whatever the values of~$i_1,i_2$, so that ${\d}(m,\th) = O(m^{-1}) \to 0$ as $m \to \infty$; and
$\mu_i = O(q^{-i})$ as $i\to\infty$.  Hence the condition QLC2 is satisfied by these
structures if, for some $r,s$ coprime, $k\in{\mathbb N}$ and $\psi > 0$,
the set $\{i \colon\, \min(\theta_i,\theta_{i+d}) \ge 4\psi\}$ has at least one element in
each $k$-interval $\{jk+1,\ldots,(j+1)k\}$ for all~$j$ sufficiently large and for all
$d \in D := \{r\}\cup\{s2^g,\,g\in{\mathbb Z}_+\}$.

Now, if $\sum_{l=1}^L \lambda_l < \theta$,
all the~$\theta'_i$ are uniformly bounded below by $\psi_1 := \theta - \sum_{l=1}^L \lambda_l > 0$,
and the condition QLC2 is clearly satisfied with any choice of $r,s$ and~$k$ if $\psi := \psi_1/8$,
because then all~$i$ sufficiently large are such that $\theta_i \ge 4\psi$.

If $\sum_{l=1}^L \lambda_l = \theta$, define 
\[
   V_l(i) \ :=\  \min_{n \in {\mathbb Z}}|2 \pi f_l i - \varphi_l - (2n+1)\pi|,
\]
and observe that, if 
\[
    V_l(i) \ \le\  \delta_l \ :=\  \pi\min\{f_l,1-2f_l\},
\]
then $|V_l(i+1)|$ and $|V_l(i+1)|$ are both at least~$\delta_l$. Setting
\[
   L_i \ :=\  \{1\le l\le L\colon\, V_l(i) \ge \delta_l\},
\]
it also follows from the inequality $1 - \cos x \ge c x^2$ in $|x| \le \pi/3$,
with $2c = 1 - \pi^2/108$, that
\[
    \theta'_i \ \ge\ c\sum_{l\in L_i} \lambda_l \delta_l^2 \ =:\ 2\psi_2.
\]
If, for some~$i$, $\theta'_i \le \psi_2$, it follows from the above considerations
that $\theta'_{i+1}$ and $\theta'_{i+2}$ are both at least~$\psi_2$, and hence every
interval of length $k=3$ far enough from the origin contains an index~$i$ 
with $\min(\theta_i,\theta_{i+d}) \ge 4\psi$, if $\psi := \psi_2/8 $, whatever the value of~$d$.  
Thus the condition
QLC2 is then satisfied for any choice of $r,s$ co-prime, provided that $\psi_2 > 0$.

There remains the possibility that $f_l = 1/2$ for all $1\le l\le L$, in which
case~$\psi_2=0$.  If any of the~$\varphi_l$ are not multiples of~$\pi$, the function~$\theta'_i$
is once again uniformly bounded away from~$0$, and the same is true if one is an
even multiple of~$\pi$ and another an odd one.  Hence there are only two cases in which QLC2 is
not satisfied:
\[
   \theta'_t \ :=\  \theta\{1 + \cos(\pi t)\} \quad\mbox{and}\quad \theta'_t \ :=\  \theta\{1 + \cos(\pi (t-1))\}.
\]
In the former case, $\theta'_i > 0$ only for {\it even\/}~$i$, and if $\prob[Z_i = 0] = 1$
for all odd~$i$ then $\dtv{{\cal L}{T_{0,n}}}{{\cal L}{T_{0,n}+1}} = 1$ for all~$n$; hence,
for instance, Theorem~\ref{local dickman approx theorem} cannot be expected to be true.
In the latter case, we can take $D := \{2^{g+1},\,g\ge0\}$, and use Theorem~\ref{AB-extra}
to show that $\dtv{{\cal L}{T_{a,n}}}{{\cal L}{T_{a,n}+1}} = O(\{(a+1)/n\}^\eta)$ for some~$\eta > 0$;
the rest of the argument is then as before.




\section{Technical bounds}
Here we collect some technical results that are needed to smooth out the
irregularities in the sequence of~$\theta_i$'s. Let $\theta>0$, and let
$\set{\theta_i}_{i \in {\mathbb N}}$ be any non-negative sequence. Let 
$\th_* := \sup\nolimits_{i \in {\mathbb N}} \theta_i$ and
$\ths' :=\theta \vee \th_*$. For every $m,n \in {\mathbb N}$ we set
\begin{equation*}
    {\d}(m,\th) := \sup_{j\ge0} 
     \: \Bigeuknorm{\frac{1}{m} \sum_{i=1}^{m} \theta_{j m + i} - \theta} \, .
\end{equation*}

\begin{lemma}\label{technical heart lemma}
Let $\set{y_i}_{i \in {\mathbb N}}$ be a real-valued sequence, and $0 \le l < n$. Then
\begin{eqnarray*}
  && \left| \sum_{i=l+1}^n(\theta_i-\theta)y_i \right| \ \le\  \left\{
      \begin{array}{l}
         (2m\ths' + n{\d}(m,\th))\|y\| + \th_*(nm/8)\|\Delta y\|;\\[1ex]
         2m\ths'\|y\| + {\d}(m,\th)\sum_{i=1}^n|y_i| \\[1ex]
          \qquad\mbox{} + 
         m^{-1}{\th_*} \sum_{l=1}^m \sum_{l'=1}^m \sum_{j=1}^{\lfloor n/m \rfloor - 1}
            |y_{jm+l} - y_{jm+l'}|,
      \end{array} \right.
\end{eqnarray*}
where $\|y\| := \max_{l<i\le n}|y_i|$ and $\|\Delta y\| := \max_{l < i < n}|y_{i+1}-y_i|$.
\end{lemma}

\begin{proof}
For any $0 \le j \le \lfloor n/m \rfloor$, we have
\begin{eqnarray*}
  \left| \sum_{i=jm+1}^{(j+1)m} (\theta_i-\theta)y_i \right|
   &=& \left| \sum_{i=jm+1}^{(j+1)m}\{({\bar \th}^{(j)} - \theta)y_i + (\theta_i-{\bar \th}^{(j)})(y_i - {\bar y}^{(j)})\}\right| \\
   &\le&  
     |\theta-{\bar \th}^{(j)}|\sum_{i=jm+1}^{(j+1)m}|y_i| + \th_* \sum_{i=jm+1}^{(j+1)m} |y_i - {\bar y}^{(j)}|,
\end{eqnarray*}
where ${\bar \th}^{(j)} := m^{-1}\sum_{i=jm+1}^{(j+1)m}\theta_i$ and 
${\bar y}^{(j)} := m^{-1}\sum_{i=jm+1}^{(j+1)m} y_i$.
Note also that 
\[
    \sum_{i=jm+1}^{(j+1)m} |y_i - {\bar y}^{(j)}| \ \le\  \left\{
         \begin{array}{l}
               (m^2/8)\|\Delta y\|;\\[1ex]
               m^{-1}\sum_{l=1}^m \sum_{l'=1}^m |y_{jm+l} - y_{jm+l'}|.
         \end{array} \right.
\]
The lemma now follows by bounding the sum $\sum_{i=l+1}^n(\theta_i-\theta)y_i$ in $m$-blocks.
\end{proof}

\medskip
\begin{lemma}\label{heartlemma}
Let $T$ be an ${\mathbb Z}_+$-valued random variable, and $0 \le l < n$, $m\ge1$. 

{\rm (i)} For every bounded function $g\colon{\mathbb Z}_+ \to {\mathbb R}$, we have
\begin{equation}\label{heartlemma ineq 1}
   \biggeuknorm{\sum_{i=l+1}^n (\theta_i-\theta) {\mathbb E} g(T + i)}
      \ \le\  \supnorm{g} \biggl( 2 \ths' m + n{\d}(m,\th) +
          \frac14 \th_* mn \: \bigdtv{{\cal L}{T}}{{\cal L}{T+1}}  \biggr) \, .
\end{equation}

{\rm (ii)} For every $k \in {\mathbb N}$, we have
\begin{equation*}\label{heart coro ineq 2}
 \biggeuknorm{\sum_{i=l+1}^n(\theta_i-\theta) \pp{T+i=k}}
   \ \le\   {\d}(m,\th) + m\left( 2 \ths'  + \frac16 \th_*  m \right) \bigdtv{{\cal L}{T}}{{\cal L}{T+1}}  \, .
\end{equation*}
\end{lemma}

\begin{proof}
(i) We apply the first inequality in Lemma \ref{technical heart lemma}, 
with $y_i:={\mathbb E} g(T + i)$, noting that $\|\Delta y\| \le 2\bigdtv{{\cal L}{T}}{{\cal L}{T+1}}$. 

\smallskip
(ii) We apply the second inequality in Lemma \ref{technical heart lemma}, 
with $y_i:=\pp{X+i=k}$, and observe that then
\[
    \sup\nolimits_{j \in {\mathbb Z}_+} \pp{T=j} \ \le\  \bigdtv{{\cal L}{T}}{{\cal L}{T+1}},
\]
as for~\Ref{AB-point-bnd}, and that
\[
   \sum_{j=1}^{\lfloor n/m \rfloor - 1} |y_{jm+l} - y_{jm+l'}| \ \le\ 
       |l-l'|\bigdtv{{\cal L}{T}}{{\cal L}{T+1}}.
\]
\end{proof}

\medskip
\begin{lemma}\label{5.3}
If $0 < 2m \le l \le n$ , then 
\begin{equation*}
  \exp\biggeuknorm{\sum_{i=l+1}^n \frac{\theta_i - \theta}{i}}
     \ \le\  \exp\{2m(1+\th_*)/l\} \Bigl(\frac nl \Bigr)^{{\d}(m,\th)} 
      \ \le\  e^{1+\th_*} \Bigl(\frac nl \Bigr)^{{\d}(m,\th)}\,.
\end{equation*}
\end{lemma}

\begin{proof}
Choosing $y_i:=1/i$, the second inequality in Lemma~\ref{technical heart lemma} gives
\begin{eqnarray*}
   \biggeuknorm{\sum_{i=l+1}^n \frac{\theta_i - \theta}{i}}
     &\le& 2\frac ml + {\d}(m,\th)\sum_{i=l+1}^n \frac1i 
       + \th_*\sum_{j=\lfloor l/m \rfloor}^{\lfloor n/m \rfloor - 1} \frac1{j(j+1)} \\
     &\le& 2(1+\th_*)\frac ml + {\d}(m,\th)\sum_{i=l+1}^n \frac1i ,
\end{eqnarray*}
and the lemma follows.
\end{proof}





\begin{bibdiv}
\begin{biblist}

\ignore{
\bib{abt:00}{article}{
      author={Arratia, R.},
      author={Barbour, A.~D.},
      author={Tavar{\'e}, S.},
       title={Limits of logarithmic combinatorial structures},
        date={2000},
     journal={Ann. Probab.},
      volume={28},
      number={4},
       pages={1620\ndash 1644},
}
}

\bib{abt:03}{book}{
      author={Arratia, R.},
      author={Barbour, A.~D.},
      author={Tavar{\'e}, S.},
       title={Logarithmic combinatorial structures: a probabilistic approach},
      series={EMS Monographs in Mathematics},
   publisher={European Mathematical Society (EMS), Z\"urich},
        date={2003},
}

\bib{abt:05}{article}{
      author={Arratia, R.},
      author={Barbour, A.~D.},
      author={Tavar{\'e}, S.},
       title={A probabilistic approach to analytic arithmetic on algebraic
  function fields},
        date={2005},
     journal={Math. Proc. Cambridge Philos. Soc.},
      volume={139},
      number={1},
       pages={1\ndash 26},
}

\bib{ast:95}{article}{
      author={Arratia, R.},
      author={Stark, D.},
      author={Tavar{\'e}, S.},
       title={Total variation asymptotics for {P}oisson process approximations
  of logarithmic combinatorial assemblies},
        date={1995},
     journal={Ann. Probab.},
      volume={23},
      number={3},
       pages={1347\ndash 1388},
}

\bib{bcl:92}{article}{
      author={Barbour, A.~D.},
      author={Chen, L.~H.~Y.},
      author={Loh, W.-L.},
       title={Compound {P}oisson approximation for nonnegative random variables
  via {S}tein's method},
        date={1992},
     journal={Ann. Probab.},
      volume={20},
      number={4},
       pages={1843\ndash 1866},
}

\ignore{
\bib{barbourgranovsky:05}{article}{
      author={Barbour, A.~D.},
      author={Granovsky, B.~L.},
       title={Random combinatorial structures: the convergent case},
        date={2005},
     journal={J. Combin. Theory Ser. A},
      volume={109},
      number={2},
       pages={203\ndash 220},
}
\bib{bhj:92}{book}{
      author={Barbour, A.~D.},
      author={Holst, L.},
      author={Janson, S.},
       title={Poisson approximation},
      series={Oxford Studies in Probability},
   publisher={The Clarendon Press Oxford University Press},
        date={1992},
}
\bib{barbourxia:99}{article}{
      author={Barbour, A.~D.},
      author={Xia, A.},
       title={Poisson perturbations},
        date={1999},
     journal={ESAIM Probab. Statist.},
      volume={3},
       pages={131\ndash 150 (electronic)},
}
}

\bib{beurling:37}{article}{
      author={Beurling, A.},
       title={Analyse de la loi asymptotique de la distribution des nombres
  premiers g\'{e}n\'{e}ralis\'{e}s},
        date={1937},
     journal={Acta Math.},
      volume={68},
       pages={255\ndash 291},
}

\ignore{
\bib{chen:03}{article}{
      author={Chen, W.-M.},
      author={Hwang, H.-K.},
       title={Analysis in distribution of two randomized algorithms for finding
  the maximum in a broadcast communication model},
        date={2003},
     journal={J. Algorithms},
      volume={46},
      number={2},
       pages={140\ndash 177},
}
}

\bib{chulu:06}{article}{
      author={Chung, F.},
      author={Lu, L.},
       title={Concentration inequalities and martinagle inequalities: a survey},
        date={2006},
     journal={Internet Mathematics},
      volume={3},
       pages={79\ndash 127},
}

\bib{dickman:30}{article}{
      author={Dickman, K.},
       title={On the frequency of numbers containing prime factors of a certain
  relative magnitude},
        date={1930},
     journal={Ark. Math. Astr. Fys.},
      volume={22},
      number={10},
       pages={1\ndash 14},
}

\ignore{
\bib{freiman:02}{article}{
      author={Freiman, G.~A.},
      author={Granovsky, B.~L.},
       title={Asymptotic formula for a partition function of reversible
  coagulation-fragmentation processes},
        date={2002},
     journal={Israel J. Math.},
      volume={130},
       pages={259\ndash 279},
}
\bib{hwang:02}{article}{
      author={Hwang, H.-K.},
      author={Tsai, T.-H.},
       title={Quickselect and the {D}ickman function},
        date={2002},
     journal={Combin. Probab. Comput.},
      volume={11},
      number={4},
       pages={353\ndash 371},
}
}

\bib{kingman:77}{article}{
      author={Kingman, J.~F.~C.},
       title={The population structure associated with the {E}wens sampling
  formula},
        date={1977},
     journal={Theoret. Population Biology},
      volume={11},
      number={2},
       pages={274\ndash 283},
}

\bib{knopfmacher:79}{book}{
      author={Knopfmacher, J.},
       title={Analytic arithmetic of algebraic function fields},
      series={Lecture Notes in Pure and Applied Mathematics},
   publisher={Marcel Dekker Inc.},
     address={New York},
        date={1979},
      volume={50},
}

\ignore{
\bib{knopfmacher:01}{book}{
      author={Knopfmacher, J.},
      author={Zhang, W.-B.},
       title={Number theory arising from finite fields},
      series={Monographs and Textbooks in Pure and Applied Mathematics},
   publisher={Marcel Dekker Inc.},
     address={New York},
        date={2001},
      volume={241},
        note={Analytic and probabilistic theory},
}
}

\bib{kubilius:64}{book}{
      author={Kubilius, J.},
       title={Probabilistic methods in the theory of numbers},
      series={Translations of Mathematical Monographs, Vol. 11},
   publisher={American Mathematical Society},
     address={Providence, R.I.},
        date={1964},
}

\ignore{
\bib{kuipers:74}{book}{
      author={Kuipers, L.},
      author={Niederreiter, H.},
       title={Uniform distribution of sequences},
   publisher={Wiley-Interscience [John Wiley \& Sons]},
     address={New York},
        date={1974},
        note={Pure and Applied Mathematics},
}
}

\bib{lindvall:92}{book}{
      author={Lindvall, T.},
       title={Lectures on the coupling method},
   publisher={Dover Publications Inc.},
     address={Mineola, NY},
        date={2002},
}

\bib{manstavicius:09}{article}{
      author={Manstavi\v cius, E.},
       title={Strong convergence on weakly logarithmic combinatorial assemblies},
        date={2009},
     journal={arXiv:0903.1051},
}

\bib{mattnerroos:07}{article}{
      author={Mattner, L.},
      author={Roos, B.},
       title={A shorter proof of Kanter's Bessel function concentration bound},
        date={2007},
     journal={Prob. Theory Rel. Fields},
      volume={139},
       pages={191\ndash 205},
}

\bib{mineka:73}{article}{
      author={Mineka, J.},
       title={A criterion for tail events for sums of independent random
  variables},
        date={1973},
     journal={Z. Wahrscheinlichkeitstheorie und Verw. Gebiete},
      volume={25},
       pages={163\ndash 170},
}

\ignore{
\bib{nietli3:06}{article}{
      author={Nietlispach, B.},
       title={An analogue of the {K}ubilius main theorem for quasi-logarithmic
  structures},
        date={2007},
        note={Submitted.},
}
\bib{nietli2:07}{article}{
      author={Nietlispach, B.},
       title={Asymptotic density in quasi-logarithmic additive number systems},
        date={2007},
     journal={Math. Proc. Cambridge Philos. Soc.},
        note={To appear.},
}
\bib{penrose:04}{article}{
      author={Penrose, M.~D.},
      author={Wade, A.~R.},
       title={Random minimal directed spanning trees and {D}ickman-type
  distributions},
        date={2004},
     journal={Adv. in Appl. Probab.},
      volume={36},
      number={3},
       pages={691\ndash 714},
}
}

\bib{roesler:76}{article}{
      author={R{\"o}sler, U.},
       title={Das 0-1-{G}esetz der terminalen {$\sigma $}-{A}lgebra bei
  {H}arrisirrfahrten},
        date={1977},
     journal={Z. Wahrscheinlichkeitstheorie und Verw. Gebiete},
      volume={37},
      number={3},
       pages={227\ndash 242},
}

\bib{rogers:99}{article}{
      author={Rogers, L.C.G.},
       title={Fastest coupling of random walks},
        date={1999},
     journal={J. London Math. Soc.},
      volume={60},
       pages={630\ndash 640},
}


\ignore{
\bib{stark:97b}{article}{
      author={Stark, D.},
       title={Total variation asymptotics for independent process
  approximations of logarithmic multisets and selections},
        date={1997},
     journal={Random Structures Algorithms},
      volume={11},
      number={1},
       pages={51\ndash 80},
}
\bib{stark:06}{article}{
      author={Stark, D.},
       title={Logical limit laws for logarithmic structures},
        date={2006},
     journal={Math. Proc. Cambridge Philos. Soc.},
      volume={140},
      number={3},
       pages={537\ndash 544},
}
\bib{tenenbaum:95}{book}{
      author={Tenenbaum, G.},
       title={Introduction to analytic and probabilistic number theory},
      series={Cambridge Studies in Advanced Mathematics},
   publisher={Cambridge University Press},
     address={Cambridge},
        date={1995},
      volume={46},
}
}

\bib{vervaat:72}{book}{
      author={Vervaat, W.},
       title={Success epochs in Bernoulli trials with applications in number theory},
      series={Mathematical Centre Tracts},
   publisher={Mathematisch Centrum},
     address={Amsterdam},
        date={1972},
      volume={42},
}

\bib{zhang:96}{article}{
      author={Zhang, W.-B.},
       title={The prime element theorem in additive arithmetic semigroups.
  {I}},
        date={1996},
     journal={Illinois J. Math.},
      volume={40},
      number={2},
       pages={245\ndash 280},
}

\ignore{
\bib{zhangprob:96}{incollection}{
      author={Zhang, W.-B.},
       title={Probabilistic number theory in additive arithmetic semigroups.
  {I}},
        date={1996},
   booktitle={Analytic number theory, vol.\ 2 (allerton park, il, 1995)},
      series={Progr. Math.},
      volume={139},
   publisher={Birkh\"auser Boston},
     address={Boston, MA},
       pages={839\ndash 885},
}
}

\end{biblist}
\end{bibdiv}

\end{document}


