graph
34665 papers tagged with this keyword
A construction for bipatite Turán numbers
We consider in detail the well-known family of graphs $G(q,t)$ that establish an asymptotic lower bound for Turán numbers $\mathrm{ex}(n,K_{2,t+1})$. We prove that $G(q,t)$ for some specific $q$ and $t$ also gives an asymptotic bound for $K_{3,3}$ and for some higher complete bipartite graphs as well. The asymptotic bounds we prove are the same as provided by the well-known Norm-graphs.
Extremal Numbers of Hypergraph Suspensions of Even Cycles
Published in European Journal of Combinatorics, Volume 118, 2024, 103935
• View Publication
• BIB
For fixed $k\ge 2$, determining the order of magnitude of the number of edges in an $n$-vertex bipartite graph not containing $C_{2k}$, the cycle of length $2k$, is a long-standing open problem. We consider an extension of this problem to triple systems. In particular, we prove that the maximum number of triples in an $n$-vertex triple system which does not contain a $C_6$ in the link of any vertex, has order of magnitude $n^{7/3}$. Additionally, we construct new families of dense $C_6$-free bipartite graphs with $n$ vertices and $n^{4/3}$ edges in order of magnitude.
On Unimodality of Independence Polynomials of Trees
An independent set in a graph is a set of pairwise non-adjacent vertices. The independence number $α{(G)}$ is the size of a maximum independent set in the graph $G$. The independence polynomial of a graph is the generating function for the sequence of numbers of independent sets of each size. In other words, the $k$-th coefficient of the independence polynomial equals the number of independent sets comprised of $k$ vertices. For instance, the degree of the independence polynomial of the graph $G$ is equal to $α{(G)}$. In 1987, Alavi, Malde, Schwenk, and Erd{ö}s conjectured that the independence polynomial of a tree is unimodal. In what follows, we provide support to this assertion considering trees with up to $20$ vertices. Moreover, we show that the corresponding independence polynomials are log-concave and, consequently, unimodal. The algorithm computing the independence polynomial of a given tree makes use of a database of non-isomorphic unlabeled trees to prevent repeated computations.
Restrained Italian domination in trees
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph. A subset $D$ of $V$ is a \textit{restrained dominating set} if every vertex in $V \setminus D$ is adjacent to a vertex in $D$ and to a vertex in $V \setminus D$. The \textit{restrained domination number}, denoted by $γ_r(G)$, is the smallest cardinality of a restrained dominating set of $G$. A function $f : V \rightarrow \{0, 1, 2\}$ is a \textit{restrained Italian dominating function} on $G$ if (i) for each vertex $v \in V$ for which $f(v)=0$, it holds that $\sum_{u \in N_G(v)} f(u) \geq 2$, (ii) the subgraph induced by $\{v \in V \mid f(v)=0 \}$ has no isolated vertices. The \textit{restrained Italian domination number}, denoted by $γ_{rI}(G)$, is the minimum weight taken over all restrained Italian dominating functions of $G$. It is known that $γ_r(G) \leq γ_{rI}(G) \leq 2γ_r(G)$ for any graph $G$. In this paper, we characterize the trees $T$ for which $γ_r(T) = γ_{rI}(T)$, and we also characterize the trees $T$ for which $γ_{rI}(T) = 2γ_r(T)$.
On the number of sum-free triplets of sets
Published
• View Publication
• BIB
We count the ordered sum-free triplets of subsets in the group $\mathbb{Z}/p\mathbb{Z}$, i.e., the triplets $(A,B,C)$ of sets $A,B,C \subset \mathbb{Z}/p\mathbb{Z}$ for which the equation $a+b=c$ has no solution with $a\in A$, $b \in B$ and $c \in C$. Our main theorem improves on a recent result by Semchankau, Shabanov, and Shkredov using a different and simpler method. Our proof relates previous results on the number of independent sets of regular graphs by Kahn, Perarnau and Perkins, and Csikvári to produce explicit estimates on smaller order terms. We also obtain estimates for the number of sum-free triplets of subsets in a general abelian group.
Subgraph complementation and minimum rank
Published in The Electronic Journal of Combinatorics 29(1) (2022) P1.38
• View Publication
• BIB
Any finite simple graph $G = (V,E)$ can be represented by a collection $\mathscr{C}$ of subsets of $V$ such that $uv\in E$ if and only if $u$ and $v$ appear together in an odd number of sets in $\mathscr{C}$. Let $c_2(G)$ denote the minimum cardinality of such a collection. This invariant is equivalent to the minimum dimension of a faithful orthogonal representation of $G$ over $\mathbb{F}_2$ and is closely connected to the minimum rank of $G$. We show that $c_2(G) = \operatorname{mr}(G,\mathbb{F}_2)$ when $\operatorname{mr}(G,\mathbb{F}_2)$ is odd, or when $G$ is a forest. Otherwise, $\operatorname{mr}(G,\mathbb{F}_2)\leq c_2(G)\leq \operatorname{mr}(G,\mathbb{F}_2)+1$. Furthermore, we show that the following are equivalent for any graph $G$ with at least one edge: i. $c_2(G)=\operatorname{mr}(G,\mathbb{F}_2)+1$; ii. the adjacency matrix of $G$ is the unique matrix of rank $\operatorname{mr}(G,\mathbb{F}_2)$ which fits $G$ over $\mathbb{F}_2$; iii. there is a minimum collection $\mathscr{C}$ as described in which every vertex appears an even number of times; and iv. for every component $G'$ of $G$, $c_2(G') = \operatorname{mr}(G',\mathbb{F}_2) + 1$. We also show that, for these graphs, $\operatorname{mr}(G,\mathbb{F}_2)$ is twice the minimum number of tricliques whose symmetric difference of edge sets is $E$. Additionally, we provide a set of upper bounds on $c_2(G)$ in terms of the order, size, and vertex cover number of $G$. Finally, we show that the class of graphs with $c_2(G)\leq k$ is hereditary and finitely defined. For odd $k$, the sets of minimal forbidden induced subgraphs are the same as those for the property $\operatorname{mr}(G,\mathbb{F}_2)\leq k$, and we exhibit this set for $c_2(G)\leq2$.
Minimal graphs with disjoint dominating and total dominating sets
Published
• View Publication
• BIB
A graph $G$ is a DTDP-graph if it has a pair $(D,T)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $T$ is a total dominating set of $G$. Such graphs were studied in a number of research papers. In this paper we study further properties of DTDP-graphs and, in particular, we characterize minimal DTDP-gaphs without loops.
Fractional cycle decompositions in hypergraphs
Published
• View Publication
• BIB
We prove that for any integer $k\geq 2$ and $\varepsilon>0$, there is an integer $\ell_0\geq 1$ such that any $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $(1/2+\varepsilon)n$ has a fractional decomposition into tight cycles of length $\ell$ ($\ell$-cycles for short) whenever $\ell\geq \ell_0$ and $n$ is large in terms of $\ell$. This is essentially tight.
This immediately yields also approximate integral decompositions for these hypergraphs into $\ell$-cycles. Moreover, for graphs this even guarantees integral decompositions into $\ell$-cycles and solves a problem posed by Glock, Kühn and Osthus. For our proof, we introduce a new method for finding a set of $\ell$-cycles such that every edge is contained in roughly the same number of $\ell$-cycles from this set by exploiting that certain Markov chains are rapidly mixing.
Norton algebras of the Hamming Graphs via linear characters
Published
• View Publication
• BIB
The Norton product is defined on each eigenspace of a distance regular graph by the orthogonal projection of the entry-wise product. The resulting algebra, known as the Norton algebra, is a commutative nonassociative algebra that is useful in group theory due to its interesting automorphism group. We provide a formula for the Norton product on each eigenspace of a Hamming graph using linear characters. We construct a large subgroup of automorphisms of the Norton algebra of a Hamming graph and completely describe the automorphism group in some cases. We also show that the Norton product on each eigenspace of a Hamming graph is as nonassociative as possible, except for some special cases in which it is either associative or equally as nonassociative as the so-called double minus operation previously studied by the author, Mickey, and Xu. Our results restrict to the hypercubes and extend to the halved and/or folded cubes, the bilinear forms graphs, and more generally, all Cayley graphs of finite abelian groups.
Constructions stemming from non-separating planar graphs and their Colin de Verdière invariant
Published in Algebr. Geom. Topol. 24 (2024) 555-568
• View Publication
• BIB
A planar graph $G$ is said to be non-separating if there exists an embedding of $G$ in $\mathbb{R}^2$ such that for any cycle $\mathcal{C}\subset G$, all vertices of $G\setminus \mathcal{C}$ are within the same connected component of $\mathbb{R}^2\setminus \mathcal{C}$. Dehkordi and Farr classified the non-separating planar graphs as either outerplanar graphs, subgraphs of wheel graphs, or subgraphs of elongated triangular prisms. We use maximal non-separating planar graphs to construct examples of maximal linkless graphs and maximal knotless graphs. We show that for a maximal non-separating planar graph $G$ with $n\ge 7$ vertices, the complement $cG$ is $(n-7)-$apex. This implies that the Colin de Verdière invariant of the complement $cG$ satisfies $μ(cG) \le n-4$. We show this to be an equality. As a consequence, the conjecture of Kotlov, Lovàsz, and Vempala that for a simple graph $G$, $μ(G)+μ(cG)\ge n-2$ is true for 2-apex graphs $G$ for which $G-\{u,v\}$ is planar non-separating. It also follows that complements of non-separating planar graphs of order at least nine are intrinsically linked. We prove that the complements of non-separating planar graphs $G$ of order at least ten are intrinsically knotted.
Counting paths, cycles and blow-ups in planar graphs
Published
• View Publication
• BIB
For a planar graph $H$, let $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. In this paper, we prove that $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_7)\sim{4\over 27}n^4$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_6)\sim(n/3)^3$, $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_8)\sim(n/4)^4$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,K_4\{1\})\sim(n/6)^6$, where $K_4\{1\}$ is the $1$-subdivision of $K_4$. In addition, we obtain significantly improved upper bounds on $\operatorname{\mathbf{N}}_{\mathcal P}(n,P_{2m+1})$ and $\operatorname{\mathbf{N}}_{\mathcal P}(n,C_{2m})$ for $m\geq 4$. For a wide class of graphs $H$, the key technique developed in this paper allows us to bound $\operatorname{\mathbf{N}}_{\mathcal P}(n,H)$ in terms of an optimization problem over weighted graphs.
Loose cores and cycles in random hypergraphs
Published
• View Publication
• BIB
Inspired by the study of loose cycles in hypergraphs, we define the \emph{loose core} in hypergraphs as a structure which mirrors the close relationship between cycles and $2$-cores in graphs. We prove that in the $r$-uniform binomial random hypergraph $H^r(n,p)$, the order of the loose core undergoes a phase transition at a certain critical threshold and determine this order, as well as the number of edges, asymptotically in the subcritical and supercritical regimes.
Our main tool is an algorithm called CoreConstruct, which enables us to analyse a peeling process for the loose core. By analysing this algorithm we determine the asymptotic degree distribution of vertices in the loose core and in particular how many vertices and edges the loose core contains. As a corollary we obtain an improved upper bound on the length of the longest loose cycle in $H^r(n,p)$.
Clique factors in pseudorandom graphs
Published
• View Publication
• BIB
An $n$-vertex graph is said to to be $(p,β)$-bijumbled if for any vertex sets $A,B\subseteq V(G)$, we have \[e(A,B)=p|A||B|\pm β\sqrt{|A||B|}.\]
We prove that for any $3\leq r\in \mathbb{N}$ and $c>0$ there exists an $\varepsilon>0$ such that any $n$-vertex $(p,β)$-bijumbled graph with $n\in r \mathbb{N}$, $δ(G)\geq cpn$ and $β\leq \varepsilon p^{r-1}n$, contains a $K_r$-factor. This implies a corresponding result for the stronger pseudorandom notion of $(n,d,λ)$-graphs.
For the case of triangle factors, that is when $r=3$, this result resolves a conjecture of Krivelevich, Sudakov and Szabó from 2004 and it is tight due to a pseudorandom triangle-free construction of Alon. In fact, in this case even more is true: as a corollary to this result and a result of Han, Kohayakawa, Person and the author, we can conclude that the same condition of $β=o(p^2n)$ actually guarantees that a $(p,β)$-bijumbled graph $G$ contains every graph on $n$ vertices with maximum degree at most 2.
Two conjectured strengthenings of Turán's theorem
Published
• View Publication
• BIB
We investigate two conjectured spectral graph theoretic strengthenings of Turán's theorem. Let $μ_1 \ge \ldots \ge μ_n$ denote the eigenvalues of a graph $G$ with $n$ vertices, $m$ edges and clique number $ω(G)$. The concise version of Turán's theorem is that $n/(n - d)$ is a lower bound for the clique number $ω(G)$, where $d$ is the average degree. Our first conjecture is that $d$ can be replaced in this bound with $\sqrt{s^+}$, where $s^+$ is the sum of the squares of the positive eigenvalues. We prove this conjecture for triangle-free, weakly perfect and Kneser graphs and for almost all graphs. We have also used various software tools to search for a counter-example. Nikiforov proved a spectral version of Turán's theorem that \[ μ_1^2 \le \frac{2m(ω(G) - 1)}{ω(G)}, \] and Bollobás and Nikiforov conjectured that for $G \not = K_n$ \[ μ_1^2 + μ_2^2 \le \frac{2m(ω(G) - 1)}{ω(G)}. \] For our second conjecture, we propose that for all graphs $(μ_1^2 + μ_2^2)$ in this inequality can be replaced by the sum of the squares of the $ω(G)$ largest eigenvalues, provided they are positive. We prove the conjecture for weakly perfect, Kneser, and classes of strongly regular graphs. We also provide experimental evidence and describe how the bound can be applied. Liu and Ning published a wide-ranging paper entitled ``Unsolved Problems in spectral graph theory'', and these two conjectures were placed second and fourth in their list of such problems.
Algorithmic aspects of arithmetical structures
Published in Linear Algebra and its Applications 640 (2022) 191-208
• View Publication
• BIB
Arithmetical structures on graphs were first introduced in \cite{Lorenzini89}. Later in \cite{arithmetical} they were further studied in the setting of square non-negative integer matrices. In both cases, necessary and sufficient conditions for the finiteness of the set of arithmetical structures were given.
More precisely, an arithmetical structure on a non-negative integer matrix $L$ with zero diagonal is a pair $(\mathbf{d},\mathbf{r})\in \mathbb{N}_+^n\times \mathbb{N}_+^n$ such that \[ (\textrm{Diag}(\mathbf{d})-L)\mathbf{r}^t=\mathbf{0}^t\text{ and }\gcd(r_1,\ldots,r_n)=1. \] Thus, arithmetical structures on $L$ are solutions of the polynomial Diophantine equation \[ f_L(X):=\det(\text{Diag}(X)-L)=0. \] Therefore, it is of interest to ask for an algorithm that compute them.
We present an algorithm that computes arithmetical structures on a square integer non-negative matrix $L$ with zero diagonal. In order to do this we introduce a new class of Z-matrices, which we call quasi $M$-matrices.
Maximal knotless graphs
Published in Algebr. Geom. Topol. 23 (2023) 1831-1848
• View Publication
• BIB
A graph is maximal knotless if it is edge maximal for the property of knotless embedding in $R^3$. We show that such a graph has at least $\frac74 |V|$ edges, and construct an infinite family of maximal knotless graphs with $|E| < \frac52|V|$. With the exception of $|E| = 22$, we show that for any $|E| \geq 20$ there exists a maximal knotless graph of size $|E|$. We classify the maximal knotless graphs through nine vertices and 20 edges. We determine which of these maxnik graphs are the clique sum of smaller graphs and construct an infinite family of maxnik graphs that are not clique sums.
Characterizing extremal graphs for open neighbourhood location-domination
Published in Discrete Applied Mathematics 302:76-79, 2021
• View Publication
• BIB
An open neighbourhood locating-dominating set is a set $S$ of vertices of a graph $G$ such that each vertex of $G$ has a neighbour in $S$, and for any two vertices $u,v$ of $G$, there is at least one vertex in $S$ that is a neighbour of exactly one of $u$ and $v$. We characterize those graphs whose only open neighbourhood locating-dominating set is the whole set of vertices. More precisely, we prove that these graphs are exactly the graphs all whose connected components are half-graphs (a half-graph is a special bipartite graph with both parts of the same size, where each part can be ordered so that the open neighbourhoods of consecutive vertices differ by exactly one vertex). This corrects a wrong characterization from the literature.
Pandemic Spread in Communities via Random Graphs
Published
• View Publication
• BIB
Working in the multi-type Galton-Watson branching-process framework we analyse the spread of a pandemic via a general multi-type random contact graph. Our model consists of several communities, and takes, as input, parameters that outline the contacts between individuals in distinct communities. Given these parameters, we determine whether there will be an outbreak and if yes, we calculate the size of the giant connected component of the graph, thereby, determining the fraction of the population of each type that would be infected before it ends. We show that the pandemic spread has a natural evolution direction given by the Perron-Frobenius eigenvector of a matrix whose entries encode the average number of individuals of one type expected to be infected by an individual of another type. The corresponding eigenvalue is the basic reproduction number of the pandemic. We perform numerical simulations that compare homogeneous and heterogeneous spread graphs and quantify the difference between them. We elaborate on the difference between herd immunity and the end of the pandemic and the effect of countermeasures on the fraction of infected population.
Unusually large components in near-critical Erdős-Rényi graphs via ballot theorems
Published
• View Publication
• BIB
We consider the near-critical Erdős-Rényi random graph $G(n,p)$ and provide a new probabilistic proof of the fact that, when $p$ is of the form $p=p(n)=1/n+λ/n^{4/3}$ and $A$ is large, \[\mathbb{P}(|\mathcal{C}_{\max}|>An^{2/3})\asymp A^{-3/2}e^{-\frac{A^3}{8}+\frac{λA^2}{2}-\frac{λ^2A}{2}}\] where $\mathcal{C}_{\max}$ is the largest connected component of the graph. Our result allows $A$ and $λ$ to depend on $n$. While this result is already known, our proof relies only on conceptual and adaptable tools such as ballot theorems, whereas the existing proof relies on a combinatorial formula specific to Erdős-Rényi graphs, together with analytic estimates.
Independent sets in hypergraphs omitting an intersection
Published
• View Publication
• BIB
A $k$-uniform hypergraph with $n$ vertices is an $(n,k,\ell)$-omitting system if it does not contain two edges whose intersection has size exactly $\ell$. If in addition it does not contain two edges whose intersection has size greater than $\ell$, then it is an $(n,k,\ell)$-system. Rödl and Šiňajová proved a lower bound for the independence number of $(n,k,\ell)$-systems that is sharp in order of magnitude for fixed $2 \le \ell \le k-1$. We consider the same question for the larger class of $(n,k,\ell)$-omitting systems.
For $k\le 2\ell+1$, we believe that the behavior is similar to the case of $(n,k,\ell)$-systems and prove a nontrivial lower bound for the first open case $\ell=k-2$. For $k>2\ell+1$ we give new lower and upper bounds which show that the minimum independence number of $(n,k,\ell)$-omitting systems has a very different behavior than for $(n,k,\ell)$-systems. Our lower bound for $\ell=k-2$ uses some adaptations of the random greedy independent set algorithm, and our upper bounds (constructions) for $k> 2\ell+1$ are obtained from some pseudorandom graphs.
We also prove some related results where we forbid more than two edges with a prescribed common intersection size and this leads to some applications in Ramsey theory. For example, we obtain good bounds for the Ramsey number $r_{k}(F^{k},t)$, where $F^{k}$ is the $k$-uniform Fan. Here the behavior is quite different than the case $k=2$ which reduces to the classical graph Ramsey number $r(3,t)$.