Showing 1–50 of 68 results for author: MacKay, M

Non-Equilibrium Noise in V-Shape Linear Well Profiles

Authors: Noah M. MacKay

Abstract: Non-equilibrium noise is characterized as noise realizations where external agitations disrupt the harmonic equilibrium of Brownian motion. Excitations in a particle's random walk into a so-called Lévy flight changes the distribution of the noise from Gaussian to the fat-tailed Lévy distribution. Generalization between Gaussian and Lévy distributions is the $αあるふぁ$-stability distribution, where… ▽ More Non-equilibrium noise is characterized as noise realizations where external agitations disrupt the harmonic equilibrium of Brownian motion. Excitations in a particle's random walk into a so-called Lévy flight changes the distribution of the noise from Gaussian to the fat-tailed Lévy distribution. Generalization between Gaussian and Lévy distributions is the $αあるふぁ$-stability distribution, where $1<αあるふぁ\leq2$. In this study, the $αあるふぁ$-stability distributed noise is subjugated into the Langevin and fractional Fokker--Planck equations that correspond to a V-shaped linear potential well $V(x)=F|x|$. From these equations, an Euler scheme for computational simulation via iterations is presented, and a probability density function that is normalizable under any $αあるふぁ\in(1,2]$ is obtained. This study is focused more on the theoretical framework of non-equilibrium noise in V-shaped linear well profiles, which is intended to be applied to systems known to exhibit self-organized criticality. △ Less

Submitted 23 June, 2024; originally announced June 2024.

Comments: 6 pages, 4 figures; Associated Euler scheme on a Mathematica .nb file with adjustable input parameters can be supplied upon request

MSC Class: 35Q62; 35Q84; 60G50; 60G51 ACM Class: G.3; I.6.6; J.2; J.3; J.4

Shear Viscosity of an $N$-Component Gas Mixture using the Chapman--Enskog Method under Anisotropic Scatterings

Authors: Noah M. MacKay

Abstract: The analytical Chapman-Enskog formula for calculating the shear viscosity $ηいーた$ of a relativistic ideal gas, such as a massless quark-gluon plasma, has consistently demonstrated good agreement with the numerical results obtained using the Green-Kubo relation under both isotropic and anisotropic two-body scatterings. However, past analyses of massless, multicomponent quark-gluon plasma have focused o… ▽ More The analytical Chapman-Enskog formula for calculating the shear viscosity $ηいーた$ of a relativistic ideal gas, such as a massless quark-gluon plasma, has consistently demonstrated good agreement with the numerical results obtained using the Green-Kubo relation under both isotropic and anisotropic two-body scatterings. However, past analyses of massless, multicomponent quark-gluon plasma have focused on an effective single-component "gluon gas." The Chapman-Enskog formula for multicomponent mixtures with nonzero yet adjustable masses was previously developed for simpler cases of isotropic scatterings. This study aims to obtain the Chapman-Enskog shear viscosity formula for a massless, multicomponent mixture under general anisotropic scatterings. Since the shear viscosity depends on a linearized collision kernel, an approximation formula for the linearized collision kernel is derived under elastic and anisotropic $l+k\rightarrow l+k$ scatterings. This derived approximation agrees very well with the isotropic two-body kernels provided in previous works for both like and different species. Furthermore, for multicomponent mixtures beyond two species types, an alternative expansion method of the $N$-component Chapman-Enskog viscosity is presented. This is applied to a two-component "binary" mixture and compared with the conventional formula for binary viscosity. The agreement between the two, for interacting and noninteracting binary mixtures, varies from moderate to well. △ Less

Submitted 14 June, 2024; v1 submitted 11 June, 2024; originally announced June 2024.

Comments: 29 pages (including appendices), 4 figures, 4 tables; Version 2 has access link to author's ORCiD with logo

MSC Class: 81V35 (Primary); 82B40 (Secondary)

Probabilistic emotion and sentiment modelling of patient-reported experiences

Authors: Curtis Murray, Lewis Mitchell, Jonathan Tuke, Mark Mackay

Abstract: This study introduces a novel methodology for modelling patient emotions from online patient experience narratives. We employed metadata network topic modelling to analyse patient-reported experiences from Care Opinion, revealing key emotional themes linked to patient-caregiver interactions and clinical outcomes. We develop a probabilistic, context-specific emotion recommender system capable of pr… ▽ More This study introduces a novel methodology for modelling patient emotions from online patient experience narratives. We employed metadata network topic modelling to analyse patient-reported experiences from Care Opinion, revealing key emotional themes linked to patient-caregiver interactions and clinical outcomes. We develop a probabilistic, context-specific emotion recommender system capable of predicting both multilabel emotions and binary sentiments using a naive Bayes classifier using contextually meaningful topics as predictors. The superior performance of our predicted emotions under this model compared to baseline models was assessed using the information retrieval metrics nDCG and Q-measure, and our predicted sentiments achieved an F1 score of 0.921, significantly outperforming standard sentiment lexicons. This method offers a transparent, cost-effective way to understand patient feedback, enhancing traditional collection methods and informing individualised patient care. Our findings are accessible via an R package and interactive dashboard, providing valuable tools for healthcare researchers and practitioners. △ Less

Submitted 9 January, 2024; originally announced January 2024.

Comments: 23 pages, 10 figures, 5 tables

Applying projective functors to arbitrary holonomic simple modules

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz

Abstract: We prove that applying a projective functor to a holonomic simple module over a semi-simple finite dimensional complex Lie algebra produces a module that has an essential semi-simple submodule of finite length. This implies that holonomic simple supermodules over certain Lie superalgebras are quotients of modules that are induced from simple modules over the even part. We also provide some further… ▽ More We prove that applying a projective functor to a holonomic simple module over a semi-simple finite dimensional complex Lie algebra produces a module that has an essential semi-simple submodule of finite length. This implies that holonomic simple supermodules over certain Lie superalgebras are quotients of modules that are induced from simple modules over the even part. We also provide some further insight into the structure of Lie algebra modules that are obtained by applying projective functors to simple modules. △ Less

Submitted 25 January, 2024; v1 submitted 7 November, 2023; originally announced November 2023.

Comments: v2: significant changes compared to v1, the main result is restricted to the case of holonomic modules

Actions of acylindrically hyperbolic groups on $\ell^1$

Authors: Cornelia Drutu, John M. Mackay

Abstract: We construct affine uniformly Lipschitz actions on $\ell^1$ and $L^1$ for certain groups with hyperbolic features. For acylindrically hyperbolic groups, our actions have unbounded orbits, while for residually finite hyperbolic groups and for mapping class groups, the actions have proper orbits, with the induced $L^1$-metric quasi-isometric (respectively, almost quasi-isometric) to the word metric. We construct affine uniformly Lipschitz actions on $\ell^1$ and $L^1$ for certain groups with hyperbolic features. For acylindrically hyperbolic groups, our actions have unbounded orbits, while for residually finite hyperbolic groups and for mapping class groups, the actions have proper orbits, with the induced $L^1$-metric quasi-isometric (respectively, almost quasi-isometric) to the word metric. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Comments: 38 pages

Asymptotic dimension for covers with controlled growth

Authors: David Hume, John M. Mackay, Romain Tessera

Abstract: We prove various obstructions to the existence of regular maps (or coarse embeddings) between commonly studied spaces. For instance, there is no regular map (or coarse embedding) $\mathbb H^n\to\mathbb H^{n-1}\times Y$ for $n\geq 3$, or $(T_3)^n \to (T_3)^{n-1}\times Y$ whenever $Y$ is a bounded degree graph with subexponential growth, where $T_3$ is the $3$-regular tree. We also resolve a quest… ▽ More We prove various obstructions to the existence of regular maps (or coarse embeddings) between commonly studied spaces. For instance, there is no regular map (or coarse embedding) $\mathbb H^n\to\mathbb H^{n-1}\times Y$ for $n\geq 3$, or $(T_3)^n \to (T_3)^{n-1}\times Y$ whenever $Y$ is a bounded degree graph with subexponential growth, where $T_3$ is the $3$-regular tree. We also resolve a question of Benjamini-Schramm-Timár, proving that there is no regular map $\mathbb H^2 \to T_3 \times Y$ whenever $Y$ is a bounded degree graph with at most polynomial growth, and no quasi-isometric embedding whenever $Y$ has subexponential growth. Finally, we show that there is no regular map $F^n\to \mathbb Z\wr F^{n-1}$ where $F$ is the free group on two generators. To prove these results, we introduce and study generalizations of asymptotic dimension which allow unbounded covers with controlled growth. For bounded degree graphs, these invariants are monotone with respect to regular maps (hence coarse embeddings). △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: 39 pages

