The existence of k-radius sequences

Let $n$ and $k$ be positive integers, and let $F$ be an alphabet of size $n$. A sequence over $F$ of length $m$ is a \emph{$k$-radius sequence} if any two distinct elements of $F$ occur within distance $k$ of each other somewhere in the sequence. These sequences were introduced by Jaromczyk and Lonc in 2004, in order to produce an efficient caching strategy when computing certain functions on large data sets such as medical images. Let $f_k(n)$ be the length of the shortest $n$-ary $k$-radius sequence. The paper shows, using a probabilistic argument, that whenever $k$ is fixed and $n\rightarrow\infty$ $$f_k(n)\sim \frac{1}{k}\binom{n}{2}.$$ The paper observes that the same argument generalises to the situation when we require the following stronger property for some integer $t$ such that $2\leq t\leq k+1$: any $t$ distinct elements of $F$ must simultaneously occur within a distance $k$ of each other somewhere in the sequence.Comment: 8 pages. More papers cited, and a minor reorganisation of the last section, since last version. Typo corrected in the statement of Theorem

Universal Cycles for Minimum Coverings of Pairs by Triples, with Application to 2-Radius Sequences

A new ordering, extending the notion of universal cycles of Chung {\em et al.} (1992), is proposed for the blocks of $k$-uniform set systems. Existence of minimum coverings of pairs by triples that possess such an ordering is established for all orders. Application to the construction of short 2-radius sequences is given, with some new 2-radius sequences found through computer search.Comment: 18 pages, to appear in Mathematics of Computatio

Sequences of globally regular and black hole solutions in SU(4) Einstein-Yang-Mills theory

SU(4) Einstein-Yang-Mills theory possesses sequences of static spherically symmetric globally regular and black hole solutions. Considering solutions with a purely magnetic gauge field, based on the 4-dimensional embedding of $su(2)$ in $su(4)$, these solutions are labelled by the node numbers $(n_1,n_2,n_3)$ of the three gauge field functions $u_1$, $u_2$ and $u_3$. We classify the various types of solutions in sequences and determine their limiting solutions. The limiting solutions of the sequences of neutral solutions carry charge, and the limiting solutions of the sequences of charged solutions carry higher charge. For sequences of black hole solutions with node structure $(n,j,n)$ and $(n,n,n)$, several distinct branches of solutions exist up to critical values of the horizon radius. We determine the critical behaviour for these sequences of solutions. We also consider SU(4) Einstein-Yang-Mills-dilaton theory and show that these sequences of solutions are analogous in most respects to the corresponding SU(4) Einstein-Yang-Mills sequences of solutions.Comment: 40 pages, 5 tables, 19 Postscript figures, use revtex.st

Existence of immersed spheres minimizing curvature functionals in non-compact 3-manifolds

We study curvature functionals for immersed 2-spheres in non-compact, three-dimensional Riemannian manifold $(M,h)$ without boundary. First, under the assumption that $(M,h)$ is the euclidean 3-space endowed with a semi-perturbed metric with perturbation small in $C^1$ norm and of compact support, we prove that if there is some point $\bar{x} \in M$ with scalar curvature $R^M(\bar{x})>0$ then there exists a smooth embedding $f:S^2 \hookrightarrow M$ minimizing the Willmore functional $1/4\int |H|^2$, where $H$ is the mean curvature. Second, assuming that $(M,h)$ is of bounded geometry (i.e. bounded sectional curvature and strictly positive injectivity radius) and asymptotically euclidean or hyperbolic we prove that if there is some point $\bar{x} \in M$ with scalar curvature $R^M(\bar{x})>6$ then there exists a smooth immersion $f:S^2 \hookrightarrow M$ minimizing the functional $\int (1/2|A|^2+1)$, where $A$ is the second fundamental form. Finally, adding the bound $K^M \leq 2$ to the last assumptions, we obtain a smooth minimizer $f:S^2 \hookrightarrow M$ for the functional $\int (1/4|H|^2+1)$. The assumptions of the last two theorems are satisfied in a large class of 3-manifolds arising as spacelike timeslices solutions of the Einstein vacuum equation in case of null or negative cosmological constant.Comment: 19 Page