Related papers: The Conway-Sloane calculus for 2-adic lattices
Conway and Sloane constructed a 4-parameter family of pairs of isospectral lattices of rank four. They conjectured that all pairs in their family are non-isometric, whenever the parameters are pairwise different, and verified this for…
For a positive integer $s$, a lattice $L$ is said to be $s$-integrable if $\sqrt{s}\cdot L$ is isometric to a sublattice of $\mathbb{Z}^n$ for some integer $n$. Conway and Sloane found two minimal non $2$-integrable lattices of rank $12$…
We show that the two-weight estimate for the dyadic square function proved by Lacey--Li in [2] is sharp.
Using calculus we show how to prove some combinatorial inequalities of the type log-concavity or log-convexity. It is shown by this method that binomial coefficients and Stirling numbers of the first and second kinds are log-concave, and…
We present an accurate detailed exposition of the proof of existence of the Alexander-Conway polynomial (of links in 3-dimensional space). Other proofs were given by J. Alexander, J. Conway, V. Mantourov and L. Kauffman.
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut-elimination. Our proposal builds on the product…
We recall Labatie's effective method of solving polynomial equations with two unknowns by using the Euclidean algorithm.
We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding…
The paper suggests a slightly more rigorous justification to Wang et al.'s work from 2007, and introduces the Slanted Line Integral.
In 1983, Conway-Gordon showed that for every spatial complete graph on 6 vertices, the sum of the linking numbers over all of the constituent 2-component links is congruent to 1 modulo 2, and for every spatial complete graph on 7 vertices,…
We give necessary conditions for a polynomial to be the Conway polynomial of a two-bridge link. As a consequence, we obtain simple proofs of the classical theorems of Murasugi and Hartley. We give a modulo 2 congruence for links, which…
Several new estimates for the 2-adic valuations of Stirling numbers of the second kind are proved. These estimates, together with criteria for when they are sharp, lead to improvements in several known theorems and their proofs, as well as…
40 years ago, Conway and Sloane proposed using the highly symmetrical Coxeter-Todd lattice $K_{12}$ for quantization, and estimated its second moment. Since then, all published lists identify $K_{12}$ as the best 12-dimensional lattice…
The direct or algorithmic approach for the Jacobian problem, consisting of the direct construction of the inverse polynomials is proposed. The so called principle and derived Jacobi conditions are proposed and discussed. The algorithmic…
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without…
We present a polymorphic linear lambda-calculus as a proof language for second-order intuitionistic linear logic. The calculus includes addition and scalar multiplication, enabling the proof of a linearity result at the syntactic level.
We present a direct proof of the second conjecture made by M. Atiyah and P. Sutcliffe for the case of convex quadrilaterals. Unlike previous work on this conjecture, our proof does not require any computer aided computations. The new proof…
The odd part of 2^e! as e approaches infinity leads to a 2-adic integer z. The bits of z were publicized in OEIS-A359349, where two conjectures were made, relevant to computing z. We prove both of those conjectures. A second 2-adic integer,…
Wilson's formulation of lattice QCD is attractive for many reasons, but perhaps mainly because of its simplicity and conceptual clarity. Numerical simulations of the Wilson theory (and of its improved versions) tend to be extremely…
In this article we prove a Howe correspondence for a family of representations of sl(2n), which was introduced by Benkart, Britten, and Lemire.