graph
34828 papers tagged with this keyword
On Sidorenko's conjecture for determinants and Gaussian Markov random fields
Published
• View Publication
• BIB
We study a class of determinant inequalities that are closely related to Sidorenko's famous conjecture (Also conjectured by Erd\H os and Simonovits in a different form). Our results can also be interpreted as entropy inequalities for Gaussian Markov random fields (GMRF). We call a GMRF on a finite graph $G$ homogeneous if the marginal distributions on the edges are all identical. We show that if $G$ satisfies Sidorenko's conjecture then the differential entropy of any homogeneous GMRF on $G$ is at least $|E(G)|$ times the edge entropy plus $|V(G)|-2|E(G)|$ times the point entropy. We also prove this inequality in a large class of graphs for which Sidorenko's conjecture is not verified including the so-called Möbius ladder: $K_{5,5}\setminus C_{10}$. The connection between Sidorenko's conjecture and GMRF's is established via a large deviation principle on high dimensional spheres combined with graph limit theory.
The Eigenvalues of the Graphs $D(4,q)$
Published
• View Publication
• BIB
The graphs $D(k,q)$ have connected components $CD(k,q)$ giving the best known bounds on extremal problems with {\em forbidden\/} even cycles, and are denser than the well-known graphs of Lubotzky, Phillips, Sarnak and Margulis. Despite this, little about the spectrum and expansion properties of these graphs is known. In this paper we find the spectrum for $k=4$, the smallest open case. For each prime power $q$, the graph $D(4,q)$ is $q$-regular graph on $2q^4$ vertices, all of whose eigenvalues other than $\pm q$ are bounded in absolute value by $2\sqrt{q}$. Accordingly, these graphs are good expanders, in fact very close to Ramanujan.
Finitely forcible graph limits are universal
Published
• View Publication
• BIB
The theory of graph limits represents large graphs by analytic objects called graphons. Graph limits determined by finitely many graph densities, which are represented by finitely forcible graphons, arise in various scenarios, particularly within extremal combinatorics. Lovasz and Szegedy conjectured that all such graphons possess a simple structure, e.g., the space of their typical vertices is always finite dimensional; this was disproved by several ad hoc constructions of complex finitely forcible graphons. We prove that any graphon is a subgraphon of a finitely forcible graphon. This dismisses any hope for a result showing that finitely forcible graphons possess a simple structure, and is surprising when contrasted with the fact that finitely forcible graphons form a meager set in the space of all graphons. In addition, since any finitely forcible graphon represents the unique minimizer of some linear combination of densities of subgraphs, our result also shows that such minimization problems, which conceptually are among the simplest kind within extremal graph theory, may in fact have unique optimal solutions with arbitrarily complex structure.
Partially metric association schemes with a multiplicity three
Published
• View Publication
• BIB
An association scheme is called partially metric if it has a connected relation whose distance-two relation is also a relation of the scheme. In this paper we determine the symmetric partially metric association schemes with a multiplicity three. Besides the association schemes related to regular complete $4$-partite graphs, we obtain the association schemes related to the Platonic solids, the bipartite double scheme of the dodecahedron, and three association schemes that are related to well-known $2$-arc-transitive covers of the cube: the Möbius-Kantor graph, the Nauru graph, and the Foster graph F048A. In order to obtain this result, we also determine the symmetric association schemes with a multiplicity three and a connected relation with valency three. Moreover, we construct an infinite family of cubic arc-transitive $2$-walk-regular graphs with an eigenvalue with multiplicity three that give rise to non-commutative association schemes with a symmetric relation of valency three and an eigenvalue with multiplicity three.
From Curves to Tropical Jacobians and Back
Published
• View Publication
• BIB
Given a curve defined over an algebraically closed field which is complete with respect to a nontrivial valuation, we study its tropical Jacobian. This is done by first tropicalizing the curve, and then computing the Jacobian of the resulting weighted metric graph. In general, it is not known how to find the abstract tropicalization of a curve defined by polynomial equations, since an embedded tropicalization may not be faithful, and there is no known algorithm for carrying out semistable reduction in practice. We solve this problem in the case of hyperelliptic curves by studying admissible covers. We also describe how to take a weighted metric graph and compute its period matrix, which gives its tropical Jacobian and tropical theta divisor. Lastly, we describe the present status of reversing this process, namely how to compute a curve which has a given matrix as its period matrix.
Additive bases and flows in graphs
Published in SIAM Journal on Discrete Mathematics 32(1) (2018), 534-542
• View Publication
• BIB
It was conjectured by Jaeger, Linial, Payan, and Tarsi in 1992 that for any prime number $p$, there is a constant $c$ such that for any $n$, the union (with repetition) of the vectors of any family of $c$ linear bases of $\mathbb{Z}_p^n$ forms an additive basis of $\mathbb{Z}_p^n$ (i.e. any element of $\mathbb{Z}_p^n$ can be expressed as the sum of a subset of these vectors). In this note, we prove this conjecture when each vector contains at most two non-zero entries. As an application, we prove several results on flows in highly edge-connected graphs, extending known results. For instance, assume that $p\ge 3$ is a prime number and $\vec{G}$ is a directed, highly edge-connected graph in which each arc is given a list of two distinct values in $\mathbb{Z}_p$. Then $\vec{G}$ has a $\mathbb{Z}_p$-flow in which each arc is assigned a value of its own list.
Discretization of continuous-time quantum walks via the staggered model with Hamiltonians
Published
• View Publication
• BIB
We characterize a close connection between the continuous-time quantum-walk model and a discrete-time quantum-walk version, based on the staggered model with Hamiltonians in a class of Cayley graphs, which can be considered as a discretization of continuous-time quantum walks. This connection provides examples of perfect state transfer and instantaneous uniform mixing in the staggered model. On the other hand, we provide some more examples of perfect state transfer and instantaneous uniform mixing in the staggered model that cannot be reproduced by the continuous-time model.
Counting Dominating Sets of Graphs
Published
• View Publication
• BIB
Counting dominating sets in a graph $G$ is closely related to the neighborhood complex of $G$. We exploit this relation to prove that the number of dominating sets $d(G)$ of a graph is determined by the number of complete bipartite subgraphs of its complement. More precisely, we state the following. Let $G$ be a simple graph of order $n$ such that its complement has exactly $a(G)$ subgraphs isomorphic to $K_{2p,2q}$ and exactly $b(G)$ subgraphs isomorphic to $K_{2p+1,2q+1}$. Then $d(G) = 2^n -1 + 2[a(G)-b(G)]$. We also show some new relations between the domination polynomial and the neighborhood polynomial of a graph.
Selecting optimal minimum spanning trees that share a topological correspondence with phylogenetic trees
Choi et. al (2011) introduced a minimum spanning tree (MST)-based method called CLGrouping, for constructing tree-structured probabilistic graphical models, a statistical framework that is commonly used for inferring phylogenetic trees. While CLGrouping works correctly if there is a unique MST, we observe an indeterminacy in the method in the case that there are multiple MSTs. In this work we remove this indeterminacy by introducing so-called vertex-ranked MSTs. We note that the effectiveness of CLGrouping is inversely related to the number of leaves in the MST. This motivates the problem of finding a vertex-ranked MST with the minimum number of leaves (MLVRMST). We provide a polynomial time algorithm for the MLVRMST problem, and prove its correctness for graphs whose edges are weighted with tree-additive distances.
Predicting some physicochemical properties of octane isomers: A topological approach using ev-degree and ve-degree Zagreb indices
Published
• View Publication
• BIB
Topological indices have important role in theoretical chemistry for QSPR researches. Among the all topological indices the Randić and the Zagreb indices have been used more considerably than any other topological indices in chemical and mathematical literature. Most of the topological indices as in the Randić and the Zagreb indices are based on the degrees of the vertices of a connected graph. Recently novel two degree concepts have been defined in graph theory; ev-degrees and ve-degrees. In this study we define ev-degree Zagreb index, ve-degree Zagreb indices and ve-degree Randić index by using these new graph invariants as parallel to their corresponding classical degree versions. We compare these new group ev-degree and ve-degree indices with the other well-known and most used topological indices in literature such as; Wiener, Zagreb and Randić indices by modelling some physicochemical properties of octane isomers. We show that the ev-degree Zagreb index, the ve-degree Zagreb and the ve-degree Randić indices give better correlation than Wiener, Zagreb and Randić indices to predict the some specific physicochemical properties of octanes. We investigate the relations between the second Zagreb index and ev-degree and ve-degree Zagreb indices and some mathematical properties of ev-degree and ve-degree Zagreb indices. Keywords:
$k$-shellable simplicial complexes and graphs
Published
• View Publication
• BIB
In this paper we show that a $k$-shellable simplicial complex is the expansion of a shellable complex. We prove that the face ring of a pure $k$-shellable simplicial complex satisfies the Stanley conjecture. In this way, by applying expansion functor to the face ring of a given pure shellable complex, we construct a large class of rings satisfying the Stanley conjecture.
Also, by presenting some characterizations of $k$-shellable graphs, we extend some results due to Castrillón-Cruz, Cruz-Estrada and Van Tuyl-Villareal.
Decomposing edge-colored graphs under color degree constraints
Published
• View Publication
• BIB
For an edge-colored graph $G$, the minimum color degree of $G$ means the minimum number of colors on edges which are adjacent to each vertex of $G$. We prove that if $G$ is an edge-colored graph with minimum color degree at least $5$ then $V(G)$ can be partitioned into two parts such that each part induces a subgraph with minimum color degree at least $2$. We show this theorem by proving a much stronger form. Moreover, we point out an important relationship between our theorem and Bermond-Thomassen's conjecture in digraphs.
The Saturation Number of Induced Subposets of the Boolean Lattice
Published
• View Publication
• BIB
Given a poset $P$, a family $F$ of elements in the Boolean lattice is said to be $P$-saturated if (1) $F$ contains no copy of $P$ as a subposet and (2) every proper superset of $F$ contains a copy of $P$ as a subposet. The maximum size of a $P$-saturated family is denoted by $La(n,P)$, which has been studied for a number of choices of $P$. The minimum size of a $P$-saturated family, $sat(n,P)$, was introduced by Gerbner et al. (2013), and parallels the deep literature on the saturation function for graphs.
We introduce and study the concept of saturation for induced subposets. As opposed to induced saturation in graphs, the above definition of saturation for posets extends naturally to the induced setting. We give several exact results and a number of bounds on the induced saturation number for several small posets. We also use a transformation to the biclique cover problem to prove a logarithmic lower bound for a rich infinite family of target posets.
Problems on Matchings and Independent Sets of a Graph
Published in Discrete Mathematics, Volume 341, Issue 6, June 2018, Pages 1561--1572
• View Publication
• BIB
Let $G$ be a finite simple graph. For $X \subset V(G)$, the difference of $X$, $d(X) := |X| - |N (X)|$ where $N(X)$ is the neighborhood of $X$ and $\max \, \{d(X):X\subset V(G)\}$ is called the critical difference of $G$. $X$ is called a critical set if $d(X)$ equals the critical difference and ker$(G)$ is the intersection of all critical sets. It is known that ker$(G)$ is an independent (vertex) set of $G$. diadem$(G)$ is the union of all critical independent sets. An independent set $S$ is an inclusion minimal set with $d(S) > 0$ if no proper subset of $S$ has positive difference.
A graph $G$ is called König-Egerváry if the sum of its independence number ($α(G)$) and matching number ($μ(G)$) equals $|V(G)|$. It is known that bipartite graphs are König-Egerváry.
In this paper, we study independent sets with positive difference for which every proper subset has a smaller difference and prove a result conjectured by Levit and Mandrescu in 2013. The conjecture states that for any graph, the number of inclusion minimal sets $S$ with $d(S) > 0$ is at least the critical difference of the graph. We also give a short proof of the inequality $|$ker$(G)| + |$diadem$(G)| \le 2α(G)$ (proved by Short in 2016).
A characterization of unicyclic non-König-Egerváry graphs is also presented and a conjecture which states that for such a graph $G$, the critical difference equals $α(G) - μ(G)$, is proved.
We also make an observation about ker$G)$ using Edmonds-Gallai Structure Theorem as a concluding remark.
Apartments preserving transformations of Grassmannians of infinite-dimensional vector spaces
Published
• View Publication
• BIB
We define the Grassmannians of an infinite-dimensional vector space $V$ as the orbits of the action of the general linear group ${\rm GL}(V)$ on the set of all subspaces. Let ${\mathcal G}$ be one of these Grassmannians. An apartment in ${\mathcal G}$ is the set of all elements of ${\mathcal G}$ spanned by subsets of a certain basis of $V$. We show that every bijective transformation $f$ of ${\mathcal G}$ such that $f$ and $f^{-1}$ send apartments to apartments is induced by a semilinear automorphism of $V$. In the case when ${\mathcal G}$ consists of subspaces whose dimension and codimension both are infinite, a such kind result will be proved also for the connected components of the associated Grassmann graph.
Modularity of complex networks models
Published
• View Publication
• BIB
Modularity is designed to measure the strength of division of a network into clusters (known also as communities). Networks with high modularity have dense connections between the vertices within clusters but sparse connections between vertices of different clusters. As a result, modularity is often used in optimization methods for detecting community structure in networks, and so it is an important graph parameter from a practical point of view. Unfortunately, many existing non-spatial models of complex networks do not generate graphs with high modularity; on the other hand, spatial models naturally create clusters. We investigate this phenomenon by considering a few examples from both sub-classes. We prove precise theoretical results for the classical model of random d-regular graphs as well as the preferential attachment model, and contrast these results with the ones for the spatial preferential attachment (SPA) model that is a model for complex networks in which vertices are embedded in a metric space, and each vertex has a sphere of influence whose size increases if the vertex gains an in-link, and otherwise decreases with time. The results obtained in this paper can be used for developing statistical tests for models selection and to measure statistical significance of clusters observed in complex networks.
A Coordinate System for Graphs
In this paper, a function on any pair of graphs is defined whose properties are similar to the properties of dot product in vector space. This function enables us to define graph orthogonality and, also, a new metric on isomorphism classes of $n$-vertex graphs. Using dot product of graphs, a coordinate system for graphs is provided which benefits us in graph isomorphism and related problems.
Tangle-tree duality in abstract separation systems
Published in Adv. Math., 377(Article 107470), January 2021
• View Publication
• BIB
We prove a general width duality theorem for combinatorial structures with well-defined notions of cohesion and separation. These might be graphs and matroids, but can be much more general or quite different. The theorem asserts a duality between the existence of high cohesiveness somewhere local and a global overall tree structure.
We describe cohesive substructures in a unified way in the format of tangles: as orientations of low-order separations satisfying certain consistency axioms. These axioms can be expressed without reference to the underlying structure, such as a graph or matroid, but just in terms of the poset of the separations themselves. This makes it possible to identify tangles, and apply our tangle-tree duality theorem, in very diverse settings.
Our result implies all the classical duality theorems for width parameters in graph minor theory, such as path-width, tree-width, branch-width or rank-width. It yields new, tangle-type, duality theorems for tree-width and path-width. It implies the existence of width parameters dual to cohesive substructures such as $k$-blocks, edge-tangles, or given subsets of tangles, for which no width duality theorems were previously known.
Abstract separation systems can be found also in structures quite unlike graphs and matroids. For example, our theorem can be applied to image analysis by capturing the regions of an image as tangles of separations defined as natural partitions of its set of pixels. It can be applied in big data contexts by capturing clusters as tangles. It can be applied in the social sciences, e.g. by capturing as tangles the few typical mindsets of individuals found by a survey. It could also be applied in pure mathematics, e.g. to separations of compact manifolds.
On chordal and perfect plane near-triangulations
Published
• View Publication
• BIB
A plane near-triangulation G can be decomposed into a collection of induced subgraphs, described here as the W-components of G, such that G is perfect (respectively, chordal) if and only if each of its W-components is perfect (respectively, chordal). Each W-component is a 2-connected plane near-triangulation, free of edge separators and separating triangles. Graphs satisfying these conditions will be called W-near-triangulations. A linear time decomposition of G into its W-components is achievable using known techniques from the literature. W-near-triangulations have the property that the open neighbourhood of every internal vertex induces a cycle. It follows that a W-near-triangulation H of at least five vertices is non-chordal if and only if it contains an internal vertex. This yields a local structural characterization that a plane near-triangulation G is chordal if and only if it does not contain an induced wheel of at least five vertices. For W-near-triangulations that are free of induced wheels of five vertices, we derive a similar local criteria, that depends only on the neighbourhoods of individual vertices and faces, for checking perfectness. We show that a W-near-triangulation H that is free of any induced wheel of five vertices is perfect if and only if there exists neither an internal vertex x, nor a face f such that, the neighbours of x or f induces an odd hole. The above characterization leads to a linear time algorithm for determining perfectness of this class of graphs.
The graphs of join-semilattices and the shape of congruence lattices of particle lattices
We attach to each $\langle 0, \vee \rangle$-semilattice a graph $\boldsymbol{G}_{\boldsymbol{S}}$ whose vertices are join-irreducible elements of $\boldsymbol{S}$ and whose edges correspond to the reflexive dependency relation. We study properties of the graph $\boldsymbol{G}_{\boldsymbol{S}}$ both when $\boldsymbol{S}$ is a join-semilattice and when it is a lattice. We call a $\langle 0, \vee \rangle$-semilattice $\boldsymbol{S}$ particle provided that the set of its join-irreducible elements join-generates $\boldsymbol{S}$ and it satisfies DCC. We prove that the congruence lattice of a particle lattice is anti-isomorphic to the lattice of hereditary subsets of the corresponding graph that are closed in a certain zero-dimensional topology. Thus we extend the result known for principally chain finite lattices.