Related papers: The Conway-Sloane calculus for 2-adic lattices
The basic system E of dyadic deontic logic proposed by {\AA}qvist offers a simple solution to contrary-to-duty paradoxes and allows to represent norms with exceptions. We investigate E from a proof-theoretical viewpoint. We propose a…
Nonlinear ODEs invariant under the group SL(2,R) are solved numerically. We show that solution methods incorporating the Lie point symmetries provide better results than standard methods.
We establish an error estimate for counting lattice points in Euclidean norm balls (associated to an arbitrary irreducible linear representation) for lattices in simple Lie groups of real rank at least two. Our approach utilizes refined…
Analytical formulae for the points and weights of two fifth-order quadrature rules for C_3, the 3-cube, are given. The rules, originally formulated by A. H. Stroud in 1967, are discussed in greater detail in terms of both the setup of the…
We use techniques of Bannai and Sloane to give a new proof that there is a unique (22,891,1/4) spherical code; this result is implicit in a recent paper by Cuypers. We also correct a minor error in the uniqueness proof given by Bannai and…
For every spatial embedding of each graph in the Petersen family, it is known that the sum of the linking numbers over all of the constituent 2-component links is congruent to 1 modulo 2. In this paper, we give an integral lift of this…
This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently…
We present a short proof of Klartag's central limit theorem for convex bodies, using only the most classical facts about log-concave functions. An appendix is included where we give the proof that thin shell implies CLT. The paper is…
The main purpose of this paper is pedagogical. Despite its importance, all proofs of the correctness of Strassen's famous 1969 algorithm to multiply two 2x2 matrices with only seven multiplications involve some basis-dependent calculations…
While studying some properties of linear operators in a Euclidean Jordan algebra, Gowda, Sznajder and Tao have introduced generalized lattice operations based on the projection onto the cone of squares. In two recent papers of the authors…
In this article, we use results of Number Theory to prove the conjecture on eigenvalue problem of a 2D elliptic PDE proposed by P. Korman in his recent paper \cite{ref}: for any even integer $2k$, one can find an eigenvalue $N$ that can be…
This article focuses on some rings of integers of number fields which are known to be norm-Euclidean domains, but for which no explicit algorithm computing the Euclidean division has yet been studied or implemented. The rings of integers we…
To demonstrate the ability in standard arithmetic operations to perform a variety of digit manipulation tasks, a closed-form representation of the Conway Base-13 Function over the integers is given.
In his paper from 1996 on quadratic forms Heath-Brown developed a version of the circle method to count points in the intersection of an unbounded quadric with a lattice of short period, if each point is given a weight, and approximated…
This exposition presents a self-contained proof of the $A_2$ theorem, the quantitatively sharp norm inequality for singular integral operators in the weighted space $L^2(w)$. The strategy of the proof is a streamlined version of the…
A manifestly Lorentz-covariant calculus based on two matrix-coordinates and their associated derivatives is introduced. It allows formulating relativistic field theories in any even-dimensional spacetime. The construction extends a…
Linear logic was conceived in 1987 by Girard and, in contrast to classical logic, restricts the usage of the structural inference rules of weakening and contraction. With this, atoms of the logic are no longer interpreted as truth, but as…
This paper presents the solution to the De Prony's problem of separation of the overlapping exponents using the binomial coefficient as the weighting factors. The algebraic structure of the signal classes is discussed and the applicability…
Besides the better-known Nelson logic (N3) and paraconsistent logic (N4), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called S. The logic S was originally presented by means of a calculus…
We count with a smooth weight the number of $2 \times 2$ integer matrices with a fixed characteristic polynomial with a main term and an error term using bounds for sums of Weyl sums for quadratic roots.