graph
34961 papers tagged with this keyword
Torsion in Khovanov homology of semi-adequate links
Published in Fundamenta Mathematicae (225), 277--303, 2014
• View Publication
• BIB
The goal of this paper is to address A. Shumakovitch's conjecture about the existence of $\Z_2$-torsion in Khovanov link homology. We analyze torsion in Khovanov homology of semi-adequate links via chromatic cohomology for graphs which provides a link between the link homology and well-developed theory of Hochschild homology. In particular, we obtain explicit formulae for torsion and prove that Khovanov homology of semi-adequate links contains $Z_2$-torsion if the corresponding Tait-type graph has a cycle of length at least 3. Computations show that torsion of odd order exists but there is no general theory to support these observations. We conjecture that the existence of torsion is related to the braid index.
On Turan's (3,4)-problem with forbidden configurations
Published
• View Publication
• BIB
We identify three 3-graphs on five vertices each missing in all known extremal configurations for Turan's (3,4)-problem and prove Turan's conjecture for 3-graphs that are additionally known not to contain any induced copies of these 3-graphs. Our argument is based on an (apparently) new technique of "indirect interpretation" that allows us to retrieve additional structure from hypothetical counterexamples to Turan's conjecture, but in rather loose and limited sense. We also include two miscellaneous calculations in flag algebras that prove similar results about some other additional forbidden subgraphs.
On Weak Chromatic Polynomials of Mixed Graphs
Published in Graphs and Combinatorics 31 (2015), 91-98
• View Publication
• BIB
A \emph{mixed graph} is a graph with directed edges, called arcs, and undirected edges. A $k$-coloring of the vertices is proper if colors from ${1,2,...,k}$ are assigned to each vertex such that $u$ and $v$ have different colors if $uv$ is an edge, and the color of $u$ is less than or equal to (resp. strictly less than) the color of $v$ if $uv$ is an arc. The weak (resp. strong) chromatic polynomial of a mixed graph counts the number of proper $k$-colorings. Using order polynomials of partially ordered sets, we establish a reciprocity theorem for weak chromatic polynomials giving interpretations of evaluations at negative integers.
Graphs whose edge set can be partitioned into maximum matchings
Published
• View Publication
• BIB
This article provides structural characterization of simple graphs whose edge-set can be partitioned into maximum matchings. We use Vizing's classification of simple graphs based on edge chromatic index.
Halving Lines and Their Underlying Graphs
Published in Involve 11 (2018) 1-11
• View Publication
• BIB
In this paper we study underlying graphs corresponding to a set of halving lines. We establish many properties of such graphs. In addition, we tighten the upper bound for the number of halving lines.
Structural properties of Stochastic Abelian Sandpile
We present some combinatorial results on the stochastic abelian sandpile model. These models are characterized by nondeterministic toppling rules. The recurrence checking for the deterministic case can be performed using the well known burning test which detects presence of forbidden sub-configurations (FSC) in strongly polynomial time. In the stochastic case, however, even for Manna's model, which is perhaps the simplest non-trivial example, no such procedure is known. In this paper, we address the decision problem of the existence of any FSC in a general stochastic sandpile. We demonstrate a polynomial time algorithm which, given the sandpile graph and toppling rules, decides if there exists an FSC. In the event of a positive answer, it generates at least one FSC for the given sandpile. Repeated application of the algorithm can be used to find many distinct FSCs. We also demonstrate a procedure for creating larger FSCs from smaller ones and use this to create FSCs for the Manna's model. We hope that the structural analysis of stochastic sandpile we perform in this paper, will prove useful in the eventual formulation of a deterministic procedure to decide recurrence.
Improved bounds on the sandpile diffusions on Grid graphs
The Abelian Sandpile Model is a discrete diffusion process defined on graphs (Dhar [10], Dhar et al. [11]) which serves as the standard model of self-organized criticality. The transience class of a sandpile is defined as the maximum number of particles that can be added without making the system recurrent ([3]). Using elementary combinatorial arguments and symmetry properties, Babai and Gorodezky (SODA 2007,[2]) demonstrated a bound of O(n^30) on the transience class of an nxn grid. This was later improved by Choure and Vishwanathan (SODA 2012,[7]) to O(n^7) using techniques based on harmonic functions on graphs. We improve this bound to O(n^7 log n). We also demonstrate tight bounds on certain resistance ratios over grid networks. The tools used for deriving these bounds may be of independent interest.
The biased odd cycle game
Published
• View Publication
• BIB
In this paper we consider biased Maker-Breaker games played on the edge set of a given graph $G$. We prove that for every $δ>0$ and large enough $n$, there exists a constant $k$ for which if $δ(G)\geq δn$ and $χ(G)\geq k$, then Maker can build an odd cycle in the $(1:b)$ game for $b=O(\frac{n}{\log^2 n})$. We also consider the analogous game where Maker and Breaker claim vertices instead of edges. This is a special case of the following well known and notoriously difficult problem due to Duffus, Łuczak and Rödl: is it true that for any positive constants $t$ and $b$, there exists an integer $k$ such that for every graph $G$, if $χ(G)\geq k$, then Maker can build a graph which is not $t$-colorable, in the $(1:b)$ Maker-Breaker game played on the vertices of $G$?
The Recognition of Simple-Triangle Graphs and of Linear-Interval Orders is Polynomial
Published
• View Publication
• BIB
Intersection graphs of geometric objects have been extensively studied, both due to their interesting structure and their numerous applications; prominent examples include interval graphs and permutation graphs. In this paper we study a natural graph class that generalizes both interval and permutation graphs, namely \emph{simple-triangle} graphs. Simple-triangle graphs - also known as \emph{PI} graphs (for Point-Interval) - are the intersection graphs of triangles that are defined by a point on a line $L_{1}$ and an interval on a parallel line $L_{2}$. They lie naturally between permutation and trapezoid graphs, which are the intersection graphs of line segments between $L_{1}$ and $L_{2}$ and of trapezoids between $L_{1}$ and $L_{2}$, respectively. Although various efficient recognition algorithms for permutation and trapezoid graphs are well known to exist, the recognition of simple-triangle graphs has remained an open problem since their introduction by Corneil and Kamula three decades ago. In this paper we resolve this problem by proving that simple-triangle graphs can be recognized in polynomial time. As a consequence, our algorithm also solves a longstanding open problem in the area of partial orders, namely the recognition of \emph{linear-interval orders}, i.e. of partial orders $P=P_{1}\cap P_{2}$, where $P_{1}$ is a linear order and $P_{2}$ is an interval order. This is one of the first results on recognizing partial orders $P$ that are the intersection of orders from two different classes $\mathcal{P}_{1}$ and $\mathcal{P}_{2}$. In complete contrast to this, partial orders $P$ which are the intersection of orders from the same class $\mathcal{P}$ have been extensively investigated, and in most cases the complexity status of these recognition problems has been already established.
Connect Four and Graph Decomposition
Published
• View Publication
• BIB
We introduce the standard decomposition, a way of decomposing a labeled graph into a sum of certain labeled subgraphs. We motivate this graph-theoretic concept by relating it to Connect Four decompositions of standard sets. We prove that all standard decompositions can be generated in polynomial time, which implies that all Connect Four decompositions can be generated in polynomial time.
Decompositions of complete multipartite graphs via generalized graceful labelings
Published
• View Publication
• BIB
We prove the existence of infinite classes of cyclic G-decompositions of the complete multipartite graph, G being a caterpillar, a hairy cycle or a cycle. All the results are obtained by the construction of d-divisible $α$-labelings of G, introduced in [A. Pasotti, On d-graceful labelings, to appear on Ars Combin.] as a generalization of classical $α$-labelings, whose existence implies that one of graph decompositions.
Theory on Structure and Coloring of Maximal Planar Graphs (I): Relationship between Structure and Coloring
Maximal planar graph refers to the planar graph with the most edges, which means no more edges can be added so that the resulting graph is still planar. The Four-Color Conjecture says that every planar graph without loops is 4-colorable. Indeed, in order to prove Four-Color Conjecture, it clearly suffices to show that all maximal planar graphs are 4-colorable. Since this conjecture was proposed in 1852, no mathematical proofs have been invented up until now. Maybe the main reasons lie in the following three aspects in terms of maximal planar graphs: not clearing up the structures, not figuring out the coloring types, and not straightening out the relation between structure and coloring. For this, we will write a series of articles to study the structure and coloring theory of maximal planar graphs systematically. This is our first article, which focuses mainly on the structure and coloring relations. First, we introduce a new way to construct maximal planar graphs. The advantage of this method is that it establishes an immediate relation with 4-colorings, and reveals how a given maximal planar graph is generated. Second, a special class of maximal planar graphs--recursive maximal planar graphs is researched in depth, which lays a foundation for solving the uniquely 4-colorable planar graphs conjecture(see subsequent articles). Third, we discover an important mode for classifying 4-colorings: tree-coloring and cycle-coloring, which runs through the whole series of articles. Furthermore, this mode is applied to the research on an arbitrary 4-coloring and its corresponding structure of unions of two and three bicolored subgraphs. Finally, we introduce the concepts of black-white coloring and stamen phenomenon, and find out a necessary and sufficient condition for an even cycle to be a 2-colorable cycle.
Linear embeddings of graphs and graph limits
Published in J. Combin. Th. B 113, July 2015, pp.162-184
• View Publication
• BIB
Consider a random graph process where vertices are chosen from the interval $[0,1]$, and edges are chosen independently at random, but so that, for a given vertex $x$, the probability that there is an edge to a vertex $y$ decreases as the distance between $x$ and $y$ increases. We call this a random graph with a linear embedding. We define a new graph parameter $Γ^*$, which aims to measure the similarity of the graph to an instance of a random graph with a linear embedding. For a graph $G$, $Γ^*(G)=0$ if and only if $G$ is a unit interval graph, and thus a deterministic example of a graph with a linear embedding. We show that the behaviour of $Γ^*$ is consistent with the notion of convergence as defined in the theory of dense graph limits. In this theory, graph sequences converge to a symmetric, measurable function on $[0,1]^2$. We define an operator $Γ$ which applies to graph limits, and which assumes the value zero precisely for graph limits that have a linear embedding. We show that, if a graph sequence $\{ G_n\}$ converges to a function $w$, then $\{ Γ^*(G_n)\}$ converges as well. Moreover, there exists a function $w^*$ arbitrarily close to $w$ under the box distance, so that $\lim_{n\rightarrow \infty}Γ^*(G_n)$ is arbitrarily close to $Γ(w^*)$.
Random graph products of finite groups are rational duality groups
Published in J. of Topology 7 (2014), 589-606
• View Publication
• BIB
Given an edge-independent random graph G(n,p), we determine various facts about the cohomology of graph products of groups for the graph G(n,p). In particular, the random graph product of a sequence of finite groups is a rational duality group with probability tending to 1 as n goes to infinity. This includes random right angled Coxeter groups as a special case.
Functions preserving positive definiteness for sparse matrices
Published
• View Publication
• BIB
We consider the problem of characterizing entrywise functions that preserve the cone of positive definite matrices when applied to every off-diagonal element. Our results extend theorems of Schoenberg [Duke Math. J. 9], Rudin [Duke Math. J. 26], Christensen and Ressel [Trans. Amer. Math. Soc., 243], and others, where similar problems were studied when the function is applied to all elements, including the diagonal ones. It is shown that functions that are guaranteed to preserve positive definiteness cannot at the same time induce sparsity, i.e., set elements to zero. These results have important implications for the regularization of positive definite matrices, where functions are often applied to only the off-diagonal elements to obtain sparse matrices with better properties (e.g., Markov random field/graphical model structure, better condition number). As a particular case, it is shown that \emph{soft-thresholding}, a commonly used operation in modern high-dimensional probability and statistics, is not guaranteed to maintain positive definiteness, even if the original matrix is sparse. This result has a deep connection to graphs, and in particular, to the class of trees. We then proceed to fully characterize functions which do preserve positive definiteness. This characterization is in terms of absolutely monotonic functions and turns out to be quite different from the case when the function is also applied to diagonal elements. We conclude by giving bounds on the condition number of a matrix which guarantee that the regularized matrix is positive definite.
Covering cubic graphs with matchings of large size
Let m be a positive integer and let G be a cubic graph of order 2n. We consider the problem of covering the edge-set of G with the minimum number of matchings of size m. This number is called excessive [m]-index of G in literature. The case m=n, that is a covering with perfect matchings, is known to be strictly related to an outstanding conjecture of Berge and Fulkerson. In this paper we study in some details the case m=n-1. We show how this parameter can be large for cubic graphs with low connectivity and we furnish some evidence that each cyclically 4-connected cubic graph of order 2n has excessive [n-1]-index at most 4. Finally, we discuss the relation between excessive [n-1]-index and some other graph parameters as oddness and circumference.
Locally arc-transitive graphs of valence $\{3,4\}$ with trivial edge kernel
In this paper we consider connected locally $G$-arc-transitive graphs with vertices of valence 3 and 4, such that the kernel $G_{uv}^{[1]}$ of the action of an edge-stabiliser on the neighourhood $Γ(u) \cup Γ(v)$ is trivial. We find nineteen finitely presented groups with the property that any such group $G$ is a quotient of one of these groups. As an application, we enumerate all connected locally arc-transitive graphs of valence ${3,4}$ on at most 350 vertices whose automorphism group contains a locally arc-transitive subgroup $G$ with $G_{uv}^{[1]} = 1$.
A stability result for balanced dictatorships in $S_{n}$
Published
• View Publication
• BIB
We prove that a balanced Boolean function on $S_{n}$ whose Fourier transform is highly concentrated on the first two irreducible representations of $S_{n}$, is close in structure to a dictatorship, a function which is determined by the image or pre-image of a single element. As a corollary, we obtain a stability result concerning extremal isoperimetric sets in the Cayley graph on $S_{n}$ generated by the transpositions. Our proof works in the case where the expectation of the function is bounded away from $0$ and $1$. In contrast, [Ellis, D., Filmus, Y., Friedgut, E., A quasi-stability result for dictatorships in $S_{n}$, Combinatorica 35 (2015), pp. 573-618] deals with Boolean functions of expectation O(1/n) whose Fourier transform is highly concentrated on the first two irreducible representations of $S_{n}$. These need not be close to dictatorships; rather, they must be close to a union of a constant number of cosets of point-stabilizers.
A new graph invariant arises in toric topology
Published in J. Math. Soc. Japan, 67(2) (2015), 699-720
• View Publication
• BIB
In this paper, we introduce new combinatorial invariants of any finite simple graph, which arise in toric topology. We compute the $i$-th (rational) Betti number and Euler characteristic of the real toric variety associated to a graph associahedron $P_{\B(G)}$. They can be calculated by a purely combinatorial method (in terms of graphs) and are named $a_i(G)$ and $b(G)$, respectively. To our surprise, for specific families of the graph $G$, our invariants are deeply related to well-known combinatorial sequences such as the Catalan numbers and Euler zigzag numbers.
Turan numbers for bipartite graphs plus an odd cycle
Published
• View Publication
• BIB
For an odd integer $k$, let $\mathcal{C}_k = \{C_3,C_5,...,C_k\}$ denote the family of all odd cycles of length at most $k$ and let $\mathcal{C}$ denote the family of all odd cycles. Erdős and Simonovits \cite{ESi1} conjectured that for every family $\mathcal{F}$ of bipartite graphs, there exists $k$ such that $\ex{n}{\mathcal{F} \cup \mathcal{C}_k} \sim \ex{n}{\mathcal{F} \cup \mathcal{C}}$ as $n \rightarrow \infty$. This conjecture was proved by Erdős and Simonovits when $\mathcal{F} = \{C_4\}$, and for certain families of even cycles in \cite{KSV}. In this paper, we give a general approach to the conjecture using Scott's sparse regularity lemma. Our approach proves the conjecture for complete bipartite graphs $K_{2,t}$ and $K_{3,3}$: we obtain more strongly that for any odd $k \geq 5$, \[ \ex{n}{\mathcal{F} \cup \{C_k\}} \sim \ex{n}{\mathcal{F} \cup \mathcal{C}}\] and we show further that the extremal graphs can be made bipartite by deleting very few edges. In contrast, this formula does not extend to triangles -- the case $k = 3$ -- and we give an algebraic construction for odd $t \geq 3$ of $K_{2,t}$-free $C_3$-free graphs with substantially more edges than an extremal $K_{2,t}$-free bipartite graph on $n$ vertices. Our general approach to the Erdős-Simonovits conjecture is effective based on some reasonable assumptions on the maximum number of edges in an $m$ by $n$ bipartite $\mathcal{F}$-free graph.