graph
35150 papers tagged with this keyword
A Little Statistical Mechanics for the Graph Theorist
Published in Discrete Math. 310, 2037-2053 (2010)
• View Publication
• BIB
In this survey, we give a friendly introduction from a graph theory perspective to the q-state Potts model, an important statistical mechanics tool for analyzing complex systems in which nearest neighbor interactions determine the aggregate behavior of the system. We present the surprising equivalence of the Potts model partition function and one of the most renowned graph invariants, the Tutte polynomial, a relationship that has resulted in a remarkable synergy between the two fields of study. We highlight some of these interconnections, such as computational complexity results that have alternated between the two fields. The Potts model captures the effect of temperature on the system and plays an important role in the study of thermodynamic phase transitions. We discuss the equivalence of the chromatic polynomial and the zero-temperature antiferromagnetic partition function, and how this has led to the study of the complex zeros of these functions. We also briefly describe Monte Carlo simulations commonly used for Potts model analysis of complex systems. The Potts model has applications as widely varied as magnetism, tumor migration, foam behaviors, and social demographics, and we provide a sampling of these that also demonstrates some variations of the Potts model. We conclude with some current areas of investigation that emphasize graph theoretic approaches.
This paper is an elementary general audience survey, intended to popularize the area and provide an accessible first point of entry for further exploration.
More on counting acyclic digraphs
In this note we derive enumerative formulas for several types of labelled acyclic directed graphs by slight modifications of the familiar recursive formula for simple acyclic digraphs. These considerations are motivated by, and based upon, recent combinatorial results in geometric topology obtained by S.Choi, who established exact correspondences between acyclic digraphs and so-called small covers over hypercubes and related polytopes. In particular, we show that the number of equivalence classes of small covers over the cartesian product of $n$ copies of an $r$-simplex is equal to the number of acyclic $(2^r-1)$-multidigraphs of order $n$. Asymptotics follows easily since the main formula is represented by a simple equation in terms of special generating functions.
A combinatorial realization of Schur-Weyl duality via crystal graphs and dual equivalence graphs
Published
• View Publication
• BIB
For any polynomial representation of the special linear group, the nodes of the corresponding crystal may be indexed by semi-standard Young tableaux. Under certain conditions, the standard Young tableaux occur, and do so with weight 0. Standard Young tableaux also parametrize the vertices of dual equivalence graphs. Motivated by the underlying representation theory, in this paper, we explainthis connection by giving a combinatorial manifestation of Schur-Weyl duality. In particular, we put a dual equivalence graph structure on the 0-weight space of certain crystal graphs, producing edges combinatorially from the crystal edges. The construction can be expressed in terms of the local characterizations given by Stembridge for crystal graphs and the author for dual equivalence graphs.
The Terwilliger Algebra of a Distance-Regular Graph of Negative Type
Let $Γ$ denote a distance-regular graph with diameter $D \ge 3$. Assume $Γ$ has classical parameters $(D,b,α,β)$ with $b < -1$. Let $X$ denote the vertex set of $Γ$ and let $A \in MX$ denote the adjacency matrix of $Γ$. Fix $x \in X$ and let $A^* \in MX$ denote the corresponding dual adjacency matrix. Let $T$ denote the subalgebra of $MX$ generated by $A, A^*$. We call $T$ the {\em Terwilliger algebra} of $Γ$ with respect to $x$. We show that up to isomorphism there exist exactly two irreducible $T$-modules with endpoint 1; their dimensions are $D$ and $2D-2$. For these $T$-modules we display a basis consisting of eigenvectors for $A^*$, and for each basis we give the action of $A$
On percolation in random graphs with given vertex degrees
Published
• View Publication
• BIB
We study the random graph obtained by random deletion of vertices or edges from a random graph with given vertex degrees. A simple trick of exploding vertices instead of deleting them, enables us to derive results from known results for random graphs with given vertex degrees. This is used to study existence of giant component and existence of k-core. As a variation of the latter, we study also bootstrap percolation in random regular graphs.
We obtain both simple new proofs of known results and new results. An interesting feature is that for some degree sequences, there are several or even infinitely many phase transitions for the k-core.
Subclose Families, Threshold Graphs, and the Weight Hierarchy of Grassmann and Schubert Codes
Published in Arithmetic, Geometry, Cryptography and Coding Theory, 87-99, Contemp. Math. 487, Amer. Math. Soc., Providence, RI, 2009.
• View Publication
• BIB
We discuss the problem of determining the complete weight hierarchy of linear error correcting codes associated to Grassmann varieties and, more generally, to Schubert varieties in Grassmannians. The problem is partially solved in the case of Grassmann codes, and one of the solutions uses the combinatorial notion of a closed family. We propose a generalization of this to what is called a subclose family. A number of properties of subclose families are proved, and its connection with the notion of threshold graphs and graphs with maximum sum of squares of vertex degrees is outlined.
On cobweb posets most relevant codings
One considers here orderable acyclic digraphs named KoDAGs which represent the outmost general chains of dibicliques denoting thus the outmost general chains of binary relations. Because of this fact KoDAGs start to become an outstanding concept of nowadays investigation. We propose here examples of codings of KoDAGs looked upon as infinite hyper-boxes as well as chains of rectangular hyper-boxes in N^\infty. Neither of KoDAGs codings considered here is a poset isomorphism with Pi = <P, \leq>. Nevertheless every example of coding supplies a new view on possible investigation of KoDAGs properties. The codes proposed here down are by now recognized as most relevant codes for practical purposes including visualization. More than that. Employing quite arbitrary sequences F=\{n_F\}_{n\geq 0} infinitely many new representations of natural numbers called base of F number system representations are introduced. These constitute mixed radix-type numeral systems. F base nonstandard positional numeral systems in which the numerical base varies from position to position have picturesque interpretation due to KoDAGs graphs and their correspondent posets which in turn are endowed on their own with combinatorial interpretation of uniquely assigned to KoDAGs F-nomial coefficients. The base of F number systems are used for KoDAGs coding and are interpreted as chain coordinatization in KoDAGs pictures as well as systems of infinite number of boxes sequences of F-varying containers capacity of subsequent boxes. Needless to say how crucial is this base of F number system for KoDAGs hence consequently for arbitrary chains of binary relations. New F based numeral systems are umbral base of F number systems in a sense to be explained in what follows.
Rooted induced trees in triangle-free graphs
Published
• View Publication
• BIB
For a graph $G$, let $t(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree. Further, for a vertex $v\in V(G)$, let $t^v(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree, with the extra condition that the tree must contain $v$. The minimum of $t(G)$ ($t^v(G)$, respectively) over all connected triangle-free graphs $G$ (and vertices $v\in V(G)$) on $n$ vertices is denoted by $t_3(n)$ ($t_3^v(n)$). Clearly, $t^v(G)\le t(G)$ for all $v\in V(G)$. In this note, we solve the extremal problem of maximizing $|G|$ for given $t^v(G)$, given that $G$ is connected and triangle-free. We show that $|G|\le 1+\frac{(t_v(G)-1)t_v(G)}{2}$ and determine the unique extremal graphs. Thus, we get as corollary that $t_3(n)\ge t_3^v(n)=\lceil {1/2}(1+\sqrt{8n-7})\rceil$, improving a recent result by Fox, Loh and Sudakov.
Coarse differentiation and multi-flows in planar graphs
Published
• View Publication
• BIB
We show that the multi-commodity max-flow/min-cut gap for series-parallel graphs can be as bad as 2, matching a recent upper bound Chakrabarti, Jaffe, Lee, and Vincent for this class, and resolving one side of a conjecture of Gupta, Newman, Rabinovich, and Sinclair.
This also improves the largest known gap for planar graphs from 3/2 to 2, yielding the first lower bound that doesn't follow from elementary calculations. Our approach uses the {\em coarse differentiation} method of Eskin, Fisher, and Whyte in order to lower bound the distortion for embedding a particular family of shortest-path metrics into $L_1$.
k-Wise Independent Random Graphs
Published
• View Publication
• BIB
We study the k-wise independent relaxation of the usual model G(N,p) of random graphs where, as in this model, N labeled vertices are fixed and each edge is drawn with probability p, however, it is only required that the distribution of any subset of k edges is independent. This relaxation can be relevant in modeling phenomena where only k-wise independence is assumed to hold, and is also useful when the relevant graphs are so huge that handling G(N,p) graphs becomes infeasible, and cheaper random-looking distributions (such as k-wise independent ones) must be used instead. Unfortunately, many well-known properties of random graphs in G(N,p) are global, and it is thus not clear if they are guaranteed to hold in the k-wise independent case. We explore the properties of k-wise independent graphs by providing upper-bounds and lower-bounds on the amount of independence, k, required for maintaining the main properties of G(N,p) graphs: connectivity, Hamiltonicity, the connectivity-number, clique-number and chromatic-number and the appearance of fixed subgraphs. Most of these properties are shown to be captured by either constant k or by some k= poly(log(N)) for a wide range of values of p, implying that random looking graphs on N vertices can be generated by a seed of size poly(log(N)). The proofs combine combinatorial, probabilistic and spectral techniques.
Maximal integral point sets in affine planes over finite fields
Published in Discrete Mathematics Vol. 309, Nr. 13 (2009), Pages 4564-4575
• View Publication
• BIB
Motivated by integral point sets in the Euclidean plane, we consider integral point sets in affine planes over finite fields. An integral point set is a set of points in the affine plane $\mathbb{F}_q^2$ over a finite field $\mathbb{F}_q$, where the formally defined squared Euclidean distance of every pair of points is a square in $\mathbb{F}_q$. It turns out that integral point sets over $\mathbb{F}_q$ can also be characterized as affine point sets determining certain prescribed directions, which gives a relation to the work of Blokhuis. Furthermore, in one important sub-case integral point sets can be restated as cliques in Paley graphs of square order. In this article we give new results on the automorphisms of integral point sets and classify maximal integral point sets over $\mathbb{F}_q$ for $q\le 47$. Furthermore, we give two series of maximal integral point sets and prove their maximality.
Bounds for the minimum oriented diameter
Published
• View Publication
• BIB
We consider the problem of finding an orientation with minimum diameter of a connected bridgeless graph. Fomin et. al. discovered a relation between the minimum oriented diameter an the size of a minimal dominating set. We improve their upper bound.
Eigenvalue bracketing for discrete and metric graphs
Published
• View Publication
• BIB
We develop eigenvalue estimates for the Laplacians on discrete and metric graphs using different types of boundary conditions at the vertices of the metric graph. Via an explicit correspondence of the equilateral metric and discrete graph spectrum (also in the ``exceptional'' values of the metric graph corresponding to the Dirichlet spectrum) we carry over these estimates from the metric graph Laplacian to the discrete case. We apply the results to covering graphs and present examples where the covering graph Laplacians have spectral gaps.
Graph pegging numbers
Published
• View Publication
• BIB
In graph pegging, we view each vertex of a graph as a hole into which a peg can be placed, with checker-like ``pegging moves'' allowed. Motivated by well-studied questions in graph pebbling, we introduce two pegging quantities. The pegging number (respectively, the optimal pegging number) of a graph is the minimum number of pegs such that for every (respectively, some) distribution of that many pegs on the graph, any vertex can be reached by a sequence of pegging moves. We prove several basic properties of pegging and analyze the pegging number and optimal pegging number of several classes of graphs, including paths, cycles, products with complete graphs, hypercubes, and graphs of small diameter.
Clique Numbers of Graphs and Irreducible Exact m-Covers of Z
Published
• View Publication
• BIB
For each m>=1 and k>=2, we construct a graph G=(V,E) with ω(G)=m such that max_{1\leq i\leq k} ω(G[V_i])=m for arbitrary partition V=V_1\cup...\cup V_k, where ω(G) is the clique number of G and G[V_i] is the induced subgraph of G with the vertex set V_i. Using this result, we show that for each m>=2 there exists an exact m-cover of Z which is not the union of two 1-covers.
Clique percolation
Published in Random Structures and Algorithms 35 (2009), 294--322
• View Publication
• BIB
Derenyi, Palla and Vicsek introduced the following dependent percolation model, in the context of finding communities in networks. Starting with a random graph $G$ generated by some rule, form an auxiliary graph $G'$ whose vertices are the $k$-cliques of $G$, in which two vertices are joined if the corresponding cliques share $k-1$ vertices. They considered in particular the case where $G=G(n,p)$, and found heuristically the threshold for a giant component to appear in $G'$. Here we give a rigorous proof of this result, as well as many extensions. The model turns out to be very interesting due to the essential global dependence present in $G'$.
Quasi-randomness is determined by the distribution of copies of a fixed graph in equicardinal large sets
Published
• View Publication
• BIB
For every fixed graph $H$ and every fixed $0 < α< 1$, we show that if a graph $G$ has the property that all subsets of size $αn$ contain the ``correct'' number of copies of $H$ one would expect to find in the random graph $G(n,p)$ then $G$ behaves like the random graph $G(n,p)$; that is, it is $p$-quasi-random in the sense of Chung, Graham, and Wilson. This solves a conjecture raised by Shapira and solves in a strong sense an open problem of Simonovits and Sós.
New Graphs of Finite Mutation Type
Published
• View Publication
• BIB
To a directed graph without loops and 2-cycles, we can associate a skew-symmetric matrix with integer entries. Mutations of such skew-symmetric matrices, and more generally skew-symmetrizable matrices, have been defined in the context of cluster algebras by Fomin and Zelevinsky. The mutation class of a graph G is the set of all isomorphism classes of graphs that can be obtained from G by a sequence of mutations. A graph is called mutation-finite if its mutation class is finite. Fomin, Shapiro and Thurston constructed mutation-finite graphs from triangulations of oriented bordered surfaces with marked points. We will call such graphs "of geometric type". Besides graphs with 2 vertices, and graphs of geometric type, there are only 9 other "exceptional" mutation classes that are known to be finite. In this paper we introduce 2 new exceptional finite mutation classes.
Chemical trees minimizing energy and Hosoya index
Published in J. Math. Chem. 46 (2009), 214-230
• View Publication
• BIB
The energy of a molecular graph is a popular parameter that is defined as the sum of the absolute values of a graph's eigenvalues. It is well known that the energy is related to the matching polynomial and thus also to the Hosoya index via a certain Coulson integral. Trees minimizing the energy under various additional conditions have been determined in the past, e.g., trees with a given diameter or trees with a perfect matching. However, it is quite a natural problem to minimize the energy of trees with bounded maximum degree--clearly, the case of maximum degree 4 (so-called chemical trees) is the most important one. We will show that the trees with given maximum degree that minimize the energy are the same that have been shown previously to minimize the Hosoya index and maximize the Merrifield-Simmons index, thus also proving a conjecture due to Fischermann et al. Finally, we show that the minimal energy grows linearly with the size of the trees, with explicitly computable growth constants that only depend on the maximum degree.
Short expressions of permutations as products and cryptanalysis of the Algebraic Eraser
Published in Advances in Applied Mathematics 49 (2012) 57-76
• View Publication
• BIB
On March 2004, Anshel, Anshel, Goldfeld, and Lemieux introduced the \emph{Algebraic Eraser} scheme for key agreement over an insecure channel, using a novel hybrid of infinite and finite noncommutative groups. They also introduced the \emph{Colored Burau Key Agreement Protocol (CBKAP)}, a concrete realization of this scheme.
We present general, efficient heuristic algorithms, which extract the shared key out of the public information provided by CBKAP. These algorithms are, according to heuristic reasoning and according to massive experiments, successful for all sizes of the security parameters, assuming that the keys are chosen with standard distributions.
Our methods come from probabilistic group theory (permutation group actions and expander graphs). In particular, we provide a simple algorithm for finding short expressions of permutations in $S_n$, as products of given random permutations. Heuristically, our algorithm gives expressions of length $O(n^2\log n)$, in time and space $O(n^3)$. Moreover, this is provable from \emph{the Minimal Cycle Conjecture}, a simply stated hypothesis concerning the uniform distribution on $S_n$. Experiments show that the constants in these estimations are small. This is the first practical algorithm for this problem for $n\ge 256$.
Remark: \emph{Algebraic Eraser} is a trademark of SecureRF. The variant of CBKAP actually implemented by SecureRF uses proprietary distributions, and thus our results do not imply its vulnerability. See also arXiv:abs/12020598