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.

H. Gingold1, Jocelyn Quaintance2
1WEST VIRGINIA UNIVERSITY, DEPARTMENT OF MATHEMATICS, MORGANTOWN WV 26506, USA,
2UNIVERSITY OF PENNSYLVANIA, DEPARTMENT OF COMPUTER SCIENCE, PHILADELPHIA PA 19104, USA,
Abstract:

Let \( f(x) = 1 + \sum_{n=1}^\infty a_n x^n \) be a formal power series with complex coefficients. Let \( \{r_n\}_{n=1}^\infty \) be a sequence of nonzero integers. The Integer Power Product Expansion of \( f(x) \), denoted ZPPE, is \( \prod_{k=1}^\infty (1 + w_k x^k)^{r_k} \). Integer Power Product Expansions enumerate partitions of multi-sets. The coefficients \( \{w_k\}_{k=1}^\infty \) themselves possess interesting algebraic structure. This algebraic structure provides a lower bound for the radius of convergence of the ZPPE and provides an asymptotic bound for the weights associated with the multi-sets.

Pooya Hatami1, Sushant Sachdeva2, Madhur Tulsani3
1∗ Institute for Advanced Study, Princeton, NJ, USA. This work was done when the author was a student at University of Chicago.
2Department of Computer Science, Yale University, USA. Part of this work was done when the author was a student at Princeton University, and was visiting TTI Chicago.
3Toyota Technological Institute at Chicago.
Abstract:

We give an arithmetic version of the recent proof of the triangle removal lemma by Fox [Fox11], for the group \( \mathbb{F}_2^n \). A triangle in \( \mathbb{F}_2^n \) is a triple \( (x, y, z) \) such that \( x + y + z = 0 \). The triangle removal lemma for \( \mathbb{F}_2^n \) states that for every \( \varepsilon > 0 \) there is a \( \delta > 0 \), such that if a subset \( A \) of \( \mathbb{F}_2^n \) requires the removal of at least \( \varepsilon \cdot 2^n \) elements to make it triangle-free, then it must contain at least \( \delta \cdot 2^{2n} \) triangles.

This problem was first studied by Green [Gre05] who proved a lower bound on \( \delta \) using an arithmetic regularity lemma. Regularity-based lower bounds for triangle removal in graphs were recently improved by Fox, and we give a direct proof of an analogous improvement for triangle removal in \( \mathbb{F}_2^n \).

The improved lower bound was already known to follow (for triangle-removal in all groups) using Fox’s removal lemma for directed cycles and a reduction by Král, Serra, and Vena~\cite{KSV09} (see [Fox11, CF13]). The purpose of this note is to provide a direct Fourier-analytic proof for the group \( \mathbb{F}_2^n \).

Robert Tanniru 1
1Computer Science and Engineering, Oakland University 2200 N. Squirrel Rd. Rochester, Michigan 48309
Abstract:

Catalan Numbers and their generalizations are found throughout the field of Combinatorics. This paper describes their connection to numbers whose digits appear in the number’s own \(p^{th}\) root. These are called Grafting Numbers and they are defined by a class of polynomials given by the Grafting Equation: \((x+y)^p = b^ax\). A formula that solves for \(x\) in these polynomials uses a novel extension to Catalan Numbers and will be proved in this paper. This extension results in new sequences that also solve natural extensions to previous Combinatorics problems. In addition, this paper will present computationally verified conjectures about formulas and properties of other solutions to the Grafting Equation.

Abstract:

A \( d \)-angulation of a surface is an embedding of a 3-connected graph on that surface that divides it into \( d \)-gonal faces. A \( d \)-angulation is said to be Grünbaum colorable if its edges can be \( d \)-colored so that every face uses all \( d \) colors. Up to now, the concept of Grünbaum coloring has been related only to triangulations (\( d = 3 \)), but in this note, this concept is generalized for an arbitrary face size \( d \geq 3 \). It is shown that the face 2-colorability of a \( d \)-angulation \( P \) implies the Grünbaum colorability of \( P \). Some wide classes of triangulations have turned out to be face 2-colorable.

Qingsong Zou1, Lili Wang2, Guojun Li3
1“Department of Mathematics, Xidian University, Xi’an, 710071, P.R.China
2School of Economics and Management, Chang’an University, Xi’an, 710064, P.R.China
3School of Mathematics, Shandong University, Jinan, 250100, P.R.China
Abstract:

