Utilitas Algorithmica (UA)

ISSN: xxxx-xxxx (print)

Utilitas Algorithmica (UA) is a premier, open-access international journal dedicated to advancing algorithmic research and its applications. Launched to drive innovation in computer science, UA publishes high-impact theoretical and experimental papers addressing real-world computational challenges. The journal underscores the vital role of efficient algorithm design in navigating the growing complexity of modern applications. Spanning domains such as parallel computing, computational geometry, artificial intelligence, and data structures, UA is a leading venue for groundbreaking algorithmic studies.

Lenny Fukshansky1, Glenn Henshaw2
1DEPARTMENT OF MATHEMATICS, 850 COLUMBIA AVENUE, CLAREMONT MCKENNA COLLEGE, CLAREMONT, CA 91711
2DEPARTMENT OF MATHEMATICS, CALIFORNIA STATE UNIVERSITY AT CHANNEL ISLANDS, ONE UNIVERSITY DRIVE, CAMARILLO, CA 93012
Abstract:

An important problem in analytic and geometric combinatorics is estimating the number of lattice points in a compact convex set in a Euclidean space. Such estimates have numerous applications throughout mathematics. In this note, we exhibit applications of a particular estimate of this sort to several counting problems in number theory: counting integral points and units of bounded height over number fields, counting points of bounded height over positive definite quaternion algebras, and counting points of bounded height with a fixed support over global function fields. Our arguments use a collection of height comparison inequalities for heights over a number field and over a quaternion algebra. We also show how these inequalities can be used to obtain existence results for points of bounded height over a quaternion algebra, which constitute non-commutative analogues of variations of the classical Siegel’s lemma and Cassels’ theorem on small zeros of quadratic forms.

Hua Mao1
1DEPARTMENT OF MATHEMATICS, HEBEI UNIVERSITY, BAODING 071002, CHINA
Abstract:

We prove that when a pre-independence space satisfies some natural properties, then its cyclic flats form a bounded lattice under set inclusion. Additionally, we show that a bounded lattice is isomorphic to the lattice of cyclic flats of a pre-independence space. We also prove that the notion of cyclic width gives rise to dual-closed and minorclosed classes of B-matroids. Finally, we find a difference between finite matroids and B-matroids by using the notion of well-quasi-ordering.

Toufik Mansour1, Mark Shattuck2
1DEPARTMENT OF MATHEMATICS, UNIVERSITY OF HAIFA, 31905 HAIFA, ISRAEL
2DEPARTMENT OF MATHEMATICS, UNIVERSITY OF TENNESSEE, KNOXVILLE, TN 37996
Abstract:

In this paper, we generalize an earlier statistic on square-and-domino tilings by considering only those squares covering a multiple of k, where k is a fixed positive integer. We consider the distribution of this statistic jointly with the one that records the number of dominos in a tiling. We derive both finite and infinite sum expressions for the corresponding joint distribution polynomials, the first of which reduces when k = 1 to a prior result. The cases q = 0 and q = −1 are noted for general k. Finally, the case k = 2 is considered specifically, where further results may be given, including a combinatorial proof when q = −1.

Tewodros Amdeberhan1, Victor H. Moll1, Christophe Vignat2
1DEPARTMENT OF MATHEMATICS, TULANE UNIVERSITY, NEW ORLEANS, LA 70118
2INFORMATION THEORY LABORATORY, E.P.F.L., 1015 LAUSANNE, SWITZERLAND
Abstract:

A sequence of coefficients appearing in a recurrence for the Narayana polynomials is generalized. The coefficients are given a probabilistic interpretation in terms of beta distributed random variables. The recurrence established by M. Lasalle is then obtained from a classical convolution identity. Some arithmetical properties of the generalized coefficients are also established.

G. Sethuraman1, K. Sankar2
1 Department of Mathematics Anna University Chennai – 600 025 India
2Department of Mathematics, Sri Sai Ram Engineering College, Chennai-600 044, India
Abstract:

We recall from [13] a shell graph of size \(n\), denoted \(C(n, n-3)\), is the graph obtained from the cycle \(C_n(v_1, v_2, \ldots, v_{n-1})\) by adding \(n-3\) consecutive chords incident at a common vertex, say \(v_0\). The vertex \(v_0\) of \(C(n, n-3)\) is called the apex of the shell \(C(n, n-3)\). The vertex \(v_1\) of \(C(n, n-3)\) is said to be at level 1.

A graph \(C(2n,n-2)\) is called an alternate shell, if \(C(2n,n-2)\) is obtained from the cycle \(C_{2n}(v_0,v_1, v_2, \ldots, v_{2n-1})\) by adding \(n-2\) chords between the vertex \(v_0\) and the vertices \(v_{2i+1}\), for \(1\leq i \leq n-2\). If the vertex \(v_i\) of \(C(2n,n-2)\) at level 1 is adjacent with \(v_0\), then \(v_1\) is said to be at level 1 with a chord, otherwise the vertex \(v_1\) is said to be at level 1 without a chord.

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

