graph
34961 papers tagged with this keyword
Eisenstein Series on Covers of Odd Orthogonal Groups
Published
• View Publication
• BIB
We study the Whittaker coefficients of the minimal parabolic Eisenstein series on the $n$-fold cover of the split odd orthogonal group $SO_{2r+1}$. If the degree of the cover is odd, then Beineke, Brubaker and Frechette have conjectured that the $p$-power contributions to the Whittaker coefficients may be computed using the theory of crystal graphs of type C, by attaching to each path component a Gauss sum or a degenerate Gauss sum depending on the fine structure of the path. We establish their conjecture using a combination of automorphic and combinatorial-representation-theoretic methods. Surprisingly, we must make use of the type A theory, and the two different crystal graph descriptions of Brubaker, Bump and Friedberg available for type A based on different factorizations of the long word into simple reflections. We also establish a formula for the Whittaker coefficients in the even degree cover case, again based on crystal graphs of type C. As a further consequence, we establish a Lie-theoretic description of the coefficients for $n$ sufficiently large, thereby confirming a conjecture of Brubaker, Bump and Friedberg.
Strict inequalities for connective constants of transitive graphs
Published
• View Publication
• BIB
The connective constant of a graph is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. Strict inequalities are proved for connective constants of vertex-transitive graphs. Firstly, the connective constant decreases strictly when the graph is replaced by a non-trivial quotient graph. Secondly, the connective constant increases strictly when a quasi-transitive family of new edges is added. These results have the following implications for Cayley graphs. The connective constant of a Cayley graph decreases strictly when a new relator is added to the group, and increases strictly when a non-trivial group element is declared to be a generator.
A Study on the Amount of Random Graph Groupies
In 1980, Ajtai, Komlos and Szemer{é}di defined "groupie": Let $G=(V,E)$ be a simple graph, $|V|=n$, $|E|=e$. For a vertex $v\in V$, let $r(v)$ denote the sum of the degrees of the vertices adjacent to $v$. We say $v\in V$ is a {\it groupie}, if $\frac{r(v)}{°(v)}\geq\frac{e}{n}.$ In this paper, we prove that in random graph $B(n,p)$, $0<p<1$, the proportion of groupies converges in probability towards $Φ(1)\approx0.8413$ as $n$ approaches infinity, where $Φ(x)$ is the distribution function of standard normal distribution N(0,1). We also discuss the asymptotic behavior of the proportion of groupies in complete bipartite graph $B(n_1,n_2,p)$.
Completely Positive formulation of the Graph Isomorphism Problem
Published
• View Publication
• BIB
Given two graphs $G_1$ and $G_2$ on $n$ vertices each, we define a graph $G$ on vertex set $V_1\times V_2$ and the edge set as the union of edges of $G_1\times \bar{G_2}$, $\bar{G_1}\times G_2$, $\{(v,u'),(v,u"))(|u',u"\in V_2\}$ for each $v\in V_1$, and $\{((u',v),(u",v))|u',u"\in V_1\}$ for each $v\in V_2$. We consider the completely-positive Lovász $\vartheta$ function, i.e., $cp\vartheta$ function for $G$. We show that the function evaluates to $n$ whenever $G_1$ and $G_2$ are isomorphic and to less than $n-1/(4n^4)$ when non-isomorphic. Hence this function provides a test for graph isomorphism. We also provide some geometric insight into the feasible region of the completely positive program.
Complete monotonicity for inverse powers of some combinatorially defined polynomials
Published in Acta Mathematica 213, 323-392 (2014)
• View Publication
• BIB
We prove the complete monotonicity on $(0,\infty)^n$ for suitable inverse powers of the spanning-tree polynomials of graphs and, more generally, of the basis generating polynomials of certain classes of matroids. This generalizes a result of Szego and answers, among other things, a long-standing question of Lewy and Askey concerning the positivity of Taylor coefficients for certain rational functions. Our proofs are based on two_ab initio_ methods for proving that $P^{-β}$ is completely monotone on a convex cone $C$: the determinantal method and the quadratic-form method. These methods are closely connected with harmonic analysis on Euclidean Jordan algebras (or equivalently on symmetric cones). We furthermore have a variety of constructions that, given such polynomials, can create other ones with the same property: among these are algebraic analogues of the matroid operations of deletion, contraction, direct sum, parallel connection, series connection and 2-sum. The complete monotonicity of $P^{-β}$ for some $β> 0$ can be viewed as a strong quantitative version of the half-plane property (Hurwitz stability) for $P$, and is also related to the Rayleigh property for matroids.
Clique versus Independent Set
Published in European Journal of Combinatorics, 40:73-92, 2014
• View Publication
• BIB
Yannakakis' Clique versus Independent Set problem (CL-IS) in communication complexity asks for the minimum number of cuts separating cliques from stable sets in a graph, called CS-separator. Yannakakis provides a quasi-polynomial CS-separator, i.e. of size $O(n^{\log n})$, and addresses the problem of finding a polynomial CS-separator. This question is still open even for perfect graphs. We show that a polynomial CS-separator almost surely exists for random graphs. Besides, if H is a split graph (i.e. has a vertex-partition into a clique and a stable set) then there exists a constant $c_H$ for which we find a $O(n^{c_H})$ CS-separator on the class of H-free graphs. This generalizes a result of Yannakakis on comparability graphs. We also provide a $O(n^{c_k})$ CS-separator on the class of graphs without induced path of length k and its complement. Observe that on one side, $c_H$ is of order $O(|H| \log |H|)$ resulting from Vapnik-Chervonenkis dimension, and on the other side, $c_k$ is exponential.
One of the main reason why Yannakakis' CL-IS problem is fascinating is that it admits equivalent formulations. Our main result in this respect is to show that a polynomial CS-separator is equivalent to the polynomial Alon-Saks-Seymour Conjecture, asserting that if a graph has an edge-partition into k complete bipartite graphs, then its chromatic number is polynomially bounded in terms of k. We also show that the classical approach to the stubborn problem (arising in CSP) which consists in covering the set of all solutions by $O(n^{\log n})$ instances of 2-SAT is again equivalent to the existence of a polynomial CS-separator.
A quantum combinatorial approach for computing a tetrahedral network of Jones-Wenzl projectors
Trivalent plane graphs are used in various areas of mathematics which relate for instance to the colored Jones polynomial, invariants of 3-manifolds and quantum computation. Their evaluation is based on computations in the Temperley-Lieb algebra and more specifically the Jones-Wenzl projectors. We use the work by Kauffman-Lins to present a quantum combinatorial approach for evaluating a tetrahedral net. On the way we recover two equivalent definitions for the unsigned Stirling numbers of the first kind and we provide an equality for the quantized factorial using these numbers.
A bipartite graph with non-unimodal independent set sequence
Published
• View Publication
• BIB
We show that the independent set sequence of a bipartite graph need not be unimodal.
Second-order Markov random fields for independent sets on the infinite Cayley tree
Published
• View Publication
• BIB
Recently, there has been significant interest in understanding the properties of Markov random fields (M.r.f.) defined on the independent sets of sparse graphs. When these M.r.f. are restricted to pairwise interactions (i.e. hardcore model), much progress has been made. However, considerably less is known in the presence of higher-order interactions, which arise e.g. in the analysis of independent sets with special properties and the study of resource-constrained communication networks. In this paper, we further our understanding of such models by analyzing M.r.f. with second-order interactions on the independent sets of the infinite Cayley tree. We prove that the associated Gibbsian specification satisfies the celebrated FKG Inequality whenever the local potentials defining the Hamiltonian satisfy a log-convexity condition. Under this condition, we give necessary and sufficient conditions for the existence of a unique infinite-volume Gibbs measure in terms of an explicit system of equations, prove the existence of a phase transition, and give explicit bounds on the associated critical activity, which we prove to exhibit a certain robustness. For potentials which are small perturbations of those coinciding to the hardcore model at the critical activity, we characterize whether the resulting specification has a unique infinite-volume Gibbs measure in terms of whether these perturbations satisfy an explicit linear inequality. Our analysis reveals an interesting non-monotonicity with regards to biasing towards excluded nodes with no included neighbors.
Characterising star-transitive and st(edge)-transitive graphs
Published
• View Publication
• BIB
Recent work of Lazarovich provides necessary and sufficient conditions on a graph L for there to exist a unique simply-connected (k,L)-complex. The two conditions are symmetry properties of the graph, namely star-transitivity and st(edge)-transitivity. In this paper we investigate star-transitive and st(edge)-transitive graphs by studying the structure of the vertex and edge stabilisers of such graphs. We also provide new examples of graphs that are both star-transitive and st(edge)-transitive.
A construction for infinite families of semisymmetric graphs revealing their full automorphism group
Published
• View Publication
• BIB
We give a general construction leading to different non-isomorphic families $Γ_{n,q}(\K)$ of connected $q$-regular semisymmetric graphs of order $2q^{n+1}$ embedded in $\PG(n+1,q)$, for a prime power $q=p^h$, using the linear representation of a particular point set $\K$ of size $q$ contained in a hyperplane of $\PG(n+1,q)$. We show that, when $\K$ is a normal rational curve with one point removed, the graphs $Γ_{n,q}(\K)$ are isomorphic to the graphs constructed for $q$ prime in [9] and to the graphs constructed for $q=p^h$ in [20]. These graphs were known to be semisymmetric but their full automorphism group was up to now unknown. For $q\geq n+3$ or $q=p=n+2$, $n\geq 2$, we obtain their full automorphism group from our construction by showing that, for an arc $\K$, every automorphism of $Γ_{n,q}(\K)$ is induced by a collineation of the ambient space $\PG(n+1,q)$. We also give some other examples of semisymmetric graphs $Γ_{n,q}(\K)$ for which not every automorphism is induced by a collineation of their ambient space.
Extending the Tutte and Bollobás-Riordan Polynomials to Rank 3 Weakly-Colored Stranded Graphs
Published in Combinatorics, Probability and Computing, 31 (2022) 507-549
• View Publication
• BIB
The Bollobás-Riordan polynomial [Math. Ann. 323, 81 (2002)] is a universal polynomial invariant for ribbon graphs. We find an extension of this polynomial for a particular family of combinatorial objects, called rank 3 weakly-colored stranded graphs. Stranded graphs arise in the study of tensor models for quantum gravity in physics, and generalize graphs and ribbon graphs. We present a seven-variable polynomial invariant of these graphs, which obeys a contraction/deletion recursion relation similar to that of the Tutte and Bollobás-Riordan polynomials. However, it is defined on a much broader class of objects, and furthermore captures properties that are not encoded by the Tutte or Bollobás-Riordan polynomials.
Strong chromatic index of sparse graphs
A coloring of the edges of a graph $G$ is strong if each color class is an induced matching of $G$. The strong chromatic index of $G$, denoted by $χ_{s}^{\prime}(G)$, is the least number of colors in a strong edge coloring of $G$. In this note we prove that $χ_{s}^{\prime}(G)\leq (4k-1)Δ(G)-k(2k+1)+1$ for every $k$-degenerate graph $G$. This confirms the strong version of conjecture stated recently by Chang and Narayanan [3]. Our approach allows also to improve the upper bound from [3] for chordless graphs. We get that $% χ_{s}^{\prime}(G)\leq 4Δ-3$ for any chordless graph $G$. Both bounds remain valid for the list version of the strong edge coloring of these graphs.
The McKean-Singer Formula in Graph Theory
For any finite simple graph G=(V,E), the discrete Dirac operator D=d+d* and the Laplace-Beltrami operator L=d d* + d* d on the exterior algebra bundle Omega are finite v times v matrices, where dim(Omega) = v is the sum of the cardinalities v(k) of the set G(k) of complete subgraphs K(k) of G. We prove the McKean-Singer formula chi(G) = str(exp(-t L)) which holds for any complex time t, where chi(G) = str(1)= sum (-1)k v(k) is the Euler characteristic of G. The super trace of the heat kernel interpolates so the Euler-Poincare formula for t=0 with the Hodge theorem in the real limit t going to infinity. More generally, for any continuous complex valued function f satisfying f(0)=0, one has the formula chi(G) = str(exp(f(D))). This includes for example the Schroedinger evolutions chi(G) = str(cos(t D)) on the graph. After stating some general facts about the spectrum of D which includes statements about the complexity, the product of the non-zero eigenvalues as well as a perturbation result estimating the spectral difference of two graphs, we mention as a combinatorial consequence that the spectrum of D encodes the number of closed paths in the simplex space of a graph. McKean-Singer implies that the number of closed paths of length n starting at an even dimensional simplex is the same than the number of closed paths of length n starting at an odd dimensional simplex. We give a couple of worked out examples and see that McKean-Singer allows to find explicit pairs of non-isometric graphs which have isospectral Dirac operators.
Independent sets of some graphs associated to commutative rings
Let $G=(V,E)$ be a simple graph. A set $S\subseteq V$ is independent set of $G$, if no two vertices of $S$ are adjacent. The independence number $α(G)$ is the size of a maximum independent set in the graph. %An independent set with cardinality Let $R$ be a commutative ring with nonzero identity and $I$ an ideal of $R$. The zero-divisor graph of $R$, denoted by $Γ(R)$, is an undirected graph whose vertices are the nonzero zero-divisors of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $xy = 0$. Also the ideal-based zero-divisor graph of $R$, denoted by $Γ_I(R)$, is the graph which vertices are the set ${x\in R\backslash I | xy\in I \quad for some \quad y\in R\backslash I\}$ and two distinct vertices $x$ and $y$ are adjacent if and only if $xy \in I$. In this paper we study the independent sets and the independence number of $Γ(R)$ and $Γ_I(R)$.
Practical graph isomorphism, II
Published
• View Publication
• BIB
We report the current state of the graph isomorphism problem from the practical point of view. After describing the general principles of the refinement-individualization paradigm and proving its validity, we explain how it is implemented in several of the key programs. In particular, we bring the description of the best known program nauty up to date and describe an innovative approach called Traces that outperforms the competitors for many difficult graph classes. Detailed comparisons against saucy, Bliss and conauto are presented.
The Boundary of a Square Tiling of a Graph coincides with the Poisson Boundary
Published
• View Publication
• BIB
Answering a question of Benjamini & Schramm [8], we show that the Poisson boundary of any planar, uniquely absorbing (e.g. one-ended and transient) graph with bounded degrees can be realised geometrically as a circle, namely as the boundary of a tiling of a cylinder by squares. This implies a conjecture of Northshield [34] of similar flavour. For our proof we introduce a general criterion for identifying the Poisson boundary of a stochastic process that might have further applications.
Pairs of Fan-type heavy subgraphs for pancyclicity of 2-connected graphs
Published in Australasian J. Combin. 58(1) (2014) 127--136
• Search Publication
A graph $G$ on $n$ vertices is Hamiltonian if it contains a spanning cycle, and pancyclic if it contains cycles of all lengths from 3 to $n$. In 1984, Fan presented a degree condition involving every pair of vertices at distance two for a 2-connected graph to be Hamiltonian. Motivated by Fan's result, we say that an induced subgraph $H$ of $G$ is $f_1$-heavy if for every pair of vertices $u,v\in V(H)$, $d_{H}(u,v)=2$ implies $\max\{d(u),d(v)\}\geq (n+1)/2$. For a given graph $R$, $G$ is called $R$-$f_1$-heavy if every induced subgraph of $G$ isomorphic to $R$ is $f_1$-heavy. In this paper we show that for a connected graph $S$ with $S\neq P_3$ and a 2-connected claw-$f_1$-heavy graph $G$ which is not a cycle, $G$ being $S$-$f_1$-heavy implies $G$ is pancyclic if $S=P_4,Z_1$ or $Z_2$, where claw is $K_{1,3}$ and $Z_i$ is the path $a_1a_2a_3... a_{i+2}a_{i+3}$ plus the edge $a_1a_3$. Our result partially improves a previous theorem due to Bedrossian on pancyclicity of 2-connected graphs.
On the excessive [m]-index of a tree
Published
• View Publication
• BIB
The excessive [m]-index of a graph G is the minimum number of matchings of size m needed to cover the edge-set of G. We call a graph G [m]-coverable if its excessive [m]-index is finite. Obviously the excessive [1]-index is |E(G)| for all graphs and it is an easy task the computation of the excessive [2]-index for a [2]-coverable graph. The case m=3 is completely solved by Cariolaro and Fu in 2009. In this paper we prove a general formula to compute the excessive [4]-index of a tree and we conjecture a possible generalization for any value of m. Furthermore, we prove that such a formula does not work for the excessive [4]-index of an arbitrary graph.
The 1/N expansion of multi-orientable random tensor models
Published in Annales Henri Poincare Volume 15, Issue 5 (2014), Page 965-984
• View Publication
• BIB
Multi-orientable group field theory (GFT) has been introduced in A. Tanasa, J. Phys. A 45 (2012) 165401, arXiv:1109.0694, as a quantum field theoretical simplification of GFT, which retains a larger class of tensor graphs than the colored one. In this paper we define the associated multi-orientable identically independent distributed multi-orientable tensor model and we derive its 1/N expansion. In order to obtain this result, a partial classification of general tensor graphs is performed and the combinatorial notion of jacket is extended to the multi-orientable graphs. We prove that the leading sector is given, as in the case of colored models, by the so-called melon graphs.