Showing 1–38 of 38 results for author: Dukes, P

On decomposition thresholds for odd-length cycles and other tripartite graphs

Authors: Darryn Bryant, Peter Dukes, Daniel Horsley, Barbara Maenhaut, Richard Montgomery

Abstract: An (edge) decomposition of a graph $G$ is a set of subgraphs of $G$ whose edge sets partition the edge set of $G$. Here we show, for each odd $\ell \geq 5$, that any graph $G$ of sufficiently large order $n$ with minimum degree at least $(\frac{1}{2}+\frac{1}{2\ell-4}+o(1))n$ has a decomposition into $\ell$-cycles if and only if $\ell$ divides $|E(G)|$ and each vertex of $G$ has even degree. This… ▽ More An (edge) decomposition of a graph $G$ is a set of subgraphs of $G$ whose edge sets partition the edge set of $G$. Here we show, for each odd $\ell \geq 5$, that any graph $G$ of sufficiently large order $n$ with minimum degree at least $(\frac{1}{2}+\frac{1}{2\ell-4}+o(1))n$ has a decomposition into $\ell$-cycles if and only if $\ell$ divides $|E(G)|$ and each vertex of $G$ has even degree. This threshold cannot be improved beyond $\frac{1}{2}+\frac{1}{2\ell-2}$. It was previously shown that the thresholds approach $\frac{1}{2}$ as $\ell$ becomes large, but our thresholds do so significantly more rapidly. Our methods can be applied to tripartite graphs more generally and we also obtain some bounds for decomposition thresholds of other tripartite graphs. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Comments: 15 pages, 0 figures

MSC Class: 05C51 (Primary) 05C70 (Secondary)

The balancing index over the alternating group

Authors: Peter Dukes, Georgia Penner

Abstract: The balancing index of a polynomial $f \in \mathbb{Z}[x_1,\dots,x_n]$ is the least positive sum of coefficients in an integer linear combination of permuted copies of $f$ which produces a symmetric polynomial. Here we consider the restricted problem in which only even permutations are used. The balancing index of a polynomial $f \in \mathbb{Z}[x_1,\dots,x_n]$ is the least positive sum of coefficients in an integer linear combination of permuted copies of $f$ which produces a symmetric polynomial. Here we consider the restricted problem in which only even permutations are used. △ Less

Submitted 14 August, 2024; originally announced August 2024.

MSC Class: 05C70; 05E05

Duplicated Steiner triple systems with self-orthogonal near resolutions

Authors: Peter J. Dukes, Esther R. Lamken

Abstract: A Steiner triple system, STS$(v)$, is a family of $3$-subsets (blocks) of a set of $v$ elements such that any two elements occur together in precisely one block. A collection of triples consisting of two copies of each block of an STS is called a duplicated Steiner triple system, DSTS. A resolvable (or near resolvable) DSTS is called self-orthogonal if every pair of distinct classes in the resolut… ▽ More A Steiner triple system, STS$(v)$, is a family of $3$-subsets (blocks) of a set of $v$ elements such that any two elements occur together in precisely one block. A collection of triples consisting of two copies of each block of an STS is called a duplicated Steiner triple system, DSTS. A resolvable (or near resolvable) DSTS is called self-orthogonal if every pair of distinct classes in the resolution has at most one block in common. We provide several methods to construct self-orthogonal near resolvable DSTS and settle the existence of such designs for all values of $v$ with only four possible exceptions. This addresses a recent question of Bryant, Davies and Neubecker. △ Less

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

Comments: Author list is changing, and the new author does not want the paper on arXiv

MSC Class: 05B07; 05B15

The linear system for Sudoku and a fractional completion threshold

Authors: Peter J. Dukes, Kate Nimegeers

Abstract: We study a system of linear equations associated with Sudoku latin squares. The coefficient matrix $M$ of the normal system has various symmetries arising from Sudoku. From this, we find the eigenvalues and eigenvectors of $M$, and compute a generalized inverse. Then, using linear perturbation methods, we obtain a fractional completion guarantee for sufficiently large and sparse rectangular-box Su… ▽ More We study a system of linear equations associated with Sudoku latin squares. The coefficient matrix $M$ of the normal system has various symmetries arising from Sudoku. From this, we find the eigenvalues and eigenvectors of $M$, and compute a generalized inverse. Then, using linear perturbation methods, we obtain a fractional completion guarantee for sufficiently large and sparse rectangular-box Sudoku puzzles. △ Less

Submitted 16 April, 2024; v1 submitted 23 October, 2023; originally announced October 2023.

MSC Class: 05B15; 05C70

Six Permutation Patterns Force Quasirandomness

Authors: Gabriel Crudele, Peter Dukes, Jonathan A. Noel

Abstract: A sequence $π_1,π_2,\dots$ of permutations is said to be "quasirandom" if the induced density of every permutation $σ$ in $π_n$ converges to $1/|σ|!$ as $n\to\infty$. We prove that $π_1,π_2,\dots$ is quasirandom if and only if the density of each permutation $σ$ in the set $$\{123,321,2143,3412,2413,3142\}$$ converges to $1/|σ|!$. Previously, the smallest cardinality of a set with this property, c… ▽ More A sequence $π_1,π_2,\dots$ of permutations is said to be "quasirandom" if the induced density of every permutation $σ$ in $π_n$ converges to $1/|σ|!$ as $n\to\infty$. We prove that $π_1,π_2,\dots$ is quasirandom if and only if the density of each permutation $σ$ in the set $$\{123,321,2143,3412,2413,3142\}$$ converges to $1/|σ|!$. Previously, the smallest cardinality of a set with this property, called a "quasirandom-forcing" set, was known to be between four and eight. In fact, we show that there is a single linear expression of the densities of the six permutations in this set which forces quasirandomness and show that this is best possible in the sense that there is no shorter linear expression of permutation densities with positive coefficients with this property. In the language of theoretical statistics, this expression provides a new nonparametric independence test for bivariate continuous distributions related to Spearman's $ρ$. △ Less

