Source author record

Ian Doust

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.MG math.SP math.AP math.CO

Catalog footprint

Research overview

13works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Isomorphisms of $BV(σ)$ spaces

In this paper we investigate the relationship between the properties of a compact set $σ\subseteq \mathbb{C}$ and the structure of the space $BV(σ)$ of functions of bounded variation (in the sense of Ashton and Doust) defined on $σ$ . For the subalgebras of absolutely continuous functions on $σ$ , it is known that for certain classes of compact sets one obtains a Gelfand--Kolmogorov type result: the function spaces $AC(σ_1)$ and $AC(σ_2)$ are isomorphic if and only if the domain sets $σ_1$ and $σ_2$ are homeomorphic. Our main theorem is that in this case the isomorphism must extend to an isomorphism of the $BV(σ)$ spaces. An application is given to the spectral theory of $AC(σ)$ operators.

preprint2020arXiv

Distance matrices of subsets of the Hamming cube

Graham and Winkler derived a formula for the determinant of the distance matrix of a full-dimensional set of $n + 1$ points $\{ x_{0}, x_{1}, \ldots , x_{n} \}$ in the Hamming cube $H_{n} = ( \{ 0,1 \}^{n}, \ell_{1} )$ . In this article we derive a formula for the determinant of the distance matrix $D$ of an arbitrary set of $m + 1$ points $\{ x_{0}, x_{1}, \ldots , x_{m} \}$ in $H_{n}$ . It follows from this more general formula that $\det (D) \not= 0$ if and only if the vectors $x_{0}, x_{1}, \ldots , x_{m}$ are affinely independent. Specializing to the case $m = n$ provides new insights into the original formula of Graham and Winkler. A significant difference that arises between the cases $m < n$ and $m = n$ is noted. We also show that if $D$ is the distance matrix of an unweighted tree on $n + 1$ vertices, then $\langle D^{-1} \mathbf{1}, \mathbf{1} \rangle = 2/n$ where $\mathbf{1}$ is the column vector all of whose coordinates are $1$ . Finally, we derive a new proof of Murugan's classification of the subsets of $H_{n}$ that have strict $1$ -negative type.

preprint2015arXiv

Functional calculus on Venturi for Groups with Finite Propagation Speed

Let ${\cal{M}}$ be a complete Riemannian manifold with Ricci curvature bounded below and Laplace operator $Δ$ . The paper develops a functional calculus for the cosine family $\cos(t\sqrt Δ)$ which is associated with waves that travel at unit speed. If $f$ is holomorphic on a Venturi shaped region, and $z^kf(z)$ is bounded for some positive integer $k$ , then $f({\sqrt Δ})$ defines a bounded linear operator on $L^p({\cal{M}})$ for some $p>2$ . For Jacobi hypergroups with invariant measure $m$ the generalized Fourier transform of $f\in L^1(m)$ gives $\hat f\in H^\infty (Σ_ω)$ for some strip $Σ_ω$ . Hence one defines $\hat f(A)$ for operators $A$ in some Banach space that have a $H^\infty (Σ_ω)$ functional calculus. The paper introduces an operational calculus for the Mehler--Fock transform of order zero. By transference methods, one defines $\hat f(A)$ when $\hat f$ is a $s$ -Marcinkiewicz multiplier and $e^{itA}$ is a strongly continuous operator group on a $L^p$ space for $| 1/2-1/p| <1/s$ .\par

preprint2015arXiv

The asymptotic enhanced negative type of finite ultrametric spaces

