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.

Sizhong Zhou1
1 School of Mathematics and Physics Jiangsu University of Science and Technology Mengxi Road 2, Zhenjiang, Jiangsu 212003, P. R. China
Abstract:

Let \(G\) be a graph with vertex set \(V(G)\) and edge set \(E(G)\), and let \(g\) and \(f\) be two integer-valued functions defined on \(V(G)\) such that \(0 \leq g(x) \leq f(x)\) for each \(x \in V(G)\). A \((g, f)\)-factor of \(G\) is a spanning subgraph \(F\) of \(G\) such that \(g(x) \leq d_F(x) \leq f(x)\) for each \(x \in V(F)\). A \((g, f)\)-factorization of \(G\) is a partition of \(E(G)\) into edge-disjoint \((g, f)\)-factors. Let \({F} = \{F_1, F_2, \ldots, F_m\}\) be a factorization of \(G\) and \(H\) be a subgraph of \(G\) with \(m\) edges. If \(F_i\), \(1 \leq i \leq m\), has exactly one edge in common with \(H\), we say that \({F}\) is orthogonal to \(H\). In this paper, it is proved that every \((mg+k-1, mf-k+1)\)-graph contains a subgraph \( {R}\) such that \( {R}\) has a \((g, f)\)-factorization orthogonal to any given subgraph with \(k\) edges of \(G\) if \(f(x) > g(x) \geq 0\) for each \(x \in V(G)\) and \(1 \leq k \leq m\), where \(m\) and \(k\) are two positive integers.

Lutz Volkmann1
1Lehrstuhl II fiir Mathematik, RWTH Aachen University, 52056 Aachen, Germany
Abstract:

Let \(G\) be a graph with a maximum matching of size \(q\), and let \(p \leq q\) be a positive integer. Then \(G\) is called \((p, q)\)-extendable if every set of \(p\) independent edges can be extended to a matching of size \(q\). If \(G\) is a graph of even order \(n\) and \(n = 2q\), then \((p,q)\)-extendable graphs are exactly the \(p\)-extendable graphs defined by Plummer \([11]\) in \(1980\).

Let \(d \geq 3\) be an integer, and let \(G\) be a \(d\)-regular graph of order \(n\) with a maximum matching of size \(q = \frac{n-t}{2}\geq 3\) for an integer \(t \geq 1\) such that \(n – t\) is even. In this work, we prove that if

(i) \(n \leq {(t+4)(d+1)-5}\) or

(ii) \(n \leq (t+4)(d+2) – 1\) when \(d\) is odd,

then \(G\) is \((2, q)\)-extendable.

Kh.Md. Mominul Haque1,2, Lin Xiaohui1, Yang Yuansheng1, Zhang Jinbo1
1Department of Computer Science and Engineering Dalian University of Technology Dalian, 116024, P. R. China
2Department of Computer Science and Engineering Shahjalal University of Science and Technology Sylhet-3114 , Bangladesh
Abstract:

A graph with vertex set \(V\) is said to have a prime cordial labeling if there is a bijection \(f\) from \(V\) to \(\{1,2,\ldots,|V|\}\) such that if each edge \(uv\) is assigned the label \(1\) for the greatest common divisor \(\gcd(f(u), f(v)) = 1\) and \(0\) for \(\gcd(f(u), f(v)) = 1\), then the number of edges labeled with \(0\) and the number of edges labeled with \(1\) differ by at most \(1\). In this paper, we show that the Flower Snark and its related graphs are prime cordial for all \(n \geq 3\).

Pablo Spiga1
1 Universita degli Studi di Padova Dipartimento di Matematica Pura ed Applicata 35131 Via Trieste 63, Padova, Italy
Abstract:

In [2] it is proved that if \(X = Cay(G, S)\) is a connected tetravalent Cayley graph on a regular \(p\)-group \(G\) (for \(p \neq 2, 5\)), then the right regular representation of \(G\) is normal in the automorphism group of \(X\). In this paper, we prove that a similar result holds, for \(p = 5\), under a slightly stronger hypothesis. Some remarkable examples are presented.

Yulia Bugayev1, Felix Goldberg2
1Department of Mathematics Technion – Israel Institute of Technology 32000 Haifa, Israel
2Department of Mathematics Technion-IIT Hatra 32000 Israel
Abstract:

In this paper, we define, for a graph invariant \(\psi\), the deck ratio of \(\psi\) by \(D_\psi(G) = \frac{\psi(G)}{\Sigma_{v\in V(G)}\psi(G-v)}\). We give generic upper and lower bounds on \(D_\psi\) for monotone increasing and monotone decreasing invariants \(\psi\), respectively.

Then, we proceed to consider the Wiener index \(W(G)\), showing that \(D_W(G) \leq \frac{1}{|V(G)|-2}\). We show that equality is attained for a graph \(G\) if and only if every induced \(P_3\) subgraph of \(G\) is contained in a \(C_4\) subgraph. Such graphs have been previously studied under the name of self-repairing graphs.

