Showing 1–21 of 21 results for author: McKay, J

Kashiwa Lectures on "New Approaches to the Monster"

Authors: John McKay, Yang-Hui He

Abstract: These notes stem from lectures given by the first author (JM) at the 2008 "Moonshine Conference in Kashiwa" and contain a number of new perspectives and observations on Monstrous Moonshine. Because many new points have not appeared anywhere in print, it is thought expedient to update, annotate and clarify them (as footnotes), an editorial task which the second author (YHH) is more than delighted t… ▽ More These notes stem from lectures given by the first author (JM) at the 2008 "Moonshine Conference in Kashiwa" and contain a number of new perspectives and observations on Monstrous Moonshine. Because many new points have not appeared anywhere in print, it is thought expedient to update, annotate and clarify them (as footnotes), an editorial task which the second author (YHH) is more than delighted to undertake. We hope the various puzzles and correspondences, delivered in a personal and casual manner, will serve as diversions intriguing to the community. △ Less

Submitted 27 May, 2021; originally announced June 2021.

Comments: 42 pages

Thresholded Non-Uniform Fourier Frame-Based Reconstruction for Stripmap SAR

Authors: John McKay, Anne Gelb, Suren Jayasuriya, Vishal Monga

Abstract: Fourier domain methods are fast algorithms for SAR imaging. They typically involve an interpolation in the frequency domain to re-grid non-uniform data so inverse fast Fourier transforms can be performed. In this paper, we apply a frame reconstruction algorithm, extending the non-uniform fast Fourier transform, to stripmap SAR data. Further, we present an improved thresholded frame reconstruction… ▽ More Fourier domain methods are fast algorithms for SAR imaging. They typically involve an interpolation in the frequency domain to re-grid non-uniform data so inverse fast Fourier transforms can be performed. In this paper, we apply a frame reconstruction algorithm, extending the non-uniform fast Fourier transform, to stripmap SAR data. Further, we present an improved thresholded frame reconstruction algorithm for robust performance and improved computational efficiency. We demonstrate compelling results on real stripmap SAR data. △ Less

Submitted 24 October, 2019; originally announced October 2019.

Cusps, Congruence Groups and Monstrous Dessins

Authors: Valdo Tatitscheff, Yang-Hui He, John McKay

Abstract: We study general properties of the dessins d'enfants associated with the Hecke congruence subgroups $Γ_0(N)$ of the modular group $\mathrm{PSL}_2(\mathbb{R})$. The definition of the $Γ_0(N)$ as the stabilisers of couples of projective lattices in a two-dimensional vector space gives an interpretation of the quotient set $Γ_0(N)\backslash\mathrm{PSL}_2(\mathbb{R})$ as the projective lattices $N$-hy… ▽ More We study general properties of the dessins d'enfants associated with the Hecke congruence subgroups $Γ_0(N)$ of the modular group $\mathrm{PSL}_2(\mathbb{R})$. The definition of the $Γ_0(N)$ as the stabilisers of couples of projective lattices in a two-dimensional vector space gives an interpretation of the quotient set $Γ_0(N)\backslash\mathrm{PSL}_2(\mathbb{R})$ as the projective lattices $N$-hyperdistant from a reference one, and hence as the projective line over the ring $\mathbb{Z}/N\mathbb{Z}$. The natural action of $\mathrm{PSL}_2(\mathbb{R})$ on the lattices defines a dessin d'enfant structure, allowing for a combinatorial approach to features of the classical modular curves, such as the torsion points and the cusps. We tabulate the dessins d'enfants associated with the $15$ Hecke congruence subgroups of genus zero, which arise in Moonshine for the Monster sporadic group. △ Less

Submitted 12 July, 2020; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 57 pages, 27 figures

Erland Samuel Bring's "Transformation of Algebraic Equations"

Authors: Alexander Chen, Yang-Hui He, John McKay

Abstract: We translate Erland Samuel Bring's treatise Meletemata quaedam Mathematica circa Transformationem Aequationum Alebraicarum (Some selected mathematics on the Transformation of Algebraic Equations) written as his Promotionschrift at the University of Lund in 1786, from its Latin into English, with modern mathematical notation. Bring (1736 - 98) made important contributions to algebraic equations a… ▽ More We translate Erland Samuel Bring's treatise Meletemata quaedam Mathematica circa Transformationem Aequationum Alebraicarum (Some selected mathematics on the Transformation of Algebraic Equations) written as his Promotionschrift at the University of Lund in 1786, from its Latin into English, with modern mathematical notation. Bring (1736 - 98) made important contributions to algebraic equations and obtained the canonical form x^5+px+q = 0 for quintics before Jerrard, Ruffini and Abel. In due course, he realized the significance of the projective curve which now bears his name: the complete intersection of the homogeneous Fermat polynomials of degrees 1,2,3 in CP^4. △ Less