In 2009, Akelbek and Kirkland introduced a useful parameter called the scrambling index of a primitive digraph \(D\), which is the smallest positive integer \(k\) such that for every pair of vertices \(u\) and \(v\), there is a vertex \(w\) such that we can get to \(w\) from \(u\) and \(v\) in \(D\) by walks of length \(k\). In this paper, we study and obtain the scrambling indices of all primitive digraphs with exactly two cycles.

Houmem Belkhechine1, Imed Boudabbous2
1Faculté des Sciences de Gabés Cité Riadh, Zirig 6072 Gabés Tunisie
2Institut Préparatoire aux Etudes d’Ingénieurs de Sfax Route Menzel Chaker Km 0.5 3018 Sfax Tunisie
Abstract:

Given a tournament \(T = (V, A)\), a subset \(X\) of \(V\) is an interval of \(T\) provided that for every \(a, b \in X\) and \(x \in V – X\), \((a, x) \in A\) if and only if \((b, x) \in A\). For example, \(\emptyset\), \(\{x\}\) (\(x \in V\)), and \(V\) are intervals of \(T\), called trivial intervals. A tournament, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A critical tournament is an indecomposable tournament \(T\) of cardinality \(\geq 5\) such that for any vertex \(x\) of \(T\), the tournament \(T – x\) is decomposable. The critical tournaments are of odd cardinality and for all \(n \geq 2\) there are exactly three critical tournaments on \(2n + 1\) vertices denoted by \(T_{2n+1}\), \(U_{2n+1}\), and \(W_{2n+1}\). The tournaments \(T_5\), \(U_5\), and \(W_5\) are the unique indecomposable tournaments on 5 vertices. We say that a tournament \(T\) embeds into a tournament \(T’\) when \(T\) is isomorphic to a subtournament of \(T’\). A diamond is a tournament on 4 vertices admitting only one interval of cardinality 3. We prove the following theorem: if a diamond and \(T_5\) embed into an indecomposable tournament \(T\), then \(W_5\) and \(U_5\) embed into \(T’\). To conclude, we prove the following: given an indecomposable tournament \(T\) with \(|V(T)| \geq 7\), \(T\) is critical if and only if only one of the tournaments \(T_7\), \(U_7\), or \(W_7\) embeds into \(T\).

Jing Shi1, Jian Wang2, Beiliang Du3
1Nantong University, Nantong 226007, P.R. China
2 Department of Mathematics, Suzhou University, Suzhou 215006, P.R. China
3Nantong Vocational College, Nantong 226007, P.R. China
Abstract:

Let \(\lambda K_{m,n}\) be a complete bipartite multigraph with two partite sets having \(m\) and \(n\) vertices, respectively. A \(K_{p,q}\)-factorization of \(\lambda K_{m,n}\) is a set of edge-disjoint \(K_{p,q}\)-factors of \(\lambda K_{m,n}\) which is a partition of the set of edges of \(\lambda K_{m,n}\). When \(\lambda = 1\), Martin, in paper [Complete bipartite factorisations by complete bipartite graphs, Discrete Math., \(167/168 (1997), 461-480]\), gave simple necessary conditions for such a factorization to exist, and conjectured those conditions are always sufficient. In this paper, we will give similar necessary conditions for \(\lambda K_{m,n}\) to have a \(K_{p,q}\)-factorization, and prove the necessary conditions are always sufficient in many cases.

Wei Jing1, Shuchao Li1
1 Faculty of Mathematics and Statistics, Central China Normal University, Wuhan 430079, P. R. China
Abstract:

In this paper, we determine upper and lower bounds for the number of independent sets in a bicyclic graph in terms of its order. This
gives an upper bound for the total number of independent sets in a connected graph which contains at least two cycles. In each case, we characterize the extremal graphs.

Naidan Ji1,2
1School of Mathematics and Computer Science, Ningxia University, Yinchuan, 750021, China
2 School of Mathematical Sciences, Xiamen University, Xiamen, 361005, China
Abstract:

Let \(G\) be a connected graph of order \(n\). Denote \(p_u(G)\) the order of a longest path starting at vertex \(u\) in \(G\). In this paper, we prove that if \(G\) has more than \(t\binom{k}{2} + \binom{p+1}{2} + (n-k-1)\) edges, where \(k \geq 2\), \(n = t(k-1) + p + 1\), \(t \geq 0\) and \(0 \leq p \leq k-1\), then \(p_u(G) > k\) for each vertex \(u\) in \(G\). By this result, we give an alternative proof of a result obtained by P. Wang et al. that if \(G\) is a 2-connected graph on \(n\) vertices and with more than \(t\binom{k-2}{2} + \binom{p}{2} + (2n – 3)\) edges, where \(k \geq 3\), \(n-2 = t(k-2) + p\), \(t \geq 0\) and \(0 \leq p \leq k-2\), then each edge of \(G\) lies on a cycle of order more than \(k\).

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;