arXiv Science⌕ Search

arXiv subjects

Koen Thas

Publications and source records attributed to Koen Thas.

At least 19 recordsLinked to original sources
arXiv2025

Ealy's conjecture in odd characteristic

We solve Ealy's conjecture from 1977 by showing that for each odd prime $p$, a finite generalized quadrangle each point of which admits a central symmetry of order $p$, is either a classical symplectic quadrangle in dimension $3$, or a Hermitian quadrangle in dimension $3$ or $4$. As a byproduct, we vastly generalize the aforementioned result by determining the finite generalized quadrangles whose every point admits at least one nontrivial central symmetry.

math.CO↗
arXiv2023

Towards the horizons of Tits's vision -- on band schemes, crowds and F1-structures

This text is dedicated to Jacques Tits's ideas on geometry over F1, the field with one element. In a first part, we explain how thin Tits geometries surface as rational point sets over the Krasner hyperfield, which links these ideas to combinatorial flag varieties in the sense of Borovik, Gelfand and White and F1-geometry in the sense of Connes and Consani. A completely novel feature is our approach to algebraic groups over F1 in terms of an alteration of the very concept of a group. In the second part, we study an incidence-geometrical counterpart of (epimorphisms to) thin Tits geometries; we introduce and classify all F1-structures on 3-dimensional projective spaces over finite fields. This extends recent work of Thas and Thas on epimorphisms of projective planes (and other rank 2 buildings) to thin planes.

math.CO↗
arXiv2023

Quantum theory without the Axiom of choice, and Lefschetz Quantum Physics

In this conceptual paper, we discuss quantum formalisms which do not use the famous Axiom of Choice. We also consider the fundamental problem which addresses the (in)correctness of having the complex numbers as the base field for Hilbert spaces in the K{\o}benhavn interpretation of quantum theory, and propose a new approach to this problem (based on the Lefschetz principle). Rather than a Theorem--Proof--paper, this paper describes two new research programs on the foundational level, and focuses on fundamental open questions in these programs which come along the way.

quant-ph↗
arXiv2023

Epimorphisms of generalized polygons B: The octagons

This is the second part of our study of epimorphisms with source a thick generalized $m$-gon and target a thin generalized $m$-gon. We classify the case $m = 8$ when the polygons are finite (in the first part [15] we handled the cases $m = 3, 4$ and $6$). Then we show that the infinite case is very different, and construct examples which strongly differ from the finite case. A number of general structure theorems are also obtained, and we also take a look at the infinite case for general gonality.

math.CO↗
arXiv2022

Infinite cyclic projective skew translation quadrangles do not exist

In this paper we completely classify infinite cyclic projective skew translation quadrangles through a new approach first partially introduced in [17], and in the present paper (unexpectedly) adapted to the infinite case. Very surprisingly, these objects do not exist and only occur in the finite case.

math.CO↗
arXiv2022

Synthetic projective lines, geometric closure and AB-sets

In this note, we introduce a new approach to abstract ``synthetic'' projective lines. We discuss various aspects of our approach, and compare these aspects with the classical one. A number of intriguing questions arise. Amongst these aspects, we discuss geometric closures, and introduce automorphism-blocking sets. We also construct a number of (counter) examples in infinite cases.

math.CO↗
arXiv2022

Epimorphisms of generalized polygons A: The planes, quadrangles and hexagons

Inspired by a theorem by Skornjakov-Hughes-Pasini [9, 7, 8] and a problem which turned up in our recent paper [13], we start a study of epimorphisms with source a thick generalized m-gon and target a thin generalized m-gon. In this first part of the series, we classify the cases m = 3, 4 and 6 when the polygons are finite. Then we show that the infinite case is very different, and construct examples which strongly deviate from the finite case. A number of general structure theorems are also obtained. We introduce the theory of locally finitely generated generalized polygons and locally finitely chained generalized polygons along the way.