Submitted 25 November, 2017; originally announced November 2017.

Comments: 21 pages

Using Frame Theoretic Convolutional Gridding for Robust Synthetic Aperture Sonar Imaging

Authors: John McKay, Anne Gelb, Vishal Monga, Raghu Raj

Abstract: Recent progress in synthetic aperture sonar (SAS) technology and processing has led to significant advances in underwater imaging, outperforming previously common approaches in both accuracy and efficiency. There are, however, inherent limitations to current SAS reconstruction methodology. In particular, popular and efficient Fourier domain SAS methods require a 2D interpolation which is often ill… ▽ More Recent progress in synthetic aperture sonar (SAS) technology and processing has led to significant advances in underwater imaging, outperforming previously common approaches in both accuracy and efficiency. There are, however, inherent limitations to current SAS reconstruction methodology. In particular, popular and efficient Fourier domain SAS methods require a 2D interpolation which is often ill conditioned and inaccurate, inevitably reducing robustness with regard to speckle and inaccurate sound-speed estimation. To overcome these issues, we propose using the frame theoretic convolution gridding (FTCG) algorithm to handle the non-uniform Fourier data. FTCG extends upon non-uniform fast Fourier transform (NUFFT) algorithms by casting the NUFFT as an approximation problem given Fourier frame data. The FTCG has been show to yield improved accuracy at little more computational cost. Using simulated data, we outline how the FTCG can be used to enhance current SAS processing. △ Less

Submitted 26 June, 2017; originally announced June 2017.

Comments: Accepted to OCEANS 2017 - Anchorage (Conference)

Homogeneous Lie Groups and Quantum Probability

Authors: Roland M. Friedrich, John McKay

Abstract: Here we extend the algebro-geometric approach to free probability, started in~\cite{FMcK4,F14}, to general (non)-commutative probability theories. We show that any universal convolution product of moments of independent (non)-commutative random variables defined on a graded connected dual semi-group is given by a pro-unipotent group scheme. We show that moment-cumulant formulae have a natural inte… ▽ More Here we extend the algebro-geometric approach to free probability, started in~\cite{FMcK4,F14}, to general (non)-commutative probability theories. We show that any universal convolution product of moments of independent (non)-commutative random variables defined on a graded connected dual semi-group is given by a pro-unipotent group scheme. We show that moment-cumulant formulae have a natural interpretation within the theory of homogeneous Lie groups, which we generalise for the present purpose, and are given by the log and exp map, respectively. Finally, we briefly discuss the universal role of the shuffle Hopf algebra. △ Less

Submitted 23 June, 2015; originally announced June 2015.

Comments: 26 pages at 11pt,a4

Sporadic and Exceptional

Authors: Yang-Hui He, John McKay

Abstract: We study the web of correspondences linking the exceptional Lie algebras $E_{8,7,6}$ and the sporadic simple groups Monster, Baby and the largest Fischer group. This is done via the investigation of classical enumerative problems on del Pezzo surfaces in relation to the cusps of certain subgroups of $PSL(2,R)$ for the relevant McKay-Thompson series in Generalized Moonshine. We also study Conway's… ▽ More We study the web of correspondences linking the exceptional Lie algebras $E_{8,7,6}$ and the sporadic simple groups Monster, Baby and the largest Fischer group. This is done via the investigation of classical enumerative problems on del Pezzo surfaces in relation to the cusps of certain subgroups of $PSL(2,R)$ for the relevant McKay-Thompson series in Generalized Moonshine. We also study Conway's sporadic group, as well as its association with the Horrocks-Mumford bundle. △ Less

Submitted 25 May, 2015; originally announced May 2015.

Comments: 49 pages

Moonshine and the Meaning of Life

Authors: Yang-Hui He, John McKay

