graph
35299 papers tagged with this keyword
A new near octagon and the Suzuki tower
Published in Electronic Journal of Combinatorics, Volume 23, Issue 2 (2016). Paper #P2.35
• View Publication
• BIB
We construct and study a new near octagon of order $(2,10)$ which has its full automorphism group isomorphic to the group $\mathrm{G}_2(4){:}2$ and which contains $416$ copies of the Hall-Janko near octagon as full subgeometries. Using this near octagon and its substructures we give geometric constructions of the $\mathrm{G}_2(4)$-graph and the Suzuki graph, both of which are strongly regular graphs contained in the Suzuki tower. As a subgeometry of this octagon we have discovered another new near octagon, whose order is $(2,4)$.
On the competition graphs of $d$-partial orders
Published
• View Publication
• BIB
In this paper, we study the competition graphs of $d$-partial orders and obtain their characterization which extends results given by Cho and Kim \cite{chokim} in 2005. We also show that any graph can be made into the competition graph of a $d$-partial order for some positive integer $d$ as long as adding isolated vertices is allowed. We then introduce the notion of the partial order competition dimension of a graph and study graphs whose partial order competition dimensions are at most three.
A note on the Brush Numbers of Mycielski Graphs, $μ(G)$
Published
• View Publication
• BIB
The concept of the brush number $b_r(G)$ was introduced for a simple connected undirected graph $G$. The concept will be applied to the Mycielskian graph $μ(G)$ of a simple connected graph $G$ to find $b_r(μ(G))$ in terms of an \emph{optimal orientation} of $G$. We prove a surprisingly simple general result for simple connected graphs on $n \geq 2$ vertices namely: $b_r(μ(G))= b_r(μ^{\rightarrow}(G)) = 2\sum\limits_{i=1}^{n}d^+_{G^{\rightarrow}_{b_r(G)}}(v_i).$
A metric graph satisfying $w^1_4=1$ that cannot be lifted to a curve satisfying $\dim (W^1_4)=1$
Published
• View Publication
• BIB
For all integers $g \geq 6$ we prove the existence of a metric graph $G$ with $w^1_4=1$ such that $G$ has Clifford index 2 and there is no tropical modification $G'$ of $G$ such that there exists a finite harmonic morphism of degree 2 from $G'$ to a metric graph of genus 1. Those examples show that dimension theorems on the space classifying special linear systems for curves do not all of them have immediate translation to the theory of divisors on metric graphs.
Polynomial representation for the expected length of minimal spanning trees
In this paper, we investigate the polynomial integrand of an integral formula that yields the expected length of the minimal spanning tree of a graph whose edges are uniformly distributed over the interval [0, 1]. In particular, we derive a general formula for the coefficients of the polynomial and apply it to express the first few coefficients in terms of the structure of the underlying graph; e.g. number of vertices, edges and cycles.
$14$-vertex graphs with cyclic automorphism group of order $8$
We describe computational results about undirected graphs having $14$ vertices and automorphism group isomorphic to $\mathbb{Z}/8\mathbb{Z}$, graphs $Γ$ which have less than $2|Aut(Γ)|$ vertices. We give one example of such graphs.
The structure of graphs with Circular flow number 5 or more, and the complexity of their recognition problem
Published in Journal of Combinatorics 7(2) (2016), 453-479
• View Publication
• BIB
For some time the Petersen graph has been the only known Snark with circular flow number $5$ (or more, as long as the assertion of Tutte's $5$-flow Conjecture is in doubt). Although infinitely many such snarks were presented eight years ago by Macajova and Raspaud, the variety of known methods to construct them and the structure of the obtained graphs were still rather limited. We start this article with an analysis of sets of flow values, which can be transferred through flow networks with the flow on each edge restricted to the open interval $(1,4)$ modulo $5$. All these sets are symmetric unions of open integer intervals in the ring $\mathbb{R}/5\mathbb{Z}$. We use the results to design an arsenal of methods for constructing snarks $S$ with circular flow number $φ_c(S)\ge 5$. As one indication to the diversity and density of the obtained family of graphs, we show that it is sufficiently rich so that the corresponding recognition problem is NP-complete.
Graph-truncations of $3$-polytopes
In this paper we study the operation of cutting off edges of a simple $3$-polytope $P$ along the graph $Γ$. We give the criterion when the resulting polytope is simple and when it is flag. As a corollary we prove the analog of Eberhard's theorem about the realization of polygon vectors of simple $3$-polytopes for flag polytopes.
Valid plane trees: Combinatorial models for RNA secondary structures with Watson-Crick base pairs
Published
• View Publication
• BIB
The combinatorics of RNA plays a central role in biology. Mathematical biologists have several commonly-used models for RNA: words in a fixed alphabet (representing the primary sequence of nucleotides) and plane trees (representing the secondary structure, or folding of the RNA sequence). This paper considers an augmented version of the standard model of plane trees, one that incorporates some observed constraints on how the folding can occur. In particular we assume the alphabet consists of complementary pairs, for instance the Watson-Crick pairs A-U and C-G of RNA.
Given a word in the alphabet, a valid plane tree is a tree for which, when the word is folded around the tree, each edge matches two complementary letters. Consider the graph whose vertices are valid plane trees for a fixed word and whose edges are given by Condon, Heitsch, and Hoos's local moves. We prove this graph is connected.
We give an explicit algorithm to construct a valid plane tree from a primary sequence, assuming that at least one valid plane tree exists. The tree produced by our algorithm has other useful characterizations, including a uniqueness condition defined by local moves. We also study enumerative properties of valid plane trees, analyzing how the number of valid plane trees depends on the choice of sequence length and alphabet size. Finally we show that the proportion of words with at least one valid plane tree goes to zero as the word size increases. We also give some open questions.
Regular maps of high density
Published
• View Publication
• BIB
A regular map is a surface together with an embedded graph, having properties similar to those of the surface and graph of a platonic solid. We analyze regular maps with reflection symmetry and a graph of density strictly exceeding 1/2, and we conclude that all regular maps of this type belong to a family of maps naturally defined on the Fermat curves x^n+y^n+z^n=0, excepting the one corresponding to the tetrahedron.
Calculation of the Number of all Pairs of Disjoint S-permutation Matrices
Published in Applied Mathematics and Computation, Volume 268, 2015, Pages 1-11
• View Publication
• BIB
The concept of S-permutation matrix is considered. A general formula for counting all disjoint pairs of $n^2 \times n^2$ S-permutation matrices as a function of the positive integer $n$ is formulated and proven in this paper. To do that, the graph theory techniques have been used. It has been shown that to count the number of disjoint pairs of $n^2 \times n^2$ S-permutation matrices, it is sufficient to obtain some numerical characteristics of all $n\times n$ bipartite graphs.
Bounds on Geometric Eigenvalues of Graphs
The smallest nonzero eigenvalue of the normalized Laplacian matrix of a graph has been extensively studied and shown to have many connections to properties of the graph. We here study a generalization of this eigenvalue, denoted $λ(G, X)$, introduced by Mendel and Naor in 2010, obtained by embedding the vertices of the graph $G$ into a metric space $X$. We consider general bounds on $λ(G, X)$ and $λ(G, H)$, where $H$ is a graph under the standard distance metric, generalizing some existing results for the standard eigenvalue. We consider how $λ(G, H)$ is affected by changes to $G$ or $H$, and show $λ(G, H)$ is not monotone in either $G$ or $H$.
Transversal designs and induced decompositions of graphs
We prove that for every complete multipartite graph $F$ there exist very dense graphs $G_n$ on $n$ vertices, namely with as many as ${n\choose 2}-cn$ edges for all $n$, for some constant $c=c(F)$, such that $G_n$ can be decomposed into edge-disjoint induced subgraphs isomorphic to~$F$. This result identifies and structurally explains a gap between the growth rates $O(n)$ and $Ω(n^{3/2})$ on the minimum number of non-edges in graphs admitting an induced $F$-decomposition.
A proof of the stability of extremal graphs, Simonovits' stability from Szemerédi's regularity
The following sharpening of Turán's theorem is proved. Let $T_{n,p}$ denote the complete $p$--partite graph of order $n$ having the maximum number of edges. If $G$ is an $n$-vertex $K_{p+1}$-free graph with $e(T_{n,p})-t$ edges then there exists an (at most) $p$-chromatic subgraph $H_0$ such that $e(H_0)\geq e(G)-t$.
Using this result we present a concise, contemporary proof (i.e., one applying Szemerédi's regularity lemma) for the classical stability result of Simonovits.
Thermodynamics of the six-vertex model in an L-shaped domain
Published in Comm. Math. Phys. 339 (2015), 699-728
• View Publication
• BIB
We consider the six-vertex model in an L-shaped domain of the square lattice, with domain wall boundary conditions. For free-fermion vertex weights the partition function can be expressed in terms of some Hankel determinant, or equivalently as a Coulomb gas with discrete measure and a non-polynomial potential with two hard walls. We use Coulomb gas methods to study the partition function in the thermodynamic limit. We obtain the free energy of the six-vertex model as a function of the parameters describing the geometry of the scaled L-shaped domain. Under variations of these parameters the system undergoes a third-order phase transition. The result can also be considered in the context of dimer models, for the perfect matchings of the Aztec diamond graph with a cut-off corner.
A Loop Reversibility and Subdiffusion of the Rotor-Router Walk
Published in J. Phys. A: Math. Theor. 48 (2015) 285203 (11pp)
• View Publication
• BIB
The rotor-router model on a graph describes a discrete-time walk accompanied by the deterministic evolution of configurations of rotors randomly placed on vertices of the graph. We prove the following property: if at some moment of time, the rotors form a closed clockwise contour on the planar graph, then the clockwise rotations of rotors generate a walk which enters into the contour at some vertex $v$, performs a number of steps inside the contour so that the contour formed by rotors becomes anti-clockwise, and then leaves the contour at the same vertex $v$. This property generalizes the previously proved theorem for the case when the rotor configuration inside the contour is a cycle-rooted spanning tree, and all rotors inside the contour perform a full rotation. We use the proven property for an analysis of the sub-diffusive behavior of the rotor-router walk.
Graphs with Eulerian unit spheres
d-spheres in graph theory are inductively defined as graphs for which all unit spheres S(x) are (d-1)-spheres and that the removal of one vertex renders the graph contractible. Eulerian d-spheres are geometric d-spheres which are d+1 colorable. We prove here that G is an Eulerian sphere if and only if the degrees of all the (d-2)-dimensional sub-simplices in G are even. This generalizes a Kempe-Heawood result for d=2 and is work related to the conjecture that all d-spheres have chromatic number d+1 or d+2 which is based on the geometric conjecture that every d-sphere can be embedded in an Eulerian (d+1)-sphere. For d=2, such an embedding into an Eulerian 3-sphere would lead to a geometric proof of the 4 color theorem, allowing to see "why 4 colors suffice". To achieve the goal of coloring a d-sphere G with d+2 colors, we hope to embed it into a (d+1)-sphere and refine or thin out the later using special homotopy deformations without touching the embedded sphere. Once rendered Eulerian and so (d+2)-colorable, it colors the embedded graph G. In order to define the degree of a simplex, we introduce a notion of dual graph H' of a subgraph H in a general finite simple graph G. This leads to a natural sphere bundle over the simplex graph. We look at geometric graphs which admit a unique geodesic flow: their unit spheres must be Eulerian. We define Platonic spheres graph theoretically as d-spheres for which all unit spheres S(x) are graph isomorphic Platonic (d-1)-spheres. Gauss-Bonnet allows a classification within graph theory: all spheres are Platonic for d=1, the octahedron and icosahedron are the Platonic 2-spheres, the sixteen and six-hundred cells are the Platonic 3-spheres. The cross polytop is the unique Platonic d-sphere for d>3. It is Eulerian.
A matrix ring with commuting graph of maximal diameter
Published in JCTA 141 (2016) 127-135
• View Publication
• BIB
The commuting graph of a semigroup is the set of non-central elements; the edges are defined as pairs $(u,v)$ satisfying $uv=vu$. We provide an example of a field $F$ and an integer $n$ such that the commuting graph of $\operatorname{Mat}_n(F)$ has maximal possible diameter, equal to six.
The typical structure of maximal triangle-free graphs
Published
• View Publication
• BIB
Recently, settling a question of Erdős, Balogh and Petříčková showed that there are at most $2^{n^2/8+o(n^2)}$ $n$-vertex maximal triangle-free graphs, matching the previously known lower bound. Here we characterize the typical structure of maximal triangle-free graphs. We show that almost every maximal triangle-free graph $G$ admits a vertex partition $X\cup Y$ such that $G[X]$ is a perfect matching and $Y$ is an independent set.
Our proof uses the Ruzsa-Szemerédi removal lemma, the Erdős-Simonovits stability theorem, and recent results of Balogh-Morris-Samotij and Saxton-Thomason on characterization of the structure of independent sets in hypergraphs. The proof also relies on a new bound on the number of maximal independent sets in triangle-free graphs with many vertex-disjoint $P_3$'s, which is of independent interest.
Characterization of graphs without even $F$-orientations
A graph $G$ is $1$-extendible if every edge belongs to at least one $1$-factor of $G$. Let $G$ be a graph with a $1$-factor $F$. Then an even $F$-orientation of $G$ is an orientation in which each $F$-alternating cycle has exactly an even number of edges directed in the same fixed direction around the cycle. In this paper, we examine the structure of 1-extendible graphs $G$ which have no even $F$-orientation where $F$ is a fixed $1$-factor of $G$. In the case of graphs of connectivity at least four and k-regular graphs for $k \geq 3$ we give a complete characterization.