Submitted 3 October, 2024; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: 26 pages, 1 figure, 5 appendices included as ancillary files

Journal ref: Discrete Analysis, 2024:8, 26 pp

Extremal Bounds for Three-Neighbour Bootstrap Percolation in Dimensions Two and Three

Authors: Peter J. Dukes, Jonathan A. Noel, Abel E. Romer

Abstract: For $r\geq1$, the $r$-neighbour bootstrap process in a graph $G$ starts with a set of infected vertices and, in each time step, every vertex with at least $r$ infected neighbours becomes infected. The initial infection percolates if every vertex of $G$ is eventually infected. We exactly determine the minimum cardinality of a set that percolates for the $3$-neighbour bootstrap process when $G$ is a… ▽ More For $r\geq1$, the $r$-neighbour bootstrap process in a graph $G$ starts with a set of infected vertices and, in each time step, every vertex with at least $r$ infected neighbours becomes infected. The initial infection percolates if every vertex of $G$ is eventually infected. We exactly determine the minimum cardinality of a set that percolates for the $3$-neighbour bootstrap process when $G$ is a $3$-dimensional grid with minimum side-length at least $11$. We also characterize the integers $a$ and $b$ for which there is a set of cardinality $\frac{ab+a+b}{3}$ that percolates for the $3$-neighbour bootstrap process in the $a\times b$ grid; this solves a problem raised by Benevides, Bermond, Lesfari and Nisse [HAL Research Report 03161419v4, 2021]. △ Less

Submitted 30 May, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 45 pages

MSC Class: 05D99; 05C35; 82B43

Families of modular arithmetic progressions with an interval of distance multiplicities

Authors: Peter J Dukes, Tao Gaede

Abstract: Given a family $\mathcal{F}=\{A_1,\dots,A_s\}$ of subsets of $\mathbb{Z}_n$, define $Δ\mathcal{F}$ to be the multiset of all (cyclic) distances dist$(x,y)$, where $\{x,y\} \subset A_i$, $x \neq y$, for some $i=1,\dots,s$. Taking inspiration from a Euclidean distance problem of Erdős, we say that $\mathcal{F}$ is Erdős-deep if the multiplicities of distances that occur in $Δ\mathcal{F}$ are precise… ▽ More Given a family $\mathcal{F}=\{A_1,\dots,A_s\}$ of subsets of $\mathbb{Z}_n$, define $Δ\mathcal{F}$ to be the multiset of all (cyclic) distances dist$(x,y)$, where $\{x,y\} \subset A_i$, $x \neq y$, for some $i=1,\dots,s$. Taking inspiration from a Euclidean distance problem of Erdős, we say that $\mathcal{F}$ is Erdős-deep if the multiplicities of distances that occur in $Δ\mathcal{F}$ are precisely $1,2,\dots,k-1$ for some integer $k$. In the case $s=1$, it is known that a modular arithmetic progression in $\mathbb{Z}_n$ achieves this property (under mild conditions); conversely, APs are the only such sets, except for one sporadic case when $n=6$. Here, we consider in detail the case $s=2$. In particular, we classify Erdős-deep pairs $\{A_1,A_2\}$ when each $A_i$ is an arithmetic progression in $\mathbb{Z}_n$. We also give a construction of a much wider class of Erdős-deep families $\{A_1,\dots,A_s\}$ when $s$ is a square integer. △ Less

Submitted 10 August, 2022; originally announced August 2022.

MSC Class: 05B10; 11A05; 52C10

Balancing permuted copies of multigraphs and integer matrices

Authors: Coen del Valle, Peter J. Dukes

Abstract: Given a square matrix $A$ over the integers, we consider the $\mathbb{Z}$-module $M_A$ generated by the set of all matrices that are permutation-similar to $A$. Motivated by analogous problems on signed graph decompositions and block designs, we are interested in the completely symmetric matrices $a I + b J$ belonging to $M_A$. We give a relatively fast method to compute a generator for such matri… ▽ More Given a square matrix $A$ over the integers, we consider the $\mathbb{Z}$-module $M_A$ generated by the set of all matrices that are permutation-similar to $A$. Motivated by analogous problems on signed graph decompositions and block designs, we are interested in the completely symmetric matrices $a I + b J$ belonging to $M_A$. We give a relatively fast method to compute a generator for such matrices, avoiding the need for a very large canonical form over $\mathbb{Z}$. We consider several special cases in detail. In particular, the problem for symmetric matrices answers a question of Cameron and Cioabǎ on determining the eventual period for integers $λ$ such that the $λ$-fold complete graph $λK_n$ has an edge-decomposition into a given (multi)graph. △ Less

Submitted 1 June, 2023; v1 submitted 3 January, 2022; originally announced January 2022.

MSC Class: 05C70; 15B36

Constructions of Sarvate-Beam Group Divisible Designs

Authors: Peter J. Dukes, Joanna Niezen

Abstract: A balanced incomplete block design is a set system in which all pairs of distinct elements occur with a constant frequency. By contrast, a Sarvate-Beam design induces an interval of distinct frequencies on pairs. In this paper, we settle the existence of a Sarvate-Beam variant of group divisible designs of uniform type with block size three. A balanced incomplete block design is a set system in which all pairs of distinct elements occur with a constant frequency. By contrast, a Sarvate-Beam design induces an interval of distinct frequencies on pairs. In this paper, we settle the existence of a Sarvate-Beam variant of group divisible designs of uniform type with block size three. △ Less