Abstract: With a jocund air, we present an observation on the first 24 coefficients of the modular invariant and of the modular discriminant. The observation is purely for the sake of entertainment and could be of some diversion to a mathematical audience. With a jocund air, we present an observation on the first 24 coefficients of the modular invariant and of the modular discriminant. The observation is purely for the sake of entertainment and could be of some diversion to a mathematical audience. △ Less

Submitted 9 August, 2014; originally announced August 2014.

Comments: 1 page

Journal ref: in Contemporary Mathematics 694, Ed. M.~Bhagarva et al. 2017

Almost Commutative Probability Theory

Authors: Roland M. Friedrich, John McKay

Abstract: We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is naturally realised as a faithful linear representation. Further, we prove that in dimension one, the analog of the classical relation between addition and multi… ▽ More We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is naturally realised as a faithful linear representation. Further, we prove that in dimension one, the analog of the classical relation between addition and multiplication of independent random variables holds for free random variables, if the co-domain is an algebra over the rationals. In this case the multiplicative problem can be reduced to the additive one, which is not true in dimensions greater than one. Finally, we classify the groups which arise as joint distributions of $n$-tuples of non-commutative random variables, endowed with the free convolution product, which is the binary operation that encodes the multiplication of free $n$-tuples. △ Less

Submitted 24 September, 2013; originally announced September 2013.

Comments: 50 pages

MSC Class: 46L54; 14L17; 05E10

Eta Products, BPS States and K3 Surfaces

Authors: Yang-Hui He, John McKay

Abstract: Inspired by the multiplicative nature of the Ramanujan modular discriminant, Delta, we consider physical realizations of certain multiplicative products over the Dedekind eta-function in two parallel directions: the generating function of BPS states in certain heterotic orbifolds and elliptic K3 surfaces associated to congruence subgroups of the modular group. We show that they are, after string d… ▽ More Inspired by the multiplicative nature of the Ramanujan modular discriminant, Delta, we consider physical realizations of certain multiplicative products over the Dedekind eta-function in two parallel directions: the generating function of BPS states in certain heterotic orbifolds and elliptic K3 surfaces associated to congruence subgroups of the modular group. We show that they are, after string duality to type II, the same K3 surfaces admitting Nikulin automorphisms. In due course, we will present some identities arising from q-expansions as well as relations to the sporadic Mathieu group M24. △ Less

Submitted 8 January, 2014; v1 submitted 23 August, 2013; originally announced August 2013.

Comments: 45 pages, 5 figures; sections re-ordered and comments added, to appear in JHEP

The $S$-transform in arbitrary dimensions

Authors: Roland M Friedrich, John McKay

Abstract: In this note we report the solution of the problem of defining the $S$-transform in Free Probability Theory in arbitrary dimensions. This is achieved by generalising the theory and embedding it into an algebraic-geometric framework. Finally, we classify the groups arising as distributions of s-tuples of non-commutative random variables. In this note we report the solution of the problem of defining the $S$-transform in Free Probability Theory in arbitrary dimensions. This is achieved by generalising the theory and embedding it into an algebraic-geometric framework. Finally, we classify the groups arising as distributions of s-tuples of non-commutative random variables. △ Less

Submitted 3 August, 2013; originally announced August 2013.

Comments: 13 pages, announcement of results

MSC Class: 46L54; 14L15

Modular Subgroups, Dessins d'Enfants and Elliptic K3 Surfaces

Authors: Yang-Hui He, John McKay, James Read

Abstract: We consider the 33 conjugacy classes of genus zero, torsion-free modular subgroups, computing ramification data and Grothendieck's dessins d'enfants. In the particular case of the index 36 subgroups, the corresponding Calabi-Yau threefolds are identified, in analogy with the index 24 cases being associated with K3 surfaces. In a parallel vein, we study the 112 semi-stable elliptic fibrations over… ▽ More We consider the 33 conjugacy classes of genus zero, torsion-free modular subgroups, computing ramification data and Grothendieck's dessins d'enfants. In the particular case of the index 36 subgroups, the corresponding Calabi-Yau threefolds are identified, in analogy with the index 24 cases being associated with K3 surfaces. In a parallel vein, we study the 112 semi-stable elliptic fibrations over P^1 as extremal K3 surfaces with six singular fibres. In each case, a representative of the corresponding class of subgroups is identified by specifying a generating set for that representative. △ Less

Submitted 4 September, 2013; v1 submitted 8 November, 2012; originally announced November 2012.

