graph
34604 papers tagged with this keyword
Graphs with three distinct distance eigenvalues
Published
• View Publication
• BIB
In this paper, some special distance spectral properties of graphs are considered. Concretely, we recursively construct an infinite family of trees with distance eigenvalue $-1$, and determine all $\{C_3,C_4\}$-free connected graphs with three distinct distance eigenvalues of which the smallest one is equal to $-3$, which partially answers a problem posed by Koolen, Hayat and Iqbal [Linear Algebra Appl. 505 (2016) 97--108]. Furthermore, we characterize all trees with three distinct distance eigenvalues.
On the metric subgraphs of a graph
Published
• View Publication
• BIB
The three subgraphs of a connected graph induced by the center, annulus and periphery are called its metric subgraphs. The main results are as follows. (1) There exists a graph of order $n$ whose metric subgraphs are all paths if and only if $n\ge 13$ and the smallest size of such a graph of order $13$ is $22;$ (2) there exists a graph of order $n$ whose metric subgraphs are all cycles if and only if $n\ge 15,$ and there are exactly three such graphs of order $15;$ (3) for every integer $k\ge 3,$ we determine the possible orders for the existence of a graph whose metric subgraphs are all connected $k$-regular graphs; (4) there exists a graph of order $n$ whose metric subgraphs are connected and pairwise isomorphic if and only if $n\ge 24$ and $n$ is divisible by $3.$ An unsolved problem is posed.
On the domination number of $t$-constrained de Bruijn graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (August 22, 2022) dmtcs:8879
• View Publication
• BIB
Motivated by the work on the domination number of directed de Bruijn graphs and some of its generalizations, in this paper we introduce a natural generalization of de Bruijn graphs (directed and undirected), namely $t$-constrained de Bruijn graphs, where $t$ is a positive integer, and then study the domination number of these graphs.
Within the definition of $t$-constrained de Bruijn graphs, de Bruijn and Kautz graphs correspond to 1-constrained and 2-constrained de Bruijn graphs, respectively. This generalization inherits many structural properties of de Bruijn graphs and may have similar applications in interconnection networks or bioinformatics.
We establish upper and lower bounds for the domination number on $t$-constrained de Bruijn graphs both in the directed and in the undirected case. These bounds are often very close and in some cases we are able to find the exact value.
Coincident-point rigidity in normed planes
Published
• View Publication
• BIB
A bar-joint framework $(G,p)$ is the combination of a graph $G$ and a map $p$ assigning positions, in some space, to the vertices of $G$. The framework is rigid if every edge-length-preserving continuous motion of the vertices arises from an isometry of the space. We will analyse rigidity when the space is a (non-Euclidean) normed plane and two designated vertices are mapped to the same position. This non-genericity assumption leads us to a count matroid first introduced by Jackson, Kaszanitsky and the third author. We show that independence in this matroid is equivalent to independence as a suitably regular bar-joint framework in a normed plane with two coincident points; this characterises when a regular normed plane coincident-point framework is rigid and allows us to deduce a delete-contract characterisation. We then apply this result to show that an important construction operation (generalised vertex splitting) preserves the stronger property of global rigidity in normed planes and use this to construct rich families of globally rigid graphs when the normed plane is analytic.
Regularity based spectral clustering and mapping the Fiedler-carpet
Published
• View Publication
• BIB
Spectral clustering is discussed from many perspectives, by extending it to rectangular arrays and discrepancy minimization too. Near optimal clusters are obtained with singular value decomposition and with the weighted $k$-means algorithm. In case of rectangular arrays, this means enhancing the method of correspondence analysis with clustering, and in case of edge-weighted graphs, a normalized Laplacian based clustering. In the latter case it is proved that a spectral gap between the $(k-1)$th and $k$th smallest positive eigenvalues of the normalized Laplacian matrix gives rise to a sudden decrease of the inner cluster variances when the number of clusters of the vertex representatives is $2^{k-1}$, but only the first $k-1$ eigenvectors, constituting the so-called Fiedler-carpet, are used in the representation. Application to directed migration graphs is also discussed.
Almost Cohen-Macaulay bipartite graphs and connected in codimension two
Published
• View Publication
• BIB
In this paper we study almost Cohen-Macaulay bipartite graphs. Furthermore, we prove that if $G$ is almost Cohen-Macaulay bipartite graph with at least one vertex of positive degree, then there is a vertex of $°(v) \leq 2$. In particular, if $G$ is an almost Cohen-Macaulay bipartite graph and $u$ is a vertex of degree one of $G$ and $v$ its adjacent vertex, then $G\setminus\{v\}$ is almost Cohen-Macaulay. Also, we show that an unmixed Ferrers graph is almost Cohen-Macaulay if and only if it is connected in codimension two. Moreover, we give some examples.
Definable Kőnig theorems
Published
• View Publication
• BIB
Let $X$ be a Polish space with Borel probability measure $μ,$ and let $G$ be a Borel graph on $X$ with no odd cycles and maximum degree $Δ(G).$ We show that the Baire measurable edge chromatic number of $G$ is at most $Δ(G)+1$, and if $G$ is $μ$-hyperfinite then the $μ$-measurable edge chromatic number obeys the same bound. More generally, we show that $G$ has Borel edge chromatic number at most $Δ(G)$ plus its asymptotic separation index.
On the Erdős-Purdy problem and the Zarankiewitz problem for semialgebraic graphs
Erdős and Purdy, and later Agarwal and Sharir, conjectured that any set of $n$ points in $\mathbb R^{d}$ determine at most $Cn^{d/2}$ congruent $k$-simplices for even $d$. We obtain the first significant progress towards this conjecture, showing that this number is at most $C n^{3d/4}$ for $k<d$. As a consequence, we obtain an upper bound of $C n^{3d/4+2}$ for the number of similar $k$-simplices determined by $n$ points in $\mathbb R^d$, which improves the results of Agarwal, Apfelbaum, Purdy and Sharir. This problem is motivated by the problem of exact pattern matching.
We also address Zarankiewicz-type questions of finding the maximum number of edges in semi-algebraic graphs with no $K_{u,u}$. Here, we improve the previous result of Fox, Pach, Sheffer, Suk, and Zahl, and Do for $d\le 4$, as well as for any $d$ and moderately large $u$. We get an improvement of their results for any $d$ and $u$ for unit-distance graphs, which was one of the main applications of their results.
From a more general prospective, our results are proved using classical cutting techniques. In the recent years, we saw a great development of the polynomial partitioning method in incidence geometry that followed the breakthrough result by Guth and Katz. One consequence of that development is that the attention of the researchers in incidence geometry swayed in polynomial techniques. In this paper, we argue that there is a number of open problems where classical techniques work better.
Transplanting Trees: Chromatic Symmetric Function Results through the Group Algebra of $S_n$
One of the major outstanding conjectures in the study of chromatic symmetric functions (CSF's) states that trees are uniquely determined by their CSF's. Though verified on graphs of order up to twenty-nine, this result has been proved only for certain subclasses of trees. Using the definition of the CSF that emerges via the Frobenius character map applied to $\mathbb{C}[S_n]$, we offer new algebraic proofs of several results about the CSF's of trees. Additionally, we prove that a "parent function" of the CSF defined in the group ring of $S_n$ can uniquely determine trees, providing further support for Stanley's conjecture.
Zero forcing number versus general position number in tree-like graphs
Let ${\rm Z}(G)$ and ${\rm gp}(G)$ be the zero forcing number and the general position number of a graph $G$, respectively. Known results imply that ${\rm gp}(T)\ge {\rm Z}(T) + 1$ holds for every nontrivial tree $T$. It is proved that the result extends to block graphs. For connected, unicyclic graphs $G$ it is proved that ${\rm gp}(G) \ge {\rm Z}(G)$. The result extends neither to bicyclic graphs nor to quasi-trees. Nevertheless, a large class of quasi-trees is found for which ${\rm gp}(G) \ge {\rm Z}(G)$ holds.
Improved product structure for graphs on surfaces
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (October 21, 2022) dmtcs:8877
• View Publication
• BIB
Dujmović, Joret, Micek, Morin, Ueckerdt and Wood [J. ACM 2020] proved that for every graph $G$ with Euler genus $g$ there is a graph $H$ with treewidth at most 4 and a path $P$ such that $G\subseteq H \boxtimes P \boxtimes K_{\max\{2g,3\}}$. We improve this result by replacing "4" by "3" and with $H$ planar. We in fact prove a more general result in terms of so-called framed graphs. This implies that every $(g,d)$-map graph is contained in $ H \boxtimes P\boxtimes K_\ell$, for some planar graph $H$ with treewidth $3$, where $\ell=\max\{2g\lfloor \frac{d}{2} \rfloor,d+3\lfloor\frac{d}{2}\rfloor-3\}$. It also implies that every $(g,1)$-planar graph (that is, graphs that can be drawn in a surface of Euler genus $g$ with at most one crossing per edge) is contained in $H\boxtimes P\boxtimes K_{\max\{4g,7\}}$, for some planar graph $H$ with treewidth $3$.
Variable degeneracy of graphs with restricted structures
Bernshteyn and Lee defined a new notion, weak degeneracy, which is slightly weaker than the ordinary degeneracy. It is proved that strictly $f$-degenerate transversal is a common generalization of list coloring, $L$-forested-coloring and DP-coloring. In this paper, we consider three classes of graphs, including planar graphs without any configuration in Fig. 2, toroidal graphs without any configuration in Fig. 5, and planar graphs without intersecting $5$-cycles. We give structural results for each class of graphs, and prove each structure is reducible for weakly $3$-degenerate and the existence of strictly $f$-degenerate transversals. As consequences, these three classes of graphs are weakly $3$-degenerate, and have a strictly $f$-degenerate transversal. Then these three classes of graph have DP-paint number at most four, and have list vertex arboricity at most two. This greatly improve all the results in [2-4, 11-13, 16-18, 22, 25, 32, 34]. Furthermore, the first and the third classes of graphs have Alon-Tarsi number at most four.
An upper bound for the number of chess diagrams without promotion
Published
• View Publication
• BIB
In 2015, Steinerberger showed that the number of legal chess diagrams without promotion is bounded from above by $2\times 10^{40}$. This number was obtained by restricting both bishops and pawns position and by a precise bound when no chessman has been captured. We improve this estimate and show that the number of legal diagrams is less than $4\times 10^{37}$. To achieve this, we define a graph on the set of diagrams and a notion of class of pawn arrangements, leading to a method for bounding pawn positions with any number of men on the board.
The codegree threshold of $K_4^-$
Published
• View Publication
• BIB
The codegree threshold $\mathrm{ex}_2(n, F)$ of a $3$-graph $F$ is the minimum $d=d(n)$ such that every $3$-graph on $n$ vertices in which every pair of vertices is contained in at least $d+1$ edges contains a copy of $F$ as a subgraph. We study $\mathrm{ex}_2(n, F)$ when $F=K_4^-$, the $3$-graph on $4$ vertices with $3$ edges. Using flag algebra techniques, we prove that if $n$ is sufficiently large then $\mathrm{ex}_2(n, K_4^-)\leq (n+1)/4$.
This settles in the affirmative a conjecture of Nagle from 1999. In addition, we obtain a stability result: for every near-extremal configuration $G$, there is a quasirandom tournament $T$ on the same vertex set such that $G$ is close in the edit distance to the $3$-graph $C(T)$ whose edges are the cyclically oriented triangles from $T$. For infinitely many values of $n$, we are further able to determine $\mathrm{ex}_2(n, K_4^-)$ exactly and to show that tournament-based constructions $C(T)$ are extremal for those values of $n$.
Annulus graphs in $\mathbb R^d$
Published
• View Publication
• BIB
A $d$-dimensional annulus graph with radii $R_1$ and $R_2$ (here $R_2\ge R_1\ge 0$) is a graph embeddable in $\mathbb R^d$ so that two vertices $u$ and $v$ form an edge if and only if their images in the embedding are at distance in the interval $[R_1, R_2]$. In this paper we show that the family $\mathcal A_d(R_1,R_2)$ of $d$-dimensional annulus graphs with radii $R_1$ and $R_2$ is uniquely characterised by $R_2/R_1$ when this ratio is sufficiently large. Moreover, as a step towards a better understanding of the structure of $\mathcal A_d(R_1,R_2)$, we show that $\sup_{G\in \mathcal A_d(R_1,R_2)} χ(G)/ω(G)$ is given by $\exp(O(d))$ for all $R_1,R_2$ satisfying $R_2\ge R_1 > 0$ and also $\exp(Ω(d))$ if moreover $R_2/R_1\ge 1.2$.
Hat guessing numbers of strongly degenerate graphs
Published
• View Publication
• BIB
Assume $n$ players are placed on the $n$ vertices of a graph $G$. The following game was introduced by Winkler: An adversary puts a hat on each player, where each hat has a colour out of $q$ available colours. The players can see the hat of each of their neighbours in $G$, but not their own hat. Using a prediscussed guessing strategy, the players then simultaneously guess the colour of their hat. The players win if at least one of them guesses correctly, else the adversary wins. The largest integer $q$ such that there is a winning strategy for the players is denoted by $\text{HG}(G)$, and this is called the hat guessing number of $G$.
Although this game has received a lot of attention in the recent years, not much is known about how the hat guessing number relates to other graph parameters. For instance, a natural open question is whether the hat guessing number can be bounded from above in terms of degeneracy. In this paper, we prove that the hat guessing number of a graph can be bounded from above in terms of a related notion, which we call strong degeneracy. We further give an exact characterisation of graphs with bounded strong degeneracy. As a consequence, we significantly improve the best known upper bound on the hat guessing number of outerplanar graphs from $2^{125000}$ to $40$, and further derive upper bounds on the hat guessing number for any class of $K_{2,s}$-free graphs with bounded expansion, such as the class of $C_4$-free planar graphs, more generally $K_{2,s}$-free graphs with bounded Hadwiger number or without a $K_t$-subdivision, and for Erdős-Rényi random graphs with constant average degree.
The Edge-Product Space of Phylogenetic Trees is Not Shellable
Published
• View Publication
• BIB
The edge-product space of phylogenetic trees is a regular CW complex whose maximal closed cells correspond to trivalent trees with leaves labeled by a finite set $X$. The face poset of this cell decomposition is isomorphic to the Tuffley poset, a poset of labeled forests, with a unique minimum adjoined.
We show that the edge-product space of phylogenetic trees is gallery-connected. We then use combinatorial properties of the Tuffley poset and a related graph known as NNI-tree space to show that, although open intervals of the Tuffley poset were proven to be shellable by Gill, Linusson, Moulton, and Steel, the edge-product space is not shellable.
On Clique Roots of Flat Graphs
A complete subgraph of a given graph is called a clique. A clique Polynomial of a graph is a generating function of the number of cliques in $G$. A real root of the clique polynomial of a graph $G$ is called a \emph{clique root} of $G$. \\ Hajiabolhassan and Mehrabadi showed that the clique polynomial of any simple graph has a clique root in $[-1,0)$. As a generalization of their result, the author of this paper showed that the class of $K_{4}$-free connected chordal graphs has also only clique roots. \\ A given graph $G$ is called flat if each edge of $G$ belongs to at most two triangles of $G$. In answering the author's open question about the class of \emph{non-chordal} graphs with the same property of having only c;ique roots, we extend the aforementioned result to the class of $K_{4}$-free flat graphs. In particular, we prove that the class of $K_{4}$-free flat graphs without isolated edges has $r=-1$ as one of its clique roots. We finally present some interesting open questions and conjectures regarding clique roots of graphs.
Sums of Polynomials and Clique Roots
In this paper, pursuing the same line of ideas in the proof of an old longstanding open conjecture of \emph{Kadison-Singer} , we introduce a key lemma which we call it the interlacing lemma which indicates a necessary condition for having a real root for sums of polynomials with (at least) one real root. Then, as an immediate application of this simple but potentially useful lemma we characterize several class of graphs which have only clique roots. Finally, we conclude our paper with several interesting open problems and conjectures for interested readers.
Pebbling in Powers of Paths
The $t$-fold pebbling number, $π_t(G)$, of a graph $G$ is defined to be the minimum number $m$ so that, from any given configuration of $m$ pebbles on the vertices of $G$, it is possible to place at least $t$ pebbles on any specified vertex via pebbling moves. It has been conjectured that the pebbling numbers of pyramid-free chordal graphs can be calculated in polynomial time.
The $k^{\rm th}$ power $G^{(k)}$ of the graph $G$ is obtained from $G$ by adding an edge between any two vertices of distance at most $k$ from each other. The $k^{\rm th}$ power of the path $P_n$ on $n$ is an important class of pyramid-free chordal graphs. Pachter, Snevily, and Voxman (1995), Kim (2004), and Kim and Kim (2010) calculated $π(P_n^{(k)})$ for $2\le k\le 4$, respectively. In this paper we calculate $π_t(P_n^{(k)})$ for all $n$, $k$, and $t$.
For a function $D:V(G)\rightarrow{\mathbb N}$, the $D$-pebbling number, $π(G,D)$, of a graph $G$ is defined to be the minimum number $m$ so that, from any given configuration of $m$ pebbles on the vertices of $G$, it is possible to place at least $D(v)$ pebbles on each vertex $v$ via pebbling moves. We make the conjecture that every $G$ and $D$ satisfies $π(G,D)\le π_{|D|}(G)-(s(D)-1)$, where $s(D)$ counts the number of vertices $v$ with $D(v)>0$. We prove this for trees and $P_n^{(k)}$, for all $n$ and $k$.
The pebbling exponent $e_π(G)$ of a graph $G$ was defined by Pachter, et al., to be the minimum $k$ for which $π(G^{(k)})=n(G^{(k)})$. Of course, $e_π(G)\le {\rm diameter}(G)$, and Czygrinow, Hurlbert, Kierstead, and Trotter (2002) proved that almost all graphs $G$ have $e_π(G)=1$. Lourdusamy and Mathivanan (2015) proved several results on $π_t(C_n^2)$, and Hurlbert (2017) proved an asymptotically tight formula for $e_π(C_n)$. Our formula for $π_t(P_n^{(k)})$ allows us us to compute $e_π(P_n)$ asymptotically tightly.