Related papers: Witt's cancellation theorem seen as a cancellation

We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four…

We prove two principal results. Firstly, we characterise Maass forms in terms of functional equations for Dirichlet series twisted by primitive characters. The key point is that the twists are allowed to be meromorphic. This weakened…

Based on a clear ontology of material individuals, we analyze in detail the factual semantics of quantum theory, and argue that the basic mathematical formalism of quantum theory is just okay with (a certain form of ) realism and that it is…

The recently developed proof of Fermat's Last Theorem is very lengthy and difficult, so much so as to be beyond all but a small body of specialists. While certainly of value in the developments that resulted, that proof could not be, nor…

It is well-known that Lagrange's four-square theorem, stating that every natural number may be written as the sum of four squares, may be proved using methods from the classical theory of modular forms and theta functions. We revisit this…

This is a pedagogical review on $\mathrm{T}\overline{\mathrm{T}}$ deformation of two dimensional quantum field theories. It is based on three lectures which the author gave at ITP-CAS in December 2018. This review consists of four parts.…

We present new estimates for sums of the divisor function, and other similar arithmetic functions, in short intervals over function fields. (When the intervals are long, one obtains a good estimate from the Riemann hypothesis.) We obtain an…

One of the main claims of the paper is that Dirac's calculus and broader theories of physics can be treated as theories written in the language of Continuous Logic. Establishing its true interpretation (model) is a model theory problem. The…

The goal of this paper is to present an algebraic approach to the basic results of the theory of linear recurrence relations. This approach is based on the ideas from the theory of representations of one endomorphisms (a special case of…

General relativity required the abandonment of Euclidean geometry. Here we show that quantum theory requires the abandonment of classical logic. We show that the Hilbert space representation of quantum theory is logically inevitable. There…

The transition from a classical to quantum theory is investigated within the context of orthogonal and symplectic Clifford algebras, first for particles, and then for fields. It is shown that the generators of Clifford algebras have the…

Lambert's theorem (1761) on the elapsed time along a Keplerian arc drew the attention of several prestigious mathematicians. In particular, they tried to give simple and transparent proofs of it (see our timeline \S 9). We give two new…

This paper is submitted to Algebraic-Number-Theory Archives for validation by Number Theorists Community. It is an update of the previous versions ANT-0155, ANT-0170, ANT-0205, ANT-0237, ANT-0321, ANT-0333, and ANT-0356, of which the first…

In this paper we present an approach to quadratic structures in derived algebraic geometry. We define derived n-shifted quadratic complexes, over derived affine stacks and over general derived stacks, and give several examples of those. We…

We show that the dual of the Witt vectors on Z_{\geq 0}^n - 0 as defined by Angeltveit, Gerhardt, Hill, and Lindenstrauss represent the functor taking a commutative formal group G to the maps of formal schemes Ahat^n -> G, and that the Witt…

Does information play a significant role in the foundations of physics? Information is the abstraction that allows us to refer to the states of systems when we choose to ignore the systems themselves. This is only possible in very…

We study domination of quadratic forms in the abstract setting of ordered Hilbert spaces. Our main result gives a characterization in terms of the associated forms. This generalizes and unifies various earlier works. Along the way we…

We establish Flat Torus Theorem type results for groups acting on small cancellation complexes satisfying C(6), C(4)-T(4) and C(3)-T(6) conditions. For C(3)-T(6) complexes the result closely parallels the CAT(0) setting. For C(6) complexes…

Fermat's Last Theorem is proved by using the philosophical and mathematical knowledge of 1637 when the French mathematician Pierre de Fermat claimed to have a truly marvelous proof of his conjecture. Our approach consists of setting three…

Fix 1<R. The dilation theory for the quantum annulus, consisting of those invertible Hilbert space operators T such that the norm of T and its inverse are both at most R is determined. The proof technique involves a geometric approach to…