graph
34726 papers tagged with this keyword
On the vanishing of discrete singular cubical homology for graphs
Published
• View Publication
• BIB
We prove that if G is a graph without 3-cycles and 4-cycles, then the discrete cubical homology of G is trivial in dimension d, for all d\ge 2. We also construct a sequence { G_d } of graphs such that this homology is non-trivial in dimension d for d\ge 1. Finally, we show that the discrete cubical homology induced by certain coverings of G equals the ordinary singular homology of a 2-dimensional cell complex built from G, although in general it differs from the discrete cubical homology of the graph as a whole.
IB-homogeneous graphs
Published
• View Publication
• BIB
The Lachlan-Woodrow Theorem identifies ultrahomogeneous graphs up to isomorphism. Recently, the present author and D. Hartman classified MB-homogeneous graphs up to bimorphism-equivalence. We extend those results in this paper, showing that every IB-homogeneous graph is either ultrahomogeneous or MB-homogeneous, and thus all the IB-homogeneous graphs are known up to bimorphism-equivalence.
Meyniel Extremal Families of Abelian Cayley Graphs
Published
• View Publication
• BIB
We study the game of Cops and Robbers, where cops try to capture a robber on the vertices of a graph. Meyniel's conjecture states that for every connected graph $G$ on $n$ vertices, the cop number of $G$ is upper bounded by $O(\sqrt{n})$, i.e., that $O(\sqrt{n})$ suffice to catch the robber. We present several families of abelian Cayley graphs that are Meyniel extremal, i.e., graphs whose cop number is $O(\sqrt{n})$. This proves that the $O(\sqrt{n})$ upper bound for Cayley graphs proved by Bradshaw is tight up to a multiplicative constant. In particular, this shows that Meyniel's conjecture, if true, is tight to a multiplicative constant even for abelian Cayley graphs.
In order to prove the result, we construct Cayley graphs on $n$ vertices with $Ω(\sqrt{n})$ generators that are $K_{2,3}$-free. This shows that the Kövári, Sós, and Turán theorem, stating that any $K_{2,3}$-free graph of $n$ vertices has at most $O(n^{3/2})$ edges, is tight up to a multiplicative constant even for abelian Cayley graphs.
Upper Tail For Homomorphism Counts In Constrained Sparse Random Graphs
Published
• View Publication
• BIB
Consider the upper tail probability that the homomorphism count of a fixed graph $H$ within a large sparse random graph $G_n$ exceeds its expected value by a fixed factor $1+δ$. Going beyond the Erdős-Rényi model, we establish here explicit, sharp upper tail decay rates for sparse random $d_n$-regular graphs (provided $H$ has a regular $2$-core), and for sparse uniform random graphs. We further deal with joint upper tail probabilities for homomorphism counts of multiple graphs $H_1,\ldots, H_k$ (extending the known results for $k=1$), and for inhomogeneous graph ensembles (such as the stochastic block model), we bound the upper tail probability by a variational problem analogous to the one that determines its decay rate in the case of sparse Erdős-Rényi graphs.
On Validity of Reed Conjecture for Classes of Graphs with Two Forbidden Subgraphs
Reed Conjecture is open for more than 20 years now. Here we prove that Reed Conjecture is valid for (1) {P4UnionK1, Kite}-free graphs (2) {Chair, Kite}-free graphs (3) {K2UnionK2complement , H}-free graphs and (4) {2K2, M}-free graphs where H and M are graphs on six vertices each. Reed conjecture is still open in general.
Half-graphs, other non-stable degree sequences, and the switch Markov chain
Published in The Electronic Journal of Combinatorics, Volume 28, Issue 3 (2021) P3.7
• View Publication
• BIB
One of the simplest methods of generating a random graph with a given degree sequence is provided by the Monte Carlo Markov Chain method using switches. The switch Markov chain converges to the uniform distribution, but generally the rate of convergence is not known. After a number of results concerning various degree sequences, rapid mixing was established for so-called $P$-stable degree sequences (including that of directed graphs), which covers every previously known rapidly mixing region of degree sequences.
In this paper we give a non-trivial family of degree sequences that are not $P$-stable and the switch Markov chain is still rapidly mixing on them. This family has an intimate connection to Tyshkevich-decompositions and strong stability as well.
New expressions for order polynomials and chromatic polynomials
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph with $V=\{1,2,\cdots,n\}$ and $χ(G,x)$ be its chromatic polynomial. For an ordering $π=(v_1,v_2,\cdots,v_n)$ of elements of $V$, let $δ_G(π)$ be the number of $i$'s, where $1\le i\le n-1$, with either $v_i<v_{i+1}$ or $v_iv_{i+1}\in E$. Let ${\cal W}(G)$ be the set of subsets $\{a,b,c\}$ of $V$, where $a<b<c$, which induces a subgraph with $ac$ as its only edge. We show that ${\cal W}(G)=\emptyset$ if and only if $(-1)^nχ(G,-x)=\sum_π {x+δ_G(π)\choose n}$, where the sum runs over all $n!$ orderings $π$ of $V$. To prove this result, we establish an analogous result on order polynomials of posets and apply Stanley's work on the relation between chromatic polynomials and order polynomials.
Free flags over local rings and powering of high dimensional expanders
Published in International Mathematics Research Notices, 2022:19, October 2022, Pages 14741-14769
• View Publication
• BIB
Powering the adjacency matrix of an expander graph results in a better expander of higher degree. In this paper we seek an analogue operation for high-dimensional expanders. We show that the naive approach to powering does not preserve high-dimensional expansion, and define a new power operation, using geodesic walks on quotients of Bruhat-Tits buildings. Applying this operation results in high-dimensional expanders of higher degrees. The crux of the proof is a combinatorial study of flags of free modules over finite local rings. Their geometry describes links in the power complex, and showing that they are excellent expanders implies high dimensional expansion for the power-complex by Garland's local-to-global technique. As an application, we use our power operation to obtain new efficient double samplers.
Cosmological Polytopes and the Wavefuncton of the Universe for Light States
We extend the investigation of the structure of the late-time wavefunction of the universe to a class of toy models of scalars with time-dependent masses and polynomial couplings, which contains general massive scalars in FRW cosmologies. We associate a universal integrand to each Feynman diagram contributing to the wavefunction of the universe. For certain (light) masses, such an integrand satisfies recursion relations involving differential operators, connecting states with different masses and having, as a seed, the massless scalar (which describes a conformally coupled scalar as a special case). We show that it is a degenerate limit of the canonical form of a generalisation of the cosmological polytopes describing the wavefunction for massless scalars. Intriguingly, the flat-space scattering amplitude appears as a higher codimension face: it is encoding the leading term in the Laurent expansion as the total energy is taken to zero, with the codimension of the face providing the order of the total energy pole. The same connection between the other faces and the Laurent expansion coefficients holds for the other singularities of the wavefunction of the universe, all of them connectable to flat-space processes. As the degenerate limit is taken, some of the singularities of the canonical form of the polytope collapse onto each other generating higher order poles. Finally, we consider the mass as a perturbative coupling, showing that the contribution to the wavefunction coming from graphs with mass two-point couplings can be identified with a degenerate limit of the canonical form of the cosmological polytope, if the perturbative expansion is done around the conformally coupled state; or as double degenerate limit of the canonical form of the extension of the cosmological polytopes introduced in the present paper, if the perturbative expansion is done around minimally coupled states.
Chromatic number is Ramsey distinguishing
Published in J. Graph Theory, 99: 152-161 (2022)
• View Publication
• BIB
A graph $G$ is Ramsey for a graph $H$ if every colouring of the edges of $G$ in two colours contains a monochromatic copy of $H$. Two graphs $H_1$ and $H_2$ are Ramsey equivalent if any graph $G$ is Ramsey for $H_1$ if and only if it is Ramsey for $H_2$. A graph parameter $s$ is Ramsey distinguishing if $s(H_1)\neq s(H_2)$ implies that $H_1$ and $H_2$ are not Ramsey equivalent. In this paper we show that the chromatic number is a Ramsey distinguishing parameter. We also extend this to the multi-colour case and use a similar idea to find another graph parameter which is Ramsey distinguishing.
A note about online nonrepetitive coloring $k$-trees
Published
• View Publication
• BIB
We prove that it is always possible to color online nonrepetitively any (partial) $k$-tree (that is, graphs with tree-width at most $k$) with $4^k$ colors. This implies that it is always possible to color online nonrepetitively cycles, trees and series-parallel graphs with $16$ colors. Our results generalize the respective (offline) nonrepetitive coloring results.
Quasi-(λ; n)-distance-balanced graphs
Published
• View Publication
• BIB
For every pair of vertices u and v with d(u; v) = n, Wun G v denotes the set of all vertices of G that are closer to u than to v. In this paper, we introduce quasi-(λ; n)-distance-balanced graphs and then study some properties of these graphs and present a formula to construct such graphs for arbitrarily diameter d. For n = 1, this class of graphs contains the quasi-λ-DB graphs recently introduced by Abedi et al. [Quasi-λ-distance-balanced graphs, Discrete Appl. Math. 227 (2017) 21{28]. Moreover, we will take a look at the problems arisen by Abedi et al. Some problems and conjecture are involved.
Classes of graphs with low complexity: the case of classes with bounded linear rankwidth
Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths -- a result that shows a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove structural and model theoretic properties of these classes. The structural results we obtain are the following.
1) The number of unlabeled graphs of order $n$ with linear rank-width at most~$r$ is at most $\bigl[(r/2)!\,2^{\binom{r}{2}}3^{r+2}\bigr]^n$.
2) Graphs with linear rankwidth at most $r$ are linearly $χ$-bounded. Actually, they have bounded $c$-chromatic number, meaning that they can be colored with $f(r)$ colors, each color inducing a cograph.
3) To the contrary, based on a Ramsey-like argument, we prove for every proper hereditary family $F$ of graphs (like cographs) that there is a class with bounded rankwidth that does not have the property that graphs in it can be colored by a bounded number of colors, each inducing a subgraph in $F$.
From the model theoretical side we obtain the following results:
1) A direct short proof that graphs with linear rankwidth at most $r$ are first-order transductions of linear orders. This result could also be derived from Colcombet's theorem on first-order transduction of linear orders and the equivalence of linear rankwidth with linear cliquewidth.
2) For a class $C$ with bounded linear rankwidth the following conditions are equivalent: a) $C$ is stable, b) $C$ excludes some half-graph as a semi-induced subgraph, c) $C$ is a first-order transduction of a class with bounded pathwidth.
These results open the perspective to study classes admitting low linear rankwidth covers.
Zeta functions of graphs, their symmetries and extended Catalan numbers
In this paper we study spectral zeta functions associated to finite and infinite graphs. First we establish a meromorphic continuation of these functions under some general conditions. Then we study special values in the case of standard lattice graphs associated to free abelian groups. In particular we connect it to Catalan numbers in several ways, and obtain some non-trivial special values and functional symmetries. Furthermore we relate the values at the negative integers with the more studied Ihara zeta functions, and prove a few minor results that seem not to have been recorded before. Finally we consider the characteristic polynomial of the graph Laplacians, and in particular completely determine its coefficients for cyclic graphs using new analytical methods.
A note on the optimal rubbling in ladders and prisms
A pebbling move on a graph G consists of the removal of two pebbles from one vertex and the placement of one pebble on an adjacent vertex. Rubbling is a version of pebbling where an additional move is allowed, which is also called the strict rubbling move. In this new move, one pebble each is removed from u and v adjacent to a vertex w, and one pebble is added on w. The optimal rubbling number of a graph G is the smallest number m, such that one pebble can be moved to every given vertex from some pebble distribution of m pebbles by a sequence of rubbling moves. In this paper, we give short proofs to determine the rubbling number of cycles and the optimal rubbling number of paths, cycles, ladders, prisms and Mobius-ladders.
On Orthogonal Vector Edge Coloring
Given a graph $G$ and a positive integer $d$, an orthogonal vector $d$-coloring of $G$ is an assignment $f$ of vectors of $\mathbb{R}^d$ to $V(G)$ in such a way that adjacent vertices receive orthogonal vectors. The orthogonal chromatic number of $G$, denoted by $χ_v(G)$, is the minimum $d$ for which $G$ admits an orthogonal vector $d$-coloring. This notion has close ties with the notions of Lovász Theta Function, quantum chromatic number, and many other problems, and even though this and related metrics have been extensively studied over the years, we have found that there is a gap in the knowledge concerning the edge version of the problem. In this article, we discuss this version and its relation with other insteresting known facts, and pose a question about the orthogonal chromatic index of cubic graphs.
Ramsey numbers of path-matchings, covering designs and 1-cores
Published
• View Publication
• BIB
A path-matching of order $p$ is a vertex disjoint union of nontrivial paths spanning $p$ vertices. Burr and Roberts, and Faudree and Schelp determined the 2-color Ramsey number of path-matchings. In this paper we study the multicolor Ramsey number of path-matchings. Given positive integers $r, p_1, \dots, p_r$, define $R^{PM}(p_1, \dots, p_r)$ to be the smallest integer $n$ such that in any $r$-coloring of the edges of $K_n$ there exists a path-matching of color $i$ and order at least $p_i$ for some $i\in [r]$. Our main result is that for $r\geq 2$ and $p_1\geq \dots\geq p_r\geq 2$, if $p_1\geq 2r-2$, then \[R^{PM}(p_1, \dots, p_r)= p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil.\] Perhaps surprisingly, we show that when $p_1<2r-2$, it is possible that $R^{PM}(p_1, \dots, p_r)$ is larger than $p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil$, but in any case we determine the correct value to within a constant (depending on $r$); i.e. \[p_1- (r-1) + \sum_{i=2}^{r}\left\lceil\frac{p_i}{3}\right\rceil \leq R^{PM}(p_1, \dots, p_r)\leq \left\lceil p_1-\frac{r}{3}+\sum_{i=2}^r\frac{p_i}{3}\right\rceil.\] As a corollary we get that in every $r$-coloring of $K_n$ there is a monochromatic path-matching of order at least $3\left\lfloor\frac{n}{r+2}\right\rfloor$, which is essentially best possible. We also determine $R^{PM}(p_1, \dots, p_r)$ in all cases when the number of colors is at most 4.
The proof of the main result uses a minimax theorem for path-matchings derived from a result of Las Vergnas (extending Tutte's 1-factor theorem) to show that the value of $R^{PM}(p_1, \dots, p_r)$ depends on the block sizes in covering designs (which can be also formulated in terms of monochromatic 1-cores in colored complete graphs). Then we obtain the result above by giving estimates on the block sizes in covering designs in the arbitrary (non-uniform) case.
On Arithmetical Structures on Complete Graphs
Published in Involve 13 (2020) 345-355
• View Publication
• BIB
An arithmetical structure on the complete graph $K_n$ with $n$ vertices is given by a collection of $n$ positive integers with no common factor each of which divides their sum. We show that, for all positive integers $c$ less than a certain bound depending on $n$, there is an arithmetical structure on $K_n$ with largest value $c$. We also show that, if each prime factor of $c$ is greater than $(n+1)^2/4$, there is no arithmetical structure on $K_n$ with largest value $c$. We apply these results to study which prime numbers can occur as the largest value of an arithmetical structure on $K_n$.
Failed power domination on graphs
Let $G$ be a simple graph with vertex set $V$ and edge set $E$, and let $S \subseteq V$. The \emph{open neighborhood} of $v \in V$, $N(v)$, is the set of vertices adjacent to $v$; the \emph{closed neighborhood} is given by $N[v] = N(v) \cup \{v\}$. The \emph{open neighborhood} of $S$, $N(S)$, is the union of the open neighborhoods of vertices in $S$, and the \emph{closed neighborhood} of $S$ is $N[S] = S \cup N(S)$. The sets $ \mathcal{P}^i(S), i \geq 0$, of vertices \emph{monitored} by $S$ at the $i^{\ {th}}$ step are given by $\mathcal{P}^0(S) = N[S]$ and $\mathcal{P}^{i+1}(S) = \mathcal{P}^i(S) \bigcup\left\{ w : \{ w \} = N[v] \backslash \mathcal{P}^i(S) \ { for some } v \in \mathcal{P}^i(S) \right\}$. If there exists $j$ such that $\mathcal{P}^j(S) = V$, then $S$ is called a \emph{power dominating set}, PDS, of $G$.
We introduce and discuss the \emph{failed power domination number} of a graph $G$, $\barγ_p(G)$, the largest cardinality of a set that is not a PDS. We prove that $\barγ_p(G)$ is NP-hard to compute, determine graphs in which every vertex is a PDS, and compare $\barγ_p(G)$ to similar parameters.
An algebraic inverse theorem for the quadratic Littlewood-Offord problem, and an application to Ramsey graphs
Consider a quadratic polynomial $f\left(ξ_{1},\dots,ξ_{n}\right)$ of independent Bernoulli random variables. What can be said about the concentration of $f$ on any single value? This generalises the classical Littlewood--Offord problem, which asks the same question for linear polynomials. As in the linear case, it is known that the point probabilities of $f$ can be as large as about $1/\sqrt{n}$, but still poorly understood is the "inverse" question of characterising the algebraic and arithmetic features $f$ must have if it has point probabilities comparable to this bound. In this paper we prove some results of an algebraic flavour, showing that if $f$ has point probabilities much larger than $1/n$ then it must be close to a quadratic form with low rank. We also give an application to Ramsey graphs, asymptotically answering a question of Kwan, Sudakov and Tran.