Showing 1–50 of 140 results for author: Kurz, S

Linear codes for $b$-symbol read channels attaining the Griesmer bound

Authors: Sascha Kurz

Abstract: Reading channels where $b$-tuples of adjacent symbols are read at every step have e.g.\ applications in storage. Corresponding bounds and constructions of codes for the $b$-symbol metric, especially the pair-symbol metric where $b=2$, were intensively studied in the last fifteen years. Here we determine the optimal code parameters of linear codes in the $b$-symbol metric assuming that the minimum… ▽ More Reading channels where $b$-tuples of adjacent symbols are read at every step have e.g.\ applications in storage. Corresponding bounds and constructions of codes for the $b$-symbol metric, especially the pair-symbol metric where $b=2$, were intensively studied in the last fifteen years. Here we determine the optimal code parameters of linear codes in the $b$-symbol metric assuming that the minimum distance is sufficiently large. We also determine the optimal parameters of linear binary codes in the pair-symbol metric for small dimensions. △ Less

Submitted 10 July, 2025; originally announced July 2025.

Comments: 27 pages, 1 table. Comments very welcome!

MSC Class: 05B25; 94B65; 94B60

Nodal surfaces in $\mathbb{P}^3$ and coding theory

Authors: Sascha Kurz

Abstract: To each nodal hypersurface one can associate a binary linear code. Here we show that the binary linear code associated to sextics in $\mathbb{P}^3$ with the maximum number of $65$ nodes, as e.g. the Barth sextic, is unique. We also state possible candidates for codes that might be associated with a hypothetical septic attaining the currently best known upper bound for the maximum number of nodes. To each nodal hypersurface one can associate a binary linear code. Here we show that the binary linear code associated to sextics in $\mathbb{P}^3$ with the maximum number of $65$ nodes, as e.g. the Barth sextic, is unique. We also state possible candidates for codes that might be associated with a hypothetical septic attaining the currently best known upper bound for the maximum number of nodes. △ Less

Submitted 23 May, 2025; originally announced May 2025.

Comments: 11 pages

MSC Class: 14J70; 94B05

Simple games with minimum

Authors: Sascha Kurz, Dani Samaniego

Abstract: Every simple game is a monotone Boolean function. For the other direction we just have to exclude the two constant functions. The enumeration of monotone Boolean functions with distinguishable variables is also known as the Dedekind's problem. The corresponding number for nine variables was determined just recently by two disjoint research groups. Considering permutations of the variables as symme… ▽ More Every simple game is a monotone Boolean function. For the other direction we just have to exclude the two constant functions. The enumeration of monotone Boolean functions with distinguishable variables is also known as the Dedekind's problem. The corresponding number for nine variables was determined just recently by two disjoint research groups. Considering permutations of the variables as symmetries we can also speak about non-equivalent monotone Boolean functions (or simple games). Here we consider simple games with minimum, i.e., simple games with a unique minimal winning vector. A closed formula for the number of such games is found as well as its dimension in terms of the number of players and equivalence classes of players. △ Less

Submitted 31 January, 2025; originally announced January 2025.

Comments: 16 pages, 2 tables

Additive codes attaining the Griesmer bound

Authors: Sascha Kurz

Abstract: Additive codes may have better parameters than linear codes. However, still very few cases are known and the explicit construction of such codes is a challenging problem. Here we show that a Griesmer type bound for the length of additive codes can always be attained with equality if the minimum distance is sufficiently large. This solves the problem for the optimal parameters of additive codes whe… ▽ More Additive codes may have better parameters than linear codes. However, still very few cases are known and the explicit construction of such codes is a challenging problem. Here we show that a Griesmer type bound for the length of additive codes can always be attained with equality if the minimum distance is sufficiently large. This solves the problem for the optimal parameters of additive codes when the minimum distance is large and yields many infinite series of additive codes that outperform linear codes. △ Less

Submitted 19 December, 2024; originally announced December 2024.

Comments: 100 pages, 19 tables

MSC Class: 05B25; 94B65; 94B60

Optimal additive quaternary codes of dimension $3.5$

Authors: Sascha Kurz

Abstract: After the optimal parameters of additive quaternary codes of dimension $k\le 3$ have been determined there is some recent activity to settle the next case of dimension $k=3.5$. Here we complete dimension $k=3.5$ and give partial results for dimension $k=4$. We also solve the problem of the optimal parameters of additive quaternary codes of arbitrary dimension when assuming a sufficiently large min… ▽ More After the optimal parameters of additive quaternary codes of dimension $k\le 3$ have been determined there is some recent activity to settle the next case of dimension $k=3.5$. Here we complete dimension $k=3.5$ and give partial results for dimension $k=4$. We also solve the problem of the optimal parameters of additive quaternary codes of arbitrary dimension when assuming a sufficiently large minimum distance. △ Less

Submitted 23 May, 2025; v1 submitted 10 October, 2024; originally announced October 2024.

Comments: 16 pages, 2 tables; typos corrected, extended details, more results for dimension 4

MSC Class: 94Bxx; 51E22

Computer classification of linear codes based on lattice point enumeration and integer linear programming

Authors: Sascha Kurz

Abstract: Linear codes play a central role in coding theory and have applications in several branches of mathematics. For error correction purposes the minimum Hamming distance should be as large as possible. Linear codes related to applications in Galois Geometry often require a certain divisibility of the occurring weights. In this paper we present an algorithmic framework for the classification of linear… ▽ More Linear codes play a central role in coding theory and have applications in several branches of mathematics. For error correction purposes the minimum Hamming distance should be as large as possible. Linear codes related to applications in Galois Geometry often require a certain divisibility of the occurring weights. In this paper we present an algorithmic framework for the classification of linear codes over finite fields with restricted sets of weights. The underlying algorithms are based on lattice point enumeration and integer linear programming. We present new enumeration and non-existence results for projective two-weight codes, divisible codes, and additive $\mathbb{F}_4$-codes. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: 9 pages

MSC Class: 94B05; 05E20

Non-projective two-weight codes

Authors: Sascha Kurz

Abstract: It has been known since the 1970's that the difference of the non-zero weights of a projective $\mathbb{F}_q$-linear two-weight has to be a power of the characteristic of the underlying field. Here we study non-projective two-weight codes and e.g.\ show the same result under mild extra conditions. For small dimensions we give exhaustive enumerations of the feasible parameters in the binary case. It has been known since the 1970's that the difference of the non-zero weights of a projective $\mathbb{F}_q$-linear two-weight has to be a power of the characteristic of the underlying field. Here we study non-projective two-weight codes and e.g.\ show the same result under mild extra conditions. For small dimensions we give exhaustive enumerations of the feasible parameters in the binary case. △ Less

Submitted 27 February, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

Comments: 27 pages, 14 tables, appendix on parameters of projective two-weight codes added

MSC Class: 94B05; 05B25; 68R01

