graph
34516 papers tagged with this keyword
Maximally symmetric stable curves II
Published
• View Publication
• BIB
We find a sharp bound for the order of the automorphism group of a stable curve of genus $g$ with $3g-3$ nodes, and a sharp bound for the order of the automorphism group of such a curve with all smooth components. Combined with the results of our article math.CO/0608645 we find that graph theoretically, the cubic graph with a given number of vertices and most automorphisms is simple, but algebro-geometrically, the stable curves with $3g-3$ nodes that have the most automorphisms have non-simple dual graph.
Totally geodesic subgraphs of the pants complex
Published
• View Publication
• BIB
Our main theorem asserts that every Farey graph embedded in the 1-skeleton of the pants complex of any finite type surface is totally geodesic.
The Zeta Function of a Hypergraph
Published
• View Publication
• BIB
We generalize the Ihara-Selberg zeta function to hypergraphs in a natural way. Hashimoto's factorization results for biregular bipartite graphs apply, leading to exact factorizations. For $(d,r)$-regular hypergraphs, we show that a modified Riemann hypothesis is true if and only if the hypergraph is Ramanujan in the sense of Winnie Li and Patrick Solé. Finally, we give an example to show how the generalized zeta function can be applied to graphs to distinguish non-isomorphic graphs with the same Ihara-Selberg zeta function.
An Introduction to Virtual Spatial Graph Theory
Published in Proceedings of the International Workshop on Knot Theory for Scientific Objects, OCAMI Studies, Vol. 1 (A. Kawauchi, editor), Osaka Municipal Universities Press, 2007
• Search Publication
Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area.
Factor-Critical Property in 3-Dominating-Critical Graphs
Published in Discrete Mathematics, 309 (2009) 1079--1083
• View Publication
• BIB
A vertex subset $S$ of a graph $G$ is a dominating set if every vertex of $G$ either belongs to $S$ or is adjacent to a vertex of $S$. The cardinality of a smallest dominating set is called the dominating number of $G$ and is denoted by $γ(G)$. A graph $G$ is said to be $γ$- vertex-critical if $γ(G-v)< γ(G)$, for every vertex $v$ in $G$. Let $G$ be a 2-connected $K_{1,5}$-free 3-vertex-critical graph. For any vertex $v \in V(G)$, we show that $G-v$ has a perfect matching (except two graphs), which is a conjecture posed by Ananchuen and Plummer.
Distance-regular graphs and the $q$-tetrahedron algebra
Let $Γ$ denote a distance-regular graph with classical parameters $(D,b,α,β)$ and $b\not=1$, $α=b-1$. The condition on $α$ implies that $Γ$ is formally self-dual. For $b=q^2$ we use the adjacency matrix and dual adjacency matrix to obtain an action of the $q$-tetrahedron algebra $\boxtimes_q$ on the standard module of $Γ$. We describe four algebra homomorphisms into $\boxtimes_q$ from the quantum affine algebra $U_q({\hat{\mathfrak{sl}}_2})$; using these we pull back the above $\boxtimes_q$-action to obtain four actions of $U_q({\hat{\mathfrak{sl}}_2})$ on the standard module of $Γ$.
The sum of the squares of degrees: an overdue assignement
Published
• View Publication
• BIB
Let f(n,m) be the maximum of the sum of the squares of degrees of a graph with n vertices and m edges. Summarizing earlier research, we present a concise, asymptotically sharp upper bound on f(n,m), better than the bound of de Caen for almost all n and m.
Combinatorial modulus and type of graphs
Published in Topology and its Applications Volume 156, Issue 17, 1 November 2009, Pages 2747-2761
• View Publication
• BIB
Let a $A$ be the 1-skeleton of a triangulated topological annulus. We establish bounds on the combinatorial modulus of a refinement $A'$, formed by attaching new vertices and edges to $A$, that depend only on the refinement and not on the structure of $A$ itself. This immediately applies to showing that a disk triangulation graph may be refined without changing its combinatorial type, provided the refinement is not too wild. We also explore the type problem in terms of disk growth, proving a parabolicity condition based on a superlinear growth rate, which we also prove optimal. We prove our results with no degree restrictions in both the EEL and VEL settings and examine type problems for more general complexes and dual graphs.
Cubic graphs with most automorphisms
Published
• View Publication
• BIB
We give a sharp bound for the automorphism group of a cubic simple graph with a given number of vertices. For each number of vertices we give an explicit graph attaining the bound, and prove its uniqueness in special cases.
New lower bounds for the number of $(\leq k)$-edges and the rectilinear crossing number of $K_n$
Published in Discrete and Computational Geometry 38:1 (2007), 1-14
• View Publication
• BIB
We provide a new lower bound on the number of $(\leq k)$-edges of a set of $n$ points in the plane in general position. We show that for $0 \leq k \leq\lfloor\frac{n-2}{2}\rfloor$ the number of $(\leq k)$-edges is at least $$ E_k(S) \geq 3\binom{k+2}{2} + \sum_{j=\lfloor\frac{n}{3}\rfloor}^k (3j-n+3), $$ which, for $k\geq \lfloor\tfrac{n}{3}\rfloor$, improves the previous best lower bound in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$]. As a main consequence, we obtain a new lower bound on the rectilinear crossing number of the complete graph or, in other words, on the minimum number of convex quadrilaterals determined by $n$ points in the plane in general position. We show that the crossing number is at least $$ \Bigl({41/108}+ε\Bigr) \binom{n}{4} + O(n^3) \geq 0.379631 \binom{n}{4} + O(n^3), $$ which improves the previous bound of $0.37533 \binom{n}{4} + O(n^3)$ in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$] and approaches the best known upper bound $0.38058\binom{n}{4}$ in [O. Aichholzer, H. Krasser, Abstract order type extension and new results on the rectilinear crossing number].
Combinatorial symbolic powers
Published
• View Publication
• BIB
Symbolic powers are studied in the combinatorial context of monomial ideals. When the ideals are generated by quadratic squarefree monomials, the generators of the symbolic powers are obstructions to vertex covering in the associated graph and its blowups. As a result, perfect graphs play an important role in the theory, dual to the role played by perfect graphs in the theory of secants of monomial ideals. We use Gröbner degenerations as a tool to reduce questions about symbolic powers of arbitrary ideals to the monomial case. Among the applications are a new, unified approach to the Gröbner bases of symbolic powers of determinantal and Pfaffian ideals.
An update on the middle levels problem
Published
• View Publication
• BIB
The middle levels problem is to find a Hamilton cycle in the middle levels, M_{2k+1}, of the Hasse diagram of B_{2k+1} (the partially ordered set of subsets of a 2k+1-element set ordered by inclusion). Previously, the best result was that M_{2k+1} is Hamiltonian for all positive k through k=15. In this note we announce that M_{33} and M_{35} have Hamilton cycles. The result was achieved by an algorithmic improvement that made it possible to find a Hamilton path in a reduced graph of complementary necklace pairs having 129,644,790 vertices, using a 64-bit personal computer.
The combinatorial cost
We study the combinatorial analogues of the classical invariants of measurable equivalence relations. We introduce the notion of cost and $β$-invariants (the analogue of the first $L^2$-Betti number introduced by Gaboriau) for sequences of finite graphs with uniformly bounded vertex degrees and examine the relation of these invariants and the rank gradient resp. mod $p$ homology gradient invariants introduced by Lackenby for residually finite groups.
3-Uniform hypergraphs of bounded degree have linear Ramsey numbers
Published
• View Publication
• BIB
Chvátal, Rödl, Szemerédi and Trotter proved that the Ramsey numbers of graphs of bounded maximum degree are linear in their order. We prove that the same holds for 3-uniform hypergraphs. The main new tool which we prove and use is an embedding lemma for 3-uniform hypergraphs of bounded maximum degree into suitable 3-uniform `pseudo-random' hypergraphs.
Minimum Mean Cycle Problem in Bidirected and Skew-Symmetric Graphs
Published
• View Publication
• BIB
The problem of finding, in an edge-weighted bidirected graph $G=(V,E)$, a cycle with minimum mean weight of its edges generalizes similar problems for both directed and undirected graphs. (The problem is considered in two variants: for the cycles without repeated edges and for the cycles without repeated nodes.) In this note we develop an algorithm to solve this problem in $O(V^2 \min(V^2, E\log V))$-time (to compare: the complexity of an improved version of Barahona's algorithm for undirected cycles is $O(V^4)$). Our algorithm is based on a certain general approach to minimum mean problems and uses, as a subroutine, Gabow's algorithm for the minimum weight 2-factor problem in a graph. The problem admits a reformulation in terms of regular cycles in a skew-symmetric graph.
Topological Criteria for $k-$Formal Arrangements
We prove a criterion for $k-$formality of arrangements, using a complex constructed from vector spaces introduced in \cite{bt}. As an application, we give a simple description of $k-$formality of graphic arrangements: Let $G$ be a connected graph with no loops or multiple edges. Let $Δ$ be the flag (clique) complex of $G$ and let $H_{\bullet}(Δ)$ be the homology of the chain complex of $Δ$. If $\mathcal A_G$ is the graphic arrangement associated to $G$, we will show that $\mathcal A_G$ is $k-$formal if and only if $H_i(Δ)=0$ for every $i=1,...,k-1$.
Cliques and the Spectral Radius
We present a number of relations involving the number of cliques in a graph and its spectral radius.
Boundary Partitions in Trees and Dimers
Published in Trans.Am.Math.Soc.363:1325-1364, 2011
• View Publication
• BIB
Given a finite planar graph, a grove is a spanning forest in which every component tree contains one or more of a specified set of vertices (called nodes) on the outer face. For the uniform measure on groves, we compute the probabilities of the different possible node connections in a grove. These probabilities only depend on boundary measurements of the graph and not on the actual graph structure, i.e., the probabilities can be expressed as functions of the pairwise electrical resistances between the nodes, or equivalently, as functions of the Dirichlet-to-Neumann operator (or response matrix) on the nodes. These formulae can be likened to generalizations (for spanning forests) of Cardy's percolation crossing probabilities, and generalize Kirchhoff's formula for the electrical resistance. Remarkably, when appropriately normalized, the connection probabilities are in fact integer-coefficient polynomials in the matrix entries, where the coefficients have a natural algebraic interpretation and can be computed combinatorially. A similar phenomenon holds in the so-called double-dimer model: connection probabilities of boundary nodes are polynomial functions of certain boundary measurements, and as formal polynomials, they are specializations of the grove polynomials. Upon taking scaling limits, we show that the double-dimer connection probabilities coincide with those of the contour lines in the Gaussian free field with certain natural boundary conditions. These results have direct application to connection probabilities for multiple-strand SLE_2, SLE_8, and SLE_4.
Riemann-Roch and Abel-Jacobi theory on a finite graph
Published
• View Publication
• BIB
It is well-known that a finite graph can be viewed, in many respects, as a discrete analogue of a Riemann surface. In this paper, we pursue this analogy further in the context of linear equivalence of divisors. In particular, we formulate and prove a graph-theoretic analogue of the classical Riemann-Roch theorem. We also prove several results, analogous to classical facts about Riemann surfaces, concerning the Abel-Jacobi map from a graph to its Jacobian. As an application of our results, we characterize the existence or non-existence of a winning strategy for a certain chip-firing game played on the vertices of a graph.
Eigenvalues and forbidden subgraphs I
Published
• View Publication
• BIB
We present sharp inequalities relating the number of vertices, edges, and triangles of a graph to the smallest eigenvalue of its adjacency matrix and the largest eigenvalue of its Laplacian.