arXiv subjects
Publications and source records attributed to Michael Mackey.
We review known results concerning powers and products of $(m,p)$-isometries with a view to providing elementary proofs based on properties of polynomials. We consider also the situation when $p=\infty$ where we find elements of graph theory and combinatorics arise naturally.
In this paper we study holomorphic properties of infinite dimensional spin factors. Among the infinite dimensional Banach spaces with homogeneous open unit balls, we show that the spin factors are natural outlier spaces in which to ask the question (as was proved in the early 1970s for Hilbert spaces): Do biholomorphic automorphisms $g$ of the open unit ball $B$ have fixed points in $\overline B$? In this paper, for infinite dimensional spin factors, we provide reasonable conditions on $g$ that allow us to explicitly construct fixed points of $g$ lying on $\partial B$. En route, we also prove that every spin factor has the density property. In another direction, we focus on (compact) holomorphic maps $f:B\rightarrow B$, having no fixed point in $B$ and examine the sequence of iterates $(f^n)$. As $(f^n)$ does not generally converge, we instead trace the target set $T(f)$ of $f$, that is, the images of all accumulation points of $(f^n)_n$, for any topology finer than the topology of pointwise convergence on B. We prove for a spin factor that $T(f)$ lies on the boundary of a single bidisc unique to $f$.
How many odd numbers are there? How many even numbers? From Galileo to Cantor, the suggestion was that there are the same number of odd, even and natural numbers, because all three sets can be mapped in one-one fashion to each other. This jars with our intuition: cardinality fails to discriminate between sets that are intuitively of different sizes. The class of surreal numbers $\boldsymbol{\mathsf{No}}$ is the largest possible ordered field. In this work we define a function, the magnum, mapping a selection of countable sets to a subclass of the surreals, the surnatural numbers $\boldsymbol{\mathsf{Nn}}$. Set magnums are found to be consistent with our intuition about relative set sizes. The magnum of a proper subset of a set is strictly less than the magnum of the set itself, in harmony with Euclid's axiom, ``the whole is greater than the part''. Two approaches are taken to specify magnums. First, they are determined by following the genetic assignment of magnums in the way the surreal numbers themselves are defined. Second, the domain of the counting sequence, which is defined for every countable set, is extended, to evaluate it on the surnatural numbers. The two methods are shown to be consistent. For a subset $A$ of $\mathbb{N}$, the magnum is defined as the value at $\omega$ of the extended counting function of $A$. Larger sets are partitioned into finite components and a more general definition of magnums is presented. Several theorems concerning the properties of magnums are proved, and are employed to evaluate the magnums of a range of interesting countable sets. The relativity of the magnum function is discussed and a number of examples illustrate how its value depends on the choice and ordering of the reference set. In particular, we show how the rational numbers may be ordered in such a way that all unit rational intervals have equal magnums.
We define an extension of parity from the integers to the rational numbers. Three parity classes are found -- even, odd and `none'. Using the 2-adic valuation, we partition the rationals into subgroups with a rich algebraic structure. The natural density provides a means of distinguishing the sizes of countably infinite sets. The Calkin-Wilf tree has a remarkably simple parity pattern, with the sequence `odd/none/even' repeating indefinitely. This pattern means that the three parity classes have equal natural density in the rationals. A similar result holds for the Stern-Brocot tree.
We show that there are many sets in the boundary of a bounded symmetric domain that determine the values and norm of holomorphic functions on the domain having continuous extensions to the boundary. We provide an analogue of the Bergmann-Shilov boundary for finite rank JB*-triples.
We characterise continuity of composition operators on weighted spaces of holomorphic functions $H_{v}(B_{X})$, where $B_{X}$ is the open unit ball of a Banach space which is homogeneous, that is, a $JB^{\ast}-$triple.
We study a variant of the R\'enyi parking problem in which car length is repeatedly halved and determine the rate at which the remaining space decays.
We generalize the notion of $m$-isometric operator tuples on Hilbert spaces in a natural way to normed spaces. This is done by defining a tuple analogue of $(m,p)$-isometric operators, so-called $(m,p)$-isometric operator tuples. We then extend this definition further by introducing $(m,\infty)$-isometric operator tuples and study properties of and relations between these objects.
R.V. Kadison defined the notion of local derivation on an algebra and proved that every continuous local derivation on a von Neumann algebra is a derivation (Kadison 1990). We provide the analogous result in the setting of Jordan triples.
A bounded linear operator $T$ on a Banach space $X$ is called an $(m, p)$-isometry if it satisfies the equation \sum_{k=0}^{m}(-1)^{k} {m \choose k}\|T^{k}x\|^{p} = 0$, for all $x \in X$. In this paper we study the structure which underlies the second parameter of $(m, p)$-isometric operators. We concentrate on determining when an $(m, p)$-isometry is a $(\mu, q)$-isometry for some pair ($\mu, q)$. We also extend the definition of $(m, p)$-isometry, to include $p=\infty$ and study basic properties of these $(m, \infty)$-isometries.