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.

Zhongxun Zhu1, Wei Zhang2
1College of Mathematics and Statistics, South Central University for Nationalities, Wuhan 430074, P.R. China
2Computer School, Central China Normal University, Wuhan 430079, P.R. China
Abstract:

The general sum-connectivity index is defined as \(\chi_\alpha(G) = \sum_{uv \in E(G)} (d_G(u) + d_G(v))^\alpha\). Let \(\mathcal{T}(n, \beta)\) be the class of trees of order \(n\) with given matching number \(\beta\). In this paper, we characterize the structure of the trees with a given order and matching number that have maximum general sum-connectivity index for \(0 < \alpha < 1\) and give a sharp upper bound for \(\alpha \geq 1\).

Xuli Qi1, Bo Zhou2
1College of Mathematics and Information Science, Hebei Normal University, Hebei Key Laboratory of Computational Mathematics and Applications, Shijiazhuang 050024, P. R. China
2Department of Mathematics, South China Normal University, Guangzhou 510631, P. R. China
Abstract:

The hyper-Wiener index is a graph invariant that is used as a structure descriptor for predicting physicochemical properties of organic compounds. We determine the n-vertex unicyclic graphs with the third smallest and the third largest hyper-Wiener indices for \(n\geq 5\).

Nader Jafari Rad1, Lutz Volkmann2
1Department of Mathematics, Shahrood University of Technology, Shahrood, Iran
2Lehrstuhl II fiir Mathematik, RWTH Aachen University, 52056 Aachen, Germany
Abstract:

A graph \(G\) with no isolated vertex is total restrained domination vertex critical if for any vertex \(v\) of \(G\) that is not adjacent to a vertex of degree one, the total restrained domination number of \(G – v\) is less than the total restrained domination number of \(G\). We call these graphs \(\gamma_{tr}\)-vertex critical. If such a graph \(G\) has total restrained domination number \(k\), we call it \(k\)-\(\gamma_{tr}\)-vertex critical. In this paper, we study matching properties in \(4\)-\(\gamma_{tr}\)-vertex critical graphs of minimum degree at least two.

Ping Li1,2, Qiongxiang Huang2
1Guangzhou vocational & technical institute of industry & commerce, Guangzhou 510800,China
2College of Mathematics and System Sciences,Xinjiang University, Urumgi, Xinjiang 830046, China
Abstract:

A generalized weighted digraph \(G = (V, E)\) is a digraph with \(n\) vertices and \(m\) arcs without loops and multiarcs, where each arc is assigned a weight that is a non-negative and symmetric matrix of order \(p\). In this paper, we give a sharp upper bound for the spectral radius of generalized weighted digraphs (see Theorem 2.7), which generalizes some other results on the spectral radius of weighted digraphs in [4], [11], and [16].

Hantao Zhang1, Stanley Ziewacz1
1Computer Science Department The University of Iowa Towa City, IA 52242 U.S.A.
Abstract:

It has been shown by Bennett et al. in 1998 that a holey Schröder design with \(n\) holes of size 2 and one hole of size \(u\), i.e., of type \(2^n u\), exists if \(1 \leq u \leq 4\) and \(n \geq u+1\) with the exception of \((n,u) \in \{(2, 1), (3, 1), (3, 2)\}\), or \(u \geq 16\) and \(n \geq \left\lceil \frac{5u}{4} \right\rceil + 14\). In this paper, we extend this result by showing that, for \(1 \leq u \leq 16\), a holey Schröder design of type \(2^n u\) exists if and only if \(n \geq u+1\), with the exception of \((n,u) \in \{(2, 1), (3, 1), (3, 2)\}\) and with the possible exception of \((n,u) \in \{(7,5), (7,6), (11,9), (11,10)\}\). For general \(u\), we prove that there exists an HSD(\(2^n u\)) for all \(u \geq 17\) and \(n \geq \left\lceil \frac{5u}{4} \right\rceil + 4\). Moreover, if \(u \geq 35\), then an HSD(\(2^n u\)) exists for all \(n \geq \left\lceil \frac{5u}{4} \right\rceil + 1\); if \(u \geq 95\), then an HSD(\(2^n u\)) exists for all \(n \geq \left\lceil \frac{5u}{4} \right\rceil – 2\). We also improve a well-known result on the existence of holey Schröder designs of type \(h^n\) by removing the remaining possible exception of type \(64\).

