Showing 1–50 of 51 results for author: Mckay, B D

Enumeration of regular multipartite hypergraphs

Authors: Mikhail Isaev, Tamás Makai, Brendan D. McKay

Abstract: We determine the asymptotic number of regular multipartite hypergraphs, also known as multidimensional binary contingency tables, for all values of the parameters. We determine the asymptotic number of regular multipartite hypergraphs, also known as multidimensional binary contingency tables, for all values of the parameters. △ Less

Submitted 11 February, 2025; originally announced February 2025.

MSC Class: 05A16; 05C65; 62H17

$R(5,5)\le 46$

Authors: Vigleik Angeltveit, Brendan D. McKay

Abstract: We prove that the Ramsey number $R(5,5)$ is less than or equal to~$46$. The proof uses a combination of linear programming and checking a large number of cases by computer. All of the computations were independently replicated. We prove that the Ramsey number $R(5,5)$ is less than or equal to~$46$. The proof uses a combination of linear programming and checking a large number of cases by computer. All of the computations were independently replicated. △ Less

Submitted 23 September, 2024; originally announced September 2024.

MSC Class: 05D10 (Primary)

Correlation between residual entropy and spanning tree entropy of ice-type models on graphs

Authors: Mikhail Isaev, Brendan D. McKay, Rui-Ray Zhang

Abstract: The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is known as the residual entropy in studies of ice-type models on graphs. The spanning tree entropy depends similarly on the number of spanning trees. We demonstrate and investigate a remarkably strong, though non-deterministic, correlation between these two entropies. This leads us to propose a new heurist… ▽ More The logarithm of the number of Eulerian orientations, normalised by the number of vertices, is known as the residual entropy in studies of ice-type models on graphs. The spanning tree entropy depends similarly on the number of spanning trees. We demonstrate and investigate a remarkably strong, though non-deterministic, correlation between these two entropies. This leads us to propose a new heuristic estimate for the residual entropy of regular graphs that performs much better than previous heuristics. We also study the expansion properties and residual entropy of random graphs with given degrees. △ Less

Submitted 6 March, 2025; v1 submitted 8 September, 2024; originally announced September 2024.

Comments: Corollary 2.7 is improved, extensive rearrangements, new data

MSC Class: 05C45; 82D03

Generating Plane Quadrangulations and Symmetry-preserving Operations on Maps

Authors: Heidi Van den Camp, Brendan D. McKay

Abstract: Lopsp-operations are operations on maps that are applied locally and are guaranteed to preserve all the orientation-preserving symmetries of maps. Well-known examples of such operations are dual, ambo, truncation, and leapfrog. They are described by plane 3-coloured triangulations with specific properties. We developed and implemented a program that can generate all lopsp-operations of a given siz… ▽ More Lopsp-operations are operations on maps that are applied locally and are guaranteed to preserve all the orientation-preserving symmetries of maps. Well-known examples of such operations are dual, ambo, truncation, and leapfrog. They are described by plane 3-coloured triangulations with specific properties. We developed and implemented a program that can generate all lopsp-operations of a given size by reducing the problem of generating lopsp-operations to generating all plane quadrangulations that are not necessarily simple. We extended the program plantri to generate these quadrangulations. △ Less

Submitted 6 November, 2024; v1 submitted 16 February, 2024; originally announced February 2024.

MSC Class: 05C30

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Discrete Algorithms (November 15, 2024) dmtcs:13080

Cumulant expansion for counting Eulerian orientations

Authors: Mikhail Isaev, Brendan D. McKay, Rui-Ray Zhang

Abstract: An Eulerian orientation is an orientation of the edges of a graph such that every vertex is balanced: its in-degree equals its out-degree. Counting Eulerian orientations corresponds to the crucial partition function in so-called ``ice-type models'' in statistical physics and is known to be hard for general graphs. For all graphs with good expansion properties and degrees larger than $\log^{8} n$,… ▽ More An Eulerian orientation is an orientation of the edges of a graph such that every vertex is balanced: its in-degree equals its out-degree. Counting Eulerian orientations corresponds to the crucial partition function in so-called ``ice-type models'' in statistical physics and is known to be hard for general graphs. For all graphs with good expansion properties and degrees larger than $\log^{8} n$, we derive an asymptotic expansion for this count that approximates it to precision $O(n^{-c})$ for arbitrary large $c$, where $n$ is the number of vertices. The proof relies on a new tail bound for the cumulant expansion of the Laplace transform, which is of independent interest. △ Less

Submitted 20 December, 2024; v1 submitted 27 September, 2023; originally announced September 2023.

Comments: Correction to proof of Theorem 4.6, generalization of Lemmas 3.4 and 3.6

MSC Class: 05C30; 05A16; 60C05

Sprinkling with random regular graphs

Authors: Mikhail Isaev, Brendan D. McKay, Angus Southwell, Maksim Zhukovskii

Abstract: We conjecture that the distribution of the edge-disjoint union of two random regular graphs on the same vertex set is asymptotically equivalent to a random regular graph of the combined degree, provided it grows as the number of vertices tends to infinity. We verify this conjecture for the cases when the graphs are sufficiently dense or sparse. We also prove an asymptotic formula for the expected… ▽ More We conjecture that the distribution of the edge-disjoint union of two random regular graphs on the same vertex set is asymptotically equivalent to a random regular graph of the combined degree, provided it grows as the number of vertices tends to infinity. We verify this conjecture for the cases when the graphs are sufficiently dense or sparse. We also prove an asymptotic formula for the expected number of spanning regular subgraphs in a random regular graph. △ Less

Submitted 26 July, 2024; v1 submitted 31 August, 2023; originally announced September 2023.

MSC Class: 05C80

Factorisation of the complete bipartite graph into spanning semiregular factors

Authors: Mahdieh Hasheminezhad, Brendan D. McKay

Abstract: We enumerate factorisations of the complete bipartite graph into spanning semiregular graphs in several cases, including when the degrees of all the factors except one or two are small. The resulting asymptotic behaviour is seen to generalise the number of semiregular graphs in an elegant way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the num… ▽ More We enumerate factorisations of the complete bipartite graph into spanning semiregular graphs in several cases, including when the degrees of all the factors except one or two are small. The resulting asymptotic behaviour is seen to generalise the number of semiregular graphs in an elegant way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices. As a corollary, we find the average number of ways to partition the edges of a random semiregular bipartite graph into spanning semiregular subgraphs in several cases. Our proof of one case uses a switching argument to find the probability that a set of sufficiently sparse semiregular bipartite graphs are edge-disjoint when randomly labelled. △ Less

Submitted 20 December, 2022; v1 submitted 26 June, 2022; originally announced June 2022.

Factorisation of the complete graph into spanning regular factors

Authors: Mahdieh Hasheminezhad, Brendan D. McKay

Abstract: We enumerate factorisations of the complete graph into spanning regular graphs in several cases, including when the degrees of all the factors except for one or two are small. The resulting asymptotic behaviour is seen to generalise the number of regular graphs in a simple way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices. We enumerate factorisations of the complete graph into spanning regular graphs in several cases, including when the degrees of all the factors except for one or two are small. The resulting asymptotic behaviour is seen to generalise the number of regular graphs in a simple way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices. △ Less

Submitted 26 June, 2022; originally announced June 2022.

Paths through equally spaced points on a circle

Authors: Brendan D. McKay, Tim Peters

