Showing 1–25 of 25 results for author: Pugh, M

Learning Is a Kan Extension

Authors: Matthew Pugh, Jo Grundy, Corina Cirstea, Nick Harris

Abstract: Previous work has demonstrated that efficient algorithms exist for computing Kan extensions and that some Kan extensions have interesting similarities to various machine learning algorithms. This paper closes the gap by proving that all error minimisation algorithms may be presented as a Kan extension. This result provides a foundation for future work to investigate the optimisation of machine lea… ▽ More Previous work has demonstrated that efficient algorithms exist for computing Kan extensions and that some Kan extensions have interesting similarities to various machine learning algorithms. This paper closes the gap by proving that all error minimisation algorithms may be presented as a Kan extension. This result provides a foundation for future work to investigate the optimisation of machine learning algorithms through their presentation as Kan extensions. A corollary of this representation of error-minimising algorithms is a presentation of error from the perspective of lossy and lossless transformations of data. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Frobenius algebra objects in Temperley-Lieb categories at roots of unity

Authors: Joseph Grant, Mathew Pugh

Abstract: We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit object, and can be seen as a categorical version of Frobenius extensions of the second kind. When the monoidal category is pivotal we define a Nakayama morphism fo… ▽ More We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit object, and can be seen as a categorical version of Frobenius extensions of the second kind. When the monoidal category is pivotal we define a Nakayama morphism for the Frobenius structure and explain what it means for this morphism to have finite order. Our main example is a well-studied algebra object in the (additive and idempotent completion of the) Temperley-Lieb category at a root of unity. We show that this algebra has a Frobenius structure and that its Nakayama morphism has order 2. As a consequence, we obtain information about Nakayama morphisms of preprojective algebras of Dynkin type, considered as algebras over the semisimple algebras on their vertices. △ Less

Submitted 20 September, 2024; v1 submitted 19 September, 2024; originally announced September 2024.

Comments: 22 pages. v2 is PDF upload with diagrams fixed

MSC Class: 18M05 (Primary) 18M20; 18D25; 16L60 (Secondary)

Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm

Authors: Matthew Pugh, Jo Grundy, Corina Cirstea, Nick Harris

Abstract: This paper is the first to construct and motivate a Machine Learning algorithm solely with Enriched Category Theory, supplementing evidence that Category Theory can provide valuable insights into the construction and explainability of Machine Learning algorithms. It is shown that a series of reasonable assumptions about a dataset lead to the construction of the Nearest Neighbours Algorithm. This c… ▽ More This paper is the first to construct and motivate a Machine Learning algorithm solely with Enriched Category Theory, supplementing evidence that Category Theory can provide valuable insights into the construction and explainability of Machine Learning algorithms. It is shown that a series of reasonable assumptions about a dataset lead to the construction of the Nearest Neighbours Algorithm. This construction is produced as an extension of the original dataset using profunctors in the category of Lawvere metric spaces, leading to a definition of an Enriched Nearest Neighbours Algorithm, which, consequently, also produces an enriched form of the Voronoi diagram. Further investigation of the generalisations this construction induces demonstrates how the $k$ Nearest Neighbours Algorithm may also be produced. Moreover, how the new construction allows metrics on the classification labels to inform the outputs of the Enriched Nearest Neighbour Algorithm: Enabling soft classification boundaries and dependent classifications. This paper is intended to be accessible without any knowledge of Category Theory. △ Less

Submitted 26 January, 2025; v1 submitted 27 December, 2023; originally announced December 2023.

A Study of the Numerical Stability of an ImEx Scheme with Application to the Poisson-Nernst-Planck Equations

Authors: M. C. Pugh, D. Yan, F. P. Dawson

