Related papers: Enumerating Steiner Triple Systems
We determine all posible orders of automorphisms of finite order of complex K3 surfaces or of K3 surfaces in characteristic $p>3$. E.g., a positive integer $N$ is the order of an automorphism of a complex K3 surface if and only if…
A directed triple system of order $v$ (or, DTS$(v)$) is a decomposition of the complete directed graph $\vec{K_v}$ into transitive triples. An $\ell$-good sequencing of a DTS$(v)$ is a permutation of the points of the design, say $[x_1 \;…
Kreck's modified surgery theory reduces the classification of closed, connected 4-manifolds, up to connect sum with some number of copies of $S^2\times S^2$, to a series of bordism questions. We implement this in the case of unorientable…
We determine the structure of the graded ring of Siegel modular forms of degree 3. It is generated by 19 modular forms, among which we identify a homogeneous system of parameters with 7 forms of weights 4, 12, 12, 14, 18, 20 and 30. We also…
One of the fundamental problem in the theory of sorting is to find the pessimistic number of comparisons sufficient to sort a given number of elements. Currently 16 is the lowest number of elements for which we do not know the exact value.…
In these notes I will review the results that have been obtained in these last years on the computation of the number of metastable states in infinite-range models of disordered systems. This is a particular case of the problem of computing…
The smallest set of admissible parameters of a $q$-analog of a Steiner system is $S_2[2,3,7]$. The existence of such a Steiner system -- known as a binary $q$-analog of the Fano plane -- is still open. In this article, the automorphism…
We present a scheme to explicitly construct and classify general topological states jointly protected by an onsite symmetry group and a spatial symmetry group. We show that all these symmetry protected topological states can be…
For an integer $r \ge 2$ and an order $n \equiv 1, 3 \pmod{6}$, write $\delta_r(n)$ for the minimum, over all $r$-colourings $\chi : \binom{[n]}{3} \to [r]$, of $\max_{\mathcal{S}} \mathrm{disc}(\mathcal{S}, \chi)$, where the maximum is…
There are a least uncountably many diffeomorphism types for open manifolds. Hence the classification problem is extremely difficult. We proceed as follows: We define several uniform structures of proper metric spaces and consider their arc…
Standard subword tokenization methods fragment numbers inconsistently, causing large language models (LLMs) to lose positional and decimal structure - a primary driver of errors in arithmetic and scientific reasoning. We introduce Triadic…
A square-tiled surface (STS) is a (finite, possibly branched) cover of the standard square-torus with possible branching over exactly 1 point. Alternately, STSs can be viewed as finitely many axis-parallel squares with sides glued in…
The diffeomorphism class of simply-connected smooth Calabi-Yau threefolds with torsion-free cohomology is determined via certain basic topological invariants: the Hodge numbers, the triple intersection form, and the second Chern class. In…
We prove that a face of a cube can be optimally partitioned into connected 193 sets on which the cut locus, or ridge tree, is constant up to isomorphism as a labeled graph. These are 60 connected open sets, curves bounding them, and…
We compute all isomorphism classes of simplicial arrangements in the real projective plane with up to 27 lines. It turns out that Gr\"unbaums catalogue is complete up to 27 lines except for four new arrangements with 22, 23, 24, 25 lines,…
The classification of the minor bodies of the Solar System based on observables has been continuously developed and iterated over the past 40 years. While prior iterations followed either the availability of large observational campaigns or…
Let $N(n)$ denote the number of isomorphism types of groups of order $n$. We consider the integers $n$ that are products of at most $4$ not necessarily distinct primes and exhibit formulas for $N(n)$ for such $n$.
In this paper we introduce enumeration of unitals of order $5$, which are also Steiner systems $S(2,6,126)$, where automorphism group acts transitively and effectively on points or fixes one point.
We compute all third-order local invariants accessible via randomised measurements and employ them to derive separability criteria. The reconstruction of the invariants yields experimentally accessible entanglement criteria for multipartite…
We determine the precise number of isomorphism classes of elliptic curves over $\mathbb{F}_q(t)$ with $\text{char}(\mathbb{F}_q) = 3,2$. The key idea is to obtain the exact unweighted number of rational points on the classifying stacks…