Abstract: Consider $n$ points evenly spaced on a circle, and a path of $n-1$ chords that uses each point once. There are $m=\lfloor n/2\rfloor$ possible chord lengths, so the path defines a multiset of $n-1$ elements drawn from $\{1,2,\ldots,m\}$. The first problem we consider is to characterize the multisets which are realized by some path. Buratti conjectured that all multisets can be realized when $n$ is… ▽ More Consider $n$ points evenly spaced on a circle, and a path of $n-1$ chords that uses each point once. There are $m=\lfloor n/2\rfloor$ possible chord lengths, so the path defines a multiset of $n-1$ elements drawn from $\{1,2,\ldots,m\}$. The first problem we consider is to characterize the multisets which are realized by some path. Buratti conjectured that all multisets can be realized when $n$ is prime, and a generalized conjecture for all $n$ was proposed by Horak and Rosa. Previously the conjecture was proved for $n \leq 19$ and $n=23$; we extend this to $n\leq 37$ (OEIS sequence A352568). The second problem is to determine the number of distinct (euclidean) path lengths that can be realized. For this there is no conjecture; we extend current knowledge from $n\leq 16$ to $n\leq 37$ (OEIS sequence A030077). When $n$ is prime, twice a prime, or a power of 2, we prove that two paths have the same length only if they have the same multiset of chord lengths. △ Less

Submitted 13 September, 2022; v1 submitted 12 May, 2022; originally announced May 2022.

Comments: Additional citations, accepted by Journal of Integer Sequences

MSC Class: 11Y55; 11Axx

Degree sequences of sufficiently dense random uniform hypergraphs

Authors: Catherine Greenhill, Mikhail Isaev, Tamás Makai, Brendan D. McKay

Abstract: We find an asymptotic enumeration formula for the number of simple $r$-uniform hypergraphs with a given degree sequence, when the number of edges is sufficiently large. The formula is given in terms of the solution of a system of equations. We give sufficient conditions on the degree sequence which guarantee existence of a solution to this system. Furthermore, we solve the system and give an expli… ▽ More We find an asymptotic enumeration formula for the number of simple $r$-uniform hypergraphs with a given degree sequence, when the number of edges is sufficiently large. The formula is given in terms of the solution of a system of equations. We give sufficient conditions on the degree sequence which guarantee existence of a solution to this system. Furthermore, we solve the system and give an explicit asymptotic formula when the degree sequence is close to regular. This allows us to establish several properties of the degree sequence of a random $r$-uniform hypergraph with a given number of edges. More specifically, we compare the degree sequence of a random $r$-uniform hypergraph with a given number edges to certain models involving sequences of binomial or hypergeometric random variables conditioned on their sum. △ Less

Submitted 16 May, 2022; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: To appear in Combinatorics, Probability and Computing

MSC Class: 05C65; 05A16

Enumeration of Latin squares with conjugate symmetry

Authors: Brendan D. McKay, Ian M. Wanless

Abstract: A Latin square has six conjugate Latin squares obtained by uniformly permuting its (row, column, symbol) triples. We say that a Latin square has conjugate symmetry if at least two of its six conjugates are equal. We enumerate Latin squares with conjugate symmetry and classify them according to several common notions of equivalence. We also do similar enumerations under additional hypotheses, such… ▽ More A Latin square has six conjugate Latin squares obtained by uniformly permuting its (row, column, symbol) triples. We say that a Latin square has conjugate symmetry if at least two of its six conjugates are equal. We enumerate Latin squares with conjugate symmetry and classify them according to several common notions of equivalence. We also do similar enumerations under additional hypotheses, such as assuming the Latin square is reduced, diagonal, idempotent or unipotent. Our data corrected an error in earlier literature and suggested several patterns that we then found proofs for, including (1) The number of isomorphism classes of semisymmetric idempotent Latin squares of order $n$ equals the number of isomorphism classes of semisymmetric unipotent Latin squares of order $n+1$, and (2) Suppose $A$ and $B$ are totally symmetric Latin squares of order $n\not\equiv0\bmod3$. If $A$ and $B$ are paratopic then $A$ and $B$ are isomorphic. △ Less

Submitted 16 April, 2021; originally announced April 2021.

MSC Class: 05B15; 20N05

Journal ref: J Combin Des. 30 (2022) 105-130

Reconstruction of small graphs and digraphs

Authors: Brendan D. McKay

Abstract: We describe computer searches that prove the graph reconstruction conjecture for graphs with up to 13 vertices and some limited classes on larger sizes. We also investigate the reconstructibility of tournaments up to 13 vertices, digraphs up to 9 vertices, and posets up to 13 points. In all cases, our results also apply to the set reconstruction problem that uses the isomorph-reduced deck. We describe computer searches that prove the graph reconstruction conjecture for graphs with up to 13 vertices and some limited classes on larger sizes. We also investigate the reconstructibility of tournaments up to 13 vertices, digraphs up to 9 vertices, and posets up to 13 points. In all cases, our results also apply to the set reconstruction problem that uses the isomorph-reduced deck. △ Less

Submitted 2 January, 2022; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: Previously called "Reconstruction of small graphs and tournaments". Fixed summary error on page 7 for 5 vertices

MSC Class: 05C60

The Minimality of the Georges-Kelmans Graph

Authors: Gunnar Brinkmann, Jan Goedgebeur, Brendan D. McKay

Abstract: In 1971, Tutte wrote in an article that "it is tempting to conjecture that every 3-connected bipartite cubic graph is hamiltonian". Motivated by this remark, Horton constructed a counterexample on 96 vertices. In a sequence of articles by different authors several smaller counterexamples were presented. The smallest of these graphs is a graph on 50 vertices which was discovered independently by Ge… ▽ More In 1971, Tutte wrote in an article that "it is tempting to conjecture that every 3-connected bipartite cubic graph is hamiltonian". Motivated by this remark, Horton constructed a counterexample on 96 vertices. In a sequence of articles by different authors several smaller counterexamples were presented. The smallest of these graphs is a graph on 50 vertices which was discovered independently by Georges and Kelmans. In this article we show that there is no smaller counterexample. As all non-hamiltonian 3-connected bipartite cubic graphs in the literature have cyclic 4-cuts -- even if they have girth 6 -- it is natural to ask whether this is a necessary prerequisite. In this article we answer this question in the negative and give a construction of an infinite family of non-hamiltonian cyclically 5-connected bipartite cubic graphs. In 1969, Barnette gave a weaker version of the conjecture stating that 3-connected planar bipartite cubic graphs are hamiltonian. We show that Barnette's conjecture is true up to at least 90 vertices. We also report that a search of small non-hamiltonian 3-connected bipartite cubic graphs did not find any with genus less than 4. △ Less

Submitted 24 October, 2021; v1 submitted 4 January, 2021; originally announced January 2021.

Comments: 19 pages; to appear in Mathematics of Computation

The Iteration Number of Colour Refinement

Authors: Sandra Kiefer, Brendan D. McKay

Abstract: The Colour Refinement procedure and its generalisation to higher dimensions, the Weisfeiler-Leman algorithm, are central subroutines in approaches to the graph isomorphism problem. In an iterative fashion, Colour Refinement computes a colouring of the vertices of its input graph. A trivial upper bound on the iteration number of Colour Refinement on graphs of order n is n-1. We show that this bou… ▽ More The Colour Refinement procedure and its generalisation to higher dimensions, the Weisfeiler-Leman algorithm, are central subroutines in approaches to the graph isomorphism problem. In an iterative fashion, Colour Refinement computes a colouring of the vertices of its input graph. A trivial upper bound on the iteration number of Colour Refinement on graphs of order n is n-1. We show that this bound is tight. More precisely, we prove via explicit constructions that there are infinitely many graphs G on which Colour Refinement takes |G|-1 iterations to stabilise. Modifying the infinite families that we present, we show that for every natural number n >= 10, there are graphs on n vertices on which Colour Refinement requires at least n-2 iterations to reach stabilisation. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: 22 pages, 3 figures, full version of a paper accepted at ICALP 2020

