-
Rapid spin depolarization in the layered 2D Ruddlesden Popper perovskite (BA)(MA)PbI
Authors:
Michael Kempf,
Philipp Moser,
Maximilian Tomoscheit,
Julian Schröer,
Jean-Christophe Blancon,
Rico Schwartz,
Swarup Deb,
Aditya Mohite,
Andreas V. Stier,
Jonathan J. Finley,
Tobias Korn
Abstract:
We report temperature-dependent spectroscopy on the layered (n=4) two-dimensional (2D) Ruddlesden-Popper perovskite (BA)(MA)PbI. Helicity-resolved steady-state photoluminescence (PL) reveals no optical degree of polarization. Time-resolved PL shows a photocarrier lifetime on the order of nanoseconds. From simultaneaously recorded time-resolved differential reflectivity (TR$Δ$R) and time-resolved K…
▽ More
We report temperature-dependent spectroscopy on the layered (n=4) two-dimensional (2D) Ruddlesden-Popper perovskite (BA)(MA)PbI. Helicity-resolved steady-state photoluminescence (PL) reveals no optical degree of polarization. Time-resolved PL shows a photocarrier lifetime on the order of nanoseconds. From simultaneaously recorded time-resolved differential reflectivity (TR$Δ$R) and time-resolved Kerr ellipticity (TRKE), a photocarrier lifetime of a few nanoseconds and a spin dephasing time on the order of picoseconds was found. This stark contrast in lifetimes clearly explains the lack of spin polarization in steady-state PL. While we observe clear temperature-dependent effects on the PL dynamics that can be related to structural dynamics, the spin dephasing is nearly T-independent. Our results highlight that spin dephasing in 2D (BA)(MA)PbI occurs at time scales faster than the exciton recombination time, which poses a bottleneck for applications aimingto utilize this degree of freedom.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Normal Sequences with Non-Maximal Automatic Complexity
Authors:
Liam Jordon,
Philippe Moser
Abstract:
This paper examines Automatic Complexity, a complexity notion introduced by Shallit and Wang in 2001. We demonstrate that there exists a normal sequence $T$ such that $I(T) = 0$ and $S(T) \leq 1/2$, where $I(T)$ and $S(T)$ are the lower and upper automatic complexity rates of $T$ respectively. We furthermore show that there exists a Champernowne sequence $C$, i.e. a sequence formed by concatenatin…
▽ More
This paper examines Automatic Complexity, a complexity notion introduced by Shallit and Wang in 2001. We demonstrate that there exists a normal sequence $T$ such that $I(T) = 0$ and $S(T) \leq 1/2$, where $I(T)$ and $S(T)$ are the lower and upper automatic complexity rates of $T$ respectively. We furthermore show that there exists a Champernowne sequence $C$, i.e. a sequence formed by concatenating all strings of length $1$ followed by concatenating all strings of length $2$ and so on, such that $S(C) \leq 2/3$.
△ Less
Submitted 29 November, 2021; v1 submitted 13 July, 2021;
originally announced July 2021.
-
Magnetic proximity effect on excitonic spin states in Mn-doped layered hybrid perovskites
Authors:
Timo Neumann,
Sascha Feldmann,
Philipp Moser,
Jonathan Zerhoch,
Tim van de Goor,
Alex Delhomme,
Thomas Winkler,
Jonathan J. Finley,
Clément Faugeras,
Martin S. Brandt,
Andreas V. Stier,
Felix Deschler
Abstract:
Materials combining the optoelectronic functionalities of semiconductors with control of the spin degree of freedom are highly sought after for the advancement of quantum technology devices. Here, we report the paramagnetic Ruddlesden-Popper hybrid perovskite Mn:(PEA)2PbI4 (PEA = phenethylammonium) in which the interaction of isolated Mn2+ ions with magnetically brightened excitons leads to circul…
▽ More
Materials combining the optoelectronic functionalities of semiconductors with control of the spin degree of freedom are highly sought after for the advancement of quantum technology devices. Here, we report the paramagnetic Ruddlesden-Popper hybrid perovskite Mn:(PEA)2PbI4 (PEA = phenethylammonium) in which the interaction of isolated Mn2+ ions with magnetically brightened excitons leads to circularly polarized photoluminescence. Using a combination of superconducting quantum interference device (SQUID) magnetometry and magneto-optical experiments, we find that the Brillouin-shaped polarization curve of the photoluminescence follows the magnetization of the material. This indicates coupling between localized manganese magnetic moments and exciton spins via a magnetic proximity effect. The saturation polarization of 15% at 4 K and 6 T indicates a highly imbalanced spin population and demonstrates that manganese do** enables efficient control of excitonic spin states in Ruddlesden-Popper perovskites. Our finding constitutes the first example of polarization control in magnetically doped hybrid perovskites and will stimulate research on this highly tuneable material platform that promises tailored interactions between magnetic moments and electronic states.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Pebble-Depth
Authors:
Liam Jordon,
Philippe Moser
Abstract:
In this paper we introduce a new formulation of Bennett's logical depth based on pebble transducers. This notion is defined based on the difference between the minimal length descriptional complexity of prefixes of infinite sequences from the perspective of finite-state transducers and pebble transducers. Our notion of pebble-depth satisfies the three fundamental properties of depth: i.e. easy seq…
▽ More
In this paper we introduce a new formulation of Bennett's logical depth based on pebble transducers. This notion is defined based on the difference between the minimal length descriptional complexity of prefixes of infinite sequences from the perspective of finite-state transducers and pebble transducers. Our notion of pebble-depth satisfies the three fundamental properties of depth: i.e. easy sequences and random sequences are not deep, and the existence of a slow growth law type result. We also compare pebble-depth to other depth notions based on finite-state transducers, pushdown compressors and the Lempel-Ziv $78$ compression algorithm. We first demonstrate that there exists a normal pebble-deep sequence even though there is no normal finite-state-deep sequence. We then show that there exists a sequence which has pebble-depth level of roughly $1/2$ and Lempel-Ziv-depth level of roughly $0$. Finally we show the existence of a sequence which has a pebble-depth level of roughly $1$ and a pushdown-depth level of roughly $1/2$.
△ Less
Submitted 19 January, 2022; v1 submitted 24 September, 2020;
originally announced September 2020.
-
A Normal Sequence Compressed by PPM$^*$ but not by Lempel-Ziv 78
Authors:
Liam Jordon,
Philippe Moser
Abstract:
In this paper we compare the difference in performance of two of the Prediction by Partial Matching (PPM) family of compressors (PPM$^*$ and the original Bounded PPM algorithm) and the Lempel-Ziv 78 (LZ) algorithm. We construct an infinite binary sequence whose worst-case compression ratio for PPM$^*$ is $0$, while Bounded PPM's and LZ's best-case compression ratios are at least $1/2$ and $1$ resp…
▽ More
In this paper we compare the difference in performance of two of the Prediction by Partial Matching (PPM) family of compressors (PPM$^*$ and the original Bounded PPM algorithm) and the Lempel-Ziv 78 (LZ) algorithm. We construct an infinite binary sequence whose worst-case compression ratio for PPM$^*$ is $0$, while Bounded PPM's and LZ's best-case compression ratios are at least $1/2$ and $1$ respectively. This sequence is an enumeration of all binary strings in order of length, i.e. all strings of length $1$ followed by all strings of length $2$ and so on. It is therefore normal, and is built using repetitions of de Bruijn strings of increasing order
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
Pushdown and Lempel-Ziv Depth
Authors:
Liam Jordon,
Philippe Moser
Abstract:
This paper expands upon existing and introduces new formulations of Bennett's logical depth. In previously published work by Jordon and Moser, notions of finite-state depth and pushdown depth were examined and compared. These were based on finite-state transducers and information lossless pushdown compressors respectively. Unfortunately a full separation between the two notions was not established…
▽ More
This paper expands upon existing and introduces new formulations of Bennett's logical depth. In previously published work by Jordon and Moser, notions of finite-state depth and pushdown depth were examined and compared. These were based on finite-state transducers and information lossless pushdown compressors respectively. Unfortunately a full separation between the two notions was not established. This paper introduces a new formulation of pushdown depth based unary-stack pushdown compressors. This improved formulation allows us to do a full comparison by demonstrating the existence of sequences with high finite-state depth and low pushdown depth, and vice-versa. A new notion based on the Lempel-Ziv 78 algorithm is also introduced. Its difference from finite-state depth is shown by demonstrating the existence of a Lempel-Ziv deep sequence that is not finite-state deep and vice versa. Lempel-Ziv depth's difference from pushdown depth is shown by building sequences that have a pushdown depth level of roughly $1/2$ but low Lempel-Ziv depth, and a sequence with high Lempel-Ziv depth but low pushdown depth. Properties of all three notions are also discussed and proved.
△ Less
Submitted 19 January, 2022; v1 submitted 10 September, 2020;
originally announced September 2020.
-
Polynomial Depth, Highness and Lowness for E
Authors:
Philippe Moser
Abstract:
We study the relations between the notions of highness, lowness and logical depth in the setting of complexity theory. We introduce a new notion of polylog depth based on time bounded Kolmogorov complexity. We show polylog depth satisfies all basic logical depth properties, namely sets in P are not polylog deep, sets with (time bounded)-Kolmogorov complexity greater than polylog are not polylog de…
▽ More
We study the relations between the notions of highness, lowness and logical depth in the setting of complexity theory. We introduce a new notion of polylog depth based on time bounded Kolmogorov complexity. We show polylog depth satisfies all basic logical depth properties, namely sets in P are not polylog deep, sets with (time bounded)-Kolmogorov complexity greater than polylog are not polylog deep, and only polylog deep sets can polynomially Turing compute a polylog deep set. We prove that if NP does not have p-measure zero, then NP contains polylog deep sets. We show that every high set for E contains a polylog deep set in its polynomial Turing degree, and that there exist low(E,EXP) polylog deep sets. Keywords: algorithmic information theory; Kolmogorov complexity; Bennett logical depth.
△ Less
Submitted 15 October, 2019; v1 submitted 10 February, 2016;
originally announced February 2016.
-
Depth, Highness and DNR degrees
Authors:
Philippe Moser,
Frank Stephan
Abstract:
We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of O(1)-deepK, O(1)-deepC , order-deep K and order-deep C sequences. Our main results are that Martin-Loef random sets are not order-deepC , that every many-one degree contains a set which is not O(1)-deepC , that O(1)-deepC sets and order-deepK sets have high or DNR Turing degree and that…
▽ More
We study Bennett deep sequences in the context of recursion theory; in particular we investigate the notions of O(1)-deepK, O(1)-deepC , order-deep K and order-deep C sequences. Our main results are that Martin-Loef random sets are not order-deepC , that every many-one degree contains a set which is not O(1)-deepC , that O(1)-deepC sets and order-deepK sets have high or DNR Turing degree and that no K-trival set is O(1)-deepK.
△ Less
Submitted 24 October, 2017; v1 submitted 16 November, 2015;
originally announced November 2015.
-
A Computational Theory of Subjective Probability
Authors:
Phil Maguire,
Philippe Moser,
Rebecca Maguire,
Mark Keane
Abstract:
In this article we demonstrate how algorithmic probability theory is applied to situations that involve uncertainty. When people are unsure of their model of reality, then the outcome they observe will cause them to update their beliefs. We argue that classical probability cannot be applied in such cases, and that subjective probability must instead be used. In Experiment 1 we show that, when judg…
▽ More
In this article we demonstrate how algorithmic probability theory is applied to situations that involve uncertainty. When people are unsure of their model of reality, then the outcome they observe will cause them to update their beliefs. We argue that classical probability cannot be applied in such cases, and that subjective probability must instead be used. In Experiment 1 we show that, when judging the probability of lottery number sequences, people apply subjective rather than classical probability. In Experiment 2 we examine the conjunction fallacy and demonstrate that the materials used by Tversky and Kahneman (1983) involve model uncertainty. We then provide a formal mathematical proof that, for every uncertain model, there exists a conjunction of outcomes which is more subjectively probable than either of its constituents in isolation.
△ Less
Submitted 8 May, 2014;
originally announced May 2014.
-
Is Consciousness Computable? Quantifying Integrated Information Using Algorithmic Information Theory
Authors:
Phil Maguire,
Philippe Moser,
Rebecca Maguire,
Virgil Griffith
Abstract:
In this article we review Tononi's (2008) theory of consciousness as integrated information. We argue that previous formalizations of integrated information (e.g. Griffith, 2014) depend on information loss. Since lossy integration would necessitate continuous damage to existing memories, we propose it is more natural to frame consciousness as a lossless integrative process and provide a formalizat…
▽ More
In this article we review Tononi's (2008) theory of consciousness as integrated information. We argue that previous formalizations of integrated information (e.g. Griffith, 2014) depend on information loss. Since lossy integration would necessitate continuous damage to existing memories, we propose it is more natural to frame consciousness as a lossless integrative process and provide a formalization of this idea using algorithmic information theory. We prove that complete lossless integration requires noncomputable functions. This result implies that if unitary consciousness exists, it cannot be modelled computationally.
△ Less
Submitted 1 May, 2014;
originally announced May 2014.
-
A zero-one SUBEXP-dimension law for BPP
Authors:
Philippe Moser
Abstract:
We show that BPP has either SUBEXP-dimension zero (randomness is easy) or BPP=EXP (randomness is intractable).
We show that BPP has either SUBEXP-dimension zero (randomness is easy) or BPP=EXP (randomness is intractable).
△ Less
Submitted 25 January, 2011;
originally announced January 2011.
-
On the polynomial depth of various sets of random strings
Authors:
Philippe Moser
Abstract:
This paper proposes new notions of polynomial depth (called monotone poly depth), based on a polynomial version of monotone Kolmogorov complexity. We show that monotone poly depth satisfies all desirable properties of depth notions i.e., both trivial and random sequences are not monotone poly deep, monotone poly depth satisfies the slow growth law i.e., no simple process can transform a non deep s…
▽ More
This paper proposes new notions of polynomial depth (called monotone poly depth), based on a polynomial version of monotone Kolmogorov complexity. We show that monotone poly depth satisfies all desirable properties of depth notions i.e., both trivial and random sequences are not monotone poly deep, monotone poly depth satisfies the slow growth law i.e., no simple process can transform a non deep sequence into a deep one, and monotone poly deep sequences exist (unconditionally). We give two natural examples of deep sets, by showing that both the set of Levin-random strings and the set of Kolmogorov random strings are monotone poly deep.
△ Less
Submitted 31 December, 2010; v1 submitted 16 December, 2010;
originally announced December 2010.
-
A General Notion of Useful Information
Authors:
Philippe Moser
Abstract:
In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth notions introduced in complexity theory so far. We review most such notions, show how they are particular cases of our general depth framework, and review some classical results about the different depth notions.
In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth notions introduced in complexity theory so far. We review most such notions, show how they are particular cases of our general depth framework, and review some classical results about the different depth notions.
△ Less
Submitted 17 June, 2009;
originally announced June 2009.
-
Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable
Authors:
Elvira Mayordomo,
Philippe Moser,
Sylvain Perifel
Abstract:
The pressing need for efficient compression schemes for XML documents has recently been focused on stack computation, and in particular calls for a formulation of information-lossless stack or pushdown compressors that allows a formal analysis of their performance and a more ambitious use of the stack in XML compression, where so far it is mainly connected to parsing mechanisms. In this paper we…
▽ More
The pressing need for efficient compression schemes for XML documents has recently been focused on stack computation, and in particular calls for a formulation of information-lossless stack or pushdown compressors that allows a formal analysis of their performance and a more ambitious use of the stack in XML compression, where so far it is mainly connected to parsing mechanisms. In this paper we introduce the model of pushdown compressor, based on pushdown transducers that compute a single injective function while kee** the widest generality regarding stack computation.
We also consider online compression algorithms that use at most polylogarithmic space (plogon). These algorithms correspond to compressors in the data stream model.
We compare the performance of these two families of compressors with each other and with the general purpose Lempel-Ziv algorithm. This comparison is made without any a priori assumption on the data's source and considering the asymptotic compression ratio for infinite sequences. We prove that in all cases they are incomparable.
△ Less
Submitted 24 March, 2009;
originally announced March 2009.
-
Pushdown Compression
Authors:
Pilar Albert,
Elvira Mayordomo,
Philippe Moser,
Sylvain Perifel
Abstract:
The pressing need for eficient compression schemes for XML documents has recently been focused on stack computation [6, 9], and in particular calls for a formulation of information-lossless stack or pushdown compressors that allows a formal analysis of their performance and a more ambitious use of the stack in XML compression, where so far it is mainly connected to parsing mechanisms. In this pa…
▽ More
The pressing need for eficient compression schemes for XML documents has recently been focused on stack computation [6, 9], and in particular calls for a formulation of information-lossless stack or pushdown compressors that allows a formal analysis of their performance and a more ambitious use of the stack in XML compression, where so far it is mainly connected to parsing mechanisms. In this paper we introduce the model of pushdown compressor, based on pushdown transducers that compute a single injective function while kee** the widest generality regarding stack computation. The celebrated Lempel-Ziv algorithm LZ78 [10] was introduced as a general purpose compression algorithm that outperforms finite-state compressors on all sequences. We compare the performance of the Lempel-Ziv algorithm with that of the pushdown compressors, or compression algorithms that can be implemented with a pushdown transducer. This comparison is made without any a priori assumption on the data's source and considering the asymptotic compression ratio for infinite sequences. We prove that Lempel-Ziv is incomparable with pushdown compressors.
△ Less
Submitted 17 September, 2007; v1 submitted 14 September, 2007;
originally announced September 2007.
-
Bounded Pushdown dimension vs Lempel Ziv information density
Authors:
Pilar Albert,
Elvira Mayordomo,
Philippe Moser
Abstract:
In this paper we introduce a variant of pushdown dimension called bounded pushdown (BPD) dimension, that measures the density of information contained in a sequence, relative to a BPD automata, i.e. a finite state machine equipped with an extra infinite memory stack, with the additional requirement that every input symbol only allows a bounded number of stack movements. BPD automata are a natura…
▽ More
In this paper we introduce a variant of pushdown dimension called bounded pushdown (BPD) dimension, that measures the density of information contained in a sequence, relative to a BPD automata, i.e. a finite state machine equipped with an extra infinite memory stack, with the additional requirement that every input symbol only allows a bounded number of stack movements. BPD automata are a natural real-time restriction of pushdown automata. We show that BPD dimension is a robust notion by giving an equivalent characterization of BPD dimension in terms of BPD compressors. We then study the relationships between BPD compression, and the standard Lempel-Ziv (LZ) compression algorithm, and show that in contrast to the finite-state compressor case, LZ is not universal for bounded pushdown compressors in a strong sense: we construct a sequence that LZ fails to compress signicantly, but that is compressed by at least a factor 2 by a BPD compressor. As a corollary we obtain a strong separation between finite-state and BPD dimension.
△ Less
Submitted 18 April, 2007;
originally announced April 2007.
-
Feasible Depth
Authors:
David Doty,
Philippe Moser
Abstract:
This paper introduces two complexity-theoretic formulations of Bennett's logical depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow growth law holds, implying that deep sequences cannot be created easily from shallow sequences. Furthermore, the E analogue of the halting language is shown to be…
▽ More
This paper introduces two complexity-theoretic formulations of Bennett's logical depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial and random infinite sequences are shallow, and a slow growth law holds, implying that deep sequences cannot be created easily from shallow sequences. Furthermore, the E analogue of the halting language is shown to be polynomial-time deep, by proving a more general result: every language to which a nonnegligible subset of E can be reduced in uniform exponential time is polynomial-time deep.
△ Less
Submitted 11 April, 2007; v1 submitted 19 January, 2007;
originally announced January 2007.
-
Finite-State Dimension and Lossy Decompressors
Authors:
David Doty,
Philippe Moser
Abstract:
This paper examines information-theoretic questions regarding the difficulty of compressing data versus the difficulty of decompressing data and the role that information loss plays in this interaction. Finite-state compression and decompression are shown to be of equivalent difficulty, even when the decompressors are allowed to be lossy.
Inspired by Kolmogorov complexity, this paper defines t…
▽ More
This paper examines information-theoretic questions regarding the difficulty of compressing data versus the difficulty of decompressing data and the role that information loss plays in this interaction. Finite-state compression and decompression are shown to be of equivalent difficulty, even when the decompressors are allowed to be lossy.
Inspired by Kolmogorov complexity, this paper defines the optimal *decompression *ratio achievable on an infinite sequence by finite-state decompressors (that is, finite-state transducers outputting the sequence in question). It is shown that the optimal compression ratio achievable on a sequence S by any *information lossless* finite state compressor, known as the finite-state dimension of S, is equal to the optimal decompression ratio achievable on S by any finite-state decompressor. This result implies a new decompression characterization of finite-state dimension in terms of lossy finite-state transducers.
△ Less
Submitted 28 November, 2006; v1 submitted 18 September, 2006;
originally announced September 2006.
-
Baire Categories on Small Complexity Classes and Meager-Comeager Laws
Authors:
Philippe Moser
Abstract:
We introduce two resource-bounded Baire category notions on small complexity classes such as P, SUBEXP, and PSPACE and on probabilistic classes such as BPP, which differ on how the corresponding finite extension strategies are computed. We give an alternative characterization of small sets via resource-bounded Banach-Mazur games.
As an application of the first notion, we show that for almost e…
▽ More
We introduce two resource-bounded Baire category notions on small complexity classes such as P, SUBEXP, and PSPACE and on probabilistic classes such as BPP, which differ on how the corresponding finite extension strategies are computed. We give an alternative characterization of small sets via resource-bounded Banach-Mazur games.
As an application of the first notion, we show that for almost every language A (i.e. all except a meager class) computable in subexponential time, P(A)=BPP(A). We also show that almost all languages in PSPACE do not have small nonuniform complexity.
We then switch to the second Baire category notion (called locally-computable), and show that the class SPARSE is meager in P. We show that in contrast to the resource-bounded measure case, meager-comeager laws can be obtained for many standard complexity classes, relative to locally-computable Baire category on BPP and PSPACE.
Another topic where locally-computable Baire categories differ from resource-bounded measure is regarding weak-completeness: we show that there is no weak-completeness notion in P based on locally-computable Baire categories, i.e. every P-weakly-complete set is complete for P. We also prove that the class of complete sets for P under Turing-logspace reductions is meager in P, if P is not equal to DSPACE(log n), and that the same holds unconditionally for quasi-poly time.
Finally we observe that locally-computable Baire categories are incomparable with all existing resource-bounded measure notions on small complexity classes, which might explain why those two settings seem to differ so fundamentally.
△ Less
Submitted 5 September, 2006;
originally announced September 2006.
-
Lp Computable Functions and Fourier Series
Authors:
Philippe Moser
Abstract:
This paper studies how well computable functions can be approximated by their Fourier series. To this end, we equip the space of Lp-computable functions (computable Lebesgue integrable functions) with a size notion, by introducing Lp-computable Baire categories.
We show that Lp-computable Baire categories satisfy the following three basic properties. Singleton sets {f} (where f is Lp-computabl…
▽ More
This paper studies how well computable functions can be approximated by their Fourier series. To this end, we equip the space of Lp-computable functions (computable Lebesgue integrable functions) with a size notion, by introducing Lp-computable Baire categories.
We show that Lp-computable Baire categories satisfy the following three basic properties. Singleton sets {f} (where f is Lp-computable) are meager, suitable infinite unions of meager sets are meager, and the whole space of Lp-computable functions is not meager. We give an alternative characterization of meager sets via Banach Mazur games.
We study the convergence of Fourier series for Lp-computable functions and show that whereas for every p>1, the Fourier series of every Lp-computable function f converges to f in the Lp norm, the set of L1-computable functions whose Fourier series does not diverge almost everywhere is meager.
△ Less
Submitted 11 May, 2007; v1 submitted 28 August, 2006;
originally announced August 2006.
-
Dimensions of Copeland-Erdos Sequences
Authors:
Xiaoyang Gu,
Jack H. Lutz,
Philippe Moser
Abstract:
The base-$k$ {\em Copeland-Erdös sequence} given by an infinite set $A$ of positive integers is the infinite sequence $\CE_k(A)$ formed by concatenating the base-$k$ representations of the elements of $A$ in numerical order. This paper concerns the following four quantities.
The {\em finite-state dimension} $\dimfs (\CE_k(A))$, a finite-state version of classical Hausdorff dimension introduced…
▽ More
The base-$k$ {\em Copeland-Erdös sequence} given by an infinite set $A$ of positive integers is the infinite sequence $\CE_k(A)$ formed by concatenating the base-$k$ representations of the elements of $A$ in numerical order. This paper concerns the following four quantities.
The {\em finite-state dimension} $\dimfs (\CE_k(A))$, a finite-state version of classical Hausdorff dimension introduced in 2001.
The {\em finite-state strong dimension} $\Dimfs(\CE_k(A))$, a finite-state version of classical packing dimension introduced in 2004. This is a dual of $\dimfs(\CE_k(A))$ satisfying $\Dimfs(\CE_k(A))$ $\geq \dimfs(\CE_k(A))$.
The {\em zeta-dimension} $\Dimzeta(A)$, a kind of discrete fractal dimension discovered many times over the past few decades.
The {\em lower zeta-dimension} $\dimzeta(A)$, a dual of $\Dimzeta(A)$ satisfying $\dimzeta(A)\leq \Dimzeta(A)$.
We prove the following.
$\dimfs(\CE_k(A))\geq \dimzeta(A)$. This extends the 1946 proof by Copeland and Erdös that the sequence $\CE_k(\mathrm{PRIMES})$ is Borel normal.
$\Dimfs(\CE_k(A))\geq \Dimzeta(A)$.
These bounds are tight in the strong sense that these four quantities can have (simultaneously) any four values in $[0,1]$ satisfying the four above-mentioned inequalities.
△ Less
Submitted 30 July, 2005;
originally announced August 2005.
-
Selectron Mass Reconstruction and the Resolution of the Linear Collider Detector
Authors:
Sharon Gerbode,
Heath Holguin,
Troy Lau,
Paul Mooser,
Adam Pearlstein,
Joe Rose,
Bruce Schumm
Abstract:
We have used ISAJET and the JAS LCD fast simulation to explore the precision of Snowmass Point SPS1a selectron mass reconstruction for the Silicon Detector concept. Simulating collisions at E_cm = 1 TeV, we have found that most of the information constraining the selectron mass is carried in the forward (|cos(theta)| > 0.8) region. We have also found that, for a beam energy spread of 1% (convent…
▽ More
We have used ISAJET and the JAS LCD fast simulation to explore the precision of Snowmass Point SPS1a selectron mass reconstruction for the Silicon Detector concept. Simulating collisions at E_cm = 1 TeV, we have found that most of the information constraining the selectron mass is carried in the forward (|cos(theta)| > 0.8) region. We have also found that, for a beam energy spread of 1% (conventional RF design), detector resolution limitations compromise the selectron mass reconstruction only in the forward region. However, for a beam energy spread of less than 0.2% (superconducting RF design), the detector resolution compromises the selectron mass reconstruction over the full angular region.
△ Less
Submitted 12 July, 2005;
originally announced July 2005.
-
Zeta-Dimension
Authors:
David Doty,
Xiaoyang Gu,
Jack H. Lutz,
Elvira Mayordomo,
Philippe Moser
Abstract:
The zeta-dimension of a set A of positive integers is the infimum s such that the sum of the reciprocals of the s-th powers of the elements of A is finite.
Zeta-dimension serves as a fractal dimension on the positive integers that extends naturally usefully to discrete lattices such as the set of all integer lattice points in d-dimensional space.
This paper reviews the origins of zeta-dimens…
▽ More
The zeta-dimension of a set A of positive integers is the infimum s such that the sum of the reciprocals of the s-th powers of the elements of A is finite.
Zeta-dimension serves as a fractal dimension on the positive integers that extends naturally usefully to discrete lattices such as the set of all integer lattice points in d-dimensional space.
This paper reviews the origins of zeta-dimension (which date to the eighteenth and nineteenth centuries) and develops its basic theory, with particular attention to its relationship with algorithmic information theory. New results presented include extended connections between zeta-dimension and classical fractal dimensions, a gale characterization of zeta-dimension, and a theorem on the zeta-dimensions of pointwise sums and products of sets of positive integers.
△ Less
Submitted 22 March, 2005;
originally announced March 2005.