arXiv++ Combinatorics

In this paper, we introduce a novel star partitioning problem for simple connected graphs $G=(V,E)$. The goal is to find a partition of the edges into stars that minimizes the maximum number of stars a node is contained in while simultaneously satisfying node-specific capacities. We design and analyze an efficient polynomial time algorithm with a runtime of $\mathcal{O}(|E|^2)$ that determines an optimal partition. Moreover, we explicitly provide a closed form of an optimal value for some graph classes. We generalize our algorithm to find even an optimal star partition of linear hypergraphs, multigraphs, and graphs with self-loop. We use flow techniques to design an algorithm for the star partitioning problem with an improved runtime of $\mathcal{O}(\log(Δ) \cdot |E| \cdot \min\{|V|^{\frac{2}{3}},|E|^{\frac{1}{2}}\})$, where $Δ$ is maximum node degree in $G$. In contrast to the unweighted setting, we show that a node-weighted decision variant of this problem is \texttt{strongly NP-complete} even without capacity constraints. Furthermore, we provide an extensive comparison to the problem of minimizing the minimum indegree satisfying node capacity constraints.

We define various notions of energy of a set of vertices in a graph, which generalize two of the most widely studied graphical indices: the Wiener index and the Harary index. We provide a new proof of a result due to Douthett and Krantz, which says that for cycles, the sets of vertices which have minimal energy among all sets of the same size are precisely the maximally even sets, as defined in Clough and Douthett's work on music theory. Generalizing a theorem of Clough and Douthett, we prove that a finite, simple, connected graph is distance degree regular if and only if whenever a set of vertices has minimal energy, its complement also has minimal energy. We also provide several characterizations of sets of vertices in finite paths and cycles for which the sum of all pairwise distances between vertices in the set is maximal among all sets of the same size.

Contractads are operadic-type algebraic structures well-suited for describing configuration spaces indexed by a simple connected graph $Γ$. Specifically, these configuration spaces are defined as $\mathrm{Conf}_Γ(X):=X^{|V(Γ)|}\setminus \cup_{(ij)\in E(Γ)} \{x_i=x_j\}$. In this paper, we explore functional equations for the Hilbert series of Koszul dual contractads and provide explicit Hilbert series for fundamental contractads such as the commutative, Lie, associative and the little discs contractads. Additionally, we focus on a particular contractad derived from the wonderful compactifications of $\mathrm{Conf}_Γ(\mathbb{k})$, for $\mathbb{k}=\mathbb{R},\mathbb{C}$. First, we demonstrate that for complete multipartite graphs, the associated wonderful compactifications coincide with the modular compactifications introduced by Smyth. Second, we establish that the homology of the complex points and the homology of the real locus of the wonderful contractad are both quadratic and Koszul contractads. We offer a detailed description of generators and relations, extending the concepts of the Hypercommutative operad and cacti operads, respectively. Furthermore, using the functional equations for the Hilbert series, we describe the corresponding Hilbert series for the homology of modular compactifications.

For a connected graph $G$, its resistance distance matrix is denoted by $R(G)$. A graph is called resistance regular if all the row (or column) sums of $R(G)$ are equal. We provide a necessary and sufficient condition for a simple connected graph to be resistance regular. Additionally, we establish sharp bounds for the resistance spectral radius and present various bounds for the resistance energy of $G$. Furthermore, we compute the resistance spectrum and resistance energy of some resistance regular graphs.

Let $G$ be a finite, simple connected graph. The average distance of a vertex $v$ of $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The remoteness $ρ(G)$ of $G$ is the maximum of the average distances of the vertices of $G$. In this paper, we give sharp upper bounds on the remoteness of a graph of given order, connectivity and size. We also obtain corresponding bound s for $2$-edge-connected and $3$-edge-connected graphs, and bounds in terms of order and size for triangle-free graphs.