Submitted 3 January, 2022; originally announced January 2022.

MSC Class: 05B07

An Update on the Existence of Kirkman Triple Systems with Subdesigns

Authors: Peter Dukes, Esther Lamken

Abstract: A Kirkman triple system of order $v$, KTS$(v)$, is a resolvable Steiner triple system on $v$ elements. In this paper, we investigate an open problem posed by Doug Stinson, namely the existence of KTS$(v)$ which contain as a subdesign a Steiner triple system of order $u$, an STS$(u)$. We present several different constructions for designs of this form. As a consequence, we completely settle the ext… ▽ More A Kirkman triple system of order $v$, KTS$(v)$, is a resolvable Steiner triple system on $v$ elements. In this paper, we investigate an open problem posed by Doug Stinson, namely the existence of KTS$(v)$ which contain as a subdesign a Steiner triple system of order $u$, an STS$(u)$. We present several different constructions for designs of this form. As a consequence, we completely settle the extremal case $v=2u+1$, for which a list of possible exceptions had remained for close to 30 years. Our new constructions also provide the first infinite classes for the more general problem. We reduce the other maximal case $v=2u+3$ to now three possible exceptions. In addition, we obtain results for other cases of the form $v=2u+w$ and also near $v=3u$. Our primary method introduces a new type of Kirkman frame which contains group divisible design subsystems. These subsystems can occur with different configurations, and we use two different varieties in our constructions. △ Less

Submitted 15 October, 2021; originally announced October 2021.

MSC Class: 05B07

Number cubes with consecutive line sums

Authors: Peter Dukes, Joanna Niezen

Abstract: We settle the existence of certain "anti-magic" cubes using combinatorial block designs and graph decompositions to align a handful of small examples. We settle the existence of certain "anti-magic" cubes using combinatorial block designs and graph decompositions to align a handful of small examples. △ Less

Submitted 23 June, 2021; originally announced June 2021.

MSC Class: 05B15

Combinatorial properties of the enhanced principal rank characteristic sequence over finite fields

Authors: Peter J. Dukes, Xavier Martínez-Rivera

Abstract: The enhanced principal rank characteristic sequence (epr-sequence) of a symmetric matrix $B \in \mathbb{F}^{n \times n}$ is defined as $\ell_1 \ell_2 \cdots \ell_n$, where $\ell_j \in \{\tt{A}, \tt{S}, \tt{N}\}$ according to whether all, some but not all, or none of the principal minors of order $j$ of $B$ are nonzero. Building upon the second author's recent classification of the epr-sequences of… ▽ More The enhanced principal rank characteristic sequence (epr-sequence) of a symmetric matrix $B \in \mathbb{F}^{n \times n}$ is defined as $\ell_1 \ell_2 \cdots \ell_n$, where $\ell_j \in \{\tt{A}, \tt{S}, \tt{N}\}$ according to whether all, some but not all, or none of the principal minors of order $j$ of $B$ are nonzero. Building upon the second author's recent classification of the epr-sequences of symmetric matrices over the field $\mathbb{F}=\mathbb{F}_2$, we initiate a study of the case $\mathbb{F}=\mathbb{F}_3$. Moreover, epr-sequences over finite fields are shown to have connections to Ramsey theory and coding theory. △ Less

Submitted 12 June, 2021; originally announced June 2021.

A lower bound on HMOLS with equal sized holes

Authors: Michael Bailey, Coen del valle, Peter J. Dukes

Abstract: It is known that $N(n)$, the maximum number of mutually orthogonal latin squares of order $n$, satisfies the lower bound $N(n) \ge n^{1/14.8}$ for large $n$. For $h\ge 2$, relatively little is known about the quantity $N(h^n)$, which denotes the maximum number of `HMOLS' or mutually orthogonal latin squares having a common equipartition into $n$ holes of a fixed size $h$. We generalize a differenc… ▽ More It is known that $N(n)$, the maximum number of mutually orthogonal latin squares of order $n$, satisfies the lower bound $N(n) \ge n^{1/14.8}$ for large $n$. For $h\ge 2$, relatively little is known about the quantity $N(h^n)$, which denotes the maximum number of `HMOLS' or mutually orthogonal latin squares having a common equipartition into $n$ holes of a fixed size $h$. We generalize a difference matrix method that had been used previously for explicit constructions of HMOLS. An estimate of R.M. Wilson on higher cyclotomic numbers guarantees our construction succeeds in suitably large finite fields. Feeding this into a generalized product construction, we are able to establish the lower bound $N(h^n) \ge (\log n)^{1/δ}$ for any $δ>2$ and all $n > n_0(h,δ)$. △ Less

Submitted 20 August, 2020; originally announced August 2020.

MSC Class: 05B15

Local Balance in Graph Decompositions

Authors: Flora C. Bowditch, Peter J. Dukes

Abstract: In a balanced graph decomposition, every vertex of the host graph appears in the same number of blocks. We propose the use of colored loops as a framework for unifying various other types of local balance conditions in graph decompositions. In the basic case where a single graph with colored loops is used as a block, an existence theory for such decompositions follows as a straightforward generali… ▽ More In a balanced graph decomposition, every vertex of the host graph appears in the same number of blocks. We propose the use of colored loops as a framework for unifying various other types of local balance conditions in graph decompositions. In the basic case where a single graph with colored loops is used as a block, an existence theory for such decompositions follows as a straightforward generalization of previous work on balanced graph decompositions. △ Less

Submitted 20 February, 2020; originally announced February 2020.

MSC Class: 05C51; 05B30

On the Algebraic Combinatorics of Injections and its Applications to Injection Codes

Authors: Peter J. Dukes, Ferdinand Ihringer, Nathan Lindzey

