graph
35396 papers tagged with this keyword
Bernoulli Correlations and Cut Polytopes
Published
• View Publication
• BIB
Given $n$ symmetric Bernoulli variables, what can be said about their correlation matrix viewed as a vector? We show that the set of those vectors $R(\mathcal{B}_n)$ is a polytope and identify its vertices. Those extreme points correspond to correlation vectors associated to the discrete uniform distributions on diagonals of the cube $[0,1]^n$. We also show that the polytope is affinely isomorphic to a well-known cut polytope ${\rm CUT}(n)$ which is defined as a convex hull of the cut vectors in a complete graph with vertex set $\{1,\ldots,n\}$. The isomorphism is obtained explicitly as $R(\mathcal{B}_n)= {\mathbf{1}}-2~{\rm CUT}(n)$. As a corollary of this work, it is straightforward using linear programming to determine if a particular correlation matrix is realizable or not. Furthermore, a sampling method for multivariate symmetric Bernoullis with given correlation is obtained. In some cases the method can also be used for general, not exclusively Bernoulli, marginals.
Maximal Planar Subgraphs of Fixed Girth in Random Graphs
In 1991, Bollobás and Frieze showed that the threshold for $G_{n,p}$ to contain a spanning maximal planar subgraph is very close to $p = n^{-1/3}$. In this paper, we compute similar threshold ranges for $G_{n,p}$ to contain a maximal bipartite planar subgraph and for $G_{n,p}$ to contain a maximal planar subgraph of fixed girth $g$.
Snarks with special spanning trees
Published
• View Publication
• BIB
Let $G$ be a cubic graph which has a decomposition into a spanning tree $T$ and a $2$-regular subgraph $C$, i.e. $E(T) \cup E(C) = E(G)$ and $E(T) \cap E(C) = \emptyset$. We provide an answer to the following question: which lengths can the cycles of $C$ have if $G$ is a snark? Note that $T$ is a hist (i.e. a spanning tree without a vertex of degree two) and that every cubic graph with a hist has the above decomposition.
$H$-free subgraphs of dense graphs maximizing the number of cliques and their blow-ups
Published
• View Publication
• BIB
We consider the structure of $H$-free subgraphs of graphs with high minimal degree. We prove that for every $k>m$ there exists an $ε:=ε(k,m)>0$ so that the following holds. For every graph $H$ with chromatic number $k$ from which one can delete an edge and reduce the chromatic number, and for every graph $G$ on $n>n_0(H)$ vertices in which all degrees are at least $(1-ε)n$, any subgraph of $G$ which is $H$-free and contains the maximum number of copies of the complete graph $K_m$ is $(k-1)$-colorable.
We also consider several extensions for the case of a general forbidden graph $H$ of a given chromatic number, and for subgraphs maximizing the number of copies of balanced blowups of complete graphs.
Recognizing hyperelliptic graphs in polynomial time
Published
• View Publication
• BIB
Recently, a new set of multigraph parameters was defined, called "gonalities". Gonality bears some similarity to treewidth, and is a relevant graph parameter for problems in number theory and multigraph algorithms. Multigraphs of gonality 1 are trees. We consider so-called "hyperelliptic graphs" (multigraphs of gonality 2) and provide a safe and complete sets of reduction rules for such multigraphs, showing that for three of the flavors of gonality, we can recognize hyperelliptic graphs in O(n log n+m) time, where n is the number of vertices and m the number of edges of the multigraph.
On transitive designs and strongly regular graphs constructed from Mathieu group $M_{11}$
In this paper we construct structures from Mathieu group $M_{11}$. We classify transitive $t$-designs with 11, 12 and 22 points admitting a transitive action of Mathieu group $M_{11}$. Thereby we proved the existence of designs with parameters 3-(22,7,18) and found first simple designs with parameters 4-(11,5,6) and 5-(12,6,6). Additionally, we proved the existence of $2$-designs with certain parameters having 55 and 66 points. Furthermore, we classified strongly regular graphs on at most 450 vertices admitting a transitive action of the Mathieu group $M_{11}$.
Strongly regular Cayley graphs from partitions of subdifference sets of the Singer difference sets
Published
• View Publication
• BIB
In this paper, we give a new lifting construction of "hyperbolic" type of strongly regular Cayley graphs. Also we give new constructions of strongly regular Cayley graphs over the additive groups of finite fields based on partitions of subdifference sets of the Singer difference sets. Our results unify some recent constructions of strongly regular Cayley graphs related to $m$-ovoids and $i$-tight sets in finite geometry. Furthermore, some of the strongly regular Cayley graphs obtained in this paper are new or nonisomorphic to known strongly regular graphs with the same parameters.
On the Linear Extension Complexity of Stable Set Polytopes for Perfect Graphs
Published
• View Publication
• BIB
We study the linear extension complexity of stable set polytopes of perfect graphs. We make use of known structural results permitting to decompose perfect graphs into basic perfect graphs by means of two graph operations: 2-join and skew partitions. Exploiting the link between extension complexity and the nonnegative rank of an associated slack matrix, we investigate the behaviour of the extension complexity under these graph operations. We show bounds for the extension complexity of the stable set polytope of a perfect graph $G$ depending linearly on the size of $G$ and involving the depth of a decomposition tree of $G$ in terms of basic perfect graphs.
Intersecting families, cross-intersecting families, and a proof of a conjecture of Feghali, Johnson and Thomas
Published
• View Publication
• BIB
A family $\mathcal{A}$ of sets is said to be intersecting if every two sets in $\mathcal{A}$ intersect. Two families $\mathcal{A}$ and $\mathcal{B}$ are said to be cross-intersecting if each set in $\mathcal{A}$ intersects each set in $\mathcal{B}$. For a positive integer $n$, let $[n] = \{1, \dots, n\}$ and $\mathcal{S}_n = \{A \subseteq [n] \colon 1 \in A\}$. In this note, we extend the Erdős-Ko-Rado Theorem by showing that if $\mathcal{A}$ and $\mathcal{B}$ are non-empty cross-intersecting families of subsets of $[n]$, $\mathcal{A}$ is intersecting, and $a_0, a_1, \dots, a_n, b_0, b_1, \dots, b_n$ are non-negative real numbers such that $a_i + b_i \geq a_{n-i} + b_{n-i}$ and $a_{n-i} \geq b_i$ for each $i \leq n/2$, then \[\sum_{A \in \mathcal{A}} a_{|A|} + \sum_{B \in \mathcal{B}} b_{|B|} \leq \sum_{A \in \mathcal{S}_n} a_{|A|} + \sum_{B \in \mathcal{S}_n} b_{|B|}.\] For a graph $G$ and an integer $r$, let ${\mathcal{I}_G}^{(r)}$ denote the family of $r$-element independent sets of $G$. Inspired by a problem of Holroyd and Talbot, Feghali, Johnson and Thomas conjectured that if $r < n$ and $G$ is a depth-two claw with $n$ leaves, then $G$ has a vertex $v$ such that $\{A \in {\mathcal{I}_G}^{(r)} \colon v \in A\}$ is a largest intersecting subfamily of ${\mathcal{I}_G}^{(r)}$. They proved this for $r \leq \frac{n+1}{2}$. We use the result above to prove the full conjecture.
Counting Markov Equivalence Classes for DAG models on Trees
Published
• View Publication
• BIB
DAG models are statistical models satisfying a collection of conditional independence relations encoded by the nonedges of a directed acyclic graph (DAG) $\mathcal{G}$. Such models are used to model complex cause-effect systems across a variety of research fields. From observational data alone, a DAG model $\mathcal{G}$ is only recoverable up to Markov equivalence. Combinatorially, two DAGs are Markov equivalent if and only if they have the same underlying undirected graph (i.e. skeleton) and the same set of the induced subDAGs $i\to j \leftarrow k$, known as immoralities. Hence it is of interest to study the number and size of Markov equivalence classes (MECs). In a recent paper, the authors introduced a pair of generating functions that enumerate the number of MECs on a fixed skeleton by number of immoralities and by class size, and they studied the complexity of computing these functions. In this paper, we lay the foundation for studying these generating functions by analyzing their structure for trees and other closely related graphs. We describe these polynomials for some important families of graphs including paths, stars, cycles, spider graphs, caterpillars, and complete binary trees. In doing so, we recover important connections to independence polynomials, and extend some classical identities that hold for Fibonacci numbers. We also provide tight lower and upper bounds for the number and size of MECs on any tree. Finally, we use computational methods to show that the number and distribution of high degree nodes in a triangle-free graph dictates the number and size of MECs.
The fractional $k$-metric dimension of graphs
Published in Appl. Anal. Discrete Math., Vol. 13 (2019) pp. 203-223
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$. For any two distinct vertices $x$ and $y$ of $G$, let $R\{x, y\}$ denote the set of vertices $z$ such that the distance from $x$ to $z$ is not equal to the distance from $y$ to $z$ in $G$. For a function $g$ defined on $V(G)$ and for $U \subseteq V(G)$, let $g(U)=\sum_{s \in U}g(s)$. Let $κ(G)=\min\{|R\{x,y\}|: x\neq y \mbox{ and } x,y \in V(G)\}$. For any real number $k \in [1, κ(G)]$, a real-valued function $g: V(G) \rightarrow [0,1]$ is a \emph{$k$-resolving function} of $G$ if $g(R\{x,y\}) \ge k$ for any two distinct vertices $x,y \in V(G)$. The \emph{fractional $k$-metric dimension}, $\dim^k_f(G)$, of $G$ is $\min\{g(V(G)): g \mbox{ is a $k$-resolving function of } G\}$. In this paper, we initiate the study of the fractional $k$-metric dimension of graphs. For a connected graph $G$ and $k \in [1, κ(G)]$, it's easy to see that $k \le \dim_f^k(G) \le \frac{k|V(G)|}{κ(G)}$; we characterize graphs $G$ satisfying $\dim_f^k(G)=k$ and $\dim_f^k(G)=|V(G)|$, respectively. We show that $\dim_f^k(G) \ge k \dim_f(G)$ for any $k \in [1, κ(G)]$, and we give an example showing that $\dim_f^k(G)-k\dim_f(G)$ can be arbitrarily large for some $k \in (1, κ(G)]$; we also describe a condition for which $\dim_f^k(G)=k\dim_f(G)$ holds. We determine the fractional $k$-metric dimension for some classes of graphs, and conclude with two open problems, including whether $φ(k)=\dim_f^k(G)$ is a continuous function of $k$ on every connected graph $G$.
Some conditions on 5-cycles that make planar graphs 4-choosable
Consider two conditions on a graph: (1) each 5-cycle is not a subgraph of 5-wheel and does not share exactly one edge with 3-cycle, and (2) each 5-cycle is not adjacent to two 3-cycles and is not adjacent to a 4-cycle with chord. We show that if a planar graph $G$ satisfies one of the these conditions, then $G$ is 4-choosable. This yields that if each 5-cycle of a planar graph $G$ is not adjacent a 3-cycle, then $G$ is 4-choosable.
Nerves, minors, and piercing numbers
Published
• View Publication
• BIB
We make the first step towards a "nerve theorem" for graphs. Let $G$ be a simple graph and let $\mathcal{F}$ be a family of induced subgraphs of $G$ such that the intersection of any members of $\mathcal{F}$ is either empty or connected. We show that if the nerve complex of $\mathcal{F}$ has non-vanishing homology in dimension three, then $G$ contains the complete graph on five vertices as a minor. As a consequence we confirm a conjecture of Goaoc concerning an extension of the planar $(p,q)$ theorem due to Alon and Kleitman: Let $\mathcal{F}$ be a finite family of open connected sets in the plane such that the intersection of any members of $\mathcal{F}$ is either empty or connected. If among any $p \geq 3$ members of $\mathcal{F}$ there are some three that intersect, then there is a set of $C$ points which intersects every member of $\mathcal{F}$, where $C$ is a constant depending only on $p$.
On large groups of symmetries of finite graphs embedded in spheres
Published
• View Publication
• BIB
Let G be a finite group acting orthogonally on a pair (S^d,Γ) where Γis a finite, connected graph of genus g>1 embedded in the sphere S^d. The 3-dimensional case d=3 has recently been considered in a paper by C. Wang, S. Wang, Y. Zhang and the present author where for each genus g>1 the maximum order of a G-action on a pair (S^3,Γ) is determined and the corresponding graphs Γare classified. In the present paper we consider arbitrary dimensions d and prove that the order of G is bounded above by a polynomial of degree d/2 in g if d is even, and of degree (d+1)/2 if d is odd; moreover the degree d/2 is best possible in even dimensions d. We discuss also the problem, given a finite graph Γand its finite symmetry group, to find the minimal dimension of a sphere into which Γembeds equivariantly as above.
Constructing edge-disjoint spanning trees in augmented cubes
Published
• View Publication
• BIB
Let T1, T2,.... Tk be spanning trees in a graph G. If for any pair of vertices u and v of G, the paths between u and v in every Ti( 0 < i < k+1) do not contain common edges then T1, T2,.... Tk are called edge-disjoint spanning trees in G. The design of multiple edge-disjoint spanning trees has applications to the reliable communication protocols. The n-dimensional augmented cube, denoted as AQn, a variation of the hypercube, possesses some properties superior to those of the hypercube. For AQn (n > 2), construction of n-1 edge-disjoint spanning trees is given the result is optimal with respect to the number of edge-disjoint spanning trees.
[1, 2]-sets and [1, 2]-total Sets in Trees with Algorithms
Published
• View Publication
• BIB
A set $S \subseteq V$ of the graph $G = (V, E)$ is called a $[1, 2]$-set of $G$ if any vertex which is not in $S$ has at least one but no more than two neighbors in $S$. A set $S \subseteq V$ is called a $[1, 2]$-total set of $G$ if any vertex of $G$, no matter in $S$ or not, is adjacent to at least one but not more than two vertices in $S$. In this paper we introduce a linear algorithm for finding the cardinality of the smallest $[1, 2]$-sets and $[1, 2]$-total sets of a tree and extend it to a more generalized version for $[i, j]$-sets, a generalization of $[1, 2]$-sets. This answers one of the open problems proposed in [5]. Then since not all trees have $[1, 2]$-total sets, we devise a recursive method for generating all the trees that do have such sets. This method also constructs every $[1, 2]$-total set of each tree that it generates.
The discrete yet ubiquitous theorems of Carathéodory, Helly, Sperner, Tucker, and Tverberg
Published
• View Publication
• BIB
We discuss five discrete results: the lemmas of Sperner and Tucker from combinatorial topology and the theorems of Carathéodory, Helly, and Tverberg from combinatorial geometry. We explore their connections and emphasize their broad impact in application areas such as game theory, graph theory, mathematical optimization, computational geometry, etc.
Weighted counting of solutions to sparse systems of equations
Published in Combinator. Probab. Comp. 28 (2019) 696-719
• View Publication
• BIB
Given complex numbers $w_1, \ldots, w_n$, we define the weight $w(X)$ of a set $X$ of 0-1 vectors as the sum of $w_1^{x_1} \cdots w_n^{x_n}$ over all vectors $(x_1, \ldots, x_n)$ in $X$. We present an algorithm, which for a set $X$ defined by a system of homogeneous linear equations with at most $r$ variables per equation and at most $c$ equations per variable, computes $w(X)$ within relative error $ε>0$ in $(rc)^{O(\ln n-\ln ε)}$ time provided $|w_j| \leq β(r \sqrt{c})^{-1}$ for an absolute constant $β>0$ and all $j=1, \ldots, n$. A similar algorithm is constructed for computing the weight of a linear code over ${\Bbb F}_p$. Applications include counting weighted perfect matchings in hypergraphs, counting weighted graph homomorphisms, computing weight enumerators of linear codes with sparse code generating matrices, and computing the partition functions of the ferromagnetic Potts model at low temperatures and of the hard-core model at high fugacity on biregular bipartite graphs.
On Functional Graphs of Quadratic Polynomials
Published
• View Publication
• BIB
We study functional graphs generated by quadratic polynomials over prime fields. We introduce efficient algorithms for methodical computations and provide the values of various direct and cumulative statistical parameters of interest. These include: the number of connected functional graphs, the number of graphs having a maximal cycle, the number of cycles of fixed size, the number of components of fixed size, as well as the shape of trees extracted from functional graphs. We particularly focus on connected functional graphs, that is, the graphs which contain only one component (and thus only one cycle). Based on the results of our computations, we formulate several conjectures highlighting the similarities and differences between these functional graphs and random mappings.
Long rainbow cycles and Hamiltonian cycles using many colors in properly edge-colored complete graphs
Published
• View Publication
• BIB
We prove two results regarding cycles in properly edge-colored graphs.
First, we make a small improvement to the recent breakthrough work of Alon, Pokrovskiy and Sudakov who showed that every properly edge-colored complete graph $G$ on $n$ vertices has a rainbow cycle on at least $n - O(n^{3/4})$ vertices, by showing that $G$ has a rainbow cycle on at least $n - O(\log n \sqrt{n})$ vertices.
Second, by modifying the argument of Hatami and Shor which gives a lower bound for the length of a partial transversal in a Latin Square, we prove that every properly colored complete graph has a Hamilton cycle in which at least $n - O((\log n)^2)$ different colors appear.
For large $n$, this is an improvement of the previous best known lower bound of $n - \sqrt{2n}$ of Andersen.