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.

Shoucang Li1, Yubin Gao2
1School of Mechatronic Engineering, North University of China Taiyuan, Shanxi 030051, P.R. China
2Department of Mathematics, North University of China Taiyuan, Shanxi 030051, P.R. China
Abstract:

An \(n \times n\) sign pattern \(A\) is a spectrally arbitrary pattern if for any given real monic polynomial \(f(x)\) of degree \(n\), there is a real matrix \(B \in Q(A)\) having characteristic polynomial \(f(x)\). In this paper, we give two new classes of \(n \times n\) spectrally arbitrary sign patterns which are generalizations of the pattern \(W_{n}(k)\) defined in [T. Britz, J.J. McDonald, D.D. Olesky, P. van den Driessche, Minimal spectrally arbitrary sign patterns, SIAM Journal on Matrix Analysis and Applications, \(26(2004), 257-271]\).

Nihal Yilmaz Ozgur1
1Department of Mathematics Baltkesir University 10145, Bahkesir, TURKEY
Abstract:

We show that the power subgroups \(M^{6k}\) (\(k > 1\)) of the Modular group \(M = \text{PSL}(2, \mathbb{Z})\) are subgroups of the groups \(M'(6k, 6k)\). Here, the groups \(M'(6k, 6k)\) (\(k > 1\)) are subgroups of the commutator subgroup \(M’\) of \(M\) of index \(36k^2\) in \(M’\).

Yanling Shao1, Yubin Gao1
1Department of Mathematics, North University of China Taiyuan, Shanxi 030051, P.R. China
Abstract:

Let \(G\) be a simple graph. The double vertex graph \(U_2(G)\) of \(G\) is the graph whose vertex set consists of all \(2\)-subsets of \(V(G)\) such that two distinct vertices \(\{x,y\}\) and \(\{u,v\}\) are adjacent if and only if \(|\{x,y\} \cap \{u,v\}| = 1\) and if \(x = u\), then \(y\) and \(v\) are adjacent in \(G\). In this paper, we consider the exponents and primitivity relationships between a simple graph and its double vertex graph. A sharp upper bound on exponents of double vertex graphs of primitive simple graphs and the characterization of extremal graphs are obtained.

Daniel Daly1, Petr Vojtechovsky1
1DEPARTMENT OF MATHEMATICS, UNIVERSITY OF DENVER, 2360 S GayLorp St, DEN- VER, CO 80208, U.S.A.
Abstract:

Let \(S_n\) be the set of permutations on \(\{1, \ldots, n\}\) and \(\pi \in S_n\). Let \(d(\pi)\) be the arithmetic average of \(\{|i – \pi(i)| : 1 \leq i \leq n\}\). Then \(d(\pi)/n \in [0, 1/2]\), the expected value of \(d(\pi)/n\) approaches \(1/3\) as \(n\) approaches infinity, and \(d(\pi)/n\) is close to \(1/3\) for most permutations. We describe all permutations \(\pi\) with maximal \(d(\pi)\).