MSC Class: 51F30; 20F69

Revealing Patient-Reported Experiences in Healthcare from Social Media using the DAPMAV Framework

Authors: Curtis Murray, Lewis Mitchell, Jonathan Tuke, Mark Mackay

Abstract: Understanding patient experience in healthcare is increasingly important and desired by medical professionals in a patient-centered care approach. Healthcare discourse on social media presents an opportunity to gain a unique perspective on patient-reported experiences, complementing traditional survey data. These social media reports often appear as first-hand accounts of patients' journeys throug… ▽ More Understanding patient experience in healthcare is increasingly important and desired by medical professionals in a patient-centered care approach. Healthcare discourse on social media presents an opportunity to gain a unique perspective on patient-reported experiences, complementing traditional survey data. These social media reports often appear as first-hand accounts of patients' journeys through the healthcare system, whose details extend beyond the confines of structured surveys and at a far larger scale than focus groups. However, in contrast with the vast presence of patient-experience data on social media and the potential benefits the data offers, it attracts comparatively little research attention due to the technical proficiency required for text analysis. In this paper, we introduce the Design-Acquire-Process-Model-Analyse-Visualise (DAPMAV) framework to provide an overview of techniques and an approach to capture patient-reported experiences from social media data. We apply this framework in a case study on prostate cancer data from /r/ProstateCancer, demonstrate the framework's value in capturing specific aspects of patient concern (such as sexual dysfunction), provide an overview of the discourse, and show narrative and emotional progression through these stories. We anticipate this framework to apply to a wide variety of areas in healthcare, including capturing and differentiating experiences across minority groups, geographic boundaries, and types of illnesses. △ Less

Submitted 10 December, 2023; v1 submitted 9 October, 2022; originally announced October 2022.

Comments: 25 pages, 8 figures, 4 tables

The shear viscosity of parton matter under anisotropic scatterings

Authors: Noah M. MacKay, Zi-Wei Lin

Abstract: The shear viscosity $ηいーた$ of a quark-gluon plasma in equilibrium can be calculated analytically using multiple methods or numerically using the Green-Kubo relation. It has been realized, which we confirm here, that the Chapman-Enskog method agrees well with the Green-Kubo result for both isotropic and anisotropic two-body scatterings. We then apply the Chapman-Enskog method to study the shear viscos… ▽ More The shear viscosity $ηいーた$ of a quark-gluon plasma in equilibrium can be calculated analytically using multiple methods or numerically using the Green-Kubo relation. It has been realized, which we confirm here, that the Chapman-Enskog method agrees well with the Green-Kubo result for both isotropic and anisotropic two-body scatterings. We then apply the Chapman-Enskog method to study the shear viscosity of the parton matter from a multi-phase transport model. In particular, we study the parton matter in the center cell of central and midcentral Au+Au collisions at $200A$ GeV and Pb+Pb collisions at $2760A$ GeV, which is assumed to be a plasma in thermal equilibrium but partial chemical equilibrium. As a result of using a constant Debye mass or cross section $σしぐま$ for parton scatterings, the $ηいーた/s$ ratio increases with time (as the effective temperature decreases), contrary to the trend preferred by Bayesian analysis of the experimental data or pQCD results that use temperature-dependent Debye masses. At $σしぐま=3$ mb that enables the transport model to approximately reproduce the elliptic flow data of the bulk matter, the average $ηいーた/s$ of the parton matter in partial equilibrium is found to be very small, between one to two times $1/(4πぱい)$. △ Less

Submitted 25 October, 2022; v1 submitted 11 August, 2022; originally announced August 2022.

Comments: Added subsection on the Green-Kubo relation to better match published version

Evaluation birepresentations of affine type A Soergel bimodules

Authors: M. Mackaay, V. Miemietz, P. Vaz

Abstract: In this paper, we use Soergel calculus to define a monoidal functor, called the evaluation functor, from extended affine type A Soergel bimodules to the homotopy category of bounded complexes in finite type A Soergel bimodules. This functor categorifies the well-known evaluation homomorphism from the extended affine type A Hecke algebra to the finite type A Hecke algebra. Through it, one can pull… ▽ More In this paper, we use Soergel calculus to define a monoidal functor, called the evaluation functor, from extended affine type A Soergel bimodules to the homotopy category of bounded complexes in finite type A Soergel bimodules. This functor categorifies the well-known evaluation homomorphism from the extended affine type A Hecke algebra to the finite type A Hecke algebra. Through it, one can pull back the triangulated birepresentation induced by any finitary birepresentation of finite type A Soergel bimodules to obtain a triangulated birepresentation of extended affine type A Soergel bimodules. We show that if the initial finitary birepresentation in finite type A is a cell birepresentation, the evaluation birepresentation in extended affine type A has a finitary cover, which we illustrate by working out the case of cell birepresentations with subregular apex in detail. △ Less

Submitted 7 November, 2023; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: 61 pages, lots of colored pictures. v2, accepted version

Kostant's problem for fully commutative permutations

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz

Abstract: We give a complete combinatorial answer to Kostant's problem for simple highest weight modules indexed by fully commutative permutations. We also propose a reformulation of Kostant's problem in the context of fiab bicategories and classify annihilators of simple objects in the principal birepresentations of such bicategories generalising the Barbasch--Vogan theorem for Lie algebras. We give a complete combinatorial answer to Kostant's problem for simple highest weight modules indexed by fully commutative permutations. We also propose a reformulation of Kostant's problem in the context of fiab bicategories and classify annihilators of simple objects in the principal birepresentations of such bicategories generalising the Barbasch--Vogan theorem for Lie algebras. △ Less

Submitted 13 April, 2023; v1 submitted 18 May, 2022; originally announced May 2022.

Comments: Minor revision following comments by referees. To appear in Rev. Mat. Iberoam

Maps between relatively hyperbolic spaces and between their boundaries

Authors: John M. Mackay, Alessandro Sisto

Abstract: We study relations between maps between relatively hyperbolic groups/spaces and quasisymmetric embeddings between their boundaries. More specifically, we establish a correspondence between (not necessarily coarsely surjective) quasi-isometric embeddings between relatively hyperbolic groups/spaces that coarsely respect peripherals, and quasisymmetric embeddings between their boundaries satisfying s… ▽ More We study relations between maps between relatively hyperbolic groups/spaces and quasisymmetric embeddings between their boundaries. More specifically, we establish a correspondence between (not necessarily coarsely surjective) quasi-isometric embeddings between relatively hyperbolic groups/spaces that coarsely respect peripherals, and quasisymmetric embeddings between their boundaries satisfying suitable conditions. Further, we establish a similar correspondence regarding maps with at most polynomial distortion. We use this to characterise groups which are hyperbolic relative to some collection of virtually nilpotent subgroups as exactly those groups which admit an embedding into a truncated real hyperbolic space with at most polynomial distortion, generalising a result of Bonk and Schramm for hyperbolic groups. △ Less

Submitted 12 September, 2023; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: v1: 51 pages, 3 figures; v2: 54 pages, 3 figures. Minor updates

MSC Class: 20F65; 20F67; 20F69; 31L10; 51F99

Poincaré profiles of Lie groups and a coarse geometric dichotomy

Authors: David Hume, John M. Mackay, Romain Tessera

