Showing 1–12 of 12 results for author: Gill, M

Canonical labelling of Latin squares in average-case polynomial time

Authors: Michael J. Gill, Adam Mammoliti, Ian M. Wanless

Abstract: A Latin square of order $n$ is an $n\times n$ matrix in which each row and column contains each of $n$ symbols exactly once. For $ε>0$, we show that with high probability a uniformly random Latin square of order $n$ has no proper subsquare of order larger than $n^{1/2}\log^{1/2+ε}n$. Using this fact we present a canonical labelling algorithm for Latin squares of order $n$ that runs in average time… ▽ More A Latin square of order $n$ is an $n\times n$ matrix in which each row and column contains each of $n$ symbols exactly once. For $ε>0$, we show that with high probability a uniformly random Latin square of order $n$ has no proper subsquare of order larger than $n^{1/2}\log^{1/2+ε}n$. Using this fact we present a canonical labelling algorithm for Latin squares of order $n$ that runs in average time bounded by a polynomial in $n$. The algorithm can be used to solve isomorphism problems for many combinatorial objects that can be encoded using Latin squares, including quasigroups, Steiner triple systems, Mendelsohn triple systems, $1$-factorisations, nets, affine planes and projective planes. △ Less

Submitted 6 May, 2024; v1 submitted 9 February, 2024; originally announced February 2024.

Comments: New reference added, minor typos fixed

MSC Class: 05B15

Interpreting the Euler-Lagrange Equations as the Gradient of the Action Functional

Authors: Montek Singh Gill

Abstract: We study the smooth path spaces of Euclidean spaces $\mathbb{R}^N$, as diffeological spaces. We show that the tangent spaces of the free path space $\mathscr{P}$ are isomorphic to $\mathscr{P}$ itself, and that the tangent spaces of the space $\mathscr{P}_{\mathbf{p}, \mathbf{q}}$ of paths with fixed endpoints $\mathbf{p}$ and $\mathbf{q}$ are isomorphic to the smooth loop space of $\mathbb{R}^N$… ▽ More We study the smooth path spaces of Euclidean spaces $\mathbb{R}^N$, as diffeological spaces. We show that the tangent spaces of the free path space $\mathscr{P}$ are isomorphic to $\mathscr{P}$ itself, and that the tangent spaces of the space $\mathscr{P}_{\mathbf{p}, \mathbf{q}}$ of paths with fixed endpoints $\mathbf{p}$ and $\mathbf{q}$ are isomorphic to the smooth loop space of $\mathbb{R}^N$ based at the origin. We also define cotangents and gradients of smooth maps from these path spaces, and then show that, in the case of the action functional which arises in the calculus of variations, the gradient is precisely the path formed out of the terms of the Euler-Lagrange equations. We show that solutions of the Euler-Lagrange equations correspond precisely to the zeros of the gradient, and also provide analogous interpretations for the constrained Euler-Lagrange equations. This gives an illuminating geometric perspective on these equations. Finally, we illustrate the theory with several concrete examples from geometry, mechanics and machine learning. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: 19 pages, 4 figures

MSC Class: 57P99; 58A05; 49N99

Pairs of MOLS of order ten satisfying non-trivial relations

Authors: Michael J. Gill, Ian M. Wanless

Abstract: A relation on a $k$-net$(n)$ (or, equivalently, a set of $k-2$ mutually orthogonal Latin squares of order $n$) is an $\mathbb{F}_{2}$ linear dependence within the incidence matrix of the net. Dukes and Howard (2014) showed that any 6-net(10) satisfies at least two non-trivial relations, and classified the relations that could appear in such a net. We find that, up to equivalence, there are… ▽ More A relation on a $k$-net$(n)$ (or, equivalently, a set of $k-2$ mutually orthogonal Latin squares of order $n$) is an $\mathbb{F}_{2}$ linear dependence within the incidence matrix of the net. Dukes and Howard (2014) showed that any 6-net(10) satisfies at least two non-trivial relations, and classified the relations that could appear in such a net. We find that, up to equivalence, there are $18\,526\,320$ pairs of MOLS satisfying at least one non-trivial relation. None of these pairs extend to a triple. We also rule out one other relation on a set of $3$-MOLS from Dukes and Howard's classification. △ Less

