Schmidt representation of bilinear operators on Hilbert spaces

Current work defines Schmidt representation of a bilinear operator $T:H_1\times H_2\to K$, where $H_1,H_2$ and $K$ are separable Hilbert spaces. Introducing the concept of singular value and ordered singular value, we prove that if $T$ is compact, and its singular values are ordered, then $T$ has a Schmidt representation on real Hilbert spaces. We prove that the hypothesis of existence of ordered singular values is fundamental.     

The existence of Hall polynomials for x2-bounded invariant subspaces of nilpotent linear operators

We prove the existence of Hall polynomials for $x^2$-bounded invariant subspaces of nilpotent linear operators.     

Forbidden arithmetic progressions in permutations of subsets of the integers

Permutations of the positive integers avoiding arithmetic progressions of length 5 were constructed in Davis et al. (1977), implying the existence of permutations of the integers avoiding arithmetic progressions of length 7. We construct a permutation of the integers avoiding arithmetic progressions of length 6. We also prove a lower bound of $\frac{1}{2}$ on the lower density of subsets of positive integers that can be permuted to avoid arithmetic progressions of length 4, sharpening the lower bound of $\frac{1}{3}$ from LeSaulnier and Vijay (2011).     

Additive G-codes over Fq and their dualities

We define additive G-codes over finite fields. We prove that if C is an additive G-code over ${\mathbb{F}}_q$ with duality M then its dual with respect to this duality $C^M$ is an additive G-code. We prove that if M and $M^{\prime }$ are two dualities, then $C^M$ and $C^{M^{\prime }}$ are equivalent codes. Finally, we study the existence of self-dual codes for a variety of dualities and relate them to formally self-dual and linear self-dual codes.     

Prescribed scalar curvatures for homogeneous toric bundles

In this paper, we study the generalized Abreu equation on a Delzant ploytope $\mathrm{\Delta }\subset {\mathbb{R}}^2$ and prove the existence of metrics with prescribed scalar curvatures of homogeneous toric bundles under the assumption of an appropriate stability.     

Convergence of solutions for the fractional Cahn–Hilliard system

This paper deals with the Cauchy–Dirichlet problem for the fractional Cahn–Hilliard equation. The main results consist of global (in time) existence of weak solutions, characterization of parabolic smoothing effects (implying under proper condition eventual boundedness of trajectories), and convergence of each solution to a (single) equilibrium. In particular, to prove the convergence result, a variant of the so-called ?ojasiewicz–Simon inequality is provided for the fractional Dirichlet Laplacian and (possibly) non-analytic (but $C^1$) nonlinearities.     

Decomposition of cubic graphs with cyclic connectivity 5

Let G be a cyclically 5-connected cubic graph with a 5-edge-cut separating G into two cyclic components $G_1$ and $G_2$. We prove that each component $G_i$ can be completed to a cyclically 5-connected cubic graph by adding three vertices, unless $G_i$ is a cycle of length five. Our work extends similar results by Andersen et al. for cyclic connectivity 4 from 1988.     

Absolute continuity of the law for the two dimensional stochastic Navier–Stokes equations

We consider the two dimensional Navier–Stokes equations in vorticity form with a stochastic forcing term given by a gaussian noise, white in time and colored in space. First, we prove existence and uniqueness of a weak (in the Walsh sense) solution process $\xi$ and we show that, if the initial vorticity ${\xi }_0$ is continuous in space, then there exists a space–time continuous version of the solution. In addition we show that the solution $\xi (t,x)$ (evaluated at fixed points in time and space) is locally differentiable in the Malliavin calculus sense and that its image law is absolutely continuous with respect to the Lebesgue measure on $\mathbb{R}$.     

Highly nonlinear functions over finite fields