Bounds on the minimum distance of locally recoverable codes

Authors: Sascha Kurz

Abstract: We consider locally recoverable codes (LRCs) and aim to determine the smallest possible length $n=n_q(k,d,r)$ of a linear $[n,k,d]_q$-code with locality $r$. For $k\le 7$ we exactly determine all values of $n_2(k,d,2)$ and for $k\le 6$ we exactly determine all values of $n_2(k,d,1)$. For the ternary field we also state a few numerical results. As a general result we prove that $n_q(k,d,r)$ equals… ▽ More We consider locally recoverable codes (LRCs) and aim to determine the smallest possible length $n=n_q(k,d,r)$ of a linear $[n,k,d]_q$-code with locality $r$. For $k\le 7$ we exactly determine all values of $n_2(k,d,2)$ and for $k\le 6$ we exactly determine all values of $n_2(k,d,1)$. For the ternary field we also state a few numerical results. As a general result we prove that $n_q(k,d,r)$ equals the Griesmer bound if the minimum Hamming distance $d$ is sufficiently large and all other parameters are fixed. △ Less

Submitted 31 December, 2023; originally announced January 2024.

Comments: 23 pages, 3 tables

MSC Class: 94B27; 94B05

Divisible minimal codes

Authors: Vladimir Chubenko, Sascha Kurz

Abstract: Minimal codes are linear codes where all non-zero codewords are minimal, i.e., whose support is not properly contained in the support of another codeword. The minimum possible length of such a $k$-dimensional linear code over $\mathbb{F}_q$ is denoted by $m(k,q)$. Here we determine $m(7,2)$, $m(8,2)$, and $m(9,2)$, as well as full classifications of all codes attaining $m(k,2)$ for $k\le 7$ and th… ▽ More Minimal codes are linear codes where all non-zero codewords are minimal, i.e., whose support is not properly contained in the support of another codeword. The minimum possible length of such a $k$-dimensional linear code over $\mathbb{F}_q$ is denoted by $m(k,q)$. Here we determine $m(7,2)$, $m(8,2)$, and $m(9,2)$, as well as full classifications of all codes attaining $m(k,2)$ for $k\le 7$ and those attaining $m(9,2)$. We give improved upper bounds for $m(k,2)$ for all $10\le k\le 17$. It turns out that in many cases the attaining extremal codes have the property that the weights of all codewords are divisible by some constant $Δ>1$. So, here we study the minimum lengths of minimal codes where we additionally assume that the weights of the codewords are divisible by $Δ$. As a byproduct we also give a few binary linear codes improving the best known lower bound for the minimum distance. △ Less

Submitted 5 June, 2025; v1 submitted 1 December, 2023; originally announced December 2023.

Comments: 22 pages, 2 tables; typos corrected

MSC Class: 94B05 (51E23)

On the exponential stability of uniformly damped wave equations

Authors: Herbert Egger, Stefan Kurz, Richard Löscher

Abstract: We study damped wave propagation problems phrased as abstract evolution equations in Hilbert spaces. Under some general assumptions, including a natural compatibility condition for initial values, we establish exponential decay estimates for all mild solutions using the language and tools of Hilbert complexes. This framework turns out strong enough to conduct our analysis but also general enough t… ▽ More We study damped wave propagation problems phrased as abstract evolution equations in Hilbert spaces. Under some general assumptions, including a natural compatibility condition for initial values, we establish exponential decay estimates for all mild solutions using the language and tools of Hilbert complexes. This framework turns out strong enough to conduct our analysis but also general enough to include a number of interesting examples. Some of these are briefly discussed. By a slight modification of the main arguments, we also obtain corresponding decay results for numerical approximations obtained by compatible discretization strategies. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Lengths of divisible codes -- the missing cases

Authors: Sascha Kurz

Abstract: A linear code $C$ over $\mathbb{F}_q$ is called $Δ$-divisible if the Hamming weights $\operatorname{wt}(c)$ of all codewords $c \in C$ are divisible by $Δ$. The possible effective lengths of $q^r$-divisible codes have been completely characterized for each prime power $q$ and each non-negative integer $r$. The study of $Δ$ divisible codes was initiated by Harold Ward. If $c$ divides $Δ$ but is cop… ▽ More A linear code $C$ over $\mathbb{F}_q$ is called $Δ$-divisible if the Hamming weights $\operatorname{wt}(c)$ of all codewords $c \in C$ are divisible by $Δ$. The possible effective lengths of $q^r$-divisible codes have been completely characterized for each prime power $q$ and each non-negative integer $r$. The study of $Δ$ divisible codes was initiated by Harold Ward. If $c$ divides $Δ$ but is coprime to $q$, then each $Δ$-divisible code $C$ over $\F_q$ is the $c$-fold repetition of a $Δ/c$-divisible code. Here we determine the possible effective lengths of $p^r$-divisible codes over finite fields of characteristic $p$, where $p\in\mathbb{N}$ but $p^r$ is not a power of the field size, i.e., the missing cases. △ Less

Submitted 29 February, 2024; v1 submitted 3 November, 2023; originally announced November 2023.

Comments: 11 pages, 1 table

MSC Class: 51E23; 05B40)

Trifferent codes with small lengths

Authors: Sascha Kurz

Abstract: A code $C \subseteq \{0, 1, 2\}^n$ of length $n$ is called trifferent if for any three distinct elements of $C$ there exists a coordinate in which they all differ. By $T(n)$ we denote the maximum cardinality of trifferent codes with length. $T(5)=10$ and $T(6)=13$ were recently determined. Here we determine $T(7)=16$, $T(8)=20$, and $T(9)=27$. For the latter case $n=9$ there also exist linear code… ▽ More A code $C \subseteq \{0, 1, 2\}^n$ of length $n$ is called trifferent if for any three distinct elements of $C$ there exists a coordinate in which they all differ. By $T(n)$ we denote the maximum cardinality of trifferent codes with length. $T(5)=10$ and $T(6)=13$ were recently determined. Here we determine $T(7)=16$, $T(8)=20$, and $T(9)=27$. For the latter case $n=9$ there also exist linear codes attaining the maximum possible cardinality $27$. △ Less

Submitted 20 October, 2023; originally announced October 2023.

Comments: 11 pages, 3 tables

MSC Class: 68R05; 68Q17

Lengths of divisible codes with restricted column multiplicities

Authors: Theresa Körner, Sascha Kurz

Abstract: We determine the minimum possible column multiplicity of even, doubly-, and triply-even codes given their length. This refines a classification result for the possible lengths of $q^r$-divisible codes over $\mathbb{F}_q$. We also give a few computational results for field sizes $q>2$. Non-existence results of divisible codes with restricted column multiplicities for a given length have application… ▽ More We determine the minimum possible column multiplicity of even, doubly-, and triply-even codes given their length. This refines a classification result for the possible lengths of $q^r$-divisible codes over $\mathbb{F}_q$. We also give a few computational results for field sizes $q>2$. Non-existence results of divisible codes with restricted column multiplicities for a given length have applications e.g. in Galois geometry and can be used for upper bounds on the maximum cardinality of subspace codes. △ Less

