-
On Clique Graphs and Clique Regular Graphs
Authors:
Robert R. Petro,
Connor M. Phillips
Abstract:
If $Γ$ is a graph for which every edge is in exactly one clique of order $ω$, then one can form a new graph with vertex set equal to these cliques. This is a generalization of the line graph of $Γ$. We discover many general results and classifications related to these clique graph that will be useful to researchers studying these objects. In particular, we find bounds on its eigenvalues (with exac…
▽ More
If $Γ$ is a graph for which every edge is in exactly one clique of order $ω$, then one can form a new graph with vertex set equal to these cliques. This is a generalization of the line graph of $Γ$. We discover many general results and classifications related to these clique graph that will be useful to researchers studying these objects. In particular, we find bounds on its eigenvalues (with exact results when $Γ$ is $k$-regular) and some complete classifications when $Γ$ is strongly regular. We apply our results to many examples, including Conway's 99-graph problem and the existence problem for other strongly regular graphs.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Optimal Chebyshev Smoothers and One-sided V-cycles
Authors:
Malachi Phillips,
Paul Fischer
Abstract:
The solution to the Poisson equation arising from the spectral element discretization of the incompressible Navier-Stokes equation requires robust preconditioning strategies. One such strategy is multigrid. To realize the potential of multigrid methods, effective smoothing strategies are needed. Chebyshev polynomial smoothing proves to be an effective smoother. However, there are several improveme…
▽ More
The solution to the Poisson equation arising from the spectral element discretization of the incompressible Navier-Stokes equation requires robust preconditioning strategies. One such strategy is multigrid. To realize the potential of multigrid methods, effective smoothing strategies are needed. Chebyshev polynomial smoothing proves to be an effective smoother. However, there are several improvements to be made, especially at the cost of symmetry. For the same cost per iteration, a full V-cycle with $k$ order Chebyshev polynomial smoothing may be substituted with a half V-cycle with order $2k$ Chebyshev polynomial smoothing, wherein the smoother is omitted on the up-leg of the V-cycle. The choice of omitting the post-smoother in favor of higher order Chebyshev pre-smoothing is shown to be advantageous in cases where the multigrid approximation property constant, $C$, is large. Results utilizing Lottes's fourth-kind Chebyshev polynomial smoother are shown. These methods demonstrate substantial improvement over the standard Chebyshev polynomial smoother. The authors demonstrate the effectiveness of this scheme in $p$-geometric multigrid, as well as a 2D model problem with finite differences.
△ Less
Submitted 23 February, 2023; v1 submitted 6 October, 2022;
originally announced October 2022.
-
Tuning Spectral Element Preconditioners for Parallel Scalability on GPUs
Authors:
Malachi Phillips,
Stefan Kerkemeier,
Paul Fischer
Abstract:
The Poisson pressure solve resulting from the spectral element discretization of the incompressible Navier-Stokes equation requires fast, robust, and scalable preconditioning. In the current work, a parallel scaling study of Chebyshev-accelerated Schwarz and Jacobi preconditioning schemes is presented, with special focus on GPU architectures, such as OLCF's Summit. Convergence properties of the Ch…
▽ More
The Poisson pressure solve resulting from the spectral element discretization of the incompressible Navier-Stokes equation requires fast, robust, and scalable preconditioning. In the current work, a parallel scaling study of Chebyshev-accelerated Schwarz and Jacobi preconditioning schemes is presented, with special focus on GPU architectures, such as OLCF's Summit. Convergence properties of the Chebyshev-accelerated schemes are compared with alternative methods, such as low-order preconditioners combined with algebraic multigrid. Performance and scalability results are presented for a variety of preconditioner and solver settings. The authors demonstrate that Chebyshev-accelerated-Schwarz methods provide a robust and effective smoothing strategy when using $p$-multigrid as a preconditioner in a Krylov-subspace projector. The variety of cases to be addressed, on a wide range of processor counts, suggests that performance can be enhanced by automated run-time selection of the preconditioner and associated parameters.
△ Less
Submitted 12 December, 2021; v1 submitted 14 October, 2021;
originally announced October 2021.
-
GPU Algorithms for Efficient Exascale Discretizations
Authors:
Ahmad Abdelfattah,
Valeria Barra,
Natalie Beams,
Ryan Bleile,
Jed Brown,
Jean-Sylvain Camier,
Robert Carson,
Noel Chalmers,
Veselin Dobrev,
Yohann Dudouit,
Paul Fischer,
Ali Karakus,
Stefan Kerkemeier,
Tzanio Kolev,
Yu-Hsiang Lan,
Elia Merzari,
Misun Min,
Malachi Phillips,
Thilina Rathnayake,
Robert Rieben,
Thomas Stitt,
Ananias Tomboulides,
Stanimire Tomov,
Vladimir Tomov,
Arturo Vargas
, et al. (2 additional authors not shown)
Abstract:
In this paper we describe the research and development activities in the Center for Efficient Exascale Discretization within the US Exascale Computing Project, targeting state-of-the-art high-order finite-element algorithms for high-order applications on GPU-accelerated platforms. We discuss the GPU developments in several components of the CEED software stack, including the libCEED, MAGMA, MFEM,…
▽ More
In this paper we describe the research and development activities in the Center for Efficient Exascale Discretization within the US Exascale Computing Project, targeting state-of-the-art high-order finite-element algorithms for high-order applications on GPU-accelerated platforms. We discuss the GPU developments in several components of the CEED software stack, including the libCEED, MAGMA, MFEM, libParanumal, and Nek projects. We report performance and capability improvements in several CEED-enabled applications on both NVIDIA and AMD GPU systems.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Low Diameter Monochromatic Covers of Complete Multipartite Graphs
Authors:
Sean English,
Connor Mattes,
Grace McCourt,
Michael Phillips
Abstract:
Let the diameter cover number, $D^t_r(G)$, denote the least integer $d$ such that under any $r$-coloring of the edges of the graph $G$, there exists a collection of $t$ monochromatic subgraphs of diameter at most $d$ such that every vertex of $G$ is contained in at least one of the subgraphs. We explore the diameter cover number with two colors and two subgraphs when $G$ is a complete multipartite…
▽ More
Let the diameter cover number, $D^t_r(G)$, denote the least integer $d$ such that under any $r$-coloring of the edges of the graph $G$, there exists a collection of $t$ monochromatic subgraphs of diameter at most $d$ such that every vertex of $G$ is contained in at least one of the subgraphs. We explore the diameter cover number with two colors and two subgraphs when $G$ is a complete multipartite graph with at least three parts. We determine exactly the value of $D_2^2(G)$ for all complete tripartite graphs $G$, and almost all complete multipartite graphs with more than three parts.
△ Less
Submitted 14 May, 2021;
originally announced May 2021.
-
Inducibility of 4-vertex tournaments
Authors:
Dalton Burke,
Bernard Lidický,
Florian Pfender,
Michael Phillips
Abstract:
We determine the inducibility of all tournaments with at most $4$ vertices together with the extremal constructions. The $4$-vertex tournament containing an oriented $C_3$ and one source vertex has a particularly interesting extremal construction. It is an unbalanced blow-up of an edge, where the sink vertex is replaced by a quasi-random tournament and the source vertex is iteratively replaced by…
▽ More
We determine the inducibility of all tournaments with at most $4$ vertices together with the extremal constructions. The $4$-vertex tournament containing an oriented $C_3$ and one source vertex has a particularly interesting extremal construction. It is an unbalanced blow-up of an edge, where the sink vertex is replaced by a quasi-random tournament and the source vertex is iteratively replaced by a copy of the construction itself.
△ Less
Submitted 20 December, 2022; v1 submitted 11 March, 2021;
originally announced March 2021.
-
Inducibility of the Net Graph
Authors:
Adam Blumenthal,
Michael Phillips
Abstract:
A graph $F$ is called a fractalizer if for all $n$ the only graphs which maximize the number of induced copies of $F$ on $n$ vertices are the balanced iterated blow ups of $F$. While the net graph is not a fractalizer, we show that the net is nearly a fractalizer. Let $N(n)$ be the maximum number of induced copies of the net graph among all graphs on $n$ vertices. For sufficiently large $n$ we sho…
▽ More
A graph $F$ is called a fractalizer if for all $n$ the only graphs which maximize the number of induced copies of $F$ on $n$ vertices are the balanced iterated blow ups of $F$. While the net graph is not a fractalizer, we show that the net is nearly a fractalizer. Let $N(n)$ be the maximum number of induced copies of the net graph among all graphs on $n$ vertices. For sufficiently large $n$ we show that, $N(n) = x_1\cdot x_2 \cdot x_3 \cdot x_4 \cdot x_5 \cdot x_6 + N(x_1) + N(x_2) + N(x_3) + N(x_4) + N(x_5) + N(x_6)$ where $σx_i = n$ and all $x_i$ are as equal as possible. Furthermore, we show that the unique graph which maximizes $N(6^k)$ is the balanced iterated blow up of the net for $k$ sufficiently large. We expand on the standard flag algebra and stability techniques through more careful counting and numerical optimization techniques.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
Hadamard diagonalizable graphs of order at most 36
Authors:
Jane Breen,
Steve Butler,
Melissa Fuentes,
Bernard Lidický,
Michael Phillips,
Alexander W. N. Riasanovksy,
Sung-Yell Song,
Ralihe R. Villagrán,
Cedar Wiseman,
Xiaohong Zhang
Abstract:
If the Laplacian matrix of a graph has a full set of orthogonal eigenvectors with entries $\pm1$, then the matrix formed by taking the columns as the eigenvectors is a Hadamard matrix and the graph is said to be Hadamard diagonalizable.
In this article, we prove that if $n=8k+4$ the only possible Hadamard diagonalizable graphs are $K_n$, $K_{n/2,n/2}$, $2K_{n/2}$, and $nK_1$, and we develop an e…
▽ More
If the Laplacian matrix of a graph has a full set of orthogonal eigenvectors with entries $\pm1$, then the matrix formed by taking the columns as the eigenvectors is a Hadamard matrix and the graph is said to be Hadamard diagonalizable.
In this article, we prove that if $n=8k+4$ the only possible Hadamard diagonalizable graphs are $K_n$, $K_{n/2,n/2}$, $2K_{n/2}$, and $nK_1$, and we develop an efficient computation for determining all graphs diagonalized by a given Hadamard matrix of any order. Using these two tools, we determine and present all Hadamard diagonalizable graphs up to order 36. Note that it is not even known how many Hadamard matrices there are of order 36.
△ Less
Submitted 15 August, 2020; v1 submitted 17 July, 2020;
originally announced July 2020.
-
The zero forcing polynomial of a graph
Authors:
Kirk Boyer,
Boris Brimkov,
Sean English,
Daniela Ferrero,
Ariel Keller,
Rachel Kirsch,
Michael Phillips,
Carolyn Reinhart
Abstract:
Zero forcing is an iterative graph coloring process, where given a set of initially colored vertices, a colored vertex with a single uncolored neighbor causes that neighbor to become colored. A zero forcing set is a set of initially colored vertices which causes the entire graph to eventually become colored. In this paper, we study the counting problem associated with zero forcing. We introduce th…
▽ More
Zero forcing is an iterative graph coloring process, where given a set of initially colored vertices, a colored vertex with a single uncolored neighbor causes that neighbor to become colored. A zero forcing set is a set of initially colored vertices which causes the entire graph to eventually become colored. In this paper, we study the counting problem associated with zero forcing. We introduce the zero forcing polynomial of a graph $G$ of order $n$ as the polynomial $\mathcal{Z}(G;x)=\sum_{i=1}^n z(G;i) x^i$, where $z(G;i)$ is the number of zero forcing sets of $G$ of size $i$. We characterize the extremal coefficients of $\mathcal{Z}(G;x)$, derive closed form expressions for the zero forcing polynomials of several families of graphs, and explore various structural properties of $\mathcal{Z}(G;x)$, including multiplicativity, unimodality, and uniqueness.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Relative Errors for Deterministic Low-Rank Matrix Approximations
Authors:
Mina Ghashami,
Jeff M. Phillips
Abstract:
We consider processing an n x d matrix A in a stream with row-wise updates according to a recent algorithm called Frequent Directions (Liberty, KDD 2013). This algorithm maintains an l x d matrix Q deterministically, processing each row in O(d l^2) time; the processing time can be decreased to O(d l) with a slight modification in the algorithm and a constant increase in space. We show that if one…
▽ More
We consider processing an n x d matrix A in a stream with row-wise updates according to a recent algorithm called Frequent Directions (Liberty, KDD 2013). This algorithm maintains an l x d matrix Q deterministically, processing each row in O(d l^2) time; the processing time can be decreased to O(d l) with a slight modification in the algorithm and a constant increase in space. We show that if one sets l = k+ k/eps and returns Q_k, a k x d matrix that is the best rank k approximation to Q, then we achieve the following properties: ||A - A_k||_F^2 <= ||A||_F^2 - ||Q_k||_F^2 <= (1+eps) ||A - A_k||_F^2 and where pi_{Q_k}(A) is the projection of A onto the rowspace of Q_k then ||A - pi_{Q_k}(A)||_F^2 <= (1+eps) ||A - A_k||_F^2.
We also show that Frequent Directions cannot be adapted to a sparse version in an obvious way that retains the l original rows of the matrix, as opposed to a linear combination or sketch of the rows.
△ Less
Submitted 21 August, 2013; v1 submitted 28 July, 2013;
originally announced July 2013.
-
Computing Hulls And Centerpoints In Positive Definite Space
Authors:
P. Thomas Fletcher,
John Moeller,
Jeff M. Phillips,
Suresh Venkatasubramanian
Abstract:
In this paper, we present algorithms for computing approximate hulls and centerpoints for collections of matrices in positive definite space. There are many applications where the data under consideration, rather than being points in a Euclidean space, are positive definite (p.d.) matrices. These applications include diffusion tensor imaging in the brain, elasticity analysis in mechanical engine…
▽ More
In this paper, we present algorithms for computing approximate hulls and centerpoints for collections of matrices in positive definite space. There are many applications where the data under consideration, rather than being points in a Euclidean space, are positive definite (p.d.) matrices. These applications include diffusion tensor imaging in the brain, elasticity analysis in mechanical engineering, and the theory of kernel maps in machine learning. Our work centers around the notion of a horoball: the limit of a ball fixed at one point whose radius goes to infinity. Horoballs possess many (though not all) of the properties of halfspaces; in particular, they lack a strong separation theorem where two horoballs can completely partition the space. In spite of this, we show that we can compute an approximate "horoball hull" that strictly contains the actual convex hull. This approximate hull also preserves geodesic extents, which is a result of independent value: an immediate corollary is that we can approximately solve problems like the diameter and width in positive definite space. We also use horoballs to show existence of and compute approximate robust centerpoints in positive definite space, via the horoball-equivalent of the notion of depth.
△ Less
Submitted 8 December, 2009; v1 submitted 8 December, 2009;
originally announced December 2009.
