graph
34665 papers tagged with this keyword
The Second Neighborhood Conjecture for Oriented Graphs Missing $\{C_{4}, \overline{C_{4}}, S_{3},$ chair and co-chair$\}$-Free Graph
Seymour's Second Neighborhood Conjecture (SNC) asserts that every oriented graph has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. In this paper, we prove that if $G$ is a graph containing no induced $C_4$, $\overline{C_4}$, $S_3$, chair and $\overline{chair}$, then every oriented graph missing $G$ satisfies this conjecture. As a consequence, we deduce that the conjecture holds for every oriented graph missing a threshold graph, a generalized comb or a star.
On $λ$-fold relative Heffter arrays and biembedding multigraphs on surfaces
Published in European Journal of Combinatorics, 97 (2021) 103370
• View Publication
• BIB
In this paper we define a new class of partially filled arrays, called $λ$-fold relative Heffter arrays, that are a generalisation of the Heffter arrays introduced by Archdeacon in 2015. After showing the connection of this new concept with several other ones, such as signed magic arrays, graph decompositions and relative difference families, we determine some necessary conditions and we present existence results for infinite classes of these arrays. In the last part of the paper we also show that these arrays give rise to biembeddings of multigraphs into orientable surfaces and we provide infinite families of such biembeddings. To conclude, we present a result concerning pairs of $λ$-fold relative Heffter arrays and covering surfaces.
On interval transmission irregular graphs
Published
• View Publication
• BIB
Transmission of a vertex v of a connected graph G is the sum of distances from v to all other vertices in G. Graph G is transmission irregular (TI) if no two of its vertices have the same transmission, and G is interval transmission irregular (ITI) if it is TI and the vertex transmissions of G form a sequence of consecutive integers. Here we give a positive answer to the question of Dobrynin [Appl Math Comput 340 (2019), 1-4] of whether infinite families of ITI graphs exist.
On the robustness of the metric dimension of grid graphs to adding a single edge
Published
• View Publication
• BIB
The metric dimension (MD) of a graph is a combinatorial notion capturing the minimum number of landmark nodes needed to distinguish every pair of nodes in the graph based on graph distance. We study how much the MD can increase if we add a single edge to the graph. The extra edge can either be selected adversarially, in which case we are interested in the largest possible value that the MD can take, or uniformly at random, in which case we are interested in the distribution of the MD. The adversarial setting has already been studied by [Eroh et. al., 2015] for general graphs, who found an example where the MD doubles on adding a single edge. By constructing a different example, we show that this increase can be as large as exponential. However, we believe that such a large increase can occur only in specially constructed graphs, and that in most interesting graph families, the MD at most doubles on adding a single edge. We prove this for $d$-dimensional grid graphs, by showing that $2d$ appropriately chosen corners and the endpoints of the extra edge can distinguish every pair of nodes, no matter where the edge is added. For the special case of $d=2$, we show that it suffices to choose the four corners as landmarks. Finally, when the extra edge is sampled uniformly at random, we conjecture that the MD of 2-dimensional grids converges in probability to $3+\mathrm{Ber}(8/27)$, and we give an almost complete proof.
Using graph theory to compute Laplace operators arising in a model for blood flow in capillary network
Maintaining cerebral blood flow is critical for adequate neuronal function. Previous computational models of brain capillary networks have predicted that heterogeneous cerebral capillary flow patterns result in lower brain tissue partial oxygen pressures. It has been suggested that this may lead to number of diseases such as Alzheimer's disease, acute ischemic stroke, traumatic brain injury and ischemic heart disease. We have previously developed a computational model that was used to describe in detail the effect of flow heterogeneities on tissue oxygen levels. The main result in that paper was that, for a general class of capillary networks, perturbations of segment diameters or conductances always lead to decreased oxygen levels. This result was verified using both numerical simulations and mathematical analysis. However, the analysis depended on a novel conjecture concerning the Laplace operator of functions related to the segment flow rates and how they depend on the conductances. The goal of this paper is to give a mathematically rigorous proof of the conjecture for a general class of networks. The proof depends on determining the number of trees and forests in certain graphs arising from the capillary network.
Unique maximum independent sets in graphs on monomials of a fixed degree
Published
• View Publication
• BIB
We consider graphs on monomials in $n$ variables of a fixed degree $d$ where two monomials are adjacent if and only if their least common multiple has degree $d+1$. We prove that when $n = 3$ and $d$ is divisible by $3$ as well as when $n=4$ and $d$ is even that these graphs have a unique maximum independent set. Domination in these graphs is also considered, and we conjecture that there is equality of the domination number and independent domination number in all cases.
On Compressed Sensing Matrices Breaking the Square-Root Bottleneck
Published
• View Publication
• BIB
Compressed sensing is a celebrated framework in signal processing and has many practical applications. One of challenging problems in compressed sensing is to construct deterministic matrices having restricted isometry property (RIP). So far, there are only a few publications providing deterministic RIP matrices beating the square-root bottleneck on the sparsity level. In this paper, we investigate RIP of certain matrices defined by higher power residues modulo primes. Moreover, we prove that the widely-believed generalized Paley graph conjecture implies that these matrices have RIP breaking the square-root bottleneck.
Toppleable Permutations, Excedances and Acyclic Orientations
Published
• View Publication
• BIB
Recall that an excedance of a permutation $π$ is any position $i$ such that $π_i > i$. Inspired by the work of Hopkins, McConville and Propp (Elec. J. Comb., 2017) on sorting using toppling, we say that a permutation is toppleable if it gets sorted by a certain sequence of toppling moves. One of our main results is that the number of toppleable permutations on $n$ letters is the same as those for which excedances happen exactly at $\{1,\dots, \lfloor (n-1)/2 \rfloor\}$. Additionally, we show that the above is also the number of acyclic orientations with unique sink (AUSOs) of the complete bipartite graph $K_{\lceil n/2 \rceil, \lfloor n/2 \rfloor + 1}$. We also give a formula for the number of AUSOs of complete multipartite graphs. We conclude with observations on an extremal question of Cameron et al. concerning maximizers of (the number of) acyclic orientations, given a prescribed number of vertices and edges for the graph.
The Turán number of book graphs
Published
• View Publication
• BIB
Given a graph $H$ and a positive integer $n,$ the Turán number of $H$ for the order $n,$ denoted ${\rm ex}(n,H),$ is the maximum size of a simple graph of order $n$ not containing $H$ as a subgraph. The book with $p$ pages, denoted $B_p$, is the graph that consists of $p$ triangles sharing a common edge. Bollobás and Erdős initiated the research on the Turán number of book graphs in 1975. The two numbers ${\rm ex}(p+2,B_p)$ and ${\rm ex}(p+3,B_p)$ have been determined by Qiao and Zhan. In this paper we determine the numbers ${\rm ex}(p+4,B_p),$ ${\rm ex}(p+5,B_p)$ and ${\rm ex}(p+6,B_p),$ and characterize the corresponding extremal graphs for the numbers ${\rm ex}(n,B_p)$ with $n=p+2,\,p+3,\,p+4,\,p+5.$
On Cartesian products of signed graphs
Published
• View Publication
• BIB
In this paper, we study the Cartesian product of signed graphs as defined by Germina, Hameed and Zaslavsky (2011). Here we focus on its algebraic properties and look at the chromatic number of some Cartesian products. One of our main results is the unicity of the prime factor decomposition of signed graphs. This leads us to present an algorithm to compute this decomposition in linear time based on a decomposition algorithm for oriented graphs by Imrich and Peterin (2018). We also study the chromatic number of a signed graph, that is the minimum order of a signed graph to which the input signed graph admits a homomorphism, of graphs with underlying graph of the form P n [] P m , of Cartesian products of signed paths, of Cartesian products of signed complete graphs and of Cartesian products of signed cycles.
Reconstructibility of matroid polytopes
Published in SIAM Journal on Discrete Mathematics 36 (2022), 490-508
• View Publication
• BIB
We specify what is meant for a polytope to be reconstructible from its graph or dual graph. And we introduce the problem of class reconstructibility, i.e., the face lattice of the polytope can be determined from the (dual) graph within a given class. We provide examples of cubical polytopes that are not reconstructible from their dual graphs. Furthermore, we show that matroid (base) polytopes are not reconstructible from their graphs and not class reconstructible from their dual graphs; our counterexamples include hypersimplices. Additionally, we prove that matroid polytopes are class reconstructible from their graphs, and we present a $O(n^3)$ algorithm that computes the vertices of a matroid polytope from its $n$-vertex graph. Moreover, our proof includes a characterisation of all matroids with isomorphic basis exchange graphs.
Bounds on metric dimensions of graphs with edge disjoint cycles
Published
• View Publication
• BIB
In a graph G, cardinality of the smallest ordered set of vertices that distinguishes every element of V (G) is the (vertex) metric dimension of G. Similarly, the cardinality of such a set is the edge metric dimension of G, if it distinguishes E(G). In this paper these invariants are considered first for unicyclic graphs, and it is shown that the vertex and edge metric dimensions obtain values from two particular consecutive integers, which can be determined from the structure of the graph. In particular, as a consequence, we obtain that these two invariants can differ for at most one for a same unicyclic graph. Next we extend the results to graphs with edge disjoint cycles showing that the two invariants can differ at most by c, where c is the number of cycles in such a graph. We conclude the paper with a conjecture that generalizes the previously mentioned consequences to graphs with prescribed cyclomatic number c by claiming that the difference of the invariant is still bounded by c.
Halin's end degree conjecture
Published
• View Publication
• BIB
An end of a graph $G$ is an equivalence class of rays, where two rays are equivalent if there are infinitely many vertex-disjoint paths between them in $G$. The degree of an end is the maximum cardinality of a collection of pairwise disjoint rays in this equivalence class.
Halin conjectured that the end degree can be characterised in terms of certain typical ray configurations, which would generalise his famous \emph{grid theorem}. In particular, every end of regular uncountable degree $κ$ would contain a \emph{star of rays}, i.e.\ a configuration consisting of a central ray $R$ and $κ$ neighbouring rays $(R_i \colon i < κ)$ all disjoint from each other and each $R_i$ sending a family of infinitely many disjoint paths to $R$ so that paths from distinct families only meet in $R$.
We show that Halin's conjecture fails for end degree $ \aleph_1$, holds for $\aleph_2,\aleph_3,\ldots,\aleph_ω$, fails for $ \aleph_{ω+1}$, and is undecidable (in ZFC) for the next $\aleph_{ω+n}$ with $n \in \mathbb{N}$, $n \geq 2$. Further results include a complete solution for all cardinals under GCH, complemented by a number of consistency results.
Laplacian Fractional Revival on Graphs
Published
• View Publication
• BIB
We develop the theory of fractional revival in the quantum walk on a graph using its Laplacian matrix as the Hamiltonian. We first give a spectral characterization of Laplacian fractional revival, which leads to a polynomial time algorithm to check this phenomenon and find the earliest time when it occurs. We then apply the characterization theorem to special families of graphs. In particular, we show that no tree admits Laplacian fractional revival except for the paths on two and three vertices, and the only graphs on a prime number of vertices that admit Laplacian fractional revival are double cones. Finally, we construct, through Cartesian products and joins, several infinite families of graphs that admit Laplacian fractional revival; some of these graphs exhibit polygamous fractional revival.
Laplacian pretty good fractional revival
Published in Discrete Mathematics (2022), 345(10), 112971
• View Publication
• BIB
We develop the theory of pretty good fractional revival in quantum walks on graphs using their Laplacian matrices as the Hamiltonian. We classify the paths and the double stars that have Laplacian pretty good fractional revival.
Mixed metric dimension of graphs with edge disjoint cycles
Published
• View Publication
• BIB
In a graph G, the cardinality of the smallest ordered set of vertices that distinguishes every element of V (G)[E(G) is called the mixed metric dimension of G. In this paper we first establish the exact value of the mixed metric dimension of a unicycic graph G which is derived from the structure of G. We further consider graphs G with edge disjoint cycles in which a unicyclic restriction Gi is introduced for each cycle Ci: Applying the result for unicyclic graph to each Gi then yields the exact value of the mixed metric dimension of such a graph G. The obtained formulas for the exact value of the mixed metric dimension yield a simple sharp upper bound on the mixed metric dimension, and we conclude the paper conjecturing that the analogous bound holds for general graphs with prescribed cyclomatic number.
New upper bounds for the number of embeddings of minimally rigid graphs
Published
• View Publication
• BIB
By definition, a rigid graph in $\mathbb{R}^d$ (or on a sphere) has a finite number of embeddings up to rigid motions for a given set of edge length constraints. These embeddings are related to the real solutions of an algebraic system. Naturally, the complex solutions of such systems extend the notion of rigidity to $\mathbb{C}^d$. A major open problem has been to obtain tight upper bounds on the number of embeddings in $\mathbb{C}^d$, for a given number $|V|$ of vertices, which obviously also bound their number in $\mathbb{R}^d$. Moreover, in most known cases, the maximal numbers of embeddings in $\mathbb{C}^d$ and $\mathbb{R}^d$ coincide. For decades, only the trivial bound of $O(2^{d\cdot |V|})$ was known on the number of embeddings.Recently, matrix permanent bounds have led to a small improvement for $d\geq 5$. This work improves upon the existing upper bounds for the number of embeddings in $\mathbb{R}^d$ and $S^d$, by exploiting outdegree-constrained orientations on a graphical construction, where the proof iteratively eliminates vertices or vertex paths. For the most important cases of $d=2$ and $d=3$, the new bounds are $O(3.7764^{|V|})$ and $O(6.8399^{|V|})$, respectively. In general, the recent asymptotic bound mentioned above is improved by a factor of $1/ \sqrt{2}$. Besides being the first substantial improvement upon a long-standing upper bound, our method is essentially the first general approach relying on combinatorial arguments rather than algebraic root counts.
On the restricted isometry property of the Paley matrix
Published
• View Publication
• BIB
In this paper, we prove that the Paley graph conjecture implies that the Paley matrix has restricted isometry property (RIP) beating the square-root bottleneck for the sparsity level. Moreover, we show that the RIP of the Paley matrix implies an improved bound on the size of transitive subtournaments in the Paley tournament.
A new upper bound for the regularity of gap-free graphs
Published
• View Publication
• BIB
In this article, we give a new upper bound for the regularity of edge ideals of gap-free graphs, in terms of the their minimal triangulation. Let $H_U=G\cup F_U$ be a minimal triangulation of a gap-free graph $G$, for some maximal independent set $U$ in $G$. Let $\mathcal{C}_U$ be the $3$-uniform clutter of all $3$-paths in $H_U$ which consists of one edge coming from $F_U$ and another edge coming from $G$. Then we show that $\displaystyle \reg(I(G))\leq \reg(I(\C_U))$. As a consequence, we give a general upper bound for the regularity of gap-free graphs. Furthermore, if $\mathcal{H}$ is the $3$-uniform clutter consists of the $3$-cliques in $G$ or in $F_U$, and the $3$-paths in $G$ which are not $3$-cliques in $H_U$, then $\reg(I(G))\leq 3$, provided $\mathcal{H}$ is chordal. This answers partially a question raised by Há, \cite[Problem $6.3$]{h14} and by Banerjee, Beyarslan and Há, \cite[Problem $7.1$]{bbh19}.
Multiple typical ranks in matrix completion
Published
• View Publication
• BIB
Low-rank matrix completion addresses the problem of completing a matrix from a certain set of generic specified entries. Over the complex numbers a matrix with a given entry pattern can be uniquely completed to a specific rank, called the generic completion rank. Completions over the reals may generically have multiple completion ranks, called typical ranks. We demonstrate techniques for proving that many sets of specified entries have only one typical rank, and show other families with two typical ranks, specifically focusing on entry sets represented by circulant graphs. This generalizes the results of Bernstein, Blekherman, and Sinn. In particular, we provide a complete characterization of the set of unspecified entries of an $n\times n$ matrix such that $n-1$ is a typical rank and fully determine the typical ranks for entry set $G(n,1)$ for $n<9$. Moreover, we study the asymptotic behaviour of typical ranks and present results regarding unique matrix completions.