Submitted 3 November, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: 26 pages, 7 tables

MSC Class: 51E23; 05B40

Vector space partitions of $\operatorname{GF}(2)^8$

Authors: Sascha Kurz

Abstract: A vector space partition $\mathcal{P}$ of the projective space $\operatorname{PG}(v-1,q)$ is a set of subspaces in $\operatorname{PG}(v-1,q)$ which partitions the set of points. We say that a vector space partition $\mathcal{P}$ has type $(v-1)^{m_{v-1}} \dots 2^{m_2}1^{m_1}$ if precisely $m_i$ of its elements have dimension $i$, where $1\le i\le v-1$. Here we determine all possible types of vecto… ▽ More A vector space partition $\mathcal{P}$ of the projective space $\operatorname{PG}(v-1,q)$ is a set of subspaces in $\operatorname{PG}(v-1,q)$ which partitions the set of points. We say that a vector space partition $\mathcal{P}$ has type $(v-1)^{m_{v-1}} \dots 2^{m_2}1^{m_1}$ if precisely $m_i$ of its elements have dimension $i$, where $1\le i\le v-1$. Here we determine all possible types of vector space partitions in $\operatorname{PG}(7,2)$. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: 27 pages

Irreducible subcube partitions

Authors: Yuval Filmus, Edward Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Riazanov, Alexander Smal, Marc Vinyals

Abstract: A \emph{subcube partition} is a partition of the Boolean cube $\{0,1\}^n$ into subcubes. A subcube partition is irreducible if the only sub-partitions whose union is a subcube are singletons and the entire partition. A subcube partition is tight if it "mentions" all coordinates. We study extremal properties of tight irreducible subcube partitions: minimal size, minimal weight, maximal number of po… ▽ More A \emph{subcube partition} is a partition of the Boolean cube $\{0,1\}^n$ into subcubes. A subcube partition is irreducible if the only sub-partitions whose union is a subcube are singletons and the entire partition. A subcube partition is tight if it "mentions" all coordinates. We study extremal properties of tight irreducible subcube partitions: minimal size, minimal weight, maximal number of points, maximal size, and maximal minimum dimension. We also consider the existence of homogeneous tight irreducible subcube partitions, in which all subcubes have the same dimensions. We additionally study subcube partitions of $\{0,\dots,q-1\}^n$, and partitions of $\mathbb{F}_2^n$ into affine subspaces, in both cases focusing on the minimal size. Our constructions and computer experiments lead to several conjectures on the extremal values of the aforementioned properties. △ Less

Submitted 18 August, 2023; v1 submitted 30 December, 2022; originally announced December 2022.

Comments: 39 pages

The Geometry of $(t\mod{q})$-arcs

Authors: Sascha Kurz, Ivan Landjev, Francesco Pavese, Assia Rousseva

Abstract: In this paper, we give a geometric construction of the three strong non-lifted $(3\mod{5})$-arcs in $\operatorname{PG}(3,5)$ of respective sizes 128, 143, and 168, and construct an infinite family of non-lifted, strong $(t\mod{q})$-arcs in $\operatorname{PG}(r,q)$ with $t=(q+1)/2$ for all $r\ge3$ and all odd prime powers $q$. In this paper, we give a geometric construction of the three strong non-lifted $(3\mod{5})$-arcs in $\operatorname{PG}(3,5)$ of respective sizes 128, 143, and 168, and construct an infinite family of non-lifted, strong $(t\mod{q})$-arcs in $\operatorname{PG}(r,q)$ with $t=(q+1)/2$ for all $r\ge3$ and all odd prime powers $q$. △ Less

Submitted 30 November, 2022; originally announced November 2022.

Comments: 11 pages

MSC Class: 51E22; 51E21; 94B05

Affine vector space partitions

Authors: John Bamberg, Yuval Filmus, Ferdinand Ihringer, Sascha Kurz

Abstract: An affine vector space partition of $\operatorname{AG}(n,q)$ is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes. An affine vector space partition of $\operatorname{AG}(n,q)$ is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes. △ Less

Submitted 14 October, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 24 pages, accepted version

Varieties of Nodal surfaces, coding theory and Discriminants of cubic hypersurfaces. Part 1: Generalities and nodal K3 surfaces. Part 2: Cubic Hypersurfaces, associated discriminants. Part 3: Nodal quintics. Part 4: Nodal sextics

Authors: Fabrizio Catanese, in collaboration with Yonghwa Cho, Stephen Coughlan, Davide Frapporti, Alessandro Verra, Michael Kiermaier, Sascha Kurz

Abstract: We attach two binary codes to a projective nodal surface (the strict code K and, for even degree d, the extended code K' ) to investigate the `Nodal Severi varieties F(d, n) of nodal surfaces in P^3 of degree d and with n nodes, and their incidence hierarchy, relating partial smoothings to code shortenings. Our first main result solves a question which dates back over 100 years: the irreducible co… ▽ More We attach two binary codes to a projective nodal surface (the strict code K and, for even degree d, the extended code K' ) to investigate the `Nodal Severi varieties F(d, n) of nodal surfaces in P^3 of degree d and with n nodes, and their incidence hierarchy, relating partial smoothings to code shortenings. Our first main result solves a question which dates back over 100 years: the irreducible components of F(4, n) are in bijection with the isomorphism classes of their extended codes K', and these are exactly all the 34 possible shortenings of the extended Kummer code K' , and a component is in the closure of another if and only if the code of the latter is a shortening of the code of the former. We extend this result classifying the irreducible components of all nodal K3 surfaces in the same way, and we fully classify their extended codes. In this classification there are some sporadic cases, obtain through projection from a node. For surfaces of degree d=5 in P^3 we determine (with one possible exception) all the possible codes K, and for several cases of K, we show the irreducibility of the corresponding open set of F(5, n), for instance we show the irreducibility of the family of Togliatti quintic surfaces. In the fourth part we show that a `Togliatti-like' description holds for surfaces of degree 6 with the maximum number of nodes= 65: they are discriminants of cubic hypersurfaces in P^6 with 31 (respectively 32) nodes, and we have an irreducible 18-dimensional family of them. For degree d=6, our main result is based on some novel auxiliary results: 1) the study of the half-even sets of nodes on sextic surfaces, 2) the investigation of discriminants of cubic hypersurfaces X, 3) the computer assisted proof that, for n = 65, both codes K, K' are uniquely determined, 4) the description of these codes, relating the geometry of the Barth sextic with the Doro-Hall graph. △ Less

Submitted 5 June, 2025; v1 submitted 11 June, 2022; originally announced June 2022.

