arXiv++ Combinatorics

The sphere-of-influence graph (SIG) on a finite set of points in a metric space, each with an open ball centred about it of radius equal to the distance between that point and its nearest neighbor, is defined to be the intersection graph of these balls. Let $G$ be a graph of order $n,$ having no isolated vertices. The SIG-dimension of $G,$ denoted by $SIG(G),$ is defined to be the least possible $d$ such that $G$ can be realized as a sphere of influence graph in $\mathbb{R}^d,$ equipped with sup-norm. In 2000, Boyer [E. Boyer, L. Lister and B. Shader, Sphere of influence graphs using the sup-norm, Mathematical and Computer Modelling 32 (2000) 1071-1082] put forward the SIG dimension conjecture, which states that $$SIG(G)\leq \bigg\lceil \frac{2n}{3}\bigg\rceil.$$ In this paper, we 'almost' establish this conjecture by proving that $$SIG(G)\leq \bigg{ \lfloor}\frac{2n}{3}\bigg{ \rfloor}+2.$$

Let $A(G)$ be the adjacency matrix and $D(G)$ be the diagonal matrix of the vertex degrees of a simple connected graph $G$. Nikiforov defined the matrix $A_α(G)$ of the convex combinations of $D(G)$ and $A(G)$ as $A_α(G)=αD(G)+(1-α)A(G)$, for $0\leq α\leq 1$. If $ ρ_{1}\geq ρ_{2}\geq \dots \geq ρ_{n}$ are the eigenvalues of $A_α(G)$ (which we call $α$-adjacency eigenvalues of $G$), the $ α$-adjacency energy of $G$ is defined as $E^{A_α}(G)=\sum_{i=1}^{n}\left|ρ_i-\frac{2αm}{n}\right|$, where $n$ is the order and $m$ is the size of $G$. We obtain the upper and lower bounds for $E^{A_α}(G) $ in terms of order $n$, size $m$ and Zagreb index $Zg(G)$ associated to the structure of $G$. Further, we characterize the extremal graphs attaining these bounds.

For a simple connected graph $G$, let $D(G)$, $Tr(G)$, $D^{L}(G)$ and $D^{Q}(G)$, respectively be the distance matrix, the diagonal matrix of the vertex transmissions, distance Laplacian matrix and the distance signless Laplacian matrix of a graph $G$. The convex linear combinations $D_α(G)$ of $Tr(G)$ and $D(G)$ is defined as $D_α(G)=αTr(G)+(1-α)D(G)$, $0\leq α\leq 1$. As $D_{0}(G)=D(G), ~~~ 2D_{\frac{1}{2}}(G)=D^{Q}(G), ~~~ D_{1}(G)=Tr(G)$ and $D_α(G)-D_β(G)=(α-β)D^{L}(G)$, this matrix reduces to merging the distance spectral, distance Laplacian spectral and distance signless Laplacian spectral theories. Let $\partial_{1}(G)\geq \partial_{2}(G)\geq \dots \geq \partial_{n}(G)$ be the eigenvalues of $D_α(G)$ and let $D_αS(G)=\partial_{1}(G)-\partial_{n}(G)$ be the generalized distance spectral spread of the graph $G$. In this paper, we obtain some bounds for the generalized distance spectral spread $D_α(G)$. We also obtain relation between the generalized distance spectral spread $D_α(G)$ and the distance spectral spread $S_{D}(G)$. Further, we obtain the lower bounds for $D_αS(G)$ of bipartite graphs involving different graph parameters and we characterize the extremal graphs for some cases. We also obtain lower bounds for $D_αS(G)$ in terms of clique number and independence number of the graph $G$ and characterize the extremal graphs for some cases.

To find the number of assignments of zeros and ones satisfying a specific Knapsack Problem is $\#P$ hard, so only approximations are envisageable. A Markov chain allowing uniform sampling of all possible solutions is given by Luby, Randall and Sinclair. In 2005, Morris and Sinclair, by using a flow argument, have shown that the mixing time of this Markov chain is $\mathcal{O}(n^{9/2+ε})$, for any $ε> 0$. By using a canonical path argument on the distributive lattice structure of the set of solutions, we obtain an improved bound, the mixing time is given as $τ_{_{x}}(ε) \leq n^{3} \ln (16 ε^{-1})$.

