graph
34516 papers tagged with this keyword
Hexagonal and k-hexagonal graph's normalized Laplacian spectrum and applications
Substituting each edge of a simple connected graph $G$ by a path of length 1 and $k$ paths of length 5 generates the $k$-hexagonal graph $H^k(G)$. Iterative graph $H^k_n(G)$ is produced when the preceding constructions are repeated $n$ times. According to the graph structure, we obtain a set of linear equations, and derive the entirely normalized Laplacian spectrum of $H^k_n(G)$ when $k = 1$ and $k \geqslant 2$ respectively by analyzing the structure of the solutions of these linear equations. We find significant formulas to calculate the Kemeny's constant, multiplicative degree-Kirchhoff index and number of spanning trees of $H^k_n(G)$ as applications.
A note on distance-hereditary graphs whose complement is also distance-hereditary
Distance-hereditary graphs are known to be the graphs that are totally decomposable for the split decomposition. We characterise distance-hereditary graphs whose complement is also distance-hereditary by their split decomposition and by their modular decomposition.
Primary decomposition theorem and generalized spectral characterization of graphs
Suppose $G$ is a controllable graph of order $n$ with adjacency matrix $A$. Let $W=[e,Ae,\ldots,A^{n-1}e]$ ($e$ is the all-one vector) and $Δ=\prod_{i>j}(α_i-α_j)^2$ ($α_i$'s are eigenvalues of $A$) be the walk matrix and the discriminant of $G$, respectively. Wang and Yu \cite{wangyu2016} showed that if
$$θ(G):=\gcd\{2^{-\lfloor\frac{n}{2}\rfloor}\det W,Δ\} $$
is odd and squarefree, then $G$ is determined by its generalized spectrum (DGS). Using the primary decomposition theorem, we obtain a new criterion for a graph $G$ to be DGS without the squarefreeness assumption on $θ(G)$. Examples are further given to illustrate the effectiveness of the proposed criterion, compared with the two existing methods to deal with the difficulty of non-squarefreeness.
Tree-Line graphs and their quantum walks
For a simple graph $Γ$, a (bipartite)tree-line graph and a tree-graph of $Γ$ can be defined. With a (bipartite)tree-line graph constructed by the function $(b)\ell$, we study the continuous quantum walk on $(b)\ell ^n Γ$. An equitable partition of a bipartite tree-line graph is obtained by its corresponding derived tree graph. This paper also examines quantum walks on derived graphs, whose vertices represent their basis state.
The $h$-vectors of toric ideals of odd cycle compositions revisited
Let $G$ be a graph consisting of $s$ odd cycles that all share a common vertex. Bhaskara, Higashitani, and Shibu Deepthi recently computed the $h$-polynomial for the quotient ring $R/I_G$, where $I_G$ is the toric ideal of $G$, in terms of the number and sizes of odd cycles in the graph. The purpose of this note is to prove the stronger result that these toric ideals are geometrically vertex decomposable, which allows us to deduce the result of Bhaskara, Higashitani, and Shibu Deepthi about the $h$-polyhomial as a corollary.
The characterization of graphs with two trivial distance ideals
The distance ideals of graphs are algebraic invariants that generalize the Smith normal form (SNF) and the spectrum of several distance matrices associated with a graph. In general, distance ideals are not monotone under taking induced subgraphs. However, in [7] the characterizations of connected graphs with one trivial distance ideal over $\mathbb{Z}[X]$ and over $\mathbb{Q}[X]$ were obtained in terms of induced subgraphs, where $X$ is a set of variables indexed by the vertices. Later, in [3], the first attempt was made to characterize the family of connected graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. There, it was proven that these graphs are $\{ \mathcal {F},\textsf{odd-holes}_{7}\}$-free, where $\textsf{odd-holes}_{7}$ consists of the odd cycles of length at least seven and $\mathcal{F}$ is a set of sixteen graphs. Here, we give a characterization of the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs and prove that the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs are precisely the graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. As byproduct, we also find that the determinant of the distance matrix of a connected bipartite graph is even, this suggests that it is possible to extend, to connected bipartite graphs, the Graham-Pollak-Lovász celebrated formula $\det(D(T_{n+1}))=(-1)^nn2^{n-1}$, and the Hou-Woo result stating that $\text{SNF}(D(T_{n+1}))=\textsf{I}_2\oplus 2\textsf{I}_{n-2}\oplus (2n)$, for any tree $T_{n+1}$ with $n+1$ vertices. Finally, we also give the characterizations of graphs with at most two trivial distance ideals over $\mathbb{Q}[X]$, and the graphs with at most two trivial distance univariate ideals.
Admissible matchings and the Castelnuovo-Mumford regularity of square-free powers
Let $I$ be any square-free monomial ideal, and $\mathcal{H}_I$ denote the hypergraph associated with $I$. Refining the concept of $k$-admissible matching of a graph defined by Erey and Hibi, we introduce the notion of generalized $k$-admissible matching for any hypergraph. Using this, we give a sharp lower bound on the (Castelnuovo-Mumford) regularity of $I^{[k]}$, where $I^{[k]}$ denotes the $k^{\text{th}}$ square-free power of $I$. In the special case when $I$ is equigenerated in degree $d$, this lower bound can be described using a combinatorial invariant $\mathrm{aim}(\mathcal{H}_I,k)$, called the $k$-admissible matching number of $\mathcal{H}_I$. Specifically, we prove that $\mathrm{reg}(I^{[k]})\ge (d-1)\mathrm{aim}(\mathcal{H}_I,k)+k$, whenever $I^{[k]}$ is non-zero. Even for the edge ideal $I(G)$ of a graph $G$, it turns out that $\mathrm{aim}(G,k)+k$ is the first general lower bound for the regularity of $I(G)^{[k]}$. In fact, when $G$ is a forest, $\mathrm{aim}(G,k)$ coincides with the $k$-admissible matching number introduced by Erey and Hibi. Next, we show that if $G$ is a block graph, then $\mathrm{reg}(I(G)^{[k]})= \mathrm{aim}(G,k)+k$, and this result can be seen as a generalization of the corresponding regularity formula for forests. Additionally, for a Cohen-Macaulay chordal graph $G$, we prove that $\mathrm{reg}(I(G)^{[2]})= \mathrm{aim}(G,2)+2$. Finally, we propose a conjecture on the regularity of square-free powers of edge ideals of chordal graphs.
Neumaier graphs from cyclotomy with small coherent rank
Using cyclotomy, we construct a new infinite family of Neumaier graphs that includes infinitely many strongly regular graphs. Notably, this family conjecturally contains infinitely many graphs with coherent rank $6$. Our construction also provides the first known examples that answer a question posed by Evans, Goryainov, and Panasenko regarding the existence of Neumaier graphs whose nexus is not a power of $2$. In addition, we show that a construction of Greaves and Koolen yields an infinite family of Neumaier graphs with coherent rank $6$.
The Gray graph is pseudo 2-factor isomorphic
A graph is pseudo 2-factor isomorphic if all of its 2-factors have the same parity of number of cycles. Abreu et al. [J. Comb. Theory, Ser. B. 98 (2008) 432--442] conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graphs. This conjecture was disproved by Goedgebeur [Discr. Appl. Math. 193 (2015) 57--60] who constructed a counterexample $\mathcal{G}$ (of girth 6) on 30 vertices. Using a computer search, he also showed that this is the only counterexample up to at least 40 vertices and that there are no counterexamples of girth greater than 6 up to at least 48 vertices.
In this manuscript, we show that the Gray graph -- which has 54 vertices and girth 8 -- is also a counterexample to the pseudo 2-factor isomorphic graph conjecture. Next to the graph $\mathcal{G}$, this is the only other known counterexample. Using a computer search, we show that there are no smaller counterexamples of girth 8 and show that there are no other counterexamples up to at least 42 vertices of any girth. Moreover, we also verified that there are no further counterexamples among the known censuses of symmetrical graphs.
Recall that a graph is 2-factor Hamiltonian if all of its 2-factors are Hamiltonian cycles. As a by-product of the computer searches performed for this paper, we have verified that the $2$-factor Hamiltonian conjecture of Funk et al. [J. Comb. Theory, Ser. B. 87(1) (2003) 138--144], which is still open, holds for cubic bipartite graphs of girth at least 8 up to 52 vertices, and up to 42 vertices for any girth.
Undirected edge geography games on grids
The undirected edge geography is a two-player combinatorial game on an undirected rooted graph. The players alternatively perform a move consisting of choosing an edge incident to the root vertex, removing the chosen edge, and marking the other endpoint as a new root vertex. The first player who cannot perform a move is the loser. In this paper, we are interested in the undirected edge geography game on the grid graph $P_m\square P_n$. We completely determine whether the root vertex is a winning position (N-position) or a losing position (P-position). Moreover, we give a winning strategy for the winner.
Fractional hypergraph coloring
We investigate proper $(a:b)$-fractional colorings of $n$-uniform hypergraphs, which generalize traditional integer colorings of graphs. Each vertex is assigned $b$ distinct colors from a set of $a$ colors, and an edge is properly colored if no single color is shared by all vertices of the edge. A hypergraph is $(a:b)$-colorable if every edge is properly colored. We prove that for any $2\leq b\leq a-2\leq n/\ln n$, every $n$-uniform hypergraph $H$ with $ |E(H)| \leq (ab^3)^{-1/2}\left(\frac{n}{\log n}\right)^{1/2} \left(\frac{a}{b}\right)^{n-1} $ is proper $(a:b)$-colorable. We also address specific cases, including $(a:a-1)$-colorability.
Optimal Hardness of Online Algorithms for Large Independent Sets
We study the algorithmic problem of finding a large independent set in the Erd{ö}s-Rényi random graph $G(n,p)$. For constant $p$ and $b=1/(1-p)$, the largest independent set has size $2\log_b n$, while a simple greedy algorithm - revealing vertices sequentially and making decisions based only on previously seen vertices - finds an independent set of size $\log_b n$. In his seminal 1976 paper, Karp challenged to either improve this guarantee or establish its hardness. Decades later, this problem remains open - one of the most prominent algorithmic problems in the theory of random graphs.
In this paper, we establish that a broad class of online algorithms fails to find an independent set of size $(1+ε)\log_b n$ whp. This class includes Karp's algorithm as a special case, and extends it by allowing the algorithm to query exceptional edges, not yet "seen" by the algorithm. Our lower bound holds for $p\in [d/n,1-n^{-1/d}]$. In the dense regime (constant $p$), we also prove that our result is asymptotically tight with respect to the number of exceptional edges queried, by designing an online algorithm which beats the half-optimality threshold when the number of exceptional edges slightly exceeds our bound.
Our result provides evidence for the algorithmic hardness of Karp's problem, by supporting the conjectured optimality of the greedy algorithm and establishing it within the class of online algorithms. Our proof relies on a refined analysis of the geometric structure of large independent sets, establishing a variant of the Overlap Gap Property (OGP). While OGP has predominantly served as a barrier to stable algorithms, online algorithms are inherently unstable, necessitating new ideas. Our proof refines the OGP framework by incorporating several new ideas (including temporal interpolation paths and stopping-times) that we expect to be useful for other online models.
Laplacian quantum walks on blow-up graphs
This paper is a sequel to the work of Bhattacharjya et al.\ (J. Phys. A-Math. 57.33: 335303, https://doi.org/10.1088/1751-8121/ad6653) on quantum state transfer on blow-up graphs, where instead of the adjacency matrix, we take the Laplacian matrix as the time-independent Hamiltonian associated with a blow-up graph. We characterize strong cospectrality, periodicity, perfect state transfer (LPST) and pretty good state transfer (LPGST) on blow-up graphs. We present several constructions of blow-up graphs with LPST and produce new infinite families of regular graphs where each vertex is involved in LPST. We also determine LPST and LPGST in blow-ups of classes of trees. Finally, if $n\equiv 0$ (mod 4), then the blow-up of $n$ copies of a graph $G$ has no LPST, but we show that under certain conditions, the addition of an appropriate matching this blow-up graph results in LPST.
Leaf-to-leaf paths and cycles in degree-critical graphs
An $n$-vertex graph is degree 3-critical if it has $2n - 2$ edges and no proper induced subgraph with minimum degree at least 3. In 1988, Erdős, Faudree, Gyárfás, and Schelp asked whether one can always find cycles of all short lengths in these graphs, which was disproven by Narins, Pokrovskiy, and Szabó through a construction based on leaf-to-leaf paths in trees whose vertices have degree either 1 or 3. They went on to suggest several weaker conjectures about cycle lengths in degree 3-critical graphs and leaf-to-leaf path lengths in these so-called 1-3 trees. We resolve three of their questions either fully or up to a constant factor. Our main results are the following:
- every $n$-vertex degree 3-critical graph has $Ω(\log n)$ distinct cycle lengths;
-every tree with maximum degree $Δ\ge 3$ and $\ell$ leaves has at least $\log_{Δ-1}\, ((Δ-2)\ell)$ distinct leaf-to-leaf path lengths;
- for every integer $N\geq 1$, there exist arbitrarily large 1-3 trees which have $O(N^{0.91})$ distinct leaf-to-leaf path lengths smaller than $N$, and, conversely, every 1-3 tree on at least $2^N$ vertices has $Ω(N^{2/3})$ distinct leaf-to-leaf path lengths smaller than $N$.
Several of our proofs rely on purely combinatorial means, while others exploit a connection to an additive problem that might be of independent interest.
Arbitrary orientations of cycles in oriented graphs
We show that every sufficiently large oriented graph $G$ with minimum indegree and outdegree both at least $(3|V(G)|-1)/8$ contains every orientation of a Hamilton cycle. This result improves the approximate bound established by Kelly and resolves a long-standing problem posed by Häggkvist and Thomason in 1995. The degree condition is tight and it can be improved to $(3|V(G)|-4)/8$ for Hamilton cycles that are nearly directed, generalizing a classic result by Keevash, Kühn and Osthus. Additionally, we derive a pancyclicity result for arbitrary orientations. More precisely, the above degree condition suffices to guarantee the existence of cycles of every possible orientation and every possible length unless $G$ is isomorphic to one of the exceptional oriented graphs.
Maximizing subgraph density in graphs of bounded degree and clique number
We asymptotically determine the maximum density of subgraphs isomorphic to $H$, where $H$ is any graph containing a dominating vertex, in graphs $G$ on $n$ vertices with bounded maximum degree and bounded clique number. That is, we asymptotically determine the constant $c=c(H,Δ,ω)$ such that ex$(n,H,\{K_{1,Δ+1},K_{ω+1}\})=(1-o_n(1))cn$ where $ω$ is sufficiently large.
Following recent interest in the corresponding parameter mex$(m,H,F)$ where where we fix the number of edges $m$ instead of the number of vertices $n$ of the graph, we determine the asymptotics of mex$(m,H,\{K_{1,1,Δ+1},K_{ω+1}\})$ when $H$ has at least two dominating vertices.
We obtain these results via a uniform proof of a common technical generalization of both, where we fix the number of $u$-cliques in the graph. This general result may be of independent interest.
Then we localize these results, proving a tight inequality involving the sizes of the locally largest cliques and complete split graphs.
Further Comments on Yablo's Construction
We continue our analysis of Yablo's coding of the liar paradox by infinite acyclic graphs. The present notes are based on and continue the author's previous results on the problem. In particular, our approach is often more systematic than before.
A discrete model for surface configuration spaces
One of the primary methods of studying the topology of configurations of points in a graph and configurations of disks in a planar region has been to examine discrete combinatorial models arising from the underlying spaces. Despite the success of these models in the graph and disk settings, they have not been constructed for the vast majority of surface configuration spaces. In this paper, we construct such a model for the ordered configuration space of $m$ points in an oriented surface $Σ$. More specifically, we prove that if we give $Σ$ a certain cube complex structure $K$, then the ordered configuration space of $m$ points in $Σ$ is homotopy equivalent to a subcomplex of $K^{m}$
Target Pebbling in Trees
Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. A configuration $C$ is a supply of pebbles at various vertices of a graph $G$, and a distribution $D$ is a demand of pebbles at various vertices of $G$. The $D$-pebbling number, $π(G, D)$, of a graph $G$ is defined to be the minimum number $m$ such that every configuration of $m$ pebbles can satisfy the demand $D$ via pebbling moves. The special case in which $t$ pebbles are demanded on vertex $v$ is denoted $D=v^t$, and the $t$-fold pebbling number, $π_{t}(G)$, equals $\max_{v\in G}π(G,v^t)$. It was conjectured by Alcón, Gutierrez, and Hurlbert that the pebbling numbers of chordal graphs forbidding the pyramid graph can be calculated in polynomial time. Trees, of course, are the most prominent of such graphs. In 1989, Chung determined $π_t(T)$ for all trees $T$. In this paper, we provide a polynomial-time algorithm to compute the pebbling numbers $π(T,D)$ for all distributions $D$ on any tree $T$, and characterize maximum-size configurations that do not satisfy $D$.
Stabbing non-piercing sets and face lengths in large girth plane graphs
We show that a non-piercing family of connected planar sets with bounded independence number can be stabbed with a constant number of points. As a consequence, we answer a question of Axenovich, Kießle and Sagdeev about the largest possible face length of an edge-maximal plane graph with girth at least $\ell$.