Comments: 205 pages. Part 1: Fabrizio Catanese. Part 2: Fabrizio Catanese, Yonghwa Cho, Stephen Coughlan, Davide Frapporti. Part 3: Fabrizio Catanese, Alessandro Verra. Part 4: Fabrizio Catanese, Yonghwa Cho, Michael Kiermaier. With Appendices by Michael Kiermaier and Sascha Kurz. v4: minor changes and corrections to text

Plane point sets with many squares or isosceles right triangles

Authors: Sascha Kurz

Abstract: How many squares are spanned by $n$ points in the plane? Here we study the corresponding maximum possible number $S_{\square}(n)$ of squares and determine the exact values for all $n\le 17$. For $18\le n\le 100$ we give lower bounds for $S_{\square}(n)$. Besides that a few preliminary structural results are obtained. For the related problem of the maximum possible number of isosceles right triangl… ▽ More How many squares are spanned by $n$ points in the plane? Here we study the corresponding maximum possible number $S_{\square}(n)$ of squares and determine the exact values for all $n\le 17$. For $18\le n\le 100$ we give lower bounds for $S_{\square}(n)$. Besides that a few preliminary structural results are obtained. For the related problem of the maximum possible number of isosceles right triangles we determine the exact values for $n\le 14$ and give lower bounds for $15\le n\le 50$. △ Less

Submitted 23 December, 2021; originally announced December 2021.

Comments: 31 pages, 9 tables, 10 figures

MSC Class: 52C10 (05C35)

Constructions and bounds for subspace codes

Authors: Sascha Kurz

Abstract: Subspace codes are the $q$-analog of binary block codes in the Hamming metric. Here the codewords are vector spaces over a finite field. They have e.g. applications in random linear network coding, distributed storage, and cryptography. In this chapter we survey known constructions and upper bounds for subspace codes. Subspace codes are the $q$-analog of binary block codes in the Hamming metric. Here the codewords are vector spaces over a finite field. They have e.g. applications in random linear network coding, distributed storage, and cryptography. In this chapter we survey known constructions and upper bounds for subspace codes. △ Less

Submitted 22 December, 2023; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: 105 pages; typos corrected and references updated

MSC Class: 51E23 (05B40 11T71 94B25)

Divisible Codes

Authors: Sascha Kurz

Abstract: A linear code over $\mathbb{F}_q$ with the Hamming metric is called $Δ$-divisible if the weights of all codewords are divisible by $Δ$. They have been introduced by Harold Ward a few decades ago. Applications include subspace codes, partial spreads, vector space partitions, and distance optimal codes. The determination of the possible lengths of projective divisible codes is an interesting and com… ▽ More A linear code over $\mathbb{F}_q$ with the Hamming metric is called $Δ$-divisible if the weights of all codewords are divisible by $Δ$. They have been introduced by Harold Ward a few decades ago. Applications include subspace codes, partial spreads, vector space partitions, and distance optimal codes. The determination of the possible lengths of projective divisible codes is an interesting and comprehensive challenge. △ Less

Submitted 22 December, 2023; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: 105 pages; typos corrected and references updated

MSC Class: 94B05 (51E23)

Squares with three digits

Authors: Michael Geißer, Theresa Körner, Sascha Kurz, Anne Zahn

Abstract: We consider integers whose squares have just three decimal digits. Examples are e.g. given by $2108436491907081488939581538^2 = 4445504440405440505004450045555054500055550554550445444$ and $10100000000010401000000000101^2 = 102010000000210100200000110221001000002101002000000010201$. The aim of this paper is to summarize the current knowledge on squares with three digits, scattered around webpages… ▽ More We consider integers whose squares have just three decimal digits. Examples are e.g. given by $2108436491907081488939581538^2 = 4445504440405440505004450045555054500055550554550445444$ and $10100000000010401000000000101^2 = 102010000000210100200000110221001000002101002000000010201$. The aim of this paper is to summarize the current knowledge on squares with three digits, scattered around webpages and newsgroup postings, and to add a few new insights. While we will mostly focus on the base $B=10$, several results are presented for general values of $B$. The used mathematical tools are completely elementary. However, we give complete proofs of all statements or explicitly state them as conjectures. △ Less

Submitted 10 January, 2022; v1 submitted 1 December, 2021; originally announced December 2021.

Comments: 42 pages, 6 tables; typos corrected

MSC Class: 11A63; 00A08

A note on simple games with two equivalence classes of players

Authors: Sascha Kurz, Dani Samaniego

Abstract: Many real-world voting systems consist of voters that occur in just two different types. Indeed, each voting system with a {\lq\lq}House{\rq\rq} and a {\lq\lq}Senat{\rq\rq} is of that type. Here we present structural characterizations and explicit enumeration formulas for these so-called bipartite simple games. Many real-world voting systems consist of voters that occur in just two different types. Indeed, each voting system with a {\lq\lq}House{\rq\rq} and a {\lq\lq}Senat{\rq\rq} is of that type. Here we present structural characterizations and explicit enumeration formulas for these so-called bipartite simple games. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Comments: 13 pages

MSC Class: 05A15; 91B12

The Johnson-Nédélec FEM-BEM Coupling for magnetostatic problems in the isogeometric framework

Authors: Mehdi Elasmi, Christoph Erath, Stefan Kurz

Abstract: We consider a Johnson-Nédélec FEM-BEM coupling, which is a direct and non-symmetric coupling of finite and boundary element methods, in order to solve interface problems for the magnetostatic Maxwell's equations with the magnetic vector potential ansatz. In the FEM-domain, equations may be non-linear, whereas they are exclusively linear in the BEM-part to guarantee the existence of a fundamental s… ▽ More We consider a Johnson-Nédélec FEM-BEM coupling, which is a direct and non-symmetric coupling of finite and boundary element methods, in order to solve interface problems for the magnetostatic Maxwell's equations with the magnetic vector potential ansatz. In the FEM-domain, equations may be non-linear, whereas they are exclusively linear in the BEM-part to guarantee the existence of a fundamental solution. First, the weak problem is formulated in quotient spaces to avoid resolving to a saddle point problem. Second, we establish in this setting well-posedness of the arising problem using the framework of Lipschitz and strongly monotone operators as well as a stability result for a special type of non-linearity, which is typically considered in magnetostatic applications. Then, the discretization is performed in the isogeometric context, i.e., the same type of basis functions that are used for geometry design are considered as ansatz functions for the discrete setting. In particular, NURBS are employed for geometry considerations, and B-Splines, which can be understood as a special type of NURBS, for analysis purposes. In this context, we derive a priori estimates w.r.t. h-refinement, and point out to an interesting behavior of BEM, which consists in an amelioration of the convergence rates, when a functional of the solution is evaluated in the exterior BEM-domain. This improvement may lead to a doubling of the convergence rate under certain assumptions. Finally, we end the paper with a numerical example to illustrate the theoretical results, along with a conclusion and an outlook. △ Less

Submitted 8 October, 2021; originally announced October 2021.

