
We show that there is a binary subspace code of constant dimension 3 in
ambient dimension 7, having minimum distance 4 and cardinality 333, i.e., $333
\le A_2(7,4;3)$, which improves the previous best known lower bound of 329.
Moreover, if a code with these parameters has at least 333 elements, its
automorphism group is in one of $31$ conjugacy classes. This is achieved by a
more general technique for an exhaustive search in a finite group that does not
depend on the enumeration of all subgroups.

Codes in finite projective spaces equipped with the subspace distance have
been proposed for error control in random linear network coding. The resulting
socalled \emph{Main Problem of Subspace Coding} is to determine the maximum
size $A_q(v,d)$ of a code in $\operatorname{PG}(v1,\mathbb{F}_q)$ with minimum
subspace distance $d$. Here we completely resolve this problem for $d\ge v1$.
For $d=v2$ we present some improved bounds and determine $A_q(5,3)=2q^3+2$
(all $q$), $A_2(7,5)=34$. We also provide an exposition of the known
determination of $A_q(v,2)$, and a table with exact results and bounds for the
numbers $A_2(v,d)$, $v\leq 7$.

In 1996 Dan Felsenthal and Mosh\'e Machover considered the following model.
An assembly consisting of $n$ voters exercises rollcall. All $n!$ possible
orders in which the voters may be called are assumed to be equiprobable. The
votes of each voter are independent with expectation $0<p<1$ for an individual
vote {\lq\lq}yea{\rq\rq}. For a given decision rule $v$ the \emph{pivotal}
voter in a rollcall is the one whose vote finally decides the aggregated
outcome. It turned out that the probability to be pivotal is equivalent to the
ShapleyShubik index. Here we give an easy combinatorial proof of this
coincidence, further weaken the assumptions of the underlying model, and study
generalizations to the case of more than two alternatives.

A vector space partition of $\mathbb{F}_q^v$ is a collection of subspaces
such that every nonzero vector is contained in a unique element. We improve a
lower bound of Heden, in a subcase, on the number of elements of the smallest
occurring dimension in a vector space partition. To this end, we introduce the
notion of $q^r$divisible sets of $k$subspaces in $\mathbb{F}_q^v$. By
geometric arguments we obtain nonexistence results for these objects, which
then imply the improved result of Heden.

A simple game $(N,v)$ is given by a set $N$ of $n$ players and a partition of
$2^N$ into a set $\mathcal{L}$ of losing coalitions $L$ with value $v(L)=0$
that is closed under taking subsets and a set $\mathcal{W}$ of winning
coalitions $W$ with $v(W)=1$. Simple games with $\alpha= \min_{p\geq
0}\max_{W\in {\cal W},L\in {\cal L}} \frac{p(L)}{p(W)}<1$ are known as weighted
voting games. Freixas and Kurz (IJGT, 2014) conjectured that $\alpha\leq
\frac{1}{4}n$ for every simple game $(N,v)$. We confirm this conjecture for two
complementary cases, namely when all minimal winning coalitions have size $3$
and when no minimal winning coalition has size $3$. As a general bound we prove
that $\alpha\leq \frac{2}{7}n$ for every simple game $(N,v)$. For complete
simple games, Freixas and Kurz conjectured that $\alpha=O(\sqrt{n})$. We prove
this conjecture up to a $\ln n$ factor. We also prove that for graphic simple
games, that is, simple games in which every minimal winning coalition has size
2, computing $\alpha$ is \NPhard, but polynomialtime solvable if the
underlying graph is bipartite. Moreover, we show that for every graphic simple
game, deciding if $\alpha<a$ is polynomialtime solvable for every fixed $a>0$.

In this article, the partial plane spreads in $PG(6,2)$ of maximum possible
size $17$ and of size $16$ are classified. Based on this result, we obtain the
classification of the following closely related combinatorial objects: Vector
space partitions of $PG(6,2)$ of type $(3^{16} 4^1)$, binary $3\times 4$ MRD
codes of minimum rank distance $3$, and subspace codes with parameters
$(7,17,6)_2$ and $(7,34,5)_2$.

A proposal in a weighted voting game is accepted if the sum of the
(nonnegative) weights of the "yea" voters is at least as large as a given
quota. Several authors have considered representations of weighted voting games
with minimum sum, where the weights and the quota are restricted to be
integers. Freixas and Molinero have classified all weighted voting games
without a unique minimum sum representation for up to 8 voters. Here we
exhaustively classify all weighted voting games consisting of 9 voters which do
not admit a unique minimum sum integer weight representation.

A well known class of objects in combinatorial design theory are {group
divisible designs}. Here, we introduce the $q$analogs of group divisible
designs. It turns out that there are interesting connections to scattered
subspaces, $q$Steiner systems, design packings and $q^r$divisible projective
sets.
We give necessary conditions for the existence of $q$analogs of group
divsible designs, construct an infinite series of examples, and provide further
existence results with the help of a computer search.
One example is a $(6,3,2,2)_2$ group divisible design over
$\operatorname{GF}(2)$ which is a design packing consisting of $180$ blocks
that such every $2$dimensional subspace in $\operatorname{GF}(2)^6$ is covered
at most twice.

