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.

GS. Yovanof1, S.W. Golomb2
1Hewlett-Packard Laboratories Palo Alto, CA 94304
2 Department of Electrical Engineering University of Southern California Los Angeles, CA 90089-0272
Abstract:

The search for homometric structures, i.e., non-congruent structures sharing the same autocorrelation function, is shown to be of a combinatorial nature and can be studied using purely algebraic techniques. Several results on the existence of certain homometric structures which contradict a theorem by S. Piccard are proved based on a polynomial representation model and the factorization of polynomials over the rationals. Combinatorial arguments show that certain factorizations do not lead to counterexamples to S. Piccard’s theorem.

Johannes H.Hattingh1, Elna Ungerer1, Michael A.Henning2
1 Department of Mathematics Rand Afrikaans University Auckland Park, South Africa
2Department of Mathematics University of Natal Pietermaritzburg, South Africa
Abstract:

Let \(G = (V, E)\) be a graph. For any real valued function \(f: V \to \mathbb{R}\) and \(S \subseteq V\), let \(f(S) = \sum_{u \in S} f(u)\). Let \(c, d\) be positive integers such that \(\gcd(c, d) = 1\) and \(0 < \frac{c}{d} \leq 1\). A \(\frac{c}{d}\)-dominating function \(f\) is a function \(f: V \to \{-1, 1\}\) such that \(f[v] \geq 1\) for at least \(\frac{c}{d}\) of the vertices \(v \in V\). The \(\frac{c}{d}\)-domination number of \(G\), denoted by \(\gamma_{\frac{c}{d}}(G)\), is defined as \(\min\{f(V) | f\) is a \(\frac{c}{d}\)-dominating function on \(G\}\). We determine a sharp lower bound on \(\gamma_{\frac{c}{d}}(G)\) for regular graphs \(G\), determine the value of \(\gamma_{\frac{c}{d}}(G)\) for an arbitrary cycle \(C_n\), and show that the decision problem PARTIAL SIGNED DOMINATING FUNCTION is \(NP\)-complete.

Wilfried Imrich1, Sandi Klavzar2, Aleksander Vesel2
1 Department of Mathematics and Applied Geometry Montanuniversitat Leoben A-8700 Leoben, Austria
2Department of Mathematics, PEF University of Maribor Koroska cesta 160 62000 Maribor, Slovenia
Abstract:

The vertex set of a halved cube \(Q’_d\) consists of a bipartition vertex set of a cube \(Q_d\) and two vertices are adjacent if they have a common neighbour in the cube. Let \(d \geq 5\). Then it is proved that \(Q’_d\) is the only connected, \(\binom{d}{3}\)-regular graph on \(2^d\) vertices in which every edge lies in two \(d\)-cliques and two \(d\)-cliques do not intersect in a vertex.

Ehler Lange1, Heinz-Otto Peitgen1, Guentcho Skordev1
1 Center for Complex Systems and Visualisation University of Bremen Postfach 330 440 28334 Bremen Germany
Abstract:

Geometrical representations of certain classical number tables modulo a given prime power (binomials, Gaussian \(g\)-binomials and Stirling numbers of \(1st\) and \(2nd\) kind) generate patterns with self-similarity features. Moreover, these patterns appear to be strongly related for all number tables under consideration, when a prime power is fixed.

These experimental observations are made precise by interpreting the recursively defined number tables as the output of certain cellular automata \((CA)\). For a broad class of \(CA\) it has been proven \([11]\) that the long time evolution can generate fractal sets, whose properties can be understood by means of hierarchical iterated function systems. We use these results to show that the mentioned number tables (mod \(p^v\)) induce fractal sets which are homeomorphic to a universal fractal set denoted by \(\mathcal{S}_{p^v}\) which we call Sierpinski triangle (mod \(p^v\)).

Christian Bey1
1 Universitat Rostock, FB Mathematik 18051 Rostock, Germany
Abstract:

It is known that each incidence matrix between any two levels of the Boolean lattice and the lattice of flats of a finite projective geometry has full rank. We show that this also holds for the lattice of flats of a finite affine geometry.

Ruqun Shen1, Feng Tian2, Bing Wei3
1Institute of Biophysics, Academia Sinica, Beijing 100101, China
2
3 Institute of Systems Science, Academia Sinica, Beijing 100080, China
Abstract:

In this paper, we prove that if \(G\) is a \(k\)-connected (\(k \geq 2\)) graph of order \(n\) such that the sum of degrees of any \(k+1\) independent vertices is at least \(n+k\), and if the set of claw centers of \(G\) is independent, then \(G\) is hamiltonian.

David C.Fisher1, Kathryn Fraughnaugh1, Larry Langley1
1Department of Mathematics University of Colorado at Denver Denver, CO 80217-3364, U.S.A.
Abstract:

A graph without \(4\)-cycles is called \(C_4\)-free. A \(C_4\)-free graph is \(C_4\)-saturated if adding any edge creates a 4-cycle. Ollmann showed that any \(n\)-node \(C_4\)-saturated graph has at least \(\frac{3}{2}n – 3\) edges. He also described the set of all \(n\)-node \(C_4\)-saturated graphs with \(\lceil \frac{3}{2}n \rceil – 3\) edges. A graph is \(P_3\)-connected if each pair of nonadjacent nodes is connected by a path with exactly \(3\) edges. A \(C_4\)-saturated graph is \(P_3\)-connected, but not vice versa. We generalize Ollmann’s results by proving that any \(n\)-node \(P_3\)-connected graph has at least \(\frac{3}{2}n – 3\) edges. We also describe the set of all \(n\)-node \(P_3\)-connected graphs with \(\lceil \frac{3}{2}n \rceil – 3\) edges. This is a superset of Ollmann’s set as some \(n\)-node \(P_3\)-connected graphs with \(\lceil \frac{3}{2}n \rceil – 3\) edges do have \(4\)-cycles.

Krzysztof Giaro1
1Technical University of Gdatisk Foundations of Informatics Department Narutowicza 11/12 80-952 Gdatisk, Poland
Abstract:

For a given graph \(G\) an edge-coloring of \(G\) with colors \(1,2,3,\ldots\) is said to be a \emph{consecutive coloring} if the colors of edges incident with each vertex are distinct and form an interval of integers. In the case of bipartite graphs this kind of coloring has a number of applications in scheduling theory. In this paper we investigate the question whether a bipartite graph has a consecutive coloring with \(\Delta\) colors. We show that the above question can be answered in polynomial time for \(\Delta \leq 4\) and becomes NP-complete if \(\Delta > 4\).

Chang Yanxun1
1 Institute of Mathematics Hebei Normal College Shijiazhuang 050091 P.R. China
Abstract:

In this article we give a direct construction of \(HPMD\). As an application, we discuss the existence of \((v,6,1)\)-\(PMD\) and obtain an infinite class of \((v,6,1)\)-\(PMD\) where \(v \equiv 4 \pmod{6}\).

Abstract:

A graph is \({{well \; covered}}\) if every maximal independent set has the same size and \({very \;well\; covered}\) if every maximal independent set contains exactly half the number of vertices. In this paper, we present an alternative characterization of a certain sub-class of well-covered graphs and show that this generalizes a characterization of very well covered graphs given by Favaron [3].