Bent functions on a finite nonabelian group

Perfect nonlinear functions between two finite abelian groups were studied by Carlet and Ding (J Complex 20:205---244, 2004) and Pott (Discret Math Appl 138:177---193, 2004), which can be regarded as a generalization of bent functions on finite abelian groups studied by Logachev et al. (Discret Math Appl 7:547---564, 1997). Poinsot (J Discret Math Sci Cryptogr 9:349---364, 2006), (Cryptogr Commun 4:1---23, 2012) extended this research to arbitrary finite groups, and characterized bent functions on finite nonabelian groups as well as perfect nonlinear functions between two arbitrary finite groups by the Fourier transforms of the related functions at irreducible unitary representations. The purpose of this paper is to study the characterizations of the bentness (perfect nonlinearity) of functions on arbitrary finite groups by the Fourier transforms of the related functions at irreducible characters. We will also give a characterization of a perfect nonlinear function by the relative pseudo-difference family.

Let G be a finite nonabelian group. Bent functions on G are defined by the Fourier transforms at irreducible representations of G. We introduce a dual basis $${\widehat{G}}$$ , consisting of functions on G determined by its unitary irreducible representations, that will play a role similar to the dual group of a finite abelian group. Then we define the Fourier transforms as functions on $${\widehat{G}}$$ , and obtain characterizations of a bent function by its Fourier transforms (as functions on $${\widehat{G}}$$ ). For a function f from G to another finite group, we define a dual function $${\widetilde{f}}$$ on $${\widehat{G}}$$ , and characterize the nonlinearity of f by its dual function $${\widetilde{f}}$$ . Some known results are direct consequences. Constructions of bent functions and perfect nonlinear functions are also presented.

