Box-counting fractal strings, zeta functions, and equivalent forms of Minkowski dimension
We discuss a number of techniques for determining the Minkowski dimension of bounded subsets of some Euclidean space of any dimension, including: the box-counting dimension and equivalent definitions based on various box-counting functions; the similarity dimension via the Moran equation (at least in the case of self-similar sets); the order of the (box-)counting function; the classic result on compact subsets of the real line due to Besicovitch and Taylor, as adapted to the theory of fractal strings; and the abscissae of convergence of new classes of zeta functions. Specifically, we define box-counting zeta functions of infinite bounded subsets of Euclidean space and discuss results pertaining to distance and tube zeta functions. Appealing to an analysis of these zeta functions allows for the development of theories of complex dimensions for bounded sets in Euclidean space, extending techniques and results regarding (ordinary) fractal strings obtained by the first author and van Frankenhuijsen.
\section{Introduction}
\label{sec:Introduction}

Motivated by the theory of complex dimensions of fractals strings (the main theme of \cite{LapvF6}), we introduce box-counting fractal strings and box-counting zeta functions which, along with the distance and tube zeta functions of \cite{LapRaZu}, provide possible foundations for the pursuit of theories of complex dimensions for arbitrary bounded sets in Euclidean space of any dimension. We also summarize a variety of well-known techniques for determining the box-counting dimension, or equivalently the Minkowski dimension, of such sets. Thus, while new results are presented in this paper, it is partially expository and also partially tutorial.

Our main result establishes line (iv) of the following theorem. (See also Theorem \ref{thm:MainResult} below, along with the relevant definitions provided in this paper.) The other lines have been established elsewhere in the literature, as cited accordingly throughout the paper.

\begin{theorem}
\label{thm:Summary}
Let $A$ be a bounded infinite subset of $\mathbb{R}^m$ \emph{(}equipped with the usual metric\emph{)}. Then the following quantities are equal\emph{:}\footnote{The fact that $A$ is infinite is only required for part (iv) of the theorem; see Remark \ref{rmk:FiniteBoxCountingFractalString}.}
\begin{enumerate}
\setlength{\itemsep}{0in}
\item the \emph{upper box-counting dimension} of $A$\emph{;}
\item the \emph{upper Minkowski dimension} of $A$\emph{;}
\item the \emph{asymptotic order of growth of the counting function} of the box-counting fractal string $\mathcal{L}_B$\emph{;}
\item the \emph{abscissa of convergence} of the box-counting zeta function $\zeta_B$\emph{;}
\item the \emph{abscissa of convergence} of the distance zeta function $\zeta_d$.
\end{enumerate}
\end{theorem}

A summary of the remaining sections of this paper is as follows:
 
In Section \ref{sec:ClassicNotionsOfDimension}, we discuss classical notions of dimension such as \emph{similarity dimension} (or \emph{exponent}), \emph{box-counting dimension}, and \emph{Minkowski dimension} as well as their properties. (See \cite{BesTa,Falc,HaPo,Hut,LapLuvF1,LapLuvF2,LapPe3,LapPe2,LapPeWin,LapPo1,LapRaZu,
LapvF6,MeSa,Mor,Tr2,Tri,Zu,ZuZup}.)

In Section \ref{sec:FractalStringsAndZetaFunctions}, we summarize but a few of the interesting results on fractal strings and counting functions regarding, among other things, geometric zeta functions, complex dimensions, the order of a counting function, and connections with Minkowski measurability. (See \cite{BesTa,LapPo1,LapvF6,Lev,Tri}.) The material in Sections \ref{sec:ClassicNotionsOfDimension} and \ref{sec:FractalStringsAndZetaFunctions} motivates the results presented in Sections \ref{sec:BoxCountingFractalStringsAndZetaFunctions} and \ref{sec:DistanceAndTubeZetaFunctions}.

In Section \ref{sec:BoxCountingFractalStringsAndZetaFunctions}, we introduce \emph{box-counting fractal strings} and \emph{box-counting zeta functions} and, in particular, we show that the abscissa of convergence of the box-counting zeta function of a bounded infinite set is the upper box-counting dimension of the set. These topics are the focus of \cite{LapRoZu}.

In Section \ref{sec:DistanceAndTubeZetaFunctions}, we share recent results from \cite{LapRaZu} on \emph{distance, tube} and \emph{relative zeta functions}, including connections between the corresponding complex dimensions and Minkowski content and measurability.

In Section \ref{sec:SummaryOfResultsAndOpenProblems}, Theorem \ref{thm:Summary} is restated in Theorem \ref{thm:MainResult} using notation and terminology discussed throughout the paper. We also propose several open problems for future work in this area.


\section{Classic notions of dimension}
\label{sec:ClassicNotionsOfDimension}

We begin with a brief discussion of a classic method for constructing self-similar fractals and a famous fractal, the Cantor set $C$. (See \cite{Falc,Hut}.)

\begin{definition}
\label{def:IFSAndAttractor}
Let $N$ be an integer such that $N \geq 2$. An \emph{iterated function system} (IFS) $\mathbf{\Phi}=\{\Phi_j\}_{j=1}^N$ is a finite family of contractions on a complete metric space $(X,d_X)$. Thus, for all $x,y \in X$ and each $j=1,\ldots,N$ we have 
\begin{align}
d_X(\Phi_j(x),\Phi_j(y))	&\leq r_jd_X(x,y),
\end{align}
where $0<r_j<1$ is the \emph{scaling ratio} (or Lipschitz constant) of $\Phi_j$ for each $j=1,\ldots,N$. 

The \emph{attractor} of $\mathbf{\Phi}$ is the nonempty compact set $F \subset X$ defined as the unique fixed point of the contraction mapping 
\begin{align}
\label{eqn:IFSAsMap}
\displaystyle
\mathbf{\Phi}(\cdot)	&:= \bigcup_{j=1}^N \Phi_j(\cdot)
\end{align}
on the space of compact subsets of $X$ equipped with the Hausdorff metric. That is, $F=\mathbf{\Phi}(F)$. If 
\begin{align}
\label{eqn:IFSSelfSimilar}
d_X(\Phi_j(x),\Phi_j(y)) &= r_jd_X(x,y)
\end{align}
for each $j=1,\ldots,N$ (i.e., if the contraction maps $\Phi_j$ are similarities with scaling ratios $r_j$), then the attractor $F$ is the \emph{self-similar set} associated with $\mathbf{\Phi}$.
\end{definition}

\begin{remark}
\label{rmk:AttentionOnEuclideanSpacesAndOSC}
We focus our attention on Euclidean spaces of the form $X=\mathbb{R}^m$, where $m$ is a positive integer and $d_X=d_m$ is the classic $m$-dimensional Euclidean distance. We  denote $d_m(x,y)$ by $|x-y|$. Furthermore, we consider only iterated functions systems which satisfy the \emph{open set condition} (see \cite{Falc,Hut}). Recall that an IFS $\mathbf{\Phi}$ satisfies the open set condition if there is a nonempty open set $V \subset \mathbb{R}^m$ for which $\Phi_j(V)\subset V$ for each $j$ and the images $\Phi_j(V)$ are pairwise disjoint.
\end{remark}


\begin{figure}
\includegraphics[scale=.5]{cantorstringharp.eps}
\caption{The classic ``middle-third removal'' construction of the Cantor set $C$ is depicted on the left. The Cantor string $\mathcal{L}_{CS}$ is the nonincreasing sequence comprising the lengths of the removed intervals which are depicted on the right as a fractal harp.}
\label{fig:CantorConstructionAndHarp}
\end{figure}

\begin{example}[The dimension of the Cantor set]
The Cantor set $C$ can be constructed in various ways. For instance, we have the classic ``middle-third removal'' construction of $C$ as depicted in Figure 1. 
A more elegant construction shows $C$ to be the unique nonempty attractor of the iterated function system $\mathbf{\Phi}_C$ on $[0,1]$ given by the two contracting similarities $\varphi_1(x)=x/3$ and $\varphi_2(x)=x/3+2/3$. The box-counting dimension of $C$ is $\log_{3}2$, a fact which can be established with any of the myriad of formulas presented in this paper. Notably, $\log_{3}2$ is equivalently found to be: the \emph{order of the geometric counting function} (see Remark \ref{rmk:DimensionEqualsOrder}) of the \emph{box-counting fractal string} $\mathcal{L}_B$ of $C$ (which is related but not equal to the Cantor string $\mathcal{L}_{CS}$, see Definition \ref{def:BoxCountingFractalString}, Equation \eqref{eqn:CantorStringLengths}, and \cite[Ch.1]{LapvF6}); the \emph{abscissa of convergence} of either the \emph{geometric zeta function} of $\mathcal{L}_{CS}$ (Definition \ref{def:GeometricZetaFunction}), the \emph{box-counting zeta function} of $C$ (Definition \ref{def:BoxCountingZetaFunction}), the \emph{distance zeta function} of $C$ (Definition \ref{def:DistanceZetaFunction}), or the \emph{tube zeta function} of $C$ (Equation \eqref{tube_zeta} in Section \ref{sec:TubeZetaFunction}); or else the unique real-valued solution of the corresponding Moran equation (cf. Equation \eqref{eqn:Moran}):  $2\cdot3^{-s}=1$.
\end{example}


\subsection{Similarity dimension}
\label{sec:SimilarityDimension}

The first notion of `dimension' we consider is the similarity dimension (or `similarity exponent') of a self-similar set.

\begin{definition}
\label{def:SimilarityDimension}
Let $\mathbf{\Phi}$ be an iterated function system that satisfies the open set condition and is generated by similarities with scaling ratios $\{r_j\}_{j=1}^N$, with $N \geq 2$. Then the \emph{similarity dimension} of the attractor of $\mathbf{\Phi}$ (that is, of the self-similar set associated with $\mathbf{\Phi}$) is the unique real solution $D_\mathbf{\Phi}$ of the equation  
\begin{align}
\label{eqn:Moran}
\sum_{j=1}^N r_j^\sigma	&= 1, \quad \sigma \in \mathbb{R}.
\end{align}
\end{definition}

