graph
34516 papers tagged with this keyword
Spectra of eccentricity matrix of $H$-join of graphs
Let $\varepsilon(G)$ be the eccentricity matrix of a graph $G$ and $Spec(\varepsilon(G))$ be the eccentricity spectrum of $G$. Let $H[G_1,G_2,\ldots, G_k]$ be the $H$-join of graphs $G_1,G_2,\ldots, G_k$ and let $H[G]$ be lexicographic product of $H$ and $G$. This paper finds the eccentricity matrix of a $H$-join of graphs. Using this result, we find (i) $Spec(\varepsilon(H[G]))$ in terms of $Spec(\varepsilon(H))$ if the radius $(rad(H))$ of $H$ is at least three; (ii) $Spec(\varepsilon(K_k[G_1,G_2,\ldots, G_k]))$ if $Δ(G_i)\leq |V(G_i)|-2$ which generalises some of the results in \cite{Mahato1}; (iii) $Spec(\varepsilon(H[G_1,G_2,\ldots, G_k]))$ if $rad(H)\geq 2$ and $G_i$ is complete whenever $e_H(i)=2$, which generalises some of the results in \cite{Mahato1} and \cite{Wang1}. Finally, we find the characteristic polynomial of $\varepsilon(K_{1,m}[G_0,G_1,\ldots, G_m])$ if $G_i$'s are regular. As a result, we deduce some of the results in \cite{Li}, \cite{Mahato1}, \cite{Patel} and \cite{Wang}.
A graph product and its Application
The spectrum of Laplacian and signless Laplacian matrix for a graph product is obtained, where both underlying graphs are regular. As an application of this, we have been able to generate the Kirchhoff Index and Wiener Index and determine the number of spanning trees. Additionally, we derived the conditions necessary for obtaining a Laplacian and signless Laplacian integral product graph.
Faces in girth-saturated graphs on surfaces
What is the maximum length ${\rm f}_{\rm max}(\ell, Σ)$ of a facial cycle of an inclusion-maximal graph with girth at least $\ell$ embedded on a given surface $Σ$? If $Σ=\mathcal{P}$ is a plane, we show that $3\ell-11\leq {\rm f}_{\rm max}(\ell, \mathcal{P})\leq 8\ell-13$. We also prove that ${\rm f}_{\rm max}(\ell, Σ)$ is bounded for any integer $\ell$ and any closed surface $Σ$. For a fixed $Σ$, we show that $Ω(\ell) ={\rm f}_{\rm max}(\ell, Σ) = O(\ell^2)$, while for a fixed $\ell\ge 6$, ${\rm f}_{\rm max}(\ell, Σ)=Θ(g)$, where $g$ is the genus of $Σ$.
Limit canonical series
We describe the limits of canonical series along families of curves degenerating to a nodal curve which is general for its topology, in the weak sense that the branches over nodes on each of its components are in general position. We define a fan structure on the space of edge lengths on the dual graph of the limit curve, and construct a projective variety parametrizing the limits, organized in strata associated to the cones of this fan. This extends to all topologies the works by Eisenbud-Harris (Invent. Math. 87: 496-515, 1987) on curves of compact type and Esteves-Medeiros (Invent. Math. 149: 267-338, 2002) on two-component curves.
Residue polytopes
A level graph is the data of a pair $(G,π)$ consisting of a finite graph $G$ and an ordered partition $π$ on the set of vertices of $G$. To each level graph on $n$ vertices we associate a polytope in $\mathbb R^n$ called its residue polytope. We show that residue polytopes are compatible with each other in the sense that if $π'$ is a coarsening of $π$, then the polytope associated to $(G,π)$ is a face of the one associated to $(G,π')$. Moreover, they form all the faces of the residue polytope of $G$, defined as the polytope associated to the level graph with the trivial ordered partition. The results are used in a companion work to describe limits of spaces of Abelian differentials on families of Riemann surfaces approaching a stable Riemann surface on the boundary of the moduli space.
Strongly connected orientations and integer lattices
Let $D=(V,A)$ be a digraph whose underlying graph is $2$-edge-connected, and let $P$ be the polytope whose vertices are the incidence vectors of arc sets whose reversal makes $D$ strongly connected. We study the lattice theoretic properties of the integer points contained in a proper face $F$ of $P$ not contained in $\{x:x_a=i\}$ for any $a\in A,i\in \{0,1\}$. We prove under a mild necessary condition that $F\cap \{0,1\}^A$ contains an integral basis $B$, i.e., $B$ is linearly independent, and any integral vector in the linear hull of $F$ is an integral linear combination of $B$. This result is surprising as the integer points in $F$ do not necessarily form a Hilbert basis. In proving the result, we develop a theory similar to Matching Theory for degree-constrained dijoins in bipartite digraphs. Our result has consequences for head-disjoint strong orientations in hypergraphs, and also to a famous conjecture by Woodall that the minimum size of a dicut of $D$, say $τ$, is equal to the maximum number of disjoint dijoins. We prove a relaxation of this conjecture, by finding for any prime number $p\geq 2$, a $p$-adic packing of dijoins of value $τ$ and of support size at most $2|A|$. We also prove that the all-ones vector belongs to the lattice generated by $F\cap \{0,1\}^A$, where $F$ is the face of $P$ satisfying $x(δ^+(U))=1$ for every minimum dicut $δ^+(U)$.
Zarankiewicz bounds from distal regularity lemma
Since Kővári, Sós, and Turán proved upper bounds for the Zarankiewicz problem in 1954, much work has been undertaken to improve these bounds, and some have done so by restricting to particular classes of graphs. In 2017, Fox, Pach, Sheffer, Suk, and Zahl proved better bounds for semialgebraic binary relations, and this work was extended by Do in the following year to arbitrary semialgebraic relations. In this paper, we show that Zarankiewicz bounds in the shape of Do's are enjoyed by all relations satisfying the distal regularity lemma, an improved version of the Szemerédi regularity lemma satisfied by relations definable in distal structures (a vast generalisation of o-minimal structures).
On the degrees of regular nut graphs and Cayley nut graphs
A nut graph is a simple graph for which the adjacency matrix has a single zero eigenvalue such that all non-zero kernel eigenvectors have no zero entry. It is known that infinitely many $d$-regular nut graphs exist for $3 \leq d \leq 12$ and for $d \geq 4$ such that $d \equiv 0 \pmod{4}$. Here it is shown that infinitely many $d$-regular nut graphs exist for each degree $d \geq 3$. Moreover, we prove that there are infinitely many $d$-regular Cayley nut graphs for each even $d \ge 4$. This implies that we have identified all feasible degrees $d$ for which a $d$-regular Cayley nut graph exists.
A geometric realization of the chromatic symmetric function of a unit interval graph
Shareshian-Wachs, Brosnan-Chow, and Guay-Pacquet [Adv. Math. ${\bf 295}$ (2016), ${\bf 329}$ (2018), arXiv:1601.05498] realized the chromatic (quasi-)symmetric function of a unit interval graph in terms of Hessenberg varieties. Here we exhibit another realization of these chromatic (quasi-)symmetric functions in terms of the Betti cohomology of the variety $\mathscr X_Ψ$ defined in [arXiv:2301.00862]. This yields a new inductive combinatorial expression of these chromatic symmetric functions. Based on this, we propose a geometric refinement of the Stanley-Stembridge conjecture, whose validity would imply the Shareshian-Wachs conjecture.
On generalized Turán problems with bounded matching number
The generalized Turán number $\mathrm{ex}(n, H, \mathcal{F})$ is defined as the maximum number of copies of a graph $H$ in an $n$-vertex graph that does not contain any graph $F \in \mathcal{F}$. Alon and Frankl initiated the study of Turán problems with a bounded matching number.In this paper, we establish stability results for generalized Turán problems with bounded matching number.Using the stability results, we provide exact values of $\ex(n,K_r,\{F,M_{s+1}\})$ for $F$ being any non-bipartite graph or a path on $k$ vertices.
Arc-disjoint in- and out-branchings in semicomplete split digraphs
An \emph{out-tree (in-tree)} is an oriented tree where every vertex except one, called the \emph{root}, has in-degree (out-degree) one. An \emph{out-branching $B^+_u$ (in-branching $B^-_u$)} of a digraph $D$ is a spanning out-tree (in-tree) rooted at $u$. A \emph{good $(u,v)$-pair} in $D$ is a pair of branchings $B^+_u, B^-_v$ which are arc-disjoint. Thomassen proved that deciding whether a digraph has any good pair is NP-complete. A \emph{semicomplete split digraph} is a digraph where the vertex set is the disjoint union of two non-empty sets, $V_1$ and $V_2$, such that $V_1$ is an independent set, the subdigraph induced by $V_2$ is semicomplete, and every vertex in $V_1$ is adjacent to every vertex in $V_2$. In this paper, we prove that every $2$-arc-strong semicomplete split digraph $D$ contains a good $(u, v)$-pair for any choice of vertices $u, v$ of $D$, thereby confirming a conjecture by Bang-Jensen and Wang [Bang-Jensen and Wang, J. Graph Theory, 2024].
Folded galleries and moment graphs
We characterize folding patterns, the combinatorial options of folding minimal alcove-to-alcove galleries in affine Coxeter complexes positively with respect to Weyl chamber orientations of the Coxeter complex, by drawing a connection to the Bruhat moment graph of the associated spherical Coxeter group. We also prove how to determine the spherical direction of the end alcove of a positively folded gallery using these graphs.
Quasi-linear distance query reconstruction for graphs of bounded treelength
In distance query reconstruction, we wish to reconstruct the edge set of a hidden graph by asking as few distance queries as possible to an oracle. Given two vertices $u$ and $v$, the oracle returns the shortest path distance between $u$ and $v$ in the graph.
The length of a tree decomposition is the maximum distance between two vertices contained in the same bag. The treelength of a graph is defined as the minimum length of a tree decomposition of this graph. We present an algorithm to reconstruct an $n$-vertex connected graph $G$ parameterized by maximum degree $Δ$ and treelength $k$ in $O_{k,Δ}(n \log^2 n)$ queries (in expectation). This is the first algorithm to achieve quasi-linear complexity for this class of graphs. The proof goes through a new lemma that could give independent insight on graphs of bounded treelength.
Nash Equilibria of Rock Paper Scissors Variants
We generalize Rock Paper Scissors to complete directed graphs, or tournaments, on $n$ vertices. Properties of the mixed-strategy Nash equilibria of these tournaments are discussed, particularly those with Nash equilibria where all of the strategies have a nonzero probability. We find graph-theoretic properties of such games and tabulate them for $n \leq 7$.
On the theory of Lucas coloring
In this paper, we introduce the notion of "$Lucas-Coloring$" associated with a planar graph $g$. When $g$ is a $4$-regular, the enumeration of $Lucas-Coloring$ has an interesting interpretation. Specifically, it yields a numerical invariant of the associated Khovanov-Lee complex of any link diagram $D$ whose projection is equal to $g$. This complex resides in the Karoubi envelope of Bar-Natan's formal cobordism category, $Cob^{3}_{/l}$ . The Karoubi envelope of $Cob^{3}_{/l}$ was introduced by Bar-Natan and Morrison to provide a conceptual proof of Lee's theorem. As an application of "Lucas-Coloring", we first show how the Alternating Sign Matrices can be retrieved as a special case of $Lucas-Coloring$. Next, we show a certain statistic on the $Lucas-Coloring$ enumerates the perfect matchings of a canonically defined graph on $g$. This construction allowed us to derive a summation formula of the enumeration of lozenge tilings of the region constructed out of a regular hexagon by removing the "maximal staircase" from its alternating corners in terms of powers of $2$. This formula is reminiscent of the celebrated Aztec Diamond Theorem of Elkies, Kuperberg, Larsen, and Propp, which concerns domino tilings of Aztec Diamonds.
A proof of the Stanley--Stembridge conjecture
We give a probabilistic interpretation of the coefficients of the elementary symmetric function expansion of the chromatic quasisymmetric function for any unit interval graph. As a corollary, we prove the Stanley--Stembridge conjecture.
Regular bipartite decompositions of pseudorandom graphs
In 1972, Kotzig proved that for every even $n$, the complete graph $K_n$ can be decomposed into $\lceil\log_2n\rceil$ edge-disjoint regular bipartite spanning subgraphs, which is best possible. In this paper, we study regular bipartite decompositions of $(n,d,λ)$-graphs, where $n$ is an even integer and $d_0\leq d\leq n-1$ for some absolute constant $d_0$. With a randomized algorithm, we prove that such an $(n,d,λ)$-graph with $λ\leq d/12$ can be decomposed into at most $\log_2 d + 36$ regular bipartite spanning subgraphs. This is best possible up to the additive constant term. As a consequence, we also improve the best known bounds on $λ= λ(d)$ by Ferber and Jain (2020) to guarantee that an $(n,d,λ)$-graph on an even number of vertices admits a $1$-factorization, showing that $λ\leq cd$ is sufficient for some absolute constant $c > 0$.
The minimum size and maximum diameter of an edge-pancyclic graph of a given order
A $k$-cycle in a graph is a cycle of length $k.$ A graph $G$ of order $n$ is called edge-pancyclic if for every integer $k$ with $3\le k\le n,$ every edge of $G$ lies in a $k$-cycle. It seems difficult to determine the minimum size $f(n)$ of a simple edge-pancyclic graph of order $n.$ We give lower and upper bounds on $f(n),$ and determine the maximum diameter of such a graph. In the $3$-connected case, the precise value of $f(n)$ is determined. We also determine the minimum size of a graph of a given order with connectivity conditions in which every edge lies in a triangle.
Partite saturation number of cycles
A graph $H$ is said to be $F$-saturated relative to $G$, if $H$ does not contain any copy of $F$, but the addition of any edge $e$ in $E(G)\backslash E(H)$ would create a copy of $F$. The minimum size of an $F$-saturated graph relative to $G$ is denoted by $sat(G,F)$. Let $K_k^n$ be the complete $k$-partite graph containing $n$ vertices in each part and $C_\ell$ be the cycle of length $\ell$. In this paper we give an asymptotically tight bound of $sat(K_k^n,C_\ell)$ for all $ \ell \geq 4, k \geq 2$ except $(\ell,k)=(4,4)$. Moreover, we determined the exact value of $sat(K_k^n,C_\ell)$ for $ k>\ell=4 $ and $5 \geq \ell>k \geq 3$ and $(\ell,k)=(6,2)$.
Maximal and maximum induced matchings in connected graphs
An induced matching in a graph is a set of edges whose endpoints induce a $1$-regular subgraph. Gupta et al. (2012,\cite{Gupta}) showed that every $n$-vertex graph has at most $10^{\frac{n}{5}}\approx 1.5849^n$ maximal induced matchings, which is attained by the disjoint union of copies of the complete graph $K_5$.
In this paper, we show that the maximum number of maximal and maximum induced matchings in a connected graph of order $n$ is \begin{align*} \begin{cases} {n\choose 2} &~ {\rm if}~ 1\leq n\le 8; \\ {{\lfloor \frac{n}{2} \rfloor}\choose 2}\cdot {{\lceil \frac{n}{2} \rceil}\choose 2} -(\lfloor \frac{n}{2} \rfloor-1)\cdot (\lceil \frac{n}{2} \rceil-1)+1 &~ {\rm if}~ 9\leq n\le 13; \\ 10^{\frac{n-1}{5}}+\frac{n+144}{30}\cdot 6^{\frac{n-6}{5}} &~ {\rm if}~ 14\leq n\le 30;\\ 10^{\frac{n-1}{5}}+\frac{n-1}{5}\cdot 6^{\frac{n-6}{5}} & ~ {\rm if}~ n\geq 31, \\ \end{cases} \end{align*} and also show that this bound is tight. This result implies that we can enumerate all maximal induced matchings of an $n$-vertex connected graph in time $O(1.5849^n)$. Moreover, our result provides an estimate on the number of maximal dissociation sets of an $n$-vertex connected graph.