Related papers: Exending pseudo-arcs in odd characteristic
We give an excess theorem for spherical 2-designs. This theorem is a dual version of the spectral excess theorem for graphs, which gives a characterization of distance-regular graphs, among regular graphs in terms of the eigenvalues and the…
An arrangement of pseudocircles is a collection of simple closed curves on the sphere or in the plane such that any two of the curves are either disjoint or intersect in exactly two crossing points. We call an arrangement intersecting if…
An (n,r)-arc in PG(2,q) is a set of n points such that each line contains at most r of the selected points. It is well-known that (n,r)-arcs in PG(2,q) correspond to projective linear codes. Let m_r(2,q) denote the maximal number n of…
For $n\in\mathbb{N}$ and $q\in [0,1[$, the Vaksman-Soibelman quantum sphere $S^{2n+1}_q$ is described by an associative algebra $\mathcal{A}(S^{2n+1}_q)$ deforming the algebra of polynomial functions on the 2n+1 dimensional unit sphere. Its…
Let $\mathbb{F}$ be a field, and fix a $q\in\mathbb{F}$. The $q$-deformed Heisenberg algebra $\mathcal{H}(q)$ is the unital associative algebra over $\mathbb{F}$ with generators $A$, $B$ and a relation which asserts that $AB - qBA$ is the…
An $(n,r)$-arc in $PG(2,q)$ is a set $B$ of points in $PG(2,q)$ such that each line in $PG(2,q)$ contains at most $r$ elements of $B$ and such that there is at least one line containing exactly $r$ elements of $B$. The value $m_r(2,q)$…
We consider the orbits of the group $G=PGL_2(q)$ on the points, lines and planes of the projective space $PG(3,q)$ over a finite field $\mathbb F_q$ of characteristic different from $2$ and $3$. The points of $PG(3,q)$ can be identified…
We give variants of the Krein bound and the absolute bound for graphs with a spectrum similar to that of a strongly regular graph. In particular, we investigate what we call approximately strongly regular graphs. We apply our results to…
We define a q-deformation of the Dirac operator, inspired by the one dimensional q-derivative. This implies a q-deformation of the partial derivatives. By taking the square of this Dirac operator we find a q-deformation of the Laplace…
Let $P$ and $Q$ be finite partially ordered sets on $[d] = \{1, \ldots, d\}$, and $\mathcal{O}(P) \subset \mathbb{R}^{d}$ and $\mathcal{O}(Q) \subset \mathbb{R}^{d}$ their order polytopes. The twinned order polytope of $P$ and $Q$ is the…
A weak pseudoline arrangement is a topological generalization of a line arrangement, consisting of curves topologically equivalent to lines that cross each other at most once. We consider arrangements that are outerplanar---each crossing is…
We consider the problem of constructing an abstract $(n+1)$-polytope $Q$ with $k$ facets isomorphic to a given $n$-polytope $P$, where $k \geq 3$. In particular, we consider the case where we want $Q$ to be $(n-2,n)$-flat, meaning that…
A maximal arc of degree k in a finite projective plane P of order q = ks is a set of (q-s+1)k points that meets every line of P in either k or 0 points. The collection of the nonempty intersections of a maximal arc with the lines of P is a…
We study how to formalize in the Coq proof assistant the smallest projective space PG(3,2). We then describe formally the spreads and packings of PG(3,2), as well as some of their properties. The formalization is rather straightforward,…
An $n$ arc in $(k-1)$-dimensional projective space is a set of $n$ points so that no $k$ lie on a hyperplane. In 1988, Glynn gave a formula to count $n$-arcs in the projective plane in terms of simpler combinatorial objects called…
In this work we define a new pseudometric in $\mathcal K^n_*$, the hyperspace of all non-degenerated compact convex sets of $\mathbb R^n$, which is invariant under similarities. We will prove that the quotient space generated by this…
In a projective plane over a finite field, complete $(k,n)$-arcs with few characters are rare but interesting objects with several applications to finite geometry and coding theory. Since almost all known examples are large, the…
In this article we prove a global result in the spirit of Basener's theorem regarding the relation between q-pseudoconvexity and q-holomorphic convexity: we prove that any smoothly bounded strictly q-pseudoconvex open subset of the complex…
Hyperovals in $\PG(2,\gf(q))$ with even $q$ are maximal arcs and an interesting research topic in finite geometries and combinatorics. Hyperovals in $\PG(2,\gf(q))$ are equivalent to $[q+2,3,q]$ MDS codes over $\gf(q)$, called hyperoval…
We introduce the notion of pseudo-cones of metric spaces as a generalization of both of the tangent cones and the asymptotic cones. We prove that the Assouad dimension of a metric space is bounded from below by that of any pseudo-cone of…