graph
34828 papers tagged with this keyword
Excluding a large theta graph
Published
• View Publication
• BIB
A theta graph, denoted $θ_{a,b,c}$, is a graph of order $a+b+c-1$ consisting of a pair of vertices and three independent paths between them of lengths $a$, $b$, and $c$. We provide a complete characterization of graphs that do not contain a large $θ_{a,b,c}$ as a topological minor. More specifically, we describe the structure of $θ_{1,2,t}$-, $θ_{2,2,t}$-, $θ_{1,t,t}$-, $θ_{2,t,t}$-, and $θ_{t,t,t}$-free graphs where $t$ is large. The main result is a characterization of $θ_{t,t,t}$-free graphs for large $t$. The $3$-connected $θ_{t,t,t}$-free graphs are formed by $3$-summing graphs without a long path to certain planar graphs. The $2$-connected $θ_{t,t,t}$-free graphs are then built up in a similar fashion by 2- and 3-sums. This result implies a well-known theorem of Robertson and Chakravarti on graphs that do not have a bond containing three specified edges.
Newton flows for elliptic functions II Structural stability: Classification & Representation
Published
• View Publication
• BIB
In our previous paper we associated to each non-constant elliptic function $f$ on a torus $T$ a dynamical system, the elliptic Newton flow corresponding to $f$. We characterized the functions for which these flows are structurally stable and showed a genericity result. In the present paper we focus on the classification and representation of these structurally stable flows. The phase portrait of a structurally stable elliptic Newton flow generates a connected, cellularly embedded, graph $\mathcal{G}(f)$ on a torus $T$ with $r$ vertices, 2$r$ edges and $r$ faces that fulfil certain combinatorial properties ( Euler, Hall) on some of its subgraphs. The graph $\mathcal{G}(f)$ determines the conjugacy class of the flow. [classification] A connected, cellularly embedded toroidal graph $\mathcal{G}$ with the above Euler and Hall properties, is called a Newton graph. Any Newton graph $\mathcal{G}$ can be realized as the graph $\mathcal{G}(f)$ of the structurally stable Newton flow for some function $f$. This leads to: up till conjugacy between flows and (topological) equivalency between graphs, there is a one to one correspondence between the structurally stable Newton flows and Newton graphs, both with respect to the same order $r$ of the underlying functions $f$.[representation] Finally, we clarify the analogy between rational and elliptic Newton flows, and show that the detection of elliptic Newton flows is possible in polynomial time.
Newton flows for elliptic functions III Classification of $3^{\text{rd}}$ order Newton graphs
A Newton graph of order $r( \geqslant 2)$ is a cellularly embedded toroidal graph on $r$ vertices, $2r$ edges and $r$ faces that fulfils certain combinatorial properties (Euler, Hall). The significance of these graphs relies on their role in the study of structurally stable elliptic Newton flows - say $\bar{\bar{\mathcal{N}}} (f)$ - of order $r$, i.e. desingularized continuous versions of Newton's iteration method for finding zeros for an elliptic function $f$ (of order $r$). In previous work we established a representation of these flows in terms of Newton graphs. The present paper results into the classification of all $3^{\text{rd}}$ order Newton graphs, implying a list of all nine possible $3^{\text{rd}}$ order flows $\bar{\bar{\mathcal{N}}} (f)$ (up to conjugacy and duality).
Graph-Like Compacta: Characterizations and Eulerian Loops
Published
• View Publication
• BIB
A compact graph-like space is a triple $(X,V,E)$ where $X$ is a compact, metrizable space, $V \subseteq X$ is a closed zero-dimensional subset, and $E$ is an index set such that $X \setminus V \cong E \times (0,1)$. New characterizations of compact graph-like spaces are given, connecting them to certain classes of continua, and to standard subspaces of Freudenthal compactifications of locally finite graphs. These are applied to characterize Eulerian graph-like compacta.
Unit Hypercube Visibility Numbers of Trees
Published
• View Publication
• BIB
A visibility representation of a graph $G$ is an assignment of the vertices of $G$ to geometric objects such that vertices are adjacent if and only if their corresponding objects are "visible" each other, that is, there is an uninterrupted channel, usually axis-aligned, between them. Depending on the objects and definition of visibility used, not all graphs are visibility graphs. In such situations, one may be able to obtain a visibility representation of a graph $G$ by allowing vertices to be assigned to more than one object. The {\it visibility number} of a graph $G$ is the minimum $t$ such that $G$ has a representation in which each vertex is assigned to at most $t$ objects.
In this paper, we explore visibility numbers of trees when the vertices are assigned to unit hypercubes in $\mathbb{R}^n$. We use two different models of visibility: when lines of sight can be parallel to any standard basis vector of $\mathbb{R}^n$, and when lines of sight are only parallel to the $n$th standard basis vector in $\mathbb{R}^n$. We establish relationships between these visibility models and their connection to trees with certain cubicity values.
The mechanical modes of a $2$-periodic triangulated surface
A recent "hidden symmetry" conjecture of B. Gin-ge Chen et al is resolved, concerning the dimension of the mechanical modes of a generic $2$-periodic triangulated surface $O$ in $R^3$ whose structure graph corresponds to a triangular tiling of $R^2$. We introduce an indexing of the terms in an associated sparse determinant $p_O(z_1, z_2)$ by means of oriented $3$-colourings of the underlying sparse graph, and use this and vertex splitting arguments to show that $p_O(z_1,z_2)$ is palindromic or antipalindromic, up to a shift index. This implies the conjectured dimension $1$ phenomenon for these surfaces. As a corollary we obtain the topological stability of the generic modes of a $1$-periodic triangulated nanotube.
Approximating Vizing's independence number conjecture
Published in Australasian Journal of Combinatorics Vol. 71 (2018) 153 - 160
• Search Publication
In 1965, Vizing conjectured that the independence ratio of edge-chromatic critical graphs is at most $\frac{1}{2}$. We prove that for every $ε> 0$ this conjecture is equivalent to its restriction on a specific set of edge-chromatic critical graphs with independence ratio smaller than $\frac{1}{2} + ε$.
On the $A_α$-spectra of trees
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of the degrees of $G$. For every real $α\in\left[ 0,1\right],$ define the matrix $A_α\left(G\right) $ as \[ A_α\left(G\right) =αD\left(G\right) +(1-α)A\left(G\right) \] where $0\leqα\leq1$.
This paper gives several results about the $A_α$-matrices of trees. In particular, it is shown that if $T_Δ$ is a tree of maximal degree $Δ,$ then the spectral radius of $A_α(T_Δ)$ satisfies the tight inequality \[ ρ(A_α(T_Δ))<αΔ+2(1-α)\sqrt{Δ-1}. \] This bound extends previous bounds of Godsil, Lovász, and Stevanović. The proof is based on some new results about the $A_α$-matrices of Bethe trees and generalized Bethe trees.
In addition, several bounds on the spectral radius of $A_α$ of general graphs are proved, implying tight bounds for paths and Bethe trees.
Enumerating independent vertex sets in grid graphs
Published in Linear Algebra and its Applications 510 (2016) 192-204
• View Publication
• BIB
A set of vertices in a graph is called independent if no two vertices of the set are connected by an edge. In this paper we use the state matrix recursion algorithm, developed by Oh, to enumerate independent vertex sets in a grid graph and even further to provide the generating function with respect to the number of vertices. We also enumerate bipartite independent vertex sets in a grid graph. The asymptotic behavior of their growth rates is presented.
Mirror graphs: graph theoretical characterization of reflection arrangements and finite Coxeter groups
Published
• View Publication
• BIB
Mirror graphs were introduced by Brešar et al. in 2004 as an intriguing class of graphs: vertex-transitive, isometrically embeddable into hypercubes, having a strong connection with regular maps and polytope structure. In this article we settle the structure of mirror graphs by characterizing them as precisely the Cayley graphs of the finite Coxeter groups or equivalently the tope graphs of reflection arrangements - well understood and classified structures. We provide a polynomial algorithm for their recognition.
On the representation number of a crown graph
Published
• View Publication
• BIB
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. It is known that any word-representable graph $G$ is $k$-word-representable for some $k$, that is, there exists a word $w$ representing $G$ such that each letter occurs exactly $k$ times in $w$. The minimum such $k$ is called $G$'s representation number.
A crown graph $H_{n,n}$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. In this paper we show that for $n\geq 5$, $H_{n,n}$'s representation number is $\lceil n/2 \rceil$. This result not only provides a complete solution to the open Problem 7.4.2 in \cite{KL}, but also gives a negative answer to the question raised in Problem 7.2.7 in \cite{KL} on 3-word-representability of bipartite graphs. As a byproduct we obtain a new example of a graph class with a high representation number.
Statistical Analysis of Binary Functional Graphs of the Discrete Logarithm
The increased use of cryptography to protect our personal information makes us want to understand the security of cryptosystems. The security of many cryptosystems relies on solving the discrete logarithm, which is thought to be relatively difficult. Therefore, we focus on the statistical analysis of certain properties of the graph of the discrete logarithm. We discovered the expected value and variance of a certain property of the graph and compared the expected value to experimental data. Our finding did not coincide with our intuition of the data following a Gaussian distribution given a large sample size. Thus, we found the theoretical asymptotic distributions of certain properties of the graph.
Which subsets of an infinite random graph look random?
Published
• View Publication
• BIB
Given a countable graph, we say a set $A$ of its vertices is \emph{universal} if it contains every countable graph as an induced subgraph, and $A$ is \emph{weakly universal} if it contains every finite graph as an induced subgraph. We show that, for almost every graph on $\mathbb N$, $(1)$ every set of positive upper density is universal, and $(2)$ every set with divergent reciprocal sums is weakly universal. We show that the second result is sharp (i.e., a random graph on $\mathbb N$ will almost surely contain non-universal sets with divergent reciprocal sums) and, more generally, that neither of these two results holds for a large class of partition regular families.
On DP-coloring of graphs and multigraphs
Published in Siberian Mathematical Journal, vol. 58 (2017), n. 1, 36--47
• View Publication
• BIB
While solving a question on list coloring of planar graphs, Dvořák and Postle introduced the new notion of DP-coloring (they called it correspondence coloring). A DP-coloring of a graph $G$ reduces the problem of finding a coloring of $G$ from a given list $L$ to the problem of finding a "large" independent set in an auxiliary graph $H(G,L)$ with vertex set $\{(v,c)\,: \, v\in V(G) \text{ and } {c\in L(v)} \}$. It is similar to the old reduction by Plesnevič and Vizing of the $k$-coloring problem to the problem of finding an independent set of size $|V(G)|$ in the Cartesian product $G\square K_k$. Some properties of the DP-chromatic number $χ_{DP}(G)$ resemble the properties of the list chromatic number $χ_{\ell}(G)$ but some differ quite a lot. It is always the case that $χ_{DP}(G)\geq χ_{\ell}(G)$. The goal of this note is to introduce DP-colorings for multigraphs and to prove for them an analog of the result of Borodin and Erdős, Rubin, and Taylor characterizing the multigraphs that do not admit DP-colorings from some DP-degree-lists. This characterization yields an analog of Gallai's Theorem on the minimum number of edges in $n$-vertex graphs critical with respect to DP-coloring.
Quadratic Generated Normal Domains From Graphs
Published
• View Publication
• BIB
Determining whether an arbitrary subring $R$ of $k[x_1^{\pm 1},\dots, x_n^{\pm 1}]$ is a normal domain is, in general, a nontrivial problem, even in the special case of a monomial generated domain. In this paper, we provide a complete characterization of the normality and normalizations of quadratic-monomial generated domains. For a quadratic-monomial generated domain $R$, we develop a combinatorial structure that assigns, to each quadratic monomial of the ring, an edge in a mixed signed, directed graph $G$, i.e., a graph with signed edges and directed edges. We classify the normality and the normalizations of such rings in terms of a generalization of the combinatorial odd cycle condition on $G$.
Wiener index, Harary index and Hamiltonicity of graphs
Published in MATCH Commun. Math. Comput. Chem.78(2017) no.1, pp.153--162
• Search Publication
In this paper, we prove tight sufficient conditions for traceability and Hamiltonicity of connected graphs with given minimum degree, in terms of Wiener index and Harary index. We also prove some result on Hamiltonicity of balanced bipartite graphs in the similar fashion. In two recent papers \cite{LDJ2016,LDJ2017}, Liu et al. corrected some previous work on traceability of connected graphs in terms of Wiener index and Harary index, respectively, such as \cite{HW2013,Y2013}. We generalize these results and give short and unified proofs. All results in this paper are best possible.
Central measures on multiplicative graphs, representations of Lie algebras and weight polytopes
To each finite-dimensional representation of a simple Lie algebra is associated a multiplicative graph in the sense of Kerov and Vershik definedfrom the decomposition of its tensor powers into irreducible components. The conditioning of naturalrandom Littelmann paths to stay in their corresponding Weyl chamber is thencontrolled by central measures on this type of graphs. Using the K-theory of associated C*-algebras, Handelman established a homeomorphism between the set of central measures on these multiplicative graphs and the weight polytope of theunderlying representation. In the present paper, we make explicit this homeomorphism independently of Handelman's results by using Littelmann's path model. As a by-product we also get an explicit parametrization of theweight polytope in terms of drifts of random Littelmann paths. This explicit parametrization yields a complete description of harmonic and c-harmonic functions for this Littelmann paths model.
A study of the Structural Properties of finite $G$-graphs and their Characterisation
The $G$-graph $Γ(G,S)$ is a graph from the group $G$ generated by $S\subseteq G$, where the vertices are the right cosets of the cyclic subgroups $\langle s \rangle, s\in S$ with $k$-edges between two distinct cosets if there is an intersection of $k$ elements. In this thesis, after presenting some important properties of $G$-graphs, we show how the $G$-graph depends on the generating set of the group. We give the $G$-graphs of the symmetric group, alternating group and the semi-dihedral group with respect to various generating sets. We give a characterisation of finite $G$-graphs; in the general case and a bipartite case. Using these characterisations, we give several classes of graphs that are $G$-graphs. For instance, we consider the Turán graphs, the platonic graphs and biregular graphs such as the Levi graphs of geometric configurations. We emphasis the structural properties of $G$-graphs and their relations to the group $G$ and the generating set $S$.
As preliminary results for further studies, we give the adjacency matrix and spectrum of various finite $G$-graphs. As an application, we compute the energy of these graphs. We also present some preliminary results on infinite $G$-graphs where we consider the $G$-graphs of the infinite group $SL_2(\mathbb{Z})$ and an infinite non-Abelian matrix group.
On the complexity of failed zero forcing
Published
• View Publication
• BIB
Let $G$ be a simple graph whose vertices are partitioned into two subsets, called filled vertices and empty vertices. A vertex $v$ is said to be forced by a filled vertex $u$ if $v$ is a unique empty neighbor of $u$. If we can fill all the vertices of $G$ by repeatedly filling the forced ones, then we call an initial set of filled vertices a forcing set. We discuss the so-called failed forcing number of a graph, which is the largest cardinality of a set which is not forcing. Answering the recent question of Ansill, Jacob, Penzellna, Saavedra, we prove that this quantity is NP-hard to compute. Our proof also works for a related graph invariant which is called the skew failed forcing number.
On Robust Colorings of Hamming-Distance Graphs
Published
• View Publication
• BIB
$H_q(n,d)$ is defined as the graph with vertex set ${\mathbb Z}_q^n$ and where two vertices are adjacent if their Hamming distance is at least $d$. The chromatic number of these graphs is presented for various sets of parameters $(q,n,d)$. For the $4$-colorings of the graphs $H_2(n,n-1)$ a notion of robustness is introduced. It is based on the tolerance of swapping colors along an edge without destroying properness of the coloring. An explicit description of the maximally robust $4$-colorings of $H_2(n,n-1)$ is presented.