Ars Combinatoria

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

Ars Combinatoria is the oldest Canadian Journal of Combinatorics, established in 1976. The journal is dedicated to advancing the field of combinatorial mathematics through the publication of high-quality research papers. From 2024 onward, it publishes four volumes per year in March, June, September and December. Ars Combinatoria has gained recognition and visibility in the academic community and is indexed in renowned databases such as MathSciNet, Zentralblatt, and Scopus. The Scope of the journal includes Graph theory, Design theory, Extremal combinatorics, Enumeration, Algebraic combinatorics, Combinatorial optimization, Ramsey theory, Automorphism groups, Coding theory, Finite geometries, Chemical graph theory but not limited.

Anthony J.Macula1
1Department of Mathematics State University of New York College at Geneseo
Abstract:

Let \({A}(n,3)\) denote the \(n\)-dimensional affine space over the finite field of order three. In this paper, we use basic combinatorial principles to discuss some old and new results about the lines in \({A}(3,3)\). For \(S \subset {A}(3,3)\), let \(||S||_3\) and \(||S||_{3,k}\) respectively denote the number of lines and the number of \(k\)-lines of \({A}(3,3)\) contained entirely in \(S\). For each \(t\), we compute \(\alpha_3(t) = \min\{||S||_3 : |S| = t\}\) and \(\Omega_3(t) = \max\{||S||_3 : |S| = t\}\). We also give results about \(\alpha_{3,k}(t) = \min\{||S||_{n,k} : |S| = t\}\) and \(\omega_{3,k}(t) = \max\{||S||_{n,k} : |S| = t\}\) and results about \(1\)-lines and \(n\)-lines in \({A}(n,3)\).

J.D. Key1, F.E. Sullivan1
1Department of Mathematical Sciences Clemson University Clemson SC 29634
Abstract:

The binary linear code of a Steiner triple system on \(2^d – 1\) points, where \(d \geq 3\) is an integer, contains a copy of the Hamming code \(\mathcal{H}_{di}\) this fact can be used to characterize those systems on \(2^d – 1\) points that have low dimension, and to show that these systems can always be extended to Steiner quadruple systems whose binary code is the extended code of the Steiner triple system.

Yunsun Nam1
1Global Analysis Research Center Department of Mathematics, Seoul National Univesity Seoul 151-742, Korea
Abstract:

Let \(m\) and \(n\) be positive integers, and let \(\mathbf{R} = (r_1, \ldots, r_m)\) and \(\mathbf{S} = (s_1, \ldots, s_n)\) be nonnegative integral vectors with \(r_1 + \cdots + r_m = s_1 + \cdots + s_n\). Let \(\mathbf{Q} = (q_{ij})\) be an \(m \times n\) nonnegative integral matrix. Denote by \(\mathcal{U}^Q(\mathbf{R}, \mathbf{S})\) the class of all \(m \times n\) nonnegative integral matrices \(\mathbf{A} = (a_{ij})\) with row sum vector \(\mathbf{R}\) and column sum vector \(\mathbf{S}\) such that \(a_{ij} \leq q_{ij}\) for all \(i\) and \(j\). We study a condition for the existence of a matrix in \(\mathcal{U}^Q(\mathbf{R}, \mathbf{S})\). The well known existence theorem follows from the max-flow-min-cut theorem. It contains an exponential number of inequalities. By generalizing the Gale-Ryser theorem, we obtain some conditions under which this exponential number of inequalities can be reduced to a polynomial number of inequalities. We build a kind of hierarchy of theorems: under weaker and weaker conditions, a (larger and larger) polynomial (in \(n\)) number of inequalities yield a necessary and sufficient condition for the existence of a matrix in \(\mathcal{U}^Q(\mathbf{R}, \mathbf{S})\).

J.E. Dunbar1, J.H. Hattingh2, R.C. Laskar3, L.R. Markus4
1 Department of Mathematics Converse College Spartanburg, SC, U.S.A.
2Department of Mathematics Rand Afrikaans University Johannesburg, Gauteng, South Africa
3 Department of Mathematical Scieces Clemson University Clemson, SC, U.S.A.
4Department of Mathematics Furman University Greenville, SC, U.S.A.
Abstract:

Let \(G = (V, E)\) be a graph and let \(\mathcal{H}\) be a set of graphs. A set \(S \subseteq V\) is \(\mathcal{H}\)-independent if for all \(H \in \mathcal{H}\), \(\langle S \rangle\) contains no subgraph isomorphic to \(H\). A set \(S \subseteq V\) is an \(\mathcal{H}\)-dominating set of \(G\) if for every \(v \in V – S\), \(\langle S \cup \{v\} \rangle\) contains a subgraph containing \(v\) which is isomorphic to some \(H \in \mathcal{H}\).

