Showing 1–24 of 24 results for author: Dukes, J

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

Solving the n-color ice model

Authors: Patrick Addona, Ethan Bockenhauer, Ben Brubaker, Michael Cauthorn, Cianan Conefrey-Shinozaki, David Donze, William Dudarov, Jessamyn Dukes, Andrew Hardt, Cindy Li, Jigang Li, Yanli Liu, Neelima Puthanveetil, Zain Qudsi, Jordan Simons, Joseph Sullivan, Autumn Young

Abstract: Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named becaus… ▽ More Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named because their admissible vertices have adjacent edges labeled by one of $n$ colors with additional restrictions. The two-colored case specializes to the six-vertex model, in which case our results recover the familiar quadric condition of Baxter for solvability. The general $n$-color case includes important solutions to the Yang-Baxter equation like the evaluation modules for the quantum affine Lie algebra $U_q(\hat{\mathfrak{sl}}_n)$. Finally, we demonstrate the invariance of this class of solutions under natural transformations, including those associated with Drinfeld twisting. △ Less

Submitted 29 May, 2024; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 39 pages, 8 figures

MSC Class: 16T25 (Primary); 82B23; 20G42; 05E10 (secondary)

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

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

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

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

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

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.

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

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

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