Abstract: Poincaré profiles are a family of analytically defined coarse invariants, which can be used as obstructions to the existence of coarse embeddings between metric spaces. In this paper we calculate the Poincaré profiles of all connected unimodular Lie groups, Baumslag-Solitar groups and Thurston geometries, demonstrating two substantially different types of behaviour. In the case of Lie groups, we o… ▽ More Poincaré profiles are a family of analytically defined coarse invariants, which can be used as obstructions to the existence of coarse embeddings between metric spaces. In this paper we calculate the Poincaré profiles of all connected unimodular Lie groups, Baumslag-Solitar groups and Thurston geometries, demonstrating two substantially different types of behaviour. In the case of Lie groups, we obtain a dichotomy which extends both the dichotomy separating rank one and higher rank semisimple Lie groups and the dichotomy separating connected solvable unimodular Lie groups of polynomial and exponential growth. We provide equivalent algebraic, quasi-isometric and coarse geometric formulations of this dichotomy. Our results have many consequences for coarse embeddings, for instance we deduce that for groups of the form $N\times S$, where $N$ is a connected nilpotent Lie group, and $S$ is a simple Lie group of real rank 1, both the growth exponent of $N$, and the Ahlfors-regular conformal dimension of $S$ are non-decreasing under coarse embeddings. These results are new even in the quasi-isometric setting and give obstructions to quasi-isometric embeddings which in many cases are stronger than those previously obtained by Buyalo-Schroeder. △ Less

Submitted 28 September, 2022; v1 submitted 5 November, 2020; originally announced November 2020.

Comments: 58 pages. v3: version accepted for publication in Geometric and Functional Analysis

MSC Class: 20F65; 51F30; 22E15

Finitary birepresentations of finitary bicategories

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer, Xiaoting Zhang

Abstract: In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple transitive $2$-representations of a given $2$-category was reduced to that for certain subquotients. These reduction results were all formulated as bijections betwe… ▽ More In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple transitive $2$-representations of a given $2$-category was reduced to that for certain subquotients. These reduction results were all formulated as bijections between equivalence classes of $2$-representations. In this paper, we generalize them to biequivalences between certain $2$-categories of birepresentations. Furthermore, we prove an analog of the double centralizer theorem in finitary birepresentation theory. △ Less

Submitted 24 September, 2021; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: Significant revision of the original version

Conformal dimension of hyperbolic groups that split over elementary subgroups

Authors: Matias Carrasco, John M. Mackay

Abstract: We study the (Ahlfors regular) conformal dimension of the boundary at infinity of Gromov hyperbolic groups which split over elementary subgroups. If such a group is not virtually free, we show that the conformal dimension is equal to the maximal value of the conformal dimension of the vertex groups, or 1, whichever is greater, and we characterise when the conformal dimension is attained. As a cons… ▽ More We study the (Ahlfors regular) conformal dimension of the boundary at infinity of Gromov hyperbolic groups which split over elementary subgroups. If such a group is not virtually free, we show that the conformal dimension is equal to the maximal value of the conformal dimension of the vertex groups, or 1, whichever is greater, and we characterise when the conformal dimension is attained. As a consequence, we are able to characterise which Gromov hyperbolic groups (without $2$-torsion) have conformal dimension 1, answering a question of Bonk and Kleiner. △ Less

Submitted 16 September, 2021; v1 submitted 17 July, 2020; originally announced July 2020.

Comments: v1: 47 pages, 6 figures; v2: 48 pages, 6 figures, minor changes to introduction

MSC Class: 20F67; 30L10; 51F99

Journal ref: Invent. Math. 227 (2022), no. 2, 795-854

Symptom extraction from the narratives of personal experiences with COVID-19 on Reddit

Authors: Curtis Murray, Lewis Mitchell, Jonathan Tuke, Mark Mackay

Abstract: Social media discussion of COVID-19 provides a rich source of information into how the virus affects people's lives that is qualitatively different from traditional public health datasets. In particular, when individuals self-report their experiences over the course of the virus on social media, it can allow for identification of the emotions each stage of symptoms engenders in the patient. Posts… ▽ More Social media discussion of COVID-19 provides a rich source of information into how the virus affects people's lives that is qualitatively different from traditional public health datasets. In particular, when individuals self-report their experiences over the course of the virus on social media, it can allow for identification of the emotions each stage of symptoms engenders in the patient. Posts to the Reddit forum r/COVID19Positive contain first-hand accounts from COVID-19 positive patients, giving insight into personal struggles with the virus. These posts often feature a temporal structure indicating the number of days after developing symptoms the text refers to. Using topic modelling and sentiment analysis, we quantify the change in discussion of COVID-19 throughout individuals' experiences for the first 14 days since symptom onset. Discourse on early symptoms such as fever, cough, and sore throat was concentrated towards the beginning of the posts, while language indicating breathing issues peaked around ten days. Some conversation around critical cases was also identified and appeared at a roughly constant rate. We identified two clear clusters of positive and negative emotions associated with the evolution of these symptoms and mapped their relationships. Our results provide a perspective on the patient experience of COVID-19 that complements other medical data streams and can potentially reveal when mental health issues might appear. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Simple transitive $2$-representations of Soergel bimodules for finite Coxeter types

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer, Xiaoting Zhang

Abstract: In this paper we show that Soergel bimodules for finite Coxeter types have only finitely many equivalence classes of simple transitive $2$-representations and we complete their classification in all types but $H_{3}$ and $H_{4}$. In this paper we show that Soergel bimodules for finite Coxeter types have only finitely many equivalence classes of simple transitive $2$-representations and we complete their classification in all types but $H_{3}$ and $H_{4}$. △ Less

Submitted 12 February, 2023; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: Final version, to appear in the Proceedings of the LMS

Journal ref: Proc. Lond. Math. Soc. (3) 126 (2023), no. 5, 1585-1655

Poorly connected groups

Authors: David Hume, John M. Mackay

Abstract: We investigate groups whose Cayley graphs have poor\-ly connected subgraphs. We prove that a finitely generated group has bounded separation in the sense of Benjamini--Schramm--Timár if and only if it is virtually free. We then prove a gap theorem for connectivity of finitely presented groups, and prove that there is no comparable theorem for all finitely generated groups. Finally, we formulate a… ▽ More We investigate groups whose Cayley graphs have poor\-ly connected subgraphs. We prove that a finitely generated group has bounded separation in the sense of Benjamini--Schramm--Timár if and only if it is virtually free. We then prove a gap theorem for connectivity of finitely presented groups, and prove that there is no comparable theorem for all finitely generated groups. Finally, we formulate a connectivity version of the conjecture that every group of type $F$ with no Baumslag-Solitar subgroup is hyperbolic, and prove it for groups with at most quadratic Dehn function. △ Less

Submitted 26 April, 2019; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: 14 pages. Changes to v2: Proof of the Theorem 1.2 shortened, Theorem 1.4 added completing the no-gap result outlined in v1

MSC Class: 20F65 (Primary); 05C40; 20E05; 20F67 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 148 (2020), no. 11, 4653-4664

Self-Tuning Networks: Bilevel Optimization of Hyperparameters using Structured Best-Response Functions

Authors: Matthew MacKay, Paul Vicol, Jon Lorraine, David Duvenaud, Roger Grosse

Abstract: Hyperparameter optimization can be formulated as a bilevel optimization problem, where the optimal parameters on the training set depend on the hyperparameters. We aim to adapt regularization hyperparameters for neural networks by fitting compact approximations to the best-response function, which maps hyperparameters to optimal weights and biases. We show how to construct scalable best-response a… ▽ More Hyperparameter optimization can be formulated as a bilevel optimization problem, where the optimal parameters on the training set depend on the hyperparameters. We aim to adapt regularization hyperparameters for neural networks by fitting compact approximations to the best-response function, which maps hyperparameters to optimal weights and biases. We show how to construct scalable best-response approximations for neural networks by modeling the best-response as a single network whose hidden units are gated conditionally on the regularizer. We justify this approximation by showing the exact best-response for a shallow linear network with L2-regularized Jacobian can be represented by a similar gating mechanism. We fit this model using a gradient-based hyperparameter optimization algorithm which alternates between approximating the best-response around the current hyperparameters and optimizing the hyperparameters using the approximate best-response function. Unlike other gradient-based approaches, we do not require differentiating the training loss with respect to the hyperparameters, allowing us to tune discrete hyperparameters, data augmentation hyperparameters, and dropout probabilities. Because the hyperparameters are adapted online, our approach discovers hyperparameter schedules that can outperform fixed hyperparameter values. Empirically, our approach outperforms competing hyperparameter optimization methods on large-scale deep learning problems. We call our networks, which update their own hyperparameters online during training, Self-Tuning Networks (STNs). △ Less

