graph
35150 papers tagged with this keyword
Partial cubes: structures, characterizations, and constructions
Published
• View Publication
• BIB
Partial cubes are isometric subgraphs of hypercubes. Structures on a graph defined by means of semicubes, and Djoković's and Winkler's relations play an important role in the theory of partial cubes. These structures are employed in the paper to characterize bipartite graphs and partial cubes of arbitrary dimension. New characterizations are established and new proofs of some known results are given.
The operations of Cartesian product and pasting, and expansion and contraction processes are utilized in the paper to construct new partial cubes from old ones. In particular, the isometric and lattice dimensions of finite partial cubes obtained by means of these operations are calculated.
Sparse Hypergraphs and Pebble Game Algorithms
Published
• View Publication
• BIB
A hypergraph $G=(V,E)$ is $(k,\ell)$-sparse if no subset $V'\subset V$ spans more than $k|V'|-\ell$ hyperedges. We characterize $(k,\ell)$-sparse hypergraphs in terms of graph theoretic, matroidal and algorithmic properties. We extend several well-known theorems of Haas, Lov{á}sz, Nash-Williams, Tutte, and White and Whiteley, linking arboricity of graphs to certain counts on the number of edges. We also address the problem of finding lower-dimensional representations of sparse hypergraphs, and identify a critical behaviour in terms of the sparsity parameters $k$ and $\ell$. Our constructions extend the pebble games of Lee and Streinu from graphs to hypergraphs.
On Computing the Distinguishing Numbers of Planar Graphs and Beyond: a Counting Approach
Published
• View Publication
• BIB
A vertex k-labeling of graph G is distinguishing if the only automorphism that preserves the labels of G is the identity map. The distinguishing number of G, D(G), is the smallest integer k for which G has a distinguishing k-labeling. In this paper, we apply the principle of inclusion-exclusion and develop recursive formulas to count the number of inequivalent distinguishing k-labelings of a graph. Along the way, we prove that the distinguishing number of a planar graph can be computed in time polynomial in the size of the graph.}
The Sandpile Group of a Tree
Published in European Journal of Combinatorics 30(4): 1026--1035, 2009
• View Publication
• BIB
A wired tree is a graph obtained from a tree by collapsing the leaves to a single vertex. We describe a pair of short exact sequences relating the sandpile group of a wired tree to the sandpile groups of its principal subtrees. In the case of a regular tree these sequences split, enabling us to compute the full decomposition of the sandpile group as a product of cyclic groups. This resolves in the affirmative a conjecture of E. Toumpakari concerning the ranks of the Sylow p-subgroups.
Long Range Percolation Mixing Time
Published in Combinatorics, Probability and Computing 17 (2008), 487-494
• View Publication
• BIB
We provide an estimate, sharp up to poly-logarithmic factors, of the asymptotically almost sure mixing time of the graph created by long-range percolation on the cycle of length N (Z/NZ). While it is known that the almost sure diameter drops from linear to poly-logarithmic as the exponent s decreases below 2, the almost sure mixing time drops from N^2 only to N^(s-1) (up to poly-logarithmic factors).
Zeta functions of infinite graph bundles
Published
• View Publication
• BIB
We compute the equivariant zeta function for bundles over infinite graphs and for infinite covers. In particular, we give a ``transfer formula'' for the zeta function of infinite graph covers. Also, when the infinite cover is given as a limit of finite covers, we give a formula for the limit of the zeta functions.
A 27-vertex graph that is vertex-transitive and edge-transitive but not l-transitive
I describe a 27-vertex graph that is vertex-transitive and edge-transitive but not 1-transitive. Thus while all vertices and edges of this graph are similar, there are no edge-reversing automorphisms.
On pattern-avoiding partitions
A \emph{set partition} of the set $[n]=\{1,...c,n\}$ is a collection of disjoint blocks $B_1,B_2,...c, B_d$ whose union is $[n]$. We choose the ordering of the blocks so that they satisfy $\min B_1<\min B_2<...b<\min B_d$. We represent such a set partition by a \emph{canonical sequence} $π_1,π_2,...c,π_n$, with $π_i=j$ if $i\in B_j$. We say that a partition $π$ \emph{contains} a partition $σ$ if the canonical sequence of $π$ contains a subsequence that is order-isomorphic to the canonical sequence of $σ$. Two partitions $σ$ and $σ'$ are \emph{equivalent}, if there is a size-preserving bijection between $σ$-avoiding and $σ'$-avoiding partitions.
We determine several infinite families of sets of equivalent patterns; for instance, we prove that there is a bijection between $k$-noncrossing and $k$-nonnesting partitions, with a notion of crossing and nesting based on the canonical sequence. We also provide new combinatorial interpretations of the Catalan numbers and the Stirling numbers. Using a systematic computer search, we verify that our results characterize all the pairs of equivalent partitions of size at most seven.
We also present a correspondence between set partitions and fillings of Ferrers shapes and stack polyominoes. This correspondence allows us to apply recent results on polyomino fillings in the study of partitions, and conversely, some of our results on partitions imply new results on polyomino fillings and ordered graphs.
Connectivity and equilibrium in random games
Published in Annals of Applied Probability 2011, Vol. 21, No. 3, 987-1016
• View Publication
• BIB
We study how the structure of the interaction graph of a game affects the existence of pure Nash equilibria. In particular, for a fixed interaction graph, we are interested in whether there are pure Nash equilibria arising when random utility tables are assigned to the players. We provide conditions for the structure of the graph under which equilibria are likely to exist and complementary conditions which make the existence of equilibria highly unlikely. Our results have immediate implications for many deterministic graphs and generalize known results for random games on the complete graph. In particular, our results imply that the probability that bounded degree graphs have pure Nash equilibria is exponentially small in the size of the graph and yield a simple algorithm that finds small nonexistence certificates for a large family of graphs. Then we show that in any strongly connected graph of n vertices with expansion $(1+Ω(1))\log_2(n)$ the distribution of the number of equilibria approaches the Poisson distribution with parameter 1, asymptotically as $n \to +\infty$.
Specializations of Ferrers ideals
Published
• View Publication
• BIB
We introduce a specialization technique in order to study monomial ideals that are generated in degree two by using our earlier results about Ferrers ideals. It allows us to describe explicitly a cellular minimal free resolution of various ideals including any strongly stable and any squarefree strongly stable ideal whose minimal generators have degree two. In particular, this shows that threshold graphs can be obtained as specializations of Ferrers graphs, which explains their similar properties.
Some remarks on depth of dead ends in groups
Published
• View Publication
• BIB
It is known, that the existence of dead ends (of arbitrary depth) in the Cayley graph of a group depends on the chosen set of generators. Nevertheless there exist many groups, which do not have dead ends of arbitrary depth with respect to any set of generators. Partial results in this direction were obtained by Šunić and by Warshall. We improve these results by showing that abelian groups only have finitely many dead ends and that groups with more than one end (in the sense of Hopf and Freudenthal) have only dead ends of bounded depth. Only few examples of groups with unbounded dead end depth are known. We show that the Houghton group \Hou with respect to a standard generating set is a further example. In addition we introduce a stronger notion of depth of a dead end, called strong depth. The Houghton group \Hou has unbounded strong depth with respect to the same standard generating set.
Ramsey Goodness and Beyond
Published
• View Publication
• BIB
In a seminal paper from 1983, Burr and Erdos started the systematic study of Ramsey numbers of cliques vs. large sparse graphs, raising a number of problems. In this paper we develop a new approach to such Ramsey problems using a mix of the Szemeredi regularity lemma, embedding of sparse graphs, Turan type stability, and other structural results. We give exact Ramsey numbers for various classes of graphs, solving all but one of the Burr-Erdos problems.
Maxmaxflow and counting subgraphs
Published in Electron. J. Combin. 17, #R99 (2010)
• View Publication
• BIB
We introduce a new graph invariant Λ(G) that we call maxmaxflow, and put it in the context of some other well-known graph invariants, notably maximum degree and its relatives. We prove the equivalence of two "dual" definitions of maxmaxflow: one in terms of flows, the other in terms of cocycle bases. We then show how to bound the total number (or more generally, total weight) of various classes of subgraphs of G in terms of either maximum degree or maxmaxflow. Our results are motivated by a conjecture that the modulus of the roots of the chromatic polynomial of G can be bounded above by a function of Λ(G).
Offensive k-alliances in graphs
Published in Discrete Applied Mathematics 157 (1) (2009) 177-182
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. For a nonempty set $X\subset V,$ and a vertex $v\in V,$ $δ_{X}(v)$ denotes the number of neighbors $v$ has in $X.$ A nonempty set $S\subset V$ is an \emph{offensive $r$-alliance} in $G$ if $δ_S(v)\ge δ_{\bar{S}}(v)+r,$ $\forall v\in \partial (S),$ where $\partial (S)$ denotes the boundary of $S$. An offensive $r$-alliance $S$ is called \emph{global} if it forms a dominating set. The \emph{global offensive $r$-alliance number} of $G$, denoted by $γ_{r}^{o}(G)$, is the minimum cardinality of a global offensive $r$-alliance in $G$. We show that the problem of finding optimal (global) offensive $r$-alliances is NP-complete and we obtain several tight bounds on $γ_{r}^{o}(G)$.
The decycling numbers of graphs
Published in Australasian Journal of Combinatorics 25(2002), 285-298
• Search Publication
For a graph $G$ and $S\subset V(G)$, if $G - S$ is acyclic, then $S$ is said to be a decycling set of $G$. The size of a smallest decycling set of $G$ is called the decycling number of $G$. The purpose of this paper is a comprehensive review of recent results and several open problems on this graph parameter. Results to be reviewed include recent work on decycling numbers of cubes, grids and snakes. A structural description of graphs with a fixed decycling number based on connectivity is also presented. Graphs with small decycling numbers are characterized.
Graphs with many r-cliques have large complete r-partite subgraphs
Published
• View Publication
• BIB
We prove that for all $r\geq2$ and c>0, every graph of order n with at least cn^{r} cliques of order r contains a complete r-partite graph with each part of size $\lfloor c^{r}\log n \rfloor.$ This result implies a concise form of the Erdős-Stone theorem.
Deterministic Random Walks on the Two-Dimensional Grid
Published
• View Publication
• BIB
Jim Propp's rotor router model is a deterministic analogue of a random walk on a graph. Instead of distributing chips randomly, each vertex serves its neighbors in a fixed order. We analyze the difference between Propp machine and random walk on the infinite two-dimensional grid. It is known that, apart from a technicality, independent of the starting configuration, at each time, the number of chips on each vertex in the Propp model deviates from the expected number of chips in the random walk model by at most a constant. We show that this constant is approximately 7.8, if all vertices serve their neighbors in clockwise or counterclockwise order and 7.3 otherwise. This result in particular shows that the order in which the neighbors are served makes a difference. Our analysis also reveals a number of further unexpected properties of the two-dimensional Propp machine.
Operators related to subordination for free multiplicative convolutions
Published in Indiana Univ. Math. J., Vol.57 (2008), 1055-1103.
• View Publication
• BIB
It has been shown by Voiculescu and Biane that the analytic subordination property holds for free additive and multiplicative convolutions. In this paper, we present an operatorial approach to subordination for free multiplicative convolutions. This study is based on the concepts of `freeness with subordination', or `s-free independence', and `orthogonal independence', introduced recently in the context of free additive convolutions. In particular, we introduce and study the associated multiplicative convolutions and construct related operators, called `subordination operators' and `subordination branches'. Using orthogonal independence, we derive decompositions of subordination branches and related decompositions of s-free and free multiplicative convolutions. The operatorial methods lead to several new types of graph products, called `loop products', associated with different notions of independence (monotone, boolean, orthogonal, s-free). We also prove that the enumeration of rooted `alternating double return walks' on the loop products of graphs and on the free product of graphs gives the moments of the corresponding multiplicative convolutions.
Cohen-Macaulay graphs arising from digraphs
In this paper we show a correspondence between directed graphs and bipartite undirected graphs with a perfect matching, that allows to study properties of directed graphs through the properties of the corresponding undirected graphs. In particular it is shown that a directed graph is transitive iff a corresponding undirected graph is Cohen-Macaulay.
Heights in finite projective space, and a problem on directed graphs
Published in Integers 8 (2008), A13: 1--9
• Search Publication
Let $\F_p = \Z/p\Z$. The \emph{height} of a point $\mathbf{a}=(a_1,..., a_d) \in \F_p^d$ is $h_p(\mathbf{a}) = \min \left\{\sum_{i=1}^d (ka_i \mod p) : k=1,...,p-1\right\}.$ Explicit formulas and estimates are obtained for the values of the height function in the case $d=2,$ and these results are applied to the problem of determining the minimum number of edges the must be deleted from a finite directed graph so that the resulting subgraph is acyclic.