graph
34793 papers tagged with this keyword
Some results on the palette index of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (May 11, 2019) dmtcs:4509
• View Publication
• BIB
Given a proper edge coloring $\varphi$ of a graph $G$, we define the palette $S_{G}(v,\varphi)$ of a vertex $v \in V(G)$ as the set of all colors appearing on edges incident with $v$. The palette index $\check s(G)$ of $G$ is the minimum number of distinct palettes occurring in a proper edge coloring of $G$. In this paper we give various upper and lower bounds on the palette index of $G$ in terms of the vertex degrees of $G$, particularly for the case when $G$ is a bipartite graph with small vertex degrees. Some of our results concern $(a,b)$-biregular graphs; that is, bipartite graphs where all vertices in one part have degree $a$ and all vertices in the other part have degree $b$. We conjecture that if $G$ is $(a,b)$-biregular, then $\check{s}(G)\leq 1+\max\{a,b\}$, and we prove that this conjecture holds for several families of $(a,b)$-biregular graphs. Additionally, we characterize the graphs whose palette index equals the number of vertices.
Erdős-Pósa property for labelled minors: 2-connected minors
Published
• View Publication
• BIB
In the 1960s, Erdős and Pósa proved that there is a packing-covering duality for cycles in graphs. As part of the graph minor project, Robertson and Seymour greatly extended this: there is such a duality for $H$-expansions in graphs if and only if $H$ is a planar graph (this includes the previous result for $H=K_3$). We consider vertex labelled graphs and minors and provide such a characterisation for $2$-connected labelled graphs $H$.
${\rm{TS}}(v,λ)$ with cyclic 2-intersecting Gray codes: $v\equiv 0$ or $4\pmod{12}$
Published
• View Publication
• BIB
A ${\rm{TS}}(v,λ)$ is a pair $(V,\mathcal{B})$ where $V$ contains $v$ points and $\mathcal{B}$ contains $3$-element subsets of $V$ so that each pair in $V$ appears in exactly $λ$ blocks. A $2$-block intersection graph ($2$-BIG) of a ${\rm{TS}}(v,λ)$ is a graph where each vertex is represented by a block from the ${\rm{TS}}(v,λ)$ and each pair of blocks $B_i,B_j\in \mathcal{B}$ are joined by an edge if $|B_i\cap B_j|=2$. Using constructions for ${\rm{TS}}(v,λ)$ given by Schreiber, we show that there exists a ${\rm{TS}}(v,λ)$ for $v\equiv 0$ or $4\pmod{12}$ whose $2$-BIG is Hamiltonian.
Planar diagrams for local invariants of graphs in surfaces
Published in Journal of Knot Theory and Its Ramifications, Vol. 29, No. 01, 1950093 (2020)
• View Publication
• BIB
In order to apply quantum topology methods to nonplanar graphs, we define a planar diagram category that describes the local topology of embeddings of graphs into surfaces. These \emph{virtual graphs} are a categorical interpretation of ribbon graphs. We describe an extension of the flow polynomial to virtual graphs, the $S$-polynomial, and formulate the $\mathfrak{sl}(N)$ Penrose polynomial for non-cubic graphs, giving contraction-deletion relations. The $S$-polynomial is used to define an extension of the Yamada polynomial to virtual spatial graphs, and with it we obtain a sufficient condition for non-classicality of virtual spatial graphs. We conjecture the existence of local relations for the $S$-polynomial at squares of integers.
Vertex-minors and the Erdős-Hajnal conjecture
Published in Discrete Math, 341 (2018), 3498-3499
• View Publication
• BIB
We prove that for every graph $H$, there exists $\varepsilon>0$ such that every $n$-vertex graph with no vertex-minors isomorphic to $H$ has a pair of disjoint sets $A$, $B$ of vertices such that $|A|, |B|\ge \varepsilon n$ and $A$ is complete or anticomplete to $B$. We deduce this from recent work of Chudnovsky, Scott, Seymour, and Spirkl (2018). This proves the analog of the Erdős-Hajnal conjecture for vertex-minors.
Connectivity and edge-bipancyclicity of hamming shell
Published
• View Publication
• BIB
An Any graph obtained by deleting a Hamming code of length n from a n-cube Qn is called as a Hamming shell. It is well known that a Hamming shell is vertex-transitive, edge-transitive, distance preserving. Moreover, it is Hamiltonian and connected. In this paper, we prove that a Hamming shell is edge-bipancyclic and (n-1)-connected.
Improved bounds for the Erdős-Rogers function
Published in Advances in Combinatorics, 2020:3, 27pp
• View Publication
• BIB
The Erdős-Rogers function $f_{s,t}$ measures how large a $K_s$-free induced subgraph there must be in a $K_t$-free graph on $n$ vertices. While good estimates for $f_{s,t}$ are known for some pairs $(s,t)$, notably when $t=s+1$, in general there are significant gaps between the best known upper and lower bounds. We improve the upper bounds when $s+2\leq t\leq 2s-1$. For each such pair we obtain for the first time a proof that $f_{s,t}\leq n^{α_{s,t}+o(1)}$ with an exponent $α_{s,t}<1/2$, answering a question of Dudek, Retter and Rödl.
A large deviation principle for the Erdős-Rényi uniform random graph
Published
• View Publication
• BIB
Starting with the large deviation principle (LDP) for the Erdős-Rényi binomial random graph $\mathcal{G}(n,p)$ (edge indicators are i.i.d.), due to Chatterjee and Varadhan (2011), we derive the LDP for the uniform random graph $\mathcal{G}(n,m)$ (the uniform distribution over graphs with $n$ vertices and $m$ edges), at suitable $m=m_n$. Applying the latter LDP we find that tail decays for subgraph counts in $\mathcal{G}(n,m_n)$ are controlled by variational problems, which up to a constant shift, coincide with those studied by Kenyon et al. and Radin et al. in the context of constrained random graphs, e.g., the edge/triangle model.
Several Topics in Experimental Mathematics
This thesis deals with applications of experimental mathematics to a number of problems. The first problem is related to random graph statistics. We consider a certain class of Galton-Watson random trees and look at the total height statistic. We provide an automated procedure for computing values of the moments of this statistic.
Next, we investigate several problems related to lattice paths staying below a line of rational slope. These results are largely data-based. Using the generated data, we are able to find recurrences for the number of such paths for the cases of slopes 3/2 and 5/2. There is also investigation of a generalization of these problems to three dimensions.
We also examine generalizations of Sister Celine's method and Gosper's algorithm for evaluating summations. For both, we greatly extend the classes of applicable functions and applications to proving, or reproving in an automated way, interesting combinatorial problems. For the generalization of Sister Celine's method, we allow summations of arbitrary products of hypergeometric terms and linear recurrent sequences with rational coefficients.
We also show a partial result related to the bunk bed conjecture, a problem concerning random finite graphs. Let $G$ be a finite graph. Remove edges from $G\square K_2$ independently and with the same probability. In $G\square K_2$, there is an edge placed between all vertices of $G$ and the corresponding vertex in a copy of $G$. Then, label these vertices as either $(v,0)$ or $(v,1)$ for each $v\in V(G)$. The conjecture says that for any $x,y \in V(G)$, it is least as likely to have $(x,0)$ connected to $(y,0)$ as to have $(x,0)$ connected to $(y,1)$. We prove the conjecture in the case that only two of the edges going between the two copes of $G$ are retained.
Simplicity of augmentation submodules for transformation monoids
Published
• View Publication
• BIB
For finite permutation groups, simplicity of the augmentation submodule is equivalent to $2$-transitivity over the field of complex numbers. We note that this is not the case for transformation monoids. We characterize the finite transformation monoids whose augmentation submodules are simple for a field $\mathbb{F}$ (assuming the answer is known for groups, which is the case for $\mathbb C$, $\mathbb R$, and $\mathbb Q$) and provide many interesting and natural examples such as endomorphism monoids of connected simplicial complexes, posets, and graphs (the latter with simplicial mappings).
There are no Cubic Graphs on 26 Vertices with Crossing Number 10 or 11
Published
• View Publication
• BIB
We show that no cubic graphs of order 26 have crossing number larger than 9, which proves a conjecture of Ed Pegg Jr and Geoffrey Exoo that the smallest cubic graphs with crossing number 11 have 28 vertices. This result is achieved by first eliminating all girth 3 graphs from consideration, and then using the recently developed QuickCross heuristic to find good embeddings of each remaining graph. In the cases where the embedding found has 10 or more crossings, the heuristic is re-run with a different settings of parameters until an embedding with fewer than 10 crossings is found. We provide a minimal example of a cubic graph on 28 vertices with crossing number 10, and also exhibit for the first time a cubic graph on 30 vertices with crossing number 12, which we conjecture is minimal.
The edge spectrum of $K_4^-$-saturated graphs
Published
• View Publication
• BIB
Given graphs $G$ and $H$, $G$ is $H$-saturated if $G$ does not contain a copy of $H$ but the addition of any edge $e\notin E(G)$ creates at least one copy of $H$ within $G$. The edge spectrum of $H$ is the set of all possible sizes of an $H$-saturated graph on $n$ vertices. Let $K_4^-$ be a graph obtained from $K_4$ by deleting an edge. In this note, we show that (a) if $G$ is a $K_4^-$-saturated graph with $|V(G)|=n$ and $|E(G)|>\lfloor \frac{n-1}{2} \rfloor \lceil \frac{n-1}{2} \rceil +2$, then $G$ must be a bipartite graph; (b) there exists a $K_4^-$-saturated non-bipartite graph on $n\ge 10$ vertices with size being in the interval $\left[3n-11, \left\lfloor \frac{n-1}{2} \right\rfloor \left\lceil \frac{n-1}{2} \right\rceil +2\right]$. Together with a result of Fuller and Gould in [{\it On ($\hbox{K}_t-e$)-Saturated Graphs. Graphs Combin., 2018}], we determine the edge spectrum of $K_4^-$ completely, and a conjecture proposed by Fuller and Gould in the same paper also has been resolved.
Sufficient connectivity conditions for rigidity of symmetric frameworks
Published
• View Publication
• BIB
It is a famous result of Lovasz and Yemini (1982) that 6-connected graphs are rigid in the plane. This was recently improved by Jackson and Jordan (2009) who showed that 6-mixed connectivity is also sufficient for rigidity. Here we give sufficient graph connectivity conditions for both `forced symmetric' and `incidentally symmetric' infinitesimal rigidity in the plane.
Intersecting edge distinguishing colorings of hypergraphs
An edge labeling of a graph distinguishes neighbors by sets (multisets, resp.), if for any two adjacent vertices $u$ and $v$ the sets (multisets, resp.) of labels appearing on edges incident to $u$ and $v$ are different. In an analogous way we define total labelings distinguishing neighbors by sets or multisets: for each vertex, we consider labels on incident edges and the label of the vertex itself.
In this paper we show that these problems, and also other problems of similar flavor, admit an elegant and natural generalization as a hypergraph coloring problem. An ieds-coloring (iedm-coloring, resp.) of a hypergraph is a vertex coloring, in which the sets (multisets, resp.) of colors, that appear on every pair of intersecting edges are different. We show upper bounds on the size of lists, which guarantee the existence of an ieds- or iedm-coloring, respecting these lists. The proof is essentially a randomized algorithm, whose expected time complexity is polynomial. As corollaries, we derive new results concerning the list variants of graph labeling problems, distinguishing neighbors by sets or multisets. We also show that our method is robust and can be easily extended for different, related problems.
We also investigate a close connection between edge labelings of bipartite graphs, distinguishing neighbors by sets, and the so-called property \textbf{B} of hypergraphs. We discuss computational aspects of the problem and present some classes of bipartite graphs, which admit such a labeling using two labels.
A theory of linear typings as flows on 3-valent graphs
Published
• View Publication
• BIB
Building on recently established enumerative connections between lambda calculus and the theory of embedded graphs (or "maps"), this paper develops an analogy between typing (of lambda terms) and coloring (of maps). Our starting point is the classical notion of an abelian group-valued "flow" on an abstract graph (Tutte, 1954). Typing a linear lambda term may be naturally seen as constructing a flow (on an embedded 3-valent graph with boundary) valued in a more general algebraic structure consisting of a preordered set equipped with an "implication" operation and unit satisfying composition, identity, and unit laws. Interesting questions and results from the theory of flows (such as the existence of nowhere-zero flows) may then be re-examined from the standpoint of lambda calculus and logic. For example, we give a characterization of when the local flow relations (across vertices) may be categorically lifted to a global flow relation (across the boundary), proving that this holds just in case the underlying map has the orientation of a lambda term. We also develop a basic theory of rewriting of flows that suggests topological meanings for classical completeness results in combinatory logic, and introduce a polarized notion of flow, which draws connections to the theory of proof-nets in linear logic and to bidirectional typing.
Quantum Walk Search on Kronecker Graphs
Published in Phys. Rev. A 98, 012338 (2018)
• View Publication
• BIB
Kronecker graphs, obtained by repeatedly performing the Kronecker product of the adjacency matrix of an "initiator" graph with itself, have risen in popularity in network science due to their ability to generate complex networks with real-world properties. In this paper, we explore spatial search by continuous-time quantum walk on Kronecker graphs. Specifically, we give analytical proofs for quantum search on first-, second-, and third-order Kronecker graphs with the complete graph as the initiator, showing that search takes Grover's $O(\sqrt{N})$ time. Numerical simulations indicate that higher-order Kronecker graphs with the complete initiator also support optimal quantum search.
Letter graphs and geometric grid classes of permutations: characterization and recognition
Published
• View Publication
• BIB
In this paper, we reveal an intriguing relationship between two seemingly unrelated notions: letter graphs and geometric grid classes of permutations. An important property common for both of them is well-quasi-orderability, implying, in a non-constructive way, a polynomial-time recognition of geometric grid classes of permutations and $k$-letter graphs for a fixed $k$. However, constructive algorithms are available only for $k=2$. In this paper, we present the first constructive polynomial-time algorithm for the recognition of $3$-letter graphs. It is based on a structural characterization of graphs in this class.
On a $ψ_1$ - norm estimate of sum of dependent random variables using simple random walk on graph
We obtained a $ψ_1$ estimate for the sum of Rademacher random variables under condition that they are dependent.
An effective crossing minimisation heuristic based on star insertion
Published
• View Publication
• BIB
We present a new heuristic method for minimising crossings in a graph. The method is based upon repeatedly solving the so-called {\em star insertion problem} in the setting where the combinatorial embedding is fixed, and has several desirable characteristics for practical use. We introduce the method, discuss some aspects of algorithm design for our implementation, and provide some experimental results. The results indicate that our method compares well to existing methods, and also that it is suitable for dense instances.
A mirroring formula for the interior polynomial of a bipartite graph
The interior polynomial is an invariant of (signed) bipartite graphs, and the interior polynomial of a plane bipartite graph is equal to a part of the HOMFLY polynomial of a naturally associated link. The HOMFLY polynomial $P_L(v,z)$ is a famous link invariant with many known properties. For example, the HOMFLY polynomial of the mirror image of $L$ is given by $P_{L}(-v^{-1},z)$. This implies a property of the interior polynomial in the planar case. We prove that the same property holds for any bipartite graph. The proof relies on Ehrhart reciprocity applied to the so called root polytope. We also establish formulas for the interior polynomial inspired by the knot theoretical notions of flyping and mutation.