arXiv ScienceSearch

arXiv subjects

Marco Zaninelli

Publications and source records attributed to Marco Zaninelli.

5 recordsLinked to original sources

Sums of squares in function fields over a henselian valued field

The Pythagoras number of a field is the smallest natural number $n$ such that every sum of squares in the field is a sum of $n$ squares. Given a nondyadic henselian valued field $(K, v)$, we show that the best bound on the Pythagoras number for function fields of curves over $K$ is essentially the same as for function fields of curves over the residue field $Kv$. As a consequence, we obtain the upper bound $5$ for the Pythagoras number of function fields of curves over any field $K$ for which the rational function field $K(X)$ has Pythagoras number $2$. The proof uses a reduction to the case where the value group is a subgroup of the real numbers, where then a local-global principle for quadratic forms due to V.~Mehmeti is applied.

math.NT

Cyclic Division Algebras of Odd Prime Degree are never Amitsur-Small

A division ring $D$ is Amitsur-Small if for every $n$ and every maximal left ideal $I$ in $D[x_1,\dots,x_n]$, $I \cap D[x_1,\dots,x_{n-1}]$ is maximal in $D[x_1,\dots,x_{n-1}]$. The goal of this note is to prove that cyclic division algebras of odd prime degree over their center are never Amitsur-Small.

math.RA

Loops with involution and the Cayley-Dickson doubling process

We develop a theory of loops with involution. On this basis we define a Cayley-Dickson doubling on loops, and use it to investigate the lattice of varieties of loops with involution, focusing on properties that remain valid in the Cayley-Dickson double. Specializing to central-by-abelian loops with elementary abelian $2$-group quotients, we find conditions under which one can characterize the automorphism groups of iterated Cayley-Dickson doubles. A key result is a corrected proof that for $n>3$, the automorphism group of the Cayley-Dickson loop $Q_n$ is $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$.

math.CO

Bounding the Pythagoras number of a field by $2^n+1$

Given a positive integer $n$, a sufficient condition on a field is given for bounding its Pythagoras number by $2^n+1$. The condition is satisfied for $n=1$ by function fields of curves over iterated formal power series fields over $\mathbb{R}$, as well as by finite field extensions of $\mathbb{R}(\!(t_0,t_1)\!)$. In both cases, one retrieves the upper bound $3$ on the Pythagoras number. The new method presented here might help to establish more generally $2^n+1$ as an upper bound for the Pythagoras number of function fields of curves over $\mathbb{R}(\!(t_1,\dots,t_n)\!)$ and for finite field extensions of $\mathbb{R}(\!(t_0,\dots,t_n)\!)$.

math.NT

On some cryptographic properties of Boolean functions and their second-order derivatives

In this paper some cryptographic properties of Boolean functions, including weight, balancedness and nonlinearity, are studied, particularly focusing on splitting functions and cubic Boolean functions. Moreover, we present some quantities derived from the behaviour of second-order derivatives which allow us to determine whether a quadratic or cubic function is APN.

cs.CR