scholarly journals An improved spectral classification of Boolean functions based on an extended set of invariant operations

2018 ◽  
Vol 31 (2) ◽  
pp. 189-205
Author(s):  
Milena Stankovic ◽  
Claudio Moraga ◽  
Radomir Stankovic

Boolean functions expressing some particular properties often appear in engineering practice. Therefore, a lot of research efforts are put into exploring different approaches towards classification of Boolean functions with respect to various criteria that are typically selected to serve some specific needs of the intended applications. A classification is considered to be strong if there is a reasonably small number of different classes for a given number of variables n and it it desir able that classification rules are simple. A classification with respect to Walsh spectral coefficients, introduced formerly for digital system design purposes, appears to be useful in the context of Boolean functions used in cryptography, since it is in a way compatible with characterization of cryptographically interesting functions through Walsh spectral coefficients. This classification is performed in terms of certain spectral invariant operations. We show by introducing a new spectral invariant operation in the Walsh domain, that by starting from n?5, some classes of Boolean functions can be merged which makes the classification stronger, and from the theoretical point of view resolves a problem raised already in seventies of the last century. Further, this new spectral invariant operation can be used in constructing bent functions from bent functions represented by quadratic forms.

2019 ◽  
Vol 10 (2) ◽  
pp. 159-168
Author(s):  
Sergei N Fedorov

Рассматривается недавно предложенный подход к исследованию булевых функций, в основе которого лежит понятие класса $\Delta$-эквивалентности: множества булевых функций с одной и той же функцией автокорреляции. Такая классификация представляется полезной, поскольку многие криптографические характеристики булевых функций, принадлежащих одному и тому же классу $\Delta$-эквивалентности, одинаковы.


2015 ◽  
Vol 28 (1) ◽  
pp. 51-76 ◽  
Author(s):  
Bernd Steinbach ◽  
Christian Posthoff

The Boolean Differential Calculus (BDC) significantly extends the Boolean Algebra because not only Boolean values 0 and 1, but also changes of Boolean values or Boolean functions can be described. A Boolean Differential Equation (BDe) is a Boolean equation that includes derivative operations of the Boolean Differential Calculus. This paper aims at the classification of BDEs, the characterization of the respective solutions, algorithms to calculate the solution of a BDe, and selected applications. We will show that not only classes and arbitrary sets of Boolean functions but also lattices of Boolean functions can be expressed by Boolean Differential equations. In order to reach this aim, we give a short introduction into the BDC, emphasize the general difference between the solutions of a Boolean equation and a BDE, explain the core algorithms to solve a BDe that is restricted to all vectorial derivatives of f (x) and optionally contains Boolean variables. We explain formulas for transforming other derivative operations to vectorial derivatives in order to solve more general BDEs. New fields of applications for BDEs are simple and generalized lattices of Boolean functions. We describe the construction, simplification and solution. The basic operations of XBOOLE are sufficient to solve BDEs. We demonstrate how a XBooLe-problem program (PRP) of the freely available XBooLe-Monitor quickly solves some BDes.


1972 ◽  
Vol 15 (11) ◽  
pp. 1352-1360
Author(s):  
I. V. Kotel'nikov
Keyword(s):  

2012 ◽  
Vol 2012 ◽  
pp. 1-10 ◽  
Author(s):  
Motlatsi Molati ◽  
Chaudry Masood Khalique

The aim of this work is to perform a complete Lie symmetry classification of a generalized Lane-Emden type system in two dimensions which models many physical phenomena in biological and physical sciences. The classical approach of group classification is employed for classification. We show that several cases arise in classifying the arbitrary parameters, the forms of which include amongst others the power law nonlinearity, and exponential and quadratic forms.


Sign in / Sign up

Export Citation Format

Share Document