graph
35411 papers tagged with this keyword
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\}$.
Aspect Ratio Universal Rectangular Layouts
Published in Computing in Geometry and Topology, 3(1) (2024), 3:1-3:24
• View Publication
• BIB
A \emph{generic rectangular layout} (for short, \emph{layout}) is a subdivision of an axis-aligned rectangle into axis-aligned rectangles, no four of which have a point in common. Such layouts are used in data visualization and in cartography. The contacts between the rectangles represent semantic or geographic relations. A layout is weakly (strongly) \emph{aspect ratio universal} if any assignment of aspect ratios to rectangles can be realized by a weakly (strongly) equivalent layout. We give combinatorial characterizations for weakly and strongly aspect ratio universal layouts. Furthermore, we describe a quadratic-time algorithm that decides whether a given graph is the dual graph of a strongly aspect ratio universal layout, and finds such a layout if one exists.
Embeddings of $k$-complexes in $2k$-manifolds and minimum rank of partial symmetric matrices
Let $K$ be a $k$-dimensional simplicial complex having $n$ faces of dimension $k$, and $M$ a closed $(k-1)$-connected PL $2k$-dimensional manifold. We prove that for $k\ge3$ odd $K$ embeds into $M$ if and only if there are
$\bullet$ a skew-symmetric $n\times n$-matrix $A$ with $\mathbb Z$-entries whose rank over $\mathbb Q$ does not exceed $rk H_k(M;\mathbb Z)$,
$\bullet$ a general position PL map $f:K\to\mathbb R^{2k}$, and
$\bullet$ orientations on $k$-faces of $K$ such that for any nonadjacent $k$-faces $σ,τ$ of $K$ the element $A_{σ,τ}$ equals to the algebraic intersection of $fσ$ and $fτ$.
We prove some analogues of this result including those for $\mathbb Z_2$- and $\mathbb Z$-embeddability. Our results generalize the Bikeev-Fulek-Kyn\v cl criteria for the $\mathbb Z_2$- and $\mathbb Z$-embeddability of graphs to surfaces, and are related to the Harris-Krushkal-Johnson-Paták-Tancer criteria for the embeddability of $k$-complexes into $2k$-manifolds.
Reconstructibility of the $K_r$-count from $n-1$ cards
Published
• View Publication
• BIB
The Reconstruction Conjecture of Kelly and Ulam states that any graph $G$ with $n\geq 3$ vertices can be reconstructed from the multiset $\mathcal{D}(G)$ of unlabelled subgraphs $G-v$ for all $v\in V(G)$. We refer to $\mathcal{D}(G)$ as the \emph{deck} of $G$ and $G-v\in \mathcal{D}(G)$ as the cards of $G$. This was posed in the 1940s and is still wide open today. In an effort to understand reconstructibility better, a growing collection of research is concerned with understanding what properties of $G$ can be reconstructed from a (potentially adversarially chosen) collection of $k$ cards for some $k< n$. In this paper, we show that the clique count of $G$ is reconstructible for all but one size of clique from any $n-1$ cards. We extend this result by showing that for graphs with average degree at most $3n/8-O(1)$ we can reconstruct the $K_r$-count for all $r$, and that for $r\le \log_2 n$ we can reconstruct the $K_r$-count for every graph on $n$ vertices.
Quantum walks do not like bridges
Published
• View Publication
• BIB
We consider graphs with two cut vertices joined by a path with one or two edges, and prove that there can be no quantum perfect state transfer between these vertices, unless the graph has no other vertex. We achieve this result by applying the 1-sum lemma for the characteristic polynomial of graphs, the neutrino identities that relate entries of eigenprojectors and eigenvalues, and variational principles for eigenvalues (Cauchy interlacing, Weyl inequalities and Wielandt minimax principle). We see our result as an intermediate step to broaden the understanding of how connectivity plays a key role in quantum walks, and as further evidence of the conjecture that no tree on four or more vertices admits state transfer. We conclude with some open problems.
On distance Laplacian energy in terms of graph invariants
Published
• View Publication
• BIB
For a simple connected graph $G$ of order $n$ having distance Laplacian eigenvalues $ ρ^{L}_{1}\geq ρ^{L}_{2}\geq \cdots \geq ρ^{L}_{n}$, the distance Laplacian energy $DLE(G)$ is defined as $DLE(G)=\sum_{i=1}^{n}\left|ρ^{L}_i-\frac{2 W(G)}{n}\right|$, where $W(G)$ is the Wiener index of $G$. We obtain a relationship between the Laplacian energy and distance Laplacian energy for graphs with diameter 2. We obtain lower bounds for the distance Laplacian energy $DLE(G)$ in terms of the order $n$, the Wiener index $W(G)$, independence number, vertex connectivity number and other given parameters. We characterize the extremal graphs attaining these bounds. We show that the complete bipartite graph has the minimum distance Laplacian energy among all connected bipartite graphs and complete split graph has the minimum distance Laplacian energy among all connected graphs with given independence number. Further, we obtain the distance Laplacian spectrum of the join of a graph with the union of two other graphs. We show that the graph $K_{k}\bigtriangledown(K_{t}\cup K_{n-k-t}), 1\leq t \leq \lfloor\frac{n-k}{2}\rfloor $, has the minimum distance Laplacian energy among all connected graphs with vertex connectivity $k$. We conclude this paper with a discussion on trace norm of a matrix and the importance of our results in the theory of trace norm of the matrix $D^L(G)-\frac{2W(G)}{n}I_n$.