Searcharxiv⌕ Search

arXiv subjects

Pantelimon Stanica

Publications and source records attributed to Pantelimon Stanica.

At least 55 records · Page 3Linked to original sources

A quantum algorithm to estimate the Gowers $U_2$ norm and linearity testing of Boolean functions

We propose a quantum algorithm to estimate the Gowers $U_2$ norm of a Boolean function, and extend it into a second algorithm to distinguish between linear Boolean functions and Boolean functions that are $ε$-far from the set of linear Boolean functions, which seems to perform better than the classical BLR algorithm. Finally, we outline an algorithm to estimate Gowers $U_3$ norms of Boolean functions.

cs.DM↗

$C$-differential bent functions and perfect nonlinearity

Drawing inspiration from Nyberg's paper~\cite{Nyb91} on perfect nonlinearity and the $c$-differential notion we defined in~\cite{EFRST20}, in this paper we introduce the concept of $c$-differential bent functions in two different ways (thus extending Kumar et al.~\cite{Ku85} classical definition). We further extend the notion of perfect $c$-nonlinear introduced in~\cite{EFRST20}, also in two different ways, and show that, in both cases, the concepts of $c$-differential bent and perfect $c$-nonlinear are equivalent (under some natural restriction of the parameters). Some constructions of functions with these properties are also provided; one such construction provides a large class of PcN functions with respect to all $c$ in some subfield of the field under consideration. We also show that both our classes of $0$-differential bents are supersets of permutation polynomials, and that Maiorana-McFarland bent functions are not differential bent (of the first kind).

cs.IT↗

Investigations on $c$-Boomerang Uniformity and Perfect Nonlinearity

We defined in~\cite{EFRST20} a new multiplicative $c$-differential, and the corresponding $c$-differential uniformity and we characterized the known perfect nonlinear functions with respect to this new concept, as well as the inverse in any characteristic. The work was continued in~\cite{RS20}, investigating the $c$-differential uniformity for some further APN functions. Here, we extend the concept to the boomerang uniformity, introduced at Eurocrypt '18 by Cid et al.~\cite{Cid18}, to evaluate S-boxes of block ciphers, and investigate it in the context of perfect nonlinearity and related functions.

cs.IT↗

$C$-differentials, multiplicative uniformity and (almost) perfect $c$-nonlinearity

In this paper we define a new (output) multiplicative differential, and the corresponding $c$-differential uniformity. With this new concept, even for characteristic $2$, there are perfect $c$-nonlinear (PcN) functions. We first characterize the $c$-differential uniformity of a function in terms of its Walsh transform. We further look at some of the known perfect nonlinear (PN) and show that only one remains a PcN function, under a different condition on the parameters. In fact, the $p$-ary Gold PN function increases its $c$-differential uniformity significantly, under some conditions on the parameters. We then precisely characterize the $c$-differential uniformity of the inverse function (in any dimension and characteristic), relevant for the Rijndael (and Advanced Encryption Standard) block cipher.

cs.IT↗

Root-Hadamard transforms and complementary sequences

In this paper we define a new transform on (generalized) Boolean functions, which generalizes the Walsh-Hadamard, nega-Hadamard, $2^k$-Hadamard, consta-Hadamard and all $HN$-transforms. We describe the behavior of what we call the root- Hadamard transform for a generalized Boolean function $f$ in terms of the binary components of $f$. Further, we define a notion of complementarity (in the spirit of the Golay sequences) with respect to this transform and furthermore, we describe the complementarity of a generalized Boolean set with respect to the binary components of the elements of that set.

cs.IT↗

Partially APN Boolean functions and classes of functions that are not APN infinitely often

In this paper we define a notion of partial APNness and find various characterizations and constructions of classes of functions satisfying this condition. We connect this notion to the known conjecture that APN functions modified at a point cannot remain APN. In the second part of the paper, we find conditions for some transformations not to be partially APN, and in the process, we find classes of functions that are never APN for infinitely many extensions of the prime field $\F_2$, extending some earlier results of Leander and Rodier.

cs.IT↗

A complete characterization of plateaued Boolean functions in terms of their Cayley graphs

In this paper we find a complete characterization of plateaued Boolean functions in terms of the associated Cayley graphs. Precisely, we show that a Boolean function $f$ is $s$-plateaued (of weight $=2^{(n+s-2)/2}$) if and only if the associated Cayley graph is a complete bipartite graph between the support of $f$ and its complement (hence the graph is strongly regular of parameters $e=0,d=2^{(n+s-2)/2}$). Moreover, a Boolean function $f$ is $s$-plateaued (of weight $\neq 2^{(n+s-2)/2}$) if and only if the associated Cayley graph is strongly $3$-walk-regular (and also strongly $\ell$-walk-regular, for all odd $\ell\geq 3$) with some explicitly given parameters.

math.CO↗

