graph
35299 papers tagged with this keyword
Dimensionally Exponential Lower Bounds on the $L^p$ Norms of the Spherical Maximal Operator for Cartesian Powers of Finite Trees and Related Graphs
Let $T$ be a finite tree graph, $T^N$ be the Cartesian power graph of $T$, and $d^N$ be the graph distance metric on $T^N$. Also let \[ \mathbb S_r^N(x) := \{v \in T^N: d^N(x,v) = r\} \] be the sphere of radius $r$ centered at $x$ and $M$ be the spherical maximal averaging operator on $T^N$ given by \[ Mf(x) := \sup_{\substack{r \geq 0 \\ \mathbb S_r^N(x) \neq \emptyset}} \frac{1}{|\mathbb S_r^N(x)|} |\sum_{\mathbb S_r^N(x)} f(y)|. \] We will show that for any fixed $1 \leq p \leq \infty$, the $L^p$ operator norm of $M$, i.e. \[ \|M\|_p := \sup_{\|f\|_p = 1} \|Mf\|_p, \] grows exponentially in the dimension $N$. In particular, if $r$ is the probability that a random vertex of $T$ is a leaf, then $\|M\|_p \geq r^{-N/p}$, although this is not a sharp bound.
This exponential growth phenomenon extends to a class of graphs strictly larger than trees, which we will call \emph{global antipode graphs}. This growth result stands in contrast to the work of Greenblatt, Harrow, Kolla, Krause, and Schulman that proved that the spherical maximal $L^p$ bounds (for $p > 1$) are dimension-independent for finite cliques.
Fractional Zero Forcing via Three-color Forcing Games
Published
• View Publication
• BIB
An $r$-fold analogue of the positive semidefinite zero forcing process that is carried out on the $r$-blowup of a graph is introduced and used to define the fractional positive semidefinite forcing number. Properties of the graph blowup when colored with a fractional positive semidefinite forcing set are examined and used to define a three-color forcing game that directly computes the fractional positive semidefinite forcing number of a graph. We develop a fractional parameter based on the standard zero forcing process and it is shown that this parameter is exactly the skew zero forcing number with a three-color approach. This approach and an algorithm are used to characterize graphs whose skew zero forcing number equals zero.
Geometric Bijections Between Spanning Trees and Break Divisors
Published
• View Publication
• BIB
The Jacobian group ${\rm Jac}(G)$ of a finite graph $G$ is a group whose cardinality is the number of spanning trees of $G$. $G$ also has a tropical Jacobian which has the structure of a real torus; using the notion of break divisors, An et al. obtained a polyhedral decomposition of the tropical Jacobian where vertices and cells correspond to elements of ${\rm Jac}(G)$ and spanning trees of $G$, respectively. We give a combinatorial description of bijections coming from this geometric setting. This provides a new geometric method for constructing bijections in combinatorics. We introduce a special class of geometric bijections that we call edge ordering maps, which have good algorithmic properties. Finally, we study the connection between our geometric bijections and the class of bijections introduced by Bernardi; in particular we prove a conjecture of Baker that planar Bernardi bijections are "geometric". We also give sharpened versions of results by Baker and Wang on Bernardi torsors.
On the size of planarly connected crossing graphs
Published
• View Publication
• BIB
We prove that if an $n$-vertex graph $G$ can be drawn in the plane such that each pair of crossing edges is independent and there is a crossing-free edge that connects their endpoints, then $G$ has $O(n)$ edges. Graphs that admit such drawings are related to quasi-planar graphs and to maximal $1$-planar and fan-planar graphs.
Zero-divisor graphs of lower dismantlable lattices-I
Published
• View Publication
• BIB
In this paper, we study the zero-divisor graphs of a subclass of dismantlable lattices. These graphs are characterized in terms of the non-ancestor graphs of rooted trees.
Edge-enhancing Filters with Negative Weights
Published in 2015 IEEE Global Conference on Signal and Information Processing (GlobalSIP), Orlando, FL, 14-16 Dec.2015, pp. 260 - 264
• View Publication
• BIB
In [DOI:10.1109/ICMEW.2014.6890711], a graph-based denoising is performed by projecting the noisy image to a lower dimensional Krylov subspace of the graph Laplacian, constructed using nonnegative weights determined by distances between image data corresponding to image pixels. We~extend the construction of the graph Laplacian to the case, where some graph weights can be negative. Removing the positivity constraint provides a more accurate inference of a graph model behind the data, and thus can improve quality of filters for graph-based signal processing, e.g., denoising, compared to the standard construction, without affecting the costs.
On topological graphs with at most four crossings per edge
Published
• View Publication
• BIB
We show that if a graph $G$ with $n \geq 3$ vertices can be drawn in the plane such that each of its edges is involved in at most four crossings, then $G$ has at most $6n-12$ edges. This settles a conjecture of Pach, Radoičić, Tardos, and Tóth, and yields a better bound for the famous Crossing Lemma: The crossing number, $\mbox{cr}(G)$, of a (not too sparse) graph $G$ with $n$ vertices and $m$ edges is at least $c\frac{m^3}{n^2}$, where $c > 1/29$. This bound is known to be tight, apart from the constant $c$ for which the previous best lower bound was $1/31.1$. As another corollary we obtain some progress on the Albertson conjecture: Albertson conjectured that if the chromatic number of a graph $G$ is $r$, then $\mbox{cr}(G) \geq \mbox{cr}(K_r)$. This was verified by Albertson, Cranston, and Fox for $r \leq 12$, and for $r \leq 16$ by Barát and Tóth. Our results imply that Albertson conjecture holds for $r \leq 18$.
On the existence of identifiable reparametrizations for linear compartment models
Published
• View Publication
• BIB
The parameters of a linear compartment model are usually estimated from experimental input-output data. A problem arises when infinitely many parameter values can yield the same result; such a model is called unidentifiable. In this case, one can search for an identifiable reparametrization of the model: a map which reduces the number of parameters, such that the reduced model is identifiable. We study a specific class of models which are known to be unidentifiable. Using algebraic geometry and graph theory, we translate a criterion given by Meshkat and Sullivant for the existence of an identifiable scaling reparametrization to a new criterion based on the rank of a weighted adjacency matrix of a certain bipartite graph. This allows us to derive several new constructions to obtain graphs with an identifiable scaling reparametrization. Using these constructions, a large subclass of such graphs is obtained. Finally, we present a procedure of subdividing or deleting edges to ensure that a model has an identifiable scaling reparametrization.
Drawing graphs with vertices and edges in convex position
Published in Computational Geometry 58 (2016) 25-33
• View Publication
• BIB
A graph has strong convex dimension $2$, if it admits a straight-line drawing in the plane such that its vertices are in convex position and the midpoints of its edges are also in convex position. Halman, Onn, and Rothblum conjectured that graphs of strong convex dimension $2$ are planar and therefore have at most $3n-6$ edges. We prove that all such graphs have at most $2n-3$ edges while on the other hand we present a class of non-planar graphs of strong convex dimension $2$. We also give lower bounds on the maximum number of edges a graph of strong convex dimension $2$ can have and discuss variants of this graph class. We apply our results to questions about large convexly independent sets in Minkowski sums of planar point sets, that have been of interest in recent years.
Hyperbolicity vs. Amenability for planar graphs
Published
• View Publication
• BIB
The aim of this paper is to clarify the relationship between Gromov-hyperbolicity and amenability for planar maps.
Power graphs of (non)orientable genus two
Published
• View Publication
• BIB
The power graph $Γ_G$ of a finite group $G$ is the graph whose vertex set is the group, two distinct elements being adjacent if one is a power of the other. In this paper, we classify the finite groups whose power graphs have (non)orientable genus two.
A characterization of some graphs with metric dimension two
Published
• View Publication
• BIB
A set W \subseteq V (G) is called a resolving set, if for each pair of distinct vertices u,v \in V (G) there exists t \in W such that d(u,t) \neq d(v,t), where d(x,y) is the distance between vertices x and y. The cardinality of a minimum resolving set for G is called the metric dimension of G and is denoted by dim_M(G). A k-tree is a chordal graph all of whose maximal cliques are the same size k + 1 and all of whose minimal clique separators are also all the same size k. A k-path is a k-tree with maximum degree 2k, where for each integer j, k \leq j < 2k, there exists a unique pair of vertices, u and v, such that deg(u) = deg(v) = j. In this paper, we prove that if G is a k-path, then dim_M(G) = k. Moreover, we provide a characterization of all 2-trees with metric dimension two.
Intersection Graphs of Oriented Hypergraphs and Their Matrices
For a given hypergraph, an orientation can be assigned to the vertex-edge incidences. This orientation is used to define the adjacency and Laplacian matrices. In addition to studying these matrices, several related structures are investigated including the incidence dual, the intersection graph (line graph), and the 2-section. A connection is then made between oriented hypergraphs and balanced incomplete block designs.
Monotone Paths in Dense Edge-Ordered Graphs
Published
• View Publication
• BIB
The altitude of a graph $G$, denoted $f(G)$, is the largest integer $k$ such that under each ordering of $E(G)$, there exists a path of length $k$ which traverses edges in increasing order. In 1971, Chvátal and Komlós asked for $f(K_n)$, where $K_n$ is the complete graph on $n$ vertices. In 1973, Graham and Kleitman proved that $f(K_n) \ge \sqrt{n - 3/4} - 1/2$ and in 1984, Calderbank, Chung, and Sturtevant proved that $f(K_n) \le (\frac{1}{2} + o(1))n$. We show that $f(K_n) \ge (\frac{1}{20} - o(1))(n/\lg n)^{2/3}$.
On Hardness of the Joint Crossing Number
The Joint Crossing Number problem asks for a simultaneous embedding of two disjoint graphs into one surface such that the number of edge crossings (between the two graphs) is minimized. It was introduced by Negami in 2001 in connection with diagonal flips in triangulations of surfaces, and subsequently investigated in a general form for small-genus surfaces. We prove that all of the commonly considered variants of this problem are NP-hard already in the orientable surface of genus 6, by a reduction from a special variant of the anchored crossing number problem of Cabello and Mohar.
On the strong metric dimension of Cartesian sum graphs
Published in Fundamenta Informaticae 141 (2015) 57-69
• View Publication
• BIB
A vertex $w$ of a connected graph $G$ strongly resolves two vertices $u,v\in V(G)$, if there exists some shortest $u-w$ path containing $v$ or some shortest $v-w$ path containing $u$. A set $S$ of vertices is a strong metric generator for $G$ if every pair of vertices of $G$ is strongly resolved by some vertex of $S$. The smallest cardinality of a strong metric generator for $G$ is called the strong metric dimension of $G$. In this paper we obtain several tight bounds or closed formulae for the strong metric dimension of the Cartesian sum of graphs in terms of the strong metric dimension, clique number or twins-free clique number of its factor graphs.
Unions of 1-factors in $r$-graphs and overfull graphs
Published
• View Publication
• BIB
We prove lower bounds for the fraction of edges of an $r$-graph which can be covered by the union of $k$ 1-factors. The special case $r=3$ yields some known results for cubic graphs. Furthermore, we introduce the concept of $k$-overfull-free $r$-graphs and achieve better bounds for these graphs.
On the Edge-Balanced Index Sets of Complete Even Bipartite Graphs
In 2009, Kong, Wang, and Lee introduced the problem of finding the edge-balanced index sets ($EBI$) of complete bipartite graphs $K_{m,n}$, where they examined the cases $n=1$, $2$, $3$, $4$, $5$ and the case $m=n$. Since then the problem of finding $EBI(K_{m,n})$, where $m \geq n$, has been completely resolved for the $m,n=$ odd, odd and odd, even cases. In this paper we find the edge-balanced index sets for complete bipartite graphs where both parts have even cardinality.
The vector graph and the chromatic number of the plane, or how NOT to prove that $χ(\mathbb{E}^2)>4$
The chromatic number $χ\left(\mathcal{E^2}\right)$ of the plane is known to be some integer between 4 and 7, inclusive. We prove a limiting result that says, roughly, that one cannot increase the lower bound on $χ\left(\mathcal{E^2}\right)$ by pasting Moser Spindles together, even countably many.
Distance labellings of Cayley graphs of semigroups
Published
• View Publication
• BIB
This paper establishes connections between the structure of a semigroup and the minimum spans of distance labellings of its Cayley graphs. We show that certain general restrictions on the minimum spans are equivalent to the semigroup being combinatorial, and that other restrictions are equivalent to the semigroup being a right zero band. We obtain a description of the structure of all semigroups $S$ and their subsets $C$ such that $\Cay(S,C)$ is a disjoint union of complete graphs, and show that this description is also equivalent to several restrictions on the minimum span of $\Cay(S,C)$. We then describe all graphs with minimum spans satisfying the same restrictions, and give examples to show that a fairly straightforward upper bound for the minimum spans of the underlying undirected graphs of Cayley graphs turns out to be sharp even for the class of combinatorial semigroups.