-
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.
-
The Active Asteroids Citizen Science Program: Overview and First Results
Authors:
Colin Orion Chandler,
Chadwick A. Trujillo,
William J. Oldroyd,
Jay K. Kueny,
William A. Burris,
Henry H. Hsieh,
Jarod A. DeSpain,
Nima Sedaghat,
Scott S. Sheppard,
Kennedy A. Farrell,
David E. Trilling,
Annika Gustafsson,
Mark Jesus Mendoza Magbanua,
Michele T. Mazzucato,
Milton K. D. Bosch,
Tiffany Shaw-Diaz,
Virgilio Gonano,
Al Lamperti,
José A. da Silva Campos,
Brian L. Goodwin,
Ivan A. Terentev,
Charles J. A. Dukes,
Sam Deen
Abstract:
We present the Citizen Science program Active Asteroids and describe discoveries stemming from our ongoing project. Our NASA Partner program is hosted on the Zooniverse online platform and launched on 2021 August 31, with the goal of engaging the community in the search for active asteroids -- asteroids with comet-like tails or comae. We also set out to identify other unusual active solar system o…
▽ More
We present the Citizen Science program Active Asteroids and describe discoveries stemming from our ongoing project. Our NASA Partner program is hosted on the Zooniverse online platform and launched on 2021 August 31, with the goal of engaging the community in the search for active asteroids -- asteroids with comet-like tails or comae. We also set out to identify other unusual active solar system objects, such as active Centaurs, active quasi-Hilda asteroids, and Jupiter-family comets (JFCs). Active objects are rare in large part because they are difficult to identify, so we ask volunteers to assist us in searching for active bodies in our collection of millions of images of known minor planets. We produced these cutout images with our project pipeline that makes use of publicly available Dark Energy Camera (DECam) data. Since the project launch, roughly 8,300 volunteers have scrutinized some 430,000 images to great effect, which we describe in this work. In total we have identified previously unknown activity on 15 asteroids, plus one Centaur, that were thought to be asteroidal (i.e., inactive). Of the asteroids, we classify four as active quasi-Hilda asteroids, seven as JFCs, and four as active asteroids, consisting of one Main-belt comet (MBC) and three MBC candidates. We also include our findings concerning known active objects that our program facilitated, an unanticipated avenue of scientific discovery. These include discovering activity occurring during an orbital epoch for which objects were not known to be active, and the reclassification of objects based on our dynamical analyses.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
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.
-
A family of repulsive neutral conductor geometries via abstract vector spaces
Authors:
Julian J. Dukes,
Brian Shotwell
Abstract:
Recently it was shown that it is possible for a neutral, isolated conductor to repel a point charge (or, a point dipole). Here we prove this fact using general properties of vectors and operators in an inner-product space. We find that a family of neutral, isolated conducting surface geometries, whose shape lies somewhere between a hemispherical bowl and an ovoid, will repel a point charge. In add…
▽ More
Recently it was shown that it is possible for a neutral, isolated conductor to repel a point charge (or, a point dipole). Here we prove this fact using general properties of vectors and operators in an inner-product space. We find that a family of neutral, isolated conducting surface geometries, whose shape lies somewhere between a hemispherical bowl and an ovoid, will repel a point charge. In addition, we find another family of surfaces (with a different shape) that will repel a point dipole. The latter geometry can lead to Casimir repulsion.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Improved model of the triple system V746 Cas that has a bipolar magnetic field associated with the tertiary
Authors:
P. Harmanec,
M. Brož,
P. Mayer,
P. Zasche,
L. Kotková,
J. A. Nemravová,
R. J. Dukes,
D. Korčáková,
M. Šlechta,
E. Kıran,
R. Kříček,
J. Juryšek
Abstract:
V746 Cas is known to be a triple system composed of a close binary with an alternatively reported period of either 25.4d or 27.8d and a third component in a 62000d orbit. The object was also reported to exhibit multiperiodic light variations with periods from 0.83d to 2.50d, on the basis of which it was classified as a slowly pulsating B star. Interest in further investigation of this system was r…
▽ More
V746 Cas is known to be a triple system composed of a close binary with an alternatively reported period of either 25.4d or 27.8d and a third component in a 62000d orbit. The object was also reported to exhibit multiperiodic light variations with periods from 0.83d to 2.50d, on the basis of which it was classified as a slowly pulsating B star. Interest in further investigation of this system was raised by the detection of a variable magnetic field. Analysing spectra from four instruments, earlier published radial velocities, and several sets of photometric observations, we arrived at the following conclusions: (1) The optical spectrum is dominated by the lines of the B-type primary (Teff1~16500(100) K), contributing 70% of the light in the optical region, and a slightly cooler B tertiary (Teff3~13620(150) K). The lines of the low-mass secondary are below our detection threshold; we estimate that it could be a normal A or F star. (2) We resolved the ambiguity in the value of the inner binary period and arrived at a linear ephemeris of T_super.conj.=HJD 2443838.78(81)+25.41569(42)xE. (3) The intensity of the magnetic field undergoes a~sinusoidal variation in phase with one of the known photometric periods, namely 2.503867(19)d, which we identify with the rotational period of the tertiary. (4) The second photometric 1.0649524(40)d period is identified with the rotational period of the B-type primary, but this interpretation is much less certain and needs further verification. (5) If our interpretation of photometric periods is confirmed, the classification of the object as a slowly pulsating B star should be revised. (6) Applying an N-body model to different types of available observational data, we constrain the orbital inclination of the inner orbit to ~60 deg to 85 deg even in the absence of eclipses, and estimate the probable properties of the triple system and its components.
△ Less
Submitted 19 September, 2017;
originally announced September 2017.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Extensive study of HD 25558, a long-period double-lined binary with two SPB components
Authors:
Á. Sódor,
P. De Cat,
D. J. Wright,
C. Neiner,
M. Briquet,
P. Lampens,
R. J. Dukes,
G. W. Henry,
M. H. Williamson,
E. Brunsden,
K. R. Pollard,
P. L. Cottrell,
F. Maisonneuve,
P. M. Kilmartin,
J. Matthews,
T. Kallinger,
P. G. Beck,
E. Kambe,
C. A. Engelbrecht,
R. J. Czanik,
S. Yang,
O. Hashimoto,
S. Honda,
J. N. Fu,
B. Castanheira
, et al. (11 additional authors not shown)
Abstract:
We carried out an extensive observational study of the Slowly Pulsating B (SPB) star, HD 25558. The ~2000 spectra obtained at different observatories, the ground-based and MOST satellite light curves revealed that this object is a double-lined spectroscopic binary with an orbital period of about 9 years. The observations do not allow the inference of an orbital solution. We determined the physical…
▽ More
We carried out an extensive observational study of the Slowly Pulsating B (SPB) star, HD 25558. The ~2000 spectra obtained at different observatories, the ground-based and MOST satellite light curves revealed that this object is a double-lined spectroscopic binary with an orbital period of about 9 years. The observations do not allow the inference of an orbital solution. We determined the physical parameters of the components, and found that both lie within the SPB instability strip. Accordingly, both show line-profile variations due to stellar pulsations. Eleven independent frequencies were identified in the data. All the frequencies were attributed to one of the two components based on Pixel-by-pixel variability analysis of the line profiles. Spectroscopic and photometric mode identification was also performed for the frequencies of both stars. These results suggest that the inclination and rotation of the two components are rather different. The primary is a slow rotator with ~6 d period, seen at ~60 deg inclination, while the secondary rotates fast with ~1.2 d period, and is seen at ~20 inclination. Spectropolarimetric measurements revealed that the secondary component has a magnetic field with at least a few hundred Gauss strength, while no magnetic field can be detected in the primary.
△ Less
Submitted 21 December, 2013;
originally announced December 2013.
-
Analysis of the possible Blazhko-effect Cepheid V473 Lyrae
Authors:
L. Molnár,
L. Szabados,
R. J. Dukes, Jr.,
Á. Győrffy,
R. Szabó
Abstract:
V473 Lyrae is a peculiar Galactic Cepheid, showing strong amplitude modulation that resembles the Blazhko-effect observed in RR Lyrae stars. We collected data spanning several modulation cycles and started a detailed analysis. The first results indicate that the star shows both amplitude and phase modulations with an average period of 1204 days, but both the cycle length and the strength of the mo…
▽ More
V473 Lyrae is a peculiar Galactic Cepheid, showing strong amplitude modulation that resembles the Blazhko-effect observed in RR Lyrae stars. We collected data spanning several modulation cycles and started a detailed analysis. The first results indicate that the star shows both amplitude and phase modulations with an average period of 1204 days, but both the cycle length and the strength of the modulation are subjected to considerable variations. A possible quintuplet component in the Fourier spectrum and additional period changes were also detected.
△ Less
Submitted 9 September, 2013;
originally announced September 2013.
-
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.
-
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.
-
Kepler observations of variability in B-type stars
Authors:
L. A. Balona,
A. Pigulski,
P. De Cat,
G. Handler,
J Gutierrez-Soto,
C. A. Engelbrecht,
F. Frescura,
M. Briquet,
J. Cuypers,
J. Daszynska-Daszkiewicz,
P. Degroote,
R. J. Dukes,
R. A. Garcia,
E. M. Green,
U. Heber,
S. D. Kawaler,
R. Ostensen,
D. Pricopi,
I. Roxburgh,
S. Salmon,
M. A. Smith,
J. C. Suarez,
M. Suran,
R. Szabo,
K. Uytterhoeven
, et al. (5 additional authors not shown)
Abstract:
The analysis of the light curves of 48 B-type stars observed by Kepler is presented. Among these are 15 pulsating stars, all of which show low frequencies characteristic of SPB stars. Seven of these stars also show a few weak, isolated high frequencies and they could be considered as SPB/beta Cep hybrids. In all cases the frequency spectra are quite different from what is seen from ground-based ob…
▽ More
The analysis of the light curves of 48 B-type stars observed by Kepler is presented. Among these are 15 pulsating stars, all of which show low frequencies characteristic of SPB stars. Seven of these stars also show a few weak, isolated high frequencies and they could be considered as SPB/beta Cep hybrids. In all cases the frequency spectra are quite different from what is seen from ground-based observations. We suggest that this is because most of the low frequencies are modes of high degree which are predicted to be unstable in models of mid-B stars. We find that there are non-pulsating stars within the beta Cep and SPB instability strips. Apart from the pulsating stars, we can identify stars with frequency groupings similar to what is seen in Be stars but which are not Be stars. The origin of the groupings is not clear, but may be related to rotation. We find periodic variations in other stars which we attribute to proximity effects in binary systems or possibly rotational modulation. We find no evidence for pulsating stars between the cool edge of the SPB and the hot edge of the delta Sct instability strips. None of the stars show the broad features which can be attributed to stochastically-excited modes as recently proposed. Among our sample of B stars are two chemically peculiar stars, one of which is a HgMn star showing rotational modulation in the light curve.
△ Less
Submitted 3 March, 2011;
originally announced March 2011.
-
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.