Let G be a finite nonabelian group and associate a disoriented noncommuting graph ∇(G) with G as follows: the vertex set of ∇(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. In 1987, J. G. Thompson gave the following conjecture.Thompson's Conjecture If G is a finite group with Z(G) = 1 and M is a nonabelian simple group satisfying N(G) = N(M), then G ≅ M, where N(G) denotes the set of the sizes of the conjugacy classes of G.In 2006, A. Abdollahi, S. Akbari and H. R. Maimani put forward a conjecture in [1] as follows.AAM's Conjecture Let M be a finite nonabelian simple group and G a group such that ∇(G)≅ ∇ (M). Then G ≅ M.Even though both of the two conjectures are known to be true for all finite simple groups with nonconnected prime graphs, it is still unknown for almost all simple groups with connected prime graphs. In the present paper, we prove that the second conjecture is true for the projective special unitary simple group U4(7).

Bent functions are maximally nonlinear Boolean functions with an even number of variables. They were introduced by Rothaus in 1976. For their own sake as interesting combinatorial objects, but also because of their relations to coding theory (Reed-Muller codes) and applications in cryptography (design of stream ciphers), they have attracted a lot of research, specially in the last 15 years. The class of bent functions contains a subclass of functions, introduced by Youssef and Gong in 2001, the so-called hyper-bent functions whose properties are still stronger and whose elements are still rarer than bent functions. Bent and hyper-bent functions are not classified. A complete classification of these functions is elusive and looks hopeless. So, it is important to design constructions in order to know as many of (hyper)-bent functions as possible. This paper is devoted to the constructions of bent and hyper-bent Boolean functions in polynomial forms. We survey and present an overview of the constructions discovered recently. We extensively investigate the link between the bentness property of such functions and some exponential sums (involving Dickson polynomials).

A restriction on centralizers in finite groups

Kitaev’s quantum double model is a family of exactly solvable lattice models that realize two dimensional topological phases of matter. The model was originally based on finite groups, and was later generalized to semi-simple Hopf algebras. We rigorously define and study ribbon operators in the generalized quantum double model. These ribbon operators are important tools to understand quasi-particle excitations. It turns out that there are some subtleties in defining the operators in contrast to what one would naively think of. In particular, one has to distinguish two classes of ribbons which we call locally clockwise and locally counterclockwise ribbons. Moreover, we point out that the issue already exists in the original model based on finite non-abelian groups, but it seems to not have been noticed in the literature. We show how certain common properties would fail even in the original model if we were not to distinguish these two classes of ribbons. Perhaps not surprisingly, under the new definitions ribbon operators satisfy all properties that are expected. For instance, they create quasi-particle excitations only at the end of the ribbon, and the types of the quasi-particles correspond to irreducible representations of the Drinfeld double of the input Hopf algebra. However, the proofs of these properties are much more complicated than those in the case of finite groups. This is partly due to the complications in dealing with general Hopf algebras rather than group algebras.

In a variety generated by a finite non-Abelian group, the commutator subgroup is not definable by a first-order formula.

Let $G^c$ be the class 2 residual of a finite group $G$. In this paper, it is proved that $|G:Z(G)| < |G^{c}|^2$ if $G$ is a finite non-abelian group with $\Phi(G)=1$.

The set π(G) of all prime divisors of the order of a finite group G is often called its prime spectrum. It is proved that every finite simple nonabelian group G has sections H1, …, Hm of some special form such that π(H1)∪…∪π(Hm) = π(G) and m ≤ 5. Moreover, m ≤ 2 if G is an alternating or classical simple group. In all cases, it is possible to choose the sections Hi so that each of them is a simple nonabelian group, a Frobenius group, or (in one case) a dihedral group. If the above equality holds for a finite group G, then we say that the set {H1,…,Hm} controls the prime spectrum of G. We also study some parameter c(G) of finite groups G related to the notion of control.

We survey recent results regarding embeddings of finite simple groups (and their nonsplit central extensions) in complex Lie groups, especially the Lie groups of exceptional type. Introduction Throughout this paper, L will be a finite group. Representation theory for L is usually understood to be the study of group morphisms L → GL(n, k) for distinguished collections of fields k (e.g., all overfields of a fixed field F ) and positive integers n . The topic of this survey is motivated by the question as to what happens if GL ( n ,·) is replaced by another algebraic group G (·). We shall mainly be concerned with the case where L is a finite simple group (that is, a finite nonabelian simple group) or a central extension thereof, and G(k) is a connected simple algebraic group over a field k . A further restriction of our discussion concerns the field k . It will mostly be taken to be the complex numbers, in which case we will mainly study group morphisms from L to the complex Lie group G (ℂ). (See below for some exceptions in §3 and §5.) For G (·) of classical type, the theory for representations L → G (ℂ) differs little from the usual one for GL ( n , ℂ). Indeed, a representation L → GL ( n , ℂ) decomposes into irreducible subrepresentations. The decomposition is well controlled by character theory.

The enhanced power graph [Formula: see text] of a group [Formula: see text] is the graph with vertex set [Formula: see text] such that two vertices [Formula: see text] and [Formula: see text] are adjacent if they are contained in the same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between undirected power graph of finite groups is an isomorphism between enhanced power graphs of these groups, and we find all finite groups [Formula: see text] for which [Formula: see text] is abelian, all finite groups [Formula: see text] with [Formula: see text] being prime power, and all finite groups [Formula: see text] with [Formula: see text] being square-free. Also, we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.

Binary bent functions have a strictly specified number of non-zero values. In the same way, ternary bent functions satisfy certain requirements on the elements of their value vectors. These requirements can be used to specify six classes of ternary bent functions. Classes are mutually related by encoding of function values. Functions within a class are mutually related by permutation of elements in their function vectors. Given a basic ternary bent function, other functions in the same class can be constructed by permutation matrices having a block structure similar to that of the factor matrices appearing in the Good-Thomas decomposition of Cooley-Tukey Fast Fourier transform and related algorithms. Conversion of function vectors into matrices or equivalent matrix-valued vectors of smaller length leads to the redistribution of space complexity of related manipulation algorithms. In this matrix representations, construction of other bent functions from a given known bent function is performed by using either properties of bent functions or by manipulation of such representations in terms of FFT-like permutation matrices of dimensions smaller than the length of the function vector of the initial bent functions.

Let G be a finite non-abelian group and In this paper, we investigate m-centralizer group G with cyclic center and we will prove that if G is a finite non-abelian m-centralizer CA-group, then there exists an integer r > 1 such that It is also proved that if G is an m-centralizer non-abelian finite group which is not a CA-group and its derived subgroup is of order 2, then there exists an integer s > 1 such that

In this paper we define a class of linear harmonic translation invariant (LHTI) systems on finite non-Abelian groups. Also, the basic concepts of differential calculus are used for describing the introduced LHTI systems.

The concept of symmetry equivalence and its deep connection with localization in the general sense is here opposed to the more familiar idea of symmetry as invariance, widely adopted in quantum mechanics. It is shown that symmetry equivalences together with localization allow to devise efficient ways for the computation and storage of calculated constants in ab initio calculations. On the other hand, symmetry invariance, through the theory of linear representations, is extremely useful to perform efficient basis set transformations in variational algorithms. A combination of both strategies appears to be ideal in the context of the quantum chemistry of extended systems.