Showing 1–11 of 11 results for author: Ducey, J

Integer diagonal forms for subset intersection relations

Authors: Joshua E. Ducey, Lauren Engelthaler, Jacob Gathje, Brant Jones, Isabel Pfaff, Jenna Plute

Abstract: For integers $0 \leq \ell \leq k_{r} \leq k_{c} \leq n$, we give a description for the Smith group of the incidence matrix with rows (columns) indexed by the size $k_r$ ($k_c$, respectively) subsets of an $n$-element set, where incidence means intersection in a set of size $\ell$. This generalizes work of Wilson and Bier from the 1990s which dealt only with the case where incidence meant inclusion… ▽ More For integers $0 \leq \ell \leq k_{r} \leq k_{c} \leq n$, we give a description for the Smith group of the incidence matrix with rows (columns) indexed by the size $k_r$ ($k_c$, respectively) subsets of an $n$-element set, where incidence means intersection in a set of size $\ell$. This generalizes work of Wilson and Bier from the 1990s which dealt only with the case where incidence meant inclusion. Our approach also describes the Smith group of any matrix in the $\mathbb{Z}$-linear span of these matrices so includes all integer matrices in the Bose-Mesner algebra of the Johnson association scheme: for example, the association matrices themselves as well as the Laplacian, signless Laplacian, Seidel adjacency matrix, etc. of the associated graphs. In particular, we describe the critical (also known as sandpile) groups of these graphs. The complexity of our formula grows with the parameters $k_{r}$ and $k_{c}$, but is independent of $n$ and $\ell$, which often leads to an efficient algorithm for computing these groups. We illustrate our techniques to give diagonal forms of matrices attached to the Kneser and Johnson graphs for subsets of size $3$, whose invariants have never before been described, and recover results from a variety of papers in the literature in a unified way. △ Less

Submitted 18 November, 2024; v1 submitted 13 October, 2023; originally announced October 2023.

Comments: 28 pages

MSC Class: 05C50; 05E30

A representation-theoretic computation of the rank of $1$-intersection incidence matrices: $2$-subsets vs. $n$-subsets

Authors: Joshua E. Ducey, Colby J. Sherwood

Abstract: Let $W_{k,n}^{i}(m)$ denote a matrix with rows and columns indexed by the $k$-subsets and $n$-subsets, respectively, of an $m$-element set. The row $S$, column $T$ entry of $W_{k,n}^{i}(m)$ is $1$ if $|S \cap T| = i$, and is $0$ otherwise. We compute the rank of the matrix $W_{2,n}^{1}(m)$ over any field by making use of the representation theory of the symmetric group. We also give a simple condi… ▽ More Let $W_{k,n}^{i}(m)$ denote a matrix with rows and columns indexed by the $k$-subsets and $n$-subsets, respectively, of an $m$-element set. The row $S$, column $T$ entry of $W_{k,n}^{i}(m)$ is $1$ if $|S \cap T| = i$, and is $0$ otherwise. We compute the rank of the matrix $W_{2,n}^{1}(m)$ over any field by making use of the representation theory of the symmetric group. We also give a simple condition under which $W_{k,n}^{i}(m)$ has large $p$-rank. △ Less

Submitted 5 May, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: 13 pages. Corrected the statement of Theorem 2.1, part (v), and consequently needed to modify the proof of the case "char(F)=2, m odd"

MSC Class: 05E18 (primary); 20C30 (secondary)

Critical group structure from the parameters of a strongly regular graph

Authors: Joshua E. Ducey, David L. Duncan, Wesley J. Engelbrecht, Jawahar V. Madan, Eric Piato, Christina S. Shatford, Angela Vichitbandha

Abstract: We give simple arithmetic conditions that force the Sylow $p$-subgroup of the critical group of a strongly regular graph to take a specific form. These conditions depend only on the parameters $(v, k, λ, μ)$ of the strongly regular graph under consideration. We give many examples, including how the theory can be used to compute the critical group of Conway's $99$-graph and to give an elementary ar… ▽ More We give simple arithmetic conditions that force the Sylow $p$-subgroup of the critical group of a strongly regular graph to take a specific form. These conditions depend only on the parameters $(v, k, λ, μ)$ of the strongly regular graph under consideration. We give many examples, including how the theory can be used to compute the critical group of Conway's $99$-graph and to give an elementary argument that no $srg(28,9,0,4)$ exists. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: 20 pages

MSC Class: 05C50

The critical group of the Kneser graph on $2$-subsets of an $n$-element set

Authors: Joshua E. Ducey, Ian Hill, Peter Sin

Abstract: In this paper we compute the critical group of the Kneser graph $KG(n,2)$. This is equivalent to computing the Smith normal form of a Laplacian matrix of this graph. In this paper we compute the critical group of the Kneser graph $KG(n,2)$. This is equivalent to computing the Smith normal form of a Laplacian matrix of this graph. △ Less

Submitted 20 April, 2023; v1 submitted 28 July, 2017; originally announced July 2017.

Comments: The statement of Lemma 2.2, part (4) was missing a case. This has been corrected, and it has no effect on the rest of the paper

MSC Class: 05C50

Journal ref: Linear Algebra and its Applications (2018) Volume 546, Pages 154-168

The Smith group and the critical group of the Grassmann graph of lines in finite projective space and of its complement

Authors: Joshua E. Ducey, Peter Sin

Abstract: We compute the elementary divisors of the adjacency and Laplacian matrices of the Grassmann graph on $2$-dimensional subspaces in a finite vector space. We also compute the corresponding invariants of the complementary graphs. We compute the elementary divisors of the adjacency and Laplacian matrices of the Grassmann graph on $2$-dimensional subspaces in a finite vector space. We also compute the corresponding invariants of the complementary graphs. △ Less

