We present a new method of establishing a bijective correspondence - in fact, a lattice isomorphism - between action- and coaction-invariant ideals of C*-algebras and their crossed products by a fixed locally compact group. It is known that such a correspondence exists whenever the group is amenable; our results hold for any locally compact group under a natural form of coaction invariance.

Matthew Gillespie S. Kaliszewski John Quigg Dana P. Williams

Let $\CRF_S$ denote the category of $S$-colored rooted forests, and $\H_{\CRF_S}$ denote its Ringel-Hall algebra as introduced in \cite{KS}. We construct a homomorphism from a $K^+_0 (\CRF_S)$--graded version of the Hopf algebra of noncommutative symmetric functions to $\H_{\CRF_S}$. Dualizing, we obtain a homomorphism from the Connes-Kreimer Hopf algebra to a $K^+_0 (\CRF_S)$--graded version of the algebra of quasisymmetric functions. This homomorphism is a refinement of one considered by W. Zhao in \cite{Z}.

Matthew Szczesny

We demonstrate a set A and a value of s for which the sequence of N-point discrete minimal Riesz s-energy configurations on A does not have an asymptotic distribution in the weak-star sense as N tends to infinity.

Matthew T. Calef

We examine a result of A. Iserles and E. B. Saff, use it to prove a conjecture of S. Fisk that a linear operator which maps monomials to Legendre polynomials also preserves zeros in the open interval $|x|<1$, and state a more general version of the conjecture for the Jacobi polynomials.

Matthew Chasse

In this paper we provide a sharp characterization of the smooth four-dimensional sphere. The assumptions of the theorem are conformally invariant, and can be reduced to an L^2 inequality of the Weyl tensor and positivity of the Yamabe invariant.

S. Y. A Chang Matthew J. Gursky Paul Yang

For the simple Lie algebra $g = sl(n,C)$ we we find a set of generators and relations for the classical family algebra $(End(g)\otimes S(g))^G$ as an algebra over the ring $I(g)$. From these we can then determine a $I(g)$-linear basis of the family algebra, and thus the generalized exponents of the irreducible components of $End(g)$ viewed as a $g$-module.

Matthew Tai

In this article we define a generalization of the domino shuffling algorithm for tilings of the Aztec diamond to the interacting $k$-tilings recently introduced by S. Corteel, A. Gitlin, and the first author. We describe the algorithm both in terms of dynamics on a system of colored particles and as operations on the dominos themselves.

David Keating Matthew Nicoletti

When a quantum system is divided into subsystems, their entanglement entropies are subject to an inequality known as "strong subadditivity". For a field theory this inequality can be stated as follows: given any two regions of space $A$ and $B$, $S(A) + S(B) \ge S(A \cup B) + S(A \cap B)$. Recently, a method has been found for computing entanglement entropies in any field theory for which there is a holographically dual gravity theory. In this note we give a simple geometrical proof of strong subadditivity employing this holographic prescription.

Matthew Headrick Tadashi Takayanagi

Let $A$ be a compact set in $\Rp$ of Hausdorff dimension $d$. For $s\in(0,d)$, the Riesz $s$-equilibrium measure $\mu^{s,A}$ is the unique Borel probability measure with support in $A$ that minimizes $$ \Is(\mu):=\iint\Rk{x}{y}{s}d\mu(y)d\mu(x)$$ over all such probability measures. In this paper we show that if $A$ is a strictly self-similar $d$-fractal, then $\mu^{s,A}$ converges in the weak-star topology to normalized $d$-dimensional Hausdorff measure restricted to $A$ as $s$ approaches $d$ from below.

Matthew T. Calef

We initiate the study of spanners under the Hausdorff and Fr\'echet distances. We show that any $t$-spanner of a planar point-set $S$ is a $\frac{\sqrt{t^2-1}}{2}$-Hausdorff-spanner and a $\min\{\frac{t}{2},\frac{\sqrt{t^2-t}}{\sqrt{2}}\}$-Fr\'echet spanner. We also prove that for any $t > 1$, there exist a set of points $S$ and an $\varepsilon_1$-Hausdorff-spanner of $S$ and an $\varepsilon_2$-Fr\'echet-spanner of $S$, where $\varepsilon_1$ and $\varepsilon_2$ are constants, such that neither of them is a $t$-spanner.

Tsuri Farhana Matthew J. Katz