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.

Terry A.McKee1
1Department of Mathematics & Statistics Wright State University, Dayton, Ohio 45435
Abstract:

Dirac characterized chordal graphs by every minimal \((2\)-)vertex separator inducing a complete subgraph. This generalizes to \(k\)-vertex separators and to a characterization of the class of \(\{P_5, 2P_3\}\)-free chordal graphs. The correspondence between minimal \(2\)-vertex separators of chordal graphs and the edges of their clique trees parallels a correspondence between minimal \(k\)-vertex separators of \(\{P_5, 2P_3\}\)-free chordal graphs and certain \((k-1)\)-edge substars of their clique trees.

Matthew Dean1
1Centre for Discrete Mathematics and Computing, Department of Mathematics, The University of Queensland, Queensland 4072, AUSTRALIA
Abstract:

It is well known that the Petersen graph does not contain a Hamilton cycle. In \(1983\), Alspach completely determined which Generalized Petersen graphs are Hamiltonian \([1]\). In this paper, we define a larger class of graphs which includes the Generalized Petersen graphs as a special case, and determine which graphs in this larger class are Hamiltonian, and which are \(1\)-factorable. We call this larger class spoked Cayley graphs.

Yanfang Zhang1
1 College of Mathematics and Statistics Hebei University of Economics and Business Shijiazhuang 050061, P.R. China
Abstract:

Let \(K_v\) be the complete graph with \(v\) vertices, where any two distinct vertices \(x\) and \(y\) are joined by exactly one edge \(\{x,y\}\). Let \(G\) be a finite simple graph. A \(G\)-design of \(K_v\), denoted by \((v,G,1)\)-GD, is a pair \((X,\mathcal{B})\), where \(X\) is the vertex set of \(K_v\), and \(\mathcal{B}\) is a collection of subgraphs of \(K_v\), called blocks, such that each block is isomorphic to \(G\) and any two distinct vertices in \(K_v\) are joined in exactly one block of \(\mathcal{B}\). In this paper, the discussed graphs are \(G_i\), \(i = 1,2,3,4\), where \(G_i\) are the four graphs with 7 points, 7 edges, and a 5-cycle. We obtain the existence spectrum of \((v, G_i,1)\)-GD.

You Gao1, Yuting Xiao 1, Xuemei Liu1
1College of Science, Civil Aviation University of China, Tianjin, 300300, P.R. China
Abstract:

Let \(\text{ASG}(2v,\mathbb{F}_q)\) be the \(2v\)-dimensional affine-symplectic space over the finite field \(\mathbb{F}_q\), and let \(\text{ASp}_{2v}(\mathbb{F}_q)\) be the affine-symplectic group of degree \(2v\) over \(\mathbb{F}_q\). For any two orbits \(M’\) and \(M”\) of flats under \(\text{ASp}_{2v}(\mathbb{F}_q)\), let \(\mathcal{L}’\) (resp. \(\mathcal{L}”\)) be the set of all flats which are joins (resp. intersections) of flats in \(M’\) (resp. \(M”\)) such that \(M” \subseteq L’\) (resp. \(M’ \subseteq \mathcal{L}”\)) and assume the join (resp. intersection) of the empty set of flats in \(\text{ASG}(2v,\mathbb{F}_q)\) is \(\emptyset\) (resp. \(\mathbb{F}_q^{(2v)}\)). Let \(\mathcal{L} =\mathcal{L}’ \cap \mathcal{L}”\). By ordering \(\mathcal{L}’,\mathcal{L}”, \mathcal{L}\) by ordinary or reverse inclusion, six lattices are obtained. This article discusses the relations between different lattices, and computes their characteristic polynomial.

B. Davvaz1, L. Kamali1
1 Ardekani Department of Mathematics, Yazd University, Yazd, Iran
Abstract:

In this paper, we calculate the number of fuzzy subgroups of a special class of non-abelian groups of order \(p^3\).

Tarek Emam1
1 Dept. of Mathematics, Faculty of Science Suez Canal University, Seuz, Egypt.
Abstract:

This paper addresses the problem of capturing nondominated points on non-convex Pareto frontiers, which are encountered in \(E\)-convex multi-objective optimization problems. We define a nondecreasing map \(T\) which transfers a non-convex Pareto frontier to a convex Pareto frontier. An algorithm to find a piecewise linear approximation of the nondominated set of the convex Pareto frontier is applied. Finally, the inverse map of \(T\) is used to obtain the non-convex Pareto frontier.