Abstract: We consider the algebraic combinatorics of the set of injections from a $k$-element set to an $n$-element set. In particular, we give a new combinatorial formula for the spherical functions of the Gelfand pair $(S_k \times S_n, \text{diag}(S_k) \times S_{n-k})$. We use this combinatorial formula to give new Delsarte linear programming bounds on the size of codes over injections. We consider the algebraic combinatorics of the set of injections from a $k$-element set to an $n$-element set. In particular, we give a new combinatorial formula for the spherical functions of the Gelfand pair $(S_k \times S_n, \text{diag}(S_k) \times S_{n-k})$. We use this combinatorial formula to give new Delsarte linear programming bounds on the size of codes over injections. △ Less

Submitted 10 December, 2019; originally announced December 2019.

Comments: 18 pages

On the minimum degree required for a triangle decomposition

Authors: Peter J. Dukes, Daniel Horsley

Abstract: We prove that, for sufficiently large $n$, every graph of order $n$ with minimum degree at least $0.852n$ has a fractional edge-decomposition into triangles. We do this by refining a method used by Dross to establish a bound of $0.9n$. By a result of Barber, Kühn, Lo and Osthus, our result implies that, for each $ε>0$, every graph of sufficiently large order $n$ with minimum degree at least… ▽ More We prove that, for sufficiently large $n$, every graph of order $n$ with minimum degree at least $0.852n$ has a fractional edge-decomposition into triangles. We do this by refining a method used by Dross to establish a bound of $0.9n$. By a result of Barber, Kühn, Lo and Osthus, our result implies that, for each $ε>0$, every graph of sufficiently large order $n$ with minimum degree at least $(0.852+ε)n$ has a triangle decomposition if and only if it has all even degrees and number of edges a multiple of three. △ Less

Submitted 16 January, 2020; v1 submitted 29 August, 2019; originally announced August 2019.

Comments: 15 pages, 0 figures

MSC Class: 05C70 (Primary) 05C72 (Secondary)

Some new block designs of dimension three

Authors: Coen del Valle, Peter J. Dukes

Abstract: The dimension of a block design is the maximum positive integer $d$ such that any $d$ of its points are contained in a proper subdesign. Pairwise balanced designs PBD$(v,K)$ have dimension at least two as long as not all points are on the same line. On the other hand, designs of dimension three appear to be very scarce. We study designs of dimension three with block sizes in $K=\{3,4\}$ or… ▽ More The dimension of a block design is the maximum positive integer $d$ such that any $d$ of its points are contained in a proper subdesign. Pairwise balanced designs PBD$(v,K)$ have dimension at least two as long as not all points are on the same line. On the other hand, designs of dimension three appear to be very scarce. We study designs of dimension three with block sizes in $K=\{3,4\}$ or $\{3,5\}$, obtaining several explicit constructions and one nonexistence result in the latter case. As applications, we obtain a result on dimension three triple systems having arbitrary index as well as symmetric latin squares which are covered in a similar sense by proper subsquares. △ Less

Submitted 19 July, 2019; originally announced July 2019.

MSC Class: 05B05; 05B07; 51E20

Leaves for packings with block size four

Authors: Yanxun Chang, Peter J. Dukes, Tao Feng

Abstract: We consider maximum packings of edge-disjoint $4$-cliques in the complete graph $K_n$. When $n \equiv 1$ or $4 \pmod{12}$, these are simply block designs. In other congruence classes, there are necessarily uncovered edges; we examine the possible `leave' graphs induced by those edges. We give particular emphasis to the case $n \equiv 0$ or $3 \pmod{12}$, when the leave is $2$-regular. Colbourn and… ▽ More We consider maximum packings of edge-disjoint $4$-cliques in the complete graph $K_n$. When $n \equiv 1$ or $4 \pmod{12}$, these are simply block designs. In other congruence classes, there are necessarily uncovered edges; we examine the possible `leave' graphs induced by those edges. We give particular emphasis to the case $n \equiv 0$ or $3 \pmod{12}$, when the leave is $2$-regular. Colbourn and Ling settled the case of Hamiltonian leaves in this case. We extend their construction and use several additional direct and recursive constructions to realize a variety of $2$-regular leaves. For various subsets $S \subseteq \{3,4,5,\dots\}$, we establish explicit lower bounds on $n$ to guarantee the existence of maximum packings with any possible leave whose cycle lengths belong to $S$. △ Less

Submitted 28 May, 2019; originally announced May 2019.

Comments: 19 pages plus supplementary file

MSC Class: 05B40

A lower bound on permutation codes of distance $n-1$

Authors: Sergey Bereg, Peter Dukes

Abstract: A classical recursive construction for mutually orthogonal latin squares (MOLS) is shown to hold more generally for a class of permutation codes of length $n$ and minimum distance $n-1$. When such codes of length $p+1$ are included as ingredients, we obtain a general lower bound $M(n,n-1) \ge n^{1.079}$ for large $n$, gaining a small improvement on the guarantee given from MOLS. A classical recursive construction for mutually orthogonal latin squares (MOLS) is shown to hold more generally for a class of permutation codes of length $n$ and minimum distance $n-1$. When such codes of length $p+1$ are included as ingredients, we obtain a general lower bound $M(n,n-1) \ge n^{1.079}$ for large $n$, gaining a small improvement on the guarantee given from MOLS. △ Less

Submitted 31 July, 2019; v1 submitted 11 February, 2019; originally announced February 2019.

MSC Class: 05B15

Constructions and uses of incomplete pairwise balanced designs

Authors: Peter J. Dukes, Esther R. Lamken