The interplay of different metrics for the construction of constant dimension codes

Authors: Sascha Kurz

Abstract: A basic problem for constant dimension codes is to determine the maximum possible size $A_q(n,d;k)$ of a set of $k$-dimensional subspaces in $\mathbb{F}_q^n$, called codewords, such that the subspace distance satisfies $d_S(U,W):=2k-2\dim(U\cap W)\ge d$ for all pairs of different codewords $U$, $W$. Constant dimension codes have applications in e.g.\ random linear network coding, cryptography, and… ▽ More A basic problem for constant dimension codes is to determine the maximum possible size $A_q(n,d;k)$ of a set of $k$-dimensional subspaces in $\mathbb{F}_q^n$, called codewords, such that the subspace distance satisfies $d_S(U,W):=2k-2\dim(U\cap W)\ge d$ for all pairs of different codewords $U$, $W$. Constant dimension codes have applications in e.g.\ random linear network coding, cryptography, and distributed storage. Bounds for $A_q(n,d;k)$ are the topic of many recent research papers. Providing a general framework we survey many of the latest constructions and show up the potential for further improvements. As examples we give improved constructions for the cases $A_q(10,4;5)$, $A_q(11,4;4)$, $A_q(12,6;6)$, and $A_q(15,4;4)$. We also derive general upper bounds for subcodes arising in those constructions. △ Less

Submitted 14 November, 2021; v1 submitted 15 September, 2021; originally announced September 2021.

Comments: 19 pages; typos corrected

MSC Class: Primary: 51E23; 05B40; Secondary: 11T71; 94B25

Journal ref: Advances in Mathematics of Communications, 17(1):152--171, 2023

Classification of $3 \operatorname{mod} 5$ arcs in $\operatorname{PG}(3,5)$

Authors: Sascha Kurz, Ivan Landjev, Assia Rousseva

Abstract: The proof of the non-existence of Griesmer $[104, 4, 82]_5$-codes is just one of many examples where extendability results are used. In a series of papers Landjev and Rousseva have introduced the concept of $(t\operatorname{mod} q)$-arcs as a general framework for extendability results for codes and arcs. Here we complete the known partial classification of $(3 \operatorname{mod} 5)$-arcs in… ▽ More The proof of the non-existence of Griesmer $[104, 4, 82]_5$-codes is just one of many examples where extendability results are used. In a series of papers Landjev and Rousseva have introduced the concept of $(t\operatorname{mod} q)$-arcs as a general framework for extendability results for codes and arcs. Here we complete the known partial classification of $(3 \operatorname{mod} 5)$-arcs in $\operatorname{PG}(3,5)$ and uncover two missing, rather exceptional, examples disproving a conjecture of Landjev and Rousseva. As also the original non-existence proof of Griesmer $[104, 4, 82]_5$-codes is affected, we present an extended proof to fill this gap. △ Less

Submitted 14 November, 2021; v1 submitted 10 August, 2021; originally announced August 2021.

Comments: 33 pages, 15 tables; typos corrected

MSC Class: Primary: 51E22; Secondary: 51E21; 94B05

Journal ref: Advances in Mathematics of Communications, 17(1):172--206, 2023

Classification of 8-divisible binary linear codes with minimum distance 24

Authors: Sascha Kurz

Abstract: We classify 8-divisible binary linear codes with minimum distance 24 and small length. As an application we consider the codes associated to nodal sextics with 65 ordinary double points. We classify 8-divisible binary linear codes with minimum distance 24 and small length. As an application we consider the codes associated to nodal sextics with 65 ordinary double points. △ Less

Submitted 11 December, 2020; originally announced December 2020.

Comments: 53 pages

MSC Class: 94B05

On strongly walk regular graphs, triple sum sets and their codes

Authors: Michael Kiermaier, Sascha Kurz, Patrick Solé, Michael Stoll, Alfred Wassermann

Abstract: Strongly walk regular graphs (SWRGs or $s$-SWRGs) form a natural generalization of strongly regular graphs (SRGs) where paths of length~2 are replaced by paths of length~$s$. They can be constructed as coset graphs of the duals of projective three-weight codes whose weights satisfy a certain equation. We provide classifications of the feasible parameters of these codes in the binary and ternary ca… ▽ More Strongly walk regular graphs (SWRGs or $s$-SWRGs) form a natural generalization of strongly regular graphs (SRGs) where paths of length~2 are replaced by paths of length~$s$. They can be constructed as coset graphs of the duals of projective three-weight codes whose weights satisfy a certain equation. We provide classifications of the feasible parameters of these codes in the binary and ternary case for medium size code lengths. For the binary case, the divisibility of the weights of these codes is investigated and several general results are shown. It is known that an $s$-SWRG has at most 4 distinct eigenvalues $k > θ_1 > θ_2 > θ_3$, and that the triple $(θ_1, θ_2, θ_3)$ satisfies a certain homogeneous polynomial equation of degree $s - 2$ (Van Dam, Omidi, 2013). This equation defines a plane algebraic curve; we use methods from algorithmic arithmetic geometry to show that for $s = 5$ and $s = 7$, there are only the obvious solutions, and we conjecture this to remain true for all (odd) $s \ge 9$. △ Less

Submitted 5 October, 2022; v1 submitted 11 December, 2020; originally announced December 2020.

Comments: 42 pages

MSC Class: Primary 05E30; Secondary 11D41; 94B05

Bounds for the multilevel construction

Authors: Tao Feng, Sascha Kurz, Shuangqing Liu

Abstract: One of the main problems in random network coding is to compute good lower and upper bounds on the achievable cardinality of the so-called subspace codes in the projective space $\mathcal{P}_q(n)$ for a given minimum distance. The determination of the exact maximum cardinality is a very tough discrete optimization problem involving a huge number of symmetries. Besides some explicit constructions f… ▽ More One of the main problems in random network coding is to compute good lower and upper bounds on the achievable cardinality of the so-called subspace codes in the projective space $\mathcal{P}_q(n)$ for a given minimum distance. The determination of the exact maximum cardinality is a very tough discrete optimization problem involving a huge number of symmetries. Besides some explicit constructions for \textit{good} subspace codes several of the most success full constructions involve the solution of discrete optimization subproblems itself, which mostly have not been not been solved systematically. Here we consider the multilevel a.k.a.\ Echelon--Ferrers construction and given lower and upper bounds for the achievable cardinalities. From a more general point of view, we solve maximum clique problems in weighted graphs, where the weights can be polynomials in the field size $q$. △ Less

Submitted 13 November, 2020; originally announced November 2020.

Comments: 95 pages

MSC Class: 51E23; 05B15; 05B40; 11T71; 94B25

Classification of $Δ$-divisible linear codes spanned by codewords of weight $Δ$

Authors: Michael Kiermaier, Sascha Kurz

