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.

Jeremy Chapman1, Alex Iosevich2
1Department of Mathematics Lyon College 2300 Highland Rd Batesville, Arkansas USA
2Department of Mathematics University of Rochester 915 Hylan Building, P.O. Box 270138 Rochester, New York USA
Abstract:

The Erdős-Anning Theorem states that an integer distance set in the Euclidean plane must have all of its points on a single line or is finite. However, this is not true if we consider area sets. That is, if \((x_1,y_1)\) and \((x_2,y_2)\) are any two vectors contained in the integer lattice, then the area of the parallelogram determined by the two vectors is an integer, showing that the points do not have to lie on a line. We prove a finite field version of these results for \(d=2\) and \(d=3\), showing that if \(E \subset \Bbb{F}_q^d, q=p^2\), where \(p\) is an odd prime and the distance set of \(E\) is \(\Bbb{F}_p\), then the size of \(E\) is at most \(p^d\). Furthermore, we prove that if the area set of \(E\) is a subset of \(\Bbb{F}_p\), then the size of \(E\) is at most \(p^2\) in two dimensions.

Taras Goy1, Mark Shattuck2
1Faculty of Mathematics and Computer Science, Vasyl Stefanyk Precarpathian National University, Ivano-Frankivsk, Ukraine
2Department of Mathematics, University of Tennessee Knoxville, TN USA
Abstract:

Let Fn denote the n-th Fibonacci number defined by Fn = Fn − 1 + Fn − 2 if n ≥ 2, with F0 = 0 and F1 = 1. In this paper, we find determinant identities for several Toeplitz–Hessenberg matrices whose nonzero entries are derived from the sequence kn + m for various fixed m, where kn = Fn − 1. These results may be obtained algebraically as special cases of more general formulas involving the Horadam numbers and the generating functions for the associated sequences of determinants. Equivalent multi-sum identities featuring sums of products of kn terms with multinomial coefficients may be given, which follow from Trudi’s formula. Connections are made to several OEIS entries that have arisen previously in other contexts, perhaps most notably the Padovan number sequence. Finally, we provide combinatorial proofs of our identities involving kn by enumerating (or finding the sum of signs of) various classes of tilings containing squares, dominos, trominos and a special type of tile which can be of arbitrary length.

Mark Shattuck1
1Department of Mathematics, University of Tennessee, 37996 Knoxville, TN, USA
Abstract:

In this paper, we study additional aspects of the capacity distribution on the set n of compositions of n consisting of 1’s and 2’s extending recent results of Hopkins and Tangboonduangjit. Among our results are further recurrences for this distribution as well as formulas for the total capacity and sign balance on n. We provide algebraic and combinatorial proofs of our results. We also give combinatorial explanations of some prior results where such a proof was requested. Finally, the joint distribution of the capacity statistic with two further parameters on n is briefly considered.

Xiaoxue Hu1, Wenting Guo2, Youmin Qi2, Jiangxu Kong3
1School of Science, Zhejiang University of Science and Technology, Hangzhou 310023, China
2College of Science, China Jiliang University, Hangzhou 310018, China
3School of Mathematics, Hangzhou Normal University, Hangzhou 311121, China
Abstract:

Let \(k\ge 1\) be an integer. Let \(G=(V,E)\) be a connected graph with \(n\) vertices and \(m\) edges. Suppose fires break out at two adjacent vertices. In each round, a firefighter can protect \(k\) vertices, and then the fires spread to all unprotected neighbors. For \(uv\in E(G)\), let \(sn_{k}(uv)\) denote the maximum number of vertices the firefighter can save when fires break out at the ends of \(uv\). The \(k\)-edge surviving rate \(\rho'_k(G)\) of \(G\) is defined as the average proportion of vertices saved when the starting vertices of the fires are chosen uniformly at random over all eages, i.e., \(\rho'_k(G)=\sum\limits_{uv\in E(G)}sn_{k}(uv)/nm\). In particular, we write \(\rho'(G)=\rho'_1(G)\). For a given class of graphs \(\mathcal{G}\) and a constant \(\varepsilon>0\), we seek the minimum value \(k\) such that \(\rho'_k(G)>\varepsilon\) for all \(G\in \mathcal{G}\). In this paper, we prove that for Halin graphs, this minimum value is exactly 1. Specifically, every Halin graph \(G\) satisfies \(\rho'(G)> 1/12\).

Ankur Singh1,2, R. Kumar3
1Department of Mathematics, VIT-AP University Amaravati, A.P. India
2Department of Mathematics (SoT) PDEU Gandhinagar, Gujarat, India
3Department of Mathematics, Amity University, Gwalior, Madhya Pradesh, India
Abstract:

