Author

Neal Livesay

11 papers · 2008–2024

2008peak 4 in 20232024

Frequent co-authors

Papers

showing 1–11 of 11 RSS

Topological Deep Learning: Going Beyond Graph Data

Mustafa Hajij, Ghada Zamzmi, Theodore Papamarkou +11 more

cs.LG · June 2022 · cited 120× · arXiv ↗ · more like this ·

Topological deep learning is a rapidly growing field that pertains to the development of deep learning models for data supported on topological domains such as simplicial complexes, cell complexes, and hypergraphs, which generalize many domains encountered in scientific computations. In this paper, we present a unifying deep learning framework built upon a richer data structure that includes widely adopted topological domains. Specifically, we first introduce combinatorial complexes, a novel type of topological domain. Combinatorial complexes can be seen as generalizations of graphs that maintain certain desirable properties. Similar to hypergraphs, combinatorial complexes impose no constraints on the set of relations. In addition, combinatorial complexes permit the construction of hierarchical higher-order relations, analogous to those found in simplicial and cell complexes. Thus…

GME: GPU-based Microarchitectural Extensions to Accelerate Homomorphic Encryption

Kaustubh Shivdikar, Yuhui Bao, Rashmi Agrawal +9 more

cs.CR · 20 Sep 2023 · cited 54× · arXiv ↗ · more like this ·

Fully Homomorphic Encryption (FHE) enables the processing of encrypted data without decrypting it. FHE has garnered significant attention over the past decade as it supports secure outsourcing of data processing to remote cloud services. Despite its promise of strong data privacy and security guarantees, FHE introduces a slowdown of up to five orders of magnitude as compared to the same computation using plaintext data. This overhead is presently a major barrier to the commercial adoption of FHE. In this work, we leverage GPUs to accelerate FHE, capitalizing on a well-established GPU ecosystem available in the cloud. We propose GME, which combines three key microarchitectural extensions along with a compile-time optimization to the current AMD CDNA GPU architecture. First, GME integrates a lightweight on-chip compute unit (CU)-side hierarchical interconnect to retain ciphertext in cache…

Accelerating Polynomial Multiplication for Homomorphic Encryption on GPUs

Kaustubh Shivdikar, Gilbert Jonatan, Evelio Mora +6 more

cs.CR · 2 Sep 2022 · cited 34× · arXiv ↗ · more like this ·

Homomorphic Encryption (HE) enables users to securely outsource both the storage and computation of sensitive data to untrusted servers. Not only does HE offer an attractive solution for security in cloud systems, but lattice-based HE systems are also believed to be resistant to attacks by quantum computers. However, current HE implementations suffer from prohibitively high latency. For lattice-based HE to become viable for real-world systems, it is necessary for the key bottlenecks - particularly polynomial multiplication - to be highly efficient. In this paper, we present a characterization of GPU-based implementations of polynomial multiplication. We begin with a survey of modular reduction techniques and analyze several variants of the widely-used Barrett modular reduction algorithm. We then propose a modular reduction variant optimized for 64-bit integer words on the GPU, obtaining…

Accelerating Finite Field Arithmetic for Homomorphic Encryption on GPUs

Neal Livesay, Gilbert Jonatan, Evelio Mora +6 more

Information Systems · IEEE Micro · 14 Mar 2023 · cited 9× · DOI ↗ · more like this ·

Fully Homomorphic Encryption (FHE) is a rapidly developing technology that enables computation directly on encrypted data, making it a compelling solution for security in cloud-based systems. In addition, modern FHE schemes are believed to be resistant to quantum attacks. Although FHE offers unprecedented potential for security, current implementations suffer from prohibitively high latency. Finite field arithmetic operations, particularly the multiplication of high-degree polynomials, are key computational bottlenecks. The parallel processing capabilities provided by modern Graphical Processing Units (GPUs) make them compelling candidates to target these highly parallelizable workloads. In this article, we discuss methods to accelerate polynomial multiplication with GPUs, with the goal of making FHE practical.

TopoX: A Suite of Python Packages for Machine Learning on Topological Domains

Mustafa Hajij, Mathilde Papillon, Florian Frantzen +40 more

cs.LG · February 2024 · cited 2× · arXiv ↗ · more like this ·

We introduce TopoX, a Python software suite that provides reliable and user-friendly building blocks for computing and machine learning on topological domains that extend graphs: hypergraphs, simplicial, cellular, path and combinatorial complexes. TopoX consists of three packages: TopoNetX facilitates constructing and computing on these domains, including working with nodes, edges and higher-order cells; TopoEmbedX provides methods to embed topological domains into vector spaces, akin to popular graph-based embedding algorithms such as node2vec; TopoModelX is built on top of PyTorch and offers a comprehensive toolbox of higher-order message passing functions for neural networks on topological domains. The extensively documented and unit-tested source code of TopoX is available under MIT license at https://pyt-team.github.io/}{https://pyt-team.github.io/.

