Search

In this paper, we define D-magic labelings for oriented graphs where D is a distance set. In particular, we label the vertices of the graph with distinct integers {1,2,…,|V(G)|} in such a way that the sum of all the vertex labels that are a distance in D away from a given vertex is the same across all vertices. We give some results related to the magic constant, construct a few infinite families of D-magic graphs, and examine trees, cycles, and multipartite graphs. This definition grew out of the definition of D-magic (undirected) graphs. This paper explores some of the symmetries we see between the undirected and directed version of D-magic labelings.

Conjectures on permanents are well-known unsettled conjectures in linear algebra. Let A be an n×n matrix and Sn be the symmetric group on n element set. The permanent of A is defined as perA=∑σ∈Sn∏i=1naiσ(i). The Merris conjectured that for all n×n doubly stochastic matrices (denoted by Ωn), nperA≥min1≤i≤n∑j=1nperA(j|i), where A(j|i) denotes the matrix obtained from A by deleting the jth row and ith column. Foregger raised a question whether per(tJn+(1−t)A)≤perA for 0≤t≤nn−1 and for all A∈Ωn, where Jn is a doubly stochastic matrix with each entry 1n. The Merris conjecture is one of the well-known conjectures on permanents. This conjecture is still open for n≥4. In this paper, we prove the Merris inequality for some classes of matrices. We use the sub permanent inequalities to prove our results. Foregger’s inequality is also one of the well-known inequalities on permanents, and it is not yet proved for n≥5. Using the concepts of elementary symmetric function and subpermanents, we prove the Foregger’s inequality for n=5 in [0.25, 0.6248]. Let σk(A) be the sum of all subpermanents of order k. Holens and Dokovic proposed a conjecture (Holen–Dokovic conjecture), which states that if A∈Ωn,A≠Jn and k is an integer, 1≤k≤n, then σk(A)≥(n−k+1)2nkσk−1(A). In this paper, we disprove the conjecture for n=k=4.

In this paper we introduce and study a new generalization of Fibonacci polynomials which generalize Fibonacci, Jacobsthal and Narayana numbers, simultaneously. We give a graph interpretation of these polynomials and we obtain a binomial formula for them. Moreover by modification of Pascal’s triangle, which has a symmetric structure, we obtain matrices generated by coefficients of generalized Fibonacci polynomials. As a consequence, the direct formula for generalized Fibonacci polynomials was given. In addition, we determine matrix generators for generalized Fibonacci polynomials, using the symmetric matrix of initial conditions.

An antimagic labeling of a graph G is a bijection f:E(G)→{1,…,|E(G)|} such that the weights w(x)=∑y∼xf(y) distinguish all vertices. A well-known conjecture of Hartsfield and Ringel (1990) is that every connected graph other than K2 admits an antimagic labeling. For a set of distances D, a D-antimagic labeling of a graph G is a bijection f:V(G)→{1,…,|V(G)|} such that the weightω(x)=∑y∈ND(x)f(y) is distinct for each vertex x, where ND(x)={y∈V(G)|d(x,y)∈D} is the D-neigbourhood set of a vertex x. If ND(x)=r, for every vertex x in G, a graph G is said to be (D,r)-regular. In this paper, we conjecture that a graph admits a D-antimagic labeling if and only if it does not contain two vertices having the same D-neighborhood set. We also provide evidence that the conjecture is true. We present computational results that, for D={1}, all graphs of order up to 8 concur with the conjecture. We prove that the set of (D,r)-regular D-antimagic graphs is closed under union. We provide examples of disjoint union of symmetric (D,r)-regular that are D-antimagic and examples of disjoint union of non-symmetric non-(D,r)-regular graphs that are D-antimagic. Furthermore, lastly, we show that it is possible to obtain a D-antimagic graph from a previously known distance antimagic graph.

Let R be a commutative ring with nonzero identity and k≥2 be a fixed integer. The k-zero-divisor hypergraph Hk(R) of R consists of the vertex set Z(R,k), the set of all k-zero-divisors of R, and the hyperedges of the form {a1,a2,a3,…,ak}, where a1,a2,a3,…,ak are k distinct elements in Z(R,k), which means (i) a1a2a3⋯ak=0 and (ii) the products of all elements of any (k−1) subsets of {a1,a2,a3,…,ak} are nonzero. This paper provides two commutative rings so that one of them induces a family of complete k-zero-divisor hypergraphs, while another induces a family of k-partite σ-zero-divisor hypergraphs, which illustrates unbalanced or asymmetric structure. Moreover, the diameter and the minimum length of all cycles or girth of the family of k-partite σ-zero-divisor hypergraphs are determined. In addition to a k-zero-divisor hypergraph, we provide the definition of an ideal-based k-zero-divisor hypergraph and some basic results on these hypergraphs concerning a complete k-partite k-uniform hypergraph, a complete k-uniform hypergraph, and a clique.

Balanced signed graphs appear in the context of social groups with symmetric relations between individuals where a positive edge represents friendship and a negative edge represents enmities between the individuals. The frustration number f of a signed graph is the size of the minimal set F of vertices whose removal results in a balanced signed graph; hence, a connected signed graph G˙ is balanced if and only if f=0. In this paper, we consider the balance of G˙ via the relationships between the frustration number and eigenvalues of the symmetric Laplacian matrix associated with G˙. It is known that a signed graph is balanced if and only if its least Laplacian eigenvalue μn is zero. We consider the inequalities that involve certain Laplacian eigenvalues, the frustration number f and some related invariants such as the cut size of F and its average vertex degree. In particular, we consider the interplay between μn and f.

