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.

Tanawat Wichianpaisarn1, Chariya Uiyyasathian1
1Department of Mathematics and Computer Science, Faculty of Science, Chulalongkorn University, Payathai Rd., Bangkok, 10330, Thailand
Abstract:

The clique-chromatic number of a graph is the least number of colors on the vertices of the graph without a monocolored maximal clique of size at least two.In \(2004\), Bacsé et al. proved that the family of line graphs has no bounded clique-chromatic number. In particular, the Ramsey numbers provide a sequence of the line graphs of complete graphs with no bounded clique-chromatie number. We
complete this result by giving the exact values of the clique-chromatic numbers of the line graphs of complete graphs in terms of Ramsey numbers. Furthermore, the clique-chromatic numbers of the line graphs of triangle-free graphs are characterized.

Kamil Ari1
1Karamanoglu Mehmetbey University, Faculty of Kamil Ozdag Science, Department of Mathematics, 70100 Karaman, Turkey
Abstract:

The current article focuses on the generalized \(k\)-Pell \((p, i)\)-numbers for \(k = 1, 2, \ldots\) and \(0 \leq i \leq p\). It introduces the generalized \(k\)-Pell \((p, i)\)-numbers and their generating matrices and generating functions. Some interesting identities are established.

Hongbo Hua1,2, Libing Zhang1
1Faculty of Mathematics and Physics, Huaiyin Institute of Technology, Huai’an, Jiangsu 223003, PR China
2Department of Mathematics, Nanjing University, Nanjing 210093, PR China
Abstract:

For a graph \(G\), let \({Z}(G)\) be the total number of matchings in \(G\). For a nontrivial graph \(G\) of order \(n\) with vertex set \(V(G) = \{v_1, \ldots, v_n\}\), Cvetković et al. \([2]\) defined the triangle graph of \(G\), denoted by \(R(G)\), to be the graph obtained by introducing a new vertex \(v_{ij}\) and connecting \(u_{ij}\) both to \(v_i\) and to \(v_j\) for each edge \(v_iv_j\) in \(G\). In this short paper, we prove that for a connected graph \(G\), if \({Z}(R(G)) \geq (\frac{1}{2}n-\frac{1}{2}+\frac{5}{2n})^2\), then \(G\) is traceable. Moreover, for a connected graph \(G\), we give sharp upper bounds for \({Z}(R(G))\) in terms of clique number, vertex connectivity, and spectral radius of \(G\), respectively.

Lane Clark 1, Darin Johnson2
1DEPARTMENT OF MATHEMATICS, SOUTHERN ILLINOIS UNIVERSITY CAR- BONDALE, CARBONDALE, IL 62901-4408
2DEPARTMENT OF MATHEMATICAL SCIENCES, DELAWARE STATE UNI- VERSITY, Dover, DE 19901
Abstract:

We prove a two-point concentration for the tree domination number of the random graph \(G_{n,p}\) provided \(p\) is constant or \(p \to 0\) sufficiently slow.

Min-Jen Jou1
1Ling Tung University, Taichung 40852, Taiwan
Abstract:

A 2-independent set in a graph \(G\) is a subset \(J\) of the vertices such that the distance between any two vertices of \(J\) in \(G\) is at least three. The number of 2-independent sets of a graph \(G\) is denoted by \(i_2(G)\). For a forest \(F\), \(i_2(F – e) > i_2(F)\) for each edge \(e\) of \(F\). Hence, we exclude all forests having isolated vertices. A forest is said to be extra-free if it has no isolated vertex. In this paper, we determine the \(k\)-th largest number of 2-independent sets among all extra-free forests of order \(n \geq 2\), where \(k = 1, 2, 3\). Extremal graphs achieving these values are also given.

Roberto B.Corcino1, Mahid M.Mangontarum2
1Department of Mathematics Cebu Normal University Cebu City, Philippines 6000
2Department of Mathematics Mindanao State University-Main Campus Marawi City, Philippines 9700
Abstract:

The notion of multiparameter \(q\)-noncentral Stirling numbers is introduced by means of a triangular recurrence relation. Some properties for these \(q\)-analogues such as vertical and horizontal recurrence relations, horizontal generating functions, explicit formula, orthogonality and inverse relations are established. Moreover, we introduce the multiparameter Bell numbers and Bell polynomials, their connection to factorial moments and their respective \(q\)-analogues.

Sizhong Zhou1
1 School of Mathematics and Physics Jiangsu University of Science and Technology Mengxi Road 2, Zhenjiang, Jiangsu 212003 People’s Republic of China
Abstract:

Let \(a, b\), and \(k\) be nonnegative integers with \(2 \leq a \leq 6\) and \(b \equiv 0 \pmod{a-1}\). Let \(G\) be a graph of order \(n\) with \(n \geq \frac{(a+b-1)(2a+b-4)-a+1}{b} + k\). A graph \(G\) is called an \((a, b, k)\)-critical graph if after deleting any \(k\) vertices of \(G\), the remaining graph has an \([a, b]\)-factor. In this paper, it is proved that \(G\) is an \((a, b, k)\)-critical graph if and only if \[|N_G(X)| >\frac{(a-1)n + |X| + bk-1}{a+b-1} \] for every non-empty independent subset \(X\) of \(V(G)\), and \[\delta(G) > \frac{(a-1)n + b + bk}{a+b-1}.\] Furthermore, it is shown that the result in this paper is best possible in some sense.

Sapna Jain1
1Department of Mathematics University of Delhi Delhi 110 007 India
Abstract:

Two-dimensional codes in \(LRTJ\) spaces are subspaces of the space \(Mat_{m\times s}(\mathbb{Z}_q)\), the linear space of all \(m \times s\)-matrices with entries from a finite ring \(\mathbb{Z}_q\), endowed with the \(LRTJ\)-metric \([3,9]\). Also, the error-correcting capability of a linear code depends upon the number of parity-check symbols. In this paper, we obtain a lower bound on the number of parity checks of two-dimensional codes in \(LRTJ\)-spaces correcting both independent as well as cluster array errors.

Joanna Raczek1
1Department of Applied Physics and Mathematics Gdansk University of Technology Narutowicza 11/12, 80-233 Gdarisk, Poland
Abstract:

Let \(G = (V, E)\) be a graph without an isolated vertex. A set \(D \subseteq V(G)\) is a total dominating set if \(D\) is dominating and the induced subgraph \(G[D]\) does not contain an isolated vertex. The total domination number of \(G\) is the minimum cardinality of a total dominating set of \(G\). A set \(D \subseteq V(G)\) is a total outer-connected dominating set if \(D\) is total dominating and the induced subgraph \(G[V(G) – D]\) is connected. The total outer-connected domination number of \(G\) is the minimum cardinality of a total outer-connected dominating set of \(G\). We characterize all unicyclic graphs with equal total domination and total outer-connected domination numbers.

M.A. Seoud1, A.E.A. Mahran1
1Department of Mathematics, Faculty of science, Ain Shams university, Abbassia, Cairo, Egypt.
Abstract:

We give a characterization of strongly multiplicative graphs. First, we introduce some necessary conditions for a graph to be strongly multiplicative.Second, we discuss the independence of these necessary conditions. Third, we show that they are altogether not sufficient for a graph to be strongly multiplicative. Fourth, we add another necessary condition. Fifth, we prove that this necessary condition is stronger than the mentioned necessary conditions except one. Finally, we conjecture that the condition itself is stronger than all of them.