Related papers: Belyi's theoerm in characteristic two
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
We introduce a Curry-Howard correspondence for a large class of intermediate logics characterized by intuitionistic proofs with non-nested applications of rules for classical disjunctive tautologies (1-depth intermediate proofs). The…
We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the…
We define the notion of a Lie superalgebra over a field $k$ of characteristic $2$ which unifies the two pre-existing ones - $\mathbb{Z}/2$-graded Lie algebras with a squaring map and Lie algebras in the Verlinde category ${\rm Ver}_4^+(k)$,…
In this paper, we prove a version of the typed B\"ohm theorem on the linear lambda calculus, which says, for any given types A and B, when two different closed terms s1 and s2 of A and any closed terms u1 and u2 of B are given, there is a…
Fitting models to data using Bayesian inference is quite common, but when each point in parameter space gives a curve, fitting the curve to a data set requires new nuisance parameters, which specify the metric embedding the one-dimensional…
We provide an end-to-end workflow to rigorously compute the monodromy of Belyi maps from exact equations over number fields using certified homotopy continuation. We then apply this method at scale to certify the monodromy triples of Belyi…
Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an under-examined notion of correspondence, or what it means for…
In this note we extend the theory of twists of elliptic curves as presented in various standard texts for characteristic not equal to two or three to the remaining characteristics. For this, we make explicit use of the correspondence…
Courcelle's Theorem is an important result in graph theory, proving the existence of linear-time algorithms for many decision problems on graphs whose tree-width is bounded by a constant. The purpose of this text is twofold: to provide an…
We use homotopy theory to define certain rational coefficients characteristic numbers with integral values, depending on a given prime number q and positive integer t. We prove the first nontrivial degree formula and use it to show that…
Bell's theorem admits several interpretations or 'solutions', the standard interpretation being 'indeterminism', a next one 'nonlocality'. In this article two further solutions are investigated, termed here 'superdeterminism' and…
We adopt an empirical approach to the characterization of the distribution of twin primes within the set of primes, rather than in the set of all natural numbers. The occurrences of twin primes in any finite sequence of primes are like…
We prove a duality theorem for certain graded algebras and show by various examples different kinds of failure of tameness of local cohomology.
We prove a new polynomial refinement of the Capparelli's identities. Using a special case of Bailey's lemma we prove many infinite families of sum-product identities that root from our finite analogues of Capparelli's identities. We also…
The two-way modal mu-calculus is the extension of the (standard) one-way mu-calculus with converse (backward-looking) modalities. For this logic we introduce two new sequent-style proof calculi: a non-wellfounded system admitting infinite…
For a quasi-projective scheme M which carries a perfect obstruction theory, we construct the virtual cobordism class of M. If M is projective, we prove that the corresponding Chern numbers of the virtual cobordism class are given by…
We give a complete classification, up to birational equivalence, of all fibrations by plane projective rational quartic curves in characteristic two.
This note states and proves a representation theorem for regular quantity functions, based on the theory of quantity spaces, thereby giving a new perspective on dimensional analysis and the classical $\pi$ theorem.
In a predicative framework from basic logic, defined for a model of quantum parallelism by sequents, we characterize a class of first order domains, termed {\em virtual singletons}, which allows a generalization of the notion of duality,…