We consider a ring \(R_{u^3} = \mathbb{F}_2+u\mathbb{F}_2+u^2\mathbb{F}_2+u^3\mathbb{F}_2, u^4=0\). We discuss the structure of self-dual codes, Type I codes and Type II codes over the ring \(R_{u^3}\) in terms of the structure of their Torsion and Residue codes. We construct Type I and Type II optimal codes over the ring \(R_{u^3}\) for different lengths.

Kush Sharma1, Davinder Kumar Garg1
1Department of Statistics, Punjabi University, Patiala-147002, India
Abstract:

Magic squares are known to mankind since ages. With their eye catching properties, they have attracted and inspired researchers to further explore and work with them. The present paper is written with an aim to explore the usefulness of magic squares in the construction of partially balanced incomplete block (PBIB) designs. In this regard, we have proposed a new method for the construction of magic squares and studied their properties. We have also established a link between these properties and some existing association schemes. We have then introduced four new association schemes using these properties which have been later used for the construction of PBIB designs.

Wayne Goddardi1, Deirdre LaVey1, Morgan S. Schalizki1
1School of Mathematical and Statistical Sciences, Clemson University, Clemson SC 29634 USA
Abstract:

We consider a vertex-coloring problem where the amount one pays for using a color is a function of how many times the color is used. For a cost-function \(f\), we define the \(f\)-chromatic number of graph \(G\) as the minimum cost of a (proper) coloring of \(G\), and focus on the case that the marginal costs \(f(i+1)-f(i)\) are non-increasing. We provide bounds for general graphs, for specific classes of graphs, and for some operations on graphs. We also consider the number of colors used in an optimal coloring, and for example, characterize the trees where the bipartite coloring is not always optimal.

Shikhamoni Nath1, Arpan Chandra Mazumder1, Dhiren Kumar Basnet1
1Department of Mathematical Sciences, Tezpur University, Tezpur, Assam, 784028, India
Abstract:

Let \(q\) be a positive integral power of some prime \(p\) and \(\mathbb{F}_{q^m}\) be a finite field with \(q^m\) elements for some \(m \in \mathbb{N}\). Here we establish a sufficient condition for the existence of primitive normal pairs of the type \((\epsilon, f(\epsilon))\) in \(\mathbb{F}_{q^m}\) over \(\mathbb{F}_{q}\) with two prescribed traces, \(\text{Tr}_{{\mathbb{F}_{q^m}}/{\mathbb{F}_q}}(\epsilon)=a\) and \(\text{Tr}_{{\mathbb{F}_{q^m}}/{\mathbb{F}_q}}(f(\epsilon))=b\), where \(f(x) \in \mathbb{F}_{q^m}(x)\) is a rational function with some restrictions and \(a, b \in \mathbb{F}^*_q\). Furthermore, for \(q=5^k\), \(m \geq 9\) and rational functions with degree sum 4, we explicitly find at most 13 fields in which the desired pair may not exist.

Hanyuan Deng1, Selvaraj Balachandran2, Suresh Elumalai3, S.G. Venkatesh2
1College of Mathematics and Statistics, Hunan Normal University, Changsha, Hunan 410081, P. R. China
2Department of Mathematics, School of Arts, Sciences, Humanities and Education, SASTRA Deemed University, Thanjavur, India
3Department of Mathematics, College of Engineering and Technology, Faculty of Engineering and Technology, SRM Institute of Science and Technology, Kattankulathur, Chengalpet 603 203, India
Abstract:

Let \(G = (V(G), E(G))\) be a simple connected graph. The inverse sum indeg index of \(G\), denoted by \(\text{ISI}(G)\), is defined as the sum of the weights \(\frac{d(u)d(v)}{d(u) + d(v)}\) of all edges \(uv\) of \(G\), where \(d(u)\) denotes the degree of a vertex in \(G\). In this paper, we first present some lower and upper bound for \(ISI\) index in terms of graph parameters such as maximum degree, minimum degree and clique number. Moreover, we compute \(ISI\) index of several graph operations like join, cartesian product, composition, corona and strong product of graphs.

Alexander Clow1, Christopher van Bommel2
1Department of Mathematics, Simon Fraser University, Burnaby, Canada
2Department of Mathematics and Statistics, University of Guelph, Guelph, Canada
Abstract:

We consider the eternal distance-2 domination problem, recently proposed by Cox, Meger, and Messinger, on trees. We show that finding a minimum eternal distance-2 dominating set of a tree is linear time in the order of the graph by providing a fast algorithm. Additionally, we characterize trees that have eternal distance-2 domination number equal to their domination number or their distance-2 domination number, {along with trees that are} eternal distance-2 domination critical. We conclude by providing general upper and lower bounds for the eternal distance-k domination number of a graph. We construct an infinite family of trees which meet said upper bound and another infinite family of trees whose eternal distance-k domination number is within a factor of 2 of the given lower bound.

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;