Showing 1–14 of 14 results for author: Griggs, T

Cycle switching in Steiner triple systems of order 19

Authors: Grahame Erskine, Terry S. Griggs

Abstract: Cycle switching is a particular form of transformation applied to isomorphism classes of a Steiner triple system of a given order $v$ (an $STS(v)$), yielding another $STS(v)$. This relationship may be represented by an undirected graph. An $STS(v)$ admits cycles of lengths $4,6,\ldots,v-7$ and $v-3$. In the particular case of $v=19$, it is known that the full switching graph, allowing switching of… ▽ More Cycle switching is a particular form of transformation applied to isomorphism classes of a Steiner triple system of a given order $v$ (an $STS(v)$), yielding another $STS(v)$. This relationship may be represented by an undirected graph. An $STS(v)$ admits cycles of lengths $4,6,\ldots,v-7$ and $v-3$. In the particular case of $v=19$, it is known that the full switching graph, allowing switching of cycles of any length, is connected. We show that if we restrict switching to only one of the possible cycle lengths, in all cases the switching graph is disconnected (even if we ignore those $STS(19)$s which have no cycle of the given length). Moreover, in a number of cases we find intriguing connected components in the switching graphs which exhibit unexpected symmetries. Our method utilises an algorithm for determining connected components in a very large implicitly defined graph which is more efficient than previous approaches, avoiding the necessity of computing canonical labellings for a large proportion of the systems. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 13 pages

MSC Class: 05B07

Mélange: Cost Efficient Large Language Model Serving by Exploiting GPU Heterogeneity

Authors: Tyler Griggs, Xiaoxuan Liu, Jiaxiang Yu, Doyoung Kim, Wei-Lin Chiang, Alvin Cheung, Ion Stoica

Abstract: Large language models (LLMs) are increasingly integrated into many online services, yet they remain cost-prohibitive to deploy due to the requirement of expensive GPU instances. Prior work has addressed the high cost of LLM serving by improving the inference engine, but less attention has been given to selecting the most cost-efficient GPU type(s) for a specific LLM service. There is a large and g… ▽ More Large language models (LLMs) are increasingly integrated into many online services, yet they remain cost-prohibitive to deploy due to the requirement of expensive GPU instances. Prior work has addressed the high cost of LLM serving by improving the inference engine, but less attention has been given to selecting the most cost-efficient GPU type(s) for a specific LLM service. There is a large and growing landscape of GPU types and, within these options, higher cost does not always lead to increased performance. Instead, through a comprehensive investigation, we find that three key LLM service characteristics (request size, request rate, SLO) strongly influence GPU cost efficiency, and differing GPU types are most cost efficient for differing LLM service settings. As a result, the most cost-efficient allocation for a given service is typically a mix of heterogeneous GPU types. Based on this analysis, we introduce Mélange, a GPU allocation framework that navigates these diverse LLM service characteristics and heterogeneous GPU option space to automatically and efficiently derive the minimal-cost GPU allocation for a given LLM service. We formulate the GPU allocation task as a cost-aware bin packing problem where GPUs are bins and items are slices of the service workload. Our formulation's constraints account for a service's unique characteristics, allowing Mélange to be flexible to support diverse service settings and heterogeneity-aware to adapt the GPU allocation to a specific service. Compared to using only a single GPU type, Mélange reduces deployment costs by up to 77% in conversational settings, 33% in document-based settings, and 51% in a mixed setting. △ Less

Submitted 27 June, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Properties of Steiner triple systems of order 21

Authors: Grahame Erskine, Terry S. Griggs

Abstract: Properties of the 62,336,617 Steiner triple systems of order 21 with a non-trivial automorphism group are examined. In particular, there are 28 which have no parallel class, six that are 4-chromatic, five that are 3-balanced, 20 that avoid the mitre, 21 that avoid the crown, one that avoids the hexagon and two that avoid the prism. All systems contain the grid. None have a block intersection graph… ▽ More Properties of the 62,336,617 Steiner triple systems of order 21 with a non-trivial automorphism group are examined. In particular, there are 28 which have no parallel class, six that are 4-chromatic, five that are 3-balanced, 20 that avoid the mitre, 21 that avoid the crown, one that avoids the hexagon and two that avoid the prism. All systems contain the grid. None have a block intersection graph that is 3-existentially closed. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 12 pages

MSC Class: 05B07

Mutually avoiding Eulerian circuits

Authors: Grahame Erskine, Terry Griggs, Robert Lewis, James Tuite

Abstract: Two Eulerian circuits, both starting and ending at the same vertex, are avoiding if at every other point of the circuits they are at least distance 2 apart. An Eulerian graph which admits two such avoiding circuits starting from any vertex is said to be doubly Eulerian. The motivation for this definition is that the extremal Eulerian graphs, i.e. the complete graphs on an odd number of vertices an… ▽ More Two Eulerian circuits, both starting and ending at the same vertex, are avoiding if at every other point of the circuits they are at least distance 2 apart. An Eulerian graph which admits two such avoiding circuits starting from any vertex is said to be doubly Eulerian. The motivation for this definition is that the extremal Eulerian graphs, i.e. the complete graphs on an odd number of vertices and the cycles, are not doubly Eulerian. We prove results about doubly Eulerian graphs and identify those that are the `densest' and `sparsest' in terms of the number of edges. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Comments: 22 pages; 9 figures

