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.

H. Karami1, Abdollah Khodkar2, S.M. Sheikholeslami3
1Department of Mathematics Sharif University of Technology P.O. Box 11365-9415 Tehran, I.R. Iran
2Department of Mathematics University of West Georgia Carrollton, GA 30118
3 Department of Mathematics Azarbaijan University of Tarbiat Moallem Tabriz, I.R. Iran
Abstract:

A set \(S\) of vertices of a graph \(G = (V, E)\) without isolated vertices is a total dominating set if every vertex of \(V(G)\) is adjacent to some vertex in \(S\). The total domination number \(\gamma_t(G)\) is the minimum cardinality of a total dominating set of \(G\). The total domination subdivision number \(sd_{\gamma t}(G)\) is the minimum number of edges that must be subdivided (each edge in \(G\) can be subdivided at most once) in order to increase the total domination number. In this paper, we first prove that \(sd_{\gamma t}(G) \leq n – \delta + 2\) for every simple connected graph \(G\) of order \(n \geq 3\). We also classify all simple connected graphs \(G\) with \(sd_{\gamma t}(G) = n – \delta + 2, n – \delta + 1\), and \(n – \delta\).

Hacéne Belbachir1, Farid Bencherif1
1USTHB, Department of Mathematics, P.B. 32 El Alia, 16111, Algiers, Algeria.
Abstract:

In this paper, we show that the sequences \(p(n, k) := 2^{n-2k} \binom{n-k}{k}\) and \(q(n,k) := 2^{n-2k}\frac{n}{n-k}\binom{n-k}{k}\), \(k = 0, \ldots, \lfloor \frac{n}{2} \rfloor\), are strictly log-concave and then unimodal with at most two consecutive modes. We localize the modes and the integers where there is a plateau. We also give a combinatorial interpretation of \(p(n, k)\) and \(q(n, k)\). These sequences are associated respectively to the Pell numbers and the Pell-Lucas numbers, for which we give some trigonometric relations.

Yangjiang Wei1, Gaohua Tang1
1School of Mathematical Sciences, Guangxi Teachers Education University, Nanning 530023, China
Abstract:

For a finite field \(\mathbb{F}_{p^t}\) of order \(p^t\), where \(p\) is a prime and \(t \geq 1\), we consider the digraph \(G(\mathbb{F}_{p^t}, k)\) that has all the elements of \(\mathbb{F}_{p^t}\) as vertices and a directed edge \(E(a, b)\) if and only if \(a^k = b\), where \(a, b \in \mathbb{F}_{p^t}\). We completely determine the structure of \(G(\mathbb{F}_{p^t},k)\), the isomorphic digraphs of \(\mathbb{F}_{p^t}\), and the longest cycle in \(G(\mathbb{F}_{p^t}, k)\).

Hikoe Enomoto1, Yukichika Ohnishi1, Katsuhiro Ota1
1Department of Mathematics, Keio University Hiyoshi, Kohoku-ku, Yokohama, 223-8522 Japan
Abstract:

Let \(c(H)\) denote the number of components of a graph \(H\). Win proved in \(1989\) that if a connected graph \(G\) satisfies
\[c(G \setminus S) \leq (k – 2)|S| + 2,\text{for every subset S of V(G)},\]
then \(G\) has a spanning tree with maximum degree at most \(k\).

For a spanning tree \(T\) of a connected graph, the \(k\)-excess of a vertex \(v\) is defined to be \(\max\{0, deg_T(v) – k\}\). The total \(k\)-excess \(te(T, k)\) is the summation of the \(k\)-excesses of all vertices, namely,
\[te(T, k) = \sum_{v \in V(T)} \max\{0, deg_T(v) – k\}.\]
This paper gives a sufficient condition for a graph to have a spanning tree with bounded total \(k\)-excess. Our main result is as follows.

Suppose \(k \geq 2\), \(b \geq 0\), and \(G\) is a connected graph satisfying the following condition:
\[\text{for every subset S of V(G)}, \quad c(G \setminus S) \leq (k – 2)|S| + 2+b.\]
Then, \(G\) has a spanning tree with total \(k\)-excess at most \(b\).

Guangfu Wang1, Heping Zhang1
1School of Mathematics and Statistics, Lanzhou University Lanzhou, Gansu 730000, P. R. China.
Abstract:

