graph
34726 papers tagged with this keyword
First-order proofs without syntax
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula $φ$ as a lax fibration over a graph associated with $φ$. The main theorem is soundness and completeness: a formula is a valid if and only if it has a combinatorial proof.
Every Graph Is Local Antimagic Total And Its Applications To Local Antimagic (Total) Chromatic Numbers
A graph $G = (V, E)$ of order $p$ and size $q$ is said to be local antimagic if there exists a bijection $g:E(G) \to \{1,2,\ldots,q\}$ such that for any pair of adjacent vertices $u$ and $v$, $g^+(u)\ne g^+(v)$, where $g^+(u)=\sum_{uv\in E(G)} g(uv)$ is the induced vertex color of $u$ under $g$. We also say $G$ is local antimagic total if there exists a bijection $f: V\cup E \to\{1,2,\ldots ,p+q\}$ such that for any pair of adjacent vertices $u$ and $v$, $w(u)\not= w(v)$, where $w(u)= f(u) +\sum_{uv\in E(G)} f(uv)$ is the induced vertex weight of $u$ under $f$. The local antimagic (and local antimagic total) chromatic number of $G$, denoted $χ_{la}(G)$ (and $χ_{lat}(G)$), is the minimum number of distinct induced vertex colors (and weights) over all local antimagic (and local antimagic total) labelings of $G$. We also say a local antimagic total labeling is local super antimagic total if $f(v)\in\{1,2,\ldots,p\}$ for each $v\in V(G)$. In [Proof of a local antimagic conjecture, {\it Discrete Math. Theor. Comp. Sc.}, {\bf 20(1)} (2018), \#18], the author proved that every connected graph of order at least 3 is local antimagic. Using this result, we provide a very short proof that every graph is local antimagic total. We showed that there exists close relationship between $χ_{la}(G \vee K_1)$ and $χ_{lat}(G)$. A sufficient condition is also given for the corresponding local super antimagic total labeling. Sharp bounds of $χ_{lat}(G)$ and close relationships between $χ_{lat}(G)$ and $χ_{la}(G \vee K_1)$ are found. Bounds of $χ_{lat}(G-e)$ in terms of $χ_{lat}(G)$ for a graph $G$ with an edge $e$ deleted are also obtained. These relationships are used to determine the exact values of $χ_{lat}$ for many graphs $G$. We also conjecture that each graph $G$ of order at least 3 has $χ_{lat}(G)\le χ_{la}(G)$.
Domination versus edge domination
Published
• View Publication
• BIB
We propose the conjecture that the domination number $γ(G)$ of a $Δ$-regular graph $G$ with $Δ\geq 1$ is always at most its edge domination number $γ_e(G)$, which coincides with the domination number of its line graph. We prove that $γ(G)\leq \left(1+\frac{2(Δ-1)}{Δ2^Δ}\right)γ_e(G)$ for general $Δ\geq 1$, and $γ(G)\leq \left(\frac{7}{6}-\frac{1}{204}\right)γ_e(G)$ for $Δ=3$. Furthermore, we verify our conjecture for cubic claw-free graphs.
Algebraic properties of perfect structures
Published
• View Publication
• BIB
A perfect structure is a triple $(M,P,S)$ of matrices $M, P$ and $S$ of consistent sizes such that $MP = PS$. Perfect structures comprise similar matrices, eigenvectors, perfect colorings (equitable partitions) and graph coverings. In this paper we study general algebraic properties of perfect structures and characterize all perfect structures with identity or unity matrix $M$. Next, we consider a graph product generalizing most standard products (e.g. Cartesian, tensor, normal, lexicographic graph products). For this product we propose a construction of perfect structures and prove that it can be reversed for eigenvectors. Finally, we apply obtained results to calculate the spectra of several classes of graphs and to prove some properties of perfect colorings.
Impartial digraphs
Published
• View Publication
• BIB
We prove a conjecture of Fox, Huang, and Lee that characterizes directed graphs that have constant density in all tournaments: they are disjoint unions of trees that are each constructed in a certain recursive way.
The induced subgraph K_2_,_3 in a non-Hamiltonian graphs
A graph $\textit{G}$ is a tuple $(\textit{V}, \textit{E})$, where $\textit{V}$ is the vertex set, $\textit{E}$ is the edge set. A reduced graph is a graph of deleting non-Hamiltonian edges and smoothing out the redundant vertices of degree 2 on an edge except for leaving only one vertex of degree 2. We denote by I a set of cycles only jointed by inside vertices. |I| is the number of sets I in a graph. We use a norm graph to denote a reduced graph of |I|=1. $\textit{g}$ is a subgraph obtained by deleting all removable cycles from a basis of a norm graph. In this paper, we show that a norm graph $\textit{G}$ is non-Hamiltonian, if and only if, $\textit{g}$ and K_2_,_3 are homeomorphic.
Generalising the scattered property of subspaces
Published in Combinatorica 41 (2) (2021) 237-262
• View Publication
• BIB
Let $V$ be an $r$-dimensional $\mathbb{F}_{q^n}$-vector space. We call an $\mathbb{F}_q$-subspace $U$ of $V$ $h$-scattered if $U$ meets the $h$-dimensional $\mathbb{F}_{q^n}$-subspaces of $V$ in $\mathbb{F}_q$-subspaces of dimension at most $h$. In 2000 Blokhuis and Lavrauw proved that $\dim_{\mathbb{F}_q} U \leq rn/2$ when $U$ is $1$-scattered. Subspaces attaining this bound have been investigated intensively because of their relations with projective two-weight codes and strongly regular graphs. MRD-codes with a maximum idealiser have also been linked to $rn/2$-dimensional $1$-scattered subspaces and to $n$-dimensional $(r-1)$-scattered subspaces.
In this paper we prove the upper bound $rn/(h+1)$ for the dimension of $h$-scattered subspaces, $h>1$, and construct examples with this dimension. We study their intersection numbers with hyperplanes, introduce a duality relation among them, and study the equivalence problem of the corresponding linear sets.
Using Markov chains to determine expected propagation time for probabilistic zero forcing
Published
• View Publication
• BIB
Zero forcing is a coloring game played on a graph where each vertex is initially colored blue or white and the goal is to color all the vertices blue by repeated use of a (deterministic) color change rule starting with as few blue vertices as possible. Probabilistic zero forcing yields a discrete dynamical system governed by a Markov chain. Since in a connected graph any one vertex can eventually color the entire graph blue using probabilistic zero forcing, the expected time to do this studied. Given a Markov transition matrix for a probabilistic zero forcing process, we establish an exact formula for expected propagation time. We apply Markov chains to determine bounds on expected propagation time for various families of graphs.
Non-Hamilton cycle sets of having solutions and their properties
A graph \textit{G} is a tuple (\textit{V}, \textit{E}), where \textit{V} is the vertex set, \textit{E} is the edge set. A reduced graph is a graph of deleting non-Hamiltonian edges and smoothing out the redundant vertices of degree 2 on an edge except for leaving only one vertex of degree 2. A 2-common (\textit{v}, \textit{0}) combination is a cycle set in which every pair of joint cycles \textit{A} and \textit{B} satisfies $|V(A)\cap V(B)|=2$ and $|E(A)\cap E(B)|=0$. In this paper, we investigate the cycle structure of 2-common (\textit{v}, \textit{0}) combination in reduced graphs, and give the characterizations of their Hamiltoncity.
Symmetric graphs of valency seven and their basic normal quotient graphs
Published
• View Publication
• BIB
A graph $Γ$ is basic if Aut$Γ$ has no normal subgroup $N\ne1$ such that $Γ$ is a normal cover of the normal quotient graph $Γ_N$. In this paper, we completely determine the basic normal quotient graphs of all connected 7-valent symmetric graphs of order $2pq^n$ with $p < q$ odd primes, which consist of an infinite family of dihedrants of order $2p$ with $p\equiv1$(mod 7), and 6 specific graphs with order at most 310. As a consequence, it shows that, for any given positive integer n, there are only finitely many connected 2-arc-transitive 7-valent graphs of order $2pq^n$ with $7\ne p<q$ primes, partially generalizing Theorem 1 of Conder, Li and Potocnik [On the orders of arc-transitive graphs, J. Algebra 421 (2015), 167-186].
Hierarchical Colorings of Cographs
Cographs are exactly hereditarily well-colored graphs, i.e., the graphs for which a greedy coloring of every induced subgraph uses only the minimally necessary number of colors $χ(G)$. In recent work on reciprocal best match graphs so-called hierarchically coloring play an important role. Here we show that greedy colorings are a special case of hierarchical coloring, which also require no more than $χ(G)$ colors.
On the Erdős-Sós conjecture for trees with bounded degree
Published
• View Publication
• BIB
We prove the Erd\H os--Sós conjecture for trees with bounded maximum degree and large dense host graphs. As a corollary, we obtain an upper bound on the multicolour Ramsey number of large trees whose maximum degree is bounded by a constant.
Boundary Independent Broadcasts in Graphs
A broadcast on a nontrivial connected graph G is a function f from the vertices of G to the non-negative integers such that f(v) does not exceed e(v) (the eccentricity of v) for each vertex v. If G is disconnected, we define a broadcast on G as the union of broadcasts on its components. In a search for the best way to generalise the concept of independent sets in graphs to independent broadcasts, there are several ways to look at an independent set X of a graph G. One way is from the point of view of the vertices in X: no two vertices are adjacent -- the usual definition. Another way is from the point of view of the edges of G: no edge is incident with (or covered by) more than one vertex in X. Using the latter approach we define boundary independent broadcasts as an alternative to independent broadcasts as defined by D. Erwin [Cost domination in graphs, Doctoral dissertation, Western Michigan University, 2001], which we refer to here as hearing or h-independent broadcasts. We compare the boundary independence broadcast number to the independence number and the h-independence broadcast number and show that the differences can be arbitrary, while the ratios are bounded; the bounds we present are asymptotically best possible. We also show that, although the difference between the boundary independence broadcast number and the independence number can be arbitrary for trees, they are equal for any 2-connected bipartite graph. We prove a tight upper bound for the boundary independence number and characterise graphs for which equality holds. Using this bound and the established ratio we obtain a new tight upper bound for Erwin's h-independence broadcast number.
Weak Modularity and $\widetilde{A}_n$ Buildings
The $\widetilde{A}_n$ Coxeter groups are known to not be systolic or cocompactly cubulated for $n\geq 3$. We prove that these groups act geometrically on weakly modular graphs, a weak notion of nonpositive curvature generalizing the 1-skeleta of $\mathrm{CAT}(0)$ cube complexes and systolic complexes. To prove weak modularity we describe the canonical emeddings of the 1-skeleta of $\widetilde{A}_n$ Coxeter complexes into the Euclidean spaces $\mathbb{R}^{n+1}$. We also prove weak modularity for buildings of type $\widetilde{A}_3$.
Biembeddings of cycle systems using integer Heffter arrays
Published
• View Publication
• BIB
In this paper we will show the existence of a face $2$-colourable biembedding of the complete graph onto an orientable surface where each face is a cycle of a fixed length $k$, for infinitely many values of $k$. In particular, under certain conditions, we show that there exists at least $(n-2)[(p-2)!]^2/(e^2 kn)$ non-isomorphic face $2$-colourable biembeddings of $K_{2nk+1}$ in which all faces are cycles of length $k=4p+3$. These conditions are: $n\equiv 1\mod 4$, $k\equiv 3\mod 4$ and either $n$ is prime or $n\gg k$ and $n\equiv 0\mod 3$ implies $p\equiv 1\mod 3$. To achieve this result we begin by verifying the existence of $(n-2)[(p-2)!/e]^2$ non-equivalent Heffter arrays, $H(n;k)$, which satisfy the conditions: (1) for each row and each column the sequential partial sums determined by the natural ordering must be distinct modulo $2nk+1$; (2) the composition of the natural orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. The existence of Heffter arrays $H(n;k)$ that satisfy condition (1) was established earlier in \cite{BCDY} and in this current paper we vary this construction and show that there are at least $(n-2)[(p-2)!/e]^2$ such non-equivalent $H(n;k)$ that satisfy condition (1) and then show that each of these Heffter arrays also satisfy condition (2) under certain conditions.
Counting critical subgraphs in $k$-critical graphs
Published
• View Publication
• BIB
Gallai asked in 1984 if any $k$-critical graph on $n$ vertices contains at least $n$ distinct $(k-1)$-critical subgraphs. The answer is trivial for $k\leq 3$. Improving a result of Stiebitz, Abbott and Zhou proved in 1995 that for all $k\geq 4$, such graph contains $Ω(n^{1/(k-1)})$ distinct $(k-1)$-critical subgraphs. Since then no progress had been made until very recently, Hare resolved the case $k=4$ by showing that any $4$-critical graph on $n$ vertices contains at least $(8n-29)/3$ odd cycles.
In this paper, we mainly focus on 4-critical graphs and develop some novel tools for counting cycles of specified parity. Our main result shows that any $4$-critical graph on $n$ vertices contains $Ω(n^2)$ odd cycles, which is tight up to a constant factor by infinite many graphs. As a crucial step, we prove the same bound for 3-connected non-bipartite graphs, which may be of independent interest. Using the tools, we also give a very short proof for the case $k=4$. Moreover, we improve the longstanding lower bound of Abbott and Zhou to $Ω(n^{1/(k-2)})$ for the general case $k\geq 5$. We will also discuss some related problems on $k$-critical graphs in the final section.
Trivalent dihedrants and bi-dihedrants
Published
• View Publication
• BIB
A Cayley (resp. bi-Cayley) graph on a dihedral group is called a {\em dihedrant} (resp. {\em bi-dihedrant}). In 2000, a classification of trivalent arc-transitive dihedrants was given by Maru\v si\v c and Pisanski, and several years later, trivalent non-arc-transitive dihedrants of order $4p$ or $8p$ $(p$ a prime) were classified by Feng et al. As a generalization of these results, our first result presents a classification of trivalent non-arc-transitive dihedrants. Using this, a complete classification of trivalent vertex-transitive non-Cayley bi-dihedrants is given, thus completing the study of trivalent bi-dihedrants initiated in our previous paper [Discrete Math. 340 (2017) 1757--1772]. As a by-product, we generalize a theorem in [The Electronic Journal of Combinatorics 19 (2012) $\#$P53].
Models of Continuous-Time Networks with Tie Decay, Diffusion, and Convection
Published in Phys. Rev. E 103, 022304 (2021)
• View Publication
• BIB
The study of temporal networks in discrete time has yielded numerous insights into time-dependent networked systems in a wide variety of applications. For many complex systems, however, it is useful to develop continuous-time models of networks and to compare them to associated discrete models. In this paper, we study several continuous-time network models and examine discrete approximations of them both numerically and analytically. To consider continuous-time networks, we associate each edge in a graph with a time-dependent tie strength that can take continuous non-negative values and decays in time after the most recent interaction. We investigate how the mean tie strength evolves with time in several models, and we explore -- both numerically and analytically -- criteria for the emergence of a giant connected component in some of these models. We also briefly examine the effects of interaction patterns of our continuous-time networks on contagion dynamics in a susceptible-infected-recovered model of an infectious disease.
On edge-primitive graphs with soluble edge-stabilizers
Published
• View Publication
• BIB
A graph is edge-primitive if its automorphism group acts primitively on the edge set, and 2-arc-transitive if its automorphism group acts transitively on the set of 2-arcs. In this paper, we present a classification for those edge-primitive graphs which are 2-arc-transitive and have soluble edge-stabilizers.
Bounding robustness in complex networks under topological changes through majorization techniques
Published in EUROPEAN PHYSICAL JOURNAL. B, CONDENSED MATTER AND COMPLEX SYSTEMS, pagg 1-13, 2020
• View Publication
• BIB
Measuring robustness is a fundamental task for analyzing the structure of complex networks. Indeed, several approaches to capture the robustness properties of a network have been proposed. In this paper we focus on spectral graph theory where robustness is measured by means of a graph invariant called Kirchhoff index, expressed in terms of eigenvalues of the Laplacian matrix associated to a graph. This graph metric is highly informative as a robustness indicator for several realworld networks that can be modeled as graphs. We discuss a methodology aimed at obtaining some new and tighter bounds of this graph invariant when links are added or removed. We take advantage of real analysis techniques, based on majorization theory and optimization of functions which preserve the majorization order (Schurconvex functions). Applications to simulated graphs show the effectiveness of our bounds, also in providing meaningful insights with respect to the results obtained in the literature.