-
The Tree of Diffusion Life: Evolutionary Embeddings to Understand the Generation Process of Diffusion Models
Authors:
Vidya Prasad,
Hans van Gorp,
Christina Humer,
Anna Vilanova,
Nicola Pezzotti
Abstract:
Diffusion models generate high-quality samples by corrupting data with Gaussian noise and iteratively reconstructing it with deep learning, slowly transforming noisy images into refined outputs. Understanding this data evolution is important for interpretability but is complex due to its high-dimensional evolutionary nature. While traditional dimensionality reduction methods like t-distributed sto…
▽ More
Diffusion models generate high-quality samples by corrupting data with Gaussian noise and iteratively reconstructing it with deep learning, slowly transforming noisy images into refined outputs. Understanding this data evolution is important for interpretability but is complex due to its high-dimensional evolutionary nature. While traditional dimensionality reduction methods like t-distributed stochastic neighborhood embedding (t-SNE) aid in understanding high-dimensional spaces, they neglect evolutionary structure preservation. Hence, we propose Tree of Diffusion Life (TDL), a method to understand data evolution in the generative process of diffusion models. TDL samples a diffusion model's generative space via instances with varying prompts and employs image encoders to extract semantic meaning from these samples, projecting them to an intermediate space. It employs a novel evolutionary embedding algorithm that explicitly encodes the iterations while preserving the high-dimensional relations, facilitating the visualization of data evolution. This embedding leverages three metrics: a standard t-SNE loss to group semantically similar elements, a displacement loss to group elements from the same iteration step, and an instance alignment loss to align elements of the same instance across iterations. We present rectilinear and radial layouts to represent iterations, enabling comprehensive exploration. We assess various feature extractors and highlight TDL's potential with prominent diffusion models like GLIDE and Stable Diffusion with different prompt sets. TDL simplifies understanding data evolution within diffusion models, offering valuable insights into their functioning.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Spin-Wave Voices: Sonification of Nanoscale Spin Waves as an Engagement and Research Tool
Authors:
Santa Pile,
Oleg Lesota,
Silvan David Peter,
Christina Humer,
Martin Gasser
Abstract:
Magnonics is an emerging research field that addresses the use of spin waves (magnons), purely magnetic waves, for information transport and processing. Spin waves are a potential replacement for electric current in modern computational devices that would make them more compact and energy efficient. The field is yet little known, even among physicists. Additionally, with the development of new mea…
▽ More
Magnonics is an emerging research field that addresses the use of spin waves (magnons), purely magnetic waves, for information transport and processing. Spin waves are a potential replacement for electric current in modern computational devices that would make them more compact and energy efficient. The field is yet little known, even among physicists. Additionally, with the development of new measuring techniques and computational physics, the obtained magnetic data becomes more complex, in some cases including 3D vector fields and time-resolution. This work presents an approach to the audio-visual representation of the spin waves and discusses its use as a tool for science communication exhibits and possible data analysis tool. The work also details an instance of such an exhibit presented at the annual international digital art exhibition Ars Electronica Festival in 2022.
△ Less
Submitted 21 June, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Sibson's formula for higher order Voronoi diagrams
Authors:
Mercè Claverol,
Andrea de las Heras-Parrilla,
Clemens Huemer,
Dolores Lara
Abstract:
Let $S$ be a set of $n$ points in general position in $\mathbb{R}^d$. The order-$k$ Voronoi diagram of $S$, $V_k(S)$, is a subdivision of $\mathbb{R}^d$ into cells whose points have the same $k$ nearest points of $S$.
Sibson, in his seminal paper from 1980 (A vector identity for the Dirichlet tessellation), gives a formula to express a point $Q$ of $S$ as a convex combination of other points of…
▽ More
Let $S$ be a set of $n$ points in general position in $\mathbb{R}^d$. The order-$k$ Voronoi diagram of $S$, $V_k(S)$, is a subdivision of $\mathbb{R}^d$ into cells whose points have the same $k$ nearest points of $S$.
Sibson, in his seminal paper from 1980 (A vector identity for the Dirichlet tessellation), gives a formula to express a point $Q$ of $S$ as a convex combination of other points of $S$ by using ratios of volumes of the intersection of cells of $V_2(S)$ and the cell of $Q$ in $V_1(S)$. The natural neighbour interpolation method is based on Sibson's formula. We generalize his result to express $Q$ as a convex combination of other points of $S$ by using ratios of volumes from Voronoi diagrams of any given order.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
On polynomials associated to Voronoi diagrams of point sets and crossing numbers
Authors:
Mercè Claverol,
Andrea de las Heras-Parrilla,
David Flores-Peñaloza,
Clemens Huemer,
David Orden
Abstract:
Three polynomials are defined for given sets $S$ of $n$ points in general position in the plane: The Voronoi polynomial with coefficients the numbers of vertices of the order-$k$ Voronoi diagrams of $S$, the circle polynomial with coefficients the numbers of circles through three points of $S$ enclosing $k$ points of $S$, and the $E_{\leq k}$ polynomial with coefficients the numbers of (at most…
▽ More
Three polynomials are defined for given sets $S$ of $n$ points in general position in the plane: The Voronoi polynomial with coefficients the numbers of vertices of the order-$k$ Voronoi diagrams of $S$, the circle polynomial with coefficients the numbers of circles through three points of $S$ enclosing $k$ points of $S$, and the $E_{\leq k}$ polynomial with coefficients the numbers of (at most $k$)-edges of $S$. We present several formulas for the rectilinear crossing number of $S$ in terms of these polynomials and their roots. We also prove that the roots of the Voronoi polynomial lie on the unit circle if, and only if, $S$ is in convex position. Further, we present bounds on the location of the roots of these polynomials.
△ Less
Submitted 6 May, 2024; v1 submitted 24 April, 2023;
originally announced April 2023.
-
ParaDime: A Framework for Parametric Dimensionality Reduction
Authors:
Andreas Hinterreiter,
Christina Humer,
Bernhard Kainz,
Marc Streit
Abstract:
ParaDime is a framework for parametric dimensionality reduction (DR). In parametric DR, neural networks are trained to embed high-dimensional data items in a low-dimensional space while minimizing an objective function. ParaDime builds on the idea that the objective functions of several modern DR techniques result from transformed inter-item relationships. It provides a common interface for specif…
▽ More
ParaDime is a framework for parametric dimensionality reduction (DR). In parametric DR, neural networks are trained to embed high-dimensional data items in a low-dimensional space while minimizing an objective function. ParaDime builds on the idea that the objective functions of several modern DR techniques result from transformed inter-item relationships. It provides a common interface for specifying these relations and transformations and for defining how they are used within the losses that govern the training process. Through this interface, ParaDime unifies parametric versions of DR techniques such as metric MDS, t-SNE, and UMAP. It allows users to fully customize all aspects of the DR process. We show how this ease of customization makes ParaDime suitable for experimenting with interesting techniques such as hybrid classification/embedding models and supervised DR. This way, ParaDime opens up new possibilities for visualizing high-dimensional data.
△ Less
Submitted 30 May, 2023; v1 submitted 10 October, 2022;
originally announced October 2022.
-
Voronoi Diagrams of Arbitrary Order on the Sphere
Authors:
Mercè Claverol,
Andrea de las Heras Parrilla,
Clemens Huemer
Abstract:
For a given set of points $U$ on a sphere $S$, the order $k$ spherical Voronoi diagram $SV_k(U)$ decomposes the surface of $S$ into regions whose points have the same $k$ nearest points of $U$. Hyeon-Suk Na, Chung-Nim Lee, and Otfried Cheong (Comput. Geom., 2002) applied inversions to construct $SV_1(U)$. We generalize their construction for spherical Voronoi diagrams from order $1$ to any order…
▽ More
For a given set of points $U$ on a sphere $S$, the order $k$ spherical Voronoi diagram $SV_k(U)$ decomposes the surface of $S$ into regions whose points have the same $k$ nearest points of $U$. Hyeon-Suk Na, Chung-Nim Lee, and Otfried Cheong (Comput. Geom., 2002) applied inversions to construct $SV_1(U)$. We generalize their construction for spherical Voronoi diagrams from order $1$ to any order $k$. We use that construction to prove formulas for the numbers of vertices, edges, and faces in $SV_k(U)$. These formulas were not known before. We obtain several more properties for $SV_k(U)$, and we also show that $SV_k(U)$ has a small orientable cycle double cover.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
The edge labeling of higher order Voronoi diagrams
Authors:
Mercè Claverol,
Andrea de las Heras Parrilla,
Clemens Huemer,
Alejandra Martínez-Moraian
Abstract:
We present an edge labeling of order-$k$ Voronoi diagrams, $V_k(S)$, of point sets $S$ in the plane, and study properties of the regions defined by them. Among them, we show that $V_k(S)$ has a small orientable cycle and path double cover, and we identify configurations that cannot appear in $V_k(S)$ for small values of $k$. This paper also contains a systematic study of well-known and new propert…
▽ More
We present an edge labeling of order-$k$ Voronoi diagrams, $V_k(S)$, of point sets $S$ in the plane, and study properties of the regions defined by them. Among them, we show that $V_k(S)$ has a small orientable cycle and path double cover, and we identify configurations that cannot appear in $V_k(S)$ for small values of $k$. This paper also contains a systematic study of well-known and new properties of $V_k(S)$, all whose proofs only rely on elementary geometric arguments in the plane. The maybe most comprehensive study of structural properties of $V_k(S)$ was done by D.T. Lee (On k-nearest neighbor Voronoi diagrams in the plane) in 1982. Our work reviews and extends the list of properties of higher order Voronoi diagrams.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
New production matrices for geometric graphs
Authors:
Guillermo Esteban,
Clemens Huemer,
Rodrigo I. Silveira
Abstract:
We use production matrices to count several classes of geometric graphs. We present novel production matrices for non-crossing partitions, connected geometric graphs, and k-angulations, which provide another way of counting the number of such objects. Counting geometric graphs is then equivalent to calculating the powers of a production matrix. Applying the technique of Riordan Arrays to these pro…
▽ More
We use production matrices to count several classes of geometric graphs. We present novel production matrices for non-crossing partitions, connected geometric graphs, and k-angulations, which provide another way of counting the number of such objects. Counting geometric graphs is then equivalent to calculating the powers of a production matrix. Applying the technique of Riordan Arrays to these production matrices, we establish new formulas for the numbers of geometric graphs as well as combinatorial identities derived from the production matrices. Further, we obtain the characteristic polynomial and the eigenvectors of such production matrices.
△ Less
Submitted 1 March, 2020;
originally announced March 2020.
-
On Maximum-Sum Matchings of Points
Authors:
Sergey Bereg,
Oscar Chacón-Rivera,
David Flores-Peñaloza,
Clemens Huemer,
Pablo Pérez-Lantero,
Carlos Seara
Abstract:
Huemer et al. (Discrete Mathematics, 2019) proved that for any two point sets $R$ and $B$ with $|R|=|B|$, the perfect matching that matches points of $R$ with points of $B$, and maximizes the total \emph{squared} Euclidean distance of the matched pairs, verifies that all the disks induced by the matching have a common point. Each pair of matched points $p\in R$ and $q\in B$ induces the disk of sma…
▽ More
Huemer et al. (Discrete Mathematics, 2019) proved that for any two point sets $R$ and $B$ with $|R|=|B|$, the perfect matching that matches points of $R$ with points of $B$, and maximizes the total \emph{squared} Euclidean distance of the matched pairs, verifies that all the disks induced by the matching have a common point. Each pair of matched points $p\in R$ and $q\in B$ induces the disk of smallest diameter that covers $p$ and $q$. Following this research line, in this paper we consider the perfect matching that maximizes the total Euclidean distance. First, we prove that this new matching for $R$ and $B$ does not always ensure the common intersection property of the disks. Second, we extend the study of this new matching for sets of $2n$ uncolored points in the plane, where a matching is just a partition of the points into $n$ pairs. As the main result, we prove that in this case all disks of the matching do have a common point. This implies a big improvement on a conjecture of Andy Fingerhut in 1995, about a maximum matching of $2n$ points in the plane.
△ Less
Submitted 24 November, 2019;
originally announced November 2019.
-
On circles enclosing many points
Authors:
Mercè Claverol,
Clemens Huemer,
Alejandra Martínez-Moraian
Abstract:
We prove that every set of $n$ red and $n$ blue points in the plane contains a red and a blue point such that every circle through them encloses at least $n(1-\frac{1}{\sqrt{2}}) -o(n)$ points of the set. This is a two-colored version of a problem posed by Neumann-Lara and Urrutia. We also show that every set $S$ of $n$ points contains two points such that every circle passing through them enclose…
▽ More
We prove that every set of $n$ red and $n$ blue points in the plane contains a red and a blue point such that every circle through them encloses at least $n(1-\frac{1}{\sqrt{2}}) -o(n)$ points of the set. This is a two-colored version of a problem posed by Neumann-Lara and Urrutia. We also show that every set $S$ of $n$ points contains two points such that every circle passing through them encloses at most $\lfloor{\frac{2n-3}{3}}\rfloor$ points of $S$. The proofs make use of properties of higher order Voronoi diagrams, in the spirit of the work of Edelsbrunner, Hasan, Seidel and Shen on this topic. Closely related, we also study the number of collinear edges in higher order Voronoi diagrams and present several constructions.
△ Less
Submitted 30 July, 2019; v1 submitted 12 July, 2019;
originally announced July 2019.
-
A new lower bound on the maximum number of plane graphs using production matrices
Authors:
Clemens Huemer,
Alexander Pilz,
Rodrigo I. Silveira
Abstract:
We use the concept of production matrices to show that there exist sets of $n$ points in the plane that admit $Ω(42.11^n)$ crossing-free geometric graphs. This improves the previously best known bound of $Ω(41.18^n)$ by Aichholzer et al. (2007).
We use the concept of production matrices to show that there exist sets of $n$ points in the plane that admit $Ω(42.11^n)$ crossing-free geometric graphs. This improves the previously best known bound of $Ω(41.18^n)$ by Aichholzer et al. (2007).
△ Less
Submitted 26 February, 2019;
originally announced February 2019.
-
Matching points with disks with a common intersection
Authors:
Clemens Huemer,
Pablo Pérez-Lantero,
Carlos Seara,
Rodrigo I. Silveira
Abstract:
We consider matchings with diametral disks between two sets of points R and B. More precisely, for each pair of matched points p in R and q in B, we consider the disk through p and q with the smallest diameter. We prove that for any R and B such that |R|=|B|, there exists a perfect matching such that the diametral disks of the matched point pairs have a common intersection. In fact, our result is…
▽ More
We consider matchings with diametral disks between two sets of points R and B. More precisely, for each pair of matched points p in R and q in B, we consider the disk through p and q with the smallest diameter. We prove that for any R and B such that |R|=|B|, there exists a perfect matching such that the diametral disks of the matched point pairs have a common intersection. In fact, our result is stronger, and shows that a maximum weight perfect matching has this property.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
Optimal Grid Drawings of Complete Multipartite Graphs and an Integer Variant of the Algebraic Connectivity
Authors:
Ruy Fabila-Monroy,
Carlos Hidalgo-Toscano,
Clemens Huemer,
Dolores Lara,
Dieter Mitsche
Abstract:
How to draw the vertices of a complete multipartite graph $G$ on different points of a bounded $d$-dimensional integer grid, such that the sum of squared distances between vertices of $G$ is (i) minimized or (ii) maximized? For both problems we provide a characterization of the solutions. For the particular case $d=1$, our solution for (i) also settles the minimum-2-sum problem for complete bipart…
▽ More
How to draw the vertices of a complete multipartite graph $G$ on different points of a bounded $d$-dimensional integer grid, such that the sum of squared distances between vertices of $G$ is (i) minimized or (ii) maximized? For both problems we provide a characterization of the solutions. For the particular case $d=1$, our solution for (i) also settles the minimum-2-sum problem for complete bipartite graphs; the minimum-2-sum problem was defined by Juvan and Mohar in 1992. Weighted centroidal Voronoi tessellations are the solution for (ii). Such drawings are related with Laplacian eigenvalues of graphs. This motivates us to study which properties of the algebraic connectivity of graphs carry over to the restricted setting of drawings of graphs with integer coordinates.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
Fast, Flexible, Polyglot Instrumentation Support for Debuggers and other Tools
Authors:
Michael Van De Vanter,
Chris Seaton,
Michael Haupt,
Christian Humer,
Thomas Würthinger
Abstract:
Context: Software development tools that interact with running programs such as debuggers, profilers, and dynamic analysis frameworks are presumed to demand difficult tradeoffs among implementation complexity (cost), functionality, usability, and performance. Among the many consequences, tools are often delivered late (if ever), have limited functionality, require non-standard configurations, and…
▽ More
Context: Software development tools that interact with running programs such as debuggers, profilers, and dynamic analysis frameworks are presumed to demand difficult tradeoffs among implementation complexity (cost), functionality, usability, and performance. Among the many consequences, tools are often delivered late (if ever), have limited functionality, require non-standard configurations, and impose serious performance costs on running programs.
Inquiry: Can flexible tool support become a practical, first class, intrinsic requirement for a modern highperformance programming language implementation framework?
Approach: We extended the Truffle Language Implementation Framework, which together with the GraalVM execution environment makes possible very high performance language implementations. Truffle's new Instrumentation Framework is language-agnostic and designed to derive high performance from the same technologies as do language implementations. Truffle Instrumentation includes: (1) low overhead capture of execution events by dynamically adding "wrapper" nodes to executing ASTs; (2) extensions to the Language Implementation Framework that allow per-language specialization, primarily for visual display of values and names, among others; and (3) versatile APIs and support services for implementing many kinds of tools without VM modification.
Knowledge: It is now possible for a client in a production environment to insert (dynamically, with thread safety) an instrumentation probe that captures and reports abstractly specified execution events. A probe in fully optimized code imposes very low overhead until actually used to access (or modify) execution state. Event capture has enabled construction of numerous GraalVM services and tools that work for all implemented languages, either singly or in combination. Instrumentation has also proved valuable for implementing some traditionally tricky language features, as well as some GraalVM services such as placing bounds on resources consumed by running programs.
Grounding: Tools for debugging (via multiple clients), profiling, statement counting, dynamic analysis, and others are now part of GraalVM or are in active development. Third parties have also used Truffle Instrumentation for innovative tool implementations.
Importance: Experience with Truffle Instrumentation validates the notion that addressing developer tools support as a forethought can change expectations about the availability of practical, efficient tools for high-performance languages. Tool development becomes a natural part of language implementation, requiring little additional effort and offering the advantage of early and continuous availability.
△ Less
Submitted 27 March, 2018;
originally announced March 2018.
-
Caratheodory's Theorem in Depth
Authors:
Ruy Fabila-Monroy,
Clemens Huemer
Abstract:
Let $X$ be a finite set of points in $\mathbb{R}^d$. The Tukey depth of a point $q$ with respect to $X$ is the minimum number $τ_X(q)$ of points of $X$ in a halfspace containing $q$. In this paper we prove a depth version of Carathéodory's theorem. In particular, we prove that there exists a constant $c$ (that depends only on $d$ and $τ_X(q)$) and pairwise disjoint sets…
▽ More
Let $X$ be a finite set of points in $\mathbb{R}^d$. The Tukey depth of a point $q$ with respect to $X$ is the minimum number $τ_X(q)$ of points of $X$ in a halfspace containing $q$. In this paper we prove a depth version of Carathéodory's theorem. In particular, we prove that there exists a constant $c$ (that depends only on $d$ and $τ_X(q)$) and pairwise disjoint sets $X_1,\dots, X_{d+1} \subset X$ such that the following holds. Each $X_i$ has at least $c|X|$ points, and for every choice of points $x_i$ in $X_i$, $q$ is a convex combination of $x_1,\dots, x_{d+1}$. We also prove depth versions of Helly's and Kirchberger's theorems.
△ Less
Submitted 5 April, 2017; v1 submitted 15 September, 2015;
originally announced September 2015.
-
The intersection graph of the disks with diameters the sides of a convex $n$-gon
Authors:
Clemens Huemer,
Pablo Pérez-Lantero
Abstract:
Given a convex polygon of $n$ sides, one can draw $n$ disks (called side disks) where each disk has a different side of the polygon as diameter and the midpoint of the side as its center. The intersection graph of such disks is the undirected graph with vertices the $n$ disks and two disks are adjacent if and only if they have a point in common. We prove that for every convex polygon this graph is…
▽ More
Given a convex polygon of $n$ sides, one can draw $n$ disks (called side disks) where each disk has a different side of the polygon as diameter and the midpoint of the side as its center. The intersection graph of such disks is the undirected graph with vertices the $n$ disks and two disks are adjacent if and only if they have a point in common. We prove that for every convex polygon this graph is planar. Particularly, for $n=5$, this shows that for any convex pentagon there are two disks among the five side disks that do not intersect, which means that $K_5$ is never the intersection graph of such five disks. For $n=6$, we then have that for any convex hexagon the intersection graph of the side disks does not contain $K_{3,3}$ as subgraph.
△ Less
Submitted 16 June, 2016; v1 submitted 14 October, 2014;
originally announced October 2014.
-
On $k$-Gons and $k$-Holes in Point Sets
Authors:
Oswin Aichholzer,
Ruy Fabila-Monroy,
Hernán González-Aguilar,
Thomas Hackl,
Marco A. Heredia,
Clemens Huemer,
Jorge Urrutia,
Pavel Valtr,
Birgit Vogtenhuber
Abstract:
We consider a variation of the classical Erdős-Szekeres problems on the existence and number of convex $k$-gons and $k$-holes (empty $k$-gons) in a set of $n$ points in the plane. Allowing the $k$-gons to be non-convex, we show bounds and structural results on maximizing and minimizing their numbers. Most noteworthy, for any $k$ and sufficiently large $n$, we give a quadratic lower bound for the n…
▽ More
We consider a variation of the classical Erdős-Szekeres problems on the existence and number of convex $k$-gons and $k$-holes (empty $k$-gons) in a set of $n$ points in the plane. Allowing the $k$-gons to be non-convex, we show bounds and structural results on maximizing and minimizing their numbers. Most noteworthy, for any $k$ and sufficiently large $n$, we give a quadratic lower bound for the number of $k$-holes, and show that this number is maximized by sets in convex position.
△ Less
Submitted 30 August, 2014;
originally announced September 2014.
-
Empty Monochromatic Simplices
Authors:
Oswin Aichholzer,
Ruy Fabila-Monroy,
Thomas Hackl,
Clemens Huemer,
Jorge Urrutia
Abstract:
Let $S$ be a $k$-colored (finite) set of $n$ points in $\mathbb{R}^d$, $d\geq 3$, in general position, that is, no {$(d + 1)$} points of $S$ lie in a common $(d - 1)$}-dimensional hyperplane. We count the number of empty monochromatic $d$-simplices determined by $S$, that is, simplices which have only points from one color class of $S$ as vertices and no points of $S$ in their interior. For…
▽ More
Let $S$ be a $k$-colored (finite) set of $n$ points in $\mathbb{R}^d$, $d\geq 3$, in general position, that is, no {$(d + 1)$} points of $S$ lie in a common $(d - 1)$}-dimensional hyperplane. We count the number of empty monochromatic $d$-simplices determined by $S$, that is, simplices which have only points from one color class of $S$ as vertices and no points of $S$ in their interior. For $3 \leq k \leq d$ we provide a lower bound of $Ω(n^{d-k+1+2^{-d}})$ and strengthen this to $Ω(n^{d-2/3})$ for $k=2$. On the way we provide various results on triangulations of point sets in $\mathbb{R}^d$. In particular, for any constant dimension $d\geq3$, we prove that every set of $n$ points ($n$ sufficiently large), in general position in $\mathbb{R}^d$, admits a triangulation with at least $dn+Ω(\log n)$ simplices.
△ Less
Submitted 25 October, 2012;
originally announced October 2012.
-
On the Fiedler value of large planar graphs
Authors:
Lali Barrière,
Clemens Huemer,
Dieter Mitsche,
David Orden
Abstract:
The Fiedler value $λ_2$, also known as algebraic connectivity, is the second smallest Laplacian eigenvalue of a graph. We study the maximum Fiedler value among all planar graphs $G$ with $n$ vertices, denoted by $λ_{2\max}$, and we show the bounds $2+Θ(\frac{1}{n^2}) \leq λ_{2\max} \leq 2+O(\frac{1}{n})$. We also provide bounds on the maximum Fiedler value for the following classes of planar graph…
▽ More
The Fiedler value $λ_2$, also known as algebraic connectivity, is the second smallest Laplacian eigenvalue of a graph. We study the maximum Fiedler value among all planar graphs $G$ with $n$ vertices, denoted by $λ_{2\max}$, and we show the bounds $2+Θ(\frac{1}{n^2}) \leq λ_{2\max} \leq 2+O(\frac{1}{n})$. We also provide bounds on the maximum Fiedler value for the following classes of planar graphs: Bipartite planar graphs, bipartite planar graphs with minimum vertex degree~3, and outerplanar graphs. Furthermore, we derive almost tight bounds on $λ_{2\max}$ for two more classes of graphs, those of bounded genus and $K_h$-minor-free graphs.
△ Less
Submitted 7 June, 2013; v1 submitted 18 June, 2012;
originally announced June 2012.
-
Maximizing Maximal Angles for Plane Straight-Line Graphs
Authors:
Oswin Aichholzer,
Thomas Hackl,
Michael Hoffmann,
Clemens Huemer,
Attila Por,
Francisco Santos,
Bettina Speckmann,
Birgit Vogtenhuber
Abstract:
Let $G=(S, E)$ be a plane straight-line graph on a finite point set $S\subset\R^2$ in general position. The incident angles of a vertex $p \in S$ of $G$ are the angles between any two edges of $G$ that appear consecutively in the circular order of the edges incident to $p$.
A plane straight-line graph is called $φ$-open if each vertex has an incident angle of size at least $φ$. In this paper w…
▽ More
Let $G=(S, E)$ be a plane straight-line graph on a finite point set $S\subset\R^2$ in general position. The incident angles of a vertex $p \in S$ of $G$ are the angles between any two edges of $G$ that appear consecutively in the circular order of the edges incident to $p$.
A plane straight-line graph is called $φ$-open if each vertex has an incident angle of size at least $φ$. In this paper we study the following type of question: What is the maximum angle $φ$ such that for any finite set $S\subset\R^2$ of points in general position we can find a graph from a certain class of graphs on $S$ that is $φ$-open? In particular, we consider the classes of triangulations, spanning trees, and paths on $S$ and give tight bounds in most cases.
△ Less
Submitted 12 October, 2009; v1 submitted 25 May, 2007;
originally announced May 2007.