graph
34961 papers tagged with this keyword
Coverings by few monochromatic pieces - a transition between two Ramsey problems
The typical problem in (generalized) Ramsey theory is to find the order of the largest monochromatic member of a family F (for example matchings, paths, cycles, connected subgraphs) that must be present in any edge coloring of a complete graph K_n with t colors. Another area is to find the minimum number of monochromatic members of F that partition or cover the vertex set of every edge colored complete graph. Here we propose a problem that connects these areas: for fixed positive integers s,t, at least how many vertices can be covered by the vertices of no more than s monochromatic members of F in every edge coloring of K_n with t colors. Several problems and conjectures are presented, among them a possible extension of a well-known result of Cockayne and Lorimer on monochromatic matchings for which we prove an initial step: in case of s=t-1 we determine how many vertices can be covered by s monochromatic matchings in every t-coloring of K_n.
On the Two Conjectures of the Wiener Index
Published in MATCH-COMMUNICATIONS IN MATHEMATICAL AND IN COMPUTER CHEMISTRY, 2014
• Search Publication
The Wiener index of a graph, which is the sum of the distances between all pairs of vertices, has been well studied. Recently, Sills and Wang in 2012 proposed two conjectures on the maximal Wiener index of trees with a given degree sequence. This note proves one of the two conjectures and disproves the other.
On the convergence of probabilities of the random graphs' properties expressed by first-order formulae with a bounded quantifier depth
An asymptotic behavior of the probabilities of first-order properties of Erdos-Renyi random graph G(N,p), lnp=-alnN, is studied in the article. We prove the covergence law for formulae with quantifier depth bounded by k when a=1/(k-2).
Extension of zero-one k-law
Published
• View Publication
• BIB
We study an asymptotic behavior of the probabilities of first-order properties of random graph G(N,p) in the article. We conider p such that lnp=-alnN, a>0. We find values of parameter a from (1-exp(ln2(1-k)),1) such that the random graph obeys zero-one k-law.
Convergence theorems for graph sequences
Published in International Journal of Algebra and Computation, Vol. 24 (8), pp. 1233-1251, 2014
• View Publication
• BIB
In this paper, we deal with a notion of Banach space-valued mappings defined on a set consisting of finite graphs with uniformly bounded vertex degree. These functions will be endowed with certain boundedness and additivity criteria. We examine their normalized long-term behaviour along a particular class of graph sequences. Using techniques developed by Elek, we show convergence in the topology of the Banach space if the corresponding graph sequence possesses a hyperfinite structure. These considerations extend and complement the corresponding results for amenable groups. As an application, we verify the uniform approximation of the integrated density of states for bounded, finite range operators on discrete structures. Further, we extend results concerning an abstract version of Fekete's Lemma for amenable groups and cancellative semigroups to the geometric situation of convergent graph sequences.
Passages in Graphs
Directed graphs can be partitioned in so-called passages. A passage P is a set of edges such that any two edges sharing the same initial vertex or sharing the same terminal vertex are both inside $P$ or are both outside of P. Passages were first identified in the context of process mining where they are used to successfully decompose process discovery and conformance checking problems. In this article, we examine the properties of passages. We will show that passages are closed under set operators such as union, intersection and difference. Moreover, any passage is composed of so-called minimal passages. These properties can be exploited when decomposing graph-based analysis and computation problems.
Phase transitions in the Ramsey-Turán theory
Published
• View Publication
• BIB
Let $f(n)$ be a function and $L$ be a graph. Denote by $RT(n,L,f(n))$ the maximum number of edges of an $L$-free graph on $n$ vertices with independence number less than $f(n)$. Erd\H os and Sós asked if $RT\left(n, K_5, c\sqrt{n}\right) = o(n^2)$ for some constant $c$. We answer this question by proving the stronger $RT\left(n, K_5, o\left(\sqrt{n\log n}\right)\right) = o(n^2)$. It is known that $RT \left(n, K_5, c \sqrt{n\log n} \right) = n^2/4+o(n^2)$ for $c>1$, so one can say that $K_5$ has a Ramsey-Turán phase transition at $c\sqrt{n\log n}$. We extend this result to several other $K_s$'s and functions $f(n)$, determining many more phase transitions. We shall formulate several open problems, in particular, whether variants of the Bollobás-Erd\H os graph exist to give good lower bounds on $RT\left(n, K_s, f(n)\right)$ for various pairs of $s$ and $f(n)$. Among others, we use Szemerédi's Regularity Lemma and the Hypergraph Dependent Random Choice Lemma. We also present a short proof of the fact that $K_s$-free graphs with small independence number are sparse.
Chasing the k-colorability threshold
Published in International Mathematical Research Notices 2016 (2016 5801 - 5859
• View Publication
• BIB
Over the past decade, physicists have developed deep but non-rigorous techniques for studying phase transitions in discrete structures. Recently, their ideas have been harnessed to obtain improved rigorous results on the phase transitions in binary problems such as random $k$-SAT or $k$-NAESAT (e.g., Coja-Oghlan and Panagiotou: STOC 2013). However, these rigorous arguments, typically centered around the second moment method, do not extend easily to problems where there are more than two possible values per variable. The single most intensely studied example of such a problem is random graph $k$-coloring. Here we develop a novel approach to the second moment method in this problem. This new method, inspired by physics conjectures on the geometry of the set of $k$-colorings, allows us to establish a substantially improved lower bound on the $k$-colorability threshold. The new lower bound is within an additive $2\ln 2+o_k(1)\approx 1.39$ of a simple first-moment upper bound and within $2\ln 2-1+o_k(1)\approx 0.39$ of the physics conjecture. By comparison, the best previous lower bound left a gap of about $2+\ln k$, unbounded in terms of the number of colors [Achlioptas, Naor: STOC 2004].
Alternating knots, planar graphs and q-series
Published
• View Publication
• BIB
Recent advances in Quantum Topology assign $q$-series to knots in at least three different ways. The $q$-series are given by generalized Nahm sums (i.e., special $q$-hypergeometric sums) and have unknown modular and asymptotic properties. We give an efficient method to compute those $q$-series that come from planar graphs (i.e., reduced Tait graphs of alternating links) and compute several terms of those series for all graphs with at most 8 edges drawing several conclusions. In addition, we give a graph-theory proof of a theorem of Dasbach-Lin which identifies the coefficient of $q^k$ in those series for $k=0,1,2$ in terms of polynomials on the number of vertices, edges and triangles of the graph. Updated tables of data.
Bruhat and balanced graphs
Published
• View Publication
• BIB
We generalize chain enumeration in graded partially ordered sets by relaxing the graded, poset and Eulerian requirements. The resulting balanced digraphs, which include the classical Eulerian posets having an $R$-labeling, imply the existence of the (non-homogeneous) ${\bf cd}$-index, a key invariant for studying inequalities for the flag vector of polytopes. Mirroring Alexander duality for Eulerian posets, we show an analogue of Alexander duality for balanced digraphs. For Bruhat graphs of Coxeter groups, an important family of balanced graphs, our theory gives elementary proofs of the existence of the complete ${\bf cd}$-index and its properties. We also introduce the rising and falling quasisymmetric functions of a labeled acyclic digraph and show they are Hopf algebra homomorphisms mapping balanced digraphs to the Stembridge peak algebra. We conjecture nonnegativity of the ${\bf cd}$-index for acyclic digraphs having a balanced linear edge labeling.
Minimum number of distinct eigenvalues of graphs
Published
• View Publication
• BIB
The minimum number of distinct eigenvalues, taken over all real symmetric matrices compatible with a given graph $G$, is denoted by $q(G)$. Using other parameters related to $G$, bounds for $q(G)$ are proven and then applied to deduce further properties of $q(G)$. It is shown that there is a great number of graphs $G$ for which $q(G)=2$. For some families of graphs, such as the join of a graph with itself, complete bipartite graphs, and cycles, this minimum value is obtained. Moreover, examples of graphs $G$ are provided to show that adding and deleting edges or vertices can dramatically change the value of $q(G)$. Finally, the set of graphs $G$ with $q(G)$ near the number of vertices is shown to be a subset of known families of graphs with small maximum multiplicity.
Weighted Coxeter graphs and generalized geometric representations of Coxeter Groups
Published
• View Publication
• BIB
We introduce the notion of weighted Coxeter graph and associate to it a certain generalization of the standard geometric representation of a Coxeter group. We prove sufficient conditions for faithfulness and non-faithfulness of such a representation. In the case when the weighted Coxeter graph is balanced we discuss how the generalized geometric representation is related to the numbers game played on the Coxeter graph.
Strong immersions and maximum degree
A graph H is strongly immersed in G if G is obtained from H by a sequence of vertex splittings (i.e., lifting some pairs of incident edges and removing the vertex) and edge removals. Equivalently, vertices of H are mapped to distinct vertices of G (branch vertices) and edges of H are mapped to pairwise edge-disjoint paths in G, each of them joining the branch vertices corresponding to the ends of the edge and not containing any other branch vertices. We show that there exists a function d:N->N such that for all graphs H and G, if G contains a strong immersion of the star K_{1,d(Delta(H))|V(H)|} whose branch vertices are Delta(H)-edge-connected to one another, then H is strongly immersed in G. This has a number of structural consequences for graphs avoiding a strong immersion of H. In particular, a class C of simple 4-edge-connected graphs contains all graphs of maximum degree 4 as strong immersions if and only if C has either unbounded maximum degree or unbounded tree-width.
Low degree minimal generators of phylogenetic semigroups
Published
• View Publication
• BIB
The phylogenetic semigroup on a graph generalizes the Jukes-Cantor binary model on a tree. Minimal generating sets of phylogenetic semigroups have been described for trivalent trees by Buczyńska and Wiśniewski, and for trivalent graphs with first Betti number 1 by Buczyńska. We characterize degree two minimal generators of the phylogenetic semigroup on any trivalent graph. Moreover, for any graph with first Betti number 1 and for any trivalent graph with first Betti number 2 we describe the minimal generating set of its phylogenetic semigroup.
On the diameter of total domination vertex critical graphs
Published
• View Publication
• BIB
In this paper, we consider various types of domination vertex critical graphs, including total domination vertex critical graphs, independent domination vertex critical graphs and connected domination vertex critical graphs. We provide upper bounds on the diameter of them, two of which are sharp.
Strong chromatic index of k-degenerate graphs
Published in Discrete Mathematics, 330 (2014) 17--19
• View Publication
• BIB
A {\em strong edge coloring} of a graph $G$ is a proper edge coloring in which every color class is an induced matching. The {\em strong chromatic index} $\chiup_{s}'(G)$ of a graph $G$ is the minimum number of colors in a strong edge coloring of $G$. In this note, we improve a result by D{\k e}bski \etal [Strong chromatic index of sparse graphs, arXiv:1301.1992v1] and show that the strong chromatic index of a $k$-degenerate graph $G$ is at most $(4k-2) \cdot Δ(G) - 2k^{2} + 1$. As a direct consequence, the strong chromatic index of a $2$-degenerate graph $G$ is at most $6Δ(G) - 7$, which improves the upper bound $10Δ(G) - 10$ by Chang and Narayanan [Strong chromatic index of 2-degenerate graphs, J. Graph Theory 73 (2013) (2) 119--126]. For a special subclass of $2$-degenerate graphs, we obtain a better upper bound, namely if $G$ is a graph such that all of its $3^{+}$-vertices induce a forest, then $\chiup_{s}'(G) \leq 4 Δ(G) -3$; as a corollary, every minimally $2$-connected graph $G$ has strong chromatic index at most $4 Δ(G) - 3$. Moreover, all the results in this note are best possible in some sense.
Bochner formula and Bernstein type estimates on locally finite graphs
In this paper, we consider three typical problems on a locally finite connected graph. The first one is to study the Bochner formula for the Laplacian operator on a locally finite connected graph. We use the Bochner formula to derive the Bernstein type estimate of the heat equation. The second is to derive the Reilly type formula of the Laplacian operator. The last one is to obtain global positive solution to porous-media equation via the use of Aronson-Benilan argument. There is not much work in the direction of the study of nonlinear heat equations on locally finite connected graphs.
Frameworks with forced symmetry I: Reflections and rotations
Published
• View Publication
• BIB
We give a combinatorial characterization of generic frameworks that are minimally rigid under the additional constraint of maintaining symmetry with respect to a finite order rotation or a reflection. To establish these results we develop a new technique for deriving linear representations of sparsity matroids on colored graphs and extend the direction network method of proving rigidity characterizations to handle reflections.
Convex and subharmonic functions on graphs
Published in Involve, a Journal of Mathematics 7-2 (2014), 227--237
• View Publication
• BIB
We explore the relationship between convex and subharmonic functions on discrete sets. Our principal concern is to determine the setting in which a convex function is necessarily subharmonic. We initially consider the primary notions of convexity on graphs and show that more structure is needed to establish the desired result. To that end, we consider a notion of convexity defined on lattice-like graphs generated by normed abelian groups. For this class of graphs, we are able to prove that all convex functions are subharmonic.
Incidence coloring game and arboricity of graphs
Published in International Workshop on Combinatorial Algorithms, Rouen : France (2013)
• View Publication
• BIB
An incidence of a graph $G$ is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ an edge incident to $v$. Two incidences $(v,e)$ and $(w,f)$ are adjacent whenever $v = w$, or $e = f$, or $vw = e$ or $f$. The incidence coloring game [S.D. Andres, The incidence game chromatic number, Discrete Appl. Math. 157 (2009), 1980-1987] is a variation of the ordinary coloring game where the two players, Alice and Bob, alternately color the incidences of a graph, using a given number of colors, in such a way that adjacent incidences get distinct colors. If the whole graph is colored then Alice wins the game otherwise Bob wins the game. The incidence game chromatic number $i_g(G)$ of a graph $G$ is the minimum number of colors for which Alice has a winning strategy when playing the incidence coloring game on $G$. Andres proved that %$\lceil 3/2 Δ(G)\rceil \le $i_g(G) \le 2Δ(G) + 4k - 2$ for every $k$-degenerate graph $G$. %The arboricity $a(G)$ of a graph $G$ is the minimum number of forests into which its set of edges can be partitioned. %If $G$ is $k$-degenerate, then $a(G) \le k \le 2a(G) - 1$. We show in this paper that $i_g(G) \le \lfloor\frac{3Δ(G) - a(G)}{2}\rfloor + 8a(G) - 2$ for every graph $G$, where $a(G)$ stands for the arboricity of $G$, thus improving the bound given by Andres since $a(G) \le k$ for every $k$-degenerate graph $G$. Since there exists graphs with $i_g(G) \ge \lceil\frac{3Δ(G)}{2}\rceil$, the multiplicative constant of our bound is best possible.