graph
34905 papers tagged with this keyword
Small cancellation labellings of some infinite graphs and applications
Published
• View Publication
• BIB
We construct small cancellation labellings for some infinite sequences of finite graphs of bounded degree. We use them to define infinite graphical small cancellation presentations of groups. This technique allows us to provide examples of groups with exotic properties:
- We construct the first examples of finitely generated coarsely non-amenable groups (that is, groups without Guoliang Yu's Property A) that are coarsely embeddable into a Hilbert space. Moreover, our groups act properly on CAT(0) cubical complexes.
- We construct the first examples of finitely generated groups, with expanders embedded isometrically into their Cayley graphs - in contrast,in the case of the Gromov monster expanders are not even coarsely embedded.
We present further applications.
The Bernardi process and torsor structures on spanning trees
Published
• View Publication
• BIB
Let G be a ribbon graph, i.e., a connected finite graph G together with a cyclic ordering of the edges around each vertex. By adapting a construction due to O. Bernardi, we associate to any pair (v,e) consisting of a vertex v and an edge e adjacent to v a bijection between spanning trees of G and elements of the set Pic^g(G) of degree g divisor classes on G, where g is the genus of G. Using the natural action of the Picard group Pic^0(G) on Pic^g(G), we show that the Bernardi bijection gives rise to a simply transitive action β_v of Pic^0(G) on the set of spanning trees which does not depend on the choice of e.
A plane graph has a natural ribbon structure (coming from the counterclockwise orientation of the plane), and in this case we show that β_v is independent of v as well. Thus for plane graphs, the set of spanning trees is naturally a torsor for the Picard group. Conversely, we show that if β_v is independent of v then G together with its ribbon structure is planar. We also show that the natural action of Pic^0(G) on spanning trees of a plane graph is compatible with planar duality.
These findings are formally quite similar to results of Holroyd et al. and Chan-Church-Grochow, who used rotor-routing to construct an action r_v of Pic^0(G) on the spanning trees of a ribbon graph G, which they show is independent of v if and only if G is planar. It is therefore natural to ask how the two constructions are related. We prove that β_v = r_v for all vertices v of G when G is a planar ribbon graph, i.e. the two torsor structures (Bernardi and rotor-routing) on the set of spanning trees coincide. In particular, it follows that the rotor-routing torsor is compatible with planar duality. We conjecture that for every non-planar ribbon graph G, there exists a vertex v with β_v \neq r_v.
Sandpiles, spanning trees, and plane duality
Published
• View Publication
• BIB
Let G be a connected, loopless multigraph. The sandpile group of G is a finite abelian group associated to G whose order is equal to the number of spanning trees in G. Holroyd et al. used a dynamical process on graphs called rotor-routing to define a simply transitive action of the sandpile group of G on its set of spanning trees. Their definition depends on two pieces of auxiliary data: a choice of a ribbon graph structure on G, and a choice of a root vertex. Chan, Church, and Grochow showed that if G is a planar ribbon graph, it has a canonical rotor-routing action associated to it, i.e., the rotor-routing action is actually independent of the choice of root vertex.
It is well-known that the spanning trees of a planar graph G are in canonical bijection with those of its planar dual G*, and furthermore that the sandpile groups of G and G* are isomorphic. Thus, one can ask: are the two rotor-routing actions, of the sandpile group of G on its spanning trees, and of the sandpile group of G* on its spanning trees, compatible under plane duality? In this paper, we give an affirmative answer to this question, which had been conjectured by Baker.
Uniformly resolvable decompositions of K_v into paths on two, three and four vertices
In this paper we consider uniformly resolvable decompositions of the complete graph K_v into subgraphs such that each resolution class contains only blocks isomorphic to the same graph. We completely determine the spectrum for the case in which all the resolution classes consist of either P_2, P_3 and P_4.
Recency-based preferential attachment models
Published
• View Publication
• BIB
Preferential attachment models were shown to be very effective in predicting such important properties of real-world networks as the power-law degree distribution, small diameter, etc. Many different models are based on the idea of preferential attachment: LCD, Buckley-Osthus, Holme-Kim, fitness, random Apollonian network, and many others.
Although preferential attachment models reflect some important properties of real-world networks, they do not allow to model the so-called recency property. Recency property reflects the fact that in many real networks vertices tend to connect to other vertices of similar age. This fact motivated us to introduce a new class of models - recency-based models. This class is a generalization of fitness models, which were suggested by Bianconi and Barabasi. Bianconi and Barabasi extended preferential attachment models with pages' inherent quality or fitness of vertices. When a new vertex is added to the graph, it is joined to some already existing vertices that are chosen with probabilities proportional to the product of their fitness and incoming degree.
We generalize fitness models by adding a recency factor to the attractiveness function. This means that pages are gaining incoming links according to their attractiveness, which is determined by the incoming degree of the page (current popularity), its inherent quality (some page-specific constant) and age (new pages are gaining new links more rapidly).
We analyze different properties of recency-based models. In particular, we show that some distributions of inherent quality lead to the power-law degree distribution.
Entropy compression method applied to graph colorings
Based on the algorithmic proof of Lovász local lemma due to Moser and Tardos, the works of Grytczuk et al. on words, and Dujmović et al. on colorings, Esperet and Parreau developed a framework to prove upper bounds for several chromatic numbers (in particular acyclic chromatic index, star chromatic number and Thue chromatic number) using the so-called \emph{entropy compression method}.
Inspired by this work, we propose a more general framework and a better analysis. This leads to improved upper bounds on chromatic numbers and indices. In particular, every graph with maximum degree $Δ$ has an acyclic chromatic number at most $\frac{3}{2}Δ^{\frac43} + O(Δ)$. Also every planar graph with maximum degree $Δ$ has a facial Thue choice number at most $Δ+ O(Δ^\frac 12)$ and facial Thue choice index at most $10$.
On large girth regular graphs and random processes on trees
Published
• View Publication
• BIB
We study various classes of random processes defined on the regular tree $T_d$ that are invariant under the automorphism group of $T_d$. Most important ones are factor of i.i.d. processes (randomized local algorithms), branching Markov chains and a new class that we call typical processes. Using Glauber dynamics on processes we give a sufficient condition for a branching Markov chain to be factor of i.i.d. Typical processes are defined in a way that they create a correspondence principle between random $d$-reguar graphs and ergodic theory on $T_d$. Using this correspondence principle together with entropy inequalities for typical processes we prove a family of combinatorial statements about random $d$-regular graphs.
Formal Zeta Function Expansions and the Frequency of Ramanujan Graphs
Published
• View Publication
• BIB
We show that logarithmic derivative of the Zeta function of any regular graph is given by a power series about infinity whose coefficients are given in terms of the traces of powers of the graph's Hashimoto matrix.
We then consider the expected value of this power series over random, $d$-regular graph on $n$ vertices, with $d$ fixed and $n$ tending to infinity. Under rather speculative assumptions, we make a formal calculation that suggests that for fixed $d$ and $n$ large, this expected value should have simple poles of residue $-1/2$ at $\pm (d-1)^{-1/2}$. We shall explain that calculation suggests that for fixed $d$ there is an $f(d)>1/2$ such that a $d$-regular graph on $n$ vertices is Ramanujan with probability at least $f(d)$ for $n$ sufficiently large.
Our formal computation has a natural analogue when we consider random covering graphs of degree $n$ over a fixed, regular "base graph." This again suggests that for $n$ large, a strict majority of random covering graphs are relatively Ramanujan.
We do not regard our formal calculations as providing overwhelming evidence regarding the frequency of Ramanujan graphs. However, these calculations are quite simple, and yield intiguing suggestions which we feel merit further study.
The approximate Loebl-Komlos-Sos conjecture and embedding trees in sparse graphs
Published in Electron. Res. Announc. Math. Sci. 22 (2015), 1-11
• View Publication
• BIB
Loebl, Komlós and Sós conjectured that every $n$-vertex graph $G$ with at least $n/2$ vertices of degree at least $k$ contains each tree $T$ of order $k+1$ as a subgraph. We give a sketch of a proof of the approximate version of this conjecture for large values of $k$.
For our proof, we use a structural decomposition which can be seen as an analogue of Szemerédi's regularity lemma for possibly very sparse graphs. With this tool, each graph can be decomposed into four parts: a set of vertices of huge degree, regular pairs (in the sense of the regularity lemma), and two other objects each exhibiting certain expansion properties. We then exploit the properties of each of the parts of $G$ to embed a given tree $T$.
The purpose of this note is to highlight the key steps of our proof. Details can be found in [arXiv:1211.3050].
On random trees obtained from permutation graphs
Published
• View Publication
• BIB
A permutation $\boldsymbol w$ gives rise to a graph $G_{\boldsymbol w}$; the vertices of $G_{\boldsymbol w}$ are the letters in the permutation and the edges of $G_{\boldsymbol w}$ are the inversions of $\boldsymbol w$. We find that the number of trees among permutation graphs with $n$ vertices is $2^{n-2}$ for $n\ge 2$. We then study $T_n$, a uniformly random tree from this set of trees. In particular, we study the number of vertices of a given degree in $T_n$, the maximum degree in $T_n$, the diameter of $T_n$, and the domination number of $T_n$. Denoting the number of degree-$k$ vertices in $T_n$ by $D_k$, we find that $(D_1,\dots,D_m)$ converges to a normal distribution for any fixed $m$ as $n\to \infty$. The vertex domination number of $T_n$ is also asymptotically normally distributed as $n\to \infty$. The diameter of $T_n$ shifted by $-2$ is binomially distributed with parameters $n-3$ and $1/2$. Finally, we find the asymptotic distribution of the maximum degree in $T_n$, which is concentrated around $\log_2n$.
Non-normal very ample polytopes - constructions and examples
Published in Experimental Mathematics 26 (2017), no. 2, 130-137
• View Publication
• BIB
We present a method of constructing non-normal very ample polytopes as a segmental fibration of unimodular graph polytopes. In many cases we explicitly compute their invariants - Hilbert function, Ehrhart polynomial, gap vector. In particular, we answer several questions posed by Beck, Cox, Delgado, Gubeladze, Haase, Hibi, Higashitani and Maclagan.
Godsil-McKay switching and isomorphism
Published
• View Publication
• BIB
Godsil-McKay switching is an operation on graphs that doesn't change the spectrum of the adjacency matrix. Usually (but not always) the obtained graph is non-isomorphic with the original graph. We present a straightforward sufficient condition for being isomorphic after switching, and give examples which show that this condition is not necessary. For some graph products we obtain sufficient conditions for being non-isomorphic after switching. As an example we find that the tensor product of the $\ell\times m$ grid ($\ell>m\geq 2$) and a graph with at least one vertex of degree two is not determined by its adjacency spectrum.
Anti-forcing numbers of perfect matchings of graphs
Published
• View Publication
• BIB
We define the anti-forcing number of a perfect matching $M$ of a graph $G$ as the minimal number of edges of $G$ whose deletion results in a subgraph with a unique perfect matching $M$, denoted by $af(G,M)$. The anti-forcing number of a graph proposed by Vukičević and Trinajstić in Kekulé structures of molecular graphs is in fact the minimum anti-forcing number of perfect matchings. For plane bipartite graph $G$ with a perfect matching $M$, we obtain a minimax result: $af(G,M)$ equals the maximal number of $M$-alternating cycles of $G$ where any two either are disjoint or intersect only at edges in $M$. For a hexagonal system $H$, we show that the maximum anti-forcing number of $H$ equals the Fries number of $H$. As a consequence, we have that the Fries number of $H$ is between the Clar number of $H$ and twice. Further, some extremal graphs are discussed.
Abstract Separation Systems
Published
• View Publication
• BIB
Abstract separation systems provide a simple general framework in which both tree-shape and high cohesion of many combinatorial structures can be expressed, and their duality proved. Applications range from tangle-type duality and tree structure theorems in graphs, matroids or CW-complexes to, potentially, image segmentation and cluster analysis.
This paper is intended as a concise common reference for the basic definitions and facts about abstract separation systems in these and any future papers using this framework.
Unifying duality theorems for width parameters in graphs and matroids. II. General duality
Published
• View Publication
• BIB
We prove a general duality theorem for tangle-like dense objects in combinatorial structures such as graphs and matroids. This paper continues, and assumes familiarity with, the theory developed in [6]
Hadwiger number of graphs with small chordality
Published
• View Publication
• BIB
The Hadwiger number of a graph G is the largest integer h such that G has the complete graph K_h as a minor. We show that the problem of determining the Hadwiger number of a graph is NP-hard on co-bipartite graphs, but can be solved in polynomial time on cographs and on bipartite permutation graphs. We also consider a natural generalization of this problem that asks for the largest integer h such that G has a minor with h vertices and diameter at most $s$. We show that this problem can be solved in polynomial time on AT-free graphs when s>=2, but is NP-hard on chordal graphs for every fixed s>=2.
Relative Length of Long Paths and Cycles in Graphs
For a graph $G$, $n$ denotes the order of $G$, $p$ the order of a longest path in $G$ and $c$ the order of a longest cycle. We show that if $G$ is a 2-connected graph such that $d(x)+d(y)+d(z)\ge p+2$ for all triples $x,y,z$ of independent vertices, then $c\ge p-1$. This improves results of Nash-Williams (in terms of minimum degree $δ$ and order $n$), Bondy (in terms of degree sum $σ_{3}$ and order $n$), and Enomoto, Heuvel, Kaneko and Saito (in terms of degree sum $σ_3$, order $n$ and relative length $diff(G)=p-c$).
Distinguishing Number for some Circulant Graphs
Introduced by Albertson et al. \cite{albertson}, the distinguishing number $D(G)$ of a graph $G$ is the least integer $r$ such that there is a $r$-labeling of the vertices of $G$ that is not preserved by any nontrivial automorphism of $G$. Most of graphs studied in literature have 2 as a distinguishing number value except complete, multipartite graphs or cartesian product of complete graphs depending on $n$. In this paper, we study circulant graphs of order $n$ where the adjacency is defined using a symmetric subset $A$ of $\mathbb{Z}_n$, called generator. We give a construction of a family of circulant graphs of order $n$ and we show that this class has distinct distinguishing numbers and these lasters are not depending on $n$.
The Minimum Bends in a Polyline Drawing with Fixed Vertex Locations
We consider embeddings of planar graphs in $R^2$ where vertices map to points and edges map to polylines. We refer to such an embedding as a polyline drawing, and ask how few bends are required to form such a drawing for an arbitrary planar graph. It has long been known that even when the vertex locations are completely fixed, a planar graph admits a polyline drawing where edges bend a total of $O(n^2)$ times. Our results show that this number of bends is optimal. In particular, we show that $Ω(n^2)$ total bends is required to form a polyline drawing on any set of fixed vertex locations for almost all planar graphs. This result generalizes all previously known lower bounds, which only applied to convex point sets, and settles 2 open problems.
Graphs characterized by the second distance eigenvalue
Published in Linear Multilinear Algebra 64, p. 1887--1898 (2016)
• View Publication
• BIB
We characterize all connected graphs with second distance eigenvalue less than $-0.5858$.