1. CJM Online first
 Hare, Kathryn; Hare, Kevin; Ng, Michael Ka Shing

Local dimensions of measures of finite type II  Measures without full support and with nonregular probabilities
Consider a finite sequence of linear contractions $S_{j}(x)=\varrho
x+d_{j}$ and
probabilities $p_{j}\gt 0$ with $\sum p_{j}=1$. We are interested
in the
selfsimilar measure $\mu =\sum p_{j}\mu \circ S_{j}^{1}$, of
finite type.
In this paper we study the multifractal analysis of such measures,
extending the theory to measures arising from nonregular probabilities
and
whose support is not necessarily an interval.
Under some mild technical assumptions, we prove that there exists
a subset
of supp$\mu $ of full $\mu $ and Hausdorff measure, called the
truly
essential class, for which the set of (upper or lower) local
dimensions is a
closed interval. Within the truly essential class we show that
there exists
a point with local dimension exactly equal to the dimension of
the support.
We give an example where the set of local dimensions is a two
element set,
with all the elements of the truly essential class giving the
same local
dimension. We give general criteria for these measures to be
absolutely
continuous with respect to the associated Hausdorff measure of
their support
and we show that the dimension of the support can be computed
using only
information about the essential class.
To conclude, we present a detailed study of three examples. First,
we show
that the set of local dimensions of the biased Bernoulli convolution
with
contraction ratio the inverse of a simple Pisot number always
admits an
isolated point. We give a precise description of the essential
class of a
generalized Cantor set of finite type, and show that the $kth$
convolution
of the associated Cantor measure has local dimension at $x\in
(0,1)$ tending
to 1 as $k$ tends to infinity. Lastly, we show that within a
maximal loop
class that is not truly essential, the set of upper local dimensions
need
not be an interval. This is in contrast to the case for finite
type measures
with regular probabilities and full interval support.
Keywords:multifractal analysis, local dimension, IFS, finite type Categories:28A80, 28A78, 11R06 

2. CJM 2013 (vol 66 pp. 303)
 Elekes, Márton; Steprāns, Juris

Haar Null Sets and the Consistent Reflection of Nonmeagreness
A subset $X$ of a Polish group $G$ is called Haar null if there exists
a Borel set $B \supset X$ and Borel probability measure $\mu$ on $G$ such that
$\mu(gBh)=0$ for every $g,h \in G$.
We prove that there exist a set $X \subset \mathbb R$ that is not Lebesgue null and a
Borel probability measure $\mu$ such that $\mu(X + t) = 0$ for every $t \in
\mathbb R$.
This answers a question from David Fremlin's problem list by showing
that one cannot simplify the definition of a Haar null set by leaving out the
Borel set $B$. (The answer was already known assuming the Continuum
Hypothesis.)
This result motivates the following Baire category analogue. It is consistent
with $ZFC$ that there exist an abelian Polish group $G$ and a Cantor
set $C \subset G$ such that for every nonmeagre set $X \subset G$ there exists a $t
\in G$ such that $C \cap (X + t)$ is relatively nonmeagre in $C$. This
essentially generalises results of BartoszyÅski and BurkeMiller.
Keywords:Haar null, Christensen, nonlocally compact Polish group, packing dimension, Problem FC on Fremlin's list, forcing, generic real Categories:28C10, 03E35, 03E17, , , , , 22C05, 28A78 

3. CJM 2010 (vol 62 pp. 543)
 Hare, Kevin G.

More Variations on the SierpiÅski Sieve
This paper answers a question of Broomhead, Montaldi and Sidorov about the existence of gaskets of a particular type related to the SierpiÅski sieve. These gaskets are given by iterated function systems that do not satisfy the open set condition. We use the methods of Ngai and Wang to compute the dimension of these gaskets.
Categories:28A80, 28A78, 11R06 

4. CJM 2004 (vol 56 pp. 115)
 Kenny, Robert

Estimates of Hausdorff Dimension for the NonWandering Set of an Open Planar Billiard
The billiard flow in the plane has a simple geometric definition; the
movement along straight lines of points except where elastic
reflections are made with the boundary of the billiard domain. We
consider a class of open billiards, where the billiard domain is
unbounded, and the boundary is that of a finite number of strictly
convex obstacles. We estimate the Hausdorff dimension of the
nonwandering set $M_0$ of the discrete time billiard ball map, which
is known to be a Cantor set and the largest invariant set. Under
certain conditions on the obstacles, we use a wellknown coding of
$M_0$ \cite{Morita} and estimates using convex fronts related to the
derivative of the billiard ball map \cite{StAsy} to estimate the
Hausdorff dimension of local unstable sets. Consideration of the
local product structure then yields the desired estimates, which
provide asymptotic bounds on the Hausdorff dimension's convergence to
zero as the obstacles are separated.
Categories:37D50, 37C45;, 28A78 

5. CJM 2002 (vol 54 pp. 1280)
 Skrzypczak, Leszek

Besov Spaces and Hausdorff Dimension For Some CarnotCarathÃ©odory Metric Spaces
We regard a system of left invariant vector fields $\mathcal{X}=\{X_1,\dots,X_k\}$
satisfying the H\"ormander condition and the related CarnotCarath\'eodory metric on a
unimodular Lie group $G$. We define Besov spaces corresponding to the subLaplacian
$\Delta=\sum X_i^2$ both with positive and negative smoothness. The atomic
decomposition of the spaces is given. In consequence we get the distributional
characterization of the Hausdorff dimension of Borel subsets with the Haar measure
zero.
Keywords:Besov spaces, subelliptic operators, CarnotCarathÃ©odory metric, Hausdorff dimension Categories:46E35, 43A15, 28A78 

6. CJM 1999 (vol 51 pp. 1073)
 Nielsen, Ole A.

The Hausdorff and Packing Dimensions of Some Sets Related to Sierpi\'nski Carpets
The Sierpi\'nski carpets first considered by C.~McMullen and later
studied by Y.~Peres are modified by insisting that the allowed
digits in the expansions occur with prescribed frequencies. This
paper (i)~~calculates the Hausdorff, box (or Minkowski), and
packing dimensions of the modified Sierpi\'nski carpets and
(ii)~~shows that for these sets the Hausdorff and packing measures
in their dimension are never zero and gives necessary and
sufficient conditions for these measures to be infinite.
Categories:28A78, 28A80 