Comments: 43 pages, 2 figures

Journal ref: LMS J. Comput. Math. 16 (2013) 271-318

Formal Groups, Witt vectors and Free Probability

Authors: Roland Friedrich, John McKay

Abstract: We establish a link between free probability theory and Witt vectors, via the theory of formal groups. We derive an exponential isomorphism which expresses Voiculescu's free multiplicative convolution $\boxtimes$ as a function of the free additive convolution $\boxplus$. Subsequently we continue our previous discussion of the relation between complex cobordism and free probability. We show that th… ▽ More We establish a link between free probability theory and Witt vectors, via the theory of formal groups. We derive an exponential isomorphism which expresses Voiculescu's free multiplicative convolution $\boxtimes$ as a function of the free additive convolution $\boxplus$. Subsequently we continue our previous discussion of the relation between complex cobordism and free probability. We show that the generic $n$th free cumulant corresponds to the cobordism class of the $(n-1)$-dimensional complex projective space. This permits us to relate several probability distributions from random matrix theory to known genera, and to build a dictionary. Finally, we discuss aspects of free probability and the asymptotic representation theory of the symmetric group from a conformal field theoretic perspective and show that every distribution with mean zero is embeddable into the Universal Grassmannian of Sato-Segal-Wilson. △ Less

Submitted 5 December, 2019; v1 submitted 29 April, 2012; originally announced April 2012.

Comments: Revised and substantially extended version. Contains an additional section on conformal field theory and free probability with new results. 31 pages with 1 figure

N=2 Gauge Theories: Congruence Subgroups, Coset Graphs and Modular Surfaces

Authors: Yang-Hui He, John McKay

Abstract: We establish a correspondence between generalized quiver gauge theories in four dimensions and congruence subgroups of the modular group, hinging upon the trivalent graphs which arise in both. The gauge theories and the graphs are enumerated and their numbers are compared. The correspondence is particularly striking for genus zero torsion-free congruence subgroups as exemplified by those which ari… ▽ More We establish a correspondence between generalized quiver gauge theories in four dimensions and congruence subgroups of the modular group, hinging upon the trivalent graphs which arise in both. The gauge theories and the graphs are enumerated and their numbers are compared. The correspondence is particularly striking for genus zero torsion-free congruence subgroups as exemplified by those which arise in Moonshine. We analyze in detail the case of index 24, where modular elliptic K3 surfaces emerge: here, the elliptic j-invariants can be recast as dessins d'enfant which dictate the Seiberg-Witten curves. △ Less

Submitted 11 April, 2012; v1 submitted 17 January, 2012; originally announced January 2012.

Comments: 42+1 pages, 5 figures; various helpful comments incorporated

Galois groups over function fields of positive characteristic

Authors: John Conway, John McKay, Allan Trojan

Abstract: We describe examples motivated by the work of Serre and Abhyankar. We describe examples motivated by the work of Serre and Abhyankar. △ Less

Submitted 3 November, 2008; originally announced November 2008.

Aplicacion de la descomposicion racional univariada a monstrous moonshine (in Spanish)

Authors: John McKay, David Sevilla

Abstract: This paper shows how to use Computational Algebra techniques, namely the decomposition of rational functions in one variable, to explore a certain set of modular functions, called replicable functions, that arise in Monstrous Moonshine. In particular, we have computed all the rational relations with coefficients in Z between pairs of replicable functions. ----- En este articulo mostramos com… ▽ More This paper shows how to use Computational Algebra techniques, namely the decomposition of rational functions in one variable, to explore a certain set of modular functions, called replicable functions, that arise in Monstrous Moonshine. In particular, we have computed all the rational relations with coefficients in Z between pairs of replicable functions. ----- En este articulo mostramos como usar tecnicas de Algebra Computacional, concretamente la descomposcion de funciones racionales univariadas, para estudiar un cierto conjunto de funciones modulares, llamadas funciones replicables, que aparecen en Monstrous Moonshine. En concreto, hemos calculado todas las relaciones racionales con coeficientes en Z entre pares de funciones replicables. △ Less

Submitted 15 May, 2008; originally announced May 2008.

Comments: 6 pages, In Spanish

MSC Class: 11F11; 30F35 (Primary); 68W30 (Secondary)

Journal ref: Proceedings of the 2004 Encuentro de Algebra Computacional y Aplicaciones (EACA), p. 289-294. ISBN 84-688-6988-04

