
This paper introduces Hadamard-type \(t\)-Fibonacci-Lehmer (HTFL) sequences, a new hybrid construction combining Lehmer and Fibonacci recurrences. We establish their fundamental properties, including simple periodicity, and extend the definition to finite groups, with a detailed study of the Heisenberg group. Building on these results, we propose two Diffie–Hellman-style key exchange protocols based on upper-triangular unipotent matrices parameterized by HTFL sequence terms. Our work thus connects sequence theory, group theory, and cryptography in a novel way. While the algebraic framework and periodicity analysis are rigorous, we present the cryptographic constructions primarily as a conceptual foundation. We also discuss potential security considerations and outline directions for strengthening these schemes under formal hardness assumptions. This study demonstrates that HTFL sequences provide a fertile ground for both combinatorial investigations and future cryptographic applications.
We model each 4\(\mathrm{\times}\)4 magic square by encoding its 16 integers as magnitudes of repelling positive point charges on a fixed 2D lattice, evolved under Coulomb forces with linear damping and a harmonic pinning to anchor sites. We simulate all 880 magic squares and compare them with equally sized ensembles of random permutations of \(\{1,{\dots},16\}\). Three readouts differentiate the ensembles. (i) Final positions: magic cases form sixteen tight, index-specific clusters on an annulus, whereas random cases show broader arcs and central accumulation. (ii) Displacement–correlation structure: across cases, many pair-of-pairs of inter-index displacements in magic squares are near-linearly dependent; the random ensemble exhibits only moderate relationships, with |r| and R\(^2\) distributions shifted to weaker correlation. (iii) Center potential: the Coulomb-type potential at the geometric center collapses to a single value at the anchors for all magic squares and remains narrowly distributed after dynamics, while random squares remain broad. Sensitivity analysis reveals a broad damping–stiffness region with high convergence, indicating that the results are robust to parameter choice.
Tolerance graphs, introduced by M. C. Golumbic and C. L. Monma in 1982, are a generalization of interval graphs. In this paper, we propose an application of coloring of tolerance graphs together with machine learning, in particular supervised learning, in solving problems of airport gate assignment during a pandemic of an airborne disease. The idea is to minimize a contact between passengers at the gates, in order to slow down a spread of the disease. This application includes calculating the chromatic number of a graph and finding a clique of a given size in the graph. As a result, we obtain the minimum number of gates needed under the given assumptions and the corresponding gate assignment. Further, we propose an application of list coloring, a generalization of a coloring, of tolerance graphs in solving these problems. Besides the theoretical approach, the corresponding algorithms are given. The algorithms developed may take into account several parameters, such as the number of passengers on a flight, the number of newly infected people per 1000 inhabitants. A similar approach can be taken for classroom assignment during a pandemic, scheduling meetings, etc.
This paper addresses the enumeration of two types of zero-sum sequences. The first type is defined by constraints on both the number of terms and the values they may assume; the second type is constrained by the number of terms and the total absolute value of the sequence. For both cases, exact enumeration formulas are derived in terms of restricted partition functions, and asymptotic estimates are obtained. In the final section, an algebraic analogue of restricted compositions is introduced, and its enumerative properties are analyzed.
A Fibonacci cordial labeling of a graph \(G\) is an injective function \(f: V(G) \rightarrow \{F_0, F_1, \dots,\\ F_n\}\), where \(F_i\) denotes the \(i^{\text{th}}\) Fibonacci number, such that the induced edge labeling \(f^*: E(G) \rightarrow \{0,1\}\), given by \(f^*(uv) = (f(u) + f(v))\) \((\bmod\ 2)\), satisfies the balance condition \(|e_f(0) – e_f(1)| \le 1\). Here, \(e_f(0)\) and \(e_f(1)\) represent the number of edges labeled 0 and 1, respectively. A graph that admits such a labeling is termed a Fibonacci cordial graph. In this paper, we investigate the existence and construction of Fibonacci cordial labelings for several families of graphs, including Generalized Petersen graphs, open and closed helm graphs, joint sum graphs, and circulant graphs of small order. New results and examples are presented, contributing to the growing body of knowledge on graph labelings inspired by numerical sequences.
An S-packing k-coloring of a graph \(G\) (with \(S=(s_1,s_2,\dots)\) is a non-decreasing sequence of positive integers) is a mapping \(f\) from \(V(G)\) to \(\lbrace 1,\dots , k \rbrace\) (the set of colors) such that for every two distincts vertices \(x\) and \(y\) in \(V(G)\) with \(f(x)=f(y)=i\) the distance between \(x\) and \(y\) in \(G\) is bigger than \(s_i\). The S-packing chromatic number \(\chi_S (G)\) of \(G\) is the smallest integer \(k\) such that \(G\) has an S-packing k-coloring. Given a set \(D\subset \mathbb{N}^*\), a distance graph \(G(\mathbb{Z}, D)\) with distance set \(D\) is a graph with vertex set \(\mathbb{Z}\) and two distincts vertices \(u\) and \(v\) are adjacents if \(| u-v | \in D\). In this paper, for \(S=(s,s+1,s+1,\dots)\) with \(s \geq \left\lceil \frac{t}{2} \right\rceil\) we give a lower bound of \(\chi_S (G(\mathbb{Z}, \lbrace 1, t\rbrace))\), and a lower bound of \(\chi_d (G(\mathbb{Z}, \lbrace 1, t\rbrace))\) with \(d \geq \left\lceil \frac{t}{2} \right\rceil\), for \(S=(s_1,s_2,\dots, s_i,a,a,\dots)\) with \(a \geq \max( 1 , t-2 )\) we give an upper bound of \(\chi_S (G(\mathbb{Z}, \lbrace 1, t\rbrace))\), and we determine the exact values of \(\chi_S (G(\mathbb{Z}, \lbrace 1, t\rbrace))\) and also of \(\chi_d (G(\mathbb{Z}, \lbrace 1, t\rbrace))\) for \(s\geq \max (\left\lceil \frac{t}{2} \right\rceil, t-3)\) and \(d \geq \max (\left\lceil \frac{t}{2} \right\rceil , t-2)\). And we give a lower and an upper bound of \(\chi_S (G(\mathbb{Z}, \lbrace 1, t\rbrace))\) for \(S=(1,s,s,\dots)\) with conditions on \(s\) and \(t\), which in the cases \(s\geq \max (t-2,\left\lceil \frac{t}{2}\right\rceil)\) we determine the exact values of \(\chi_S (G(\mathbb{Z}, \lbrace 1, t\rbrace))\).
For a graph \(G=(V,E)\), a pair of vertex disjoint sets \(A_{1}\) and \(A_{2}\) form a connected coalition of \(G\), if \(A_{1}\cup A_{2}\) is a connected dominating set, but neither \(A_{1}\) nor \(A_{2}\) is a connected dominating set. A connected coalition partition of \(G\) is a partition \(\Phi\) of \(V(G)\) such that each set in \(\Phi\) either consists of only a singe vertex with the degree \(\mid V(G)\mid-1\), or forms a connected coalition of \(G\) with another set in \(\Phi\). The connected coalition number of \(G\), denoted by \(CC(G)\), is the largest possible size of a connected coalition partition of \(G\). In this paper, we characterize graphs that satisfy \(CC(G)=2\). Moreover, we obtain the connected coalition number for unicycle graphs and for the corona product and join of two graphs. Finally, we give a lower bound on the connected coalition number of the Cartesian product and the lexicographic product of two graphs.
The lower deg-centric graph of a simple, connected graph \(G\), denoted by \(G_{ld}\), is a graph constructed from \(G\) such that \(V(G_{ld}) = V(G)\) and \(E(G_{ld}) = \{v_iv_j: d_G(v_i,v_j) < \deg_G(v_i)\}\). This paper presents the Roman domination number of lower deg-centric graphs. Also, investigate the properties and structural characteristics of this type of graph.
Let \(K = K(a,p;\lambda_1,\lambda_2)\) be the multigraph with: the number of vertices in each part equal to \(a\); the number of parts equal to \(p\); the number of edges joining any two vertices of the same part equal to \(\lambda_1\); and the number of edges joining any two vertices of different parts equal to \(\lambda_2\). The existence of \(C_4\)-factorizations of \(K\) has been settled when \(a\) is even; when \(a \equiv 1 \ (\mbox{mod } 4)\) with one exception; and for very few cases when \(a \equiv 3 \ (\mbox{mod } 4)\). The existence of \(C_z\)-factorizations of \(K\) has been settled when \(a \equiv 1 \ (\mbox{mod } z)\) and \(\lambda_1\) is even; when \(a \equiv 0 \ (\mbox{mod } z)\); and when \(z=2a\) where both \(a\) and \(\lambda_1\) is even. In this paper, we give a construction for \(C_z\)-factorizations of \(K\) for \(z \in \{ 4,4a \}\) when \(a\) is even.
In 1940, Birkhoff raised the open problem of computing of all posets/lattices on \(n\) elements up to isomorphism for small \(n\). Many authors tried to solve this problem by providing algorithms such as nauty. In 2020, Gebhardt and Tawn given an orderly algorithm for constructing unlabelled lattices of given size and explicitly obtained the number of lattices on up to \(20\) elements. In 2020, Bhavale and Waphare introduced the concept of nullity of a poset as the nullity of its cover graph. Recently, Bhavale and Aware counted lattices having nullity up to two. Bhavale and Aware also counted all non-isomorphic lattices on \(n\) elements, containing up to three reducible elements, having arbitrary nullity \(k \geq 2\). In this paper, we count up to isomorphism the class of all lattices on \(n\) elements containing four comparable reducible elements, and having nullity three.
In this paper, we consider (\(a,b\))- parity factors in graphs and obtain a toughness condition for the existence of (\(a,b\))-parity factors. Furthermore, we show that the result is sharp in some sense.
The most serious physical disability in children is caused by cerebral palsy (CP), a frequent mobility disease in children. Early diagnosis is essential for an early intervention and it helps in potential recovery of infants at high risk. Diagnosis of cerebral palsy is crucial at an early stage since it allows monitoring and therapy sooner. Children with cerebral palsy are prone to high error and may cause underestimation in the values of Hypothalamic–Pituitary–adrenal that is often detected in children with limitations in mobility. Accelerometer-based motion sensors have been acknowledged as the standard for accurately measuring PA in children and adolescents. GAIT aims to map these readings and create a 3-Dimensional model to map coordinates and perform analysis, however finding the severity and the type of Cerebral Palsy is a task due to a lack of classification models. The paper aims to deploy a classification model to predict the presence, intensity and severity of the condition in infants / adults by using the coordinate dataset provided by the GAIT Lab datasets available within the institute’s GAIT Lab. Alongside this, also focusing on deploying an infant cerebral palsy prediction model that can predict the condition in early stages and be used for treatment.
This paper contributes to the classification of non-trivial \(2\)-designs with block size \(5\) admitting a block-transitive automorphism group. Let \({\cal D=(P,B)}\) be a non-trivial 2-\((v,5,\lambda)\) design and \(G\) be a block-transitive automorphism group of \(\mathcal{D}\). The main aim of this paper is to determine all pairs \((\mathcal{D},G)\) when Soc(\(G\)) is a sporadic simple group.
In mathematics education research, mathematics task sets involving mixed practice include tasks from many different topics within the same assignment. In this paper, we use graph decompositions to construct mixed practice task sets for Calculus I, focusing on derivative computation tasks, or tasks of the form “Compute \(f'(x)\) of the function \(f(x)=\) [elementary function].” A decomposition \(D\) of a graph \(G=(V,E)\) is a collection \(\{H_1, H_2, …, H_t\}\) of nonempty subgraphs such that \(H_i=G[E_i]\) for some nonempty subset \(E_i\) of \(E(G)\), and \(\{E_1, E_2, …, E_t\}\) is a partition of \(E(G)\). We extend results on decompositions of the complete directed graph due to Meszka & Skupień to construct balanced task sets that assess the Chain Rule.
Let \(G\) be a graph of order \(n\) and let \(A\) be an additive Abelian group with identity 0. A mapping \(l : V(G) \to A \setminus \{0\}\) is said to be a \(A\)-vertex magic labeling of \(G\) if there exists a \(\mu \in\) \(A\) such that \(w(v) = \sum\limits_{u \in N_G(v)} l(u) = \mu\) for all \(v \in V\) and \(\mu\) is called a magic constant of \(\ell\). The group distance magic set of an \(A\)-vertex magic graph \(gdms(G,A)\) is defined as \(gdms(G,A):= \{ \lambda: \lambda \text{ is a magic constant of some $A$-vertex magic labeling} \}\). In this paper, we investigate under what conditions \(gdms(G,A)\) is a subgroup of \(A\). We also introduce the concept of the reduced group distance magic set, \(rgdms(G, A)\), which can be used as a tool to determine \(gdms(G, A)\).
Let \(2\le k\in\mathbb{Z}\). We say that a total coloring of a \(k\)-regular simple graph via \(k+1\) colors is an efficient total coloring if each color yields an efficient dominating set, where the efficient domination condition applies to the restriction of each color class to the vertex set. We prove that Hamming shells of star transposition graphs and Hamming cubes have efficient total colorings. Also in this work, a focus is set upon the graphs of girth \(2k\) and \(k\). Efficient total colorings of finite connected simple cubic graphs of girth 6 are constructed. These are of two specific types, namely: (a) those whose 6-cycles use just 3 colors with antipodal monochromatic pairs of vertices or edges; (b) those whose 6-cycles do not respect item (a) so they use four colors. An orthogonality property holds for all graphs of type (a). Such property allows further edge-half-girth colorings in the corresponding prism graphs.
A \(\{2\}\)-dominating function (\(\{2 \}\)DF) on a graph \(G=(V(G),E(G))\) is a function \(f : V(G) \rightarrow \{0,1,2 \}\) such that \(f(N[v]) \geq 2\) for every \(v \in V(G)\), where \(N[v]\) is the closed neighourhood of \(v\). The \(\{2\}\)-domination number of \(G\) is the minimum weight \(\omega(f) = \sum\limits_{v \in V(G)} f(v)\) among all \(\{2 \}\)-dominating functions on \(G\). In this article, we prove that if \(G\) and \(H\) are graphs with no isolated vertex, then for any vertex \(v \in V(H)\) there are six closed formulas for the \(\{2\}\)-domination number of the rooted product graph \(G \circ_v H\). We also characterize the graph \(G\) and \(H\) that satisfy each of these formulas.
The chemical graphs are graphs that have no vertex with degree greater than 4. The sigma index of a graph \(G\) is defined by \(\sum_{uv\in E(G)} (deg_{G}(u)-deg_{G}(v))^{2}\), where \(deg_{G}(u)\) stands for the degree of vertex \(u\) in \(G\). In this work, we present lower and upper bounds on the sigma index for chemical trees with a given order and number of pendent vertices. Furthermore, we solve the problem of minimizing sigma index for chemical graphs of order \(n\) having \(m\) edges and \(p\) pendent vertices.
Sports movement recognition is vital for performance assessment, training optimization, and injury prevention, but manual observation is slow and inconsistent. We propose a compact framework that fuses deep learning with biodynamic analysis: convolutional neural networks (CNNs) extract spatial cues from video, a biodynamic encoder derives joint angles, torques, velocities, and forces, and temporal convolutional networks (TCNs) capture sequential dependencies. Using a simulated multimodal dataset of athletic activities, our method outperforms baseline CNN and LSTM models, achieving higher precision (91.5), recall (93.2), and accuracy (92.7). Gains are largest for complex biomechanics (e.g., throwing, kicking), with up to a 10% accuracy increase from biodynamic integration. These results highlight the value of multimodal fusion and provide a scalable path toward real-time, AI-driven sports performance monitoring, with potential extensions to niche sports (fencing, gymnastics, pole vaulting, javelin).
Let \(S\) be an independent set of a connected graph \(G\) of order atleast \(2\). A set \(S' \subseteq V(G)-S\) is an \(S\)-fixed geodetic set of \(G\) if each vertex \(v\) in \(G\) lies on an \(x-y\) geodesic for some \(x\in S\) and \(y\in S'\). The \(S\)-fixed geodetic number \(g_s(G)\) of \(G\) is the minimum cardinality of an \(S\)-fixed geodetic set of \(G\). The independent fixed geodetic number of \(G\) is \(g_{if}(G) = min \left\{g_s(G)\right\}\), where the minimum is taken over all independent sets \(S\) in \(G\). An independent fixed geodetic set of cardinality \(g_{if}(G)\) is called a \(g_{if}\)-set of \(G\). We determine bounds for it and characterize graphs which realize these bounds. Also, the relations with the vertex geodomination number, vertex independence number and vertex covering number of graphs are studied. Some realization results based on the parameter \(g_{if}(G)\) are generated. Finally, two algorithms are designed to compute the independent fixed geodetic number \(g_{if}(G)\) and their complexity results are analyzed.
Enumerative study of RNA secondary structures is one of the most important topics in computational biology. However, most of the existing results are concerned with a single type of structural motifs and are asymptotic. Hairpins and stacks are among the most important motifs in secondary structures. Certain subsets of secondary structures characterized by the number of contained hairpins and the way how these hairpin loops are organized, for instance, cloverleaves (Waterman 1979), have been enumerated in a variety of works, mostly asymptotically. In this paper, we generalize these enumerations and combinatorially obtain exact formulae counting general RNA secondary structures by the joint distribution of hairpins and stacks.
Optimizing regional economic resources is a crucial aspect of the Belt and Road initiative. This paper develops a multi-objective optimization model to objectively evaluate the development level of regional economic resource optimization in Belt and Road countries and to identify the key influencing factors. The model maximizes regional economic and social benefits under constraints of resource availability, output capacity, and coordinated regional development, and it incorporates a synergy measure to ensure robust progress. Our findings show that the regional economic benefits index increased from 0.264 in 2017 to 0.575 in 2023 (a growth rate of 117.8%), while social benefits grew by 14.29%. Additionally, panel regression analysis reveals that merchandise trade, foreign direct investment, road traffic mortality, and industrial development all have significant negative impacts on the optimization of economic resources, at the 1% significance level.