Abstract: We give explicit constructions for incomplete pairwise balanced designs IPBD$((v;w),K)$, or, equivalently, edge-decompositions of a difference of two cliques $K_v \setminus K_w$ into cliques whose sizes belong to the set $K$. Our constructions produce such designs whenever $v$ and $w$ satisfy the usual divisibility conditions, have ratio $v/w$ bounded away from the smallest value in $K$ minus one,… ▽ More We give explicit constructions for incomplete pairwise balanced designs IPBD$((v;w),K)$, or, equivalently, edge-decompositions of a difference of two cliques $K_v \setminus K_w$ into cliques whose sizes belong to the set $K$. Our constructions produce such designs whenever $v$ and $w$ satisfy the usual divisibility conditions, have ratio $v/w$ bounded away from the smallest value in $K$ minus one, say $v/w > k-1+ε$, for $k =\min K$ and $ε>0$, and are sufficiently large (depending on $K$ and $ε$). As a consequence, some new results are obtained on many related designs, including class-uniformly resolvable designs, incomplete mutually orthogonal latin squares, and group divisible designs. We also include several other applications that illustrate the power of using IPBDs as `templates'. △ Less

Submitted 20 September, 2018; originally announced September 2018.

MSC Class: 05B05; 05B15; 05C70

Incidence structures near configurations of type $(n_3)$

Authors: Peter Dukes, Kaoruko Iwasaki

Abstract: An $(n_3)$ configuration is an incidence structure equivalent to a linear hypergraph on $n$ vertices which is both 3-regular and 3-uniform. We investigate a variant in which one constraint, say 3-regularity, is present, and we allow exactly one line to have size four, exactly one line to have size two, and all other lines to have size three. In particular, we study planar (Euclidean or projective)… ▽ More An $(n_3)$ configuration is an incidence structure equivalent to a linear hypergraph on $n$ vertices which is both 3-regular and 3-uniform. We investigate a variant in which one constraint, say 3-regularity, is present, and we allow exactly one line to have size four, exactly one line to have size two, and all other lines to have size three. In particular, we study planar (Euclidean or projective) representations, settling the existence question and adapting Steinitz' theorem for this setting. △ Less

Submitted 24 April, 2018; v1 submitted 31 January, 2018; originally announced January 2018.

MSC Class: 52C35; 05B40

Indistinguishable quantum walks on graphs relative to a bipartite quantum walker

Authors: Phillip R. Dukes

Abstract: A distinguishability operator is defined for the continuous-time quantum walk (CTQW) of a bipartite quantum walker on two simply connected graphs, $W_{G_i,G_j} = U_{G_i}\left(t\right) \otimes U_{G_j}\left(t'\right) - U_{G_j}\left(t'\right) \otimes U_{G_i}\left(t\right)$, where $U_{G_i}\left(t\right)$ is the unitary CTQW operator for a labeled graph $G_i$ over a time interval $t$. The null space of… ▽ More A distinguishability operator is defined for the continuous-time quantum walk (CTQW) of a bipartite quantum walker on two simply connected graphs, $W_{G_i,G_j} = U_{G_i}\left(t\right) \otimes U_{G_j}\left(t'\right) - U_{G_j}\left(t'\right) \otimes U_{G_i}\left(t\right)$, where $U_{G_i}\left(t\right)$ is the unitary CTQW operator for a labeled graph $G_i$ over a time interval $t$. The null space of $W_{G_i,G_j}$ defines the vector space of initial bipartite states whose time development is either constant or only dependent on $t + t'$ and is invariant to which quantum walker subsystem goes with each graph. The set of null spaces corresponding with a set of $W_{G_i,G_j}$ have interesting relations as subspaces, intersections between subspaces, and subspaces of intersections. These relations are depicted as Euler diagrams for labeled graphs of three and four vertices. △ Less

Submitted 26 October, 2016; originally announced October 2016.

Comments: 10 pages, 4 figures, and 1 table

On the cone of weighted graphs generated by triangles

Authors: Coen del Valle, Peter Dukes, Kseniya Garaschuk

Abstract: Motivated by problems involving triangle-decompositions of graphs, we examine the facet structure of the cone $τ_n$ of weighted graphs on $n$ vertices generated by triangles. Our results include enumeration of facets for small $n$, a construction producing facets of $τ_{n+1}$ from facets of $τ_n$, and an arithmetic condition on entries of the normal vectors. We also point out that a copy of $τ_n$… ▽ More Motivated by problems involving triangle-decompositions of graphs, we examine the facet structure of the cone $τ_n$ of weighted graphs on $n$ vertices generated by triangles. Our results include enumeration of facets for small $n$, a construction producing facets of $τ_{n+1}$ from facets of $τ_n$, and an arithmetic condition on entries of the normal vectors. We also point out that a copy of $τ_n$ essentially appears via the perimeter inequalities at one vertex of the metric polytope. △ Less

Submitted 8 November, 2019; v1 submitted 21 August, 2016; originally announced August 2016.

MSC Class: 05C70; 05C72; 52B12

Fractional triangle decompositions of dense 3-partite graphs

Authors: Flora C. Bowditch, Peter J. Dukes

Abstract: We compute a minimum degree threshold sufficient for 3-partite graphs to admit a fractional triangle decomposition. Together with recent work of Barber, Kühn, Lo, Osthus and Taylor, this leads to bounds for exact decompositions and in particular the completion problem for sparse partial latin squares. Some extensions are considered as well. We compute a minimum degree threshold sufficient for 3-partite graphs to admit a fractional triangle decomposition. Together with recent work of Barber, Kühn, Lo, Osthus and Taylor, this leads to bounds for exact decompositions and in particular the completion problem for sparse partial latin squares. Some extensions are considered as well. △ Less

Submitted 9 September, 2016; v1 submitted 30 October, 2015; originally announced October 2015.

MSC Class: 05B15; 05C70

Continuous-time quantum walks over connected graphs, amplitudes and invariants

Authors: Phillip Dukes

Abstract: We examine the time dependent amplitude $ φ_{j}\left( t\right)$ at each vertex $j$ of a continuous-time quantum walk on the cycle $C_{n}$. In many cases the Lissajous curve of the real vs. imaginary parts of each $ φ_{j}\left( t\right)$ reveals interesting shapes of the space of time-accessible amplitudes. We find two invariants of continuous-time quantum walks. First, considering the rate at whic… ▽ More We examine the time dependent amplitude $ φ_{j}\left( t\right)$ at each vertex $j$ of a continuous-time quantum walk on the cycle $C_{n}$. In many cases the Lissajous curve of the real vs. imaginary parts of each $ φ_{j}\left( t\right)$ reveals interesting shapes of the space of time-accessible amplitudes. We find two invariants of continuous-time quantum walks. First, considering the rate at which each amplitude evolves in time we find the quantity $T = \displaystyle\sum_{j=0}^{n-1} \lvert\dfrac{d φ_{j}\left( t\right)}{d t}\rvert^{2}$ is time invariant. The value of $T$ for any initial state can be minimized with respect to a global phase factor $e^{i θt}$ to some value $T_{min}$. An operator for $T_{min}$ is defined. For any simply connected graph $g$ the highest possible value of $T_{min}$ with respect to the initial state is found to be $T_{min}^{max}=\left( \frac{λ_{max}}{2}\right)^{2}$ where $λ_{max}$ is the maximum eigenvalue in the Laplace spectrum of $g$. A second invariant is found in the time-dependent probability distribution $P_{j}\left(t\right) = \lvertφ_{j}\left(t\right)\rvert^{2}$ of any initial state satisfying $T_{min}^{max}$, with these conditions $\displaystyle\sum_{j=0}^{n-1}\left(P_{j}^{max} - P_{j}^{min}\right)^{2} = \dfrac{4}{n}$ for all simply connected graphs of $n$ vertices. △ Less

Submitted 2 November, 2015; v1 submitted 9 June, 2015; originally announced June 2015.

Comments: Second draft, comments welcomed. 10 pages, 6 figures

Pairwise balanced designs covered by bounded flats

Authors: Nicholas M. A. Benson, Peter J. Dukes

Abstract: We prove that for any $K$ and $d$, there exist, for all sufficiently large admissible $v$, a pairwise balanced design PBD$(v,K)$ of dimension $d$ for which all $d$-point-generated flats are bounded by a constant independent of $v$. We also tighten a prior upper bound for $K = \{3,4,5\}$, in which case there are no divisibility restrictions on the number of points. One consequence of this latter re… ▽ More We prove that for any $K$ and $d$, there exist, for all sufficiently large admissible $v$, a pairwise balanced design PBD$(v,K)$ of dimension $d$ for which all $d$-point-generated flats are bounded by a constant independent of $v$. We also tighten a prior upper bound for $K = \{3,4,5\}$, in which case there are no divisibility restrictions on the number of points. One consequence of this latter result is the construction of latin squares `covered' by small subsquares. △ Less

