-
Pinned Distance Sets Using Effective Dimension
Authors:
D. M. Stull
Abstract:
In this paper, we use algorithmic tools, effective dimension and Kolmogorov complexity, to study the fractal dimension of distance sets. We show that, for any analytic set $E\subseteq\R^2$ of Hausdorff dimension strictly greater than one, the \textit{pinned distance set} of $E$, $Δ_x E$, has Hausdorff dimension of at least $\frac{3}{4}$, for all points $x$ outside a set of Hausdorff dimension at m…
▽ More
In this paper, we use algorithmic tools, effective dimension and Kolmogorov complexity, to study the fractal dimension of distance sets. We show that, for any analytic set $E\subseteq\R^2$ of Hausdorff dimension strictly greater than one, the \textit{pinned distance set} of $E$, $Δ_x E$, has Hausdorff dimension of at least $\frac{3}{4}$, for all points $x$ outside a set of Hausdorff dimension at most one. This improves the best known bounds when the dimension of $E$ is close to one.
△ Less
Submitted 12 August, 2022; v1 submitted 25 July, 2022;
originally announced July 2022.
-
The Dimension Spectrum Conjecture for Planar Lines
Authors:
D. M. Stull
Abstract:
Let $L_{a,b}$ be a line in the Euclidean plane with slope $a$ and intercept $b$. The dimension spectrum $\spec(L_{a,b})$ is the set of all effective dimensions of individual points on $L_{a,b}$. The dimension spectrum conjecture states that, for every line $L_{a,b}$, the spectrum of $L_{a,b}$ contains a unit interval.
In this paper we prove that the dimension spectrum conjecture is true. Let…
▽ More
Let $L_{a,b}$ be a line in the Euclidean plane with slope $a$ and intercept $b$. The dimension spectrum $\spec(L_{a,b})$ is the set of all effective dimensions of individual points on $L_{a,b}$. The dimension spectrum conjecture states that, for every line $L_{a,b}$, the spectrum of $L_{a,b}$ contains a unit interval.
In this paper we prove that the dimension spectrum conjecture is true. Let $(a,b)$ be a slope-intercept pair, and let $d = \min\{\dim(a,b), 1\}$. For every $s \in (0, 1)$, we construct a point $x$ such that $\dim(x, ax + b) = d + s$. Thus, we show that $\spec(L_{a,b})$ contains the interval $(d, 1+ d)$. Results of Turetsky , and Lutz and Stull, show that $\spec(L_{a,b})$ contain the endpoints $d$ and $1+d$. Taken together, $[d, 1 + d] \subseteq \spec(L_{a,b})$, for every planar line $L_{a,b}$.
△ Less
Submitted 4 November, 2021; v1 submitted 29 January, 2021;
originally announced February 2021.
-
Optimal Oracles for Point-to-Set Principles
Authors:
D. M. Stull
Abstract:
The point-to-set principle \cite{LutLut17} characterizes the Hausdorff dimension of a subset $E\subseteq\R^n$ by the \textit{effective} (or algorithmic) dimension of its individual points. This characterization has been used to prove several results in classical, i.e., without any computability requirements, analysis. Recent work has shown that algorithmic techniques can be fruitfully applied to M…
▽ More
The point-to-set principle \cite{LutLut17} characterizes the Hausdorff dimension of a subset $E\subseteq\R^n$ by the \textit{effective} (or algorithmic) dimension of its individual points. This characterization has been used to prove several results in classical, i.e., without any computability requirements, analysis. Recent work has shown that algorithmic techniques can be fruitfully applied to Marstrand's projection theorem, a fundamental result in fractal geometry.
In this paper, we introduce an extension of point-to-set principle - the notion of \textit{optimal oracles} for subsets $E\subseteq\R^n$. One of the primary motivations of this definition is that, if $E$ has optimal oracles, then the conclusion of Marstrand's projection theorem holds for $E$. We show that every analytic set has optimal oracles. We also prove that if the Hausdorff and packing dimensions of $E$ agree, then $E$ has optimal oracles. Moreover, we show that the existence of sufficiently nice outer measures on $E$ implies the existence of optimal Hausdorff oracles. In particular, the existence of exact gauge functions for a set $E$ is sufficient for the existence of optimal Hausdorff oracles, and is therefore sufficient for Marstrand's theorem. Thus, the existence of optimal oracles extends the currently known sufficient conditions for Marstrand's theorem to hold.
Under certain assumptions, every set has optimal oracles. However, assuming the axiom of choice and the continuum hypothesis, we construct sets which do not have optimal oracles. This construction naturally leads to a generalization of Davies theorem on projections.
△ Less
Submitted 12 May, 2021; v1 submitted 26 January, 2021;
originally announced January 2021.
-
The dimension of projections induced by a curve
Authors:
D. M. Stull
Abstract:
The behavior of the Hausdorff dimension of a set when projected onto a subspace is a fundamental question in fractal geometry. In this paper, we settle a question of Fassler and Orponen concerning the dimension of a set when projected onto a family of lines induced by a curve.
The behavior of the Hausdorff dimension of a set when projected onto a subspace is a fundamental question in fractal geometry. In this paper, we settle a question of Fassler and Orponen concerning the dimension of a set when projected onto a family of lines induced by a curve.
△ Less
Submitted 30 December, 2019; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Asymptotic Divergences and Strong Dichotomy
Authors:
Xiang Huang,
Jack H. Lutz,
Elvira Mayordomo,
Donald M. Stull
Abstract:
The Schnorr-Stimm dichotomy theorem concerns finite-state gamblers that bet on infinite sequences of symbols taken from a finite alphabet $Σ$.
In this paper we use the Kullback-Leibler divergence to formulate the $\textit{lower asymptotic divergence}$ $\text{div}(S||α)$ of a probability measure $α$ on $Σ$ from a sequence $S$ over $Σ$ and the $\textit{upper asymptotic divergence}$…
▽ More
The Schnorr-Stimm dichotomy theorem concerns finite-state gamblers that bet on infinite sequences of symbols taken from a finite alphabet $Σ$.
In this paper we use the Kullback-Leibler divergence to formulate the $\textit{lower asymptotic divergence}$ $\text{div}(S||α)$ of a probability measure $α$ on $Σ$ from a sequence $S$ over $Σ$ and the $\textit{upper asymptotic divergence}$ $\text{Div}(S||α)$ of $α$ from $S$ in such a way that a sequence $S$ is $α$-normal (meaning that every string $w$ has asymptotic frequency $α(w)$ in $S$) if and only if $\text{Div}(S||α)=0$. We also use the Kullback-Leibler divergence to quantify the $\textit{total risk }$ $\text{Risk}_G(w)$ that a finite-state gambler $G$ takes when betting along a prefix $w$ of $S$.
Our main theorem is a $\textit{strong dichotomy theorem}$ that uses the above notions to $\textit{quantify}$ the exponential rates of winning and losing on the two sides of the Schnorr-Stimm dichotomy theorem (with the latter routinely extended from normality to $α$-normality). Modulo asymptotic caveats in the paper, our strong dichotomy theorem says that the following two things hold for prefixes $w$ of $S$.
(1) The infinitely-often exponential rate of winning is $2^{\text{Div}(S||α)|w|}$.
(2) The exponential rate of loss is $2^{-\text{Risk}_G(w)}$.
We also use (1) to show that $1-\text{Div}(S||α)/c$, where $c= \log(1/ \min_{a\inΣ}α(a))$, is an upper bound on the finite-state $α$-dimension of $S$ and prove the dual fact that $1-\text{div}(S||α)/c$ is an upper bound on the finite-state strong $α$-dimension of $S$.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
Projection Theorems Using Effective Dimension
Authors:
Neil Lutz,
D. M. Stull
Abstract:
In this paper we use the theory of computing to study fractal dimensions of projections in Euclidean spaces. A fundamental result in fractal geometry is Marstrand's projection theorem, which shows that for every analytic set E, for almost every line L, the Hausdorff dimension of the orthogonal projection of E onto L is maximal. We use Kolmogorov complexity to give two new results on the Hausdorff…
▽ More
In this paper we use the theory of computing to study fractal dimensions of projections in Euclidean spaces. A fundamental result in fractal geometry is Marstrand's projection theorem, which shows that for every analytic set E, for almost every line L, the Hausdorff dimension of the orthogonal projection of E onto L is maximal. We use Kolmogorov complexity to give two new results on the Hausdorff and packing dimensions of orthogonal projections onto lines. The first shows that the conclusion of Marstrand's theorem holds whenever the Hausdorff and packing dimensions agree on the set E, even if E is not analytic. Our second result gives a lower bound on the packing dimension of projections of arbitrary sets. Finally, we give a new proof of Marstrand's theorem using the theory of computing.
△ Less
Submitted 11 November, 2021; v1 submitted 6 November, 2017;
originally announced November 2017.
-
Some Results on Circuit Lower Bounds and Derandomization of Arthur-Merlin Problems
Authors:
D. M. Stull
Abstract:
We prove a downward separation for $\mathsfΣ_2$-time classes. Specifically, we prove that if $Σ_2$E does not have polynomial size non-deterministic circuits, then $Σ_2$SubEXP does not have \textit{fixed} polynomial size non-deterministic circuits. To achieve this result, we use Santhanam's technique on augmented Arthur-Merlin protocols defined by Aydinlioğlu and van Melkebeek. We show that augment…
▽ More
We prove a downward separation for $\mathsfΣ_2$-time classes. Specifically, we prove that if $Σ_2$E does not have polynomial size non-deterministic circuits, then $Σ_2$SubEXP does not have \textit{fixed} polynomial size non-deterministic circuits. To achieve this result, we use Santhanam's technique on augmented Arthur-Merlin protocols defined by Aydinlioğlu and van Melkebeek. We show that augmented Arthur-Merlin protocols with one bit of advice do not have fixed polynomial size non-deterministic circuits. We also prove a weak unconditional derandomization of a certain type of promise Arthur-Merlin protocols. Using Williams' easy hitting set technique, we show that $Σ_2$-promise AM problems can be decided in $Σ_2$SubEXP with $n^c$ advice, for some fixed constant $c$.
△ Less
Submitted 16 January, 2017;
originally announced January 2017.
-
Dimension Spectra of Lines
Authors:
Neil Lutz,
D. M. Stull
Abstract:
This paper investigates the algorithmic dimension spectra of lines in the Euclidean plane. Given any line L with slope a and vertical intercept b, the dimension spectrum sp(L) is the set of all effective Hausdorff dimensions of individual points on L. We draw on Kolmogorov complexity and geometrical arguments to show that if the effective Hausdorff dimension dim(a, b) is equal to the effective pac…
▽ More
This paper investigates the algorithmic dimension spectra of lines in the Euclidean plane. Given any line L with slope a and vertical intercept b, the dimension spectrum sp(L) is the set of all effective Hausdorff dimensions of individual points on L. We draw on Kolmogorov complexity and geometrical arguments to show that if the effective Hausdorff dimension dim(a, b) is equal to the effective packing dimension Dim(a, b), then sp(L) contains a unit interval. We also show that, if the dimension dim(a, b) is at least one, then sp(L) is infinite. Together with previous work, this implies that the dimension spectrum of any line is infinite.
△ Less
Submitted 15 January, 2017;
originally announced January 2017.
-
Bounding the Dimension of Points on a Line
Authors:
Neil Lutz,
D. M. Stull
Abstract:
We use Kolmogorov complexity methods to give a lower bound on the effective Hausdorff dimension of the point (x, ax+b), given real numbers a, b, and x. We apply our main theorem to a problem in fractal geometry, giving an improved lower bound on the (classical) Hausdorff dimension of generalized sets of Furstenberg type.
We use Kolmogorov complexity methods to give a lower bound on the effective Hausdorff dimension of the point (x, ax+b), given real numbers a, b, and x. We apply our main theorem to a problem in fractal geometry, giving an improved lower bound on the (classical) Hausdorff dimension of generalized sets of Furstenberg type.
△ Less
Submitted 5 April, 2017; v1 submitted 30 November, 2016;
originally announced December 2016.
-
Polynomial Space Randomness in Analysis
Authors:
Xiang Huang,
D. M. Stull
Abstract:
We study the interaction between polynomial space randomness and a fundamental result of analysis, the Lebesgue differentiation theorem. We generalize Ko's framework for polynomial space computability in $\mathbb{R}^n$ to define \textit{weakly pspace-random} points, a new variant of polynomial space randomness. We show that the Lebesgue differentiation theorem holds for every weakly pspace-random…
▽ More
We study the interaction between polynomial space randomness and a fundamental result of analysis, the Lebesgue differentiation theorem. We generalize Ko's framework for polynomial space computability in $\mathbb{R}^n$ to define \textit{weakly pspace-random} points, a new variant of polynomial space randomness. We show that the Lebesgue differentiation theorem holds for every weakly pspace-random point.
△ Less
Submitted 26 April, 2016; v1 submitted 29 September, 2015;
originally announced September 2015.
-
Reachability Problems for Continuous Chemical Reaction Networks
Authors:
Adam Case,
Jack H. Lutz,
D. M. Stull
Abstract:
Chemical reaction networks (CRNs) model the behavior of molecules in a well-mixed system. The emerging field of molecular programming uses CRNs not only as a descriptive tool, but as a programming language for chemical computation. Recently, Chen, Doty and Soloveichik introduced a new model of chemical kinetics, rate-independent continuous CRNs (CCRNs), to study the chemical computation of continu…
▽ More
Chemical reaction networks (CRNs) model the behavior of molecules in a well-mixed system. The emerging field of molecular programming uses CRNs not only as a descriptive tool, but as a programming language for chemical computation. Recently, Chen, Doty and Soloveichik introduced a new model of chemical kinetics, rate-independent continuous CRNs (CCRNs), to study the chemical computation of continuous functions. A fundamental question of a CRN is whether a state of the system is reachable through a sequence of reactions in the network. This is known as the reachability problem. In this paper, we investigate CCRN-REACH, the reachability problem for this model of chemical reaction networks. We show that, for continuous CRNs, constructing a path to a state of the network is computable in polynomial time. We also prove that a related problem, Sub-CCRN-REACH, is NP-complete.
△ Less
Submitted 2 September, 2015; v1 submitted 17 August, 2015;
originally announced August 2015.