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.

Alberto Cavicchioli 1
1Dipartimento di Matematica Pura ed Applicata Via Campi 213/B 41100 Modena ITALIA
Abstract:

The paper deals with combinatorial structures (pseudo-complexes, crystallizations) giving a direct link between the topology of triangulated manifolds and the theory of edge-coloured multigraphs. We define the concept of regular crystallization of a manifold and prove that every non-trivial handle-free closed \(n\)-manifold has a regular crystallization. Then we study some applications of regular crystallizations and give a counter-example to a conjecture of Y. Tsukui [20] about strong frames of the \(3\)-sphere.

Albert L. Whiteman1
1Department of Mathematics University of Southern California Los Angeles, CA 90089 U.S.A.
Abstract:

A construction is given of a family of D-optimal designs of order \(n = 2v \equiv 2 \pmod{4}\), where \(v = 2q^2 + 2q + 1\) and \(q\) is an odd prime power. For \(q > 3\), all the orders of D-optimal designs produced by this construction are new.

Ebadollah S. Mahmoodian 1,2
1 Department of Mathematical Sciences Sharif University of Technology
2 Research Center of Atomic Energy Organization of Iran Tehran, Islamic Republic of Iran
Abstract:

The set of all distinct blocks of an \(t\)-(v,k) design is referred to as the support of the design, and its cardinality is denoted by \(b^*\). By generalizing a method on BIB designs called “trade off” to \(3\)-designs, a table for \(3\)-(9,4) designs with each \(60 \leq b^* \leq 126 = {\binom{9}{4}}\) is constructed. Also, we have produced over 2500 non-isomorphic \(3\)-(9,4) designs with \(\lambda = 6\). By utilizing this generalized trade off method along with two other methods, a table for \(3\)-(10,4) designs with 156 different \(b^*\)’s is constructed. By a recursive lower bound on the minimum value of \(b^*\) in all \(t\)-(v,k) designs, it is shown that \(b^*_{min}[3-(9,4)] \geq 36,\) and \(b^*_{min}[3\)-(10,4)] = 30.

Geoffrey Exoo1
1Department of Mathematics and Computer Science Indiana State University Terre Haute, IN 47809
Abstract:

A hypergraph has property \(\mathcal{B}\) (or chromatic number two) if there is a set which intersects each of its edges, but contains none of its edges. The number of edges in a smallest \(n\)-graph which does not have property \(\mathcal{B}\) is denoted \(m(n)\). This function has proved difficult to evaluate for \(n > 3\). As a consequence, several refinements and variations of the function \(m\) have been studied. In this paper, we describe an effort to construct, via computer, hypergraphs that improve current estimates of such functions.

Brendan D. McKay1, Gordon F. Royle2
1 Computer Science Department Australian National University GPO Box 4, ACT 2601, Australia
2 Mathematics Department University of Western Australia Nedlands, Wa 6009, Australia
Abstract:

We complete the construction of all the simple graphs with at most \(26\) vertices and transitive automorphism group. The transitive graphs with up to \(19\) vertices were earlier constructed by McKay , and the transitive graphs with \(24\) vertices by Praeger and Royle . Although most of the construction was done by computer, a substantial preparation was necessary. Some of this theory may be of independent interest.

Jason I. Brown1, Derek G. Corneil 2
1 Department of Mathematics York University, Toronto
2Department of Computer Science University of Toronto Toronto, CANADA
Abstract:

Given a graph \(G\) and nonnegative integer \(k\), a map \(\pi: V(G) \to \{1, \ldots, k\}\) is a perfect \(k\)-colouring if the subgraph induced by each colour class is perfect. The perfect chromatic number of \(G\) is the least \(k\) for which \(G\) has a perfect \(k\)-colouring; such an invariant is a measure of a graph’s imperfection. We study here the theory of perfect colourings. In particular, the existence of perfect \(k\)-chromatic graphs are shown for all \(k\), and we draw attention to the associated extremal problem. We provide extensions to C. Berge’s Strong Perfect Graph Conjecture, and prove the existence of graphs with only one perfect \(k\)-colouring (up to a permutation of colours). The type of approach taken here can be applied to studying any graph property closed under induced subgraphs.

Paul Vieira Caetano1, Katherine Heinrich 2
1 University of Waterloo Waterloo Ontario N2L 3G1 Canada
2Simon Fraser University Burnaby BC VSA 186 Canada
Abstract:

An \(S_{s,t}\) distar-factorization of \(DK_{m}\) is an edge partitioning of the complete symmetric directed graph \(DK_{m}\) into subdigraphs each of which is isomorphic to the distar \(S_{s,t}\) (the distar \(S_{s,t}\) being obtained from the star \(K_{1,s+t}\) by directing \(s\) of the edges into the centre and \(t\) of the edges out of the centre). We consider the question, “When can the arcs of \(DK_{m}\) be partitioned into arc-disjoint subgraphs each isomorphic to \(S_{s,t}\)?” and give necessary and sufficient conditions for \(S_{s,t}\) distar-factorizations of \(DK_{m}\) in the cases when either \(m\equiv 0\) or \(1 \pmod{s+t}\).

E. Csaki1, S. G. Mohanty2, Jagdish Saran3
1Hungarian Academy of Sciences Budapest, HUNGARY
2 McMaster University Hamilton, Ontario CANADA
3 University of Delhi Delhi, INDIA
Abstract:

Consider a random walk in a plane in which a particle at any stage moves one unit in any one of the four directions, namely, north, south, east, west with equal probability. The problem of finding the distribution of any characteristic of the above random walk when the particle reaches a fixed point \((a, b)\) after \(d\) steps reduces to the counting of lattice paths in a plane in which the path can move one unit in any of the four directions. In this paper, path counting results related to the boundaries \(y-x = k_1\) and \(y+x = k_2\) such as touchings, crossings, etc., are obtained by using either combinatorial or probabilistic methods. Some extensions to higher dimensions are indicated.

William McCuaig1
1Department of Combinatorics and Optimization University of Waterloo Waterloo, Ontario, N2L 3G1 CANADA
Abstract:

For \(v \geq 4\) we determine the largest number \(f(v)\), such that every simple \(3\)-connected graph on \(v\) vertices has \(f(v)\) edge contractions which result in a smaller \(3\)-connected graph. We also characterize those simple \(3\)-connected graphs on \(v\) vertices which have exactly \(f(v)\) such edge contractions.

Olof Heden 1
1Department of Mathematics Royal Institute of Technology Stockholm, Sweden