Negative type inequalities arise in the study of embedding properties of metric spaces, but they often reduce to intractable combinatorial problems. In this paper we study more quantitative versions of these inequalities involving the so-called $p$ -negative type gap. In particular, we focus our attention on the class of finite ultrametric spaces which are important in areas such as phylogenetics and data mining. Let $(X,d)$ be a given finite ultrametric space with minimum non-zero distance $α$ . Then the $p$ -negative type gap $Γ_{X}(p)$ of $(X,d)$ is positive for all $p \geq 0$ . In this paper we compute the value of the limit \begin{eqnarray*} Γ_{X}(\infty) & = & \lim\limits_{p \rightarrow \infty} \frac{Γ_{X}(p)}{α^{p}}. \end{eqnarray*} It turns out that this value is positive and it may be given explicitly by an elegant combinatorial formula. On the basis of our calculations we are then able to characterize when $Γ_{X}(p)/ α^{p}$ is constant on $[0, \infty)$ . The determination of $Γ_{X}(\infty)$ also leads to new, asymptotically sharp, families of enhanced $p$ -negative type inequalities for $(X,d)$ . Indeed, suppose that $G \in (0, Γ_{X}(\infty))$ . Then, for all sufficiently large $p$ , we have \begin{eqnarray*} \frac{G \cdot α^{p}}{2} \left( \sum\limits_{k=1}^{n} |ζ_{k}| \right)^{2} + \sum\limits_{j,i =1}^{n} d(z_{j},z_{i})^{p} ζ_{j} ζ_{i} & \leq & 0 \end{eqnarray*} for each finite subset $\{ z_{1}, \ldots, z_{n} \} \subseteq X$ and each choice of real numbers $ζ_{1}, \ldots, ζ_{n}$ with $ζ_{1} + \cdots + ζ_{n} = 0$ . We note that these results do not extend to general finite metric spaces.

preprint2014arXiv

A direct proof that $\ell_\infty^{(3)}$ has generalized roundness zero

Metric spaces of generalized roundness zero have interesting non-embedding properties. For instance, we note that no metric space of generalized roundness zero is isometric to any metric subspace of any $L_{p}$ -space for which $0 < p \leq 2$ . Lennard, Tonge and Weston gave an indirect proof that $\ell_{\infty}^{(3)}$ has generalized roundness zero by appealing to highly non-trivial isometric embedding theorems of Bretagnolle Dacunha-Castelle and Krivine, and Misiewicz. In this paper we give a direct proof that $\ell_{\infty}^{(3)}$ has generalized roundness zero. This provides insight into the combinatorial geometry of $\ell_{\infty}^{(3)}$ that causes the generalized roundness inequalities to fail. We complete the paper by noting a characterization of real quasi-normed spaces of generalized roundness zero.

preprint2014arXiv

Hill's Spectral Curves and the Invariant Measure of the Periodic KdV Equation

This paper analyses the periodic spectrum of Schrödinger's equation $-f''+qf=λf$ when the potential is real, periodic, random and subject to the invariant measure $ν_N^β$ of the periodic KdV equation. This $ν_N^β$ is the modified canonical ensemble, as given by Bourgain ({Comm. Math. Phys.} {166} (1994), 1--26), and $ν_N^β$ satisfies a logarithmic Sobolev inequality. Associated concentration inequalities control the fluctuations of the periodic eigenvalues $(λ_n)$ . For $β, N>0$ small, there exists a set of positive $ν_N^β$ measure such that $(\pm \sqrt{2(λ_{2n}+λ_{2n-1})})_{n=0}^\infty$ gives a sampling sequence for Paley--Wiener space $PW(π)$ and the reproducing kernels give a Riesz basis. Let $(μ_j)_{j=1}^\infty$ be the tied spectrum; then $(2\sqrt{μ_j}-j)$ belongs to a Hilbert cube in $\ell^2$ and is distributed according to a measure that satisfies Gaussian concentration for Lipschitz functions. The sampling sequence $(\sqrt{μ_j})_{j=1}^\infty$ arises from a divisor on the spectral curve, which is hyperelliptic of infinite genus. The linear statistics $\sum_j g(\sqrt{λ_{2j}})$ with test function $g\in PW(π)$ satisfy Gaussian concentration inequalities.

