How large are the level sets of the Takagi function?

Let T be Takagi's continuous but nowhere-differentiable function. This paper considers the size of the level sets of T both from a probabilistic point of view and from the perspective of Baire category. We first give more elementary proofs of three recently published results. The first, due to Z. Buczolich, states that almost all level sets (with respect to Lebesgue measure on the range of T) are finite. The second, due to J. Lagarias and Z. Maddock, states that the average number of points in a level set is infinite. The third result, also due to Lagarias and Maddock, states that the average number of local level sets contained in a level set is 3/2. In the second part of the paper it is shown that, in contrast to the above results, the set of ordinates y with uncountably infinite level sets is residual, and a fairly explicit description of this set is given. The paper also gives a negative answer to a question of Lagarias and Maddock by showing that most level sets (in the sense of Baire category) contain infinitely many local level sets, and that a continuum of level sets even contain uncountably many local level sets. Finally, several of the main results are extended to a version of T with arbitrary signs in the summands.Comment: Added a new Section 5 with generalization of the main results; some new and corrected proofs of the old material; 29 pages, 3 figure

Level Sets of the Takagi Function: Local Level Sets

The Takagi function \tau : [0, 1] \to [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. The level sets L(y) = {x : \tau(x) = y} of the Takagi function \tau(x) are studied by introducing a notion of local level set into which level sets are partitioned. Local level sets are simple to analyze, reducing questions to understanding the relation of level sets to local level sets, which is more complicated. It is known that for a "generic" full Lebesgue measure set of ordinates y, the level sets are finite sets. Here it is shown for a "generic" full Lebesgue measure set of abscissas x, the level set L(\tau(x)) is uncountable. An interesting singular monotone function is constructed, associated to local level sets, and is used to show the expected number of local level sets at a random level y is exactly 3/2.Comment: 32 pages, 2 figures, 1 table. Latest version has updated equation numbering. The final publication will soon be available at springerlink.co

Entangled Photons from Small Quantum Dots

We discuss level schemes of small quantum-dot turnstiles and their applicability in the production of entanglement in two-photon emission. Due to the large energy splitting of the single-electron levels, only one single electron level and one single hole level can be made resonant with the levels in the conduction band and valence band. This results in a model with nine distinct levels, which are split by the Coulomb interactions. We show that the optical selection rules are different for flat and tall cylindrically symmetric dots, and how this affects the quality of the entanglement generated in the decay of the biexciton state. The effect of charge carrier tunneling and of a resonant cavity is included in the model.Comment: 10 pages, 8 figure