MSC Class: 05C45

Good point sequencings of Steiner triple systems

Authors: Grahame Erskine, Terry Griggs

Abstract: An l-good sequencing of a Steiner triple system of order v, STS(v), is a permutation of the points of the system such that no l consecutive points in the permutation contains a block. It is known that every STS(v) with v > 3 has a 3-good sequencing. It is proved that every STS(v) with v >= 13 has a 4-good sequencing and every 3-chromatic STS(v) with v >= 15 has a 5-good sequencing. Computational r… ▽ More An l-good sequencing of a Steiner triple system of order v, STS(v), is a permutation of the points of the system such that no l consecutive points in the permutation contains a block. It is known that every STS(v) with v > 3 has a 3-good sequencing. It is proved that every STS(v) with v >= 13 has a 4-good sequencing and every 3-chromatic STS(v) with v >= 15 has a 5-good sequencing. Computational results for Steiner triple systems of small order are also given. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 9 pages

MSC Class: 05B07

Fragments in symmetric configurations with block size 3

Authors: Grahame Erskine, Terry Griggs, Jozef Širáň

Abstract: We begin the study of collections of three blocks which can occur in a symmetric configuration with block size 3, $v_3$. Formulae are derived for the number of occurrences of these and it is shown that the triangle, i.e. abf, ace, bcd is a basis. It is also shown that symmetric configurations without triangles exist if and only if $v=15$ or $v \geq 17$. Such configurations containing "many" triang… ▽ More We begin the study of collections of three blocks which can occur in a symmetric configuration with block size 3, $v_3$. Formulae are derived for the number of occurrences of these and it is shown that the triangle, i.e. abf, ace, bcd is a basis. It is also shown that symmetric configurations without triangles exist if and only if $v=15$ or $v \geq 17$. Such configurations containing "many" triangles are also discussed and a complete analysis of the triangle content of those with a cyclic automorphism is given. △ Less

Submitted 15 August, 2021; originally announced August 2021.

Comments: 9 pages, 4 figures

MSC Class: 05B30

Existence results for pentagonal geometries

Authors: Anthony D. Forbes, Terry S. Griggs, Klara Stokes

Abstract: New results on pentagonal geometries PENT(k,r) with block sizes k = 3 or k = 4 are given. In particular we completely determine the existence spectra for PENT(3,r) systems with the maximum number of opposite line pairs as well as those without any opposite line pairs. A wide-ranging result about PENT(3,r) with any number of opposite line pairs is proved. We also determine the existence spectrum of… ▽ More New results on pentagonal geometries PENT(k,r) with block sizes k = 3 or k = 4 are given. In particular we completely determine the existence spectra for PENT(3,r) systems with the maximum number of opposite line pairs as well as those without any opposite line pairs. A wide-ranging result about PENT(3,r) with any number of opposite line pairs is proved. We also determine the existence spectrum of PENT(4,r) systems with eleven possible exceptions. △ Less

Submitted 17 July, 2020; originally announced July 2020.

MSC Class: 05B25; 51E12

Designs for graphs with six vertices and ten edges -- II

Authors: Anthony D. Forbes, Terry S. Griggs

Abstract: The design spectrum has been determined for ten of the 15 graphs with six vertices and ten edges. In this paper we solve the design spectrum problem for the remaining five graphs with three possible exceptions. The design spectrum has been determined for ten of the 15 graphs with six vertices and ten edges. In this paper we solve the design spectrum problem for the remaining five graphs with three possible exceptions. △ Less

Submitted 19 April, 2020; originally announced April 2020.

Comments: 26 pages, including 15-page Appendix. The paper will be submitted to a journal

MSC Class: 05C51

Colouring problems for symmetric configurations with block size 3

Authors: Grahame Erskine, Terry Griggs, Jozef Širáň

Abstract: The study of symmetric configurations $v_3$ with block size 3 has a long and rich history. In this paper we consider two colouring problems which arise naturally in the study of these structures. The first of these is weak colouring, in which no block is monochromatic; the second is strong colouring, in which every block is multichromatic. The former has been studied before in relation to blocking… ▽ More The study of symmetric configurations $v_3$ with block size 3 has a long and rich history. In this paper we consider two colouring problems which arise naturally in the study of these structures. The first of these is weak colouring, in which no block is monochromatic; the second is strong colouring, in which every block is multichromatic. The former has been studied before in relation to blocking sets. Results are proved on the possible sizes of blocking sets and we begin the investigation of strong colourings. We also show that the known $21_3$ and $22_3$ configurations without a blocking set are unique and make a complete enumeration of all non-isomorphic $20_3$ configurations. We discuss the concept of connectivity in relation to symmetric configurations and complete the determination of the spectrum of 2-connected symmetric configurations without a blocking set. A number of open problems are presented. △ Less