Asymptotic enumeration of linear hypergraphs with given number of vertices and edges

Authors: Brendan D. McKay, Fang Tian

Abstract: For $n\geq 3$, let $r=r(n)\geq 3$ be an integer. A hypergraph is $r$-uniform if each edge is a set of $r$ vertices, and is said to be linear if two edges intersect in at most one vertex. In this paper, the number of linear $r$-uniform hypergraphs on $n\to\infty$ vertices is determined asymptotically when the number of edges is $m(n)=o(r^{-3}n^{ \frac32})$. As one application, we find the probabili… ▽ More For $n\geq 3$, let $r=r(n)\geq 3$ be an integer. A hypergraph is $r$-uniform if each edge is a set of $r$ vertices, and is said to be linear if two edges intersect in at most one vertex. In this paper, the number of linear $r$-uniform hypergraphs on $n\to\infty$ vertices is determined asymptotically when the number of edges is $m(n)=o(r^{-3}n^{ \frac32})$. As one application, we find the probability of linearity for the independent-edge model of random $r$-uniform hypergraph when the expected number of edges is $o(r^{-3}n^{ \frac32})$. We also find the probability that a random $r$-uniform linear hypergraph with a given number of edges contains a given subhypergraph. △ Less

Submitted 17 August, 2019; originally announced August 2019.

Comments: Submitted in January 2019

MSC Class: 05C65; 05C80; 05A16

Asymptotic enumeration of orientations of a graph as a function of the out-degree sequence

Authors: Mikhail Isaev, Tejas Iyer, Brendan D. McKay

Abstract: We prove an asymptotic formula for the number of orientations with given out-degree (score) sequence for a graph $G$. The graph $G$ is assumed to have average degrees at least $n^{1/3 + \varepsilon}$ for some $\varepsilon > 0$, and to have strong mixing properties, while the maximum imbalance (out-degree minus in-degree) of the orientation should be not too large. Our enumeration results have appl… ▽ More We prove an asymptotic formula for the number of orientations with given out-degree (score) sequence for a graph $G$. The graph $G$ is assumed to have average degrees at least $n^{1/3 + \varepsilon}$ for some $\varepsilon > 0$, and to have strong mixing properties, while the maximum imbalance (out-degree minus in-degree) of the orientation should be not too large. Our enumeration results have applications to the study of subdigraph occurrences in random orientations with given imbalance sequence. As one step of our calculation, we obtain new bounds for the maximum likelihood estimators for the Bradley-Terry model of paired comparisons. △ Less

Submitted 12 January, 2020; v1 submitted 4 August, 2019; originally announced August 2019.

Comments: Accepted to the Electronic Journal of Combinatorics

MSC Class: 05C88; 05C89

Addressing Johnson graphs, complete multipartite graphs, odd cycles and other graphs

Authors: Noga Alon, Sebastian M. Cioabă, Brandon D. Gilbert, Jack H. Koolen, Brendan D. McKay

Abstract: Graham and Pollak showed that the vertices of any graph $G$ can be addressed with $N$-tuples of three symbols, such that the distance between any two vertices may be easily determined from their addresses. An addressing is optimal if its length $N$ is minimum possible. In this paper, we determine an addressing of length $k(n-k)$ for the Johnson graphs $J(n,k)$ and we show that our addressing is… ▽ More Graham and Pollak showed that the vertices of any graph $G$ can be addressed with $N$-tuples of three symbols, such that the distance between any two vertices may be easily determined from their addresses. An addressing is optimal if its length $N$ is minimum possible. In this paper, we determine an addressing of length $k(n-k)$ for the Johnson graphs $J(n,k)$ and we show that our addressing is optimal when $k=1$ or when $k=2, n=4,5,6$, but not when $n=6$ and $k=3$. We study the addressing problem as well as a variation of it in which the alphabet used has more than three symbols, for other graphs such as complete multipartite graphs and odd cycles. We also present computations describing the distribution of the minimum length of addressings for connected graphs with up to $10$ vertices. Motivated by these computations we settle a problem of Graham, showing that most graphs on $n$ vertices have an addressing of length at most $n-(2-o(1))\log_2 n$. △ Less

Submitted 28 October, 2018; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: 18 page, 24 tables, accepted for publication to Experimental Mathematics

MSC Class: 05C12; 05C35; 05C50; 05C62

Subgraph counts for dense random graphs with specified degrees

Authors: Catherine Greenhill, Mikhail Isaev, Brendan D. McKay

Abstract: We prove two estimates for the expectation of the exponential of a complex function of a random permutation or subset. Using this theory, we find asymptotic expressions for the expected number of copies and induced copies of a given graph in a uniformly random graph with degree sequence $(d_1,\ldots,d_n)$ as $n \rightarrow \infty$. We also determine the expected number of spanning trees in this mo… ▽ More We prove two estimates for the expectation of the exponential of a complex function of a random permutation or subset. Using this theory, we find asymptotic expressions for the expected number of copies and induced copies of a given graph in a uniformly random graph with degree sequence $(d_1,\ldots,d_n)$ as $n \rightarrow \infty$. We also determine the expected number of spanning trees in this model. The range of degrees covered includes $d_j = λn + O(n^{1/2+\varepsilon})$ for some $λ$ bounded away from $0$ and $1$. △ Less

Submitted 11 November, 2020; v1 submitted 29 January, 2018; originally announced January 2018.

Comments: To appear in Combinatorics, Probability and Computing

MSC Class: 05C80; 05A16

Journal ref: Combinator. Probab. Comp. 30 (2021) 460-497

$R(5,5) \le 48$

Authors: Vigleik Angeltveit, Brendan D. McKay

Abstract: We improve the upper bound on the Ramsey number $R(5,5)$ from $R(5,5) \le 49$ to $R(5,5) \le 48$. We also complete the catalogue of extremal graphs for $R(4,5)$. We improve the upper bound on the Ramsey number $R(5,5)$ from $R(5,5) \le 49$ to $R(5,5) \le 48$. We also complete the catalogue of extremal graphs for $R(4,5)$. △ Less

Submitted 10 April, 2017; v1 submitted 26 March, 2017; originally announced March 2017.

Comments: 8 pages

MSC Class: 05D10

A class of Ramsey-extremal hypergraphs

Authors: Brendan D. McKay

Abstract: In 1991, McKay and Radziszowski proved that, however each 3-subset of a 13-set is assigned one of two colours, there is some 4-subset whose four 3-subsets have the same colour. More than 25 years later, this remains the only non-trivial classical Ramsey number known for hypergraphs. In this article, we find all the extremal colourings of the 3-subsets of a 12-set and list some of their properties.… ▽ More In 1991, McKay and Radziszowski proved that, however each 3-subset of a 13-set is assigned one of two colours, there is some 4-subset whose four 3-subsets have the same colour. More than 25 years later, this remains the only non-trivial classical Ramsey number known for hypergraphs. In this article, we find all the extremal colourings of the 3-subsets of a 12-set and list some of their properties. Using the catalogue, we provide an answer to a question of Dudek, Fleur, Mubayi and Rödl about the size-Ramsey numbers of hypergraphs. △ Less