Abstract: We classify all $q$-ary $Δ$-divisible linear codes which are spanned by codewords of weight $Δ$. The basic building blocks are the simplex codes, and for $q=2$ additionally the first order Reed-Muller codes and the parity check codes. This generalizes a result of Pless and Sloane, where the binary self-orthogonal codes spanned by codewords of weight $4$ have been classified, which is the case… ▽ More We classify all $q$-ary $Δ$-divisible linear codes which are spanned by codewords of weight $Δ$. The basic building blocks are the simplex codes, and for $q=2$ additionally the first order Reed-Muller codes and the parity check codes. This generalizes a result of Pless and Sloane, where the binary self-orthogonal codes spanned by codewords of weight $4$ have been classified, which is the case $q=2$ and $Δ=4$ of our classification. As an application, we give an alternative proof of a theorem of Liu on binary $Δ$-divisible codes of length $4Δ$ in the projective case. △ Less

Submitted 15 February, 2023; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: 12 pages; typos corrected

MSC Class: 94B05

A generalization of the cylinder conjecture for divisible codes

Authors: Sascha Kurz, Sam Mattheus

Abstract: We extend the original cylinder conjecture on point sets in affine three-dimensional space to the more general framework of divisible linear codes over $\mathbb{F}_q$ and their classification. Through a mix of linear programming, combinatorial techniques and computer enumeration, we investigate the structural properties of these codes. In this way, we can prove a reduction theorem for a generaliza… ▽ More We extend the original cylinder conjecture on point sets in affine three-dimensional space to the more general framework of divisible linear codes over $\mathbb{F}_q$ and their classification. Through a mix of linear programming, combinatorial techniques and computer enumeration, we investigate the structural properties of these codes. In this way, we can prove a reduction theorem for a generalization of the cylinder conjecture, show some instances where it does not hold and prove its validity for small values of $q$. In particular, we correct a flawed proof for the original cylinder conjecture for $q = 5$ and present the first proof for $q = 7$. △ Less

Submitted 5 November, 2020; originally announced November 2020.

Comments: 16 pages

MSC Class: Primary 05B25; Secondary 51D20; 51E22

On the maximum number of minimal codewords

Authors: Romar dela Cruz, Sascha Kurz

Abstract: Minimal codewords have applications in decoding linear codes and in cryptography. We study the maximum number of minimal codewords in binary linear codes of a given length and dimension. Improved lower and upper bounds on the maximum number are presented. We determine the exact values for the case of linear codes of dimension $k$ and length $k+2$ and for small values of the length and dimension. W… ▽ More Minimal codewords have applications in decoding linear codes and in cryptography. We study the maximum number of minimal codewords in binary linear codes of a given length and dimension. Improved lower and upper bounds on the maximum number are presented. We determine the exact values for the case of linear codes of dimension $k$ and length $k+2$ and for small values of the length and dimension. We also give a formula for the number of minimal codewords of linear codes of dimension $k$ and length $k+3$. △ Less

Submitted 21 October, 2020; originally announced October 2020.

Comments: 13 pages, 1 table

Non-symmetric isogeometric FEM-BEM couplings

Authors: Mehdi Elasmi, Christoph Erath, Stefan Kurz

Abstract: We present a coupling of the Finite Element and the Boundary Element Method in an isogeometric framework to approximate either two-dimensional Laplace interface problems or boundary value problems consisting in two disjoint domains. We consider the Finite Element Method in the bounded domains to simulate possibly non-linear materials. The Boundary Element Method is applied in unbounded or thin dom… ▽ More We present a coupling of the Finite Element and the Boundary Element Method in an isogeometric framework to approximate either two-dimensional Laplace interface problems or boundary value problems consisting in two disjoint domains. We consider the Finite Element Method in the bounded domains to simulate possibly non-linear materials. The Boundary Element Method is applied in unbounded or thin domains where the material behavior is linear. The isogeometric framework allows to combine different design and analysis tools: first, we consider the same type of NURBS parameterizations for an exact geometry representation and second, we use the numerical analysis for the Galerkin approximation. Moreover, it facilitates to perform h- and p-refinements. For the sake of analysis, we consider the framework of strongly monotone and Lipschitz continuous operators to ensure well-posedness of the coupled system. Furthermore, we provide an a priori error estimate. We additionally show an improved convergence behavior for the errors in functionals of the solution that may double the rate under certain assumptions. Numerical examples conclude the work which illustrate the theoretical results. △ Less

Submitted 23 July, 2020; v1 submitted 17 July, 2020; originally announced July 2020.

MSC Class: 65N12; 65N30; 65N38; 78M10; 78M15

No projective 16-divisible binary linear code of length 131 exists

Authors: Sascha Kurz

Abstract: We show that no projective 16-divisible binary linear code of length 131 exists. This implies several improved upper bounds for constant-dimension codes, used in random linear network coding, and partial spreads. We show that no projective 16-divisible binary linear code of length 131 exists. This implies several improved upper bounds for constant-dimension codes, used in random linear network coding, and partial spreads. △ Less

Submitted 18 June, 2020; originally announced June 2020.

Comments: 4 pages

A note on the growth of the dimension in complete simple games

Authors: Sascha Kurz

Abstract: The remoteness from a simple game to a weighted game can be measured by the concept of the dimension or the more general Boolean dimension. It is known that both notions can be exponential in the number of voters. For complete simple games it was only recently shown that the dimension can also be exponential. Here we show that this is also the case for complete simple games with two types of voter… ▽ More The remoteness from a simple game to a weighted game can be measured by the concept of the dimension or the more general Boolean dimension. It is known that both notions can be exponential in the number of voters. For complete simple games it was only recently shown that the dimension can also be exponential. Here we show that this is also the case for complete simple games with two types of voters and for the Boolean dimension of general complete simple games, which was posed as an open problem. △ Less

Submitted 9 June, 2020; originally announced June 2020.

Comments: 9 pages

MSC Class: 91B12; 91A12

On the number of minimal codewords in codes generated by the adjacency matrix of a graph

Authors: Sascha Kurz

Abstract: Minimal codewords have applications in decoding linear codes and in cryptography. We study the number of minimal codewords in binary linear codes that arise by appending a unit matrix to the adjacency matrix of a graph. Minimal codewords have applications in decoding linear codes and in cryptography. We study the number of minimal codewords in binary linear codes that arise by appending a unit matrix to the adjacency matrix of a graph. △ Less

Submitted 4 June, 2020; originally announced June 2020.

Comments: 11 pages

Bounds for flag codes

Authors: Sascha Kurz

Abstract: The application of flags to network coding has been introduced recently by Liebhold, Nebe, and Vazquez-Castro. It is a variant to random linear network coding and explicit routing solutions for given networks. Here we study lower and upper bounds for the maximum possible cardinality of a corresponding flag code with given parameters. The application of flags to network coding has been introduced recently by Liebhold, Nebe, and Vazquez-Castro. It is a variant to random linear network coding and explicit routing solutions for given networks. Here we study lower and upper bounds for the maximum possible cardinality of a corresponding flag code with given parameters. △ Less