Submitted 27 October, 2014; originally announced October 2014.

MSC Class: 05B05; 05B25; 05C70

Mutually orthogonal latin squares with large holes

Authors: Peter J. Dukes, Christopher M. van Bommel

Abstract: Two latin squares are orthogonal if, when they are superimposed, every ordered pair of symbols appears exactly once. This definition extends naturally to `incomplete' latin squares each having a hole on the same rows, columns, and symbols. If an incomplete latin square of order $n$ has a hole of order $m$, then it is an easy observation that $n \ge 2m$. More generally, if a set of $t$ incomplete m… ▽ More Two latin squares are orthogonal if, when they are superimposed, every ordered pair of symbols appears exactly once. This definition extends naturally to `incomplete' latin squares each having a hole on the same rows, columns, and symbols. If an incomplete latin square of order $n$ has a hole of order $m$, then it is an easy observation that $n \ge 2m$. More generally, if a set of $t$ incomplete mutually orthogonal latin squares of order $n$ have a common hole of order $m$, then $n \ge (t+1)m$. In this article, we prove such sets of incomplete squares exist for all $n,m \gg 0$ satisfying $n \ge 8(t+1)^2 m$. △ Less

Submitted 24 October, 2014; originally announced October 2014.

MSC Class: 05B15; 05D05

Threefold triple systems with nonsingular $N_2$

Authors: Peter J. Dukes, Kseniya Garaschuk

Abstract: There are various results connecting ranks of incidence matrices of graphs and hypergraphs with their combinatorial structure. Here, we consider the generalized incidence matrix $N_2$ (defined by inclusion of pairs in edges) for one natural class of hypergraphs: the triple systems with index three. Such systems with nonsingular $N_2$ (over the rationals) appear to be quite rare, yet they can be co… ▽ More There are various results connecting ranks of incidence matrices of graphs and hypergraphs with their combinatorial structure. Here, we consider the generalized incidence matrix $N_2$ (defined by inclusion of pairs in edges) for one natural class of hypergraphs: the triple systems with index three. Such systems with nonsingular $N_2$ (over the rationals) appear to be quite rare, yet they can be constructed with PBD closure. In fact, a range of ranks near $\binom{v}{2}$ is obtained for large orders $v$. △ Less

Submitted 27 August, 2014; originally announced August 2014.

MSC Class: 05B07; 05C50

Generalized laminar families and certain forbidden matrices

Authors: Peter Dukes