Submitted 5 June, 2017; originally announced June 2017.

Comments: 28 pages

MSC Class: 05C50

Journal ref: Bulletin of the Institute of Mathematics Academia Sinica 13 (4) (2018) 411-442

On the critical group of the missing Moore graph

Authors: Joshua E. Ducey

Abstract: We consider the critical group of a hypothetical Moore graph of diameter $2$ and valency $57$. Determining this group is equivalent to finding the Smith normal form of the Laplacian matrix of such a graph. We show that all of the Sylow $p$-subgroups of the critical group must be elementary abelian with the exception of $p = 5$. We prove that the $5$-rank of the Laplacian matrix determines the crit… ▽ More We consider the critical group of a hypothetical Moore graph of diameter $2$ and valency $57$. Determining this group is equivalent to finding the Smith normal form of the Laplacian matrix of such a graph. We show that all of the Sylow $p$-subgroups of the critical group must be elementary abelian with the exception of $p = 5$. We prove that the $5$-rank of the Laplacian matrix determines the critical group up to two possibilities. △ Less

Submitted 6 October, 2016; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: 9 pages, minor corrections

MSC Class: 05C50

The Smith and Critical Groups of the Square Rook's Graph and its Complement

Authors: Joshua E. Ducey, Jonathan Gerhard, Noah Watson

Abstract: Let $R_{n}$ denote the graph with vertex set consisting of the squares of an $n \times n$ grid, with two squares of the grid adjacent when they lie in the same row or column. This is the square rook's graph, and can also be thought of as the Cartesian product of two complete graphs of order $n$, or the line graph of the complete bipartite graph $K_{n,n}$. In this paper we compute the Smith group a… ▽ More Let $R_{n}$ denote the graph with vertex set consisting of the squares of an $n \times n$ grid, with two squares of the grid adjacent when they lie in the same row or column. This is the square rook's graph, and can also be thought of as the Cartesian product of two complete graphs of order $n$, or the line graph of the complete bipartite graph $K_{n,n}$. In this paper we compute the Smith group and critical group of the graph $R_{n}$ and its complement. This is equivalent to determining the Smith normal form of both the adjacency and Laplacian matrix of each of these graphs. In doing so we verify a 1986 conjecture of Rushanan. △ Less

Submitted 23 July, 2015; originally announced July 2015.

MSC Class: 05C50

Integer invariants of abelian Cayley graphs

Authors: Joshua E. Ducey, Deelan M. Jalil

Abstract: Let $G$ be a finite abelian group, let $E$ be a subset of $G$, and form the Cayley (directed) graph of $G$ with connecting set $E$. We explain how, for various matrices associated to this graph, the spectrum can be used to give information on the Smith normal form. This technique is applied to several interesting examples, including matrices in the Bose-Mesner algebra of the Hamming association sc… ▽ More Let $G$ be a finite abelian group, let $E$ be a subset of $G$, and form the Cayley (directed) graph of $G$ with connecting set $E$. We explain how, for various matrices associated to this graph, the spectrum can be used to give information on the Smith normal form. This technique is applied to several interesting examples, including matrices in the Bose-Mesner algebra of the Hamming association scheme $H(n,q)$. We also recover results of Bai and Jacobson-Niedermaier-Reiner on the critical group of a Cartesian product of complete graphs. △ Less

Submitted 12 December, 2013; v1 submitted 10 August, 2013; originally announced August 2013.

Comments: 8 pages. Many small changes, mostly to make references more precise and to explain notation and terminology. The biggest changes are to Section 3, where we are now more careful with the statements of the theorems and their proofs

MSC Class: 05C50

Integer invariants of an incidence matrix related to Rota's basis conjecture

Authors: Stephanie Bittner, Joshua Ducey, Xuyi Guo, Minah Oh, Adam Zweber

Abstract: We compute the spectrum and Smith normal form of the incidence matrix of disjoint transversals, a combinatorial object closely related to the n-dimensional case of Rota's basis conjecture. We compute the spectrum and Smith normal form of the incidence matrix of disjoint transversals, a combinatorial object closely related to the n-dimensional case of Rota's basis conjecture. △ Less

Submitted 30 April, 2013; v1 submitted 7 April, 2013; originally announced April 2013.

Comments: v2. Minor changes, added a reference

MSC Class: 05B20; 05C50

The Elementary Divisors of the Incidence Matrix of Skew Lines in PG(3,q)

Authors: Andries E. Brouwer, Joshua E. Ducey, Peter Sin

Abstract: The elementary divisors of the incidence matrix of lines in PG(3,q) are computed, where two lines are incident if and only if they are skew. The elementary divisors of the incidence matrix of lines in PG(3,q) are computed, where two lines are incident if and only if they are skew. △ Less

Submitted 6 October, 2011; v1 submitted 28 February, 2011; originally announced March 2011.

Comments: 13 pages. The results of this paper supersede those in the paper arXiv:math/1001.2551 V2. Minor corrections

MSC Class: 05B20; 05E30 (Primary) 20C33; 51E20 (Secondary)

The Elementary Divisors of the Incidence Matrices of Skew Lines in PG(3,p)

Authors: Joshua Ducey, Peter Sin

Abstract: The elementary divisors of the incidence matrices of lines in $PG(3,p)$ are computed, where two lines are incident if and only if they are skew. The elementary divisors of the incidence matrices of lines in $PG(3,p)$ are computed, where two lines are incident if and only if they are skew. △ Less

Submitted 14 January, 2010; originally announced January 2010.

Comments: 9 pages

MSC Class: 05B20; 05E18; 20C33

Journal ref: Proc. Amer. Math. Soc. 140 (2012) 2561-2573