Submitted 7 March, 2019; originally announced March 2019.

Comments: Published as a conference paper at ICLR 2019

Trust Evaluation Mechanism for User Recruitment in Mobile Crowd-Sensing in the Internet of Things

Authors: Nguyen Binh Truong, Gyu Myoung Lee, Tai-Won Um, Michael Mackay

Abstract: Mobile Crowd-Sensing (MCS) has appeared as a prospective solution for large-scale data collection, leveraging built-in sensors and social applications in mobile devices that enables a variety of Internet of Things (IoT) services. However, the human involvement in MCS results in a high possibility for unintentionally contributing corrupted and falsified data or intentionally spreading disinformatio… ▽ More Mobile Crowd-Sensing (MCS) has appeared as a prospective solution for large-scale data collection, leveraging built-in sensors and social applications in mobile devices that enables a variety of Internet of Things (IoT) services. However, the human involvement in MCS results in a high possibility for unintentionally contributing corrupted and falsified data or intentionally spreading disinformation for malevolent purposes, consequently undermining IoT services. Therefore, recruiting trustworthy contributors plays a crucial role in collecting high-quality data and providing better quality of services while minimizing the vulnerabilities and risks to MCS systems. In this article, a novel trust model called Experience-Reputation (E-R) is proposed for evaluating trust relationships between any two mobile device users in a MCS platform. To enable the E-R model, virtual interactions among the users are manipulated by considering an assessment of the quality of contributed data from such users. Based on these interactions, two indicators of trust called Experience and Reputation are calculated accordingly. By incorporating the Experience and Reputation trust indicators (TIs), trust relationships between the users are established, evaluated and maintained. Based on these trust relationships, a novel trust-based recruitment scheme is carried out for selecting the most trustworthy MCS users to contribute to data sensing tasks. In order to evaluate the performance and effectiveness of the proposed trust-based mechanism as well as the E-R trust model, we deploy several recruitment schemes in a MCS testbed which consists of both normal and malicious users. The results highlight the strength of the trust-based scheme as it delivers better quality for MCS services while being able to detect malicious users. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Comments: Published in IEEE Transactions on Information Forensics and Security on March 2019. 15 pages, 9 figures, 68 references

Reversible Recurrent Neural Networks

Authors: Matthew MacKay, Paul Vicol, Jimmy Ba, Roger Grosse

Abstract: Recurrent neural networks (RNNs) provide state-of-the-art performance in processing sequential data but are memory intensive to train, limiting the flexibility of RNN models which can be trained. Reversible RNNs---RNNs for which the hidden-to-hidden transition can be reversed---offer a path to reduce the memory requirements of training, as hidden states need not be stored and instead can be recomp… ▽ More Recurrent neural networks (RNNs) provide state-of-the-art performance in processing sequential data but are memory intensive to train, limiting the flexibility of RNN models which can be trained. Reversible RNNs---RNNs for which the hidden-to-hidden transition can be reversed---offer a path to reduce the memory requirements of training, as hidden states need not be stored and instead can be recomputed during backpropagation. We first show that perfectly reversible RNNs, which require no storage of the hidden activations, are fundamentally limited because they cannot forget information from their hidden state. We then provide a scheme for storing a small number of bits in order to allow perfect reversal with forgetting. Our method achieves comparable performance to traditional models while reducing the activation memory cost by a factor of 10--15. We extend our technique to attention-based sequence-to-sequence models, where it maintains performance while reducing activation memory cost by a factor of 5--10 in the encoder, and a factor of 10--15 in the decoder. △ Less

Submitted 25 October, 2018; originally announced October 2018.

Comments: Published as a conference paper at NIPS 2018

Random triangular Burnside groups

Authors: Dominik Gruber, John M. Mackay

Abstract: We introduce a model for random groups in varieties of $n$-periodic groups as $n$-periodic quotients of triangular random groups. We show that for an explicit $d_{\mathrm{crit}}\in(1/3,1/2)$, for densities $d\in(1/3,d_{\mathrm{crit}})$ and for $n$ large enough, the model produces \emph{infinite} $n$-periodic groups. As an application, we obtain, for every fixed large enough $n$, for every… ▽ More We introduce a model for random groups in varieties of $n$-periodic groups as $n$-periodic quotients of triangular random groups. We show that for an explicit $d_{\mathrm{crit}}\in(1/3,1/2)$, for densities $d\in(1/3,d_{\mathrm{crit}})$ and for $n$ large enough, the model produces \emph{infinite} $n$-periodic groups. As an application, we obtain, for every fixed large enough $n$, for every $p\in (1,\infty)$ an infinite $n$-periodic group with fixed points for all isometric actions on $L^p$-spaces. Our main contribution is to show that certain random triangular groups are uniformly acylindrically hyperbolic. △ Less

Submitted 23 June, 2020; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: v1: 9 pages, 1 figure; v2: 14 pages, 1 figure. Expanded exposition, final version

MSC Class: 20F50; 20F65; 20P05

Journal ref: Israel J. Math. 244, 75-94 (2021)

Trihedral Soergel bimodules

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer

Abstract: The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive $2$-representations of both monoidal categories, which are indexed by bicolored $\mathsf{ADE}$ Dynkin diagrams. Using the quantum Satake correspondence between affine… ▽ More The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive $2$-representations of both monoidal categories, which are indexed by bicolored $\mathsf{ADE}$ Dynkin diagrams. Using the quantum Satake correspondence between affine $\mathsf{A}_{2}$ Soergel bimodules and the semisimple quotient of the quantum $\mathfrak{sl}_3$ representation category, we introduce trihedral Hecke algebras and Soergel bimodules, generalizing dihedral Hecke algebras and Soergel bimodules. These have their own Kazhdan-Lusztig combinatorics, simple transitive $2$-representations corresponding to tricolored generalized $\mathsf{ADE}$ Dynkin diagrams. △ Less

Submitted 19 June, 2019; v1 submitted 24 April, 2018; originally announced April 2018.

Comments: 61 pages, many colored figures, revised version, comments welcome, to appear in Fund. Math

Journal ref: Fund. Math. 248 (2020), no. 3, 219-300

Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Xiaoting Zhang

Abstract: The main result of this paper establishes a bijection between the set of equivalence classes of simple transitive $2$-representations with a fixed apex $\mathcal{J}$ of a fiat $2$-category $\cC$ and the set of equivalence classes of faithful simple transitive $2$-representations of the fiat $2$-subquotient of $\cC$ associated with a diagonal $\mathcal{H}$-cell in $\mathcal{J}$. As an application,… ▽ More The main result of this paper establishes a bijection between the set of equivalence classes of simple transitive $2$-representations with a fixed apex $\mathcal{J}$ of a fiat $2$-category $\cC$ and the set of equivalence classes of faithful simple transitive $2$-representations of the fiat $2$-subquotient of $\cC$ associated with a diagonal $\mathcal{H}$-cell in $\mathcal{J}$. As an application, we classify simple transitive $2$-representations of various categories of Soergel bimodules, in particular, completing the classification in types $B_3$ and $B_4$. △ Less

Submitted 6 February, 2018; originally announced February 2018.

Poincaré profiles of groups and spaces

Authors: David Hume, John M. Mackay, Romain Tessera

Abstract: We introduce a spectrum of monotone coarse invariants for metric measure spaces called Poincaré profiles. The two extremes of this spectrum determine the growth of the space, and the separation profile as defined by Benjamini--Schramm--Timár. In this paper we focus on properties of the Poincaré profiles of groups with polynomial growth, and of hyperbolic spaces, where we deduce a connection betwee… ▽ More We introduce a spectrum of monotone coarse invariants for metric measure spaces called Poincaré profiles. The two extremes of this spectrum determine the growth of the space, and the separation profile as defined by Benjamini--Schramm--Timár. In this paper we focus on properties of the Poincaré profiles of groups with polynomial growth, and of hyperbolic spaces, where we deduce a connection between these profiles and conformal dimension. As applications, we use these invariants to show the non-existence of coarse embeddings in a variety of examples. △ Less

Submitted 17 June, 2019; v1 submitted 7 July, 2017; originally announced July 2017.