Michitaka Furuya1, Naoya Kato1
1Department of Mathematical Information Science, Tokyo University of Science 1-3 Kagurazaka, Shinjuku-ku, Tokyo 162-8601, Japan
Abstract:

A vertex of a graph is said to be total domination critical if its deletion decreases the total domination number. A graph is said to be total domination vertex critical if all of its vertices, except the supporting vertices, are total domination vertex critical. We show that if \(G\) is a connected total domination vertex critical graph with total domination number \(k \geq 4\), then the diameter of \(G\) is at most \(\lfloor \frac{5k-7}{3}\rfloor\).

Brian Y.Sun1
1 College of Mathematics and System Science, Xinjiang University, Urumqi, Xinjiang 830046, P.R.China
Abstract:

By computer-assisted approaches and inductive arguments, two curious sums of triple multiplication of binomial coefficients are established in the present paper. The two curious sums arise in proving Melham’s conjecture on odd power sums of Fibonacci numbers, which was confirmed by Xie, Yang and the present author. However, being different from their’s technical way, the method used in the paper is more elementary.

Xuehong Yin1, Hong Bian1, Haizheng Yu2
1School of Mathematical Science, Xinjiang Normal University, Urumgai, Xinjiang, 830054, P. R. China
2College of Mathematics and System Sciences, Xinjiang University, Urumgi, Xinjiang, 830046, P. R. China
Abstract:

Let \(G\) be a graph and \(u\) be a vertex of \(G\). The transmission index of \(u\) in \(G\), denoted by \(T_G(u)\), is the sum of distances from \(u\) to all the other vertices in graph \(G\), i.e., \(T(u) = T_G(u) = \sum_{v \in V} d_G(u,v)\). The Co-PI index [1] is defined as \(Co\text{-}PI(G) = \sum_{uv \in E(G)} |T(u) – T(v)|\). In this paper, we give some upper bounds for the Co-PI indices of the join, composition, disjunction, symmetric difference, and corona graph \(G_1 \circ G_2\).

Morteza Jafarpour1, Irina Cristea2,3, Ali Tavakoli1
1Vali-e-Asr University of Rafsanjan, Rafsanjan, Iran;
2CSIT, University of Nova Gorica, Slovenia
3DICA, University of Udine, Italy
Abstract:

The purpose of this note is the study of the hypergroups associated with binary relations. New types of matrices, called \(i\)-very good and regular reversible matrices, are introduced in order to give some properties of the Rosenberg hypergroups related to them. A program written in MATLAB computes the number of these hypergroups up to isomorphism.

Wei-Juan Zhang1, Jin-Xin Zhou1
1Department of Mathematics, Beijing Jiaotong University Beijing 100044, P.R. China
Abstract:

Let \(A_n\) be the alternating group of degree \(n\) with \(n > 4\). Set \(T = \{(1 2 3), (1 3 2), (1 2)(3 i) \mid 4 \leq i \leq n\}\). The alternating group network, denoted by \(AN_n\), is defined as the Cayley graph on \(A_n\) with respect to \(T\). Some properties of \(AN_n\) have been investigated in [App. Math.—JCU, Ser. A 14 (1998) 235-239; IEEE Trans. Comput. 55 (2006) 1645-1648; Inform. Process. Lett. 110 (2010) 403-409; J. Supercomput. 54 (2010) 206-228]. In this paper, it is shown that the full automorphism group of \(AN_n\) is the semi-direct product \(R(A_n) \rtimes \text{Aut}(A_n, T)\), where \(R(A_n)\) is the right regular representation of \(A_n\) and \(\text{Aut}(A_n, T) = \{\alpha \in \text{Aut}(A_n) \mid T^\alpha = T\} \cong S_{n-3} \times S_2\).