A connected graph \(G\) is called \(l_1\)-embeddable, if \(G\) can be isometrically embedded into the \(i\)-space. The hexagonal Möbius graphs \(H_{2m,2k}\) and \(H_{2m+1,2k+1}\) are two classes of hexagonal tilings of a Möbius strip. The regular quadrilateral Möbius graph \(Q_{p,q}\) is a quadrilateral tiling of a Möbius strip. In this note, we show that among these three classes of graphs only \(H_{2,2}\), \(H_{3,3}\), and \(Q_{2,2}\) are \(l_1\)-embeddable.

Chunping Pan1
1CHUNPING PAN: ZHEJIANG INDUSTRY POLYTECHNIC COLLEGE SHAOXING, ZHEJIANG, 312000, CHINA
Abstract:

The boundedness and compactness of the generalized composition operator from \(\mu\)-Bloch spaces to mixed norm spaces are completely characterized in this paper.

Chuanan Wei1, Dianxuan Gong2
1Department of Information Technology Hainan Medical College, Haikou 571101, China
2College of Sciences Hebei United University, Tangshan 063009, China
Abstract:

By means of inversion techniques, new proofs for Whipple’s transformation and Watson’s \(q\)-Whipple transformation are offered.

Alev Fırat1, Süle Ayar Özbal2
1Ece University, Facutty of Science, DEPARTMENT OF MATHEMATICS, 35100- Izmir, TURKEY
2YaSar University, FACULTY OF SCIENCE AND LETTER, DEPARTMENT OF MATHE- MATICS, 35100-Izmin, TURKEY
Abstract:

In this paper, we introduced the notion of left-right and right-left \(f\)-derivations of a \(B\)-algebra and investigated some related properties. We studied the notion of \(f\)-derivation of a \(0\)-commutative \(B\)-algebra and stated some related properties.

Shengxiang Lv1, Yanpei Liu2
1 Department of Mathematics, Hunan University of Science and Technology, Hunan Xiangtan 411201, China
2 Department of Mathematics, BeiJing Jiaotong University, Beijing 100044, China
Abstract:

Let \(G\) be a \(k\)-edge connected simple graph with \(k \leq 3\), minimal degree \(\delta(G) \geq 3\), and girth \(g\), where \(r = \left\lfloor \frac{g-1}{2} \right\rfloor\). If the independence number \(\alpha(G)\) of \(G\) satisfies

\[\alpha(G) < \frac{6{(\delta-1)}^{\lfloor\frac{g}{2}\rfloor}-6}{(4-k)(\delta-2)} – \frac{6(g-2r-1)}{4-k} \] then \(G\) is up-embeddable.

Ahmet Tekcan1
1 Ulugad University, FACULTY oF SCIENCE, DEPARTMENT OF MATHEMATICS, GORUKLE 16059. Bursa-TURKEY
Abstract:

Let \(p\) be a prime number such that \(p \equiv 1, 3 \pmod{4}\), let \(\mathbb{F}_p\) be a finite field, and let \(N \in \mathbb{F}_p^* = \mathbb{F}_p – \{0\}\) be a fixed element. Let \(P_p^k(N): x^2 – ky^2 = N\) and \(\tilde{P}_p^k(N): x^2 + 2y – ky^2 = N\) be two Pell equations over \(\mathbb{F}_p\), where \(k = \frac{p-1}{4}\) or \(k = \frac{p-3}{4}\), respectively. Let \(P_p^k(N)(\mathbb{F}_p)\) and \(\tilde{P}_p^k(N)(\mathbb{F}_p)\) denote the set of integer solutions of the Pell equations \(P_p^k(N)\) and \(\tilde{P}_p^k(N)\), respectively. In the first section, we give some preliminaries from the general Pell equation \(x^2 – ky^2 = \pm N\). In the second section, we determine the number of integer solutions of \(P_p^k(N)\). We prove that \(P_p^k(N)(\mathbb{F}_p) = p+1\) if \(p \equiv 1 \pmod{4}\) or \(p \equiv 7 \pmod{12}\) and \(P_p^k(N)(\mathbb{F}_p) = p-1\) if \(p \equiv 11 \pmod{12}\). In the third section, we consider the Pell equation \(\tilde{P}_p^k(N)\). We prove that \(\tilde{P}_p^k(N)(\mathbb{F}_p) = 2p\) if \(p \equiv 1 \pmod{4}\) and \(N \in Q_p\); \(\tilde{P}_p^k(N)(\mathbb{F}_p) = 0\) if \(p \equiv 1 \pmod{4}\) and \(N \notin Q_p\); \(\tilde{P}_p^k(N)(\mathbb{F}_p) = p+1\) if \(p \equiv 3 \pmod{4}\).