Comments: 55 pages. To appear in Revista Matemática Iberoamericana

MSC Class: 20F65; 20F67; 20F18

Journal ref: Rev. Mat. Iberoam. 36 (2020), no. 6, 1835-1886

Degenerate cyclotomic Hecke algebras and higher level Heisenberg categorification

Authors: Marco Mackaay, Alistair Savage

Abstract: We associate a monoidal category $\mathcal{H}^λらむだ$ to each dominant integral weight $λらむだ$ of $\widehat{\mathfrak{sl}}_p$ or $\mathfrak{sl}_\infty$. These categories, defined in terms of planar diagrams, act naturally on categories of modules for the degenerate cyclotomic Hecke algebras associated to $λらむだ$. We show that, in the $\mathfrak{sl}_\infty$ case, the level $d$ Heisenberg algebra embeds into the… ▽ More We associate a monoidal category $\mathcal{H}^λらむだ$ to each dominant integral weight $λらむだ$ of $\widehat{\mathfrak{sl}}_p$ or $\mathfrak{sl}_\infty$. These categories, defined in terms of planar diagrams, act naturally on categories of modules for the degenerate cyclotomic Hecke algebras associated to $λらむだ$. We show that, in the $\mathfrak{sl}_\infty$ case, the level $d$ Heisenberg algebra embeds into the Grothendieck ring of $\mathcal{H}^λらむだ$, where $d$ is the level of $λらむだ$. The categories $\mathcal{H}^λらむだ$ can be viewed as a graphical calculus describing induction and restriction functors between categories of modules for degenerate cyclotomic Hecke algebras, together with their natural transformations. As an application of this tool, we prove a new result concerning centralizers for degenerate cyclotomic Hecke algebras. △ Less

Submitted 14 March, 2018; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: 35 pages; v2: published version

MSC Class: 20C08 (Primary); 18D10; 19A22 (Secondary)

Journal ref: Journal of Algebra 505 (2018), 150-193

A Metrizable Topology on the Contracting Boundary of a Group

Authors: Christopher H. Cashen, John M. Mackay

Abstract: The 'contracting boundary' of a proper geodesic metric space consists of equivalence classes of geodesic rays that behave like rays in a hyperbolic space. We introduce a geometrically relevant, quasi-isometry invariant topology on the contracting boundary. When the space is the Cayley graph of a finitely generated group we show that our new topology is metrizable. The 'contracting boundary' of a proper geodesic metric space consists of equivalence classes of geodesic rays that behave like rays in a hyperbolic space. We introduce a geometrically relevant, quasi-isometry invariant topology on the contracting boundary. When the space is the Cayley graph of a finitely generated group we show that our new topology is metrizable. △ Less

Submitted 21 February, 2018; v1 submitted 4 March, 2017; originally announced March 2017.

Comments: v1: 26 pages, 3 figures; v2: 44 pages, 6 figures, additional results; v3: 46 pages, 7 figures, minor changes

MSC Class: 20F65; 20F67

Journal ref: Trans. Amer. Math. Soc. 372 (2019), no. 3, 1555-1600

Simple transitive 2-representations via (co)algebra 1-morphisms

Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer

Abstract: For any fiat 2-category C, we show how its simple transitive 2-representations can be constructed using coalgebra 1-morphisms in the injective abelianization of C. Dually, we show that these can also be constructed using algebra 1-morphisms in the projective abelianization of C. We also extend Morita-Takeuchi theory to our setup and work out several examples explicitly. For any fiat 2-category C, we show how its simple transitive 2-representations can be constructed using coalgebra 1-morphisms in the injective abelianization of C. Dually, we show that these can also be constructed using algebra 1-morphisms in the projective abelianization of C. We also extend Morita-Takeuchi theory to our setup and work out several examples explicitly. △ Less

Submitted 6 February, 2019; v1 submitted 19 December, 2016; originally announced December 2016.

Comments: Revised version to appear in Indiana Univ. Math. J. the numbering of theorems etc. is changed to adjust to the published version

Journal ref: Indiana Univ. Math. J. 68 (2019), no. 1, 1-33

Two-color Soergel calculus and simple transitive 2-representations

Authors: Marco Mackaay, Daniel Tubbenhauer

Abstract: In this paper we complete the $\mathrm{ADE}$-like classification of simple transitive $2$-representations of Soergel bimodules in finite dihedral type, under the assumption of gradeability. In particular, we use bipartite graphs and zigzag algebras of $\mathrm{ADE}$ type to give an explicit construction of a graded (non-strict) version of all these $2$-representations. Moreover, we give simple c… ▽ More In this paper we complete the $\mathrm{ADE}$-like classification of simple transitive $2$-representations of Soergel bimodules in finite dihedral type, under the assumption of gradeability. In particular, we use bipartite graphs and zigzag algebras of $\mathrm{ADE}$ type to give an explicit construction of a graded (non-strict) version of all these $2$-representations. Moreover, we give simple combinatorial criteria for when two such $2$-representations are equivalent and for when their Grothendieck groups give rise to isomorphic representations. Finally, our construction also gives a large class of simple transitive $2$-representations in infinite dihedral type for general bipartite graphs. △ Less

Submitted 2 December, 2018; v1 submitted 4 September, 2016; originally announced September 2016.

Comments: 37 pages, many colored figures, revised version, comments welcome, to appear in Canad. J. Math

Journal ref: Canad. J. Math. 71 (2019), no. 6, 1523-1566

Random groups, random graphs and eigenvalues of p-Laplacians

Authors: Cornelia Drutu, John M. Mackay

Abstract: We prove that a random group in the triangular density model has, for density larger than 1/3, fixed point properties for actions on $L^p$-spaces (affine isometric, and more generally $(2-2εいぷしろん)^{1/2p}$-uniformly Lipschitz) with $p$ varying in an interval increasing with the set of generators. In the same model, we establish a double inequality between the maximal $p$ for which $L^p$-fixed point prop… ▽ More We prove that a random group in the triangular density model has, for density larger than 1/3, fixed point properties for actions on $L^p$-spaces (affine isometric, and more generally $(2-2εいぷしろん)^{1/2p}$-uniformly Lipschitz) with $p$ varying in an interval increasing with the set of generators. In the same model, we establish a double inequality between the maximal $p$ for which $L^p$-fixed point properties hold and the conformal dimension of the boundary. In the Gromov density model, we prove that for every $p_0 \in [2, \infty)$ for a sufficiently large number of generators and for any density larger than 1/3, a random group satisfies the fixed point property for affine actions on $L^p$-spaces that are $(2-2εいぷしろん)^{1/2p}$-uniformly Lipschitz, and this for every $p\in [2,p_0]$. To accomplish these goals we find new bounds on the first eigenvalue of the p-Laplacian on random graphs, using methods adapted from Kahn and Szemeredi's approach to the 2-Laplacian. These in turn lead to fixed point properties using arguments of Bourdon and Gromov, which extend to $L^p$-spaces previous results for Kazhdan's Property (T) established by Zuk and Ballmann-Swiatkowski. △ Less

Submitted 3 November, 2018; v1 submitted 14 July, 2016; originally announced July 2016.

Comments: v1: 51 pages; v2: 54 pages, minor updates and corrections to 2<p<3 case; v3: 56 pages, minor updates

MSC Class: 20P05; 20F65; 05C80; 47H10

Journal ref: Adv. Math. 341 (2019), 188-254

Simple transitive 2-representations of small quotients of Soergel bimodules

Authors: Tobias Kildetoft, Marco Mackaay, Volodymyr Mazorchuk, Jakob Zimmermann

Abstract: In all finite Coxeter types but $I_2(12)$, $I_2(18)$ and $I_2(30)$, we classify simple transitive $2$-rep\-re\-sen\-ta\-ti\-ons for the quotient of the $2$-category of Soergel bimodules over the coinvariant algebra which is associated to the two-sided cell that is the closest one to the two-sided cell containing the identity element. It turns out that, in most of the cases, simple transitive $2$-r… ▽ More In all finite Coxeter types but $I_2(12)$, $I_2(18)$ and $I_2(30)$, we classify simple transitive $2$-rep\-re\-sen\-ta\-ti\-ons for the quotient of the $2$-category of Soergel bimodules over the coinvariant algebra which is associated to the two-sided cell that is the closest one to the two-sided cell containing the identity element. It turns out that, in most of the cases, simple transitive $2$-representations are exhausted by cell $2$-representations. However, in Coxeter types $I_2(2k)$, where $k\geq 3$, there exist simple transitive $2$-representations which are not equivalent to cell $2$-representations. △ Less