The Absolute Orders on the Coxeter Groups $A_n$ and $B_n$ are Sperner

Lawrence H. Harper, Gene B. Kim, Neal Livesay

math.CO · 22 Feb 2019 · cited 1× · arXiv ↗ · more like this ·

Over 50 years ago, Rota posted the following celebrated `Research Problem': prove or disprove that the partial order of partitions on an $n$-set (i.e., the refinement order) is Sperner. A counterexample was eventually discovered by Canfield in 1978. However, Harper and Kim recently proved that a closely related order --- i.e., the refinement order on the symmetric group --- is not only Sperner, but strong Sperner. Equivalently, the well-known absolute order on the symmetric group is strong Sperner. In this paper, we extend these results by giving a concise, elegant proof that the absolute orders on the Coxeter groups $A_n$ and $B_n$ are strong Sperner.

ICML 2023 Topological Deep Learning Challenge : Design and Results

Mathilde Papillon, Mustafa Hajij, Helen Jenne +53 more

cs.LG · September 2023 · cited 0× · arXiv ↗ · more like this ·

This paper presents the computational challenge on topological deep learning that was hosted within the ICML 2023 Workshop on Topology and Geometry in Machine Learning. The competition asked participants to provide open-source implementations of topological neural networks from the literature by contributing to the python packages TopoNetX (data processing) and TopoModelX (deep learning). The challenge attracted twenty-eight qualifying submissions in its two-month duration. This paper describes the design of the challenge and summarizes its main findings.

Explicit constructions of connections on the projective line with a maximally ramified irregular singularity

Neal Livesay, Daniel S. Sage, Bach Nguyen

math.AG · 12 Mar 2023 · cited 0× · arXiv ↗ · more like this ·

The Deligne--Simpson problem is an existence problem for connections with specified local behavior. Almost all previous work on this problem has restricted attention to connections with regular or unramified singularities. Recently, the authors, together with Kulkarni and Matherne, formulated a version of the Deligne--Simpson problem where certain ramified singular points are allowed and solved it for the case of Coxeter connections, i.e., connections on the Riemann sphere with a maximally ramified singularity at zero and (possibly) an additional regular singular point at infinity. A certain matrix completion problem, which we call the Upper Nilpotent Completion Problem, plays a key role in our solution. This problem was solved by Krupnik and Leibman, but their work does not provide a practical way of constructing explicit matrix completions. Accordingly, our previous work does not give…

The Deligne-Simpson problem for connections on $\mathbb{G}_m$ with a maximally ramified singularity

Maitreyee C. Kulkarni, Neal Livesay, Jacob P. Matherne +2 more

math.AG · August 2021 · cited 0× · arXiv ↗ · more like this ·

The classical additive Deligne-Simpson problem is the existence problem for Fuchsian connections with residues at the singular points in specified adjoint orbits. Crawley-Boevey found the solution in 2003 by reinterpreting the problem in terms of quiver varieties. A more general version of this problem, solved by Hiroe, allows additional unramified irregular singularities. We apply the theory of fundamental and regular strata due to Bremer and Sage to formulate a version of the Deligne-Simpson problem in which certain ramified singularities are allowed. These allowed singular points are called toral singularities; they are singularities whose leading term with respect to a lattice chain filtration is regular semisimple. We solve this problem in the important special case of connections on $\mathbb{G}_m$ with a maximally ramified singularity at $0$ and possibly an additional regular…

The inner power of a graph

Richard H. Hammack, Neal Livesay

Computational Theory and Mathematics · Ars Mathematica Contemporanea · 10 Nov 2010 · cited 0× · DOI ↗ · more like this ·

We define a new graph operation called the k th inner power . The construction—which is somewhat analogous to the k th power with respect to the direct product—seems to lend itself nicely to certain questions concerning cancellation over the direct product. We prove several results about bipartiteness and connectedness of inner powers, and we prove that the inner power distributes over the direct product. We explore a potential connection between inner powers and the problem of cancellation over the direct product.

Application of the Probability Distribution of Distances in a Layered Sphere to Electrostatic Energy

Neal Livesay

Artificial Intelligence · Digital Commons - Longwood (Longwood University) · 2008 · cited 0× · OpenAlex ↗ · more like this ·

This thesis works on a problem that involves calculating the total electrostatic interaction energy of two charged particles uniformly distributed in a sphere. It determines that traditional methods and the use of probability techniques yield equivalent results for the electrostatic energy in a charged layered sphere.