Showing 1–17 of 17 results for author: Paterson, A

An Iterative Block Matrix Inversion (IBMI) Algorithm for Symmetric Positive Definite Matrices with Applications to Covariance Matrices

Authors: Ann Paterson, Jennifer Pestana, Victorita Dolean Maini

Abstract: Obtaining the inverse of a large symmetric positive definite matrix $\mathcal{A}\in\mathbb{R}^{p\times p}$ is a continual challenge across many mathematical disciplines. The computational complexity associated with direct methods can be prohibitively expensive, making it infeasible to compute the inverse. In this paper, we present a novel iterative algorithm (IBMI), which is designed to approximat… ▽ More Obtaining the inverse of a large symmetric positive definite matrix $\mathcal{A}\in\mathbb{R}^{p\times p}$ is a continual challenge across many mathematical disciplines. The computational complexity associated with direct methods can be prohibitively expensive, making it infeasible to compute the inverse. In this paper, we present a novel iterative algorithm (IBMI), which is designed to approximate the inverse of a large, dense, symmetric positive definite matrix. The matrix is first partitioned into blocks, and an iterative process using block matrix inversion is repeated until the matrix approximation reaches a satisfactory level of accuracy. We demonstrate that the two-block, non-overlapping approach converges for any positive definite matrix, while numerical results provide strong evidence that the multi-block, overlapping approach also converges for such matrices. △ Less

Submitted 10 February, 2025; originally announced February 2025.

MSC Class: 65F05 (Primary) 15A09 (Secondary) ACM Class: G.1.3

Contractive spectral triples for crossed products

Authors: Alan L. T. Paterson

Abstract: Connes showed that spectral triples encode (noncommutative) metric information. Further, Connes and Moscovici in their metric bundle construction showed that, as with the Takesaki duality theorem, forming a crossed product spectral triple can substantially simplify the structure. In a recent paper, Bellissard, Marcolli and Reihani (among other things) studied in depth metric notions for spectral t… ▽ More Connes showed that spectral triples encode (noncommutative) metric information. Further, Connes and Moscovici in their metric bundle construction showed that, as with the Takesaki duality theorem, forming a crossed product spectral triple can substantially simplify the structure. In a recent paper, Bellissard, Marcolli and Reihani (among other things) studied in depth metric notions for spectral triples and crossed product spectral triples for $Z$-actions, with applications in number theory and coding theory. In the work of Connes and Moscovici, crossed products involving groups of diffeomorphisms and even of étale groupoids are required. With this motivation, the present paper develops part of the Bellissard-Marcolli-Reihani theory for a general discrete group action, and in particular, introduces coaction spectral triples and their associated metric notions. The isometric condition is replaced by the contractive condition. △ Less

Submitted 19 April, 2012; originally announced April 2012.

Comments: 20 pages

MSC Class: 58B34; 46L55

Banishing divergence Part 1: Infinite numbers as the limit of sequences of real numbers

Authors: David Alan Paterson

Abstract: Sequences diverge either because they head off to infinity or because they oscillate. Part 1 constructs a non-Archimedean framework of infinite numbers that is large enough to contain asymptotic limit points for non-oscillating sequences that head off to infinity. It begins by defining Archimedean classes of infinite numbers. Each class is denoted by a prototype sequence. These prototypes are used… ▽ More Sequences diverge either because they head off to infinity or because they oscillate. Part 1 constructs a non-Archimedean framework of infinite numbers that is large enough to contain asymptotic limit points for non-oscillating sequences that head off to infinity. It begins by defining Archimedean classes of infinite numbers. Each class is denoted by a prototype sequence. These prototypes are used as asymptotes for determining leading term limits of sequences. By subtracting off leading term limits and repeating, limits are obtained for a subset of sequences called here ``smooth sequences". $\mathbb{I}_n$ is defined as the set of ratios of limits of smooth sequences. It is shown that $\mathbb{I}_n$ is an ordered field that includes real, infinite and infinitesimal numbers. △ Less

Submitted 23 August, 2011; originally announced August 2011.

Comments: 22 pages

Banishing divergence Part 2: Limits of oscillatory sequences, and applications

Authors: David Alan Paterson

