graph
34585 papers tagged with this keyword
Connected ($C_4$,Diamond)-free Graphs Are Uniquely Reconstructible from Their Token Graphs
A diamond is the graph that is obtained from removing an edge from the complete graph on $4$ vertices. A ($C_4$,diamond)-free graph is a graph that does not contain a diamond or a cycle on four vertices as induced subgraphs. Let $G$ be a connected ($C_4$,diamond)-free graph on $n$ vertices. Let $1 \le k \le n-1$ be an integer. The $k$-token graph, $F_k(G)$, of $G$ is the graph whose vertices are all the sets of $k$ vertices of $G$; two of which are adjacent if their symmetric difference is a pair of adjacent vertices in $G$. Let $F$ be a graph isomorphic to $F_k(G)$. In this paper we show that given only $F$, we can construct in polynomial time a graph isomorphic to $G$. Let $\operatorname{Aut}(G)$ be the automorphism group of $G$. We also show that if $k\neq n/2$, then $\operatorname{Aut}(G) \simeq \operatorname{Aut}(F_k(G))$; and if $k = n/2$, then $\operatorname{Aut}(G) \simeq \operatorname{Aut}(F_k(G)) \times \mathbb{Z}_2$.
Undecidability of polynomial inequalities in weighted graph homomorphism densities
Published
• View Publication
• BIB
Many problems and conjectures in extremal combinatorics concern polynomial inequalities between homomorphism densities of graphs where we allow edges to have real weights. Using the theory of graph limits, we can equivalently evaluate polynomial expressions in homomorphism densities on kernels $W$, i.e., symmetric, bounded, and measurable functions $W$ from $[0,1]^2 \to \mathbb{R}$. In 2011, Hatami and Norin proved a fundamental result that it is undecidable to determine the validity of polynomial inequalities in homomorphism densities for graphons (i.e., the case where the range of $W$ is $[0,1]$, which corresponds to unweighted graphs, or equivalently, to graphs with edge weights between $0$ and $1$). The corresponding problem for more general sets of kernels, e.g., for all kernels or for kernels with range $[-1,1]$, remains open. For any $a > 0$, we show undecidability of polynomial inequalities for any set of kernels which contains all kernels with range $\{0,a\}$. This result also answers a question raised by Lovász about finding computationally effective certificates for the validity of homomorphism density inequalities in kernels.
Stability version of Dirac's theorem and its applications for generalized Turán problems
Published
• View Publication
• BIB
In 1952, Dirac proved that every $2$-connected $n$-vertex graph with the minimum degree $k+1$ contains a cycle of length at least $\min\{n, 2(k+1)\}$. Here we obtain a stability version of this result by characterizing those graphs with minimum degree $k$ and circumference at most $2k+1$.
We present applications of the above-stated result by obtaining generalized Turán numbers. In particular, for all $\ell \geq 5$ we determine how many copies of a five-cycle as well as four-cycle are necessary to guarantee that the graph has circumference larger than $\ell$. In addition, we give a new proof of Luo's Theorem for cliques using our stability result.
Obstructions to some injective oriented colourings
Published
• View Publication
• BIB
Each of several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ leads to an injective oriented colouring problem. For each case in which such a problem is solvable in polynomial time, we identify a set $\mathcal{F}$ of oriented graphs such that an oriented graph $G$ has an injective oriented colouring with the given number of colours if and only if there is no $F \in \mathcal{F}$ for which there is a locally-injective homomorphism of $F$ to $G$.
Complexity of injective homomorphisms to small tournaments, and of injective oriented colourings
Published
• View Publication
• BIB
Several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ are considered. In each case, we determine the complexity of deciding whether there exists such a homomorphism when $G$ is given and $H$ is a fixed tournament on three or fewer vertices. Each possible definition leads to a locally-injective oriented colouring problem. A dichotomy theorem is proved in each case.
Switching $m$-edge-coloured graphs using non-Abelian groups
Let $G$ be a graph whose edges are each assigned one of the $m$-colours $1, 2, \ldots, m$, and let $Γ$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ with respect $π\in Γ$ permutes the colours of the edges incident with $x$ according to $π$. There is a well-developed theory of switching when $Γ$ is Abelian. Much less is known for non-Abelian groups. In this paper we consider switching with respect to non-Abelian groups including symmetric, alternating and dihedral groups. We first consider the question of whether there is a sequence of switches using elements of $Γ$ that transforms an $m$-edge-coloured graph $G$ to an $m$-edge coloured graph $H$. Necessary and sufficient conditions for the existence of such a sequence are given for each of the groups being considered. We then consider the question of whether an $m$-edge coloured graph can be switched using elements of $Γ$ so that the transformed $m$-edge coloured graph has a vertex $k$-colouring, or a homomorphism to a fixed $m$-edge coloured graph $H$. For the groups just mentioned we establish dichotomy theorems for the complexity of these decision problems. These are the first dichotomy theorems to be established for colouring or homomorphism problems and switching with respect to any group other than $S_2$.
On asymptotic packing of convex geometric and ordered graphs
Published in Journal of Graph Theory 104 (2023), 836-850
• View Publication
• BIB
A convex geometric graph $G$ is said to be packable if there exist edge-disjoint copies of $G$ in the complete convex geometric graph $K_n$ covering all but $o(n^2)$ edges. We prove that every convex geometric graph with cyclic chromatic number at most $4$ is packable. With a similar definition of packability for ordered graphs, we prove that every ordered graph with interval chromatic number at most $3$ is packable. Arguments based on the average length of edges imply these results are best possible. We also identify a class of convex geometric graphs that are packable due to having many "long" edges.
Induced subgraphs of zero-divisor graphs
Published
• View Publication
• BIB
The zero-divisor graph of a finite commutative ring with unity is the graph whose vertex set is the set of zero-divisors in the ring, with $a$ and $b$ adjacent if $ab=0$. We show that the class of zero-divisor graphs is universal, in the sense that every finite graph is isomorphic to an induced subgraph of a zero-divisor graph. This remains true for various restricted classes of rings, including boolean rings, products of fields, and local rings. But in more restricted classes, the zero-divisor graphs do not form a universal family. For example, the zero-divisor graph of a local ring whose maximal ideal is principal is a threshold graph; and every threshold graph is embeddable in the zero-divisor graph of such a ring. More generally, we give necessary and sufficient conditions on a non-local ring for which its zero-divisor graph to be a threshold graph. In addition, we show that there is a countable local ring whose zero-divisor graph embeds the Rado graph, and hence every finite or countable graph, as induced subgraph. Finally, we consider embeddings in related graphs such as the $2$-dimensional dot product graph.
Borel-Hirzebruch type formula for the graph equivariant cohomology of a projective bundle over a GKM-graph
In this paper, we introduce the GKM theoretical counterpart of the equivariant complex vector bundles as the "leg bundle". We also provide a definition for the projectivization of a leg bundle and prove the Borel-Hirzebruch type formula for its graph equivariant cohomology, assuming that the projectivization is again a GKM graph. Furthermore, we study the realization of the projective GKM fiber bundle, in the sense of Guillemin-Sabatini-Zara, can be obtained from the projectivization of a leg bundle.
Prime, composite and fundamental Kirchhoff graphs
Published
• View Publication
• BIB
A Kirchhoff graph is a vector graph with orthogonal cycles and vertex cuts. An algorithm has been developed that constructs all the Kirchhoff graphs up to a fixed edge multiplicity. This algorithm is used to explore the structure of prime Kirchhoff graph tilings. The existence of infinitely many prime Kirchhoff graphs given a set of fundamental Kirchhoff graphs is established, as is the existence of a minimal multiplicity for Kirchhoff graphs to exist.
Rank-k random graphs and finite type branching processes
In this note, we investigate fundamental relations between exploration processes in random graphs, and branching processes. We formulate a class of models that we call {\em rank-$k$ random graphs}, and that are special in that their neighborhood explorations can be obtained by a {\em thinning} of multi-type branching processes. We show that any rank-2 random graph can be described in terms of thinning of a 2-type branching process, while for higher rank, it is not clear how many types are needed.
A $p$-centered coloring for the grid using $O(p)$ colors
Published
• View Publication
• BIB
A $p$-centered coloring of a graph $G$, where $p$ is a positive integer, is a coloring of the vertices of $G$ in such a way that every connected subgraph of $G$ either contains a vertex with a unique color or contains more than $p$ different colors. We give an explicit construction of a $p$-centered coloring using $O(p)$ colors for the planar grid.
Turán number for odd-ballooning of trees
Published
• View Publication
• BIB
The Turán number $ex(n,H)$ is the maximum number of edges in an $H$-free graph on $n$ vertices. Let $T$ be any tree. The odd-ballooning of $T$, denoted by $T_o$, is a graph obtained by replacing each edge of $T$ with an odd cycle containing the edge, and all new vertices of the odd cycles are distinct. In this paper, we determine the exact value of $ex(n,T_o)$ for sufficiently large $n$ and $T_o$ being good, which generalizes all the known results on $ex(n,T_o)$ for $T$ being a star, due to Erdős et al. (1995), Hou et al. (2018) and Yuan (2018), and provides some counterexamples with chromatic number 3 to a conjecture of Keevash and Sudakov (2004), on the maximum number of edges not in any monochromatic copy of $H$ in a $2$-edge-coloring of a complete graph of order $n$.
A very sharp threshold for first order logic distinguishability of random graphs
In this paper we find an integer $h=h(n)$ such that the minimum number of variables of a first order sentence that distinguishes between two independent uniformly distributed random graphs of size $n$ with the asymptotically largest possible probability $\frac{1}{4}-o(1)$ belongs to $\{h,h+1,h+2,h+3\}$. We also prove that the minimum (random) $k$ such that two independent random graphs are distinguishable by a first order sentence with $k$ variables belongs to $\{h,h+1,h+2\}$ with probability $1-o(1)$.
A simple and sharper proof of the hypergraph Moore bound
Published
• View Publication
• BIB
The hypergraph Moore bound is an elegant statement that characterizes the extremal trade-off between the girth - the number of hyperedges in the smallest cycle or even cover (a subhypergraph with all degrees even) and size - the number of hyperedges in a hypergraph. For graphs (i.e., $2$-uniform hypergraphs), a bound tight up to the leading constant was proven in a classical work of Alon, Hoory and Linial [AHL02]. For hypergraphs of uniformity $k>2$, an appropriate generalization was conjectured by Feige [Fei08]. The conjecture was settled up to an additional $\log^{4k+1} n$ factor in the size in a recent work of Guruswami, Kothari and Manohar [GKM21]. Their argument relies on a connection between the existence of short even covers and the spectrum of a certain randomly signed Kikuchi matrix. Their analysis, especially for the case of odd $k$, is significantly complicated.
In this work, we present a substantially simpler and shorter proof of the hypergraph Moore bound. Our key idea is the use of a new reweighted Kikuchi matrix and an edge deletion step that allows us to drop several involved steps in [GKM21]'s analysis such as combinatorial bucketing of rows of the Kikuchi matrix and the use of the Schudy-Sviridenko polynomial concentration. Our simpler proof also obtains tighter parameters: in particular, the argument gives a new proof of the classical Moore bound of [AHL02] with no loss (the proof in [GKM21] loses a $\log^3 n$ factor), and loses only a single logarithmic factor for all $k>2$-uniform hypergraphs.
As in [GKM21], our ideas naturally extend to yield a simpler proof of the full trade-off for strongly refuting smoothed instances of constraint satisfaction problems with similarly improved parameters.
Two-geodesic transitive graphs of order $p^n$ with $n\leq3$
Published
• View Publication
• BIB
A vertex triple $(u,v,w)$ of a graph is called a $2$-geodesic if $v$ is adjacent to both $u$ and $w$ and $u$ is not adjacent to $w$. A graph is said to be $2$-geodesic transitive if its automorphism group is transitive on the set of $2$-geodesics. In this paper, a complete classification of $2$-geodesic transitive graphs of order $p^n$ is given for each prime $p$ and $n\leq 3$. It turns out that all such graphs consist of three small graphs: the complete bipartite graph $K_{4,4}$ of order $8$, the Schläfli graph of order $27$ and its complement, and fourteen infinite families: the cycles $C_p, C_{p^2}$ and $C_{p^3}$, the complete graphs $K_p, K_{p^2}$ and $K_{p^3}$, the complete multipartite graphs $K_{p[p]}$, $K_{p[p^2]}$ and $K_{p^2[p]}$, the Hamming graph $H(2,p)$ and its complement, the Hamming graph $H(3,p)$, and two infinite families of normal Cayley graphs on extraspecial group of order $p^3$ and exponent $p$.
Paired and semipaired domination in triangulations
A dominating set of a graph $G$ is a subset $D$ of vertices such that every vertex not in $D$ is adjacent to at least one vertex in $D$. A dominating set $D$ is paired if the subgraph induced by its vertices has a perfect matching, and semipaired if every vertex in $D$ is paired with exactly one other vertex in $D$ that is within distance 2 from it. The paired domination number, denoted by $γ_{pr}(G)$, is the minimum cardinality of a paired dominating set of $G$, and the semipaired domination number, denoted by $γ_{pr2}(G)$, is the minimum cardinality of a semipaired dominating set of $G$. A near-triangulation is a biconnected planar graph that admits a plane embedding such that all of its faces are triangles except possibly the outer face. We show in this paper that $γ_{pr}(G) \le 2 \lfloor \frac{n}{4} \rfloor$ for any near-triangulation $G$ of order $n\ge 4$, and that with some exceptions, $γ_{pr2}(G) \le \lfloor \frac{2n}{5} \rfloor$ for any near-triangulation $G$ of order $n\ge 5$.
A construction for a counterexample to the pseudo 2-factor isomorphic graph conjecture
Published
• View Publication
• BIB
A graph $G$ admiting a $2$-factor is \textit{pseudo $2$-factor isomorphic} if the parity of the number of cycles in all its $2$-factors is the same. In [M. Abreu, A.A. Diwan, B. Jackson, D. Labbate and J. Sheehan. Pseudo $2$-factor isomorphic regular bipartite graphs. Journal of Combinatorial Theory, Series B, 98(2) (2008), 432-444.] some of the authors of this note gave a partial characterisation of pseudo $2$-factor isomorphic bipartite cubic graphs and conjectured that $K_{3,3}$, the Heawood graph and the Pappus graph are the only essentially $4$-edge-connected ones. In [J. Goedgebeur. A counterexample to the pseudo $2$-factor isomorphic graph conjecture. Discr. Applied Math., 193 (2015), 57-60.] Jan Goedgebeur computationally found a graph $\mathscr{G}$ on $30$ vertices which is pseudo $2$-factor isomorphic cubic and bipartite, essentially $4$-edge-connected and cyclically $6$-edge-connected, thus refuting the above conjecture. In this note, we describe how such a graph can be constructed from the Heawood graph and the generalised Petersen graph $GP(8,3)$, which are the Levi graphs of the Fano $7_3$ configuration and the Möbius-Kantor $8_3$ configuration, respectively. Such a description of $\mathscr{G}$ allows us to understand its automorphism group, which has order $144$, using both a geometrical and a graph theoretical approach simultaneously. Moreover we illustrate the uniqueness of this graph.
Godsil-McKay switchings for gain graphs
Published
• View Publication
• BIB
We introduce a switching operation, inspired by the Godsil-McKay switching, in order to obtain pairs of $G$-cospectral gain graphs, that are gain graphs cospectral with respect to every representation of the gain group $G$. For instance, for two signed graphs, this notion of cospectrality is equivalent to the cospectrality of their signed adjacency matrices together with the cospectrality of their underlying graphs. Moreover, we introduce another more flexible switching in order to obtain pairs of gain graphs cospectral with respect to some fixed unitary representation. Many existing notions of spectrum for graphs and gain graphs are indeed special cases of these spectra associated with particular representations, therefore our construction recovers the classical Godsil-McKay switching and the Godsil-McKay switching for signed and complex unit gain graphs. As in the classical case, not all gain graphs are suitable for these switchings: we analyze the relationships between the properties that make the graph suitable for the one or the other switching. Finally we apply our construction in order to define a Godsil-McKay switching for the right spectrum of quaternion unit gain graphs.
Mutual Information, Information-Theoretic Thresholds and the Condensation Phenomenon at Positive Temperature
There is a vast body of recent literature on the reliability of communication through noisy channels, the recovery of community structures in the stochastic block model, the limiting behavior of the free entropy in spin glasses and the solution space structure of constraint satisfaction problems. At first glance, these topics ranging across several disciplines might seem unrelated. However, taking a closer look, structural similarities can be easily identified.
Factor graphs exploit these similarities to model the aforementioned objects and concepts in a unified manner. In this contribution we discuss the asymptotic average case behavior of several quantities, where the average is taken over sparse Erdős-Rényi type (hyper-) graphs with positive weights, under certain assumptions. For one, we establish the limit of the mutual information, which is used in coding theory to measure the reliability of communication. We also determine the limit of the relative entropy, which can be used to decide if weak recovery is possible in the stochastic block model. Further, we prove the conjectured limit of the quenched free entropy over the planted ensemble, which we use to obtain the preceding limits. Finally, we describe the asymptotic behavior of the quenched free entropy (over the null model) in terms of the limiting relative entropy.