Generalized bent Boolean functions and strongly regular Cayley graphs

In this paper we define the (edge-weighted) Cayley graph associated to a generalized Boolean function, introduce a notion of strong regularity and give several of its properties. We show some connections between this concept and generalized bent functions (gbent), that is, functions with flat Walsh-Hadamard spectrum. In particular, we find a complete characterization of quartic gbent functions in terms of the strong regularity of their associated Cayley graph.

cs.IT↗

Landscape Boolean Functions

In this paper we define a class of Boolean and generalized Boolean functions defined on $\mathbb{F}_2^n$ with values in $\mathbb{Z}_q$ (mostly, we consider $q=2^k$), which we call landscape functions (whose class containing generalized bent, semibent, and plateaued) and find their complete characterization in terms of their components. In particular, we show that the previously published characterizations of generalized bent and plateaued Boolean functions are in fact particular cases of this more general setting. Furthermore, we provide an inductive construction of landscape functions, having any number of nonzero Walsh-Hadamard coefficients. We also completely characterize generalized plateaued functions in terms of the second derivatives and fourth moments.

cs.IT↗

Bisecting binomial coefficients

In this paper, we deal with the problem of bisecting binomial coefficients. We find many (previously unknown) infinite classes of integers which admit nontrivial bisections, and a class with only trivial bisections. As a byproduct of this last construction, we show conjectures Q2 and Q4 of Cusick and Li. We next find several bounds for the number of nontrivial bisections and further compute (using a supercomputer) the exact number of such bisections for n <= 51.

math.CO↗

Decomposing generalized bent and hyperbent functions

In this paper we introduce generalized hyperbent functions from $F_{2^n}$ to $Z_{2^k}$, and investigate decompositions of generalized (hyper)bent functions. We show that generalized (hyper)bent functions from $F_{2^n}$ to $Z_{2^k}$ consist of components which are generalized (hyper)bent functions from $F_{2^n}$ to $Z_{2^{k^\prime}}$ for some $k^\prime < k$. For odd $n$, we show that the Boolean functions associated to a generalized bent function form an affine space of semibent functions. This complements a recent result for even $n$, where the associated Boolean functions are bent.

cs.IT↗

On a divisibility relation for Lucas sequences

In this note, we study the divisibility relation $U_m\mid U_{n+k}^s-U_n^s$, where ${\bf U}:=\{U_n\}_{n\ge 0}$ is the Lucas sequence of characteristic polynomial $x^2-ax\pm 1$ and $k,m,n,s$ are positive integers.

math.NT↗

Partial Spread and Vectorial Generalized Bent Functions

In this paper we generalize the partial spread class and completely describe it for generalized Boolean functions from $\F_2^n$ to $\mathbb{Z}_{2^t}$. Explicitly, we describe gbent functions from $\F_2^n$ to $\mathbb{Z}_{2^t}$, which can be seen as a gbent version of Dillon's $PS_{ap}$ class. For the first time, we also introduce the concept of a vectorial gbent function from $\F_2^n$ to $\Z_q^m$, and determine the maximal value which $m$ can attain for the case $q=2^t$. Finally we point to a relation between vectorial gbent functions and relative difference sets.

cs.IT↗

Generalized bent functions and their Gray images

In this paper we prove that generalized bent (gbent) functions defined on $\mathbb{Z}_2^n$ with values in $\mathbb{Z}_{2^k}$ are regular, and find connections between the (generalized) Walsh spectrum of these functions and their components. We comprehensively characterize generalized bent and semibent functions with values in $\mathbb{Z}_{16}$, which extends earlier results on gbent functions with values in $\mathbb{Z}_4$ and $\mathbb{Z}_8$. We also show that the Gray images of gbent functions with values in $\mathbb{Z}_{2^k}$ are semibent/plateaued when $k=3,4$.

cs.IT↗

Balanced Symmetric Functions over $GF(p)$

Under mild conditions on $n,p$, we give a lower bound on the number of $n$-variable balanced symmetric polynomials over finite fields $GF(p)$, where $p$ is a prime number. The existence of nonlinear balanced symmetric polynomials is an immediate corollary of this bound. Furthermore, we conjecture that $X(2^t,2^{t+1}l-1)$ are the only nonlinear balanced elementary symmetric polynomials over GF(2), where $X(d,n)=\sum_{i_1<i_2<...<i_d}x_{i_1} x_{i_2}... x_{i_d}$, and we prove various results in support of this conjecture.

math.CO↗

Heron triangles with two fixed sides

In this paper, we study the function $H(a,b)$, which associates to every pair of positive integers $a$ and $b$ the number of positive integers $c$ such that the triangle of sides $a,b$ and $c$ is Heron, i.e., has integral area. In particular, we prove that $H(p,q)\le 5$ if $p$ and $q$ are primes, and that $H(a,b)=0$ for a random choice of positive integers $a$ and $b$.

math.NT↗