preprint2014arXiv

Logarithmic Sobolev inequalities and spectral concentration for the cubic Schrödinger equation

The nonlinear Schrödinger equation NLSE(p, β), -iu_t=-u_{xx}+β| u|^{p-2} u=0, arises from a Hamiltonian on infinite-dimensional phase space \Lp^2(\mT). For p\leq 6, Bourgain (Comm. Math. Phys. 166 (1994), 1--26) has shown that there exists a Gibbs measure μ^β_N on balls Ω_N= {ϕ\in \Lp^2(\mT) : | ϕ|^2_{\Lp^2} \leq N} in phase space such that the Cauchy problem for NLSE(p,β) is well posed on the support of μ^β_N, and that μ^β_N is invariant under the flow. This paper shows that μ^β_N satisfies a logarithmic Sobolev inequality for the focussing case β<0 and 2\leq p\leq 4 on Ω_N for all N>0; also μ^β satisfies a restricted LSI for 4\leq p\leq 6 on compact subsets of Ω_N determined by Hölder norms. Hence for p=4, the spectral data of the periodic Dirac operator in \Lp^2(\mT; \mC^2) with random potential ϕsubject to μ^β_N are concentrated near to their mean values. The paper concludes with a similar result for the spectral data of Hill's equation when the potential is random and subject to the Gibbs measure of KdV.

preprint2013arXiv

Isomorphisms of $AC(σ)$ spaces

Analogues of the classical Banach-Stone theorem for spaces of continuous functions are studied in the context of the spaces of absolutely continuous functions introduced by Ashton and Doust. We show that if $AC(σ_1)$ is algebra isomorphic to $AC(σ_2)$ then $σ_1$ is homeomorphic to $σ_2$ . The converse however is false. In a positive direction we show that the converse implication does hold if the sets $σ_1$ and $σ_2$ are confined to a restricted collection of compact sets, such as the set of all simple polygons.

preprint2011arXiv

Metric trees of generalized roundness one

Every finite metric tree has generalized roundness strictly greater than one. On the other hand, some countable metric trees have generalized roundness precisely one. The purpose of this paper is to identify some large classes of countable metric trees that have generalized roundness precisely one. At the outset we consider spherically symmetric trees endowed with the usual combinatorial metric (SSTs). Using a simple geometric argument we show how to determine decent upper bounds on the generalized roundness of finite SSTs that depend only on the downward degree sequence of the tree in question. By considering limits it follows that if the downward degree sequence $(d_{0}, d_{1}, d_{2}...)$ of a SST $(T,ρ)$ satisfies $|\{j \, | \, d_{j} > 1 \}| = \aleph_{0}$ , then $(T,ρ)$ has generalized roundness one. Included among the trees that satisfy this condition are all complete $n$ -ary trees of depth $\infty$ ( $n \geq 2$ ), all $k$ -regular trees ( $k \geq 3$ ) and inductive limits of Cantor trees. The remainder of the paper deals with two classes of countable metric trees of generalized roundness one whose members are not, in general, spherically symmetric. The first such class of trees are merely required to spread out at a sufficient rate (with a restriction on the number of leaves) and the second such class of trees resemble infinite combs.

preprint2010arXiv

$AC(σ)$ operators

In this paper we present a new extension of the theory of well-bounded operators to cover operators with complex spectrum. In previous work a new concept of the class of absolutely continuous functions on a nonempty compact subset $σ$ of the plane, denoted $AC(σ)$ , was introduced. An $\AC(σ)$ operator is one which admits a functional calculus for this algebra of functions. The class of $AC(σ)$ operators includes all of the well-bounded operators and trigonometrically well-bounded operators, as well as all scalar-type spectral operators, but is strictly smaller than Berkson and Gillespie's class of $AC$ operators. This paper develops the spectral properties of $AC(σ)$ operators and surveys some of the problems which remain in extending results from the theory of well-bounded operators.