Submitted 23 April, 2022; originally announced April 2022.

MSC Class: 05B15

Journal ref: Des. Codes Cryptogr. 91 (2023), 1293-1313

Stabilizations of $\mathbb{E}_\infty$ Operads and $p$-Adic Stable Homotopy Theory

Authors: Montek Singh Gill

Abstract: We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of $\mathbb{E}_\infty$ operads. For example, we construct a stable Barratt-Eccles operad. We develop a homotopy theory of algebras over these stable operads and a theory of… ▽ More We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of $\mathbb{E}_\infty$ operads. For example, we construct a stable Barratt-Eccles operad. We develop a homotopy theory of algebras over these stable operads and a theory of (co)homology operations for algebras over these stable operads. We note interesting properties of these operads, such as that, non-equivariantly, in each arity, they have (almost) trivial homology, whereas, equivariantly, these homologies sum to a certain completion of the generalized Steenrod algebra and so are highly non-trivial. We also justify the adjective "stable" by showing that, among other things, the monads associated to these operads are additive in the homotopy coherent, or $\infty$-, sense. We then provide an application of our stable operads to $p$-adic stable homotopy theory. It is well-known that cochains on spaces yield examples of algebras over $\mathbb{E}_\infty$ operads. We show that in the stable case, cochains on spectra yield examples of algebras over our stable operads. Moreover, a result of Mandell says that, endowed with the $\mathbb{E}_\infty$ algebraic structure, cochains on spaces provide algebraic models of $p$-adic homotopy types. We show that, endowed with the algebraic structure encoded by our stable operads, spectral cochains provide algebraic models for $p$-adic stable homotopy types. △ Less

Submitted 18 June, 2025; v1 submitted 25 November, 2020; originally announced December 2020.

Comments: 118 pages. Added additional results, e.g., in the two new sections, 2.7 and 4.7. Improved some language, notation and formatting. Fixed some typos. Added some references and many additional cross-references

Perfect 1-factorisations of $K_{16}$

Authors: Michael J. Gill, Ian M. Wanless

Abstract: We report the results of a computer enumeration that found that there are 3155 perfect 1-factorisations (P1Fs) of the complete graph $K_{16}$. Of these, 89 have a non-trivial automorphism group (correcting an earlier claim of 88 by Meszka and Rosa). We also (i) describe a new invariant which distinguishes between the P1Fs of $K_{16}$, (ii) observe that the new P1Fs produce no atomic Latin square… ▽ More We report the results of a computer enumeration that found that there are 3155 perfect 1-factorisations (P1Fs) of the complete graph $K_{16}$. Of these, 89 have a non-trivial automorphism group (correcting an earlier claim of 88 by Meszka and Rosa). We also (i) describe a new invariant which distinguishes between the P1Fs of $K_{16}$, (ii) observe that the new P1Fs produce no atomic Latin squares of order 15 and (iii) record P1Fs for a number of large orders that exceed prime powers by one. △ Less

Submitted 18 May, 2019; originally announced May 2019.

Journal ref: Bull. Aust. Math. Soc. 101 (2020), 177-185

Linear representations of 3-manifold groups over rings

Authors: Stefan Friedl, Montek Gill, Stephan Tillmann

Abstract: The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful representations and provide various examples and a counterexample. The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful representations and provide various examples and a counterexample. △ Less

Submitted 20 March, 2017; originally announced March 2017.

Comments: 17 pages

MSC Class: 57M27; 57M50

Long time existence of the (n-1)-plurisubharmonic flow

Authors: Matthew Gill

Abstract: We consider the (n-1)-plurisubharmonic flow, suggested by Tosatti-Weinkove, and prove a formula for its maximal time of existence. This includes estimates that will be useful in further investigating the flow. We consider the (n-1)-plurisubharmonic flow, suggested by Tosatti-Weinkove, and prove a formula for its maximal time of existence. This includes estimates that will be useful in further investigating the flow. △ Less

Submitted 25 October, 2014; originally announced October 2014.

MSC Class: 53C44; 53C55

The behavior of Chern scalar curvature under Chern-Ricci flow