\begin{remark}
\label{rmk:MoransTheorem}
Equation \eqref{eqn:Moran} is known as Moran's equation. Moran's Theorem is a well-known result which states that the similarity dimension $D_\mathbf{\Phi}$ is equal to the box-counting (and Hausdorff) dimension of the self-similar attractor of $\mathbf{\Phi}$.\footnote{Moran's original result in \cite{Mor} was established in $\mathbb{R}$ (i.e., for $m=1$) but is valid for $m\geq 1$; cf. \cite{Falc,Hut}.} In fact, $D_\mathbf{\Phi}$ is positive, a fact that can be verified directly from Equation \eqref{eqn:Moran}. For details regarding iterated functions systems, the open set condition, and Moran's Theorem, see \cite[Ch.9]{Falc} as well as \cite{Hut} and \cite{Mor}.
\end{remark}


\subsection{Box-counting dimension}
\label{sec:BoxCountingDimension}

In this section we discuss the central notion of box-counting dimension and some of its properties.

\begin{definition}
\label{def:BoxCountingFunction}
Let $A$ be a subset of $\mathbb{R}^m$. The \emph{box-counting function} of $A$ is the function $N_B(A,\cdot): (0,\infty) \rightarrow \mathbb{N} \cup \{0\}$, where (for a given $x>0$) $N_B(A,x)$ denotes the maximum number of disjoint closed balls $B(a,x^{-1})$ with centers $a \in A$ of radius $x^{-1}$.
\end{definition}

\begin{definition}
\label{def:BoxCountingDimension}
For a set $A \subset \mathbb{R}^m$, the \emph{lower} and \emph{upper box-counting dimensions} of $A$, denoted $\underline{\dim}_{B}A$ and $\overline{\dim}_{B}A$, respectively, are given by
\begin{equation}
\begin{aligned}
\underline{\dim}_{B}A&:= \liminf_{x\to\infty}\frac{\log N_B(A,x)}{\log x}, \label{eqn:UpperBoxDimension}\\
\overline{\dim}_{B}A&:= \limsup_{x\to\infty}\frac{\log N_B(A,x)}{\log x}. 
\end{aligned}
\end{equation}



When $\underline{\dim}_{B}A=\overline{\dim}_{B}A$, the following limit exists and is called the \emph{box-counting dimension} of $A$, denoted $\dim_{B}A$:
\begin{align*}
\dim_{B}A	&:= \lim_{x\to\infty}\frac{\log N_B(A,x)}{\log x}.
\end{align*}
\end{definition}

\begin{remark}
\label{rmk:EquivalentUpperBoxDimension}
The upper and lower box-counting dimensions are independent of the ambient dimension $m$. In most applications the set $A$ is such that $N_B(A,x) \asymp x^d$ as $x\to\infty$, for some constant $d \in [0,m]$ (the relation $\asymp$ is explained at the end of Notation \ref{not:DistanceVolumeAndBigO} below). It is easy to see that then, $\dim_{B}A=d$. Also, the following equivalent form of the upper box-counting dimension will prove to be useful in Section \ref{sec:BoxCountingFractalStringsAndZetaFunctions} (see Notation \ref{not:DistanceVolumeAndBigO} below for an explanation of `Big-$O$' notation: $f(x)=O(g(x))$ as $x \rightarrow \infty$).
\begin{align*}
\overline{\dim}_{B}A	&=\inf\{\alpha \geq 0 : N_B(A,x)=O(x^{\alpha}) \textnormal{ as } x \rightarrow \infty\}.
\end{align*}
\end{remark}

\begin{remark}
\label{rmk:VariousCountingFunctions} 
There are many equivalent definitions of the box-counting dimension (see \cite[Ch.3]{Falc}). For instance, the box-counting function $N_B(A,x)$ given in Definition \ref{def:BoxCountingFunction} may be replaced by:
\begin{enumerate}
\setlength{\itemsep}{0in}
\item the minimum number of sets of diameter at most $x^{-1}$ required to cover $A$;
\item the minimum number of closed balls of radius $x^{-1}$ required to cover $A$;
\item the minimum number of closed cubes with side length $x^{-1}$ required to cover $A$; or
\item the number of $x^{-1}$-mesh cubes that intersect $A$.
\end{enumerate}
\end{remark}

\begin{remark}
\label{rmk:varepsilonVSx}
One may also define the box-counting function in terms of $\varepsilon>0$, where $\varepsilon=x^{-1}$ plays the role of the scale under consideration.\footnote{Indeed, note that given $\varepsilon>0$, $N_B(A,\varepsilon^{-1})$ is the maximum number of disjoint balls $B(a,\varepsilon)$ with center $a \in A$ and radius $\varepsilon$ (or, \emph{mutatis mutandis}, $\varepsilon$ denotes any of the counterparts to the notion of radius given in (i)--(iv) of Remark \ref{rmk:VariousCountingFunctions}).} Although this may be a more natural way to describe a box-counting function, the results relating box-counting functions and \emph{geometric counting functions} (see Definition \ref{def:GeometricCountingFunction}) presented in Section \ref{sec:BoxCountingFractalStringsAndZetaFunctions} are stated and analyzed in terms of $x>0$. Moreover, this convention is used throughout \cite{LapvF6} and that text will be vital to the development of further material based on the results presented in this paper.
\end{remark}

\begin{remark}
\label{rmk:PropertiesBoxCountingDimension}
If the box-counting function $N_B(A,x)$ is given as in Definition \ref{def:BoxCountingFunction} or one of the alternatives in Remark \ref{rmk:VariousCountingFunctions}, then the upper and lower box-counting dimensions have the following properties (cf. \cite[Ch.~3]{Falc} and \cite{Fdrr}):
\begin{enumerate}
\setlength{\itemsep}{0in}
\item Let $V$ be a bounded $n$-dimensional submanifold of $\mathbb{R}^m$ which is \emph{rectifiable} in the sense that $V \subset f(\mathbb{R}^n)$, where $f:\mathbb{R}^n\to\mathbb{R}^m$ is a Lipschitz function. Then $\dim_{B}V=n$.
\item Both $\overline{\dim}_B$ and $\underline{\dim}_B$ are monotonic. That is, if $A_1 \subset A_2 \subset \mathbb{R}^m$, then
	\begin{align*}

	\overline{\dim}_{B}A_1 &\leq \overline{\dim}_{B}A_2, \quad 			 \underline{\dim}_{B}A_1 \leq \underline{\dim}_{B}A_2.
	\end{align*}

\item Let $\overline{A}$ denote the closure of $A$ (i.e., the smallest closed subset of $\mathbb{R}^m$ which contains $A$). Then 
	\begin{align*}

	\overline{\dim}_{B}\overline{A}	&= \overline{\dim}_{B}A, \quad
	\underline{\dim}_{B}\overline{A} = \underline{\dim}_{B}A.
	\end{align*}
\item  For any two sets $A_1,A_2 \subset \mathbb{R}^m$,
	\begin{align*}

	\overline{\dim}_{B}(A_1 \cup A_2)&= \max\left\{\overline{\dim}_{B}A_1,\overline{\dim}_{B}A_2\right\}.  
	\end{align*} That is, $\overline{\dim}_B$ is finitely stable. On the other hand, $\underline{\dim}_B$ is not finitely stable. 
\item Neither $\overline{\dim}_B$ nor $\underline{\dim}_B$ is countably stable. That is, neither $\overline{\dim}_B$ nor $\underline{\dim}_B$ satisfies the analogue of property (iv) for a countable collection of subsets of $\mathbb{R}^m$. 	
\end{enumerate}
\end{remark}

Concerning the loss of finite stability of the lower box dimension mentioned in
(iv) of Remark \ref{rmk:PropertiesBoxCountingDimension}, it is possible to construct two bounded sets $A$ and $B$ in $\mathbb{R}^m$ such that their lower box-counting dimensions are both equal to zero, while the box-counting dimension of their union is equal to $m$; see \cite[Theorem 1.4]{Zu}.

A simple way to see why property (v) of Remark \ref{rmk:PropertiesBoxCountingDimension} is satisfied for the upper box-counting dimension is to consider the countable set $A=\{1,1/2,1/3,\ldots\}$ and note that $\overline{\dim}_{B}A=1/2$ whereas $\overline{\dim}_{B}\{1/j\}=0$ for each positive integer $j$.

The following proposition shows that one need only consider certain discrete sequences of scales which tend to zero in order to determine the box-counting dimension of a set.

\begin{proposition}
\label{prop:GeometricSequenceSufficient}
Let $\lambda>1$ and $A \subset \mathbb{R}^m$. Then
\begin{align*}
\underline{\dim}_{B}A	&=\liminf_{k \rightarrow \infty}\frac{\log N_B(A,\lambda^{k})}{\log\lambda^{k}}, \\
\overline{\dim}_{B}A	&=\limsup_{k \rightarrow \infty}\frac{\log N_B(A,\lambda^{k})}{\log\lambda^{k}}.
\end{align*}
\end{proposition}

\begin{proof}
If $\lambda^{k}< x \leq\lambda^{k+1}$, then
\begin{align*}
\frac{\log N_B(A,x)}{\log x} &\leq  
\frac{\log N_B(A,\lambda^{k+1})}{\log\lambda^{k}} = 
\frac{\log N_B(A,\lambda^{k+1})}{\log\lambda^{k+1}-\log\lambda}.
\end{align*}
Therefore, 
\begin{align*}
\limsup_{x\to\infty}\frac{\log N_B(A, x)}{\log  x}	& \leq \limsup_{k \rightarrow \infty}\frac{\log N_B(A,\lambda^{k})}{\log\lambda^{k}}.
\end{align*}
The opposite inequality clearly holds and the case for the lower limits follows \emph{mutatis mutandis}.
\end{proof}

\begin{example}[Box-counting dimension of the Cantor set]
\label{eg:BoxCountingDimensionOfCantorSet}
Let $C$ be the Cantor set and $n \in \mathbb{N}$. Also, let $N_B(A,3^n)$ denote the minimum number of disjoint closed intervals with length $3^{-n}$ required to cover $C$. Then
$N_B(A,3^n)=2^n$, so by Proposition \ref{prop:GeometricSequenceSufficient} we have
\begin{align}
\label{eqn:BoxCountingDimensionOfCantorSet}
\dim_{B}C	&= \lim_{n\rightarrow\infty} \frac{\log{2^n}}{\log{3^n}}=\log_{3}2.
\end{align}
\end{example}

In the next section, we discuss the Minkowski dimension, which is well known to be equivalent to the box-counting dimension.


\subsection{Minkowski dimension}
\label{sec:MinkowskiDimension}

Minkowski content and Minkowski dimension require a specific notion of volume and can be stated concisely with the following notation.

\begin{notation}[Distance, volume, and Big-$O$]
\label{not:DistanceVolumeAndBigO}
Let $\varepsilon >0$ and $A \subset \mathbb{R}^m$. Let $d(x,A)$ denote the distance between a point $x\in\mathbb{R}^m$ and the set $A$ given by
\begin{align*}
d(x,A)	&:= \inf\{|x-u|_m : u \in A\},
\end{align*}
where $|\cdot|_m$ denotes the $m$-dimensional Euclidean norm. The \emph{$\varepsilon$-neighborhood} of $A$, denoted $A_\varepsilon$, is the set of points in $\mathbb{R}^m$ which are within $\varepsilon$ of $A$. Specifically,
\begin{align*}
A_\varepsilon	&= \{x \in \mathbb{R}^m: d(x,A) < \varepsilon\}.
\end{align*}

In the sequel, we fix the set $A$ and are concerned with the $m$-dimensional Lebesgue measure (denoted $\textnormal{vol}_m$) of its $\varepsilon$-neighborhood $A_\varepsilon$ for a given $\varepsilon>0$. Recall, for completeness,\footnote{The book \cite{Cohn} is a good general reference on elementary (as well as more advanced) measure theory.} that the $m$-dimensional Lebesgue measure of a (measurable) set $A \subset \mathbb{R}^m$ is given by 
\begin{align*}
\textnormal{vol}_m(A)	&:=\inf\left\{\sum_{n=1}^\infty \prod_{j=1}^m(b_{n,j}-a_{n,j}) : A \subset \bigcup_{n=1}^\infty \left(\prod_{j=1}^m[a_{n,j},b_{n,j}]\right) \right\}.
\end{align*}

In the case of an \emph{ordinary fractal string} $\Omega \subset \mathbb{R}$ (see the latter part of Definition \ref{def:FractalString}), we are interested in the 1-dimensional volume (i.e., length) of the  \emph{inner} $\varepsilon$-neighborhood of the boundary $\partial\Omega$. Specifically, given an ordinary fractal string $\Omega$ and $\varepsilon>0$, the volume $V_{\textnormal{inner}}(\varepsilon)$ of the inner $\varepsilon$-neighborhood of $\partial\Omega$ is defined by 
\begin{align}
\label{eqn:VolumeInnerNeighborhood}
V_{\textnormal{inner}}(\varepsilon)	&:=\textnormal{vol}_1\{x \in \Omega : d(x,\partial\Omega) <\varepsilon\}.
\end{align}

For two functions $f$ and $g$, with $g$ nonnegative, we write $f(x)=O(g(x))$ as $x\to\infty$ if there exists a positive real number $c$ such that for all sufficiently large $x$, $|f(x)|\leq cg(x)$. More generally, if there exists $C$ such that $|f(x)|\leq Cg(x)$ for all $x$ sufficiently close to some value $a \in \mathbb{R}\cup \{\pm\infty\}$, then we write $f(x)=O(g(x))$ as $x\to a$. If both $f(x)=O(g(x))$ and $g(x)=O(|f(x)|)$ as $x\to a$, we write $f(x)\asymp g(x)$ as $x\to a$. Moreover, if $\lim_{x\to a} f(x)/g(x)=1$,\footnote{Or, more generally, if $f(x)=g(x)(1+o(1))$ as $x\to a$, where $o(1)$ stands for a function tending to zero as $x\to a$.} then we write $f(x) \sim g(x)$ as $x\to a$. Analogous notation will be used for infinite sequences.
\end{notation}

\begin{definition}[Minkowski content]
\label{def:MinkowskiContent0}
Let $r$ be a given nonnegative real number. The \emph{upper} and \emph{lower $r$-dimensional Minkowski contents} of a bounded set $A\subset \mathbb{R}^m$ are respectively given by
\begin{align*}
\mathscr{M}^{*r}(A) &:= \limsup_{\varepsilon\rightarrow 0^+}\frac{\textnormal{vol}_m(A_\varepsilon)}{\varepsilon^{m-r}},\\
\mathscr{M}_*^{r}(A) &:= \liminf_{\varepsilon\rightarrow 0^+}\frac{\textnormal{vol}_m(A_\varepsilon)}{\varepsilon^{m-r}}.
\end{align*}
\end{definition}

It is easy to see that if $\mathscr{M}^{*r}(A)<\infty$, then $\mathscr{M}^{*s}(A)=0$ for each $s>r$. Furthermore, since $A$ is bounded, then clearly $\mathscr{M}^{*r}(A)=0$ for $r>m$. On the other hand, if $\mathscr{M}^{*r}(A)>0$, then $\mathscr{M}^{*s}(A)=\infty$ for each $s<r$. Therefore, there exists a unique point in $[0,m]$ at which the function $r\mapsto \mathscr{M}^{*r}(A)$ jumps from the value of $\infty$ to zero. This unique point is called the \emph{upper Minkowski dimension} of $A$. The \emph{lower Minkowski dimension} of $A$ is defined analogously by using the lower $r$-dimensional Minkowski content.

\begin{definition}[Minkowski dimension]
\label{def:MinkowskiDimension0}
The \emph{upper} and \emph{lower Minkowski dimensions} of a bounded set $A$  are defined respectively by
\begin{equation}
\begin{aligned}
\overline{\dim}_{M}A 	&:=\inf\{r\ge0:\mathscr{M}^{r*}(A)=0\}=\sup\{r\ge0:\mathscr{M}^{r*}(A)=\infty\}, \label{eqn:UpperMinkowskiDimension}\\
\underline{\dim}_{M}A 	&:= \inf\{r\ge0:\mathscr{M}_*^{r}(A)=0\}=\sup\{r\ge0:\mathscr{M}_*^{r}(A)=\infty\}.
\end{aligned}
\end{equation}
When $\overline{\dim}_{M}A=\underline{\dim}_{M}A$, the common value is called the \emph{Minkowski dimension} of $A$, denoted by $\dim_{M}A$.
\end{definition}

When we write $\dim_{M}A$, we implicitly assume that the Minkowski dimension of $A$  exists. In most applications we have that $\textnormal{vol}_m(A_\varepsilon)\asymp\varepsilon^{\alpha}$ as $\varepsilon\to0^+$, where $\alpha$ is a number in $[0,m]$. Then $\dim_{M}A$ exists and is equal to $m-\alpha$ (in light of Definitions \ref{def:MinkowskiContent0} and \ref{def:MinkowskiDimension0}). Note that here 
\begin{equation*}
\alpha=\lim_{\varepsilon\to0^+}\frac{\log\textnormal{vol}_m(A_\varepsilon)}{\log\varepsilon},
\end{equation*}
and hence, 
\begin{equation*}
\dim_{M}A=m-\lim_{\varepsilon\to0^+}\frac{\log\textnormal{vol}_m(A_\varepsilon)}{\log\varepsilon}.
\end{equation*}
It is not difficult to show that the following more general result holds.

\begin{proposition}
\label{prop:MinkowskiDimension}
The upper and lower Minkowski dimensions of a bounded set $A\subset \mathbb{R}^m$ are respectively given by
\begin{align*}
\overline{\dim}_{M}A &= m-\liminf_{\varepsilon \rightarrow 0^+}\frac{\log\textnormal{vol}_m(A_\varepsilon)}{\log\varepsilon},\\
\underline{\dim}_{M}A &= m-\limsup_{\varepsilon \rightarrow 0^+}\frac{\log\textnormal{vol}_m(A_\varepsilon)}{\log\varepsilon}.
\end{align*}
\end{proposition}

\begin{remark}
\label{rmk:EquivalentUpperMinkoskiDimension}
The upper and lower Minkowski dimensions are, of course, independent of the ambient dimension $m$. The upper Minkowski dimension is equivalently given by
\begin{align*}
\overline{\dim}_{M}A	&=\inf\{\alpha \geq 0 : \textnormal{vol}_m(A_\varepsilon)=O(\varepsilon^{m-\alpha}) \textnormal{ as } \varepsilon \rightarrow 0^+\}.
\end{align*}
\end{remark}

\begin{remark}
\label{rmk:Tr2}
It is interesting that there exists a bounded set $A$ in $\mathbb{R}^m$ such that the upper and lower box dimension are different (see, e.g., \cite[p.\ 122]{Tr2}), and even such that $\overline{\dim}_{M}A=m$ and $\underline{\dim}_{M}A=0$ (see \cite[Theorem 1.2]{Zu}).
\end{remark}

\begin{remark}
\label{rmk:HaPo}
The upper Minkowski dimension of $A$ is important in the study of the Lebesgue integrability of the distance function $d(x,A)^{-\gamma}$ in an $\varepsilon$-neighborhood of $A$, where $\varepsilon$ is a fixed positive number:
\begin{equation}
\mbox{If $\gamma<m-\overline\dim_{M}A$, then $\int_{A_{\varepsilon}}d(x,A)^{-\gamma}dx<\infty$.}
\end{equation} 
This nice result is due to Harvey and Polking, and is implicitly stated in \cite{HaPo}; see also \cite{Zu} for related results and references. This fact enabled the first and third authors, along with G.~Radunovi$\acute{\textnormal{c}}$, to determine the abscissa of convergence of the so-called distance zeta function of $A$; see Definition~\ref{def:DistanceZetaFunction} below along with Theorem \ref{thm:DistanceZetaFunctionUpperBoxDimension} and \cite{LapRaZu} for details.
\end{remark}

\begin{definition}[Minkowski measurability]
\label{def:MinkowskiMeasurability}
Let $A \subset \mathbb{R}^m$ be such that $D_M=\dim_{M}A$ exists. The \emph{upper} and \emph{lower Minkowski content} of $A$ are respectively defined as its $D_M$-dimensional upper 
and lower Minkowski contents, that is,
\begin{align*}
\mathscr{M}^* &:=\mathscr{M}^{*D_M}(A)=\limsup_{\varepsilon\to 0^+} \frac{\textnormal{vol}_m(A_\varepsilon)}{\varepsilon^{m-D_M}},\\
\mathscr{M}_* &:=\mathscr{M}_*^{D_M}(A)=\liminf_{\varepsilon\to 0^+} \frac{\textnormal{vol}_m(A_\varepsilon)}{\varepsilon^{m-D_M}}.
\end{align*} 
If the upper and lower Minkowski contents agree and lie in $(0,\infty)$, then $A$ is said to be \emph{Minkowski measurable} and the \emph{Minkowski content of $A$} is given by
\begin{align*}
\mathscr{M} &:=\lim_{\varepsilon\to 0^+}\frac{\textnormal{vol}_m(A_\varepsilon)}{\varepsilon^{m-D_M}}.
\end{align*} 
\end{definition}

For example, if $A$ is such that $\textnormal{vol}_m(A_\varepsilon) \sim M\varepsilon^{\alpha}$ as $\varepsilon \to 0^+$, then $\dim_{B}A=m-\alpha$ and $\mathscr{M}=M$.

\begin{openproblem}
If $A$ and $B$ are Minkowski measurable in
$\mathbf{R}^m$ and $\mathbf{R}^n$, respectively, is their Cartesian product $A\times B$ Minkowski measurable in $\mathbf{R}^{m+n}$\emph{?} See also Remark \ref{rmk:Resman} below dealing with the so-called normalized Minkowski content, and its independence of the ambient dimension~$m$. 
\end{openproblem}

\begin{remark}
Another question to consider is whether or not the union $A\cup B$ of two Minkowski measurable sets is Minkowski measurable. If not, it would be interesting to find an explicit counter-example. (The answer is clearly affirmative if $A$ and $B$ are a positive distance apart.)
\end{remark}


The Minkowski measurable sets on the real line have been characterized in \cite{LapPo1}; see also Theorem~\ref{thm:CriterionForMinkowskiMeasurability}. Some classes of Minkowski measurable sets are known in the plane in the case of smooth spirals, see \cite{ZuZup}, and in the case of discrete spirals, see \cite{MeSa}. It is interesting that in general, bilipschitz $C^1$ mappings do not preserve Minkowski measurability, even for subsets of the real line; see \cite{MeSa}.

We close this section with the following example.


\begin{example}
If $A$ is any bounded set in $\mathbb{R}^m$ such that its closure is of positive $m$-dimensional Lebesgue measure, then $\dim_BA = m$. Indeed, $\textnormal{vol}_m(\overline{A}) > 0$ immediately implies that $\underline{\dim}_B\overline{A} = m$, and therefore by property (iii) of Remark \ref{rmk:PropertiesBoxCountingDimension}, $\underline{\dim}_BA = m$. Since $\overline{\dim}_BA \leq m$, this proves that $\dim_BA$ exists and $\dim_BA = m$. In particular, the claim holds for any Lebesgue nonmeasurable set $A\subset\mathbb{R}^m$. Indeed, the closure of such a set $A$ cannot be of Lebesgue measure zero (i.e., we cannot have $\textnormal{vol}_m(\overline{A}) = 0$) since, in that case, $A$ would also be of Lebesgue measure zero, implying that $A$ is Lebesgue measurable (because Lebesgue measure is complete in this setting).\footnote{For the notions of measure theory used in this example, we refer, e.g., to \cite{Cohn}.}
\end{example}


\section{Fractal strings and zeta functions}
\label{sec:FractalStringsAndZetaFunctions}

In this section, we discuss a few of the many results on fractal strings presented in \cite{LapvF6}.


\subsection{Fractal strings and ordinary fractal strings}
\label{sec:FractalStringsAndOrdinaryFractalStrings}

\begin{definition}
\label{def:FractalString} 
A \emph{fractal string} $\mathcal{L}$ is a nonincreasing sequence of positive real numbers which tends to zero. Hence,
\begin{align*}
\mathcal{L} &= (\ell_j)_{j \in \mathbb{N}}, 
\end{align*}
where $(\ell_j)_{j\in\mathbb{N}}$ is nonincreasing and $\lim_{j \rightarrow \infty}\ell_j=0$. Equivalently, a fractal string $\mathcal{L}$ can be thought of as the collection 
\[
\{ l_n : l_n \textnormal{ has multiplicity } m_n, n \in \mathbb{N} \},
\] 
where $(l_n)_{n \in \mathbb{N}}$ is a strictly decreasing sequence of positive real numbers and, for each $n\in\mathbb{N}$, $m_n$ is the number of lengths (or, more generally, `scales') $\ell_j$ such that $\ell_j=l_n$. 

An \emph{ordinary fractal string} $\Omega$ is a bounded open subset of the real line. In that case, we can write $\Omega$ as the disjoint union of its connected components $I_j$ (i.e., $\Omega=\cup_{j=1}^\infty I_j$), and for each $j\geq 1$, $\ell_j$ denotes the length of the interval $I_j$ (i.e., $\ell_j=|I_j|_1$).\footnote{Note that without loss of generality, we may assume that $\ell_1\geq\ell_2\geq\ldots$, with $\ell_j\to 0$ as $j\to \infty$. We ignore the trivial case where $\Omega$ is a finite union of open intervals; see Remark \ref{rmk:FiniteFractalStrings}.}  
\end{definition}



\begin{remark}
\label{rmk:FiniteFractalStrings}
In \cite{LapvF6}, for instance, finite fractal strings (i.e., nonincreasing sequences of real numbers with a finite number of positive terms) are allowed. However, for reasons described in Remark \ref{rmk:AbscissaForFiniteSequences}, the finite case is not considered in this paper.
\end{remark}

If, as in Definition \ref{def:FractalString} above, an ordinary fractal string $\Omega$ is written as the union of a countably infinite collection of disjoint open intervals $I_j$ (necessarily its connected components), then the lengths $\ell_j$ of the intervals $I_j$ comprise a fractal string $\mathcal{L}$. Moreover, $\dim_M(\partial\Omega)$ is given by
\begin{align} 
\label{eqn:OrdinaryFractalStringMinkowski} \dim_M(\partial\Omega)	&= \inf\{\alpha\geq 0 : V_{\textnormal{inner}}(\varepsilon)= O(\varepsilon^{1-\alpha}) \textnormal{ as } \varepsilon \to 0^+\},
\end{align}
where $V_{\textnormal{inner}}(\varepsilon)$ is the $1$-dimensional Lebesgue measure of the inner $\varepsilon$-neighborhood of $\Omega$ (see formula  \eqref{eqn:VolumeInnerNeighborhood} in Notation \ref{not:DistanceVolumeAndBigO}). In fact, Equation \eqref{eqn:OrdinaryFractalStringMinkowski} is used to define the \emph{Minkowski dimension} of (the boundary of) an ordinary fractal string in \cite{LapvF6}.\footnote{More specifically, $\dim_M(\partial\Omega)$ should really be denoted by $\dim_{M,\textnormal{inner}}(\partial\Omega)$ and called the \emph{inner Minkowski dimension} of $\partial\Omega$ (or of $\mathcal{L}$).} Moreover, it is shown in \cite{LapPo1} that $V_{\textnormal{inner}}(\varepsilon)$, and hence also $\dim_M(\partial\Omega)$, depends only on the fractal string $\mathcal{L}$ (but not on the particular rearrangement of the intervals $I_j$ composing $\Omega$).

\begin{definition}
\label{def:AbscissaOfConvergence}
Let $\mathcal{L}$ be a fractal string. The \emph{abscissa of convergence} of the Dirichlet series $\sum_{j=1}^\infty\ell_j^s$ is defined by
\begin{align}
\label{eqn:AbscissaOfConvergence}
\sigma	&=\inf \left\{ \alpha \in \mathbb{R} : \sum_{j=1}^\infty\ell_j^\alpha<\infty \right\}.
\end{align}
Thus, $\{ s \in \mathbb{C} : \textnormal{Re}(s)>\sigma \}$ is the largest open half-plane on which this series converges; see, e.g., \cite[\S VI.2]{Ser}.
\end{definition}

\begin{remark}
\label{rmk:AbscissaForFiniteSequences}
If $\mathcal{L}$ were allowed to be a finite sequence of positive real numbers (as in \cite{LapvF6}), then we would have $\sigma=-\infty$ since the corresponding Dirichlet series would be an entire function. In the context of this paper, we always have that $\sigma\geq 0$ (since $\sum_{j=1}^\infty \ell_j^\alpha$ is clearly divergent when $\alpha=0$). This explains why we consider only (bounded) infinite sets in the development of \emph{box-counting fractal strings} in Section \ref{sec:BoxCountingFractalStringsAndZetaFunctions}. Indeed, for clarity of exposition, we only consider fractal strings consisting of infinitely many positive lengths (or scales), and hence, ordinary fractal strings comprising infinitely many disjoint intervals. 
\end{remark}

\begin{remark}
\label{rmk:ConvergenceAndDivergence}
A key distinction between a fractal string $\mathcal{L}$ and an ordinary fractal string $\Omega$ lies in the sum of the corresponding lengths (or scales), denoted $(\ell_j)_{j\in\mathbb{N}}$ in either case. Specifically, since an ordinary fractal string $\Omega$ is bounded, $\sum_{j=1}^\infty \ell_j$ is necessarily convergent. On the other hand, for a fractal string $\mathcal{L}$, $\sum_{j=1}^\infty \ell_j$ may be divergent. See Example \ref{eg:BoxCountingFractalStringOf1DFractal} for a bounded set in $\mathbb{R}^2$ whose \emph{box-counting fractal string} is a fractal string whose lengths have an unbounded sum and yet contains pertinent information regarding the bounded set. (In a somewhat different setting, many other classes of examples are provided in \cite[esp. \S 13.1 \& \S 13.3]{LapvF6} and in \cite{LapPe2,LapPeWin}.)
\end{remark}

\begin{definition}
\label{def:GeometricZetaFunction}
Let $\mathcal{L}$ be a fractal string. The \emph{geometric zeta function} of $\mathcal{L}$ is defined by 
\begin{align}
\label{eqn:GeometricZetaFunction}
\zeta_\mathcal{L}(s)	&= \sum_{j=1}^\infty\ell_j^s,
\end{align}
where $s \in \mathbb{C}$ and  $\textnormal{Re}(s)>D_\mathcal{L}:=\sigma$. The \emph{dimension} of $\mathcal{L}$, denoted $D_\mathcal{L}$, is defined as the abscissa of convergence $\sigma$ of the Dirichlet series which defines $\zeta_\mathcal{L}$.
\end{definition}

In order to define the complex dimensions of a fractal string, as in \cite{LapvF6}, we assume there exists a meromorphic extension of the geometric zeta function $\zeta_\mathcal{L}$ to a suitable region. First, consider the \emph{screen} $S$ as the contour 
\begin{align}
\label{eqn:Screen}
S:S(t)+it \quad &(t \in \mathbb{R}),
\end{align}
where $S(t)$ is a continuous function $S:\mathbb{R} \to [-\infty,D_\mathcal{L}]$. Next, consider the \emph{window} $W$ as the set 
\begin{align}
\label{eqn:Window}
W	&= \{s \in \mathbb{C} : \textnormal{Re}(s) \geq S(\textnormal{Im}(s))\}.
\end{align}

By a mild abuse of notation, we denote by $\zeta_\mathcal{L}$ both the geometric zeta function of $\mathcal{L}$ and its meromorphic extension to some region. 

\begin{definition}
\label{def:ComplexDimensions}
Let $W \subset \mathbb{C}$ be a window on an open connected neighborhood of which $\zeta_\mathcal{L}$ has a meromorphic extension. The set of (\emph{visible}) \emph{complex dimensions} of $\mathcal{L}$ is the set $\calD_\mathcal{L}=\calD_\mathcal{L}(W)$ given by
\begin{align}
\calD_\mathcal{L}	&= \left\{ \omega \in W : \zeta_\mathcal{L} \textnormal{ has a pole at } \omega \right\}.
\end{align}
\end{definition}

\noindent In the case where $\zeta_\mathcal{L}$ has a meromorphic extension to $W=\mathbb{C}$, the set $\calD_\mathcal{L}$ is referred to as the \emph{complex dimensions} of $\mathcal{L}$.  Such is the case for the Cantor string $\Omega_{CS}$.

\begin{example}[Complex dimensions of the Cantor string]
\label{eg:ComplexDimensionsOfCantorString}
The Cantor string $\Omega_{CS}$ is the ordinary fractal string given by $\Omega_{CS}=[0,1] \setminus C$, where $C$ is the Cantor set (see Example \ref{eg:BoxCountingDimensionOfCantorSet}). The lengths of the Cantor string are given by the fractal string 
\begin{align}
\label{eqn:CantorStringLengths}
\mathcal{L}_{CS}	&=\{3^{-n}: 3^{-n} \textnormal{ has multiplicity } 2^{n-1}, n \in \mathbb{N}\}.
\end{align}
The geometric zeta function of the Cantor string, denoted $\zeta_{CS}$, is given by
\begin{align}
\label{eqn:CantorStringGeometricZetaFunction}
\zeta_{CS}(s)	&:= \zeta_{\mathcal{L}_{CS}}(s)= \sum_{n=1}^\infty 2^{n-1}3^{-ns} = \frac{3^{-s}}{1-2\cdot3^{-s}}.
\end{align} 
The closed form on the right-hand side of Equation \eqref{eqn:CantorStringGeometricZetaFunction} allows for the meromorphic continuation of $\zeta_{CS}$ to all of $\mathbb{C}$. Hence, $\zeta_{CS}=3^{-s}(1-2\cdot 3^{-s})^{-1}$ for all $s \in \mathbb{C}$. It follows that the complex dimensions of the Cantor string, denoted $\calD_{CS}$, are the complex roots of the Moran equation $2\cdot3^{-s}=1$. Thus, with the window $W$ chosen to be all of $\mathbb{C}$ (so that $\calD_{CS}:=\calD_{\mathcal{L}_{CS}}=\calD_{\mathcal{L}_{CS}}(\mathbb{C})$, in the notation of Definition \ref{def:ComplexDimensions}), we have
\begin{align}
\label{eqn:CantorStringComplexDimensions}
\calD_{CS}	&=\left\{ \log_3{2} + i\frac{2\pi}{\log 3}z : z \in \mathbb{Z} \right\}.
\end{align}
Note that by Equation \eqref{eqn:BoxCountingDimensionOfCantorSet} the dimension $D_{CS}:=D_{\mathcal{L}_{CS}}=\log_{3}2$ of the Cantor string coincides with $\dim_{B}C=\dim_{M}C$, and this value is the unique real-valued complex dimension of the Cantor string.
\end{example}


\subsection{Geometric counting function of a fractal string}
\label{sec:GeometricCountingFunctionOfAFractalString}

The results in this section connect the counting function of the lengths of a fractal string to its dimension and geometric zeta function.

\begin{definition}
\label{def:GeometricCountingFunction}
The \emph{geometric counting function} of $\mathcal{L}$, or the \emph{counting function of the reciprocal lengths} of $\mathcal{L}$, is given by
\begin{align*}
\displaystyle N_\mathcal{L}(x) &:= \#\{j \in \mathbb{N} : \ell_j^{-1} \leq x\} = \sum_{n \in \mathbb{N}, \, l_n^{-1} \leq\, x}m_n
\end{align*}
for $x>0$.
\end{definition}

The following easy proposition is identical to Proposition 1.1 of \cite{LapvF6}.

\begin{proposition}
\label{prop:CountingFunctionD}
Let $\alpha \geq 0$ and $\mathcal{L}$ be a fractal string. Then $N_\mathcal{L}(x)=O(x^\alpha)$ as $x \rightarrow \infty$ if and only if
$\ell_j=O(j^{-1/\alpha})$ as $j \rightarrow \infty$. 
\end{proposition}

\begin{proof}
Suppose that for some $C>0$ we have 
\[
N_\mathcal{L}(x) \leq Cx^\alpha.
\]
Let $x=\ell_j^{-1}$, then $j \leq C\ell_j^{-\alpha}$, which implies that 
\[
\ell_j = O(j^{-1/\alpha}).
\] 
Conversely, if $\ell_j \leq cj^{-1/\alpha}$
for $j \in \mathbb{N}$ and some $c>0$, then given $x>0$, we have 
\[
\ell_j^{-1} > x \textnormal{ for } j > (cx)^\alpha.
\]
Therefore, 
\[
N_\mathcal{L}(x) \leq (cx)^\alpha.
\]
\end{proof}

\begin{remark}
\label{rmk:MoreAsymptoticBehavior}
Many additional (and harder) results connecting the asymptotic behavior of the geometric counting function, the spectral counting function, and the (upper and lower) Minkowski content(s) of a fractal string $\mathcal{L}$ are provided in \cite{LapPo1}. The simplest one states that $N_\mathcal{L}(x)=O(x^\alpha)$ as $x\to\infty$ (i.e., $\ell_j=O(j^{-1/\alpha})$ as $j\to\infty$) if and only if $\mathscr{M}^{*\alpha}(\partial\Omega)<\infty$, where (consistent with our earlier comment) $\mathscr{M}^{*\alpha}(\partial\Omega)$ is given as in Definition \ref{def:MinkowskiContent0} except with $\textnormal{vol}_m(\cdot)$ replaced with $V_{\textnormal{inner}}(\cdot)$.
\end{remark}

\begin{notation}
\label{not:D}
The infimum of the nonnegative values of $\alpha$ which satisfy Proposition \ref{prop:CountingFunctionD} plays a key role in our results. Hence, we let $D_N$ denote that special value. That is,
\begin{align}
\label{eqn:CountingFunctionD}
D_N:= \inf\{\alpha \geq 0 : N_\mathcal{L}(x)=O(x^\alpha) \textnormal{ as } x\to\infty\}.
\end{align}
\end{notation}

The following lemma is a restatement of a portion of Lemma 13.110 of \cite{LapvF6}.\footnote{In fact, a stronger result holds in the setting of generalized fractal strings (viewed as measures) in \cite{LapvF6}, but it is beyond the scope of this paper. (See also \cite{LapLuvF1}.)}

\begin{lemma}
\label{lem:GeometricZetaFunctionIntegralTransformCountingFunction}
Let $\mathcal{L}$ be a fractal string. Then 
\begin{align}
\label{eqn:GeometricZetaFunctionIntegralTransformCountingFunction}
\zeta_\mathcal{L}(s)	&= s\int_0^\infty N_\mathcal{L}(x)x^{-s-1}dx
\end{align}
and, moreover, the integral converges \emph{(}and hence, Equation \eqref{eqn:GeometricZetaFunctionIntegralTransformCountingFunction} holds\emph{)}  if and only if $\sum_{j=1}^\infty \ell_j^s$ converges, i.e., if and only if $\textnormal{Re}(s)>D_\mathcal{L}=\sigma$.
\end{lemma}

\begin{proof}
Let $s \geq 0$ be a real number. (The case where $s \in \mathbb{C}$ follows immediately from this case by analytic continuation for $\textnormal{Re}(s)>D_\mathcal{L}=\sigma$ since $\zeta_\mathcal{L}$ is holomorphic in that half-plane.) For any given $n \in \mathbb{N}$, we have  
\begin{align*}
s\int_0^{\ell_n^{-1}} N_\mathcal{L}(x)x^{-s-1}dx	&= \sum_{j=1}^{n-1}s\int_{\ell_j^{-1}}^{\ell_{j+1}^{-1}} N_\mathcal{L}(x)x^{-s-1}dx
	= \sum_{j=0}^{n-1}j(\ell_j^s-\ell_{j+1}^s)
\end{align*}
since $N_\mathcal{L}(x)=0$ for $x<\ell_1^{-1}$ and $N_\mathcal{L}(x)=j$ for $\ell_j^{-1} \leq x < \ell_{j+1}^{-1}$. Furthermore,
\begin{align*}
s\int_0^{\ell_j^{-1}} N_\mathcal{L}(x)x^{-s-1}dx	&= 
\sum_{j=1}^{n-1}j\ell_j^s-\sum_{j=1}^{n}(j-1)\ell_j^s
	= \sum_{j=1}^{n}\ell_j^s-n\ell_n^s.
\end{align*}
Now, for $s\geq 0$, we have $n\ell_n^s \leq 2\sum_{j=[n/2]}^n\ell_j^s$. Thus, Equation \eqref{eqn:GeometricZetaFunctionIntegralTransformCountingFunction} holds if and only if $\sum_{j=1}^\infty \ell_j^s$ converges.\footnote{That is, if and only if $s>D_\mathcal{L}=\sigma$ (or, more generally, if $s\in\mathbb{C}$, if and only if $\textnormal{Re}(s)>D_\mathcal{L}$).} Moreover,
\begin{align*}
\lim_{n \rightarrow \infty} s\int_0^{\ell_n^{-1}} N_\mathcal{L}(x)x^{-s-1}dx	&= \zeta_\mathcal{L}(s) 
\end{align*}
since the tail $\sum_{j=[n/2]}^\infty \ell_j^s$ converges to zero. (Here, $[y]$ denotes the integer part of the real number $y$.)
\end{proof}

The following proposition will be used to prove a portion of our main result, Theorem \ref{thm:MainResult} (cf. Theorem 13.111 and Corollary 13.112 of \cite{LapvF6}, as well as  \cite{LapLuvF1,LapLuvF2}, where this proposition is established in the context of $p$-adic fractal strings and also of ordinary (real) fractal strings).

\begin{proposition}
\label{prop:CountingFunctionDFractalStringD}
Let $\mathcal{L}$ be a fractal string. Then 
\begin{align*}
D_\mathcal{L}	&=D_N,
\end{align*}
where $D_\mathcal{L}=\sigma$ is the dimension of $\mathcal{L}$ given by Equation \eqref{eqn:AbscissaOfConvergence} \emph{(}and Definition \ref{def:GeometricZetaFunction}\emph{)} and $D_N$ is given by Equation \eqref{eqn:CountingFunctionD}.
\end{proposition}

\begin{proof}
The proof given here follows that of \cite{LapvF6}, \emph{loc.~cit.} (See also \cite{LapLuvF1}.) First, suppose $\textnormal{Re}(s)>D_N$. Denoting $t=\textnormal{Re}(s)$, we choose any fixed  $\alpha\in(D_N,t)$.
 Using Lemma \ref{lem:GeometricZetaFunctionIntegralTransformCountingFunction}, for $x_1=(\ell_1)^{-1}$ we have
\begin{align*}
|\zeta_\mathcal{L}(s)|
	&\leq |s|\int_{x_1}^\infty Cx^{\alpha}x^{-t-1}dx = \left[\frac{|s|Cx^{\alpha-t}}{\alpha-t}\right]_{x_1}^\infty 
	= 0 - \frac{|s|Cx_1^{\alpha-t}}{\alpha-t},
\end{align*}
since $\alpha-t<0$. Hence, $|\zeta_\mathcal{L}(s)|<\infty$. In other words,  $t>D_{\mathcal{L}}$ for any $t>D_N$. Letting $t\searrow D_N$, we obtain that $D_{\mathcal{L}}\le D_N$.


For the converse, suppose $\alpha < D_N$. Then $N_\mathcal{L}(x)$ is not $O(x^\alpha)$ as $x \rightarrow \infty$. So, there exists a strictly increasing sequence $(x_j)_{j\in\mathbb{N}}$ with $x_1 \geq \ell_1^{-1}$ which tends to infinity such that 
\[
N_\mathcal{L}(x) \geq jx_j^\alpha
\]
for each $j$. Then, for $t \leq 1$, 
\[
t\int_{\ell_1^{-1}}^\infty N_\mathcal{L}(x)x^{-t-1}dx \geq \sum_{j=1}t\int_{x_j}^{x_{j+1}}jx^\alpha x^{-t-1}dx
\]
since $N_\mathcal{L}(x)$ is increasing.

We estimate $t\int_{x_j}^{x_{j+1}}x^{-t-1}dx \geq x_j^{-t}$ to obtain
\[
t\int_{\ell_1^{-1}}^\infty N_\mathcal{L}(x)x^{-t-1}dx \geq \sum_{j=1}^\infty jx_j^{\alpha-t}.
\]
For $t \leq \alpha$, the sum diverges. Hence, $D_\mathcal{L} \geq \alpha$ for all $\alpha<D_N$, and so $D_\mathcal{L} \geq D_N$.
\end{proof}



For a given fractal string $\mathcal{L}$, Theorem \ref{thm:CountingFunctionAndComplexDimensions} (cf. Theorem 5.10 and Theorem 5.18 in \cite{LapvF6}) shows that under mild conditions the complex dimensions $\calD_\mathcal{L}$ contain enough information to determine the geometric counting function $N_\mathcal{L}$ (at least, asymptotically, and in important geometric situations, exactly\footnote{This is the case, for instance, for self-similar strings.}). 


\begin{theorem}
\label{thm:CountingFunctionAndComplexDimensions}
Let $\mathcal{L}$ be a fractal string such that $\calD_\mathcal{L}$ consists entirely of simple poles with respect to a window $W$. Then, under certain mild growth conditions on $\zeta_\mathcal{L}$,\footnote{Namely, if $\zeta_\mathcal{L}$ is \emph{languid} (see \cite[Def.~5.2]{LapvF6}) of a suitable order.} we have
\begin{align}
\label{eqn:CountingFunctionAndComplexDimensions}
N_\mathcal{L}(x) = \sum_{\omega \in \calD_\mathcal{L}}
\frac{x^{\omega}}{\omega}\textnormal{res}(\zeta_\mathcal{L}(s);\omega) + \{\zeta_\mathcal{L}(0)\} + R(x), 
\end{align}
where $R(x)$ is an error term of small order and the term in braces is included only if $0 \in W\backslash \calD_\mathcal{L}$.
\end{theorem}

\begin{remark}
\label{rmk:SimpleAndStronglyLanguid}
If the poles are not simple, the explicit formula for $N_{\mathcal{L}}$ is slightly more complicated (see\cite[Chs.~5,6]{LapvF6}). If an ordinary fractal string $\Omega$ is {\it strongly languid} (see \cite[Def.~5.3]{LapvF6}), then by Theorem 5.14 and Theorem 5.22 of \cite{LapvF6}, Equation \eqref{eqn:CountingFunctionAndComplexDimensions} holds with no error term (i.e., $W=\mathbb{C}$ and $R(x) \equiv 0$) and hence, formula \eqref{eqn:CountingFunctionAndComplexDimensions} is exact in that case.
\end{remark}

\begin{remark}
\label{rmk:FractalTubeFormulas}
Similar (but harder to derive) explicit formulas called \emph{fractal tube formulas} are obtained in \cite[Ch.~8]{LapvF6}, which, as described therein, allows for the expression of $V_\textnormal{inner}(\varepsilon)$ in terms of the underlying (visible) complex dimensions of $\mathcal{L}$. (Still in \cite{LapvF6}, they are used, in particular, to derive the equivalence of (i) and (iii) in Theorem \ref{thm:CriterionForMinkowskiMeasurability} below.) We will return to this topic in Section \ref{sec:SummaryOfResultsAndOpenProblems} when discussing Open Problems \ref{op:BoxCountingAndCountingFormulas} and \ref{op:VolumeTubularNeighborhood}.
\end{remark}

Analogous results regarding connections between the structure of the complex dimensions $\calD_\mathcal{L}$ of an ordinary fractal string $\Omega$ with lengths $\mathcal{L}$ and the (inner) Minkowski measurability of $\partial\Omega$ are presented in the next section.


\subsection{Classic results}
\label{sec:ClassicResults}

The following theorem is precisely Theorem 1.10 of \cite{LapvF6}. It is actually a consequence of a classic theorem of Besicovitch and Taylor (see \cite{BesTa}) stated in terms of ordinary fractal strings, and was first observed in this context in \cite{Lap2}.\footnote{There is, however, one significant difference with the setting of \cite{BesTa}. Namely, here, as in \cite{Lap2} and \cite{LapvF6}, we are assuming that we are working with the \emph{inner} (rather than ordinary) Minkowski dimension and Minkowski content of $\partial\Omega$; see the statement and the proof of Theorem 1.10 in \cite{LapvF6}, along with Equation \eqref{eqn:VolumeInnerNeighborhood} above. By contrast, in the context of \cite{BesTa}, one should assume that $\Omega$ is of full measure in its closed convex hull (i.e., in the smallest compact interval containing it).} 

\begin{theorem}
\label{thm:BesicovitchAndTaylor}
Suppose $\Omega$ is an ordinary fractal string with infinitely many lengths denoted by $\mathcal{L}$. Then the abscissa of convergence of $\zeta_\mathcal{L}$ coincides with the Minkowski dimension of $\partial\Omega$. That is, $D_\mathcal{L}=\dim_M(\partial\Omega)$.
\end{theorem}

The following result is Theorem 8.15 of \cite{LapvF6}. For complete details regarding connections between complex dimensions and Minkowski measurability, see \cite[Ch.~8]{LapvF6}.

\begin{theorem}[Criterion for Minkowski measurability]
\label{thm:CriterionForMinkowskiMeasurability}
Let $\Omega$ be an ordinary fractal string whose geometric zeta function $\zeta_\mathcal{L}$ has a meromorphic extension which satisfies certain mild growth conditions.\footnote{Specifically, $\zeta_\mathcal{L}$ is languid for a screen $S$ passing strictly between the vertical line $\textnormal{Re}(s)=D_\mathcal{L}$ and all the complex dimensions (of the corresponding fractal string) $\mathcal{L}$ with real part strictly less than $D_\mathcal{L}$, and not passing through 0.} Then the following are equivalent\emph{:}
\begin{enumerate}
	\item $D_\mathcal{L}$ is the only complex dimension with real part $D_\mathcal{L}$, and it is simple.
	\item $N_\mathcal{L}(x)=cx^{D_\mathcal{L}}+o(x^{D_\mathcal{L}})$ as $x \to\infty$, for some positive constant $c$.\footnote{In the spirit of Proposition \ref{prop:CountingFunctionD}, condition (ii) is easily seen to be equivalent to 
\[
\ell_j=Lj^{-1/D_\mathcal{L}}+o(j^{-1/D_\mathcal{L}}) \quad \textnormal{as} \quad j\to\infty,
\]
for some positive constant $L$. In that case, we have $c=L^{D_\mathcal{L}}$.}
	\item $\partial\Omega$ is Minkowski measurable.
\end{enumerate}
Moreover, if any of these conditions is satisfied, then the Minkowski content $\mathscr{M}$
of $\partial\Omega$ is given by
\begin{align*}
\mathscr{M}	&= \frac{c2^{1-D_\mathcal{L}}}{1-D_\mathcal{L}} = 2^{1-D_\mathcal{L}}\frac{\textnormal{res}(\zeta_\mathcal{L}(s);D_\mathcal{L})}{D_\mathcal{L}(1-D_\mathcal{L})}. 
\end{align*}
\end{theorem}

\begin{remark}
\label{rmk:TheoryOfComplexDimensions}
We note that the equivalence of (ii) and (iii) in Theorem \ref{thm:CriterionForMinkowskiMeasurability} was first established in \cite{LapPo1} for any ordinary fractal string, without any hypothesis on the growth of the associated geometric zeta function. As was alluded to in Remark \ref{rmk:FractalTubeFormulas}, however, the equivalence of (i) and (iii) in Theorem \ref{thm:CriterionForMinkowskiMeasurability} was proved in \cite{LapvF6} (and in earlier works of the authors of \cite{LapvF6}) by using a suitable generalization of Riemann's explicit formula that is central to the theory of complex dimensions and is obtained in \cite[Chs.~5 \& 8]{LapvF6}.
\end{remark}

\begin{example}[The Cantor set is not Minkowski measurable]
\label{eg:CantorSetNotMinkowskiMeasurable}
By Equation \eqref{eqn:CantorStringComplexDimensions} in Example \ref{eg:ComplexDimensionsOfCantorString}, there is an infinite collection of complex dimensions $\omega \in \calD_{CS}$ of the Cantor string with real part $D_{CS}=\log_{3}2$. Hence, by Theorem \ref{thm:CriterionForMinkowskiMeasurability}, the Cantor set $C$ is not Minkowski measurable. This fact was first established in \cite{LapPo1} by using the equivalence of (ii) and (iii) and showing that (ii) does not hold. Actually, still in \cite{LapPo1}, for $\alpha=\dim_{B}C=D_{CS}$, both $\mathscr{M}^{\alpha*}=\mathscr{M}^*$ and $\mathscr{M}^{\alpha}_*=\mathscr{M}_*$ are explicitly computed and shown to be different (with $0<\mathscr{M}_*<\mathscr{M}^*<\infty$). This result was significantly refined and extended in \cite[Ch.~10]{LapvF6} in the broader context of generalized Cantor strings.
\end{example}

\begin{remark}
\label{rmk:LatticeNonLattice}
Example \ref{eg:CantorSetNotMinkowskiMeasurable} is indicative of another result from \cite{LapvF6} pertaining to a dichotomy in the properties of self-similar attractors of certain iterated function systems on compact intervals. Specifically, if an iterated function system on a compact interval $I$ satisfies the open set condition with at least one gap and there is some $0<r<1$ and positive integers $k_j$ such that $\gcd(k_1,\ldots,k_N)=1$ and the scaling ratios satisfy $r_j=r^{k_j}$ for each $j = 1,\ldots, N$, then the complement $I \setminus A$ of the resulting attractor $A$ is an ordinary fractal string known as a \emph{lattice self-similar string}. For example, the Cantor string $\Omega_{CS}=[0,1] \setminus C$ is a lattice self-similar string. If no such $r$ exists, then $I \setminus A$ is a \emph{nonlattice self-similar string}. The complex dimensions of a self-similar string are given by (a subset of) the complex roots of the corresponding Moran equation \eqref{eqn:Moran}. In the lattice case there are countably many complex dimensions with real part $D_\mathcal{L}=\dim_{B}A=\dim_{M}A$, so by Theorem \ref{thm:CriterionForMinkowskiMeasurability}, $A$ is not Minkowski measurable. In the nonlattice case, Theorem \ref{thm:CriterionForMinkowskiMeasurability} does not necessarily apply (because its hypotheses need not be satisfied, see \cite[Example~5.32]{LapvF6}), however the only complex dimension with real part $D_\mathcal{L}$ is $\dim_{B}A=\dim_{M}A$ and by Theorem 8.36 of \cite{LapvF6} we have that $A$ is Minkowski measurable. Therefore, the boundary of a self-similar string is Minkowski measurable if and only if it is nonlattice. See \cite[\S 8.4]{LapvF6} for details.
\end{remark}
 
We conclude the section on classic results with the following remark which, in light of the expression for $V_{\textnormal{inner}}(\varepsilon)$ obtained in \cite{LapPo1} (see also \cite[Eq.~(8.1)]{LapvF6}), can be deduced from Lemma 1 of \cite[\S 1.4]{Lev}.\footnote{For convenience, Remark \ref{rmk:DimensionEqualsOrder}
is stated in the language of fractal strings. A direct (and independent) proof of the fact that Equation \eqref{eqn:DimensionEqualsOrder} holds 
can be found in \cite{LapvF6}. (See also \cite{LapLuvF1}.) Also, Equation \eqref{eqn:DimensionEqualsOrder} is a simple consequence of results obtained in \cite{LapPo1}.} The remark below provides yet another connection between counting functions and dimensions, although it is a simple restatement of Proposition \ref{prop:CountingFunctionDFractalStringD} in our context.

\begin{remark}
\label{rmk:DimensionEqualsOrder}
For a fractal string $\mathcal{L}$, the \emph{order of the geometric counting function} $N_\mathcal{L}$, denoted $\rho_\mathcal{L}$, is given by 
\begin{align}
\label{eqn:OrderOfCountingFunction}
\rho_\mathcal{L}	&:=\limsup_{x \rightarrow \infty} \frac{\log{N_\mathcal{L}(x)}}{\log{x}}.
\end{align}  
We have that the dimension $D_\mathcal{L}$ coincides with $\rho_\mathcal{L}$. That is,
\begin{align}
\label{eqn:DimensionEqualsOrder}
D_\mathcal{L}	&=\rho_\mathcal{L}.
\end{align}
Note that, for a given fractal string $\mathcal{L}$, the order of the counting function $\rho_\mathcal{L}$ given in Equation \eqref{eqn:OrderOfCountingFunction} and the value $D_N$ given in Equation \eqref{eqn:CountingFunctionD} provide essentially the same information regarding the geometric counting function $N_\mathcal{L}$. Indeed, it can be shown directly that $\rho_\mathcal{L}=D_N$, and hence Equation \eqref{eqn:DimensionEqualsOrder} would follow from Proposition \ref{prop:CountingFunctionDFractalStringD}. This connection is examined further in \cite{LapRoZu}.
\end{remark}

In the next section, motivated by the box-counting function $N_B$ and connections between the geometric counting function $N_\mathcal{L}$ and dimension $D_\mathcal{L}$ of a fractal string $\mathcal{L}$, we define and investigate the properties of box-counting fractal strings.


\section{Box-counting fractal strings and zeta functions}
\label{sec:BoxCountingFractalStringsAndZetaFunctions}

In this section, we develop the definition of and results pertaining to \emph{box-counting fractal strings}. These fractal strings are defined in order to provide a framework in which one may, perhaps, extend the results on ordinary fractal strings via associated zeta functions and complex dimensions in \cite{LapvF6} to bounded sets. Further exploration with box-counting fractal strings, such as Minkowski measurability of bounded sets, is central to the development of the authors' paper \cite{LapRoZu}. The box-counting fractal string and the box-counting zeta function for bounded sets in Euclidean spaces were introduced by the second author during the First International Meeting of the Permanent International Session of Research Seminars (PISRS) at the University of Messina, PISRS Conference 2011: Analysis, Fractal Geometry, Dynamical Systems, and Economics.\footnote{See Remark \ref{rmk:PrecursorToBoxCountingZetaFunction}.} The introduction took place after listening to a lecture of the third author about his results (with the first author and Goran Radunovi\'c) in \cite{LapRaZu} on distance and tube zeta functions for arbitrary compact subsets of $\mathbb{R}^m$. Some of these results are also discussed in Section \ref{sec:DistanceAndTubeZetaFunctions} below.

\begin{remark}
\label{rmk:PrecursorToBoxCountingZetaFunction}
At the time, the second author did not yet know that the first author had already proposed (since the early 2000s, in several research documents) to introduce and study a `box-counting zeta function' (defined via the Mellin transform of a `box-counting function'), much as in Corollary \ref{cor:EquivalentZetaFunctions} and Definition \ref{def:BoxCountingFunction} as well as Remark \ref{rmk:VariousCountingFunctions}) in order to develop a higher-dimensional theory of complex dimensions and obtain the associated fractal tube formulas for suitable fractal subsets of $\mathbb{R}^m$ (established when $m=1$ in \cite[Ch.~8]{LapvF6}). The explicit construction of a `box-counting fractal string' associated with a given bounded set $A\subset\mathbb{R}^m$ is new and potentially quite useful, however.\footnote{Compare, when $m=1$, the construction provided in \cite{LapMa} of certain fractal strings associated with suitable monotonically increasing step functions, viewed as `geometric counting functions' (in the sense of \cite{LapPo1,LapvF6} and of Definition \ref{def:GeometricCountingFunction} above).} Of course, the other results of \cite{LapRoZu} described in Section \ref{sec:BoxCountingFractalStringsAndZetaFunctions} are new as well.
\end{remark}


\subsection{Definition of box-counting fractal strings}
\label{sec:DefinitionOfBoxCountingFractalStrings}

If $A \subset \mathbb{R}^m$ is bounded, then the diameter of $A$, denoted $\diam(A)$, is finite. So for nonempty $A$ and all $x$ small enough, we have $N_B(A,x)=1$ when $N_B(A,\cdot)$ is given as in Definition \ref{def:BoxCountingFunction} or one of the options in Remark \ref{rmk:VariousCountingFunctions}. Indeed, for a given bounded infinite set $A$, each such box-counting function uniquely defines a fractal string $\mathcal{L}_B$, which is introduced below and called the \emph{box-counting fractal string}, by uniquely determining a sequence of distinct scales $(l_n)_{n\in\mathbb{N}}$ along with corresponding multiplicities $(m_n)_{n\in\mathbb{N}}$. 

Given a fixed bounded infinite set $A$, the range of a chosen box-counting function $N_B(A,\cdot)$ can be thought of as a strictly increasing sequence of positive integers $(M_n)_{n\in\mathbb{N}}$. In this context, we can readily define a fractal string $\mathcal{L}_B$ whose geometric counting function $N_{\mathcal{L}_B}$ essentially coincides with $N_B(A,\cdot)$; see Lemma \ref{lem:CountingFunctionCorrelation} below. To this end, the key idea is to make the distinct scales $l_n$ of the desired (box-counting) fractal string $\mathcal{L}_B$ correspond to the scales at which the box-counting function $N_B(A,\cdot)$ jumps. Furthermore, the multiplicities $m_n$ are defined in order to have the resulting geometric counting function $N_{\mathcal{L}_B}$ (nearly) coincide with the chosen box-counting function $N_B(A,\cdot)$. Such \emph{box-counting fractal strings} potentially allow for the development of a theory of complex dimensions of fractal strings, as presented in \cite{LapvF6}, by means of results in Section \ref{sec:FractalStringsAndZetaFunctions} similar to Theorem \ref{thm:CountingFunctionAndComplexDimensions} above.\footnote{Parts of such a theory are now developed in \cite{LapRaZu}, using distance and tube zeta functions; see Section \ref{sec:DistanceAndTubeZetaFunctions} below for a few sample results. Once the two parallel theories are more fully developed, a challenging problem will consist in comparing and contrasting their respective results and scopes.} These concepts are central to the development of the paper \cite{LapRoZu}.

\begin{definition} 
\label{def:BoxCountingFractalString} 
Let $A$ be a bounded infinite subset of $\mathbb{R}^m$ and let $N_B(A,\cdot)$ denote a box-counting function given by one of the options in Remark \ref{rmk:VariousCountingFunctions}. Denote the range of $N_B(A,\cdot)$ as a strictly increasing sequence of positive integers $(M_n)_{n\in\mathbb{N}}$. 
For each $n\in\mathbb{N}$, let $l_n$ be the scale given by
\begin{align}
\label{eqn:LengthsOfABoxCountingFractalString}
l_n:=(\sup\{x \in (0,\infty): N_B(A,x)=M_n\})^{-1}.
\end{align}
Also, let $m_1:=M_2$, and for $n\geq 2$, let $m_n:=M_{n+1}-M_n$. 
The \emph{box-counting fractal string} of A, denoted $\mathcal{L}_B$, is given by
\begin{align*}
\mathcal{L}_B &:= \{l_n : l_n \textnormal{ has multiplicity } m_n, n \in \mathbb{N}\}.
\end{align*} 
\end{definition}

\begin{remark}
\label{rmk:CountingFunctionDefinesUniqueFractalString}
Note that the distinct scales $l_n$ and the multiplicities $m_n$ are \emph{uniquely defined by the box-counting function} $N_B(A,\cdot)$ since $N_B(A,x)$ is nondecreasing as $x\rightarrow\infty$. Also, each $l_n$ is equivalently given by
\[ 
l_n = \inf\{\varepsilon \in (0,\infty): N_B(A,\varepsilon^{-1})=M_n\}.
\]
\end{remark}

It remains to show that $\mathcal{L}_B$ is indeed a fractal string; see Definition \ref{def:FractalString}. That is, since we want to use as many of the results from \cite{LapvF6} as possible (some of which are presented in Section \ref{sec:FractalStringsAndZetaFunctions}), we must verify that $\mathcal{L}_B=(\ell_j)_{j\in\mathbb{N}}$ is a nonincreasing sequence of positive real numbers which tends to zero. This is accomplished with the following proposition, in which other behaviors of $N_B(A,\cdot)$ are also determined. 

For clarity of exposition and in order to ease the notation used in this section, in particular in the following proposition, take $N_B(A,\cdot)$ to be defined by option (i) of Remark \ref{rmk:VariousCountingFunctions} and let $N_B(A,0):=0$. (Completely analogous results hold when $N_B(A,\cdot)$ is given by Definition \ref{def:BoxCountingFunction} or one of the other options in Remark \ref{rmk:VariousCountingFunctions}, \emph{mutatis mutandis}.) Note that we have $N_B(A,x)\leq N_B(A,y)$ whenever $0<x<y$. In this setting, and following Remark \ref{rmk:varepsilonVSx}, $x^{-1}$ denotes the diameter of the sets used to cover $A$. Furthermore, let $x_n:=l_n^{-1}$ for each $n\in\mathbb{N}$, and note that we have $N_B(A,x_2)=m_1=M_2$ and 
\[
N_B(A,x_{n+1})-N_B(A,x_n)=m_n=M_{n+1}-M_n, \quad \textnormal{for } n \geq 2.
\]

\begin{proposition}
\label{prop:BoxCountingJumps}
Let $A$ be a bounded infinite subset of $\mathbb{R}^m$ and let $l_n$ be given by Equation \emph{\eqref{eqn:LengthsOfABoxCountingFractalString}}. Then the sequence $(x_n)_{n\in\mathbb{N}}:=(l_n^{-1})_{n\in\mathbb{N}}$ is a countably infinite, strictly increasing sequence of positive real numbers such that, for each $n \in \mathbb{N}$ and all $x$ such that $x_{n-1} < x \leq x_n$ \emph{(}letting $x_0=0$\emph{)}, we have
\begin{align}
\label{eqn:BoxCountingJumps}
N_B(A,x_{n-1}) &< N_B(A,x) = N_B(A,x_n).
\end{align}
Furthermore, 
\begin{enumerate}
\setlength{\itemsep}{0in}
\item $x_1>0$ and $N_B(A,x_1)=1$,
\item $x_n \nearrow \infty$ as $n \rightarrow \infty$, and
\item $\displaystyle \bigcup_{n \in \mathbb{N}} \{N_B(A,x_n)\} = \textnormal{range}~N_B(A,\cdot)$.  
\end{enumerate}
\end{proposition}

\begin{proof}
We have that $N_B(A,x)$ is nondecreasing for $x>0$. Further, the range of $N_B(A,\cdot)$, denoted $\textnormal{range}~N_B(A,\cdot)$ (and also realized as the sequence $(M_n)_{n\in\mathbb{N}}$ above), is at most countable since it is a subset of $\mathbb{N}$. In fact, $\textnormal{range}~N_B(A,\cdot)$ is countably infinite (otherwise, $A$ would be finite). Hence, $(x_n)_{n \in \mathbb{N}}$ is a unique, countably infinite, strictly increasing sequence of positive real numbers such that, for each $n \in \mathbb{N}$ and all $x$ such that  $x_{n-1} < x \leq x_n$ (letting $x_0=0$), we have
\begin{align*}
N_B(A,x_{n-1}) &< N_B(A,x) = N_B(A,x_n).
\end{align*}

Since $A$ is bounded and contains more than two elements, there exists a unique $x'\in (0,\infty)$ such that $N_B(A,x)=1$ if $0<x \leq x'$, and $N_B(A,x)>1$ if $x>x'$. By the definition of the sequence $(x_n)_{n\in\mathbb{N}}$, we have $x'=x_1$.

Now, suppose $(x_n)_{n\in\mathbb{N}}$ has an accumulation point at some $x'' \in (0,\infty)$. Then $N_B(A,x'')=\infty$ since $N_B(A,\cdot)$ increases by some positive integer value at $x_n$ for each $n \in \mathbb{N}$ and since $\textnormal{range}~N_B(A,\cdot)\subset\mathbb{N}$. However, this contradicts the boundedness of $A$. Further, assuming $N_B(A,\cdot)$ is bounded implies that $A$ is finite. Hence, $x_n \nearrow \infty$ as $n \rightarrow \infty$.

Lastly, suppose there exists $k \in \textnormal{range}~N_B(A,\cdot)$ such that we have $k \neq N_B(A,x_n)$ for all $n \in \mathbb{N}$. Since $x_n \nearrow \infty$ as $n \rightarrow \infty$ and $N_B(A,\cdot)$ is nondecreasing, there exists a unique $n_0 \in \mathbb{N}$ such that $x_{n_0-1}<y<x_{n_0}$ for all $y$ such that $N_B(A,y)=k$. However, Equation \eqref{eqn:BoxCountingJumps} implies $N_B(A,y)=k=N_B(A,x_{n_0})$, which is a contradiction. Therefore, $\bigcup_{n \in \mathbb{N}}\{N_B(A,x_n)\} = \textnormal{range}~N_B(A,\cdot)$.
\end{proof}

\begin{remark}
\label{rmk:BoxCountingFractalStringIsAFractalString}
By line (ii) of Proposition \ref{prop:BoxCountingJumps}, $l_n \searrow 0$ as $n \rightarrow \infty$ and, hence, $\mathcal{L}_B$ is indeed a fractal string in the sense of Definition \ref{def:FractalString}.
\end{remark}


\begin{example}[Box-counting fractal string of the Cantor set]
\label{eg:CantorSetBoxCountingFractalString}
Consider the Cantor set $C$. For $x>0$, let the box-counting function $N_B(C,x)$ be the minimum number of sets of diameter $x^{-1}$ required to cover $C$ (i.e., as in option (i) of Remark \ref{rmk:VariousCountingFunctions}). Then the box-counting fractal string $\mathcal{L}_B$ of $C$ is given by
\begin{align}
\label{eqn:CantorSetBoxCountingFractalString}
\mathcal{L}_B	&= \{l_1=1: m_1=2\}\cup\{l_n=3^{-(n-1)}: m_n =2^{n-1}, n \geq 2 \}.
\end{align}
Indeed, for each $n \in \mathbb{N}$, exactly $2^{n}$ intervals of diameter $3^{-n}$ are required to cover $C$. If $x^{-1}<3^{n}$, then more than $2^{n}$ intervals of diameter $x^{-1}$ are required to cover $C$. 
\end{example}

\begin{example}[Box-counting fractal string of a 1-dimensional fractal]
\label{eg:BoxCountingFractalStringOf1DFractal}
Consider the self-similar set $F$ which is the attractor of the IFS $\mathbf{\Phi}_1=\{\Phi_j\}_{j=1}^4$ on the unit square $[0,1]^2\subset\mathbb{R}^2$ given by
\begin{align*}
\Phi_1(x)	&=\frac{1}{4}x, \quad \Phi_2(x)	=\frac{1}{4}x+\left(\frac{3}{4},0\right), \quad
\Phi_3(x)	=\frac{1}{4}x+\left(\frac{3}{4},\frac{3}{4}\right), \quad \textnormal{and}\\ \Phi_4(x)	&=\frac{1}{4}x+\left(0,\frac{3}{4}\right).
\end{align*}
The Moran equation of $F$ is simply $4\cdot 4^{-s}=1$, hence $D_{\mathbf{\Phi}_1}=\dim_BF=\dim_MF=1$ and $F$ is a 1-dimensional self-similar set which is totally disconnected.

Let $N_B(F,x)$ be as in Definition \ref{def:BoxCountingFunction}. Then, for $x \in (0,2]$, we have
\[
N_B(F,x)=
\begin{cases}
1, & 0 < x \leq 2/\sqrt{2}, \\
2, & 2/\sqrt{2} < x \leq 8/\sqrt{17}, \\
3, & 8/\sqrt{17} < x \leq 2.
\end{cases}
\]
Indeed, we have: $\sqrt{2}$ is the distance between $(0,0)$ and $(1,1)$; $\sqrt{17}/4 $ is the minimum distance between $(0,0),(1,1/4),$ and $(1/4,1)$; and the minimum distance between $(0,0),(0,1),(1,0),$ and $(1,1)$ is $1$. Hence, $M_1=1, M_2=2$, and $M_3=3$. 

For $x>2$, the self-similarity of $F$ implies that $M_n=j4^k$, where $n$ is uniquely expressed as $n=3k+j$ with $k\in \mathbb{N}\cup\{0\}$ and $j\in\{1,2,3\}$. So, for $n\geq 2$, we have $m_n=M_{n+1}-M_n=4^k$ and therefore the box-counting fractal string $\mathcal{L}_B=(\ell_j)_{j=1}^\infty$ of $F$ is the sequence obtained by putting the following collection of distinct scales in nonincreasing order and listing them according to multiplicity:
\begin{align*}
&\left\{\sqrt{2}/2: \textnormal{ multiplicity } 2 \right\}\\ 
&\cup \left\{\sqrt{2}/(2\cdot 4^k): \textnormal{ multiplicity } 4^k, k\in \mathbb{N} \right\}\\
&\cup \left\{\sqrt{17}/(8\cdot 4^k): \textnormal{ multiplicity } 4^k, k\in \mathbb{N}\cup\{0\} \right\}\\
&\cup \left\{1/(2\cdot 4^k): \textnormal{ multiplicity } 4^k, k\in \mathbb{N}\cup\{0\} \right\}. 
\end{align*}
\end{example}

Examples \ref{eg:CantorSetBoxCountingFractalString} and \ref{eg:BoxCountingFractalStringOf1DFractal} will be revisited and expanded upon in the following subsection.


\subsection{Box-counting zeta functions}
\label{sec:BoxCountingZetaFunctions}

Suppose $A$ is a bounded infinite subset of $\mathbb{R}^m$. Each scale $l_n \in \mathcal{L}_B$ is distinct and, for $n \geq 2$, counted according to the multiplicity $m_n:=N_B(A,x_{n+1})-N_B(A,x_n)$. It will help to note that we can also consider $\mathcal{L}_B$ to be given by the nonincreasing sequence $(\ell_j)_{j \in \mathbb{N}}$, where the distinct values among the $\ell_j$'s repeat the $l_n$'s according to the multiplicities $m_n$. (The convention of distinguishing the notation $\ell_j$ and $l_n$ in this way is established in \cite{LapvF6} and its predecessors, where the distinction allows for various results therein to be more clearly stated and derived.) In this setting, we immediately have the following connection between $N_{\mathcal{L}_B}$, the counting function of the reciprocal lengths of $\mathcal{L}_B$, and the box-counting function $N_B(A,x)$.

\begin{lemma}
\label{lem:CountingFunctionCorrelation}
For $x \in (x_1,\infty)\setminus(x_n)_{n \in \mathbb{N}}$,
\begin{align*}
N_{\mathcal{L}_B}(x)=N_B(A,x).
\end{align*}
\end{lemma}

\begin{proof}
The result follows at once from Definitions \ref{def:BoxCountingFunction} and \ref{def:BoxCountingFractalString}.
\end{proof}

In general, Lemma \ref{lem:CountingFunctionCorrelation} does not hold for $x=x_n$, though equality may hold for certain choices of $N_B(A,x)$. Furthermore, the primary applications of  Lemma \ref{lem:CountingFunctionCorrelation} are Corollary \ref{cor:EquivalentZetaFunctions} and Theorem \ref{thm:JohnnyDarko} where the behavior of $N_B(A,x)$ at $x=x_n$ does not affect the conclusions. Moreover, for a bounded infinite set $A$, the geometric zeta function of the box-counting fractal string $\mathcal{L}_B$ is given by
\begin{align*}
\zeta_{\mathcal{L}_B}(s)&=N_B(A,l_2^{-1})l_1^s+\sum_{n=2}^{\infty} (N_B(A,l_{n+1}^{-1})-N_B(A,l_n^{-1})) l_n^s = \sum_{j=1}^\infty \ell_j^s,
\end{align*}
for $\textnormal{Re}(s)>D_{\mathcal{L}_B}$. We take this zeta function to be our \emph{box-counting zeta function} for a bounded infinite set $A$ in Definition \ref{def:BoxCountingZetaFunction}. 


\begin{definition}
\label{def:BoxCountingZetaFunction} 
Let $A$ be a bounded infinite subset of $\mathbb{R}^m$. The \emph{box-counting zeta function} of $A$, denoted $\zeta_B$, is the geometric zeta function of the box-counting fractal string $\mathcal{L}_B$. That is, 
\begin{align*}
\zeta_B(s) := \zeta_{\mathcal{L}_B}(s) = \sum_{n=1}^\infty m_n l_n^s, 
\end{align*}
for $Re(s) > D_B := D_{\mathcal{L}_B}$. The (optimum) value $D_B$ is the \emph{abscissa of convergence} of $\zeta_B$. The set of \emph{box-counting complex dimensions} of $A$, denoted $\calD_B$, is the set of complex dimensions $\calD_{\mathcal{L}_B}$ of the box-counting fractal string $\mathcal{L}_B$.
\end{definition}

\begin{remark}
\label{rmk:FiniteBoxCountingFractalString}
Note that we do not consider the case when $A$ is finite. One may, of course, define the box-counting fractal string $\mathcal{L}_B$ for such a set as a finite sequence of positive real numbers.  In that case, however, the box-counting zeta function would comprise a finite sum, which would yield an abscissa of convergence $-\infty$ and no complex dimensions; see Remark \ref{rmk:AbscissaForFiniteSequences}. That is, in the context of the theory of complex dimensions of fractal strings, the case of finite sets is not very interesting.
\end{remark}


\begin{example}[Box-counting zeta function of the Cantor set]
\label{eg:CantorSetBoxCountingZetaFunction}
By Example \ref{eg:CantorSetBoxCountingFractalString}, the box-counting fractal string $\mathcal{L}_B$ of the Cantor set $C$ is given by Equation \eqref{eqn:CantorSetBoxCountingFractalString}.
It follows that for $\textnormal{Re}(s)>\log_{3}2$, the box-counting zeta function of $C$ is given by
\begin{align*}
\zeta_B(s)	&= 2+\sum_{n=2}^\infty 2^{n-1}\cdot 3^{-(n-1)s} 
= 1+\frac{1}{1-2\cdot3^{-s}}. 
\end{align*}
Thus, $D_B=\dim_{B}C=\dim_{M}C=\log_{3}2$ and $\zeta_B$ has a meromorphic extension to all of $\mathbb{C}$ given by the last expression in the above equation. Moreover, we have 
\begin{align*}
\calD_B	&=\calD_{CS}=\calD_{\mathcal{L}_{CS}}=\left\{ \log_3{2} + i\frac{2\pi}{\log{3}}z : z \in \mathbb{Z} \right\}.
\end{align*}
\end{example}

\begin{example}
\label{eg:BoxCountingZetaFunction1DFractal}
The box-counting fractal string $\mathcal{L}_B$ of the 1-dimensional self-similar set $F$ (the attractor of the IFS $\mathbf{\Phi}_1$), where $N_B(F,x)$ is as in Definition \ref{def:BoxCountingFunction}, is given in Example  \ref{eg:BoxCountingFractalStringOf1DFractal}. Hence, the box-counting zeta function of $F$ is given (for $\textnormal{Re}(s)>1$) by
\begin{align}
\label{eqn:1DBoxCountingZetaFunction}
\zeta_B(s)	&= \left(\frac{\sqrt{2}}{2}\right)^s + \left(\left(\frac{\sqrt{2}}{2}\right)^s + \left(\frac{\sqrt{17}}{8}\right)^s + \left(\frac{1}{2}\right)^s\right)
\sum_{k=0}^\infty\left(\frac{4}{4^s}\right)^k \\
&= \left(\frac{\sqrt{2}}{2}\right)^s + \frac{\left(\sqrt{2}/2\right)^s + \left(\sqrt{17}/8\right)^s + \left(1/2\right)^s}{1-4\cdot 4^{-s}}.
\end{align}
Thus, $D_B=\dim_{B}F=\dim_{M}F=1$ and $\zeta_B$ has a meromorphic extension to all of $\mathbb{C}$ given by the last expression in the above equation. Moreover,  we have 
\begin{align}
\label{eqn:1DBoxCountingComplexDimensions}
\calD_B	&= \calD_B(\mathbb{C})=\left\{1 + i\frac{2\pi}{\log{4}}z : z \in \mathbb{Z} \right\}.
\end{align}
Note that the series corresponding to $\zeta_B(1)$ is divergent. Hence, the fractal string $\mathcal{L}_B$ does not correspond to an ordinary fractal string (which, by definition, requires $\zeta_\mathcal{L}(1)=\sum_{j=1}^\infty \ell_j$ to be convergent). 
\end{example}

\begin{remark}
\label{rmk:LatticeSelfSimilarIFS}
The Cantor set $C$ and the 1-dimensional self-similar set $F$ are each the attractor of a \emph{lattice} iterated function system; see \cite[\S 13.1]{LapvF6} as well as \cite{LapPe3,LapPe2,LapPeWin}. Essentially, an IFS generated by similarities (i.e., an IFS for which Equation \eqref{eqn:IFSSelfSimilar} holds) is \emph{lattice} if, for the distinct values $t_1,\ldots,t_{N_0}$ among the scaling ratios $r_1,\ldots,r_N$, there are positive integers $k_j$ where $\gcd(k_1,\ldots,k_{N_0})=1$ and a positive real number $0<r<1$ such that $t_j=r^{k_j}$ for each $j=1,\ldots,N_0$.\footnote{Equivalently, the precise definition (following \cite{LapvF6}) is that the \emph{distinct} scaling ratios generate a multiplicative group of rank 1.} Note that in each case, the box-counting complex dimensions comprise a set of complex numbers with a unique real part (equal to the box-counting dimension) and a vertical (and arithmetic) progression, in both directions, of imaginary parts. 

In the case of the Cantor set $C$, the box-counting complex dimensions $\calD_B$ coincide with the usual complex dimensions $\calD_{CS}$. Moreover, the structure of $\calD_{CS}$ allows for the application of Theorem \ref{thm:CriterionForMinkowskiMeasurability} and, hence, we conclude (as in \cite{LapPo1} and \cite{LapvF6}) that $C$ is not Minkowski measurable.

In the case of the 1-dimensional self-similar set $F$ of Examples \ref{eg:BoxCountingFractalStringOf1DFractal} and \ref{eg:BoxCountingZetaFunction1DFractal}, the set of complex dimensions $\calD_B$ has no counterpart in the context of usual complex dimensions since $F$ is not the complement of an ordinary fractal string. As such, Theorem \ref{thm:CriterionForMinkowskiMeasurability} does not apply. Moreover, since $\dim_MF=1$, the corresponding results in \cite[\S 13.1]{LapvF6} do not apply either. 
This provides motivation for developing a theory of complex dimensions which can take such examples, and many others, into account. The box-counting fractal strings defined in this paper, and investigated further in \cite{LapRoZu}, provide a first step in developing one such theory. Analogous comments regarding the further development of a higher-dimensional theory of complex dimensions can be made about the results of \cite{LapRaZu} to be discussed in Section \ref{sec:DistanceAndTubeZetaFunctions}.
\end{remark}

The next corollary follows readily from Lemma \ref{lem:CountingFunctionCorrelation} and Proposition \ref{prop:CountingFunctionDFractalStringD}. It establishes the equivalence of the box-counting zeta function $\zeta_B$ and an integral transform of the (appropriately truncated) box-counting function $N_B(A,x)$.

\begin{corollary}
\label{cor:EquivalentZetaFunctions}
Let $A$ be a bounded set. Then 
\begin{align*}
\zeta_B(s) &= \zeta_{\mathcal{L}_B}(s) = s\int_{l_1^{-1}}^{\infty}x^{-s-1}N_B(A,x)dx,
\end{align*}
for $Re(s) > D_B$.
\end{corollary}

We close this subsection with a theorem which is a partial statement of our main result, Theorem \ref{thm:MainResult}. Specifically, the upper box-counting dimension of a bounded infinite set is equal to the abscissa of convergence of the corresponding box-counting zeta function. 

\begin{theorem}
\label{thm:JohnnyDarko}
Let $A$ be a bounded infinite subset of $\mathbb{R}^m$. Then $\overline{\dim}_{B}A=D_B$.
\end{theorem}

\begin{proof}
The proof follows from a connection made through $D_N$, the asymptotic growth rate of the geometric counting function $N_\mathcal{L}(x)$ of a fractal string $\mathcal{L}$ given by Equation \eqref{eqn:CountingFunctionD}. 

Let $\mathcal{L}=\mathcal{L}_B$. By Proposition \ref{prop:CountingFunctionDFractalStringD}, we have $D_\mathcal{L}=D_B=D_N$. Now, Lemma \ref{lem:CountingFunctionCorrelation} implies $N_\mathcal{L}(x)=N_B(A,x)$ for $x \in (l_1^{-1},\infty)\setminus(l_n^{-1})_{n\in\mathbb{N}}$. Since these counting functions are nondecreasing, the equation $\overline{\dim}_{B}A=D_N$ follows from the formulation  of $\overline{\dim}_{B}A$ given in Remark \ref{rmk:EquivalentUpperBoxDimension}.
\end{proof}





\subsection{Tessellation fractal strings and zeta functions} 
In this subsection, we loosely discuss another type of fractal string defined for a given bounded infinite subset $A$ of $\mathbb{R}^m$. Unlike the box-counting fractal string $\mathcal{L}_B$, which is completely determined by the set $A$ and the box-counting function $N_B(A,\cdot)$, the \emph{tessellation fractal string} defined here depends on the set $A$, a chosen parameter, and a chosen family of tessellations of $\mathbb{R}^m$.

First, choose a scaling parameter $\lambda\in(0,1)$. For any $n\in\mathbb{N}$, consider the $n$-th tessellation of $\mathbb{R}^m$ defined by the family of cubes of length $\lambda^n$ (obtained by taking translates of the cube $[0,\lambda^n]^m$ in $\mathbb{R}^m$). Henceforth, the number of cubes of the $n$-th tessellation that intersect $A$ is denoted by $m_n(\lambda)$. Let the scale $l_n(\lambda):=\lambda^n$ be of multiplicity $m_n(\lambda)$. This defines the box-counting fractal string $\mathcal{L}(A,\lambda)=(\ell_j)_{j\in\mathbb{N}}$, where $(\ell_j)_{j\in\mathbb{N}}$ is the sequence starting with $l_1$ with multiplicity $m_1$, $l_2$ with multiplicity $m_2$, and so on. The geometric counting function $N_{\mathcal{L}(A,\lambda)}(x)=\#\{j\in\mathbb{N}: \ell_j^{-1}\ge x\}$ of the fractal string is then well defined. 

More generally, let $U$ be a compact subset of $\mathbb{R}^m$ with nonempty interior, satisfying the following properties:
\begin{enumerate}
\addtolength{\itemsep}{0.3\baselineskip}
\item[(a)] there exists a countable family of isometric maps $f_j:\mathbb{R}^m\to\mathbb{R}^m$ such that the the family of sets $V_j=f_j(U)$, $j\ge1$, is a cover of $\mathbb{R}^m$;
\item[(b)] for $j\neq k$, the interiors of $V_j$ and $V_k$ are disjoint.
\end{enumerate}
We say that the family $(V_j)_{j\ge1}$ is a \emph{tessellation of $\mathbb{R}^m$}, generated by the basic shape (or `tile') $U$ and the family of isometries. Also, we say in short that \emph{$U$ tessellates~$\mathbb{R}^m$}. Note that if $\lambda\in(0,1)$ is a fixed real number, then the basic shape generates a sequence of tessellations indexed by $n\in\mathbb{N}$: $(\lambda^n V_j)_{j\ge1}$. The family $(\lambda^n V_j)_{j\ge1}$ is called the \emph{$n$-th tessellation of $\mathbb{R}^m$}, generated by the basic shape (or tile) $U$, the family of isometries $(f_j)_{j\ge1}$, and $\lambda\in(0,1)$.

Let $A$ be a given bounded set in $\mathbb{R}^m$. Define $m_n(\lambda)=m_n(A,U,\lambda)$ analogously as above, by counting the number of elements of the $n$-th tessellation which intersect $A$. The \emph{tessellation fractal string} $\mathcal{L}(A,U,\lambda)$ of the set $A$ is then  the fractal string defined by
\begin{align*}
\mathcal{L}(A,U,\lambda)	&:=\{l_n(\lambda)=\lambda^n:\mbox{ $l_n(\lambda)$ has multiplicity $m_n(\lambda)$, $n\in\mathbb{N}$}\}=(\ell_j)_{j\in\mathbb{N}}.
\end{align*}
The middle set is in fact a \emph{multiset}, by which we mean that its elements repeat with prescribed multiplicity. Using arguments analogous to those from \cite[pp.\ 38--39]{Falc}, we obtain that
\begin{equation}
\label{dimBA}
\overline\dim_BA=\limsup_{n\to\infty}\frac{\log m_n(\lambda)}{\log\lambda^{-n}}.
\end{equation}
(Also, see \cite[p.\ 41]{Falc} or \cite[p.\ 24]{Tri}.) Here,  we have also used a version of Proposition~\ref{prop:GeometricSequenceSufficient} above.

The geometric zeta function of the tessellation fractal string $\mathcal{L}(A,U,\lambda)$, called the \emph{tessellation zeta function}, is given by 
\begin{align}
\label{zeta_tess}
\zeta_{\mathcal{L}(A,U,\lambda)}(s)	&=\sum_{j=1}^{\infty}\ell_j^s=\sum_{n=1}^{\infty} m_n(\lambda)\,\lambda^{ns}
\end{align}
for $\textnormal{Re}(s)$ large enough. Also, when defined accordingly, the set of complex dimensions $\calD_{\mathcal{L}(A,U,\lambda)}$ of the tessellation fractal string $\mathcal{L}(A,U,\lambda)$ is called the set of \emph{tessellation complex dimensions} of $A$ (relative to the tessellation associated with $U$ and $\lambda$).

The main result regarding this zeta function is the following theorem.

\begin{theorem}
\label{thm:TessellationDimension}
Let $U \subset \mathbb{R}^m$ be a compact set with nonempty interior, which tessellates $\mathbb{R}^m$. Then, the upper box-counting dimension of a bounded infinite set $A$ in $\mathbb{R}^m$ is equal to the abscissa of convergence $D_{\mathcal{L}(A,U,\lambda)}$ of the geometric zeta function \eqref{zeta_tess} of its tessellation fractal string. That is, 
\begin{align*}
\overline{\dim}_{B}A=D_{\mathcal{L}(A,U,\lambda)}.
\end{align*}
\end{theorem}


\begin{proof}
Using Cauchy's criterion for convergence, we obtain that the series \eqref{zeta_tess} converges for all $s\in\mathbb{C}$ such that
$$
\limsup_{n\to\infty}m_n(\lambda)^{1/n}\lambda^{\operatorname{Re}(s)}<1,
$$
that is,
$$
\operatorname{Re}(s)>\frac{\log(\limsup_{n\to\infty}m_n(\lambda)^{1/n})}{\log\lambda^{-1}}.
$$
The series (\ref{zeta_tess}) diverges if we have the opposite inequality. Therefore, the abscissa of convergence of (\ref{zeta_tess}) is
\begin{equation}
\label{dimD}
D_{\mathcal{L}(A,U,\lambda)}=\frac{\log(\limsup_{n\to\infty}m_n(\lambda)^{1/n})}{\log\lambda^{-1}}=\limsup_{n\to\infty}\frac{\log m_n(\lambda)}{\log\lambda^{-n}}.
\end{equation}
In light of \eqref{dimBA} and \eqref{dimD}, we deduce that $\overline\dim_BA=D_{\mathcal{L}(A,U,\lambda)}$.
\end{proof}

\begin{remark}
The value of $D_{\mathcal{L}(A,U,\lambda)}$ is independent of the choice of $\lambda\in(0,1)$, since by Theorem~\ref{thm:TessellationDimension} its
value is equal to $\overline\dim_BA$. In concrete applications we choose the basic shape $U$
and $\lambda\in(0,1)$ that are best suited to the geometry of $A$. For example, if $A$ is the triadic Cantor set, we take $U=[0,1]$ and $\lambda=1/3$, while for the
Sierpinski gasket we take $U$ to be an equilateral triangle and $\lambda=1/2$.
\end{remark}


\begin{example} 
Let $F$ be the 1-dimensional self-similar set from Examples \ref{eg:BoxCountingFractalStringOf1DFractal} and \ref{eg:BoxCountingZetaFunction1DFractal}. We define $U$ as the unit square $[0,1]^2$ and $\lambda=1/4$. Here, the scale $l_n(1/4)=1/4^n$ occurs with multiplicity $m_n(1/4)=9\cdot4^n$, defining the corresponding tessellation fractal string $\mathcal{L}(F,U,1/4)$. For $\textnormal{Re}(s)>1$, the tessellation zeta function is given by 
$$
\zeta_{\mathcal{L}(F,U,1/4)}(s) = \sum_{n=1}^\infty 9\cdot4^n\cdot 4^{-ns}=\frac9{4^{s-1}-1}.
$$
According to Theorem~\ref{thm:TessellationDimension}, the abscissa of convergence  $D_{\mathcal{L}(F,U,1/4)}=1$ equal to the box-counting dimension of $F$. It follows that $\zeta_{\mathcal{L}(F,U,1/4)}(s)$ has a meromorphic extension to all of $\mathbb{C}$ given by $9(4^{s-1}-1)^{-1}$. Furthermore, the set of tessellation complex dimensions is equal to the set $\calD_B$ of box-counting complex dimensions given in~ \eqref{eqn:1DBoxCountingComplexDimensions}. That is,
\[
\calD_{\mathcal{L}(F,U,1/4)}=\calD_B=\left\{ 1 + i\frac{2\pi}{\log 4}z : z\in\mathbb{Z} \right\}.
\]
Note that the tessellation fractal string $\mathcal{L}(F,U,1/4)$ is unbounded, in the sense that the series given by $\zeta_{\mathcal{L}(F,U,1/4)}(1)$ is divergent.

Analogous results hold regarding the Cantor set $C$ and its (classical and box-counting) fractal strings, zeta functions, and complex dimensions. Further (higher-dimensional) examples will be studied in \cite{LapRoZu}.
\end{example}






\section{Distance and tube zeta functions}
\label{sec:DistanceAndTubeZetaFunctions}

In this section, we deal with a class of zeta functions introduced by the first author during the 2009 ISAAC Conference at the University of Catania in Sicily, Italy. More generally, the main results of this section are obtained in the forthcoming paper \cite{LapRaZu}, written by the first and third authors, along with Goran Radunovi\'c. We state here only some of the basic results, without attempting to work at the greatest level of generality. We refer to \cite{LapRaZu} for more general statements and additional results and illustrative examples.

The following definition can be found in \cite{LapRaZu}. 
\begin{definition} 
\label{def:DistanceZetaFunction}
Let $A \subset \mathbb{R}^m$ be bounded. The \emph{distance zeta function} of $A$, denoted $\zeta_d$, is defined by
\begin{align}
\label{eqn:DistanceZetaFunction}
\zeta_d(s)	&:=\int_{A_\varepsilon}d(x,A)^{s-m}dx
\end{align}
for $\textnormal{Re}(s)>D_d$, where $D_d=D_d(A)$ denotes the abscissa of convergence of the distance zeta function $\zeta_d$ and $\varepsilon$ is a fixed positive number. 
\end{definition}

\begin{remark}
\label{rmk:IndependentOfVarepsilon}
It is shown in \cite{LapRaZu} that 
changing the value of $\varepsilon$ modifies the distance zeta function by adding an entire function to $\zeta_d$. Hence, the main properties of $\zeta_d$ do not depend on the choice of $\varepsilon>0$. As a result, this is also the case for $D_d$, the abscissa of convergence of $\zeta_d$ (cf. Theorem \ref{thm:DistanceZetaFunctionUpperBoxDimension}), and $\textnormal{res}(\zeta_d;D_d)$, the residue of $\zeta_d$ at $s=D_d$ (cf. Theorem \ref{thm:DistanceZetaFunctionAndMinkowskiContent}).
\end{remark}

The distance zeta function can be used as an effective tool in the computation of the box-counting dimensions of various subsets $A$ of some Euclidean space; see \cite{LapRaZu}. Indeed, one of the basic results concerning the distance zeta function is given in the following theorem, which is Theorem 1 in \cite{LapRaZu}. Note: unlike in Theorem \ref{thm:JohnnyDarko} above, we allow $A$ to be finite here.

\begin{theorem}
\label{thm:DistanceZetaFunctionUpperBoxDimension}
Let $A$ be a nonempty bounded subset of $\mathbb{R}^m$. Then $D_d=\overline{\dim}_{B}A$.
\end{theorem}

\begin{corollary}
\label{cor:holomorphic}
$\zeta_d$ is holomorphic in the half-plane $\textnormal{Re}(s)>\overline{\dim}_BA$. Furthermore, this open right half-plane is the largest one in which $\zeta_d(s)$ is holomorphic.  
\end{corollary}

\begin{remark}
\label{rmk:LowerBoxCountingDimensionFromDistanceZetaFunction}
We do not know if the value of the \emph{lower} box-counting dimension $\underline{\dim}_BA$ can be computed from the distance zeta function $\zeta_d$.
\end{remark}

It is shown in \cite{LapRaZu} that the distance zeta function represents a natural extension of the geometric zeta function $\zeta_{\mathcal{L}}$ of a bounded (i.e., summable) fractal string $\mathcal{L}=(\ell_j)_{j\in\mathbb{N}}$. Indeed, we can identify the string with an ordinary fractal string of the form $\Omega=\cup_{j=1}^\infty I_j$, where $I_j:=(a_{j+1},a_j)$ and $a_j:=\sum_{k\ge j}\ell_k$. Note that $|I_j|=\ell_j$. Defining $A=\{a_j\}_{j=1}^\infty\subset\mathbb{R}$, it is easy to see that $\zeta_d(s)=a(s)\zeta_{\mathcal{L}}(s)+b(s)$, where $a(s)$ vanishes nowhere and $a(s)$ and $b(s)$ are explicit meromorphic functions in the complex plane with (typically) a pole at the origin. Hence, the zeta functions  $\zeta_\mathcal{L}$ and $\zeta_d$ have the same abscissa of convergence. \emph{It follows that if $\mathcal{L}$ is nontrivial} (\emph{i.e., has infinitely many lengths}), \emph{then}\footnote{If we allow $\mathcal{L}$ to be trivial, then one should replace $D_d(A)$ and $D_\mathcal{L}$ with $\max\{D_d(A),0\}$ and $\max\{D_\mathcal{L},0\}$, respectively, in Equation \eqref{eqn:DistanceDimensionEquivalence}.}
\begin{align}
\label{eqn:DistanceDimensionEquivalence}
D_d(A)=D_\mathcal{L}=\overline{\dim}_BA=\overline{\dim}_B(\partial\Omega).
\end{align}


\subsection{Minkowski content and residue of the distance zeta function}
\label{sec:MinkowskiContentAndResidueOfTheDistanceZetaFunction}

A remarkable property of the distance zeta function is that its residue at $s=D_d$ is closely related to the $D_d$-dimensional Minkowski content of $A$; see \cite{LapRaZu}.

\begin{theorem}
\label{thm:DistanceZetaFunctionAndMinkowskiContent}
Let $A$ be a nonempty bounded set in $\mathbb{R}^m$.
Assuming that the distance zeta function can be meromorphically extended to a neighborhood of $s=D_d$ and $D_d<m$, then for its residue at $s=D_d$ we have that
\begin{align}
\label{inequality}
(m-D_d){\mathscr{M}}_*^{D_d}\le \operatorname{res}(\zeta_d(s);D_d)\le(m-D_d){\mathscr{M}}^{*D_d}.
\end{align}
If, in addition, $A$ is Minkowski measurable, it then follows that
\begin{align}
\label{eqn:MinkowskiContentAsResidue}
\operatorname{res}(\zeta_d(s);D_d)=(m-D_d){\mathscr{M}}^{D_d}.
\end{align}
\end{theorem}

The last part of this result (namely, Equation \eqref{eqn:MinkowskiContentAsResidue}) generalizes the corresponding one obtained in \cite{LapvF6} in the context of ordinary fractal strings to the case of bounded sets in Euclidean spaces; see \cite{LapRaZu}.

\begin{example}
It can be shown that, in the case of the Cantor set $C$, we have strict inequalities in Equation \eqref{inequality}. Indeed, in this case $m=1$, $D_d=\log_{3}2$, and
$$
\operatorname{res}(\zeta_d(s);D_d)=\frac1{\log2}\,2^{-D_d},
$$
whereas the values of the lower and upper $D_d$-dimensional Minkowski contents have been computed in \cite[Theorem 2.16]{LapvF6} (as well as earlier in \cite{LapPo1}):
$$
{\mathscr{M}}_*^{D_d}(A)=\frac1{D_d}\left(\frac{2D_d}{1-D_d} \right)^{1-D_d} ,\quad
{\mathscr{M}}^{*D_d}(A)=2^{2-D_d}.
$$
This is a special case of an example in~\cite{LapRaZu} dealing with generalized Cantor sets. Generalized Cantor strings, which are a certain type of generalized fractal strings, and their (geometric and spectral) oscillations are studied in detail in \cite[Ch.~10]{LapvF6}.
\end{example}

\begin{remark}
An open problem is to determine whether there exists a set $A$ such that one of the inequalities in Equation \eqref{inequality} is strict and the other is an equality.
\end{remark}

\begin{remark}
\label{rmk:Resman}
According to a recent result due to Maja Resman in \cite{Res}, we know that if $A$ is Minkowski measurable, then the value of the \emph{normalized} $D_d$-\emph{dimensional Minkowski content} of a bounded set $A \subset \mathbb{R}^m$,\footnote{This choice of normalized Minkowski content is well known in the literature; see, e.g., \cite{Fdrr}.} defined by
\begin{align}
\label{eqn:DdMinkowskiContent}
\frac{{\mathscr{M}}^{D_d}(A)}{\omega(m-D_d)},
\end{align}
is independent of the ambient dimension $m$. Here, for $t>0$, we let 
\[
\omega(t):=2\pi^{t/2}t^{-1}\Gamma(t/2)^{-1},
\]
where $\Gamma$ is the classic Gamma function. For any positive integer $k$, $\omega(k)$ is equal to the $k$-dimensional Lebesgue measure of the unit ball in $\mathbb{R}^k$. In other words, the value given in Equation \eqref{eqn:DdMinkowskiContent} is intrinsic to the set $A$ and hence independent of the embedding of $A$ in $\mathbb{R}^k$. Therefore, we may ask if the value of the normalized residue,
\begin{align*}
\frac{\mbox{res}(\zeta_d(s);D_d)}{(m-D_d)\,\omega(m-D_d)},
\end{align*}
is also independent of $m$. Combining the preceding two results (namely, Theorems \ref{thm:DistanceZetaFunctionUpperBoxDimension} and \ref{thm:DistanceZetaFunctionAndMinkowskiContent}), we immediately deduce that if $A$ is Minkowski measurable, then the answer is positive.
\end{remark}

\subsection{Tube zeta function}
\label{sec:TubeZetaFunction}

Given $\varepsilon>0$, it is also natural to introduce the following zeta function of a bounded set $A$ in $\mathbb{R}^m$, involving the tube around $A$ (which we view as the mapping $t\mapsto |A_t|$, for $0\leq t\leq\varepsilon$):\footnote{In the sequel, $|A_t|=|A_t|_m$ denotes the $m$-dimensional volume (Lebesgue measure) of $A_t$, the $t$-neighborhood of $A\subset\mathbb{R}^m$. In our earlier notation, we have $|A_t|=\textnormal{vol}_m(A_t)$.}
\begin{align}
\label{tube_zeta}
\tilde\zeta_A(s)	&=\int_0^\varepsilon t^{s-m-1}|A_t|\,dt,
\end{align}
for $\textnormal{Re}(s)$ sufficiently large, where $\varepsilon$ is a fixed positive number. Hence, $\tilde\zeta_A$ is called the \emph{tube zeta function} of $A$. Its abscissa of convergence is equal to $\overline{\dim}_{B}A$, which follows immediately from Theorems \ref{thm:DistanceZetaFunctionUpperBoxDimension} above and \ref{thm:DistanceAndTubeZetaFunctions} below. Tube zeta functions are closely related to distance zeta functions, as shown by the following result; see \cite{LapRaZu}.

\begin{theorem}
\label{thm:DistanceAndTubeZetaFunctions}
If $A\subset\mathbb{R}^m$ and $\operatorname{Re}(s)>\overline{\dim}_BA$, then for any $\varepsilon>0$,
\begin{equation}
\label{identity}
\zeta_d(s)	=\varepsilon^{s-m}|A_\varepsilon|+(m-s)\tilde\zeta_A(s).
\end{equation}
\end{theorem}

The proof of this result when $s\in\mathbb{R}$ follows, for example, from \cite[Theorem~2.9(a)]{Zu0}, and the proof of the cited theorem is based on integration by parts. By analytic continuation and in light of Corollary \ref{cor:holomorphic}, the identity \eqref{identity} is then extended to complex values of $s$ such that $\textnormal{Re}(s)>\overline{\dim}_BA$.

It follows from \eqref{identity} that the abscissae of convergence of the zeta functions $\zeta_d$ and $\tilde\zeta_A$ are the same, and therefore also coincide with $\overline{\dim}_BA$. This identity, \eqref{identity}, extends to the  $m$-dimensional case \cite[identity (13.129) in Lemma 13.110, p.~442]{LapRaZu}, which has been formulated in the context of $p$-adic fractal strings and ordinary (real) fractal strings. (See also \cite{LapLuvF1}.) Using \eqref{identity} and Theorem \ref{thm:DistanceZetaFunctionAndMinkowskiContent}, it is easy to derive the following consequence; see \cite{LapRaZu}.

\begin{corollary} 
\label{cor_res}
If $D=\dim_BA$ exists, $D<m$, and there exists a meromorphic extension of $\tilde\zeta_A(s)$ to a neighborhood of $s=D$, then
\begin{align*}
&{\mathscr{M}}_*^D \le\operatorname{res}(\tilde\zeta_A(s);D)\le {\mathscr{M}}^{*D}.
\end{align*}
In particular, if $A$ is Minkowski measurable, then 
\begin{align*}
\operatorname{res}(\tilde\zeta_A(s);D)	&={\mathscr{M}}^D.
\end{align*}
\end{corollary}

As we can see, the tube zeta function is ideally suited to study the Minkowski content.

In Corollary~\ref{cor_res}, we have assumed the existence of a meromorphic extension of the tube zeta function to a neighborhood of $s=D$. This condition can be ensured under fairly general conditions. We provide a result from~\cite{LapRaZu} dealing with the case of Minkowski measurable sets. Non-Minkowski measurable sets can be treated as well; see \cite{LapRaZu}, along with Remark \ref{rmk:NonMinkowskiAnalogs} and Theorem \ref{thm:NonMinkowskiMeasurableCase}. 

\begin{theorem}[Minkowski measurable case]
\label{mer}
Let $A$ be a subset of $\mathbb{R}^m$ such that there exist  $\alpha>0$, $M\in(0,\infty)$ and $D\in[0,m]$,  satisfying
\begin{align}
\label{eqn:MinkowskiMeasurableCase}
|A_t| &= t^{m-D}\left(M+O(t^\alpha)\right)\quad\mbox{as $t\to 0^+$.}
\end{align}
Then $A$ is Minkowski measurable, $\operatorname{dim}_BA=D$, and $\mathscr{M}^D(A)=M$. Furthermore, the tube zeta function $\tilde{\zeta}_A(s)$ has for abscissa of convergence  $D(\tilde\zeta_A)=D$, and it admits a \emph{(}necessarily unique\emph{)} meromorphic continuation {\rm({\it at least})} to the half-plane $\{\operatorname{Re}(s)>D-\alpha\}$. The only pole in this half-plane is $s=D$; it is simple, and $\operatorname{res}(\tilde\zeta_A;D)=M$.
\end{theorem}

An analogous result holds also for the distance function of $A$. Theorem~\ref{mer} shows that  the relevant information concerning the possible existence of a nontrivial meromorphic extension of the tube (or the distance) zeta function associated with~$A$, is encoded in the second term of the asymptotic expansion (as $t \to 0^+$) of the tube function $t\mapsto|A_t|$. Various extensions of this result and examples can be found in~\cite{LapRaZu}, as we next discuss. For example, in Theorem \ref{mer}, the conclusion for $\zeta_d$ would be the same except for the fact that $\operatorname{res}(\zeta_d(s);D)=(m-D)M$ (and $D=D_d(A)$, in our earlier notation from Equation \eqref{eqn:DistanceDimensionEquivalence}, for instance). 

\begin{remark}
\label{rmk:NonMinkowskiAnalogs}
In \cite{LapRaZu}, one can find suitable analogs of Theorem \ref{mer} for non-Minkowski measurable sets, both in the case where the underlying scaling behavior of $|A_t|$ is log-periodic (as for the Cantor set or the Sierpinski gasket and carpet, for example) and in more general, non-periodic situations. Furthermore, in that case, the (visible) complex dimensions of $A$ (i.e., the poles of $\tilde{\zeta}_A$ in the half-plane $\{\textnormal{Re}(s)>D-\alpha\}$, with $\alpha>0$, are also determined, and shown to consist of a vertical infinite arithmetic progression located on the `critical line' $\{\textnormal{Re}(s)=D\}$ (much as for the Cantor string and other lattice self-similar strings); see Theorem \ref{thm:NonMinkowskiMeasurableCase} below for a typical sample theorem. In \cite{LapRaZu}, the case of so-called `quasi-periodic' fractals is also considered in this and related contexts. In the latter situation, one appeals, in particular, to well-known (and rather sophisticated) number theoretic theorems asserting the transcendentality (and hence, the irrationality) of certain expressions. It is noteworthy that (in light of Theorem \ref{thm:DistanceAndTubeZetaFunctions}) all of these results concerning $\tilde{\zeta}_A$ have precise counterparts for the distance zeta function $\zeta_d$; see \cite{LapRaZu}.  
\end{remark}

In order to state more precisely a sample theorem in the non-Minkowski measurable case, we introduce the following hypothesis (LP) (log-periodic) and notation:

\begin{itemize} 
\item[(LP)] Let $A\subset\mathbb{R}^m$ be a bounded set such that there exists $D\geq 0, \alpha>0$ and a periodic function $G:\mathbb{R}\to [0,\infty)$ with minimal period $T>0$, satisfying
\end{itemize}
\begin{align}
\label{eqn:NonConstantPeriodic}
|A_t| &= t^{m-D}(G(\log{t^{-1}})+O(t^\alpha)), \quad \textnormal{as } t\to 0^+.
\end{align}
In the sequel, let
\begin{align}
\label{eqn:NonConstantPeriodicIntegral}
\hat{G}_0(t) &= \int_0^T e^{-2\pi it\tau}G(\tau)\,d\tau, \quad \textnormal{for } t\in\mathbb{R}.
\end{align}
Note that $G$ is nonconstant since we have assumed it to have a positive minimal period, and that $\hat{G}_0$ is (essentially) the Fourier transform of the cut-off function $G_0$ of $G$ to $[0,T]$.

\begin{theorem}[Non-Minkowski measurable case]
\label{thm:NonMinkowskiMeasurableCase}
Assume that the bounded set $A\subset\mathbb{R}^m$ satisfies the log-periodicity property \emph{(LP)} above.  Then $\dim_BA$ exists, $\dim_BA=D$, $G$ is continuous and\footnote{It follows that the restriction of $G$ to $[0,T]$ has for range $[\calM^D_*(A),\calM^{*D}(A)]$.}
\begin{align}
\label{eqn:UpperLowerMinkowskiContentNonMinkCase}
\calM^D_*(A)&=\min{G}, \quad \calM^{*D}(A)=\max{G}.
\end{align}
Hence, $A$ is not Minkowski measurable and \emph{(}provided $G>0$\emph{)} is non-degenerate, i.e., $0<\calM^D_*(A)<\calM^{*D}(A)<\infty$.

Furthermore, $\tilde{\zeta}_A$ admits a \emph{(}necessarily unique\emph{)} meromorphic continuation to the half-plane $\{\textnormal{Re}(s)>D-\alpha\}$ with only poles 
\begin{align}
\label{eqn:PolesNonMinkowskiCase}
\mathcal{P}(\tilde{\zeta}_A)	&=\left\lbrace s_k:=D+\frac{2\pi}{T}ik: \hat{G}_0\left(\frac{k}{T}\right)\neq 0, k\in\mathbb{Z}\right\rbrace,
\end{align}
where $\hat{G}_0$ is given by \eqref{eqn:NonConstantPeriodicIntegral}. These poles are all simple and\footnote{In addition, $|\textnormal{res}(\tilde{\zeta}_A;s_k)|\leq\frac{1}{T}\int_0^TG(\tau)\,d\tau$ for all $k\in\mathbb{Z}$, and $\textnormal{res}(\tilde{\zeta}_A;s_k)\to 0$ as $|k|\to\infty$.}
\begin{align}
\label{eqn:ResiduesNonMinkCase}
\textnormal{res}(\tilde{\zeta}_A;s_k)	&= \frac{1}{T}\hat{G}_0\left(\frac{k}{T}\right), \quad \textnormal{for all }k\in\mathbb{Z}.
\end{align}
In particular, for $k=0$, we have that 
\begin{align}
\label{eqn:ResidueAsIntegralNonMinkCase}
\textnormal{res}(\tilde{\zeta}_A;D)	&=\frac{1}{T}\int_0^TG(\tau)\,d\tau.
\end{align}

Finally, $A$ admits an average Minkowski content $\calM^D_{av}$ \emph{(}which lies in $(0,\infty)$ if $G>0$\emph{)} that is also given by \eqref{eqn:ResidueAsIntegralNonMinkCase}.\footnote{This average Minkowski content is defined exactly as in \cite[Definition~8.29,\S 8.4.3]{LapvF6}, except for the fact that $1-D$ is replaced with $m-D$.}   
\end{theorem} 

\begin{remark}
\label{rmk:CounterpartTheoremForDistanceZetaFunctions}
As was alluded to in Remark \ref{rmk:NonMinkowskiAnalogs}, Theorem \ref{thm:NonMinkowskiMeasurableCase} has a precise counterpart for the distance zeta function $\zeta_d$. In fact, under the same assumption (LP), the same conclusions as in Theorem \ref{thm:NonMinkowskiMeasurableCase} hold, except for the fact that the counterpart of \eqref{eqn:ResiduesNonMinkCase} and \eqref{eqn:ResidueAsIntegralNonMinkCase}, respectively, reads as follows (with $D=D_{d}(A)$, as in Equation \eqref{eqn:DistanceDimensionEquivalence} and Theorems \ref{thm:DistanceZetaFunctionAndMinkowskiContent} and \ref{thm:NonMinkowskiMeasurableCase}):
\begin{align}
\label{eqn:ResiduesNonMinkCaseDistance}
\textnormal{res}(\zeta_d;s_k)	&= \frac{m-s_k}{T}\hat{G}_0\left(\frac{k}{T}\right), \quad \textnormal{for all }k\in\mathbb{Z},
\end{align}
and 
\begin{align}
\label{eqn:ResidueAsIntegralNonMinkCaseDistance}
\textnormal{res}(\zeta_d;D)	&=(m-D)\frac{1}{T}\int_0^TG(\tau)\,d\tau,
\end{align}
so that $\calM^D_{av}(A)$, the average Minkowski content of $A$, is now given by 
\begin{align}
\label{eqn:AverageMinkowskiContent}
\calM^D_{av}(A)	&=\frac{1}{T}\int_0^TG(\tau)\,d\tau=\frac{1}{m-D}\textnormal{res}(\zeta_d;D).
\end{align}
\end{remark}

\begin{example}
\label{eg:IllustratingNonMinkCase}
Theorem \ref{thm:NonMinkowskiMeasurableCase} (and its counterpart for $\zeta_d$ discussed in Remark \ref{rmk:CounterpartTheoremForDistanceZetaFunctions}) can be illustrated, for instance, by the Cantor set or string (see \cite{LapRaZu} and compare with \cite[\S 1.1.2]{LapvF6}, including Figures 1.4 and 1.5) and the Sierpinski carpet (as well as, similarly, by the Sierpinski gasket). For the Sierpinski carpet $A$, as discussed in \cite{LapRaZu}, we have $D=\log_{3}8$, $\alpha=D-1$, and $T=\log{3}$. Hence, both $\tilde{\zeta}_A$ and $\zeta_d$ have a meromorphic continuation to $\left\lbrace \textnormal{Re}(s)>1\right\rbrace$, with set of (simple) poles (the visible complex dimensions of $A$) given by
\begin{align}
\label{eqn:IllustrationNonMinkCaseComplexDimensions}
\mathcal{P}(\tilde{\zeta}_A)	&= \mathcal{P}(\zeta_d) = \left\lbrace D+\frac{2\pi}{T}ik: \hat{G}_0\left(\frac{k}{T}\right)\neq 0, k\in\mathbb{Z}\right\rbrace.
\end{align}
Actually, in this case, both $\tilde{\zeta}_A$ and $\zeta_d$ can be meromorphically extended to all of $\mathbb{C}$.
\end{example}

A number of other results concerning the existence of meromorphic continuation of $\tilde{\zeta}_A$ and $\zeta_d$ (as well as $\zeta_\mathcal{L}$, in the case of fractal strings) and the resulting structure of the poles (the visible complex dimensions) can be found in \cite{LapRaZu}, under various assumptions on the bounded set $A\subset\mathbb{R}^m$ (or on the fractal string $\mathcal{L}$). Moreover, a number of other applications of the distance and tube zeta functions are provided in \cite{LapRaZu}, in order to study various classes of fractals, including fractal chirps and `zigzagging' fractals.

\begin{remark}
The box-counting zeta function $\zeta_B$ of a set $A \subset \mathbb{R}^m$ given by Definition \ref{def:BoxCountingZetaFunction} is closely related to the tube zeta function $\tilde\zeta_A$. To see this, it suffices to perform the change of variables $x=t^{-1}$ in Equation \eqref{tube_zeta} and compare with Corollary~\ref{cor:EquivalentZetaFunctions}. Note that for $x>0$, we have  (under suitable hypotheses) $|A_{1/x}|\asymp x^{-m}N_B(A,x)$ as $x\to\infty$. Here, $N_B(A,x)$ is defined as the number of $x^{-1}$-mesh cubes that intersect $A$; see (iv) in Remark \ref{rmk:VariousCountingFunctions}. It is clear, however, that these two zeta functions are in general not equal to each other. Moreover, we do not know if the corresponding two sets of complex dimensions of $A$, associated with these two zeta functions, coincide.
\end{remark}

Various generalizations of the notion of distance zeta function are possible. One of them, which is especially interesting, deals with zeta functions associated to relative fractal drums. By a \emph{relative fractal drum}, introduced in \cite{LapRaZu}, we mean an ordered pair $(A,\Omega)$, where $A$ is an arbitrary nonempty subset of $\mathbb{R}^m$, and $\Omega$ is an open subset such that $A_\varepsilon$ contains $\Omega$ for some positive $\varepsilon$, and the $m$-dimensional Lebesgue measure of $\Omega$ is finite. (Note that both $A$ and $\Omega$ are now allowed to be unbounded.) The corresponding \emph{relative zeta function} (or the distance zeta function of the relative fractal drum), also introduced in \cite{LapRaZu}, is defined in much the same way as in Equation \eqref{eqn:DistanceZetaFunction}:
\begin{align*}
\zeta_d(s;A,\Omega)	&:=\int_{\Omega}d(x,A)^{s-m}dx.
\end{align*}

It is possible to show that the abscissa of convergence of the relative zeta function is equal to the relative box dimension $\overline\dim_B(A,\Omega)$; see \cite{LapRaZu} for details and illustrative examples.\footnote{We caution the reader that, in general, the relative upper box dimension (defined as an infimum over $\alpha \in \mathbb{R}$ instead of over $\alpha\geq 0$) may be negative and that there are even cases where it is equal to $-\infty$ (e.g., when $\textnormal{dist}(A,\Omega)>0)$; see \cite{LapRaZu}.}

\begin{remark}
\label{rmk:StandardFractalDrum}
For the standard notion of fractal drum, which corresponds to the choice $A=\partial\Omega$ with $\Omega$ bounded, we refer, e.g., to \cite{Lap1,Lap2} along with \cite[\S 12.5]{LapvF6} and the relevant references therein. 
\end{remark}

\begin{remark}
\label{rmk:RelativeFractalDrums}
It is easy to see that the notion of relative fractal drum $(A,\Omega)$ is a natural extension of the notion of fractal string ${\mathcal{L}}=\{\ell_j\}$. Indeed, for a given (standard) fractal string ${\mathcal{L}}=\{\ell_j\}$, it suffices to define $A=\{a_j\}$, where $a_j:=\sum_{k\ge j}\ell_k$ and $\Omega=\cup_{k\ge1} (a_{k+1},a_k)$. We caution the reader that the notion of generalized fractal string already exists but does not coincide with the notion of relative fractal drum. Specifically, in \cite[Ch.~4]{LapvF6}, a generalized fractal string is defined to be a locally positive or locally complex measure on $(0,\infty)$ supported on a subset of $(x_0,\infty)$, for some positive real number $x_0$.
\end{remark}


\section{Summary of results and open problems}
\label{sec:SummaryOfResultsAndOpenProblems}

For a bounded infinite set $A$, recall that $\overline{\dim}_{B}A$ denotes the upper box-counting dimension of $A$ given by Equation \eqref{eqn:UpperBoxDimension}, $\overline{\dim}_{M}A$ denotes the upper Minkowski dimension of $A$ given by Equation \eqref{eqn:UpperMinkowskiDimension}, $D_B$ denotes the abscissa of convergence of the box-counting zeta function $\zeta_B$ of $A$ given in Definition \ref{def:BoxCountingZetaFunction}, $\rho_\mathcal{L}$ denotes the order of the geometric counting function $N_\mathcal{L}$ given by Equation \eqref{eqn:OrderOfCountingFunction} where $\mathcal{L}=\mathcal{L}_B$, $D_N$ denotes the value corresponding to the (asymptotic) growth rate of $N_\mathcal{L}$ given by Equation \eqref{eqn:CountingFunctionD}, and $D_d$ is the abscissa of convergence of the distance zeta function $\zeta_d$ given in Definition \ref{def:DistanceZetaFunction}. Furthermore, let $D_t$ denote the abscissa of convergence of the tube zeta defined in Equation \eqref{tube_zeta}.

The following theorem summarizes our main result (as stated in Theorem \ref{thm:Summary} of the introduction), which pertains to the determination of the box-counting dimension of a bounded infinite set. (Recall that the equalities $\overline{\dim}_{B}A=D_d=D_t$ are established in \cite{LapRaZu}; see Theorem \ref{thm:DistanceZetaFunctionUpperBoxDimension} and the comment following Theorem \ref{thm:DistanceAndTubeZetaFunctions} above.)

\begin{theorem}
\label{thm:MainResult}
Let $A$ be a bounded infinite subset of $\mathbb{R}^m$ and let $\mathcal{L}=\mathcal{L}_B$ be the corresponding box-counting fractal string. Then the following equalities hold\emph{:}
\begin{align*}
\overline{\dim}_{B}A &= \overline{\dim}_{M}A = D_B = \rho_\mathcal{L} = D_N = D_d=D_t.
\end{align*} 
\end{theorem}

\begin{proof}
The classic equality $\overline{\dim}_{B}A = \overline{\dim}_{M}A$ is established in \cite{Falc}. The equality $\overline{\dim}_{M}A=D_B=D_N$ follows from Theorem \ref{thm:JohnnyDarko}. The equality $\rho_\mathcal{L}=D_N$ follows from Remark \ref{rmk:DimensionEqualsOrder}. Finally, as was recalled just above, the equalities $\overline{\dim}_{M}A=D_d$ and $\overline{\dim}_{M}A=D_t$ are established in \cite{LapRaZu}; see Theorem \ref{thm:DistanceZetaFunctionUpperBoxDimension} and the comment following Theorem \ref{thm:DistanceAndTubeZetaFunctions}. These last two equalities are valid whether or not $A$ is infinite.
\end{proof}

Recall that, as stated in Definition \ref{def:BoxCountingFunction}, $N_B(A,x)$ denotes the maximum number of disjoint balls of radius $x^{-1}$ centered in $A$. In this setting and for $\varepsilon>0$ we have
\begin{align}
\label{eqn:LowerBoundForVolume}
B_m \varepsilon^m N_B(A,\varepsilon^{-1}) \leq |A_\varepsilon|,
\end{align}
where $A_\varepsilon$ is the $\varepsilon$-neighborhood of $A$, $|A_\varepsilon|=|A_\varepsilon|_m$ $B_m$ is the $m$-dimensional volume of a ball in $\mathbb{R}^m$ with unit radius, and $0<\varepsilon<x_1^{-1}$, where $x_1^{-1}$ is given by Proposition \ref{prop:BoxCountingJumps}. 

Motivated by Equation \eqref{eqn:LowerBoundForVolume} and Theorem \ref{thm:CountingFunctionAndComplexDimensions}, we propose the following open problem (which is stated rather roughly here).

\begin{openproblem}
\label{op:BoxCountingAndCountingFormulas}
Let $A$ be a bounded infinite subset of $\mathbb{R}^m$ with box-counting fractal string $\mathcal{L}_B$. Assume suitable growth conditions on $\zeta_B$ \emph{(}such as the languidity of $\zeta_B$ on an appropriate window, see \emph{\cite[Chs.~5 \& 8]{LapvF6})} and assume for simplicity that all of the complex dimensions are simple \emph{(}i.e., are simple poles of $\zeta_B$\emph{)}. Then, as $\varepsilon\to 0^+$, compare the quantities
\begin{align}
\label{eqn:VolumeFormulaOpenProblem}
|A_\varepsilon|, \quad \varepsilon^m N_{\mathcal{L}_B}(\varepsilon^{-1}), \quad \textnormal{and } \, \varepsilon^m \left(\sum_{\omega \in \calD_B}
\frac{\varepsilon^{-\omega}}{\omega}\textnormal{res}(\zeta_B(s);\omega) +  R(\varepsilon^{-1})\right), 
\end{align}
where $R(\varepsilon^{-1})$ is an error term of small order. 
\end{openproblem}

If one were to provide a more precise version of the above open problem and solve it, one might consider pursuing a generalization of Theorem \ref{thm:CriterionForMinkowskiMeasurability} in the spirit of the theory of complex dimensions of fractal strings, as described in \cite{LapvF6}, and of its higher-dimensional counterpart in \cite{LapPe3,LapPe2,LapPeWin}. Naturally, the clarified version of this open problem would consist of replacing the implicit `approximate equalities' in Equation \eqref{eqn:VolumeFormulaOpenProblem} with true equalities, modulo suitable modifications  and under appropriate hypotheses.

Analogously (but possibly more accurately), in light of the results from \cite{LapRaZu} discussed in Section \ref{sec:DistanceAndTubeZetaFunctions}, as well as from the results about fractal tube formulas obtained in \cite[Ch.~~8]{LapvF6} for fractal strings and in \cite{LapPe3,LapPe2} and especially \cite{LapPeWin} in the higher-dimensional case (for fractal sprays and self-similar tilings),\footnote{A survey of the results of \cite{LapPe3,LapPe2,LapPeWin} can be found in \cite[\S 13.1]{LapvF6}.} we propose the following open problem. (A similar problem can be posed for the tube zeta function $\tilde\zeta_A$ discussed in Section \ref{sec:TubeZetaFunction}.)

\begin{openproblem}
\label{op:VolumeTubularNeighborhood}
Let $A$ be a bounded subset of $\mathbb{R}^m$ with distance zeta function $\zeta_d$. Under suitable growth assumptions on $\zeta_d$ \emph{(}such as the languidity of $\zeta_B$ on an appropriate window, see \emph{\cite[Chs.~5 \& 8]{LapvF6})}, and assuming for simplicity that all of the corresponding complex dimensions are simple, calculate the volume of the tubular neighborhood of $A$ in terms of the complex dimensions of $A$ \emph{(}defined here as the poles of the meromorphic continuation of $\zeta_d$ union the `integer dimensions' \{0,1,\ldots,m\}\emph{)} and the associated residues. 

Moreover, even without assuming that the complex dimensions are simple, express the resulting fractal tube formula as a sum of residues of an appropriately defined `tubular zeta function' \emph{(}in the sense of \emph{\cite{LapPe3,LapPe2,LapPeWin,LapPeWi2})}.
\end{openproblem}

\section*{Acknowledgments}

The first author (M.~L.~Lapidus) would like to thank the Institut des Hautes Etudes Scientifiques (IHES) in Bures-sur-Yvette, France, for its hospitality while he was a visiting professor in the spring of 2012 and this paper was completed.

The authors would like to thank our anonymous referees. They provided helpful comments and suggestions in their very thorough reviews of a preliminary version of this paper.

In closing, the authors would like to thank the Department of Mathematics at the University of Messina and the organizers of the Permanent International Session of Research Seminars (PISRS), especially Dr.\ David Carfi, for their organization of and invitations to speak in the First International Meeting of PISRS, Conference 2011: Analysis, Fractal Geometry, Dynamical Systems, and Economics. The authors' participation in this conference led directly to collaboration on the development of the new results presented in the paper, namely the results pertaining to box-counting fractal strings and box-counting zeta functions. 


\bibliographystyle{amsalpha}


2013-02-04T02:00:32.000
1207
1207.6681
en
https://arxiv.org/abs/1207.6681
We discuss a number of techniques for determining the Minkowski dimension of bounded subsets of some Euclidean space of any dimension, including: the box-counting dimension and equivalent definitions based on various box-counting functions; the similarity dimension via the Moran equation (at least in the case of self-similar sets); the order of the (box-)counting function; the classic result on compact subsets of the real line due to Besicovitch and Taylor, as adapted to the theory of fractal strings; and the abscissae of convergence of new classes of zeta functions. Specifically, we define box-counting zeta functions of infinite bounded subsets of Euclidean space and discuss results pertaining to distance and tube zeta functions. Appealing to an analysis of these zeta functions allows for the development of theories of complex dimensions for bounded sets in Euclidean space, extending techniques and results regarding (ordinary) fractal strings obtained by the first author and van Frankenhuijsen.
Mathematical Physics (math-ph); Number Theory (math.NT)
Box-counting fractal strings, zeta functions, and equivalent forms of Minkowski dimension
Qwen/Qwen-72B
1. YES
2. YES