Submitted 27 August, 2016; originally announced August 2016.

MSC Class: 05D10; 05C55; 05C65

The average number of spanning trees in sparse graphs with given degrees

Authors: Catherine Greenhill, Mikhail Isaev, Matthew Kwan, Brendan D. McKay

Abstract: We give an asymptotic expression for the expected number of spanning trees in a random graph with a given degree sequence $\boldsymbol{d}=(d_1,\ldots, d_n)$, provided that the number of edges is at least $n + \textstyle{\frac{1}{2}} d_{\max}^4$, where $d_{\max}$ is the maximum degree. A key part of our argument involves establishing a concentration result for a certain family of functions over ran… ▽ More We give an asymptotic expression for the expected number of spanning trees in a random graph with a given degree sequence $\boldsymbol{d}=(d_1,\ldots, d_n)$, provided that the number of edges is at least $n + \textstyle{\frac{1}{2}} d_{\max}^4$, where $d_{\max}$ is the maximum degree. A key part of our argument involves establishing a concentration result for a certain family of functions over random trees with given degrees, using Prüfer codes. △ Less

Submitted 19 February, 2017; v1 submitted 5 June, 2016; originally announced June 2016.

Comments: 24 pages, 1 figure. This version fixes some minor errors

Complex martingales and asymptotic enumeration

Authors: Mikhail Isaev, Brendan D. McKay

Abstract: Many enumeration problems in combinatorics, including such fundamental questions as the number of regular graphs, can be expressed as high-dimensional complex integrals. Motivated by the need for a systematic study of the asymptotic behaviour of such integrals, we establish explicit bounds on the exponentials of complex martingales. Those bounds applied to the case of truncated normal distribution… ▽ More Many enumeration problems in combinatorics, including such fundamental questions as the number of regular graphs, can be expressed as high-dimensional complex integrals. Motivated by the need for a systematic study of the asymptotic behaviour of such integrals, we establish explicit bounds on the exponentials of complex martingales. Those bounds applied to the case of truncated normal distributions are precise enough to include and extend many enumerative results of Barvinok, Canfield, Gao, Greenhill, Hartigan, Isaev, McKay, Wang, Wormald, and others. Our method applies to sums as well as integrals. As a first illustration of the power of our theory, we considerably strengthen existing results on the relationship between random graphs or bipartite graphs with specified degrees and the so-called $β$-model of random graphs with independent edges, which is equivalent to the Rasch model in the bipartite case. △ Less

Submitted 27 December, 2017; v1 submitted 28 April, 2016; originally announced April 2016.

Comments: Minor changes as accepted by Random Structures and Algorithms

MSC Class: 05A16; 05C80; 60G46

On a bound of Hoeffding in the complex case

Authors: Mikhail Isaev, Brendan D. Mckay

Abstract: It was proved by Hoeffding in 1963 that a real random variable X confined to [a, b] satisfies E e^(X--E X) $\le$ e^((b--a)^2/8). We generalise this to complex random variables. It was proved by Hoeffding in 1963 that a real random variable X confined to [a, b] satisfies E e^(X--E X) $\le$ e^((b--a)^2/8). We generalise this to complex random variables. △ Less

Submitted 2 March, 2016; originally announced March 2016.

Comments: Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2016

Fullerenes with distant pentagons

Authors: Jan Goedgebeur, Brendan D. McKay

Abstract: For each $d>0$, we find all the smallest fullerenes for which the least distance between two pentagons is $d$. We also show that for each $d$ there is an $h_d$ such that fullerenes with pentagons at least distance $d$ apart and any number of hexagons greater than or equal to $h_d$ exist. We also determine the number of fullerenes where the minimum distance between any two pentagons is at least… ▽ More For each $d>0$, we find all the smallest fullerenes for which the least distance between two pentagons is $d$. We also show that for each $d$ there is an $h_d$ such that fullerenes with pentagons at least distance $d$ apart and any number of hexagons greater than or equal to $h_d$ exist. We also determine the number of fullerenes where the minimum distance between any two pentagons is at least $d$, for $1 \le d \le 5$, up to 400 vertices. △ Less

Submitted 12 August, 2015; originally announced August 2015.

Comments: 15 pages, submitted for publication. arXiv admin note: text overlap with arXiv:1501.02680

On Ryser's Conjecture for Linear Intersecting Multipartite Hypergraphs

Authors: Nevena Francetić, Sarada Herke, Brendan D. McKay, Ian M. Wanless

Abstract: Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergrap… ▽ More Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergraph should have a cover of size $(r-1)ν$ of a particular form. We provide a counterexample to Aharoni's conjecture with $r=13$ and $ν=1$. We also report a number of computational results. For $r=7$, we find that there is no linear intersecting hypergraph that achieves the equality $τ=r-1$ in Ryser's conjecture, although non-linear examples are known. We exhibit intersecting non-linear examples achieving equality for $r\in\{9,13,17\}$. Also, we find that $r=8$ is the smallest value of $r$ for which there exists a linear intersecting $r$-partite hypergraph that achieves $τ=r-1$ and is not isomorphic to a subhypergraph of a projective plane. △ Less

Submitted 29 September, 2015; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: Submitted for peer review in August 2015. An ancillary has been added. Otherwise, the results in all versions are identical

MSC Class: 05C65

Journal ref: European Journal of Combinatorics 61 (2017) 91-105

Hypohamiltonian planar cubic graphs with girth five

Authors: Brendan D. McKay

Abstract: A graph is called hypohamiltonian if it is not hamiltonian but becomes hamiltonian if any vertex is removed. Many hypohamiltonian planar cubic graphs have been found, starting with constructions of Thomassen in 1981. However, all the examples found until now had 4-cycles. In this note we present the first examples of hypohamiltonian planar cubic graphs with cyclic connectivity five, and thus girth… ▽ More A graph is called hypohamiltonian if it is not hamiltonian but becomes hamiltonian if any vertex is removed. Many hypohamiltonian planar cubic graphs have been found, starting with constructions of Thomassen in 1981. However, all the examples found until now had 4-cycles. In this note we present the first examples of hypohamiltonian planar cubic graphs with cyclic connectivity five, and thus girth five. We show by computer search that the smallest members of this class are three graphs with 76 vertices. △ Less

Submitted 26 July, 2015; originally announced July 2015.

MSC Class: 05C45 05C10

Recursive generation of IPR fullerenes

Authors: Jan Goedgebeur, Brendan D. McKay

Abstract: We describe a new construction algorithm for the recursive generation of all non-isomorphic IPR fullerenes. Unlike previous algorithms, the new algorithm stays entirely within the class of IPR fullerenes, that is: every IPR fullerene is constructed by expanding a smaller IPR fullerene unless it belongs to limited class of irreducible IPR fullerenes that can easily be made separately. The class of… ▽ More We describe a new construction algorithm for the recursive generation of all non-isomorphic IPR fullerenes. Unlike previous algorithms, the new algorithm stays entirely within the class of IPR fullerenes, that is: every IPR fullerene is constructed by expanding a smaller IPR fullerene unless it belongs to limited class of irreducible IPR fullerenes that can easily be made separately. The class of irreducible IPR fullerenes consists of 36 fullerenes with up to 112 vertices and 4 infinite families of nanotube fullerenes. Our implementation of this algorithm is faster than other generators for IPR fullerenes and we used it to compute all IPR fullerenes up to 400 vertices. △ Less

Submitted 27 July, 2015; v1 submitted 12 January, 2015; originally announced January 2015.

Comments: 19 pages; to appear in Journal of Mathematical Chemistry