math.CO↗
arXiv2018

Absolute Quantum Theory (after Chang, Lewis, Minic and Takeuchi), and a road to quantum deletion

In a recent paper [2], Chang et al. have proposed studying "Quantum $\mathbb{F}_{un}$": the $q \mapsto 1$ limit of Modal Quantum Theories over finite fields $\mathbb{F}_q$, motivated by the fact that such limit theories can be naturally interpreted in classical Quantum Theory. In this letter, we first make a number of rectifications of statements made in [2]. For instance, we show that Quantum Theory over $\mathbb{F}_1$ {\em does} have a natural analogon of an inner product, and so orthogonality is a well-defined notion, contrary to what is claimed in [2]. Starting from that formalism, we introduce time evolution operators and observables in Quantum $\mathbb{F}_{un}$, and we determine the corresponding unitary group. Next, we obtain a typical no-cloning in the general realm of Quantum $\mathbb{F}_{un}$. Finally, we obtain a no-deletion result as well. Remarkably, we show that we {\em can} perform quantum deletion by {\em almost unitary operators}, with a probability tending to $1$. Although we develop the construction in Quantum $\mathbb{F}_{un}$, it is also valid in any other Quantum Theory (and thus also in classical Quantum Theory).

quant-ph↗
arXiv2018

A question of Frohardt on $2$-groups, skew translation quadrangles of even order and cyclic STGQs

We solve a fundamental question posed in Frohardt's 1988 paper [8] on finite $2$-groups with Kantor familes, by showing that finite groups $K$ with a Kantor family $(\mathcal{F},\mathcal{F}^*)$ having distinct members $A, B \in \mathcal{F}$ such that $A^* \cap B^*$ is a central subgroup of $K$ and the quotient $K/(A^* \cap B^*)$ is abelian cannot exist if the center of $K$ has exponent $4$ and the members of $\mathcal{F}$ are elementary abelian. Then we give a short geometrical proof of a recent result of Ott which says that finite skew translation quadrangles of even order $(t,t)$ (where $t$ is not a square) are always translation generalized quadrangles. This is a consequence of a complete classification of finite cyclic skew translation quadrangles of order $(t,t)$ that we carry out in the present paper.

math.GR↗
arXiv2017

General Quantum Theory

Inspired by classical ("actual") Quantum Theory over $\mathbb{C}$ and Modal Quantum Theory (MQT), which is a model of Quantum Theory over certain finite fields, we introduce General Quantum Theory as a Quantum Theory -- in the K{\o}benhavn interpretation -- over general division rings with involution, in which the inner product "is" a $(\sigma,1)$-Hermitian form $\varphi$. This unites all known such approaches in one and the same theory, and we show that many of the known results such as no-cloning, no-deleting, quantum teleportation and super-dense quantum coding, which are known in classical Quantum Theory over $\mathbb{C}$ and in some MQTs, hold for any General Quantum Theory. On the other hand, in many General Quantum Theories, a geometrical object which we call "quantum kernel" arises, which is invariant under the unitary group $\mathbf{U}(V,\varphi)$, and which carries the geometry of a so-called polar space. We use this object to construct new quantum (teleportation) coding schemes, which mix quantum theory with the geometry of the quantum kernel (and the action of the unitary group). We also show that in characteristic $0$, every General Quantum Theory over an algebraically closed field behaves like classical Quantum Theory over $\mathbb{C}$ at many levels, and that all such theories share one model, which we pin down as the "minimal model," which is countable and defined over $\overline{\mathbb{Q}}$. Moreover, to make the analogy with classical Quantum Theory even more striking, we show that Born's rule holds in any such theory. So all such theories are not modal at all. Finally, we obtain an extension theory for General Quantum Theories in characteristic $0$ which allows one to extend any such theory over algebraically closed fields (such as classical complex Quantum Theory) to larger theories in which a quantum kernel is present.