The set of distinct eigenvalues of a signed digraph $S$ together with their multiplicities is called its spectrum. The energy of a signed digraph $S$ with eigenvalues $z_1,z_2,\cdots,z_n$ is defined as $E(S)=\sum_{j=1}^{n}|\Re z_j|$, where $\Re z_j $ denotes real part of complex number $z_j$. In this paper, we show that the characteristic polynomial of a bipartite signed digraph of order $n$ with each cycle of length $\equiv 0\pmod 4$ negative and each cycle of length $\equiv 2\pmod 4$ positive is of the form \\ $$φ_S(z)=z^n+\sum\limits_{j=1}^{\lfloor{\frac{n}{2}}\rfloor}(-1)^j c_{2j}(S)z^{n-2j},$$\\ where $c_{2j}(S)$ are nonnegative integers. We define a quasi-order relation in this case and show energy is increasing. It is shown that the characteristic polynomial of a bipartite signed digraph of order $n$ with each cycle negative has the form $$φ_S(z)=z^n+\sum\limits_{j=1}^{\lfloor{\frac{n}{2}}\rfloor}c_{2j}(S)z^{n-2j},$$ where $c_{2j}(S)$ are nonnegative integers. We study integral, real, Gaussian signed digraphs and quasi-cospectral digraphs and show for each positive integer $n\ge 4$ there exists a family of $n$ cospectral, non symmetric, strongly connected, integral, real, Gaussian signed digraphs (non cycle balanced) and quasi-cospectral digraphs of order $4^n$. We obtain a new family of pairs of equienergetic strongly connected signed digraphs and answer to open problem $(2)$ posed in Pirzada and Mushtaq, Energy of signed digraphs, Discrete Applied Mathematics 169 (2014) 195-205.

For a graph with $n$ vertices and $m$ edges, having Laplacian spectrum $μ_1, μ_2, \cdots,μ_n$ and signless Laplacian spectrum $μ^+_1,μ^+_2, \cdots,μ^+_n$, the Laplacian energy and signless Laplacian energy of $G$ are respectively, defined as $LE(G)=\sum_{i=1}^{n}|μ_i-\frac{2m}{n}|$ and $LE^+(G)=\sum_{i=1}^{n}|μ^+_i-\frac{2m}{n}|$. Two graphs $G_1$ and $G_2$ of same order are said to be $L$-equienergetic if $LE(G_1)=LE(G_2)$ and $Q$-equienergetic if $LE^{+}(G_1)=LE^{+}(G_2)$. The problem of constructing graphs having same Laplacian energy has been considered by Stevanovic for threshold graphs and by Liu and Liu for those graphs whose order is $n\equiv 0$ (mod 7). In general the problem of constructing $L$-equienergetic graphs from any pair of given graphs is still not solved, and this work is an attempt in that direction. We construct sequences of non-cospectral (Laplacian, signless Laplacian) $L$-equienergetic and $Q$-equienergetic graphs from any pair of graphs having same number of vertices and edges.

For a graph $G$ with vertex set $V(G)=\{v_1, v_2, \cdots, v_n\}$, the extended double cover $G^*$ is a bipartite graph with bipartition (X, Y), $X=\{x_1, x_2, \cdots, x_n\}$ and $Y=\{y_1, y_2, \cdots, y_n\}$, where two vertices $x_i$ and $y_j$ are adjacent if and only if $i=j$ or $v_i$ adjacent to $v_j$ in $G$. The double graph $D[G]$ of $G$ is a graph obtained by taking two copies of $G$ and joining each vertex in one copy with the neighbours of corresponding vertex in another copy. In this paper we study energy and Laplacian energy of the graphs $G^*$ and $D[G]$, $L$-spectra of $G^{k*}$ the $k$-th iterated extended double cover of $G$. We obtain a formula for the number of spanning trees of $G^*$. We also obtain some new families of equienergetic and $L$-equienergetic graphs.