We show that a graph on \(n \geq 4\) vertices with at least \(\frac{n^2-3n+6}{2} – n + 3\) edges is necessarily a self-repairing graph and that this is the best possible result. We also show that a \(2\)-connected graph is self-repairing if and only if all factors in its Cartesian product decomposition are.

Finally, some open problems about the deck ratio and about self-repairing graphs are posed at the end of the paper.

Hua Zou1, Jixiang Meng1
1 College of Mathematics and System Sciences,Xinjiang University Urumgi, Xinjiang 830046, P.R.China
Abstract:

For a graph \(X\) and a digraph \(D\), we define the \(\beta\) transformation of \(X\) and the \(\alpha\) transformation of \(D\) denoted by \(X^\beta\) and \(D^\alpha\), respectively.\(D^\alpha\) is defined as the bipartite graph with vertex set \(V(D) \times \{0,1\}\) and edge set \(\{((v_i,0), (v_j, 1)) \mid v_i v_j \in A(D)\}\).\(X^\beta\) is defined as the bipartite graph with vertex set \(V(X) \times \{0,1\}\) and edge set \(\{((v_i,0), (v_j, 1)) \mid v_i v_j \in A(X)\}\), where \(X\) is the associated digraph of \(X\).In this paper, we give the relation between the eigenvalues of the digraph \(D\) and the graph \(D^\alpha\) when the adjacency matrix of \(D\) is normal. Especially, we obtain the eigenvalues of \(D^\alpha\) when \(D\) is some special Cayley digraph.

A.A. Khanban1, M. Mahdian2, E.S. Mahmoodian3
1Department of Computing, Imperial College London, London SW7 2BZ, United Kingdom.
2Yahoo! Research, Santa Clara, CA, USA.
3Department of Mathematics, Sharif University of Technology, and Institute for Studies in Theo- retical Physics and Mathematics (IPM), Tehran, Iran.
Abstract:

To study orthogonal arrays and signed orthogonal arrays, Ray-Chaudhuri and Singhi (\(1988\) and \(1994\)) considered some module spaces. Here, using a linear algebraic approach, we define an inclusion matrix and find its rank. In the special case of Latin squares, we show that there is a straightforward algorithm for generating a basis for this matrix using the so-called intercalates. We also extend this last idea.

Dragan Stevanovic1, Marko Petkovic2, Milan Basic2
1 FAMNIT, University of Primorska, Glagoljaska 8, 6000 Koper, Slovenia and PMF, University of Nig, Visegradska 33, 18000 Nis, Serbia
2PMP, University of Nid, Vigegradska 33, 18000 Nig, Serbia
Abstract:

Integral circulant graphs have been proposed as potential candidates for modelling quantum spin networks with perfect state transfer between antipodal sites in the network. We show that the diameter of these graphs is at most \(O(\ln \ln n)\), and further improve the recent result of Saxena, Severini, and Shparlinski.

Bényi Beata1
1Bélyai Institute, University of Szeged Vértanuk tere 1., Szeged, Hungary 6720.
Abstract:

We present a bijective proof of the hook length formula for rooted trees based on the ideas of the bijective proof of the hook length formula for standard tableaux by Novelli, Pak, and Stoyanovskii \([10]\). In Section \(4\), we present another bijection for the formula.

Hortensia Galeana-Sanchez1, Bernardo Llano2, Juan Jose 1, Montellano- Ballesteros1
1INSTITUTO DE MATE- MATICAS, UNAM, CrupaD Universitaria, 04510, México, D. F.
2 DEPARTAMENTO DE MATEMATICAS, UNIVERSIDAD AUTGNOMA METROPOLI- TANA, IZTAPALAPA, SAN RAFAEL ATLIXCO 186, COLONIA VICENTINA, 09340, MExico, DF.
Abstract:

In this paper, we give sufficient conditions for the existence of kernels by monochromatic directed paths (m.d.p.) in digraphs with quasi-transitive colorings. Let \(D\) be an \(m\)-colored digraph. We prove that if every chromatic class of \(D\) is quasi-transitive, every cycle is quasi-transitive in the rim and \(D\) does not contain polychromatic triangles, then \(D\) has a kernel by m.d.p. The same result is valid if we preserve the first two conditions before and replace the last one by: there exists \(k \geq 4\) such that every \(\overrightarrow{C}_k\) is quasi-monochromatic and every \(\overrightarrow{C}_{k-1}\) (\(3 \leq l \leq k-1\)) is not polychromatic. Finally, we also show that if every chromatic class of \(D\) is quasi-transitive, every cycle in \(D\) induces a quasi-transitive digraph and \(D\) does not contain polychromatic \(\overrightarrow{C}_3\), then \(D\) has a kernel by m.d.p. Some corollaries are obtained for the existence of kernels by m.d.p. in \(m\)-colored tournaments.