BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Gabriele Nebe appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
It is shown that extremal $2$-modular lattices of ranks $32$ and $48$ are generated by their vectors of minimal norm. In the proof, we use certain properties of the difference of normalized Hecke eigenforms. We refer to them as the pseudo-normalized Hecke eigenform, the concept of which is introduced in this paper.
Let $G$ be a finite group and $K$ a finite field of characteristic $2$. Denote by $t$ the $2$-rank of the commutator factor group $G/G'$ and by $s$ the number of self-dual simple $KG$-modules. Then the Witt group of equivariant quadratic forms $\WQ (K,G)$ is isomorphic to an elementary abelian $2$-group of rank $s+t$.
An ordinary character $χ$ of a finite group is called orthogonally stable, if all non-degenerate invariant quadratic forms on any module affording the character $χ$ have the same discriminant. This is the orthogonal discriminant, $\disc(χ)$, of $χ$, a square class of the character field. Based on experimental evidence we conjecture that the orthogonal discriminant is always an odd square class in the sense of Definition 1.4. This note proves this conjecture for finite solvable groups. For $p$-group there is an explicit formula for $\disc(χ)$ that reads $\disc(χ) = (-p)^{χ(1)/2}$ if $p\equiv 3 \pmod{4}$ and $\disc (χ) = (-1)^{χ(1)/2}$ for $p=2$.
For an irreducible orthogonal character $χ$ of even degree there is a unique square class $\det({χ})$ in the character field such that the invariant quadratic forms in any $L$-representation affording $χ$ have determinant in $\det({χ})(L^*)^2$.
A character (ordinary or modular) is called orthogonally stable if all non-degenerate quadratic forms fixed by representations with those constituents have the same determinant mod squares. We show that this is the case provided there are no odd-degree orthogonal constituents. We further show that if the reduction mod p of an ordinary character is orthogonally stable, this determinant is the reduction mod p of the ordinary one. In particular, if the characteristic does not divide the group order, we immediately see in which orthogonal group it lies. We sketch methods for computing this determinant, and give some examples.
Building upon the application of flags to network coding introduced by Liebhold, Nebe, and Vazquez-Castro, we develop a variant of this coding technique that uses degenerate flags. The information set is a metric affine space isometric to the space of upper triangular matrices endowed with the flag rank metric. This suggests the development of a theory for flag rank metric codes in analogy to the rank metric codes used in linear subspace coding.
We design an algorithm to find certain partial permutation representations of a finitely presented group $G$ (the bricks) that may be combined to a transitive permutation representation of $G$ (the mosaic) on the disjoint union.
Let K be a cyclic Galois extension of degree f over k and T a generator of the Galois group. For any v=(v_1,... , v_m)\in K^m such that v is linearly independent over k, and any 0< d < m the Gabidulin-like code C(v, T , d) is a maximum rank distance code in the space of f times m matrices over k of dimension fd. This construction unifies the ones available in the literature. We characterise the K-linear codes that are Gabidulin-like codes and determine their rank-metric automorphism group.
We develop a network coding technique based on flags of subspaces and a corresponding network channel model. To define error correcting codes we introduce a new distance on the flag variety, the Grassmann distance on flags and compare it to the commonly used gallery distance for full flags.
We classify all one-class genera of admissible lattice chains of length at least 2 in hermitian spaces over number fields.
The rational invariants of the SL_2(q)-invariant quadratic forms on the real irreducible representations are determined. There is still one open question (see Remark 6.5) if q is an even square.
We determine the automorphism group of Gabidulin codes of full length and characterise when these codes are equivalent to self-dual codes.
We show that there is a unique extremal even unimodular lattice of dimension 48 which has an automorphism of order 5 of type 5-(8,16)-8. Since the three known extremal lattices do not admit such an automorphism, this provides a new example of an extremal even unimodular lattice in dimension 48.
The paper narrows down the possible automorphisms of extremal even unimodular lattices of dimension 72. With extensive computations in {\sc Magma} using the very sophisticated algorithm for computing class groups of algebraic number fields written by Steve Donnelly it is shown that the extremal even unimodular lattice $Γ_{72}$ from \cite{dim72} is the unique extremal even unimodular lattice of dimension 72 that admits a large automorphism, where a $d\times d$ matrix is called large, if its minimal polynomial has an irreducible factor of degree $> d/2$.
We describe an algorithm, meant to be very general, to compute a presentation of the group of units of an order in a (semi)simple algebra over Q. Our method is based on a generalisation of Voronoï's algorithm for computing perfect forms, combined with Bass-Serre theory. It differs essentially from previously known methods to deal with such questions, e.g. for units in quaternion algebras. We illustrate this new algorithm by a series of examples where the computations are carried out completely.
A classical result of Conway and Pless is that a natural projection of the fixed code of an automorphism of odd prime order of a self-dual binary linear code is self-dual. In this paper we prove that the same holds for involutions under some (quite strong) conditions on the codes. In order to prove it, we introduce a new family of binary codes: the semi self-dual codes. A binary self-orthogonal code is called semi self-dual if it contains the all-ones vector and is of codimension 2 in its dual code. We prove upper bounds on the dual distance of semi self-dual codes. As an application we get the following: let C be an extremal self-dual binary linear code of length 24m and s in Aut(C) be a fixed point free automorphism of order 2. If m is odd or if m=2k with binom{5k-1}{k-1} odd then C is a free F_2<s>-module. This result has quite strong consequences on the structure of the automorphism group of such codes.
We apply Voronoi's algorithm to compute representatives of the conjugacy classes of maximal finite subgroups of the unit group of a maximal order in some simple $\QQ $-algebra. This may be used to show in small cases that non-conjugate orders have non-isomorphic unit groups.
A computer calculation with Magma shows that there is no extremal self-dual binary code C of length 72, whose automorphism group contains the symmetric group of degree 3, the alternating group of degree 4 or the dihedral group of order 8. Combining this with the known results in the literature one obtains that Aut(C) has order at most 5 or isomorphic to the elementary abelian group of order 8.
Boris Venkov passed away on November 10 2011 just 5 days before his 77th birthday. This article gives a short survey of the mathematical work of Boris Venkov in this direction.
Let $\vartheta := \frac{-1+\sqrt{5}}{2}$ be the golden ratio. A golden lattice is an even unimodular $\Z[\vartheta ]$-lattice of which the Hilbert theta series is an extremal Hilbert modular form. We construct golden lattices from extremal even unimodular lattices and obtain families of dense modular lattices.
The automorphism groups of the three known extremal even unimodular lattices of dimension 48 and the one of dimension 72 are computed using the classification of finite simple groups. Restrictions on the possible automorphisms of 48-dimensional extremal lattices are obtained. We classify all extremal lattices of dimension 48 having an automorphism of order $m$ with $φ(m) > 24$. In particular the lattice $P_{48n}$ is the unique extremal 48-dimensional lattice that arises as an ideal lattice over a cyclotomic number field.
Let X be a tight t-design of dimension n for one of the open cases t=5 or t=7. An investigation of the lattice generated by X using arithmetic theory of quadratic forms allows to exclude infinitely many values for n.
A computer calculation with Magma shows that there is no extremal self-dual binary code C of length 72 that has an automorphism group containing D10, Z3xZ3, or Z7. Combining this with the known results in the literature one obtains that Aut(C) is either Z5 or has order dividing 24.
Using the Hermitian tensor product description of the extremal even unimodular lattice of dimension 72 found by Nebe in 2010 we show its extremality with the methods from Coulangeons article in Acta Arith. 2000.
Let $C$ be an extremal self-dual binary code of length 72 and $g\in \Aut(C) $ be an automorphism of order 2. We show that $C$ is a free $\F_2<g>$ module and use this to exclude certain subgroups of order 8 of $\Aut (C)$. We also show that $\Aut(C)$ does not contain an element of order 10.
All extremal ternary codes of length 48 that have some automorphism of prime order $p\geq 5$ are equivalent to one of the two known codes, the Pless code or the extended quadratic residue code.
Establishing the CCZ-equivalence of a pair of APN functions is generally quite difficult. In some cases, when seeking to show that a putative new infinite family of APN functions is CCZ inequivalent to an already known family, we rely on computer calculation for small values of n. In this paper we present a method to prove the inequivalence of quadratic APN functions with the Gold functions. Our main result is that a quadratic function is CCZ-equivalent to an APN Gold function if and only if it is EA-equivalent to that Gold function. As an application of this result, we prove that a trinomial family of APN functions that exist on finite fields of order 2^n where n = 2 mod 4 are CCZ inequivalent to the Gold functions. The proof relies on some knowledge of the automorphism group of a code associated with such a function.
An even unimodular 72-dimensional lattice $Γ$ having minimum 8 is constructed as a tensor product of the Barnes lattice and the Leech lattice over the ring of integers in the imaginary quadratic number field with discriminant $-7$. The automorphism group of $Γ$ contains the absolutely irreducible rational matrix group $(\PSL_2(7) \times \SL _2(25)) : 2$.
The automorphism group of a binary doubly-even self-dual code is always contained in the alternating group. On the other hand, given a permutation group $G$ of degree $n$ there exists a doubly-even self-dual $G$-invariant code if and only if $n$ is a multiple of 8, every simple self-dual $\F_2G$-module occurs with even multiplicity in $\F_2^n$, and $G$ is contained in the alternating group.
For any q which is a power of 2 we describe a finite subgroup of the group of invertible complex q by q matrices under which the complete weight enumerators of generalized doubly-even self-dual codes over the field with q elements are invariant. An explicit description of the invariant ring and some applications to extremality of such codes are obtained in the case q=4.