There are 2834 spreads of lines in PG(3,8)

Authors: Brendan D. McKay, Gordon F. Royle

Abstract: 2834 inequivalent spreads under the group $\mathrm{P}Γ\mathrm{L}(4,8)$. Therefore there are the same number of translation planes of order 64 with kernel containing $\mathrm{GF}(8)$, and we describe various properties of these planes. Each portion of the search was performed at least twice with independently-written software, and the results checked for internal consistency by computation of the… ▽ More 2834 inequivalent spreads under the group $\mathrm{P}Γ\mathrm{L}(4,8)$. Therefore there are the same number of translation planes of order 64 with kernel containing $\mathrm{GF}(8)$, and we describe various properties of these planes. Each portion of the search was performed at least twice with independently-written software, and the results checked for internal consistency by computation of the numbers of spreads rooted at a line not in the spread, thus enhancing confidence in the correctness of the search. △ Less

Submitted 6 April, 2014; originally announced April 2014.

MSC Class: 51E23

Switching Reconstruction of Digraphs

Authors: Brendan D. McKay, Pascal Schweitzer

Abstract: Switching about a vertex in a digraph means to reverse the direction of every edge incident with that vertex. Bondy and Mercier introduced the problem of whether a digraph can be reconstructed up to isomorphism from the multiset of isomorphism types of digraphs obtained by switching about each vertex. Since the largest known non-reconstructible oriented graphs have 8 vertices, it is natural to ask… ▽ More Switching about a vertex in a digraph means to reverse the direction of every edge incident with that vertex. Bondy and Mercier introduced the problem of whether a digraph can be reconstructed up to isomorphism from the multiset of isomorphism types of digraphs obtained by switching about each vertex. Since the largest known non-reconstructible oriented graphs have 8 vertices, it is natural to ask whether there are any larger non-reconstructible graphs. In this paper we continue the investigation of this question. We find that there are exactly 44 non-reconstructible oriented graphs whose underlying undirected graphs have maximum degree at most 2. We also determine the full set of switching-stable oriented graphs, which are those graphs for which all switchings return a digraph isomorphic to the original. △ Less

Submitted 3 August, 2013; originally announced August 2013.

MSC Class: 05C60; 05C20

Asymptotic enumeration of sparse multigraphs with given degrees

Authors: Catherine Greenhill, Brendan D McKay

Abstract: Let J and J* be subsets of Z+ such that 0,1\in J and 0\in J*. For infinitely many n, let k=(k_1,..., k_n) be a vector of nonnegative integers whose sum M is even. We find an asymptotic expression for the number of multigraphs on the vertex set {1,..., n} with degree sequence given by k, such that every loop has multiplicity in J* and every non-loop edge has multiplicity in J. Equivalently, these a… ▽ More Let J and J* be subsets of Z+ such that 0,1\in J and 0\in J*. For infinitely many n, let k=(k_1,..., k_n) be a vector of nonnegative integers whose sum M is even. We find an asymptotic expression for the number of multigraphs on the vertex set {1,..., n} with degree sequence given by k, such that every loop has multiplicity in J* and every non-loop edge has multiplicity in J. Equivalently, these are symmetric integer matrices with values J* allowed on the diagonal and J off the diagonal. Our expression holds when the maximum degree K satisfies K = o(M^(1/3)). We prove this result using the switching method, building on an asymptotic enumeration of simple graphs with given degrees (McKay and Wormald, 1991). Our application of the switching method introduces a novel way of combining several different switching operations into a single computation. △ Less

Submitted 22 September, 2013; v1 submitted 18 March, 2013; originally announced March 2013.

Comments: Revised on the basis of a referee's report and other considerations. No changes to the main theorems

MSC Class: 05A16 05C30 42A61

Planar Hypohamiltonian Graphs on 40 Vertices

Authors: Mohammadreza Jooyandeh, Brendan D. McKay, Patric R. J. Östergård, Ville H. Pettersson, Carol T. Zamfirescu

Abstract: A graph is hypohamiltonian if it is not Hamiltonian, but the deletion of any single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 42 vertices, a result due to Araya and Wiener. That result is here improved upon by 25 planar hypohamiltonian graphs of order 40, which are found through computer-aided generation of certain families of planar graphs wi… ▽ More A graph is hypohamiltonian if it is not Hamiltonian, but the deletion of any single vertex gives a Hamiltonian graph. Until now, the smallest known planar hypohamiltonian graph had 42 vertices, a result due to Araya and Wiener. That result is here improved upon by 25 planar hypohamiltonian graphs of order 40, which are found through computer-aided generation of certain families of planar graphs with girth 4 and a fixed number of 4-faces. It is further shown that planar hypohamiltonian graphs exist for all orders greater than or equal to 42. If Hamiltonian cycles are replaced by Hamiltonian paths throughout the definition of hypohamiltonian graphs, we get the definition of hypotraceable graphs. It is shown that there is a planar hypotraceable graph of order 154 and of all orders greater than or equal to 156. We also show that the smallest hypohamiltonian planar graph of girth 5 has 45 vertices. △ Less

Submitted 6 December, 2015; v1 submitted 11 February, 2013; originally announced February 2013.

MSC Class: 05C10; 05C30; 05C38; 05C45; 05C85

Degree sequences of random digraphs and bipartite graphs

Authors: Brendan D. McKay, Fiona Skerman

Abstract: We investigate the joint distribution of the vertex degrees in three models of random bipartite graphs. Namely, we can choose each edge with a specified probability, choose a specified number of edges, or specify the vertex degrees in one of the two colour classes. This problem can alternatively be described in terms of the row and sum columns of random binary matrix or the in-degrees and out-degr… ▽ More We investigate the joint distribution of the vertex degrees in three models of random bipartite graphs. Namely, we can choose each edge with a specified probability, choose a specified number of edges, or specify the vertex degrees in one of the two colour classes. This problem can alternatively be described in terms of the row and sum columns of random binary matrix or the in-degrees and out-degrees of a random digraph, in which case we can optionally forbid loops. It can also be cast as a problem in random hypergraphs, or as a classical occupancy, allocation, or coupon collection problem. In each case, provided the two colour classes are not too different in size nor the number of edges too low, we define a probability space based on independent binomial variables and show that its probability masses asymptotically equal those of the degrees in the graph model almost everywhere. The accuracy is sufficient to asymptotically determine the expectation of any joint function of the degrees whose maximum is at most polynomially greater than its expectation. △ Less

Submitted 21 January, 2015; v1 submitted 11 February, 2013; originally announced February 2013.

Comments: Minor changes, mostly of exposition

MSC Class: 05C80; 60C05; 60K30; 05C20; 05C07

Practical graph isomorphism, II

Authors: Brendan D. McKay, Adolfo Piperno

Abstract: We report the current state of the graph isomorphism problem from the practical point of view. After describing the general principles of the refinement-individualization paradigm and proving its validity, we explain how it is implemented in several of the key programs. In particular, we bring the description of the best known program nauty up to date and describe an innovative approach called Tra… ▽ More We report the current state of the graph isomorphism problem from the practical point of view. After describing the general principles of the refinement-individualization paradigm and proving its validity, we explain how it is implemented in several of the key programs. In particular, we bring the description of the best known program nauty up to date and describe an innovative approach called Traces that outperforms the competitors for many difficult graph classes. Detailed comparisons against saucy, Bliss and conauto are presented. △ Less

Submitted 8 January, 2013; originally announced January 2013.

Comments: This is partially a replacement for https://arxiv.boxedpaper.com/abs/0804.4881

