Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups

Spectral techniques on Abelian groups are a well-established tool in diverse fields such as signal processing, switching theory, multi-valued logic and logic design. The harmonic analysis on finite non-Abelian groups is an extension of them, which has also found applications for particular tasks in the same fields. It takes advantages of the peculiar features of the domain groups and their dual objects. Representing unitary irreducible representations, that are kernels of Fourier transforms on non-Abelian groups, in a compact manner is a key task in this area. These representations are usually specified in terms of rectangular matrices with matrix entries. Therefore, the problem of their efficient representations can be viewed as handling large rectangular matrices with matrix-valued entries. Quantum Multiple-valued Decision Diagrams (QMDDs) and Heterogeneous Decision Diagrams (HDDs) have been used for representation of matrices with numerical values, under some restrictions to the order of matrices to be represented. In this paper, we present a generalization of this concept for the representation of rectangular matrices with matrix-valued entries. We also demonstrate an implementation of an XML-based software package aimed at handling such data structures.

[1]  C. Y. Lee.  Representation of switching circuits by binary-decision programs , 1959 .

[2]  Sheldon B. Akers,et al.  Binary Decision Diagrams , 1978, IEEE Transactions on Computers.

[3]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[4]  R. Bryant.  Graph-Based Algorithms for Boolean Function Manipulation12 , 1986 .

[5]  R. Rudell.  Dynamic variable ordering for ordered binary decision diagrams , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

[6]  R. S. Stankovic.  Fourier decision diagrams on finite non-Abelian groups with preprocessing , 1997, Proceedings 1997 27th International Symposium on Multiple- Valued Logic.

[7]  Masahiro Fujita,et al.  Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation , 1997, Formal Methods Syst. Des..

[8]  Rolf Drechsler,et al.  Implementing a multiple-valued decision diagram package , 1998, Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).

[9]  Elliotte Rusty Harold,et al.  XML in a Nutshell , 2001 .

[10]  Radomir S. Stankovic.  Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions , 2001, Formal Methods Syst. Des..

[11]  J. Astola,et al.  Design of Decision Diagrams with Increased Functionality of Nodes through Group Theory , 2003, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[12]  D. Michael Miller,et al.  QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits , 2006, 36th International Symposium on Multiple-Valued Logic (ISMVL'06).

[13]  J. Astola,et al.  Fundamentals of Switching Theory and Logic Design - A Hands on Approach , 2007 .

[14]  Stanislav Stankovic,et al.  XML Framework for Various Types of Decision Diagrams for Discrete Functions , 2007, IEICE Trans. Inf. Syst..

[15]  D. M. Miller,et al.  QMDD and Spectral Transformation of Binary and Multiple-Valued Functions , 2008 .

[16]  Radomir S. Stankovic,et al.  A Heterogeneous Decision Diagram Package , 2009, EUROCAST.

[17]  Radomir S. Stankovic,et al.  Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook , 2018 .