Submitted 13 September, 2021; v1 submitted 10 May, 2020; originally announced May 2020.

Comments: 23 pages, 6 tables, typos corrected

MSC Class: 51E20; 94B65; 94B99; 05B25

Solving Maxwell's Eigenvalue Problem via Isogeometric Boundary Elements and a Contour Integral Method

Authors: Stefan Kurz, Sebastian Schöps, Gerhard Unger, Felix Wolf

Abstract: We solve Maxwell's eigenvalue problem via isogeometric boundary elements and a contour integral method. We discuss the analytic properties of the discretisation, outline the implementation, and showcase numerical examples. We solve Maxwell's eigenvalue problem via isogeometric boundary elements and a contour integral method. We discuss the analytic properties of the discretisation, outline the implementation, and showcase numerical examples. △ Less

Submitted 8 June, 2020; v1 submitted 27 January, 2020; originally announced January 2020.

MSC Class: 34L16; 35P30; 65N38; 65D07

Journal ref: Mathematical Methods in the Applied Sciences, May 2021

PIR Codes with Short Block Length

Authors: Sascha Kurz, Eitan Yaakobi

Abstract: In this work private information retrieval (PIR) codes are studied. In a $k$-PIR code, $s$ information bits are encoded in such a way that every information bit has $k$ mutually disjoint recovery sets. The main problem under this paradigm is to minimize the number of encoded bits given the values of $s$ and $k$, where this value is denoted by $P(s,k)$. The main focus of this work is to analyze… ▽ More In this work private information retrieval (PIR) codes are studied. In a $k$-PIR code, $s$ information bits are encoded in such a way that every information bit has $k$ mutually disjoint recovery sets. The main problem under this paradigm is to minimize the number of encoded bits given the values of $s$ and $k$, where this value is denoted by $P(s,k)$. The main focus of this work is to analyze $P(s,k)$ for a large range of parameters of $s$ and $k$. In particular, we improve upon several of the existing results on this value. △ Less

Submitted 10 January, 2020; originally announced January 2020.

Comments: 10 pages, 1 table

MSC Class: 68P30 ACM Class: E.4

On projective $q^r$-divisible codes

Authors: Daniel Heinlein, Thomas Honold, Michael Kiermaier, Sascha Kurz, Alfred Wassermann

Abstract: A projective linear code over $\mathbb{F}_q$ is called $Δ$-divisible if all weights of its codewords are divisible by $Δ$. Especially, $q^r$-divisible projective linear codes, where $r$ is some integer, arise in many applications of collections of subspaces in $\mathbb{F}_q^v$. One example are upper bounds on the cardinality of partial spreads. Here we survey the known results on the possible leng… ▽ More A projective linear code over $\mathbb{F}_q$ is called $Δ$-divisible if all weights of its codewords are divisible by $Δ$. Especially, $q^r$-divisible projective linear codes, where $r$ is some integer, arise in many applications of collections of subspaces in $\mathbb{F}_q^v$. One example are upper bounds on the cardinality of partial spreads. Here we survey the known results on the possible lengths of projective $q^r$-divisible linear codes. △ Less

Submitted 20 December, 2019; originally announced December 2019.

Comments: 38 pages

MSC Class: Primary: 94B05; 94B65; Secondary: 05B40; 94B27

On the minimum number of minimal codewords

Authors: Romar dela Cruz, Michael Kiermaier, Sascha Kurz, Alfred Wassermann

Abstract: We study the minimum number of minimal codewords in linear codes from the point of view of projective geometry. We derive bounds and in some cases determine the exact values. We also present an extension to minimal subcode supports. We study the minimum number of minimal codewords in linear codes from the point of view of projective geometry. We derive bounds and in some cases determine the exact values. We also present an extension to minimal subcode supports. △ Less

Submitted 20 December, 2019; originally announced December 2019.

Comments: 8 pages, 1 table

LinCode -- computer classification of linear codes

Authors: Sascha Kurz

Abstract: We present an algorithm for the classification of linear codes over finite fields, based on lattice point enumeration. We validate a correct implementation of our algorithm with known classification results from the literature, which we partially extend to larger ranges of parameters. We present an algorithm for the classification of linear codes over finite fields, based on lattice point enumeration. We validate a correct implementation of our algorithm with known classification results from the literature, which we partially extend to larger ranges of parameters. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 12 pages, 5 tables

MSC Class: E.4; G.2; G.4 ACM Class: E.4; G.2; G.4

An exact column-generation approach for the lot-type design problem

Authors: Miriam Kießling, Sascha Kurz, Jörg Rambau

Abstract: We consider a fashion discounter distributing its many branches with integral multiples from a set of available lot-types. For the problem of approximating the branch and size dependent demand using those lots we propose a tailored exact column generation approach assisted by fast algorithms for intrinsic subproblems, which turns out to be very efficient on our real-world instances as well as on r… ▽ More We consider a fashion discounter distributing its many branches with integral multiples from a set of available lot-types. For the problem of approximating the branch and size dependent demand using those lots we propose a tailored exact column generation approach assisted by fast algorithms for intrinsic subproblems, which turns out to be very efficient on our real-world instances as well as on random instances. △ Less

Submitted 7 July, 2020; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: 36 pages, 8 figures, 1 table

MSC Class: 90C06; 90C90; 90B99

Functional a posteriori error estimates for boundary element methods

Authors: Stefan Kurz, Dirk Pauly, Dirk Praetorius, Sergey Repin, Daniel Sebastian

Abstract: Functional error estimates are well-established tools for a posteriori error estimation and related adaptive mesh-refinement for the finite element method (FEM). The present work proposes a first functional error estimate for the boundary element method (BEM). One key feature is that the derived error estimates are independent of the BEM discretization and provide guaranteed lower and upper bounds… ▽ More Functional error estimates are well-established tools for a posteriori error estimation and related adaptive mesh-refinement for the finite element method (FEM). The present work proposes a first functional error estimate for the boundary element method (BEM). One key feature is that the derived error estimates are independent of the BEM discretization and provide guaranteed lower and upper bounds for the unknown error. In particular, our analysis covers Galerkin BEM and the collocation method, what makes the approach of particular interest for scientific computations and engineering applications. Numerical experiments for the Laplace problem confirm the theoretical results. △ Less

Submitted 28 October, 2020; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: Key words and phrases. boundary element method, functional a posteriori error estimate, adaptive mesh-refinement

MSC Class: 65N38; 65N15; 65N50

Three-weight codes over rings and strongly walk regular graphs

Authors: Michael Kiermaier, Sascha Kurz, Minjia Shi, Patrick Solé

