graph
34793 papers tagged with this keyword
Nondegenerate spheres in four dimensions
Published
• View Publication
• BIB
Non-degeneracy was first defined for hyperplanes by Elekes-Tóth, and later extended to spheres by Apfelbaum-Sharir: given a set $P$ of $m$ points in $\mathbb{R}^d$ and some $β\in(0,1)$, a $(d-1)$-dimensional sphere (or a $(d-1)$-sphere) $S$ in $\mathbb{R}^d$ is called $β$-nondegenerate with respect to $P$ if $S$ does not contain a proper subsphere $S'$ such that $|S'\cap P|\geq β|S\cap P|$. Apfelbaum-Sharir found an upper bound for the number of incidences between points and nondegenerate spheres in three dimensions, which was recently used by Zahl to obtain the best known bound for the unit distance problem in three dimensions.
In this paper, we show that the number of incidences between $m$ points and $n$ $β$-nondegenerate 3-spheres in $\mathbb{R}^4$ is $O_{β,\varepsilon}\left(m^{\frac{15}{19}+\varepsilon} n^{\frac{16}{19}}+mn^{\frac{2}{3}}\right)$. As a consequence, we obtain a bound of $O_{\varepsilon}(n^{2+4/11+\varepsilon})$ on the number of similar triangles formed by $n$ points in $\mathbb{R}^4$, an improvement over the previously best known bound $O(n^{2+2/5})$.
While proving this, we find it convenient to work with a more general definition of nondegeneracy: a bipartite graph $G=(P,Q)$ is called $β$-nondegenerate if $|N(q_1)\cap N(q_2)|<β|N(q_1)|$ for any two distinct vertices $q_1,q_2\in Q$; here $N(q)$ denotes the set of neighbors of $q$ and $β$ is some positive constant less than 1. A $β$-nondegenerate graph can have up to $Θ(|P||Q|)$ edges without any restriction, but must have much fewer edges if the graph is semi-algebraic or has bounded VC-dimension. We show that previous results for planes and spheres in three dimensions still hold under this new definition, and so does our new bound for spheres in four dimensions.
Reconfiguring Graph Homomorphisms on the Sphere
Published in European J. Combin. 86 (2020) 103086
• View Publication
• BIB
Given a loop-free graph $H$, the reconfiguration problem for homomorphisms to $H$ (also called $H$-colourings) asks: given two $H$-colourings $f$ of $g$ of a graph $G$, is it possible to transform $f$ into $g$ by a sequence of single-vertex colour changes such that every intermediate mapping is an $H$-colouring? This problem is known to be polynomial-time solvable for a wide variety of graphs $H$ (e.g. all $C_4$-free graphs) but only a handful of hard cases are known. We prove that this problem is PSPACE-complete whenever $H$ is a $K_{2,3}$-free quadrangulation of the $2$-sphere (equivalently, the plane) which is not a $4$-cycle. From this result, we deduce an analogous statement for non-bipartite $K_{2,3}$-free quadrangulations of the projective plane. This include several interesting classes of graphs, such as odd wheels, for which the complexity was known, and $4$-chromatic generalized Mycielski graphs, for which it was not.
If we instead consider graphs $G$ and $H$ with loops on every vertex (i.e. reflexive graphs), then the reconfiguration problem is defined in a similar way except that a vertex can only change its colour to a neighbour of its current colour. In this setting, we use similar ideas to show that the reconfiguration problem for $H$-colourings is PSPACE-complete whenever $H$ is a reflexive $K_{4}$-free triangulation of the $2$-sphere which is not a reflexive triangle. This proof applies more generally to reflexive graphs which, roughly speaking, resemble a triangulation locally around a particular vertex. This provides the first graphs for which $H$-Recolouring is known to be PSPACE-complete for reflexive instances.
Sharp bounds for the chromatic number of random Kneser graphs
Published
• View Publication
• BIB
Given positive integers $n\ge 2k$, the {\it Kneser graph} $KG_{n,k}$ is a graph whose vertex set is the collection of all $k$-element subsets of the set $\{1,\ldots, n\}$, with edges connecting pairs of disjoint sets. One of the classical results in combinatorics, conjectured by Kneser and proved by Lovász, states that the chromatic number of $KG_{n,k}$ is equal to $n-2k+2$. In this paper, we study the chromatic number of the {\it random Kneser graph} $KG_{n,k}(p)$, that is, the graph obtained from $KG_{n,k}$ by including each of the edges of $KG_{n,k}$ independently and with probability $p$.
We prove that, for any fixed $k\ge 3$, $χ(KG_{n,k}(1/2)) = n-Θ(\sqrt[2k-2]{\log_2 n})$, as well as $χ(KG_{n,2}(1/2)) = n-Θ(\sqrt[2]{\log_2 n \cdot \log_2\log_2 n})$. We also prove that, for $k\ge (1+\varepsilon) \log\log n$, we have $χ(KG_{n,k}(1/2))\ge n-2k-10$. This significantly improves previous results on the subject, obtained by Kupavskii and by Alishahi and Hajiabolhassan. The bound on $k$ in the second result is also tight up to a constant. We also discuss an interesting connection to an extremal problem on embeddability of complexes.
Sharp spectral bounds for the edge-connectivity of a regular graph
Let $λ_2(G)$ and $κ'(G)$ be the second largest eigenvalue and the edge-connectivity of a graph $G$, respectively. Let $d$ be a positive integer at least 3. For $t=1$ or 2, Cioaba proved sharp upper bounds for $λ_2(G)$ in a $d$-regular simple graph $G$ to guarantee that $κ'(G) \ge t+1$. In this paper, we settle down for all $t \ge 3$.
Distinguishing numbers of finite $4$-valent vertex-transitive graphs
Published
• View Publication
• BIB
The distinguishing number of a graph $G$ is the smallest $k$ such that $G$ admits a $k$-colouring for which the only colour-preserving automorphism of $G$ is the identity. We determine the distinguishing number of finite $4$-valent vertex-transitive graphs. We show that, apart from one infinite family and finitely many examples, they all have distinguishing number $2$.
Finite $3$-connected homogeneous graphs
A finite graph $\G$ is said to be {\em $(G,3)$-$($connected$)$ homogeneous} if every isomorphism between any two isomorphic (connected) subgraphs of order at most $3$ extends to an automorphism $g\in G$ of the graph, where $G$ is a group of automorphisms of the graph. In 1985, Cameron and Macpherson determined all finite $(G, 3)$-homogeneous graphs. In this paper, we develop a method for characterising $(G,3)$-connected homogeneous graphs. It is shown that for a finite $(G,3)$-connected homogeneous graph $\G=(V, E)$, either $G_v^{\G(v)}$ is $2$--transitive or $G_v^{\G(v)}$ is of rank $3$ and $\G$ has girth $3$, and that the class of finite $(G,3)$-connected homogeneous graphs is closed under taking normal quotients. This leads us to study graphs where $G$ is quasiprimitive on $V$. We determine the possible quasiprimitive types for $G$ in this case and give new constructions of examples for some possible types.
Contracting to a Longest Path in H-Free Graphs
We prove two dichotomy results for detecting long paths as patterns in a given graph. The NP-hard problem Longest Induced Path is to determine the longest induced path in a graph. The NP-hard problem Longest Path Contractibility is to determine the longest path to which a graph can be contracted to. By combining known results with new results we completely classify the computational complexity of both problems for $H$-free graphs. Our main focus is on the second problem, for which we design a general contractibility technique that enables us to reduce the problem to a matching problem.
Improved Ramsey-type results for comparability graphs
Published in Combinatorics, Probability and Computing 29 (2020), 747-756
• View Publication
• BIB
Several discrete geometry problems are equivalent to estimating the size of the largest homogeneous sets in graphs that happen to be the union of few comparability graphs. An important observation for such results is that if $G$ is an $n$-vertex graph that is the union of $r$ comparability (or more generally, perfect) graphs, then either $G$ or its complement contains a clique of size $n^{1/(r+1)}$.
This bound is known to be tight for $r=1$. The question whether it is optimal for $r\ge 2$ was studied by Dumitrescu and Tóth. We prove that it is essentially best possible for $r=2$, as well: we introduce a probabilistic construction of two comparability graphs on $n$ vertices, whose union contains no clique or independent set of size $n^{1/3+o(1)}$.
Using similar ideas, we can also construct a graph $G$ that is the union of $r$ comparability graphs, and neither $G$, nor its complement contains a complete bipartite graph with parts of size $\frac{cn}{(\log n)^r}$. With this, we improve a result of Fox and Pach.
New bounds on the anti-Ramsey numbers of star graphs
Published
• View Publication
• BIB
The anti-Ramsey number $ar(G,H)$ with input graph $G$ and pattern graph $H$, is the maximum positive integer $k$ such that there exists an edge coloring of $G$ using $k$ colors, in which there are no rainbow subgraphs isomorphic to $H$ in $G$. ($H$ is rainbow if all its edges get distinct colors). The concept of anti-Ramsey number was introduced by Erdös, Simanovitz, and Sós in 1973. Thereafter several researchers investigated this concept in the combinatorial setting. Recently, Feng et al. revisited the anti-Ramsey problem for the pattern graph $K_{1,t}$ (for $t \geq 3$) purely from an algorithmic point of view due to its applications in interference modeling of wireless networks. They posed it as an optimization problem, the maximum edge $q$-coloring problem. For a graph $G$ and an integer $q\geq 2$, an edge $q$-coloring of $G$ is an assignment of colors to edges of $G$, such that edges incident on a vertex span at most $q$ distinct colors. The maximum edge $q$-coloring problem seeks to maximize the number of colors in an edge $q$-coloring of the graph $G$. Note that the optimum value of the edge $q$-coloring problem of $G$ equals $ar(G,K_{1,q+1})$. In this paper, we study $ar(G,K_{1,t})$, the anti-Ramsey number of stars, for each fixed integer $t\geq 3$, both from combinatorial and algorithmic point of view. The first of our main results presents an upper bound for $ar(G,K_{1,q+1})$, in terms of number of vertices and the minimum degree of $G$. The second one improves this result for the case of triangle-free input graphs. For a positive integer $t$, let $H_t$ denote a subgraph of $G$ with maximum number of possible edges and maximum degree $t$. Our third main result presents an upper bound for $ar(G,K_{1,q+1})$ in terms of $|E(H_{q-1})|$. All our results have algorithmic consequences.
Neighborhood complexes, homotopy test graphs and a contribution to a conjecture of Hedetniemi
Published
• View Publication
• BIB
The neighborhood complex $\N(G)$ of a graph $G$ were introduced by L. Lov{á}sz in his proof of Kneser conjecture. He proved that for any graph $G$,
\begin{align} \label{abstract} χ(G) \geq conn(\N(G))+3.
\end{align}
In this article we show that for a class of exponential graphs the bound given in (\ref{abstract}) is sharp. Further, we show that the neighborhood complexes of these exponential graphs are spheres up to homotopy.
We were also able to find a class of exponential graphs, which are homotopy test graphs.
Hedetniemi's conjecture states that the chromatic number of the categorical product of two graphs is the minimum of the chromatic number of the factors. Let $M(G)$ denotes the Mycielskian of a graph $G$. We show that, for any graph $G$ containing $M(M(K_n))$ as a subgraph and for any graph $H$, if $χ(G \times H) = n+1$, then $\min\{χ(G), χ(H)\} = n+1$. Therefore, we enrich the family of graphs satisfying the Hedetniemi's conjecture.
Complete intersection Jordan types in height two
Published in J. Algebra 557 (2020), 224--277
• View Publication
• BIB
We determine every Jordan type partition that occurs as the Jordan block decomposition for the multiplication map by a linear form in a height two homogeneous complete intersection (CI) Artinian algebra $A$ over an algebraically closed field $\sf k$ of characteristic zero or large enough. We show that these CI Jordan type partitions are those satisfying specific numerical conditions; also, given the Hilbert function $H(A)$, they are completely determined by which higher Hessians of $A$ vanish at the point corresponding to the linear form. We also show new combinatorial results about such partitions, and in particular we give ways to construct them from a branch label or hook code, showing how branches are attached to a fundamental triangle to form the Ferrers graph.
Towards Cereceda's conjecture for planar graphs
Published
• View Publication
• BIB
The reconfiguration graph $R_k(G)$ of the $k$-colourings of a graph $G$ has as vertex set the set of all possible $k$-colourings of $G$ and two colourings are adjacent if they differ on the colour of exactly one vertex. Cereceda conjectured ten years ago that, for every $k$-degenerate graph $G$ on $n$ vertices, $R_{k+2}(G)$ has diameter $\mathcal{O}({n^2})$. The conjecture is wide open, with a best known bound of $\mathcal{O}({k^n})$, even for planar graphs. We improve this bound for planar graphs to $2^{\mathcal{O}({\sqrt{n}})}$. Our proof can be transformed into an algorithm that runs in $2^{\mathcal{O}({\sqrt{n}})}$ time.
Quantum asymptotic spectra of graphs and non-commutative graphs, and quantum Shannon capacities
Published
• View Publication
• BIB
We study quantum versions of the Shannon capacity of graphs and non-commutative graphs. We introduce the asymptotic spectrum of graphs with respect to quantum and entanglement-assisted homomorphisms, and we introduce the asymptotic spectrum of non-commutative graphs with respect to entanglement-assisted homomorphisms. We apply Strassen's spectral theorem (J. Reine Angew. Math., 1988) in order to obtain dual characterizations of the corresponding Shannon capacities and asymptotic preorders in terms of their asymptotic spectra. This work extends the study of the asymptotic spectrum of graphs initiated by Zuiddam (Combinatorica, 2019) to the quantum domain.
We then exhibit spectral points in the new quantum asymptotic spectra and discuss their relations with the asymptotic spectrum of graphs. In particular, we prove that the (fractional) real and complex Haemers bounds upper bound the quantum Shannon capacity, which is defined as the regularization of the quantum independence number (Mančinska and Roberson, J. Combin. Theory Ser. B, 2016), and that the fractional real and complex Haemers bounds are elements in the quantum asymptotic spectrum of graphs. This is in contrast to the Haemers bounds defined over certain finite fields, which can be strictly smaller than the quantum Shannon capacity. Moreover, since the Haemers bound can be strictly smaller than the Lovász theta function (Haemers, IEEE Trans. Inf. Theory, 1979), we find that the quantum Shannon capacity and the Lovász theta function do not coincide. As a consequence, two well-known conjectures in quantum information theory cannot both be true.
Caterpillars in Erdős-Hajnal
Published
• View Publication
• BIB
Let $T$ be a tree such that all its vertices of degree more than two lie on one path, that is, $T$ is a caterpillar subdivision. We prove that there exists $ε>0$ such that for every graph $G$ with $|V(G)|\ge 2$ not containing $T$ as an induced subgraph, either some vertex has at least $ε|V(G)|$ neighbours, or there are two disjoint sets of vertices $A,B$, both of cardinality at least $ε|V(G)|$, where there is no edge joining $A$ and $B$.
A consequence is: for every caterpillar subdivision $T$, there exists $c>0$ such that for every graph $G$ containing neither of $T$ and its complement as an induced subgraph, $G$ has a clique or stable set with at least $|V(G)|^c$ vertices. This extends a theorem of Bousquet, Lagoutte and Thomassé [JCTB 2015], who proved the same when $T$ is a path, and a recent theorem of Choromanski, Falik, Liebenau, Patel and Pilipczuk [Electron. J. Combin. 2018], who proved it when $T$ is a "hook".
Hypergraph polynomials and the Bernardi process
Published in Algebraic Combinatorics vol. 3 (2020), no. 5, pp. 1099-1139
• Search Publication
Recently O. Bernardi gave a formula for the Tutte polynomial $T(x,y)$ of a graph, based on spanning trees and activities just like the original definition, but using a fixed ribbon structure to order the set of edges in a different way for each tree. The interior polynomial $I$ is a generalization of $T(x,1)$ to hypergraphs. We supply a Bernardi-type description of $I$ using a ribbon structure on the underlying bipartite graph $G$. Our formula works because it is determined by the Ehrhart polynomial of the root polytope of $G$ in the same way as $I$ is. To prove this we interpret the Bernardi process as a way of dissecting the root polytope into simplices, along with a shelling order. We also show that our generalized Bernardi process gives a common extension of bijections (and their inverses) constructed by Baker and Wang between spanning trees and break divisors.
On the maximum number of copies of H in graphs with given size and order
Published
• View Publication
• BIB
We study the maximum number $ex(n,e,H)$ of copies of a graph $H$ in graphs with given number of vertices and edges. We show that for any fixed graph $H$, $ex(n,e,H)$ is asymptotically realized by the quasi-clique provided that the edge density is sufficiently large. We also investigate a variant of this problem, when the host graph is bipartite.
Few $T$ copies in $H$-saturated graphs
Published
• View Publication
• BIB
A graph is $F$-saturated if it is $F$-free but the addition of any edge creates a copy of $F$. In this paper we study the quantity $\mathrm{sat}(n, H, F)$ which denotes the minimum number of copies of $H$ that an $F$-saturated graph on $n$ vertices may contain. This parameter is a natural saturation analogue of Alon and Shikhelman's generalized Turán problem, and letting $H = K_2$ recovers the well-studied saturation function. We provide a first investigation into this general function focusing on the cases where the host graph is either $K_s$ or $C_k$-saturated. Some representative interesting behavior is:
(a) For any natural number $m$, there are graphs $H$ and $F$ such that $\mathrm{sat}(n, H, F) = Θ(n^m)$.
(b) For many pairs $k$ and $l$, we show $\mathrm{sat}(n, C_l, C_k) = 0$. In particular, we prove that there exists a triangle-free $C_k$-saturated graph on $n$ vertices for any $k > 4$ and large enough $n$.
(c) $\mathrm{sat}(n, K_3, K_4) = n-2$, $\mathrm{sat}(n, C_4, K_4) \sim \frac{n^2}{2}$, and $\mathrm{sat}(n, C_6, K_5) \sim n^3$.
We discuss several intriguing problems which remain unsolved.
Critical groups of van Lint-Schrijver Cyclotomic Strongly Regular Graphs
Published
• View Publication
• BIB
The \emph{critical} group of a finite connected graph is an abelian group defined by the Smith normal form of its Laplacian. Let $q$ be a power of a prime and $H$ be a multiplicative subgroup of $K=\mathbb{F}_{q}$. By $\mathrm{Cay}(K,H)$ we denote the Cayley graph on the additive group of $K$ with `connection' set $H$. A strongly regular graph of the form $\mathrm{Cay}(K,H)$ is called a \emph{cyclotomic strongly regular graph}. Let $p$ and $\ell >2$ be primes such that $p$ is primitive $\pmod{\ell}$. We compute the \emph{critical} groups of a family of \emph{cyclotomic strongly regular graphs} for which $q=p^{(\ell-1)t}$ (with $t\in \mathbb{N}$) and $H$ is the unique multiplicative subgroup of order $k=\frac{q-1}{\ell}$. These graphs were first discovered by van Lint and Schrijver in \cite{VS}.
Power domination throttling
Published
• View Publication
• BIB
A power dominating set of a graph $G=(V,E)$ is a set $S\subset V$ that colors every vertex of $G$ according to the following rules: in the first timestep, every vertex in $N[S]$ becomes colored; in each subsequent timestep, every vertex which is the only non-colored neighbor of some colored vertex becomes colored. The power domination throttling number of $G$ is the minimum sum of the size of a power dominating set $S$ and the number of timesteps it takes $S$ to color the graph. In this paper, we determine the complexity of power domination throttling and give some tools for computing and bounding the power domination throttling number. Some of our results apply to very general variants of throttling and to other aspects of power domination.
A central limit theorem for almost local additive tree functionals
Published
• View Publication
• BIB
An additive functional of a rooted tree is a functional that can be calculated recursively as the sum of the values of the functional over the branches, plus a certain toll function. Janson recently proved a central limit theorem for additive functionals of conditioned Galton-Watson trees under the assumption that the toll function is local, i.e. only depends on a fixed neighbourhood of the root. We extend his result to functionals that are "almost local" in a certain sense, thus covering a wider range of functionals. The notion of almost local functional intuitively means that the toll function can be approximated well by considering only a neighbourhood of the root. Our main result is illustrated by several explicit examples including natural graph theoretic parameters such as the number of independent sets, the number of matchings, and the number of dominating sets. We also cover a functional stemming from a tree reduction process that was studied by Hackl, Heuberger, Kropf, and Prodinger.