Let $G=(V,E)$ be a simple graph of size $m$ and $L$ a set of $m$ distinct real numbers. An $L$-labeling of $G$ is a bijection $φ: E \rightarrow L$. We say that $φ$ is an antimagic $L$-labeling if the induced vertex sum $φ_+: V \rightarrow \mathbb {R}$ defined as $φ_+(u)=\sum_{uv\in E}φ(uv)$ is injective. Similarly, $φ$ is a product antimagic $L$-labeling of $G$ if the induced vertex product $φ_{\circ}: V \rightarrow \mathbb {R}$ defined as $φ_{\circ}(u)=\prod_{uv\in E}φ(uv)$ is injective. A graph $G$ is antimagic (resp. product antimagic) if it has an antimagic (resp. a product antimagic) $L$-labeling for $L=\{1,2,\dots,m\}$. Hartsfield and Ringel conjectured that every simple connected graph distinct from $K_2$ is antimagic, but the conjecture remains widely open. We prove, among other results, that every connected graph of size $m$, $m \geq 3$, admits an antimagic $L$-labeling for every arithmetic sequence $L$ of $m$ positive real numbers, if every vertex of degree at least three is a support vertex. As a corollary, we derive that these graphs are antimagic, reinforcing the veracity of the conjecture by Hartsfield and Ringel. Moreover, these graphs admit also a product antimagic $L$-labeling provided that the smallest element of $L$ is at least one. The proof is constructive.

In this paper, we investigate the Moore-Penrose inversion of a simple connected graph. We analyze qualitative, statistical, and extreme properties of spectral indices of signable pseudo-invertible graphs. We introduce and analyze a wide class of signable pseudo-invertible simple connected graphs. It is a generalization of the classical concept of positively integrally invertible graphs due to Godsil. We present several constructions of signable pseudo-invertible graphs. We also discuss statistical properties of various spectral indices of the class of signable pseudo-invertible graphs.

