graph
34961 papers tagged with this keyword
The Total Irregularity of Graphs under Graph Operations
Published
• View Publication
• BIB
The total irregularity of a graph $G$ is defined as $\irr_t(G)=1/2 \sum_{u,v \in V(G)}$ $|d_G(u)-d_G(v)|$, where $d_G(u)$ denotes the degree of a vertex $u \in V(G)$. In this paper we give (sharp) upper bounds on the total irregularity of graphs under several graph operations including join, lexicographic product, Cartesian product, strong product, direct product, corona product, disjunction and symmetric difference.
Evasive Properties of Sparse Graphs and Some Linear Equations in Primes
Published
• View Publication
• BIB
We give an unconditional version of a conditional, on the Extended Riemann Hypothesis, result of L. Babai, A. Banerjee, R. Kulkarni and V. Naik (2010) on the evasiveness of sparse graphs.
On k-wise intersecting families of vertex sets in perfect matchings
We consider the following generalization of the seminal Erdős-Ko-Rado theorem, due to Frankl. For k>= 2, let F be a k-wise intersecting family of r-subsets of an n element set X, i.e. any k sets in F have a nonempty intersection. If r<= (k-1/k)n, then |F|<={n-1 \choose r-1}. We extend Frankl's theorem in a graph-theoretic direction. For a graph G, and r>=1, let P^r(G) be the family of all r-subsets of the vertex set of G such that every r-subset is either an independent set or contains a maximum independent set. We will consider k-wise intersecting subfamilies of this family for the graph M_n, where M_n is the perfect matching on 2n vertices, and prove an analog of Frankl's theorem. This result can also be considered as an extension of a theorem of Bollobás and Leader for intersecting families of independent vertex sets in M_n.
Spectral extremal problems for hypergraphs
Published
• View Publication
• BIB
In this paper we consider spectral extremal problems for hypergraphs. We give two general criteria under which such results may be deduced from `strong stability' forms of the corresponding (pure) extremal results. These results hold for the α-spectral radius defined using the α-norm for any α>1; the usual spectrum is the case α=2.
Our results imply that any hypergraph Turán problem which has the stability property and whose extremal construction satisfies some rather mild continuity assumptions admits a corresponding spectral result. A particular example is to determine the maximum α-spectral radius of any 3-uniform hypergraph on n vertices not containing the Fano plane, when n is sufficiently large. Another is to determine the maximum α-spectral radius of any graph on n vertices not containing some fixed colour-critical graph, when n is sufficiently large; this generalizes a theorem of Nikiforov who proved stronger results in the case α=2. We also obtain an α-spectral version of the Erdős-Ko-Rado theorem on t-intersecting k-uniform hypergraphs.
Coloring of a Digraph
\qquad A \emph{coloring} of a digraph $D=(V,E)$ is a coloring of its vertices following the rule: Let $uv$ be an arc in $D$. If the tail $u$ is colored first, then the head $v$ should receive a color different from that of $u$. The \emph{dichromatic number} $χ_d(D)$ of $D$ is the minimum number of colors needed in a coloring of $D$. Besides obtaining many results and bounds for $χ_d(D)$ analogous to that of chromatic number of a graph, we prove $χ_d(D)=1$ if $D$ is acyclic. New notions of sequential colorings of graphs/digraphs are introduced. A characterization of acyclic digraph is obtained interms of $L$-matrix of a vertex labeled digraph.
Characterizations of 2-Colorable (Bipartite) and 3-Colorable Graphs
A \emph{directional labeling} of an edge $\emph{uv}$ in a graph $G=(V,E)$ by an ordered pair $ab$ is a labeling of the edge $uv$ such that the label on $uv$ in the direction from $u$ to $v$ is $\ell(uv)=ab$, and $\ell(vu)=ba$. New characterizations of 2-colorable (bipartite) and 3-colorable graphs are obtained in terms of directional labeling of edges of a graph by ordered pairs $ab$ and $ba$. In addition we obtain characterizations of 2-colorable and 3-colorable graphs in terms of matrices called directional adjacency matrices.
On d-Walk Regular Graphs
Let G be a graph with set of vertices 1,...,n and adjacency matrix A of size nxn. Let d(i,j)=d, we say that f_d:N->N is a d-function on G if for every pair of vertices i,j and k>=d, we have a_ij^(k)=f_d(k). If this function f_d exists on G we say that G is d-walk regular. We prove that G is d-walk regular if and only if for every pair of vertices i,j at distance <=d and for d<=k<=n+d-1, we have that a_ij^(k) is independent of the pair i,j. Equivalently, the single condition exp(A)*A_d=cA_d holds for some constant c, where A_d is the adjacency matrix of the d-distance graph and * denotes the Schur product.
Enumeration of bipartite graphs and bipartite blocks
Published in The Electronic Journal of Combinatorics 21.2 (2014): P2-40
• View Publication
• BIB
Using the theory of combinatorial species, we compute the cycle index for bipartite graphs, which we use to count unlabeled bipartite graphs and bipartite blocks.
A problem of Erdos and Sos on 3-graphs
Published
• View Publication
• BIB
We show that for every positive epsilon there exist positive delta and n_0 such that every 3-uniform hypergraph on n>=n_0 vertices with the property that every k-vertex subset, where k>=delta*n, induces at least (1/4 + epsilon)*{k \choose 3} edges, contains K4- as a subgraph, where K4- is the 3-uniform hypergraph on 4 vertices with 3 edges. This question was originally raised by Erdos and Sos. The constant 1/4 is the best possible.
The q-Analog of the Middle Levels Problem
Published
• View Publication
• BIB
The well-known middle levels problem is to find a Hammiltonian cycle in the graph induced from the binary Hamming graph $\cH_2(2k+1)$ by the words of weight $k$ or $k+1$. In this paper we define the $q$-analog of the middle levels problem. Let $n=2k+1$ and let $q$ be a power of a prime number. Consider the set of $(k+1)$-dimensional subspaces and the set of $k$-dimensional subspaces of $\F_q^n$. Can these subspaces be ordered in a way that for any two adjacent subspaces $X$ and $Y$, either $X \subset Y$ or $Y \subset X$? A construction method which yields many Hamiltonian cycles for any given $q$ and $k=2$ is presented.
Latency-Bounded Target Set Selection in Social Networks
Published
• View Publication
• BIB
Motivated by applications in sociology, economy and medicine, we study variants of the Target Set Selection problem, first proposed by Kempe, Kleinberg and Tardos. In our scenario one is given a graph $G=(V,E)$, integer values $t(v)$ for each vertex $v$ (\emph{thresholds}), and the objective is to determine a small set of vertices (\emph{target set}) that activates a given number (or a given subset) of vertices of $G$ \emph{within} a prescribed number of rounds. The activation process in $G$ proceeds as follows: initially, at round 0, all vertices in the target set are activated; subsequently at each round $r\geq 1$ every vertex of $G$ becomes activated if at least $t(v)$ of its neighbors are already active by round $r-1$. It is known that the problem of finding a minimum cardinality Target Set that eventually activates the whole graph $G$ is hard to approximate to a factor better than $O(2^{\log^{1-ε}|V|})$. In this paper we give \emph{exact} polynomial time algorithms to find minimum cardinality Target Sets in graphs of bounded clique-width, and \emph{exact} linear time algorithms for trees.
Proving the Pressing Game Conjecture on Linear Graphs
Published
• View Publication
• BIB
The pressing game on black-and-white graphs is the following: Given a graph $G(V,E)$ with its vertices colored with black and white, any black vertex $v$ can be pressed, which has the following effect: (a) all neighbors of $v$ change color, i.e. white neighbors become black and \emph{vice versa}, (b) all pairs of neighbors of $v$ change connectivity, i.e. connected pairs become unconnected, unconnected ones become connected, (c) and finally, $v$ becomes a separated white vertex. The aim of the game is to transform $G$ into an all white, empty graph. It is a known result that the all white empty graph is reachable in the pressing game if each component of $G$ contains at least one black vertex, and for a fixed graph, any successful transformation has the same number of pressed vertices.
The pressing game conjecture is that any successful pressing path can be transformed into any other successful pressing path with small alterations. Here we prove the conjecture for linear graphs. The connection to genome rearrangement and sorting signed permutations with reversals is also discussed.
Symmetry Type Graphs of Abstract Polytopes and Maniplexes
Published
• View Publication
• BIB
A $k$-orbit maniplex is one that has $k$ orbits of flags under the action of its automorphism group. In this paper we extend the notion of symmetry type graphs of maps to that of maniplexes and polytopes and make use of them to study $k$-orbit maniplexes, as well as fully-transitive 3-maniplexes. In particular, we show that there are no fully-transtive $k$-orbit 3-mainplexes with $k > 1$ an odd number, we classify 3-orbit mainplexes and determine all face transitivities for 3- and 4-orbit maniplexes. Moreover, we give generators of the automorphism group of a polytope or a maniplex, given its symmetry type graph. Finally, we extend these notions to oriented polytopes, in particular we classify oriented 2-orbit maniplexes and give generators for their orientation preserving automorphism group.
Partial Star Products: A Local Covering Approach for the Recognition of Approximate Cartesian Product Graphs
Published
• View Publication
• BIB
This paper is concerned with the recognition of approximate graph products with respect to the Cartesian product. Most graphs are prime, although they can have a rich product-like structure. The proposed algorithms are based on a local approach that covers a graph by small subgraphs, so-called partial star products, and then utilizes this information to derive the global factors and an embedding of the graph under investigation into Cartesian product graphs.
Intrinsically knotted graphs with 21 edges
We show that the 14 graphs obtained by $\nabla\mathrm{Y}$ moves on K_7 constitute a complete list of the minor minimal intrinsically knotted graphs on 21 edges. We also present evidence in support of a conjecture that the 20 graph Heawood family, obtained by a combination of $\nabla\mathrm{Y}$ and $\mathrm{Y}\nabla$ moves on K_7, is the list of graphs of size 21 that are minor minimal with respect to the property not 2--apex.
The Merino-Welsh Conjecture holds for Series-Parallel Graphs
Published
• View Publication
• BIB
The Merino-Welsh conjecture asserts that the number of spanning trees of a graph is no greater than the maximum of the numbers of totally cyclic orientations and acyclic orientations of that graph. We prove this conjecture for the class of series-parallel graphs.
A unified approach to structural limits, and limits of graphs with bounded tree-depth
Published in volume 263 number 1272 of Memoirs of the American Mathematical Society. AMS, 2020
• View Publication
• BIB
In this paper we introduce a general framework for the study of limits of relational structures in general and graphs in particular, which is based on a combination of model theory and (functional) analysis. We show how the various approaches to graph limits fit to this framework and that they naturally appear as "tractable cases" of a general theory. As an outcome of this, we provide extensions of known results. We believe that this put these into next context and perspective. For example, we prove that the sparse--dense dichotomy exactly corresponds to random free graphons. The second part of the paper is devoted to the study of sparse structures. First, we consider limits of structures with bounded diameter connected components and we prove that in this case the convergence can be "almost" studied component-wise. We also propose the structure of limits objects for convergent sequences of sparse structures. Eventually, we consider the specific case of limits of colored rooted trees with bounded height and of graphs with bounded tree-depth, motivated by their role of elementary brick these graphs play in decompositions of sparse graphs, and give an explicit construction of a limit object in this case. This limit object is a graph built on a standard probability space with the property that every first-order definable set of tuples is measurable. This is an example of the general concept of {\em modeling} we introduce here. Our example is also the first "intermediate class" with explicitly defined limit structures.
Excluding Graphs as Immersions in Surface Embedded Graphs
Published
• View Publication
• BIB
We prove a structural characterization of graphs that forbid a fixed graph $H$ as an immersion and can be embedded in a surface of Euler genus $γ$. In particular, we prove that a graph $G$ that excludes some connected graph $H$ as an immersion and is embedded in a surface of Euler genus $γ$ has either "small" treewidth (bounded by a function of $H$ and $γ$) or "small" edge connectivity (bounded by the maximum degree of $H$). Using the same techniques we also prove an excluded grid theorem on bounded genus graphs for the immersion relation.
Powers of squarefree monomial ideals and combinatorics
Published in In Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday, I. Peeva (ed.), 2013, pp. 373-392
• View Publication
• BIB
We survey research relating algebraic properties of powers of squarefree monomial ideals to combinatorial structures. In particular, we describe how to detect important properties of (hyper)graphs by solving ideal membership problems and computing associated primes. This work leads to algebraic characterizations of perfect graphs independent of the Strong Perfect Graph Theorem. In addition, we discuss the equivalence between the Conforti-Cornuejols conjecture from linear programming and the question of when symbolic and ordinary powers of squarefree monomial ideals coincide.
Connectivity patterns in loop percolation I: the rationality phenomenon and constant term identities
Published
• View Publication
• BIB
Loop percolation, also known as the dense O(1) loop model, is a variant of critical bond percolation in the square lattice Z^2 whose graph structure consists of a disjoint union of cycles. We study its connectivity pattern, which is a random noncrossing matching associated with a loop percolation configuration. These connectivity patterns exhibit a striking rationality property whereby probabilities of naturally-occurring events are dyadic rational numbers or rational functions of a size parameter n, but the reasons for this are not completely understood. We prove the rationality phenomenon in a few cases and prove an explicit formula expressing the probabilities in the "cylindrical geometry" as coefficients in certain multivariate polynomials. This reduces the rationality problem in the general case to that of proving a family of conjectural constant term identities generalizing an identity due to Di Francesco and Zinn-Justin. Our results make use of, and extend, algebraic techniques related to the quantum Knizhnik-Zamolodchikov equation.