New Nonexistence Results for Generalized Bent Functions Through Element Partition Method Revisions

A recent study, published on arXiv, announces novel findings concerning the nonexistence of specific classes of generalized bent functions. This research delves into mathematical structures known as generalized bent functions, which map from $\mathbb{Z}_{q}^{n}$ to $\mathbb{Z}_{q}$, referred to as type $[n,q]$. The investigation leverages and expands upon the 'element partition method' to establish these new nonexistence results.

Introduction to Generalized Bent Functions and Nonexistence

Generalized bent functions are mathematical objects with applications in various areas, particularly in coding theory and cryptography, due to their maximal nonlinearity properties. The determination of whether such functions exist for certain parameters is a fundamental question in their study. When a function is proven to be 'nonexistent' for given parameters, it means that no such function can be constructed under those conditions.

The current research specifically addresses the nonexistence of functions that operate between finite rings. The notation $\mathbb{Z}_{q}^{n}$ represents the direct product of $n$ copies of the ring of integers modulo $q$, while $\mathbb{Z}_{q}$ denotes the ring of integers modulo $q$. Thus, a function from $\mathbb{Z}_{q}^{n}$ to $\mathbb{Z}_{q}$ means it takes an $n$-tuple of elements from $\mathbb{Z}_{q}$ and maps it to a single element in $\mathbb{Z}_{q}$. The study aims to identify conditions under which such generalized bent functions cannot exist.

Research Goal: Identifying Nonexistent Classes of Generalized Bent Functions

The primary objective of this research is to establish new nonexistence results for two specific classes of generalized bent functions. These functions are categorized as type $[n,q]$, indicating their domain and codomain structures. The researchers focused on deriving explicit conditions for these nonexistence properties.

The investigation is structured around two distinct classes of these functions, each requiring a specific approach or extension of existing methods. The overall goal is to contribute to the theoretical understanding of generalized bent functions by defining parameters for which their existence is mathematically impossible.

Key Findings: Two Classes of Nonexistent Functions Identified

The study yielded significant new nonexistence results across two identifiable classes of generalized bent functions. Each class is characterized by specific parameter values and the application of particular methodologies.

First Class: Nonexistence Via Element Partition Method Applied to Feng and Liu's Results

The first set of nonexistence results directly builds upon previous work by Feng and Feng and Liu. The researchers applied the 'element partition method' to refine and extend these earlier findings. This method serves as a crucial analytical tool in their derivation.

The specific parameter for this class of functions is related to the value of $q$. The research demonstrates nonexistence for generalized bent functions of type $[n,q]$ where $q$ is defined as $q=2 p_1^{e_1} p_{2}^{e_2}$. In this expression:

• $p_1$ represents a prime number.
• $p_2$ represents a distinct prime number.
• $e_1$ represents a positive integer exponent.
• $e_2$ represents a positive integer exponent.

The application of the element partition method to the framework established by Feng and Feng and Liu allowed the researchers to identify these nonexistence conditions. This indicates that for any combination of $p_1$, $p_2$, $e_1$, and $e_2$ that fits the specified form for $q$, no generalized bent function of type $[n,q]$ exists.

Second Class: Extended Element Partition Method for Type $[1, 2 \cdot 3^{a} \cdot 7^{b}]$ Functions

For the second class of generalized bent functions, the researchers found it necessary to extend the traditional 'element partition method'. This extension allowed them to address a different set of parameters and establish new nonexistence proofs.

The second class focuses on functions of a specific type: type $[1, 2 \cdot 3^{a} \cdot 7^{b}]$. Here, the parameters are:

• The domain dimension $n$ is fixed at $1$. This implies the functions map from $\mathbb{Z}_{q}$ to $\mathbb{Z}_{q}$.
• The value of $q$ is defined as $q = 2 \cdot 3^{a} \cdot 7^{b}$.
• $a$ is an integer such that $a \in \mathbb{Z}_{\ge 0}$, meaning $a$ can be any non-negative integer ($0, 1, 2, \dots$).
• $b$ is an integer such that $b \in \mathbb{Z}_{\ge 0}$, meaning $b$ can also be any non-negative integer ($0, 1, 2, \dots$).

By extending the fundamental principles of the element partition method, the researchers successfully demonstrated the nonexistence of generalized bent functions for this specific type. This result offers a precise boundary for when such functions cannot be found, particularly for the stated form of $q$. The ability to extend the method highlights its adaptability and potential for addressing diverse parameter sets within the study of generalized bent functions.

Methodology: Application and Extension of the Element Partition Method

The core methodology employed in this research revolves around the 'element partition method'. This method is crucial for both sets of nonexistence results obtained by the researchers.

Basis of the Element Partition Method

For the first class of results, the element partition method was applied directly to findings previously reported by Feng and Feng and Liu. The specifics of how this method functions within their established framework are integral to deriving the nonexistence conditions for $q=2 p_1^{e_1} p_{2}^{e_2}$. While the source does not detail the internal mechanics of the method itself, it clearly states its direct application in this context. The method provides a structured way to analyze the properties of the generalized bent functions, leading to contradictions if they were assumed to exist under certain parameters.

Extension for Broader Application

For the second class of results, the research team recognized the need to 'extend the idea of the element partition method'. This extension was necessary to tackle the specific structure of generalized bent functions of type $[1, 2 \cdot 3^{a} \cdot 7^{b}]$. The extension implies modifications or adaptations to the foundational element partition method to make it applicable to these particular values of $q$ and $n=1$. This demonstrates a methodological innovation, where existing tools are adapted to solve new specific problems within the broader research area.

Significance of Nonexistence Results

These nonexistence results are significant for several reasons. In the field of discrete mathematics and its applications, proving nonexistence can guide future research efforts and practical implementations. If a particular type of generalized bent function is proven not to exist for a given set of parameters, researchers can avoid expending resources attempting to construct or find such functions under those conditions.

The findings also contribute to a deeper theoretical understanding of generalized bent functions. By delineating the boundaries of their existence, the research helps to map out the landscape of these functions, indicating where they can and cannot be found. This knowledge is fundamental for further advancements in areas that rely on the unique properties of bent functions, such as the design of cryptographic primitives or error-correcting codes. The precise conditions under which nonexistence is established provide clear parameters for future theoretical work.

Future Directions (Not Explicitly Stated in Source)

The provided source material does not explicitly detail specific future research directions stemming from these findings. However, a common implication of nonexistence results in mathematics is that they define boundaries for further investigation. Researchers might explore if generalized bent functions exist for values of $q$ that are closely related but fall outside the parameters identified in this study. Additionally, the extended element partition method developed in this research might be applicable to other classes of generalized bent functions or related mathematical objects.

Conclusion

The recent findings announced on arXiv introduce significant new nonexistence results for two distinct classes of generalized bent functions. By applying and extending the element partition method, researchers have precisely identified parameters for which these functions, mapping from $\mathbb{Z}_{q}^{n}$ to $\mathbb{Z}_{q}$, cannot exist. This includes functions where $q=2 p_1^{e_1} p_{2}^{e_2}$ (prime $p_1, p_2$) and functions of type $[1, 2 \cdot 3^{a} \cdot 7^{b}]$ (non-negative integers $a, b$). These contributions enhance the theoretical understanding of generalized bent functions and provide crucial boundaries for their study and potential applications.