graph
34629 papers tagged with this keyword
Arithmetic-Geometric Spectral Radius of Trees and Unicyclic Graphs
The arithmetic-geometric matrix $A_{ag}(G)$ of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle \frac{d_{i}+d_{j}}{2\sqrt{d_{i}d_{j}}}$ if the vertices $v_{i}$ and $v_{j}$ are adjacent, and 0 otherwise. The arithmetic-geometric spectral radius of $G$, denoted by $ρ_{ag}(G)$, is the largest eigenvalue of the arithmetic-geometric matrix $A_{ag}(G)$. Let $S_{n}$ be the star of order $n\geq3$ and $S_{n}+e$ be the unicyclic graph obtained from $S_{n}$ by adding an edge. In this paper, we prove that for any tree $T$ of order $n\geq2$, $\displaystyle 2\cos\fracπ{n+1}\leqρ_{ag}(P_{n})\leqρ_{ag}(T)\leqρ_{ag}(S_{n})=\frac{n}{2},$ with equality if and only if $T\cong P_{n}$ for the lower bound, and if and only if $T\cong S_{n}$ for the upper bound. We also prove that for any unicyclic graph $G$ of order $n\geq3$, $\displaystyle 2=ρ_{ag}(C_{n})\leqρ_{ag}(G)\leqρ_{ag}(S_{n}+e),$ the lower (upper, respectively) bound is attained if and only if $T\cong C_{n}$ ($T\cong S_{n}+e$, respectively) and $\displaystyleρ_{ag}(S_{n}+e)<\frac{n}{2}$ for $n\geq7$.
The "Young" and "reverse" dichotomy of polynomials
Published
• View Publication
• BIB
A "flip-and-reversal" involution arising in the study of quasisymmetric Schur functions provides a passage between what we term "Young" and "reverse" variants of bases of polynomials or quasisymmetric functions. Building on this perspective, which has found recent application in the study of $q$-analogues of combinatorial Hopf algebras and generalizations of dual immaculate functions, we develop and explore Young analogues of well-known bases for polynomials. We prove several combinatorial formulas for the Young analogue of the key polynomials, show that they form the generating functions for left keys, and provide a representation-theoretic interpretation of Young key polynomials as traces on certain modules. We also give combinatorial formulas for the Young analogues of Schubert polynomials, including their crystal graph structure. We moreover determine the intersections of (reverse) bases and their Young counterparts, further clarifying their relationships to one another.
Subgroup regular sets in Cayley graphs
Published
• View Publication
• BIB
Let $Γ$ be a graph with vertex set $V$, and let $a$ and $b$ be nonnegative integers. A subset $C$ of $V$ is called an $(a,b)$-regular set in $Γ$ if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$. In particular, $(0, 1)$-regular sets and $(1, 1)$-regular sets in $\Ga$ are called perfect codes and total perfect codes in $\Ga$, respectively. A subset $C$ of a group $G$ is said to be an $(a,b)$-regular set of $G$ if there exists a Cayley graph of $G$ which admits $C$ as an $(a,b)$-regular set. In this paper we prove that, for any generalized dihedral group $G$ or any group $G$ of order $4p$ or $pq$ for some primes $p$ and $q$, if a nontrivial subgroup $H$ of $G$ is a $(0, 1)$-regular set of $G$, then it must also be an $(a,b)$-regular set of $G$ for any $0\leqslant a\leqslant|H|-1$ and $0\leqslant b\leqslant |H|$ such that $a$ is even when $|H|$ is odd. A similar result involving $(1, 1)$-regular sets of such groups is also obtained in the paper.
Pure pairs. V. Excluding some long subdivision
Published
• View Publication
• BIB
A pure pair in a graph $G$ is a pair $A,B$ of disjoint subsets of $V(G)$ such that $A$ is complete or anticomplete to $B$. Jacob Fox showed that for all $ε>0$, there is a comparability graph $G$ with $n$ vertices, where $n$ is large, in which there is no pure pair $A,B$ with $|A|,|B|\ge εn$. He also proved that for all $c>0$ there exists $ε>0$ such that for every comparability graph $G$ with $n>1$ vertices, there is a pure pair $A,B$ with $|A|,|B|\ge εn^{1-c}$; and conjectured that the same holds for every perfect graph $G$. We prove this conjecture and strengthen it in several ways.
In particular, we show that for all $c>0$, and all $\ell_1, \ell_2\ge 4c^{-1}+9$, there exists $ε>0$ such that, if $G$ is a graph with $n>1$ vertices and no hole of length exactly $\ell_1$ and no antihole of length exactly $\ell_2$, then there is a pure pair $A,B$ in $G$ with $|A|\ge εn$ and $|B|\ge εn^{1-c}$. This is further strengthened, replacing excluding a hole by excluding some long subdivision of a general graph.
Filtered simplicial homology, graph dissimilarity and überhomology
Published
• View Publication
• BIB
We introduce a filtration on the simplicial homology of a finite simplicial complex X using bi-colourings of its vertices. This yields two dual homology theories closely related to discrete Morse matchings on X. We give an explicit expression for the associated graded object of these homologies when X is the matching complex of the Tait graph of a plane graph $G$, in terms of subgraphs determined by certain matchings on the dual of G. We then use one of these homologies, in the case where X is a graph, to define a conjecturally optimal dissimilarity pseudometric for graphs; we prove various results for this dissimilarity and provide several computations. We further show that, by organising the horizontal homologies of a simplicial complex in the poset of its colourings, we obtain a triply graded homology theory which we call überhomology. This latter homology is not a homotopy invariant, but nonetheless encodes both combinatorial and topological information on X. For example, we prove that if X is a subdivision, the überhomology vanishes in its lowest degree, while for an homology manifold it coincides with the fundamental class in its top degree. We compute the überhomology on several classes of examples and infinite families, and prove some of its properties; namely that, in its extremal degrees, it is well-behaved under coning and taking suspension. We then focus on the case where X is a simple graph, and prove a detection result. Finally, we define some singly-graded homologies for graphs obtained by specialising the überhomology in certain bi-degrees, provide some computations and use computer aided calculations to make some conjectures.
Flow modules and nowhere-zero flows
Published
• View Publication
• BIB
Let $Γ$ be a graph, $A$ an abelian group, $\mathcal{D}$ a given orientation of $Γ$ and $R$ a unital subring of the endomorphism ring of $A$. It is shown that the set of all maps $\varphi$ from $E(Γ)$ to $A$ such that $(\mathcal{D},\varphi)$ is an $A$-flow forms a left $R$-module. Let $Γ$ be a union of two subgraphs $Γ_{1}$ and $Γ_{2}$, and $p^n$ a prime power. It is proved that $Γ$ admits a nowhere-zero $p^n$-flow if $Γ_{1}$ and $Γ_{2}$ have at most $p^n-2$ common edges and both have nowhere-zero $p^n$-flows. More important, it is proved that $Γ$ admits a nowhere-zero $4$-flow if $Γ_{1}$ and $Γ_{2}$ both have nowhere-zero $4$-flows and their common edges induce a connected subgraph of $Γ$ of size at most $3$. This covers a result of Catlin that a graph admits a nowhere-zero $4$-flow if it is a union of a $4$-cycle and a subgraph admiting a nowhere-zero $4$-flow.
Random homomorphisms into the orthogonality graph
Published
• View Publication
• BIB
Subgraph densities have been defined, and served as basic tools, both in the case of graphons (limits of dense graph sequences) and graphings (limits of bounded-degree graph sequences). While limit objects have been described for the "middle ranges", the notion of subgraph densities in these limit objects remains elusive. We define subgraph densities in the orthogonality graphs on the unit spheres in dimension $d$, under appropriate sparsity condition on the subgraphs. These orthogonality graphs exhibit the main difficulties of defining subgraphs the "middle" range, and so we expect their study to serve as a key example to defining subgraph densities in more general Markov spaces.
The problem can also be formulated as defining and computing random orthogonal representations of graphs. Orthogonal representations have played a role in information theory, optimization, rigidity theory and quantum physics, so to study random ones may be of interest from the point of view of these applications as well.
Discrepancy and Sparsity
Published
• View Publication
• BIB
We study the connections between the notions of combinatorial discrepancy and graph degeneracy. In particular, we prove that the maximum discrepancy over all subgraphs $H$ of a graph $G$ of the neighborhood set system of $H$ is sandwiched between $Ω(\log\mathrm{deg}(G))$ and $\mathcal{O}(\mathrm{deg}(G))$, where $\mathrm{deg}(G)$ denotes the degeneracy of $G$. We extend this result to inequalities relating weak coloring numbers and discrepancy of graph powers and deduce a new characterization of bounded expansion classes.
Then, we switch to a model theoretical point of view, introduce pointer structures, and study their relations to graph classes with bounded expansion. We deduce that a monotone class of graphs has bounded expansion if and only if all the set systems definable in this class have bounded hereditary discrepancy.
Using known bounds on the VC-density of set systems definable in nowhere dense classes we also give a characterization of nowhere dense classes in terms of discrepancy. As consequences of our results, we obtain a corollary on the discrepancy of neighborhood set systems of edge colored graphs, a polynomial-time algorithm to compute $\varepsilon$-approximations of size $\mathcal{O}(1/\varepsilon)$ for set systems definable in bounded expansion classes, an application to clique coloring, and even the non-existence of a quantifier elimination scheme for nowhere dense classes.
Compelling Colorings: A generalization of the dominator chromatic number
Published
• View Publication
• BIB
We define a $P$-compelling coloring as a proper coloring of the vertices of a graph such that every subset consisting of one vertex of each color has property $P$. The $P$-compelling chromatic number is the minimum number of colors in such a coloring. We show that this notion generalizes the dominator and total dominator chromatic numbers, and provide some general bounds and algorithmic results. We also investigate the specific cases where $P$ is that the subset contains at least one edge or that the subset is connected.
A clique-free pseudorandom subgraph of the pseudo polarity graph
Published
• View Publication
• BIB
We provide a new family of $K_k$-free pseudorandom graphs with edge density $Θ(n^{-1/(k-1)})$, matching a recent construction due to Bishnoi, Ihringer and Pepe. As in the former result, the idea is to use large subgraphs of polarity graphs, which are defined over a finite field $\mathbb{F}_q$. While their construction required $q$ to be odd, we will give the first construction with $q$ even.
Multi-layered planar firefighting
Consider a model of fire spreading through a graph; initially some vertices are burning, and at every given time-step fire spreads from burning vertices to their neighbours. The firefighter problem is a solitaire game in which a player is allowed, at every time-step, to protect some non-burning vertices (by effectively deleting them) in order to contain the fire growth. How many vertices per turn, on average, must be protected in order to stop the fire from spreading infinitely?
Here we consider the problem on $\mathbb{Z}^2\times [h]$ for both nearest neighbour adjacency and strong adjacency. We determine the critical protection rates for these graphs to be $1.5h$ and $3h$, respectively. This establishes the fact that using an optimal two-dimensional strategy for all layers in parallel is asymptotically optimal.
Pretty good state transfer in discrete-time quantum walks
Published
• View Publication
• BIB
We establish the theory for pretty good state transfer in discrete-time quantum walks. For a class of walks, we show that pretty good state transfer is characterized by the spectrum of certain Hermitian adjacency matrix of the graph; more specifically, the vertices involved in pretty good state transfer must be $m$-strongly cospectral relative to this matrix, and the arccosines of its eigenvalues must satisfy some number theoretic conditions. Using normalized adjacency matrices, cyclic covers, and the theory on linear relations between geodetic angles, we construct several infinite families of walks that exhibits this phenomenon.
Some $α$-spectral extremal results for some digraphs
Published
• View Publication
• BIB
In this paper, we characterize the extremal digraphs with the maximal or minimal $α$-spectral radius among some digraph classes such as rose digraphs, generalized theta digraphs and tri-ring digraphs with given size $m$. These digraph classes are denoted by $\mathcal{R}_{m}^k$, $\widetilde{\boldsymbolΘ}_k(m)$ and $\INF(m)$ respectively. The main results about spectral extremal digraph by Guo and Liu in \cite{MR2954483} and Li and Wang in \cite{MR3777498} are generalized to $α$-spectral graph theory. As a by-product of our main results, an open problem in \cite{MR3777498} is answered.
Furthermore, we determine the digraphs with the first three minimal $α$-spectral radius among all strongly connected digraphs. Meanwhile, we determine the unique digraph with the fourth minimal $α$-spectral radius among all strongly connected digraphs for $0\le α\le \frac{1}{2}$.
Improved bounds for zeros of the chromatic polynomial on bounded degree graphs
We prove that for any graph $G$ of maximum degree at most $Δ$, the zeros of its chromatic polynomial $χ_G(z)$ (in $\mathbb{C}$) lie outside the disk of radius $5.02 Δ$ centered at $0$. This improves on the previously best known bound of approximately $6.91Δ$.
In the case of graphs of high girth we can improve this. We prove that for every $g$ there is a constant $K_g$ such that for any graph $G$ of maximum degree at most $Δ$ and girth at least $g$, the zeros of its chromatic polynomial $χ_G(z)$ lie outside the disk of radius $K_g Δ$ centered at $0$ where $K_g \to 1 + e \approx 3.72$ as $g \to \infty$.
Finally, we give improved bounds on the Fisher zeros of the partition function of the Ising model.
Further approximations for Aharoni's rainbow generalization of the Caccetta-Häggkvist conjecture
Published in Electronic Journal of Combinatorics, 29 (1), (2022) #P1.55
• View Publication
• BIB
For a digraph $G$ and $v \in V(G)$, let $δ^+(v)$ be the number of out-neighbors of $v$ in $G$. The Caccetta-Häggkvist conjecture states that for all $k \ge 1$, if $G$ is a digraph with $n = |V(G)|$ such that $δ^+(v) \ge k$ for all $v \in V(G)$, then $G$ contains a directed cycle of length at most $\lceil n/k \rceil$. Aharoni proposed a generalization of this conjecture, that a simple edge-colored graph on $n$ vertices with $n$ color classes, each of size $k$, has a rainbow cycle of length at most $\lceil n/k \rceil$. With Pelikánová and Pokorná, we showed that this conjecture is true if each color class has size $Ω(k\log k)$. In this paper, we present a proof of the conjecture if each color class has size $Ω(k)$, which improved the previous result and is only a constant factor away from Aharoni's conjecture. We also consider what happens when the condition on the number of colors is relaxed.
Hierarchical Graph Neural Networks
Over the recent years, Graph Neural Networks have become increasingly popular in network analytic and beyond. With that, their architecture noticeable diverges from the classical multi-layered hierarchical organization of the traditional neural networks. At the same time, many conventional approaches in network science efficiently utilize the hierarchical approaches to account for the hierarchical organization of the networks, and recent works emphasize their critical importance. This paper aims to connect the dots between the traditional Neural Network and the Graph Neural Network architectures as well as the network science approaches, harnessing the power of the hierarchical network organization. A Hierarchical Graph Neural Network architecture is proposed, supplementing the original input network layer with the hierarchy of auxiliary network layers and organizing the computational scheme updating the node features through both - horizontal network connections within each layer as well as the vertical connection between the layers. It enables simultaneous learning of the individual node features along with the aggregated network features at variable resolution and uses them to improve the convergence and stability of the individual node feature learning. The proposed Hierarchical Graph Neural network architecture is successfully evaluated on the network embedding and modeling as well as network classification, node labeling, and community tasks and demonstrates increased efficiency in those.
Reconfiguring Independent Sets on Interval Graphs
We study reconfiguration of independent sets in interval graphs under the token sliding rule. We show that if two independent sets of size $k$ are reconfigurable in an $n$-vertex interval graph, then there is a reconfiguration sequence of length $\mathcal{O}(k\cdot n^2)$. We also provide a construction in which the shortest reconfiguration sequence is of length $Ω(k^2\cdot n)$.
As a counterpart to these results, we also establish that $\textsf{Independent Set Reconfiguration}$ is PSPACE-hard on incomparability graphs, of which interval graphs are a special case.
Perron value and moment of rooted trees
Published
• View Publication
• BIB
The Perron value $ρ(T)$ of a rooted tree $T$ has a central role in the study of the algebraic connectivity and characteristic set, and it can be considered a weight of spectral nature for $T$. A different, combinatorial weight notion for $T$ - the moment $μ(T)$ - emerges from the analysis of Kemeny's constant in the context of random walks on graphs. In the present work, we compare these two weight concepts showing that $μ(T)$ is "almost" an upper bound for $ρ(T)$ and the ratio $μ(T)/ρ(T)$ is unbounded but at most linear in the order of $T$. To achieve these primary goals, we introduce two new objects associated with $T$ - the Perron entropy and the neckbottle matrix - and we investigate how different operations on the set of rooted trees affect the Perron value and the moment.
Ramsey numbers of sparse digraphs
Published
• View Publication
• BIB
Burr and Erdős in 1975 conjectured, and Chvátal, Rödl, Szemerédi and Trotter later proved, that the Ramsey number of any bounded degree graph is linear in the number of vertices. In this paper, we disprove the natural directed analogue of the Burr--Erdős conjecture, answering a question of Bucić, Letzter, and Sudakov. If $H$ is an acyclic digraph, the oriented Ramsey number of $H$, denoted $\overrightarrow{r_{1}}(H)$, is the least $N$ such that every tournament on $N$ vertices contains a copy of $H$. We show that for any $Δ\geq 2$ and any sufficiently large $n$, there exists an acyclic digraph $H$ with $n$ vertices and maximum degree $Δ$ such that \[ \overrightarrow{r_{1}}(H)\ge n^{Ω(Δ^{2/3}/ \log^{5/3} Δ)}. \] This proves that $\overrightarrow{r_{1}}(H)$ is not always linear in the number of vertices for bounded-degree $H$. On the other hand, we show that $\overrightarrow{r_{1}}(H)$ is nearly linear in the number of vertices for typical bounded-degree acyclic digraphs $H$, and obtain linear or nearly linear bounds for several natural families of bounded-degree acyclic digraphs.
For multiple colors, we prove a quasi-polynomial upper bound $\overrightarrow{r_{k}}(H)=2^{(\log n)^{O_{k}(1)}}$ for all bounded-degree acyclic digraphs $H$ on $n$ vertices, where $\overrightarrow{r_k}(H)$ is the least $N$ such that every $k$-edge-colored tournament on $N$ vertices contains a monochromatic copy of $H$. For $k\geq 2$ and $n\geq 4$, we exhibit an acyclic digraph $H$ with $n$ vertices and maximum degree $3$ such that $\overrightarrow{r_{k}}(H)\ge n^{Ω(\log n/\log\log n)}$, showing that these Ramsey numbers can grow faster than any polynomial in the number of vertices.
Graph reliability evaluation via random $K$-out-of-$N$ systems
Published in Communications in Statistics - Theory and Methods, 53(3) (2024), 1024-1034
• View Publication
• BIB
The present study was concerned with network failure problems for simple connected undirected graphs. A connected graph becomes unconnected through edge failure, under the assumptions that only edges can fail and each edge has an identical failure distribution. The main purpose of the present study was to show recurrent relations with respect to the number of edges in graph generation procedures. To this end, simple connected undirected graphs were correlated to random $K$-out-of-$N$ systems, and key features of such systems were applied. In addition, some simple graph cases and examples were analyzed.