arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35396 papers tagged with this keyword
2017-03-09 v9
Laplacian, on the graph of the Weierstrass function
The Laplacian plays a major role in the mathematical analysis of partial differential equations. Recently, the work of J. Kigami, taken up by R. S. Strichartz, allowed the construction of an operator of the same nature, defined locally, on graphs having a fractal character: the triangle of Sierpinski, the carpet of Sierpinski, the diamond fractal, the Julia sets, the fern of Barnsley. Strangely, the case of the graph of the Weierstrass function, introduced in 1872 by K. Weierstrass, which presents self similarity properties, does not seem to have been considered anywhere. It is yet an obligatory passage, in the perspective of studying diffusion phenomena in irregular structures. We have asked ourselves the following question: given a continuous function u on the graph of the Weierstrass function, under which conditions is it possible to associate to u a function Delta u which is, in the weak sense, its Laplacian ? We present, in the following, the results obtained by following the approach of J. Kigami and R. S. Strichartz. Ours is made in a completely renewed framework, as regards, the one, affine, of the Sierpinski gasket. First, we concentrate on Dirichlet forms, on the graph of the Weierstrass function, which enable us the, subject to its existence, to define the Laplacian of a continuous function on this graph. This Laplacian appears as the renormalized limit of a sequence of discrete Laplacians on a sequence of graphs which converge to the one of the Weierstrass function. The normalization constants related to each graph Laplacian are obtained thanks Dirichlet forms. The spectrum of the Laplacian thus built is obtained through spectral decimation.
2017-03-09
A connection between MAX $κ$-CUT and the inhomogeneous Potts spin glass in the large degree limit
Published in Annals of Applied Probability 2018, Vol. 28, No. 3, 1536-1572 • View Publication • BIB
We study the asymptotic behavior of the Max $κ$-cut on a family of sparse, inhomogeneous random graphs. In the large degree limit, the leading term is a variational problem, involving the ground state of a constrained inhomogeneous Potts spin glass. We derive a Parisi type formula for the free energy of this model, with possible constraints on the proportions, and derive the limiting ground state energy by a suitable zero temperature limit.
The strong convexity spectra of grids
Published • View Publication • BIB
Let $D$ be a connected oriented graph. A set $S \subseteq V(D)$ is convex in $D$ if, for every pair of vertices $x, y \in S$, the vertex set of every $xy$-geodesic, ($xy$ shortest directed path) and every $yx$-geodesic in $D$ is contained in $S$. The convexity number, ${\rm con}(D)$, of a non-trivial oriented graph, $D$, is the maximum cardinality of a proper convex set of $D$. The strong convexity spectrum of the graph $G$, $S_{SC} (G)$, is the set $\{{ \rm con}(D) \colon\ D {\rm \ is \ a \ strong \ orientation \ of \ } G \}$. In this paper we prove that the problem of determining the convexity number of an oriented graph is $\mathcal{NP}$-complete, even for bipartite oriented graphs of arbitrary large girth, extending previous known results for graphs. We also determine $S_{SC} (P_n \Box P_m)$, for every pair of integers $n,m \ge 2$.
Spectral Bounds for the Connectivity of Regular Graphs with Given Order
Published • View Publication • BIB
The second-largest eigenvalue and second-smallest Laplacian eigenvalue of a graph are measures of its connectivity. These eigenvalues can be used to analyze the robustness, resilience, and synchronizability of networks, and are related to connectivity attributes such as the vertex- and edge-connectivity, isoperimetric number, and characteristic path length. In this paper, we present two upper bounds for the second-largest eigenvalues of regular graphs and multigraphs of a given order which guarantee a desired vertex- or edge-connectivity. The given bounds are in terms of the order and degree of the graphs, and hold with equality for infinite families of graphs. These results answer a question of Mohar.
2017-03-08
Distant irregularity strength of graphs with bounded minimum degree
Published in Discrete Appl. Math. 233 (2017) 159-165 • View Publication • BIB
Consider a graph $G=(V,E)$ without isolated edges and with maximum degree $Δ$. Given a colouring $c:E\to\{1,2,\ldots,k\}$, the weighted degree of a vertex $v\in V$ is the sum of its incident colours, i.e., $\sum_{e\ni v}c(e)$. For any integer $r\geq 2$, the least $k$ admitting the existence of such $c$ attributing distinct weighted degrees to any two different vertices at distance at most $r$ in $G$ is called the $r$-distant irregularity strength of $G$ and denoted by $s_r(G)$. This graph invariant provides a natural link between the well known 1--2--3 Conjecture and irregularity strength of graphs. In this paper we apply the probabilistic method in order to prove an upper bound $s_r(G)\leq (4+o(1))Δ^{r-1}$ for graphs with minimum degree $δ\geq \ln^8Δ$, improving thus far best upper bound $s_r(G)\leq 6Δ^{r-1}$.
2017-03-08 v6
The $(p,q)$ property in families of $d$-intervals and $d$-trees
Given integers $p\ge q>1$, a family of sets satisfies the $(p,q)$ property if among any $p$ members of it some $q$ intersect. We prove that for any fixed integer constants $p\ge q>1$, a family of $d$-intervals satisfying the $(p,q)$ property can be pierced by $O(d^{\frac{q}{q-1}})$ points, with constants depending only on $p$ and $q$. This extends results of Tardos, Kaiser and Alon for the case $q=2$, and of Kaiser and Rabinovich for the case $p=q=\lceil log_2(d+2) \rceil$. We further show that similar bounds hold in families of subgraphs of a tree or a graph of bounded tree-width, each consisting of at most $d$ connected components, extending results of Alon for the case $q=2$. Finally, we prove an upper bound of $O(d^{\frac{1}{p-1}})$ on the fractional piercing number in families of $d$-intervals satisfying the $(p,p)$ property, and show that this bound is asymptotically sharp.
2017-03-08
Maximizing the number of vertices of an N-clique cover of the edges of a graph on N vertices
All the work made so far on edge-covering a graph by cliques focus on finding the minimum number of cliques that cover the graph. On this paper, we fix the number of cliques that cover a graph by the same number of vertices that the graph has, and give an upper bound for the sum of the number of vertices of these cliques in the cases where this covering is possible.
2017-03-07 v2
DP-colorings of graphs with high chromatic number
Published in European Journal of Combinatorics, v. 65 (2017), 122--129 • View Publication • BIB
DP-coloring is a generalization of list coloring introduced recently by Dvořák and Postle. We prove that for every $n$-vertex graph $G$ whose chromatic number $χ(G)$ is "close" to $n$, the DP-chromatic number of $G$ equals $χ(G)$. "Close" here means $χ(G)\geq n-O(\sqrt{n})$, and we also show that this lower bound is best possible (up to the constant factor in front of $\sqrt{n}$), in contrast to the case of list coloring.
2017-03-07
On Exchange Spectra of Valued Cluster Quivers and Cluster Algebras
Published • View Publication • BIB
Inspirited by the importance of the spectral theory of graphs, we introduce the spectral theory of valued cluster quiver of a cluster algebra. Our aim is to characterize a cluster algebra via its spectrum so as to use the spectral theory as a tool. First, we give the relations between exchange spectrum of a valued cluster quiver and adjacency spectrum of its underlying valued graph, and between exchange spectra of a valued cluster quiver and its full valued subquivers. The key point is to find some invariants from the spectrum theory under mutations of cluster algebras, which is the second part we discuss. We give a sufficient and necessary condition for a cluster quiver and its mutation to be cospectral. Following this discussion, the so-called cospectral subalgebra of a cluster algebra is introduced. We study bounds of exchange spectrum radii of cluster quivers and give a characterization of $2$-maximal cluster quivers via the classification of oriented graphs of its mutation equivalence. Finally, as an application of this result, we obtain that the preprojective algebra of a cluster quiver of Dynkin type is representation-finite if and only if the cluster quiver is $2$-maximal.
Equitable Colorings of $K\_4$-minor-free Graphs
Published • View Publication • BIB
We demonstrate that for every positive integer $Δ$, every K\_4-minor-free graph with maximum degree $Δ$ admits an equitable coloring with k colors wherek $\ge$ ($Δ$+3)/2. This bound is tight and confirms a conjecture by Zhang and Whu. We do not use the discharging method but rather exploit decomposition trees of K 4-minor-free graphs.
2017-03-07 v2
A logician's view of graph polynomials
Published • View Publication • BIB
Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polynomials from a model theoretic point of view. In this paper we distinguish between the graph theoretic (semantic) and the algebraic (syntactic) meaning of graph polynomials. We discuss how to represent and compare graph polynomials by their distinctive power. We introduce the class of graph polynomials definable using Second Order Logic which comprises virtually all examples of graph polynomials with a fixed finite set of indeterminates. Finally we show that the location of zeros and stability of graph polynomials is not a semantic property. The paper emphasizes a model theoretic view and gives a unified exposition of classical results in algebraic combinatorics together with new and some of our previously obtained results scattered in the graph theoretic literature.
2017-03-07 v2
Speyer's elegant topological proof for Kasteleyn's Theorem
The purpose of this note is to rephrase Speyer's elegant topological proof for Kasteleyn's Theorem in a simple graph theoretical manner.
2017-03-07
Certifying coloring algorithms for graphs without long induced paths
Let $P_k$ be a path, $C_k$ a cycle on $k$ vertices, and $K_{k,k}$ a complete bipartite graph with $k$ vertices on each side of the bipartition. We prove that (1) for any integers $k, t>0$ and a graph $H$ there are finitely many subgraph minimal graphs with no induced $P_k$ and $K_{t,t}$ that are not $H$-colorable and (2) for any integer $k>4$ there are finitely many subgraph minimal graphs with no induced $P_k$ that are not $C_{k-2}$-colorable. The former generalizes the result of Hell and Huang [Complexity of coloring graphs without paths and cycles, Discrete Appl. Math. 216: 211--232 (2017)] and the latter extends a result of Bruce, Hoang, and Sawada [A certifying algorithm for 3-colorability of $P_5$-Free Graphs, ISAAC 2009: 594--604]. Both our results lead to polynomial-time certifying algorithms for the corresponding coloring problems.
2017-03-07
A playful note on spanning and surplus edges
Consider a (not necessarily near-critical) random graph running in continuous time. A recent breadth-first-walk construction is extended in order to account for the surplus edge data in addition to the spanning edge data. Two different graph representations of the multiplicative coalescent, with different advantages and drawbacks, are discussed in detail. A canonical multi-graph of Bhamidi, Budhiraja and Wang (2014) naturally emerges. The presented framework should facilitate understanding of scaling limits with surplus edges for near-critical random graphs in the domain of attraction of general (not necessarily standard) eternal multiplicative coalescent.
2017-03-07 v3
Weighted sheaves and homology of Artin groups
Published in Algebr. Geom. Topol. 18 (2018) 3943-4000 • View Publication • BIB
In this paper we expand the theory of weighted sheaves over posets, and use it to study the local homology of Artin groups. First, we use such theory to relate the homology of classical braid groups with the homology of certain independence complexes of graphs. Then, in the context of discrete Morse theory on weighted sheaves, we introduce a particular class of acyclic matchings. Explicit formulas for the homology of the corresponding Morse complexes are given, in terms of the ranks of the associated incidence matrices. We use such method to perform explicit computations for the new affine case $\tilde C_n$, as well as for the cases $A_n$, $B_n$ and $\tilde{A}_n$ (which were already done before by different methods).
2017-03-06 v3
The Constructions of directed strongly regular graph by algebraic method
The concept of directed strongly regular graphs (DSRG) was introduced by Duval in "A Directed Graph Version of Strongly Regular Graphs" [Journal of Combinatorial Theory, Series A 47(1988)71-100]. Duval also provided several construction methods for directed strongly regular graphs. In this paper, We construct several new classes of directed strongly regular graphs which are obtained by using Kronecker matrix product, Semidirect product and Cayley coset graph. At the same time, using group representation, for two special cases, we give some other sufficient and necessary conditions of Cayley graphs to be DSRG. At last, we finish this paper with a discussion of some propositions of in(out)-neighbours and automorphism group in directed strongly regular graphs.
2017-03-06
The spectral radius of graphs with no $K_{2,t}$ minor
Published • View Publication • BIB
Let $t\geq3$ and $G$ be a graph of order $n,$ with no $K_{2,t}$ minor. If $n>400t^{6}$, then the spectral radius $μ\left( G\right) $ satisfies \[ μ\left( G\right) \leq\frac{t-1}{2}+\sqrt{n+\frac{t^{2}-2t-3}{4}}, \] with equality if and only if $n\equiv1$ $(\operatorname{mod}$ $t)$ and $G=K_{1}\vee\left\lfloor n/t\right\rfloor K_{t}$. For $t=3$ the maximum $μ\left( G\right) $ is found exactly for any $n>40000$.
2017-03-06
Distinguishing number and distinguishing index of strong product of two graphs
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The strong product $G\boxtimes H$ of two graphs $G$ and $H$ is the graph with vertex set $V (G)\times V (H)$ and edge set $\{\{(x_1, x_2), (y_1, y_2)\} | x_iy_i \in E(G_i) ~{\rm or}~ x_i = y_i ~{\rm for~ each}~ 1 \leq i \leq 2.\}$. In this paper we study the distinguishing number and the distinguishing index of strong product of two graphs. We prove that for every $k \geq 2$, the $k$-th strong power of a connected $S$-thin graph $G$ has distinguishing index equal 2.
2017-03-05
Fibonacci words in hyperbolic Pascal triangles
The hyperbolic Pascal triangle ${\cal HPT}_{4,q}$ $(q\ge5)$ is a new mathematical construction, which is a geometrical generalization of Pascal's arithmetical triangle. In the present study we show that a natural pattern of rows of ${\cal HPT}_{4,5}$ is almost the same as the sequence consisting of every second term of the well-known Fibonacci words. Further, we give a generalization of the Fibonacci words using the hyperbolic Pascal triangles. The geometrical properties of a ${\cal HPT}_{4,q}$ imply a graph structure between the finite Fibonacci words.
2017-03-05
Direction sets, Lipschitz graphs and density
We consider the direction set determined by various subsets $E$ of Euclidean space and show that there is a trichotomy: Either (i) The subset is the graph of a Lipschitz function and the direction set is not dense in the sphere, (ii) The subset is the graph of a non-Lipschitz function and the direction set is dense but not everything, or (iii) The subset is not a graph (in a suitable sense) and every direction is determined by the set. We then explore a variety of results based on this trichotomy under additional assumptions on the set $E$.