Abstract: Sequences diverge either because they head off to infinity or because they oscillate. Part 1 \cite{Part1} of this paper laid the pure mathematics groundwork by defining Archimedean classes of infinite numbers as limits of smooth sequences. Part 2 follows that with applied mathematics, showing that general sequences can usually be converted into smooth sequences, and thus have a well-defined limit.… ▽ More Sequences diverge either because they head off to infinity or because they oscillate. Part 1 \cite{Part1} of this paper laid the pure mathematics groundwork by defining Archimedean classes of infinite numbers as limits of smooth sequences. Part 2 follows that with applied mathematics, showing that general sequences can usually be converted into smooth sequences, and thus have a well-defined limit. Each general sequence is split into the sum of smooth, periodic (including Lebesgue integrable), chaotic and random components. The mean of each of these components divided by a smooth sequence, or the mean of the mean, will usually be a smooth sequence, and so the oscillatory sequence will have at least a leading term limit. Examples of limits of oscillatory sequences with well-defined limits are given. Methodologies are included for a way to calculate limits on the reals and on complex numbers, a way to evaluate improper integrals by limit of a Riemann sum, and a way to square the Dirac delta function. △ Less

Submitted 24 August, 2011; originally announced August 2011.

Comments: 15 pages, 1 figure

An Operator Space duality theorem for the Fourier-Stieltjes algebra of a locally compact groupoid

Authors: Alan L. T. Paterson