Submitted 9 November, 2017; v1 submitted 4 May, 2016; originally announced May 2016.

Comments: Revised version to appear in Trans. AMS

Simple transitive 2-representations for some 2-subcategories of Soergel bimodules

Authors: Marco Mackaay, Volodymyr Mazorchuk

Abstract: We classify simple transitive $2$-representations of certain $2$-sub\-ca\-te\-go\-ri\-es of the $2$-category of Soergel bimodules over the coinvariant algebra in Coxeter types $B_2$ and $I_2(5)$. In the $I_2(5)$ case it turns out that simple transitive $2$-representations are exhausted by cell $2$-representations. In the $B_2$ case we show that, apart from cell $2$-representations, there is a uniq… ▽ More We classify simple transitive $2$-representations of certain $2$-sub\-ca\-te\-go\-ri\-es of the $2$-category of Soergel bimodules over the coinvariant algebra in Coxeter types $B_2$ and $I_2(5)$. In the $I_2(5)$ case it turns out that simple transitive $2$-representations are exhausted by cell $2$-representations. In the $B_2$ case we show that, apart from cell $2$-representations, there is a unique, up to equivalence, additional simple transitive $2$-representation and we give an explicit construction of this $2$-representation. △ Less

Submitted 23 June, 2016; v1 submitted 13 February, 2016; originally announced February 2016.

Comments: revised version, 24 p., to appear in JPAA

Journal ref: Journal of Pure and Applied Algebra 221 (2017), Issue 3, Pages 565--587

Categorified skew Howe duality and comparison of knot homologies

Authors: Marco Mackaay, Ben Webster

Abstract: In this paper, we show an isomorphism of homological knot invariants categorifying the Reshetikhin-Turaev invariants for $\mathfrak{sl}_n$. Over the past decade, such invariants have been constructed in a variety of different ways, using matrix factorizations, category $\mathcal{O}$, affine Grassmannians, and diagrammatic categorifications of tensor products. While the definitions of these theor… ▽ More In this paper, we show an isomorphism of homological knot invariants categorifying the Reshetikhin-Turaev invariants for $\mathfrak{sl}_n$. Over the past decade, such invariants have been constructed in a variety of different ways, using matrix factorizations, category $\mathcal{O}$, affine Grassmannians, and diagrammatic categorifications of tensor products. While the definitions of these theories are quite different, there is a key commonality between them which makes it possible to prove that they are all isomorphic: they arise from a skew Howe dual action of $\mathfrak{gl}_\ell$ for some $\ell$. In this paper, we show that the construction of knot homology based on categorifying tensor products (from earlier work of the second author) fits into this framework, and thus agrees with other such homologies, such as Khovanov-Rozansky homology. We accomplish this by categorifying the action of $\mathfrak{gl}_\ell\times \mathfrak{gl}_n$ on $\bigwedge\nolimits^{\!p}(\mathbb{C}^\ell\otimes \mathbb{C}^n)$ using diagrammatic bimodules. In this action, the functors corresponding to $\mathfrak{gl}_\ell$ and $\mathfrak{gl}_n$ are quite different in nature, but they will switch roles under Koszul duality. △ Less

Submitted 20 February, 2015; originally announced February 2015.

Comments: 62 pages. preliminary version, comments welcome

Journal ref: Adv. Math. 330 (2018), 876-945

A sharper threshold for random groups at density one-half

Authors: Moon Duchin, Kasia Jankiewicz, Shelby C. Kilmer, Samuel Lelièvre, John M. Mackay, Andrew P. Sánchez

