DOCSLIB.ORG

Arxiv:2008.11296V2 [Math.CO] 4 Mar 2021 8 4 8 2 8 4 8

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2008.11296V2 [Math.CO] 4 Mar 2021 8 4 8 2 8 4 8 SEQUENCES OF WELL-DISTRIBUTED VERTICES ON GRAPHS AND SPECTRAL BOUNDS ON OPTIMAL TRANSPORT LOUIS BROWN Abstract. Given a graph G = (V; E), suppose we are interested in select- n ing a sequence of vertices (xj )j=1 such that fx1; : : : ; xkg is `well-distributed' uniformly in k. We describe a greedy algorithm motivated by potential the- ory and corresponding developments in the continuous setting. The algorithm performs nicely on graphs and may be of use for sampling problems. We can interpret the algorithm as trying to greedily minimize a negative Sobolev norm; we explain why this is related to Wasserstein distance by establishing a purely spectral bound on the Wasserstein distance on graphs that mirrors R. Peyre's estimate in the continuous setting. We illustrate this with many examples and discuss several open problems. 1. Introduction 1.1. Introduction. The purpose of this paper is to discuss a basic problem on finite graphs G = (V; E) that is already difficult on the unit interval [0; 1]. Given a metric space (say, the unit interval, a compact manifold or a finite graph), how does one construct a sequence x1; x2;::: of elements in the space such that their distribution is uniformly good|by this we mean that if one takes the first k el- ements fx1; : : : ; xkg, then this set is very nearly as evenly distributed on the set as any set of k elements would be. We have not clearly defined what notion of `well-distributed' we mean, this will depend on the actual setting; the question is frequently interesting for several different such notions. There is not even a canon- ical answer on the unit interval [0; 1] but the van der Corput sequence 1 1 3 1 5 3 7 ; ; ; ; ; ; ;::: 2 4 4 8 8 8 8 constructed via an inverse binary digit expansion (see [10]), is a good example. 1 1 3 1 5 3 7 arXiv:2008.11296v2 [math.CO] 4 Mar 2021 8 4 8 2 8 4 8 4 2 6 1 5 3 7 Figure 1. The first 7 elements of the van der Corput sequence. 2010 Mathematics Subject Classification. 05C35, 05C85, 05C90, 31B10, 44A99, 49Q20. Key words and phrases. Sampling, Graph, Manifold, Inverse Laplacian, Potential Theory. This paper is part of the author's PhD thesis at Yale University and has been partially sup- ported by NSF (DMS-1763179). 1 2 We see that the first k elements of the sequence are not as uniformly distributed as k equispaced points but they are always fairly uniformly distributed independently of what k is. There are many different reasons why one could be interested in such sequences: they are natural sampling points for functions (especially for on-line selection and in cases where one does not know in advance in how many points one can sample) but there is also an obvious combinatorial question (`How well distributed can sequences be? What is the unavoidable degree of irregularity?'). Figure 2. The first k (here k = 2; 3; 4) elements of the sequence are nearly as evenly distributed as any set of k vertices could be. Historically, the question has lead to remarkable connections to other fields of math- ematics such as Number Theory, Harmonic Analysis and even Probability Theory (we will discuss several of these connections in §2). We will now state one informal version of the main problem before stating a precise version further below. Main Problem (informal version). Given a finite graph G = (V; E), how would one select a sequence of vertices that are uni- formly good? In what metric would one measure the `goodness' of such a sequence? 8 1 11 4 5 6 9 10 2 3 12 7 Figure 3. The Frucht Graph (see §4.3) and the enumeration ob- tained by the algorithm when starting with vertex 1. 3 Fig. 2 contains a simple such example: taking the Truncated Tetrahedral Graph (see §4.2), in which order should one select the vertices so as to obtain a sequence that is uniformly evenly distributed? Fig. 3 showcases another example, on the Frucht Graph (see §4.3). In Fig. 5, we display an example on the Nauru Graph, a 3-regular bipartite graph with 24 vertices and 36 edges. Even before making the notion of quality precise, we can get some intuition from these simple examples. The enumeration of the vertices in each case was generated by the algorithm discussed below, in §2.2. The organization of this article is as follows: in §1.2 we introduce the Wasserstein distance, and state Kantorovich-Rubinstein duality in the setting of finite graphs. In §2, we introduce a novel algorithm for selecting evenly distributed vertices on graphs, and in §2.3 we provide a Theorem quantitatively demonstrating the even distribution of these vertices. In §3 we explore the connection between optimal transport cost and spectral properties of the Laplacian, providing in §3.2 a Theorem bounding the former in terms of the latter on graphs. In §3.4 and 3.5 we conduct a case study of cycle graphs and torus grid graphs, respectively, in the context of this Theorem. In §4, we provide numerics displaying the performance of the algorithm on a variety of different graphs. In §5, we present proofs of both Theorems. In §6, we list connections to results in the continuous setting. x2 x1 1=2 x3 x6 1=2 x4 x5 P6 Figure 4. W1((δx1 + δx2 )=2; k=1 δxk =6) = 2=3: We can trans- port 1=6 units of mass from x1 to each of x2 and x6, and similarly with x4 to x3 and x5, incurring a total cost of 4 × 1=6. 1.2. Wasserstein Distance. Wasserstein Distance is a notion of distance on prob- ability distributions introduced by Wasserstein in 1969 [38]. Its simplest instance is W1(µ, ν), also known as Earth Mover's Distance, which is defined as the minimal amount of cost required to transport one distribution µ to match another distri- bution ν|here, cost is defined as mass × distance: transporting " units of mass over a distance of δ has a cost of εδ. The notion of Wasserstein distance can be immediately applied to finite graphs: we will work only in the simple case of un- weighted graphs where the distance between two vertices is given as the length of the shortest path connecting them; extensions to the weighted case are conceivable. In short, transporting " mass over a single edge has a W1 cost of " (see Fig. 4). More formally, on an abstract metric space X equipped with a metric d, we define Z 1=p p Wp(µ, ν) = inf d(x; y) dγ(x; y) ; γ2Γ(µ,ν) X×X 4 where Γ(µ, ν) denotes the collection of all measures on X × X with marginals µ and ν, respectively (also called the set of all couplings of µ and ν). Note that µ, ν need not be probability measures. We will, throughout this paper, work exclusively with the Earth Mover's Distance W1 (although extensions to more general Wp are certainly conceivable). The Earth Mover's Distance is particularly nice to work with: by Kantorovich-Rubinstein duality (see e.g., [39]) Z Z W1(µ, ν) = sup fdµ − fdν : f is 1-Lipschitz : X X 0 Because of this, W1 is translation invariant|for positive measures µ, ν; µ , we have 0 0 W1(µ, ν) = W1(µ + µ ; ν + µ ): Thus, if we have a positive measure µ decomposed into non-positive measures µ1; µ2 as µ = µ1 + µ2, we may use this translation invariance to write + + − − W1(µ, ν) = W1(µ1 + µ2 ; ν + µ1 + µ2 ); + − where µi = maxfµi; 0g is the positive part of µi and µi = max{−µi; 0g is the negative part. Now that we have defined the Wasserstein distance, we may make precise our original question regarding evenly distributed vertices: Main Problem (formal version). Given a finite graph G = (V; E), how would one select a sequence of vertices such that 0 k 1 1 X W δ ; dx is small for all k; 1 @k xj A j=1 where dx is normalized counting measure having weight jV j−1 on each vertex of G. How small one could expect this quantity to be will depend on the particular geometry of the graph. For simplicity of exposition, consider M = Td, the d- dimensional torus with normalized volume measure dx: it is a basic exercise to show that the Earth Mover's Distance satisfies 0 n 1 1 X W δ ; dx ≥ c n−1=d 1 @n xj A d j=1 for all sets of points fx1; : : : ; xng ⊂ M. This clearly shows that the geometry (here: the dimension d) plays a role in what we can expect. We also emphasize that it is almost surely the case that our main question (as asked in §1.1) is of interest also for many other ways of making the notion of distribution quantitative and Wasserstein distance may be one of many (though certainly a rather canonical one). We conclude our short introduction to Wasserstein distance by stating Kantorovich- Rubinstein duality, mentioned above, when X is a finite graph. Proposition (Kantorovich-Rubinstein, see e.g., [17, 27]). Let G = (V; E) be a finite, simple graph, let f : V ! R and let W ⊂ V be a subset of vertices. Then ! 1 X 1 X 1 X f(x) − f(x) ≤ W1 δx; dx max jf(xi) − f(xj)j: jV j jW j jW j xi∼xj x2V x2W x2W 5 This shows that our notion of uniform distribution of a subset of vertices has a natural connection to the question of sampling on graphs (i.e., reconstructing the average value of a `smooth' function by sampling in a subset of the vertices).
Load more

Recommended publications
  • Drawing Graphs and Maps with Curves
    Report from Dagstuhl Seminar 13151 Drawing Graphs and Maps with Curves Edited by Stephen Kobourov1, Martin Nöllenburg2, and Monique Teillaud3 1 University of Arizona – Tucson, US, [email protected] 2 KIT – Karlsruhe Institute of Technology, DE, [email protected] 3 INRIA Sophia Antipolis – Méditerranée, FR, [email protected] Abstract This report documents the program and the outcomes of Dagstuhl Seminar 13151 “Drawing Graphs and Maps with Curves”. The seminar brought together 34 researchers from different areas such as graph drawing, information visualization, computational geometry, and cartography. During the seminar we started with seven overview talks on the use of curves in the different communities represented in the seminar. Abstracts of these talks are collected in this report. Six working groups formed around open research problems related to the seminar topic and we report about their findings. Finally, the seminar was accompanied by the art exhibition Bending Reality: Where Arc and Science Meet with 40 exhibits contributed by the seminar participants. Seminar 07.–12. April, 2013 – www.dagstuhl.de/13151 1998 ACM Subject Classification I.3.5 Computational Geometry and Object Modeling, G.2.2 Graph Theory, F.2.2 Nonnumerical Algorithms and Problems Keywords and phrases graph drawing, information visualization, computational cartography, computational geometry Digital Object Identifier 10.4230/DagRep.3.4.34 Edited in cooperation with Benjamin Niedermann 1 Executive Summary Stephen Kobourov Martin Nöllenburg Monique Teillaud License Creative Commons BY 3.0 Unported license © Stephen Kobourov, Martin Nöllenburg, and Monique Teillaud Graphs and networks, maps and schematic map representations are frequently used in many fields of science, humanities and the arts.
    [Show full text]
  • Vertex-Transitive Graphs That Have No Hamilton Decomposition
    Vertex-transitive graphs that have no Hamilton decomposition Darryn Bryant ∗ Matthew Dean † Abstract It is shown that there are infinitely many connected vertex-transitive graphs that have no Hamilton decomposition, including infinitely many Cayley graphs of valency 6, and including Cayley graphs of arbitrarily large valency. 1 Introduction A famous question of Lov´asz concerns the existence of Hamilton paths in vertex-transitive graphs [28], and no example of a connected vertex-transitive graph with no Hamilton path is known. The related question concerning the existence of Hamilton cycles in vertex-transitive graphs is another interesting and well-studied problem in graph theory, see the survey [23]. A Hamiltonian graph is a graph containing a Hamilton cycle. Thomassen (see [10, 23]) has conjectured that there are only finitely many non-Hamiltonian connected vertex-transitive graphs. On the other hand, Babai [8, 9] has conjectured that there are infinitely many such graphs. To date only five are known. These arXiv:1408.5211v3 [math.CO] 12 Nov 2014 are the complete graph of order 2, the Petersen graph, the Coxeter graph, and the two graphs obtained from the Petersen and Coxeter graphs by replacing each vertex with a triangle. For a regular graph of valency at least 4, a stronger property than the existence of a Hamilton cycle is the existence of a Hamilton decomposition. If X is a k-valent graph, then a Hamilton k decomposition of X is a set of ⌊ 2 ⌋ pairwise edge-disjoint Hamilton cycles in X. Given the small number of non-Hamiltonian connected vertex-transitive graphs, and the uncertainty concerning the existence of others, it is natural to ask how many connected vertex-transitive graphs have no Hamilton decomposition.
    [Show full text]
  • Lombardi Drawings of Graphs 1 Introduction
    Lombardi Drawings of Graphs Christian A. Duncan1, David Eppstein2, Michael T. Goodrich2, Stephen G. Kobourov3, and Martin Nollenburg¨ 2 1Department of Computer Science, Louisiana Tech. Univ., Ruston, Louisiana, USA 2Department of Computer Science, University of California, Irvine, California, USA 3Department of Computer Science, University of Arizona, Tucson, Arizona, USA Abstract. We introduce the notion of Lombardi graph drawings, named after the American abstract artist Mark Lombardi. In these drawings, edges are represented as circular arcs rather than as line segments or polylines, and the vertices have perfect angular resolution: the edges are equally spaced around each vertex. We describe algorithms for finding Lombardi drawings of regular graphs, graphs of bounded degeneracy, and certain families of planar graphs. 1 Introduction The American artist Mark Lombardi [24] was famous for his drawings of social net- works representing conspiracy theories. Lombardi used curved arcs to represent edges, leading to a strong aesthetic quality and high readability. Inspired by this work, we intro- duce the notion of a Lombardi drawing of a graph, in which edges are drawn as circular arcs with perfect angular resolution: consecutive edges are evenly spaced around each vertex. While not all vertices have perfect angular resolution in Lombardi’s work, the even spacing of edges around vertices is clearly one of his aesthetic criteria; see Fig. 1. Traditional graph drawing methods rarely guarantee perfect angular resolution, but poor edge distribution can nevertheless lead to unreadable drawings. Additionally, while some tools provide options to draw edges as curves, most rely on straight-line edges, and it is known that maintaining good angular resolution can result in exponential draw- ing area for straight-line drawings of planar graphs [17,25].
    [Show full text]
  • Use the K-Neighborhood Subgraphs to Compute Canonical Labelings of Graphs
    mathematics Article Use the K-Neighborhood Subgraphs to Compute Canonical Labelings of Graphs Jianqiang Hao 1,*, Yunzhan Gong 2, Jianzhi Sun 1 and Li Tan 1 1 Beijing Key Laboratory of Big Data Technology for Food Safety, Beijing Technology and Business University, No. 11, Fu Cheng Road, Beijing 100048, China 2 State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, No 10, Xitucheng Road, Haidian District, Beijing 100876, China * Correspondence: [email protected]; Tel.: +86-10-6898-5704 Received: 5 July 2019; Accepted: 27 July 2019; Published: 31 July 2019 Abstract: This paper puts forward an innovative theory and method to calculate the canonical labelings of graphs that are distinct to Nauty’s. It shows the correlation between the canonical labeling of a graph and the canonical labeling of its complement graph. It regularly examines the link between computing the canonical labeling of a graph and the canonical labeling of its open k-neighborhood subgraph . It defines dif fusion degree sequences and entire dif fusion degree sequence . For each node of a graph G, it designs a characteristic m_NearestNode to improve the precision for calculating canonical labeling. Two theorems established here display how to compute the first nodes of MaxQ(G). Another theorem presents how to determine the second nodes of MaxQ(G). When computing Cmax(G), if MaxQ(G) already holds the first i nodes u1, u2, ··· , ui, Diffusion and Nearest Node theorems provide skill on how to pick the succeeding node of MaxQ(G). Further, it also establishes two theorems to determine the Cmax(G) of disconnected graphs.
    [Show full text]
  • Math.RA] 25 Sep 2013 Previous Paper [3], Also Relying in Conceptually Separated Tools from Them, Such As Graphs and Digraphs
    Certain particular families of graphicable algebras Juan Núñez, María Luisa Rodríguez-Arévalo and María Trinidad Villar Dpto. Geometría y Topología. Facultad de Matemáticas. Universidad de Sevilla. Apdo. 1160. 41080-Sevilla, Spain. [email protected] [email protected] [email protected] Abstract In this paper, we introduce some particular families of graphicable algebras obtained by following a relatively new line of research, ini- tiated previously by some of the authors. It consists of the use of certain objects of Discrete Mathematics, mainly graphs and digraphs, to facilitate the study of graphicable algebras, which are a subset of evolution algebras. 2010 Mathematics Subject Classification: 17D99; 05C20; 05C50. Keywords: Graphicable algebras; evolution algebras; graphs. Introduction The main goal of this paper is to advance in the research of a novel mathematical topic emerged not long ago, the evolution algebras in general, and the graphicable algebras (a subset of them) in particular, in order to obtain new results starting from those by Tian (see [4, 5]) and others already obtained by some of us in a arXiv:1309.6469v1 [math.RA] 25 Sep 2013 previous paper [3], also relying in conceptually separated tools from them, such as graphs and digraphs. Concretely, our goal is to find some particular types of graphicable algebras associated with well-known types of graphs. The motivation to deal with evolution algebras in general and graphicable al- gebras in particular is due to the fact that at present, the study of these algebras is very booming, due to the numerous connections between them and many other branches of Mathematics, such as Graph Theory, Group Theory, Markov pro- cesses, dynamic systems and the Theory of Knots, among others.
    [Show full text]
  • A Godsil E Thomason I Solomon M Abiad B Van Dam F Balbuena J
    8.30–9.15 am A Godsil E Thomason I Solomon M Abiad 9.20–9.40 am 1 Zhan 10 Bukh 19 Srinivasan 24 Reichard 9.45–10.05 am 2 Ye 11 Martin 20 Sumalroj 25 Xu 10.05–10.35 am break break break break 10.35–10.55 am 3 Dalfó 12 Kamat 21 Bencs 26 Peng 11.00–11.20 am 4 McGinnis 13 Timmons 22 Guo 27 Kravitz 11.25–12.10 pm B Van Dam F Balbuena J Muzychuk N Xiang 12.10–2.00 pm lunch lunch lunch lunch 2.00–2.45 pm C Kantor G Füredi K Williford 2.50–3.10 pm 5 Gu 14 Tait 23 Ducey 3.15–3.35 pm 6 Coutinho 15 Kodess L Woldar break 3.40–4.00 pm 7 Greaves 16 Y. Wang 4.00–4.30 pm break break 4.30–4.50 pm 8 Fiol 17 Kronenthal 4:55–5.15 pm 9 W. Wang 18 Moorhouse 5.20–6.10 pm D Haemers H Lazebnik 2 8.30–9.15 am A Chris Godsil Spectral invariants from embeddings 9.20–9.40 am 1 Harmony Zhan Quantum walks and mixing 9.45–10.05 am 2 Dong Ye Median eigenvalues and graph inverse 10.35–10.55 am 3 Cristina Dalfó Characterizing identifying codes from the spectrum of a graph or digraph 11.00–11.20 am 4 Matt McGinnis The smallest eigenvalues of the Hamming graphs 11.25–12:10 pm B Edwin van Dam Partially metric association schemes with a small multiplicity 2.00–2.45 pm C Bill Kantor MUBs 2.50–3.10 pm 5 Xiaofeng Gu Toughness, connectivity and the spectrum of regular graphs 3.15–3.35 pm 6 Gabriel Coutinho Average mixing matrix 3.40–4.00 pm 7 Gary Greaves Edge-regular graphs and regular cliques 4.30–4.50 pm 8 Miguel Angel Fiol An algebraic approach to lifts of digraphs 4.55–5.15 pm 9 Wei Wang A positive proportion of multigraphs are determined by their generalized spectra 5.20–6.10
    [Show full text]
  • The Cost of Perfection for Matchings in Graphs
    The Cost of Perfection for Matchings in Graphs Emilio Vital Brazil∗ Guilherme D. da Fonseca† Celina M. H. de Figueiredo‡ Diana Sasaki‡ September 15, 2021 Abstract Perfect matchings and maximum weight matchings are two fundamental combinatorial structures. We consider the ratio between the maximum weight of a perfect matching and the maximum weight of a general matching. Motivated by the computer graphics application in triangle meshes, where we seek to convert a triangulation into a quadrangulation by merging pairs of adjacent triangles, we focus mainly on bridgeless cubic graphs. First, we characterize graphs that attain the extreme ratios. Second, we present a lower bound for all bridgeless cubic graphs. Third, we present upper bounds for subclasses of bridgeless cubic graphs, most of which are shown to be tight. Additionally, we present tight bounds for the class of regular bipartite graphs. 1 Introduction The study of matchings in cubic graphs has a long history in combinatorics, dating back to Pe- tersen’s theorem [20]. Recently, the problem has found several applications in computer graphics and geographic information systems [5, 18, 24, 10]. Before presenting the contributions of this paper, we consider the following motivating example in the area of computer graphics. Triangle meshes are often used to model solid objects. Nevertheless, quadrangulations are more appropriate than triangulations for some applications [10, 23]. In such situations, we can convert a triangulation into a quadrangulation by merging pairs of adjacent triangles (Figure 1). Hence, the problem can be modeled as a matching problem by considering the dual graph of the triangulation, where each triangle corresponds to a vertex and edges exist between adjacent triangles.
    [Show full text]
  • Pronic Heron Mean Labeling on Special Cases of Generalized Peterson Graph P(N,K) and Disconnected Graphs
    Malaya Journal of Matematik, Vol. 9, No. 1, 262-266, 2021 https://doi.org/10.26637/MJM0901/0044 Pronic Heron Mean labeling on special cases of generalized Peterson graph P(n;k) and disconnected graphs S. Akila Devi1*, R. Sophia Porchelvi2 and T. Arjun3 Abstract A graph labeling is an assignment of integers to the vertices or edges or both subject to certain conditions. In this paper for a graph G(V;E) each of the vertices v 2 V(G) are assigned by pronic numbers. In this paper, we investigate the pronic heron mean labeling on special cases of generalized Petersen graph P(n;k). Also we described an algorithm to label the vertices for the pronic heron mean labeling for certain disconnected graphs. Keywords Pronic Heron Mean labeling, Generalized Peterson Graph P(n;k), Disconnected Graphs. AMS Subject Classification 05C10. 1,2Department of Mathematics, A.D.M College For Women, (Affiliated to Bharathidasan University), Nagapattinam, Tamil Nadu, India. 3Ideas2IT Technologies, Chennai, Tamil Nadu, India. *Corresponding author: [email protected]; [email protected]; [email protected] Article History: Received 08 January 2021; Accepted 09 February 2021 ©2021 MJM. Contents number of the form n(n + 1). Let G(p;q) be a graph with p ≥ 2.A pronic heron mean labeling[4] of a graph G is a bijec- 1 Introduction.......................................262 tion f : V(G) ! f0;2;6;12;:::; p(p + 1)g such thatp the result- f (u)+ f (v)+ f (u) f (v) 2 Main Theorems....................................263 ing edge labels obtained by f ∗(uv) = d e p 3 2.1 Special cases of P(n;k) ...............
    [Show full text]
  • On the Euclidean Dimension of Graphs
    ON THE EUCLIDEAN DIMENSION OF GRAPHS JIN HYUP HONG GREAT NECK SOUTH HIGH SCHOOL, GREAT NECK, NY AND DAN ISMAILESCU MATHEMATICS DEPARTMENT, HOFSTRA UNIVERSITY, NY arXiv:1501.00204v1 [math.MG] 31 Dec 2014 1 Abstract. The Euclidean dimension a graph G is defined to be the smallest integer d such that the vertices of G can be located in Rd in such a way that two vertices are unit distance apart if and only if they are adjacent in G. In this paper we determine the Euclidean dimension for twelve well known graphs. Five of these graphs, D¨urer, Franklin, Desargues, Heawood and Tietze can be embedded in the plane, while the remaining graphs, Chv´atal, Goldner-Harrary, Herschel, Fritsch, Gr¨otzsch, Hoffman and Soifer have Euclidean dimension 3. We also present explicit embeddings for all these graphs. 1. History and previous work The Euclidean dimension of a graph G = (V, E), denoted dim(G) is the least integer n such that there exists a 1 : 1 embedding f : V Rn for which f(u) f(v) = 1 if and only → | − | if uv E. ∈ The concept was introduced by Erd˝os, Harary and Tutte in their seminal paper [7], where the authors determine the Euclidean dimension for several classes of graphs. For instance, they show that dim(K ) = n 1, where K is the complete graph on n n − n vertices. Using a construction due to Lenz, they also compute the Euclidean dimension of Km,n, the complete bipartite graph with m vertices in one class and n vertices in the other.
    [Show full text]
  • Graph Neural Network
    Graph Networks for Track Reconstruction Learning to Discover: Advanced Pattern Recognition, IPa Workshop 2019 Marcel Kunze, Heidelberg University Data Representation Numeric: made of numbers ● Plain vector ● Sequences Categorical: made of words ● Trees Female ● Graph 1 0 Male 0 1 The numbers do not represent a complex relationship or hierarchy Graph Networks - Learning to Discover: Advanced Pattern Recognition, IPa Workshop 2019 | M.Kunze 2 Data Representation ● Plain vectors User events sequence ● Sequences ● Trees ● Graph The data objects have a sequential (time) dependence Graph Networks - Learning to Discover: Advanced Pattern Recognition, IPa Workshop 2019 | M.Kunze 3 Data Representation ● Plain vectors ● Sequences ● Trees ● Graph The data objects have a hierarchical dependence Graph Networks - Learning to Discover: Advanced Pattern Recognition, IPa Workshop 2019 | M.Kunze 4 Data Representation ● Plain vectors ● Sequences ● Trees ● Graph The data objects have an arbitrary dependence • Model complex relationship / hierarchy Graph Networks - Learning to Discover: Advanced Pattern Recognition, IPa Workshop 2019 | M.Kunze 5 Directed Graphs A directed Graph is a graph oF nodes whose edges are all E directed Applications D • one-way streets • flights C • task scheduling • … B A Graph Networks - Learning to Discover: Advanced Pattern Recognition, IPa Workshop 2019 | M.Kunze 6 Directed Acyclic Graphs (DAG) A directed acyclic graph or DAG is a directed graph with no directed cycles: Graph Networks - Learning to Discover: Advanced Pattern Recognition, IPa Workshop 2019 | M.Kunze 7 Gaming: Sparse Voxel Octrees (SVO) 1 2 3 4 5 • Raytracing • Compression of data • Multi-scale resolution Graph Networks - Learning to Discover: Advanced Pattern Recognition, IPa Workshop 2019 | M.Kunze 8 Adjacency Matrix • The adjacency matrix is a square matrix to represent a graph.
    [Show full text]
  • Arxiv:2008.08856V2 [Math.CO] 5 Dec 2020 Graphs Correspond Exactly to the Graphs Induced by the Two Middle Layers of Odd-Dimensional Hypercubes
    Fast recognition of some parametric graph families Nina Klobas∗ and Matjaž Krnc† December 8, 2020 Abstract We identify all [1, λ, 8]-cycle regular I-graphs and all [1, λ, 8]-cycle reg- ular double generalized Petersen graphs. As a consequence we describe linear recognition algorithms for these graph families. Using structural properties of folded cubes we devise a o(N log N) recognition algorithm for them. We also study their [1, λ, 4], [1, λ, 6] and [2, λ, 6]-cycle regularity and settle the value of parameter λ. 1 Introduction Important graph classes such as bipartite graphs, (weakly) chordal graphs, (line) perfect graphs and (pseudo)forests are defined or characterized by their cycle structure. A particularly strong description of a cyclic structure is the notion of cycle-regularity, introduced by Mollard [24]: For integers l, λ, m a simple graph is [l, λ, m]-cycle regular if ev- ery path on l+1 vertices belongs to exactly λ different cycles of length m. It is perhaps natural that cycle-regularity mostly appears in the literature in the context of symmetric graph families such as hypercubes, Cayley graphs or circulants. Indeed, Mollard showed that certain extremal [3, 1, 6]-cycle regular arXiv:2008.08856v2 [math.CO] 5 Dec 2020 graphs correspond exactly to the graphs induced by the two middle layers of odd-dimensional hypercubes. Also, for [2, 1, 4]-cycle regular graphs, Mulder [25] showed that their degree is minimized in the case of Hadamard graphs, or in the case of hypercubes. In relation with other graph families, Fouquet and Hahn [12] described the symmetric aspect of certain cycle-regular classes, while in [19] authors describe all [1, λ, 8]-cycle regular members of generalized ∗Department of Computer Science, Durham University, UK.
    [Show full text]
  • Matching Preclusion of the Generalized Petersen Graph
    Theory and Applications of Graphs Volume 6 Issue 1 Article 5 May 2019 Matching Preclusion of the Generalized Petersen Graph Ajay Arora Novi High School, [email protected] Eddie Cheng Oakland University, [email protected] Christopher Melekian Oakland University, [email protected] Follow this and additional works at: https://digitalcommons.georgiasouthern.edu/tag Part of the Discrete Mathematics and Combinatorics Commons Recommended Citation Arora, Ajay; Cheng, Eddie; and Melekian, Christopher (2019) "Matching Preclusion of the Generalized Petersen Graph," Theory and Applications of Graphs: Vol. 6 : Iss. 1 , Article 5. DOI: 10.20429/tag.2019.060105 Available at: https://digitalcommons.georgiasouthern.edu/tag/vol6/iss1/5 This article is brought to you for free and open access by the Journals at Digital Commons@Georgia Southern. It has been accepted for inclusion in Theory and Applications of Graphs by an authorized administrator of Digital Commons@Georgia Southern. For more information, please contact [email protected]. Matching Preclusion of the Generalized Petersen Graph Cover Page Footnote This paper originated from a project started at the Oakland University Summer Mathematics Institute. This article is available in Theory and Applications of Graphs: https://digitalcommons.georgiasouthern.edu/tag/vol6/ iss1/5 Arora et al.: Matching Preclusion of the Generalized Petersen Graph Abstract The matching preclusion number of a graph with an even number of vertices is the minimum number of edges whose deletion results in a graph with no perfect matchings. In this paper we determine the matching preclusion number for the generalized Petersen graph P (n; k) and classify the optimal sets. Keywords: perfect matching; Petersen graph; generalized Petersen graph.
    [Show full text]