MSC Class: 05C85; 68R10; 20B40

The Generation of Fullerenes

Authors: Gunnar Brinkmann, Jan Goedgebeur, Brendan D. McKay

Abstract: We describe an efficient new algorithm for the generation of fullerenes. Our implementation of this algorithm is more than 3.5 times faster than the previously fastest generator for fullerenes -- fullgen -- and the first program since fullgen to be useful for more than 100 vertices. We also note a programming error in fullgen that caused problems for 136 or more vertices. We tabulate the numbers o… ▽ More We describe an efficient new algorithm for the generation of fullerenes. Our implementation of this algorithm is more than 3.5 times faster than the previously fastest generator for fullerenes -- fullgen -- and the first program since fullgen to be useful for more than 100 vertices. We also note a programming error in fullgen that caused problems for 136 or more vertices. We tabulate the numbers of fullerenes and IPR fullerenes up to 400 vertices. We also check up to 316 vertices a conjecture of Barnette that cubic planar graphs with maximum face size 6 are hamiltonian and verify that the smallest counterexample to the spiral conjecture has 380 vertices. △ Less

Submitted 16 October, 2012; v1 submitted 30 July, 2012; originally announced July 2012.

Comments: 21 pages; added a note

Journal ref: J. Chem. Inf. Model. (2012)

A note on the history of the four-colour conjecture

Authors: Brendan D. McKay

Abstract: The four-colour conjecture was brought to public attention in 1854, most probably by Francis or Frederick Guthrie. This moves back by six years the date of the earliest known publication. The four-colour conjecture was brought to public attention in 1854, most probably by Francis or Frederick Guthrie. This moves back by six years the date of the earliest known publication. △ Less

Submitted 21 February, 2012; v1 submitted 13 January, 2012; originally announced January 2012.

Comments: 3 pages; revised sourcing, added extra information

MSC Class: 05C10; 05C15; 01A55

Competition Numbers, Quasi-Line Graphs and Holes

Authors: Brendan D. McKay, Pascal Schweitzer, Patrick Schweitzer

Abstract: The competition graph of a directed acyclic graph D is the undirected graph on the same vertex set as D in which two distinct vertices are adjacent if they have a common out-neighbor in D. The competition number of an undirected graph G is the least number of isolated vertices that have to be added to G to make it the competition graph of a directed acyclic graph. We resolve two conjectures concer… ▽ More The competition graph of a directed acyclic graph D is the undirected graph on the same vertex set as D in which two distinct vertices are adjacent if they have a common out-neighbor in D. The competition number of an undirected graph G is the least number of isolated vertices that have to be added to G to make it the competition graph of a directed acyclic graph. We resolve two conjectures concerning competition graphs. First we prove a conjecture of Opsut by showing that the competition number of every quasi-line graph is at most 2. Recall that a quasi-line graph, also called a locally co-bipartite graph, is a graph for which the neighborhood of every vertex can partitioned into at most two cliques. To prove this conjecture we devise an alternative characterization of quasi-line graphs to the one by Chudnovsky and Seymour. Second, we prove a conjecture of Kim by showing that the competition number of any graph is at most one greater than the number of holes in the graph. Our methods also allow us to prove a strengthened form of this conjecture recently proposed by Kim, Lee, Park and Sano, showing that the competition number of any graph is at most one greater than the dimension of the subspace of the cycle space spanned by the holes. △ Less

Submitted 23 October, 2013; v1 submitted 13 October, 2011; originally announced October 2011.

Comments: 16 pages, 2 figures. v3 contains minor typographic changes. As accepted for SIAM J Disc Math

MSC Class: 05C75 (Primary) 05C62 (Secondary)

Asymptotic enumeration of symmetric integer matrices with uniform row sums

Authors: Brendan D. McKay, Jeanette C. McLeod

Abstract: We investigate the number of symmetric matrices of non-negative integers with zero diagonal such that each row sum is the same. Equivalently, these are zero diagonal symmetric contingency tables with uniform margins, or loop-free regular multigraphs. We determine the asymptotic value of this number as the size of the matrix tends to infinity, provided the row sum is large enough. We conjecture tha… ▽ More We investigate the number of symmetric matrices of non-negative integers with zero diagonal such that each row sum is the same. Equivalently, these are zero diagonal symmetric contingency tables with uniform margins, or loop-free regular multigraphs. We determine the asymptotic value of this number as the size of the matrix tends to infinity, provided the row sum is large enough. We conjecture that our answer is valid for all row sums. △ Less

Submitted 20 January, 2013; v1 submitted 23 August, 2011; originally announced August 2011.

MSC Class: 05A05; 05A16

Counting loopy graphs with given degrees

Authors: Brendan D. McKay, Catherine Greenhill

Abstract: Let d=(d_1,d_2,..., d_n) be a vector of non-negative integers. We study the number of symmetric 0-1 matrices whose row sum vector equals d. While previous work has focussed on the case of zero diagonal, we allow diagonal entries to equal 1. When forming the row sum, each diagonal entry is multiplied by a factor of D, where D is 1 or 2. The case D=1 corresponds to enumeration by the usual row sum o… ▽ More Let d=(d_1,d_2,..., d_n) be a vector of non-negative integers. We study the number of symmetric 0-1 matrices whose row sum vector equals d. While previous work has focussed on the case of zero diagonal, we allow diagonal entries to equal 1. When forming the row sum, each diagonal entry is multiplied by a factor of D, where D is 1 or 2. The case D=1 corresponds to enumeration by the usual row sum of matrices. The case D=2 corresponds to enumeration by degree sequence of undirected graphs with loops but no repeated edges, due to the convention that a loop contributes 2 to the degree of its incident vertex. We obtain asymptotically precise formulae for the number of matrices in the sparse range (where, roughly, the maximum row sum is o(n^{1/2})), and in the dense range (where, roughly, the average row sum is proportional to n and the row sums do not vary greatly). △ Less

Submitted 9 March, 2012; v1 submitted 28 February, 2011; originally announced March 2011.

Comments: Fixed an obvious typo in Thm 1.5

MSC Class: 05A16; 05C30

Journal ref: Linear Algebra and its Applications, 436,4 (2012) 901-926

Computational determination of (3,11) and (4,7) cages

Authors: Geoffrey Exoo, Brendan D. McKay, Wendy Myrvold, Jacqueline Nadon

Abstract: A (k,g)-graph is a k-regular graph of girth g, and a (k,g)-cage is a (k,g)-graph of minimum order. We show that a (3,11)-graph of order 112 found by Balaban in 1973 is minimal and unique. We also show that the order of a (4,7)-cage is 67 and find one example. Finally, we improve the lower bounds on the orders of (3,13)-cages and (3,14)-cages to 202 and 260, respectively. The methods used were a co… ▽ More A (k,g)-graph is a k-regular graph of girth g, and a (k,g)-cage is a (k,g)-graph of minimum order. We show that a (3,11)-graph of order 112 found by Balaban in 1973 is minimal and unique. We also show that the order of a (4,7)-cage is 67 and find one example. Finally, we improve the lower bounds on the orders of (3,13)-cages and (3,14)-cages to 202 and 260, respectively. The methods used were a combination of heuristic hill-climbing and an innovative backtrack search. △ Less

Submitted 19 September, 2010; originally announced September 2010.

MSC Class: 05C25; 05C35

On determinants of random symmetric matrices over Z_m

Authors: Richard P. Brent, Brendan D. McKay

