Recently, Luo [3] introduced the Adding–Swapping Mapping Method to provide an alternative and constructive proof of Stanley’s [4] conjecture on perfect square permutations in \(S_n\) and asked whether the method extends to higher powers. In this paper we answer that question in a more limited but precise structural sense. For each fixed \(k\ge 2\), we define the \(k\)-signature \(R_k(w)\) recording the cycle-count vector modulo \(\gcd(m,k)\) in each length \(m\), and we prove a local residue transition law describing how the insertion map \(D_i\) updates the signature once the cycle length of the insertion point is specified. We also prove explicitly that every \(k\)-th power permutation has zero \(k\)-signature, so the signature gives a necessary obstruction to being a \(k\)-th power. This yields a residue-based partition of \(S_n\) that serves as an indexing scheme for insertion updates. We then show that for \(k\ge 3\) the insertion family does not preserve the class of \(k\)-th powers, explaining why the square case is exceptional from the standpoint of Luo’s method. Finally, we include explicit small-\(n\) data for \(k=3,4\) and prove that the density of \(k\)-th powers in \(S_n\) tends to \(0\) as \(n\to\infty\).

This article studies edge irregular \((k)\)-labelings of complete graphs \((K_n)\) and aims to improve the existing upper bound for the edge irregularity strength \((es(K_n))\) through an algorithmic approach. The improvement is achieved using the branch and bound algorithm design strategy, whose selection is important because of the problem structure, computational complexity, possible serial or parallel execution, and accuracy requirements. Labeling complete graphs is difficult because the number of edges grows rapidly and many triangles are involved, making it challenging to maintain unique edge weights while searching for optimal labels. Since complete graphs serve as supergraphs for many graph families, results on them are particularly valuable. In 2018, Asim et al. proposed an algorithmic solution for complete graphs and gave the upper bound \((es(K_n)\leq E\log_2 |V|)\). This article uses the branch and bound strategy to address edge deficiency and improve that bound. Computational experiments are conducted for higher-order graphs, where the algorithm recursively generates constrained combinatorial structures to ensure unique edge weights. The results show that the proposed branch and bound algorithm significantly improves the upper bound for \((es(K_n))\) compared with previous results.

In finite desarguesian projective planes of prime power order \(q\), we consider the MDS codes obtained from ovals and generate new codes for the purpose of permutation decoding. We show that those new codes are \([q^2-1,3,(q-1)^2]_q\) codes and have \(s\)-PD-sets for \(s\le q-1\).

In this paper, we explore the enumerative combinatorics of American-style crossword puzzle grids under modified answer length requirements. While standard American-style crossword rules have a minimum answer length of three cells, we generalize this constraint to a minimum length \(m\) for an \(n\times n\) grid. We define \(\lvert Puz (n,m)\rvert\) as the number of such grids satisfying the standard structural rules of connectivity, \(180^\circ\) rotational symmetry, keyed squares, and full dimensionality. We prove that for \(m>\frac{n}{2}\), the number of valid grids is invariant under the transformation \(\lvert Puz (n,m)\rvert=\lvert Puz (n+1,m+1)\rvert\). Furthermore, we establish a closed-form formula for \(\lvert Puz (n,m)\rvert\) when \(m>\frac{n}{2}\). We also verify some counts for smaller grid dimensions verifying previously conjectured values.

Let \(G\) be a graph of order \(n\), maximum degree at most \(\Delta\), and no component of order 2. Inspired by the famous 1-2-3-conjecture, Bensmail, Marcille, and Orenga define a proper pushing scheme of \(G\) as a function \(\rho : V(G) \to \mathbb{N}_{0}\) for which \[\sigma : V(G) \to \mathbb{N}_{0} : u \mapsto (1+\rho(u)) d_G(u) + \sum\limits_{v\in N_G(u)} \rho(v),\] is a vertex coloring, that is, adjacent vertices receive different values under \(\sigma\). They show the existence of a proper pushing scheme \(\rho\) with \(\max\{\rho(u) : u \in V(G)\} \leq \Delta^2\) and conjecture that this upper bound can be improved to \(\Delta\). We show their conjecture for cubic graphs and regular bipartite graphs. Furthermore, we show the existence of a proper pushing scheme \(\rho\) with \(\sum\limits_{u\in V(G)} \rho(u) \leq (2\Delta^2+\Delta)n/6\).

A strongly connected digraph \(D\) is primitive provided the greatest common divisor of the lengths of its directed cycles equals 1. The scrambling index of a primitive digraph \(D\) 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 directed walks of length \(k\). In this paper, we characterize those primitive doubly symmetric digraphs with the largest scrambling index.

In this paper, we consider the relationship between toughness and the existence of \((g,f)\)-factors with inclusion/exclusion properties. We obtain that if \(t(G) \geq \frac{(a+b)^{2}+2(b-a)-3}{4(a+1)}\) with \(b > a \geq 2\) and \(a \leq g(x) < f(x) \leq b\) where \(a\), \(b\) are two integers, then for any two given edges \(e_{1}\) and \(e_{2}\), there exists a \((g,f)\)-factor including \(e_{1}\), \(e_{2}\); and a \((g,f)\)-factor including \(e_{1}\) and excluding \(e_{2}\); as well as a \((g,f)\)-factor excluding \(e_{1}\), \(e_{2}\).

Let \(L(G(k))\) be a line graph of a \(k\)-subdivided graph \(G(k)\) of any connected, simple and undirected graph \(G\). In this paper, we fixed the valency dependence invariants of \(L(G(k))\) for \(k\geq2.\) Our results are the generalization of the results proved in [1,3,8].

A star edge coloring of a graph \(G\) is a proper edge coloring in which every path or cycle on four vertices contains at least three distinct colors. The star edge chromatic number of \(G\), denoted by \(\chi^\prime_{\mathrm{st}}(G)\), is the minimum number of colors required for such a coloring. In this paper, we study the star edge chromatic number of several graph classes derived from the Knödel graph \(W_{\Delta,n}\). In particular, we determine bounds and exact values for \(\chi^\prime_{\mathrm{st}}(G)\) for the Knödel graph \(W_{\Delta,n}\), its middle graph \(M\!\left(W_{\Delta,n}\right)\), and its Mycielskian \(\mu\!\left(W_{\Delta,n}\right)\). Furthermore, we provide explicit constructions of star edge colorings that attain these values.

Let \(G\) be a simple connected mixed graph, and let \(H(G)\) denote the Hermitian adjacency matrix of \(G\). The Hermitian permanental polynomial of \(G\) is defined as \(\pi(G; x) = \operatorname{per}(xI – H(G))\), where \(\operatorname{per}(\cdot)\) represents the permanent and \(I\) is the identity matrix. In this paper, we first derive fundamental properties of the Hermitian permanental polynomial for mixed graphs and establish explicit formulas relating its coefficients to those of the characteristic polynomial. We then analyze the root distribution of this polynomial, determining the number of zero roots for several special classes of mixed graphs. Finally, we characterize mixed graphs that remain cospectral under four‑way switching and prove that this operation preserves the permanental spectrum.