graph
34585 papers tagged with this keyword
Cayley graphs on non-isomorphic groups
A number of authors have studied the question of when a graph can be represented as a Cayley graph on more than one nonisomorphic group. In this paper we give conditions for when a Cayley graph on an abelian group can be represented as a Cayley graph on a generalized dihedral group, and conditions for when the converse is true.
Inverse formula for distance matrices of gear graphs
Distance matrices of some star like graphs are investigated in \cite{JAK}. These graphs are trees which are stars, wheel graphs, helm graphs and gear graphs. Except for gear graphs in the above list of star like graphs, there are precise formulas available in the literature to compute the inverse/Moore-Penrose inverse of their distance matrices. These formulas tell that if $D$ is the distance matrix of $G$, then $D^\dagger = -\frac{1}{2}L+uu'$, where $L$ is a Laplacian-like matrix which is positive semidefinite and all row sums equal to zero. The matrix $L$ and the vector $u$ depend only on the degree and number of vertices in $G$ and hence, can be written directly from $G$. The earliest formula obtained is for distance matrices of trees in Graham and Lovász \cite{GL}. In this paper, we obtain an elegant formula of this kind to compute the Moore-Penrose inverse of the distance matrix of a gear graph.
Non-Gorenstein locus and almost Gorenstein property of the Ehrhart ring of the stable set polytope of a cycle graph
Published
• View Publication
• BIB
Let $R$ be the Ehrhart ring of the stable set polytope of a cycle graph which is not Gorenstein. We describe the non-Gorenstein locus of $\mathrm{Spec} R$. Further, we show that $R$ is almost Gorenstein. Moreover, we show that the conjecture of Hibi and Tsuchiya is true.
Iterated Jump Graphs
The jump graph $J(G)$ of a simple graph $G$ has vertices which represent edges in $G$ where two vertices in $J(G)$ are adjacent if and only if the corresponding edges in $G$ do not share an endpoint. In this paper, we examine sequences of graphs generated by iterating the jump graph operation and characterize the behavior of this sequence for all initial graphs. We build on work by Chartrand et al. who showed that a handful of jump graph sequences terminate and two sequences converge. We extend these results by showing that there are no non-trivial repeating sequences of jump graphs. All diverging jump graph sequences grow without bound while accumulating certain subgraphs.
Eigenstripping, Spectral Decay, and Edge-Expansion on Posets
We study the relationship between the underlying structure of posets and the spectral and combinatorial properties of their higher-order random walks. While fast mixing of random walks on hypergraphs has led to myriad breakthroughs throughout theoretical computer science in the last five years, many other important applications (e.g. locally testable codes, 2-2 games) rely on the more general non-simplicial structures. These works make it clear that the global expansion properties of posets depend strongly on their underlying architecture (e.g. simplicial, cubical, linear algebraic), but the overall phenomenon remains poorly understood. In this work, we quantify the advantage of different architectures, highlighting how structural regularity controls the spectral decay and edge-expansion of corresponding random walks.
In particular, we show the spectra of walks on expanding posets (Dikstein, Dinur, Filmus, Harsha RANDOM 2018) concentrate in strips around a small number of approximate eigenvalues controlled by the poset's regularity. This gives a simple condition to identify architectures (e.g. the Grassmann) that exhibit fast (exponential) decay of eigenvalues, versus architectures like hypergraphs with slow (linear) decay -- a crucial distinction in applications to hardness of approximation and agreement testing such as the recent proof of the 2-2 Games Conjecture (Khot, Minzer, Safra FOCS 2018). We show these results lead to a tight variance-based characterization of edge-expansion on eposets generalizing (Bafna, Hopkins, Kaufman, and Lovett (SODA 2022)), and pay special attention to the case of the Grassmann where we show our results are tight for a natural set of sparsifications of the Grassmann graphs. We note for clarity that our results do not recover the characterization used in the proof of the 2-2 Games Conjecture which relies on $\ell_\infty$ rather than $\ell_2$-structure.
Edge Resolvability of Crystal Cubic Carbon Structure
Published
• View Publication
• BIB
Chemical graph theory is commonly used to analyse and comprehend chemical structures and networks, as well as their features. The resolvability parameters for graph $G$= $(V,E)$ are a relatively new advanced field in which the complete structure is built so that each vertex (atom) or edge (bond) represents a distinct position. In this article, we study the resolvability parameters i.e., edge resolvability of chemical graph of crystal structure of cubic carbon $CCS(n)$
Star-specific Key-homomorphic PRFs from Learning with Linear Regression
Published in IEEE Access, vol. 11, pp. 73235-73267, 2023
• View Publication
• BIB
We introduce a novel method to derandomize the learning with errors (LWE) problem by generating deterministic yet sufficiently independent LWE instances that are constructed by using linear regression models, which are generated via (wireless) communication errors. We also introduce star-specific key-homomorphic (SSKH) pseudorandom functions (PRFs), which are defined by the respective sets of parties that construct them. We use our derandomized variant of LWE to construct a SSKH PRF family. The sets of parties constructing SSKH PRFs are arranged as star graphs with possibly shared vertices, i.e., the pairs of sets may have non-empty intersections. We reduce the security of our SSKH PRF family to the hardness of LWE. To establish the maximum number of SSKH PRFs that can be constructed -- by a set of parties -- in the presence of passive/active and external/internal adversaries, we prove several bounds on the size of maximally cover-free at most $t$-intersecting $k$-uniform family of sets $\mathcal{H}$, where the three properties are defined as: (i) $k$-uniform: $\forall A \in \mathcal{H}: |A| = k$, (ii) at most $t$-intersecting: $\forall A, B \in \mathcal{H}, B \neq A: |A \cap B| \leq t$, (iii) maximally cover-free: $\forall A \in \mathcal{H}: A \not\subseteq \bigcup\limits_{\substack{B \in \mathcal{H} \\ B \neq A}} B$. For the same purpose, we define and compute the mutual information between different linear regression hypotheses that are generated from overlapping training datasets.
The Laplacians, Kirchhoff index and complexity of linear Möbius and cylinder octagonal-quadrilateral networks
Published
• View Publication
• BIB
Spectrum graph theory not only facilitate comprehensively reflect the topological structure and dynamic characteristics of networks, but also offer significant and noteworthy applications in theoretical chemistry, network science and other fields. Let $L_{n}^{8,4}$ represent a linear octagonal-quadrilateral network, consisting of $n$ eight-member ring and $n$ four-member ring. The Möbius graph $Q_{n}(8,4)$ is constructed by reverse identifying the opposite edges, whereas cylinder graph $Q'_{n}(8,4)$ identifies the opposite edges by order. In this paper, the explicit formulas of Kirchhoff indices and complexity of $Q_{n}(8,4)$ and $Q'_{n}(8,4)$ are demonstrated by Laplacian characteristic polynomials according to decomposition theorem and Vieta's theorem. In surprise, the Kirchhoff index of $Q_{n}(8,4)$($Q'_{n}(8,4)$) is approximately one-third half of its Wiener index as $n\to\infty$.
The spectral even cycle problem
In this paper, we study the maximum adjacency spectral radii of graphs of large order that do not contain an even cycle of given length. For $n>k$, let $S_{n,k}$ be the join of a clique on $k$ vertices with an independent set of $n-k$ vertices and denote by $S_{n,k}^+$ the graph obtained from $S_{n,k}$ by adding one edge. In 2010, Nikiforov conjectured that for $n$ large enough, the $C_{2k+2}$-free graph of maximum spectral radius is $S_{n,k}^+$ and that the $\{C_{2k+1},C_{2k+2}\}$-free graph of maximum spectral radius is $S_{n,k}$. We solve this two-part conjecture.
Token sliding on graphs of girth five
Published
• View Publication
• BIB
In the Token Sliding problem we are given a graph $G$ and two independent sets $I_s$ and $I_t$ in $G$ of size $k \geq 1$. The goal is to decide whether there exists a sequence $\langle I_1, I_2, \ldots, I_\ell \rangle$ of independent sets such that for all $i \in \{1,\ldots, \ell\}$ the set $I_i$ is an independent set of size $k$, $I_1 = I_s$, $I_\ell = I_t$ and $I_i \triangle I_{i + 1} = \{u, v\} \in E(G)$. Intuitively, we view each independent set as a collection of tokens placed on the vertices of the graph. Then, the problem asks whether there exists a sequence of independent sets that transforms $I_s$ into $I_t$ where at each step we are allowed to slide one token from a vertex to a neighboring vertex. In this paper, we focus on the parameterized complexity of Token Sliding parameterized by $k$. As shown by Bartier et al., the problem is W[1]-hard on graphs of girth four or less, and the authors posed the question of whether there exists a constant $p \geq 5$ such that the problem becomes fixed-parameter tractable on graphs of girth at least $p$. We answer their question positively and prove that the problem is indeed fixed-parameter tractable on graphs of girth five or more, which establishes a full classification of the tractability of Token Sliding parameterized by the number of tokens based on the girth of the input graph.
Random multi-hooking networks
Published
• View Publication
• BIB
We introduce a broad class of multi-hooking networks, wherein multiple copies of a seed are hooked at each step at random locations, and the number of copies follows a predetermined building sequence of numbers.
We analyze the degree profile in random multi-hooking networks by tracking two kinds of node degrees -- the local average degree of a specific node over time and the global overall average degree in the graph. The former experiences phases and the latter is invariant with respect to the type of building sequence and is somewhat similar to the average degree in the initial seed. We also discuss the expected number of nodes of the smallest degree.
Additionally, we study distances in the network through the lens of the average total path length, the average depth of a node, the eccentricity of a node, and the diameter of the graph.
Taming graphs with no large creatures and skinny ladders
We confirm a conjecture of Gartland and Lokshtanov [arXiv:2007.08761]: if for a hereditary graph class $\mathcal{G}$ there exists a constant $k$ such that no member of $\mathcal{G}$ contains a $k$-creature as an induced subgraph or a $k$-skinny-ladder as an induced minor, then there exists a polynomial $p$ such that every $G \in \mathcal{G}$ contains at most $p(|V(G)|)$ minimal separators. By a result of Fomin, Todinca, and Villanger [SIAM J. Comput. 2015] the latter entails the existence of polynomial-time algorithms for Maximum Weight Independent Set, Feedback Vertex Set and many other problems, when restricted to an input graph from $\mathcal{G}$. Furthermore, as shown by Gartland and Lokshtanov, our result implies a full dichotomy of hereditary graph classes defined by a finite set of forbidden induced subgraphs into tame (admitting a polynomial bound of the number of minimal separators) and feral (containing infinitely many graphs with exponential number of minimal separators).
Lattice Minors and Eulerian Posets
Published
• View Publication
• BIB
We introduce posets of simple vertex labeled minors of graphs and a generalization to the level of polymatroids, collectively termed minor posets. We show that any minor poset is isomorphic to the face poset of a regular CW sphere, and in particular, is Eulerian. We establish cd-index inequalities induced by strong maps, a tight upper bound for cd-indices of minor posets and a tight lower bound for cd-indices of minor posets arising from lattices of maximal length.
Connectivity keeping caterpillars and spiders in bipartite graphs with connectivity at most three
Published
• View Publication
• BIB
A conjecture of Luo, Tian and Wu (2022) says that for every positive integer $k$ and every finite tree $T$ with bipartition $X$ and $Y$ (denote $t = \max\{|X|,|Y |\})$, every $k$-connected bipartite graph $G$ with $δ(G) \geq k + t$ contains a subtree $T' \cong T$ such that $κ(G-V (T')) \geq k$. In this paper, we confirm this conjecture for caterpillars when $k=3$ and spiders when $k\leq 3$.
Counterexamples to Gerbner's Conjecture on Stability of Maximal $F$-free Graphs
Published
• View Publication
• BIB
Let $F$ be an $(r+1)$-color critical graph with $r\geq 2$, that is, $χ(F)=r+1$ and there is an edge $e$ in $F$ such that $χ(F-e)=r$. Gerbner recently conjectured that every $n$-vertex maximal $F$-free graph with at least $(1-\frac{1}{r})\frac{n^2}{2}- o(n^{\frac{r+1}{r}})$ edges contains an induced complete $r$-partite graph on $n-o(n)$ vertices. Let $F_{s,k}$ be a graph obtained from $s$ copies of $C_{2k+1}$ by sharing a common edge. In this paper, we show that for all $k\geq 2$ if $G$ is an $n$-vertex maximal $F_{s,k}$-free graph with at least $n^{2}/4 - o(n^{\frac{s+2}{s+1}})$ edges, then $G$ contains an induced complete bipartite graph on $n-o(n)$ vertices. We also show that it is best possible. This disproves Gerbner's conjecture for $r=2$.
A $C_{4}$-decomposition of the $λ$-fold line graph of $K_{m,n}$
The small cycle decompositions of line graph ($λ$-fold line graph) of complete graphs and complete bipartite graphs are studied by many papers. In particular, Colby and Rodger obtained necessary and sufficient conditions for the existence of a $C_{4}$-decomposition of the $λ$-fold line graph of $K_{n}$, and Ganesamurthy and Paulraja completely determined the values of $n$ and $λ$ for which the $λ$-fold line graph of $K_{n}$ has a $C_{5}$-decomposition. In this paper, we obtain the necessary and sufficient condition for the existence of a $C_{4}$-decomposition of the $λ$-fold line graph of $K_{m,n}$.
Arrowhead and Diamond Diameters
{\em Arrowhead} and {\em diamond} are two hierarchical Cayley graphs defined on the triangular grid. In their undirected version, they are isomorphic and merely define two distinct representations of the same graph. This paper gives the expression of their diameter, in the oriented and non--oriented case. It also displays the full distribution of antipodals.
Vertex spanning planar Laman graphs in triangulated surfaces
Published
• View Publication
• BIB
We prove that every triangulation of either of the torus, projective plane and Klein bottle, contains a vertex-spanning planar Laman graph as a subcomplex. Invoking a result of Kir{á}ly, we conclude that every $1$-skeleton of a triangulation of a surface of nonnegative Euler characteristic has a rigid realization in the plane using at most 26 locations for the vertices.
The sequence of prime gaps is graphic
Published in Math. Ann. 388 (2024), 2195-2215
• View Publication
• BIB
Let us call a simple graph on $n\geq 2$ vertices a prime gap graph if its vertex degrees are $1$ and the first $n-1$ prime gaps. We show that such a graph exists for every large $n$, and in fact for every $n\geq 2$ if we assume the Riemann hypothesis. Moreover, an infinite sequence of prime gap graphs can be generated by the so-called degree preserving growth process. This is the first time a naturally occurring infinite sequence of positive integers is identified as graphic. That is, we show the existence of an interesting, and so far unique, infinite combinatorial object.
On the spectrum and energy of Seidel matrix for chain graphs
We study various spectral properties of the Seidel matrix $S$ of a connected chain graph. We prove that $-1$ is always an eigenvalue of $S$ and all other eigenvalues of $S$ can have multiplicity at most two. We obtain the multiplicity of the Seidel eigenvalue $-1$, minimum number of distinct eigenvalues, eigenvalue bounds, characteristic polynomial, lower and upper bounds of Seidel energy of a chain graph. It is also shown that the energy bounds obtained here work better than the bounds conjectured by Haemers. We also obtain the minimal Seidel energy for some special chain graphs of order $n$. We also give a number of open problems.