The \(\mathcal{H}\)-domination number of a graph \(G\), denoted by \(\gamma_{\mathcal{H}}(G)\), is the minimum cardinality of an \(\mathcal{H}\)-dominating set of \(G\) and the \(\mathcal{H}\)-independent domination number of \(G\), denoted by \(i_{\mathcal{H}}(G)\), is the smallest cardinality of an \(\mathcal{H}\)-independent \(\mathcal{H}\)-dominating set of \(G\).

A sequence of positive integers \(a_2 \leq \cdots \leq a_m\) is said to be a domination sequence if there exists a graph \(G\) such that \(\gamma_{(K_k)}(G) = a_k\) for \(k = 2, \ldots, m\). In this paper, we find an upper bound for \(\gamma_{\mathcal{H}}(G)\) and show that the problems of computing \(\gamma_{\{K_n\}}\) and \(i_{\{K_n\}}\) are NP-hard. Finally, we characterize nondecreasing sequences of positive integers which are domination sequences, and provide a sufficient condition for equality of \(\gamma_{\{K_n\}}(G)\) and \(i_{\{K_n\}}(G)\).

Klaus Dohmen1
1 Humboldt-Universitat zu Berlin Institut fiir Informatik Unter den Linden 6 10099 Berlin Germany
Abstract:

In this paper, we prove that the partial sums of the chromatic polynomial of a graph define an alternating sequence of upper and lower bounds.

Yair Caro1, Raphael Yuster1
1Department of Mathematics University of Haifa-ORANIM Tivon 36006 Israel
Abstract:

Let \(H\) be a fixed graph without isolated vertices, and let \(G\) be a graph on \(n\) vertices. Let \(2 \leq k \leq n-1\) be an integer. We prove that if \(k \leq n-2\) and every \(k\)-vertex induced subgraph of \(G\) is \(H\)-decomposable, then \(G\) or its complement is either a complete graph or a complete bipartite graph. This also holds for \(k = n-1\) if all the degrees of the vertices of \(H\) have a common factor. On the other hand, we show that there are graphs \(H\) for which it is NP-Complete to decide if every \(n-1\)-vertex subgraph of \(G\) is \(H\)-decomposable. In particular, we show that \(H = K_{1,h-1}\), where \(h > 3\), are such graphs.

Mariagrazia Bianchi1, Anna Gillio1, Libero Verardi2
1Dipartimento di Matematica “FE. Enriques” Via Saldini 50 20133 Milano Italy
2 Dipartimento di Matematica Piazza di Porta San Donato 5 40127 Bologna Italy
Abstract:

Let \(G\) be a finite group of order \(n \geq 2\), \((x_1, \ldots, x_{ n})\) an \(n\)-tuple of elements of \(G\) and \(A = (a_{ij})\) a square matrix of order \(n\) such that \(a_{ij} = x_ix_j\). We investigate how many different types of such matrices could exist for \(n = 2, 3\) and we deal with some of their properties. We show that for every group \(G\) the number of the ordered \(n\)-tuples corresponding to the same matrix is a multiple of \(|G|\).

M.J. Grannell1, T.S. Griggs1, K.A.S. Quinn1, R.G. Stanton2
1Department of Pure Mathematics The Open University Walton Hall Milton Keynes MK7 6AA UNITED KINGDOM
2Department of Computer Science University of Manitoba Winnipeg CANADA R3T 2N2
Abstract:

The quantity \(g^k(v)\) was introduced in \([6]\) as the minimum number of blocks necessary in a pairwise balanced design on \(v\) elements, subject to the condition that the longest block has length \(k\). Recently, we have needed to use all possibilities for such minimal covering designs, and we record all non-isomorphic solutions to the problem for \(v \leq 13\).

Elizabeth J.Billington1, Darryn E.Bryant1
1Centre for Combinatorics Department of Mathematics The University of Queensland Brisbane Qld. 4072 AUSTRALIA
Abstract:

For \(v \geq 3\), \(v\) odd, it is shown that there exists a decomposition of \(K_v\) into \(6\) cycles whose edges partition the edge set of \(K_v\), if and only if

\[\lfloor \frac{v-1}{2} \rfloor \leq b \lfloor \frac{v(v-1)}{6}\rfloor.\]
For even \(v\), \(v \geq 4\), a similar result is obtained for \(K_v\) minus a \(1\)-factor.

Patric R.J.Ostergard1
1Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands
Abstract:

Upper bounds on \(K_q(n, R)\), the minimum number of codewords in a \(q\)-ary code of length \(n\) and covering radius \(R\), are improved. Such bounds are obtained by constructing corresponding covering codes. In particular, codes of length \(q+1\) are discussed. Good such codes can be obtained from maximum distance separable \((MDS)\) codes. Furthermore, they can often be combined effectively with other covering codes to obtain new ones. Most of the new codes are obtained by computer search using simulated annealing. The new results are collected in updated tables of upper bounds on \(K_q(n, R)\), \(q=3,4,5\).

E-mail Alert

Add your e-mail address to receive upcoming issues of Ars Combinatoria.

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;