Decomposing replicable functions

Authors: John McKay, David Sevilla

Abstract: We describe an algorithm to decompose rational functions from which we determine the poset of groups fixing these functions. We describe an algorithm to decompose rational functions from which we determine the poset of groups fixing these functions. △ Less

Submitted 25 March, 2008; v1 submitted 24 March, 2008; originally announced March 2008.

Comments: 25 pages, 2 data tables; to be published in LMS Journal of Computation and Mathematics. v2: page format adjustment

MSC Class: 11F11; 30F35 (Primary); 68W30 (Secondary)

Journal ref: LMS Journal of Computation and Mathematics 11 (June 2008), p. 146-171. ISSN 1461-1570.

Principal moduli and class fields

Authors: David Cox, John McKay, Peter Stevenhagen

Abstract: We study the values taken by Gamma_0(n) modular functions at elliptic points of order 2 for the Fricke extension that lie outside Gamma_0(n). In the case of a principal modulus (`Hauptmodul') for Gamma_0(n) or its Fricke extension, we determine the class fields generated by these values. We study the values taken by Gamma_0(n) modular functions at elliptic points of order 2 for the Fricke extension that lie outside Gamma_0(n). In the case of a principal modulus (`Hauptmodul') for Gamma_0(n) or its Fricke extension, we determine the class fields generated by these values. △ Less

Submitted 12 November, 2003; originally announced November 2003.

Comments: 15 pages AMS-LaTeX

Report number: Bull. London Math. Soc. 36 (2004), no. 1, 3--12 MSC Class: 11R37 (Primary); 11G15; 20H10 (Secondary)

Semi-affine Coxeter-Dynkin graphs and $G \subseteq SU_2(C)$

Authors: John McKay

Abstract: These graphs generalize both affine and finite type and provide an explanation for some quantum properties of roots of unity. These graphs generalize both affine and finite type and provide an explanation for some quantum properties of roots of unity. △ Less

Submitted 13 July, 1999; originally announced July 1999.

Comments: 4 pages, 1 figure

MSC Class: 05C25;14B05;17B10;20C99

Modular Invariants and Generalized Halphen Systems

Authors: J. Harnad, J. McKay

Abstract: Generalized Halphen systems are solved in terms of functions that uniformize genus zero Riemann surfaces, with automorphism groups that are commensurable with the modular group. Rational maps relating these functions imply subgroup relations between their automorphism groups and symmetrization relations between the associated differential systems. Generalized Halphen systems are solved in terms of functions that uniformize genus zero Riemann surfaces, with automorphism groups that are commensurable with the modular group. Rational maps relating these functions imply subgroup relations between their automorphism groups and symmetrization relations between the associated differential systems. △ Less

Submitted 17 February, 1999; originally announced February 1999.

Comments: PlainTeX 15gs. Write - up of lecture by J. Harnad at International meeting: SIDE III, Sabaudia, May 16-22, 1998. To appear in CRM Proceedings and Lecture Notes series (1999/2000)

Report number: CRM 2597 (1999)

Journal ref: CRM Proceedings and Lecture Notes Series 25, Symmetries and Integrability of Difference Equations, pp. 181- 195 (eds. Decio Levy and Orlando Ragnisco, AMS, Providence R.I., 2000)

Modular Solutions to Equations of Generalized Halphen Type

Authors: J. Harnad, J. McKay

Abstract: Solutions to a class of differential systems that generalize the Halphen system are determined in terms of automorphic functions whose groups are commensurable with the modular group. These functions all uniformize Riemann surfaces of genus zero and have $q$--series with integral coefficients. Rational maps relating these functions are derived, implying subgroup relations between their automorph… ▽ More Solutions to a class of differential systems that generalize the Halphen system are determined in terms of automorphic functions whose groups are commensurable with the modular group. These functions all uniformize Riemann surfaces of genus zero and have $q$--series with integral coefficients. Rational maps relating these functions are derived, implying subgroup relations between their automorphism groups, as well as symmetrization maps relating the associated differential systems. △ Less

Submitted 28 April, 1998; v1 submitted 9 April, 1998; originally announced April 1998.

Comments: PlainTeX 36gs. (Formula for Hecke operator corrected.)

Report number: CRM 2536 (1998)

Journal ref: Proc.Roy.Soc.Lond. 456 (2000) 261-294