Authors: Matthew Gill, Daniel J Smith

Abstract: In this note we study finite-time singularities in the Chern-Ricci flow. We show that finite-time singularities are characterized by the blow-up of the scalar curvature of the Chern connection. In this note we study finite-time singularities in the Chern-Ricci flow. We show that finite-time singularities are characterized by the blow-up of the scalar curvature of the Chern connection. △ Less

Submitted 25 November, 2013; originally announced November 2013.

Comments: 8 pages

The Chern-Ricci flow on smooth minimal models of general type

Authors: Matthew Gill

Abstract: We show that on a smooth Hermitian minimal model of general type the Chern-Ricci flow converges to a closed positive current on M. Moreover, the flow converges smoothly to a Kahler-Einstein metric on compact sets away from the null locus of K_M. This generalizes work of Tsuji and Tian-Zhang to Hermitian manifolds, providing further evidence that the Chern-Ricci flow is a natural generalization of… ▽ More We show that on a smooth Hermitian minimal model of general type the Chern-Ricci flow converges to a closed positive current on M. Moreover, the flow converges smoothly to a Kahler-Einstein metric on compact sets away from the null locus of K_M. This generalizes work of Tsuji and Tian-Zhang to Hermitian manifolds, providing further evidence that the Chern-Ricci flow is a natural generalization of the Kahler-Ricci flow. △ Less

Submitted 29 June, 2013; originally announced July 2013.

Collapsing of Products Along the Kähler-Ricci Flow

Authors: Matthew Gill

Abstract: Let $X = M \times E$ where $M$ is an $m$-dimensional Kähler manifold with negative first Chern class and $E$ is an $n$-dimensional complex torus. We obtain $C^\infty$ convergence of the normalized Kähler-Ricci flow on $X$ to a Kähler-Einstein metric on $M$. This strengthens a convergence result of Song-Weinkove and confirms their conjecture. Let $X = M \times E$ where $M$ is an $m$-dimensional Kähler manifold with negative first Chern class and $E$ is an $n$-dimensional complex torus. We obtain $C^\infty$ convergence of the normalized Kähler-Ricci flow on $X$ to a Kähler-Einstein metric on $M$. This strengthens a convergence result of Song-Weinkove and confirms their conjecture. △ Less

Submitted 16 March, 2012; originally announced March 2012.

Comments: 18 pages

A Remarkable Identity Involving Bessel Functions

Authors: Diego E. Dominici, Peter M. W. Gill, Taweetham Limpanuparb

Abstract: We consider a new identity involving integrals and sums of Bessel functions. The identity provides new ways to evaluate integrals of products of two Bessel functions. The identity is remarkably simple and powerful since the summand and integrand are of exactly the same form and the sum converges to the integral relatively fast for most cases. A proof and numerical examples of the identity are disc… ▽ More We consider a new identity involving integrals and sums of Bessel functions. The identity provides new ways to evaluate integrals of products of two Bessel functions. The identity is remarkably simple and powerful since the summand and integrand are of exactly the same form and the sum converges to the integral relatively fast for most cases. A proof and numerical examples of the identity are discussed. △ Less

Submitted 28 February, 2011; originally announced March 2011.

Comments: 10 pages, 2 figures

Journal ref: Proc. R. Soc. A 8 September 2012 vol. 468 no. 2145 2667-2681

Convergence of the parabolic complex Monge-Ampère equation on compact Hermitian manifolds

Authors: Matt Gill

Abstract: We prove $C^\infty$ convergence for suitably normalized solutions of the parabolic complex Monge-Ampère equation on compact Hermitian manifolds. This provides a parabolic proof of a recent result of Tosatti and Weinkove. We prove $C^\infty$ convergence for suitably normalized solutions of the parabolic complex Monge-Ampère equation on compact Hermitian manifolds. This provides a parabolic proof of a recent result of Tosatti and Weinkove. △ Less

Submitted 12 October, 2011; v1 submitted 28 September, 2010; originally announced September 2010.

Comments: 21 pages, some minor corrections, to appear in Comm. Anal. Geom

Journal ref: Comm. Anal. Geom. 19 (2011), no. 2, 277--304