graph
34604 papers tagged with this keyword
On anti-stochastic properties of unlabeled graphs
Published
• View Publication
• BIB
We study vulnerability of a uniformly distributed random graph to an attack by an adversary who aims for a global change of the distribution while being able to make only a local change in the graph. We call a graph property $A$ anti-stochastic if the probability that a random graph $G$ satisfies $A$ is small but, with high probability, there is a small perturbation transforming $G$ into a graph satisfying $A$. While for labeled graphs such properties are easy to obtain from binary covering codes, the existence of anti-stochastic properties for unlabeled graphs is not so evident. If an admissible perturbation is either the addition or the deletion of one edge, we exhibit an anti-stochastic property that is satisfied by a random unlabeled graph of order $n$ with probability $(2+o(1))/n^2$, which is as small as possible. We also express another anti-stochastic property in terms of the degree sequence of a graph. This property has probability $(2+o(1))/(n\ln n)$, which is optimal up to factor of 2.
Hamilton Paths in Dominating Graphs of Trees and Cycles
Published
• View Publication
• BIB
The dominating graph of a graph $H$ has as its vertices all dominating sets of $H$, with an edge between two dominating sets if one can be obtained from the other by the addition or deletion of a single vertex of $H$. In this paper we prove that the dominating graph of any tree has a Hamilton path. We also show how a result about binary strings leads to a proof that the dominating graph of a cycle on $n$ vertices has a Hamilton path if and only if $n\not\equiv 0 \pmod 4$.
Polymatroids, closure operators and lattices
Published
• View Publication
• BIB
We study the closure operators of polymatroids from a lattice theoretic point of view. We show that polymatroid closure operators relate to lattices enriched with a generating set in the same way that matroids relate to geometric lattices. Through this relation we define a notion of minors for lattices enriched with a generating set. For the lattice of flats of a graphic matroid, the minors of the lattice are shown to correspond to simple minors of the graph when the vertices are labeled and the edges unlabeled. This correspondence is generalized to all polymatroids.
Horospherical random graphs and lockdown strategies
Published
• View Publication
• BIB
Expanders are sparse graph that are strongly connected, where {\it connectivity} is quantified using eigenvalues of the adjacency matrix, and {\it sparsity} in terms of vertex valency. We give a model of random graphs and study their connectivity and sparsity. This model is a particular case of soft geometric random graphs, and allows to construct sparse graphs with good expansion properties, as well as highly clustered ones. On those graphs, we study the speed at which random walks spread in the graph, and visit all vertices. As an illustration, we build a model for mainland France and study the spread of random walks under several types of lockdown. Our experiments show that completely closing medium and long distance travel to slow down the spread of a random walk is more efficient than than local restrictions.
On the comparison of the distinguishing coloring and the locating coloring of graphs
Published
• View Publication
• BIB
Let G be a simple connected graph. Then chi L(G) and chi D(G) will denote the locating chromatic number and the distinguishing chromatic number of G, respectively. In this paper, we investigate a comparison between chi L(G) and chi D(G). In fact, we prove that chi D(G) \leq chi L(G). Moreover, we determine some types of graphs whose locating and distinguishing chromatic numbers are equal. Specially, we characteristic all graph G with the property that chi D(G)= chi L(G) = 3.
Families of graphs with twin pendent paths and the Braess edge
Published in The Electronic Journal of Linear Algebra 38 (2022) 9-31
• View Publication
• BIB
In the context of a random walk on an undirected graph, Kemeny's constant can measure the average travel time for a random walk between two randomly chosen vertices. We are interested in graphs that behave counter-intuitively in regard to Kemeny's constant: in particular, we examine graphs with a cut-vertex at which at least two branches are paths, regarding whether the insertion of a particular edge into a graph results in an increase of Kemeny's constant. We provide several tools for identifying such an edge in a family of graphs and for analising asymptotic behaviour of the family regarding the tendency to have that edge; and classes of particular graphs are given as examples. Furthermore, asymptotic behaviours of families of trees are described.
Spatial Search on Johnson Graphs by Discrete-Time Quantum Walk
Published in Journal of Physics A: Mathematical and Theoretical, Vol.55, 255304, 2022
• View Publication
• BIB
The spatial search problem aims to find a marked vertex of a finite graph using a dynamic with two constraints: (1) The walker has no compass and (2) the walker can check whether a vertex is marked only after reaching it. This problem is a generalization of unsorted database search and has many applications to algorithms. Classical algorithms that solve the spatial search problem are based on random walks and the computational complexity is determined by the hitting time. On the other hand, quantum algorithms are based on quantum walks and the computational complexity is determined not only by the number of steps to reach a marked vertex, but also by the success probability, since we need to perform a measurement at the end of the algorithm to determine the walker's position. In this work, we address the spatial search problem on Johnson graphs using the coined quantum walk model. Since Johnson graphs are vertex- and distance-transitive, we have found an invariant subspace of the Hilbert space, which aids in the calculation of the computational complexity. We have shown that, for every fixed diameter, the asymptotic success probability is $1/2$ after taking $π\sqrt N/(2\sqrt 2)$ steps, where $N$ is the number of vertices of the Johnson graph.
Representations of Coxeter groups and homology of Coxeter graphs
We classify a class of complex representations of an arbitrary Coxeter group via characters of the integral homology of certain graphs. Such representations can be viewed as a generalization of the geometric representation and correspond to the second-highest 2-sided cell in the sense of Kazhdan-Lusztig. We also give a description of the cell representation provided by this 2-sided cell, and find out all its simple quotients for simply laced Coxeter system with no more than one circuit in the Coxeter graph.
Enumerating Matroids and Linear Spaces
Published
• View Publication
• BIB
We show that the number of linear spaces on a set of $n$ points and the number of rank-3 matroids on a ground set of size $n$ are both of the form $(cn+o(n))^{n^2/6}$, where $c=e^{\sqrt 3/2-3}(1+\sqrt 3)/2$. This is the final piece of the puzzle for enumerating fixed-rank matroids at this level of accuracy: the numbers of rank-1 and rank-2 matroids on a ground set of size $n$ have exact representations in terms of well-known combinatorial functions, and it was recently proved by van der Hofstad, Pendavingh, and van der Pol that for constant $r\ge 4$ there are $(e^{1-r}n+o(n))^{n^{r-1}/r!}$ rank-$r$ matroids on a ground set of size $n$. In our proof, we introduce a new approach for bounding the number of clique decompositions of a complete graph, using quasirandomness instead of the so-called entropy method that is common in this area.
Finite rank kernel varieties: A variant of Hilbert's Nullstellensatz for graphons and applications to Hadamard matrices
Graphons are symmetric measurable functions that arise from a sequence of graphs. A graphon variety is the a set of all graphons defined by a condition of the form $t(g, W) = 0$ for a fixed quantum graph $g$, where $t(.,.)$ is the homomorphism density and a quantum graph is a formal linear combination of multigraphs. Using a method of representing graphs as polynomials, we construct an epimorphism from the space of quantum graphs to a subring of the complex polynomial ring that is invariant under permutations of variables. When graphons are of finite rank, we demonstrate that an analog of the "ideal" inverse in Algebraic Geometry is an ideal in our polynomial representation. Defining an algebraic kernel set using kernel varieties, we demonstrate that we can call such sets closed under the Zariski Topology. We determine several ties to Algebraic Geometry as a result of utilizing finite rank kernels and discover that a weaker version of Hilbert's Nullstellensatz applies to kernel zero-sets with respect to homomorphism density. Throughout, we examine the connection between Algebraic Geometry and Graphon Theory.
Ramsey numbers of cycles versus general graphs
Published in Forum of Mathematics, Sigma , Volume 11 , 2023 , e10
• View Publication
• BIB
The Ramsey number $R(F,H)$ is the minimum number $N$ such that any $N$-vertex graph either contains a copy of $F$ or its complement contains $H$. Burr in 1981 proved a pleasingly general result that for any graph $H$, provided $n$ is sufficiently large, a natural lower bound construction gives the correct Ramsey number involving cycles: $R(C_n,H)=(n-1)(χ(H)-1)+σ(H)$, where $σ(H)$ is the minimum possible size of a colour class in a $χ(H)$-colouring of $H$. Allen, Brightwell and Skokan conjectured that the same should be true already when $n\geq |H|χ(H)$.
We improve this 40-year-old result of Burr by giving quantitative bounds of the form $n\geq C|H|\log^4χ(H)$, which is optimal up to the logarithmic factor. In particular, this proves a strengthening of the Allen-Brightwell-Skokan conjecture for all graphs $H$ with large chromatic number.
The hidden symmetry of Kontsevich's graph flows on the spaces of Nambu-determinant Poisson brackets
Published in Open Communications in Nonlinear Mathematical Physics, Volume 2 (December 2, 2022) ocnmp:8844
• View Publication
• BIB
Kontsevich's graph flows are -- universally for all finite-dimensional affine Poisson manifolds -- infinitesimal symmetries of the spaces of Poisson brackets. We show that the previously known tetrahedral flow and the recently obtained pentagon-wheel flow preserve the class of Nambu-determinant Poisson bi-vectors $P=[\![ \varrho(\boldsymbol{x})\,\partial_x\wedge\partial_y\wedge\partial_z,a]\!]$ on $\mathbb{R}^3\ni\boldsymbol{x}=(x,y,z)$ and $P=[\![ [\![\varrho(\boldsymbol{y})\,\partial_{x^1}\wedge\ldots\wedge\partial_{x^4},a_1]\!],a_2]\!]$ on $\mathbb{R}^4\ni\boldsymbol{y}$, including the general case $\varrho \not\equiv 1$. We detect that the Poisson bracket evolution $\dot{P} = Q_γ(P^{\otimes^{\# Vert(γ)}})$ is trivial in the second Poisson cohomology, $Q_γ= [\![ P, \vec{X}([\varrho],[a]) ]\!]$, for the Nambu-determinant bi-vectors $P(\varrho,[a])$ on $\mathbb{R}^3$. For the global Casimirs $\mathbf{a} = (a_1,\ldots,a_{d-2})$ and inverse density $\varrho$ on $\mathbb{R}^d$, we analyse the combinatorics of their evolution induced by the Kontsevich graph flows, namely $\dot{\varrho} = \dot{\varrho}([\varrho], [\mathbf{a}])$ and $\dot{\mathbf{a}} = \dot{\mathbf{a}}([\varrho],[\mathbf{a}])$ with differential-polynomial right-hand sides. Besides the anticipated collapse of these formulas by using the Civita symbols (three for the tetrahedron $γ_3$ and five for the pentagon-wheel graph cocycle $γ_5$), as dictated by the behaviour $\varrho(\mathbf{x}') = \varrho(\mathbf{x}) \cdot \det \| \partial \mathbf{x}' / \partial \mathbf{x} \|$ of the inverse density $\varrho$ under reparametrizations $\mathbf{x} \rightleftarrows \mathbf{x}'$, we discover another, so far hidden discrete symmetry in the construction of these evolution equations.
Edge Clique Covers in Graphs with Independence Number Two: a Special Case
The edge clique cover number $ecc(G)$ of a graph $G$ is the size of the smallest set of complete subgraphs whose union covers all edges of $G$. It has been conjectured that all the simple graphs with independence number two satisfy $ecc(G)\leq n$. First, we present a class of graphs containing edges difficult to cover but that satisfy the conjecture. Second, we describe a large class of graphs $G$ such that $ecc(G)\leq \frac{3}{2}n$. This class is easy to characterize.
Sum-of-Squares Certificates for Vizing's Conjecture via Determining Gröbner Bases
Published
• View Publication
• BIB
The famous open Vizing conjecture claims that the domination number of the Cartesian product graph of two graphs $G$ and $H$ is at least the product of the domination numbers of $G$ and $H$. Recently Gaar, Krenn, Margulies and Wiegele used the graph class $\mathcal{G}$ of all graphs with $n_\mathcal{G}$ vertices and domination number $k_\mathcal{G}$ and reformulated Vizing's conjecture as the problem that for all graph classes $\mathcal{G}$ and $\mathcal{H}$ the Vizing polynomial is sum-of-squares (SOS) modulo the Vizing ideal. By solving semidefinite programs (SDPs) and clever guessing they derived SOS-certificates for some values of $k_\mathcal{G}$, $n_\mathcal{G}$, $k_\mathcal{H}$, and $n_\mathcal{H}$.
In this paper, we consider their approach for $k_\mathcal{G} = k_\mathcal{H} = 1$. For this case we are able to derive the unique reduced Gröbner basis of the Vizing ideal. Based on this, we deduce the minimum degree $(n_\mathcal{G} + n_\mathcal{H} - 1)/2$ of an SOS-certificate for Vizing's conjecture, which is the first result of this kind. Furthermore, we present a method to find certificates for graph classes $\mathcal{G}$ and $\mathcal{H}$ with $n_\mathcal{G} + n_\mathcal{H} -1 = d$ for general $d$, which is again based on solving SDPs, but does not depend on guessing and depends on much smaller SDPs. We implement our new method in SageMath and give new SOS-certificates for all graph classes $\mathcal{G}$ and $\mathcal{H}$ with $k_\mathcal{G}=k_\mathcal{H}=1$ and $n_\mathcal{G} + n_\mathcal{H} \leq 15$.
On the Distance Spectra of Extended Double Stars
The distance matrix of a connected graph is defined as the matrix in which the entries are the pairwise distances between vertices. The distance spectrum of a graph is the set of eigenvalues of its distance matrix. A graph is said to be determined by its distance spectrum if there does not exist a non-isomorphic graph with the same spectrum. The question of which graphs are determined by their spectrum has been raised in the past, but it remains largely unresolved. In this paper, we prove that extended double stars are determined by their distance spectra.
Dirac-type results for tilings and coverings in ordered graphs
Published
• View Publication
• BIB
A recent paper of Balogh, Li and Treglown initiated the study of Dirac-type problems for ordered graphs. In this paper we prove a number of results in this area. In particular, we determine asymptotically the minimum degree threshold for forcing
(i) a perfect $H$-tiling in an ordered graph, for any fixed ordered graph $H$ of interval chromatic number at least $3$;
(ii) an $H$-tiling in an ordered graph $G$ covering a fixed proportion of the vertices of $G$ (for any fixed ordered graph $H$);
(iii) an $H$-cover in an ordered graph (for any fixed ordered graph $H$).
The first two of these results resolve questions of Balogh, Li and Treglown whilst (iii) resolves a question of Falgas-Ravry. Note that (i) combined with a result of Balogh, Li and Treglown completely determines the asymptotic minimum degree threshold for forcing a perfect $H$-tiling. Additionally, we prove a result that combined with a theorem of Balogh, Li and Treglown, asymptotically determines the minimum degree threshold for forcing an almost perfect $H$-tiling in an ordered graph (for any fixed ordered graph $H$). Our work therefore provides ordered graph analogues of the seminal tiling theorems of Kühn and Osthus [Combinatorica 2009] and of Komlós [Combinatorica 2000]. Each of our results exhibits some curious, and perhaps unexpected, behaviour. Our solution to (i) makes use of a novel absorbing argument.
Min-max theorem for the game of Cops and Robber on geodesic spaces
Published
• View Publication
• BIB
The game of Cops and Robber is traditionally played on a finite graph. The purpose of this note is to introduce and analyze the game that is played on an arbitrary geodesic space. The game is defined in such a way that it preserves the beauty and power of discrete games played on graphs and also keeps the specialties of the pursuit-evasion games played on polyhedral complexes. It is shown that the game can be approximated by finite games of discrete type and as a consequence a min-max theorem is obtained.
Powers of componentwise linear ideals: The Herzog--Hibi--Ohsugi Conjecture and related problems
In 1999 Herzog and Hibi introduced componentwise linear ideals. A homogeneous ideal $I$ is componentwise linear if for all non-negative integers $d$, the ideal generated by the homogeneous elements of degree $d$ in $I$ has a linear resolution. For square-free monomial ideals, componentwise linearity is related via Alexander duality to the property of being sequentially Cohen-Macaulay for the corresponding simplicial complexes. In general, the property of being componentwise linear is not preserved by taking powers. In 2011, Herzog, Hibi, and Ohsugi conjectured that if $I$ is the cover ideal of a chordal graph, then $I^s$ is componentwise linear for all $s \geq 1$. We survey some of the basic properties of componentwise linear ideals, and then specialize to the progress on the Herzog-Hibi-Ohsugi conjecture during the last decade. We also survey the related problem of determining when the symbolic powers of a cover ideal are componentwise linear.
Eternal Domination in Trees
Mobile guards on the vertices of a graph are used to defend the graph against an infinite sequence of attacks on vertices. A guard must move from a neighboring vertex to an attacked vertex (we assume attacks happen only at vertices containing no guard). More than one guard is allowed to move in response to an attack. The $m$-eternal domination number is the minimum number of guards needed to defend the graph. We characterize the trees achieving several upper and lower bounds on the $m$-eternal domination number.
Schur's theorem in integer lattices
Published in Involve 15 (2022) 857-884
• Search Publication
A standard proof of Schur's Theorem yields that any $r$-coloring of $\{1,2,\dots,R_r-1\}$ yields a monochromatic solution to $x+y=z$, where $R_r$ is the classical $r$-color Ramsey number, the minimum $N$ such that any $r$-coloring of a complete graph on $N$ vertices yields a monochromatic triangle. We explore generalizations and modifications of this result in higher dimensional integer lattices, showing in particular that if $k\geq d+1$, then any $r$-coloring of $\{1,2,\dots,R_r(k)^d-1\}^d$ yields a monochromatic solution to $x_1+\cdots+x_{k-1}=x_k$ with $\{x_1,\dots,x_d\}$ linearly independent, where $R_r(k)$ is the analogous Ramsey number in which triangles are replaced by complete graphs on $k$ vertices. We also obtain computational results and examples in the case $d=2$, $k=3$, and $r\in\{2,3,4\}$.