In this article, the effective lengths of all $q^r$divisible linear codes
over $\mathbb{F}_q$ with a nonnegative integer $r$ are determined. For that
purpose, the $S_q(r)$adic expansion of an integer $n$ is introduced. It is
shown that there exists a $q^r$divisible $\mathbb{F}_q$linear code of
effective length $n$ if and only if the leading coefficient of the
$S_q(r)$adic expansion of $n$ is nonnegative. Furthermore, the maximum weight
of a $q^r$divisible code of effective length $n$ is at most $\sigma q^r$,
where $\sigma$ denotes the crosssum of the $S_q(r)$adic expansion of $n$.
This result has applications in Galois geometries. A recent theorem of
N{\u{a}}stase and Sissokho on the maximum sizes of partial spreads follows as a
corollary. Furthermore, we get an improvement of the Johnson bound for constant
dimension subspace codes.

Decisions in a shareholder meeting or a legislative committee are often
modeled as a weighted game. Influence of a member is then measured by a power
index. A large variety of different indices has been introduced in the
literature. This paper analyzes how power indices differ with respect to the
largest possible power of a nondictatorial player. It turns out that the
considered set of power indices can be partitioned into two classes. This may
serve as another indication which index to use in a given application.

Codes in finite projective spaces equipped with the subspace distance have
been proposed for error control in random linear network coding. Here we
collect the present knowledge on lower and upper bounds for binary subspace
codes for projective dimensions of at most $7$. We obtain several improvements
of the bounds and perform two classifications of optimal subspace codes, which
are unknown so far in the literature.

A vector space partition $\mathcal{P}$ in $\mathbb{F}_q^v$ is a set of
subspaces such that every $1$dimensional subspace of $\mathbb{F}_q^v$ is
contained in exactly one element of $\mathcal{P}$. Replacing "every point" by
"every $t$dimensional subspace", we generalize this notion to vector space
$t$partitions and study their properties. There is a close connection to
subspace codes and some problems are even interesting and unsolved for the set
case $q=1$.

The Nakamura number is an appropriate invariant of a simple game to study the
existence of social equilibria and the possibility of cycles. For symmetric
quota games its number can be obtained by an easy formula. For some subclasses
of simple games the corresponding Nakamura number has also been characterized.
However, in general, not much is known about lower and upper bounds depending
of invariants on simple, complete or weighted games. Here, we survey such
results and highlight connections with other game theoretic concepts.

Given a system where the realvalued states of the agents are aggregated by a
function to a realvalued state of the entire system, we are interested in the
influence of the different agents on that function. This generalizes the notion
of power indices for binary voting systems to decisions over convex
onedimensional policy spaces and has applications in economics, engineering,
security analysis, and other disciplines. Here, we provide a solid theoretical
framework to study the question of influence in systems with convex decisions.
Based on the classical ShapleyShubik and PenroseBanzhaf index, from binary
voting, we develop two influence measures, whose properties then are analyzed.
We present some results for parametric classes of aggregation functions.

Determining the power distribution of the members of a shareholder meeting or
a legislative committee is a wellknown problem for many applications. In some
cases it turns out that power is nearly proportional to relative voting
weights, which is very beneficial for both theoretical considerations and
practical computations with many members. We present quantitative approximation
results with precise error bounds for several power indices as well as
impossibility results for such approximations between power and weights.

One of the main problems of the research area of network coding is to compute
good lower and upper bounds of the achievable cardinality of socalled subspace
codes in $\operatorname{PG}(n,q)$, i.e., the set of subspaces of
$\mathbb{F}_q^n$, for a given minimal distance. Here we generalize a
construction of Etzion and Silberstein to a wide range of parameters. This
construction, named coset construction, improves or attains several of the
previously bestknown subspace code sizes and attains the MRD bound for an
infinite family of parameters.

We study asymptotic lower and upper bounds for the sizes of constant
dimension codes with respect to the subspace or injection distance, which is
used in random linear network coding. In this context we review known upper
bounds and show relations between them. A slightly improved version of the
socalled linkage construction is presented which is e.g. used to construct
constant dimension codes with subspace distance $d=4$, dimension $k=3$ of the
codewords for all field sizes $q$, and sufficiently large dimensions $v$ of the
ambient space, that exceed the MRD bound, for codes containing a lifted MRD
code, by Etzion and Silberstein.

A partial $t$spread in $\mathbb{F}_q^n$ is a collection of $t$dimensional
subspaces with trivial intersection such that each nonzero vector is covered
at most once. We present some improved upper bounds on the maximum sizes.

