graph
35436 papers tagged with this keyword
Midrange crossing constants for graphs classes
For positive integers $n$ and $e$, let $κ(n,e)$ be the minimum crossing number (the standard planar crossing number) taken over all graphs with $n$ vertices and at least $e$ edges. Pach, Spencer and Tóth [Discrete and Computational Geometry 24 623--644, (2000)] showed that $κ(n,e) n^2/e^3$ tends to a positive constant (called midrange crossing constant) as $n\to \infty$ and $n \ll e \ll n^2$, proving a conjecture of Erdős and Guy. In this note, we extend their proof to show that the midrange crossing constant exists for graph classes that satisfy a certain set of graph properties. As a corollary, we show that the the midrange crossing constant exists for the family of bipartite graphs. All these results have their analogues for rectilinear crossing numbers.
A Simple Proof for the Cycle Double Cover Conjecture
Given a bridgeless graph G, the well-known cycle double cover conjecture posits that there is a list of cycles of G, such that every edge appears in exactly two cycles. In this paper, we prove the cycle double cover conjecture. More precisely, we prove the Goddyn's conjecture as a stronger version of the cycle double cover conjecture which states that every cycle in G is a member of some cycle double cover of G.
An asymptotic resolution of a problem of Plesník
Published
• View Publication
• BIB
Fix $d \ge 3$. We show the existence of a constant $c>0$ such that any graph of diameter at most $d$ has average distance at most $d-c \frac{d^{3/2}}{\sqrt n}$, where $n$ is the number of vertices. Moreover, we exhibit graphs certifying sharpness of this bound up to the choice of $c$. This constitutes an asymptotic solution to a longstanding open problem of Plesník. Furthermore we solve the problem exactly for digraphs if the order is large compared with the diameter.
An equivalent formulation of the Fan-Raspaud Conjecture and related problems
Published in Ars Math. Contemp. 18, No. 1, 87-103 (2020)
• View Publication
• BIB
In 1994, it was conjectured by Fan and Raspaud that every simple bridgeless cubic graph has three perfect matchings whose intersection is empty. In this paper we answer a question recently proposed by Mkrtchyan and Vardanyan, by giving an equivalent formulation of the Fan-Raspaud Conjecture. We also study a possibly weaker conjecture originally proposed by the first author, which states that in every simple bridgeless cubic graph there exist two perfect matchings such that the complement of their union is a bipartite graph. Here, we show that this conjecture can be equivalently stated using a variant of Petersen-colourings, we prove it for graphs having oddness at most four and we give a natural extension to bridgeless cubic multigraphs and to certain cubic graphs having bridges.
On a hypergraph probabilistic graphical model
Published
• View Publication
• BIB
We propose a directed acyclic hypergraph framework for a probabilistic graphical model that we call Bayesian hypergraphs. The space of directed acyclic hypergraphs is much larger than the space of chain graphs. Hence Bayesian hypergraphs can model much finer factorizations than Bayesian networks or LWF chain graphs and provide simpler and more computationally efficient procedures for factorizations and interventions. Bayesian hypergraphs also allow a modeler to represent causal patterns of interaction such as Noisy-OR graphically (without additional annotations). We introduce global, local and pairwise Markov properties of Bayesian hypergraphs and prove under which conditions they are equivalent. We define a projection operator, called shadow, that maps Bayesian hypergraphs to chain graphs, and show that the Markov properties of a Bayesian hypergraph are equivalent to those of its corresponding chain graph. We extend the causal interpretation of LWF chain graphs to Bayesian hypergraphs and provide corresponding formulas and a graphical criterion for intervention.
A remark on the characterization of triangulated graphs
Published
• View Publication
• BIB
In this study we consider the problem of triangulated graphs. Precisely we give a necessary and sufficient condition for a graph to be triangulated. This give an alternative characterization of triangulated graphs. Our method is based on the so called perfectly nested sequences.
Extended formulations from communication protocols in output-efficient time
Published
• View Publication
• BIB
Deterministic protocols are well-known tools to obtain extended formulations, with many applications to polytopes arising in combinatorial optimization. Although constructive, those tools are not output-efficient, since the time needed to produce the extended formulation also depends on the number of rows of the slack matrix (hence, on the exact description in the original space). We give general sufficient conditions under which those tools can be implemented as to be output-efficient, showing applications to e.g.~Yannakakis' extended formulation for the stable set polytope of perfect graphs, for which, to the best of our knowledge, an efficient construction was previously not known. For specific classes of polytopes, we give also a direct, efficient construction of extended formulations arising from protocols. Finally, we deal with extended formulations coming from unambiguous non-deterministic protocols.
Regular and biregular planar cages
Published
• View Publication
• BIB
We study the Cage Problem for regular and biregular planar graphs. A $(k,g)$-graph is a $k$-regular graph with girth $g$. A $(k,g)$-cage is a $(k,g)$-graph of minimum order. It is not difficult to conclude that the regular planar cages are the Platonic Solids. A $(\{r,m\};g)$-graph is a graph of girth $g$ whose vertices have degrees $r$ and $m.$ A $(\{r,m\};g)$-cage is a $(\{r,m\};g)$-graph of minimum order. In this case we determine the triplets of values $(\{r,m\};g)$ for which there exist planar $(\{r,m\};g)$--graphs, for all those values we construct examples. Furthermore, for many triplets $(\{r,m\};g)$ we build the $(\{r,m\};g)$-cages.
Intersection theorems for families of matchings of complete $k$-partite $k$-graphs
The celebrated {Erdős-Ko-Rado} Theorem states that for $n \geq 2k$ a family $\mathscr{F}$ of $k$ subsets of $[n]$ for which each pair of members of $\mathscr{F}$ have a non-empty intersection has size at most $\binom{n-1}{k-1}$ and for $n >2k$ has exactly this size if and only if it is the family of all $k$-subsets of $[n]$ containing a fixed element $x\in [n]$. Since its discovery, the {Erdős-Ko-Rado} Theorem has be generalised extensively and many variants have been found for structures other than sets. One such variant is for permutations and so-called generalised permutations. These structures are equivalent to $r$-matchings of the complete bipartite graph $K_{n,m}$ with $r \leq \min\{n,m\}$ in a natural way.
The culmination of results of several groups of authors constitute an {Erdős-Ko-Rado} Theorem for families of generalised permutations and so for families of $r$-matchings of $K_{n,m}$ for all feasible values of $r,n$ and $m$. In this paper we generalise this by proving an {Erdős-Ko-Rado} Theorem for families of $r$-matchings of complete $k$-partite $k$-graphs, which can be seen as a partial generalisation of the {Erdős-Ko-Rado} Theorem itself. We also prove similar results for $t$-intersecting families, and for families of matchings whose members have sizes from some set of integers $R$, rather than a single size $r$.
Minimum degree condition for a graph to be knitted
Published
• View Publication
• BIB
For a positive integer $k$, a graph is $k$-knitted if for each $k$-subset $S$ of vertices, and every partition of $S$ into disjoint parts $S_1, \ldots, S_t$ for some $t\ge 1$, one can find disjoint connected subgraphs $C_1, \ldots, C_t$ such that $C_i$ contains $S_i$ for each $i$. In this article, we show that if the minimum degree of an $n$-vertex graph $G$ is at least $n/2+k/2-1$ when $n\ge 2k+3$, then $G$ is $k$-knitted. The minimum degree is sharp. As a corollary, we obtain that $k$-contraction-critical graphs are $\left\lceil\frac{k}{8}\right\rceil$-connected.
Upper Tails for Edge Eigenvalues of Random Graphs
Published in SIAM Journal on Discrete Mathematics, Vol. 34 (2), 1069-1083, 2020
• View Publication
• BIB
The upper tail problem for the largest eigenvalue of the Erdős--Rényi random graph $\mathcal{G}_{n,p}$ is to estimate the probability that the largest eigenvalue of the adjacency matrix of $\mathcal{G}_{n,p}$ exceeds its typical value by a factor of $1+δ$. In this note we show that for $δ>0$ fixed, and $p \rightarrow 0$ such that $n^{\frac{1}{2}} p \rightarrow \infty$, the upper tail probability for the largest eigenvalue of $\mathcal{G}_{n,p}$ is $$\exp\left[-(1+o(1)) \min\left\{\tfrac{(1+δ)^2}{2}, δ(1+δ) \right\} n^{2}p^{2}\log (1/p)\right].$$ In the same regime of $p$, we show that the second largest eigenvalue $λ_2( \mathcal G_{n,p})$ of the adjacency matrix of $\mathcal{G}_{n,p}$ satisfies $$\mathbb P(λ_2(\mathcal G_{n,p})\ge δnp) = \exp\left[-(1+o(1)) \tfrac{1}{2} δ^2n^2p^2 \log (1/p) \right],$$ where $δ=δ_n < 1$ can depend on $n$ such that $δn^{\frac{1}{2}} p \rightarrow \infty$, which covers deviations of $λ_2(\mathcal G_{n,p})$ between $n^{\frac{1}{2}}$ and $np$. Our arguments build on recent results on the large deviations of the largest eigenvalue and related non-linear functions of the adjacency matrix in terms of natural mean-field entropic variational problems.
Equitable Partitions into Matchings and Coverings in Mixed Graphs
Matchings and coverings are central topics in graph theory. The close relationship between these two has been key to many fundamental algorithmic and polyhedral results. For mixed graphs, the notion of matching forest was proposed as a common generalization of matchings and branchings.
In this paper, we propose the notion of mixed edge cover as a covering counterpart of matching forest, and extend the matching--covering framework to mixed graphs. While algorithmic and polyhedral results extend fairly easily, partition problems are considerably more difficult in the mixed case. We address the problems of partitioning a mixed graph into matching forests or mixed edge covers, so that all parts are equal with respect to some criterion, such as edge/arc numbers or total sizes. Moreover, we provide the best possible multicriteria equalization.
The orientation morphism: from graph cocycles to deformations of Poisson structures
Published in Journal of Physics: Conference Series (2019) Vol.1194, Paper 012017, 1-10
• View Publication
• BIB
We recall the construction of the Kontsevich graph orientation morphism $γ\mapsto {\rm O\vec{r}}(γ)$ which maps cocycles $γ$ in the non-oriented graph complex to infinitesimal symmetries $\dot{\mathcal{P}} = {\rm O\vec{r}}(γ)(\mathcal{P})$ of Poisson bi-vectors on affine manifolds. We reveal in particular why there always exists a factorization of the Poisson cocycle condition $[\![\mathcal{P},{\rm O\vec{r}}(γ)(\mathcal{P})]\!] \doteq 0$ through the differential consequences of the Jacobi identity $[\![\mathcal{P},\mathcal{P}]\!]=0$ for Poisson bi-vectors $\mathcal{P}$. To illustrate the reasoning, we use the Kontsevich tetrahedral flow $\dot{\mathcal{P}} = {\rm O\vec{r}}(γ_3)(\mathcal{P})$, as well as the flow produced from the Kontsevich--Willwacher pentagon-wheel cocycle $γ_5$ and the new flow obtained from the heptagon-wheel cocycle $γ_7$ in the unoriented graph complex.
The Aharoni--Korman conjecture for $N$-free posets with no infinite antichain
We give a necessary and sufficient condition for a $P_4$-free graph to be a cograph. This allows us to obtain a simple proof of the fact that finite $P_4$-free graphs are finite cographs. We also prove that $N$-free chain complete posets and $N$-free posets with no infinite antichains are series-parallel.
As a consequence, we obtain that every $N$-free poset with no infinite antichain has a chain and a partition into antichains so that each part intersects the chain. This answers a conjecture of Aharoni and Korman (Order \textbf{9} (1992) 245--253) in this case.
How many matchings cover the nodes of a graph?
Published
• View Publication
• BIB
Given an undirected graph, are there $k$ matchings whose union covers all of its nodes, that is, a matching-$k$-cover? A first, easy polynomial solution from matroid union is possible, as already observed by Wang, Song and Yuan (Mathematical Programming, 2014). However, it was not satisfactory neither from the algorithmic viewpoint nor for proving graphic theorems, since the corresponding matroid ignores the edges of the graph.
We prove here, simply and algorithmically: all nodes of a graph can be covered with $k\ge 2$ matchings if and only if for every stable set $S$ we have $|S|\le k\cdot|N(S)|$. When $k=1$, an exception occurs: this condition is not enough to guarantee the existence of a matching-$1$-cover, that is, the existence of a perfect matching, in this case Tutte's famous matching theorem (J. London Math. Soc., 1947) provides the right `good' characterization. The condition above then guarantees only that a perfect $2$-matching exists, as known from another theorem of Tutte (Proc. Amer. Math. Soc., 1953).
Some results are then deduced as consequences with surprisingly simple proofs, using only the level of difficulty of bipartite matchings. We give some generalizations, as well as a solution for minimization if the edge-weights are non-negative, while the edge-cardinality maximization of matching-$2$-covers turns out to be already NP-hard.
We have arrived at this problem as the line graph special case of a model arising for manufacturing integrated circuits with the technology called `Directed Self Assembly'.
Induced subgraphs with many repeated degrees
Published
• View Publication
• BIB
Erdős, Fajtlowicz and Staton asked for the least integer $f(k)$ such that every graph with more than $f(k)$ vertices has an induced regular subgraph with at least $k$ vertices. Here we consider the following relaxed notions. Let $g(k)$ be the least integer such that every graph with more than $g(k)$ vertices has an induced subgraph with at least $k$ repeated degrees and let $h(k)$ be the least integer such that every graph with more than $h(k)$ vertices has an induced subgraph with at least $k$ maximum degree vertices. We obtain polynomial lower bounds for $h(k)$ and $g(k)$ and nontrivial linear upper bounds when the host graph has bounded maximum degree.
Use of Enumerative Combinatorics for proving the applicability of an asymptotic stability result on discrete-time SIS epidemics in complex networks
Published
• View Publication
• BIB
In this paper, we justify by the use of Enumerative Combinatorics, that the results obtained in \cite{Alarcon1}, where is analysed the complex dynamics of an epidemic model to identify the nodes that contribute the most to the propagation process and because of that are good candidates to be controlled in the network in order to stabilize the network to reach the extinction state, is applicable in almost all the cases. The model analysed was proposed in \cite{Gomez1} %et al. [Phys.Rev.E 84, 036105(2011)] and results obtained in \cite{Alarcon1} implies that it is not necessary to control all nodes, but only a minimal set of nodes if the topology of the network is not regular. This result could be important in the spirit of considering policies of isolation or quarantine of those nodes to be controlled. Simulation results were presented in \cite{Alarcon1} for large free-scale and regular networks, that corroborate the theoretical findings. In this article we justify the applicability of the controllability result obtained in \cite{Alarcon1} in almost all the cases by means of the use of Combinatorics. {\em Mathematics Subjects Classification}: 05A16,34H20,58E25 {\em Keywords}: Asymptotic Graph Enumeration Problems; Network control; virus spreading.
Graphs with Flexible Labelings allowing Injective Realizations
Published in Discrete Mathematics (2020). 343(6): Art. 111713
• View Publication
• BIB
We consider realizations of a graph in the plane such that the distances between adjacent vertices satisfy the constraints given by an edge labeling. If there are infinitely many such realizations, counted modulo rigid motions, the labeling is called flexible. The existence of a flexible labeling, possibly non-generic, has been characterized combinatorially by the existence of a so called NAC-coloring. Nevertheless, the corresponding realizations are often non-injective. In this paper, we focus on flexible labelings with infinitely many injective realizations. We provide a necessary combinatorial condition on existence of such a labeling based also on NAC-colorings of the graph. By introducing new tools for the construction of such labelings, we show that the necessary condition is also sufficient up to 8 vertices, but this is not true in general for more vertices.
Universal graph for graphs with cutwidth at most 2
A graph {\it has cutwidth at most 2} if one can number its vertices by $1,\ldots n$ so that for every $i=1,\ldots,n-1$ there are at most 2 edges $(u,v)$ such that $u\le i<v$. A characterization of graphs having cutwidth at most 2 in terms of prohibited subgraphs was obtained by Y. Lin, A. Yang. We present an alternative characterization of such graphs in terms of universal graph.
Minor-Obstructions for Apex-Pseudoforests
Published
• View Publication
• BIB
A graph is called a pseudoforest if none of its connected components contains more than one cycle. A graph is an apex-pseudoforest if it can become a pseudoforest by removing one of its vertices. We identify 33 graphs that form the minor-obstruction set of the class of apex-pseudoforests, i.e., the set of all minor-minimal graphs that are not apex-pseudoforests.