quant-ph↗
arXiv2017

The geometry of drums

We introduce the new concept of D-geometry (or "drum geometry"), which has been recently discovered by the author in \cite{KT-DRUMS} when constructing and classifying isospectral and length equivalent drums under certain constraints. We will show that any pair of length equivalent domains, and in particular any pair of isospectral domains (which makes one unable to "hear the shape of drums") which is constructed by the famous Gassmann-Sunada method, naturally defines a D-geometry, and that each D-geometry gives rise to such domains. One goal of this letter is to show that in the present theory of isospectral and length equivalent drums, many examples are controlled by finite geometrical phenomena in a very precise sense.

math.CO↗
arXiv2016

Graphs, $\mathbb{F}_1$-schemes and virtual mixed Tate motives

In a number of recent works [6, 7] the authors have introduced and studied a functor $\mathcal{F}_k$ which associates to each loose graph $\Gamma$ -which is similar to a graph, but where edges with $0$ or $1$ vertex are allowed - a $k$-scheme, such that $\mathcal{F}_k(\Gamma)$ is largely controlled by the combinatorics of $\Gamma$. Here, $k$ is a field, and we allow $k$ to be $\mathbb{F}_1$, the field with one element. For each finite prime field $\mathbb{F}_p$, it is noted in [6] that any $\mathcal{F}_k(\Gamma)$ is polynomial-count, and the polynomial is independent of the choice of the field. In this note, we show that for each $k$, the class of $\mathcal{F}_k(\Gamma)$ in the Grothendieck ring $K_0(\texttt{Sch}_k)$ is contained in $\mathbb{Z}[\mathbb{L}]$, the integral subring generated by the virtual Lefschetz motive.

math.AG↗
arXiv2016

A translation generalized quadrangle in characteristic $\ne 0$ is linear

It is a long-standing conjecture from the 1970s that every translation generalized quadrangle is linear, that is, has an endomorphism ring which is a division ring (or, in geometric terms, that has a projective representation). We show that any translation generalized quadrangle $\Gamma$ is ideally embedded in a translation quadrangle which is linear. This allows us to weakly represent any such $\Gamma$ in projective space, and moreover, to have a well-defined notion of "characteristic" for these objects. We then show that each translation quadrangle in positive characteristic indeed is linear.

math.CO↗
arXiv2016

Covers of generalized quadrangles

We solve a problem posed by Cardinali and Sastry [2] about factorization of $2$-covers of finite classical generalized quadrangles. To that end, we develop a general theory of cover factorization for generalized quadrangles, and in particular we study the isomorphism problem for such covers and associated geometries. As a byproduct, we obtain new results about semipartial geometries coming from $\theta$-covers, and consider related problems.

math.CO↗
arXiv2016

Projective spaces over $\mathbb{F}_{1^{\ell}}$

In this essay we study various notions of projective space (and other schemes) over $\mathbb{F}_{1^\ell}$, with $\mathbb{F}_1$ denoting the field with one element. Our leading motivation is the "Hiden Points Principle," which shows a huge deviation between the set of rational points as closed points defined over $\mathbb{F}_{1^\ell}$, and the set of rational points defined as morphisms $\texttt{Spec}(\mathbb{F}_{1^\ell}) \mapsto \mathcal{X}$. We also introduce, in the same vein as Kurokawa [13], schemes of $\mathbb{F}_{1^\ell}$-type, and consider their zeta functions.

math.AG↗
arXiv2016

The structure of Deitmar Schemes, II. Zeta functions and automorphism groups

We provide a coherent overview of a number of recent results obtained by the authors in the theory of schemes defined over the field with one element. Essentially, this theory encompasses the study of a functor which maps certain geometries including graphs to Deitmar schemes with additional structure, as such introducing a new zeta function for graphs. The functor is then used to determine automorphism groups of the Deitmar schemes and base extensions to fields.

math.AG↗