O.B. Özbakır1, E.D. Yıldırım2
1Ece UNIversiry, FACULTY OF SCIENCE, DEPARTMENT OF MATHEMATICS, 35100-IzmiR, TURKEY
2YaSar UNIversiTy, Facutty oF SciENCE AND LETTER, DEPARTMENT OF MATHEMATICS, 35100- Izmir, TURKEY
Abstract:

The aim of our paper is to introduce generalized neighborhood bases and \(gn-T_2\)-spaces. \((\psi, \psi’)\)-continuity, sequentially \((\psi, \psi’)\)-continuity, and \(\psi\)-convergency are investigated on strong generalized first countable spaces, and also two results about \(\psi\)-convergency on \((\psi, \psi’)\)-\(T_2\)-spaces are given.

Mikio Kano1, Aung Kyaw2, Haruhide Matsuda3, Kenta Ozeki4, Akira Saito5, Tomoki Yamashita6
1Department of Computer and Information Sciences Ibaraki University, Hitachi, Ibaraki, 316-8511, Japan
2Department of Mathematics East Yangon University, Yangon, Myanmar
3 Department of Mathematics, Shibaura Institute of Technology, Fukasaku, Minuma-ku, Saitama 337-8570, Japan
4National Institute of Informatics, Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan
5Department of Computer Science and System Analysis Nihon University, Sakurajosui, Setagaya-Ku, Tokyo, 156-8550, Japan
6College of Liberal Arts and Sciences, Kitasato University, Kitasato, Minami-ku, Sagamihara 252-0373, Japan
Abstract:

For a graph \(H\) and an integer \(k \geq 2\), let \(\sigma_k(H)\) denote the minimum degree sum of \(k\) independent vertices of \(H\). We prove that if a connected claw-free graph \(G\) satisfies \(\sigma_{k+1}(G) \geq |G| – k\), then \(G\) has a spanning tree with at most \(k\) leaves. We also show that the bound \(|G| – k\) is sharp and discuss the maximum degree of the required spanning trees.

Murat Sahin1, William Webb2
1DEPARTMENT OF MATHEMATICS, ANKARA UNIVERSITY, FACULTY OF ScIENCcE, 06100, ANKARA, TURKEY.
2DEPARTMENT OF MATHEMATICS, WASHINGTON STATE UNIVERSITY, USA
Abstract:

Define the conditional recurrence sequence \(q_n = aq_{n-1} + bq_{n-2}\) if \(n\) is even, \(q_n = bq_{n-1} + cq_{n-2}\) if \(n\) is odd, where \(q_0 = 0, q_1 = 1\). Then \(q_n\) satisfies a fourth-order recurrence while both \(q_{2n}\) and \(q_{2n+1}\) satisfy a second-order recurrence.

Analogously to a Lucas pseudoprime, we define a composite number \(n\) to be a conditional Lucas pseudoprime (clpsp) if \(n\) divides \(q_{n – (\frac{\Delta}{n})}\), where \(\Delta = a^2 + b^2 + 4ab\) and \((\frac{\Delta}{n})\) denotes the Jacobi symbol. We prove that if \((n, 2ab\Delta) = 1\), then there are infinitely many conditional Lucas pseudoprimes. We also address the question, given an odd composite integer \(n\), for how many pairs \((a, b)\) is \(n\) a conditional Lucas pseudoprime?

Yarong Wu1,2, Jinlong Shu1,3, Yuan Hong1
1Department of Mathematics, East China Normal University, shanghai, 200241, China
2Department of Mathematics, Shanghai Maritime University, Shanghai, 200135, China
3Key Laboratory of Geographic Information Science Ministry of Education, East China Normal University, Shanghai, 200241, China
Abstract:

Let \(G\) be a simple connected graph with \(n\) vertices. Denoted by \(L(G)\) the Laplacian matrix of G. In this paper, we present a sequence of graphs \({G_n}\) with \(\lim\limits_{n\to \infty} \mu_3(G_n) = 1.5550\) by investigating the eigenvalues of the line graphs of \({G_n}\). Moreover, we prove that the limit is the minimal limit point of the third largest Laplacian eigenvalues of graphs.