arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

34665 papers tagged with this keyword
2020-06-12
A BK inequality for random matchings
Let $G=(S,T,E)$ be a bipartite graph. For a matching $M$ of $G$, let $V(M)$ be the set of vertices covered by $M$, and let $B(M)$ be the symmetric difference of $V(M)$ and $S$. We prove that if $M$ is a uniform random matching of $G$, then $B(M)$ satisfies the BK inequality for increasing events.
2020-06-11
On a Conjecture for a Hypergraph Edge Coloring Problem
Published • View PublicationBIB
Let $H =(\mathcal{M} \cup \mathcal{J} ,E \cup \mathcal{E})$ be a hypergraph with two hypervertices $\mathcal{G}_1$ and $\mathcal{G}_2$ where $\mathcal{M} =\mathcal{G}_{1} \cup \mathcal{G}_{2}$ and $\mathcal{G}_{1} \cap \mathcal{G}_{2} =\varnothing $. An edge $\{h ,j\} \in E$ in a bi-partite multigraph graph $(\mathcal{M} \cup \mathcal{J} ,E)$ has an integer multiplicity $b_{j h}$, and a hyperedge $\{\mathcal{G}_{\ell } ,j\} \in \mathcal{E}$, $\ell=1,2$, has an integer multiplicity $a_{j \ell }$. It has been conjectured in [5] that $χ\prime (H) =\lceil χ\prime _{f} (H)\rceil $, where $χ\prime (H)$ and $χ\prime _{f} (H)$ are the edge chromatic number of $H$ and the fractional edge chromatic number of $H$ respectively. Motivation to study this hyperedge coloring conjecture comes from the University timetabling, and open shop scheduling with multiprocessors. We prove this conjecture in this paper.
2020-06-11 v3
The Spectral Norm of Random Lifts of Matrices
Published • View PublicationBIB
We study the spectral norm of random lifts of matrices. Given an $n\times n$ symmetric matrix $A$, and a centered distribution $π$ on $k\times k\ (k\ge 2)$ symmetric matrices with spectral norm at most $1$, let the matrix random lift $A^{(k,π)}$ be the random symmetric $kn\times kn$ matrix $(A_{ij}X_{ij})_{1\le i < j \le n}$, where $X_{ij}$ are independent samples from $π$. We prove that $$\mathbb{E} \|A^{(k,π)}\|\lesssim \max_{i}\sqrt{\sum_j A_{ij}^2}+\max_{ij}|A_{ij}|\sqrt{\log (kn)}.$$ This result can be viewed as an extension of existing spectral bounds on random matrices with independent entries, providing further instances where the multiplicative $\sqrt{\log n}$ factor in the Non-Commutative Khintchine inequality can be removed. As a direct application of our result, we prove an upper bound of $2(1+ε)\sqrtΔ+O(\sqrt{\log(kn)})$ on the new eigenvalues for random $k$-lifts of a fixed $G = (V,E)$ with $|V| = n$ and maximum degree $Δ$, compared to the previous result of $O(\sqrt{Δ\log(kn)})$ by Oliveira and the recent breakthrough by Bordenave and Collins which gives $2\sqrt{Δ-1} + o(1)$ as $k\rightarrow\infty$ for $Δ$-regular graph $G$.
Upper Bounding Rainbow Connection Number by Forest Number
Published • View PublicationBIB
A path in an edge-colored graph is rainbow if no two edges of it are colored the same, and the graph is rainbow-connected if there is a rainbow path between each pair of its vertices. The minimum number of colors needed to rainbow-connect a graph $G$ is the rainbow connection number of $G$, denoted by $\text{rc}(G)$. A simple way to rainbow-connect a graph $G$ is to color the edges of a spanning tree with distinct colors and then re-use any of these colors to color the remaining edges of $G$. This proves that $\text{rc}(G) \le |V(G)|-1$. We ask whether there is a stronger connection between tree-like structures and rainbow coloring than that is implied by the above trivial argument. For instance, is it possible to find an upper bound of $t(G) -1$ for $\text{rc}(G)$, where $t(G)$ is the number of vertices in the largest induced tree of $G$? The answer turns out to be negative, as there are counter-examples that show that even $c\cdot t(G)$ is not an upper bound for $\text{rc}(G))$ for any given constant $c$. In this work we show that if we consider the forest number $f(G)$, the number of vertices in a maximum induced forest of $G$, instead of $t(G)$, then surprisingly we do get an upper bound. More specifically, we prove that $\text{rc}(G) \leq f(G) + 2$. Our result indicates a stronger connection between rainbow connection and tree-like structures than that was suggested by the simple spanning tree based upper bound.
2020-06-11 v2
Binomial edge ideals and bounds for their regularity
Published in J. Algebraic Combin. 53 (2021), no. 3, 729-742 • View PublicationBIB
Let $G$ be a simple graph on $n$ vertices and $J_G$ denote the corresponding binomial edge ideal in $S = K[x_1, \ldots, x_n, y_1,\ldots, y_n].$ We prove that the Castelnuovo-Mumford regularity of $J_G$ is bounded above by $c(G)+1$ when $G$ is a quasi-block graph or semi-block graph. We give another proof of Saeedi Madani-Kiani regularity upper bound conjecture for chordal graphs. We obtain the regularity of binomial edge ideals of Jahangir graphs. Later, we establish a sufficient condition for Hibi-Matsuda conjecture to be true.
Spherical two-distance sets and eigenvalues of signed graphs
Published in Combinatorica, 43 (2023), 203--232 • View PublicationBIB
We study the problem of determining the maximum size of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Let $N_{α,β}(d)$ denote the maximum number of unit vectors in $\mathbb R^d$ where all pairwise inner products lie in $\{α,β\}$. For fixed $-1\leqβ<0\leqα<1$, we propose a conjecture for the limit of $N_{α,β}(d)/d$ as $d \to \infty$ in terms of eigenvalue multiplicities of signed graphs. We determine this limit when $α+2β<0$ or $(1-α)/(α-β) \in \{1, \sqrt{2}, \sqrt{3}\}$. Our work builds on our recent resolution of the problem in the case of $α= -β$ (corresponding to equiangular lines). It is the first determination of $\lim_{d \to \infty} N_{α,β}(d)/d$ for any nontrivial fixed values of $α$ and $β$ outside of the equiangular lines setting.
2020-06-11
Bounds on the Ricci curvature and solutions to the Einstein equations for weighted graphs
This is a preliminary study of the equation of motion of Euclidean classical gravity on a graph, based on the Lin-Lu-Yau Ricci curvature on graphs. We observe that the constant edge weights configuration gives the unique solution on an infinite tree w.r.t. the asymptotically constant boundary condition. We study the minimum and maximum of the action w.r.t. certain boundary conditions, on several types of graphs of interest. We also exhibit a new class of solutions to the equations of motion on the infinite regular tree.
2020-06-11 v2
Quasi-independence models with rational maximum likelihood estimator
Published • View PublicationBIB
We classify the two-way independence quasi-independence models (or independence models with structural zeros) that have rational maximum likelihood estimators, or MLEs. We give a necessary and sufficient condition on the bipartite graph associated to the model for the MLE to be rational. In this case, we give an explicit formula for the MLE in terms of combinatorial features of this graph. We also use the Horn uniformization to show that for general log-linear models $\mathcal{M}$ with rational MLE, any model obtained by restricting to a face of the cone of sufficient statistics of $\mathcal{M}$ also has rational MLE.
Threshold for weak saturation stability
Published • View PublicationBIB
We study the weak $K_s$-saturation number of the Erdős--Rényi random graph $\mathbbmsl{G}(n, p)$, denoted by $\mathrm{wsat}(\mathbbmsl{G}(n, p), K_s)$, where $K_s$ is the complete graph on $s$ vertices. Korándi and Sudakov in 2017 proved that the weak $K_s$-saturation number of $K_n$ is stable, in the sense that it remains the same after removing edges with constant probability. In this paper, we prove that there exists a threshold for this stability property and give upper and lower bounds on the threshold. This generalizes the result of Korándi and Sudakov. A general upper bound for $\mathrm{wsat}(\mathbbmsl{G}(n, p), K_s)$ is also provided.
On the Turán number of the blow-up of the hexagon
Published • View PublicationBIB
The $r$-blowup of a graph $F$, denoted by $F[r]$, is the graph obtained by replacing the vertices and edges of $F$ with independent sets of size $r$ and copies of $K_{r,r}$, respectively. For bipartite graphs $F$, very little is known about the order of magnitude of the Turán number of $F[r]$. In this paper we prove that $\mathrm{ex}(n,C_6[2])=O(n^{5/3})$ and, more generally, for any positive integer $t$, $\mathrm{ex}(n,θ_{3,t}[2])=O(n^{5/3})$. This is tight when $t$ is sufficiently large.
2020-06-10 v3
Treewidth versus clique number. I. Graph classes with a forbidden structure
Published • View PublicationBIB
Treewidth is an important graph invariant, relevant for both structural and algorithmic reasons. A necessary condition for a graph class to have bounded treewidth is the absence of large cliques. We study graph classes closed under taking induced subgraphs in which this condition is also sufficient, which we call $(tw,ω)$-bounded. Such graph classes are known to have useful algorithmic applications related to variants of the clique and $k$-coloring problems. We consider six well-known graph containment relations: the minor, topological minor, subgraph, induced minor, induced topological minor, and induced subgraph relations. For each of them, we give a complete characterization of the graphs $H$ for which the class of graphs excluding $H$ is $(tw,ω)$-bounded. Our results yield an infinite family of $χ$-bounded induced-minor-closed graph classes and imply that the class of $1$-perfectly orientable graphs is $(tw,ω)$-bounded, leading to linear-time algorithms for $k$-coloring $1$-perfectly orientable graphs for every fixed~$k$. This answers a question of Bre\v sar, Hartinger, Kos, and Milani{\v c} from 2018 and one of Beisegel, Chudnovsky, Gurvich, Milani{\v c}, and Servatius from 2019, respectively. We also reveal some further algorithmic implications of $(tw,ω)$-boundedness related to list $k$-coloring and clique problems. In addition, we propose a question about the complexity of the maximum weight independent set problem in $(tw,ω)$-bounded graph classes and prove that the problem is polynomial-time solvable in every class of graphs excluding a fixed star as an induced minor.
2020-06-10 v2
Probabilities of first order sentences on sparse random relational structures: An application to definability on random CNF formulas
Published • View PublicationBIB
We extend the convergence law for sparse random graphs proven by Lynch to arbitrary relational languages. We consider a finite relational vocabulary $σ$ and a first order theory $T$ for $σ$ composed of symmetry and anti-reflexivity axioms. We define a binomial random model of finite $σ$-structures that satisfy $T$ and show that first order properties have well defined asymptotic probabilities when the expected number of tuples satisfying each relation in $σ$ is linear. It is also shown that these limit probabilities are well-behaved with respect to several parameters that represent the density of tuples in each relation $R$ in the vocabulary $σ$. An application of these results to the problem of random Boolean satisfiability is presented. We show that in a random $k$-CNF formula on $n$ variables, where each possible clause occurs with probability $\sim c/n^{k-1}$, independently any first order property of $k$-CNF formulas that implies unsatisfiability does almost surely not hold as $n$ tends to infinity.
2020-06-10
A note on the Turán number of disjoint union of wheels
Published • View PublicationBIB
The Turán number of a graph $H$, $\text{ex}(n,H)$, is the maximum number of edges in a graph on $n$ vertices which does not have $H$ as a subgraph. A wheel $W_n$ is an $n$-vertex graph formed by connecting a single vertex to all vertices of a cycle $C_{n-1}$. Let $mW_{2k+1}$ denote the $m$ vertex-disjoint copies of $W_{2k+1}$. For sufficiently large $n$, we determine the Turán number and all extremal graphs for $mW_{2k+1}$. We also provide the Turán number and all extremal graphs for $W^{h}:=\bigcup\limits^m_{i=1}W_{k_i}$ when $n$ is sufficiently large, where the number of even wheels is $h$ and $h>0$.
2020-06-09
The Norton algebra of a $Q$-polynomial distance-regular graph
Published • View PublicationBIB
We consider the Norton algebra associated with a $Q$-polynomial primitive idempotent of the adjacency matrix for a distance-regular graph. We obtain a formula for the Norton algebra product that we find attractive.
2020-06-09 v3
Regular sets in Cayley graphs
Published • View PublicationBIB
In a graph $Γ$ with vertex set $V$, a subset $C$ of $V$ is called an $(a,b)$-perfect set if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$, where $a$ and $b$ are nonnegative integers. In the literature $(0,1)$-perfect sets are known as perfect codes and $(1,1)$-perfect sets are known as total perfect codes. In this paper we prove that, for any finite group $G$, if a non-trivial normal subgroup $H$ of $G$ is a perfect code in some Cayley graph of $G$, then it is also an $(a,b)$-perfect set in some Cayley graph of $G$ for any pair of integers $a$ and $b$ with $0\leqslant a\leqslant|H|-1$ and $0\leqslant b\leqslant |H|$ such that $\gcd(2,|H|-1)$ divides $a$. A similar result involving total perfect codes is also proved in the paper.
2020-06-09
A note on dense bipartite induced subgraphs
This exposition contains a short and streamlined proof of the recent result of Kwan, Letzter, Sudakov and Tran that every triangle-free graph with minimum degree $d$ contains an induced bipartite subgraph with average degree $Ω(\ln d/\ln\ln d)$.
2020-06-09
On the Colin de Verdiere graph number and penny graphs
Published • View PublicationBIB
The Colin de Verdiere number of graph G, denoted by μ(G), is a spectral invariant of G that is related to some of its topological properties. For example, μ(G) \leq 3 iff G is planar. A penny graph is the contact graph of equal-radii disks with disjoint interiors in the plane. In this note we prove lower bounds on μ(G) when the complement \bar{G} is a penny graph.
The Max k-Cut Game: On Stable Optimal Colorings
Published • View PublicationBIB
We study the max k-cut game on an undirected and unweighted graph in order to find out whether an optimal solution is also a strong equilibrium. While we do fail to show that, by proving an alternate formula for computing the cut value difference for a strong deviation, we show that optimal solutions are 7-stable equilibria. Furthermore, we prove some properties of minimal subsets with respect to a strong deviation, showing that each of their nodes will deviate towards the color of one of their neighbors and that those subsets induce connected subgraphs.
2020-06-09 v2
On the largest real root of the independence polynomial of a unicyclic graph
Published • View PublicationBIB
The independence polynomial of a graph $G$, denoted $I(G,x)$, is the generating polynomial for the number of independent sets of each size. The roots of $I(G,x)$ are called the \textit{independence roots} of $G$. It is known that for every graph $G$, the independence root of smallest modulus, denoted $ξ(G)$, is real. The relation $\preceq$ on the set of all graphs is defined as follows, $H\preceq G$ if and only if $I(H,x)\ge I(G,x)\text{ for all }x\in [ξ(G),0].$ We find the maximum and minimum connected unicyclic and connected well-covered unicyclic graphs of a given order with respect to $\preceq$. This extends 2013 work by Csikvári where the maximum and minimum trees of a given order were determined and also answers an open question posed in the same work. Corollaries of our results give the graphs that minimize and maximize $ξ(G)$ among all connected (well-covered) unicyclic graphs. We also answer more related open questions posed by Oboudi in 2018 and disprove a conjecture due to Levit and Mandrescu from 2008.
$K_{r+1}$-saturated graphs with small spectral radius
For a graph $H$, a graph $G$ is $H$-saturated if $G$ does not contain $H$ as a subgraph but for any $e \in E(\overline{G})$, $G+e$ contains $H$. In this note, we prove a sharp lower bound for the number of paths and walks on length $2$ in $n$-vertex $K_{r+1}$-saturated graphs. We then use this bound to give a lower bound on the spectral radii of such graphs which is asymptotically tight for each fixed $r$ and $n\to\infty$.