Showing 1–11 of 11 results for author: Rutherford, C

The design spectrum of the Shrikhande graph

Authors: Anthony D. Forbes, Carrie G. Rutherford

Abstract: The design spectrum of a simple graph $G$ is the set of positive integers $n$ such that there exists an edgewise decomposition of the complete graph $K_n$ into $n(n - 1)/(2 |E(G)|)$ copies of $G$. The purpose of this short paper is to prove that the Shrikhande graph and the line graph of $K_{4,4}$ have the design spectrum $\{96t + 1: t = 1, 2, \dots\}$. The design spectrum of a simple graph $G$ is the set of positive integers $n$ such that there exists an edgewise decomposition of the complete graph $K_n$ into $n(n - 1)/(2 |E(G)|)$ copies of $G$. The purpose of this short paper is to prove that the Shrikhande graph and the line graph of $K_{4,4}$ have the design spectrum $\{96t + 1: t = 1, 2, \dots\}$. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Comments: 5 pages. The paper will be submitted to a journal. Some basic definitions have been lifted from other papers by the same authors

MSC Class: 05B25

A construction for regular-graph designs

Authors: Anthony Forbes, Carrie Rutherford

Abstract: A regular-graph design is a block design for which a pair $\{a,b\}$ of distinct points occurs in $λ+1$ or $λ$ blocks depending on whether $\{a,b\}$ is or is not an edge of a given $δ$-regular graph. Our paper describes a specific construction for regular-graph designs with $λ= 1$ and block size $δ+ 1$. We show that for $δ\in \{2,3\}$, certain necessary conditions for the existence of such a design… ▽ More A regular-graph design is a block design for which a pair $\{a,b\}$ of distinct points occurs in $λ+1$ or $λ$ blocks depending on whether $\{a,b\}$ is or is not an edge of a given $δ$-regular graph. Our paper describes a specific construction for regular-graph designs with $λ= 1$ and block size $δ+ 1$. We show that for $δ\in \{2,3\}$, certain necessary conditions for the existence of such a design with $n$ points are sufficient, with two exceptions in each case and two possible exceptions when $δ= 3$. We also construct designs of orders 105 and 117 for connected 4-regular graphs. △ Less

Submitted 13 January, 2025; v1 submitted 16 September, 2024; originally announced September 2024.

Comments: 18 pages. Some corrections have been made for this version. Reference added

MSC Class: 05B25

Design spectra for 6-regular graphs with 12 vertices

Authors: Anthony D. Forbes, Carrie G. Rutherford

Abstract: The design spectrum of a simple graph $G$ is the set of positive integers $n$ such that there exists an edgewise decomposition of the complete graph $K_n$ into $n(n - 1)/(2 |E(G)|)$ copies of $G$. We compute the design spectra for 7788 6-regular graphs with 12 vertices. The design spectrum of a simple graph $G$ is the set of positive integers $n$ such that there exists an edgewise decomposition of the complete graph $K_n$ into $n(n - 1)/(2 |E(G)|)$ copies of $G$. We compute the design spectra for 7788 6-regular graphs with 12 vertices. △ Less

Submitted 5 January, 2024; originally announced January 2024.

Comments: 261 pages. The paper without the appendix will be submitted to a journal

MSC Class: 05C51

Exascale Grid Optimization (ExaGO) toolkit: An open-source high-performance package for solving large-scale grid optimization problems

Authors: Shrirang Abhyankar, Slaven Peles, Tamara Becejac, Jesse Holzer, Asher Mancinelli, Cameron Rutherford

Abstract: This paper introduces the Exascale Grid Optimization (ExaGO) toolkit, a library for solving large-scale alternating current optimal power flow (ACOPF) problems including stochastic effects, security constraints and multi-period constraints. ExaGO can run on parallel distributed memory platforms, including massively parallel hardware accelerators such as graphical processing units (GPUs). We presen… ▽ More This paper introduces the Exascale Grid Optimization (ExaGO) toolkit, a library for solving large-scale alternating current optimal power flow (ACOPF) problems including stochastic effects, security constraints and multi-period constraints. ExaGO can run on parallel distributed memory platforms, including massively parallel hardware accelerators such as graphical processing units (GPUs). We present the details of the ExaGO library including its architecture, formulations, modeling details, and its performance for several optimization applications. △ Less

Submitted 20 March, 2022; originally announced March 2022.

Comments: 9 pages, 16 figures

Report number: PNNL-SA-167116

Generalized pentagonal geometries -- II