Abstract: In the density model of random groups, we consider presentations with any fixed number m of generators and many random relators of length l, sending l to infinity. If d is a "density" parameter measuring the rate of exponential growth of the number of relators compared to the length of relators, then many group-theoretic properties become generically true or generically false at different values o… ▽ More In the density model of random groups, we consider presentations with any fixed number m of generators and many random relators of length l, sending l to infinity. If d is a "density" parameter measuring the rate of exponential growth of the number of relators compared to the length of relators, then many group-theoretic properties become generically true or generically false at different values of d. The signature theorem for this density model is a phase transition from triviality to hyperbolicity: for d < 1/2, random groups are a.a.s. infinite hyperbolic, while for d > 1/2, random groups are a.a.s. order one or two. We study random groups at the density threshold d = 1/2. Kozma had found that trivial groups are generic for a range of growth rates at d = 1/2; we show that infinite hyperbolic groups are generic in a different range. (We include an exposition of Kozma's previously unpublished argument, with slightly improved results, for completeness.) △ Less

Submitted 30 December, 2014; originally announced December 2014.

Comments: 14 pages

MSC Class: 20F65

Conformal dimension via subcomplexes for small cancellation and random groups

Authors: John M. Mackay

Abstract: We find new bounds on the conformal dimension of small cancellation groups. These are used to show that a random few relator group has conformal dimension 2+o(1) asymptotically almost surely (a.a.s.). In fact, if the number of relators grows like l^K in the length l of the relators, then a.a.s. such a random group has conformal dimension 2+K+o(1). In Gromov's density model, a random group at densi… ▽ More We find new bounds on the conformal dimension of small cancellation groups. These are used to show that a random few relator group has conformal dimension 2+o(1) asymptotically almost surely (a.a.s.). In fact, if the number of relators grows like l^K in the length l of the relators, then a.a.s. such a random group has conformal dimension 2+K+o(1). In Gromov's density model, a random group at density d<1/8 a.a.s. has conformal dimension $\asymp dl / |\log d|$. The upper bound for C'(1/8) groups has two main ingredients: $\ell_p$-cohomology (following Bourdon-Kleiner), and walls in the Cayley complex (building on Wise and Ollivier-Wise). To find lower bounds we refine the methods of [Mackay, 2012] to create larger `round trees' in the Cayley complex of such groups. As a corollary, in the density model at d<1/8, the density d is determined, up to a power, by the conformal dimension of the boundary and the Euler characteristic of the group. △ Less

Submitted 19 May, 2015; v1 submitted 2 September, 2014; originally announced September 2014.

Comments: v1: 42 pages, 21 figures; v2: 44 pages, 20 figures. Improved exposition, final version

MSC Class: Primary 20F65; Secondary 20F06; 20F67; 20P05; 57M20

Journal ref: Math. Ann. (2016) 364: 937

Consciousness and the Physical World

Authors: B. D. Josephson, V. S. Ramachandran, F. J. Dyson, G. Vesey, R. L. Gregory, H. C. Longuet-Higgins, N. K. Humphrey, H. B. Barlow, D. M. MacKay, M. Roth, S. Padfield

Abstract: Edited proceedings of an interdisciplinary symposium on consciousness held at the University of Cambridge in January 1978. The purpose of the Cambridge conference was to encourage distinguished scientists to express their views on the relationship of conscious experience to the physical world. Edited proceedings of an interdisciplinary symposium on consciousness held at the University of Cambridge in January 1978. The purpose of the Cambridge conference was to encourage distinguished scientists to express their views on the relationship of conscious experience to the physical world. △ Less

Submitted 15 July, 2014; v1 submitted 14 March, 2014; originally announced July 2014.

Comments: The text was prepared using OCR software, and in consequence some errors are present. An error-free version obtained by scanning can be found at https://www.repository.cam.ac.uk/handle/1810/245189

Balanced walls for random groups

Authors: John M. Mackay, Piotr Przytycki

Abstract: We study a random group G in the Gromov density model and its Cayley complex X. For density < 5/24 we define walls in X that give rise to a nontrivial action of G on a CAT(0) cube complex. This extends a result of Ollivier and Wise, whose walls could be used only for density < 1/5. The strategy employed might be potentially extended in future to all densities < 1/4. We study a random group G in the Gromov density model and its Cayley complex X. For density < 5/24 we define walls in X that give rise to a nontrivial action of G on a CAT(0) cube complex. This extends a result of Ollivier and Wise, whose walls could be used only for density < 1/5. The strategy employed might be potentially extended in future to all densities < 1/4. △ Less

Submitted 19 January, 2015; v1 submitted 1 July, 2014; originally announced July 2014.

Comments: 18 pages, 2 figures. v2: Minor improvements, final version

Journal ref: Michigan Math. J., Volume 64, Issue 2 (2015), 397-419

A diagrammatic categorification of the affine q-Schur algebra S(n,n) for n > 2

Authors: Marco Mackaay, Anne-Laure Thiel

Abstract: This is a follow-up to the paper in which we categorified the affine quantum Schur algebra S(n,r) for 2 < r < n, using a quotient of Khovanov and Lauda's categorification of the affine quantum sl_n. In this paper we categorify S(n,n) for n > 2, using an extension of the aforementioned quotient. This is a follow-up to the paper in which we categorified the affine quantum Schur algebra S(n,r) for 2 < r < n, using a quotient of Khovanov and Lauda's categorification of the affine quantum sl_n. In this paper we categorify S(n,n) for n > 2, using an extension of the aforementioned quotient. △ Less

Submitted 20 December, 2013; originally announced December 2013.

Comments: 27 pages, lots of figures

Journal ref: Pacific J. Math. 278 (2015) 201-233

The sl(N)-web algebras and dual canonical bases

Authors: Marco Mackaay

Abstract: In this paper, which is a follow-up to my paper with Yonezawa "sl(N)-web categories", I define and study sl(N)-web algebras for any N greater than one. For N=2 these algebras are isomorphic to Khovanov's arc algebras and for N=3 they are Morita equivalent to the sl(3)-web algebras which I defined and studied with Pan and Tubbenhauer. The main result of this paper is that the sl(N)-web algebras a… ▽ More In this paper, which is a follow-up to my paper with Yonezawa "sl(N)-web categories", I define and study sl(N)-web algebras for any N greater than one. For N=2 these algebras are isomorphic to Khovanov's arc algebras and for N=3 they are Morita equivalent to the sl(3)-web algebras which I defined and studied with Pan and Tubbenhauer. The main result of this paper is that the sl(N)-web algebras are Morita equivalent to blocks of certain level-N cyclotomic KLR algebras, for which I use the categorified quantum skew Howe duality from the aforementioned paper with Yonezawa. Using this Morita equivalence and Brundan and Kleshchev's work on cyclotomic KLR algebras, I show that there exists an isomorphism between a certain space of sl(N)-webs and the split Grothendieck group of the corresponding sl(N)-web algebra, which maps the dual canonical basis elements to the Grothendieck classes of the indecomposable projective modules (with a certain normalization of their grading). △ Less

Submitted 6 November, 2013; v1 submitted 2 August, 2013; originally announced August 2013.

Comments: 38 pages, only small changes

sl(N)-Web categories

Authors: Marco Mackaay, Yasuyoshi Yonezawa

Abstract: In this paper we use colored sl(N)-matrix factorizations, due to Wu and Y.Y., in order to categorify part of the quantum skew Howe duality defined by Cautis, Kamnitzer and Morrison. In particular, we define web categories and 2-representations of Khovanov and Lauda's categorical quantum sl(m) on them. We show that each such web category is equivalent to the category of finite dimensional graded pr… ▽ More In this paper we use colored sl(N)-matrix factorizations, due to Wu and Y.Y., in order to categorify part of the quantum skew Howe duality defined by Cautis, Kamnitzer and Morrison. In particular, we define web categories and 2-representations of Khovanov and Lauda's categorical quantum sl(m) on them. We show that each such web category is equivalent to the category of finite dimensional graded projective modules over a certain level N cyclotomic Khovanov-Lauda-Rouquier algebra. △ Less

Submitted 6 November, 2013; v1 submitted 26 June, 2013; originally announced June 2013.

Comments: 39 pages, only small changes

Categorifications of the extended affine Hecke algebra and the affine q-Schur algebra S(n,r) for 2 < r < n

Authors: Marco Mackaay, Anne-Laure Thiel

Abstract: We categorify the extended affine Hecke algebra and the affine quantum Schur algebra S(n,r) for 2 < r < n, using Elias-Khovanov and Khovanov-Lauda type diagrams. We also define the affine analogue of the Elias-Khovanov and the Khovanov-Lauda 2-representations of these categorifications into an extension of the 2-category of affine (singular) Soergel bimodules. We categorify the extended affine Hecke algebra and the affine quantum Schur algebra S(n,r) for 2 < r < n, using Elias-Khovanov and Khovanov-Lauda type diagrams. We also define the affine analogue of the Elias-Khovanov and the Khovanov-Lauda 2-representations of these categorifications into an extension of the 2-category of affine (singular) Soergel bimodules. △ Less

Submitted 30 January, 2014; v1 submitted 13 February, 2013; originally announced February 2013.

Comments: 78 pages, lots of figures

Quasi-circles through prescribed points

Authors: John M. Mackay

Abstract: We show that in an L-annularly linearly connected, N-doubling, complete metric space, any n points lie on a K-quasi-circle, where K depends only on L, N and n. This implies, for example, that if G is a hyperbolic group that does not split over any virtually cyclic subgroup, then any geodesic line in G lies in a quasi-isometrically embedded copy of the hyperbolic plane. We show that in an L-annularly linearly connected, N-doubling, complete metric space, any n points lie on a K-quasi-circle, where K depends only on L, N and n. This implies, for example, that if G is a hyperbolic group that does not split over any virtually cyclic subgroup, then any geodesic line in G lies in a quasi-isometrically embedded copy of the hyperbolic plane. △ Less

Submitted 26 October, 2013; v1 submitted 18 October, 2012; originally announced October 2012.

Comments: v1: 15 pages, 2 figures; v2: 16 pages, 2 figures. Minor changes. Version accepted by IUMJ

MSC Class: 30L10; 30C65; 51F99

Journal ref: Indiana Univ. Math. J. 63 No. 2 (2014), 403-417

Embedding relatively hyperbolic groups in products of trees

Authors: John M. Mackay, Alessandro Sisto

Abstract: We show that a relatively hyperbolic group quasi-isometrically embeds in a product of finitely many trees if the peripheral subgroups do, and we provide an estimate on the minimal number of trees needed. Applying our result to the case of 3-manifolds, we show that fundamental groups of closed 3-manifolds have linearly controlled asymptotic dimension at most 8. To complement this result, we observe… ▽ More We show that a relatively hyperbolic group quasi-isometrically embeds in a product of finitely many trees if the peripheral subgroups do, and we provide an estimate on the minimal number of trees needed. Applying our result to the case of 3-manifolds, we show that fundamental groups of closed 3-manifolds have linearly controlled asymptotic dimension at most 8. To complement this result, we observe that fundamental groups of Haken 3-manifolds with non-empty boundary have asymptotic dimension 2. △ Less

Submitted 24 October, 2013; v1 submitted 12 July, 2012; originally announced July 2012.

Comments: v1: 18 pages; v2: 20 pages, minor changes

MSC Class: 20F65; 20F69

Journal ref: Algebr. Geom. Topol. 13 (2013) 2261-2282

The sl_3 web algebra

Authors: Marco Mackaay, Weiwei Pan, Daniel Tubbenhauer

Abstract: In this paper we use Kuperberg's $\mathfrak{sl}_3$-webs and Khovanov's $\mathfrak{sl}_3$-foams to define a new algebra $K^S$, which we call the $\mathfrak{sl}_3$-web algebra. It is the $\mathfrak{sl}_3$ analogue of Khovanov's arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$-skew Howe duality, which allows us to prove that… ▽ More In this paper we use Kuperberg's $\mathfrak{sl}_3$-webs and Khovanov's $\mathfrak{sl}_3$-foams to define a new algebra $K^S$, which we call the $\mathfrak{sl}_3$-web algebra. It is the $\mathfrak{sl}_3$ analogue of Khovanov's arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$-skew Howe duality, which allows us to prove that $K^S$ is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group $K^{\oplus}_0(\mathcal{W}^S)_{\mathbb{Q}(q)}$, to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that $K^S$ is a graded cellular algebra. △ Less

Submitted 10 March, 2018; v1 submitted 11 June, 2012; originally announced June 2012.

Comments: Numbering matched with the published version, no other changes

Journal ref: Math. Z. 277:1-2 (2014), 401-479

Modulus and Poincaré inequalities on non-self-similar Sierpinski carpets

Authors: John M. Mackay, Jeremy T. Tyson, Kevin Wildrick

Abstract: A carpet is a metric space homeomorphic to the Sierpinski carpet. We characterize, within a certain class of examples, non-self-similar carpets supporting curve families of nontrivial modulus and supporting Poincaré inequalities. Our results yield new examples of compact doubling metric measure spaces supporting Poincaré inequalities: these examples have no manifold points, yet embed isometrically… ▽ More A carpet is a metric space homeomorphic to the Sierpinski carpet. We characterize, within a certain class of examples, non-self-similar carpets supporting curve families of nontrivial modulus and supporting Poincaré inequalities. Our results yield new examples of compact doubling metric measure spaces supporting Poincaré inequalities: these examples have no manifold points, yet embed isometrically as subsets of Euclidean space. △ Less

Submitted 1 February, 2013; v1 submitted 17 January, 2012; originally announced January 2012.

Comments: v1: 42 pages, 11 figures. v2: 42 pages, 10 figures. Improved exposition

MSC Class: 30L99; 31E05; 28A80

Journal ref: Geom. Funct. Anal. Volume 23, Number 3 (2013), 985-1034

Quasi-hyperbolic planes in relatively hyperbolic groups

Authors: John M. Mackay, Alessandro Sisto

Abstract: We show that any group that is hyperbolic relative to virtually nilpotent subgroups, and does not admit peripheral splittings, contains a quasi-isometrically embedded copy of the hyperbolic plane. In natural situations, the specific embeddings we find remain quasi-isometric embeddings when composed with the inclusion map from the Cayley graph to the coned-off graph, as well as when composed with t… ▽ More We show that any group that is hyperbolic relative to virtually nilpotent subgroups, and does not admit peripheral splittings, contains a quasi-isometrically embedded copy of the hyperbolic plane. In natural situations, the specific embeddings we find remain quasi-isometric embeddings when composed with the inclusion map from the Cayley graph to the coned-off graph, as well as when composed with the quotient map to "almost every" peripheral (Dehn) filling. We apply our theorem to study the same question for fundamental groups of 3-manifolds. The key idea is to study quantitative geometric properties of the boundaries of relatively hyperbolic groups, such as linear connectedness. In particular, we prove a new existence result for quasi-arcs that avoid obstacles. △ Less

Submitted 14 September, 2018; v1 submitted 10 November, 2011; originally announced November 2011.

Comments: v1: 32 pages, 4 figures. v2: 38 pages, 4 figures. v3: 44 pages, 4 figures. An application (Theorem 1.2) is weakened as there was an error in its proof in section 7, all other changes minor, improved exposition

MSC Class: 20F65; 20F67; 51F99

Journal ref: Ann. Acad. Sci. Fenn. Math., Volume 45, 2020, 139-174

Conformal dimension and random groups

Authors: John M. Mackay

Abstract: We give a lower and an upper bound for the conformal dimension of the boundaries of certain small cancellation groups. We apply these bounds to the few relator and density models for random groups. This gives generic bounds of the following form, where $l$ is the relator length, going to infinity. (a) $1 + 1/C < \Cdim(\bdry G) < C l / \log(l)$, for the few relator model, and (b)… ▽ More We give a lower and an upper bound for the conformal dimension of the boundaries of certain small cancellation groups. We apply these bounds to the few relator and density models for random groups. This gives generic bounds of the following form, where $l$ is the relator length, going to infinity. (a) $1 + 1/C < \Cdim(\bdry G) < C l / \log(l)$, for the few relator model, and (b) $1 + l / (C\log(l)) < \Cdim(\bdry G) < C l$, for the density model, at densities $d < 1/16$. In particular, for the density model at densities $d < 1/16$, as the relator length $l$ goes to infinity, the random groups will pass through infinitely many different quasi-isometry classes. △ Less

Submitted 26 July, 2011; v1 submitted 13 November, 2010; originally announced November 2010.

Comments: 32 pages, 4 figures. v2: Final version. Main result improved to density < 1/16. Many minor improvements. To appear in GAFA

MSC Class: 20F67 (Primary); 20F06; 20P05; 30L10 (Secondary)

Journal ref: Geom. Funct. Anal. Volume 22, Number 1 (2012), 213-239

A diagrammatic categorification of the q-Schur algebra

Authors: Marco Mackaay, Marko Stosic, Pedro Vaz

Abstract: In this paper we categorify the q-Schur algebra S(n,d) as a quotient of Khovanov and Lauda's diagrammatic 2-category U(sln). We also show that our 2-category contains Soergel's monoidal category of bimodules of type A, which categorifies the Hecke algebra H(d), as a full sub-2-category if d does not exceed n. For the latter result we use Elias and Khovanov's diagrammatic presentation of Soergel's… ▽ More In this paper we categorify the q-Schur algebra S(n,d) as a quotient of Khovanov and Lauda's diagrammatic 2-category U(sln). We also show that our 2-category contains Soergel's monoidal category of bimodules of type A, which categorifies the Hecke algebra H(d), as a full sub-2-category if d does not exceed n. For the latter result we use Elias and Khovanov's diagrammatic presentation of Soergel's monoidal category of type A. △ Less

Submitted 6 February, 2012; v1 submitted 7 August, 2010; originally announced August 2010.

Comments: 60 pages, lots of figures. v3: Substantial changes. To appear in Quantum Topology

Extended graphical calculus for categorified quantum sl(2)

Authors: Mikhail Khovanov, Aaron D. Lauda, Marco Mackaay, Marko Stosic

Abstract: A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include two-morphisms between divided powers one-morphisms and their compositions. We obtain explicit diagrammatical formulas for the decomposition of products of divided… ▽ More A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include two-morphisms between divided powers one-morphisms and their compositions. We obtain explicit diagrammatical formulas for the decomposition of products of divided powers one-morphisms as direct sums of indecomposable one-morphisms; the latter are in a bijection with the Lusztig canonical basis elements. These formulas have integral coefficients and imply that one of the main results of Lauda's paper---identification of the Grothendieck ring of his 2-category with the idempotented quantum sl(2)---also holds when the 2-category is defined over the ring of integers rather than over a field. △ Less

Submitted 14 June, 2010; originally announced June 2010.

Comments: 72 pages, LaTeX2e with xypic and pstricks macros

MSC Class: 81R50; 17B37; 16W50

Journal ref: Memoirs of the AMS, Volume 219, (2012)

Assouad dimension of self-affine carpets

Authors: John M. Mackay

Abstract: We calculate the Assouad dimension of the self-affine carpets of Bedford and McMullen, and of Lalley and Gatzouras. We also calculate the conformal Assouad dimension of those carpets that are not self-similar. We calculate the Assouad dimension of the self-affine carpets of Bedford and McMullen, and of Lalley and Gatzouras. We also calculate the conformal Assouad dimension of those carpets that are not self-similar. △ Less

Submitted 21 November, 2011; v1 submitted 3 March, 2010; originally announced March 2010.

Comments: 10 pages, 3 figures

MSC Class: 28A78; 28A80; 54F45; 30L99

Journal ref: Conform. Geom. Dyn. 15 (2011), 177-187

The diagrammatic Soergel category and sl(N)-foams, for N > 3

Authors: Marco Mackaay, Pedro Vaz

Abstract: For each N > 3, we define a monoidal functor from Elias and Khovanov's diagrammatic version of Soergel's category of bimodules to the category of sl(N) foams defined by Mackaay, Stosic and Vaz. We show that through these functors Soergel's category can be obtained from the sl(N) foams. For each N > 3, we define a monoidal functor from Elias and Khovanov's diagrammatic version of Soergel's category of bimodules to the category of sl(N) foams defined by Mackaay, Stosic and Vaz. We show that through these functors Soergel's category can be obtained from the sl(N) foams. △ Less

Submitted 10 April, 2010; v1 submitted 12 November, 2009; originally announced November 2009.

Comments: v2, minor corrections, 17 pages, lots of figures