Abstract: We determine the probability that a random n x n symmetric matrix over {1, 2, ... , m} has determinant divisible by m. We determine the probability that a random n x n symmetric matrix over {1, 2, ... , m} has determinant divisible by m. △ Less

Submitted 29 April, 2010; originally announced April 2010.

Comments: 8 pages. An old Technical Report, submitted for archival purposes. For further details, see http://wwwmaths.anu.edu.au/~brent/pub/pub101.html

Report number: Technical Report TR-CS-88-03, Computer Science Department, Australian National University, Canberra, February 1988. MSC Class: 05A15 (Primary) 05A30; 68R05 (Secondary) ACM Class: F.2.1

Journal ref: Ars Combinatoria 26A (1988), 57-64.

Subgraphs of dense random graphs with specified degrees

Authors: Brendan D McKay

Abstract: Let d = (d1, d2, ..., dn) be a vector of non-negative integers with even sum. We prove some basic facts about the structure of a random graph with degree sequence d, including the probability of a given subgraph or induced subgraph. Although there are many results of this kind, they are restricted to the sparse case with only a few exceptions. Our focus is instead on the case where the average deg… ▽ More Let d = (d1, d2, ..., dn) be a vector of non-negative integers with even sum. We prove some basic facts about the structure of a random graph with degree sequence d, including the probability of a given subgraph or induced subgraph. Although there are many results of this kind, they are restricted to the sparse case with only a few exceptions. Our focus is instead on the case where the average degree is approximately a constant fraction of n. Our approach is the multidimensional saddle-point method. This extends the enumerative work of McKay and Wormald (1990) and is analogous to the theory developed for bipartite graphs by Greenhill and McKay (arXiv:math/0701600, 2009). △ Less

Submitted 26 November, 2010; v1 submitted 16 February, 2010; originally announced February 2010.

Comments: Miscellaneous adjustments; added some corollaries and citations

MSC Class: 05C80 (Primary); 05C30; 60B20 (Secondary)

Asymptotic enumeration of correlation-immune boolean functions

Authors: E. Rodney Canfield, Zhicheng Gao, Catherine Greenhill, Brendan D. McKay, Robert W. Robinson

Abstract: A boolean function of $n$ boolean variables is {correlation-immune} of order $k$ if the function value is uncorrelated with the values of any $k$ of the arguments. Such functions are of considerable interest due to their cryptographic properties, and are also related to the orthogonal arrays of statistics and the balanced hypercube colourings of combinatorics. The {weight} of a boolean function… ▽ More A boolean function of $n$ boolean variables is {correlation-immune} of order $k$ if the function value is uncorrelated with the values of any $k$ of the arguments. Such functions are of considerable interest due to their cryptographic properties, and are also related to the orthogonal arrays of statistics and the balanced hypercube colourings of combinatorics. The {weight} of a boolean function is the number of argument values that produce a function value of 1. If this is exactly half the argument values, that is, $2^{n-1}$ values, a correlation-immune function is called {resilient}. An asymptotic estimate of the number $N(n,k)$ of $n$-variable correlation-immune boolean functions of order $k$ was obtained in 1992 by Denisov for constant $k$. Denisov repudiated that estimate in 2000, but we will show that the repudiation was a mistake. The main contribution of this paper is an asymptotic estimate of $N(n,k)$ which holds if $k$ increases with $n$ within generous limits and specialises to functions with a given weight, including the resilient functions. In the case of $k=1$, our estimates are valid for all weights. △ Less

Submitted 17 September, 2009; originally announced September 2009.

Comments: 18 pages

MSC Class: 05A16

On the number of Latin squares

Authors: Brendan D. McKay, Ian M. Wanless

Abstract: We (1) determine the number of Latin rectangles with 11 columns and each possible number of rows, including the Latin squares of order~11, (2) answer some questions of Alter by showing that the number of reduced Latin squares of order $n$ is divisible by $f!$ where $f$ is a particular integer close to $\frac12n$, (3) provide a formula for the number of Latin squares in terms of permanents of… ▽ More We (1) determine the number of Latin rectangles with 11 columns and each possible number of rows, including the Latin squares of order~11, (2) answer some questions of Alter by showing that the number of reduced Latin squares of order $n$ is divisible by $f!$ where $f$ is a particular integer close to $\frac12n$, (3) provide a formula for the number of Latin squares in terms of permanents of $(+1,-1)$-matrices, (4) find the extremal values for the number of 1-factorisations of $k$-regular bipartite graphs on $2n$ vertices whenever $1\leq k\leq n\leq11$, (5) show that the proportion of Latin squares with a non-trivial symmetry group tends quickly to zero as the order increases. △ Less

Submitted 11 September, 2009; originally announced September 2009.

Comments: 11 pages

MSC Class: 05B15

Journal ref: B. D. McKay and I. M. Wanless, On the number of Latin squares, Ann. Combin. 9 (2005) 335-344

Asymptotic enumeration of sparse nonnegative integer matrices with specified row and column sums

Authors: Catherine Greenhill, Brendan D. McKay

Abstract: Let \svec = (s_1,...,s_m) and \tvec = (t_1,...,t_n) be vectors of nonnegative integer-valued functions of m,n with equal sum S = sum_{i=1}^m s_i = sum_{j=1}^n t_j. Let M(\svec,\tvec) be the number of m*n matrices with nonnegative integer entries such that the i-th row has row sum s_i and the j-th column has column sum t_j for all i,j. Such matrices occur in many different settings, an important ex… ▽ More Let \svec = (s_1,...,s_m) and \tvec = (t_1,...,t_n) be vectors of nonnegative integer-valued functions of m,n with equal sum S = sum_{i=1}^m s_i = sum_{j=1}^n t_j. Let M(\svec,\tvec) be the number of m*n matrices with nonnegative integer entries such that the i-th row has row sum s_i and the j-th column has column sum t_j for all i,j. Such matrices occur in many different settings, an important example being the contingency tables (also called frequency tables) important in statistics. Define s=max_i s_i and t=max_j t_j. Previous work has established the asymptotic value of M(\svec,\tvec) as m,n\to\infty with s and t bounded (various authors independently, 1971-1974), and when \svec,\tvec are constant vectors with m/n,n/m,s/n >= c/log n for sufficiently large (Canfield and McKay, 2007). In this paper we extend the sparse range to the case st=o(S^(2/3)). The proof in part follows a previous asymptotic enumeration of 0-1 matrices under the same conditions (Greenhill, McKay and Wang, 2006). We also generalise the enumeration to matrices over any subset of the nonnegative integers that includes 0 and 1. △ Less

Submitted 16 April, 2012; v1 submitted 3 July, 2007; originally announced July 2007.

Comments: We fixes a small gap in the proof of Lemma 5.1 and made some other minor corrections. No theorem statements have changed

MSC Class: 05A16 (Primary) 62H17 (Secondary)

Journal ref: Advances in Applied Mathematics, 41 (2008) 459-481

The asymptotic volume of the Birkhoff polytope

Authors: E. Rodney Canfield, Brendan D. McKay

Abstract: Let m,n be positive integers. Define T(m,n) to be the transportation polytope consisting of the m x n non-negative real matrices whose rows each sum to 1 and whose columns each sum to m/n. The special case B(n)=T(n,n) is the much-studied Birkhoff-von Neumann polytope of doubly-stochastic matrices. Using a recent asymptotic enumeration of non-negative integer matrices (Canfield and McKay, 2007),… ▽ More Let m,n be positive integers. Define T(m,n) to be the transportation polytope consisting of the m x n non-negative real matrices whose rows each sum to 1 and whose columns each sum to m/n. The special case B(n)=T(n,n) is the much-studied Birkhoff-von Neumann polytope of doubly-stochastic matrices. Using a recent asymptotic enumeration of non-negative integer matrices (Canfield and McKay, 2007), we determine the asymptotic volume of T(m,n) as n goes to infinity, with m=m(n) such that m/n neither decreases nor increases too quickly. In particular, we give an asymptotic formula for the volume of B(n). △ Less