Let \(s^+(\pi)\) and \(s^*(\pi)\) be the arithmetic and geometric averages of \(\{|\pi(i) – \pi(i + 1)| : 1 \leq i 1\). We describe all permutations \(\pi\),\(\sigma\) with maximal \(s^+(\pi)\) and \(s^*(\sigma)\).

Jirimutu 1,2, Jun Wang1
1Department of Applied Mathematics, Dalian University of Technology Dalian, 116024, P. R. China
2College of Mathematics and Computer Science Inner mongolia University for Nationalities, Tongliao 028043, P. R. China
Abstract:

A connected graph \(G = (V,E)\) is said to be \((a,d)\)-antimagic, for some positive integers \(a\) and \(d\), if its edges admit a labeling by all the integers in the set \(\{1, 2, \ldots, |E(G)|\}\) such that the induced vertex labels, obtained by adding all the labels of the edges adjacent to each vertex, consist of an arithmetic progression with the first term \(a\) and the common difference \(d\). Mirka Miller and Martin Bača proved that the generalized Petersen graph \(P(n,2)\) is \((\frac{3n+6}{2}, 3)\)-antimagic for \(n \equiv 0 \pmod{4}\), \(n \geq 8\), and conjectured that \(P(n, k)\) is \((\frac{5n+5}{2}, 2)\)-antimagic for odd \(n\) and \(2 \leq k \leq \frac{n}{2}-1\). In this paper, we show that the generalized Petersen graph \(P(n,2)\) is \((\frac{5n+5}{2}, 2)\)-antimagic for \(n \equiv 3 \pmod{4}\), \(n \geq 7\).

Daniele Parisse1
1EADS Deutschland GmbH 81663 Miinchen, Germany
Abstract:

Sierpiński graphs \(S(n,k)\), \(n, k \in \mathbb{N}\), can be interpreted as graphs of a variant of the Tower of Hanoi with \(k \geq 3\) pegs and \(n \geq 1\) discs. In particular, it has been proved that for \(k = 3\) the graphs \(S(n, 3)\) are isomorphic to the Hanoi graphs \(H_3^n\). In this paper, we will determine the chromatic number, the diameter, the eccentricity of a vertex, the radius, and the centre of \(S(n,k)\). Moreover, we will derive an important invariant and a number-theoretical characterization of \(S(n,k)\). By means of these results, we will determine the complexity of Problem \(1\), that is, the complexity of getting from an arbitrary vertex \(v \in S(n,k)\) to the nearest and to the most distant extreme vertex. For the Hanoi graphs \(H_3^n\), some of these results are new.

Xiuli Li1,2
1Department of Mathematics, Shanghai Jiao Tong University, Shanghai 200240, China
2School of Math. and Phys., Qingdao University of Science and Technology, Qingdao 266061, China
Abstract:

In this paper, we will prove that there exist no \([n,k,d]_q\) codes of \(sq^{k-1}-(s+t)q^{k-2}-q^{k-4} \leq d \leq sq^{k-1}-(s+t)q^{k-2}\) attaining the Griesmer bound with \(k \geq 4, 1 \leq s \leq k-2, t \geq 1\), and \(s+t \leq (q+1)\backslash 2\). Furthermore, we will prove that there exist no \([n,k,d]_q\) codes for \(sq^{k-1}-(s+t)q^{k-2}-q^{k-3} \leq d \leq s\) attaining the Griesmer bound with \(k \geq 3\), \(1 \leq s \leq k-2\), \(t \geq 1\), and \(s+t \leq \sqrt{q}-1\). The results generalize the nonexistence theorems of Tatsuya Maruta (see \([7]\)) and Andreas Klein (see \([4]\)) to a larger class of codes.

Guoping Wang1,2, Qiongxiang Huang3, Jing Cai1
1Department of Mathematics, Xinjiang Normal University, Urumai, Xinjiang 830000, P.R.China
2Department of Mathematics, Jiangsu Teachers University of Technology, Changzhou, Jiangsu 213001, P.R.China
3The College of Mathematics and Systems Sciences, Xinjiang University, Urumqi, Xinjiang 830046, P.R.China
Abstract:

We study the spectral radius of graphs with \(n\) vertices and a \(k\)-vertex cut and describe the graph which has the maximal spectral radius in this class. We also discuss the limit point of the maximal spectral radius.

Nicholas A.Loehr1, Bruce E.Sagan2, Gregory S.Warrington3
1 Department of Mathematics, College of William & Mary Williamsburg, VA
2Department of Mathematics, Michigan State University East Lansing, MI,
3Department of Mathematics, ‘‘Wake Forest University Winston-Salem, NC,
Abstract:

Consider lattice paths in \(\mathbb{Z}^2\) taking unit steps north (N) and east (E). Fix positive integers \(r,s\) and put an equivalence relation on points of \(\mathbb{Z}^2\) by letting \(v,w\) be equivalent if \(v-w = \ell(r,s)\) for some \(k \in \mathbb{Z}\). Call a lattice path \({valid}\) if whenever it enters a point \(v\) with an E-step, then any further points of the path in the equivalence class of \(v\) are also entered with an E-step. Loehr and Warrington conjectured that the number of valid paths from \((0,0)\) to \((nr,ns)\) is \({\binom{r+s}{nr}}^n\). We prove this conjecture when \(s=2\).

Arnold Knopfmacher1, Neville Robbins2
1School of Mathematics University of the Witwatersrand Johannesburg, South Africa
2Mathematics Department San Francisco State University San Francisco, CA 94132 USA
Abstract:

Given integers \(m \geq 2, r \geq 2\), let \(q_m(n), q_0^{(m)}(n), b_r^{(m)}(n)\) denote respectively the number of \(m\)-colored partitions of \(n\) into: distinct parts, distinct odd parts, and parts not divisible by \(r\).We obtain recurrences for each of the above-mentioned types of partition functions.