Submitted 21 March, 2021; v1 submitted 9 April, 2020; originally announced April 2020.

Comments: 23 pages, 3 figures. Updated to reference previous results on blocking sets

MSC Class: 05B30; 05C15

Journal ref: J. Combin. Des. (2021), 1--27

On the upper embedding of Steiner triple systems and Latin squares

Authors: Terry S. Griggs, Thomas A. McCourt, Jozef Siran

Abstract: It is proved that for any prescribed orientation of the triples of either a Steiner triple system or a Latin square of odd order, there exists an embedding in an orientable surface with the triples forming triangular faces and one extra large face. It is proved that for any prescribed orientation of the triples of either a Steiner triple system or a Latin square of odd order, there exists an embedding in an orientable surface with the triples forming triangular faces and one extra large face. △ Less

Submitted 13 November, 2019; originally announced November 2019.

Comments: arXiv admin note: text overlap with arXiv:1904.02919

MSC Class: 05B07; 05B15; 05C10

On the upper embedding of symmetric configurations with block size 3

Authors: Grahame Erskine, Terry Griggs, Jozef Širáň

Abstract: We consider the problem of embedding a symmetric configuration with block size 3 in an orientable surface in such a way that the blocks of the configuration form triangular faces and there is only one extra large face. We develop a sufficient condition for such an embedding to exist given any orientation of the configuration, and show that this condition is satisfied for all configurations on up t… ▽ More We consider the problem of embedding a symmetric configuration with block size 3 in an orientable surface in such a way that the blocks of the configuration form triangular faces and there is only one extra large face. We develop a sufficient condition for such an embedding to exist given any orientation of the configuration, and show that this condition is satisfied for all configurations on up to 19 points. We also show that there exists a configuration on 21 points which is not embeddable in any orientation. As a by-product, we give a revised table of numbers of configurations, correcting the published figure for 19 points. We give a number of open questions about embeddability of configurations on larger numbers of points. △ Less

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

Comments: 9 pages; amended journal version

MSC Class: 05B30; 05C10

Journal ref: Discrete Mathematics Volume 343, Issue 4, April 2020, 111774

Clique-partitioned graphs

Authors: Grahame Erskine, Terry Griggs, Jozef Širáň

Abstract: A graph $G$ of order $nv$ where $n\geq 2$ and $v\geq 2$ is said to be weakly $(n,v)$-clique-partitioned if its vertex set can be decomposed in a unique way into $n$ vertex-disjoint $v$-cliques. It is strongly $(n,v)$-clique-partitioned if in addition, the only $v$-cliques of $G$ are the $n$ cliques in the decomposition. We determine the structure of such graphs which have the largest possible numb… ▽ More A graph $G$ of order $nv$ where $n\geq 2$ and $v\geq 2$ is said to be weakly $(n,v)$-clique-partitioned if its vertex set can be decomposed in a unique way into $n$ vertex-disjoint $v$-cliques. It is strongly $(n,v)$-clique-partitioned if in addition, the only $v$-cliques of $G$ are the $n$ cliques in the decomposition. We determine the structure of such graphs which have the largest possible number of edges. △ Less

Submitted 1 April, 2022; v1 submitted 3 September, 2018; originally announced September 2018.

Comments: 16 pages

MSC Class: 05C35

Journal ref: Discrete Applied Math. 314 (2022) 238--248

Theta Graph Designs

Authors: Anthony D. Forbes, Terry S. Griggs, Tamsin J. Forbes

Abstract: We solve the design spectrum problem for all theta graphs with 10, 11, 12, 13, 14 and 15 edges We solve the design spectrum problem for all theta graphs with 10, 11, 12, 13, 14 and 15 edges △ Less

Submitted 19 September, 2017; v1 submitted 4 March, 2017; originally announced March 2017.

Comments: 88 pages (including 74-page Appendix). Abridged version in Journal of Algorithms and Computation, volume 49

MSC Class: 05C51

Distributive and anti-distributive Mendelsohn triple systems

Authors: Diane M. Donovan, Terry S. Griggs, Thomas A. McCourt, Jakub Opršal, David Stanovský

Abstract: We prove that the existence spectrum of Mendelsohn triple systems whose associated quasigroups satisfy distributivity corresponds to the Loeschian numbers, and provide some enumeration results. We do this by considering a description of the quasigroups in terms of commutative Moufang loops. In addition we provide constructions of Mendelsohn quasigroups that fail distributivity for as many combin… ▽ More We prove that the existence spectrum of Mendelsohn triple systems whose associated quasigroups satisfy distributivity corresponds to the Loeschian numbers, and provide some enumeration results. We do this by considering a description of the quasigroups in terms of commutative Moufang loops. In addition we provide constructions of Mendelsohn quasigroups that fail distributivity for as many combinations of elements as possible. These systems are analogues of Hall triple systems and anti-mitre Steiner triple systems respectively. △ Less

Submitted 5 June, 2015; v1 submitted 19 November, 2014; originally announced November 2014.

MSC Class: 20N05; 05B07

Journal ref: Can. Math. Bull. 59 (2016) 36-49