Showing 1–6 of 6 results for author: Babecki, C

Sparse Graphical Designs via Linear Programming

Authors: Hessa Al-Thani, Catherine Babecki, J. Carlos Martínez Mori

Abstract: Graphical designs are a framework for sampling and numerical integration of functions on graphs. In this note, we introduce a method to address the trade-off between graphical design sparsity and accuracy. We show how to obtain sparse graphical designs via linear programming and design objective functions that aim to maximize their accuracy. We showcase our approach using yellow taxicab data from… ▽ More Graphical designs are a framework for sampling and numerical integration of functions on graphs. In this note, we introduce a method to address the trade-off between graphical design sparsity and accuracy. We show how to obtain sparse graphical designs via linear programming and design objective functions that aim to maximize their accuracy. We showcase our approach using yellow taxicab data from New York City. △ Less

Submitted 15 September, 2023; v1 submitted 1 September, 2023; originally announced September 2023.

MSC Class: 90B80 (Primary); 90C27; 05C90 (Secondary)

Spectrahedral Geometry of Graph Sparsifiers

Authors: Catherine Babecki, Stefan Steinerberger, Rekha R. Thomas

Abstract: We propose an approach to graph sparsification based on the idea of preserving the smallest $k$ eigenvalues and eigenvectors of the Graph Laplacian. This is motivated by the fact that small eigenvalues and their associated eigenvectors tend to be more informative of the global structure and geometry of the graph than larger eigenvalues and their eigenvectors. The set of all weighted subgraphs of a… ▽ More We propose an approach to graph sparsification based on the idea of preserving the smallest $k$ eigenvalues and eigenvectors of the Graph Laplacian. This is motivated by the fact that small eigenvalues and their associated eigenvectors tend to be more informative of the global structure and geometry of the graph than larger eigenvalues and their eigenvectors. The set of all weighted subgraphs of a graph $G$ that have the same first $k$ eigenvalues (and eigenvectors) as $G$ is the intersection of a polyhedron with a cone of positive semidefinite matrices. We discuss the geometry of these sets and deduce the natural scale of $k$. Various families of graphs illustrate our construction. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 34 pages, 17 figures, 3 tables

Eigenpolytope Universality and Graphical Designs

Authors: Catherine Babecki, David Shiroma

Abstract: We show that the eigenpolytopes of graphs are universal in the sense that every polytope, up to affine equivalence, appears as the eigenpolytope of some positively weighted graph. We next extend the theory of graphical designs, which are quadrature rules for graphs, to positively weighted graphs. Through Gale duality for polytopes, we show a bijection between graphical designs and the faces of eig… ▽ More We show that the eigenpolytopes of graphs are universal in the sense that every polytope, up to affine equivalence, appears as the eigenpolytope of some positively weighted graph. We next extend the theory of graphical designs, which are quadrature rules for graphs, to positively weighted graphs. Through Gale duality for polytopes, we show a bijection between graphical designs and the faces of eigenpolytopes. This bijection proves the existence of graphical designs with positive quadrature weights, and upper bounds the size of a minimal graphical design. Connecting this bijection with the universality of eigenpolytopes, we establish three complexity results: it is strongly NP-complete to determine if there is a graphical design smaller than the mentioned upper bound, it is NP-hard to find a smallest graphical design, and it is #P-complete to count the number of minimal graphical designs. △ Less

Submitted 5 September, 2023; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: 18 pages, 8 figures, 1 table

MSC Class: 05C50; 68R10; 52B12; 52B35; 90C60

Graphical Designs and Gale Duality

Authors: Catherine Babecki, Rekha R. Thomas

Abstract: A graphical design is a subset of graph vertices such that the weighted averages of certain graph eigenvectors over the design agree with their global averages. We use Gale duality to show that positively weighted graphical designs in regular graphs are in bijection with the faces of a generalized eigenpolytope of the graph. This connection can be used to organize, compute and optimize designs. We… ▽ More A graphical design is a subset of graph vertices such that the weighted averages of certain graph eigenvectors over the design agree with their global averages. We use Gale duality to show that positively weighted graphical designs in regular graphs are in bijection with the faces of a generalized eigenpolytope of the graph. This connection can be used to organize, compute and optimize designs. We illustrate the power of this tool on three families of Cayley graphs -- cocktail party graphs, cycles, and graphs of hypercubes -- by computing or bounding the smallest designs that average all but the last eigenspace in frequency order. △ Less

Submitted 5 July, 2022; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: 32 pages, 14 figures, 1 table

MSC Class: 05C50; 52B35; 90C57; 68R10

Codes, Cubes, and Graphical Designs

Authors: Catherine Babecki

Abstract: Graphical designs are an extension of spherical designs to functions on graphs. We connect linear codes to graphical designs on cube graphs, and show that the Hamming code in particular is a highly effective graphical design. We show that even in highly structured graphs, graphical designs are distinct from the related concepts of extremal designs, maximum stable sets in distance graphs, and $t$-d… ▽ More Graphical designs are an extension of spherical designs to functions on graphs. We connect linear codes to graphical designs on cube graphs, and show that the Hamming code in particular is a highly effective graphical design. We show that even in highly structured graphs, graphical designs are distinct from the related concepts of extremal designs, maximum stable sets in distance graphs, and $t$-designs on association schemes. △ Less

Submitted 20 July, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: 31 pages, 12 figures, 3 tables. To appear in the Journal of Fourier Analysis and Applications, Special Issue "Harmonic Analysis on Graphs", 2021

MSC Class: 05C50 (Primary) 05E30; 68R10 (Secondary)

Higher Order Smallest Parts Functions and Rank-Crank Moment Inequalities from Bailey Pairs

Authors: Catherine Babecki, Chris Jennings-Shaffer, Geoffrey Sangston

Abstract: We generalize a result of Garvan on inequalities and interpretations of the moments of the partition rank and crank functions. In particular for nearly 30 Bailey pairs, we introduce a rank-like function, establish inequalities with the moments of the rank-like function and an associated crank-like function, and give an associated so called higher order smallest parts function. In some cases we are… ▽ More We generalize a result of Garvan on inequalities and interpretations of the moments of the partition rank and crank functions. In particular for nearly 30 Bailey pairs, we introduce a rank-like function, establish inequalities with the moments of the rank-like function and an associated crank-like function, and give an associated so called higher order smallest parts function. In some cases we are able to deduce inequalities among the rank-like functions. We also conjecture additional inequalities and a large number of congruences for the higher order smallest parts functions. △ Less

Submitted 12 October, 2016; v1 submitted 29 August, 2016; originally announced August 2016.