graph
35436 papers tagged with this keyword
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.
Arithmetical Structures on Paths With a Doubled Edge
An arithmetical structure on a graph is given by a labeling of the vertices which satisfies certain divisibility properties. In this note, we look at several families of graphs and attempt to give counts on the number of arithmetical structures for graphs in these families.
Upperbounds on the probability of finding marked connected components using quantum walks
Published in Quantum Information Processing 20, 6 (2021)
• View Publication
• BIB
Quantum walk search may exhibit phenomena beyond the intuition from a conventional random walk theory. One of such examples is exceptional configuration phenomenon -- it appears that it may be much harder to find any of two or more marked vertices, that if only one of them is marked. In this paper, we analyze the probability of finding any of marked vertices in such scenarios and prove upper bounds for various sets of marked vertices. We apply the upper bounds to large collection of graphs and show that the quantum search may be slow even when taking real-world networks.
Super-logarithmic cliques in dense inhomogeneous random graphs
In the theory of dense graph limits, a graphon is a symmetric measurable function $W:[0,1]^2\to [0,1]$. Each graphon gives rise naturally to a random graph distribution, denoted $\mathbb{G}(n,W)$, that can be viewed as a generalization of the Erdős-Rényi random graph. Recently, Doležal, Hladký, and Máthé gave an asymptotic formula of order $\log n$ for the clique number of $\mathbb{G}(n,W)$ when $W$ is bounded away from 0 and 1. We show that if $W$ is allowed to approach 1 at a finite number of points, and displays a moderate rate of growth near these points, then the clique number of $\mathbb{G}(n,W)$ will be $Θ(\sqrt{n})$ almost surely. We also give a family of examples with clique number $Θ(n^α)$ for any $α\in(0,1)$, and some conditions under which the clique number of $\mathbb{G}(n,W)$ will be $o(\sqrt{n})$, $ω(\sqrt{n}),$ or $Ω(n^α)$ for $α\in(0,1)$.
Kantorovich Duality and Optimal Transport Problems on Magnetic Graphs
We consider Lipschitz- and Arens-Eells-type function spaces constructed for magnetic graphs, which are adapted to this setting from the area of optimal transport on discrete spaces. After establishing the duality between these spaces, we prove a characterization of the extreme points of the unit ball in the magnetic Lipschitz space as well as a result identifying the magnetic Arens-Eells space as a quotient of the classical Arens-Eells space of an associated classical graph called the lift graph.