Abstract: The Poisson-Nernst-Planck equations with generalized Frumkin-Butler-Volmer boundary conditions (PNP-FBV) describe ion transport with Faradaic reactions and have applications in a wide variety of fields. Using an adaptive time-stepper based on a second-order variable step-size, semi-implicit, backward differentiation formula (VSSBDF2), we observe that when the underlying dynamics is one that would… ▽ More The Poisson-Nernst-Planck equations with generalized Frumkin-Butler-Volmer boundary conditions (PNP-FBV) describe ion transport with Faradaic reactions and have applications in a wide variety of fields. Using an adaptive time-stepper based on a second-order variable step-size, semi-implicit, backward differentiation formula (VSSBDF2), we observe that when the underlying dynamics is one that would have the solutions converge to a steady state solution, the adaptive time-stepper produces solutions that "nearly" converge to the steady state and that, simultaneously, the time-step sizes stabilize at a limiting size $dt_\infty$. Linearizing the SBDF2 scheme about the steady state solution, we demonstrate that the linearized scheme is conditionally stable and that this is the cause of the adaptive time-stepper's behaviour. Mesh-refinement, as well as a study of the eigenvectors corresponding to the critical eigenvalues, demonstrate that the conditional stability is not due to a time-step constraint caused by high-frequency contributions. We study the stability domain of the linearized scheme and find that it can have corners as well as jump discontinuities. △ Less

Submitted 22 June, 2020; v1 submitted 3 May, 2019; originally announced May 2019.

Comments: The earlier version, arXiv:1905.01368v1, also contained: a linear stability analysis of the SBDF2 scheme, a study of the effect of Richardson Extrapolation on numerical stability, and a study of the stability domain of the logistic equation. This is the 2nd of a pair of articles: "A Variable Step Size Implicit-Explicit Scheme for the Solution of the Poisson-Nernst-Planck Equations", is on arXiV

MSC Class: 65M12; 65Z05; 78A57

Classification of Module Categories for $SO(3)_{2m}$

Authors: David E. Evans, Mathew Pugh

Abstract: The main goal of this paper is to classify $\ast$-module categories for the $SO(3)_{2m}$ modular tensor category. This is done by classifying $SO(3)_{2m}$ nimrep graphs and cell systems, and in the process we also classify the $SO(3)$ modular invariants. There are module categories of type $\mathcal{A}$, $\mathcal{E}$ and their conjugates, but there are no orbifold (or type $\mathcal{D}$) module c… ▽ More The main goal of this paper is to classify $\ast$-module categories for the $SO(3)_{2m}$ modular tensor category. This is done by classifying $SO(3)_{2m}$ nimrep graphs and cell systems, and in the process we also classify the $SO(3)$ modular invariants. There are module categories of type $\mathcal{A}$, $\mathcal{E}$ and their conjugates, but there are no orbifold (or type $\mathcal{D}$) module categories. We present a construction of a subfactor with principal graph given by the fusion rules of the fundamental generator of the $SO(3)_{2m}$ modular category. We also introduce a Frobenius algebra $A$ which is an $SO(3)$ generalisation of (higher) preprojective algebras, and derive a finite resolution of $A$ as a left $A$-module along with its Hilbert series. △ Less

Submitted 19 June, 2020; v1 submitted 20 April, 2018; originally announced April 2018.

Comments: 56 pages, many figures; corrected error at the end of Section 4 about $\mathcal{E}_8$ nimrep, and corrected computational error in Theorem 5.10 about $\mathcal{E}_8^c$. The main theorem, Theorem 5.12, has been modified to reflect these corrections

Adaptive Time-stepping Schemes for the Solution of the Poisson-Nernst-Planck Equations

Authors: David Yan, M. C. Pugh, F. P. Dawson

