Let $L$ be a free Lie algebra over a field $k$, $I$ a non-trivial proper ideal of $L$, $n>1$ an integer. The multiplicator $H_2(L/I^n,k)$ of $L/I^n$ is not finitely generated, and so in particular, $L/I^n$ is not finitely presented, even when $L/I$ is finite dimensional.

Joseph Abarbanel Shmuel Rosset

Wall's theorem on arithmetic progressions says that if $0.a_1a_2a_3\dots$ is normal, then for any $k,\ell\in \mathbb{N}$, $0.a_ka_{k+\ell}a_{k+2\ell}\dots$ is also normal. We examine a converse statement and show that if $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal for periodic increasing sequences $n_1<n_2<n_3<\dots$ of asymptotic density arbitrarily close to $1$, then $0.a_1a_2a_3\dots$ is normal. We show this is close to sharp in the sense that there are numbers $0.a_1a_2a_3\dots$ that are not normal, but for which $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal along a large collection of sequences whose density is bounded a little away from $1$.

Joseph Vandehey

We analyse the one dimensional quartic oscillator using the effective operator methodology of Lee and Suzuki. We reproduce known results for low lying energy eigenvalues.

K. J. Abraham J. P. Vary

Let f and g be nonconstant polynomials over an arbitrary field K. In this paper we study the intersection of the polynomial rings K[f] and K[g], and in particular we ask whether this intersection is larger than K. We completely resolve this question when K has characteristic zero, and in positive characteristic we present various results, examples, and algorithms.

Robert M. Beals Joseph L. Wetherell Michael E. Zieve

Let E --> C be an elliptic surface defined over a number field K. For each finite covering C' --> C defined over K, let E' --> C' be the pullback. We give a strong upper bound for the rank of E'(C'/K) in the case that C' --> C is an unramified abelian covering and under the assumption that the Tate conjecture is true for the surface E'/K. In the case that C is an elliptic curve and the map C'=C --> C is the multiplication-by-n map, the rank of E'(C'/K) is O(n^e) for every e > 0, which may be compared with the elementary bound of O(n^2).

Joseph H. Silverman

Systematic local structural studies of Ba$_{1-x}$K$_x$Fe$_2$As$_2$ system are undertaken at room temperature using atomic pair distribution function (PDF) analysis. The local structure of the Ba$_{1-x}$K$_x$Fe$_2$As$_2$ is found to be well described by the long-range structure extracted from the diffraction experiments, but with anisotropic atomic vibrations of the constituent atoms ($U_{11}$ = $U_{22} \ne U_{33}$). The crystal unit cell parameters, the FeAs$_4$ tetrahedral angle and the pnictogen height above the Fe-plane are seen to show systematic evolution with K doping, underlining the importance of the structural changes, in addition to the charge doping, in determining the properties of Ba$_{1-x}$K$_x$Fe$_2$As$_2$.

B. Joseph V. Zinth M. Brunelli B. Maroni D. Johrendt L. Malavasi

Problems presented at the open-problem session of the 14th Annual ACM Symposium on Computational Geometry are listed.

Pankaj K. Agarwal Joseph O'Rourke

We have studied spin relaxation in the spin ice compound Dy2Ti2O7 through measurements of the a.c. magnetic susceptibility. While the characteristic spin relaxation time is thermally activated at high temperatures, it becomes almost temperature independent below Tcross ~ 13 K, suggesting that quantum tunneling dominates the relaxation process below that temperature. As the low-entropy spin ice state develops below Tice ~ 4 K, the spin relaxation time increases sharply with decreasing temperature, suggesting the emergence of a collective degree of freedom for which thermal relaxation processes again become important as the spins become highly correlated.

J. Snyder B. G. Ueland J. S. Slusky H. Karunadasa R. J. Cava Ari Mizel P. Schiffer

Given $n$ distinct points $\mathbf{x}_1, \ldots, \mathbf{x}_n$ in $\mathbb{R}^d$, let $K$ denote their convex hull, which we assume to be $d$-dimensional, and $B = \partial K $ its $(d-1)$-dimensional boundary. We construct an explicit one-parameter family of continuous maps $\mathbf{f}_{\varepsilon} \colon \mathbb{S}^{d-1} \to K$ which, for $\varepsilon > 0$, are defined on the $(d-1)$-dimensional sphere and have the property that the images $\mathbf{f}_{\varepsilon}(\mathbb{S}^{d-1})$ are codimension $1$ submanifolds contained in the interior of $K$. Moreover, as the parameter $\varepsilon$ goes to $0^+$, the images $\mathbf{f}_{\varepsilon}(\mathbb{S}^{d-1})$ converge, as sets, to the boundary $B$ of the convex hull. We prove this theorem using techniques from convex geometry of (spherical) polytopes and set-valued homology. We further establish an interesting relationship with the Gauss map of the polytope $B$, appropriately defined. Several computer plots illustrating our results will be presented.

Joseph Malkoun Peter J. Olver

Let $V$ be a projective variety defined over a number field $K$, let $S$ be a polarized set of endomorphisms of $V$ all defined over $K$, and let $P\in V(K)$. For each prime $\mathfrak{p}$ of $K$, let $m_{\mathfrak{p}}(S,P)$ denote the number of points in the orbit of $P\bmod\mathfrak{p}$ for the semigroup of maps generated by $S$. Under suitable hypotheses on $S$ and $P$, we prove an analytic estimate for $m_{\mathfrak{p}}(S,P)$ and use it to show that the set of primes for which $m_{\mathfrak{p}}(S,P)$ grows subexponentially as a function of $\operatorname{\mathsf{N}}_{K/\mathbb{Q}}\mathfrak{p}$ is a set of density zero. For $V=\mathbb{P}^1$ we show that this holds for a generic set of maps $S$ provided that at least two of the maps in $S$ have degree at least four.

Wade Hindes Joseph H. Silverman