Abstract: Recall that in a laminar family, any two sets are either disjoint or contained one in the other. Here, a parametrized weakening of this condition is introduced. Let us say that a set system $\mathcal{F} \subseteq 2^X$ is $t$-laminar if $A,B \in \mathcal{F}$ with $|A \cap B| \ge t$ implies $A \subseteq B$ or $B \subseteq A$. We obtain very close asymptotic bounds in terms of $n$ on the maximum size… ▽ More Recall that in a laminar family, any two sets are either disjoint or contained one in the other. Here, a parametrized weakening of this condition is introduced. Let us say that a set system $\mathcal{F} \subseteq 2^X$ is $t$-laminar if $A,B \in \mathcal{F}$ with $|A \cap B| \ge t$ implies $A \subseteq B$ or $B \subseteq A$. We obtain very close asymptotic bounds in terms of $n$ on the maximum size of a $2$-laminar family $\mathcal{F} \subseteq 2^{[n]}$. A construction for $3$-laminar families and a crude analysis for general $t$ are also given. △ Less

Submitted 11 June, 2014; originally announced June 2014.

Quantum state revivals in quantum walks on cycles

Authors: Phillip R. Dukes

Abstract: Recurrence in the classical random walk is well known and described by the Pólya number. For quantum walks, recurrence is similarly understood in terms of the probability of a localized quantum walker to return to its origin. Under certain circumstances the quantum walker may also return to an arbitrary initial quantum state in a finite number of steps. Quantum state revivals in quantum walks on c… ▽ More Recurrence in the classical random walk is well known and described by the Pólya number. For quantum walks, recurrence is similarly understood in terms of the probability of a localized quantum walker to return to its origin. Under certain circumstances the quantum walker may also return to an arbitrary initial quantum state in a finite number of steps. Quantum state revivals in quantum walks on circles using coin operators which are constant in time and uniform across the path have been described before but only incompletely. In this paper we find the general conditions for which full-quantum state revival will occur. △ Less

Submitted 14 November, 2014; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: 19 pages, 3 figures

Journal ref: Results in Physics Vol. 4, 2014, pgs. 189-197

Pairwise balanced designs with prescribed minimum dimension

Authors: Peter J. Dukes, Alan C. H. Ling

Abstract: The dimension of a linear space is the maximum positive integer $d$ such that any $d$ of its points generate a proper subspace. For a set $K$ of integers at least two, recall that a pairwise balanced design PBD$(v,K)$ is a linear space on $v$ points whose lines (or blocks) have sizes belonging to $K$. We show that, for any prescribed set of sizes $K$ and lower bound $d$ on the dimension, there exi… ▽ More The dimension of a linear space is the maximum positive integer $d$ such that any $d$ of its points generate a proper subspace. For a set $K$ of integers at least two, recall that a pairwise balanced design PBD$(v,K)$ is a linear space on $v$ points whose lines (or blocks) have sizes belonging to $K$. We show that, for any prescribed set of sizes $K$ and lower bound $d$ on the dimension, there exists a PBD$(v,K)$ of dimension at least $d$ for all sufficiently large and numerically admissible $v$. △ Less

Submitted 7 January, 2014; originally announced January 2014.

A three-factor product construction for mutually orthogonal latin squares

Authors: Peter J. Dukes, Alan C. H. Ling

Abstract: It is well known that mutually orthogonal latin squares, or MOLS, admit a (Kronecker) product construction. We show that, under mild conditions, `triple products' of MOLS can result in a gain of one square. In terms of transversal designs, the technique is to use a construction of Rolf Rees twice: once to obtain a coarse resolution of the blocks after one product, and next to reorganize classes an… ▽ More It is well known that mutually orthogonal latin squares, or MOLS, admit a (Kronecker) product construction. We show that, under mild conditions, `triple products' of MOLS can result in a gain of one square. In terms of transversal designs, the technique is to use a construction of Rolf Rees twice: once to obtain a coarse resolution of the blocks after one product, and next to reorganize classes and resolve the blocks of the second product. As consequences, we report a few improvements to the MOLS table and obtain a slight strengthening of the famous theorem of MacNeish. △ Less

Submitted 7 January, 2014; originally announced January 2014.

Semidefinite programming for permutation codes

Authors: Mathieu Bogaerts, Peter Dukes

Abstract: We initiate study of the Terwilliger algebra and related semidefinite programming techniques for the conjugacy scheme of the symmetric group Sym$(n)$. In particular, we compute orbits of ordered pairs on Sym$(n)$ acted upon by conjugation and inversion, explore a block diagonalization of the associated algebra, and obtain improved upper bounds on the size $M(n,d)$ of permutation codes of lengths u… ▽ More We initiate study of the Terwilliger algebra and related semidefinite programming techniques for the conjugacy scheme of the symmetric group Sym$(n)$. In particular, we compute orbits of ordered pairs on Sym$(n)$ acted upon by conjugation and inversion, explore a block diagonalization of the associated algebra, and obtain improved upper bounds on the size $M(n,d)$ of permutation codes of lengths up to 7. For instance, these techniques detect the nonexistence of the projective plane of order six via $M(6,5)<30$ and yield a new best bound $M(7,4) \le 535$ for a challenging open case. Each of these represents an improvement on earlier Delsarte linear programming results. △ Less

Submitted 7 November, 2013; v1 submitted 5 December, 2012; originally announced December 2012.

Comments: 13 pages, 4 tables

MSC Class: 05E10; 05E30 (primary); 94B65 (secondary)

A Sidon-type condition on set systems

Authors: Peter J. Dukes, Jane Wodlinger