Authors: Anthony D. Forbes, Carrie G. Rutherford

Abstract: A generalized pentagonal geometry PENT($k$,$r$,$w$) is a partial linear space, where every line is incident with $k$ points, every point is incident with $r$ lines, and for each point, $x$, the set of points not collinear with $x$ forms the point set of a Steiner system $S(2,k,w)$ whose blocks are lines of the geometry. If $w = k$, the structure is called a pentagonal geometry and denoted by PENT(… ▽ More A generalized pentagonal geometry PENT($k$,$r$,$w$) is a partial linear space, where every line is incident with $k$ points, every point is incident with $r$ lines, and for each point, $x$, the set of points not collinear with $x$ forms the point set of a Steiner system $S(2,k,w)$ whose blocks are lines of the geometry. If $w = k$, the structure is called a pentagonal geometry and denoted by PENT($k$,$r$). The deficiency graph of a PENT($k$,$r$,$w$) has as its vertices the points of the geometry, and there is an edge between $x$ and $y$ precisely when $x$ and $y$ are not collinear. Our primary objective is to investigate generalized pentagonal geometries PENT($k$,$r$,$w$) where the deficiency graph has girth 4. We describe some construction methods, including a procedure that preserves deficiency graph connectedness, and we prove a number of theorems regarding the existence spectra for $k = 3$ and various values of $w$. In addition, we present some new PENT(4,$r$) (including PENT(4,25)) and PENT(5,$r$) with connected deficiency graphs. Consequently, we prove that there exist pentagonal geometries PENT($k$,$r$) with deficiency graphs of girth at least 5 for $r \ge 13$, $r$ congruent to 1 modulo 4 when $k = 4$, and for $r \ge 200000$, $r$ congruent to 0 or 1 modulo 5 when $k = 5$. We conclude with a discussion of appropriately defined identifying codes for pentagonal geometries. △ Less

Submitted 9 January, 2023; v1 submitted 26 November, 2021; originally announced November 2021.

Comments: 84 pages. Abstract changed. Lemmas and theorems in Sections 4 and 5 significantly improved. Many more directly constructed PENT(4,r). New section: Identifying codes for pentagonal geometries. The paper with the appendix omitted will be submitted to a journal

MSC Class: 05B25

Generalized pentagonal geometries

Authors: Anthony D. Forbes, Carrie G. Rutherford

Abstract: A pentagonal geometry PENT($k$, $r$) is a partial linear space, where every line is incident with $k$ points, every point is incident with $r$ lines, and for each point $x$, there is a line incident with precisely those points that are not collinear with $x$. Here we generalize the concept by allowing the points not collinear with $x$ to form the point set of a Steiner system $S(2,k,w)$ whose bloc… ▽ More A pentagonal geometry PENT($k$, $r$) is a partial linear space, where every line is incident with $k$ points, every point is incident with $r$ lines, and for each point $x$, there is a line incident with precisely those points that are not collinear with $x$. Here we generalize the concept by allowing the points not collinear with $x$ to form the point set of a Steiner system $S(2,k,w)$ whose blocks are lines of the geometry. △ Less

Submitted 18 April, 2021; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: 143 pages, 1 figure. An abridged version, with the Appendix omitted, will be submitted to a journal

MSC Class: 05B25

Mixing Time of Markov chain of the Knapsack Problem

Authors: Koko K. Kayibi, S. Pirzada, Carrie Rutherford

Abstract: To find the number of assignments of zeros and ones satisfying a specific Knapsack Problem is $\#P$ hard, so only approximations are envisageable. A Markov chain allowing uniform sampling of all possible solutions is given by Luby, Randall and Sinclair. In 2005, Morris and Sinclair, by using a flow argument, have shown that the mixing time of this Markov chain is $\mathcal{O}(n^{9/2+ε})$, for any… ▽ More To find the number of assignments of zeros and ones satisfying a specific Knapsack Problem is $\#P$ hard, so only approximations are envisageable. A Markov chain allowing uniform sampling of all possible solutions is given by Luby, Randall and Sinclair. In 2005, Morris and Sinclair, by using a flow argument, have shown that the mixing time of this Markov chain is $\mathcal{O}(n^{9/2+ε})$, for any $ε> 0$. By using a canonical path argument on the distributive lattice structure of the set of solutions, we obtain an improved bound, the mixing time is given as $τ_{_{x}}(ε) \leq n^{3} \ln (16 ε^{-1})$. △ Less

Submitted 11 March, 2018; originally announced March 2018.

Comments: 9 pages, 2 figures

MSC Class: 05C99; 11K99

An Algorithmic Proof of the Piff--Welsh Theorem on Transversal Matroid Representations

Authors: Carrie Rutherford, Robin Whitty

Abstract: A fundamental theorem of matroid theory establishes that a transversal matroid is representable over fields of any characteristic. It was proved in 1970 by Piff and Welsh: their proof is elegant and concise and, moveover, constructive. However it is far from being algorithmic, in terms of suggesting a step-by-step procedure for deriving a collection of vectors over a given base field representing… ▽ More A fundamental theorem of matroid theory establishes that a transversal matroid is representable over fields of any characteristic. It was proved in 1970 by Piff and Welsh: their proof is elegant and concise and, moveover, constructive. However it is far from being algorithmic, in terms of suggesting a step-by-step procedure for deriving a collection of vectors over a given base field representing the transversal matroid induced by a given set system. In this note we recast Piff and Welsh's proof in algorithmic form. △ Less

Submitted 20 July, 2017; originally announced July 2017.

MSC Class: 05B35

Some results on the structure and spectra of matrix-products

Authors: Murad Banaji, Carrie Rutherford

Abstract: We consider certain matrix-products where successive matrices in the product belong alternately to a particular qualitative class or its transpose. The main theorems relate structural and spectral properties of these matrix-products to the structure of underlying bipartite graphs. One consequence is a characterisation of caterpillars: a graph is a caterpillar if and only if all matrix-products ass… ▽ More We consider certain matrix-products where successive matrices in the product belong alternately to a particular qualitative class or its transpose. The main theorems relate structural and spectral properties of these matrix-products to the structure of underlying bipartite graphs. One consequence is a characterisation of caterpillars: a graph is a caterpillar if and only if all matrix-products associated with it have real nonnegative spectrum. Several other equivalences of this kind are proved. The work is inspired by certain questions in dynamical systems where such products arise naturally as Jacobian matrices, and the results have implications for the existence and stability of equilibria in these systems. △ Less

Submitted 24 February, 2015; v1 submitted 28 May, 2014; originally announced May 2014.

MSC Class: 05C50; 05C22; 15A18; 15B35

Pancyclicity when each cycle must pass exactly $k$ Hamilton cycle chords

Authors: Fatima Affif Chaouche, Carrie Rutherford, Robin Whitty

Abstract: It is known that $Θ(\log n)$ chords must be added to an $n$-cycle to produce a pancyclic graph; for vertex pancyclicity, where every vertex belongs to a cycle of every length, $Θ(n)$ chords are required. A possibly `intermediate' variation is the following: given $k$, $1\leq k\leq n$, how many chords must be added to ensure that there exist cycles of every length each of which passes exactly $k$ c… ▽ More It is known that $Θ(\log n)$ chords must be added to an $n$-cycle to produce a pancyclic graph; for vertex pancyclicity, where every vertex belongs to a cycle of every length, $Θ(n)$ chords are required. A possibly `intermediate' variation is the following: given $k$, $1\leq k\leq n$, how many chords must be added to ensure that there exist cycles of every length each of which passes exactly $k$ chords? For fixed $k$, we establish a lower bound of $Ω\big(n^{1/k}\big)$ on the growth rate. △ Less

Submitted 13 April, 2014; v1 submitted 14 December, 2012; originally announced December 2012.

P-matrices and signed digraphs

Authors: Murad Banaji, Carrie Rutherford

Abstract: We associate a signed digraph with a list of matrices whose dimensions permit them to be multiplied, and whose product is square. Cycles in this graph have a parity, that is, they are either even (termed e-cycles) or odd (termed o-cycles). The absence of e-cycles in the graph is shown to imply that the matrix product is a P0-matrix, i.e., all of its principal minors are nonnegative. Conversely, th… ▽ More We associate a signed digraph with a list of matrices whose dimensions permit them to be multiplied, and whose product is square. Cycles in this graph have a parity, that is, they are either even (termed e-cycles) or odd (termed o-cycles). The absence of e-cycles in the graph is shown to imply that the matrix product is a P0-matrix, i.e., all of its principal minors are nonnegative. Conversely, the presence of an e-cycle is shown to imply that there exists a list of matrices associated with the graph whose product fails to be a P0-matrix. The results generalise a number of previous results relating P- and P0-matrices to graphs. △ Less

Submitted 1 June, 2010; originally announced June 2010.