We consider a generalisation of a conjecture by Patterson and Wiedemann from 1983 on the Hamming distance of a function from ${\mathbb{F}}_q^n$ to ${\mathbb{F}}_q$ to the set of affine functions from ${\mathbb{F}}_q^n$ to ${\mathbb{F}}_q$. We prove the conjecture for each q such that the characteristic of ${\mathbb{F}}_q$ lies in a subset of the primes with density 1 and we prove the conjecture for all q by assuming the generalised Riemann hypothesis. Roughly speaking, we show the existence of functions for which the distance to the affine functions is maximised when n tends to infinity. This also determines the asymptotic behaviour of the covering radius of the $[q^n,n+1]$ Reed-Muller code over ${\mathbb{F}}_q$ and so answers a question raised by Leducq in 2013. Our results extend the case $q=2$, which was recently proved by the author and which corresponds to the original conjecture by Patterson and Wiedemann. Our proof combines evaluations of Gauss sums in the semiprimitive case, probabilistic arguments, and methods from discrepancy theory.     

Almost perfect nonlinear families which are not equivalent to permutations

An important problem on almost perfect nonlinear (APN) functions is the existence of APN permutations on even-degree extensions of ${\mathbb{F}}_2$ larger than 6. Browning et al. (2010) gave the first known example of an APN permutation on the degree-6 extension of ${\mathbb{F}}_2$. The APN permutation is CCZ-equivalent to the previously known quadratic Kim κ-function (Browning et al. (2009)). Aside from the computer based CCZ-inequivalence results on known APN functions on even-degree extensions of ${\mathbb{F}}_2$ with extension degrees less than 12, no theoretical CCZ-inequivalence result on infinite families is known. In this paper, we show that Gold and Kasami APN functions are not CCZ-equivalent to permutations on infinitely many even-degree extensions of ${\mathbb{F}}_2$. In the Gold case, we show that Gold APN functions are not equivalent to permutations on any even-degree extension of ${\mathbb{F}}_2$, whereas in the Kasami case we are able to prove inequivalence results for every doubly-even-degree extension of ${\mathbb{F}}_2$.     

Fq-linear codes over Fq-algebras

Huffman (2013) [12] studied ${\mathbb{F}}_q$-linear codes over ${\mathbb{F}}_{q^m}$ and he proved the MacWilliams identity for these codes with respect to ordinary and Hermitian trace inner products. Let S be a finite commutative ${\mathbb{F}}_q$-algebra. An ${\mathbb{F}}_q$-linear code over S of length n is an ${\mathbb{F}}_q$-submodule of $S^n$. In this paper, we study ${\mathbb{F}}_q$-linear codes over S. We obtain some bounds on minimum distance of these codes, and some large classes of MDR codes are introduced. We generalize the ordinary and Hermitian trace products over ${\mathbb{F}}_q$-algebras and we prove the MacWilliams identity with respect to the generalized form. In particular, we obtain Huffman's results on the MacWilliams identity. Among other results, we give a theory to construct a class of quantum codes and the structure of ${\mathbb{F}}_q$-linear codes over finite commutative graded ${\mathbb{F}}_q$-algebras.     

Perfect matchings extend to two or more hamiltonian cycles in hypercubes

Kreweras conjectured that every perfect matching of a hypercube $Q_n$ for $n\ge 2$ can be extended to a hamiltonian cycle of $Q_n$. Fink confirmed the conjecture to be true. It is more general to ask whether every perfect matching of $Q_n$ for $n\ge 2$ can be extended to two or more hamiltonian cycles of $Q_n$. In this paper, we prove that every perfect matching of $Q_n$ for $n\ge 4$ can be extended to at least $2^{2^{n?4}}$ different hamiltonian cycles of $Q_n$.     

Torsion completions are bounded

Given a commutative ring A and a finitely generated ideal I, we prove that $I^{\infty }$-torsion A-modules that are also I-adically complete (or merely derived I-complete) must have bounded $I^{\infty }$-torsion, i.e., they are killed by $I^n$ for some $n\ge 0$.