Questions tagged [finite-geometry]
Galois geometry, finite projective and affine spaces, polar spaces, partial geometries, generalized polygons, near polygons, and other finite incidence geometries.
65 questions
10
votes
2
answers
495
views
Is there a hyperplane avoiding two independent sets?
Let $V$ be a vector space over a field with $5$ elements, $A,B \subseteq V$ independent subsets. Must there be a subspace of $V$ of codimension 1 disjoint from $A \cup B$?
5
votes
0
answers
89
views
Lines meeting a given set in a unique point
Let $p$ be a fixed prime, and suppose that $S$ is a subset of the affine plane $\mathbb F_p^2$. If $|S|\le p+1$, then by the pigeonhole principle, through any given point $s\in S$ there is a line $L=L(...
3
votes
0
answers
100
views
Applications of finite Bolyai-Lobachevsky planes
Google scholar gives more than 200 articles comcerning finite Bolyai-Lobachevsky (BL) planes. Usually they devoted to construction of such objects (axioms may be different).
Are their any ...
1
vote
1
answer
145
views
Finding a set of disjoint affine subspaces such that their union is equal to a given subset of $\mathbb{F}_2^n$
Suppose I'm given a set of point $S = \{x_1, \dots, x_m \} \subseteq \mathbb{F}_2^n$, and the following task. Find a set of disjoint affine subspaces of $\mathbb{F}_2^n$, $A_1, \dots, A_k$ satisfying ...
3
votes
1
answer
245
views
An upper bound on the number of sets of parallel lines covering points in a finite plane?
Let $\mathbb{F}$ be a finite field of characteristic $2$. Let $L_m$ denote the set of lines in $\mathbb{F}^2$ with slope $m\in\mathbb{F}$, that is, all parallel lines of the form $y=mx+b$. Consider a ...
4
votes
1
answer
463
views
Covering all, but $k$ points with affine subspaces
For non-negative integer $d\le n$ and $k\le 2^n$, how many affine subspaces of co-dimension $d$ are needed to cover all, but exactly $k$ elements of the vector space ${\mathbb F}_2^n$, and what are ...
2
votes
0
answers
337
views
Enumerating certain types of permutation polynomials
Given a prime power $q$, I would like to enumerate (preferably up to isomorphism*) all the permutation polynomials $f(x)$ on $K = GF(q^3)$ satisfying the following conditions:
$f(ax) = af(x)$ for all ...
4
votes
0
answers
242
views
Sets of spreads in graphs
Let $G$ be a graph. A $k$-spread is a set of cliques of order $k$ which partition the vertex set (so $k|n$, where $n$ is the number of vertices).
A partial $k$-resolution of $G$ is a set of pairwise ...
2
votes
1
answer
183
views
Is inner product preserved only by the stabiliser in a finite reflection group?
Is the following statement true for finite reflection groups?
Let $G$ be a finite reflection group acting on $\mathbb{R}^n$, let $x, y\in \mathbb{R}^n$
and let $z$ be in the orbit of $y$. If $\...
14
votes
0
answers
552
views
Who conjectured that a transitive projective plane is Desarguesian?
The only known finite projective plane with a transitive automorphism group is the Desarguesian plane $PG(2,q)$ and it seems likely that there are no others, although this is not (quite) proved.
...
8
votes
0
answers
159
views
The Maximum Number of Lines Contained in the Point Set of a Finite Projective Plane
Consider a finite projective plane of order $q$. Define $f(m)$ to be the maximum number of lines completely contained in any point set of size $m$, where $1 \leq m \leq q^2+q+1$. I would like to ...
5
votes
0
answers
235
views
A question on hyperplanes in partial linear spaces and hypergraphs
A partial linear space (or a linear hypergraph) is a point line geometry $(P,L,I)$ where for every pair of points there is at most one line incident with both of them. A hyperplane in a partial linear ...
2
votes
0
answers
251
views
A problem in Galois Geometry
Given a prime $p$, out of $N$ vectors of length $p^k$ over $\Bbb F_2$ of Hamming weight $w^{k}$ that are chosen, how many vectors can there be with pairwise Hamming distance at least $2w^{k}$ given ...
3
votes
0
answers
167
views
Intersection of two trace equations over finite fields
Let $F_q$ be a finite field with $q$ elements. Let $n$ be an integer and $Tr:F_{q^n} \rightarrow F_q$ the trace function. My question is: For which integer $k$,
$$\{x: Tr(x)=0\}\cap\{x: Tr(x^k)=0\}=\{...
3
votes
0
answers
195
views
Vector spaces over a field of prime order with certain hyperplanes
Let $V$ be a vector space of finite dimentional $d$ over a field of prime order $p$.
For what values of $d$ and $p$, one can find $d+1$ (pairwise distinct) hyperplanes (subspaces of dimension $d-1$) $...