Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
1 answer
341 views

Which finite projective planes can have a symmetric incidence matrix?

As the title says. Which finite projective planes admit a symmetric incidence matrix? I am not an expert in the field at all, but I consulted with one. He claimed that $PG(2, \mathbb F_q)$ can always ...
Adelhart's user avatar
  • 237
16 votes
1 answer
395 views

Geometric interpretation of the exceptional isomorphism $PSp(4,3)=PSU(4,2^2)$

It is well-known that there is an isomorphism between $PSp(4,3)$ (the symplectic group of dimension $4$ over $\mathbb F_3$) and $PSU(4,2^2)$ (the unitary group defined by $4\times4$ unitary matrices ...
LeechLattice's user avatar
  • 9,501
2 votes
1 answer
302 views

For which finite projective planes can the incidence structure be written as a circulant matrix?

It is well known that the projective plane of order $2$ can be represented by the circulant matrix $M_2:=circ(x,x,1,x,1,1,1)= \begin{pmatrix} x&x&1&x&1&1&1\\ 1&x&x&...
Wolfgang's user avatar
  • 13.4k
4 votes
3 answers
781 views

Does there exist a finite hyperbolic geometry in which every line contains at least 3 points, but not every line contains the same number of points?

It seems to me that the answer should be yes, but my naive attempts to come up with an example have failed. Just to clarify, by finite hyperbolic geometry I mean a finite set of points and lines such ...
Louis D's user avatar
  • 1,701
11 votes
2 answers
792 views

Blocking sets in three dimensional finite affine spaces

What is the smallest possible size of a set of points in $\mathbb{F}_q^3$ which intersects (blocks) every line? Clearly the union of three affine hyperplanes that intersect in a singleton, say $x = 0,...
Anurag's user avatar
  • 1,197
6 votes
1 answer
458 views

Applications of small Kakeya sets over finite fields

It was proved by Dvir that a Kakeya set in $\mathbb{F}_q^n$ has size at least $q^n/n!$, a bound which was later improved to $q^n/2^n$. For $n = 2$ and $q$ odd the exact bound is $q(q+1)/2 + (q-1)/2$ ...
Anurag's user avatar
  • 1,197
39 votes
2 answers
1k views

How close can one get to the missing finite projective planes?

This question can be interpreted as an instance of the Zarankiewicz problem. Suppose we have an $n\times n$ matrix with entries in $\{0,1\}$ with no $\begin{pmatrix}1 & 1\\ 1& 1\end{pmatrix} $ ...
Gjergji Zaimi's user avatar
10 votes
1 answer
516 views

Subplanes of Finite Projective Planes

If a finite projective plane $\pi_1$ of order $m$ contains, as a sub plane, a finite projective plane $\pi_2$ of order $n$, then $m \geq n^2$ with equality holding only in the case of a Baer sub plane....
Geoffrey Exoo's user avatar
3 votes
2 answers
244 views

Incidence matrices of generalized quadrangles

Is there somewhere a database of incidence matrices of generalized quadrangles that one can download?
Felix Goldberg's user avatar
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 ...
Seva's user avatar
  • 23k
6 votes
2 answers
992 views

On the joints problem in finite fields

The original version of the so-called "joints problem" consists of the following: Let $L$ be a set of lines in $\mathbb{R}^{3}$. Determine the maximum number of "joints" determined by these lines, ...
Cosmin Pohoata's user avatar
41 votes
2 answers
5k views

Projective Plane of Order 12

I asked this question on the new Theoretical Computer Science "overflow" site, and commenters suggested I ask it here. That question is here, and it contains additional links, which I doubt I can ...
Aaron Sterling's user avatar