Source author record

R. Daniel Mauldin

R. Daniel Mauldin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CA Computational Complexity math.CO math.DS math.LO

Catalog footprint

What is connected

6works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

preprint2013arXiv

CH, V=L, Disintegrations of Measures, and Π^1_1 Sets

In 1950 Maharam asked whether every disintegration of a $σ$-finite measure into $σ$-finite measures is necessarily uniformly $σ$-finite. Over the years under special conditions on the disintegration, the answer was shown to be yes. However, we show here that the answer may depend on the axioms of set theory in the following sense. If CH, the continuum hypothesis holds, then the answer is no. One proof of this leads to some interesting problems in infinitary combinatorics. If Gödel's axiom of constructibility $\mathbf{V}=\mathbf{L}$ holds, then not only is the answer no, but, of equal interest is the construction of $\mathbfΠ^1_1$ sets with very special properties.

preprint2013arXiv

On the Steinhaus tiling problem in three dimensions

H. Steinhaus asked in the 1950's whether there exists a set in the plane R^2 meeting every isometric copy of Z^2 in precisely one point. Such a "Steinhaus set" was constructed by Jackson and Mauldin. What about three-space R^3? Is there a subset of R^3 meeting every isometric copy of Z^3 in exactly one point? We offer heuristic evidence that the answer is "no".

preprint2012arXiv

The motif problem

Fix a choice and ordering of four pairwise non-adjacent vertices of a parallelepiped, and call a motif a sequence of four points in R^3 that coincide with these vertices for some, possibly degenerate, parallelepiped whose edges are parallel to the axes. We show that a set of r points can contain at most r^2 motifs. Generalizing the notion of motif to a sequence of L points in R^p, we show that the maximum number of motifs that can occur in a point set of a given size is related to a linear programming problem arising from hypergraph theory, and discuss some related questions.

preprint2012arXiv

Translating the Cantor set by a random

We determine the constructive dimension of points in random translates of the Cantor set. The Cantor set "cancels randomness" in the sense that some of its members, when added to Martin-Lof random reals, identify a point with lower constructive dimension than the random itself. In particular, we find the Hausdorff dimension of the set of points in a Cantor set translate with a given constructive dimension.

preprint2007arXiv

Conformal Graph Directed Markov Systems

We present the main concepts and results for Graph Directed Markov Systems that have a finitely irreducible incidence matrix. We then see how these results change when the incidence matrix is not assumed to be finitely irreducible.

preprint2005arXiv

On homeomorphic product measures on the Cantor set

Let mu(r) be the Bernoulli measure on the Cantor space given as the infinite product of two-point measures with weights r and 1-r. It is a long-standing open problem to characterize those r and s such that mu(r) and mu(s) are topologically equivalent (i.e., there is a homeomorphism from the Cantor space to itself sending mu(r) to mu(s)). The (possibly) weaker property of mu(r) and mu(s) being continuously reducible to each other is equivalent to a property of r and s called binomial equivalence. In this paper we define an algebraic property called "refinability" and show that, if r and s are refinable and binomially equivalent, then mu(r) and mu(s) are topologically equivalent. We then give a class of examples of refinable numbers; in particular, the positive numbers r and s such that s=r^2 and r=1-s^2 are refinable, so the corresponding measures are topologically equivalent.