It is shown that the maximum size $A_2(8,6;4)$ of a binary subspace code of
packet length $v=8$, minimum subspace distance $d=4$, and constant dimension
$k=4$ is at most $272$. In Finite Geometry terms, the maximum number of solids
in $\operatorname{PG}(7,2)$, mutually intersecting in at most a point, is at
most $272$. Previously, the best known upper bound $A_2(8,6;4)\le 289$ was
implied by the Johnson bound and the maximum size $A_2(7,6;3)=17$ of partial
plane spreads in $\operatorname{PG}(6,2)$. The result was obtained by combining
the classification of subspace codes with parameters $(7,17,6;3)_2$ and
$(7,34,5;\{3,4\})_2$ with integer linear programming techniques. The
classification of $(7,33,5;\{3,4\})_2$ subspace codes is obtained as a
byproduct.

For which positive integers $n,k,r$ does there exist a linear $[n,k]$ code
$C$ over $\mathbb{F}_q$ with all codeword weights divisible by $q^r$ and such
that the columns of a generating matrix of $C$ are projectively distinct? The
motivation for studying this problem comes from the theory of partial spreads,
or subspace codes with the highest possible minimum distance, since the set of
holes of a partial spread of $r$flats in $\operatorname{PG}(v1,\mathbb{F}_q)$
corresponds to a $q^r$divisible code with $k\leq v$. In this paper we provide
an introduction to this problem and report on new results for $q=2$.

Members of a shareholder meeting or legislative committee have greater or
smaller voting power than meets the eye if the nucleolus of the induced
majority game differs from the voting weight distribution. We establish a new
sufficient condition for the weight and power distributions to be equal; and we
characterize the limit behavior of the nucleolus in case all relative weights
become small.

Constantdimension codes with the maximum possible minimum distance have been
studied under the name of partial spreads in Finite Geometry for several
decades. Not surprisingly, for this subclass typically the sharpest bounds on
the maximal code size are known. The seminal works of Beutelspacher and Drake
\& Freeman on partial spreads date back to 1975, and 1979, respectively. From
then until recently, there was almost no progress besides some computerbased
constructions and classifications. It turns out that vector space partitions
provide the appropriate theoretical framework and can be used to improve the
longstanding bounds in quite a few cases. Here, we provide a historic account
on partial spreads and an interpretation of the classical results from a modern
perspective. To this end, we introduce all required methods from the theory of
vector space partitions and Finite Geometry in a tutorial style. We guide the
reader to the current frontiers of research in that field, including a detailed
description of the recent improvements.

This paper has a twofold scope. The first one is to clarify and put in
evidence the isomorphic character of two theories developed in quite different
fields: on one side, threshold logic, on the other side, simple games. One of
the main purposes in both theories is to determine when a simple game is
representable as a weighted game, which allows a very compact and easily
comprehensible representation. Deep results were found in threshold logic in
the sixties and seventies for this problem. However, game theory has taken the
lead and some new results have been obtained for the problem in the last two
decades. The second and main goal of this paper is to provide some new results
on this problem and propose several open questions and conjectures for future
research. The results we obtain depend on two significant parameters of the
game: the number of types of equivalent players and the number of types of
shiftminimal winning coalitions.

When delegations to an assembly or council represent differently sized
constituencies, they are often allocated voting weights which increase in
population numbers (EU Council, US Electoral College, etc.). The Penrose square
root rule (PSRR) is the main benchmark for fair representation of all
bottomtier voters in the toptier decision making body, but rests on the
restrictive assumption of independent binary decisions. We consider intervals
of alternatives with singlepeaked preferences instead, and presume positive
correlation of local voters. This calls for a replacement of the PSRR by a
linear Shapley rule: representation is fair if the Shapley value of the
delegates is proportional to their constituency sizes.

Voting is a commonly applied method for the aggregation of the preferences of
multiple agents into a joint decision. If preferences are binary, i.e., "yes"
and "no", every voting system can be described by a (monotone) Boolean function
$\chi\colon\{0,1\}^n\rightarrow \{0,1\}$. However, its naive encoding needs
$2^n$ bits. The subclass of threshold functions, which is sufficient for
homogeneous agents, allows a more succinct representation using $n$ weights and
one threshold. For heterogeneous agents, one can represent $\chi$ as an
intersection of $k$ threshold functions. Taylor and Zwicker have constructed a
sequence of examples requiring $k\ge 2^{\frac{n}{2}1}$ and provided a
construction guaranteeing $k\le {n\choose {\lfloor n/2\rfloor}}\in 2^{no(n)}$.
The magnitude of the worstcase situation was thought to be determined by
Elkind et al.~in 2008, but the analysis unfortunately turned out to be wrong.
Here we uncover a relation to coding theory that allows the determination of
the minimum number $k$ for a subclass of voting systems. As an application, we
give a construction for $k\ge 2^{no(n)}$, i.e., there is no gain from a
representation complexity point of view.