Given a finite, simple, connected graph $G=(V,E)$ with $|V|=n$, we consider the associated graph Laplacian matrix $L = D - A$ with eigenvalues $0 = λ_1 < λ_2 \leq \dots \leq λ_n$. One can also consider the same graph equipped with positive edge weights $w:E \rightarrow \mathbb{R}_{> 0}$ normalized to $\sum_{e \in E} w_e = |E|$ and the associated weighted Laplacian matrix $L_w$. We say that $G$ is conformally rigid if constant edge-weights maximize the second eigenvalue $λ_2(w)$ of $L_w$ over all $w$, and minimize $λ_n(w')$ of $L_{w'}$ over all $w'$, i.e., for all $w,w'$, $$ λ_2(w) \leq λ_2(1) \leq λ_n(1) \leq λ_n(w').$$ Conformal rigidity requires an extraordinary amount of symmetry in $G$. Every edge-transitive graph is conformally rigid. We prove that every distance-regular graph, and hence every strongly-regular graph, is conformally rigid. Certain special graph embeddings can be used to characterize conformal rigidity. Cayley graphs can be conformally rigid but need not be, we prove a sufficient criterion. We also find a small set of conformally rigid graphs that do not belong into any of the above categories; these include the Hoffman graph, the crossing number graph 6B and others. Conformal rigidity can be certified via semidefinite programming, we provide explicit examples.

Let $G$ be a simple connected graph of order $n$ and $\partial(G)$ is the spectral radius of the distance matrix $D(G)$ of $G$. The transmission $D_i$ of vertex $i$ is the $i$-th row sum of $D(G)$. Denote by $D_{\max}(G)$ the maximum of transmissions over all vertices of $G$, and $\partial^Q(G)$ is the spectral radius of the distance signless Laplacian matrix $D(G)+\mbox{diag}(D_1,D_2,\ldots,D_n)$. In this paper, we present a sharp lower bound of $2D_{\max}(G)-\partial^Q(G)$ among all $n$-vertex connected graphs, and characterize the extremal graphs. Furthermore, we give the minimum values of respective $D_{\max}(G)-\partial(G)$ and $2D_{\max}(G)-\partial^Q(G)$ on trees and characterize the extremal trees.

Let $G$ be a simple connected graph of size $m$. Let $A$ be the adjacency matrix of $G$ and let $ρ(G)$ be the spectral radius of $G$. A graph is said to be $H$-free if it does not contain a subgraph isomorphic to $H$. Let $H(\ell,3)$ be the graph formed by taking a cycle of length $\ell$ and a triangle on a common vertex. Recently, Li, Lu and Peng [Y. Li, L. Lu, Y. Peng, Spectral extremal graphs for the bowtie, Discrete Math. 346(12) (2023) 113680.] showed that the unique $m$-edge $H(3,3)$-free spectral extremal graph is the join of $K_2$ with an independent set of $\frac{m-1}{2}$ vertices if $m\ge 8$ and the condition $m\ge 8$ is tight. In particular, if $G$ does not contain $H(3,3)$ as induced subgraph, they proved that $ρ(G) \leq \frac{1+\sqrt{4m-3}}{2} $ and equality holds when $G$ is isomorphic to $S_{\frac{m+3}{2},2}$. Note that Li et al. denoted $H(3,3)$ by $F_2$. In this paper, we find the maximum spectral radius and identify the graph with the largest spectral radius among all \{$H(3,3), H(4,3)$\}-free graphs of size odd $m$, where $m\geq 259$. Coincidentally, we show that $ρ(G) \leq \frac{1+\sqrt{4m-3}}{2}$ when $G$ forbids both $H(3,3)$ and $H(4,3)$. In our case, the equality holds when $G$ is isomorphic to the same graph.

Let $G$ be a simple connected graph. We use $n(G)$, $p(G)$, and $η(G)$ to denote the number of negative eigenvalues, positive eigenvalues, and zero eigenvalues of the adjacency matrix $A(G)$ of $G$, respectively. In this paper, we prove that $2n(G)\geq d(G) + 1$ when $d(G)$ is odd, and $n(G) \geq \lceil \frac{g}{2}\rceil - 1$ for a graph containing cycles, where $d(G)$ and $g$ are the diameter and girth of the graph $G$, respectively. Furthermore, we characterize the extremal graphs for the cases of $2n(G) = d(G) + 1$, $n(G) = \lceil \frac{g}{2}\rceil$, and $n(G) = \lceil \frac{g}{2}\rceil - 1$.

An edge-locating coloring of a simple connected graph $G$ is a partition of its edge set into matchings such that the vertices of $G$ are distinguished by the distance to the matchings. The minimum number of the matchings of $G$ that admits an edge-locating coloring is the edge-locating chromatic number of $G$, and denoted by $χ'_L(G)$. In this paper we initiate to introduce the concept of edge-locating coloring and determine the exact values $χ'_L(G)$ of some custom graphs. The graphs $G$ with $χ'_L(G)\in \{2,m\}$ are characterized, where $m$ is the size of $G$. We investigate the relationship between order, diameter, and edge-locating chromatic number of $G$. For a complete graph $K_n$, we obtain the exact values of $χ'_L(K_n)$ and $χ'_L(K_n-M)$, where $M$ is a maximum matching; indeed this result is also extended for any graph. We will determine the edge-locating chromatic number of join graph $G+H$, where $G$ and $H$ are some well-known graphs. In particular, for any graph $G$, we show a relationship between $χ'_L(G+K_1)$ and $Δ(G)$. We investigate the edge-locating chromatic number of trees and present a characterization bound for any tree in terms of maximum degree, number of leaves, and the support vertices of trees. Finally, we prove that any edge-locating coloring of a graph is an edge distinguishing coloring.

Let $Γ$ be a simple connected graph on $n$ vertices, and let $C$ be a code of length $n$ whose coordinates are indexed by the vertices of $Γ$. We say that $C$ is a \textit{storage code} on $Γ$ if for any codeword $c \in C$, one can recover the information on each coordinate of $c$ by accessing its neighbors in $Γ$. The main problem here is to construct high-rate storage codes on triangle-free graphs. In this paper, we solve an open problem posed by Barg and Zémor in 2022, showing that the BCH family of storage codes is of unit rate. Furthermore, we generalize the construction of the BCH family and obtain more storage codes of unit rate on triangle-free graphs.

Let $G$ be an undirected simple connected graph. We say a vertex $u$ is eccentric to a vertex $v$ in $G$ if $d(u,v)=\max\{d(v,w): w\in V(G)\}$. The eccentric graph, $E(G)$ of $G$ is a graph defined on the same vertex set as of $G$ and two vertices are adjacent if one is eccentric to the other. We find the structure and the girth of the eccentric graph of trees and see that the girth of the eccentric graph of a tree can either be zero, three, or four. Further, we study the structure of the eccentric graph of the Cartesian product of graphs and prove that the girth of the eccentric graph of the Cartesian product of trees can only be zero, three, four or six. Furthermore, we provide a comprehensive classification when the eccentric girth assumes these values. We also give the structure of the eccentric graph of the grid graphs and the Cartesian product of cycles. Finally, we determine the conditions under which the eccentricity matrix of the Cartesian product of trees becomes invertible.

Let $G=(V,E)$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. The third atom-bond connectivity index, $ABC_3$ index, of $G$ is defined as $ABC_3(G)=\sum\limits_{uv\in E(G)}\sqrt{\frac{e(u)+e(v)-2}{e(u)e(v)}}$, where eccentricity $e(u)$ is the largest distance between $u$ and any other vertex of $G$, namely $e(u)=\max\{d(u,v)|v\in V(G)\}$. This work determines the maximal $ABC_3$ index of unicyclic graphs with any given girth and trees with any given diameter, and characterizes the corresponding graphs.

The eccentricity matrix of a simple connected graph G is obtained from the distance matrix of G by retaining the largest non-zero distance in each row and column, and the remaining entries are defined to be zero. A bi-block graph is a simple connected graph whose blocks are all complete bipartite graphs with possibly different orders. In this paper, we study the eccentricity matrices of a subclass B (which includes trees) of bi-block graphs. We first find the inertia of the eccentricity matrices of graphs in B, and thereby we characterize graphs in B with odd diameters. Precisely, if G in B with diameter of G greater than three, then we show that the eigenvalues of the eccentricity matrix of G are symmetric with respect to the origin if and only if the diameter of G is odd. Further, we prove that the eccentricity matrices of graphs in B are irreducible.

A graph is called "Laplacian integral" if the eigenvalues of its Laplacian matrix are all integers. We investigate the subset of these graphs whose Laplacian is furthermore diagonalized by a matrix with entries coming from a fixed set, in particular, the sets $\{-1,0,1\}$ or $\{-1,1\}$. Such graphs include as special cases the recently-investigated families of "Hadamard-diagonalizable" and "weakly Hadamard-diagonalizable" graphs. As a combinatorial tool to aid in our investigation, we introduce a family of vectors that we call "balanced", which generalizes totally balanced partitions, regular sequences, and complete partitions. We show that balanced vectors completely characterize which graph complements and complete multipartite graphs are $\{-1,0,1\}$-diagonalizable, and we furthermore prove results on diagonalizability of the Cartesian product, disjoint union, and join of graphs. Particular attention is paid to the $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizability of the complete graphs and complete multipartite graphs. Finally, we provide a complete list of all simple, connected graphs on nine or fewer vertices that are $\{-1,0,1\}$- or $\{-1,1\}$-diagonalizable.

The set $S_{\{i,j\}_{n}^{m}}=\{0,1,2,\ldots,m-1,m,m,m+1,\ldots,n-1,n\}\setminus\{i,j\},\quad 0<i<j\leqslant n$, is called Laplacian realizable if there exists a simple connected graph $G$ whose Laplacian spectrum is $S_{\{i,j\}_{n}^{m}}$. In this case, the graph $G$ is said to realize $S_{\{i,j\}_{n}^{m}}$. In this paper, we completely describe graphs realizing the sets $S_{\{i,j\}_{n}^{m}}$ with $m=1,2$ and determine the structure of these graphs.

The quadratic embedding constant (QEC) of a finite, simple, connected graph $G$ is the maximum of the quadratic form of the distance matrix of $G$ on the subset of the unit sphere orthogonal to the all-ones vector. The study of these QECs was motivated by the classical work of Schoenberg on quadratic embedding of metric spaces [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938]. In this article, we provide sharp upper and lower bounds for the QEC of trees. We next explore the relation between distance spectra and quadratic embedding constants of graphs - and show two further results: $(i)$ We show that the quadratic embedding constant of a graph is zero if and only if its second largest distance eigenvalue is zero. $(ii)$ We identify a new subclass of nonsingular graphs whose QEC is the second largest distance eigenvalue. Finally, we show that the QEC of the cluster of an arbitrary graph $G$ with either a complete or star graph can be computed in terms of the QEC of $G$. As an application of this result, we provide new families of examples of graphs of QE class.

We analyze graphs attaining the extreme values of various spectral indices in the class of all simple connected graphs, as well as in the class of graphs which are not complete multipartite graphs. We also present results on density of spectral gap indices and its nonpersistency with respect to small perturbations of the underlying graph. We show that a small change in the set set of edges may result in a significant change of the spectral index like, e.g., the spectral gap or spectral index. We also present a statistical and numerical analysis of spectral indices of graphs of the order $m\le 10$. We analyze the extreme values for spectral indices for graphs and their small perturbations. Finally, we present the statistical and extreme properties of graphs on $m\le 10$ vertices.