Abstract: The Poisson-Nernst-Planck equations with generalized Frumkin-Butler-Volmer boundary conditions (PNP-FBV) describe ion transport with Faradaic reactions, and have applications in a number of fields. In this article, we develop an adaptive time-stepping scheme for the solution of the PNP-FBV equations based on two time-stepping methods: a fully implicit (BDF2) method, and an implicit-explicit (SBDF2… ▽ More The Poisson-Nernst-Planck equations with generalized Frumkin-Butler-Volmer boundary conditions (PNP-FBV) describe ion transport with Faradaic reactions, and have applications in a number of fields. In this article, we develop an adaptive time-stepping scheme for the solution of the PNP-FBV equations based on two time-stepping methods: a fully implicit (BDF2) method, and an implicit-explicit (SBDF2) method. We present simulations under both current and voltage boundary conditions and demonstrate the ability to simulate a large range of parameters, including any value of the singular perturbation parameter $ε$. When the underlying dynamics is one that would have the solutions converge to a steady-state solution, we observe that the adaptive time-stepper based on the SBDF2 method produces solutions that ``nearly'' converge to the steady state and that, simultaneously, the time-step sizes stabilize to a limiting size $dt_\infty$. In the companion to this article \cite{YPD_Part2}, we linearize the SBDF2 scheme about the steady-state solution and demonstrate that the linearized scheme is conditionally stable. This conditional stability is the cause of the adaptive time-stepper's behaviour. While the adaptive time-stepper based on the fully-implicit (BDF2) method is not subject to such time-step constraints, the required nonlinear solve yields run times that are significantly longer. △ Less

Submitted 22 June, 2020; v1 submitted 29 March, 2017; originally announced March 2017.

Comments: The earlier version, arXiv:1703.10297v1, contained a detailed study of a "toy model" and of the boundary conditions. Those studies are not included in this version. This version is the first of a pair of companion articles. The second article is entitled "A Study of the Numerical Stability of an ImEx Scheme with Application to the Poisson-Nernst-Planck Equations"

MSC Class: 65M12; 65Z05; 78A57

Spectral Measures for $Sp(2)$

Authors: David E. Evans, Mathew Pugh

Abstract: Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the compact connected rank two Lie group $SO(5)$ and its double cover the compact connected, simply-connected rank two Lie group $Sp(2)$, including the McKay graphs for the irreducible representations of $Sp(2)$ and $SO(5)$ and their maximal tori, and fusion… ▽ More Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the compact connected rank two Lie group $SO(5)$ and its double cover the compact connected, simply-connected rank two Lie group $Sp(2)$, including the McKay graphs for the irreducible representations of $Sp(2)$ and $SO(5)$ and their maximal tori, and fusion modules associated to the $Sp(2)$ modular invariants. △ Less

Submitted 13 February, 2015; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 41 pages, 45 figures. Title changed and notation corrected. arXiv admin note: substantial text overlap with arXiv:1404.1863

Spectral measures associated to rank two Lie groups and finite subgroups of $GL(2,\mathbb{Z})$

Authors: David E. Evans, Mathew Pugh

Abstract: Spectral measures for fundamental representations of the rank two Lie groups $SU(3)$, $Sp(2)$ and $G_2$ have been studied. Since these groups have rank two, these spectral measures can be defined as measures over their maximal torus $\mathbb{T}^2$ and are invariant under an action of the corresponding Weyl group, which is a subgroup of $GL(2,\mathbb{Z})$. Here we consider spectral measures invaria… ▽ More Spectral measures for fundamental representations of the rank two Lie groups $SU(3)$, $Sp(2)$ and $G_2$ have been studied. Since these groups have rank two, these spectral measures can be defined as measures over their maximal torus $\mathbb{T}^2$ and are invariant under an action of the corresponding Weyl group, which is a subgroup of $GL(2,\mathbb{Z})$. Here we consider spectral measures invariant under an action of the other finite subgroups of $GL(2,\mathbb{Z})$. These spectral measures are all associated with fundamental representations of other rank two Lie groups, namely $\mathbb{T}^2=U(1) \times U(1)$, $U(1) \times SU(2)$, $U(2)$, $SU(2) \times SU(2)$, $SO(4)$ and $PSU(3)$. △ Less

Submitted 23 February, 2015; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 39 pages, 46 figures; new results added in Section 9, new Section 3.2, minor improvements to exposition throughout

Journal ref: Communications in Mathematical Physics 343 (2016), 811-850

Spectral Measures for $G_2$ II: finite subgroups

Authors: David E. Evans, Mathew Pugh

Abstract: Joint spectral measures associated to the rank two Lie group $G_2$, including the representation graphs for the irreducible representations of $G_2$ and its maximal torus, nimrep graphs associated to the $G_2$ modular invariants have been studied. In this paper we study the joint spectral measures for the McKay graphs (or representation graphs) of finite subgroups of $G_2$. Using character theoret… ▽ More Joint spectral measures associated to the rank two Lie group $G_2$, including the representation graphs for the irreducible representations of $G_2$ and its maximal torus, nimrep graphs associated to the $G_2$ modular invariants have been studied. In this paper we study the joint spectral measures for the McKay graphs (or representation graphs) of finite subgroups of $G_2$. Using character theoretic methods we classify all non-conjugate embeddings of each subgroup into the fundamental representation of $G_2$ and present their McKay graphs, some of which are new. △ Less

Submitted 5 February, 2020; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 33 pages, 20 figures; minor improvements to exposition. Accepted for publication in Reviews in Mathematical Physics

Spectral Measures for $G_2$

Authors: David E. Evans, Mathew Pugh

Abstract: Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the rank two Lie group $G_2$, including the McKay graphs for the irreducible representations of $G_2$ and its maximal torus, and fusion modules associated to all known $G_2$ modular invariants. Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the rank two Lie group $G_2$, including the McKay graphs for the irreducible representations of $G_2$ and its maximal torus, and fusion modules associated to all known $G_2$ modular invariants. △ Less

Submitted 22 April, 2014; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 36 pages, 40 figures; correction to Sections 5.4 and 5.5, minor improvements to exposition

On the homology of almost Calabi-Yau algebras associated to SU(3) modular invariants

Authors: David E. Evans, Mathew Pugh

Abstract: We compute the Hochschild homology and cohomology, and cyclic homology, of almost Calabi-Yau algebras for SU(3) ADE graphs. These almost Calabi-Yau algebras are a higher rank analogue of the pre-projective algebras for Dynkin diagrams, which are SU(2)-related constructions. The Hochschild (co)homology and cyclic homology of A can be regarded as invariants for the braided subfactors associated to t… ▽ More We compute the Hochschild homology and cohomology, and cyclic homology, of almost Calabi-Yau algebras for SU(3) ADE graphs. These almost Calabi-Yau algebras are a higher rank analogue of the pre-projective algebras for Dynkin diagrams, which are SU(2)-related constructions. The Hochschild (co)homology and cyclic homology of A can be regarded as invariants for the braided subfactors associated to the SU(3) modular invariants. △ Less

Submitted 15 November, 2011; originally announced November 2011.

Comments: 36 pages, 8 figures

Braided Subfactors, Spectral Measures, Planar algebras and Calabi-Yau algebras associated to SU(3) modular invariants

Authors: David E. Evans, Mathew Pugh

Abstract: Braided subfactors of von Neumann algebras provide a framework for studying two dimensional conformal field theories and their modular invariants. We review this in the context of SU(3) conformal field theories through corresponding SU(3) braided subfactors and various subfactor invariants including spectral measures for the nimrep graphs, A_2-planar algebras and almost Calabi-Yau algebras. Braided subfactors of von Neumann algebras provide a framework for studying two dimensional conformal field theories and their modular invariants. We review this in the context of SU(3) conformal field theories through corresponding SU(3) braided subfactors and various subfactor invariants including spectral measures for the nimrep graphs, A_2-planar algebras and almost Calabi-Yau algebras. △ Less

Submitted 4 June, 2013; v1 submitted 20 October, 2011; originally announced October 2011.

Comments: 45 pages, 25 figures. v3: minor correction to Figure 14; v2: figures of 0-1 parts of graphs included, some minor corrections

Technical Report: Modeling of Composite Piezoelectric Structures with the Finite Volume Method

Authors: Valentin Bolborici, Francis P. Dawson, Mary C. Pugh

Abstract: Piezoelectric devices, such as piezoelectric traveling wave rotary ultrasonic motors, have composite piezoelectric structures. A composite piezoelectric structure consists of a combination of two or more bonded materials, where at least one of them is a piezoelectric transducer. Numerical modeling of piezoelectric structures has been done in the past mainly with the finite element method. Alternat… ▽ More Piezoelectric devices, such as piezoelectric traveling wave rotary ultrasonic motors, have composite piezoelectric structures. A composite piezoelectric structure consists of a combination of two or more bonded materials, where at least one of them is a piezoelectric transducer. Numerical modeling of piezoelectric structures has been done in the past mainly with the finite element method. Alternatively, a finite volume based approach offers the following advantages: (a) the ordinary differential equations resulting from the discretization process can be interpreted directly as corresponding circuits and (b) phenomena occurring at boundaries can be treated exactly. This report extends the work of IEEE Transactions on UFFC 57(2010)7:1673-1691 by presenting a method for implementing the boundary conditions between the bonded materials in composite piezoelectric structures. The report concludes with one modeling example of a unimorph structure. △ Less

Submitted 7 September, 2011; v1 submitted 4 August, 2011; originally announced August 2011.

Comments: Portions of this article have been accepted for publication in IEEE's Transactions on Ultrasonics, Ferroelectrics, and Frequency. The authors need to get permission from the IEEE to reuse this copyrighted material

The Nakayama automorphism of the almost Calabi-Yau algebras associated to SU(3) modular invariants

Authors: David E. Evans, Mathew Pugh

Abstract: We determine the Nakayama automorphism of the almost Calabi-Yau algebra A associated to the braided subfactors or nimrep graphs associated to each SU(3) modular invariant. We use this to determine a resolution of A as an A-A bimodule, which will yield a projective resolution of A. We determine the Nakayama automorphism of the almost Calabi-Yau algebra A associated to the braided subfactors or nimrep graphs associated to each SU(3) modular invariant. We use this to determine a resolution of A as an A-A bimodule, which will yield a projective resolution of A. △ Less

Submitted 2 May, 2012; v1 submitted 5 August, 2010; originally announced August 2010.

Comments: 46 pages which constitutes the published version, plus an Appendix detailing some long calculations. arXiv admin note: text overlap with arXiv:1110.4547

Journal ref: Comm. Math. Phys. 312 (2012), 179-222

Research Announcement: Finite-time Blow Up and Long-wave Unstable Thin Film Equations

Authors: Marina Chugunova, M. C. Pugh, Roman M. Taranets

Abstract: We study short--time existence, long--time existence, finite speed of propagation, and finite--time blow--up of nonnegative solutions for long-wave unstable thin film equations $h_t = -a_0(h^n h_{xxx})_x - a_1(h^m h_x)_x$ with $n>0$, $a_0 > 0$, and $a_1 >0$. The existence and finite speed of propagation results extend those of [Comm Pure Appl Math 51:625--661, 1998]. For $0<n<2$ we prove the exist… ▽ More We study short--time existence, long--time existence, finite speed of propagation, and finite--time blow--up of nonnegative solutions for long-wave unstable thin film equations $h_t = -a_0(h^n h_{xxx})_x - a_1(h^m h_x)_x$ with $n>0$, $a_0 > 0$, and $a_1 >0$. The existence and finite speed of propagation results extend those of [Comm Pure Appl Math 51:625--661, 1998]. For $0<n<2$ we prove the existence of a nonnegative, compactly--supported, strong solution on the line that blows up in finite time. The construction requires that the initial data be nonnegative, compactly supported in $\R^1$, be in $H^1(\R^1)$, and have negative energy. The blow-up is proven for a large range of $(n,m)$ exponents and extends the results of [Indiana Univ Math J 49:1323--1366, 2000]. △ Less

Submitted 2 August, 2010; originally announced August 2010.

Comments: 59 pages, 1 figure

MSC Class: 35K65; 35K35; 35Q35; 35B05; 35B45; 35G25; 35D05; 35D10; 76A20

Spectral Measures and Generating Series for Nimrep Graphs in Subfactor Theory II: SU(3)

Authors: David E. Evans, Mathew Pugh

Abstract: We complete the computation of spectral measures for SU(3) nimrep graphs arising in subfactor theory, namely the SU(3) ADE graphs associated with SU(3) modular invariants and the McKay graphs of finite subgroups of SU(3). For the SU(2) graphs the spectral measures distill onto very special subsets of the semicircle/circle, whilst for the SU(3) graphs the spectral measures distill onto very speci… ▽ More We complete the computation of spectral measures for SU(3) nimrep graphs arising in subfactor theory, namely the SU(3) ADE graphs associated with SU(3) modular invariants and the McKay graphs of finite subgroups of SU(3). For the SU(2) graphs the spectral measures distill onto very special subsets of the semicircle/circle, whilst for the SU(3) graphs the spectral measures distill onto very special subsets of the discoid/torus. The theory of nimreps allows us to compute these measures precisely. We have previously determined spectral measures for some nimrep graphs arising in subfactor theory, particularly those associated with all SU(2) modular invariants, all subgroups of SU(2), the torus, SU(3), and some SU(3) graphs. △ Less

Submitted 11 February, 2010; originally announced February 2010.

Comments: 38 pages, 21 figures

Nonnegative solutions for a long-wave unstable thin film equation with convection

Authors: Marina Chugunova, M. C. Pugh, R. M. Taranets

Abstract: We consider a nonlinear 4th-order degenerate parabolic partial differential equation that arises in modelling the dynamics of an incompressible thin liquid film on the outer surface of a rotating horizontal cylinder in the presence of gravity. The parameters involved determine a rich variety of qualitatively different flows. Depending on the initial data and the parameter values, we prove the ex… ▽ More We consider a nonlinear 4th-order degenerate parabolic partial differential equation that arises in modelling the dynamics of an incompressible thin liquid film on the outer surface of a rotating horizontal cylinder in the presence of gravity. The parameters involved determine a rich variety of qualitatively different flows. Depending on the initial data and the parameter values, we prove the existence of nonnegative periodic weak solutions. In addition, we prove that these solutions and their gradients cannot grow any faster than linearly in time; there cannot be a finite-time blow-up. Finally, we present numerical simulations of solutions. △ Less

Submitted 28 October, 2009; originally announced October 2009.

Comments: 44 pages, 4 figures

MSC Class: 35K65; 35K35; 35Q35; 35G25; 35B40; 35B99; 35D05; 76A20

Technical report on a long-wave unstable thin film equation with convection

Authors: Marina Chugunova, M. C. Pugh, R. M. Taranets

Abstract: In this technical report, we consider a nonlinear 4th-order degenerate parabolic partial differential equation that arises in modelling the dynamics of an incompressible thin liquid film on the outer surface of a rotating horizontal cylinder in the presence of gravity. The parameters involved determine a rich variety of qualitatively different flows. Depending on the initial data and the paramet… ▽ More In this technical report, we consider a nonlinear 4th-order degenerate parabolic partial differential equation that arises in modelling the dynamics of an incompressible thin liquid film on the outer surface of a rotating horizontal cylinder in the presence of gravity. The parameters involved determine a rich variety of qualitatively different flows. Depending on the initial data and the parameter values, we prove the existence of nonnegative periodic weak solutions. In addition, we prove that these solutions and their gradients cannot grow any faster than linearly in time; there cannot be a finite-time blow-up. Finally, we present numerical simulations of solutions. △ Less

Submitted 27 October, 2009; originally announced October 2009.

Comments: 56 pages, 5 figures

MSC Class: 35K65; 35K35; 35Q35; 35G25; 35B40; 35B99; 35D05; 76A20

Spectral Measures and Generating Series for Nimrep Graphs in Subfactor Theory

Authors: David E. Evans, Mathew Pugh

Abstract: We determine spectral measures for some nimrep graphs arising in subfactor theory, particularly those associated with SU(3) modular invariants and subgroups of SU(3). Our methods also give an alternative approach to deriving the results of Banica and Bisch for ADE graphs and subgroups of SU(2) and explain the connection between their results for affine ADE graphs and the Kostant polynomials. We… ▽ More We determine spectral measures for some nimrep graphs arising in subfactor theory, particularly those associated with SU(3) modular invariants and subgroups of SU(3). Our methods also give an alternative approach to deriving the results of Banica and Bisch for ADE graphs and subgroups of SU(2) and explain the connection between their results for affine ADE graphs and the Kostant polynomials. We also look at the Hilbert generating series of associated pre-projective algebras. △ Less

Submitted 7 October, 2009; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 54 pages, 15 figures, result on page 50 corrected, to appear in Communications in Mathematical Physics

Journal ref: Commun.Math.Phys.295:363-413,2010

A2-Planar Algebras II: Planar Modules

Authors: David E. Evans, Mathew Pugh

Abstract: Generalizing Jones's notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system. We now introduce the notion of modules over an A_2-planar algebra, and describe certain irreducible Hilbert A_2-TL-modules. We construct an A_2-graph planar alge… ▽ More Generalizing Jones's notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system. We now introduce the notion of modules over an A_2-planar algebra, and describe certain irreducible Hilbert A_2-TL-modules. We construct an A_2-graph planar algebra associated to each pair (G,W) given by an SU(3) ADE graph G and a cell system W on G. A partial modular decomposition of these A_2-graph planar algebras is achieved. △ Less

Submitted 27 May, 2011; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 33 pages, 19 figures; revised definition of A_2-planar modules, improvements to exposition and introduction

MSC Class: 46L37 (Primary); 46L60; 81T40 (Secondary)

Ocneanu Cells and Boltzmann Weights for the SU(3) ADE Graphs

Authors: David E. Evans, Mathew Pugh

Abstract: We determine the cells, whose existence has been announced by Ocneanu, on all the candidate nimrep graphs except $\mathcal{E}_4^{(12)}$ proposed by di Francesco and Zuber for the SU(3) modular invariants classified by Gannon. This enables the Boltzmann weights to be computed for the corresponding integrable statistical mechanical models and provide the framework for studying corresponding braide… ▽ More We determine the cells, whose existence has been announced by Ocneanu, on all the candidate nimrep graphs except $\mathcal{E}_4^{(12)}$ proposed by di Francesco and Zuber for the SU(3) modular invariants classified by Gannon. This enables the Boltzmann weights to be computed for the corresponding integrable statistical mechanical models and provide the framework for studying corresponding braided subfactors to realise all the SU(3) modular invariants as well as a framework for a new SU(3) planar algebra theory. △ Less

Submitted 2 September, 2009; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 46 pages, minor changes, to appear in Munster Journal of Mathematics

Journal ref: Munster J.Math.2:95-142,2009

SU(3)-Goodman-de la Harpe-Jones subfactors and the realisation of SU(3) modular invariants

Authors: David E. Evans, Mathew Pugh

Abstract: We complete the realisation by braided subfactors, announced by Ocneanu, of all SU(3)-modular invariant partition functions previously classified by Gannon. We complete the realisation by braided subfactors, announced by Ocneanu, of all SU(3)-modular invariant partition functions previously classified by Gannon. △ Less

Submitted 2 September, 2009; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 47 pages, minor changes, to appear in Reviews in Mathematical Physics

MSC Class: 46L37 (Primary); 46L60; 81T40 (Secondary)

Journal ref: Rev.Math.Phys.21:877-928,2009

A2-Planar Algebras I

Authors: David E. Evans, Mathew Pugh

Abstract: We give a diagrammatic presentation of the A_2-Temperley-Lieb algebra. Generalizing Jones' notion of a planar algebra, we formulate an A_2-planar algebra motivated by Kuperberg's A_2-spider. This A_2-planar algebra contains a subfamily of vector spaces which will capture the double complex structure pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system, including both th… ▽ More We give a diagrammatic presentation of the A_2-Temperley-Lieb algebra. Generalizing Jones' notion of a planar algebra, we formulate an A_2-planar algebra motivated by Kuperberg's A_2-spider. This A_2-planar algebra contains a subfamily of vector spaces which will capture the double complex structure pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system, including both the periodicity three coming from the A_2-Temperley-Lieb algebra as well as the periodicity two coming from the subfactor basic construction. We use an A_2-planar algebra to obtain a description of the (Jones) planar algebra for the Wenzl subfactor in terms of generators and relations. △ Less

Submitted 14 April, 2011; v1 submitted 23 June, 2009; originally announced June 2009.

Comments: 53 pages; minor corrections to published version in Section 2, pages 3-4 (pages 323-324 of published version)

MSC Class: 46L37 (Primary); 46L60; 81T40 (Secondary)

Journal ref: Quantum Topol.1:321-377,2010

Heteroclinic orbits, mobility parameters and stability for thin film type equations

Authors: R. S. Laugesen, M. C. Pugh

Abstract: We study numerically the phase space of the evolution equation h_t = -(h^n h_{xxx})_x - B (h^m h_x)_x . Here h(x,t) is nonnegative, n>0 and m is real, and the Bond number B is positive. We pursue three goals: to investigate the nonlinear stability of the positive periodic and constant steady states; to locate heteroclinic connecting orbits between these steady states and the compactly supporte… ▽ More We study numerically the phase space of the evolution equation h_t = -(h^n h_{xxx})_x - B (h^m h_x)_x . Here h(x,t) is nonnegative, n>0 and m is real, and the Bond number B is positive. We pursue three goals: to investigate the nonlinear stability of the positive periodic and constant steady states; to locate heteroclinic connecting orbits between these steady states and the compactly supported 'droplet' steady states; and to determine how these orbits change when the 'mobility' exponents n and m are changed. For example, we change the mobility coefficients in such a way that the steady states are unchanged and find evidence that heteroclinic orbits between steady states are perturbed but not broken. We also find that when there appear to be touch-down singularities, the exponent n affects whether they occur in finite or infinite time. It also can affect whether there is one touch-down or two touch-downs per period. △ Less

Submitted 29 March, 2000; originally announced March 2000.

Comments: 41 pages, 19 figures

MSC Class: 35Q35

Energy levels of steady states for thin film type equations

Authors: R. S. Laugesen, M. C. Pugh

Abstract: We study the phase space of the evolution equation h_t = -(f(h) h_{xxx})_x - (g(h) h_x)_x by means of a dissipated energy (a Liapunov function). Here h(x,t) is nonnegative, and at h=0 the coefficient functions f>0 and g can either degenerate to 0, or blow up to infinity, or tend to a nonzero constant. We first show all positive periodic steady states are 'energy unstable' fixed points for the… ▽ More We study the phase space of the evolution equation h_t = -(f(h) h_{xxx})_x - (g(h) h_x)_x by means of a dissipated energy (a Liapunov function). Here h(x,t) is nonnegative, and at h=0 the coefficient functions f>0 and g can either degenerate to 0, or blow up to infinity, or tend to a nonzero constant. We first show all positive periodic steady states are 'energy unstable' fixed points for the evolution (meaning the energy decreases under some zero--mean perturbation) if g/f is convex or if the perturbations are allowed to have period longer than that of the steady state. For power law coefficients (f(y) = y^n and g(y) = B y^m for some B > 0) we analytically determine the relative energy levels of distinct steady states. For example, with m-n in [1,2) and for suitable choices of the period and mean value, we find three fundamentally different steady states. The first is a constant steady state that is nonlinearly stable and is a local minimum of the energy. The second is a positive periodic steady state that is linearly unstable and has higher energy than the constant steady state; it is a saddle point. The third is a periodic collection of 'droplet' (compactly supported) steady states having lower energy than either the positive steady state or the constant one. Since the energy must decrease along every orbit, these results significantly constrain the dynamics of the evolution equation. Our results suggest that heteroclinic connections could exist between certain of the steady states, for example from the periodic steady state to the droplet one. In a companion article we perform numerical simulations to confirm their existence. △ Less

Submitted 29 March, 2000; originally announced March 2000.

Comments: 34 pages

MSC Class: 35Q35