preprint2008arXiv

Compact $AC(σ)$ operators

All compact $AC(σ)$ operators have a representation analogous to that for compact normal operators. As a partial converse we obtain conditions which allow one to construct a large number of such operators. Using the results in the paper, we answer a number of questions about the decomposition of a compact $AC(σ)$ into real and imaginary parts.

preprint2008arXiv

Enhanced negative type for finite metric trees

Finite metric trees are known to have strict 1-negative type. In this paper we introduce a new family of inequalities that quantify the extent of the "strictness" of the 1-negative type inequalities for finite metric trees. These inequalities of "enhanced 1-negative type" are sufficiently strong to imply that any given finite metric tree must have strict p-negative type for all values of p in an open interval that contains the number 1. Moreover, these open intervals can be characterized purely in terms of the unordered distribution of edge weights that determine the path metric on the particular tree, and are therefore largely independent of the tree's internal geometry. From these calculations we are able to extract a new non linear technique for improving lower bounds on the maximal p-negative type of certain finite metric spaces. Some pathological examples are also considered in order to stress certain technical points.

preprint2008arXiv

Extensions of an $AC(σ)$ functional calculus

On a reflexive Banach space $X$ , if an operator $T$ admits a functional calculus for the absolutely continuous functions on its spectrum $σ(T) \subseteq \mathbb{R}$ , then this functional calculus can always be extended to include all the functions of bounded variation. This need no longer be true on nonreflexive spaces. In this paper, it is shown that on most classical separable nonreflexive spaces, one can construct an example where such an extension is impossible. Sufficient conditions are also given which ensure that an extension of an $\AC$ functional calculus is possible for operators acting on families of interpolation spaces such as the $L^p$ spaces.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ian Doust

Research overview

Is this your work?

13 publications

Isomorphisms of $BV(σ)$ spaces

Distance matrices of subsets of the Hamming cube

Functional calculus on Venturi for Groups with Finite Propagation Speed

The asymptotic enhanced negative type of finite ultrametric spaces

A direct proof that $\ell_\infty^{(3)}$ has generalized roundness zero

Hill's Spectral Curves and the Invariant Measure of the Periodic KdV Equation

Logarithmic Sobolev inequalities and spectral concentration for the cubic Schrödinger equation

Isomorphisms of $AC(σ)$ spaces

Metric trees of generalized roundness one

$AC(σ)$ operators

Compact $AC(σ)$ operators

Enhanced negative type for finite metric trees

Extensions of an $AC(σ)$ functional calculus

See the researcher in context

Building this map preview

Ian Doust

Research overview

Is this your work?

13 publications

Isomorphisms of BV(σ)BV(σ)BV(σ) spaces

Distance matrices of subsets of the Hamming cube

Functional calculus on Venturi for Groups with Finite Propagation Speed

The asymptotic enhanced negative type of finite ultrametric spaces

A direct proof that ℓ∞(3)\ell_\infty^{(3)}ℓ∞(3)​ has generalized roundness zero

Hill's Spectral Curves and the Invariant Measure of the Periodic KdV Equation

Logarithmic Sobolev inequalities and spectral concentration for the cubic Schrödinger equation

Isomorphisms of AC(σ)AC(σ)AC(σ) spaces

Metric trees of generalized roundness one

AC(σ)AC(σ)AC(σ) operators

Compact AC(σ)AC(σ)AC(σ) operators

Enhanced negative type for finite metric trees

Extensions of an AC(σ)AC(σ)AC(σ) functional calculus

See the researcher in context

Building this map preview

Isomorphisms of $BV(σ)$ spaces

A direct proof that $\ell_\infty^{(3)}$ has generalized roundness zero

Isomorphisms of $AC(σ)$ spaces

$AC(σ)$ operators

Compact $AC(σ)$ operators

Extensions of an $AC(σ)$ functional calculus