Ars Combinatoria

ISSN 0381-7032 (print), 2817-5204 (online)

Ars Combinatoria is the oldest Canadian journal of combinatorics, established in 1976, dedicated to advancing combinatorial mathematics through the publication of high-quality, peer-reviewed research papers. Over the decades, it has built a strong international reputation and continues to serve as a leading platform for significant contributions to the field.
Open Access:  The journal follows the Diamond Open Access model—completely free for both authors and readers, with no article processing charges (APCs)
Publication Frequency: From 2024 onward, Ars Combinatoria publishes four issues annually—in March, June, September, and December.
Scope: Publishes research in all areas of combinatorics, including graph theory, design theory, enumeration, algebraic combinatorics, combinatorial optimization and related fields.
Indexing & Abstracting:  Indexed in MathSciNet, Zentralblatt MATH, and EBSCO, ensuring wide visibility and scholarly reach.
Rapid Publication: Submissions are processed efficiently, with accepted papers published promptly in the next available issue.
Print & Online Editions: Issues are available in both print and online formats to serve a broad readership.

Zhou Bo1
1 Department of Mathematics South China Normal University Guangzhou 510631 P.R. China
Abstract:

We provide upper estimates on the weak exponent of indecomposability of an irreducible Boolean matrix.

Masakazu Nihei1
1Fujishiro High School Fujishiro, Ibaraki, 300-1537 Japan
Abstract:

The toughness \(t(G)\) of a noncomplete graph \(G\) is defined as

\[t(G) = \min\left\{\frac{|S|}{\omega(G-S)} \mid S \subseteq V(G), \omega(G-S) \geq 2\right\},\]

where \(\omega(G-S)\) is the number of components of \(G-S\). We also define \(t(K_n) = +\infty\) for every \(n\).

The middle graph \(M(G)\) of a graph \(G\) is the graph obtained from \(G\) by inserting a new vertex into every edge of \(G\) and by joining by edges those pairs of these new vertices which lie on adjacent edges of \(G\).

In this article, we give the toughness of the middle graph of a graph, and using this result we also give a sufficient condition for the middle graph to have a \(k\)-factor.

Malcolm Greig1
1Greig Consulting, 207-170 East Fifth Street, North Vancouver, B.C., Canada, V7L 4L4
Abstract:

This paper gives constructions of balanced incomplete block designs and group divisible designs with \(k = 7, 8,\) or \(9\), and \(\lambda = 1\). The first objective is to give constructions for all possible cases with the exception of \(40, 78,\) and \(157\) values of \(v\). Many of these initial exceptions have now been removed by Abel. In an update section, more are removed; group divisible designs with groups of size \(k(k-1)\) are constructed for \(k = 7\) and \(8\) with \(124\) and \(87\) exceptions; it is also established that \(v \geq 294469\) and \(v \equiv 7\) mod \(42\) suffices for the existence of a resolvable balanced incomplete block design with \(k = 7\). Group divisible designs with group size \(k\) and resolvable designs are constructed.

A.G. Sittampalam1, A.D. Keedwell1
1Department of Mathematical and Computing Sciences University of Surrey, U.K.
Abstract:

In this paper, we obtain critical sets for the general dihedral group, but we are not able to decide whether they are minimal. We also show the existence of a weakly completable critical set in the latin square based on the dihedral group of order six. We believe this to be the smallest group-based square to have such a set.

Bernt Lindstrom1
1Department of Mathematics Royal Institute of Technology 8-100 44 Stockholm Sweden
Abstract:

An \(S_h\)-set (mod \(m\)) is a set \(S\) of integers such that the sums\(a_1 + a_2 + \cdots + a_h\) of elements \(a_1 \leq a_2 \leq \cdots 1\) and prove that equality is possible at least when \(h=p\) is a prime (Theorem).

Anthony Bonato1
1Department of Mathematics Wilfrid Laurier University Waterloo, ON N2L 3C5. Canada.
Abstract:

We investigate those classes \(\mathcal{K}\) of relational structures closed under operations that are defined by excluding a fixed class of finite structures. We characterize such classes and show they contain an infinite family of pairwise non-embeddable members. NEC structures are defined by certain extension conditions. We construct countable universal structures in \(\mathcal{K}\) satisfying only finitely many of the NEC extension conditions.

M. Muzychuk1
1Department of Mathematics and Computer Science Netanya Academic College 16 Kibutz Galuyot St. 42365 Netanya, Israel
Abstract:

The notion of normal quotient of a vertex-transitive graph was introduced in [5]. It was shown there that many graph properties are inherited by normal quotients. The definition of a normal quotient was given in [5] in group-theoretical terms. In this note we give a combinatorial approximation to this notion which extends the original definition. We show that many of the properties that were inherited by group-theoretical normal quotients are also inherited by combinatorial ones.

Tao Jiang1
1Department of Mathematics University of Ilinois Urbana, IL 61801, USA
Abstract:

A \((k;g)\)-cage is a smallest \(k\)-regular graph with girth \(g\). Harary and Kovacs [2] conjectured that for all \(k \geq 3\) and odd \(g \geq 5\), there exists a \((k;g)\)-cage which contains a cycle of length \(g+1\). Among other results, we prove the conjecture for all \(k \geq 3\) and \(g \in \{5,7\}\).

Masakazu Nihei1
1Fyujishiro High School Fujishiro, Ibaraki, 300-1537, Japan
Abstract:

The toughness \(t(G)\) of a noncomplete graph \(G\) is defined as

\[t(G) = \min{\left\{\frac{|S|}{\omega(G-S)} \mid S \subset V(G), \omega(G-S) \geq 2\right\}}\]

where \(\omega(G-S)\) is the number of components of \(G-S\). We also define \(t(K_n) = +\infty\) for every \(n\).

In this article, we discuss the toughness of the endline graph of a graph and the middle graph of a graph.

David A. Pike1, Nabil Shalaby1
1Department of Mathematics and Statistics Memorial University of Newfoundland St. John’s, Newfoundland, Canada, AiC 587
Abstract:

We present several new non-isomorphic one-factorizations of \(K_{36}\) and \(K_{40}\) which were found through hill-climbing and testing Skolem sequences. We also give a brief comparison of the effectiveness of hill-climbing versus exhaustive search for perfect one-factorizations of \(K_{2n}\) for small values of \(2n\).