-
On operator valued Haar unitaries and bipolar decompositions of R-diagonal elements
Authors:
Ken Dykema,
John Griffin
Abstract:
In the context of operator valued W*-free probability theory, we study Haar unitaries, R-diagonal elements and circular elements. Several classes of Haar unitaries are differentiated from each other. The term bipolar decomposition is used for the expression of an element as $vx$ where $x$ is self-adjoint and $v$ is a partial isometry, and we study such decompositions of operator valued R-diagonal…
▽ More
In the context of operator valued W*-free probability theory, we study Haar unitaries, R-diagonal elements and circular elements. Several classes of Haar unitaries are differentiated from each other. The term bipolar decomposition is used for the expression of an element as $vx$ where $x$ is self-adjoint and $v$ is a partial isometry, and we study such decompositions of operator valued R-diagonal and circular elements that are free, meaning that $v$ and $x$ are *-free from each other. In particular, we prove, when B=C^2, that if a $B$-valued circular element has a free bipolar decomposition with $v$ unitary, then it has one where $v$ normalizes $B$.
△ Less
Submitted 18 January, 2024; v1 submitted 29 June, 2023;
originally announced June 2023.
-
A Novel Fast Exact Subproblem Solver for Stochastic Quasi-Newton Cubic Regularized Optimization
Authors:
Jarad Forristal,
Joshua Griffin,
Wenwen Zhou,
Seyedalireza Yektamaram
Abstract:
In this work we describe an Adaptive Regularization using Cubics (ARC) method for large-scale nonconvex unconstrained optimization using Limited-memory Quasi-Newton (LQN) matrices. ARC methods are a relatively new family of optimization strategies that utilize a cubic-regularization (CR) term in place of trust-regions and line-searches. LQN methods offer a large-scale alternative to using explicit…
▽ More
In this work we describe an Adaptive Regularization using Cubics (ARC) method for large-scale nonconvex unconstrained optimization using Limited-memory Quasi-Newton (LQN) matrices. ARC methods are a relatively new family of optimization strategies that utilize a cubic-regularization (CR) term in place of trust-regions and line-searches. LQN methods offer a large-scale alternative to using explicit second-order information by taking identical inputs to those used by popular first-order methods such as stochastic gradient descent (SGD). Solving the CR subproblem exactly requires Newton's method, yet using properties of the internal structure of LQN matrices, we are able to find exact solutions to the CR subproblem in a matrix-free manner, providing large speedups and scaling into modern size requirements. Additionally, we expand upon previous ARC work and explicitly incorporate first-order updates into our algorithm. We provide experimental results when the SR1 update is used, which show substantial speed-ups and competitive performance compared to Adam and other second order optimizers on deep neural networks (DNNs). We find that our new approach, ARCLQN, compares to modern optimizers with minimal tuning, a common pain-point for second order methods.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
Improved Tail Estimates for the Distribution of Quadratic Weyl Sums
Authors:
Francesco Cellarosi,
Jory Griffin,
Tariq Osman
Abstract:
We consider quadratic Weyl sums $S_N(x;c,α)=\sum_{n=1}^N\exp\{2πi((\frac{1}{2}n^2+cn)x+αn)\}$ for $c=α=0$ (the rational case) or $(c,α)\notin\mathbb{Q}^2$ (the irrational case), where $x$ is randomly distributed according to a probability measure absolutely continuous with respect to the Lebesgue measure. The limiting distribution in the complex plane of $\frac{1}{\sqrt{N}}S_N(x;c,α)$ as…
▽ More
We consider quadratic Weyl sums $S_N(x;c,α)=\sum_{n=1}^N\exp\{2πi((\frac{1}{2}n^2+cn)x+αn)\}$ for $c=α=0$ (the rational case) or $(c,α)\notin\mathbb{Q}^2$ (the irrational case), where $x$ is randomly distributed according to a probability measure absolutely continuous with respect to the Lebesgue measure. The limiting distribution in the complex plane of $\frac{1}{\sqrt{N}}S_N(x;c,α)$ as $N\to\infty$ was described by Marklof [13] (respectively Cellarosi and Marklof [5]) in the rational (resp. irrational) case. According to the limiting distribution, the probability of landing outside a ball of radius $R$ is known to be asymptotic to $\frac{4\log 2}{π^2}R^{-4}(1+o(1))$ in the rational case and to $\frac{6}{π^2}R^{-6}(1+O(R^{-12/31}))$ in the irrational case, as $R\to\infty$. In this work we refine the technique of Cellarosi and Marklof [5] to improve the known tail estimates to $\frac{4\log 2}{π^2}R^{-4}(1+O_\varepsilon(R^{-2+\varepsilon}))$ and $\frac{6}{π^2}R^{-6}(1+O_\varepsilon(R^{-2+\varepsilon}))$ for every $\varepsilon>0$. In the rational case, we rely on the equidistribution of a rational horocycle lift to a torus bundle over the unit tangent bundle to the classical modular surface. All the constants implied by the $O_\varepsilon$-notations are made explicit
△ Less
Submitted 6 February, 2023; v1 submitted 11 March, 2022;
originally announced March 2022.
-
AGM and jellyfish swarms of elliptic curves
Authors:
Michael J. Griffin,
Ken Ono,
Neelam Saikia,
Wei-Lun Tsai
Abstract:
The classical $\mathrm{AGM}$ produces wonderful interdependent infinite sequences of arithmetic and geometric means with common limit. For finite fields $\mathbb{F}_q,$ with $q\equiv 3\pmod 4,$ we introduce a finite field analogue $\mathrm{AGM}_{\mathbb{F}_q}$ that spawns directed finite graphs instead of infinite sequences. The compilation of these graphs reminds one of a…
▽ More
The classical $\mathrm{AGM}$ produces wonderful interdependent infinite sequences of arithmetic and geometric means with common limit. For finite fields $\mathbb{F}_q,$ with $q\equiv 3\pmod 4,$ we introduce a finite field analogue $\mathrm{AGM}_{\mathbb{F}_q}$ that spawns directed finite graphs instead of infinite sequences. The compilation of these graphs reminds one of a $\mathit{jellyfish~swarm},$ as the 3D renderings of the connected components resemble $\mathit{jellyfish}$ (i.e. tentacles connected to a bell head). These swarms turn out to be more than the stuff of child's play; they are taxonomical devices in number theory. Each jellyfish is an isogeny graph of elliptic curves with isomorphic groups of $\mathbb{F}_q$-points, which can be used to prove that each swarm has at least $(1/2-\varepsilon)\sqrt{q}$ jellyfish. Additionally, this interpretation gives a description of the $\mathit{class~numbers}$ of Gauss, Hurwitz, and Kronecker which is akin to counting types of spots on jellyfish.
△ Less
Submitted 22 December, 2022; v1 submitted 23 October, 2021;
originally announced October 2021.
-
Bayesian Models Applied to Cyber Security Anomaly Detection Problems
Authors:
José A. Perusquía,
Jim E. Griffin,
Cristiano Villa
Abstract:
Cyber security is an important concern for all individuals, organisations and governments globally. Cyber attacks have become more sophisticated, frequent and dangerous than ever, and traditional anomaly detection methods have been proved to be less effective when dealing with these new classes of cyber threats. In order to address this, both classical and Bayesian models offer a valid and innovat…
▽ More
Cyber security is an important concern for all individuals, organisations and governments globally. Cyber attacks have become more sophisticated, frequent and dangerous than ever, and traditional anomaly detection methods have been proved to be less effective when dealing with these new classes of cyber threats. In order to address this, both classical and Bayesian models offer a valid and innovative alternative to the traditional signature-based methods, motivating the increasing interest in statistical research that it has been observed in recent years. In this review we provide a description of some typical cyber security challenges, typical types of data and statistical methods, paying special attention to Bayesian approaches for these problems.
△ Less
Submitted 3 June, 2021; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Probabilistic Fitting of Topological Structure to Data
Authors:
James T. Griffin
Abstract:
We define a class of probability distributions that we call simplicial mixture models, inspired by simplicial complexes from algebraic topology. The parameters of these distributions represent their topology and we show that it is possible and feasible to fit topological structure to data using a maximum-likelihood approach. We prove under reasonable assumptions that with a fixed number of vertice…
▽ More
We define a class of probability distributions that we call simplicial mixture models, inspired by simplicial complexes from algebraic topology. The parameters of these distributions represent their topology and we show that it is possible and feasible to fit topological structure to data using a maximum-likelihood approach. We prove under reasonable assumptions that with a fixed number of vertices a distribution can be approximated arbitrarily closely by a simplicial mixture model when using enough simplices. Even if the topology is not of primary interest, when using a model that takes the topology of the data into account the vertex positions are good candidates for archetype/endmember vectors in unmixing problems.
△ Less
Submitted 22 September, 2019;
originally announced September 2019.
-
Ultraspherical moments on a set of disjoint intervals
Authors:
Hashem AlSabi,
James Griffin
Abstract:
Moment evaluations are important for the study of non-classical orthogonal polynomial systems for which explicit representations are not known. In this paper we compute, in terms of the hypergeometric function, the moments associated with a generalized ultraspherical weight on a collection of intervals with two symmetric gaps. These moments, parametrized by the endpoints of the gaps, are identifie…
▽ More
Moment evaluations are important for the study of non-classical orthogonal polynomial systems for which explicit representations are not known. In this paper we compute, in terms of the hypergeometric function, the moments associated with a generalized ultraspherical weight on a collection of intervals with two symmetric gaps. These moments, parametrized by the endpoints of the gaps, are identified as a one parameter deformation between the full range ultraspherical moments and the half range ultraspherical moments.
△ Less
Submitted 14 January, 2019;
originally announced January 2019.
-
Trust-Region Algorithms for Training Responses: Machine Learning Methods Using Indefinite Hessian Approximations
Authors:
Jennifer B. Erway,
Joshua Griffin,
Roummel F. Marcia,
Riadh Omheni
Abstract:
Machine learning (ML) problems are often posed as highly nonlinear and nonconvex unconstrained optimization problems. Methods for solving ML problems based on stochastic gradient descent are easily scaled for very large problems but may involve fine-tuning many hyper-parameters. Quasi-Newton approaches based on the limited-memory Broyden-Fletcher-Goldfarb-Shanno (BFGS) update typically do not requ…
▽ More
Machine learning (ML) problems are often posed as highly nonlinear and nonconvex unconstrained optimization problems. Methods for solving ML problems based on stochastic gradient descent are easily scaled for very large problems but may involve fine-tuning many hyper-parameters. Quasi-Newton approaches based on the limited-memory Broyden-Fletcher-Goldfarb-Shanno (BFGS) update typically do not require manually tuning hyper-parameters but suffer from approximating a potentially indefinite Hessian with a positive-definite matrix. Hessian-free methods leverage the ability to perform Hessian-vector multiplication without needing the entire Hessian matrix, but each iteration's complexity is significantly greater than quasi-Newton methods. In this paper we propose an alternative approach for solving ML problems based on a quasi-Newton trust-region framework for solving large-scale optimization problems that allow for indefinite Hessian approximations. Numerical experiments on a standard testing data set show that with a fixed computational time budget, the proposed methods achieve better results than the traditional limited-memory BFGS and the Hessian-free methods.
△ Less
Submitted 22 May, 2019; v1 submitted 30 June, 2018;
originally announced July 2018.
-
Quantum Transport in a Low-Density Periodic Potential: Homogenisation via Homogeneous Flows
Authors:
Jory Griffin,
Jens Marklof
Abstract:
We show that the time evolution of a quantum wavepacket in a periodic potential converges in a combined high-frequency/Boltzmann-Grad limit, up to second order in the coupling constant, to terms that are compatible with the linear Boltzmann equation. This complements results of Eng and Erdös for low-density random potentials, where convergence to the linear Boltzmann equation is proved in all orde…
▽ More
We show that the time evolution of a quantum wavepacket in a periodic potential converges in a combined high-frequency/Boltzmann-Grad limit, up to second order in the coupling constant, to terms that are compatible with the linear Boltzmann equation. This complements results of Eng and Erdös for low-density random potentials, where convergence to the linear Boltzmann equation is proved in all orders. We conjecture, however, that the linear Boltzmann equation fails in the periodic setting for terms of order four and higher. Our proof uses Floquet-Bloch theory, multi-variable theta series and equidistribution theorems for homogeneous flows. Compared with other scaling limits traditionally considered in homogenisation theory, the Boltzmann-Grad limit requires control of the quantum dynamics for longer times, which are inversely proportional to the total scattering cross section of the single-site potential.
△ Less
Submitted 8 June, 2019; v1 submitted 17 May, 2018;
originally announced May 2018.
-
On p-adic haromonic Maass functions
Authors:
Michael J. Griffin
Abstract:
Modular and mock modular forms possess many striking $p$-adic properties, as studied by Bringmann, Guerzhoy, Kane, Kent, Ono, and others. Candelori developed a geometric theory of harmonic Maass forms arising from the de Rham cohomology of modular curves. In the setting of over-convergent $p$-adic modular forms, Candelori and Castella showed this leads to $p$-adic analogs of harmonic Maass forms.…
▽ More
Modular and mock modular forms possess many striking $p$-adic properties, as studied by Bringmann, Guerzhoy, Kane, Kent, Ono, and others. Candelori developed a geometric theory of harmonic Maass forms arising from the de Rham cohomology of modular curves. In the setting of over-convergent $p$-adic modular forms, Candelori and Castella showed this leads to $p$-adic analogs of harmonic Maass forms.
In this paper we take an analytic approach to construct $p$-adic analogs of harmonic Maass forms of weight $0$ %and $1/2$
with square free level. Although our approaches differ, where the two theories intersect the forms constructed are the same. However our analytic construction defines these functions on the full super singular locus as well as on the ordinary locus.
As with classical harmonic Maass forms, these $p$-adic analogs are connected to weight $2$ cusp forms and their modular derivatives are weight $2$ weakly holomorphic modular forms. Traces of their CM values also interpolate the coefficients of half integer weight modular and mock modular forms. We demonstrate this through the construction of $p$-adic analogs of two families of theta lifts for these forms.
△ Less
Submitted 20 January, 2020; v1 submitted 10 July, 2017;
originally announced July 2017.
-
A proof of the Thompson Moonshine Conjecture
Authors:
Michael J. Griffin,
Michael H. Mertens
Abstract:
In this paper we prove the existence of an infinite dimensional graded super-module for the finite sporadic Thompson group $Th$ whose McKay-Thompson series are weakly holomorphic modular forms of weight $\frac 12$ satisfying properties conjectured by Harvey and Rayhaun.
In this paper we prove the existence of an infinite dimensional graded super-module for the finite sporadic Thompson group $Th$ whose McKay-Thompson series are weakly holomorphic modular forms of weight $\frac 12$ satisfying properties conjectured by Harvey and Rayhaun.
△ Less
Submitted 29 August, 2016; v1 submitted 11 July, 2016;
originally announced July 2016.
-
Proof of the Umbral Moonshine Conjecture
Authors:
John F. R. Duncan,
Michael J. Griffin,
Ken Ono
Abstract:
The Umbral Moonshine Conjectures assert that there are infinite-dimensional graded modules, for prescribed finite groups, whose McKay-Thompson series are certain distinguished mock modular forms. Gannon has proved this for the special case involving the largest sporadic simple Mathieu group. Here we establish the existence of the umbral moonshine modules in the remaining 22 cases.
The Umbral Moonshine Conjectures assert that there are infinite-dimensional graded modules, for prescribed finite groups, whose McKay-Thompson series are certain distinguished mock modular forms. Gannon has proved this for the special case involving the largest sporadic simple Mathieu group. Here we establish the existence of the umbral moonshine modules in the remaining 22 cases.
△ Less
Submitted 25 November, 2015; v1 submitted 4 March, 2015;
originally announced March 2015.
-
Moonshine
Authors:
John F. R. Duncan,
Michael J. Griffin,
Ken Ono
Abstract:
Monstrous moonshine relates distinguished modular functions to the representation theory of the monster. The celebrated observations that 196884=1+196883 and 21493760=1+196883+21296876, etc., illustrate the case of the modular function j-744, whose coefficients turn out to be sums of the dimensions of the 194 irreducible representations of the monster. Such formulas are dictated by the structure o…
▽ More
Monstrous moonshine relates distinguished modular functions to the representation theory of the monster. The celebrated observations that 196884=1+196883 and 21493760=1+196883+21296876, etc., illustrate the case of the modular function j-744, whose coefficients turn out to be sums of the dimensions of the 194 irreducible representations of the monster. Such formulas are dictated by the structure of the graded monstrous moonshine modules. Recent works in moonshine suggest deep relations between number theory and physics. Number theoretic Kloosterman sums have reappeared in quantum gravity, and mock modular forms have emerged as candidates for the computation of black hole degeneracies. This paper is a survey of past and present research on moonshine. We also compute the quantum dimensions of the monster orbifold, and obtain exact formulas for the multiplicities of the irreducible components of the moonshine modules. These formulas imply that such multiplicities are asymptotically proportional to dimensions.
△ Less
Submitted 5 April, 2015; v1 submitted 24 November, 2014;
originally announced November 2014.
-
Limit theorems for skew translations
Authors:
Jory Griffin,
Jens Marklof
Abstract:
Bufetov, Bufetov-Forni and Bufetov-Solomyak have recently proved limit theorems for translation flows, horocycle flows and tiling flows, respectively. We present here analogous results for skew translations of a torus.
Bufetov, Bufetov-Forni and Bufetov-Solomyak have recently proved limit theorems for translation flows, horocycle flows and tiling flows, respectively. We present here analogous results for skew translations of a torus.
△ Less
Submitted 16 July, 2014;
originally announced July 2014.
-
Continuous and discrete Painleve equations arising from the gap probability distribution of the finite $n$ Gaussian Unitary Ensembles
Authors:
Man Cao,
Yang Chen,
James Griffin
Abstract:
In this paper we study the gap probability problem in the Gaussian Unitary Ensembles of $n$ by $n$ matrices : The probability that the interval $J := (-a,a)$ is free of eigenvalues. In the works of Tracy and Widom, Adler and Van Moerbeke and Forrester and Witte on this subject, it has been shown that two Painleve type differential equations arise in this context. The first is the Jimbo-Miwa-Okomot…
▽ More
In this paper we study the gap probability problem in the Gaussian Unitary Ensembles of $n$ by $n$ matrices : The probability that the interval $J := (-a,a)$ is free of eigenvalues. In the works of Tracy and Widom, Adler and Van Moerbeke and Forrester and Witte on this subject, it has been shown that two Painleve type differential equations arise in this context. The first is the Jimbo-Miwa-Okomoto $σ-$form and the second is a particular Painleve IV. Using the ladder operator technique of orthogonal polynomials we derive three quantities associated with the gap probability, denoted by $σ_n(a)$, $R_n(a)$ and $r_n(a)$, and show that each one satisfying a second order, non-linear, differential equation as well as a second order, non-linear difference equation. In particular, in addition to providing an elementary derivation of the aforementioned $σ-$form and Painleve IV we show that the quantity $r_n(a)$ satisfies a particular case of Chazy's second degree second order differential equation. For the discrete equations we show that the quantity $r_n(a)$ satisfies a particular form of the modified discrete Painleve II equation obtained by Grammaticos and Ramani in the context of Backlund transformations. We also derive second order second degree difference equations for the quantities $R_n(a)$ and $σ_n(a)$.
△ Less
Submitted 15 April, 2014;
originally announced April 2014.
-
Non linear difference equations arising from a deformation of the q-Laguerre weight
Authors:
Y. Chen,
J. Griffin
Abstract:
We study, in this paper, a one parameter deformation of the $q-$Laguerre weight function. An investigation is made on the polynomials orthogonal with respect to such a weight. With the aid of the two compatibility conditions previously obtained in \cite{Chen-Ism} and the $q-$analog of a sum rule obtained in this paper, we derive expressions for the recurrence coefficients in terms of certain auxil…
▽ More
We study, in this paper, a one parameter deformation of the $q-$Laguerre weight function. An investigation is made on the polynomials orthogonal with respect to such a weight. With the aid of the two compatibility conditions previously obtained in \cite{Chen-Ism} and the $q-$analog of a sum rule obtained in this paper, we derive expressions for the recurrence coefficients in terms of certain auxiliary quantities, and show that these quantities satisfy a pair of first order non linear difference equations. These difference equations are similar in form to the recognized asymmetric discrete Painleve systems such as $αq-$P-IV and $αq-$P-V.
△ Less
Submitted 11 April, 2014;
originally announced April 2014.
-
Operadic comodules and (co)homology theories
Authors:
James Griffin
Abstract:
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a $\mathcal{P}$-algebra to be viewed as an $\mathcal{O}$-algebra. We show that the $\mathcal{O}$-algebra (co)homology of a $\mathcal{P}$-algebra may be represented…
▽ More
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a $\mathcal{P}$-algebra to be viewed as an $\mathcal{O}$-algebra. We show that the $\mathcal{O}$-algebra (co)homology of a $\mathcal{P}$-algebra may be represented by a certain operadic comodule. Thus filtrations of this comodule result in spectral sequences computing the (co)homology.
As a demonstration we study operads with a filtered distributive law; for the associative operad we obtain a new proof of the Hodge decomposition of the Hochschild cohomology of a commutative algebra. This generalises to many other operads and as an illustration we compute the post-Lie cohomology of a Lie algebra.
△ Less
Submitted 19 March, 2014;
originally announced March 2014.
-
A framework of Rogers-Ramanujan identities and their arithmetic properties
Authors:
Michael J. Griffin,
Ken Ono,
S. Ole Warnaar
Abstract:
The two Rogers-Ramanujan $q$-series \[ \sum_{n=0}^{\infty}\frac{q^{n(n+σ)}}{(1-q)\cdots (1-q^n)}, \] where $σ=0,1$, play many roles in mathematics and physics. By the Rogers-Ramanujan identities, they are essentially modular functions. Their quotient, the Rogers-Ramanujan continued fraction, has the special property that its singular values are algebraic integral units. We find a framework which e…
▽ More
The two Rogers-Ramanujan $q$-series \[ \sum_{n=0}^{\infty}\frac{q^{n(n+σ)}}{(1-q)\cdots (1-q^n)}, \] where $σ=0,1$, play many roles in mathematics and physics. By the Rogers-Ramanujan identities, they are essentially modular functions. Their quotient, the Rogers-Ramanujan continued fraction, has the special property that its singular values are algebraic integral units. We find a framework which extends the Rogers-Ramanujan identities to doubly-infinite families of $q$-series identities. If $a\in\{1,2\}$ and $m,n\geq 1$, then we have \[ \sum_{\substack{λλ_1\leq m}} q^{a|λ|} P_{2λ}(1,q,q^2,\dots;q^n) =\textrm{"infinite product modular function"}, \] where the $P_λ(x_1,x_2,\dots;q)$ are Hall-Littlewood polynomials. These $q$-series are specialized characters of affine Kac--Moody algebras. Generalizing the Rogers-Ramanujan continued fraction, we prove in the case of $\textrm{A}_{2n}^{(2)}$ that the relevant $q$-series quotients are integral units.
△ Less
Submitted 30 June, 2016; v1 submitted 29 January, 2014;
originally announced January 2014.
-
Hierarchical sparsity priors for regression models
Authors:
Jim E. Griffin,
Philip J. Brown
Abstract:
We focus on the increasingly important area of sparse regression problems where there are many variables and the effects of a large subset of these are negligible. This paper describes the construction of hierarchical prior distributions when the effects are considered related. These priors allow dependence between the regression coefficients and encourage related shrinkage towards zero of differe…
▽ More
We focus on the increasingly important area of sparse regression problems where there are many variables and the effects of a large subset of these are negligible. This paper describes the construction of hierarchical prior distributions when the effects are considered related. These priors allow dependence between the regression coefficients and encourage related shrinkage towards zero of different regression coefficients. The properties of these priors are discussed and applications to linear models with interactions and generalized additive models are used as illustrations. Ideas of heredity relating different levels of interaction are encompassed.
△ Less
Submitted 22 July, 2014; v1 submitted 19 July, 2013;
originally announced July 2013.
-
Cacti and filtered distributive laws
Authors:
Vladimir Dotsenko,
James Griffin
Abstract:
Motivated by the second author's construction of a classifying space for the group of pure symmetric automorphisms of a free product, we introduce and study a family of topological operads, the operads of based cacti, defined for every pointed topological space $(Y,\bullet)$. These operads also admit linear versions, which are defined for every augmented graded cocommutative coalgebra $C$. We show…
▽ More
Motivated by the second author's construction of a classifying space for the group of pure symmetric automorphisms of a free product, we introduce and study a family of topological operads, the operads of based cacti, defined for every pointed topological space $(Y,\bullet)$. These operads also admit linear versions, which are defined for every augmented graded cocommutative coalgebra $C$. We show that the homology of the topological operad of based $Y$-cacti is the linear operad of based $H_*(Y)$-cacti. In addition, we show that for every coalgebra $C$ the operad of based $C$-cacti is Koszul. To prove the latter result, we use the criterion of Koszulness for operads due to the first author, utilising the notion of a filtered distributive law between two quadratic operads. We also present a new proof of that criterion which works over the ground field of arbitrary characteristic.
△ Less
Submitted 25 September, 2011;
originally announced September 2011.
-
Stabilité homologique pour les groupes d'automorphismes des produits libres
Authors:
James Griffin,
Aurélien Djament,
Gaël Collinet
Abstract:
We show in this article that, for any group $G$ indecomposable for the free product * and non-isomorphic to $\mathbf{Z}$, the canonical inclusion ${\rm Aut}(G^{*n})\to {\rm Aut}(G^{* n+1})$ induces an isomorphism between the homology groups $H_i$ for $n\geq 2i+2$, as was conjectured by Hatcher and Wahl. In fact we show a little more --- in particular, the result is true for any group $G$ if we rep…
▽ More
We show in this article that, for any group $G$ indecomposable for the free product * and non-isomorphic to $\mathbf{Z}$, the canonical inclusion ${\rm Aut}(G^{*n})\to {\rm Aut}(G^{* n+1})$ induces an isomorphism between the homology groups $H_i$ for $n\geq 2i+2$, as was conjectured by Hatcher and Wahl. In fact we show a little more --- in particular, the result is true for any group $G$ if we replace the automorphism group of the free product by the subgroup of symmetric automorphisms. For this purpose we use constructions and acyclicity results due to McCullough-Miller and Chen-Glover-Jensen and functoriality properties which allow us to apply classical methods in functor homology.
△ Less
Submitted 13 September, 2011;
originally announced September 2011.
-
Diagonal complexes and the integral homology of the automorphism group of a free product
Authors:
James Griffin
Abstract:
The main goal of this paper is a calculation of the integral (co)homology of the group of symmetric automorphisms of a free product. We proceed by giving a geometric interpretation of symmetric automorphisms via a moduli space of certain diagrams, which we name cactus products. To describe this moduli space a theory of diagonal complexes is introduced. This offers a generalisation of the theory of…
▽ More
The main goal of this paper is a calculation of the integral (co)homology of the group of symmetric automorphisms of a free product. We proceed by giving a geometric interpretation of symmetric automorphisms via a moduli space of certain diagrams, which we name cactus products. To describe this moduli space a theory of diagonal complexes is introduced. This offers a generalisation of the theory of right-angled Artin groups in that each diagonal complex defines what we call a diagonal right-angled Artin group (DRAAG).
△ Less
Submitted 7 September, 2011; v1 submitted 28 November, 2010;
originally announced November 2010.
-
Generalizations of Chebyshev Polynomials and Polynomial Map**s
Authors:
Y. Chen,
J. C. Griffin,
M. E. H. Ismail
Abstract:
We show how polynomial map**s of degree k from a union of disjoint intervals onto [-1,1] generate a countable number of special cases of a certain generalization of the Chebyshev Polynomials. We also derive a new expression for these generalized Chebyshev Polynomials for any number of disjoint intervals from which the coefficients of x^n can be found explicitly in terms of the end points and t…
▽ More
We show how polynomial map**s of degree k from a union of disjoint intervals onto [-1,1] generate a countable number of special cases of a certain generalization of the Chebyshev Polynomials. We also derive a new expression for these generalized Chebyshev Polynomials for any number of disjoint intervals from which the coefficients of x^n can be found explicitly in terms of the end points and the recurrence coefficients. We find that this representation is useful for specializing to the polynomial map** cases for small k where we will have algebraic expressions for the recurrence coefficients in terms of the end points. We study in detail certain special cases of the polynomials for small k and prove a theorem concerning the location of the zeroes of the polynomials. We also derive an expression for the discriminant for the case of two intervals that is valid for any configuration of the end points.
△ Less
Submitted 27 January, 2004;
originally announced January 2004.
-
The Fesenko groups have finite width
Authors:
Cornelius J Griffin
Abstract:
We prove that the Fesenko Groups, which occur as natural closed subgroups of the Nottingham Group, have finite width and infinite obliquity.
We prove that the Fesenko Groups, which occur as natural closed subgroups of the Nottingham Group, have finite width and infinite obliquity.
△ Less
Submitted 3 October, 2003;
originally announced October 2003.