相关论文: Thirty-six Officers and their Code

In this paper we present the results from a program developed by the author that finds the unitals of the known 193 projective planes of order 25.. There are several planes for which we have not found any unital. One or more than one…

We prove that neither a prime nor {an l-almost prime} number theorem hold in the class of regular Toeplitz subshifts. But, {when a quantitative strengthening of the regularity with respect to the periodic structure involving Euler's totient…

Let $F$ be a number field, and $D$ be a quaternion $F$-algebra. We show that the class number of any residually unramified $O_F$-order (e.g. an Eichler order) in $D$ is divisible by the class number of $F$.

A conjecture widely attributed to Neumann is that all finite non-desarguesian projective planes contain a Fano subplane. In this note, we show that any finite projective plane of even order which admits an orthogonal polarity contains a…

We prove that there exist Salem numbers with trace $-3$ and every even degree $\geq 34$. Our proof combines a theoretical approach, which allows us to treat all sufficiently large degrees, with a numerical search for small degrees. Since it…

We prove that the number of limit cycles generated by a small non-conservative perturbation of a Hamiltonian polynomial vector field on the plane, is bounded by a double exponential of the degree of the fields. This solves the long-standing…

We prove that there exist infinitely many coprime numbers $a$, $b$, $c$ with $a+b=c$ and $c>\operatorname{rad}(abc)\exp(6.563\sqrt{\log c}/\log\log c)$. These are the most extremal examples currently known in the $abc$ conjecture, thereby…

We study the interaction between two structures on the group of polynomial automorphisms of the affine plane: its structure as an amalgamated free product and as an infinite-dimensional algebraic variety. We introduce a new conjecture, and…

By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its…

This note discovers not only an affine non-sharp-Poisson trace inequality but also its sharp-non-Poisson version for a Sobolev function with the fractional antiderivative.

We show that no projective 16-divisible binary linear code of length 131 exists. This implies several improved upper bounds for constant-dimension codes, used in random linear network coding, and partial spreads.

We present a new proof of the known fact that the chromatic number of the plane is at least 5. The main difference of this proof is that it can be verified manually without the help of the computer.

We examine which $p$-groups of order $\le p^6$ are Beauville. We completely classify them for groups of order $\le p^4$. We also show that the proportion of 2-generated groups of order $p^5$ which are Beauville tends to 1 as $p$ tends to…

A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…

We construct an entire function $f$ with only three singular values whose order of growth can change under a quasiconformal equivalence. This is a counterexample to the Order Conjecture in the Speiser class ${\mathcal S}$ of entire…

In this note we prove the non-existence of two types of partial difference sets in Abelian groups of order 216. This finalizes the classification of parameters for which a partial difference set of size at most 100 exists in an Abelian…

It has been proven in a series of works that the order of the automorphism group of a binary [72,36,16] code does not exceed five. We obtain a parametrization of all self-dual binary codes of length 72 with automorphism of order 4 which can…

This paper takes a significant step towards confirming a long-standing and far-reaching conjecture of Peter J. Cameron and Cheryl E. Praeger. They conjectured in 1993 that there are no non-trivial block-transitive 6-designs. We prove that…

We give a short, elementary and explicit proof of the existence of Hilbert schemes of points on affine schemes. As a direct consequence we obtain the existence of the Hilbert scheme of points on any projective scheme, not necessarily of…

A modular form for an even lattice L of signature (2,n) is said to be 2-reflective if its zero divisor is set-theoretically contained in the Heegner divisor defined by the (-2)-vectors in L. We prove that there are only finitely many even…