Abstract: It is a well-known result of Eymard that the Fourier-Stieltjes algebra of a locally compact group $G$ can be identified with the dual of the group $\cs$ $C^{*}(G)$. A corresponding result for a locally compact groupoid $G$ has been investigated by Renault, Ramsay and Walter. We show that the Fourier-Stieltjes algebra $B_μ(G)$ of $G$ (with respect to a quasi-invariant measure $μ$ on the unit space… ▽ More It is a well-known result of Eymard that the Fourier-Stieltjes algebra of a locally compact group $G$ can be identified with the dual of the group $\cs$ $C^{*}(G)$. A corresponding result for a locally compact groupoid $G$ has been investigated by Renault, Ramsay and Walter. We show that the Fourier-Stieltjes algebra $B_μ(G)$ of $G$ (with respect to a quasi-invariant measure $μ$ on the unit space $X$ of $G$) can be characterized in operator space terms as the dual of the Haagerup tensor product $\ov{L^{2}(X,μ)}^{r}\otimes_{hA}C^{*}(G,μ)\otimes_{h A}L^2(X,μ)^c$ and as the space of completely bounded bimodule maps $CB_{A}(C^{*}(G,μ),B(L^2(X,μ)))$, where $A=C_{0}(X)$ and $C^{*}(G,μ)$ is the groupoid $\cs$ obtained from those $G$-representations associated with $μ$. A similar but different result has been given by Renault, but our proof is along different lines, and full details are given. Examples illustrating the result are discussed. △ Less

Submitted 1 February, 2011; originally announced February 2011.

Comments: 29 pages

MSC Class: 43A32

The stabilization theorem for proper groupoids

Authors: Alan L. T. Paterson

Abstract: The stabilization theorem for $A$-Hilbert modules was established by G. G. Kasparov. The equivariant version, in which a locally compact group $H$ acts properly on a locally compact space $Y$, was proved by N. C. Phillips. This equivariant theorem involves the Hilbert $(H,C_{0}(Y))$-module $C_{0}(Y,L^{2}(H)^{\infty})$. It can naturally be interpreted in terms of a stabilization theorem for prope… ▽ More The stabilization theorem for $A$-Hilbert modules was established by G. G. Kasparov. The equivariant version, in which a locally compact group $H$ acts properly on a locally compact space $Y$, was proved by N. C. Phillips. This equivariant theorem involves the Hilbert $(H,C_{0}(Y))$-module $C_{0}(Y,L^{2}(H)^{\infty})$. It can naturally be interpreted in terms of a stabilization theorem for proper groupoids, and the paper establishes this theorem within the general proper groupoid context. The theorem has applications in equivariant KK-theory and groupoid index theory. △ Less

Submitted 22 September, 2009; originally announced September 2009.

Comments: 16 pages

MSC Class: 19K35; 22A22; 46L80

Tychonoff's theorem for locally compact space and an elementary approach to the topology of path spaces

Authors: Alan L. T. Paterson, Amy E. Welch

Abstract: The path spaces of a directed graph play an important role in the study of graph $\css$. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple, purely topological, approach to this construction, based on Tychonoff's theorem. In fact, the approach is shown to work even for higher dimensional graphs satisfy… ▽ More The path spaces of a directed graph play an important role in the study of graph $\css$. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple, purely topological, approach to this construction, based on Tychonoff's theorem. In fact, the approach is shown to work even for higher dimensional graphs satisfying the finitely aligned condition, and we construct the groupoid of the graph. Motivated by these path space results, we prove a Tychonoff theorem for an infinite, countable product of locally compact spaces. The main idea is to include certain finite products of the spaces along with the infinite product. We show that the topology is, in a reasonable sense, a pointwise topology. △ Less

Submitted 20 April, 2007; originally announced April 2007.

Journal ref: Proceedings of the American Mathematical Society 133(2005), 2761-2770

Continuous family groupoids

Authors: Alan L. T. Paterson

Abstract: In this paper, we define and investigate the properties of continuous family groupoids. This class of groupoids is necessary for investigating the groupoid index theory arising from the equivariant Atiyah-Singer index theorem for families, and is also required in noncommutative geometry. The class includes that of Lie groupoids, and the paper shows that, like Lie groupoids, continuous family gro… ▽ More In this paper, we define and investigate the properties of continuous family groupoids. This class of groupoids is necessary for investigating the groupoid index theory arising from the equivariant Atiyah-Singer index theorem for families, and is also required in noncommutative geometry. The class includes that of Lie groupoids, and the paper shows that, like Lie groupoids, continuous family groupoids always admit (an essentially unique) continuous left Haar system of smooth measures. We also show that the action of a continuous family groupoid $G$ on a continuous family $G$-space fibered over another continuous family $G$-space $Y$ can always be regarded as an action of the continuous family groupoid $G*Y$ on an ordinary $G*Y$-space. △ Less

Submitted 20 April, 2007; originally announced April 2007.

Journal ref: Homology, Homotopy and Applications 2 (2000), 89-104

The Fourier algebra for locally compact groupoids

Authors: Alan L. T. Paterson

Abstract: We introduce and investigate using Hilbert modules the properties of the {\em Fourier algebra} $A(G)$ for a locally compact groupoid $G$. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard. We introduce and investigate using Hilbert modules the properties of the {\em Fourier algebra} $A(G)$ for a locally compact groupoid $G$. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard. △ Less

Submitted 20 April, 2007; originally announced April 2007.

MSC Class: 43A32

Journal ref: Canadian Journal of Mathematics 56(2004), 1259-1289

The analytic index for proper, Lie groupoid actions

Authors: Alan L. T. Paterson

Abstract: Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is… ▽ More Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is inspired by the classical families theorem of Atiyah and Singer, and the proof generalizes, to the case of proper Lie groupoid actions, some of the results proved for proper locally compact group actions by N. C. Phillips. △ Less

Submitted 20 April, 2007; originally announced April 2007.

Journal ref: Comtemp. Math. 282(2001), 115-135

The equivariant analytic index for proper groupoid actions

Authors: Alan L. T. Paterson

Abstract: The paper constructs the analytic index for an elliptic pseudodifferential family of $L^{m}_{ρ,\de}$-operators invariant under the proper action of a continuous family groupoid on a $G$-compact, $C^{\infty,0}$ $G$-space. The paper constructs the analytic index for an elliptic pseudodifferential family of $L^{m}_{ρ,\de}$-operators invariant under the proper action of a continuous family groupoid on a $G$-compact, $C^{\infty,0}$ $G$-space. △ Less

Submitted 20 April, 2007; originally announced April 2007.

MSC Class: 19K35

Journal ref: K-Theory 32: 193-230, 2004

Group amenability properties for von Neumann algebras

Authors: Anthony T. Lau, Alan L. T. Paterson

Abstract: In his study of amenable unitary representations, M. E. B. Bekka asked if there is an analogue for such representations of the remarkable fixed-point property for amenable groups. In this paper, we prove such a fixed-point theorem in the more general context of a $G$-amenable von Neumann algebra $M$, where $G$ is a locally compact group acting on $M$. The Følner conditions of Connes and Bekka ar… ▽ More In his study of amenable unitary representations, M. E. B. Bekka asked if there is an analogue for such representations of the remarkable fixed-point property for amenable groups. In this paper, we prove such a fixed-point theorem in the more general context of a $G$-amenable von Neumann algebra $M$, where $G$ is a locally compact group acting on $M$. The Følner conditions of Connes and Bekka are extended to the case where $M$ is semifinite and admits a faithful, semifinite, normal trace which is invariant under the action of $G$. △ Less

Submitted 22 May, 2007; v1 submitted 20 April, 2007; originally announced April 2007.

MSC Class: 22D10

Journal ref: Indiana University Mathematics Journal 55(2006), 1363-1388

The E-theoretic descent functor for groupoids

Authors: Alan L. T. Paterson

Abstract: The paper establishes, for a wide class of locally compact groupoids $Γ$, the E-theoretic descent functor at the $C^{*}$-algebra level, in a way parallel to that established for locally compact groups by Guentner, Higson and Trout. The second section shows that $Γ$-actions on a $C_{0}(X)$-algebra $B$, where $X$ is the unit space of $Γ$, can be usefully formulated in terms of an action on the ass… ▽ More The paper establishes, for a wide class of locally compact groupoids $Γ$, the E-theoretic descent functor at the $C^{*}$-algebra level, in a way parallel to that established for locally compact groups by Guentner, Higson and Trout. The second section shows that $Γ$-actions on a $C_{0}(X)$-algebra $B$, where $X$ is the unit space of $Γ$, can be usefully formulated in terms of an action on the associated bundle $B^{\sharp}$. The third section shows that the functor $B\to C^{*}(Γ,B)$ is continuous and exact, and uses the disintegration theory of J. Renault. The last section establishes the existence of the descent functor under a very mild condition on $Γ$, the main technical difficulty involved being that of finding a $Γ$-algebra that plays the role of C_{b}(T,B)^{cont}$ in the group case. △ Less

Submitted 19 April, 2007; originally announced April 2007.

Comments: 21 pages

MSC Class: 19K35; 22A22

The Fourier-Stieltjes and Fourier algebras for locally compact groupoids

Authors: Alan L. T. Paterson

Abstract: The Fourier-Stieltjes and Fourier algebras B(G), A(G) for a general locally compact group G, first studied by P. Eymard, have played an important role in harmonic analysis and in the study of operator algebras generated by G. Recently, there has been interest in developing versions of these algebras for locally compact groupoids, justification being that, just as in the group case, the algebras… ▽ More The Fourier-Stieltjes and Fourier algebras B(G), A(G) for a general locally compact group G, first studied by P. Eymard, have played an important role in harmonic analysis and in the study of operator algebras generated by G. Recently, there has been interest in developing versions of these algebras for locally compact groupoids, justification being that, just as in the group case, the algebras should play a useful role in the study of groupoid operator algebras. Versions of these algebras for the locally compact groupoid case appear in three related theories: (1) a measured groupoid theory (J. Renault), (2) a Borel theory (A. Ramsay and M. Walter), and (3) a continuous theory (A. Paterson). The present paper is expository in character. For motivational reasons, it starts with a description of the theory of B(G), A(G) in the locally compact group case, before discussing these three realted theories. Some open questions are also raised. △ Less

Submitted 9 October, 2003; originally announced October 2003.

MSC Class: 22A22;43A25

Journal ref: Contemporary Mathematics 321(2003), 223-237

The analytic index for proper, Lie groupoid actions

Authors: Alan L. T. Paterson

Abstract: Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is… ▽ More Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is inspired by the classical families theorem of Atiyah and Singer, and the proof generalizes, to the case of proper Lie groupoid actions, some of the results proved for proper locally compact group actions by N. C. Phillips. △ Less

Submitted 8 October, 2003; originally announced October 2003.

MSC Class: 19K35;46L80

Journal ref: Contemporary Mathematics 282(2001), 115-135

The Fourier algebra for locally compact groupoids

Authors: Alan L. T. Paterson

Abstract: We introduce and investigate using Hilbert modules the properties of the Fourier algebra A(G) for a locally compact groupoid G. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard. We introduce and investigate using Hilbert modules the properties of the Fourier algebra A(G) for a locally compact groupoid G. We establish a duality theorem for such groupoids in terms of multiplicative module maps. This includes as a special case the classical duality theorem for locally compact groups proved by P. Eymard. △ Less

Submitted 8 October, 2003; originally announced October 2003.

Comments: 31 pages

MSC Class: 43A32

Graph inverse semigroups, groupoids and their C*-algebras

Authors: Alan L. T. Paterson

Abstract: We develop a theory of graph C*-algebras using path groupoids and inverse semigroups. Row finiteness is not assumed so that the theory applies to graphs for which there are vertices emitting a countably infinite set of edges. We show that the path groupoid is amenable, and give a groupoid proof of a recent theorem of Szymanski characterizing when a graph C*-algebra is simple. We develop a theory of graph C*-algebras using path groupoids and inverse semigroups. Row finiteness is not assumed so that the theory applies to graphs for which there are vertices emitting a countably infinite set of edges. We show that the path groupoid is amenable, and give a groupoid proof of a recent theorem of Szymanski characterizing when a graph C*-algebra is simple. △ Less

Submitted 23 April, 2003; originally announced April 2003.

Comments: 17 pages

MSC Class: 20M18; 22A22; 46L05

Journal ref: J. Operator Theory 48(2002), 645-662