Abstract: We construct strongly walk-regular graphs as coset graphs of the duals of codes with three non-zero homogeneous weights over $\mathbb{Z}_{p^m},$ for $p$ a prime, and more generally over chain rings of depth $m$, and with a residue field of size $q$, a prime power. Infinite families of examples are built from Kerdock and generalized Teichmüller codes. As a byproduct, we give an alternative proof th… ▽ More We construct strongly walk-regular graphs as coset graphs of the duals of codes with three non-zero homogeneous weights over $\mathbb{Z}_{p^m},$ for $p$ a prime, and more generally over chain rings of depth $m$, and with a residue field of size $q$, a prime power. Infinite families of examples are built from Kerdock and generalized Teichmüller codes. As a byproduct, we give an alternative proof that the Kerdock code is nonlinear. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 28 pages, 6 tables

MSC Class: 05E30 (Primary); 94B05 (Secondary)

Combining subspace codes

Authors: Antonio Cossidente, Sascha Kurz, Giuseppe Marino, Francesco Pavese

Abstract: In the context of constant--dimension subspace codes, an important problem is to determine the largest possible size $A_q(n, d; k)$ of codes whose codewords are $k$-subspaces of $\mathbb{F}_q^n$ with minimum subspace distance $d$. Here in order to obtain improved constructions, we investigate several approaches to combine subspace codes. This allow us to present improvements on the lower bounds fo… ▽ More In the context of constant--dimension subspace codes, an important problem is to determine the largest possible size $A_q(n, d; k)$ of codes whose codewords are $k$-subspaces of $\mathbb{F}_q^n$ with minimum subspace distance $d$. Here in order to obtain improved constructions, we investigate several approaches to combine subspace codes. This allow us to present improvements on the lower bounds for constant--dimension subspace codes for many parameters, including $A_q(10, 4; 5)$, $A_q(12, 4; 4)$, $A_q(12, 6, 6)$ and $A_q(16, 4; 4)$. △ Less

Submitted 19 November, 2021; v1 submitted 8 November, 2019; originally announced November 2019.

Comments: 17 pages; construction for A_(10,4;5) was flawed

MSC Class: Primary 51E20; Secondary 05B25; 94B65

Subspace Packings -- Constructions and Bounds

Authors: Tuvi Etzion, Sascha Kurz, Kamil Otal, Ferruh Özbudak

Abstract: The Grassmannian $\mathcal{G}_q(n,k)$ is the set of all $k$-dimensional subspaces of the vector space $\mathbb{F}_q^n$. Kötter and Kschischang showed that codes in Grassmannian space can be used for error-correction in random network coding. On the other hand, these codes are $q$-analogs of codes in the Johnson scheme, i.e., constant dimension codes. These codes of the Grassmannian… ▽ More The Grassmannian $\mathcal{G}_q(n,k)$ is the set of all $k$-dimensional subspaces of the vector space $\mathbb{F}_q^n$. Kötter and Kschischang showed that codes in Grassmannian space can be used for error-correction in random network coding. On the other hand, these codes are $q$-analogs of codes in the Johnson scheme, i.e., constant dimension codes. These codes of the Grassmannian $\mathcal{G}_q(n,k)$ also form a family of $q$-analogs of block designs and they are called subspace designs. In this paper, we examine one of the last families of $q$-analogs of block designs which was not considered before. This family, called subspace packings, is the $q$-analog of packings, and was considered recently for network coding solution for a family of multicast networks called the generalized combination networks. A subspace packing $t$-$(n,k,λ)_q$ is a set $\mathcal{S}$ of $k$-subspaces from $\mathcal{G}_q(n,k)$ such that each $t$-subspace of $\mathcal{G}_q(n,t)$ is contained in at most $λ$ elements of $\mathcal{S}$. The goal of this work is to consider the largest size of such subspace packings. We derive a sequence of lower and upper bounds on the maximum size of such packings, analyse these bounds, and identify the important problems for further research in this area. △ Less

Submitted 2 January, 2020; v1 submitted 13 September, 2019; originally announced September 2019.

Comments: 30 pages, 27 tables, continuation of arXiv:1811.04611, typos corrected

MSC Class: 94B65; 94B60; 51E20

Subspaces intersecting in at most a point

Authors: Sascha Kurz

Abstract: We improve on the lower bound of the maximum number of planes in $\operatorname{PG}(8,q)\cong\F_q^{9}$ pairwise intersecting in at most a point. In terms of constant dimension codes this leads to $A_q(9,4;3)\ge q^{12}+ 2q^8+2q^7+q^6+2q^5+2q^4-2q^2-2q+1$. This result is obtained via a more general construction strategy, which also yields other improvements. We improve on the lower bound of the maximum number of planes in $\operatorname{PG}(8,q)\cong\F_q^{9}$ pairwise intersecting in at most a point. In terms of constant dimension codes this leads to $A_q(9,4;3)\ge q^{12}+ 2q^8+2q^7+q^6+2q^5+2q^4-2q^2-2q+1$. This result is obtained via a more general construction strategy, which also yields other improvements. △ Less

Submitted 5 July, 2019; originally announced July 2019.

Comments: 4 pages

MSC Class: 51E20 (Primary); 05B25; 94B65 (Secondary)

A note on the linkage construction for constant dimension codes

Authors: Sascha Kurz

Abstract: Constant dimension codes are used for error control in random linear network coding, so that constructions for these codes with large cardinality have achieved wide attention in the last decade. Here, we improve the so-called linkage construction. Known upper bounds for constant dimension codes containing lifted MRD codes are generalized. Constant dimension codes are used for error control in random linear network coding, so that constructions for these codes with large cardinality have achieved wide attention in the last decade. Here, we improve the so-called linkage construction. Known upper bounds for constant dimension codes containing lifted MRD codes are generalized. △ Less

Submitted 5 May, 2020; v1 submitted 24 June, 2019; originally announced June 2019.

Comments: 13 pages; earlier versions contain a serious flaw in the statement that is now named Conjecture 4.6; typos corrected

The ${[46,9,20]_2}$ code is unique

Authors: Sascha Kurz

Abstract: The minimum distance of all binary linear codes with dimension at most eight is known. The smallest open case for dimension nine is length $n=46$ with known bounds $19\le d\le 20$. Here we present a $[46,9,20]_2$ code and show its uniqueness. Interestingly enough, this unique optimal code is asymmetric, i.e., it has a trivial automorphism group. Additionally, we show the non-existence of… ▽ More The minimum distance of all binary linear codes with dimension at most eight is known. The smallest open case for dimension nine is length $n=46$ with known bounds $19\le d\le 20$. Here we present a $[46,9,20]_2$ code and show its uniqueness. Interestingly enough, this unique optimal code is asymmetric, i.e., it has a trivial automorphism group. Additionally, we show the non-existence of $[47,10,20]_2$ and $[85,9,40]_2$ codes. △ Less

Submitted 6 January, 2020; v1 submitted 6 June, 2019; originally announced June 2019.

Comments: 7 pages, 3 tables, typos corrected