graph
34665 papers tagged with this keyword
A Characteristic Polynomial for The Transition Probability Matrix of A Correlated Random Walk on A Graph
Published
• View Publication
• BIB
We define a correlated random walk (CRW) induced from the time evolution matrix (the Grover matrix) of the Grover walk on a graph $G$, and present a formula for the characteristic polynomial of the transition probability matrix of this CRW by using a determinant expression for the generalized weighted zeta function of $G$. As applications, we give the spectrum of the transition probability matrices for the CRWs induced from the Grover matrices of regular graphs and semiregular bipartite graphs. Furthermore, we consider another type of the CRW on a graph.
On the chromatic numbers of signed triangular and hexagonal grids
Published
• View Publication
• BIB
A signed graph is a simple graph with two types of edges. Switching a vertex $v$ of a signed graph corresponds to changing the type of each edge incident to $v$.
A homomorphism from a signed graph $G$ to another signed graph $H$ is a mapping $\varphi: V(G) \rightarrow V(H)$ such that, after switching any number of the vertices of $G$, $\varphi$ maps every edge of $G$ to an edge of the same type in $H$. The chromatic number $χ_s(G)$ of a signed graph $G$ is the order of a smallest signed graph $H$ such that there is a homomorphism from $G$ to $H$.
We show that the chromatic number of signed triangular grids is at most 10 and the chromatic number of signed hexagonal grids is at most 4.
K-core in percolated dense graph sequences
Published
• View Publication
• BIB
We determine the size of $k$-core in a large class of dense graph sequences. Let $G_n$ be a sequence of undirected, $n$-vertex graphs with edge weights $\{a^n_{i,j}\}_{i,j \in [n]}$ that converges to a kernel $W:[0,1]^2\to [0,+\infty)$ in the cut metric. Keeping an edge $(i,j)$ of $G_n$ with probability $\min \{ {a^n_{i,j}}/{n},1 \}$ independently, we obtain a sequence of random graphs $G_n(\frac{1}{n})$. Denote by $\mathcal{A}$ the property of a branching process that the initial particle has at least $k$ children, each of which has at least $k-1$ children, each of which has at least $k-1$ children, and so on. Using branching process and the theory of dense graph limits, under mild assumptions we obtain the size of $k$-core of random graphs $G_n(\frac{1}{n})$, \begin{align*} \text{size of $k$-core of } G_n\left(\frac{1}{n}\right) =n \mathbb{P}_{X^W}\left(\mathcal{A}\right) +o_p(n). \end{align*} Our result can also be used to obtain the threshold of appearance of a $k$-core of order $n$.
On a Paley-type graph on $\mathbb{Z}_n$
Published
• View Publication
• BIB
Let $q$ be a prime power such that $q\equiv 1\pmod{4}$. The Paley graph of order $q$ is the graph with vertex set as the finite field $\mathbb{F}_q$ and edges defined as, $ab$ is an edge if and only if $a-b$ is a non-zero square in $\mathbb{F}_q$. We attempt to construct a similar graph of order $n$, where $n\in\mathbb{N}$. For suitable $n$, we construct the graph where the vertex set is the finite commutative ring $\mathbb{Z}_n$ and edges defined as, $ab$ is an edge if and only if $a-b\equiv x^2\pmod{n}$ for some unit $x$ of $\mathbb{Z}_n$. We look at some properties of this graph. For primes $p\equiv 1\pmod{4}$, Evans, Pulham and Sheehan computed the number of complete subgraphs of order 4 in the Paley graph. Very recently, Dawsey and McCarthy find the number of complete subgraphs of order 4 in the generalized Paley graph of order $q$. In this article, for primes $p\equiv 1\pmod{4}$ and any positive integer $α$, we find the number of complete subgraphs of order 3 and 4 in our graph defined over $\mathbb{Z}_{p^α}$.
Induced Disjoint Paths in AT-free Graphs
Published
• View Publication
• BIB
Paths $P_1,\ldots,P_k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P_i$ and $P_j$ have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P_i$ such that each $P_i$ connects $s_i$ and $t_i$. This is a classical graph problem that is NP-complete even for $k=2$. We study it for AT-free graphs.
Unlike its subclasses of permutation graphs and cocomparability graphs, the class of AT-free graphs has no geometric intersection model. However, by a new, structural analysis of the behaviour of Induced Disjoint Paths for AT-free graphs, we prove that it can be solved in polynomial time for AT-free graphs even when $k$ is part of the input. This is in contrast to the situation for other well-known graph classes, such as planar graphs, claw-free graphs, or more recently, (theta,wheel)-free graphs, for which such a result only holds if $k$ is fixed.
As a consequence of our main result, the problem of deciding if a given AT-free graph contains a fixed graph $H$ as an induced topological minor admits a polynomial-time algorithm. In addition, we show that such an algorithm is essentially optimal by proving that the problem is W[1]-hard with parameter $|V_H|$, even on a subclass of AT-free graph, namely cobipartite graphs. We also show that the problems $k$-in-a-Path and $k$-in-a-Tree are polynomial-time solvable on AT-free graphs even if $k$ is part of the input. These problems are to test if a graph has an induced path or induced tree, respectively, spanning $k$ given vertices.
Dirac-type conditions for spanning bounded-degree hypertrees
Published
• View Publication
• BIB
We prove that for fixed $k$, every $k$-uniform hypergraph on $n$ vertices and of minimum codegree at least $n/2+o(n)$ contains every spanning tight $k$-tree of bounded vertex degree as a sub\-graph. This generalises a well-known result of Komlós, Sárközy and Szemerédi for graphs. Our result is asymptotically sharp. We also prove an extension of our result to hypergraphs that satisfy some weak quasirandomness conditions.
On the minimal sum of edges in a signed edge-dominated graph
Published
• View Publication
• BIB
Let $G$ be a simple graph with $n$ vertices and $\pm 1$-weights on edges. Suppose that for every edge $e$ the sum of edges adjacent to $e$ (including $e$ itself) is positive. Then the sum of weights over edges of $G$ is at least $-\frac{n^2}{25}$. Also we provide an example of a weighted graph with described properties and the sum of weights $-(1+o(1))\frac{n^2}{8(1 + \sqrt{2})^2}$.
The previous best known bounds were $-\frac{n^2}{16}$ and $-(1+o(1))\frac{n^2}{54}$ respectively. We show that the constant $-1/54$ is optimal under some additional conditions.
Big Ramsey degrees in universal inverse limit structures
Published
• View Publication
• BIB
We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures,extending Zheng's work for the profinite graph to the setting of Fraïssé classes of finite ordered binary relational structures with the Ramsey property. This work is based on the Halpern-Läuchli theorem, but different from the Milliken space of strong subtrees. Based on these topological Ramsey spaces and the work of Huber-Geschke-Kojman on inverse limits of finite ordered graphs, we prove that for each such Fraïssé class, its universal inverse limit structure has finite big Ramsey degrees under finite Baire-measurable colorings. For such \Fraisse\ classes satisfying free amalgamation as well as finite ordered tournaments and finite partial orders with a linear extension, we characterize the exact big Ramsey degrees.
Simplification for Graph-like Objects
The simplification of a multigraph into a simple graph can be abstracted to a more general comma category under some common conditions. When using the identity functor, the category of simple objects in a comma category generalizes the functor-structured category. Seated in categorical terms, simplification can be dualized to "antisimplification", which manifests as removal of isolated vertices and loose edges.
Wiener index and graphs, almost half of whose vertices satisfy Šoltés property
Published
• View Publication
• BIB
The Wiener index $W(G)$ of a connected graph $G$ is a sum of distances between all pairs of vertices of $G$. In 1991, Šoltés formulated the problem of finding all graphs $G$ such that for every vertex $v$ the equation $W(G)=W(G-v)$ holds. The cycle $C_{11}$ is the only known graph with this property. In this paper we consider the following relaxation of the original problem: find a graph with a large proportion of vertices such that removing any one of them does not change the Wiener index of a graph. As the main result, we build an infinite series of graphs with the proportion of such vertices tending to $\frac{1}{2}$.
Component Games on Random Graphs
Published
• View Publication
• BIB
In the $\left(1:b\right)$ component game played on a graph $G$, two players, Maker and Breaker, alternately claim~$1$ and~$b$ previously unclaimed edges of $G$, respectively. Maker's aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial random graph is strongly correlated with the appearance of a nonempty $(b+2)$-core in the graph.
For any integer $k$, the $k$-core of a graph is its largest subgraph of minimum degree at least $k$. Pittel, Spencer and Wormald showed in 1996 that for any $k\ge3$ there exists an explicitly defined constant $c_{k}$ such that $p=c_{k}/n$ is the threshold function for the appearance of the $k$-core in $G(n,p)$. More precisely, $G(n,c/n)$ has WHP a linear-size $k$-core when the constant $c>c_{k}$, and an empty $k$-core when $c<c_{k}$.
We show that for any positive constant $b$, when playing the $(1:b)$ component game on $G(n,c/n)$, Maker can WHP build a linear-size component if $c>c_{b+2}$, while Breaker can WHP prevent Maker from building larger than polylogarithmic-size components if $c<c_{b+2}$.
For Breaker's strategy, we prove a theorem which may be of independent interest. The standard algorithm for computing the $k$-core of any graph is to repeatedly delete ("peel") all vertices of degree less than $k$, as long as such vertices remain. When $G(n,c/n)$ for $c<c_{k}$, it was shown by Jiang, Mitzenmacher and Thaler that $\log_{k-1}\log n+Θ(1)$ peeling iterations are WHP necessary and sufficient to obtain the (empty) $k$-core of~$G$. Our theorem states that already after a constant number of iterations, $G$ is WHP shattered into pieces of polylogarithmic size.
Flip Graphs
Flip graphs are graphs on combinatorial objects in which the adjacency relation reflects a local change in the underlying objects. In this thesis we introduce Yoke graphs, a family of flip graphs that generalizes previously studied families of flip graphs on colored triangle-free triangulations, arc permutations and geometric caterpillars. Our main results are the computation of the diameter of an arbitrary Yoke graph and a full characterization of the automorphism group of this family of graphs. We also show that Yoke graphs are Schreier graphs of the affine Weyl group of type $\tilde{C}_m$.
The approach we take in the computation of the diameter is different from the ones used for colored triangle-free triangulations and arc permutations. We show that the approach used for arc permutation graphs does not extend to Yoke graphs. At the heart of our proof lies the idea of transforming a diameter evaluation into an eccentricity problem. The characterization of the automorphism group is a new result for the above mentioned three special families of Yoke graphs.
Trees and tree-like structures in dense digraphs
We prove that every oriented tree on $n$ vertices with bounded maximum degree appears as a spanning subdigraph of every directed graph on $n$ vertices with minimum semidegree at least $n/2+\mathrm{o}(n)$. This can be seen as a directed graph analogue of a well-known theorem of Komlós, Sárközy and Szemerédi. Our result for trees follows from a more general result, allowing the embedding of arbitrary orientations of a much wider class of spanning "tree-like" structures, such as a collection of at most $\mathrm{o}(n^{1/4})$ vertex-disjoint cycles and subdivisions of graphs $H$ with $|H|< n^{(\log n)^{-1/2}}$ in which each edge is subdivided at least once.
Supersymmetry and Representation Theory in Low Dimensions
Beginning from a discussion of the known most fundamental dynamical structures of the Standard Model of physics, extended into the realms of mathematics and theory by the concept of "supersymmetry" or "SUSY," an introduction to efforts to develop a complete representation theory is given. Techniques drawing from graph theory, coding theory, Coxeter Groups, Riemann surfaces, and computational approaches to the study of algebraic varieties are briefly highlighted as pathways for future exploration and progress.
On the compatibility of the topologies of parallel tasks and computing systems
Published
• View Publication
• BIB
Aspects of compatibility of topologies of parallel computing systems and tasks are investigated. The introduction of appropriate indexes based on the original topological model of parallel computations and on the nontraditional description of a graph by its projections is proposed and elucidated. On the example of hypercubic computing system (CS) and tasks with ring and star information topologies, we demonstrate determining the indexes and their use in a comparative analysis of the applicability of interconnect with a given topology for solving tasks with the same and different types of information topologies.
Ergodicity of the Martin boundary of the Young--Fibonacci graph. II
Among central measures on the path space of the Young--Fibonacci lattice the so-called Plancherel measure has a special role. Its ergodicity was proved by Kerov and Gnedin. The goal of this cycle of two articles is to prove that remaining measures from the Martin boundary of this graph (which were described by Kerov and Goodman) are also ergodic. The measures are parametrized with an infinite word of digits 1 and 2 and the parameter $β\in(0,1]$ (the case $β=0$ corresponds to the Plancherel measure). In this article we finish the proof of their ergodicity using the statements proved in the first paper as a "black box".
Switching for Small Strongly Regular Graphs
We provide an abundance of strongly regular graphs (SRGs) for certain parameters $(n, k, λ, μ)$ with $n < 100$. For this we use Godsil-McKay (GM) switching with a partition of type $4,n-4$ and Wang-Qiu-Hu (WQH) switching with a partition of type $3,3,n-6$ or $4,4,n-8$. In most cases, we start with a highly symmetric graph which belongs to a finite geometry. Many of the obtained graphs are new; for instance, we find 16565438 strongly regular graphs with parameters $(81, 30, 9, 12)$ while only 15 seem to be described in the literature.
We provide statistics about the size of the occurring automorphism groups. We also find the recently discovered Krčadinac partial geometry, thus finding a third method of constructing it.
On the Classification of Binary Completely Transitive Codes with Almost-Simple Top-Group
Published
• View Publication
• BIB
A code $C$ in the Hamming metric, that is, is a subset of the vertex set $V\varGamma$ of the Hamming graph $\varGamma=H(m,q)$, gives rise to a natural distance partition $\{C,C_1,\ldots,C_ρ\}$, where $ρ$ is the covering radius of $C$. Such a code $C$ is called completely transitive if the automorphism group $\rm{Aut}(C)$ acts transitively on each of the sets $C$, $C_1$, \ldots, $C_ρ$. A code $C$ is called $2$-neighbour-transitive if $ρ\geq 2$ and $\rm{Aut}(C)$ acts transitively on each of $C$, $C_1$ and $C_2$.
Let $C$ be a completely transitive code in a binary ($q=2$) Hamming graph having full automorphism group $\rm{Aut}(C)$ and minimum distance $δ\geq 5$. Then it is known that $\rm{Aut}(C)$ induces a $2$-homogeneous action on the coordinates of the vertices of the Hamming graph. The main result of this paper classifies those $C$ for which this induced $2$-homogeneous action is not an affine, linear or symplectic group. We find that there are $13$ such codes, $4$ of which are non-linear codes. Though most of the codes are well-known, we obtain several new results. First, a new non-linear completely transitive code is constructed, as well as a related non-linear code that is $2$-neighbour-transitive but not completely transitive. Moreover, new proofs of the complete transitivity of several codes are given. Additionally, we answer the question of the existence of distance-regular graphs related to the completely transitive codes appearing in our main result.
Extremal mixed metric dimension with respect to the cyclomatic number
Published
• View Publication
• BIB
In a graph G, the cardinality of the smallest ordered set of vertices that distinguishes every element of V(G)U E(G) is called the mixed metric dimension of G, and it is denoted by mdim(G). In [12] it was conjectured that for a graph G with cyclomatic number c(G) it holds that mdim(G) <= L1(G) + 2c(G) where L1(G) is the number of leaves in G. It is already proven that the equality holds for all trees and more generally for graphs with edge-disjoint cycles in which every cycle has precisely one vertex of degree >= 3. In this paper we determine that for every Theta graph G, the mixed metric dimension mdim(G) equals 3 or 4, with 4 being attained if and only if G is a balanced Theta graph. Thus, for balanced Theta graphs the above inequality is also tight. We conclude the paper by further conjecturing that there are no other graphs, besides the ones mentioned here, for which the equality mdim(G) = L1(G) + 2c(G) holds.
Edge-Minimum Saturated k-Planar Drawings
Published
• View Publication
• BIB
For a class $\mathcal{D}$ of drawings of loopless (multi-)graphs in the plane, a drawing $D \in \mathcal{D}$ is \emph{saturated} when the addition of any edge to $D$ results in $D' \notin \mathcal{D}$ - this is analogous to saturated graphs in a graph class as introduced by Turán (1941) and Erdős, Hajnal, and Moon (1964). We focus on $k$-planar drawings, that is, graphs drawn in the plane where each edge is crossed at most $k$ times, and the classes $\mathcal{D}$ of all $k$-planar drawings obeying a number of restrictions, such as having no crossing incident edges, no pair of edges crossing more than once, or no edge crossing itself. While saturated $k$-planar drawings are the focus of several prior works, tight bounds on how sparse these can be are not well understood. We establish a generic framework to determine the minimum number of edges among all $n$-vertex saturated $k$-planar drawings in many natural classes. For example, when incident crossings, multicrossings and selfcrossings are all allowed, the sparsest $n$-vertex saturated $k$-planar drawings have $\frac{2}{k - (k \bmod 2)} (n-1)$ edges for any $k \geq 4$, while if all that is forbidden, the sparsest such drawings have $\frac{2(k+1)}{k(k-1)}(n-1)$ edges for any $k \geq 6$.