In this paper we extend the concept of energy to signed digraphs. We obtain Coulson's integral formula for energy of signed digraphs. Formulae for energies of signed directed cycles are computed and it is shown that energy of non cycle balanced signed directed cycles increases monotonically with respect to number of vertices. Characterization of signed digraphs having energy equal to zero is given. We extend the concept of non complete extended $p$ sum (or briefly, NEPS) to signed digraphs. An infinite family of equienergetic signed digraphs is constructed. Moreover, we extend McClelland's inequality to signed digraphs and also obtain sharp upper bound for energy of signed digraph in terms the number of arcs. Some open problems are also given at the end.

In a directed multigraph, the imbalance of a vertex $v_{i}$ is defined as $b_{v_{i}}=d_{v_{i}}^{+}-d_{v_{i}}^{-}$, where $d_{v_{i}}^{+}$ and $d_{v_{i}}^{-}$ denote the outdegree and indegree respectively of $v_{i}$. We characterize imbalances in directed multigraphs and obtain lower and upper bounds on imbalances in such digraphs. Also, we show the existence of a directed multigraph with a given imbalance set.

In this paper, we extend the concept of kings and serfs in tournaments to that of weak kings and weak serfs in oriented graphs. We obtain various results on the existence of weak kings(weak serfs) in oriented graphs, and show the existence of n-oriented graphs containing exactly k weak kings(weak serfs). Also, we give the existence of n-oriented graphs containing exactly k weak kings and exactly s weak serfs such that b weak kings from k are also weak serfs.

The set D of distinct signed degrees of the vertices in a signed graph G is called its signed degree set. In this paper, we prove that every non-empty set of positive (negative) integers is the signed degree set of some connected signed graph and determine the smallest possible order for such a signed graph. We also prove that every non-empty set of integers is the signed degree set of some connected signed graph.

A signed bipartite graph G(U, V) is a bipartite graph in which each edge is assigned a positive or a negative sign. The signed degree of a vertex x in G(U, V) is the number of positive edges incident with x less the number of negative edges incident with x. The set S of distinct signed degrees of the vertices of G(U, V) is called its signed degree set. In this paper, we prove that every set of integers is the signed degree set of some connected signed bipartite graph. \medskip \medskip

A k-digraph is an orientation of a multi-graph that is without loops and contains at most k edges between any pair of distinct vertices. We obtain necessary and sufficient conditions for a sequence of non-negative integers in non-decreasing order to be a sequence of numbers, called marks (k-scores), attached to vertices of a k-digraph. We characterize irreducible mark sequences in k-digraphs and uniquely realizable mark sequences in 2-digraphs.

In this paper, we give a new and short proof of a Theorem on k-hypertournament losing scores due to Zhou et al.[7].

Given non-negative integers m, n, h and k with $ m\geq h>1 $ and $ n\geq k>1, $an [h-k]-bipartite hypertournament on $ m+n$ vertices is a triple $(U,V,A) $, where U and V are two sets of vertices with $| U| =m$ and $ | V| =n,$ and $A$ is a set of $(h+k) -$ tuples of vertices, called arcs, with exactly $h$ vertices from $U$ and exactly $k$ vertices from $V$, such that any $h+k$ subsets $ U_{1}\cup V_{1}$ of $U\cup V, A$ contains exactly one of the $(h+k) ! (h+k) -$tuples whose entries belong to $U_{1}\cup V_{1}.$ We obtain necessary and sufficient conditions for a pair of non-decreasing sequences of non-negative integers to be the losing score lists or score lists of some$[h-k]-$bipartite hypertournament.\bigskip

The set A of distinct scores of the vertices of an oriented bipartite graph D(U, V) is called its score set. We consider the following question: given a finite, nonempty set A of positive integers, is there an oriented bipartite graph D(U, V) such that score set of D(U, V) is A? We conjecture that there is an affirmative answer, and verify this conjecture when $\mid A\mid $ = 1, 2, 3, or when A is a geometric or arithmetic progression.