graph
34763 papers tagged with this keyword
Longest paths in 2-edge-connected cubic graphs
We prove almost tight bounds on the length of paths in $2$-edge-connected cubic graphs. Concretely, we show that (i) every $2$-edge-connected cubic graph of size $n$ has a path of length $Ω\left(\frac{\log^2{n}}{\log{\log{n}}}\right)$, and (ii) there exists a $2$-edge-connected cubic graph, such that every path in the graph has length $O(\log^2{n})$.
A short note on graphs with long Thomason's chains
Published
• View Publication
• BIB
We present a family of 3-connected cubic planar Hamiltonian graphs with an exponential number of steps required by Thomason's algorithm. The base of the exponent is approximately $1.1812...$, which exceeds previous results in the area.
The Inductive Graph Dimension from The Minimum Edge Clique Cover
In this paper we prove that the recursive (Knill) dimension of the join of two graphs has a simple formula in terms of the dimensions of the component graphs: $\mathrm{dim\,} (G_1+G_2) = 1 +\mathrm{dim\,} G_1+ \mathrm{dim\,} G_2$. We use this formula to derive an expression for the Knill dimension of a graph from its minimum clique cover. A corollary of the formula is that a graph made of the arbitrary union of complete graphs $K_N$ of the same order $N$ will have dimension $N-1$. We finish by finding lower and upper bounds on the Knill dimension of a graph in terms of its clique number.
Size and structure of large $(s,t)$-union intersecting families
A family $\F$ of sets is said to be intersecting if any two sets in $\F$ have nonempty intersection. The celebrated Erd{\H o}s-Ko-Rado theorem determines the size and structure of the largest intersecting family of $k$-sets on an $n$-set $X$. An $(s,t)$-union intersecting family is a family of $k$-sets on an $n$-set $X$ such that for any $A_1,\ldots,A_{s+t}$ in this family, $\left(\cup_{i=1}^sA_i\right)\cap\left(\cup_{i=1}^t A_{i+s}\right)\neq \varnothing.$ Let $\ell(\F)$ be the minimum number of sets in $\F$ such that by removing them the resulting subfamily is intersecting. In this paper, for sufficiently large $n$, we characterize the size and structure of $(s,t)$-union intersecting families with maximum possible size and $\ell(\F)\geq s+β$. This allows us to find out the size and structure of some large and maximal $(s,t)$-union intersecting families.
Our results are nontrivial extensions of some recent generalizations of the Erd{\H o}s-Ko-Rado theorem such as the Han and Kohayakawa theorem 2017 which finds the structure of the third largest intersecting family, the Kostochka and Mubayi theorem 2017, and the more recent Kupavskii's theorem 2018 whose both results determine the size and structure of the $i$th largest intersecting family of $k$-sets for $i\leq k+1$. In particular, we prove that a Hilton-Milner-type stability theorem holds for $(1,t)$-union intersecting families, that indeed, confirms a conjecture of Alishahi and Taherkhani 2018. We extend our results to $K_{s_1,\ldots,s_{r+1}}$-free subgraphs of Kneser graphs. In fact, when $n$ is sufficiently large, we characterize the size and structure of large and maximal $K_{s_1,\ldots,s_{r+1}}$-free subgraphs of Kneser graphs. In particular, when $s_1=\cdots=s_{r+1}=1$ our result provides some stability results related to the famous Erd{\H o}s matching conjecture.
Deformations of Dimer Models
Published in SIGMA 18 (2022), 030, 53 pages
• View Publication
• BIB
The combinatorial mutation of polygons, which transforms a given lattice polygon into another one, is an important operation to understand mirror partners for two-dimensional Fano manifolds, and the mutation-equivalent polygons give ${\mathbb Q}$-Gorenstein deformation-equivalent toric varieties. On the other hand, for a dimer model, which is a bipartite graph described on the real two-torus, one can assign a lattice polygon called the perfect matching polygon. It is known that for each lattice polygon $P$ there exists a dimer model having $P$ as the perfect matching polygon and satisfying certain consistency conditions. Moreover, a dimer model has rich information regarding toric geometry associated with the perfect matching polygon. In this paper, we introduce a set of operations which we call deformations of consistent dimer models, and show that the deformations of consistent dimer models realize the combinatorial mutations of the associated perfect matching polygons.
A linear-time algorithm and analysis of graph Relative Hausdorff distance
Graph similarity metrics serve far-ranging purposes across many domains in data science. As graph datasets grow in size, scientists need comparative tools that capture meaningful differences, yet are lightweight and scalable. Graph Relative Hausdorff (RH) distance is a promising, recently proposed measure for quantifying degree distribution similarity. In spite of recent interest in RH distance, little is known about its properties. Here, we conduct an algorithmic and analytic study of RH distance. In particular, we provide the first linear-time algorithm for computing RH distance, analyze examples of RH distance between pairs of real-world networks as well as structured families of graphs, and prove several analytic results concerning the range, density, and extremal behavior of RH distance values.
Diagrammatics of the quartic $O(N)^3$-invariant Sachdev-Ye-Kitaev-like tensor model
Published
• View Publication
• BIB
Various tensor models have been recently shown to have the same properties as the celebrated Sachdev-Ye-Kitaev (SYK) model. In this paper we study in detail the diagrammatics of two such SYK-like tensor models: the multi-orientable (MO) model which has an $U(N) \times O(N) \times U(N)$ symmetry and a quartic $O(N)^3$-invariant model whose interaction has the tetrahedral pattern. We show that the Feynman graphs of the MO model can be seen as the Feynman graphs of the $O(N)^3$-invariant model which have an orientable jacket. We then present a diagrammatic toolbox to analyze the $O(N)^3$-invariant graphs. This toolbox allows for a simple strategy to identify all the graphs of a given order in the $1/N$ expansion. We apply it to the next-to-next-to-leading and next-to-next-to-next-to-leading orders which are the graphs of degree $1$ and $3/2$ respectively.
Reducing the domination number of graphs via edge contractions
In this paper, we study the following problem: given a connected graph $G$, can we reduce the domination number of $G$ by at least one using $k$ edge contractions, for some fixed integer $k \geq 0$? We present positive and negative results regarding the computational complexity of this problem.
Cut Polytopes of Minor-free Graphs
The cut polytope of a graph $G$ is the convex hull of the indicator vectors of all cuts in $G$ and is closely related to the MaxCut problem. We give the facet-description of cut polytopes of $K_{3,3}$-minor-free graphs and introduce an algorithm solving MaxCut on those graphs, which only requires the running time of planar MaxCut. Moreover, starting a systematic geometric study of cut polytopes, we classify graphs admitting a simple or simplicial cut polytope.
Self-orthogonal codes from equitable partitions of association schemes
We give a method of constructing self-orthogonal codes from equitable partitions of association schemes. By applying this method we construct self-orthogonal codes from some distance-regular graphs. Some of the obtained codes are optimal. Further, we introduce a notion of self-orthogonal subspace codes. We show that under some conditions equitable partitions of association schemes yield such self-orthogonal subspace codes and we give some examples from distance-regular graphs.
Domination ratio of integer distance digraphs
An integer distance digraph is the Cayley graph $Γ(\mathbb{Z},S)$ of the additive group $\mathbb{Z}$ of all integers with respect to some finite subset $S \subseteq \mathbb{Z}$. The domination ratio of $Γ(\mathbb{Z},S)$ is the minimum density of a dominating set in $Γ(\mathbb{Z},S)$. We establish some basic results on the domination ratio of $Γ(\mathbb{Z},S)$ and precisely determine it when $S=\{s,t\}$ with $s$ dividing $t$.
Probabilistic refinement of the asymptotic spectrum of graphs
The asymptotic spectrum of graphs, introduced by Zuiddam (arXiv:1807.00169, 2018), is the space of graph parameters that are additive under disjoint union, multiplicative under the strong product, normalized and monotone under homomorphisms between the complements. He used it to obtain a dual characterization of the Shannon capacity of graphs as the minimum of the evaluation function over the asymptotic spectrum and noted that several known upper bounds, including the Lovász number and the fractional Haemers bounds are in fact elements of the asymptotic spectrum (spectral points).
We show that every spectral point admits a probabilistic refinement and characterize the functions arising in this way. This reveals that the asymptotic spectrum can be parameterized with a convex set and the evaluation function at every graph is logarithmically convex. One consequence is that for any incomparable pair of spectral points $f$ and $g$ there exists a third one $h$ and a graph $G$ such that $h(G)<\min\{f(G),g(G)\}$, thus $h$ gives a better upper bound on the Shannon capacity of $G$. In addition, we show that the (logarithmic) probabilistic refinement of a spectral point on a fixed graph is the entropy function associated with a convex corner.
On finite width questionable representations of orders
In this article, we study "questionable representations" of (partial or total) orders, introduced in our previous article "A class of orders with linear? time sorting algorithm". (Later, we consider arbitrary binary functional/relational structures instead of orders.) A "question" is the first difference between two sequences (with ordinal index) of elements of orders/sets. In finite width "questionable representations" of an order O, comparison can be solved by looking at the "question" that compares elements of a finite order O'. A corollary of a theorem by Cantor (1895)is that all countable total orders have a binary (width 2) questionable representation. We find new classes of orders on which testing isomorphism or counting the number of linear extensions can be done in polynomial time. We also present a generalization of questionable-width, called balanced tree-questionable-width, and show that if a class of binary structures has bounded tree-width or clique-width, then it has bounded balanced tree-questionable-width. But there are classes of graphs of bounded balanced tree-questionable-width and unbounded tree-width or clique-width.
Ramsey-type problems in orientations of graphs
Given an acyclic oriented graph $\vec{H}$ and a graph $G$, we write $G \to \vec{H}$ if every orientation of $G$ has an oriented copy of $\vec{H}$. We define $\vec{R}(\vec{H})$ as the smallest number $n$ such that there exists a graph $G$ satisfying $G \to \vec{H}$. Denoting by $R(H)$ the classical Ramsey number of a graph $H$, we show that $\vec{R}(\vec{H}) \leq 2R(H)^{c \log^2 h}$ for every acyclic oriented graph $\vec{H}$ with $h$ vertices, where $H$ is its underlying undirected graph. We also study the threshold function for the event $\{G(n,p) \to \vec{H}\}$ in the binomial random graph $G(n,p)$. Finally, we consider the isometric case, in which we require that, for every two vertices $x, y \in V(\vec{H})$ and their respective copies $x', y'$ in $\vec{G}$, the distance between $x$ and $y$ is equal to the distance between $x'$ and $y'$. We prove an upper bound for the isometric Ramsey number of an acyclic orientation of the cycle, applying the hypergraph container lemma in random graphs.
Counting realizations of Laman graphs on the sphere
Published in Electronic Journal of Combinatorics, 2020
• View Publication
• BIB
We present an algorithm that computes the number of realizations of a Laman graph on a sphere for a general choice of the angles between the vertices. The algorithm is based on the interpretation of such a realization as a point in the moduli space of stable curves of genus zero with marked points, and on the explicit description, due to Keel, of the Chow ring of this space.
Flexibility of planar graphs without 4-cycles
Published in Acta Mathematica Universitatis Comenianae, 88(3), 935-940, 2019
• Search Publication
Proper graph coloring assigns different colors to adjacent vertices of the graph. Usually, the number of colors is fixed or as small as possible. Consider applications (e.g. variants of scheduling) where colors represent limited resources and graph represents conflicts, i.e., two adjacent vertices cannot obtain the same resource. In such applications, it is common that some vertices have preferred resource(s). However, unfortunately, it is not usually possible to satisfy all such preferences. The notion called flexibility was recently defined in [Dvořák, Norin, Postle: List coloring with requests, Journal of Graph Theory 2019]. There instead of satisfying all the preferences the aim is to satisfy at least a constant fraction of the request. Recently, the structural properties of planar graphs in terms of flexibility were investigated. We continue this line of research. Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is a planar graph without 4-cycles and all lists have size at least five, then there exists an L-coloring respecting at least a constant fraction of the preferences.
Uniform Length Dominating Sequence Graphs
Published in Graphs and Combinatorics (2020) 36:1819-1825
• View Publication
• BIB
A sequence of vertices $(v_1,\, \dots , \,v_k)$ of a graph $G$ is called a {\it dominating closed neighborhood sequence} if $\{v_1,\, \dots , \,v_k\}$ is a dominating set of $G$ and $N[v_i]\nsubseteq \cup _{j=1}^{i-1} N[v_j]$ for every $i$. A graph $G$ is said to be {\it $k-$uniform} if all dominating closed neighborhood sequences have equal length $k$. Bre{\v s}ar et al. (2014) characterized $k$-uniform graphs with $k\leq 3$. In this article we extend their work by giving a complete characterization of all $k$-uniform graphs with $k\geq 4$.
An application of the Gyárfás path argument
We adapt the Gyárfás path argument to prove that $t-2$ cops can capture a robber, in at most $t-1$ moves, in the game of cops and robbers played in a graph that does not contain the $t$-vertex path as an induced subgraph.
Extremal total distance of graphs of given radius
In 1984, Plesník determined the minimum total distance for given order and diameter and characterized the extremal graphs and digraphs. We prove the analog for given order and radius, when the order is sufficiently large compared to the radius. This confirms asymptotically a conjecture of Chen et al. We show the connection between minimizing the total distance and maximizing the size under the same conditions. We also prove some asymptotically optimal bounds for the maximum total distance.
Arithmetical structures on bidents
Published in Discrete Math. 343 (2020) 111850
• View Publication
• BIB
An arithmetical structure on a finite, connected graph $G$ is a pair of vectors $(\mathbf{d}, \mathbf{r})$ with positive integer entries for which $(\operatorname{diag}(\mathbf{d}) - A)\mathbf{r} = \mathbf{0}$, where $A$ is the adjacency matrix of $G$ and where the entries of $\mathbf{r}$ have no common factor. The critical group of an arithmetical structure is the torsion part of the cokernel of $(\operatorname{diag}(\mathbf{d}) - A)$. In this paper, we study arithmetical structures and their critical groups on bidents, which are graphs consisting of a path with two "prongs" at one end. We give a process for determining the number of arithmetical structures on the bident with $n$ vertices and show that this number grows at the same rate as the Catalan numbers as $n$ increases. We also completely characterize the groups that occur as critical groups of arithmetical structures on bidents.