Submitted 16 May, 2007; originally announced May 2007.

Comments: 4 pages, 1 table

MSC Class: 05A16; 52B05

Asymptotic enumeration of integer matrices with constant row and column sums

Authors: E. Rodney Canfield, Brendan D. McKay

Abstract: Let s,t,m,n be positive integers such that sm=tn. Let M(m,s;n,t) be the number of m x n matrices over {0,1,2,...} with each row summing to s and each column summing to t. Equivalently, M(m,s;n,t) counts 2-way contingency tables of order m x n such that the row marginal sums are all s and the column marginal sums are all t. A third equivalent description is that M(m,s;n,t) is the number of semire… ▽ More Let s,t,m,n be positive integers such that sm=tn. Let M(m,s;n,t) be the number of m x n matrices over {0,1,2,...} with each row summing to s and each column summing to t. Equivalently, M(m,s;n,t) counts 2-way contingency tables of order m x n such that the row marginal sums are all s and the column marginal sums are all t. A third equivalent description is that M(m,s;n,t) is the number of semiregular labelled bipartite multigraphs with m vertices of degree s and n vertices of degree t. When m=n and s=t such matrices are also referred to as n x n magic squares with line sums equal to t. We prove a precise asymptotic formula for M(m,s;n,t) which is valid over a range of (m,s;n,t) in which m,n become infinite while remaining approximately equal and the average entry is not too small. This range includes the case where m/n, n/m, s/n and t/m are bounded from below. △ Less

Submitted 12 June, 2009; v1 submitted 20 March, 2007; originally announced March 2007.

Comments: 25 pages. This is a revised edition of 'Asymptotic enumeration of contingency tables with constant margins' submitted in March 2007

MSC Class: 05A16

Random dense bipartite graphs and directed graphs with specified degrees

Authors: Catherine Greenhill, Brendan D. McKay

Abstract: Let S and T be vectors of positive integers with the same sum. We study the uniform distribution on the space of simple bipartite graphs with degree sequence S in one part and T in the other; equivalently, binary matrices with row sums S and column sums T. In particular, we find precise formulae for the probabilities that a given bipartite graph is edge-disjoint from, a subgraph of, or an induce… ▽ More Let S and T be vectors of positive integers with the same sum. We study the uniform distribution on the space of simple bipartite graphs with degree sequence S in one part and T in the other; equivalently, binary matrices with row sums S and column sums T. In particular, we find precise formulae for the probabilities that a given bipartite graph is edge-disjoint from, a subgraph of, or an induced subgraph of a random graph in the class. We also give similar formulae for the uniform distribution on the set of simple directed graphs with out-degrees S and in-degrees T. In each case, the graphs or digraphs are required to be sufficiently dense, with the degrees varying within certain limits, and the subgraphs are required to be sufficiently sparse. Previous results were restricted to spaces of sparse graphs. Our theorems are based on an enumeration of bipartite graphs avoiding a given set of edges, proved by multidimensional complex integration. As a sample application, we determine the expected permanent of a random binary matrix with row sums S and column sums T. △ Less

Submitted 1 May, 2009; v1 submitted 21 January, 2007; originally announced January 2007.

Comments: Corrected the name of a cited author. A concise version has been accepted by Random Structures and Algorithms

MSC Class: 05C30; 05B20; 05C80; 15A52

Asymptotic enumeration of dense 0-1 matrices with specified line sums

Authors: E. Rodney Canfield, Catherine Greenhill, Brendan D. McKay

Abstract: Let S=(s_1,s_2,..., s_m) and T = (t_1,t_2,..., t_n) be vectors of non-negative integers with sum_{i=1}^{m} s_i = sum_{j=1}^n t_j. Let B(S,T) be the number of m*n matrices over {0,1} with j-th row sum equal to s_j for 1 <= j <= m and k-th column sum equal to t_k for 1 <= k <= n. Equivalently, B(S,T) is the number of bipartite graphs with m vertices in one part with degrees given by S, and n verti… ▽ More Let S=(s_1,s_2,..., s_m) and T = (t_1,t_2,..., t_n) be vectors of non-negative integers with sum_{i=1}^{m} s_i = sum_{j=1}^n t_j. Let B(S,T) be the number of m*n matrices over {0,1} with j-th row sum equal to s_j for 1 <= j <= m and k-th column sum equal to t_k for 1 <= k <= n. Equivalently, B(S,T) is the number of bipartite graphs with m vertices in one part with degrees given by S, and n vertices in the other part with degrees given by T. Most research on the asymptotics of B(S,T) has focused on the sparse case, where the best result is that of Greenhill, McKay and Wang (2006). In the case of dense matrices, the only precise result is for the case of equal row sums and equal column sums (Canfield and McKay, 2005). This paper extends the analytic methods used by the latter paper to the case where the row and column sums can vary within certain limits. Interestingly, the result can be expressed by the same formula which holds in the sparse case. △ Less

Submitted 20 January, 2007; v1 submitted 20 June, 2006; originally announced June 2006.

Comments: Multiple minor adjustments. Accepted by JCT-A

MSC Class: 05A16

Acyclic Digraphs and Eigenvalues of (0,1)-Matrices

Authors: Brendan D. McKay, Frederique E. Oggier, Gordon F. Royle, N. J. A. Sloane, Ian M. Wanless, Herbert S. Wilf

Abstract: We show that the number of acyclic directed graphs with n labeled vertices is equal to the number of n X n (0,1)-matrices whose eigenvalues are positive real numbers. We show that the number of acyclic directed graphs with n labeled vertices is equal to the number of n X n (0,1)-matrices whose eigenvalues are positive real numbers. △ Less

Submitted 27 October, 2003; originally announced October 2003.

Comments: 4 pages

MSC Class: Primary 05A15; secondary 15A18; 15A36

Journal ref: J. Integer Sequences 7 (2004), #04.3.3

Algorithms for Greechie Diagrams

Authors: Brendan D. McKay, Norman D. Megill, Mladen Pavicic

Abstract: We give a new algorithm for generating Greechie diagrams with arbitrary chosen number of atoms or blocks (with 2,3,4,... atoms) and provide a computer program for generating the diagrams. The results show that the previous algorithm does not produce every diagram and that it is at least 100,000 times slower. We also provide an algorithm and programs for checking of Greechie diagram passage by eq… ▽ More We give a new algorithm for generating Greechie diagrams with arbitrary chosen number of atoms or blocks (with 2,3,4,... atoms) and provide a computer program for generating the diagrams. The results show that the previous algorithm does not produce every diagram and that it is at least 100,000 times slower. We also provide an algorithm and programs for checking of Greechie diagram passage by equations defining varieties of orthomodular lattices and give examples from Hilbert lattices. At the end we discuss some additional characteristics of Greechie diagrams. △ Less

Submitted 21 January, 2001; v1 submitted 9 September, 2000; originally announced September 2000.

Comments: 23 pages, AMSLaTeX; This version: journal pages updated. Web page: http://m3k.grad.hr/pavicic

Journal ref: International Journal of Theoretical Physics, 39, 2381-2406 (2000)