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 cla
ssical 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).
We solve a fundamental question posed in Frohardts 1988 paper [Fro] on finite $2$-groups with Kantor familes, by showing that finite groups with a Kantor family $(mathcal{F},mathcal{F}^*)$ having distinct members $A, B in mathcal{F}$ such that $A^* c
ap B^*$ is a central subgroup of $H$ and the quotient $H/(A^* cap B^*)$ is abelian cannot exist if the center of $H$ has exponent $4$ and the members of $mathcal{F}$ are elementary abelian. In a similar way, we solve another old problem dating back to the 1970s by showing that finite skew translation quadrangles of even order $(t,t)$ are always translation generalized quadrangles.
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 a
ny 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.
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 Borns 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.
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 tha
t $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.
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 trans
lation 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.
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 stud
y 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.
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 betwee
n 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.
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.
In a recent paper [3], the authors introduced a map $mathcal{F}$ which associates a Deitmar scheme (which is defined over the field with one element, denoted by $mathbb{F}_1$) with any given graph $Gamma$. By base extension, a scheme $mathcal{X}_k =
mathcal{F}(Gamma) otimes_{mathbb{F}_1} k$ over any field $k$ arises. In the present paper, we will show that all these mappings are functors, and we will use this fact to study automorphism groups of the schemes $mathcal{X}_k$. Several automorphism groups are considered: combinatorial, topological, and scheme-theoretic groups, and also groups induced by automorphisms of the ambient projective space. When $Gamma$ is a finite tree, we will give a precise description of the combinatorial and projective groups, amongst other results.