Abstract: Consider families of $k$-subsets (or blocks) on a ground set of size $v$. Recall that if all $t$-subsets occur with the same frequency $λ$, one obtains a $t$-design with index $λ$. On the other hand, if all $t$-subsets occur with different frequencies, such a family has been called (by Sarvate and others) a $t$-adesign. An elementary observation shows that such families always exist for… ▽ More Consider families of $k$-subsets (or blocks) on a ground set of size $v$. Recall that if all $t$-subsets occur with the same frequency $λ$, one obtains a $t$-design with index $λ$. On the other hand, if all $t$-subsets occur with different frequencies, such a family has been called (by Sarvate and others) a $t$-adesign. An elementary observation shows that such families always exist for $v > k \ge t$. Here, we study the smallest possible maximum frequency $μ=μ(t,k,v)$. The exact value of $μ$ is noted for $t=1$ and an upper bound (best possible up to a constant multiple) is obtained for $t=2$ using PBD closure. Weaker, yet still reasonable asymptotic bounds on $μ$ for higher $t$ follow from a probabilistic argument. Some connections are made with the famous Sidon problem of additive number theory. △ Less

Submitted 6 November, 2013; v1 submitted 2 October, 2012; originally announced October 2012.

Comments: 6 pages

Nonexistence Results for Tight Block Designs

Authors: Peter Dukes, Jesse Short-Gershman

Abstract: Recall that combinatorial $2s$-designs admit a classical lower bound $b \ge \binom{v}{s}$ on their number of blocks, and that a design meeting this bound is called tight. A long-standing result of Bannai is that there exist only finitely many nontrivial tight $2s$-designs for each fixed $s \ge 5$, although no concrete understanding of `finitely many' is given. Here, we use the Smith Bound on appro… ▽ More Recall that combinatorial $2s$-designs admit a classical lower bound $b \ge \binom{v}{s}$ on their number of blocks, and that a design meeting this bound is called tight. A long-standing result of Bannai is that there exist only finitely many nontrivial tight $2s$-designs for each fixed $s \ge 5$, although no concrete understanding of `finitely many' is given. Here, we use the Smith Bound on approximate polynomial zeros to quantify this asymptotic nonexistence. Then, we outline and employ a computer search over the remaining parameter sets to establish (as expected) that there are in fact no such designs for $5 \le s \le 9$, although the same analysis could in principle be extended to larger $s$. Additionally, we obtain strong necessary conditions for existence in the difficult case $s=4$. △ Less

Submitted 16 October, 2011; originally announced October 2011.

Comments: 17 pages

MSC Class: 05B05; 05E30; 33D45

Fractional edge-decompositions of dense graphs and related eigenvalues

Authors: Peter J. Dukes

Abstract: We consider the problem of decomposing some $t$-uniform hypergraph $G$ into copies of another, say $H$, with nonnegative rational weights. For fixed $H$ on $k$ vertices, we show that this is always possible for all $G$ having sufficiently many vertices and `local density' at least $1-C(t)k^{-2t}$. In the case $t=2$ and $H=K_3$, we show that all large graphs with density at least $27/28$ admit a fr… ▽ More We consider the problem of decomposing some $t$-uniform hypergraph $G$ into copies of another, say $H$, with nonnegative rational weights. For fixed $H$ on $k$ vertices, we show that this is always possible for all $G$ having sufficiently many vertices and `local density' at least $1-C(t)k^{-2t}$. In the case $t=2$ and $H=K_3$, we show that all large graphs with density at least $27/28$ admit a fractional triangle decomposition. The proof relies on estimates of certain eigenvalues in the Johnson scheme. △ Less

Submitted 17 November, 2014; v1 submitted 7 August, 2011; originally announced August 2011.

MSC Class: 05B05; 05C70

Commutation classes of double wiring diagrams

Authors: Patrick Dukes, Joe Rusinko

Abstract: We describe a new method for computing the graph of commutation classes of double wiring diagrams. Using these methods we compute the graph for five strings or less which allows us to confirm a positivity conjecture of Fomin and Zelevinsky when n is less than five . We describe a new method for computing the graph of commutation classes of double wiring diagrams. Using these methods we compute the graph for five strings or less which allows us to confirm a positivity conjecture of Fomin and Zelevinsky when n is less than five . △ Less

Submitted 5 June, 2010; originally announced June 2010.

Comments: 10 pages

The structure of the exponent set for finite cyclic groups

Authors: P. J. Dukes, S. Herke

Abstract: We survey properties of the set of possible exponents of subsets of $\Z_n$ (equivalently, exponents of primitive circulant digraphs on $n$ vertices). Let $E_n$ denote this exponent set. We point out that $E_n$ contains the positive integers up to $\sqrt{n}$, the `large' exponents $\lfloor \frac{n}{3} \rfloor +1, \lfloor \frac{n}{2} \rfloor, n-1$, and for even $n \ge 4$, the additional value… ▽ More We survey properties of the set of possible exponents of subsets of $\Z_n$ (equivalently, exponents of primitive circulant digraphs on $n$ vertices). Let $E_n$ denote this exponent set. We point out that $E_n$ contains the positive integers up to $\sqrt{n}$, the `large' exponents $\lfloor \frac{n}{3} \rfloor +1, \lfloor \frac{n}{2} \rfloor, n-1$, and for even $n \ge 4$, the additional value $\frac{n}{2}-1$. It is easy to see that no exponent in $[\frac{n}{2}+1,n-2]$ is possible, and Wang and Meng have shown that no exponent in $[\lfloor \frac{n}{3}\rfloor +2,\frac{n}{2}-2]$ is possible. Extending this result, we show that the interval $[\lfloor \frac{n}{4} \rfloor +3, \lfloor \frac{n}{3} \rfloor -2]$ is another gap in the exponent set $E_n$. In particular, $11 \not\in E_{35}$ and this gap is nonempty for all $n \ge 57$. A conjecture is made about further gaps in $E_n$ for large $n$. △ Less

Submitted 16 August, 2011; v1 submitted 6 October, 2008; originally announced October 2008.

Comments: This paper has been withdrawn since it's primary content is now subsumed by new work of the authors and Peter Hegarty

MSC Class: 15A48; 11B75; 05C20