Discrete Signal Processing on Meet/Join Lattices

12/08/2020
by   Markus Püschel, et al.
0

A lattice is a partially ordered set supporting a meet (or join) operation that returns the largest lower bound (smallest upper bound) of two elements. Just like graphs, lattices are a fundamental structure that occurs across domains including social data analysis, natural language processing, computational chemistry and biology, and database theory. In this paper we introduce discrete-lattice signal processing (DLSP), an SP framework for data, or signals, indexed by such lattices. We use the meet (or join) to define a shift operation and derive associated notions of filtering, Fourier basis and transform, and frequency response. We show that the spectrum of a lattice signal inherits the lattice structure of the signal domain and derive a sampling theorem. Finally, we show two prototypical applications: spectral analysis of formal concept lattices in social science and sampling and Wiener filtering of multiset lattices in combinatorial auctions. Formal concept lattices are a compressed representation of relations between objects and attributes. Since relations are equivalent to bipartite graphs and hypergraphs, DLSP offers a form of Fourier analysis for these structures.

READ FULL TEXT
research
02/13/2019

Space-Efficient Data Structures for Lattices

A lattice is a partially-ordered set in which every pair of elements has...
research
01/28/2020

Discrete Signal Processing with Set Functions

Set functions are functions (or signals) indexed by the power set (set o...
research
07/26/2018

Fast cosine transform for FCC lattices

Voxel representation and processing is an important issue in a broad spe...
research
12/09/2020

On the Lattice of Conceptual Measurements

We present a novel approach for data set scaling based on scale-measures...
research
10/30/2017

The equational theory of the natural join and inner union is decidable

The natural join and the inner union operations combine relations of a d...
research
10/14/2022

On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge

Let L be a finite lattice and ℰ(L) be the set of join endomorphisms of L...
research
01/31/2020

Exact and Robust Reconstruction of Integer Vectors Based on Multidimensional Chinese Remainder Theorem (MD-CRT)

The robust Chinese remainder theorem (CRT) has been recently proposed fo...

Please sign up or login with your details

Forgot password? Click here to reset