A proper total k-coloring ϕ of G with ∑z∈EG(u)∪{u}ϕ(z)≠∑z∈EG(v)∪{v}ϕ(z) for each uv∈E(G) is called a total neighbor sum distinguishing k-coloring, where EG(u)={uv|uv∈E(G)}. Pilśniak and Woźniak conjectured that every graph with maximum degree Δ exists a total neighbor sum distinguishing (Δ+3)-coloring. In this paper, we proved that any IC-planar graph with Δ≥12 satisfies this conjecture, which improves the result of Song and Xu.

The commuting graph of a finite non-abelian group G with center Z(G), denoted by Γc(G), is a simple undirected graph whose vertex set is G∖Z(G), and two distinct vertices x and y are adjacent if and only if xy=yx. Alwardi et al. (Bulletin, 2011, 36, 49-59) defined the common neighborhood matrix CN(G) and the common neighborhood energy Ecn(G) of a simple graph G. A graph G is called CN-hyperenergetic if Ecn(G)&gt, Ecn(Kn), where n=|V(G)| and Kn denotes the complete graph on n vertices. Two graphs G and H with equal number of vertices are called CN-equienergetic if Ecn(G)=Ecn(H). In this paper we compute the common neighborhood energy of Γc(G) for several classes of finite non-abelian groups, including the class of groups such that the central quotient is isomorphic to group of symmetries of a regular polygon, and conclude that these graphs are not CN-hyperenergetic. We shall also obtain some pairs of finite non-abelian groups such that their commuting graphs are CN-equienergetic.

The maximum weighted independent set (MWIS) problem is important since it occurs in various applications, such as facility location, selection of non-overlapping time slots, labeling of digital maps, etc. However, in real-life situations, input parameters within those models are often loosely defined or subject to change. For such reasons, this paper studies robust variants of the MWIS problem. The study is restricted to cases where the involved graph is a tree. Uncertainty of vertex weights is represented by intervals. First, it is observed that the max–min variant of the problem can be solved in linear time. Next, as the most important original contribution, it is proved that the min–max regret variant is NP-hard. Finally, two mutually related approximation algorithms for the min–max regret variant are proposed. The first of them is already known, but adjusted to the considered situation, while the second one is completely new. Both algorithms are analyzed and evaluated experimentally.

A subset J is a (2-d)-kernel of a graph if J is independent and 2-dominating simultaneously. In this paper, we consider two different generalizations of the Petersen graph and we give complete characterizations of these graphs which have (2-d)-kernel. Moreover, we determine the number of (2-d)-kernels of these graphs as well as their lower and upper kernel number. The property that each of the considered generalizations of the Petersen graph has a symmetric structure is useful in finding (2-d)-kernels in these graphs.

Let G be a graph with vertex set V(G) and edge set E(G). A graph invariant for G is a number related to the structure of G which is invariant under the symmetry of G. The Sombor and reduced Sombor indices of G are two new graph invariants defined as SO(G)=∑uv∈E(G)dG(u)2+dG(v)2 and SOred(G)=∑uv∈E(G)dG(u)−12+dG(v)−12, respectively, where dG(v) is the degree of the vertex v in G. We denote by Hn,ν the graph constructed from the star Sn by adding ν edge(s), 0≤ν≤n−2, between a fixed pendent vertex and ν other pendent vertices. Réti et al. [T. Réti, T Došlić and A. Ali, On the Sombor index of graphs, Contrib. Math.3 (2021) 11–18] proposed a conjecture that the graph Hn,ν has the maximum Sombor index among all connected ν-cyclic graphs of order n, where 0≤ν≤n−2. In some earlier works, the validity of this conjecture was proved for ν≤5. In this paper, we confirm that this conjecture is true, when ν=6. The Sombor index in the case that the number of pendent vertices is less than or equal to n−ν−2 is investigated, and the same results are obtained for the reduced Sombor index. Some relationships between Sombor, reduced Sombor, and first Zagreb indices of graphs are also obtained.

Ebisu and Iwassaki proved that there are three-term relations for 3F2(1) with a group symmetry of order 72. In this paper, we apply some specific three-term relations for 3F2(1) to partially answer the open problem raised by Miller and Paris in 2012. Given a known value 3F2((a,b,x),(c,x+1),1), if f−x is an integer, then we construct an algorithm to obtain 3F2((a,b,f),(c,f+n),1) in an explicit closed form, where n is a positive integer and a,b,c and f are arbitrary complex numbers. We also extend our results to evaluate some specific forms of p+1Fp(1), for any positive integer p≥2.

In this paper we use a graph interpretation of distance Fibonacci polynomials to get a new generalization of Lucas polynomials in the distance sense. We give a direct formula, a generating function and we prove some identities for generalized Lucas polynomials. We present Pascal-like triangles with left-justified rows filled with coefficients of these polynomials, in which one can observe some symmetric patterns. Using a general Q-matrix and a symmetric matrix of initial conditions we also define matrix generators for generalized Lucas polynomials.