Let \( G \) be a claw-free graph of order \( 4k \), where \( k \) is a positive integer. In this paper, it is proved that if the degree sum \( d(u) + d(v) \) is at least \( 4k – 2 \) for every pair of nonadjacent vertices \( u, v \in V(G) \), then \( G \) has a spanning subgraph consisting of \( k – 1 \) quadrilaterals and a 4-path such that all of them are vertex-disjoint, unless \( G \) is isomorphic to \( K_{4k_1 + 2} \cup K_{4k_2 + 2} \), or \( K_{4k_1 + 1} \cup K_{4k_2 + 3} \), where \( k_1 \geq 0, k_2 \geq 0, k_1 + k_2 = k – 1 \). We further showed that the requirement about claw-free is indispensable and the degree condition is sharp.

Ralph P. Grimaldi1
1Mathematics Department Rose-Hulman Institute of Technology Terre Haute, Indiana 47803 U.S.A.
Abstract:

For \( n \geq 1 \) we call a sequence \( s_1, s_2, \ldots, s_n \) an up-down sequence of length \( n \) when (i) \( s_1 = 1 \); (ii) \( s_i \in \{1, 2, 3, 4\} \), for \( 2 \leq i \leq n \); and, (iii) \( |s_i – s_{i-1}| = 1 \), for \( 2 \leq i \leq n \). We count the number of inversions and coinversions for all such up-down sequences of length \( n \), as well as the sum of the major indices for all these sequences of length \( n \).

Rao Li1
1Dept. of Mathematical Sciences University of South Carolina Aiken Aiken, SC 29801
Abstract:

Das \([4]\), Feng et al. \([5]\), and Li et al. \([13]\) obtained upper bounds for the number of spanning trees of a connected graph. Using some ideas in \([4]\), \([5]\), and \([13]\) and other established results, we obtain new upper bounds for the number of spanning trees of a connected graph.

R. Sangeetha1, A. Muthusamy1
1Department of Mathematics, Periyar University, Salem, Tamilnadu, India
Abstract:

Given two non-isomorphic bipartite 2-factors \( F_1 \) and \( F_2 \) of order \( 4n \), the Bipartite Hamilton-Waterloo Problem (BHWP) asks for a 2-factorization of \( K_{2n,2n} \) into \( \alpha \) copies of \( F_1 \) and \( \beta \) copies of \( F_2 \), where \( \alpha + \beta = n \) and \( \alpha, \beta \geq 1 \). We show that the BHWP has a solution when \( F_1 \) is a refinement of \( F_2 \), where no component of \( F_1 \) is a \( C_4 \) or \( C_6 \), except possibly when \( \alpha = 1 \) and either (i) \( F_2 \) is a \( C_4 \)-factor or (ii) \( F_2 \) has more than one \( C_4 \) with all other components of an order \( r \equiv 0 \pmod{4} > 4 \) or (iii) \( F_2 \) has components with an order \( r \equiv 2 \pmod{4} \), when \( n \) is even. We also show that there does not exist a factorization of \( K_{6,6} \) into a single 12-cycle and two \( C_4 \)-factors.

Daniel Schaal, Melanie Zinter1
1Department of Mathematics and Statistics South Dakota State University Brookings, SD 57007
Abstract:

For every integer \( c \), let \( r(2, 2, c) \) be the least integer \( n \) such that for every 2-coloring of the set \( \{1, 2, \ldots, n\} \) there exists a monochromatic solution to the equation \[ 2x_1 + 2x_2 + c = x_3. \]
Secondly, for every integer \( c \), let \( r(2, 2, 2, c) \) be the least integer \( n \) such that for every 2-coloring of the set \( \{1, 2, \ldots, n\} \) there exists a monochromatic solution to the equation \[ 2x_1 + 2x_2 + 2x_3 + c = x_4. \]
In this paper, exact values are found for \( r(2, 2, c) \) and \( r(2, 2, 2, c) \).

Sandro Rajola1, Maurizio Iurlo2
1Istituto Tecnico per il Turismo “C. Colombo” Via Panisperna, 255 00184 Roma Italy
2Largo dell’ Olgiata, 15/106/1C 00123 Roma Italy
Abstract:

We construct a class of maximal partial line spreads in \( \mathrm{PG}(4, q) \), that we call \( q \)-added maximal partial line spreads. We obtain them by depriving a line spread of a hyperplane of some lines and adding \( q+1 \) pairwise skew lines not in the hyperplane for each removed line. We do it in a theoretical way for every value of \( q \), and by a computer search for \( q \leq 16 \). More precisely, we prove that for every \( q \) there are \( q \)-added MPS of size \( q^2 + kq + 1 \), for every integer \( k = 1, \ldots, q-1 \), while by a computer search we get larger cardinalities.

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;